?
22
Let n be 8/(-4140)*37527/18. Let w = n + 93/23. Are w and 0 unequal?
True
Let j = -237 - -157. Let d = 79 + j. Let y be 2/9 + 112/(-666). Is y at most d?
False
Let s = 20 - -11. Let r = 3948/13 - 26093/78. Let d = r + s. Is -0.2 bigger than d?
False
Let s(k) = -k**2 + 8*k - 1. Suppose 7*z - 25 = 4*z - 4*a, -2*z = 3*a - 17. Let v be s(z). Let l = -876 - -880. Which is smaller: l or v?
l
Let g = 7 + -7. Let n = -0.16 - -0.03. Let v = 0.07 - n. Which is greater: v or g?
v
Let i = -11429/296949 + -1/2883. Let o(a) = -a**3 - 4*a - 4. Let h be o(-1). Which is smaller: h or i?
i
Let m = 17 - 14.4. Let c = m - 1.6. Which is bigger: 7 or c?
7
Let z be (1 - 0)/((-5)/65). Let l = z - -22. Let b(t) = t**2 - 10*t + 16. Let m be b(l). Which is greater: m or 6?
m
Let o(a) = 5*a**2 - 48*a + 9. Let l be o(8). Do l and -54 have the same value?
False
Let y(x) = -x**3 + 7*x**2 + 12*x + 6. Let s be y(4). Which is greater: s or 103?
103
Let x be 2/(-12) - (-6)/4. Let t(b) = -26*b - 181. Let i be t(-7). Is x != i?
True
Let y = 207 + -214. Which is bigger: 1/7 or y?
1/7
Let h(g) = 134*g**3 - 2*g**2 + 2. Let u be h(-1). Is -135 at least as big as u?
False
Suppose 5*a - 46 = 34. Let u be (-4)/a*1/2*8. Are u and -4/3 non-equal?
True
Suppose b = -4*p + 164, -3*b - 3*p = -0*p - 519. Which is smaller: b or 175?
175
Let f(c) = -c - 16. Let j be f(-16). Let r = -26604051779/4425 + 6012215. Let o = -2/177 - r. Does o = j?
False
Let h(g) = -g**2 + 6*g + 12. Let u be h(7). Suppose 0 = -u*d - 13 + 38. Which is bigger: 4 or d?
d
Let w = -7.2 - -11.2. Let x = 4.2 - w. Which is greater: x or 4?
4
Let d be (-24)/10*(-2)/3. Suppose 2*r - 29 = 25. Let j = r - 25. Which is smaller: d or j?
d
Let a be ((-116)/(-336) - 4/42)*4. Which is greater: a or 28/27?
28/27
Suppose -3*s = -5*s - 8*s. Let o be -3 + -2 + s + (-6 - 1). Let w be (1/(-2))/(2/52). Is w greater than o?
False
Let k = -267 + 268.4. Which is smaller: 12 or k?
k
Suppose 0 = 4*i - 4*d + 40, -d - 14 = -0*i + 3*i. Suppose 4*z + 4*y - 28 = -0*y, 0 = 5*z + 4*y - 36. Suppose 0 = -q - 15 + z. Which is smaller: q or i?
q
Let j be 4/(-6) + (-119516)/222. Let k = j - -539. Let z = 18566 - 18567. Is k bigger than z?
True
Let d = 1754 - 1796. Do -32 and d have different values?
True
Suppose 2*i - 12 = -2*i, 2*g - 8 = -4*i. Let a be ((-6)/(-9))/(g/(-33)). Suppose 0 = -4*k - 3*u - 9 + 50, -2*k + 2*u + 24 = 0. Is k less than or equal to a?
True
Suppose 0*w = -2*w + 5*q + 136, 0 = -4*q. Are 68 and w nonequal?
False
Let n be 15*(-2)/3 - -4. Which is greater: n or 5/6?
5/6
Suppose -4*j = -4*a + 68, 3*a + 0*a = j + 51. Suppose m = -2*x - 2*m + 67, 0 = 3*m + 15. Let w = 57 - x. Is a bigger than w?
True
Let y(j) = -7*j. Let p be y(2). Let r = 348/25 + p. Is 0 > r?
True
Let a(j) = j. Let b(z) = -3*z - 2. Let g(r) = a(r) + b(r). Let d be g(-2). Which is bigger: 6/7 or d?
d
Let o = -0.71 + 5.71. Let x = 4.88 - o. Which is smaller: 0 or x?
x
Let j = 3.9899 + 0.0101. Which is smaller: 0.033 or j?
0.033
Suppose 0 = -s - 4*g - 9 - 3, 2*g = -2*s. Suppose -4*t - 89 = 5*w, -s*w - 4*t = -5*t + 67. Are w and -15 equal?
False
Suppose 0 = -4*i + 5*g - 13, -3*i - 3*g = -1 + 4. Let p = -2011 + 2010. Is p equal to i?
False
Let v = 15.1 - 14. Let c = -0.2 - v. Let h = c - -0.3. Is -19/4 at least as big as h?
False
Let i(u) = 3*u**2 + 20*u + 85. Let k be i(-7). Which is greater: k or 89?
k
Suppose -4*z + 2*y = -z - 2, 0 = 5*z + 5*y - 20. Which is smaller: z or 33/8?
z
Let q be 3*6 - (62 - 52). Suppose -r - 9*h + 11 = -4*h, 0 = 4*r - h - 23. Is r greater than or equal to q?
False
Let i = 0.06 - -1.94. Let z(x) = -2*x**3 + 20*x**2 + x - 14. Let a be z(10). Let g be (a - -1) + (-48)/(-8). Which is smaller: i or g?
i
Let l(p) = -p**2 + 32*p + 141. Let z be l(-4). Let j be (-8)/((-14)/(-4) - 1). Is j at most z?
True
Let k be 18/(-10) + -3*6/90. Let j(l) = l**3 + l**2 - 2*l. Let t be j(k). Which is smaller: 1/26 or t?
t
Suppose 98 = -11*q + 4*q. Let p = -2 - q. Which is smaller: p or 9?
9
Let f = 536 + -473. Suppose -c + 9 = -55. Is f greater than c?
False
Suppose 0 = -5*p - 1 + 6. Suppose 0 = 5*m - m. Let r be 6 + -5 - m/(-2). Is r at most as big as p?
True
Suppose 0 = -n - 4*n + 15. Let f = -39 + 41. Let b be n*((-4)/(-21))/f. Is -1 greater than or equal to b?
False
Suppose -4*p + 4*d - 16 = 0, 16 = -4*p - 71*d + 66*d. Which is smaller: p or -74/19?
p
Let t be (0 - 14) + -14 + 17. Let i = -7 - t. Suppose -5*a + 12 = i*q - a, 0 = 2*q + 4*a - 12. Is q smaller than 2/55?
True
Let v(m) = 4*m**2 + 83*m - 6. Let h(l) = l**2 + 14*l - 1. Let j(s) = 6*h(s) - v(s). Let o = 1 - 2. Let u be j(o). Which is smaller: u or 2?
u
Suppose 5*l = 2*f + 3, 0*f = -4*f + 4*l. Let w = -352 + 8806/25. Is w greater than or equal to f?
False
Let x = 0.05 - 0.15. Let t be (2/6)/(693/(-189)). Is x >= t?
False
Suppose -3*x = -2*x - 18. Let p be (3 - 1) + 2 - -4. Let c = p - x. Is 1/4 greater than c?
True
Let n be -4 - -7 - (-3 - 0). Let g be 4 - n - (-180)/87. Is 1 > g?
True
Let o be (-2 - 3/(-2)) + -4. Let k(d) = d**2 + 27*d + 53. Let b be k(-25). Let n be 9*(b + -4) - (-7 + 3). Is o at least as big as n?
True
Suppose 12 = 2*b - 2*c, 0 = -5*c + c - 16. Suppose 7*z = b - 9. Is 4/69 > z?
True
Let i be -1*18/45*1. Is i smaller than 127?
True
Let f be (3192/(-540) + 6)/(1/835). Which is smaller: f or 74?
74
Let f = 12 - 36. Let r be f*(-2 - -3)*2. Let j be (-1)/2*r/8. Is j greater than 1?
True
Let t be ((-4)/(-1))/((-10)/(30/6)). Let u be (-1)/4*(-5)/(-2). Let b = -31/24 - u. Which is smaller: b or t?
t
Let h = -62 - -90. Let t = -31 + h. Suppose 2*o + 3*o + 20 = 0. Is o less than t?
True
Let m = -2625 - -2177. Which is bigger: -446 or m?
-446
Suppose 8266 = -27*d + 1354. Is -255 != d?
True
Let f(z) = z**3 + z**2 - 7. Let q be f(5). Let s(h) = 72 - q - h + 71. Let o be s(2). Is 6 less than o?
False
Let k(z) = z**3 - 9*z**2 - 15*z - 12. Let d be k(10). Which is smaller: d or -63?
-63
Let s = 1349 - 1347. Let l(m) = m. Let v be l(2). Suppose -o - 13 = -5*b + s*o, 0 = v*b + 4*o. Does 2 = b?
True
Suppose 3*s - s - 27 = 5*k, 4*s = -3*k - 11. Let j = 7 - s. Let c = 5 - j. Which is smaller: -1/3 or c?
c
Let w(k) = 2*k - 89. Let l be w(38). Which is smaller: l or -71/5?
-71/5
Let w(f) = f**2 + 5*f + 6. Let v be w(-6). Suppose 4*p = v - 4. Let c = -535/4 - -1621/12. Which is greater: c or p?
p
Let m(k) = k**3 - 8*k**2 + 3*k - 9. Suppose -3*v - 22 = -2*q, q + 0*v - 6 = -v. Let f be m(q). Suppose 5*z - f = -0*z. Which is greater: z or 4?
4
Let l be -5 - -7 - (-2 - -7). Let u(k) = k**2 + k - 1. Let q(d) = -2*d**2 - 10*d - 7. Let b(z) = -q(z) - u(z). Let x be b(-7). Which is greater: x or l?
l
Let y(c) = c**2 + 11*c + 2. Let t be y(-11). Suppose -5*s - 14 = 2*n, 5*s - t = 3*n - 6. Which is smaller: 3 or n?
n
Let l be 0/(4/(-3 - -1)). Let s = l + 19. Let d = 58/3 - s. Which is smaller: 10 or d?
d
Suppose 1 = 5*k - 9. Suppose -s = 4*s + 705. Let d = s + 287/2. Is d greater than k?
True
Let j be 1 - -3 - (-2 - -1). Suppose 5*b - 15 = -j*x, 5*b - 13 = 2*x - 5*x. Let n be 49/20 + (-2)/8. Which is smaller: x or n?
x
Suppose -2 + 4 = l. Suppose -109*b - 36*b = -45*b - 400. Are b and l equal?
False
Let l = -457 + 457. Let n = 2/545 - -2154/7085. Which is smaller: l or n?
l
Suppose 0 = -5*p + 5, -2*p = -l + 11 + 2. Let i = l + -14. Suppose -5*c = -o - 8, 3*c + 4 - 18 = -4*o. Which is smaller: o or i?
i
Let n = 318 + -238. Is n < 79?
False
Suppose 2*r = 6*r - 64. Suppose -d - 12 + r = 0. Let a be 1 + (0 - 3) + d. Is a greater than 0?
True
Let u(m) = m**2 + 4*m - 1. Let t be u(-5). Suppose 0 = -t*o + 6 + 10. Suppose i = -5*h - 29, -4*i = o*h - h + 31. Which is smaller: -5/2 or i?
i
Let o = 1143.7 - 1143. Is o <= -10?
False
Let t = 1956 + -2103. Which is greater: t or -149?
t
Let n be 8/(-14) + (-35)/196. Is n <= -14/11?
False
Suppose -41*n = -46*n + 595. Is n equal to 118?
False
Let r(s) = 2*s**3 - 10*s**2 - 15*s + 21. Let j be r(6). Is j at least 18/11?
True
Let k be 1/3*0/(4 + -8). Suppose 3*s - 2*d - 24 = 0, s - 2*d + 3*d - 13 = k. Let c be (-2)/(-1 + -1) + 11. Does s = c?
False
Let g be 2 + 1 - (-7 + 6 - -4). Let t be (3 - 0) + 0 + -1. Suppose -t + 0 = s. Is g greater than s?
True
Let m = -0.0041 + 0.0041. Which is smaller: -198 or m?
-198
Let n = -1743/4 + 440. Let d(k) = k**3 - 8*k**2 - k + 12. Let j be d(8). 