 4 = 0, -4*j + g + 14 = 37. Let o(h) = h**3 - h - 6. Let r be o(0). Which is bigger: j or r?
r
Let f = -1602 - -1664. Is f > 0?
True
Let r(h) = h**2 + 6*h - 56. Let t be r(5). Let q be ((-6)/(-5))/((-3)/(-15)). Let o be (-2)/(-12)*8/q. Is o smaller than t?
False
Suppose 2*x = 2, 0*d - 2*d + 22 = 4*x. Suppose 0 = 3*q - d*q + 6. Which is greater: -3 or q?
q
Let l = 48 - 43. Suppose l = 3*f - 4*f. Do f and 1 have the same value?
False
Let v = 5 + -4.7. Let t = 11 + 40. Let z = 50 - t. Which is greater: z or v?
v
Let w be (-135 - 5)/(10/10). Is -138 at most as big as w?
False
Let m(n) = n**2 + 6*n - 7. Let j be m(1). Which is bigger: 3/4 or j?
3/4
Let i = 3/14 - 25/182. Let n be (4/16)/(3/84). Let h be (-2)/(n/(35/10)). Which is smaller: h or i?
h
Let o be -5 + -5 + (-325)/(-35). Is o at least -2?
True
Let r(s) = -17*s**2 + 17*s - 9. Let n be r(3). Is n less than or equal to -105?
True
Let t(v) be the second derivative of v**7/2520 + v**6/720 - v**5/120 + 5*v**4/12 - 5*v. Let s(x) be the third derivative of t(x). Let b be s(1). Is b > -2/11?
True
Let g(q) be the second derivative of q**5/20 + 3*q**4/4 + 3*q**3/2 + 7*q**2/2 - q. Let m be g(-8). Which is smaller: -12/23 or m?
m
Let s be 12/(-9) - 676/(-660). Are s and -1 unequal?
True
Suppose 78 = -3*t + 5*t. Let u be 59/(-3) + 26/t. Let s be u/7 - 4/14. Which is bigger: 2 or s?
2
Suppose 0 = -10*x - 0*x + 130. Suppose -72 = x*l - 4*l. Is -7 at least as big as l?
True
Let v = 0.3 + 0.7. Let w = 34 - 25. Let a = w + -8. Is a <= v?
True
Let w = -20 - -17.6. Let c = w + -0.6. Let l be (-6)/(-16)*8/(-12). Which is smaller: l or c?
c
Let m be (6 - (-1183)/(-39))*(-1 - 2). Is 74 less than or equal to m?
False
Let m = -1052 - -1051. Let g be -2*2/(-56)*3. Is m at most g?
True
Let q = 1958848 + -7147836427/3649. Let y = -4/89 - q. Is 0 != y?
True
Let k(g) = g**3 + g**2 + 78. Let u be k(0). Which is greater: u or 70?
u
Suppose -155 = -w - 153. Is 58 >= w?
True
Let l be ((-3)/(-9))/(3/(-5)). Let i = 43/45 + l. Let v = 84 + -926/11. Which is smaller: v or i?
v
Suppose q = -5, q - 5 = -b + 2*q. Let f = -2 + 3. Let s be f - -2*(-3)/16. Which is bigger: s or b?
s
Suppose 4*m = q - 660, 35 = -m + 2*q - 137. Suppose 2*f = 2*g + 24, 3*g + 4*f = 5*f - 32. Let s be m/g - 16/40. Which is bigger: s or 17?
17
Let t = -37 + 33. Let n be (20 + t)*2/(-4). Which is smaller: -6 or n?
n
Let h = -0.069 - 8.931. Let a(v) = v - 6. Let s be a(7). Are s and h equal?
False
Suppose 2 = -2*c + f, -2 + 0 = -f. Let h = -0.4 + 5.3. Let m = -5 + h. Which is smaller: m or c?
m
Let y = -0.7 - -1.3. Let c = 0.8 - y. Let r be (-2)/5 - 504/(-35). Which is bigger: c or r?
r
Let b(d) = 4*d - 2. Suppose 4 = 5*y - y. Let z be b(y). Is 2 > z?
False
Let u = 110 - 74. Suppose 0*r + r = -4*p + u, 57 = 2*r + 3*p. Suppose -4*b + 80 = -0*b + 4*z, -b + 3*z = -r. Are 21 and b nonequal?
False
Let v(u) = -u**3 + 21*u**2 - 40*u + 39. Let i be v(19). Is -2/31 != i?
True
Let v be ((-36)/(-150))/(42/(-20)). Let i(w) = -w. Let j be i(1). Which is bigger: v or j?
v
Let s(d) = d**2 + 19*d + 25. Let x be s(-4). Which is greater: x or -37?
x
Let m = 151 + -151.79. Let o = 0.9 + m. Let h = -2.11 + o. Is h at least 2?
False
Let m = 5 + -12. Let t = 0 - m. Suppose -7*k + 269 = 234. Which is smaller: t or k?
k
Let v be -156 - (32/(-8) - 5). Which is smaller: -150 or v?
-150
Let c = 255 + -242. Is c smaller than 111/8?
True
Suppose -4*t = -5*o - 73, 4*t + 6*o - 28 = 2*o. Let l be ((-9)/(-2))/(t/(-32)). Which is smaller: -10 or l?
l
Let a = 65 - 65.135. Let u = 0.045 - a. Which is greater: -1/4 or u?
u
Let r = 10 - 13. Let k be 2 - ((-2)/(-1) + 1*-2). Is k at least as big as r?
True
Let o = -263 + 3409/13. Which is smaller: 0 or o?
o
Let s = 2.9 - 2. Let a = s - 0.8. Which is greater: a or 0.19?
0.19
Let r = -294 - -297. Which is smaller: r or -1/4?
-1/4
Let x(f) = -f - 31. Let w(l) = -8. Let c(k) = 9*w(k) - 2*x(k). Let m be c(8). Suppose 3*o = o - m. Which is bigger: -2 or o?
-2
Let o = -0.238 - 0.762. Which is greater: 407 or o?
407
Let m(y) = -50. Let h(z) = -z. Let f(u) = 4*h(u) - m(u). Let l be f(5). Is 30 at least as big as l?
True
Suppose -4*x = -3*v - 29, v - 25 = 3*v + 3*x. Suppose -60 = 5*y - 0*y. Which is bigger: v or y?
v
Let a = 9/19 + -83/95. Let f be -2*1*(0 + -3 + -2). Suppose -f = 5*d - 20. Do a and d have the same value?
False
Let h(j) = 12*j + 1. Let a be h(-1). Let p(m) = 12*m - 50 + m**3 + 30 + 26 + 2*m**2 + 10*m**2. Let f be p(a). Which is greater: -6 or f?
f
Let j = 3 + 0. Suppose -13 + j = -m + 4*t, -t = -2*m + 6. Let y = -2 + m. Which is smaller: y or 1/7?
y
Let m = -9 + 29. Let v be (m/(-6))/(10/(-15)). Suppose 3*s - 20 = -5, 3*g - 43 = -v*s. Which is bigger: g or 8?
8
Let d = -131 - -106. Which is bigger: -31 or d?
d
Let p be -1 + -1 + (2 - 0). Let t be (4/(-35))/(1/5). Which is smaller: t or p?
t
Let o be 6/(-15) + 7/5. Let k = 1 - o. Let y be 5/(-30) + (-143)/(-594). Which is greater: k or y?
y
Let k be (90/(-125))/(2/20). Suppose -4*i + 5*p = 14, -5*p - 24 + 8 = i. Is i <= k?
False
Let w be 2/27 - (-350)/378. Is -14/67 greater than or equal to w?
False
Let u = -113.4018 + -27.4052. Let x = u - -113.87. Let w = x - 0.063. Which is smaller: 0 or w?
w
Let q(v) = 1777*v**3 + 2*v**2 + 4*v + 3. Let l be q(-1). Let y be (l/(-18))/(-8)*(1 - -2). Is y less than -38?
False
Let q = 999 - 992. Are -0.056 and q non-equal?
True
Let k = 0.074 - -6.026. Let l = k + -6.3. Are 9 and l equal?
False
Let y be ((-8)/12)/((-2)/12). Suppose -2*p = j - p, -y*j = -4*p. Suppose j = x + 17 - 18. Which is smaller: x or -1/10?
-1/10
Let b be (192/256)/(4/(32/(-309))). Which is smaller: 0 or b?
b
Let r(w) = w**3 + 3*w**2 - 31*w + 4. Let j be r(-7). Which is smaller: 26 or j?
j
Let g = 21 - 13. Let v(k) = k**3 - 7*k**2 + 10*k + 3. Let t be v(5). Suppose 0 = x - 0*u - 2*u - 13, 17 = t*x + 5*u. Which is smaller: x or g?
g
Let i = 0.1597 - -0.1953. Which is bigger: i or 0?
i
Let c = -1175/3 - -391. Which is smaller: c or -614?
-614
Let p = -6 + 8. Let w be 4 - 1 - 1 - (18 - -28). Let i = 91/2 + w. Which is bigger: p or i?
p
Let n be 0 + (-2 - 0) - 4. Let d(w) = w**3 + 7*w**2 - w - 14. Let t be d(n). Is t greater than or equal to 26?
True
Let u = -1.95 - 0.05. Let q = -83 - -47. Let p = -31 - q. Which is smaller: u or p?
u
Let p = -75 - -97. Let i be 112/p + (16/22)/(-4). Which is bigger: 4 or i?
i
Let w = 507 - 471. Which is bigger: 4/5 or w?
w
Let w be -13*((-22)/18 - 36/(-162)). Which is smaller: w or 5?
5
Let y be (2 - 3)*(8 + -11 + -178). Does y = 180?
False
Let r = 407969 - 217447403/533. Let j = -12/41 + r. Suppose -5*s = -2*s. Which is greater: j or s?
s
Let c = 4 + 5. Let u = 7.2 - c. Let b = -5.2 + u. Which is greater: b or 2?
2
Let h = 0.3 - 1. Let j = -61 + 60. Which is bigger: j or h?
h
Let c = -1005/2059 - -42/71. Suppose 2*r = -4*q + 10, 4*q - r + 11 = 4*r. Which is greater: c or q?
q
Let v be (-12)/(-60) + 0 + -1. Which is greater: v or -20?
v
Let z = 98 + -87.8. Let v = z - -1.8. Let l = v + -12. Which is greater: -2/3 or l?
l
Let v = -0.2 - -1.2. Let g be 14/35*(-2)/36. Let t = g - 8/45. Which is greater: v or t?
v
Let f be (-16)/(-6) - (-2)/(-3). Which is smaller: f or 0.08?
0.08
Let t = 483.61 + -488. Let x = t + -0.61. Which is smaller: -0.04 or x?
x
Let d be (11/(99/6))/(2/42). Let f be (-570)/(-875) + (-8)/d. Which is greater: f or -2?
f
Let a be ((-21)/(-63) + 8/(-33))*38. Which is bigger: a or 4?
4
Let i be 35/147 + (-36)/63. Which is bigger: i or 147?
147
Let d = 260 - 13262/51. Let c = -5 + 11. Suppose 3*j - c = -n, -15 = 5*n - 10*n. Is d smaller than j?
True
Let i = -598 + 1113. Is 515 less than or equal to i?
True
Suppose -5*c - 2*o + 168 = -2, 0 = 3*c - 4*o - 76. Which is greater: 35 or c?
35
Let i = 66676/5 + -13458. Let t = i + 122. Let b(r) = -r**3 - 6*r**2 + 7*r. Let l be b(-7). Which is smaller: l or t?
t
Let f = -2513714/307 + 8188. Is f at least as big as 1?
False
Suppose -2*s - h = -15, 0 = 4*s + h - 5 - 22. Suppose 4*f = f + s. Let i be (f/(-5))/(24/20). Is i < 1?
True
Let a(c) = 4*c**3 - 3*c**2 - 4*c - 2. Suppose 5*t = 5*x - 10, 0*x - 2*x - 2*t = 8. Let p be a(x). Is 2 > p?
True
Let h(g) = -2*g**2 + 42*g - 228. Let z be h(6). Is z at least as big as -47?
False
Let w = -228 + 6610/29. Let d = 1972.7 - 1973. Are w and d non-equal?
True
