 than or equal to x?
True
Let q = 3.28 + -183.28. Which is greater: q or -1?
-1
Suppose -3*b = 30*b + 2079. Is -62 less than or equal to b?
False
Suppose -4 = 2*t + 2*t. Let c = -3 + t. Suppose -4*f - 11 = 5. Is f greater than c?
False
Let c be (2/2)/(1 - -3). Let k be 3 + (29/(-12) - 0). Let h = k - c. Which is greater: h or 0?
h
Suppose 2*y - 15 = -295. Is -138 at most as big as y?
False
Suppose 5*c + 4 + 7 = -i, 2*i - 4 = 3*c. Let b be 0 - 2 - (2 - 2). Let x be 72/(-15) + 5 - (3 + b). Is i at most as big as x?
True
Let r = 0.47 + 1.53. Are 5/3 and r non-equal?
True
Suppose 2*z - 5*z = -6. Suppose z*v - 6 = 4*v. Is v equal to -20/11?
False
Suppose 136*b - 207 = 113*b. Let x = 0.2 + 0.8. Is x at least as big as b?
False
Let m = -170 + 238. Let p = 477/7 - m. Let a(z) = -2*z - 4. Let h be a(-2). Are h and p equal?
False
Let s(l) = 2 - 216*l + 215*l - 69*l**3 + 0 - 2*l**2. Let f be s(1). Which is smaller: -71 or f?
-71
Let r = 94/13 + -15842/91. Which is greater: -166 or r?
-166
Let j(h) = -2*h + 2. Let f be j(-2). Suppose 0 = -2*x - x + f. Let a be ((-27)/30)/(7/((-105)/9)). Is a smaller than x?
True
Suppose 205 = 7*i - 1265. Which is bigger: -2/7 or i?
i
Let r(k) = -k**3 - 7*k**2 - 11*k - 21. Let h be r(-6). Are h and -2 equal?
False
Let b(y) = -2*y + 28. Let z be b(14). Let k be (-19)/(-1) + 1 + z. Is 17 greater than k?
False
Let a = 15 + -28. Let w = a + 0. Let x = w + 13. Does x = -1/7?
False
Let j(d) be the third derivative of -d**6/120 + 7*d**5/60 - d**4/8 + 2*d**3 + 20*d**2. Let g be j(7). Do g and 2/11 have different values?
True
Let j = -0.09 + 1.69. Let w = 49.6 - 50. Let n = j - w. Is 1/4 > n?
False
Let b = 120 + -120.051. Let t = b + -14.949. Which is smaller: 1 or t?
t
Let a = -0.1 - 1.1. Let n = -21 + -15. Let u = 37 + n. Is a at most as big as u?
True
Let d = -25.2 - -3.2. Let h = d - -20.7. Let p = -0.3 - h. Which is greater: -3 or p?
p
Let g(k) = k**3 + 5*k**2 - 7*k - 3. Let t be g(-6). Suppose -2 - 4 = -t*v. Let h(b) = 2*b**3 - 63*b**2 - 30*b - 66. Let a be h(32). Is v greater than a?
True
Suppose -4*u + 8*u = 8. Let h be u*(-2 - 10/(-4)). Is h > 0?
True
Suppose 130 = -9*h - h. Which is smaller: -14 or h?
-14
Let s be 1/(-4) + (-1)/(-3). Let c(m) = -m**3 + 5*m**2 - 3*m + 1. Let f be c(4). Suppose 2 = -f*w - 3. Which is smaller: s or w?
w
Let b = -68.61 + 68. Let f = b - -0.51. Which is smaller: 3.3 or f?
f
Let z be ((-4655)/10)/19 + 1*2. Which is smaller: z or -22?
z
Let m be ((-195)/1196)/((-1)/(-96)). Let a = -138646/8855 - m. Is -1 >= a?
False
Let g = 9 + -26. Let o = g - -16.9. Which is bigger: o or 9?
9
Let q be -8 - (-4)/((-16)/(-28)). Is q at least 1/107?
False
Suppose -11*c + 10*c = 0. Suppose 4*u = -4*m - 12, c = -0*u + 4*u + m + 6. Which is smaller: u or -10?
-10
Suppose -2*q + a + a = -8, a = 4*q - 10. Suppose -4*c + 1 = 4*z + 5, c + q*z + 6 = 0. Suppose -3 - 1 = c*k. Is 1 smaller than k?
False
Let t = -2860 - -2837. Which is smaller: -71/3 or t?
-71/3
Let o = 17 - 9. Suppose 0*q = -q - o. Let z be q/(-32) + (-6)/8. Which is greater: -1/5 or z?
-1/5
Let q = -80 + 82.4. Is q less than or equal to -2/3?
False
Let y be (-1)/(29/(-5) + 6). Is -5 greater than y?
False
Let i = 30 + 49. Suppose 0 = -7*h + i + 117. Is 28 > h?
False
Let x = 1083/2 - 551. Is -9 bigger than x?
True
Let m be (-12912)/(-138222) - ((-260)/(-84) + -3). Which is bigger: m or -1?
m
Let r be (-45)/4 + (-79 - -69). Do r and -22 have different values?
True
Let s = 3 - 4. Let k(b) = 4*b - 12. Let o be k(8). Let f be 70/o + s + -2. Is 1 smaller than f?
False
Suppose 126*x - 119*x - 224 = 0. Suppose w = 5*u + 10, -2*w + 48 = 5*u - 32. Which is bigger: w or x?
x
Let v(y) = -y**3 + 5*y**2 + 6*y. Let h be v(6). Let b be 3*((-4)/(-12) + h). Suppose 12 = n + o, -4*n - 2*o + 41 = b. Does 8 = n?
True
Let p = -211 - -308. Let d(m) = -m**3 - 7*m**2 - 8*m - 31. Let k be d(-8). Is k bigger than p?
False
Let t be 6/4*(-42)/9. Let s be (-30)/t + 14/(-49). Is s > 8/3?
True
Let m(t) = t**2 - 7*t - 30. Let l be m(10). Let x be l - (48/(-18) + (-3)/9). Which is bigger: -16 or x?
x
Suppose 64*z - 41*z = 0. Do z and -6/145 have the same value?
False
Suppose -m - 16 = 4*o - 2, 5*m = 4*o - 118. Let q = -19 - m. Which is bigger: 7 or q?
7
Suppose 4*u = y - 9 - 3, -4*u = -2*y + 20. Let x be (18/y)/((-18)/15). Let k = x + 2. Is 1 at most k?
False
Let t be -65*(10/(-25) + 2). Let d = t - -519/5. Which is greater: d or 3/4?
3/4
Let a = 0.079 - -4.921. Let q = a - 3. Is q bigger than 4.6?
False
Let m(o) = -o**2 - 20*o + 24. Let h be m(-21). Let x be h/(-12) - (-11)/60. Which is bigger: 0 or x?
0
Let w(m) = 3*m**3 + m**2 + 1. Let p be w(-1). Which is bigger: 20/43 or p?
20/43
Let x(h) = -h**2 + 17*h + 23. Let r be x(18). Suppose 4*w = 3*g + 4, 2*w + 4*g = 7*w - r. Which is greater: 8/7 or w?
8/7
Let a = 32.81 + 1.09. Let w = a - 34. Which is greater: -13 or w?
w
Let t = -5167506/955 + 5411. Which is smaller: -1 or t?
-1
Let g(m) = -m**2 - 5*m - 6. Let t(k) = 2*k + 7. Let i be t(-16). Let q = 17 + i. Let f be g(q). Which is bigger: -29 or f?
-29
Let o = -80 + 55. Let f = o - -24. Which is smaller: f or -2/13?
f
Suppose 3 + 12 = -4*o + 3*c, -3*o + c - 5 = 0. Let g be -3 - 6*4/(-3). Suppose -g*h + 0 = -4*n + 1, -h - 1 = 0. Is o at least as big as n?
True
Let k be (-158)/332 - 1/(-2). Suppose -8 + 15 = 7*w. Do k and w have different values?
True
Suppose -5*m - 28 = 57. Let l = m - -18. Suppose l = -i + 4. Does -1 = i?
False
Let j be (5 - 27/21) + -4. Which is smaller: j or -0.052?
j
Suppose -3*k - 6*k = 3*k. Which is smaller: k or 3?
k
Let g be 1*8/3*(-5082)/616. Let r = 68 + -45. Let j = g + r. Which is smaller: j or -2?
-2
Let k(s) = s**2 + 5*s - 12. Let n be k(2). Suppose -5*z = -2*o - 6, 1 = -n*o + z - 5. Are -4 and o equal?
False
Let r(y) = y**3 + 7*y**2 - 5*y - 3. Let o be r(-7). Let n be (3/84)/(44/o). Is n equal to 1?
False
Let v = 89/1425 + 1/57. Which is smaller: -4 or v?
-4
Suppose -5*b - 2*b - 266 = 0. Does b = -2?
False
Let u = -238 + 238.1. Let z = 34.8 - 4.8. Is u less than or equal to z?
True
Let g(z) = -2*z + 13. Let n(h) = 4*h + 3. Let c be n(1). Let a be g(c). Which is smaller: -14 or a?
-14
Suppose 8*d = -2*d + 100. Let a be 2/7 - (-37)/(-7). Let b = a + d. Is b smaller than 5?
False
Suppose -4*n - 3*f = 51, 3 = -3*n + 2*n - 4*f. Let p = n - -13. Is -7/8 bigger than p?
True
Let f = 14 - 14.1. Let r = f + 0.37. Let t = r - 0.18. Is t bigger than 0?
True
Suppose -17*t + 84 = 4*t. Is 60/13 at least t?
True
Let j(x) = 2*x + 2. Let a(o) = -6*o + 2. Let m be a(1). Let l = 1 - m. Let u be j(l). Is 12 > u?
False
Let x = 0.36 + 14.64. Let d = -8 + 24. Let h = x - d. Which is smaller: 5 or h?
h
Let c(j) = -3*j**3 + 4*j**2 + 14. Let s(l) = 7*l**3 - 7*l**2 - l - 28. Let p(b) = -5*c(b) - 2*s(b). Let q be p(6). Let w = -0.2 + 0. Are q and w unequal?
True
Let k(j) = -3*j. Let h be k(-1). Suppose 0 = -2*b + b + 5*b. Suppose b*a - 3*a - h = 0. Which is greater: -3/7 or a?
-3/7
Let m = 343 - 458. Which is bigger: m or -349/3?
m
Suppose 0 = -6*m - 44 + 14. Which is smaller: m or -9?
-9
Let x be (-1 + 0)*24/(-384). Suppose 5*k = s + s - 12, -5*s + k = -7. Let f be s/(-4) - 25/(-20). Is x at least f?
False
Let c be -1 - (3 + -2 + -2). Suppose 6*i - 11*i - 60 = 0. Let q be i/30 - 2/(-5). Is c equal to q?
True
Let d = -2072.3 - -2068. Which is greater: -0.05 or d?
-0.05
Let d = 122 - 114. Let t be -18*((-63)/(-18) + d/(-2)). Which is smaller: 13 or t?
t
Let q be 4 - (58399/17996 + (-6)/(-8)). Which is bigger: q or 1?
1
Let f be (13 - 0 - 1) + 1. Suppose -f + 41 = 4*z. Suppose -4*k + 2*n = 2, k = -4*k - 5*n + 20. Which is smaller: k or z?
k
Let j = 1821 + -218. Which is smaller: 1602 or j?
1602
Let p = 0.3 - 0.1. Suppose 12*v = -13*v - 800. Is p != v?
True
Suppose 0 = -25*b + 2755 - 230. Is 102 less than b?
False
Let g be (-489)/(-1)*3/(-9). Let f = -2120/13 - g. Let r(m) = -m**3 + 7*m**2 - 5*m - 5. Let q be r(6). Which is smaller: f or q?
f
Let n = 12.138 + -0.138. Which is smaller: n or 1?
1
Let s(w) = -982*w**2 + w + 3. Let b be s(-3). Let k be 16/9*b/66. Let m = k - -238. Which is greater: m or -1?
m
Let y = 483 - 658. Is 1 greater than or equal to y?
True
Suppose 0 = -r, z + r = 2*r + 5. Suppose 1 - 6 = z*s - 4*u, -u - 1 = s. Let m = 1817/17 - 107. Which is smaller: m or s?
s
Let