True
Suppose 2*b + 6 = -4*j, 4*b = j + 3*b + 6. Let p be 0/j*3/(-6). Which is smaller: 1/6 or p?
p
Let l(f) = -f**3 + 7*f**2 - 5*f - 6. Let h be l(6). Let z = -8 - -4. Let o = -3.9 - z. Is o greater than h?
True
Let g = 485/8 - 61. Suppose 3*p + 8 = 2*m, 4*m - m = 2*p + 12. Which is greater: p or g?
p
Let x be (-1)/(-3*(-3)/18). Let s be x/(-7) + (-566)/462. Let k = s + 3/11. Which is smaller: -1 or k?
-1
Let f = -0.01 - 1.09. Let n = f + 0.1. Let x = -3 - -1. Which is smaller: x or n?
x
Let h(x) = x**2 - x - 2. Let b be h(2). Let r = -11/6 + 13/6. Which is smaller: b or r?
b
Let z be 10/4*(-4)/(-5). Suppose -z*t = -4*t. Let a be 2/(0/(-4) - 2). Which is greater: t or a?
t
Let d = 31/20 - 3/10. Which is greater: d or 0?
d
Let z = 5 - 5. Suppose -2*v + 9 + 3 = z. Is 7 smaller than v?
False
Suppose 2*q - 10 = -0*q. Let b(p) = p**3 - 6*p**2 + 5*p - 2. Let i be b(q). Suppose 31*l = 36*l + 10. Is i not equal to l?
False
Suppose 0 = -c - 1. Which is smaller: c or 2?
c
Let s = -167 + 166.8. Do s and -64 have different values?
True
Let r = -2.8 + 3. Let c = -20.81 + 21. Let h = -0.81 - c. Is r at most h?
False
Let n = 14 + -17. Is -12 at most as big as n?
True
Let a be ((-18)/12)/(498/8). Which is greater: 1 or a?
1
Let r = 8 + -18. Which is smaller: r or 2?
r
Suppose 0 = 2*m - 5*m + 12. Let n be (-6)/(-28) + (-2)/m. Let j be 24/(-56) + (-1)/((-7)/10). Do n and j have different values?
True
Let y = -13 + 23. Let r = -6 + y. Suppose 0 = 2*v + 3*b - 4*b - 8, -r*v + 18 = -3*b. Do 3 and v have different values?
False
Let y(a) = -a**2 + 6*a + 7. Let g be y(6). Suppose 11 = 5*w + f - g, 14 = 2*w - 3*f. Is w at most as big as 11/4?
False
Let q(a) = 2*a**2 - 3*a. Let l be q(2). Let o(f) = -f - 5. Let s(g) = 3*g + 14. Let x(r) = -8*o(r) - 3*s(r). Let h be x(-5). Which is smaller: l or h?
l
Suppose -c + 0 = 6. Suppose 3*l - 29 = -f - 11, 2*l = f + 12. Suppose l + 8 = -2*r. Which is smaller: r or c?
r
Let h = -0.935 + 0.003. Let b = 8.912 + h. Let k = b - 8. Which is greater: -2/7 or k?
k
Let z(i) = i - 7. Let u(j) = -2*j + 6. Let b(d) = 2*u(d) + 3*z(d). Let v be b(-7). Is v > -7/3?
True
Let q = 49/5 - 148/15. Is q at least as big as 1?
False
Let q(n) = n + 2*n - 2*n. Suppose r = -2*r. Let l be q(r). Which is greater: l or -2/9?
l
Let h = 177 + -124. Let w = h - 211/4. Let l = -2.2 + 2. Is w not equal to l?
True
Let j = 46 - 46. Which is bigger: j or 4/3?
4/3
Let s be 2/16 + (-33)/968. Which is bigger: 0 or s?
s
Let k = 1.4 - -0.6. Let z = 4.9 + 0.1. Let r = k - z. Which is smaller: r or 1/3?
r
Suppose -4*u + 63 = 3*l, -4*l + 2*l = -3*u + 26. Let x = -46 - -4. Let t be u/x + 26/42. Which is smaller: t or 3?
t
Suppose 3 = -5*d + 23. Let o be 0 + (-9)/d + 3. Which is smaller: o or 0?
0
Let x = 0 + -1. Let y = x - -1. Let t = 2 + -2. Is t <= y?
True
Let c = 0.2 - -2.4. Is -1 less than or equal to c?
True
Let r(q) be the second derivative of q**5/10 - q**3/6 - q**2/2 + 3*q. Let z be r(-1). Do z and -2 have the same value?
True
Let m be (-4 + (-2 - -4))*-1. Suppose 1 = -x + m*x. Let r = -154/3 + 52. Is x < r?
False
Suppose -l = -5*i + 24, -4*l + 7 + 17 = 4*i. Suppose 4*a = i*a - 5*r - 9, -2*a = 5*r - 3. Let f be ((-3)/a)/((-81)/24). Is f bigger than -0.1?
True
Let r = -10 - -12. Let s = 8 - 5. Do r and s have the same value?
False
Suppose 47 = g + g + p, -g + 28 = 2*p. Let u be g/(-4) - 3/6. Let z = u - -3. Are z and -2 unequal?
True
Let j(d) be the third derivative of -d**7/5040 + d**6/180 + d**5/60 - 3*d**2. Let s(z) be the third derivative of j(z). Let w be s(6). Is w >= -1?
False
Let j = 8 - 9. Are j and -5/2 nonequal?
True
Let k = 20 + -22. Let p be (-19)/(-33) + k/3. Are 0.1 and p equal?
False
Let d = 14/25 + -104/275. Let w(q) = -q**3 + 13*q**2 + 15*q - 15. Let l be w(14). Which is smaller: d or l?
l
Let i = 71 + -75. Which is greater: i or -12?
i
Let b = 6.287 + -0.207. Let p = -6 + b. Let i = p - 0.38. Are 0 and i unequal?
True
Let u = 15 - 13. Is 5/3 bigger than u?
False
Let l(f) = f + 8. Let j be l(-4). Is 4 equal to j?
True
Let v = 0.6 + -5.6. Let x = v - -5. Let f be 1 - ((2 - 2) + 0). Which is greater: x or f?
f
Let v(p) = -p - 5. Let a be v(-5). Suppose -2*r + 2 = -2*c, -3*r + a*r - c = 9. Let z = -44 + 85/2. Is z < r?
False
Let j = 30 - 31. Does -2 = j?
False
Let s(a) be the third derivative of a**5/60 - 5*a**3/6 - 2*a**2. Let b be s(0). Is -5 at least b?
True
Let b(s) be the second derivative of -s**3/6 + 3*s**2 - 7*s. Let y be b(4). Let m be (-1 - (-5)/4) + -1. Are m and y equal?
False
Suppose -8*j + 4*j - 4 = 0. Let i = -208/255 - -14/15. Are i and j equal?
False
Let v be 36/1755*(-5)/2. Which is smaller: v or 1?
v
Suppose 4*r - 6 = 5*x + 3*r, 4*r = -2*x + 2. Let l be x + ((-8)/(-5))/4. Which is bigger: 0.1 or l?
0.1
Let i = 85 - 76. Which is smaller: i or 10?
i
Let h be (-1)/((-1)/(-6))*-1. Let a be (h/(-2))/(9/(-2)). Let k = -4 - -6. Which is greater: a or k?
k
Let s = -3.4 - -3.5. Let f = 8.2 + 0.8. Let t = 5 - f. Which is smaller: t or s?
t
Suppose -2*n - 5*u - 13 = -0*n, -4*n = -5*u - 19. Suppose -5*c - 8 = -r + 8, -2*c - 5*r = n. Which is greater: -2 or c?
-2
Let p be (2372/22)/((-14)/7). Let u = p - -54. Suppose 0 = -z - 4*v + 13, -10 = 2*z - 5*v + 3. Which is smaller: z or u?
u
Let c be (-22)/6 - 2/6. Which is greater: -5 or c?
c
Suppose 0 = -3*t + 4*p - 16, t - p = -0*t - 4. Let o = 298/105 + -34/15. Do o and t have the same value?
False
Let l be (0 + (-2)/(-108))*4. Which is greater: -1 or l?
l
Suppose t = -3 + 5. Let f be (3/t - 0)/3. Which is smaller: 0.6 or f?
f
Let p be 1/(-2)*2*-5. Let f be -17*(-2)/6*-1. Let h = f + p. Which is bigger: -3 or h?
h
Let m = -2266/3 - -723. Let g = m + 32. Let i(z) = z - 7. Let t be i(6). Which is smaller: g or t?
t
Let v = -3 + 4. Suppose 2*t = -2*t. Which is smaller: v or t?
t
Let b be (-3)/(-21) + 32/(-28). Let n be b/(-33)*27/(-18). Is 1 >= n?
True
Suppose 5*z + 9 = -8*f + 4*f, 0 = -4*z + 4*f. Let y(s) = -6*s. Let p be y(z). Are 5 and p nonequal?
True
Let c = 1825/12 + -152. Let a(o) = -o**3 + 4*o**2 - 3*o. Let d be a(3). Is c less than d?
False
Let z = -6 + 6.5. Let y = 0.6 - z. Is -2/5 <= y?
True
Let c = -61.99 + 60. Let f = c - 0.01. Let d = 3 + f. Is d != 1?
False
Let j = -10 + 10. Let y = 20 - 18.4. Let h = y + -2. Do j and h have the same value?
False
Let a(r) = -r**2 - 3*r + 5. Let c be a(-4). Let b = 2 + 2. Let d be (-8)/(-12)*(-2)/b. Is d <= c?
True
Suppose 2*v + o - 71 = 0, 4*v - 42 - 106 = -4*o. Are 32 and v non-equal?
True
Let t(l) = -l**3 - 9*l**2 - 7*l + 5. Let q be t(-8). Suppose 0 = 3*z - 1 + 7. Is q >= z?
False
Suppose -2*z + 6 = -2. Suppose 0 = -z*p - 0*p + 4. Which is bigger: -1 or p?
p
Let i(o) = o**3 - 9*o**2 + 6*o + 7. Let s be i(8). Let j = s - -11. Which is greater: -1 or j?
j
Let h = -2 + 2. Let g = -1 + h. Let d = 1.1 + g. Which is smaller: d or -1?
-1
Let z = 128.1 - 128. Which is greater: z or 41/2?
41/2
Let g = 0 - 0. Let m = 0.06 - -1.94. Let r = m + -4. Which is smaller: g or r?
r
Suppose -5*l = 2*l - 28. Is -1 less than l?
True
Let u be (4/4)/((-2)/(-6)). Let j(i) = i**3 - 2*i**2 - 4*i + 4. Let b be j(u). Is 1 equal to b?
True
Let c be 7 - 2 - (-44)/(-8). Which is smaller: c or -0.21?
c
Suppose 0 = -5*z - 0*l + 3*l - 2, 0 = -z + 2*l - 6. Let a be (3/(-4))/(1/4). Let j be z/a + 2/12. Are j and 0 nonequal?
True
Let w be (-18 + 13)*2/(-25). Which is greater: 4/11 or w?
w
Let g = 37 - 51. Which is smaller: -1 or g?
g
Let k = -8 - -4. Let p be ((-6)/(-30))/(k/(-10)). Is -5 less than or equal to p?
True
Let u = 781/36 + -89/4. Is -1 at most as big as u?
True
Let l be 0 - (7 - -1)*-2. Suppose 5*f + l = 9*f. Is f not equal to 6?
True
Suppose -3*x + 0 + 42 = 0. Let g(n) = 3*n**2 + 13*n + 19. Let o be g(-4). Which is smaller: o or x?
x
Let m = -7 + 11. Let o(v) = -v**3 - 10*v**2 + 12*v + 14. Let t be o(-11). Which is smaller: m or t?
t
Let b be (-22)/(-26) + (-4)/(-26). Suppose 0 = 2*d - 2*n - 18, 2*d - 3*n + 7 = -6*n. Let q be d/16 + (-2)/(-2). Which is bigger: q or b?
q
Let l = 1 + -1. Suppose l*o = -2*o + 10. Are 1 and o unequal?
True
Let m = -8 - -5. Let x be 0 - (m/3 - 3). Suppose x*c - k = 2, -3*c = -4*c - 2*k + 5. Do 1/2 and c have the same value?
False
Let r = 26 - 3145/121. Let j be 134/(-968)*-18 + -1. Let t = j + r. Which is smaller: t or 3?
t
Let z be 0 + (-2 -