?
False
Suppose 30 = 10*m + 20. Is m at most as big as -6/199?
False
Let b = -0.499 + 0.229. Is 2/5 smaller than b?
False
Let z = 91 - 54. Suppose 3*h + 26 + z = 0. Let c = h + 26. Is c != 5?
False
Let n = 1083/4 - 271. Which is bigger: n or 48?
48
Let i = -33 + 31. Let m be (i/(-6))/((-5)/30). Which is smaller: -3 or m?
-3
Suppose -v - 5*n + 5 = -n, 0 = 3*v - 5*n + 19. Let z(d) = -2*d**3 - 3*d + 2. Let p be 4/60*9 + (-2)/(-5). Let s be z(p). Is v smaller than s?
False
Let l = -5728590 - -195281904535/34089. Let p = l + 6825263/5317884. Let a = -9/52 + p. Is a smaller than 1?
False
Let w = -0.7 + -0.9. Let h = w + 1.53. Let b = h + 0.11. Which is smaller: b or 0?
0
Let d be 1 + 16/18 - 1/1. Suppose -2*z + 4*z - 2 = -i, -2*z - 8 = -4*i. Which is bigger: d or z?
d
Let z be ((-11)/(-15))/(30/75). Let w = -17 - -31. Let t be (-3 + w/4)*4. Which is smaller: z or t?
z
Let g(p) = 10*p + 76. Let k be g(-20). Let f = k + 112. Let j(u) = u - 5. Let r be j(-7). Is r bigger than f?
False
Suppose 2*x = 3*b + 4, 0*b + 4*b = -5*x + 10. Let c = -12 + 9. Is x not equal to c?
True
Let l be (-156)/(-336) + (-1)/14*-4. Suppose -2*d = 2*b, 4*b - 3 + 1 = -3*d. Suppose 0 = r - 5*n - 5, -b*n + 0*n - 2 = 0. Which is smaller: r or l?
r
Let x = 123/14 + -17/2. Which is smaller: x or 153?
x
Let v = 92.4 + -78.4. Which is smaller: 2/41 or v?
2/41
Suppose -26 = 5*m + 2*v, -4*m + 0 = 4*v + 16. Let k be -2 - 1/((-3)/m). Let n be k/6 - (-3)/(-6). Which is smaller: -1 or n?
n
Let o be 108 - (8 + 3 + -8). Let r be (-2*3/8)/(o/(-70)). Is r less than or equal to 10?
True
Let o = -343/2 - -70311/410. Is o less than or equal to -1?
False
Let r be 28/(-98) + ((-130)/(-14) - 1). Let d(m) = m - 9. Let u be d(r). Is u smaller than -2?
False
Let q = 8599 - 550321/64. Which is greater: 1 or q?
1
Suppose 0 = 4*x - 0*j - 4*j + 20, -5*x - 2*j + 10 = 0. Suppose 13*n + 156 = -x*n. Is n greater than or equal to -2?
False
Suppose 6*a = 4 + 44. Suppose -m + 4*j + 55 = 4*m, j + 33 = 4*m. Is a equal to m?
False
Let d = -987 + 10845/11. Let n(l) = 9*l**2 - 127*l + 14. Let k be n(14). Does d = k?
False
Let y be 87/14 - (-1 + 1). Let s = y + -1215/182. Let q = 2238 - 2239. Which is smaller: q or s?
q
Let k(c) = c**2. Let v(w) = w**3 - 6*w**2 - 2*w + 3. Let h(q) = -6*k(q) - v(q). Let g be h(-3). Suppose o - 4*o - 3*l + g = 0, 4*o - 27 = -5*l. Is o <= -1?
False
Suppose 3*b = 5*p - 18, -3*p + p + 10 = -4*b. Suppose -2*w + 5*w + 210 = 0. Let j be (-27)/(-45) + 82/w. Which is smaller: j or b?
b
Let o be 8/(-32) - (-27)/12. Which is bigger: o or -56?
o
Suppose -2*l = 4*t + 134, 5*t - 25 = 4*l + 178. Let a(z) = -10*z**3 + 5*z**2 + 2*z + 1. Let f be a(2). Is l at least f?
False
Let c(t) = -3*t**2 + t - 25. Let m be c(0). Is m at least -128/5?
True
Let x(t) = 7 - 2 - t - 7. Let i be x(-2). Which is smaller: 1 or i?
i
Let u = -128.24 - -131. Let w = 1.4 - u. Let b = w - -0.36. Which is smaller: 5/2 or b?
b
Suppose -d - 3*t - 3 - 28 = 0, 3*d = -2*t - 58. Let f = -26 - d. Is f < -9?
True
Suppose -4*n + 45 = -3*l - n, 4*n - 16 = 0. Let g = 11 + l. Which is smaller: g or -2?
-2
Let x = 11838/7 - 1706. Is x <= -14?
True
Let t = -407.8 + 409. Which is greater: 2/9 or t?
t
Let w = 2 + -3. Suppose 4*j - k = -0*j + 42, 2*k = -4. Let s(m) = m**3 - 10*m**2 + m + 1. Let t be s(j). Which is bigger: w or t?
t
Let a be (10/6)/((-2)/96). Let k be 30/a*44/(-6). Is 2 smaller than k?
True
Let a = 11 + -9. Suppose 4*v - 14 = -a*k, 2*k = 5 + 1. Let y be (v/(-6))/(8/9). Which is bigger: y or 1?
1
Suppose -2*b - 68 = -k, -k - k - 3*b + 157 = 0. Suppose 9*w = 7 + k. Is w at most 9?
True
Let p be -9 + 24*(-8)/(-54). Is -6 != p?
True
Let f = 0.04 + -0.16. Let t = f + -0.08. Is t not equal to -1?
True
Suppose 5*d - 129 - 301 = 0. Let t = 1222 + -1137. Which is smaller: t or d?
t
Let k = 74.3 + -98. Let b = -24 - k. Which is smaller: b or 1/10?
b
Let h = -446 - -445. Is h less than or equal to -2/177?
True
Let n be (-19)/((24/(-6))/(-4)). Which is smaller: -16 or n?
n
Let w = -43 - -3. Let s = w + 30. Which is smaller: 3 or s?
s
Let n = 0.35 - 1.35. Do -0.17 and n have the same value?
False
Let c(z) = z**3 - 13*z**2 + 33*z - 25. Let a be c(9). Which is bigger: a or -6?
-6
Let n = 0 + -3. Let g be (-2)/(-6) + n/63. Let r be 8/14 + ((-918)/(-126))/17. Which is smaller: g or r?
g
Let k(o) = o**3 + 5*o**2 - 1. Let y be k(-5). Let d be -29 + y*(-1)/(-1). Let x be 1/5 - d/(-25). Is x > -3/13?
False
Let c be -233 + 243 - 2/(2*-1). Are 21 and c equal?
False
Let x be (-5 - -4)/(2/(-14)). Let y(j) = -j - 19. Let p be y(-7). Let z be (4/p)/(1/(-12)). Which is smaller: x or z?
z
Let y(m) = -39*m**2 - m - 14. Let f be y(-3). Are -363 and f unequal?
True
Suppose 31 = -2*y + 5*k, -2*y - 5*k - 1 = -0*y. Do y and 7 have the same value?
False
Let k be (-5)/2 - (-10 + 8). Let q(a) be the second derivative of a**4/12 - 4*a**3/3 + 5*a**2/2 + 7*a. Let o be q(7). Is k <= o?
False
Let c be 21*(-5 + (-64)/(-12)). Suppose -c + 36 = b. Is b smaller than 29?
False
Suppose 0 = -10*t - 65 - 85. Suppose -32 = 14*s - 12*s. Are s and t unequal?
True
Let s be 4/(-14) + (-30)/(-7). Let n(a) = -a + 12. Let c be n(4). Let w be c/(-6)*(-11 - -8). Do w and s have different values?
False
Let q = 3 - -13. Suppose -5*i + q = -9. Which is smaller: 4 or i?
4
Suppose 0 = 5*q + a + 323 + 1810, -1698 = 4*q + 5*a. Which is greater: -428 or q?
q
Let r = 428/345 + -34499/45885. Let k be 3/19*(-8)/2. Let t = k + r. Is t < 2?
True
Let d = -2059 - -3127. Is 1069 smaller than d?
False
Suppose -2 - 2 = -4*h. Let n be (-2)/7 - ((-2494)/14)/(-1). Let r = n - -178. Which is smaller: h or r?
r
Let d(q) = -q + 1. Let z = 24 + -23. Let c(r) = -r**3 - 7*r**2 - 3*r + 7. Let v(x) = z*c(x) + d(x). Let j be v(-6). Is -4 at least j?
True
Suppose 4*d - 18 = 3*c, c + 3 + 1 = d. Suppose 4*s = -3*q - 9, 9 = 3*s - d*s. Do -0.9 and q have different values?
True
Let b(t) = t**2 + 7*t + 3. Let x be b(-7). Suppose g + 10 = -2*l, 0*g = -4*g - x*l - 15. Suppose h - 12 = -2*h, g = 2*u + 5*h - 22. Is u at most as big as -2?
False
Let d = -23.66 + -0.34. Let g = 10 + d. Let r = -14.2 - g. Is r smaller than 2?
True
Let g = 663 + -662.61. Which is smaller: 0 or g?
0
Let v = -30.073 + 0.073. Let o = v - -29. Which is greater: 2 or o?
2
Let t = 1353 + -781. Let k be 62/t - 10/65. Which is bigger: -1/3 or k?
k
Let u = 193 + -192. Which is greater: -0.327 or u?
u
Let k be 0/(1*(5 + -7)). Is k equal to -2/805?
False
Let r be ((-5)/100*-5)/(1964/16). Is 0 less than or equal to r?
True
Suppose -27 = 5*q + 2*m, -2*q - 8*m + 10*m - 22 = 0. Which is smaller: q or -19/3?
q
Let i be ((-5)/(-135))/((-12)/72). Let y be 2/(-6)*(-3 - -6). Which is bigger: i or y?
i
Let r = -9.05 - 6.95. Is r <= -14/5?
True
Let c = 207 + -415/2. Is c bigger than -48?
True
Let d = -42.982 + -0.018. Let g = -64 - d. Which is greater: -1 or g?
-1
Let l be -26 + 2 + -7 + 4. Let b = -27 - l. Which is bigger: b or -2/45?
b
Let h be 23/92*(1 + 11)/3. Which is smaller: h or -4/23?
-4/23
Let i be ((-14)/(-3))/(574/21). Which is bigger: -2/9 or i?
i
Let z = 1943 + -1943.032. Which is smaller: 0.7 or z?
z
Let s be (-3628)/(-16) - 21/28. Is 228 less than or equal to s?
False
Let g = 206 - 152. Is 54 greater than or equal to g?
True
Let j be 6 + -7 - (-6 + 2). Let l be 3 - (j - 0) - -3. Suppose 0*a - l = -3*a. Which is greater: a or 9/5?
9/5
Let u be 195/21 + (-2)/7. Let b(k) = -2*k**2 + 17*k + 8. Let v be b(u). Is v bigger than -2/43?
False
Suppose -5*x + 8 = -x. Suppose -4*v + 63 + 1 = 0. Suppose 9*a - 5*a = v. Are x and a nonequal?
True
Let p = 272 - 1087/4. Is p less than or equal to -3/47?
False
Suppose -3*q - 625 = 5*y, -4*q - 366 - 490 = y. Are q and -216 unequal?
True
Let v = -699 - -698.87. Is -64 greater than v?
False
Suppose 3*m + 5 + 7 = -2*k, 2*m = -k - 8. Let n be (-162)/28 - (-86 + 80). Which is greater: n or k?
n
Let u be 24/(-426)*(-4 - 2)/(-72). Are 0.04 and u equal?
False
Let z = -3558/5 - -214/15. Let n = -6364/9 - z. Let d = n - -434/45. Which is bigger: -1 or d?
d
Suppose -4*o + 2*o = -18*o. Let y be -1 + 3 - 39/18. Is o not equal to y?
True
Let l = 0.092 + 0.418. Let q = l - 0.3. Let u = q + -0.23. Is 2/5 at least u?
True
Suppose -3 + 66 = 63*q. Which is smaller: q or -4/85?
-4/85
Let o = 119.2 + -78. Let k = -41 + o. Are 1.4 and k equal