31?
-31
Let m = -44.35 - -44. Let l = 1.35 + m. Is 2/11 greater than l?
False
Let y be 1/(9/(-12)) + (-325)/(-39). Let s be (2 + -1 - 3)*2. Let p = y - s. Is 11 < p?
False
Let h(m) = 18*m**3 + 2*m**2 + 6*m + 6. Let c be h(-2). Is c greater than -141?
False
Suppose 2 + 2 = 2*d. Suppose -44 = -5*k - 5*g + 6, 2*g = 2*k - 4. Suppose -2*z = -5*z + k. Is d bigger than z?
False
Let x be (-9)/3*(3 - (-14)/(-18)). Suppose -3*m - g - 21 = 0, 9 = -3*g - 0*g. Which is greater: x or m?
m
Let k(g) = 7*g**2 + 7*g - 186. Let h be k(-9). Which is smaller: 319 or h?
h
Suppose 0 = g - 5*g + 68. Does g = 15?
False
Let s(p) = -15*p - 220. Let d be s(-30). Which is smaller: 227 or d?
227
Let i = 523 + -481. Is 0.2 bigger than i?
False
Let l = -4382129305/15173 + 288811. Let x = l - -15893/5462280. Let t = x + -737/6120. Which is smaller: t or 2/9?
t
Let v = 0.029 + 0.071. Is 1/88 at most as big as v?
True
Suppose m + 2*m = n - 18, -4*n + 4*m = -32. Suppose 3*r - n*y = -12, -5*y = -r - 0*r - 12. Let t be 0/5 - r/79. Is -1 less than or equal to t?
True
Let z = 22 + -22.017. Let n = -588.6 - -589.6. Is z at most n?
True
Suppose 33 = 15*m - 4*m. Let t be 6/10*20/18. Which is smaller: m or t?
t
Let k = 0.36 - 0.16. Let x = 12474/5 + -2487. Which is smaller: k or x?
k
Let d = -175 - -296. Which is smaller: d or 124?
d
Let f = 9 + -9. Let t = -8/3 + 157/60. Are f and t non-equal?
True
Let b(p) = -2*p + 23. Let t be b(16). Let w be (-1)/(t/6)*18/60. Which is bigger: w or 1?
1
Let z be 4/8 - (-3)/(-6) - 3. Are z and -100 equal?
False
Let w = -81.089 - -81. Let o = w + 3.089. Which is smaller: -7/3 or o?
-7/3
Let d(v) = 5*v**2 + 61*v + 69. Let u be d(-17). Which is smaller: u or 476?
476
Let v = -5614/33 + 423/11. Is -133 at least as big as v?
False
Suppose -6*l - 42 + 18 = 0. Let b be 4 + l + -6*3/6. Is b >= -4?
True
Let r(l) = -l**3 - 2*l**2 - 3*l - 4. Let z be r(-2). Suppose -3*n = 2*w - 72, 2*w - 76 = -0*w - z*n. Is w >= 43?
False
Let v = 61 + -73. Let d be ((-12)/(-16))/(v/(-8))*0. Is d != 0?
False
Suppose -4*g = -6*g - 54. Let l be 6/g*(-15)/(-10). Let w = -27 - -27. Are w and l equal?
False
Let q = -4 + 5. Let j be (-2)/7 + 2784/9352. Is q greater than j?
True
Let s = 14.89 - 15. Let o = -0.21 - s. Let h be ((-39)/45 + 1)*-1. Which is smaller: o or h?
h
Let s = 27 - 27. Let y = 1 - s. Is y less than or equal to 0.2?
False
Suppose -d - 2*o + 73 = 4*d, -4*o + 68 = 4*d. Let q = d - 15. Is -10/7 > q?
True
Let t be (14/49)/((-2)/(-28)). Let r be (1/t)/(1/2). Which is bigger: r or -0.12?
r
Let q be 4/1*(-33)/(-6). Let o = -27 + q. Suppose -y = 3*y - 4. Is o greater than or equal to y?
False
Let f(h) = h**3 - 3*h**2 + 3*h - 2. Let d be f(2). Suppose -3*m - m = d. Let v be (4 - m/(-1))/2. Which is bigger: v or 1?
v
Let d be -3 - (-6 - (0 - -1)). Suppose 0*c - 3*c = d*z - 50, -2*c - z + 35 = 0. Let m be 28/(-45) - c/(-81). Which is greater: m or -3?
m
Let b be (1/(-3))/(-3 + -20). Suppose -t = 2, t + 6 = 2*d - 3*t. Is d smaller than b?
True
Let p(o) = 2*o**2 + 9*o + 6. Let f be p(-4). Suppose 0 = -0*q + 4*q - 72. Suppose 3*h = -d - h - 19, -4*h = 2*d + q. Are d and f nonequal?
True
Let h = 0.79 - -0.01. Let d = h + 0.2. Let w = 68 + -69. Which is smaller: d or w?
w
Let q = -48 + 46. Let c be 2/(-11)*(9/(-6) - q). Which is smaller: 1 or c?
c
Suppose 12 + 5 = 17*z. Is 2/161 >= z?
False
Let a = 9 - 11. Let u(t) = t**2 + t + 2. Let q be u(a). Suppose s = -4*x - 0*s - 62, 53 = -3*x - q*s. Is x not equal to -2?
True
Let r be (7 - (-354)/(-54))/((-4)/6). Is -651 less than r?
True
Let s be (-35)/60 - (-2)/18*3. Is s != -27.7?
True
Let i(f) be the third derivative of -55*f**4/24 - 3*f**3 + f**2. Let c be i(-5). Let g = -6424/25 + c. Which is bigger: g or 0?
g
Let p be 28/(-4 - -11)*(-6 - 0). Suppose v + 2 - 14 = 0. Let l be v - 10 - p/(-11). Which is smaller: 1 or l?
l
Suppose -h = l - 9, 5*l + 8 = 5*h + 3. Suppose 0 = 2*n + 12 - l. Let c be (n/6)/((-376)/(-24)). Which is bigger: c or -1?
c
Let q be (2 - 4)*38/(-4). Is q at least as big as 27?
False
Let s be 54/4*(31 - (0 + 1)). Let u be 4/(-1) - s/(-60). Are 2 and u non-equal?
True
Let t be -176 - (-1 + 0) - 1. Let m = -2404 + 18062/7. Let x = t + m. Which is smaller: 1 or x?
x
Let x = -99 + 99. Let a(m) = -m**2 + 6*m + 4. Let z be a(x). Let r = 13 - 8. Is z bigger than r?
False
Let i = 118/3 + -39. Let s = 33 - 32.99. Is s less than i?
True
Suppose 8*z - 24 = 4*z. Let v be z/((-9)/(-3)) - -51. Are 53 and v non-equal?
False
Let m = -782.02 - -782. Is m >= 2?
False
Let k be (26/5)/((-10)/(-25)). Let b be ((-3)/4)/(1 + (-15)/6). Is b equal to k?
False
Let x be (-50)/(-175) + 102/35. Is x bigger than -0.26?
True
Let j(l) = 23*l + 118. Let m be j(-5). Does 5 = m?
False
Let i be (-5 - -8) + 2*2/4. Let w be (i/((-64)/20))/((-1)/4). Which is bigger: w or 7?
7
Let g be 1835*((-2)/19 - (-348)/1140). Which is smaller: g or 368?
g
Let m(v) = -19*v**2 - 28*v - 25. Let p be m(-1). Which is bigger: p or -17?
p
Suppose -4*s - 2*i - 6 = 0, -2*s + 2*i = -3 + 15. Let t = s - -3. Suppose 5*u - 3*h = -45, t*h + h - 7 = u. Is -11 less than or equal to u?
False
Let n = 2049 + -2046.909. Let g = n - 0.091. Do g and -9 have different values?
True
Let g = 116 - 40. Suppose -4*v - 4*n - g = 0, 4*v - 2*n - 2*n = -36. Let p = v + 22. Is 8 greater than p?
False
Let w be -10 - ((-1 - -2) + 2). Let i be w/(-2) - (2 - 2). Is 7 greater than or equal to i?
True
Let i(j) = 69*j**2 + 1. Let p be i(-2). Let u = -1097/4 + p. Which is smaller: u or 2?
2
Let b(y) = -y**3 + 7*y**2 - y + 17. Let x be b(7). Let z(w) = -w**2 + 4*w + 8. Let v be z(7). Let u = 24 + v. Is u at most as big as x?
False
Let j = -4827/4 + 1207. Is j smaller than -1060?
False
Let x be ((-1)/(-2))/(60/(-60)) - -1. Let m = 0.08 + -0.05. Which is smaller: x or m?
m
Let s(n) = n**2 + 31*n + 204. Let h be s(-21). Let o = 0.1 - 1.1. Are o and h equal?
False
Let m(n) = 3*n**3 + 17*n**2 + 9*n - 4. Let s be m(-5). Which is smaller: 27/16 or s?
s
Let i(y) = 6*y - 1. Let v be i(-1). Let r = v - 4. Let q(w) = -w - 2. Let n be q(r). Is 10 greater than n?
True
Suppose 36*l = 28*l + 2944. Which is smaller: l or 367?
367
Let a be (-5 + 129/24)/(24/(-16)). Which is greater: a or 0.0502?
0.0502
Let h = -13.5 - 1. Let n = -14.5 - h. Which is greater: n or 2/5?
2/5
Let t be (-1)/(-3) - ((-78)/(-18) + -3). Which is bigger: t or -2/345?
-2/345
Let a be (8544/(-384))/(1/8). Which is smaller: -176 or a?
a
Suppose 127 = -5*f + 2*f + 5*i, -2*f = 3*i + 72. Which is bigger: -75/2 or f?
-75/2
Let w = 172/3 - 536/9. Is -1 <= w?
False
Let y = 49 - 807. Which is bigger: y or -759?
y
Suppose 4*g + 273 = -3*m, 8 + 7 = -5*m. Let t be (4/54)/(11/g). Let l = -0.2 + 0.3. Which is greater: l or t?
l
Let a(y) be the second derivative of -y**5/20 + 5*y**4/6 - 5*y**3/2 + 11*y**2/2 - 15*y. Let j be a(8). Which is bigger: j or -2?
j
Suppose -22*o = 18*o + 520. Let w be 7/(-3) + 4/(-6). Let v = o + w. Do v and -16 have the same value?
True
Let s be 36/(-3) - (3 + -6). Let j be 3/s + (-1)/(-3). Which is smaller: j or 2/7?
j
Suppose m = 4*m - 4*g - 100, -2*m + 2*g = -64. Suppose 5*a = a - m. Let v = 8 + a. Which is smaller: -2 or v?
-2
Let p(a) = 2*a. Let z be p(-2). Suppose 76 = -1243*v + 1239*v + 16. Is z >= v?
True
Let o be (-52)/(-8) + 1/(-2). Which is smaller: 53/8 or o?
o
Let q = 10018 + -1953514/195. Is 0 equal to q?
False
Let p(x) = -5*x + 4 + 6 + x**2 + 0*x**2 - 3. Let b be p(5). Let z be b/10 - (-1)/(-2). Which is smaller: z or 1?
z
Let h = 42643/3 - 14215. Let j = -2.4 - 0.6. Which is smaller: h or j?
j
Suppose 3*j + 34 = -5. Let u be j/(195/10) - (-5)/3. Which is greater: u or 3.7?
3.7
Suppose -11*s - 40 = 4*m - 6*s, 0 = 3*m - 3*s + 30. Suppose -v - 22 = f + 3*v, 0 = -3*f + 3*v - 21. Is m >= f?
True
Let x = 472 - 462. Which is bigger: 2/25 or x?
x
Let r be 2/9 - (-4152)/756. Is r < 6?
True
Suppose 16 = p - 3*w, 3*p = -w + 3*w + 41. Suppose 0 = -0*m - 4*m. Suppose a + m - 13 = 0. Is p at most a?
True
Let c be (-3 + 100/24)*(-18)/(-84). Which is smaller: c or -128?
-128
Let t = -183/10 - -179/10. Is 20/63 < t?
False
Suppose j - 3*j + 2*l + 2 = 0, 15 = 5*j + 5*l. Let d be (-51)/(-20) - (-1 + -3)/20. Which is greater: d or j?
d
Let a = -24 + 28. Let s be (6/(-4))/(((-99)/a)/(-1)). Which is smaller: s or -1?
-1
Let q(y) be the third der