) = 2*u**2 + u. Let y be j(-2). Suppose -10*r = -y*r - f. Which is bigger: r or 0?
r
Let r be (-2)/(-28) + 458159/364. Is 1260 >= r?
True
Let n(t) = -t**3 - 22*t**2 + 23*t + 48. Let q be n(-23). Let h = q - 25. Let i = 19 - h. Is -6 < i?
True
Suppose 3*f + 7 - 34 = -4*p, -36 = -4*f - 4*p. Let v(l) = -l**2 - 188*l + 1374. Let s be v(7). Is f less than s?
False
Let o = -7.8555 + 0.9055. Which is smaller: -0.07 or o?
o
Suppose 0 = -5*l + 4*i + 903, 6*l + 3*i = 5*l + 173. Let g = -181 + l. Is g at most -5/3?
True
Let c = 4247 + -4250.6. Which is bigger: 1 or c?
1
Let s(j) = -3*j**3 + 2*j**2 + 3*j + 33. Let b be s(0). Suppose -u - 514 = -b*y + 32*y, -2055 = 4*u - 3*y. Is -513 smaller than u?
False
Let m = 3233.9 + -3469.9. Which is smaller: m or 2.4?
m
Let q be -5 - 333/(-72) - (-8735)/(-360)*15. Are q and -363 non-equal?
True
Let r = 8919/380 + -2/95. Is r greater than or equal to 24?
False
Let r = 499/2036 - 252/509. Let v = 2643/5 + -516. Which is greater: r or v?
v
Suppose -19 = -m - 12. Suppose 0 = -12*j + m*j - 2*g - 169, 2*j + 70 = -2*g. Is 0 at most j?
False
Let o(y) = -290*y + 9. Let j be o(-1). Let u = j - 299. Are -4/29 and u nonequal?
True
Let t(v) = v**3 + 14*v**2 + 2*v + 10. Let l be t(-14). Let b be ((-12)/8)/((-4)/(-32)). Is b > l?
True
Suppose 2 = 2*y + 2*o, -2*y + 10 = -6*y + 3*o. Let a be 4/(-872)*(-1 + -23). Is a at least as big as y?
True
Suppose 5*s - 3*s = 0. Suppose -a + 2*z - 66 = s, -4*z + 2 - 18 = 0. Let m be (-452)/6 - 4/(-12). Is a bigger than m?
True
Let g be -8*7/(-224)*-248. Is g > -41?
False
Let p(n) = 2*n**2 + 90*n + 1007. Let t be p(-40). Is t greater than or equal to 599?
True
Suppose 3*t = 4*w - 7, 2*w - 4 = w. Suppose 4*x - 3*x + 4*k = 7, 19 = -2*x + t*k. Let n(s) = -s**2 + 4*s + 9. Let v be n(x). Is v >= -35?
False
Suppose 22*n - 46*n + 8*n = 199536. Is -12470 less than n?
False
Let j = -72 + 75. Let k be (30/25)/(6/1125*j). Suppose 5*t - k + 25 = 0. Which is smaller: t or 26/3?
26/3
Suppose 0 = -2*h - m - 41 + 8, 5*h - 2*m + 60 = 0. Let v be -1 + 0 + -1 + h. Let z be (-34)/16 - (v + 13). Is 1 bigger than z?
True
Let j = 7 - 0. Suppose -j = 5*n + 8. Suppose -5 = -4*z + 3, -5*z = -4*g - 22. Is g > n?
False
Let z = 70 - 67. Suppose z*o = -30 + 42. Suppose -16 = -4*w + 4*p, 3*w - 2*p - 3 = o. Which is smaller: 2/121 or w?
w
Let b = -9 - -13. Suppose 5*x - 170 = -4*t, 8511*x + 22 = 8513*x - 3*t. Is x equal to b?
False
Let c = 3864 + -3873. Which is greater: -1.7 or c?
-1.7
Let u = -3.6 + 3.5. Let w = 1 - -47. Let t = w + -3. Is u greater than t?
False
Let m be (-18)/112 + 4/126*9. Suppose 0 = -2*f + 8 + 16. Let i = -11 + f. Which is smaller: m or i?
m
Suppose 0 = 33*z - 37*z - 24. Let y(w) = -7*w - 41. Let o be y(z). Is o greater than or equal to -1/391?
True
Let m be ((-11)/(-22) + (-20)/8)*(-6)/(-28). Do -207 and m have different values?
True
Let o(s) = 141*s - 705. Let v be o(5). Which is bigger: 2/16125 or v?
2/16125
Let t = -144 - -141.9. Let p = -2.1 - t. Which is bigger: 14/11 or p?
14/11
Let w = -131596/25 + 5264. Let m = -0.2 - -0.1. Which is smaller: w or m?
m
Let z be (2931/2*14/(-49))/(-3). Let r = z - 139. Let y = 4 + -2. Which is greater: y or r?
y
Let r = -1.904 + -30.176. Is 1/4 >= r?
True
Let o = -178 + 304. Suppose 13*d + d + o = 0. Is d less than or equal to 1?
True
Let l be (-1652)/20 - (-3)/(30/(-4)). Let h = 127 + l. Suppose -40*o + 36*o = h. Which is smaller: o or -9?
o
Let n = -57 - -70. Suppose q + 65 = 3*q + 3*b, -n = -q + 5*b. Suppose 5*f + 6*z - z = -185, 0 = -f - 4*z - q. Is -41 at most f?
True
Let c = 289/6 - 48. Let i = -88.8 + 89.2. Which is smaller: c or i?
c
Let p be ((-219)/292)/(6/(-38552)). Which is bigger: p or 4820?
4820
Suppose o + 305 = 2*j - 180, -4*o - 20 = 0. Let s be 40/j + (-2)/12. Is s less than 29?
True
Let q = 338 - 353. Which is smaller: q or 0.06?
q
Let c = 23 - 1. Suppose 2*d = -4*f + 4*d - c, -d + 15 = -3*f. Let i(o) = -2*o - 7. Let v be i(f). Is 1/11 smaller than v?
True
Let u = 56 + -37. Suppose 3*h = -u + 52. Suppose 5*d = h*d. Is d at least 2?
False
Let v = 89/3 - 29. Let g = -11444.3 + 11566.251. Let d = g + -122. Is v at most d?
False
Let r(x) = 8*x**3 - 9*x**2 + 10*x - 10. Let d be r(1). Is -1/67206 less than d?
False
Let y = 29607 - 30042. Are -11 and y equal?
False
Let o = 76 - 74. Suppose -15*p = -o*p + 13. Let x be (30/(-27))/(6/(-9)) - 4. Which is smaller: p or x?
x
Let q be 4785 - (-6)/(-3) - 18/2. Which is smaller: q or 4775?
q
Let u = -1.2 - -2.2. Let b = 1563/10 + -135961/870. Which is bigger: u or b?
u
Let m be (90375/5640 - 16)/(3 - 51). Are m and -1 equal?
False
Let d = -0.011 + -0.279. Let s = d + 10.29. Is 2/11 >= s?
False
Let y be 1384/4*(-58)/(-236). Let g = y - 85. Which is smaller: g or 0?
0
Let c = 25696 + -30171. Is -4478 at least as big as c?
False
Let v = 7767/456580 - 18/617. Are v and 0 non-equal?
True
Let z = 10431/688 - 253/16. Are -0.2 and z equal?
False
Let g(i) = -12*i**3 + 3*i**2 - 2*i - 3. Let k be g(-1). Suppose 7*y = -k - 70. Suppose -4*w - 36 = -4*z, 4*w + 15 = 3*w - 5*z. Is w less than y?
False
Let z = -2.47912 + 0.00012. Is 1 > z?
True
Let s be (0 + 4)/(21470/285). Let l = 1 - 1. Which is smaller: l or s?
l
Let q = -15506 - -15503.67. Which is smaller: q or -1.7?
q
Let i = 113 + -113. Let o(g) = -5*g - 97. Let l be o(i). Which is greater: -98 or l?
l
Let a be (2346/85 - 27) + (-8)/5. Is 2/1269 != a?
True
Let f(i) = 67*i - 602. Let x be f(9). Which is greater: x or 0.122?
x
Let z = 42594 - 13417118/315. Which is bigger: z or 1?
1
Let o be 185370/(-296)*(-4)/3. Does 837 = o?
False
Let h(p) = -p**3 + 8*p**2 - 14*p + 20. Let u be h(6). Let t(s) = s**2 + 9*s - 68. Let w be t(u). Is -0.04 at most as big as w?
True
Let k = -903 - -122807/136. Let s = -415/952 - k. Which is greater: -4/7 or s?
s
Let v be 11*(-8)/(-220) - (-7334)/(-10). Which is smaller: v or -2/3?
v
Let d be ((-99)/(-15) - 11)/((-1)/(-30)). Let o = d - -385/3. Let m = -4 - 0. Which is smaller: m or o?
m
Let i be (44/(-18))/2 - (-7)/((-819)/(-26)). Which is bigger: -2/7087 or i?
-2/7087
Let o(m) = -m**3 + 7*m**2 + 12*m - 17. Let g(l) = 2*l**2 + 6*l + 8. Let s be g(-3). Let d be o(s). Is -7 at least as big as d?
False
Let v = -29334 + 40862260/1393. Let x = 39955098998/6965 + -5736554. Let w = v - x. Which is smaller: w or 0?
w
Let x = 658 - -539. Let r be 4 + (-5577)/x - (-2)/3. Let v = r + 927/532. Is 2 greater than v?
True
Let w = 12.242 - 10.242. Is -2/19131 at least as big as w?
False
Suppose 32285 - 21801 + 37401 = -61*g. Which is smaller: -780 or g?
g
Let v = -18485 - -16478. Is -2008 at least as big as v?
False
Let q be 249/(-270) - 2/(-9). Suppose 0 = -d - d - 4*m - 38, -d + 2*m - 11 = 0. Let u(l) = l**3 + 13*l**2 - 32*l - 32. Let c be u(d). Which is greater: q or c?
q
Suppose 2879 - 625 = -3*j - 2387. Which is smaller: -1546 or j?
j
Suppose -6*t = 148 - 142. Which is bigger: t or -2/16405?
-2/16405
Let o = -255217/2 + 127608. Let i = -0.029 - -0.909. Let d = i - 1. Which is bigger: o or d?
d
Suppose 194*r = 173*r - 195972. Which is greater: -9333 or r?
r
Let h = 6173 + -6173. Which is bigger: 2/5415 or h?
2/5415
Let l(n) = -n**3 - 3*n**2 + 129*n - 36. Let b be l(-13). Is -7.1 equal to b?
False
Suppose -51*v = 90*v - 564. Is v smaller than 3/11?
False
Suppose 3*f = 2*d - 4, -f - d + 2 = f. Let v be ((-1)/13)/((-375)/30 + 12). Which is smaller: v or f?
f
Let t = -6.677 - -0.077. Let y = 7.8 + t. Let d = y - -0.8. Which is bigger: 2.3 or d?
2.3
Let n be (-172)/(-129) + 2*1*(-80)/(-120). Let t = 0.3 + -0.25. Which is smaller: n or t?
t
Suppose -4*l + 84 = 4*o, -6*l - 24 = -o - 4*l. Let q be ((-18)/(-6))/(3 - 2). Suppose q*w = -0*w + 66. Is w at least o?
True
Let a(b) = b**2 + 15*b + 18. Let k(c) = -16*c + 26. Let q be k(2). Let o be a(q). Which is smaller: -35 or o?
o
Let v be -3 + (-6 - -5) - 2. Let c be ((-88)/6 - -2)/((-4)/v). Let x(p) = -p**2 - 3*p - 1. Let g be x(3). Is g at most c?
True
Let a = -536 - -229. Let k = a + 207. Are k and -100 unequal?
False
Let m(u) = u**3 - u**2. Let b(h) = -2*h**3 + 7*h**2 - 8*h + 17. Let d(s) = b(s) + m(s). Let c be d(5). Let i be -6 - (0/(-2))/(c*-1). Which is bigger: i or -1?
-1
Let a be 5/15 - 76/(-6) - 4. Suppose -2*f + 0*b = 5*b + 7, 0 = -3*f - 3*b + 12. Suppose f + 33 = 6*g. Which is smaller: a or g?
g
Let x