?
True
Let g = -6 + 26. Suppose p + 4*p = g. Suppose p*z - 4*j = 44, -3*z + 0*j = 3*j - 51. Which is greater: z or -1?
z
Let o = -110 + 102.8. Let g = o - 2.8. Which is bigger: 4/7 or g?
4/7
Let x = -7.6 + 8. Let n = x + -0.4. Let l = 0.056 + 6.944. Which is smaller: n or l?
n
Let o be (101670/(-43888))/(-15) + (-4)/26. Which is greater: o or -1?
o
Let v = 2274 - 2433. Which is smaller: -5 or v?
v
Let r be 4/12*(-36)/(-12). Is 1/540 at least r?
False
Let h = -0.03 - 3.97. Let p = -0.07 - 3.73. Let u = p + 4. Which is smaller: h or u?
h
Let i = 48.8 + -52. Which is smaller: -1 or i?
i
Let p be ((-1)/2)/((-3)/102). Let u = -12 + p. Suppose -3*r + 4*r = 1, u*m - 4 = -4*r. Which is bigger: m or -1/38?
m
Suppose 10*a - 95 = 15. Suppose a*x - 28 = 7*x. Let c(d) = -6*d + 1. Let b be c(-1). Is x <= b?
True
Suppose 3*d + d - 16 = 0. Let m(g) = -g + 7. Let n be m(d). Suppose -2*t - 4 = -t, 0 = n*s - 2*t - 14. Are s and 9/4 unequal?
True
Let w be (-32)/128 + (-19)/(-92). Are w and 2/5 non-equal?
True
Let f = -1049 + 4743/4. Is 136 at least f?
False
Suppose 341*z - 324*z = 17. Suppose 3*o = -2*o + 10. Suppose -4 = a - o*a. Is a > z?
True
Let w = 9039 - 171681/19. Is 4 bigger than w?
True
Let j(r) = -r**3 + 6*r**2. Let v be j(6). Suppose -4*y - 4 - 8 = v. Let d be (-2 + 4)*y/(-12). Which is smaller: d or 0?
0
Let c = 9 + -5. Suppose -o - c*o = 0. Let m = -69.9 + 69. Is m greater than or equal to o?
False
Let j = -37 + 8. Let m = -47 - j. Let t be 3*1/(-90)*-10. Are m and t equal?
False
Let a be -2*1 + (-280)/(-64). Let o = a - 155/72. Let x be -1*(1 + (-2)/2). Which is bigger: o or x?
o
Let t = 68 + -75. Let c = -89/285 - 2/95. Are t and c unequal?
True
Let x = -197.5 + 197.6. Which is smaller: x or -26?
-26
Let s be 24/(-3) + -1 + -2. Let p be (3 + -2)*80/2. Suppose -5*t - p = -t. Which is smaller: t or s?
s
Let f be (2 - (-6)/(-3)) + 5. Suppose 0 = 5*p + f*w - 21 - 19, -40 = -3*p + 5*w. Suppose t + 5 + p = 0. Does -15 = t?
True
Let o = 410 - 0. Is o != 411?
True
Let p(t) = -t**3 - 3*t**2 - 9*t - 46. Let h be p(-4). Suppose 3*m - 2*w = 30, -m - m + 5*w = -20. Let b = m - 5. Which is smaller: b or h?
b
Suppose 4*r + 3*h - 27 = 0, -4*r + 2*h + 17 = 3*h. Suppose z = 2 - 4, z = -a - r. Is 2/55 at most a?
False
Let f(l) = l**2 - 7*l - 9. Let o be f(8). Is 1/53 > o?
True
Let y be 9/((-3483)/138) + 2/6. Let t = 114/3053 + y. Which is bigger: t or -1?
t
Let m = 3 + -1. Let p = -25 - -27. Let y be 3/p - 1/(-2). Is m equal to y?
True
Let r be 28/4 + -1 + -2. Suppose d - 3*n - 2*n = 9, 0 = d - r*n - 8. Suppose m - 15 = d*m. Which is greater: m or 0.2?
0.2
Suppose u = -4*d - 13 - 1, -3*d = 4*u + 4. Is -93 at least u?
False
Let l = -633 - -324. Is l bigger than -309?
False
Let u = 2003710/9 - 222873. Let k = 238 + u. Which is smaller: -1 or k?
-1
Let s be (-7 + 9)/(15/(-4)). Which is smaller: -4 or s?
-4
Suppose -7*x + 59 = -39. Let q be (-6)/(-10) + x/35. Are q and 2/43 unequal?
True
Let p be (-1)/(-2) + (-6)/(-18)*903. Let j = -296 + p. Is j bigger than 5?
True
Suppose -o = 8*o. Suppose 0 = 4*w - 2*w. Suppose w = q - 3 - o. Which is greater: 2 or q?
q
Let s = 1000 + -1197. Is -197 smaller than s?
False
Suppose -15 = -j - 1. Let f(i) = 2*i - 29. Let n be f(j). Let h be 0/(-2) - 1/(-4). Which is bigger: h or n?
h
Let u be (-18)/(-280)*2*72/378. Is 0 bigger than u?
False
Suppose -5*c = 15, c - 181 = -4*d - 0*d. Let x = d + -45. Is x bigger than 1?
False
Suppose 2*c + 1 + 7 = 0, 0 = d + 5*c + 30. Suppose 4*o + 3*h = 35, -3*o - 3*h = -5*o + 13. Let k = o + d. Is k not equal to -3/4?
True
Let h = 1 + -1. Let y be -2*(-2)/(-4) + h. Let p be (2 - 2)/((-1)/y). Which is greater: p or -1?
p
Let d be (-2)/10 + (-316)/80*-26. Let u = d + -102. Does 18 = u?
False
Let r(x) = -x - 6. Let a be r(-8). Let n(p) = -p**3 + 2*p**2 - 3*p + 4. Let s be n(a). Are s and -12 nonequal?
True
Let s = 0.003 + 45.997. Let a = s + -33. Let r = a + -9. Is 0.1 > r?
False
Let b = 1333/2674 + 2/1337. Which is greater: b or 0.773?
0.773
Suppose -4*u - 4*a = u + 11, -2*u - 6*a - 22 = 0. Let y be (4/(-14))/(3/(-18)). Is y greater than u?
True
Let t = -44 + 47. Suppose -u - a = a + 1, -3*u = t*a + 18. Which is smaller: -10 or u?
u
Let g = 6 - -3. Let z = 8 - g. Let p be 1 - (-13)/10*z. Which is smaller: 0 or p?
p
Suppose -3*u + 4 - 10 = 0. Let h = -12583/21 - -3575/6. Let y = h + 20/7. Is u bigger than y?
False
Let y be 2/(-8) - (-39)/4. Suppose 2*v - 6 = 0, 2*f - 4*v + 2 = f. Is y not equal to f?
True
Let u be ((-102)/12)/(24/(-112)). Which is smaller: 40 or u?
u
Suppose -2*z = 2*z - 4. Let n be 4 + (1/(-4) - (-819)/(-52)). Let f be (-14 - n)/((-3)/(3/(-29))). Are f and z equal?
False
Suppose 0 = 15*s - 12 + 42. Which is greater: s or -5?
s
Let j = 2756 + -2757. Is 54/125 less than j?
False
Suppose -f + 4*f + 3*n = 108, 5*n - 20 = 0. Let l be 16*2/5*(25 + -20). Does f = l?
True
Let v = 0 - 0. Let j(l) = -l**2 + l. Let y be j(v). Let t be 3*(-2)/(-24)*4. Which is greater: t or y?
t
Let i be 4/(-10) - 0 - (-120)/(-200). Let j(f) = -f - 7. Let q be j(-3). Let y be 7/28*18/q. Is i greater than or equal to y?
True
Suppose o - 3*m - 66 = 0, -5*o + 213 = 4*m - 174. Which is bigger: 71 or o?
o
Let c be ((-2)/3)/2 - -1. Let p = 707 + -8491/12. Let a = c - p. Is 2 > a?
True
Let j(c) = c**2 - 17*c - 199. Let i be j(25). Is 5 > i?
True
Let b = 5839/511 + 21/73. Which is smaller: 13 or b?
b
Let r = -0.3 + 0.5. Let u = -1295 + 1301. Which is bigger: u or r?
u
Let d(t) = -t**3 - 6*t**2. Let p be d(-6). Suppose -5*y + 21 + 14 = p. Let b = -7 + y. Is b at least as big as -1?
True
Let r(j) = j**3 + 3*j**2 - 2*j - 2. Suppose -6 = m + 3*t - 2*t, 2*m = -5*t - 21. Let z be r(m). Let o be -2 - -9*4/6. Is o smaller than z?
False
Let s be -10 + 5 + 1 + -4. Let v be 4/16 + (-14)/s. Suppose 8 = -5*p - k, v*p - k + 17 = -6*k. Which is greater: p or -0.12?
-0.12
Let x = 16/2117 + -3/29. Is x at least 2/9?
False
Let m = 177 + -184.9. Let x = m + 8.9. Let z be -2*(1/(-12) + 0). Is x less than or equal to z?
False
Suppose -338 = -30*s + 4*s. Which is bigger: 7 or s?
s
Suppose 4*n - 151 = 2*c - 33, -236 = 4*c + n. Which is smaller: 2 or c?
c
Let z be ((-5)/((-1080)/464))/1. Which is greater: 3 or z?
3
Let v be 286/(-234) - (-4)/18. Is -2/183 > v?
True
Let i = 40.2 + 11.8. Let d = i - 49. Are -9/4 and d nonequal?
True
Let r = 27 + -27.03. Let t = r + 6.03. Let b = -5.9 + t. Is 1.2 equal to b?
False
Let s = 3.89 + -3.853. Is -2 > s?
False
Suppose -86 = -o + 4*k, -5*o + 3*k = 4*k - 346. Suppose -6*b - 5*j - 117 = -10*b, -3*b - 3*j = -81. Let d be (-62)/o - (-8)/b. Which is greater: 0 or d?
0
Let y = 797 - 872. Let p be (14/(-4))/((-3)/(-66)). Which is smaller: y or p?
p
Let r(q) = 2*q**2 - 3*q - 2. Let l be r(2). Which is bigger: 5/9 or l?
5/9
Let o(g) = g**2 + 11*g - 21. Let p be o(-14). Suppose 0 = p*q - 20*q - 2. Are q and 11/7 equal?
False
Let s = -62 - -57.3. Let o = -0.73 + 0.03. Let z = o - s. Which is smaller: -2 or z?
-2
Let q be 176/(-28) - 8/(-28). Do -17/3 and q have the same value?
False
Let a(x) = 3*x - 14. Let i be a(6). Suppose n + i*k - 7 = 14, -8 = 4*k. Let m = -50 + n. Is m < 0.1?
True
Let l = 201 - 201.5. Which is smaller: -0.01 or l?
l
Suppose i + 119 = 2*i - 3*w, 25 = -5*w. Let h be i/30 - ((-60)/(-9) + -6). Which is smaller: h or 2?
2
Suppose -4*x = -2*x + 4*x. Is 4/65 at least as big as x?
True
Let y(n) = n**2 - 17*n + 88. Let g be y(12). Do 27 and g have different values?
True
Let t = -142/3 + 47. Suppose 178*i - 180*i + 206 = 0. Which is bigger: i or t?
i
Let b = 227 + -15661/69. Is 0 bigger than b?
False
Let y(w) = 43*w + 2. Let x be y(-2). Let l = 49 + x. Let o be 8/(-18)*l/(-10). Which is bigger: -3 or o?
o
Let b = -91 + 10. Is -81 smaller than b?
False
Let o = 590/7 - 39418/469. Which is smaller: o or 1?
o
Let q = -680257/172 + 3955. Is 1 < q?
False
Suppose -10*o - 78 + 8 = 0. Is o at least as big as -22?
True
Let v = -1.807 + 0.307. Is 1/15 bigger than v?
True
Let g be (-924)/(-6112) - 9/72. Are g and -1 equal?
False
Suppose x - 4*v - 4 = 0, 5*x + 43 = -v - 21. Let w be (-3)/3 - -9 - 0. Let a = -4 - w. Is x at least a?
True
Let i = 65 - 15. Let o = i - 349/7. Is 4 at least as big as o?
True
Let u be ((-91)/14 + 5)*(-52)/(-6). Let g(f) be the third derivative of -f**6/120 - f**5/12 + f**4/6 + f**3 - 4*f**2