(8 - 1) - (-5214)/m. Which is bigger: 33 or h?
h
Let u(g) = -2*g**2 - 6*g + 7. Let a be u(-4). Let s be a/(-8)*(-76)/6. Let z = s + 917/564. Is z not equal to 0?
True
Let j = -29236/3 - -9684. Which is greater: 2 or j?
2
Suppose -270 = x + 2*m - 163, -4*x = 3*m + 413. Is x not equal to -106?
True
Let j be (-2*(-39)/330)/((-34)/(-170)). Let y be 1/(12/(-8) + 1). Is j at least as big as y?
True
Let y(c) = 4*c - 50. Let t be y(13). Suppose -4*s = t*s + 5*s. Do s and -4/13 have the same value?
False
Let o(d) = d**2 + 4*d - 1. Let x be o(-5). Let h be 3 - 20/(-5) - x. Suppose -4*c + 159 = -5*y, 4*y + 51 = h*y - 4*c. Is -1/4 <= y?
False
Suppose -2*v - v = -7*v. Let u = -948622981 - -52643832328467/55495. Let z = u + 2/1009. Which is smaller: v or z?
z
Let d = 7 - 13. Let z(w) = 85 + 19 - 23 + 86 - 43*w. Let q be z(4). Are d and q non-equal?
True
Let b = 36.25 - 35.9. Let q = 0.05 + b. Is q > -28/5?
True
Let c = -1.77 - 305.23. Let g = -306.96 - c. Let x = -19.11 - -19. Which is bigger: x or g?
g
Let f(c) = -12*c**2 + 4*c**2 - 91*c + 36 + 20*c + 6*c**2. Let u be f(-36). Which is greater: -2/573 or u?
u
Let y = 2.06149 - 0.06149. Which is smaller: y or 2144?
y
Suppose 3*c = 0, -20*a + 22*a - 64 = -5*c. Suppose 5*u + 1 = 3*x - 343, 3*x = 4*u + 277. Let d = 100 + u. Is d less than a?
False
Let f(t) = -408117*t + 6. Let w be f(-26). Let n = 498828433/47 - w. Let m = 2323 - n. Is m at most 1?
True
Let f(n) be the third derivative of n**6/120 - 4*n**5/15 + 3*n**4/4 + 11*n**3/2 - 36*n**2 + n. Let o be f(14). Is o not equal to -1?
True
Let t = 3847 + -19371/5. Suppose -6*r = -3*r - 81. Let i = r + t. Is i >= 17?
False
Let k = 2.01485 + -0.01485. Which is bigger: k or -92.9?
k
Let j be -3 + (14 - (6 - 6)) + -713. Is j not equal to -4913/7?
True
Suppose 0 = -5*f + 3*t - 40 + 282, -t = -1. Suppose 4*v - 185 = 5*u, -5*v + 4*u + 171 = -f. Is -0.3 bigger than v?
False
Let f(v) = v**3 - 7*v**2 + 7*v - 4. Let u be f(6). Suppose u*w + 1 = -13. Suppose -232 = 7*y - 197. Which is smaller: w or y?
w
Let m = 464 - 2324/5. Suppose -8*h - 2 = -2. Which is smaller: m or h?
m
Let p = -18475 - -73899/4. Which is bigger: 0.5628 or p?
0.5628
Suppose -72*c + 34*c = -28*c - 47800. Which is smaller: c or 4779?
4779
Let i = 129.992 - 130. Let o = i + 1.008. Which is smaller: 2/7 or o?
2/7
Let i be 2/(-3) - 488/(-750). Let q be -7 + 13 + -6 - 7. Let u(w) = -w**2 - 14*w - 49. Let b be u(q). Is b bigger than i?
True
Let h = 12964096/2295 + -28244/5. Does h = -1?
False
Let o(j) = -2*j**3 + 14*j**2 - j + 1. Let k be o(7). Let u be 150/(((-351)/(-52))/(k/4)). Which is smaller: -34 or u?
-34
Let q(p) = p**2 - p - 19. Let s be q(6). Suppose 0 = k - 3*x - 19, -3*x + 3 = k - 4. Suppose -k = c - 3*y, y - s = -2*c - c. Is 5/3 at least as big as c?
False
Let q be 0 - (-4 + 1) - (-228664)/7272. Is q >= 35?
False
Let g(l) = l**3 + 25*l**2 - 28*l - 35. Let w be g(-26). Is w greater than or equal to 0.011?
True
Let s(v) = -2*v**3 - 72*v**2 + 25*v + 924. Let f be s(-36). Let b be 1 - 1*224/(-10). Which is smaller: f or b?
b
Let a be (-164)/328 + 1854/(-16) + 0. Which is smaller: -116 or a?
a
Let i be (-2)/(-5) + 3/(60/52). Let m be (-8)/12*(-42)/4 - i. Suppose -3*b + m*v + 27 = 5, -5*b = 4*v - 58. Is 11 less than b?
False
Let r(x) = -2*x**3 - 5*x**2 - 25*x - 80. Let d be r(-5). Let k(s) = 170*s**2 + s. Let o be k(1). Is o greater than d?
True
Let u(c) = -21146 + c**2 - 14*c + 10577 + 10579. Suppose -5*z + 60 = 3*b + 24, -2*z + 2*b + 24 = 0. Let a be u(z). Which is smaller: -34 or a?
a
Suppose -790*g + 743*g = -256855. Do 0.1 and g have the same value?
False
Let u be 36/12 + (244/(-117) - 1). Is u < 1?
True
Let q = 162.98 - 10.98. Which is smaller: q or 18?
18
Let a = -22 + 34. Let g be -3*(68/a + -4). Let s be ((0/g)/(-5))/3. Is 3/25 at least s?
True
Let a = 108 + -431/4. Which is smaller: 4167 or a?
a
Suppose 143*q - 5*t + 24 = 146*q, -3*q + 3*t + 24 = 0. Let a(g) = g**2 - 7*g + 8. Let j be a(6). Suppose 2*x + q = j. Is x not equal to -1?
True
Let v be ((-90)/(-27))/(3/81). Let h be v/(-60) - (-854)/564. Is h > 0?
True
Let s = -0.59 - -5.19. Let q = 9 + s. Let p = q + -14. Which is bigger: p or -2?
p
Let y be (-6)/4*((-130)/(-30) - 7). Suppose -2*f - 52 = 2*w, 0 = y*f + w - 2*w + 84. Which is smaller: f or -85/4?
f
Let b be 6/4*(-8)/642. Let k be -76 + 79 + 2 + -4. Which is smaller: b or k?
b
Let p = 22964 - 22834. Which is bigger: 1/94 or p?
p
Let s(v) = -v**3 - 33*v**2 - 35*v - 76. Let m be s(-32). Let l = m - 21. Which is bigger: l or 2/21?
2/21
Let l = 28.1992 - -0.3408. Let t = -9 - -37. Let w = l - t. Is w at most -2?
False
Let q = -67.81585 + -0.13915. Let t = q - -68. Is 2/5 < t?
False
Let m(b) = 2*b**2 - 11*b - 6. Let y be m(-4). Let d = y + -61. Let z be (-10)/9*d/(-24). Is -1 at most z?
True
Let i(w) = w**3 + 3*w**2 - 5*w - 4. Let c be i(-4). Suppose 0 = 5*p + 10, c = -4*o + 2*p - 1 + 5. Suppose 12 = -3*b - 3*k - 18, -2*b = k + 9. Is b <= o?
False
Let s = 6130.358 + -6131. Which is bigger: s or -3?
s
Let w be (-267396)/28 + (-10)/70. Are -9551 and w unequal?
True
Let r(p) = 272*p**3 + 7*p**2 + 33*p + 56. Let v be r(-2). Which is bigger: v or -2160?
v
Suppose 844*k - 842*k - 94 = 0. Suppose 0 = 46*r - k*r + 343. Is 343 smaller than r?
False
Let s = -20285.965 - -20228. Let i = s + -0.035. Let c = i - -58.04. Which is smaller: 1/4 or c?
c
Let y = -882 + 18518/21. Is y at least 6?
False
Let m = -29.49 + 4.79. Let k = -26.7 - m. Let x = 0.09 + -4.09. Is k greater than or equal to x?
True
Let b be 2/6*-2*-9. Suppose -n - g + 6*g + 47 = 0, -87 = -2*n + 3*g. Let r(f) = 2*f**2 - 82*f - 76. Let t be r(n). Is b at least t?
False
Let z be (-128)/(-583) - ((-4)/(-22) + 0). Let y be (-52)/(-20) - 3/5. Let s be y/12 - 4/24. Which is bigger: z or s?
z
Let w be -4 - (-65)/(-25) - 3/(-5). Let b be 115 - -1 - (-4 - (w + 1)). Suppose -5*o + 10*o - b = 0. Is 22 at least o?
False
Let v be ((-2)/4 + -2)/((-1)/2). Suppose 4*d + 16 = 4*c, 3*d + v*c = d + 27. Let h be d - 10*(2 - 0)/4. Is -7 greater than h?
False
Let l be 128/352 + (-2)/(-12)*-2. Are l and -1/148 unequal?
True
Let l(d) = -d**2 - 9*d - 8. Let b be l(-8). Suppose -w + b*w + 2 = 0. Let v be 110/24 + ((-8)/(-4) - 6). Which is smaller: v or w?
v
Let o = -8.674 - -8.774. Let x = 2.03 + -0.03. Let f = 2.2 - x. Is f at least as big as o?
True
Let g(u) = 4*u**2 + u + 20. Let a be g(0). Is 210/11 < a?
True
Let r = -663 - -1069. Let f = r - -14. Suppose -4*m + 18*m - f = 0. Which is greater: m or 29?
m
Let v(h) = -9*h + 68. Let m be v(6). Suppose 0 = 9*f - m*f - 485. Does f = -96?
False
Suppose -260 = 3*b - 272, -3*j + 2*b = -34. Let m be (2 - -2)*(-5 - 2). Let q be (j/m)/((-2)/20). Which is smaller: q or -6?
-6
Let h be 4/45*(-42)/(2688/(-160)). Is h > 799?
False
Let n = -3/10604039 + 35788635309/13021759892. Let j = 1/614 + n. Are j and 4 unequal?
True
Let z be 99*(0 + (-28)/(-21)). Let d = -231 + z. Is d >= -99?
True
Let p(t) = -3*t - 3. Let u be p(-1). Let l be ((-8)/(-12))/((-6)/(-5715)). Let d = 83183/131 - l. Which is bigger: d or u?
u
Let u be 12 + -5037 + 4 - -4. Which is bigger: -20067/4 or u?
-20067/4
Suppose 5*m = 2967 + 3733. Let h be 79893/(-60) + -2 + 42/15. Let u = m + h. Are 9 and u non-equal?
True
Let i be 14/(-14) - (-426)/376. Is -1 at least i?
False
Let j = -2289 - -2290.5. Is j at least -0.02?
True
Suppose -8*v + 7*v = 31*v. Let g be ((-5)/20)/(3/((-36)/51)). Which is bigger: g or v?
g
Let o = -4291 - -4354. Is o != 62?
True
Let j be ((-2)/(-10) + -1)/(42/2100). Do j and -3.3 have different values?
True
Let b = 114 - 276. Let p = b + 166. Which is smaller: p or -9?
-9
Let q(z) = -z**3 - 11*z**2 + 11*z - 8. Let p be q(-12). Suppose -16 = -3*g - 4*l + 1, -20 = -p*l. Let x = -1709/70 - -121/5. Is x not equal to g?
True
Let a be 5/1 + (22781858/5445 - -5). Let f = a + -4194. Is f bigger than -1?
True
Let k = 2152 + -6982. Is -0.1 at most as big as k?
False
Let u be ((-142)/(-8))/((-268)/(-114704)). Is 7596 != u?
True
Let b(w) = -4*w**2 - 36*w + 153. Let p(n) = 5*n**2 + 35*n - 153. Let i(t) = 4*b(t) + 3*p(t). Let x be i(-44). Which is smaller: -61 or x?
x
Let y(s) be the first derivative of 2*s**3/3 + 15*s**2 - 38*s - 34. Let u be y(-18). Which is smaller: u or 69?
69
Suppose -14*u + 92 = 32*u. Let v = -0.28 - -0.28. Let w = v + -8. W