 Let z be t/(-6) + 0 + u. Is z not equal to 0?
True
Let y(c) = c**3 + 13*c**2 + c + 14. Let j be y(-13). Let w = 41.76 - 0.76. Is j greater than w?
False
Let l(j) = 1 + 3 + j**2 + 3 - 5. Let w be l(0). Let u = -217 - -217.5. Which is smaller: w or u?
u
Let j be (111/(-66) + 10/55)*-62. Suppose -5*r = -5*p + 105, 2*p = 3*r + 5*p + j. Which is smaller: r or -25?
r
Let p = -1831 + 287469/157. Suppose 64*d + 85 - 21 = 0. Is p smaller than d?
False
Let q be (-238)/(-14) - (0 + -2) - 4. Let b(s) = -s**2 + 15*s - 19. Let c be b(q). Which is bigger: -22 or c?
c
Let r be (1/(-9)*3)/((-1)/(-12)). Suppose 16 = -3*p + p. Which is bigger: p or r?
r
Let b = 0.18 + -0.045. Let h = -0.035 + b. Which is bigger: -1/8 or h?
h
Let l be 23/7 - (-2)/(-7). Suppose f - 6 = 0, w + 21*f = 17*f + 33. Which is smaller: l or w?
l
Let i(a) be the first derivative of -a**2 - 3*a - 1. Let b(q) = -2*q - 2. Let f(p) = -3*b(p) + 4*i(p). Let v be f(-4). Which is smaller: 1 or v?
1
Let g(u) = 3*u**3 + 2*u**2 - 6*u - 7. Let k be g(-1). Let d be 4/20*5/k. Is d smaller than 40?
True
Let x be 135/(-15) + 11*2. Which is greater: 5 or x?
x
Suppose -q + 4*q = 5*z - 8, 2*q = -z - 27. Which is smaller: q or -10?
q
Let u(c) = c**3 + 25*c**2 + 2*c + 46. Let w be u(-25). Let i be (w/(-12)*2)/((-7)/(-63)). Is i less than -2?
False
Let x = -14 + 70. Let j be 40/x + 69/21 + -3. Which is greater: j or -7?
j
Let v(j) = j**2 + 2*j. Let h be v(-3). Suppose -86 = 5*m - m + i, 4*i = h*m + 55. Which is smaller: -24 or m?
-24
Let b(f) = -f**2 - 12*f + 10. Let w be b(-12). Suppose -15*u = -w*u + 5. Which is bigger: -0.78 or u?
-0.78
Suppose -8*b - 85 = 91. Suppose 3*c = 2*f + 44, -4*c - 18 - 92 = 5*f. Are b and f nonequal?
False
Let w be (-98)/2 - (-15)/5. Let j = w + 45. Let f = -13/90 - 1/45. Which is smaller: f or j?
j
Let d be 13/65 - (-6)/(-5). Suppose 249 = 5*n - 2*n. Let i = n + -663/8. Which is smaller: d or i?
d
Let g be 0/((-4)/(-8)*2). Suppose -q - 2*y + 13 = g, 0 = -2*y - 2*y + 20. Let o be 2*(-3)/(-9 + q). Is 2/3 bigger than o?
False
Let q(w) = -w**3 - 7*w**2 - 8*w - 18. Let i be q(-5). Which is greater: -27 or i?
-27
Let t(q) = -5*q - 1 - 2 + 3 - 5. Let g be t(-2). Suppose -4*a + 1 = g. Which is smaller: -2 or a?
-2
Let z = 126/11 - 1016/33. Let y be 1 + (-14)/77 + (-211)/(-11). Let r = y + z. Which is smaller: -0.2 or r?
-0.2
Let p = -566 - -583.04. Let s = 0.04 - p. Is s != -0.1?
True
Suppose 3*p + 2*r - 3*r + 17 = 0, -p = 5*r - 21. Let f be 3/(-1) + (p/28 - -5). Which is smaller: 0.1 or f?
0.1
Let t(w) = w**3 - 6*w**2 - 5*w - 16. Let l(r) = r**3 + 7*r**2 - r. Let q be l(-7). Let f be t(q). Which is bigger: -34/11 or f?
f
Suppose 4*d + 2*b - 24 = 0, -3*d = -4*b + 2 - 20. Let i = d - 16. Which is bigger: -44/5 or i?
-44/5
Let g = -2 - 1. Let j be 23 + (12 + g)/(-3). Suppose 3*n = j + 1. Is 7 greater than n?
False
Let i(d) = -d**3 - 5*d**2 + 2*d - 4. Let m be i(-6). Let s = -3 + 6. Suppose t - s*t = -m. Are 10 and t unequal?
False
Suppose 0 = 4*f - q + 439, -2*f - 8*q + 6*q - 232 = 0. Are f and -111 non-equal?
False
Let f = 79.7 - 75. Let a = 4.6 - f. Which is smaller: a or 9/2?
a
Let x(z) = -2*z**3 + 11*z**2 - 14*z + 120. Let l be x(6). Let h = 24353/330 - 443/6. Is l equal to h?
False
Let y = 1231.2 + -1231. Are -0.0524 and y nonequal?
True
Let g(q) = 4*q**3 + 12*q**2 + 8*q + 15. Let n(z) = z**3 - z. Let o(f) = g(f) - 3*n(f). Let j be o(-11). Let k = -18 + j. Which is smaller: k or -5?
-5
Let d(z) = z**2 + 11*z + 21. Let m be d(-9). Let g = -0.03 - 1.97. Let j = g + 1. Which is smaller: j or m?
j
Let f = -17 + 56. Let m be (-903)/f + (-12)/(-78). Is m at least -22?
False
Let w be 13/5 + 9/(-15). Suppose 0 = -a, -4*t - w*a - 3 - 17 = 0. Which is smaller: t or -4?
t
Let c be ((-470)/15*-1)/((-272)/(-144)). Is c < 18?
True
Let o = -348 + 349. Is o less than or equal to -26?
False
Let z(f) = -f**2 + 5*f + 2. Let s be z(2). Let k(w) = -w**2 + 8*w. Let l be k(s). Is l not equal to 2/3?
True
Let u(s) = s**2 - 23*s - 80. Let n be u(27). Which is smaller: 30 or n?
n
Let l(f) = -2*f**2 + 77*f - 170. Let g be l(31). Is g smaller than 296?
True
Let p(m) = 9*m**3 + 11*m**2 - 2*m - 8. Let n(t) = 14*t**3 + 16*t**2 - 3*t - 12. Let r(u) = -5*n(u) + 8*p(u). Let c be r(-4). Which is smaller: -5/17 or c?
-5/17
Let q = -47 + 55. Let s be (-10)/q + (-4)/(-16). Which is smaller: s or 2/17?
s
Let n = -2 + 2. Let i = 3 - 3. Let z = i + -0.3. Which is greater: n or z?
n
Suppose 0 = 3*a - 3*h + 54, -5*a - 96 = -4*h - 11. Are -16 and a non-equal?
True
Let x = -3 - 13. Let n be (-44)/x - 2/(-8). Suppose 0 = -5*o + 5*f + 30, -2*o + 5*f - 2*f = -14. Which is bigger: n or o?
o
Let m(d) = -d**2 + 9*d + 8. Let l be m(7). Let c = l - 15. Let n be (-63)/98*c/(-6). Which is bigger: n or 3?
3
Let b(v) = -v**2 + 4*v + 28. Let w be b(-4). Which is smaller: -3/4 or w?
w
Let o be (-3)/(-15) + 9/(-27). Is o at most as big as -2/121?
True
Let v = -583 - -583. Which is smaller: 6/169 or v?
v
Let z be 3/(-5) + 429/65. Suppose -z*j + 36 = -9*j. Which is bigger: j or -11?
-11
Let c = -29 + 42. Let v = 14 - c. Let i be v + (1 - (-4)/(-2)). Is -1 less than i?
True
Let k = 2017 - 2017. Which is smaller: k or 2/663?
k
Let y = 37 - 64. Suppose 249*l - 104 = 253*l. Is l greater than y?
True
Let y be -53*((-4)/(-4) - 0). Let c = y + 54. Is -2/203 bigger than c?
False
Let r = -5647 + 1439987/255. Which is greater: r or -3?
r
Let f = 11.98697 + 0.01303. Let z = 0.3 + -2.3. Which is bigger: f or z?
f
Suppose -2*u = -6*u - 488. Let v be (-34)/51 + u/(-12). Which is bigger: v or 10?
10
Let a(g) = -3*g**3 + 4*g**2 - 5*g + 2. Let f be a(1). Suppose -5*q + 4 + 1 = 0. Let v be -2*q + 3/(-9). Which is bigger: f or v?
f
Let q be (-3)/2*(-64)/12. Suppose 3*l - q*l = -10. Suppose 0 = l*k - 3*k - 2. Which is smaller: -7 or k?
-7
Let z = 750 + -765.99. Let v = 0.01 - z. Which is bigger: 1 or v?
v
Suppose 8*u = 57 + 63. Let d = u - 11. Are d and 2 equal?
False
Let y = 17 - 18.9. Let x = y + 7.9. Let c = -8 + x. Which is greater: -3/2 or c?
-3/2
Let b = 0.907 + -0.797. Is -12 less than b?
True
Suppose -65 = 3*q - 80, -2*d + q = -391. Are d and 1778/9 unequal?
True
Let h = -13.2 - -2.1. Let k = 2.1 + h. Let t = k + 9. Which is greater: t or 9?
9
Let k = -12858/17 + 748. Let g = 1288/85 + k. Which is bigger: 7 or g?
7
Let q = -8 + 16. Let v = q - 3. Suppose -2*x + 2*f + 17 = 5*f, v*x = -f + 10. Is x at least as big as -1/3?
True
Let r = 24 - 30. Let q be r/(-5)*(-30)/(-12). Let z(g) = g**2 - g - 7. Let a be z(q). Is a equal to -1?
True
Let f = -37.7 - -36.1. Which is greater: f or -3?
f
Let r = -12 - -20. Let s be r/(-44) + (-7)/22. Suppose 10 = 4*y + 5*a, -2*y + 4 = 2*a - 0. Does s = y?
False
Suppose 749 = -12*r - 55. Is 0 equal to r?
False
Let s = 94.631 - -0.369. Which is bigger: s or 0.2?
s
Let w = 3450 + -5176. Let x = w - -10325/6. Which is greater: -6 or x?
x
Let g = -215 + -32. Is -247 != g?
False
Let s be (-5)/(-5)*3 - -4. Suppose s = 5*n + 32. Which is smaller: -4 or n?
n
Let z = -4 - -36. Which is bigger: 97/3 or z?
97/3
Let n be (-146)/(-3) + (-5 - 1 - -1). Is n less than 44?
True
Let c be 9/15 - 378/(-45). Suppose 4*f = 5*u - c, -2*f - 3*u + 0*u = -1. Is f greater than or equal to -1/25?
False
Let p = -44 - -60. Which is smaller: p or 4?
4
Let w = -51691/15 + 10148/3. Which is greater: -64 or w?
w
Let t be -254*(231/(-22) - -11). Is -126 < t?
False
Let z(h) = -h**2 - 4*h - 60. Let v be z(0). Are v and -5 equal?
False
Let q be 8 + 1 - (-2283)/3. Is 770 < q?
False
Suppose -821 - 232 = -o. Is 1053 <= o?
True
Suppose -21*m = -22*m + 47. Suppose 2*b - 6*g + g = 69, b - 3*g - 32 = 0. Is b at most as big as m?
True
Let v = 1040.02 - 1040. Which is smaller: 3 or v?
v
Let w = 67 - -385. Is 452 < w?
False
Let u = 796 + -796. Is 1/189 not equal to u?
True
Suppose 4*s + 12 = 3*s. Let h be (s/24)/(1/8). Is h > -3?
False
Suppose 0 = -b, -2*k - 2 = -3*b - 4. Let d = 0.351 - -0.019. Let t = -0.37 + d. Which is bigger: k or t?
k
Let d be (-1)/5 - (-2166)/30. Suppose 2*c - d = -26. Suppose -3*o + 12 = -b, -5*o + 3*b - 7 + c = 0. Is 6 greater than o?
True
Suppose 0 = 6*b - 2*b - 8. Let q be b/(-3) + 64/(-120). Suppose -12 + 12 = -5*o. Which is bigger: o or q?
o
Let r = 382/649 + -24/59. Which is smaller: -7 or r?
-7
Let s be -12*(-6)/(-8) + -127. Which is small