 i(g) = g**3 - 8*g**2 + 10*g - 3. Let p be i(7). Which is bigger: p or a?
p
Let y = -863 + 743. Which is smaller: y or 0?
y
Suppose -5*d + 27 = -z, 2*d - d + 57 = -5*z. Is z less than or equal to 3?
True
Let g = -24.977 - -25. Let o = g - 0.323. Are 9 and o unequal?
True
Let m = 0.0287 - 0.0887. Which is smaller: 42 or m?
m
Let j = 7069 + -7107.69. Let z = 39 + j. Let k = z - 0.71. Which is smaller: k or 3/4?
k
Suppose 0 = -m - 6 + 10. Which is bigger: -4 or m?
m
Suppose -5*d = -5*y - 100, -3*d + 68 = -0*y + y. Are d and 18 unequal?
True
Let f = -101 - -67. Let k = -33 - f. Which is smaller: k or -7/8?
-7/8
Let n(r) = -31*r**2 - 3*r + 3. Let z be n(-3). Let q = z + 385. Let p be q/220 - (-4)/(-10). Which is bigger: p or 1?
1
Let y(g) = g**3 + 4*g**2 - 10*g - 3. Let q be y(-6). Let j be 6/q + (-10)/(-25). Which is smaller: -2/91 or j?
-2/91
Suppose -2*n + 3*n = -3*z, -z - 3*n + 8 = 0. Let y(j) = -25*j**2 + 1. Let k be y(z). Let b be 3/(-12) + (-22)/k. Which is greater: 0 or b?
b
Let a = -31 - -23. Let y be (-2)/(-3) + (-2)/3. Suppose -28 = -y*u + 4*u. Which is smaller: u or a?
a
Let t = 326592/8359 - 508/13. Is 0 != t?
True
Let p(c) = -c**3 - 8*c**2 + 10*c + 3. Let v be p(-9). Let m be (v/(-5))/((-2)/(-35)). Let r be m - (-8 + 4) - 4. Which is smaller: 1 or r?
1
Let w = 288 - -216. Which is bigger: w or 505?
505
Let v(j) = -8*j**3 - j**2 + 2*j - 7. Let x be v(-3). Is 194 at most as big as x?
True
Let s = 11 - 4. Let p = 7.1 - s. Let d = 1.5 + -0.8. Are d and p equal?
False
Let a(m) = m**2 - 3*m - 6. Let u be a(7). Let q be u/(-18) - (-10)/45. Which is smaller: q or 1/26?
q
Suppose -2*c + 4*k = -72, 0 = -5*k + k - 16. Is c less than 2?
False
Let b(c) = -c**3 - 27*c**2 + 42*c + 395. Let s be b(-28). Are -7 and s unequal?
True
Suppose 4*h + 4*s - 482 = 3*s, 2*s = -4. Let c = 122 - h. Which is greater: -3/14 or c?
c
Let a = -24.4 + 2.6. Let b = -22 - a. Which is greater: 4 or b?
4
Let p(k) = -k**3 - 5*k**2 + 6*k + 1. Let c be p(-6). Let z = c - 5. Let w(v) = -v - 6. Let f be w(-3). Is f equal to z?
False
Let w = 18068/111 - 488/3. Is 1 < w?
False
Let j(a) = -12*a**3 - 4*a**2 - 3*a - 1. Let h be j(-2). Let i = -3827/45 + h. Let w(u) = u**2 + 6*u - 27. Let r be w(-9). Which is greater: r or i?
r
Let z = 139.4 - 15.4. Let h = z + -124.1. Let k = 0 + 1.5. Which is smaller: k or h?
h
Let p = 105798771/4895 - 108069/5. Let j = -2/89 + p. Let d(c) = -c**2 - c + 1. Let f be d(-2). Is f less than j?
True
Let y(d) = d**3 - 3*d**2 + d + 1. Let z be y(2). Let a(b) = -2*b**2 - 4*b**3 + 145*b + b**2 - 146*b. Let q be a(z). Are q and 2 unequal?
True
Let d(p) = 138*p + 46. Let b be d(2). Is 1 less than b?
True
Let b be (-39)/(-144) - 14/42. Suppose -5*n - 5 = -0*n. Is n < b?
True
Let d(c) = c**3 + 10*c**2 - 12*c - 9. Suppose 22 = 3*p - 5*p. Let u be d(p). Let n be 11/((-308)/48) + u. Is n less than or equal to 1?
True
Suppose 0 = 3*z + 57 + 18. Let w be 10/z + 96/15. Is 9 greater than w?
True
Let a(n) be the first derivative of -n**2/2 + n - 2. Suppose -4*b + 2 = -3*b. Let j be a(b). Which is greater: j or 2/27?
2/27
Let u = -0.84 + -32.16. Let p = 3/20 - 2/5. Which is smaller: u or p?
u
Let p(z) = -36*z + 21. Let l be p(6). Let v be 102/l - -1 - 10/25. Let n(a) = -a**2 + 2*a + 1. Let k be n(2). Which is bigger: v or k?
k
Let b = -609/4 - -153. Let r be (-4 + 77/14)/(-1). Is b <= r?
False
Let v = -71 - -71. Let r be v*1/(-2)*1*1. Which is bigger: 3/37 or r?
3/37
Let v = 43.007 - 43. Let x = v + -6.007. Which is smaller: 1/4 or x?
x
Let p(l) = -4*l**2 + 1. Let v be p(1). Let c be v/1 - (-32)/24. Which is smaller: c or -1/2?
c
Let z = -690 - -668. Is z > -22?
False
Suppose 0*j + 4*j = 3*k + 30, -21 = -3*j + 3*k. Let i = 53 - 52. Let l be -3*(5 + -6 + i + -3). Does j = l?
True
Let i = -628 - -959. Suppose 4*x + i = 5*v, -x + 3*v - 50 - 24 = 0. Is -88 at least x?
True
Let l be 12/60*(1 - 0). Suppose 2*u - 3 + 9 = 2*m, -3*m = u - 9. Suppose 11 = 2*c - m*c. Which is greater: l or c?
l
Let v = -851 + 848. Which is greater: -0.04 or v?
-0.04
Suppose 3*v - 42 = -3*g, g = 4*v - 18 - 58. Let t be 14 - v - (-7)/(-1). Which is smaller: t or -10?
t
Let r = 326 + -241. Which is smaller: 1 or r?
1
Let p be (-279)/231 + 4 + -3. Let s = -1389/385 - p. Suppose b = 4*n + 18, 3*n + 2*n + 21 = 2*b. Is s > b?
False
Suppose -4*x + 0*x = -8. Let h be 1/x - 15/78*-7. Which is smaller: h or 1?
1
Suppose 0 = -8*t + 5*t - 39. Let x = 6 + -12. Let k = x - t. Is k > 8?
False
Let o be (-56)/(-78) - (-2)/(-6). Let k = -1118 + 1118. Which is bigger: o or k?
o
Suppose 0 = 49*f - 61*f - 3108. Is f less than or equal to -259?
True
Let g be (1/51)/((-2)/(-4)). Let b(t) = t**3 - 7*t**2 - 22*t + 35. Let y be b(9). Which is greater: y or g?
g
Suppose -5*v + 3*a + 1680 = -0*a, 4*v = -a + 1327. Which is smaller: 2/3 or v?
2/3
Suppose 18*d = 4*d - 14. Is d less than or equal to -2/2207?
True
Suppose a + 9 - 6 = r, -5*a + 1 = -r. Let j = 392 + -22342/57. Which is bigger: j or a?
a
Suppose -2*i - 3*p + 11 = -8*p, 2*i = 4*p + 8. Let b = 8 + 12. Is i at most as big as b?
True
Let o = 1 + 18. Let q = o - 17. Which is smaller: 2/29 or q?
2/29
Let p = -1/33 - 28/165. Let x = 0.4 + -3.4. Let v = x + 5. Which is bigger: v or p?
v
Suppose 12*y - 16 = 8*y. Suppose d = -d - y. Let r = 3 + d. Is r less than or equal to 4?
True
Suppose 2*v = v + 4. Let j(d) = -d - 6 - 2 - 10*d - v + d**2. Let k be j(12). Which is smaller: 2/7 or k?
k
Suppose 3*a + 9 = 0, 5*a + 270 = -h + 4*h. Let s = 86 - h. Is -6 != s?
True
Let k = -206.5 - -211.9. Which is smaller: -0.04 or k?
-0.04
Let w(j) = 5*j**2 + 10*j + 15. Let n be w(-2). Let c = 17 - 3. Which is smaller: n or c?
c
Let u(l) = -6*l + 30. Let c be u(8). Let k be -1 + (-9)/((-9)/(-14)). Which is greater: c or k?
k
Let x be ((-7)/(-133))/(4/(-36)). Are x and -1 unequal?
True
Let i = 3179/15 + -212. Let u(c) = -c**3 - 37*c**2 - 67*c + 104. Let v be u(-35). Do i and v have the same value?
False
Let s = 1449 + -13024/9. Which is smaller: s or 2?
s
Let o(a) = -a + 1. Let w be o(-3). Suppose -2*i + 5*z = -5*i - 22, -z = w*i + 1. Let t be (-4)/90 + (-2)/5. Which is greater: t or i?
i
Let d(p) = p**2 + 61*p + 225. Let v be d(-57). Is v > 79/2?
False
Let v(r) = -r**2 + 26*r - 161. Let h be v(11). Let a be (-3)/(-6) + (-10)/(-4). Let g = a - h. Which is smaller: 2/11 or g?
g
Let d be 70/105 - (-1)/(-3)*-4. Let b be -4 - (-3)/2*d. Which is smaller: -9/4 or b?
-9/4
Suppose 3*t - 131 = -2*v, -v + t = -5*v + 287. Let l be (v/(-4))/((-1)/(-4)). Is -75 at least l?
False
Let d = -3 + 2.94. Let j = d + -1.94. Let c = -4232.1 - -4232. Which is smaller: c or j?
j
Let r be 12/(-8)*16/12. Let f be r/((-28)/8 - -4). Which is smaller: f or -2?
f
Let m be 8/10*20/(-8). Let c = 1370 - 17831/13. Which is smaller: c or m?
m
Let y = 3.1 + -2.85. Let d = 0.55 - y. Let w = d + -0.32. Is w equal to 1/2?
False
Let p be 12/(-30)*66/4. Let b = p - -393/55. Is 1 >= b?
True
Let h = 0.023 - 76.023. Let s = h + 76. Which is smaller: -5 or s?
-5
Let b(o) = o**3 - o - 23. Let m be b(0). Let f be ((-24)/(-9) - 4) + -11*14/6. Which is bigger: f or m?
m
Let k be 2/((-18)/(-81)) - 239. Which is smaller: -232 or k?
-232
Let g = 22 - 21.91. Let x = 1.19 - g. Is x less than -2/3?
False
Let t = 11 + -1. Suppose -7*u + 9*u = t. Suppose u*k + 6 = 4*k. Which is bigger: k or -5?
-5
Let t(a) = -a**2 + 29*a - 10. Let j be t(27). Which is smaller: 41 or j?
41
Suppose 3*u - 4*l = 493, 0 = 2*u + 2*u + l - 651. Let h be u/(-6) - 3/(-18). Let q be (h/90)/(6/5). Which is smaller: q or 1?
q
Let c(a) = a**3 + 7*a**2 + a + 6. Suppose -41 = 3*b - 4*g, -5*g - 39 = 2*b - 10*g. Let m be c(b). Is m bigger than 1/5?
False
Let j(k) = k**2 + 2*k + 2. Let f be j(-2). Let a = 0 - -3. Let n be f/a*(-6)/2. Which is greater: n or 9?
9
Suppose 10*y - 160 - 590 = 0. Is 73 smaller than y?
True
Let i(v) = -v**2 - 3*v + 6. Let a be i(0). Let j = -7 + a. Let y be -1*1/4 - 0. Which is smaller: y or j?
j
Let u = -0.313 - 2.687. Is -57 at most u?
True
Suppose -2*a - 2*u = 42, 5*u = a + 7*u + 24. Is -20 less than a?
True
Let u(j) = -17*j - 54. Let v be u(-2). Let y be (-4585)/231 + 2/11. Which is smaller: y or v?
v
Let d(v) be the third derivative of v**5/60 + 11*v**4/12 + 11*v**3/6 + 7*v**2. Let o be d(-20). Which is greater: o or -30?
o
Let o(m) = -m - 14. Let