Question: Why does `TrueQ` return `False` on the following?

```
TrueQ[Log[2]/Log[8] == 1/3]
(* False *)

```

Shouldn't that be `True`? We can clearly see that the math checks out.

```
Log[2]/Log[8] // N
(* 0.333333 *)

8^(1/3)
(* 2 *)

```

Answer: 
[`TrueQ`](http://reference.wolfram.com/mathematica/ref/TrueQ.html) does *not* attempt to resolve equivalencies:

> 
> `TrueQ` will return `True` only if the input is explicitly `True`
> 
> 
> You can use `TrueQ` to "assume" that a test fails when its outcome is not clear.
> 
> 
> 

Consider:

```
eq = D[Integrate[1/(x^3 + 1), x], x] == 1/(1 + x^3)

```

> 
> 
> ```
> 1/(3 (1 + x)) - (-1 + 2 x)/(6 (1 - x + x^2)) + 2/(3 (1 + 1/3 (-1 + 2 x)^2)) == 1/(1 + x^3)
> 
> ```
> 
> 

This is *not* explicitly `True` – it is an equation, and `TrueQ` will yield `False`, but you can [`Simplify`](http://reference.wolfram.com/mathematica/ref/Simplify.html):

```
Simplify[eq]

```

> 
> 
> ```
> True
> 
> ```
> 
>
In older versions use Simplify

```
$Version

```

> 
> "9.0 for Mac OS X x86 (64-bit) (January 24, 2013)"
> 
> 
> 

```
TrueQ[Log[2]/Log[8] == 1/3]

```

> 
> False
> 
> 
> 

```
TrueQ[Log[2]/Log[8] == 1/3 // Simplify]

```

> 
> True
> 
> 
>