 to h?
True
Let w = 1.7 - 2.4. Let m = 0.4 + w. Let o = 0.156 + -0.356. Which is greater: o or m?
o
Let a = -17 - -12. Let f = -4 + a. Let p = f - -8. Is 0 bigger than p?
True
Let m(j) = 8*j**3 + j. Let k be m(-2). Suppose 16*u - 63 + 303 = 0. Let r be (k/u)/(8/10). Which is greater: 6 or r?
6
Let v be 1/(-2)*-1*(8 - 10). Which is smaller: -1/6 or v?
v
Suppose -4*h - 14 = -3*g, -2*g + 11 = -h + 5. Suppose g*c + 4*y - 24 = 0, -4*y - 11 = -c + 19. Is 19 <= c?
False
Let g = -1 - -2. Let y = -2.2 + 19.2. Let u = y - 10. Is g bigger than u?
False
Let m = -11 + 6. Let d be ((-160)/(-16))/(3 + -1). Suppose d*o + 4*g + 30 = -g, g = o + 4. Are m and o equal?
True
Let h = 5/73658 - 2610283/5666. Suppose a = k + 459, 4*k - 4*a + 2297 = -k. Let p = h - k. Do p and -1 have the same value?
False
Suppose 0 = -c + 4*s + 8 + 7, 2*c = 5*s + 33. Let r(a) = a**2 + 5*a - 32. Let z be r(5). Does c = z?
False
Suppose -2*m = -n - 0*m - 8, 2*n = 2*m - 6. Suppose -5*j + 4 = -26. Let z be 4/j + n/(-4). Do -1 and z have the same value?
False
Suppose -140 = f + 4*f. Let k = f + 31. Let m be (0 + 2)*k/(-177). Which is smaller: m or -1?
-1
Let r = 8 + -8. Let z(n) = n - 21. Let v be z(r). Let p be ((-12)/(-7))/((-6)/v). Which is smaller: p or 4?
4
Suppose 5*q - 3 = 12, i - 1 = -q. Let b be (i*1/(-2) - 2)*-1. Is 1 > b?
False
Suppose 4*b - 4*g + 16 = 0, 2*g - 1 - 5 = 4*b. Which is greater: -1/342 or b?
b
Suppose -2*f - 7*v = -2*v + 14, v = -4. Suppose 0 = -3*d + 2*x - 55, -2*x = -f*d + 6*d + 35. Which is greater: 0.1 or d?
0.1
Suppose 0*b = 5*b - 15. Let z(o) = -o**3 + 5*o**2 - 2*o - 4. Let r be z(b). Suppose g + r = -3*g. Is -3/2 smaller than g?
False
Let h = 6.8 - 6.96. Let p = 8 + -7.94. Let q = h + p. Which is bigger: -0.3 or q?
q
Let n = -19.8 - -19.69. Let b = -1.99 - -2. Let q = n + b. Which is bigger: q or 17?
17
Let c = 3 + -6. Let b be (-3)/18*(c + -1). Which is smaller: 48 or b?
b
Suppose 163*p - 74 + 188 = 49*p. Let z = -34/7 - -1843/378. Is p smaller than z?
True
Let n = -1 + 0. Suppose -4*s + 2*d + 20 = 0, 5*d + 2 = -2*s - 0. Let t be 1 + 32/(-70) + s/(-10). Is n bigger than t?
False
Suppose -3*s + 10 = -q, -4*s + s = -4*q - 4. Let x(j) = q + 4*j + 9*j**2 - 8*j**2 - 8. Let m be x(-5). Which is smaller: -3/7 or m?
m
Suppose 26*q = q + 25. Which is smaller: q or -1/49?
-1/49
Suppose 2*d - 3*r = -17, 7*d = 2*d - r - 51. Let v = d - -20. Let n be ((-4)/(-10))/(2/v). Which is smaller: 1 or n?
1
Let o = -23 + 24. Let q be (-1 + -2)*o - 27. Let y be q/15 - (-2)/(-4). Is -4 != y?
True
Let g = 99 + -69. Let q = g - 29. Let p = -2 - -1. Which is smaller: q or p?
p
Let k = 1988 + -506938/255. Which is bigger: 0.04 or k?
0.04
Suppose -3*h = -7*h + 360. Is h at least 84?
True
Let a(r) = r - 6. Let o be a(9). Let g = o + -1. Suppose 4*n = 2*n - 3*l - 15, 5*n + g*l + 32 = 0. Which is smaller: -5 or n?
n
Suppose 2*c = -44 - 90. Is c < -66?
True
Let y = 109.2363 - -13.6627. Let k = y - 123. Which is greater: 0 or k?
0
Let t be (2*6)/(36/54). Suppose 3*m + 9 = -t. Is m < -10?
False
Let o(g) = 110*g - 218. Let a be o(2). Let n be 11/3 - (-2)/(-1). Which is greater: n or a?
a
Let h = 30 + 3. Let n = h + -27. Let m be 54/2*n/(-18). Is -8 <= m?
False
Let m = 93 - 57. Suppose x - 62 = 3*g - 3*x, -4*x - m = 4*g. Let o(q) = -6*q - 9. Let d be o(1). Is d bigger than g?
False
Let p = 69 - 57. Let j be (-3)/6*p/76. Is j > -1?
True
Let q be ((-12)/50)/((-36)/45). Let r(s) = -2*s**2 - 2*s + 3. Let c be r(-4). Let u = c + 21. Is u < q?
True
Let r(q) = 4*q - 30. Let w be r(9). Let h(g) = -g**2 + 5*g - 2. Let i be h(4). Let z be (i/6)/((-8)/w). Is -1 less than z?
True
Let d be (45/(-370))/(1/(-2)*1). Which is greater: 1 or d?
1
Let z(m) be the second derivative of -m**4/12 - 11*m**3/6 - 5*m**2 + 2*m. Let f be (-13 + 1)/(-3) - 14. Let t be z(f). Which is smaller: 4/3 or t?
t
Suppose 10*c = -1430 - 990. Is c at least -244?
True
Suppose 3*s = 9 - 45. Let q be 1/((-25)/(-65))*-5. Let x = s - q. Which is bigger: 2/5 or x?
x
Let w = 2/1389 + 6383/390309. Is w equal to 0?
False
Let k(q) = 2*q**2 - 8*q + 5. Let o be k(5). Let g be (o/10)/(10/4). Let a be 1 - (1 - (2 + -2)). Which is smaller: a or g?
a
Let h = 0.99 - -0.09. Let n = h - 0.09. Let l = 0.01 + n. Which is smaller: -5 or l?
-5
Let g be -133 + 3*10/15. Let b = 123 + g. Let m(x) = -2*x**2 + 3*x + 1. Let j be m(3). Is j smaller than b?
False
Let z(o) = o**3 - 12*o**2 + 11*o - 2. Let t(a) = 3*a + 2. Let f be t(3). Let b be z(f). Which is smaller: b or -5/7?
b
Let m(s) = -21*s - 163. Let a be m(-8). Which is smaller: 0 or a?
0
Let f = -277/1204 + 15/172. Is f less than or equal to -122?
False
Suppose 150 = 9*o - 4*o. Suppose a - 4*a = -o. Suppose a*b = 5*b. Does b = 2/7?
False
Let s be 8/(-1) + 185/(-360)*-9. Let y = -9 - -7. Is y equal to s?
False
Let g = -0.01 - 2.59. Let v = 1.6 + g. Are 3/5 and v equal?
False
Let z(u) = 2 - 3 + u - 6*u + 4*u. Let v be z(3). Let f = 724/3 + -244. Is v <= f?
True
Let i(t) = 4*t - 4. Let w be i(2). Suppose -5*m = -g - 4 - 34, 2 = 2*m + w*g. Let j be 28/(-49) + 25/m. Which is greater: j or 7/3?
j
Let i = 63 + -38. Let n = -623 + 598.1. Let o = n + i. Is o at most as big as -2/7?
False
Let f = 3.84 + -0.54. Let b = 3.1 - f. Let r = 218/3 + -71. Is b smaller than r?
True
Let d = 9 - 9.24. Let k = 1.24 + d. Which is smaller: k or 10?
k
Let c be (-70)/25 - -3 - 9/75. Is 3 bigger than c?
True
Let x = 794 - 793. Is x smaller than -24/109?
False
Let f = 232.9 - 239. Which is greater: -1/4 or f?
-1/4
Let i(b) = -b**2 + 9*b + 25. Suppose 4*x = -5 - 19. Let t be i(x). Is t > -65?
False
Let n = 1291 + -1381. Which is greater: n or -3?
-3
Let j = -7 + -11. Let r be 2/(-10)*(-9)/j. Are r and -3 nonequal?
True
Let p be -10 - (-3 + (1 - 1)). Let f = -7 - p. Suppose -2*t - 7 = -9. Is f greater than t?
False
Let d(n) = 2*n**2 + 2*n + 1. Let h be d(-1). Let q be 11 - (3 + -2 - h). Let z = 57 - 44. Which is smaller: q or z?
q
Let r(c) = -7*c**2 + 197*c - 29. Let q be r(28). Which is bigger: 1/653 or q?
1/653
Suppose -3*z = -i + 14 - 1, 3*i + z - 39 = 0. Let k be (0 - i) + 4 - 3. Let j be k/8*2 + 2. Is 7 >= j?
True
Let q = -1123 + 1123. Is -12/53 > q?
False
Let l = 15 - 21. Let u = -0.055 + -6.945. Let p = u - l. Which is smaller: p or 8?
p
Let a = -9710/9 - -1080. Let w(m) = 2*m**3 - m**2 - m + 2. Let r be w(1). Let f be r/(-8)*(-12)/18*12. Is f greater than or equal to a?
True
Let d(o) = o**2 - 6*o - 9. Let l be d(10). Let u = l + -69. Is u > -1?
False
Suppose 0 = 5*d - k + 3, 0 = d + k - 0 + 3. Let m be 123/(-3) - (d + -3 - -8). Which is greater: -46 or m?
m
Suppose -h - 4*j = 33, 3*j + 296 - 97 = -5*h. Which is smaller: h or -47?
-47
Suppose -2*g - x = 20 - 33, -4*x - 32 = -6*g. Is g bigger than 3?
True
Let c = -817 + 543. Do -1 and c have different values?
True
Let w = 37/15 + -14/5. Let u = -67 - -46. Let n = -19 - u. Do w and n have different values?
True
Suppose 9*s + 327 = 13*s + 5*z, -5*s + z = -387. Is s at least as big as -3?
True
Let q be 1 - 3/(15/(-805)). Let y be (-9)/18 + 85/q. Which is smaller: 0 or y?
0
Let x = -0.0286 - -0.2486. Is x at least 2?
False
Let g = 5 + -13. Is g > 0?
False
Let p = -0.1221 - 6.8779. Which is greater: p or 0.15?
0.15
Let d be 4/(-6) + (-1143)/(-1755). Let a = 24/19 + -5972/3705. Let n = a - d. Which is smaller: n or 0?
n
Let i be 2/14*(-26 + 5)/(-3). Is i != 2?
True
Suppose 4*q - 6*q - 4*b = 0, -2*q = -4*b - 16. Let a be ((-750)/35)/(-5) - q. Is -3/5 greater than a?
False
Suppose 2*i - 5*i = 0. Let c(l) = -l**3 - 2*l**2 + 2*l + 4. Suppose 0 = 5*k - 3*h + h + 2, 2*k - 2*h - 4 = 0. Let n be c(k). Is i != n?
False
Let a = -3.13 - -2.93. Is a less than or equal to 121?
True
Suppose -3 - 3 = -3*p. Suppose 4*d + 4*d = 16. Let x be d/(-12)*(-5 - 5). Which is smaller: x or p?
x
Let z = 0.255 + 38.145. Let p = 38 - z. Which is smaller: -0.07 or p?
p
Suppose 1 = 3*n - 5. Suppose -20 = 4*h, -6*g + n*h + 38 = -2*g. Suppose 0 = 5*y, 0*w + y = 5*w - 30. Which is bigger: g or w?
g
Let c be 19 + -19 + 2*1. Let n be (3/(-105))/(c/25). Which is bigger: 1 or n?
1
Let x = -45 + 15211/338. Is 1 at least x?
True
Let d be (11/4)/((-1)/(-8)). Suppose 0 = -8*u + 134 - d. Which is bigger: 13 or u?
u
Let z = 1658 - 24871/15. Let y be (-1)/(-4) + (-7)/(-4). Let d = y - 3. Are z and d equal?
False
Let t be -3 +