e
Let n(y) = -3*y**3 + 14*y**2 + 2*y - 2. Let f(l) = 2*l**3 - 13*l**2 - 2*l + 3. Let p(s) = 4*f(s) + 3*n(s). Let u be p(-10). Is u bigger than 27?
False
Let s be (0 + -3)*5/(90/318). Which is smaller: -51 or s?
s
Suppose 4 = -3*r + 19. Let b = r + -1. Let a = -14 + 20. Do b and a have the same value?
False
Suppose 2*y - 7*q + 7 = 0, -4 = y + q - 5*q. Let c = 7/12 + -1/3. Is y less than c?
True
Let f = 1900 + -2243. Is -343 < f?
False
Let l be (6/(-4))/(1/2). Let n be -2 - 9 - (l + 1). Let b = -11 - n. Which is greater: b or 0.04?
0.04
Let v = 344 + -246. Let k = 66 - v. Let p = k + 31.9. Which is bigger: p or 24?
24
Let p(w) = w**3 + 8*w**2 - 9*w - 3. Let c be p(-9). Let d be c + 3/((-24)/(-20)). Let n = -24 + 24. Which is greater: d or n?
n
Let w(r) = 3*r + 47. Let u be w(19). Let t = u - 99. Which is greater: t or 2?
t
Let v(f) = f**2 + 5*f + 7. Let x be v(-5). Suppose -5*q - 16 = -4*b, 5*q = -b - 26 + 5. Let n be (-12)/10*b/(-3). Which is greater: n or x?
x
Let m = 498 + -446. Is 0 bigger than m?
False
Let a be 2 + (-33)/12 - (-3)/6. Is a > 101?
False
Suppose 0 = -3*x + x + 8. Suppose 4*y = -z + 15, 2*y + 7 = 4*z - 17. Suppose -3*o = -z + x. Is o at least -2/15?
True
Suppose -17 = -4*f - 1. Let b(n) = n**2 + 13*n + 41. Let a be b(-9). Suppose r = -a*y + 4, r = f*y + 2 - 7. Is -6/17 at least as big as r?
True
Let p be (-20)/(-2)*((-51)/15 + 4). Let i be 0 + (-30)/(3 - 6). Which is bigger: i or p?
i
Let o = 440.9 + -441. Which is greater: -89 or o?
o
Suppose 9*h - 16 = 4*h + 3*u, h = -u. Let d be (-7)/60 + h/10. Let r = -2494.9 + 2495. Which is smaller: r or d?
d
Let i(p) = -p**2 - 2*p + 412. Let h be i(0). Let b be -1 - 2 - h/(-140). Is b at least 0?
False
Let k = 0.44 + -6.14. Let h = k + 5.8. Is 1.5 at most as big as h?
False
Let w(b) = -b**3 - 4*b**2 - 3*b - 1. Let d be w(-3). Let y be (1 + d)/(-15 - -13). Which is greater: -0.1 or y?
y
Let k = -13 + 19. Let z be (-2)/4*(-23 + 1). Let o be 10/(-55) + 90/z. Which is smaller: o or k?
k
Suppose -8 = 3*k - 5*t, -6*k + t - 11 = -4*t. Which is bigger: k or 10/39?
10/39
Let u = -1.87 + 0.86. Let v = u - -2.01. Is v greater than or equal to -18?
True
Let m be (2/(-10))/((-29)/290)*-2. Is -27 equal to m?
False
Suppose 0 = -168*m + 170*m - 2. Which is bigger: m or 3/199?
m
Suppose 4*s + 325 = 397. Which is greater: 16 or s?
s
Let x = -235 - -224. Is -5 greater than x?
True
Let u(g) = g**2 + 6*g. Let s be u(-5). Let k = s - -8. Suppose 5*w - 5*m = 0, -3*w + m + k*m = 0. Is w at least -2/37?
True
Suppose r = -1 + 14. Let y = -10 + r. Suppose y*g = 5*d - 4, 3*d - 14 = d - 5*g. Is -4 > d?
False
Let y = 3104411/453 - 6853. Which is smaller: 3/7 or y?
y
Let w = -2.855 - -2.755. Which is bigger: w or -159?
w
Let p be (-1)/((-18)/12) - 21/(-9). Let x be (-34)/8 - (-6)/24. Which is smaller: p or x?
x
Let p = 22 + -18. Suppose 0 = -5*y + 1 + 9, -3*x + 3*y = 0. Suppose p*i - 5 = u + i, 0 = -2*u + x*i - 14. Is -8 greater than or equal to u?
True
Let p = 38 - 25. Suppose 197 - 54 = -p*s. Is -12 bigger than s?
False
Let w = 1.49 - 1.59. Which is greater: w or -2/3?
w
Suppose 5*g = -5 - 20. Let a be -4 - (-45)/5 - 15. Which is greater: a or g?
g
Suppose -7 = 4*f - 19. Suppose 3*q = -g - 38, 0*g = -f*q + g - 28. Let l be q/(-30) - (-3)/(-18). Which is greater: l or 0?
l
Suppose 3*q - 17 = -2*w + 22, 3*q - 15 = 0. Let s be -16*((-10)/w)/5. Let f = s - 2. Which is smaller: 3/11 or f?
3/11
Let t = 47 + -143/3. Let v be 0 - (-2 + 3) - 5. Let z be 2/(-4) - 3/v. Is z != t?
True
Let i be -8 - (2 - (-2)/(5 - 6)). Is i less than -15?
False
Suppose 9*g - 22 = -4. Suppose 0*y + 4*y - 88 = -g*s, 0 = -2*y + 2. Is 40 less than or equal to s?
True
Let o be (-24)/(-10)*(-15)/(-6). Let f(z) = -4*z + 2. Let j be f(-2). Let y be (-1)/j + o/(-15). Is 5 >= y?
True
Let z be ((-22)/20 - (-27)/45)*-8. Which is greater: z or 14?
14
Let w(q) = 5*q + 78. Let b be w(3). Do 94 and b have the same value?
False
Let r(g) = g - 7. Let o be 24/10*(-40)/(-12). Let f be r(o). Are 4/17 and f equal?
False
Let i be (-2)/((-23)/230 - (-21)/10). Which is smaller: i or -802?
-802
Let m = -796189289 + 10516864323412/13209. Let d = m + 1/629. Is d > -1?
True
Let m be (-19)/76 - 3*1. Let z be 2/3*(-4 - -1). Which is smaller: m or z?
m
Let b = 17876 - 88409/5. Let r = -195 + b. Let z(h) = -h**2 - 7*h + 2. Let x be z(-7). Is r bigger than x?
False
Suppose -5*o = 5*a + 200, 2*a - 6 = -2. Let q = -18 - o. Is q at most 27?
True
Let c(m) = 2*m - 27. Let b be c(10). Let s be 4/b*12/(-24) - 0. Which is smaller: -1 or s?
-1
Let x = -11267/25 + 451. Which is bigger: 0 or x?
x
Let f = -1354/33 + 41. Let v be (4 + (3 - 6))*-1. Which is bigger: v or f?
f
Suppose -22*o = -4*o + 2*o. Let m = 45 + -45.042. Is m less than o?
True
Let t = 1545 - 1633062/1057. Which is bigger: 0 or t?
t
Let z be (-222)/(-8) + 9 - 2/(-8). Is 32 equal to z?
False
Let q = 2445 - 2429.945. Let i = 0.055 - q. Is i greater than or equal to 0?
False
Suppose -3*f = -r - 19 - 8, 5*f - 4*r - 52 = 0. Suppose 3*z = f*z. Is z < 4/5?
True
Suppose 11*i + 160 = 149. Which is smaller: -2/155 or i?
i
Let s = -195 + 108. Let x = -206 - -119. Is s != x?
False
Let p(x) = -4*x**3 + x. Let s be p(1). Let l = 3 + s. Suppose 0 = -3*q + j - l*j + 1, -12 = 3*j. Is q at most as big as -6/11?
True
Let n = -20455267409627/1740 - -11755900434. Let d = n - -12511/29. Let m = d - 166/3. Is -1 not equal to m?
True
Let j be (2/(-106))/(-7 + 528/77). Is -1 less than j?
True
Let t = 33 + -54. Let i = 15 + t. Suppose 2*m = -s - 11 - 4, -26 = 3*m + 5*s. Is m bigger than i?
False
Let x = -5 - -14. Let b = x - 21. Let o be (b/(-20))/(9/6). Is o smaller than 0.04?
False
Suppose -78*s - 200 = -74*s. Let a(f) = -5*f**3 - 3*f**2 + f. Let h be a(2). Is s != h?
False
Suppose -v - 1 = -6. Let r(a) = -2*a + 46. Let g be r(20). Which is bigger: v or g?
g
Let c = 987 - 966. Suppose -f - 5*g = -22, 0 = -4*f - 5*g + 2*g + 88. Which is smaller: c or f?
c
Let j(b) = -b**3 - 6*b**2 - 5*b - 4. Let c be j(-6). Let n(t) = -19*t + 154. Let d be n(8). Is c greater than or equal to d?
True
Suppose 3*v - 2*h - 117 = h, -2*h + 54 = v. Let q be v/(-20) + (-3)/(-15)*1. Is 0.6 > q?
True
Let z = -40 - 7. Let y = 20 + z. Let n = -15 - y. Is n > 12?
False
Let y be (17 - (-415872)/(-24462))/((-5)/6). Which is smaller: y or -1?
-1
Let h(z) = 9*z - 235. Let u be h(29). Is u smaller than 5/6?
False
Suppose 11*z + 14 = 4*z. Which is smaller: z or -65?
-65
Let n = -3/23 + 127/92. Which is smaller: 1 or n?
1
Let q(s) = -2*s**2 + 9*s - 7. Let o = 23 - 20. Let c be q(o). Is c < 2?
False
Suppose 24 = -39*w + 63*w. Is w at least as big as 3/643?
True
Suppose 21*w + 31 = -347. Which is bigger: w or -19?
w
Let d be (6/26)/((-6)/4). Let j be (7/(-3) - -3)/((-6)/(-9)). Which is smaller: d or j?
d
Suppose -14 - 6 = -5*l. Let c = 1305438/91 - 167838/13. Let r = -1432 + c. Are r and l non-equal?
True
Let b(c) = -c**3 - 17*c**2 - 16*c + 3. Let j be b(-16). Suppose -2*l = 13 - j. Which is bigger: -4 or l?
-4
Let s be (3/(-6) - -4)*-2. Let t(y) = -y**2 - 8*y - 8. Let l be t(s). Let f be l/1*(-14)/(-14). Which is bigger: 4/9 or f?
4/9
Let w = 6883/2 + -2543. Let x = w - 874. Is 26 at least x?
True
Suppose 10*v - 12*v = -4*l - 164, 0 = l. Is v equal to 570/7?
False
Let r = -24 - -9. Let n = 21 + r. Let w = 7 - n. Which is bigger: 2/7 or w?
w
Let u(c) = -c**2 - 11*c - 28. Let i be u(-7). Are -1/824 and i nonequal?
True
Suppose h + 1 = -0*h, -5*b = 2*h - 48. Let s be 19/b - (-20)/(-50). Is 1 greater than or equal to s?
False
Let q be 72*((-20)/112 - (-20)/(-35)). Which is smaller: -58 or q?
-58
Let d(a) = 24*a + 4. Let l be d(2). Let i = l - 573/11. Which is smaller: i or 1?
i
Let y(f) = 5*f + 0 + 2 - 4*f + 15. Let h be y(5). Is 45/2 != h?
True
Suppose 4*l - 19 = -15. Which is smaller: -13/41 or l?
-13/41
Let p = 10761771 + -527308011/49. Let y = p + -383. Which is greater: 1 or y?
1
Let z(n) = 2*n**3 + 2*n**2 - 8*n - 7. Let t = -123 - -120. Let g be z(t). Is g greater than or equal to -19?
True
Let x = -0.591 + 0.411. Is 3/5 != x?
True
Suppose 4*p - 178 = s + 2*s, 5*s - 5*p + 300 = 0. Let z = -174 + 111. Is s greater than z?
True
Suppose -2*q = q + 225. Let x be (6/q)/(2/(-10))*130. Is 52 <= x?
True
Let t be ((-68)/(-85))/((-4)/(-30)). Suppose -6*c = 30 - t. Is c <= -5?
False
Let 