 Is h not equal to -5?
True
Let z = -0.8 + -0.2. Let g = 4 - 2. Let w = g + z. Are w and 1 unequal?
False
Let z be 2/11 + 60671/(-154). Let k = -394 - z. Which is smaller: k or 0?
k
Let a = -63 + 74. Which is smaller: 14 or a?
a
Let w = 7.2 + -7. Let n(c) = -c**2 + 5*c + 4. Let y be (-6 + 0)/(2/(-2)). Let a be n(y). Which is smaller: a or w?
a
Let h = -56/25 - 651/100. Which is bigger: h or -8?
-8
Let u be (0/(-6))/(-2 + 0). Which is smaller: u or -4/3?
-4/3
Let t be 10*(-1)/2*-1. Suppose 4*q - 2*h = 10, -2*h + h = t*q + 5. Let k = 0.15 - 0.05. Which is bigger: k or q?
k
Let h(b) be the second derivative of -b**5/20 + 2*b**4/3 - b**3 - b. Let r be h(7). Let n be (1 - r)/((-12)/(-8)). Is n smaller than -5?
False
Let f(k) = -k**3 + 9*k**2 - 10*k + 12. Let u be f(8). Let r(w) = -w**3 - 5*w**2 - 6*w - 5. Let t be r(u). Which is bigger: 4 or t?
4
Let m = 28.25 - 28. Let l = m + -0.32. Let p = -2/3 - -1/6. Is l greater than or equal to p?
True
Let q be (-2*1 - -1)/1. Suppose 0 = -l + 6*l - 4*b - 23, -5*l - b + 38 = 0. Suppose -3*n + 4 = l. Is q != n?
False
Let f(w) = w**2 - 16*w + 17. Let i be f(7). Which is greater: -45 or i?
-45
Let x be 1/(0 - (-2 + 3)). Let t = -58 - -59. Which is greater: x or t?
t
Let p be 1 + 5 - -1*(3 - 2). Let g be 2 - ((-9)/1 - 0). Let o = g - p. Is o greater than 5?
False
Let o = 34 - 33.7. Let d = -8 - -4. Which is bigger: d or o?
o
Let w = 10 - 5. Suppose w*x + 0 - 5 = 0. Which is greater: x or 2?
2
Let o = 667/15 - 140/3. Let c(t) = -t**2 - 6*t + 6. Let g be c(-7). Which is smaller: g or o?
o
Let b = -3015025/132 - -22842. Let r = -9/11 + b. Which is bigger: -1 or r?
r
Let r(c) = -c**3 - c**2 - 1. Let n be r(0). Which is smaller: n or -4/3?
-4/3
Let z(d) = -d**3 + 3*d**2 + 8*d - 5. Let o(n) = 5*n**3 - 14*n**2 - 40*n + 24. Let x(y) = 2*o(y) + 11*z(y). Let f be x(6). Is f equal to 5?
True
Let j be 2230/8050 - (-4)/(-14). Is j < -1?
False
Let j(d) be the second derivative of d**3/6 + 3*d**2 - 7*d. Let o be j(-13). Is o greater than -6?
False
Let v = 241 + -236. Suppose i = -i. Suppose -5*x = -25, i = -4*m + 3*m + 2*x - 5. Does v = m?
True
Let h be -2*(-1)/((-204)/(-8)). Are -1 and h unequal?
True
Let m(i) = -i + 10. Let s be m(10). Suppose 0 = 5*k - 2*j, -4*k + 7*k = -3*j. Does k = s?
True
Suppose 4*p = 3*l + 5 + 6, 17 = 4*l + p. Suppose -5*f - l*x + 40 = 0, 20 = 6*x - 2*x. Suppose -5*v + 26 = 2*y, 4*v + 3*y + f = 30. Which is greater: v or 5?
5
Let j = -0.9 - -1. Let i = 10.04 + -10. Let h = -0.16 - i. Is h >= j?
False
Suppose -4*s - x + 5 + 7 = 0, -2*s = -x - 6. Suppose 3*w + 0*w = 6. Suppose 0*a - 2*a = -w*d - 4, -2*d - 2 = 0. Is s at most a?
False
Let c = -0.22 - -0.84. Let l = -0.42 - c. Let j = l + 0.04. Which is greater: -4 or j?
j
Let t = -5 + 5.04. Let a = -0.44 + t. Which is greater: a or 0?
0
Let t = -106 - -427/4. Let v be -2 - (4 - 6 - 1). Which is smaller: v or t?
t
Let f be (-2 - 72/(-27))*(-66 + 0). Which is bigger: -43 or f?
-43
Let z be (-175)/15 + (-2)/6. Suppose -2*k = -85 + 111. Which is greater: z or k?
z
Let s be 3/2*(-3)/3. Let o(w) = -w**2 + 6*w + 3. Let t be o(7). Let r = t - -2. Which is smaller: r or s?
r
Let v = 1/235 - -93/235. Suppose 0*o + 21 = -o - 5*z, 4*z + 16 = 0. Is o smaller than v?
True
Let f = -1 - -1. Let m = 25 - 26. Is f < m?
False
Let r = 2 - -1. Let l = r + -8. Is -5 at most l?
True
Let c = -0.34 - 6.66. Which is greater: 0.2 or c?
0.2
Let p(o) = -o + 8. Let n be p(8). Let z = 89/3 + -625/21. Which is greater: z or n?
n
Let x = 0.63 + -0.23. Is 0.1 at most x?
True
Let v be (-60)/9*(-18)/(-12)*-1. Which is greater: v or 6?
v
Let s = -0.13 - -0.2. Which is bigger: -5 or s?
s
Let x = -0.1 + 0.08. Let k = -58 + 57. Which is smaller: k or x?
k
Suppose 25 + 17 = x. Let j be x/120 + (-2)/(-5). Let w = -3 - -3. Which is smaller: j or w?
w
Let q be (135/(-30))/((-2)/4). Is 1 at least q?
False
Let j be 2/6 + 34/(-3). Let v = j - -13. Which is greater: 3 or v?
3
Let k be 1/(-3)*(-1 + 0). Let x be 3*(-12)/27*-6. Let y(w) = -w + 8. Let h be y(x). Which is smaller: k or h?
h
Let m = -39.9 + 38. Let n = m + -0.1. Which is smaller: n or -6?
-6
Let j = -147 + 149. Is -1 < j?
True
Let p(a) = a**2 + 1. Let v be p(-2). Suppose -2*t - v = -3*t. Let r = 34 - 28. Is r bigger than t?
True
Let u = 38 + 35. Let i = -217/3 + u. Is i at least 1?
False
Let q(j) be the second derivative of j**4/12 + j**3 - 3*j**2/2 + 2*j. Let d be q(-6). Let i be 0 + (d - -1) - -1. Which is smaller: i or -2/7?
i
Let z = 21 + -2. Let u = 355/18 - z. Let c = -127/126 + u. Is c at most 0?
True
Suppose 0*r + 4 = -2*r. Is r at most as big as -0.4?
True
Let n be (-3)/(0 - 15/(-100)). Which is bigger: n or -21?
n
Let y(v) = v - 7. Let x be y(8). Let j = 41 - 38. Is x < j?
True
Suppose 2*i = 2*n + 18 + 2, 3*n - 2*i + 35 = 0. Does -15 = n?
True
Let a = 2 - 3. Let t = -1/75 - -17/25. Let j = t + -7/15. Which is bigger: j or a?
j
Let o = 6 - 15. Let f be (4/(-6))/(6/o). Let g = 25 - 174/7. Which is greater: g or f?
f
Let b(v) = -v**3 + 3*v**2 + 6*v - 6. Suppose -2*q = -z - 13, -5*q - 5*z - 9 = -q. Let d be b(q). Suppose 2*w = -6 + d. Is -2 >= w?
True
Suppose -5*b = w + 13, -2*b = 3*w - 7 + 20. Let l(a) = -a - 4. Let f be l(w). Is f less than or equal to -1/6?
True
Let s be ((-9)/(-10))/(3/5). Which is smaller: s or 2?
s
Let m = -3 + 6. Let k be (-14)/(-4) - 6/m. Which is greater: 1/2 or k?
k
Let y = -5 + 5.2. Let k = 6 - 6.3. Let p = y + k. Which is bigger: -1 or p?
p
Suppose -5*d + 3*f + 34 = 0, d - f = -2*f + 2. Let j(h) = h**3 - 6*h**2 + 6*h - 3. Let v be j(d). Let k be 1/(-1 + v + -3). Which is smaller: k or 0?
k
Let a = -3/124 - 611/372. Which is greater: a or -1?
-1
Suppose -b - 3 = 1. Let s be (-3)/(-9) + b/84. Which is bigger: 1 or s?
1
Suppose u = -5*j + 8, u = -2*u + 2*j - 10. Which is smaller: 0 or u?
u
Suppose -4*n + 22 = -5*z - n, -3*n + 12 = 0. Let h = -9 - -7. Let q be z/(-4)*h/3. Which is smaller: q or -2/3?
-2/3
Let h(x) = x**3 + x**2 - x - 2. Let i be h(-2). Let c(n) = n**2 + 4*n. Let j be c(i). Suppose 0 = -2*b - j*b. Which is smaller: b or 2?
b
Let p = -0.3 - -0.6. Let t = -0.1 + 1.1. Do p and t have the same value?
False
Let b = -4.8 - -1.9. Let d = b + 3. Is -1 greater than d?
False
Let q = 0.3 - 0.3. Let n = q - -1. Let r = 0.2 - 1.2. Which is smaller: r or n?
r
Let s(r) = 7*r + 52. Let t be s(-12). Is -32 < t?
False
Let y be -6*((-34)/(-18) - 2). Which is greater: 17 or y?
17
Suppose 0 = 4*x - 16, 1 = 3*n + 4*x - 18. Let h be -2 - -1*(-27)/(-12). Is h at least n?
False
Let d = 153/4 + -39. Is d <= -2?
False
Let h = 0.01 - -0.09. Suppose -5*l - 10 - 30 = 0. Let n = -2 - l. Is n smaller than h?
False
Let u(j) = j - 2. Let i be u(5). Suppose 2 = -l - l - i*f, -3*l - 3 = f. Which is smaller: -2/23 or l?
l
Let m = 6 - 4. Suppose 4*o - 36 = -p, 0 = 4*o - 3*o - 5*p + 12. Let f = -4 + o. Is m less than or equal to f?
True
Let x be (1 - -8)/(3/2). Let s(r) = -r**2 + 9*r - 9. Let t be s(x). Is t less than 8?
False
Let u be (-6)/24 - (-9)/4. Let o be u/(-5) - (-54)/10. Let f = 5 - o. Which is greater: f or 1?
1
Suppose 0 = 5*q + 1 + 4. Let b(g) = g - 1. Let l be b(6). Suppose -5*n - 10 = l*h, -5*h - 5*n + 4*n - 6 = 0. Is q greater than or equal to h?
True
Let t = -419629 - -13430081/32. Let b = 61 - t. Let q = -29/96 + b. Is 0 less than q?
False
Let m be 44/14 + 6/(-2). Which is smaller: m or -1?
-1
Let m be (-2*3)/(-2) + -3. Suppose -4*v = -2*t + 6, m*v - 9 = 4*v - 3*t. Is v less than or equal to 3/7?
True
Suppose 5*c + 14 = -31. Let d be (-6)/(-3)*1/c. Which is greater: d or -1?
d
Let m = -3 + 3. Which is greater: 5/11 or m?
5/11
Let o = 7 + -1. Is o less than 0.02?
False
Suppose 62 - 167 = 7*h. Is h < -19?
False
Let j be 9/2 + 2/(-4). Suppose -j = -2*a + 6. Do a and 5 have the same value?
True
Suppose 0 = -5*q - 137 - 13. Let s be 18/q + 4/(-10). Which is smaller: s or 1/24?
s
Let b be 406/40 - 6/15. Let r = b - 10. Suppose 0 = 4*z - z. Does r = z?
False
Let z be (-4)/(-22) + (-4)/22. Suppose -2*r = j - 5, 3*r + 2*j - 4*j + 3 = 0. Is z bigger than r?
False
Let g be (-3)/6 - (-4)/16. Which is greater: g or 0?
0
Let t = 4 + 0. Let s be (-15)/9 - t/(-6). Is -1/3 > s?
True
Let n = -24.4 + 7.4. Which is smaller: n or 2?
n
Suppose -3*r = r - 48. Are r and 10 equal?
False
Let v be (-3 + 3)/(4 + -3). Which is greater: v o