88*s + 9673*s. Which is smaller: -0.22 or s?
s
Let v be -5 + (5 - 2) - (-6)/(-3). Let l be (-2)/v*(-2 - 18/(-8)). Which is greater: 3.2 or l?
3.2
Let i = 0.128 + 0.088. Let o = 0.316 - i. Is -121 equal to o?
False
Let r be (-1)/(-21)*(-12)/(-8)*-4. Let c = 55.84 - -1.16. Let y = c - 70. Which is bigger: r or y?
r
Suppose 32558 - 101034 = 106*r. Is r less than 2?
True
Let c(m) = m**3 + 14*m**2 - 219. Let t be c(-13). Which is greater: t or -95?
t
Let i = 126 - 226. Let o = -100.608 - i. Let d = -0.008 - o. Is d > 1?
False
Let i = 71 + -67. Let b(y) = 7*y**2 + 17. Let v be b(i). Is v > 128?
True
Let x be 1720/(-50) + 4/10. Suppose 764 = -73*g - 1718. Is x less than or equal to g?
True
Suppose -15*l - 20357 - 2833 = 0. Let s be -15 + l/(-108) + 1/6. Which is bigger: s or -1?
s
Let n = -2.4 + 4.3. Let q(c) = c**3 - c**2 - 39*c. Let h be q(0). Are n and h non-equal?
True
Let w = 28.5 - 29. Let t = w - -0.5. Let g = 154 + -154.3. Are t and g non-equal?
True
Let o be 15*(2*4/6 + -1). Suppose -o*s = -6*s - 4*l - 87, 2*l = -2. Which is smaller: -81 or s?
s
Let a = 14648 + -14664. Which is bigger: a or 9?
9
Let a be (2 - 7 - -15)/(237/(-27)). Let l = 2/553 - a. Is l greater than or equal to 6?
False
Let h be ((-10)/3)/(2/(-3)). Suppose 0 = 2*k - 3*r - 38, 46 = -0*k + 3*k + r. Let m = -11 + k. Are h and m unequal?
False
Let k be (-18)/(3 + 0) + 4121/(-3120)*-5. Which is bigger: 1 or k?
1
Let f = -862 - -598. Let s = f - -236. Is s greater than -0.3?
False
Let h(k) = 370*k - 309. Let q be h(4). Let a = q - 1181. Let j be (-10)/4*(-1 - -5). Is a at least j?
True
Let s = -442.4 + 442.48. Is -119 at least s?
False
Suppose -2*p = 6, 1 = s - 2*p - 9. Suppose 1 = n - s*v - 7, -6 = 2*n + 3*v. Suppose -a = -n + 2. Which is smaller: a or 0.3?
a
Let q = 61 + -57. Suppose 0 = -6*a + q*a + 64. Let n = 21 - a. Which is greater: -12 or n?
n
Let y = -29/24 - -4/3. Let q = 2 - -16. Suppose 5*r + 3*l - 10 = 0, 3*l = 2*r + r + q. Which is smaller: y or r?
r
Suppose 3*a + 0*a - 538 = -j, 3*j - 3*a = 1566. Let z = -119372 - -119898. Is j at least z?
True
Let n = -95 + 95. Suppose n = z - 3*v + 8 + 1, 2*z + 43 = v. Let h = 15 - z. Is 41 at least h?
True
Let f = 3069 + -5400. Is 4 greater than f?
True
Suppose -3*i = -5*c + c + 64, -2*c + 3*i = -32. Let w(l) = 3*l**2 + l - 5. Let v be w(-2). Suppose -v*b - 38 = -118. Are c and b unequal?
False
Let w(l) = -l**3 + 21*l**2 - 90*l + 20. Let i be w(16). Suppose -140 - 140 = 2*h. Is h smaller than i?
False
Let z(o) = -3*o**2 + o. Let c be z(5). Let w = 0.8112 + 0.1888. Is w at least as big as c?
True
Let x = -27 - -25. Let m be -36 + x/(-4)*-4. Is m at least -75/2?
False
Let s be (0 - 6)/(60/(-40)). Suppose 11*p - s*p + 35 = 0. Let f = 262 + -1333/5. Which is greater: f or p?
f
Let w = -6853 + 6257. Which is bigger: w or -600?
w
Let r(a) = -489*a + 329. Let x be r(18). Which is smaller: -8472 or x?
x
Let o = 37579/27 + -1392. Let y = -227 - -221. Let x be (0 - 0)*y/(-30). Do x and o have different values?
True
Let f be -2 + 1 - 18/(-6). Suppose f*b + 4*w - w = 15, 4*b + 3*w = 21. Suppose -b*h = -2*d + 3 - 1, h = -2*d + 2. Which is smaller: h or -5?
-5
Let d(p) = -4*p**2 + 27*p - 5. Let t be d(6). Let l be (-547)/(-20) - t/(455/(-14)). Is l equal to 29?
False
Let c be ((-6)/(-4))/((-1)/2). Let v = c - 1. Let x be (105/(-42))/(-55*(-11)/1452). Which is greater: v or x?
v
Let c = -1663 - -520. Let h be 6/20 + c/3210. Is h bigger than 1?
False
Let r(m) = 2*m + 24. Let k be r(-7). Suppose 0 = y - 3*u + 3, 3*y - 3 = -k*u + 7*u. Is 1/129 smaller than y?
False
Let a be (9/33)/(1/2*-159). Suppose -2*u + 158 = -3*u + 157. Which is greater: u or a?
a
Let w = 0.11 - 3.11. Let j = 2375 - 2364. Do j and w have the same value?
False
Let q = 4 + -3.75. Let p = 0.2 - q. Let r = 12.63 - 12.63. Is p less than or equal to r?
True
Let u = -792 + 448. Let l = u + 375. Let a be 3/(-5)*-1 - 1. Are a and l unequal?
True
Let r be 18022/(-22) + 9*1 + (-10767)/1221. Is r greater than or equal to 2?
False
Suppose 44 + 33 = -66*t + 11. Does t = 27/497?
False
Let a = -19516 - -13349. Is a bigger than -0.2?
False
Suppose 24*m = 22*m + 6. Suppose m*d = 2*k - 108, -3*k + 76 = -k + 5*d. Is k not equal to 50?
True
Let w = -280 + 291.7. Let u = w + -36.7. Which is smaller: 0 or u?
u
Let b = 24917 + -24917. Is 7/2459 < b?
False
Let o = -26 + 26. Suppose 4 - 16 = -3*w. Suppose o*c + 5*c - 25 = -5*n, 0 = -w*c + 4*n + 28. Which is smaller: c or 2?
2
Let i = 475 + 52. Let x = i + -5800/11. Which is smaller: x or -1/5?
x
Let i = -5531 + 105123/19. Let x = 301/76 + i. Which is greater: x or 7?
7
Let g = -102 + 100.41. Let j = 5.41 - g. Let m = 0.5 - 0.8. Which is smaller: m or j?
m
Let n be (-200)/(-3) + (-385)/105. Is n equal to 69?
False
Let p = 2591 + -2719. Which is greater: -1159/9 or p?
p
Let q = -64.42 + -1953.58. Is q > -0.2?
False
Let j(p) = -4*p + 30. Let z be j(7). Suppose -z*d - 5*b = 14 + 44, -5*d + 2*b = 116. Let c be (-6)/d + 45/(-148). Is 0 less than c?
False
Let h = 90 - 43. Which is smaller: h or 0.31?
0.31
Let t be -3 + (-2 - 133) + 1. Let w = t - -437/3. Suppose -10 - 8 = -2*q. Which is greater: q or w?
q
Let z be (-32)/6*2760/80. Let l be (-1 + 2)/(-4 - 744/z). Are l and 22 equal?
False
Suppose 84 = 8*d - 4*d. Let l be (25 - d)*-1*2. Is -4 <= l?
False
Suppose -5 + 10 = 5*u. Let i(l) = -l**3 + 18*l**2 - 16*l - 13. Let m be i(17). Let j be 175/182 + 2*(-2)/m. Is u equal to j?
False
Let z = -2464 + 2425.944. Let g = 0.10199 + -0.15799. Let n = z - g. Is n greater than 0.1?
False
Let n be 7/(38*(-69)/(-654) - 4). Let y = -757 + n. Is y at least as big as 16/3?
True
Let n = 182/2337 + -485064/6221873. Does n = 0?
False
Let f be (-1)/(-18)*(-5 + 5006). Let a = 277 - f. Which is bigger: 0 or a?
0
Let s = 619.9 + -620. Let d be 11 + -11 - 41/1. Is d bigger than s?
False
Suppose l = o + 261, -5*o = 2*l - 0*l + 1326. Let v = 276 + o. Is 12 < v?
False
Let z be (-348411)/(-260568) - (-12)/99. Let s(p) = p - 3. Let h be s(4). Is h at most z?
True
Let j = 502 + -564.9. Let d = -70.2 - j. Which is greater: d or -1?
-1
Let t be 30636/117 - 8/(-52). Let z = t + -206. Is z at most -1/2?
False
Let r be -1 - (9 - 2)/(-1). Let c(z) = -z**2 + 6*z + 2. Let j be c(r). Let k be (j + 1)*4/(-12). Is k greater than 0.09?
False
Let o be 78/19 + (-6)/57. Let m be (-2)/9 + o + 526/(-144). Is m >= 1.2?
False
Let b be 3/(3/(-59)*9/18). Is -17 > b?
True
Let o be (-30 + (-9845)/(-330))*408. Suppose 2*x + 124 = 4*y - 2*y, 0 = -4*x + 3*y - 252. Is x greater than o?
True
Let r = -66 - -67.1. Let l = 35.1 - r. Let v = -34 + l. Which is smaller: v or -38?
-38
Let k = -27508 - -192559/7. Is k != -11.19?
True
Let k be -129*((-17)/7 - -2). Let s(n) = -5*n - 130. Let y be s(-15). Let j = k + y. Which is smaller: 0 or j?
0
Let b be 4/10 - 81/(-10). Let v(s) = 368*s**2 + 25*s + 52. Let d be v(-2). Let u = 1482 - d. Which is bigger: u or b?
b
Suppose l = -z + 3, l - 3*z + 5 = 2*l. Suppose 2*d + 2*b + 4 = d, 2*d = b + l. Which is smaller: d or -11/14?
-11/14
Let g = 2875 + -2881. Which is smaller: g or -162?
-162
Suppose -5*w - 10 = 0, -4 = -m + 3*m + 3*w. Let r = m - 36. Let h(l) = -l**3 + 3*l**2 + l + 9. Let k be h(5). Is k less than r?
True
Let u be 0 - 1 - (19 - 16). Let o be 7/(196/132) + u/(-14). Suppose -2*r + 9 = -3. Is o at least as big as r?
False
Let x = 20943 - 20942.8. Is 273/16 > x?
True
Let l = 117 + -35. Let t = -83 + l. Let n = 16 - 7. Which is smaller: n or t?
t
Let v(j) be the third derivative of j**5/60 - j**4/4 + 4*j**3/3 + 13*j**2. Let o be v(4). Suppose 9*h - 3*h - 624 = o. Which is greater: 105 or h?
105
Let k(h) = -h**3 + 10*h**2 - 7*h - 13. Let j be k(9). Let t be ((-10)/5)/(j/(75/(-730))). Which is greater: t or 0?
t
Suppose -11*m + 83 = -181. Let t be 952/m + (-8)/12. Let c = -83 - -121. Is t at least c?
True
Suppose 38*f - 877 = -4*f - 919. Let k = -90471/47 - -1925. Which is smaller: k or f?
f
Let z be 26/91 + 3226/(-462) + 2/6. Are -5 and z nonequal?
True
Let n = 1083/337 - 886399/11458. Let i = n + -278/17. Is i smaller than -92?
False
Let p = -12725 + 368966/29. Is p at least -1?
False
Let i(k) = k**2 - 9*k - 35. Let p be i(12). Let j = -41 + p. Is j <= -0.2?
True
Let u = -5519 - -4028. Is u >= -1492?
True
Let q = 84.6 + -75. Let p = q + -10. Let u = 297.5 - 298. Is