r o?
o
Let u(w) = -w**2 + 4*w + 113. Let g(p) = -p**3 + 5*p**2 + 5*p - 8. Let t be g(6). Let s be u(t). Are -140 and s nonequal?
True
Let b(d) = 17*d + 37. Let v be b(28). Let m = -0.1466 + 0.2466. Is m >= v?
False
Let t be (10 + (-650)/20)*34*1. Let l = t + 497. Which is bigger: -269 or l?
l
Let r = 2/1495 - -171921/2990. Let m = -64 + r. Which is smaller: -7 or m?
-7
Suppose 49 = -4*r - 3*t + 59, -5*r - 4*t + 13 = 0. Is r at least -2/273?
True
Let p be -8 - (2 - 328/16)*-28. Is -526 at least p?
True
Let p = 13650 - 13142. Is 473 greater than or equal to p?
False
Suppose -3358*i - 5*r + 1888 = -3356*i, 2*i - 4*r - 1924 = 0. Is 954 not equal to i?
False
Suppose 0 = 5*m - 25 - 0. Suppose -47 = -5*c - 4*a + 1, -m*a = -2*c + 39. Is 14 greater than or equal to c?
True
Let y be (-18)/3 + (-4)/4. Let s(a) = -a**3 - 19*a**2 + a + 2. Let f(l) = 2*l**3 + 36*l**2 - 2*l - 5. Let i(q) = -6*f(q) - 11*s(q). Let c be i(y). Is 6/19 >= c?
False
Let c(j) = -j**2 + 21*j - 20. Let k be c(20). Suppose 0*a - 11*a - 253 = k. Which is smaller: a or -22?
a
Let h = -762 + 761.97. Let k = -17 + 12. Let c = k - -4. Is h smaller than c?
False
Let y be 9/(-14 - 13) - 602/(-6). Let h be 94/12 + y/150. Which is smaller: 8 or h?
8
Let r be 45/54 + (45983/(-546) - 2). Is -86 at most as big as r?
True
Suppose -18*f + 1539 = -564 - 93. Is 121 at least as big as f?
False
Let k = 1840.6 - 2010. Let a = 169 + k. Let j = -0.07 + 0.02. Is j at most a?
False
Let s = -1.63 - -2.63. Let j = 145 + -144.884. Which is bigger: s or j?
s
Let z = -41.1 + 248. Let b = 207 - z. Which is smaller: b or 1.65?
b
Suppose 3*s + 2*f + 208 = 0, -2*f - 135 = -3*s - 347. Which is greater: -69 or s?
-69
Let k = 165939217 + -5087696376397/30660. Let i = -2/1533 - k. Which is smaller: i or -1?
-1
Suppose 3*n = -3*t + 693, -t - 2*n = -2*t + 237. Let w be 5/(-1)*15/((-750)/2320). Is w bigger than t?
False
Let v = -11172 - -11171. Is v less than or equal to -51/109?
True
Suppose 6*g - 4*g = -6. Let b(i) = -2*i**3 + 173*i**2 + 89*i - 172. Let l be b(87). Which is greater: g or l?
l
Let n(j) = 7*j - 53. Let t be n(8). Suppose -3*k + t*k - 5*k = 0. Is 2/419 < k?
False
Suppose -r + 12 = 5*g, -3*r + 4*g = -0*g + 2. Suppose z + r*z - z = 0. Suppose -18*o + 10*o = z. Which is bigger: o or 24/17?
24/17
Suppose -6*q + 163149 = -4*q - 53*q. Which is bigger: q or -3200?
q
Let g = 110839 + -1259906915/11367. Which is smaller: g or 0?
g
Suppose -20 = -4*w, 31 = 3*i + 3*w + 2*w. Suppose -1 = i*y - q + 26, -40 = 3*y - q. Suppose 10*p + 18 + 2 = 0. Do p and y have different values?
True
Let f = 1135 - 1127. Let h = -0.237 - -0.127. Which is smaller: f or h?
h
Suppose 433*k - 429*k = 0. Is -36/637 greater than k?
False
Let l = 373477 + -7056572/19. Let h = l + -2079. Is h greater than or equal to -3?
True
Let h be (-2171 - -2225)*(-1 - 2064/(-2066)). Is h smaller than -1?
False
Let j be (-16)/(-24)*(1 + 2). Let o be 3/j*(-56)/6. Which is smaller: -15 or o?
-15
Let q = 47533/34734 - -30/827. Is 1 at least as big as q?
False
Let t(y) = -40*y - 45. Let o be t(-9). Suppose 4*w - 11*w + o = 0. Let s be (-2)/(5 + (-235)/w). Is s less than 28/3?
True
Suppose -2*f - 4*t = -f, 2*f + 5*t = 0. Is -37/40 bigger than f?
False
Let h = -43 + 31. Let t be (-16)/12*(45/10 - 3). Let b be (t/(-5))/((-8)/h). Is 2 <= b?
False
Let l = -4806 - -4125. Is -683 equal to l?
False
Let y = -6.8179 + -0.0521. Let p = y + -395.13. Is p > 0.1?
False
Let l = 5270 - 3868. Is -1 != l?
True
Suppose 4*p - 3*u + 125 = 8*p, -4*u = 4*p - 124. Let j be (-16)/p - 24/(-46). Which is smaller: -1 or j?
-1
Let s = -900101/1738564 - 6/10601. Which is greater: -2 or s?
s
Let l be (1/3)/1*-2. Let f = -267.59 - -265. Let k = f + -2.41. Which is greater: l or k?
l
Let k = 232 - 242. Let z be ((-3)/(105/k))/(-4). Is 0 at least as big as z?
True
Let i(f) = -f**3 + 32*f**2 - 77*f + 439. Let j be i(29). Is j less than 729?
False
Let t = -0.66 - -0.86. Let f = -2083/457744 + -1/7504. Which is smaller: f or t?
f
Let f(z) = -14*z**3 - 5*z**2 - 142*z + 442. Let g be f(3). Is g at least -406?
False
Let a = 9 - 12. Let p = a - -26. Let d = p - 22. Which is bigger: d or -5.1?
d
Let q be (35/(-70))/(1/482). Let l = -481/2 - q. Which is smaller: 1.05 or l?
l
Let x be 0/(15 + -3 + -10). Is 2.52 equal to x?
False
Let w = 472 - 13686/29. Let f = -1062 + 1141. Let q = f - 80. Is w != q?
True
Let c be 20/(-50) + (-6)/(-15). Suppose c = 3*i + 2*n + 21, n = -4*i - 7 - 26. Let v(a) = -2*a - 8. Let w be v(i). Which is smaller: w or 9?
9
Let m = -10671 - -9842. Which is smaller: m or -832?
-832
Let i = 135 + -94. Suppose -326 + i = 5*x. Which is smaller: x or -56?
x
Let b = -1.501 - 0.499. Let r = -16 - -20. Let m be (0/r)/(1*-3). Is m > b?
True
Let j be (38 + -16)*1/2. Let s(h) = -h**2 + 13*h - 24. Let p be s(j). Which is greater: p or 35?
35
Let r be ((3 - 4) + 5)*-73. Let y = 275 + r. Let f = 24 - 41. Is y less than f?
False
Let v = 0.09528 - -0.90472. Is v greater than 8?
False
Let r(x) = -x**2 + 20*x + 16. Let p be r(21). Is p smaller than -158/31?
False
Let j = 2889 - 2349. Which is smaller: j or 1/4?
1/4
Let p be (1/3 + (-15)/15)*-3. Let y be ((-1265)/14)/23 - -6. Is y >= p?
True
Let k = 14 + -9. Let h = k - 4.94. Let i = h + -0.06. Which is greater: i or -7?
i
Suppose 4*m = -n + 2 - 25, 0 = -2*n + 2*m - 36. Let x be (3 - n)*(-6)/(-21)*7. Which is bigger: 33 or x?
x
Let i(u) = u**3 + 38*u**2 + 68*u - 42. Let o be i(-35). Let a be ((-1)/o)/((-3)/(-6)). Which is smaller: a or 1?
a
Let q = -3737 + 2855. Are q and -883 non-equal?
True
Let f = 1800.43 + -1815. Let y = -15.3 - f. Let x = 1.03 + y. Which is greater: x or -5?
x
Suppose 17009 + 8496 = 17*p + 8879. Which is bigger: p or 3915/4?
3915/4
Suppose -2*y = 3*l - 2247, 2217*l - 2214*l = -3. Is 1122 smaller than y?
True
Let v(p) = -19*p - 14. Let i be v(-4). Let b(x) = -i*x + 0 - 9 + 60*x. Let y be b(-2). Which is smaller: -0.5 or y?
y
Let r = -630 - -629. Let t be (2/(-2))/((-19)/3). Is t at least r?
True
Let b = -12 - 1. Let v = 150639 - 1350853/9. Let u = v + -544. Which is smaller: b or u?
b
Let v = -571/2 - -280. Let j = 77 - 82. Which is greater: v or j?
j
Let o be (265/(-4823742))/(25/20). Which is bigger: o or 0?
0
Let m be 19/(-228) + (-11)/12. Let t be (9860/29850 + m/3)*-5. Are 0 and t unequal?
True
Let r = -238677/7762 - 9/15524. Let f be 25/(-1)*(-12)/(-10). Which is smaller: r or f?
r
Let x = 2.168 + -9.168. Is -105.6 greater than or equal to x?
False
Suppose 5*n = 7 - 2. Let w be ((-8)/5202)/(14*5/(-15)). Let g = 11608/1608285 + w. Which is smaller: n or g?
g
Let b = -9801 - -18397. Which is bigger: b or 8595?
b
Let t be 3/6 + 90/(-76). Let o be 479/(-228) - (4 + 22/(-4)). Let v = o - t. Is v >= -1?
True
Let s = 2120 - 2123. Let y be 1*(32/(-4) - -3). Which is bigger: y or s?
s
Let o = 12 - 34. Suppose -3*t = -7 - 95. Let g = t + o. Is 11 at most as big as g?
True
Suppose -3*g + 3777 = 3*b, 11*b = 4*g + 8*b - 5008. Suppose 25*j + 1095 + g = 0. Which is smaller: -97 or j?
-97
Let y be (-44 + 43)*(2 - -3). Let p be (-45)/75 - ((-5)/(-2))/y. Is -1/3 at least p?
False
Let y(b) = -60*b - 3512. Let q be y(-62). Is 620/3 greater than q?
False
Let m = 220 + -216. Which is greater: m or 44?
44
Let i = 43741/13688 + -18817580327/4421224. Let l = 4253 + i. Which is greater: l or -1?
l
Let r = -30298 - -33119. Which is smaller: 4 or r?
4
Let d be 646/153 - 4 - -511*4/36. Suppose 3*t + 5 = -2*t - l, -2*t = 4*l + 20. Suppose t = 2*k + 3*k - 280. Which is bigger: d or k?
d
Let s = 28381 - 31438. Which is greater: s or -3060?
s
Let i be -10*(34/(-10) + 5). Let q be (-18)/22 + i + (-1566)/(-99). Which is bigger: q or 1/802?
1/802
Let o(z) = z**2 - 6*z - 9. Let m be o(-6). Let j(g) = -g - 8*g + 3*g + 9 + 24. Let w be j(-5). Is m smaller than w?
False
Let f(b) = -10*b + 99. Let n be f(9). Let m(l) = l**2 - 41. Let s be m(7). Is n < s?
False
Let q = -3.101 + 3.29. Let g = q - -1.811. Is -7/10 > g?
False
Let s = 0.956 - 1035.956. Is s less than 0.2?
True
Let w be 6/(-4) + 21/6. Let s be (w/4)/(19/(-836)). Let d be (-6)/(-4)*s/(-33). Which is bigger: 7/6 or d?
7/6
Suppose 2*t + 18 = -4*l, -5*t + 2*l - 273 = -276. Do -10/397 and t have the same value?
False
Suppose -5*i + 227*f - 223*f = 109, 46*i + f = -776. Suppose -4*y + 3*g + 0*g - 71 = 0, -g 