?
False
Let j be 72832/512 - (-3)/4*1. Is j greater than or equal to 141?
True
Let g(m) = 87 - 3*m - 52 - 57. Let o be g(0). Is -23 equal to o?
False
Let r = -20 - -20. Suppose 3*f - 19 = b - r*f, -f + 4 = 0. Let c be 2/b - (-10)/35. Are -1/14 and c nonequal?
True
Let a = 2042 + -2038. Is a greater than -26?
True
Let i = 24 + 9. Let x = -38 + i. Which is smaller: -0.2 or x?
x
Let a = -1 - 0. Let r(j) = -3*j - 4. Let y be r(a). Does 1/4 = y?
False
Let f(m) = -52214*m - 6. Let g be f(-3). Let a be 2/(-4) - (-45570)/g. Let j = a - 1/687. Which is greater: -1 or j?
j
Suppose -31 = 2*k - a, -k - 3*a = -7 + 19. Is k > -20?
True
Let y = -1552/36945 - 2/821. Let p = 139/90 + y. Which is greater: p or 0?
p
Suppose -3*c - 245 = -5*v, 4*v - 63 = -3*c + 106. Is v greater than 44?
True
Let k(n) = -4*n**3 - 5*n**2 - 2*n - 19. Let q be k(-3). Is q less than or equal to 50?
True
Let x = 9 - 10.3. Let t = -1.5 - x. Let o = 6 + -6.3. Is t at least as big as o?
True
Let t be 1/(-1 - 10/(-8)). Suppose -2*c - 8 - t = 2*b, 5*c - 5*b = -70. Which is greater: c or -1/2?
-1/2
Suppose -6*g - 123 = -111. Which is bigger: g or -13/23?
-13/23
Suppose 0 = 2*i + q - 14, -q + 26 = 2*i - 3*q. Is 14 less than or equal to i?
False
Suppose -20 = -3*s + 7*s. Let g(p) = p**3 + 3*p**2 - 11*p - 6. Let z be g(s). Which is greater: 4/17 or z?
4/17
Let q = -0.609 + 0.099. Let n = 63 + -63.01. Let i = n - q. Which is smaller: 1 or i?
i
Let g be 40/(-60) + 40/6. Let z be g/(-4)*44/6. Which is smaller: z or -35/3?
-35/3
Let t = 99/16 + -4487/720. Which is bigger: t or -1?
t
Suppose -219*v = -224*v - 650. Which is greater: v or -127?
-127
Let l be 134/335 - ((-152)/(-305) - 0). Is l < 1?
True
Let t(r) = 7*r + 1. Suppose 4*m - m + 24 = 0. Let p = 9 + m. Let x be t(p). Which is greater: 10 or x?
10
Suppose 2*l = 12 - 16. Let s be (4*(-4)/168)/(l/(-6)). Which is bigger: -1 or s?
s
Let c(k) = k**3 - k**2 - 3*k + 2. Let q be c(2). Suppose -3*w = -3*o - 9, o + w + 7 - 14 = q. Is o equal to 5/7?
False
Suppose -95 = 57*s - 779. Which is bigger: s or 104/9?
s
Let d = 0.673 - 118.773. Let b = d + 119. Is 4 at least as big as b?
True
Let g be (((-91)/102354)/13)/((-2)/8). Does 0 = g?
False
Let v = -114 - -229/2. Is v at most 186/5?
True
Let k = 77 + -49. Suppose 1 = -x - k. Is -29 greater than or equal to x?
True
Suppose -7*m - 7*m + 70 = 0. Let g = 0 - -7. Let v be (-2)/g - 265/(-70). Which is smaller: v or m?
v
Let w(u) = -u**3 + 9*u**2 + 3*u - 18. Let o be w(9). Let i(v) = -v**2 + 4 + 0*v**2 - 5*v + 14*v. Let j be i(o). Which is bigger: j or 0.2?
j
Let l = 0.16 + -0.25. Let m = 638 + -636. Is l > m?
False
Let u = 124122 + -5384372/43. Let o = u - -1096. Is o at least as big as 0?
True
Let v(m) = -m**2 + m - 1. Let j be v(0). Let b = -16 - j. Let i be (12/(-20))/(3/b). Is i at most as big as -1?
False
Let p(m) = -m - 14. Let o be p(-16). Suppose o + 4 = -2*j. Which is smaller: -1 or j?
j
Let f be ((-3)/4)/((-51)/136). Is f >= 23/9?
False
Let m(p) = -p**3 + 7*p**2 - 4*p + 3. Let u be m(6). Suppose 0 = -r - 3*w + 9, 4*r = -6*w + w + u. Let i be ((-1)/(-2))/((-15)/(-10)). Is i greater than r?
True
Let t be ((-5)/(-60))/(1/3). Let y = 30/17 - 107/51. Does t = y?
False
Suppose 1065*m = 1075*m. Let t = 1.6 - -7.4. Which is greater: m or t?
t
Let n be (-350)/(-322) + 4/(2 + -6). Do n and 20 have the same value?
False
Let s be ((-4)/(-600)*4)/(2/3). Which is greater: s or 7/5?
7/5
Suppose 10*b - 51 = 7*b. Suppose b*j = 18*j. Which is smaller: -2/71 or j?
-2/71
Let g = 17 - 39. Let d = 16 + g. Let j be 992/(-352) - -4 - (8/(-22))/(-2). Do j and d have the same value?
False
Let i(r) = r**3 - r**2 + 14. Let s be i(0). Suppose -2*q + 3*h - 16 = -0*q, 2*h - s = 3*q. Let t be -4*1/q - 7. Is -4 < t?
False
Let u = 231 - 10393/45. Let r be ((-14)/18)/(-5 + 0). Let z = u + r. Which is bigger: z or 1?
1
Suppose -16*l + 8*l - 368 = 0. Which is bigger: -45 or l?
-45
Suppose 0 = x - 2*x - 4*u + 1, -4*x - 2*u + 18 = 0. Suppose 5*h = x*k + 20, -5*h + 5 = -2*k - 6. Let q be (-15)/4*(-2)/(-3). Does k = q?
False
Suppose 4*c + 9 = 6*s - s, -4*s + 36 = 4*c. Suppose -w + c*w - 6 = 0. Let h be (-48)/(-15) - 1 - w. Is 0 greater than h?
False
Let m(l) = -8*l**3 + 3*l**2 + 10*l - 6. Let r(i) = 23*i**3 - 9*i**2 - 29*i + 17. Let p(s) = 17*m(s) + 6*r(s). Let t be p(-2). Which is greater: -19 or t?
-19
Suppose -2*k + 4*k = -5*q - 27, 0 = 2*k - 4*q - 18. Suppose -7 = -4*t - s + 6*s, -11 = -2*t + 5*s. Let c be t/(-16)*-7 - -1. Is k <= c?
True
Let v(t) = -t**3 - 7*t**2 - 9*t + 12. Suppose -3*h = -2*c + 3*c + 11, 4*c + 30 = -5*h. Let n be v(c). Which is bigger: n or 4?
n
Let a be ((-10)/(-3))/(126/(-567)). Let z = -42 - -26. Which is bigger: a or z?
a
Let c = -975 - -1014. Which is smaller: c or -0.17?
-0.17
Suppose 2*c + 2*c = 3*i + 40, 0 = -4*c - 20. Is -20 equal to i?
True
Let l(n) = 0 - n - 7*n**2 + 7 + 88*n**2 - 6*n**2. Let x be l(3). Let i = -4729/7 + x. Which is greater: i or 2?
i
Let a(n) = -3*n**2 + 12*n. Let z be a(4). Let h = -2 - z. Which is smaller: h or -5?
-5
Suppose -5*j = -3*y - 134, 138 = 2*j + 3*j - y. Let l = 43 - j. Let w be 0/6 - (-2)/l. Which is bigger: 0 or w?
w
Let w = 1 + -1. Suppose n + 3*n = w. Let q = 2311 - 2316. Is n > q?
True
Let v = 175 - 111. Let n be (4/v*-3)/((-1)/(-10)). Which is smaller: -1 or n?
n
Let v be 6/4*(-1 + (-278)/(-282)). Is 1 at least v?
True
Suppose 7*d - 11*d = 252. Let z = d + 58. Which is smaller: -1 or z?
z
Let y(h) = h**3 + 26*h**2 - 30*h - 63. Let c be y(-27). Let z be (-1 + (-6)/(-4))*c. Is z >= 2?
True
Suppose 3*o + 30 = 3*x, -3*x + 7*x - 58 = -5*o. Let d = x - 17. Is -5 smaller than d?
False
Let y be 404 + -23 - 20/(-2). Are 392 and y nonequal?
True
Let b = 12.11 - 12.06. Is b smaller than -0.1?
False
Let t be 3555/(-8) + 0 + (-3)/(-8). Is t < -444?
False
Let s(w) = -2*w - 6. Let d be s(-3). Suppose d = 2*y - 7 - 3. Suppose y*a + 6 = 11. Is a at least 1?
True
Let q(p) = -5*p + 1. Let u be q(6). Let w = u - -28. Which is bigger: w or -4/9?
-4/9
Let q be (2/4)/(1/4). Let s(z) = -z**3 + 3*z**2 + 11*z - 1. Let v be s(5). Suppose -5*m = -q*x + 1 + 3, 4*m - v*x + 8 = 0. Is 2/9 != m?
True
Let r = 2.3 - 2.3. Let j = r + -1. Which is greater: j or -1.7?
j
Let z = 349/18 - 170/9. Is z less than 1?
True
Suppose 0 = 2*o - 93 + 25. Is o bigger than 35?
False
Let i be ((-2)/10)/(-3 + 8). Suppose -21*f + 6 = -22 + 7. Is i < f?
True
Let y = -360 + 2528/7. Let j be (0 + 2*-1)*3/2. Let s be (-1)/j + 3/(18/10). Which is greater: y or s?
s
Let x = 1493 + -1187. Which is smaller: x or 304?
304
Let o be -294 - 35/(-21)*(7 + -4). Which is smaller: -290 or o?
-290
Let t = -7.9 + -2.1. Let b = -9 - t. Do b and -1 have different values?
True
Let a = 160 - 159. Is 4/57 greater than a?
False
Let v(h) = h**3 - 2*h**2 + h - 2. Let l be v(2). Suppose l = -4*a + 3*t + 38, 2*t + 32 = -5*a + 91. Suppose -4*f + f + 36 = 0. Which is bigger: f or a?
f
Let b = -597.72 - -598. Is b greater than 1?
False
Let x(v) = -v**2 - 9*v + 24. Let r be x(-10). Suppose r*f - 315 = 7*f. Which is smaller: f or 46?
f
Suppose -3*y - 4*g = -3*g - 94, 3*g = -5*y + 150. Is 35 less than or equal to y?
False
Let f be (20/26)/(-5) + 40/91. Let j = -208 + 216. Which is greater: j or f?
j
Let b = 0.1046 - 0.0646. Let q = 0.54 + -0.6. Let l = b - q. Which is smaller: 2 or l?
l
Suppose 0 = 4*l - 4*q - 132, 0 = -4*l - q + 76 + 61. Suppose s + 0*s - l = 0. Is 35 bigger than s?
True
Let h(c) = c**3 + 4*c**2 - 7*c + 1. Let t be h(-5). Let w(m) = -m**3 + 10*m**2 + 11*m + 17. Let a be w(t). Which is greater: 18 or a?
18
Let g(a) = a**2 + 3. Let s be g(5). Let f = 27 - s. Let c be (-20)/(-35) - (-2)/(-7). Do f and c have the same value?
False
Let a be (-1048)/(-204)*(-3)/(-20). Let u = 1/34 + a. Let x be (-6)/12 - (-9)/6. Which is greater: u or x?
x
Let p = 19.31 + -0.31. Let g = p - 21. Suppose 25 = 5*d - 0*f + f, 5*f - 17 = 2*d. Which is smaller: d or g?
g
Suppose -3*f - 3*q + 1545 = -855, -3191 = -4*f + 5*q. Let l be (-2)/(-6) - (-98230)/123. Let r = f - l. Which is greater: r or 0?
r
Let q = -13658/35 - -390. Which is bigger: q or -1/4?
q
Let h(s) = -s**2 - 1. Let f be h(-3). Let m be (f/(-4))/(2/8). Let t = -26370 + 26370. Is t at least as big as m?
False
Let h = 9 - 10. Which is smaller: 267 or h?
h
Let u = -0.4 + 0.2. Let z = 895.4 + -896. 