36 = 5*w - w, l = -t + 3*w. Let x be (-16)/t + 1176/310 + -4. Is 1 > x?
True
Let o be -9 + (-319)/(-116)*(-3620)/(-1175). Is o at most -2?
False
Let t = -45.9116 + 0.1116. Let q = t + 47.8. Let o be (-10)/(-6) + 2/3. Which is greater: q or o?
o
Suppose 4*p = -4*g - 36, 3*p - 7 + 30 = -2*g. Let f be (1 + g + -42)/11. Which is greater: -4 or f?
-4
Suppose -5*d - 4*k = 5608 + 100, 4*d + 4573 = -k. Which is bigger: d or -1143?
-1143
Let i = -281 - -275. Let x be (-28 - 1) + (-1 - i). Let m(h) = -6*h**2. Let b be m(-2). Does x = b?
True
Let u = -57 + 118. Let h = u + -141. Let f = h - -79.9. Are f and 6 equal?
False
Let w be (-5)/(-15) - (-110)/(-6). Let o = w + 5. Suppose 12*k = -6*k - 252. Is k at least as big as o?
False
Let k = 10775.1151 - 10775. Which is greater: k or 1?
1
Let c = 3873 - 7462. Which is bigger: c or -3590?
c
Let s(u) = -u**3 - 4*u**2 + 19. Let i be s(-8). Let l be i/(-2475) - (8/9 - 1). Which is bigger: l or 18/91?
18/91
Suppose a + 3*l = 0, -4*a = l - 17 - 5. Suppose 35 = 3*i + r + 3, 0 = -5*i + 2*r + 35. Is i bigger than a?
True
Let i = 3820 - 2599. Let k be 6 + -9 + i/405. Is k less than or equal to -1?
False
Let d be (-19 - -1) + (-23698 - -11). Is -23705 less than d?
False
Suppose 4*m = 4*g + 2748, 32*g - 682 = 33*g + 4*m. Is g at most -686?
True
Let b be ((-6)/(-60))/((-4)/(-10))*20. Let y be b*((-14)/(-49) - 1/(-7)). Let u(r) = -8*r - 6. Let n be u(-1). Which is bigger: y or n?
y
Let q be 2 - 2/(1 + 1). Suppose -x + 5*o - o + 1603 = 0, 4*x - 4*o - 6436 = 0. Let b be 3/(-2)*(x/(-513) - -3). Which is smaller: q or b?
b
Let l = -190 - -190. Suppose -5*y = -3*y - 4*g - 306, l = -3*y + 2*g + 451. Is y greater than 148?
True
Let o(n) = n**3 - 11*n**2 - 12*n - 6. Let d be o(12). Let b = -344 - -345. Let f be b/((-5)/5*1). Do d and f have the same value?
False
Let b = 229 - 226. Let o = -4.44 - -0.44. Is b > o?
True
Let r(l) = -l**3 - 11*l**2 - 18*l - 67. Let n be r(-13). Which is bigger: n or 478?
n
Let h = -15.2969 - -0.0169. Let s = -16 - h. Let z = s - -0.72. Are z and 2 non-equal?
True
Suppose 7 - 16 = -3*k - 9. Do 5/1359 and k have different values?
True
Let a = 0.5 - 0.5. Let m = a - -1. Let l = -8014 + 8014. Which is smaller: l or m?
l
Let a be (-8)/4 + -52*4/(-8). Let d be ((-42)/a - -2)*24/9. Are -5.6 and d nonequal?
True
Let l = 16 - 15.889. Let a = 334 + -335. Is a at least as big as l?
False
Suppose 4679 = k + 1924. Let f = k - 1133. Let h = f + -6455/4. Is 1/3 bigger than h?
False
Let i = -1029 - -1030. Is 1/64 >= i?
False
Let l(f) = -f**3 + 21*f**2 + 31*f + 5. Let x be l(22). Let k = x - 203. Is k greater than or equal to 12/31?
False
Let q be -1*(3 + -1) - (-7 + 6). Let o be (-44838)/(-324) - q/9. Are o and 140 nonequal?
True
Let r = 81.41 - 122.346. Let i = r - 0.064. Let o = i - -39. Which is smaller: o or -0.31?
o
Let v = -0.06389 + 2.96389. Which is smaller: -0.42 or v?
-0.42
Let z(g) = -19*g**2 - 7*g - 1. Let c be z(-1). Let p(h) = h**2 + 15*h + 22. Let f be p(c). Which is greater: f or -29/8?
-29/8
Let d = -397/2 - -203. Let s(f) = f**2 + 5*f + 17. Let i be s(-7). Suppose i*m - 35*m + 20 = 0. Is m greater than d?
True
Suppose 16*x = 199*x - 1464. Let o(d) = d**2 - 2*d + 1. Let q be o(1). Suppose q*m + 2*m - 14 = -v, 2*m - 22 = -2*v. Is v bigger than x?
False
Let z be (-2 + -3)*(-20)/(-25). Let o be z/3*78/(-4). Let d(s) = -s**2 - 46*s + 867. Let c be d(-60). Is c smaller than o?
False
Let p(f) = f**2 - 8*f + 32. Let n be p(10). Suppose 0 = n*a - 232 - 80. Is a at most 6?
True
Suppose 3*o = i + 7, -3*o + 28*i - 17 = 33*i. Is o at most 2/2467?
False
Let j(w) = 6*w**2 + 24*w - 1. Let d be j(-4). Let z be (-1 - (1 + 0))/2. Let b be (z/29)/((-2)/(-4)). Which is bigger: b or d?
b
Let m = -64 + 55.5. Let d = 5.77 + m. Are -1 and d unequal?
True
Let d(w) = w**3 + 3*w**2 - 2*w. Let f be d(-3). Let x be f/(-10)*(-5)/37. Let o be (-1 - 16/(-4))/(0 + -3). Is o at most as big as x?
True
Let k(f) be the second derivative of -f**5/20 + 7*f**4/12 + f**3/6 - 3*f**2 + 7*f. Let s be k(7). Suppose -9*w + 13*w + v = -4, 0 = 5*v + 20. Is s >= w?
True
Suppose -27*v - 132 = 3*o, -o + 19*v = 14*v - 26. Let k = 75074/7 - 10766. Let t = 860/21 + k. Are o and t nonequal?
True
Let f(b) = -133*b**2 + 21*b + 43. Let l be f(-2). Let p = l - -688. Which is greater: 158 or p?
158
Let c = 8 + -5. Suppose -31*a + 93*a - 124 = 0. Let j be (6/c)/(-192)*a. Which is bigger: j or -1?
j
Let u be (5*(6 - 3))/(1 - 0). Let c be (2013/6 + u/(-10))/(-2). Is -167 > c?
False
Let j be (-9)/(-15) - 6/(-15). Let x be (-139)/(-4)*(21 + -25). Let g = 135 + x. Is j less than g?
False
Let f = 3 + -11. Let n(c) = c**3 - 13*c**2 - 14*c + 28. Let m be n(14). Suppose -2*y + 23 = u - 7*y, -4*y - m = 4*u. Which is smaller: u or f?
f
Suppose 0 = j - 10. Let s(o) = 3*o**2 - 3*o - 10. Let b = 118 + -115. Let l be s(b). Is j > l?
True
Suppose -4*h = -12 + 108. Let s = 21 + h. Let t be 25/(-9) + s/(5/(-5)). Is 1 at most as big as t?
False
Let o = 33.45683 + -0.02683. Let n = -35 + o. Let x = n + 0.77. Which is smaller: x or 7?
x
Let u(a) = 4*a**3 + 261*a**2 + 52*a - 402. Let o be u(-65). Which is smaller: 439 or o?
439
Let h = 9/26 - 319/546. Which is smaller: 5 or h?
h
Let o be (-2)/16 - 40/147840*1257938. Which is smaller: o or -341?
-341
Let h = -651 + 341. Let l be h/(-15) - (0 + 1/(-3)). Suppose 0 = -5*q + 2*q. Is q at most as big as l?
True
Let l be (927/(-6) - 2)*(9 + (-12 - -5)). Which is greater: l or -319?
l
Let w be (133/38 + -1)*4/91. Which is greater: 3 or w?
3
Let r(l) = -l + 13. Let j be r(8). Suppose -70 = -j*g + 5*d, d + 38 = 2*g + g. Let t be 23/2 - 6/(-12). Is g at least t?
True
Let n = -1767.8 - -2099. Let m = n - 326. Is 2 at least m?
False
Let b = -83 - -80.65. Let n = b - -2.4. Let u be (2 - -2)*23/((-69)/(-6)). Which is smaller: u or n?
n
Let r(s) = 3*s**2 + 208*s + 285. Let m be r(-68). Is 60 less than m?
False
Let d be 24/(-1522)*(-2)/(-32). Which is smaller: d or -1?
-1
Suppose -11*y - 135708 = 32*y. Do -3155 and y have the same value?
False
Let k be (1 + 1)*(-3 - (-25)/5 - 405). Is k less than or equal to -807?
False
Let l = -15 - -28. Let t = 247 - 233. Is l at most as big as t?
True
Let a be 20/120 + 158/12. Let r = 61 + -52. Suppose 0 = -5*v + r*v - 52. Is a not equal to v?
True
Suppose -5*p = 5*h + 75, 0 = 4*p + 5*h - 9*h + 116. Which is greater: p or -335/16?
-335/16
Suppose d + 4*d - 4 = -2*r, 2*r = -4*d + 4. Suppose 25*m + 2 = 26*m. Let l be (10/(-25))/(m*3/(-30)). Does l = r?
True
Let d = 4.258 + -4.958. Let y = 0.3 - -0.7. Which is smaller: d or y?
d
Let j = -1871207/46 + 40681. Which is bigger: 3 or j?
3
Let m = 3588 - 3525. Is m smaller than 68?
True
Let g be ((-1106)/28 + -1)*20/285. Which is smaller: g or -2?
g
Let g(i) = 4*i + 37. Suppose 3*f - 6*u + 3*u + 78 = 0, -3*f - 2*u - 78 = 0. Let o be g(f). Let b = o - -67. Which is smaller: b or -1/3?
-1/3
Let f = 126 - 158. Let p = -31 - f. Is 0.15 < p?
True
Let u be (-2 + 6)/(((-25)/5)/(-20)). Let r = u + -15. Let h be (-15 - -16)*(-2 + 4 - r). Is h at least -2/201?
True
Suppose -236*j + 101507 = -175085. Is j greater than 4/5?
True
Let j be 120*(1 - 104/32). Let w = 284 + j. Which is smaller: w or 30?
w
Suppose -4*b - 1937 = -5*x + 3968, -2*x = -4*b - 2350. Is 2 < x?
True
Let l(j) = 11*j - 74. Let t be l(16). Let c = t + -264. Is -162 less than or equal to c?
True
Let j = 58 + 24. Suppose 0 = 9*y - 4*y - 12*y + 749. Let m = j - y. Do -27 and m have the same value?
False
Let c be -4*(-1 - (0/(-3))/2). Suppose c*s = u + 126, -2*s = -u + 3*s - 128. Let v = u + 2953/25. Which is bigger: v or 0?
v
Let q(n) = -7*n + 8 - 3*n**2 + 3*n**2 + 2*n + n**3 + 5*n**2. Let l be q(-6). Suppose -7 = 5*c + 8. Is c bigger than l?
False
Suppose 0 = 3*x + 5*d - 44, x = -3*x + d + 97. Let p = x - 57. Which is greater: -32 or p?
-32
Suppose -4*i + 6 = -4*h - 18, 0 = 2*i - 10. Let r = 4986 - 64850/13. Does r = h?
False
Let y = -2 - -6. Let f = 451/40 + -123/20. Which is bigger: y or f?
f
Let p(c) = 3*c - 6. Let r(i) = 7*i - 12. Let n(j) = 9*p(j) - 4*r(j). Let b be n(0). Let h be b/(-33) - (-6)/(-33). Does -3/23 = h?
False
Suppose 2*a + 3*d - 401 = 857, 4*a + 4*d - 2508 = 0. Suppose -2501 = -44*g + a. Which is greater: 68 or g?
g
Let k(f) = -2*f - 24. Let v be k(-13). Suppose 3*j = 2*r - 12, -3*r = 2*r + v