0 - 4 - (3 - (-8 + x)). Which is greater: o or 8?
8
Let t be ((-366)/(-8))/((-30)/(-200)). Let f(g) = 0*g - 7*g - g**3 - 13*g - 323*g**2 + t*g**2. Let x be f(-17). Is -0.1 bigger than x?
False
Let b = 208.5 + -0.5. Let g = -208.1 + b. Which is smaller: -63/4 or g?
-63/4
Suppose -2*j + 6*j + k - 35 = 0, -21 = -2*j + 3*k. Let d = 6042 - 66350/11. Which is smaller: d or j?
j
Let p(s) = -s - 5. Let m be p(-8). Let h = 33 - 13. Suppose -m*d + 4*f - 31 = -2, h = -5*d + f. Are -9/4 and d non-equal?
True
Let m = -14 - -23. Suppose 2*n - 36 = 4. Suppose -3*c + 3*q + q + 30 = 0, 0 = -2*c + 3*q + n. Which is smaller: m or c?
m
Let m(j) = -2*j**2 + 14*j + 2. Let h be (8/(-10))/((-2)/60). Suppose -h = -3*n - 3. Let d be m(n). Is d <= 1?
False
Let m(l) = l**3 - 3*l**2 - 23*l + 149. Let c be m(8). Are 284 and c unequal?
True
Let o(i) = -i**3 + 4*i**2 - 9*i - 2. Let c = 120 + -117. Let h be o(c). Let u be 3/(-12) - 345/h. Are 15 and u nonequal?
True
Suppose 162 = -3*z + 2*s, 3*z - 5*s + 97 = z. Let v be ((-2988)/81)/((-200)/(-300)). Which is greater: z or v?
v
Let v = -33 - -38. Suppose -5*n - u = -15, v*u - 3 - 12 = 5*n. Suppose -3 = n*j + 3*b, -6*j + 2*j + b = -29. Which is greater: j or 43/6?
43/6
Suppose -6*s + 3*r = -741, -5*s + 896 = -4*r + 283. Is 1366/11 != s?
True
Suppose 488 = -2*j - 4*o, -16 = -54*o + 58*o. Let y be j/68 - 1*(1 - 5). Which is smaller: y or 0?
0
Suppose -2*l + 44 = 5*r, -5*r = l - 3*r - 23. Suppose 0 = -18*a + l*a. Which is bigger: 9/10 or a?
9/10
Let x = -31.237 - -2.943. Let i = x - -0.394. Which is greater: 0 or i?
0
Let g = 93 + -94. Let c be -4 - (g + -2 + (-319)/99). Is c smaller than 3?
True
Let v = -531 - -523. Is -704 at least as big as v?
False
Let l = 29891 - 28369. Is 1518 greater than l?
False
Suppose 3*s + 45 = -2*f, -2*f - 21 = -0*s - 5*s. Let x = f + 23. Suppose -5*i + 5 = -5. Does i = x?
False
Let l = 526 - 5333. Which is greater: l or -4808?
l
Let u be (-18)/(-39)*(-1)/(-3). Let y be 6/(-1)*(-1 + -6)/14. Let l be (y - 1 - 0)*(-7)/(-49). Is u greater than or equal to l?
False
Suppose 9*c - 4*c + 5 = 0. Let b be 12/(-44) + 511/2035. Which is bigger: c or b?
b
Let y be 28/(-30) + 2/(-5). Let g(l) = l**3 - 4*l**2 + 1. Let s be g(4). Let f = s - 1. Is f <= y?
False
Let a be (-4)/(-12) - 68/258. Suppose -5*q + 4*p = -8, 7 = 4*q - 2*p + 3. Suppose -20 = -4*b - 5*h, 8 + q = 2*b + 2*h. Which is smaller: a or b?
b
Suppose -18*i + 103 = 13. Let c be 30 - i/10*(-16)/(-2). Let l be (2 - (5 + -2))/((-6)/c). Is 2/9 at most as big as l?
True
Let g = -2 - -9. Let x = -343 + 582. Let d be 2*((-10)/(-35) + x/70). Is d at most g?
False
Let l(i) = -i**3 + 23*i**2 + 56*i - 151. Let o be l(25). Which is bigger: -9/2375 or o?
-9/2375
Let j(x) = -x**3 - 53*x**2 - 164*x - 697. Let z be j(-50). Is -10 >= z?
False
Suppose -3*i - i = -i. Suppose a - 105 + 106 = i. Let n be 3 + ((-9)/36 - (-124)/(-40)). Is n at least a?
True
Let d = 5 + 55. Let u = d - 60.35. Let n = u + -0.15. Is n greater than or equal to -6?
True
Let m = 3819 + -57286/15. Does m = 0.0911?
False
Let r be 0 - -1 - 68/8*-4. Suppose 77 = 34*x - 25. Which is smaller: x or r?
x
Let o = 0.09 + -44.09. Let n = o + 38. Let k = n - -7. Which is smaller: k or -4?
-4
Suppose 3*d - 27 = 3*u, -3*d + u = -27 + 2. Let o be 3443/4 + 3*(-2)/d. Let v = -12045/14 + o. Is 0 > v?
True
Suppose -3 = -3*p + 15. Let d(c) be the first derivative of -c**4/4 + 7*c**3/3 - 9*c**2/2 + 21*c + 2432. Let w be d(p). Is w smaller than 13?
True
Suppose -3*k = -6*k - 9, -4*p + 5*k = 25. Let o(d) = d**3 + 10*d**2 - 2*d - 21. Let v be o(p). Do v and 7 have the same value?
False
Let i = 699.3 + -762. Let z = 25.3 + i. Let t = z - -11.4. Is t > 0.1?
False
Let z(n) = 6*n**2 + 19*n + 72. Let q(m) = -12*m**2 - 36*m - 145. Let s(a) = 6*q(a) + 13*z(a). Let j be s(-11). Is 452 less than j?
False
Let o = 363.36 - 363.5. Let c = 0.2 - 0.1. Let u = -0.1 + c. Is o smaller than u?
True
Let z(x) = -1 + x**3 + 4 + 3 - x - 7*x**2 + 0*x. Let p be z(7). Let b = 1/370 - 2243/8510. Is b < p?
False
Let q = -4.644 + 11.52. Let y = 0.124 + q. Is 1/5 >= y?
False
Let o = -92 - -89. Let v(p) = -p**2 - 3*p + 4. Let l be v(o). Suppose -l*n + 2 + 26 = 0. Which is bigger: n or 12?
12
Let o be ((-704)/(-6072))/((-4)/(-30)). Is o greater than -2/5?
True
Let k(m) = m**2 - 19*m - 9. Let u be k(11). Suppose -5*c + h - 84 = 415, 0 = 5*c + h + 491. Is c < u?
True
Let v = 0.9 - -4.1. Let c = 487099/22 - 22141. Is v greater than or equal to c?
True
Suppose 27*m - 24 = 31*m. Let l be m/4*(-2)/(-3). Let q be (l/(-174))/((-4)/16). Is q > -1?
True
Let h = -41 - -41. Suppose h = -7*j + 4*j + 12. Let t be -31*j/368 + (-1)/(-4). Which is smaller: 3 or t?
t
Let o(i) = 11*i + 67. Suppose x = 4*b - 6, -3*b + 6*b = -x - 6. Let m be o(x). Let r be 1 + 0 + (-302)/304. Which is greater: m or r?
m
Let g be 2/(-24)*2/8. Let s(m) = m**3 - 3*m**2 + 4*m. Let b be s(3). Let n be (-16)/b - (-23)/69. Which is smaller: g or n?
n
Let f(u) = 12*u**2 + 51*u - 130. Let q be f(-10). Are 559 and q unequal?
True
Let b = 105 - 41. Let c = b - 64. Is c less than or equal to 2/95?
True
Let r(f) = -187*f**3 - f**2 + f - 1. Let h be r(1). Let j be (6/(3*-8))/(5/(-140))*-27. Is j > h?
False
Let b(s) = -s**2 + 573*s + 21923. Let j be b(-36). Let c = 41 - 27. Let w be 12*(-4)/c + 2. Is j smaller than w?
False
Suppose 2*t = x + x + 380, 2*t = -3*x - 570. Let k = x - -169. Is k less than 3?
True
Suppose -4*y = -4*j - 12, -5*y = -y + 5*j - 30. Suppose 2*s = -3*l + y, -l - 4 = -s - 4*l. Which is greater: s or 4/3?
4/3
Let k(f) = -1167*f - 7508. Let x be k(-7). Is x equal to 668?
False
Let u = 221 - 116. Suppose -5*a = -10*a + u. Suppose -a = 3*f + 12. Are f and -13 unequal?
True
Let g be 10*1/(-2) + 15. Let y be 12/3105*111 - 4/g. Suppose -2*q - n = 4*n + 17, 4 = 2*q - 2*n. Is q at most as big as y?
True
Let c = 20 - 125. Let w be (18/c)/((-8)/(-10)). Let l(s) = -s**3 + s**2 + 9*s. Let o be l(0). Which is smaller: w or o?
w
Let b = -21 + 25. Let s(o) = o**2 - 4*o - 5. Let x be s(b). Suppose 0 = -7*d + 784 - 812. Is x != d?
True
Let k = 357088257 - 46778230370/131. Let t = k - 2529. Let m = 141/655 + t. Which is greater: m or -14?
m
Suppose 5*m = -2*g, -2*m = m + g. Let z be (-18)/(-2) - (-1567101)/2109. Let v = z - 752. Which is bigger: m or v?
v
Let o = -8404 - -8401. Which is greater: o or 403?
403
Let f(i) = i**2 + 17*i - 7. Let j be f(-15). Let r(m) = -10*m**2 + 4*m + 3. Let q be r(-2). Let x = j - q. Which is bigger: x or 9?
9
Let n = 4259 + -29815/7. Is n smaller than -6334?
False
Let d = -33.981 + -12.019. Which is greater: d or 35?
35
Suppose 0 = -3364*j + 3367*j + 1005. Are -334 and j equal?
False
Let y(n) = 3 - n**3 + 11*n**2 + 18*n - 64*n + 20*n + 25*n. Let j be y(7). Are j and 192 equal?
True
Let b = -7014 + 21041/3. Which is smaller: -111 or b?
-111
Let z be 48/(-20) - -3 - (-3281)/(-85). Let k = -25 + 13. Let m = -52 - k. Which is smaller: m or z?
m
Let z be 1126225/(-250) - 24/15. Which is bigger: z or -4508?
z
Suppose -35*q + 247153 = -445777. Let b = q - 16095772/813. Is b not equal to 0?
True
Suppose 5*x = 161 + 84. Let h = -43 + x. Let s(v) = -v**2 + 4*v + 13. Let n be s(h). Is -2/69 greater than n?
False
Suppose 0 + 36 = 3*z. Suppose 2*s - 28 = -5*l + 38, 3*s = -4*l + 50. Suppose -4*w + l*w - 80 = 0. Is z greater than w?
True
Let t be -3 + (2 - -6 - 3). Let u be t + 1 + 63/(-18). Let s = 128 + -119. Are s and u equal?
False
Let k = 88 - 2463/28. Suppose 5*c = -2*r - 238, 6*r + c + 658 = -0*c. Let v = -108 - r. Which is bigger: v or k?
v
Let j = -3560 - -3559.95. Is j less than or equal to 0.37?
True
Let v(w) = 5*w**2 - 19*w - 204. Let b be v(-15). Which is smaller: 1203 or b?
1203
Let q be 2 + (-3012)/(((-8)/(-64))/(4/(-12))). Are q and 8034 equal?
True
Suppose 80*n - 1981 = 2619 + 3000. Is 959/10 less than or equal to n?
False
Let i(p) be the first derivative of -2*p**3/3 - 4*p**2 - 10*p + 2. Let t(o) = -2*o**2 + 17*o + 7. Let x be t(9). Let u be i(x). Is -7 less than or equal to u?
True
Let n = -5190.96351 + 5191. Which is smaller: n or 1?
n
Let m(u) = -u**2 - 11*u + 24. Let n be m(11). Let r = n - -217. Is r <= -5/14?
True
Let m = 12408228759/3451774715 + -29/1821517. Let a = -2/379 - m. Which is smaller: a or -3?
a
Let w = -13126/104293 + -4/2219. Let b(z) = z**3 - 