 0 = -2*h + x + 157. Let t = h - 935/12. Is t less than or equal to 1?
True
Suppose -15 = -3*f, 3*f - 2*f = -5*y + 20. Let s be y/(-2)*4/(-6). Is s equal to -1/3?
False
Let n(a) = a**2 + 8*a + 9. Let l be n(-7). Suppose 0 = -2*h + l - 6. Let i be (h/42)/(1/(-6)). Which is smaller: i or -1?
-1
Let n be 1 + -14*(-2)/(-16). Which is greater: n or 0.2?
0.2
Let a = -9 - -13. Suppose -k + 25 = a*k. Which is smaller: 0.1 or k?
0.1
Suppose 11*g - 23 = -56. Is g not equal to -5/3?
True
Suppose 4*y = -5*s + 30, 2*s - y - 15 = s. Let c = 9 - s. Which is smaller: c or -2/3?
c
Let x(w) = -2*w**2 + 4*w + 5. Let o be x(-2). Let j(s) = 9*s. Let q be j(4). Let b be o/52 + (-9)/q. Which is bigger: 1 or b?
1
Let z = 0.037 - 3.037. Does 1 = z?
False
Let a be (-2)/(-10) + 94/(-170). Which is smaller: a or -1?
-1
Let r = -4 + 4.5. Let x = 3.5 + r. Which is smaller: 0.1 or x?
0.1
Let r = -13/2 - -7. Are r and 2 unequal?
True
Let q = -0.93 - 0.07. Let i = q + 1.6. Is i greater than 1/3?
True
Let f be 26/(-10) + 24/15 + -1. Is -15/7 bigger than f?
False
Let l(n) = -2*n**2 + 8*n - 9. Let i be l(6). Which is bigger: i or -31?
-31
Let x = 2/8409 + 33254/1606119. Let r = x - -931/1146. Is 1 less than or equal to r?
False
Let x be (-3)/9 + (-34)/6. Let z = 195 + -197. Which is greater: z or x?
z
Suppose 0*i + 3*i = 36. Let w = 10 - 26. Let x be (-3)/i*w/(-10). Which is greater: 1 or x?
1
Suppose 0*k - 10*k + 520 = 0. Which is greater: k or 51?
k
Let w be ((-31)/(-2))/(1*3/(-6)). Are -29 and w equal?
False
Suppose 5*t = 2 + 13, -2*t = 2*h - 14. Suppose 0 = -h*j - 2*w - 20, 4*j - 4*w - 3 - 1 = 0. Is -2 < j?
False
Let w = 2/337 - 23935/1348. Let m = 18 + w. Which is greater: m or -1?
m
Suppose 4 = -6*i + 2*i. Let j = 0 - i. Let g be (21/(-5))/3 - -2. Are j and g equal?
False
Let w = 124 + -48. Is 77 equal to w?
False
Let d(u) be the second derivative of -3*u + 1/12*u**4 - 1/2*u**2 + 0 - 1/3*u**3. Let j be d(3). Which is smaller: j or 0?
0
Let z be (2/4)/(5/(-2)). Let p(x) be the third derivative of -x**5/60 + x**4/6 - 3*x**2. Let k be p(4). Are z and k unequal?
True
Let z = -2.02 + 0.02. Let v = -8 + 15. Let p = -7 + v. Which is bigger: z or p?
p
Let v = -24 + 38. Which is smaller: v or 15?
v
Suppose -4*o + 80 = 3*q, -2*q - 20 = -5*o + 4*o. Suppose -5*k = -k - o. Suppose l - 1 = 3. Is k less than or equal to l?
False
Let d = 0.2 + -0.25. Let u = -12 + 11. Are d and u unequal?
True
Let x be (-63)/48*1*-2. Let m be (237/(-108))/(10/15). Let g = x + m. Which is bigger: g or -1?
g
Let k = -1.4 + -4.6. Let h = 10 + k. Let i = 3.9 - h. Is i not equal to 2?
True
Let i = -0.69 + 0.7. Let m = 0.01 + i. Which is smaller: 0 or m?
0
Suppose -t + 2*f = 7*f - 3, 0 = 3*t - f + 23. Is t not equal to -4?
True
Let x = 107/935 - 2/85. Which is smaller: 8 or x?
x
Let o(p) = p**3 + 0*p**3 + 0*p**2 + 1 + 4*p**2. Let n be o(-4). Let m be (2/6)/(-2 + n). Do m and -1 have different values?
True
Let f = 62 + -61. Is -4/11 less than or equal to f?
True
Let a = 0.13 + -0.03. Is a >= -20?
True
Let x = 0 + 3/5. Is x greater than or equal to 0?
True
Suppose 4*s + 10 = 2*v, 0 = 5*v + 2*s - 3*s - 7. Let a be 3/(66/4) - 0. Is a < v?
True
Let b = 2 - 7. Let o = -6 - b. Is o not equal to -2?
True
Let t = 67 - 67.1. Does 0.37 = t?
False
Let v = -776/9 + 86. Let q(i) = -i**2 - 6*i - 1. Let s = 5 - 11. Let h be q(s). Which is smaller: h or v?
h
Let p = 27 - 28. Which is bigger: p or 2?
2
Let t = 2.5 - 17.5. Let f = t + 15.5. Which is smaller: f or 2?
f
Let k = 4 - 0. Let v be k/32*4*-2. Which is greater: 1/6 or v?
1/6
Let c(r) = -2*r + 12. Suppose 5*b = -4*n + 62, -n - 3 = -b + 4. Let p be c(b). Let h be ((-5)/((-50)/p))/2. Is 1 at most as big as h?
False
Suppose -3*d + 12 = -3. Suppose 1 = -5*a + 21. Suppose -5*i - a*b = 12 - 47, -2*b = 0. Which is smaller: d or i?
d
Let j be (-3)/(-10) + -5 + 5. Does j = 1?
False
Let i = 15 + -16. Let a(u) = -u. Let w be a(i). Is w <= 0?
False
Suppose 2*c - 5*y = -2*c - 15, 12 = 5*c + 4*y. Let n be 10/(-15)*3/(-2). Let j be (n/(-2))/((-22)/(-4)). Is j > c?
False
Let m = 0.48 + 0.52. Let t = 24.19 + -24. Which is smaller: m or t?
t
Let w = -1/781 + -21859/7029. Is -2 equal to w?
False
Let g = -3 + 5. Let z be (-3)/g*4/15. Suppose h + 2*h = 3. Which is smaller: h or z?
z
Let l be 116/14 + (-6)/21. Let i be ((-14)/8)/((-1)/(-4)). Let s = l + i. Does s = 0?
False
Let g = -137.2 + 137. Which is smaller: -61 or g?
-61
Let y = -1.7 - -1.9. Let f = 0.1 + y. Is -1/2 < f?
True
Suppose 0 + 2 = -2*i. Let m = -1707/8 - -213. Is m greater than i?
True
Suppose 4*b = -37 + 25. Let k be ((-2)/3)/((-2)/(-6)). Let m(q) = -q**2 - q. Let s be m(k). Which is smaller: s or b?
b
Suppose -2*v + v = 8. Suppose -4*p - 4 = -2*g, p + 3*g + 3 = 9. Which is bigger: v or p?
p
Let u = 604/5 + -4118/35. Let y = u - 67/28. Do 1 and y have different values?
True
Suppose 3*q = -8*q - 55. Let d(r) be the first derivative of -r**2/2 - r - 1. Let a be d(5). Which is smaller: a or q?
a
Let z be (-2 + 18/4)*-2. Is z >= -9?
True
Suppose -3*u - 6 = -u - 2*q, 0 = u + 5*q - 3. Let z = 0.3 - -0.7. Let a = z + -1. Which is bigger: u or a?
a
Let k be 4/(-6) + (-28)/(-15). Is k >= 2?
False
Let n be ((-342)/(-8))/((-9)/(-6)). Let i = n - 29. Let k be 5/10*(-3 + -1). Do k and i have the same value?
False
Let h = -37.9 + 38. Suppose 2*n + 3*n + 5 = 0. Is n < h?
True
Suppose 3*v - 2*v - 2*l + 3 = 0, 3*v = 3*l - 6. Let w(p) = -p + 4. Let n be w(2). Suppose -2*m - 2*m + n*h = 8, -2*h = -3*m - 6. Is m smaller than v?
True
Let w = -77 + 76. Which is smaller: 2/179 or w?
w
Let v be ((-1)/10)/(8/(-20)). Let x = 0.18 - 0.07. Let u = -0.01 + x. Which is smaller: u or v?
u
Let w = 8 + -122/15. Let h(y) = -2*y**3 + 17*y**2 + 31*y - 11. Let u be h(10). Are u and w non-equal?
True
Suppose a + 3*g = 18, 3*g - 29 = -3*a + 7. Suppose a*b + 14 = 10*b. Which is smaller: b or 13?
13
Let q = -62 + 71. Let m = 28 + -20. Is m not equal to q?
True
Let b be (-3)/12 + 7/(-4). Which is greater: 1 or b?
1
Suppose -2*w - 3 = w. Let d be 1/(w - 13/(-12)). Let b be (-14)/d*(-15)/21. Which is smaller: b or 1?
b
Suppose -4*h = 2*q - 20, 10 = -2*h + 5*h - q. Which is bigger: h or 2?
h
Suppose -3*k = -18 + 6. Let p(s) = -s**2 - 19*s + 24. Let i be p(-20). Suppose -k = u + 3*t, 0 = -2*u + i*u - t + 15. Is -7 at most as big as u?
True
Let w(b) = b**2 + b - b**3 + 3*b**2 + 4*b - 6*b - 3. Let k be w(3). Are k and 0.1 non-equal?
True
Let n = 1 - 0. Let q = 7/5 - 33/20. Is n at least q?
True
Let r = -48 + 48. Is 3/83 at most r?
False
Let v(j) = -14*j**2 + 4*j + 5. Let l(y) = -13*y**2 + 3*y + 4. Let h(d) = 4*l(d) - 3*v(d). Let g be h(-1). Which is smaller: -10 or g?
-10
Let i = -44/27 + -806/135. Is 0 at most as big as i?
False
Let v = -0.06 - -7.06. Let b = -2 - 0. Let k = 1.9 + b. Is v greater than or equal to k?
True
Let b = 29 + -3. Which is smaller: b or 3?
3
Let a = 2 + -25. Let s = a - -15. Are s and 0 unequal?
True
Let z be (1 + -3)/(-2*1). Let b(t) = -t + 8. Let a be b(6). Are a and z equal?
False
Let b = 70.9 - 71. Which is smaller: b or 37?
b
Let k(u) = u**2 + 5*u - 10. Let t be k(-7). Suppose -t*c + 10 = -2*w, 4*c = 2*w - 7*w - 39. Suppose -5*f = -f + b + 21, -4*f = 5*b + 9. Is w bigger than f?
False
Let v = -1233/8 - -154. Suppose 0*n - 6 = n. Let c be (-2)/(4/n) + -2. Which is bigger: v or c?
c
Let v = 2 - -18. Which is smaller: 0 or v?
0
Suppose 3*m + 2*m - 18 = -k, 4 = 2*m. Is 10 at least as big as k?
True
Let b = 20 + -20. Is b at most as big as -6/29?
False
Let r be (398/6 + -2)/(7/21). Is r at most as big as 193?
True
Suppose -56 = 26*i - 22*i. Is -2 greater than or equal to i?
True
Let u(v) = -v**2 - 8*v - 4. Let o be u(-7). Do 11/4 and o have different values?
True
Let d be 4/(-12) - (-5)/12. Which is smaller: d or 1?
d
Let y(b) = -b**3 + 5*b**2 - b + 6. Let f be y(5). Let s(c) = f + c - 3 + 0. Let i be s(4). Which is smaller: i or 3/5?
3/5
Let m(s) = -3*s**3 - 2*s**2 + 3*s + 2. Let v be m(-2). Let n be (2/(-114))/((-2)/v). Which is bigger: 0 or n?
n
Let b = 9 - 10. Which is bigger: b or -0.4?
-0.4
Suppose p - 4*a - 8 = -48, -49 = p - a. Is -52 < p?
False
Let z(x) be the third derivative of x**6/120 - 3*x**5/20 - x**4/24 + 11*x**3/6 - 3*x**2. Suppose 4 = 3*k - 23. Let w be z(k). Which is smaller: 3 or w?
w
Let k = 4 - 7. Let v = k - -8. Is 6 > v