8.38 - -1358. Is -2 smaller than g?
True
Let j(v) be the first derivative of v**4/4 + 2*v**3/3 - 7*v**2/2 - 5*v - 1. Let x be j(-4). Let l(r) = 18*r + 26. Let m be l(-2). Which is smaller: x or m?
m
Let p be ((35/(-7))/1)/28. Is p >= -1?
True
Let c = 31 + -19. Let f be ((-14)/(-6))/((-245)/(-70)). Is c < f?
False
Let s be (0 - 2)/(4/(-2)). Let z be 5*(4/(-10) + 14/10). Suppose -3*i + z = -1. Which is greater: s or i?
i
Let m(f) be the first derivative of f**4/4 - 2*f**3 + f**2/2 + 4*f - 1. Let b be m(6). Let u = -7 + b. Is u at most as big as 5?
True
Let r(o) = o**3 - 10*o**2 - 13*o + 8. Let j be r(12). Suppose -11*t + t - j = 0. Does -15 = t?
False
Suppose 17*c + 174 = 23*c. Is c >= 34?
False
Let b = 18 - 29. Let x = -173 - -518/3. Are b and x non-equal?
True
Let m be 4 + (3 - 3) - 1. Suppose 4 = -6*p + m*p + x, -p - 5*x = 12. Let k be 0/p + 3 + -3. Which is smaller: -5 or k?
-5
Let u = 217/307 - 1338504/2149. Let q = 621 + u. Is -1 less than or equal to q?
False
Let h(z) = z**3 + 46*z**2 + 168*z - 12. Let d be h(-42). Does d = -184/15?
False
Let w = -18 + 6. Let c be (-1 + 0)/((-2010)/w - -1). Which is bigger: c or -1?
c
Let r be 2 + (-2)/3 + (-270)/6075. Is 0 at least as big as r?
False
Let q(o) = o**3 - 2*o - 1. Let x be (-5 + 6)/((-3)/3). Let d be (x/(-4))/(7/(-28)). Let b be q(d). Do b and 0.8 have different values?
True
Let d(y) = -y**3 - 63*y**2 + 74*y + 418. Let j be d(-64). Which is greater: j or -662/3?
-662/3
Let z = -1054 + 988. Are -64 and z nonequal?
True
Let n = -31 + 57. Let k = n - 38. Which is smaller: -13 or k?
-13
Let b = 0.0347 - -0.0653. Is 137 equal to b?
False
Let f be -3*3/18*1. Let k = -2.128 + 0.158. Let t = -2 - k. Which is smaller: t or f?
f
Let f be 60/210 + (-4251)/7. Which is smaller: f or -608?
-608
Let i(o) = 6*o**3 - 3*o**2 + 3*o + 1. Let d(a) = 6*a**3 - 4*a**2 + 4*a + 1. Let v(j) = -3*d(j) + 4*i(j). Let w be v(1). Let p be w/2*3/(-7). Is -2 > p?
False
Let o(p) = p**3 + 21*p**2 + 79*p + 29. Let q be o(-17). Is q > -158?
False
Let z be (-22)/(-10) - (-1 + 3). Suppose -3*b = -b - 4. Suppose 0*g = b*g - 2. Which is smaller: g or z?
z
Suppose 0 = z - 0 - 21. Which is bigger: z or 18?
z
Let h be 29/7 - (-2)/(-14). Let y be (34/(-5) - -3) + h. Which is bigger: y or 0?
y
Let i = -0.0602 + -0.0398. Does 68 = i?
False
Let r be 53 + ((-14)/10 - (-2)/5). Let g = r + 3. Is g less than or equal to 54?
False
Let v be 0 - ((-2)/(-5) - 0). Let q = -0.9 + 23.9. Let y = q - 23.1. Are v and y unequal?
True
Let s = 514 + 204. Let m = s - 19384/27. Is m <= 1?
True
Suppose -3*s + 3 = -27. Let c = 117 + -106. Are c and s unequal?
True
Let x be (-2)/8*(-18 + 6). Suppose -x*q + 3*h + 5 = -7, 3 = -3*q - 2*h. Is q >= -1/7?
True
Let w = -1 - -1. Suppose -2*f = -2 - w. Let s be ((-6)/33)/(10/15). Is f < s?
False
Suppose -11*i = -9*i + p - 159, -p = 1. Let h = 87 - i. Suppose o - 3*o = g - 12, 0 = g + 3*o - 15. Which is smaller: g or h?
g
Let o = -0.8 - 0.2. Let m = 0.16 + 3.84. Let x = m + o. Which is smaller: 0.3 or x?
0.3
Let q = 69 + -103. Suppose l = 5, 3*d - 2*d - 5*l + 1 = 0. Let k = d + q. Which is bigger: k or -11?
k
Let u(y) = y**2 - 11*y + 13. Suppose -6*s = -5*s - 10. Let f be u(s). Which is smaller: 8/5 or f?
8/5
Let f(k) = -k + 7. Let m be f(5). Suppose -m = 4*u - 2*u. Let j(s) = 2*s**2 - s. Let r be j(u). Which is smaller: 2 or r?
2
Suppose -23 = 5*n + 2. Let p(m) = 17*m - 22. Let d be p(-4). Let z = d + 84. Which is greater: n or z?
n
Let o = 5157/13 + -397. Let k = o + -1/39. Are k and 0.1 non-equal?
True
Let b(o) = -o**3 + 8*o**2 + 2*o + 4. Let z be b(8). Let s = 22 - z. Let w = s + -3. Is w smaller than -0.1?
True
Suppose -3 = 5*o - 23. Let a be o + -12 - -10 - 5/2. Is a <= -1/9?
True
Let i = 335 - 383. Do i and 4 have the same value?
False
Let c(d) = d**3 - 2*d**2 + 3*d. Let p = 8 - 6. Let f be c(p). Let s(t) = t**3 + 7*t**2 + 7. Let k be s(-7). Which is bigger: k or f?
k
Let w = -98805/127 + 778. Is w > 0?
True
Let h = 1002 + -959. Which is smaller: 33 or h?
33
Let t = 62/5 - 13. Let b = -2 - -5. Suppose y + 2*n - 1 = -10, n + 7 = -b*y. Is t greater than or equal to y?
True
Suppose d - 11 = -5*z + 2, z + 7 = -5*d. Let u be (3 - 3)/(d/(-2)). Let r = -2/539 + 1124/12397. Which is smaller: r or u?
u
Let f be -7 + 5 - (-6 + (0 - -1)). Suppose f*t - t + 8 = 0. Let r(h) = -h - 2. Let b be r(3). Is b at most t?
True
Suppose -12*a = 5*a + 51. Let o be (3 - -2)*3/(-3). Which is smaller: a or o?
o
Let b be 2/(-12)*(630/15)/(-14). Which is smaller: 92 or b?
b
Suppose -3*s + 11 - 5 = 0. Let j(q) = -q - 11. Let o be j(-5). Let a be o/30 + (-37)/(-35). Are s and a unequal?
True
Let h = 0.6 + -0.6. Let t = 1 - -8. Let m = -9.05 + t. Which is greater: h or m?
h
Let i(h) = -10*h - 2. Let z be i(1). Let s = 60 + z. Suppose 2*w + 2*f + 14 = -10, 4*w + s = f. Is w greater than -11?
False
Suppose 5*b = 3*d + 6, -2*b - 8 = -0*b + 4*d. Is b less than or equal to 3/4?
True
Suppose -s - 21 = w + 3*w, 4*s - 4*w + 4 = 0. Let h be 6/(-7) + ((-30)/(-42))/s. Which is smaller: h or 1/58?
h
Let w = 84.05 + -84. Which is greater: 2/7 or w?
2/7
Let h = 4167 - 1670968/401. Which is greater: -1 or h?
h
Let o = -8 + 12. Let m(r) = -r - 4 - 2 - 3 + o. Let s be m(-5). Which is bigger: s or 1/2?
1/2
Let y be 35*(-2)/(-3)*9. Let b be 3/5 - y/(-25). Let g be 1/3 + 3/b. Which is smaller: 8 or g?
g
Let a = 2715/6808 + -51/184. Is a > -1?
True
Suppose -f = -5*v - 6*f - 80, -2*f + 4 = -v. Which is bigger: v or -21?
v
Let s(p) = p**2 + 8*p + 18. Let y be s(-7). Let q be (-90)/(-10) - (-1 - 1). Is y at most as big as q?
True
Let i be (-7)/9394*1396 - (-2)/(-22). Is -1 at least as big as i?
True
Let s be (1192 - (-96)/(-8)) + 0. Is 1180 at least s?
True
Let h be 1691 + (-3 - 8) + 6. Is h greater than or equal to 2/3?
True
Let r = -1279 + 1271. Which is smaller: r or -0.2?
r
Let m = 5/261 - 4201/1305. Let i be (-7 - -4)*(0 + 1). Which is bigger: m or i?
i
Let c be (-1)/(36/128) + 96/(-16). Which is bigger: c or -9?
-9
Suppose -184*g = -179*g - 135. Let k = -63 + 91. Which is smaller: g or k?
g
Let z = -21 - -57. Let u = -23 + z. Which is smaller: 0.1 or u?
0.1
Let n = 0.1513 + 15.8487. Which is smaller: -4 or n?
-4
Let j(s) = s**3 - 7*s**2 - 15*s. Let g be j(9). Let p = g + -19. Is 6 at most p?
True
Suppose -540 = -2*b - 588. Is b bigger than -12?
False
Let b(h) = -h**3 + 8*h**2 - 6*h + 3. Let i be b(7). Which is bigger: 69/8 or i?
i
Let r be 86/(-30) + (-1)/3. Let n = r - -326/105. Is -1 not equal to n?
True
Suppose -3*s + 5*h - 74 = 0, -10 = -3*s - 3*h - 100. Let t = 28 + s. Is t at least 1/24?
False
Suppose -v = -13 - 6. Suppose 3*z + 7 - v = 0. Suppose w = 5*o - 3*w - 11, 5*w + 1 = 2*o. Which is greater: z or o?
z
Let d(g) = -g**3 + 5*g**2 + 5*g + 5. Let j be d(6). Let c = 31 + -30. Let o be c/(-1) - j*7. Is o at least as big as 5?
True
Let r(b) = -b**3 + b**2 + 3*b - 2. Let i be r(0). Let y = -4 - -20. Let m = y - 18. Is m equal to i?
True
Let w(u) = -u**3 + 9*u**2 - u + 8. Let y be w(9). Let a be (-18)/225*(y + 6). Let p = -0.9 - -1.7. Which is smaller: p or a?
a
Suppose 5*d + 38 = k - 338, -2*d + k - 151 = 0. Suppose 15 = -3*t, u - 2*t = -0*u - 66. Which is smaller: d or u?
u
Let b be (1 - 1)/(-2 - -1). Let j be 6*-1*1*(6 - 7). Suppose m + 7 = -2*q - 2*m, -2*m - j = b. Which is smaller: -2/31 or q?
-2/31
Suppose -i - 4*i = n + 33, -10 = 2*n - 4*i. Let q = 11 - 23. Which is bigger: n or q?
q
Let b(l) = l**3 - 17*l**2 + 67*l - 5. Let c be b(6). Suppose 2*v = 3*v - 5*p + 25, -4*v - 75 = 5*p. Let f be 15/v*(3 - c). Is f greater than 2/17?
False
Let f(j) = -4*j**2 + 2*j + 11. Let p be f(4). Let m be (p/(-30))/((-2)/8). Is m bigger than -6?
False
Suppose -3*y - 35 = 10. Let r = 14 + y. Let p = 151/4 + -739/20. Is r at most p?
True
Let m be 0/(3/(9/6)). Let l(p) = -2*p. Let c be l(-4). Let v be (-2 + 3)*(-4)/c. Are m and v nonequal?
True
Suppose 0*s - 12 = -2*s. Suppose -4*k = -s*k. Let p be 1*(13 - k - 0). Which is greater: 23/2 or p?
p
Let o = 0 + -1. Let q be (1*o)/(2/10). Let c be 1*(-339)/78 - 4/26. Which is smaller: q or c?
q
Let d be (-48)/(-10) - 3/(-15). Suppose 0*z + 4*g = 4*z + 4, 0 = d*z + 3*g + 21. Suppose 5*b + 16 = 1. Is b != z?
False
Let h be 0 - -3 - (-1)/1. Suppose -h = 2*c + 2*c. Let z(q) = q**3 - 2*q**2 + 14*q - 22. Let g be z(2). Which is s