uppose -3*s = 2*s - 5. Let b be (-3)/((-1 - -2)*s). Let r be 8/72*0 - (-4 - -7). Is b at most r?
True
Suppose 1336 = -24*w - 1424. Is w at least -112?
False
Let u = 0.0159 + 6.0141. Let o = 6 - u. Which is bigger: 0 or o?
0
Let n be (-275)/(-10)*(-4)/(-5). Suppose -3*x = -2*z + x - n, 0 = -z - x - 2. Let q = 1 + 1. Which is greater: q or z?
q
Let q = -39/58 - 9839/290. Let b = q - -291/10. Which is smaller: b or -7?
-7
Suppose -3*w - 1 - 5 = -5*d, d + w + 2 = 0. Suppose 2*i - i = 5*f, d = -f. Suppose -2*p = -y + 2, -5*p - 3*y = y - 8. Do i and p have the same value?
True
Let l be (100/14 - (-10)/(-2))/(-1). Let c be (2 + 0)*(-1)/2. Which is bigger: c or l?
c
Let r = -9 - -17. Let b be 4 - (r + 1) - 0. Suppose 5*i + 5 = -2*w - 0, -5*i + 3*w = 30. Is b at most i?
True
Suppose -5*w - 1391 - 3384 = 0. Let z = w - -7651/8. Which is smaller: -0.2 or z?
-0.2
Let y = -712.03 + 699.5359. Let l = -0.3041 - y. Let t = 12 - l. Is -0.1 less than or equal to t?
False
Let l be -3*3*15/(-27). Let j(n) be the third derivative of -n**6/120 + 2*n**5/15 - 5*n**4/24 - 4*n**3/3 + 2*n**2. Let v be j(7). Which is smaller: l or v?
l
Let u be 3/(-5 + 12/6 + 4). Which is smaller: 24/7 or u?
u
Let l be -1 + -2 + (-110)/(-38). Let z = 13 + -14. Let r be 1*-5*(z - 17/(-15)). Is l < r?
False
Suppose 0 = i - 2*t + 11, 4*i + 0*i - 4*t = -24. Let b = 5 - 3. Do i and b have the same value?
False
Let g = 72.24804 + -1.18104. Let c = g - 71. Is c < -0.1?
False
Suppose -10*u + 8*u = 28. Are -14 and u unequal?
False
Let d be 2/(3/(-2 - -5)). Let i be 0 + -2 - (-12)/8. Which is smaller: i or d?
i
Let y be -3 - (-2 - 5/25*5). Is 2/291 bigger than y?
True
Let o(i) = 3*i - 3. Let m(q) = -2*q + 2. Let x(j) = 10*m(j) + 6*o(j). Let p be x(-2). Are -3 and p nonequal?
True
Let f be ((-5)/(1 - -404))/(1/(-2)). Is f smaller than -1?
False
Let x = 35.5 - 39. Let z = x + 1.5. Which is smaller: -5 or z?
-5
Let h = 1628 - 1157. Is -1 not equal to h?
True
Suppose -5*i = -5*c + 75, 0*i = i - 3*c + 23. Suppose 2*h = -3*p - 43, -h + 564 - 583 = p. Is i not equal to h?
True
Let s be (-98)/(-100) - 48/160. Is 1 greater than s?
True
Suppose -2*f = 4*j + 36, 6*f - 3*f = 3*j - 18. Let u be (1 + f/6)*3. Let k be (-2 + 0 - u) + 4. Are k and 3 equal?
False
Let a be 1 + -1 + 0 + (-273)/1014. Is a not equal to 0?
True
Let i = -63 - -18. Let f = -12 - i. Let j = f - 265/8. Is 0 greater than or equal to j?
True
Let t = 5754068/949443 - -4/28771. Let r = 134/3 + -51. Let v = t + r. Which is bigger: v or 1?
1
Let i(p) = -p + 10. Let f be i(10). Let k be (-4)/(-10)*-1 - f. Which is bigger: k or -10/13?
k
Let u = 313 + -310.6. Which is bigger: u or -2?
u
Let b be 15 + (3 - 3) + -3. Let i be b/9*(-12)/40. Which is smaller: 1 or i?
i
Let y = 926/1145 - 2/229. Let n(o) = -2*o + 6. Let r be n(0). Suppose v = -v + 2*a - 2, 2*v = 4*a - r. Which is greater: v or y?
v
Let q(z) = z**2 - 361. Let n be q(-19). Is 9/188 bigger than n?
True
Let m(j) be the second derivative of j**4/12 + j**3/3 - 11*j**2/2 + 8*j. Suppose -4*p - 8 - 12 = 0. Let i be m(p). Which is greater: 16/3 or i?
16/3
Suppose s - 31 + 26 = 0. Let b(o) = -o**2 + 5*o. Let x be b(s). Which is greater: 2/63 or x?
2/63
Let m be 240/40 - (60 - 2). Let v(g) = -2*g**2 - 11*g + 7. Let a be v(-6). Which is smaller: m or a?
m
Let g be 11*((-402)/(-9))/(10/(-15)). Are -736 and g non-equal?
True
Suppose -i - 32 = -2*b + 1, 3*b + 4*i - 77 = 0. Let w = b - 77/4. Which is smaller: 1/3 or w?
w
Let j = 6 + -6. Suppose 0 = 4*y - y - 3*o, -4*o = -y. Suppose 2*u = -5*r - 10, y = u + 3*u + 3*r + 6. Is u greater than or equal to j?
True
Let s = -0.655 - -0.215. Is 3 bigger than s?
True
Let u = -688.1 - -688. Which is smaller: -33 or u?
-33
Suppose -y + 8 - 10 = 0, 0 = o - y + 8. Which is smaller: o or 7?
o
Let w = 13.1 + -12.9. Let a(q) = -q**3 - 9*q**2. Let p be a(-9). Suppose 16 + p = 4*f. Is w at least f?
False
Let v(n) = -n**2 + 4*n + 16. Let l be v(6). Suppose -2*y + 51 = -p + 6*p, l*y = -8. Is p not equal to -0.1?
True
Let k = -223 + 171. Are k and -54 unequal?
True
Let q = -1819 - -1819. Is q equal to 201?
False
Let r(w) = -w + 3. Let x be 0 + -2 - (1 - 4). Let y = 5 + x. Let t be r(y). Is -2 >= t?
True
Let f(a) = a**3 + 15*a**2 + 31*a - 60. Let s be f(-12). Let c be (-20)/42*198/158. Let x = c - -2/79. Which is bigger: s or x?
s
Suppose 0 = -q - 4*x + 16, -3 - 3 = 3*x. Which is bigger: 0 or q?
q
Suppose 4*j = 4*c - 8, 0 = -5*j + c + 13 - 3. Suppose 0 = j*v - 0*v - 36. Suppose 3*q = p + v, 3*p + 2*p + 16 = 4*q. Which is bigger: q or 0?
q
Suppose 0 = -x + 3*p - 11, 11 = -2*x + 4*p - 9. Which is greater: 2 or x?
2
Suppose -i + 41 = -o - 0*i, 2*o + i + 94 = 0. Let h = o - -69. Which is smaller: 23 or h?
23
Let m = 148 - 152. Which is bigger: -2 or m?
-2
Let g = 63 + -379/6. Let x = -6 + 8. Which is bigger: g or x?
x
Let d be 2/(-8) + 70/(-8). Let x(j) = 2 - 17*j**2 + 40*j - j**3 + 27 - 14 + 13. Let q be x(-19). Which is greater: q or d?
d
Let p be (2/6)/((-27)/(-81)). Does 1/119 = p?
False
Let t(y) = -29*y + 14. Let n be t(10). Which is greater: n or -275?
-275
Let d = 607 + -598. Which is smaller: d or -1/16?
-1/16
Let h = 63 - 65. Let g be (h/3*-3)/(-2)*4. Which is greater: g or -3?
-3
Let f(y) = 0 + 1 - y + 3*y. Let s be (-6 + 9 - 6)*2. Let x be f(s). Is x >= -12?
True
Let s be 21*(8/14)/((-45)/(-105)). Let b = s + -17. Which is smaller: b or 3?
3
Let d be (-86)/(-3) - 16/(-12). Suppose 2*o = -o + d. Let y = o - 21. Is y < -9?
True
Suppose -25 = -54*b + 49*b. Suppose b*k + 64 = 9. Suppose 0 = -4*n + 2 + 6, 4*n = -4*h - 36. Is k >= h?
True
Let a(b) = b**2 - 2*b - 2. Let o be a(2). Let m be ((-11)/((-132)/(-8)))/(4/6). Let f be (-1)/(m*2 + (-54)/(-18)). Which is bigger: o or f?
f
Let j be (-198)/(-225)*(-15)/150. Are j and 1 nonequal?
True
Let h = 0.8928 - -0.1072. Which is bigger: 178.6 or h?
178.6
Suppose -1 + 3 = v. Let o = 23 + -21. Suppose -v*c + 2*x + 6 = 0, -x = -o*c + 1 + 4. Which is smaller: -2/25 or c?
-2/25
Let l = -6 - -1. Let x(m) = m. Let q be x(l). Is -5 less than q?
False
Let h = 2498 + -2498. Which is greater: h or -174?
h
Let k be (920/(-16))/(2/4). Which is greater: -114 or k?
-114
Let n(x) = x**2 - x. Let v be n(0). Suppose 2*f + 1 = m, f = m - 2 - v. Suppose -4*j + 4*p - 20 = -4, -5*p = j - 26. Is j at least f?
True
Let q be (-243)/(-12)*80/6. Let d be q/105 - 1*4. Are 0 and d equal?
False
Suppose 0 = -g + 10*g - 153. Which is smaller: g or 7?
7
Suppose 0*h - 639 = -9*h. Is h >= 71?
True
Let b be 9270/1428 + (-6)/(-28). Which is smaller: 7 or b?
b
Let h be ((-55)/(-77) - 3)*1/(-38). Is h at least as big as -1?
True
Let d = 29 - 21. Suppose -4*p = d, a + 3*a - 38 = p. Which is smaller: a or 7?
7
Let r be 0/(-2 - 0 - -4). Let y(f) = -11 + 17*f**2 - 17*f**2 + 59*f**3 - 60*f**3. Let m be y(r). Is m >= -9?
False
Let y = 637/4 - 159. Let w = -2 + 3. Which is smaller: y or w?
y
Let f = 848.8 - 849. Are f and -134 nonequal?
True
Let q be (6 - 324/40)*5/18. Let v = 5/6 + q. Are v and 0.4 unequal?
True
Let l(i) = -2*i - 71. Let k be l(20). Which is smaller: -109 or k?
k
Suppose 5*t + 2*o = 652, -5 - 11 = 4*o. Let l be (-516)/t + 2*2. Which is bigger: 0 or l?
l
Let w(l) = l**2 - 5*l + 198. Let x be w(0). Which is smaller: x or 397/2?
x
Let l = 36 - 35. Let c be (l - 0)/30 - (-5)/(-30). Which is greater: 1 or c?
1
Let c = 172/5 - 1918/45. Let r = c + 1303/153. Is 1 greater than r?
True
Let h = -129.909 - -130. Let z = 0.391 - h. Which is greater: 9 or z?
9
Let q = 99 - 217. Is q >= -118?
True
Let u be (1/1)/(7/21). Let p be (-15)/(-10)*(-4)/u. Suppose -1 - 2 = 3*k. Which is smaller: p or k?
p
Let i be (120/64)/(-5) + 30/16. Is 1/2 <= i?
True
Suppose -3*q + 131 = v, v + v - 10 = 0. Let h be ((-4)/q)/(9/27). Which is greater: h or -12?
h
Suppose 0 = a - 2*m + 11, -5*m + 0*m = -15. Let s be 1/3 + (-28)/12. Let q be -17*s/6*-1. Which is bigger: a or q?
a
Let r be (124/20 - 3)/(3/15). Let s be r/105 + (-10)/(-75). Which is smaller: -5 or s?
-5
Let z(a) be the third derivative of a**4/24 - 3*a**3/2 - 3*a**2. Suppose -2*g + 22 = 2*h, -2*g = -2*h + 3*g - 6. Let p be z(h). Is -2 not equal to p?
False
Let d = -19 + 19.4. Let k = d - 0.8. Let p = 0.7 + k. Which is smaller: 1/4 or p?
1/4
Suppose 2*b + 19 - 17 = 0. Let n = 0.03 + 0.03. Is n greater than or equal to b?
True
Let