85 at most as big as q?
False
Let o = 10371497/769 + -13487. Is 0 less than o?
False
Let f = 5 - 5.08. Let w = -31.091 + 29.791. Which is bigger: w or f?
f
Let j = -17799105/182 - -97797. Which is greater: j or -1?
j
Let d be 554/(-152) - -5*46/(-2185). Is 0.03 greater than or equal to d?
True
Let n be (-1*7605/(-5) + 12)*5. Which is smaller: 7664 or n?
7664
Let t be (-1)/((10/4)/5). Let c = -26 - t. Let x(m) = 3*m**2 - 39*m + 103. Let b be x(7). Is c at least as big as b?
False
Let y be (160/(-28))/(5/(-33 - 2)). Suppose -5*u = -5*m + 320, u + 5*m + y = -48. Which is bigger: u or -67?
-67
Let g = -6.147426 + 0.147426. Let q = 2 + 0.6. Which is smaller: q or g?
g
Suppose -7*b + 34 = 41. Let s be (b/12)/(1/((-9)/(-15))). Let u = 0 + 0. Which is bigger: s or u?
u
Let t = -694 - -694.06. Are t and -39/2 equal?
False
Suppose 3*o = 23*d - 18*d + 5, 4*o = 5*d + 10. Let s(i) = 3*i**2 - 14*i - 6. Let h be s(o). Which is smaller: -20/17 or h?
-20/17
Let c(i) = -i**3 - i**2 + 4*i + 7. Let d be c(-2). Suppose 13 = d*f - 5*y, -f - 1 = -5*y + 2*y. Suppose -106 = -f*a + 4. Is 9 less than a?
True
Let y(n) = -5*n - 106. Let o be y(-22). Suppose -5*w + 12 = 2*q, -o*w + 24 = -3*q + q. Let d = -4/11 - 149/44. Is d not equal to q?
True
Let n = 269 + 1798. Which is bigger: -0.2 or n?
n
Let q(f) = -67*f + 4*f**2 - 38 - f**3 - 31 + 52 - 30*f**2. Let a be q(-24). Which is smaller: a or 440?
a
Let w = -3566 + 3624. Is w bigger than 61?
False
Suppose 8*o = 5*o - 4*x + 382, -7*o + 878 = -4*x. Is 120 greater than or equal to o?
False
Suppose -4*k - 11 = 7*k. Let b be k + (-4 - 20*3). Suppose 3*r + 43 + 149 = 0. Is b not equal to r?
True
Let t be 6/(-4)*160/(-12). Let w be (-1218)/(-40) + 2*(-2)/t. Let r = w + -3275/108. Which is smaller: -2 or r?
-2
Let a be (-126)/567 + 44/(-126) + (-610)/(-14). Is a equal to 47?
False
Let y = 12 + -56. Let b = y - -95. Let c = b + -51.1. Do -20 and c have the same value?
False
Let c(t) = -4*t - 137. Let v be c(-36). Let a = 35 - v. Is 1 <= a?
True
Let j = -14290/9 - -71432/45. Is -37.1 < j?
True
Suppose l + 3*g - 23 = -8, 4*l + 2*g = 10. Suppose l = -7*r - 289 + 310. Which is smaller: r or 12?
r
Let g(w) = -20*w - 5. Let n be g(-8). Suppose -535 - 124 = -13*d + 1343. Does d = n?
False
Suppose 0 = -2*c + 2*r - 3620, 5*c + 283*r = 278*r - 9020. Is -12646/7 less than c?
False
Let k(m) = -2*m - 27. Let l be k(-13). Let x = 7.7 + -3. Let y = x - 2.5. Which is smaller: l or y?
l
Let m be (-132)/(-198) + 1780/(-18). Is m < -99?
False
Let y(h) = -575*h**3 - 82*h**2 - 20*h. Let n be y(3). Is -16324 at most as big as n?
True
Suppose 0 = -3*y + 3*r + 2067, 5*y - 1532 - 1853 = -5*r. Which is smaller: 677 or y?
677
Let b be (415/249)/((-5)/9). Let s = -1406 - -8411/6. Which is smaller: s or b?
s
Suppose -28*v + 24*v + 8 = 0. Let j be (4/(-12))/(v/(-38)). Is j < -1/4?
False
Suppose a + 0*a = 0. Let q = 104665 + -104469. Is a <= q?
True
Let w be 275/(-99) - (2 + -5). Let o = -11/192 + -7/64. Which is smaller: w or o?
o
Suppose -13*m + 390 = 2*m. Suppose 5*q + 2*t + m = 6*t, 0 = 3*q - 2*t + 14. Which is greater: q or -0.07?
-0.07
Let c = -7 + 15. Suppose -c*d + 3*d - 4*k - 7 = 0, -5*d = k - 2. Suppose 0 = 2*o + 5*f - 24, -3*o = -12*f + 17*f - 26. Which is greater: d or o?
o
Let b be 1 + (-54968)/10*(-12)/24. Let w = -2694 + b. Is 54 > w?
False
Let g = 139400.87 - 140819. Let c = g - -1428. Let y = c - -0.13. Which is smaller: y or 2/5?
2/5
Let k be -33*35 + 4/12*-3. Let q = -292470/253 - k. Is 1 less than q?
False
Let a(g) = -3*g**2 - 50*g - 3. Let n be a(-17). Let h(s) = 2*s**2 + 44*s + 84. Let z be h(n). Is z not equal to 56/15?
True
Let y be ((-20)/7785)/(62/(-279)). Let h(v) = -v**3 - 7*v**2 - v - 8. Let r be h(-7). Which is smaller: y or r?
r
Let f = 23.2 - 117.2. Let g = f - -76.87. Let q = 0.87 - g. Which is smaller: 2 or q?
2
Let z = 176 - -25. Let u = -204 + z. Which is smaller: u or -1?
u
Let g be 6/111*(-18)/12. Let p = g + -28/111. Is 0 less than or equal to p?
False
Suppose -2*f = 3*s + 2*s - 28, -3*f = 2*s - 31. Let u(x) = -18*x + 162. Let c be u(f). Which is bigger: -2/189 or c?
c
Suppose 3*y + 4*k = -0*k - 121, 0 = -2*y + 5*k - 73. Suppose -14*r + 4*s = -9*r + 73, 3*r + 5*s + 66 = 0. Which is bigger: r or y?
r
Suppose -98 - 92 = -o. Let i = o - 197. Is -23 smaller than i?
True
Let o be (6132/33 - (-4 - 5)) + (-15)/(-3). Is o at most 200?
True
Suppose -q = -y + q - 17, 4*y + 4*q = -104. Let u be 4/14 + (y/7 - -1). Let f be u/6 - (2/12 - 0). Which is smaller: -1 or f?
-1
Let l(t) = 533*t - 1625. Let p be l(3). Is p < -432/17?
True
Let s = -88 - -92. Let y be 4 + -1*(2 - -3)/5. Which is greater: s or y?
s
Let c(f) = -2*f**2 + 7*f - 2. Suppose -6 - 16 = -4*j + n, -11 = -3*j - 2*n. Suppose 0 = -j*k - 6 + 21. Let i be c(k). Is -1/12 equal to i?
False
Suppose 57*t + 2*h = 47*t + 2, -4*h + 21 = 3*t. Let k = 830 - -503. Let x = k + -65319/49. Which is smaller: t or x?
t
Let v = -59.9705 + -1.3395. Let h = 61.2 + v. Which is greater: 7/11 or h?
7/11
Suppose 2*m = z + 1, -4*m - 11 = 5*z - 6. Let u = -19 + m. Which is smaller: u or -22?
-22
Suppose -13 = -h - 6. Suppose -6 = -3*m + i, h*m - 6 = 4*m - 3*i. Suppose m*g + 13 = 3*g. Is 3 != g?
True
Let a = -5637.89 - -5663. Let v = a - -0.89. Which is bigger: v or 0?
v
Let j(b) = b**3 + 5*b**2 + 9*b + 9. Let d be j(-3). Suppose -4*r + 88 = -c - 0*c, d = -2*r - 3*c + 58. Let s = -2 - -2. Is s smaller than r?
True
Let p be 550/20*16/5. Suppose 9*l - p = -16. Suppose 6*t + 2 = l. Which is greater: 7/13 or t?
t
Let v be -1*((-7)/((-42)/4) - -2). Let w(f) = -47*f + 985. Let t be w(21). Is t smaller than v?
False
Suppose -83 = -3*u + 4*f, -3*u - u + 89 = -f. Let a be 1/(((-12)/u)/4)*1. Let l(j) = 3*j + 22. Let b be l(-11). Is b less than a?
True
Let w = -3415 + 3415.39. Which is smaller: 288 or w?
w
Let n = 38 + -38. Let y = -23 + n. Let x = 22.8 + y. Are x and -2/7 non-equal?
True
Let f = -36193 + 36279.092. Let d = 86 - f. Let k = d + 4.692. Is k < -2?
False
Let l(n) = 5*n**2 - 9*n + 10. Let v be l(1). Let f(u) = -8*u + 48. Let r be f(v). Which is smaller: r or -20/39?
-20/39
Let g be 120/(-61) + (0 - -2). Let b = 138 - 134. Let j(r) = 2*r**2 - 9*r + 3. Let x be j(b). Is g > x?
True
Suppose -655 = -34*q + 39*q. Is q >= 20?
False
Let o(v) = -511*v - 6973. Let k be o(-14). Which is greater: k or -1?
k
Let x = 4462 + -4463. Which is greater: x or -21/17?
x
Let r = -63.762 - -64. Let f = r - 1.238. Is 43 bigger than f?
True
Let l(h) = 223*h + 903. Let y be l(-4). Which is smaller: y or 137/11?
y
Let a be 2 + -1*(-1 + 2). Let k = 44194/15 - 2946. Which is greater: k or a?
a
Let u be (-10)/(-35) - (108/(-14) - -7). Is u greater than -63/200?
True
Suppose 0*p + 6 = p. Let f = -683 - -512. Let a be p/15 + f/15. Is a > -11?
False
Let a = -32 - -34. Let d be (-36)/(-48)*-2*a. Let t be 5*(-5)/(-50) - 62/4. Is t greater than d?
False
Let c(v) = v**2 + 77*v + 48. Let n be c(-74). Which is greater: n or -864/5?
-864/5
Suppose 5*g - 5*u = 12 - 32, 0 = -3*u + 9. Which is greater: g or 3/1028?
3/1028
Let u = 1 - -2. Suppose 2*q + 5*m - 215 = 0, 6*q - u*q + m = 316. Let k be (-77)/q + (-2)/(-6). Which is smaller: 23 or k?
k
Suppose -7*w - 76 = -111. Suppose g + w*m - 213 = 0, 3*m + 350 = 5*g - 687. Is g bigger than 209?
False
Let h be 6494/85*1645/14. Are h and 8977 unequal?
False
Let l be ((-12)/8)/(3/(-2)). Let v be 0 + l - (-2 - (-1 - 2)). Suppose 6*m + 12 + 36 = v. Is -48/7 >= m?
True
Let x be -8*(-2)/(-4) + 12. Let d(j) = j**2 - 3*j - 39. Let s be d(x). Which is smaller: -8 or s?
-8
Let m = 21.56 + 0.86. Let x = 0.58 + m. Let a = x - 15. Which is smaller: 0 or a?
0
Suppose -2*q = 4*b + 462 + 968, -5*b - 5*q - 1795 = 0. Is b != -356?
False
Let l = -980 - -3921/4. Let x be 30/(-12)*(-12)/5. Is x smaller than l?
False
Let q be 1/5*38/4. Suppose -4*v - 3*t - 22 = 0, 0 = 5*v - 4*t - t - 60. Is q less than or equal to v?
True
Let j be (-8 - 0)/(5 + 927/18). Let f = 3535/226 + j. Which is smaller: 15 or f?
15
Let q(c) = -c**2 - 28*c - 64. Let p be q(-15). Let x = 131 - p. Are -5/212 and x equal?
False
Let w = 33 + -32. Let l(h) = -h**3 - 24*h + w + 6*h**2 - 2*h**2 + 21*h. Let t be l(3). Is t smaller than 1/24?
False
Let m be (-4 + 3)*2 + (17 - -1). Suppose -m*q + 21*q = 120. Suppose 5*g + 0*g - 130 = 0. Is g at most as 