et m be l(7). Suppose -6*i - 57 - m = 0. Let z(j) = j**3 - 3*j**2 - 4*j + 1. Let u be z(3). Which is greater: u or i?
i
Suppose -m = -1 + 11. Let b be ((-52)/m)/(3/15). Suppose -g + 8 = -2*s, -4*s = -6*s + 16. Which is smaller: b or g?
g
Let b = -194333936/297 - -654322. Let y = -12/11 - b. Let c = y + 13/54. Is c at least as big as -1?
True
Suppose 34*p = 40*p - 24. Suppose p*c + 195 = -5*i, 8*c + 255 = 3*c - 4*i. Which is smaller: c or -3?
c
Suppose -w - w + 3*c = 2, -3*w + 2*c = 8. Let t be 2*w*(-6)/(-72). Is t > 115?
False
Let j be ((-5)/(-15))/((-3983)/(-6)). Let p = -645236/19915 - j. Is -31 <= p?
False
Let n = 0.49 - -1.61. Let u = 1.1 - n. Let f = -40 - -40.14. Which is greater: f or u?
f
Let n = 43.5877 + 0.4123. Which is bigger: 0.1 or n?
n
Let b = -489 + 985. Suppose -d + b = 3*n, 4*n = -n + 2*d + 812. Suppose 0 = -5*t + n - 9. Is 32 <= t?
False
Suppose 4*z = 21*z + 187. Let d be (-6594)/33 - 2*(-1)/z. Is -202 <= d?
True
Let x(n) = n**2 + 12*n - 178. Let w be x(0). Which is smaller: w or -181?
-181
Let f = -2709 - -2679. Which is smaller: f or -374/13?
f
Let g = -1704 + 591289/347. Suppose n - 5*m = 223 - 254, -26 = 2*n - 4*m. Which is smaller: n or g?
n
Suppose -9*y + 10*y - 5*b = 54, -4 = b. Suppose -26*n = -y*n + 1040. Are 386/3 and n unequal?
True
Let o(r) = -r**3 - r**2 + 2*r. Let u be o(-2). Suppose u = 3*x - w - 3*w - 50, 62 = 4*x - 3*w. Let h be x/77 - (-1502)/88. Do h and 17 have the same value?
False
Suppose -35*a = -30*a - 690. Suppose 72 = 6*m + a. Which is bigger: -0.02 or m?
-0.02
Let v(t) = -8*t + 5. Let u be v(5). Let i = u - -46. Let b = -26 + 38. Is i equal to b?
False
Suppose h = -5*i + 23, 3*i - 15 = -h - 0*i. Suppose 0 = -5*f + 2*r + 113, 5*r - 2*r + 75 = h*f. Let q = 16 - -6. Which is smaller: f or q?
f
Let a(j) = -4*j + j**3 - 1212 + 2*j**2 + 1218 - j**2 + 2*j**2. Let i be a(-4). Suppose 0 = -3*f - 3*g + i, 5*f + 0*f - 1 = -2*g. Are f and -1/24 equal?
False
Suppose 0 = 2*h + 2*k, k + 2 + 6 = -5*h. Let t be (-8)/24 - h/(-3). Is 11 smaller than t?
False
Let j be (-34)/(-357) + 1618/14. Is 0.2 less than j?
True
Let w(l) = l**3 + 4*l**2 + 5*l + 21. Let t be w(-4). Suppose -5*i + 16 = -i. Let y be t/(i - (-372)/(-92)). Which is bigger: -24 or y?
y
Let a(l) = 12*l**3 - 410*l**2 + 68*l - 19. Let y be a(34). Is y != -94/5?
True
Let o = -5034 - -5034.022. Which is smaller: -0.08 or o?
-0.08
Let b(o) = 86*o + 688. Let i be b(-8). Is i != 4/187?
True
Suppose -7*f = -2*f + 4*p - 32, 3*f = -3*p + 21. Suppose -f*q = 3*q - 3*q. Is q at least 37/4?
False
Suppose -29*x - 964 = 3*j - 24*x, 2*j + x = -631. Which is greater: -314 or j?
j
Let m = 1450 + -1667. Is -218 equal to m?
False
Let f be (-2)/4 + -2*3544807/42420. Let k = f + 2518/15. Is k < -1?
False
Let s = 1.9 - 1.64. Let n = s - 0.22. Let b = 1 - 0.8. Which is smaller: b or n?
n
Let c = -1160 - -800. Which is smaller: c or -4?
c
Suppose -5*n - 2*i = -14694, 0 = 21*n - 13*n + 5*i - 23514. Which is greater: n or 2939?
2939
Suppose 3*c = 54 - 48. Suppose 2*u - 22 = -4*f + 32, -6 = -c*u. Let t(v) = v**2 - 10*v + 2. Let j be t(11). Are j and f non-equal?
True
Let u be ((-144)/(-20) - 6)*85/2. Let g = -50 + u. Which is bigger: g or -3/25?
g
Let o be ((-12)/78 - 30/(-26)) + 25 + -52. Which is smaller: 22 or o?
o
Suppose -71*r + 87*r - 64 = 0. Is r equal to 0.369?
False
Let n(t) = 55*t + 750. Let r be n(-13). Is 279/8 greater than or equal to r?
False
Let a = 197 + -195.77. Let m = a - 1.43. Is -45 > m?
False
Let o(a) be the second derivative of a**5/20 - a**4/2 - 4*a**3/3 + 21*a**2/2 + a - 9. Let i be o(2). Which is smaller: -32/3 or i?
i
Let c = -19 + 12. Let m be 10134/(-126) + -1*(-4)/c. Let h = 83 + m. Which is smaller: 24/11 or h?
h
Let f = 21 - 65. Let x = -985 + 483. Let y = 502.1 + x. Which is bigger: f or y?
y
Suppose 4*o + 8 = -4*z, -5*z + o - 10 = 3*o. Let h be 1*3*((-426)/54 + 7). Which is smaller: h or z?
h
Let k be 5/(390/18)*2/(-6). Let r = 46.94 - 2.04. Let n = 45 - r. Which is smaller: k or n?
k
Let c = -5491 + 5491. Which is bigger: c or -1/30175?
c
Suppose 12 - 7 = -5*o + 3*q, 4*o - 4*q = -12. Suppose 0 = -g - 0*g + 4, o*g + 47 = -f. Which is smaller: f or -1?
f
Let p(h) = 59*h + 34. Let u be p(-1). Is -239/10 greater than or equal to u?
True
Let n(j) = -j**2 + 7*j - 10. Let x = -27 - -32. Let g be n(x). Which is bigger: -1/197 or g?
g
Suppose 0 = -4*q - 3*d - 4303, 0 = 5*q + 4*d - 6*d + 5350. Is q >= -1070?
False
Let y = -1637/3 + 545. Which is bigger: y or -47/13?
y
Let i = -61.94 - -20.06. Let d = 38.946 - -3.054. Let b = d + i. Is -3 <= b?
True
Let z = 139 + -211. Let i be z/88 - -1 - 261/44. Is i greater than or equal to -6?
True
Suppose 0 = 3*t - 4*s - 46, 2*t + 2*s - 32 = 4*s. Suppose 17 = 9*o - 19. Suppose -4*i - 5*c + 79 + 13 = 0, 0 = i + o*c - 34. Are i and t nonequal?
False
Suppose -5*m - 4 = -g, 2*m - 7*m - g = 6. Let k = -469040/89 + 5270. Which is greater: k or m?
k
Suppose -t + 4 = 0, -4*c - 3*t = 45 + 47. Let x = -22 - c. Let k = -2 + x. Which is smaller: k or 6?
k
Suppose 8 = 20*q - 21*q. Let i be ((-122)/q)/(1/4*1). Which is bigger: 63 or i?
63
Suppose 2011 + 3848 = 222*d + 1863. Which is greater: 31 or d?
31
Let m be 14 - 9 - 7 - (-17053)/(-49). Let w = -350 - m. Which is smaller: 0 or w?
0
Let s = -2998 - -2999. Let h be (-3 - (-36)/10) + (-306)/460. Which is bigger: s or h?
s
Let w be (-15 + 21)*10/6 - 14674. Which is smaller: -14665 or w?
-14665
Suppose -18*c = -36*c - 4032. Let b = c - -208. Is b smaller than -11?
True
Let t(m) = -3*m**3 - 9*m**2 - 8*m + 22. Let f be t(-5). Let l = f + -212. Let g(v) = 53*v**2 - v. Let x be g(-1). Is l greater than or equal to x?
False
Let g(a) = 2*a**3 - 23*a**2 - 10*a - 20. Suppose 5*n + 4*q - 48 = -0, 5*q = 5*n - 75. Let h be g(n). Is -5 at least h?
False
Let h be 3/303*(86 + -89). Are 0 and h unequal?
True
Let k = 15407/15 - 3062/3. Let z = -29/5 + k. Let i = 29672 - 148361/5. Is i equal to z?
False
Let h = 110 + -35. Let i = h - 75. Which is bigger: i or -42?
i
Let v = -77 + 119. Let x be (-4)/14 - (-684)/v. Let a be 18/x*(-4)/21. Which is smaller: a or -2?
-2
Let s = -3031/2 + 1493. Which is bigger: s or 0.044?
0.044
Let u(q) = -q**3 + 18*q**2 - 84*q + 31. Let o be u(8). Is o != 2/107?
True
Suppose -13*c + c + 108 = 0. Let m(z) = z**3 - 8*z**2 - 7*z - 16. Let v be m(c). Suppose -v*u = -u + 1. Is 1 less than or equal to u?
False
Let u = 303 + -300. Let t be (6 - 17/u)*3. Is t at most as big as 1/804?
False
Let z be 614/6 + 7/(-1)*40/(-70). Is z at most 107?
True
Suppose 3*s + 77*i - 1 = 78*i, i = -s + 3. Let d be 364/(-186) + 4 + -2. Which is bigger: s or d?
s
Suppose -6*i - 3 - 9 = 0. Let g be (-3791)/(-714) + i/12. Let q be (1 - 7/5)/((-1)/10). Which is smaller: g or q?
q
Let h be 579*(13 + (-152)/12). Which is smaller: 184 or h?
184
Let r = 4847/2 - 2493. Let z = r + 7365/106. Let v = 5 + -5.1. Which is smaller: v or z?
v
Let g = -3333 + 16979/5. Are g and 63 non-equal?
True
Let k = 48 - 36. Suppose k*i - 1122 = -90. Is i <= 87?
True
Let n = -3.2 + 4.81. Let f = n + 7.39. Is f bigger than -1/3?
True
Suppose 5*q + 67010 = 5*v, 14*q = -4*v + 16*q + 53594. Are 13395 and v equal?
True
Let p be -43 + (-58)/((-1160)/540). Suppose -4*w - z = -w + 34, 3*w - 3*z = -42. Is p greater than w?
False
Let m be -9 - -16 - -6 - 13. Is m less than or equal to 15/592?
True
Let l be 2/15 + (-706342)/390. Let c = l + 139444/77. Are c and 0.1 nonequal?
True
Let q be ((-184)/460)/((-4)/(-110)). Is q less than -414?
False
Let q be (-8)/(-16) + (-54)/(-12) - 33/(-2). Let v be (0 - 46)/(-2*1). Is v greater than or equal to q?
True
Let p = -114 + 120. Let z be 20/((24/20)/p). Let a = 91 - z. Which is smaller: -11 or a?
-11
Let k be (0 - (4 + 15)) + -4. Let u = 27 - k. Let q be 8/((-64)/(-376)) - -2. Is q bigger than u?
False
Let m = -137 - -167. Let o be (-17 - (-504)/m)/((-1)/(-414)). Is o bigger than -84?
True
Let j = -25 - 0. Suppose -625 = 130*i - 36*i + 2007. Which is bigger: j or i?
j
Suppose -p = 94 + 111. Let g = p - -209. Are g and 46/9 unequal?
True
Let n(w) = -w**3 - 108*w**2 - 100*w + 1021. Let c be n(-107). Let p be -2 + 2 - (0 + -181). Let s = p - c. Is -91 > s?
False
Let z = 10 - -23. Let v = 2.811 + -2.811. Which is smaller: v or z?
v
Let t(p) = -36*p + 828. Let f be t(23). Suppose 6*b - 2*b = 76. Is