u?
True
Let o = 3 + -1. Let p(a) = -2*a + 36 + a - 36. Let n be p(o). Do n and -2 have different values?
False
Let t = -281 + 219. Which is smaller: -64 or t?
-64
Let n(i) = -i**2 + 11*i + 5. Let r be n(11). Let c = 20 + -19. Is c at least r?
False
Let f = 269 - 180. Is f at least as big as -0.1?
True
Suppose -p + 4*c - 45 = 0, 78*p - 83*p - 241 = -4*c. Is 6 at least p?
True
Let v = 29.41 - 0.41. Let x = v - 29.1. Are x and 0.09 nonequal?
True
Let o be 8/76 + 14/(-133). Let h(a) = a**3 - 7*a**2 - 2*a + 8. Let u be h(7). Let j = u + 7. Which is smaller: j or o?
o
Let a be ((-6)/(-9))/(22/2). Let t(o) = o**3 - 3*o**2 + 4. Let g be t(3). Suppose -6 = -2*z - g. Are a and z nonequal?
True
Suppose 157 - 49 = -4*c. Let z = c - -28. Suppose -z = -2*b + b. Do b and -2/33 have the same value?
False
Suppose 30 - 4 = 13*i. Which is smaller: -0.148 or i?
-0.148
Let s be ((-10)/(-2))/(2 + -1). Suppose -s*j + q + 2*q + 49 = 0, -j + q = -11. Suppose j*x - 7*x = 0. Are x and 1 equal?
False
Suppose g - 5*g = 0. Suppose -2*a + 3*a = g. Which is greater: a or 5/4?
5/4
Let s(n) = -2*n**2 + 8*n + 9. Let o be s(7). Let b be (-11)/(o/72)*1. Suppose -b = -3*j + 2*c, 4*c + 5 - 17 = 0. Is 10 at least as big as j?
True
Let m = -16100779/129 + 124813. Let j = m - 4/43. Which is greater: -0.11 or j?
j
Let l = 125949/128 + -984. Which is smaller: -1 or l?
-1
Suppose -2*g = -7 + 3. Suppose -5*y + g*i + 15 = 3*i, -2*y + 3*i = 11. Suppose 0 = y*r - 4*r. Which is smaller: 4/7 or r?
r
Let c be (-17 + 16)/(-7*2/974). Let t = 69 - c. Which is smaller: t or -1?
-1
Let d(v) = 4*v**2 - v - 2. Let t be d(-1). Let o(a) = 13*a**t + 14*a**3 + 11*a**2 - 26*a**3 - 7*a - 4*a**2 + 6. Let q be o(-8). Which is smaller: q or -10/13?
q
Let b be 0 - 1 - (-3380)/(-45). Let s = b + 76. Which is greater: s or -3?
s
Suppose -y - v = -5, 5*y + 15 = 5*v - 2*v. Suppose y = 4*d + 2 + 2. Which is smaller: d or 1/6?
d
Suppose 2*q = r - 3, -3*q + 1 = r - 2. Is 1/173 > q?
True
Let g = 226/3 + -75. Which is smaller: -3 or g?
-3
Let u = 73 - 248. Is -174 at most as big as u?
False
Let f = 220 - 221. Is -30/17 less than or equal to f?
True
Let k = 88/145 - 6/29. Let y = 8.643 - 0.043. Let q = 8 - y. Is k bigger than q?
True
Let s(l) = -l + 12. Let b be s(7). Suppose -2*f + b*w + 7 = -0*w, 9 = -3*w. Is f less than -3?
True
Let r(j) = -j**3 - 3*j**2 + 4*j. Let l be (1/(-4)*0)/(-4). Let k = -4 - l. Let h be r(k). Is -1/12 not equal to h?
True
Let f = -1366 - -5463/4. Does f = 12?
False
Suppose 2*g - 118 = l, 3*g - 72 - 385 = 4*l. Let x = -557/5 - l. Which is bigger: x or 2?
2
Let d = 525 - 16797/32. Is d <= 0?
False
Let i = -351 - -402.2. Let x = i + -51. Which is greater: -0.04 or x?
x
Let x = 1061/92 + -23/2. Let z = 63/184 + x. Is z <= 1?
True
Let p be (-1932)/(-973) + -2*(0 - -1). Is 1 at least p?
True
Let g be (-105)/(-10)*(-2)/(-3). Suppose 38 = g*f - 4. Is f equal to 0?
False
Suppose 37*p + 2*p + 1989 = 0. Let x(d) = -2*d**2 - 13*d + 20. Let a be x(-10). Is p > a?
False
Let x(l) = -l + 16. Let z be x(14). Let m = 21 - z. Is m at most -2?
False
Let x(o) = 7*o**3 + 22*o**2 - 6*o - 1. Let a(s) = -15*s**3 - 45*s**2 + 13*s + 2. Let b(k) = 6*a(k) + 13*x(k). Let g be b(-16). Is 3 equal to g?
False
Let x = -105 - -516. Is 0 at least as big as x?
False
Let h = -4.758 - 0.042. Let v = -5 - h. Let r = 53/91 - 3/7. Which is bigger: v or r?
r
Suppose -7 - 1 = 4*h, -3*v + 3*h - 9 = 0. Let u be v/15 + 8/6. Is 2 at least as big as u?
True
Let w = 37 + 36. Let o = w - 52. Are o and 22 equal?
False
Let q = -149179/1365 - 85/273. Do -109 and q have different values?
True
Let y(a) = a - 2. Let q be y(5). Let u = 6 - q. Let b be (8/(-6) - -2) + -1. Is u at least b?
True
Let a be ((-6)/(-2))/((-12)/20). Suppose -i = -3*i - 6. Let j = -2 + i. Is j bigger than a?
False
Let l = -13 + 9. Let s = l + 3.9. Let x = 0.9 - s. Is x < 2/13?
False
Let n(s) = -s**3 + 7*s**2 - 4*s + 22. Let r be n(5). Which is smaller: r or 53?
r
Let z = 516/5 + -102. Let s = -1/90 + -7/18. Which is smaller: s or z?
s
Let g = -8 - -8. Let o(a) = a**2 + 19*a + 8. Let t be o(-18). Let q be (t/315)/((-3)/(-9)). Is g greater than or equal to q?
True
Let w = 0.8 - 0.74. Let x = 0.06 - w. Let t = -3 + 1. Does t = x?
False
Let u(s) = -27*s + 117. Let l be u(-8). Which is bigger: l or 332?
l
Let x = 1 - -1. Let a = 127 - 79. Suppose j = -x*j + a. Is 17 less than or equal to j?
False
Let o = -504 + 471. Is -284/9 bigger than o?
True
Let k = 2121 - 2401. Is -281 equal to k?
False
Let a(z) = z**3 - 4*z**2 - 6*z - 5. Let n be a(5). Let j be 30 + -2 + -1 - 0. Suppose -5*x - b - 45 = 0, 0 = 3*x - 4*b + j. Is n >= x?
False
Let j = 247/8 + -459/8. Is j not equal to -26?
True
Let t be 3/(-5) - (30758/2145 - 13). Which is smaller: -1 or t?
t
Let n = 32 + -30. Let u be (6/9)/((-4)/(-18)). Suppose u*v - n*m = 3, v = -4*m - 2 - 11. Are v and 2/5 equal?
False
Let k = -0.9 - -1. Let w = k - 0. Let j = 10900 - 10898.8. Is w smaller than j?
True
Let m be (-29 - -2) + 6/9*3. Suppose 12 = 4*v - 2*v. Suppose -4*l = 0, 3*y + v*l = l. Are m and y non-equal?
True
Let u = -0.19 - -0.32. Let a = 998 + -992.87. Let s = u - a. Is s greater than 0.3?
False
Let q(d) = 17*d**2 - 2*d - 1. Let h be q(-1). Let r(p) = -18*p - 235. Let y be r(-14). Is y greater than h?
False
Let l(a) = -a**2 - 9*a - 12. Let x be l(-7). Suppose 0 = -4*w - 2 - x. Is w not equal to 2/75?
True
Let k(i) = i - 9. Let z be k(11). Suppose s - 2 = -z*t, -3*t = 2*t. Suppose -s*y + 0*y + 6 = 2*q, -5*y = -15. Which is smaller: q or -1/3?
-1/3
Let c = -5 - -2. Let v = 1026 - 1025.93. Do v and c have the same value?
False
Let y(m) = 2*m + 25. Let z be y(-8). Let c be (2 - -2) + 27/z. Is 5 smaller than c?
True
Let l be (-6)/12 - 11/(-2). Suppose 0 = l*x - 8*x. Suppose -2*j + 4*j + 2 = -4*q, x = -2*q. Is 1/19 at least as big as j?
True
Suppose -5*r + t = -5, -4*t = t + 25. Do -6/37 and r have the same value?
False
Let j be ((-102)/595)/((-2)/(-14)). Let o be (((-21)/12)/(-7))/(6/(-8)). Which is bigger: o or j?
o
Let v = -158/3 + 54. Let n be ((-2)/4)/(2/64). Let z = n + 17. Is v greater than or equal to z?
True
Let q(l) = 2*l**3 + 6*l**2 + 2 + l**2 - 3*l**3. Let u be q(7). Suppose 0 = 5*w + 4*j - 3*j + 15, -22 = 3*w - u*j. Is w less than -2/5?
True
Let m be (-4)/(-58) - 21394/294234. Are m and 1 equal?
False
Let q be -3 + 3 + -2 + -3. Let d be 4/(-14)*(-2 + q). Suppose -5*c + 50 = 4*n, d*n = -0*c - c + 16. Is 1 bigger than c?
False
Let j = 18 - 26. Suppose 4*d + 8 = -l, 7 = 4*l + 4*d - d. Suppose -t - 40 = l*t. Is t > j?
False
Let a = -259 + 211. Is -45 not equal to a?
True
Let w be ((-14)/21)/((-2)/12). Suppose -4*s + 1 = -s - w*h, -s + 5*h = -4. Which is smaller: s or -3/7?
s
Let i = 0.13 + 4.87. Let p = 4.9734 + -0.0734. Let q = i - p. Is 5 at most as big as q?
False
Let f = -191.16 - -0.16. Let h = -184 - f. Let u be ((-1)/(-2))/(1/(-4)). Is u >= h?
False
Let i = -3 + 4. Let z = 1 - 10. Let g be 11/55 - z/5. Which is bigger: g or i?
g
Let d = -64.5 - -65. Which is smaller: d or -0.05?
-0.05
Suppose -122 = -3*v - 116. Which is smaller: v or 0?
0
Suppose o + 0*o = 3. Let x be (o/51)/(-3*1). Let d = 20/153 + x. Is d not equal to -1/4?
True
Let j = -1.4 - -17.4. Let d = -15 + j. Let w = d + -1. Which is smaller: -4 or w?
-4
Let o be (-1 - -2) + (-112 - (4 - 1)). Let l be 9/(-48)*o/9. Is l less than or equal to 1?
False
Suppose -z + 8 = 4*w, z + w - 3*w - 8 = 0. Let s(k) = k**2 - 5*k - 23. Let i be s(z). Which is greater: 6/7 or i?
i
Let v be 2 - (231/44)/(-1 - -4). Is -112 at least as big as v?
False
Let a(f) = -f - 1. Let c be a(-5). Suppose 0 = -2*l - c*d + 6, l - 3*d + 4 = 2*d. Let w be 6/15*10/l. Is w smaller than 0?
False
Let p = -12 - -26. Suppose 9*q = p*q. Is q at most 12?
True
Let r = -4/35 - 3/35. Suppose 5*q - 3*d = 12, -q = -0*q - 5*d - 20. Is q at most r?
False
Let y = 8 + -3. Suppose -5*z + y*m + 3625 = 0, -9 = -2*m - 1. Let s = z - 5095/7. Which is smaller: 0 or s?
0
Let p(u) = -u**3 + 6*u**2 - 6*u + 2. Suppose 3*q = 5*d - q - 22, 4*d = -3*q - 1. Let b = d - -3. Let f be p(b). Is f not equal to -3?
False
Let p = 570 - 572. Which is bigger: -22/13 or p?
-22/13
Let s be 6/(-6) - (23 + -3). Which is smaller: s or 1/3?
s
Let l be (-112)/(-20) - 12/20. Let f = 1153/30 - 209/6. Do f and l have different values?
True
Let