 r(7). Is l at most -14?
False
Let w = -15 + 18. Let c = 36 + -36.3. Is c > w?
False
Let l = 92 - 90. Suppose 8*n - 2 = -l. Let v be (4/6)/(32/(-18)). Is n equal to v?
False
Let j(t) be the first derivative of -t**3/3 - t**2 + 7*t - 8. Let k be j(-4). Let g = -0.04 - -10.04. Which is greater: g or k?
g
Suppose -5*k = -5*h + 35, -4*k - 27 = -3*h + k. Suppose 4*y = h*v + 32, -5*y + 3*v - 20 = -68. Which is bigger: y or 1/4?
y
Let y(d) = -d + 3. Let j be y(5). Let a be 2/(-6) - (-470)/195. Let w = -8/65 - a. Is w <= j?
True
Let l = 980 - 979.8. Which is greater: 2/747 or l?
l
Let j = 157 - 157.3. Let w be (-4)/14 - (-3)/(-14). Which is bigger: j or w?
j
Let r(z) = 3*z**2 - 16*z - 15. Let m be r(12). Is 225 at most as big as m?
True
Let h be (-159)/(-275) - -3 - -2. Let o = 44/25 - h. Is -5 at least o?
False
Let m be 630/(-7)*(-143)/(-33). Do -388 and m have different values?
True
Let r be (1/12)/((-2)/(-4)). Let x = -0.288 + 119.288. Let j = -121 + x. Which is smaller: r or j?
j
Let i = -373864369/227 + 1646995. Let u = 1/1135 - i. Let f = -15 - u. Which is bigger: -0.05 or f?
f
Let o = -31.94 - 0.06. Let u = o + 31.9. Which is smaller: -1/30 or u?
u
Let k be (-2)/((15/11250)/((-2)/4)). Which is smaller: 749 or k?
749
Let j(t) = -t**2 + 5*t + 15. Suppose -14 = -4*r + 14. Let n be j(r). Let x = 294 + -4412/15. Which is smaller: x or n?
x
Let b(h) = 2*h**2 - 21*h + 27. Let d be b(11). Suppose -38 + d = 7*m. Which is bigger: 1/54 or m?
1/54
Suppose -3*b - 5*y - 40 = -1, 2*b - 4*y = -48. Let a be -5 - ((18 - 4) + 0). Is b at most a?
False
Let x = 87 - 84. Let m = -8 - -10. Is x at most m?
False
Let w = 11 - -24. Let c = -34.9 + w. Let v = 6.7 - -2.3. Is v > c?
True
Suppose 0 = 7*u + 56. Is u at least -7?
False
Let r = -368/7 + 53. Let t be 86*(4/(-8) - 0). Let a = t - -44. Are a and r equal?
False
Suppose x + 0 = 2. Let l be -1 + 3 - 26/x. Let f = -1699 - -1700. Is f at most as big as l?
False
Let l be (17/(-2) + 10)/(8 + -1). Is l at least -2?
True
Let v = -2/11737 + -26663/70422. Let o = -6/11 - v. Let l be 4/3 - 1/3. Which is bigger: l or o?
l
Suppose 0 = 3*r + 115 + 53. Let t be r/18 + 0 + 3. Let p be 1*-3 - (-7)/2. Which is greater: p or t?
p
Let m = 8.43 + -9. Let d = 0.46 + m. Which is bigger: -0.1 or d?
-0.1
Suppose -5*v = 2*y - 31, 0 = y + 6*v - v - 18. Let h = 8 - y. Let c = 2 + h. Which is bigger: 0 or c?
0
Let v be (1/1)/((-9)/(-18)). Let d = 39 + -32. Suppose v*b = b + d. Is b greater than 1?
True
Let b be (-31)/6 - 10/(-15). Suppose 0*s + 56 = -14*s. Do s and b have the same value?
False
Let k be (18 - -1)*(5 - 6). Let r = 117 + k. Let z = r + -1664/17. Which is bigger: z or 0?
z
Let w = -711 - -712. Which is smaller: -315/2 or w?
-315/2
Let o be (-1 + (-9)/(-12))*(17 - 17). Is -6/373 >= o?
False
Let r = -1.11 - -2.2. Let q = -1 + r. Let z = 1 - 1. Which is bigger: z or q?
q
Let c be ((-3)/7)/(10/35). Suppose -2*q + 1 + 1 = 2*y, q = -5*y + 1. Suppose -r = -y*r + 3. Which is bigger: c or r?
c
Suppose d + 3*d = -y + 15, 0 = -y - d + 24. Suppose -24 = 3*j - y. Which is greater: 5 or j?
5
Let i(d) = -d + 7. Let b = 5 + -6. Let p(x) = -8*x**3 - x**2 + x + 1. Let y be p(b). Let f be i(y). Which is smaller: 10 or f?
f
Let c(m) = 2*m**3 - 6*m**2 + 19*m + 1. Let b be c(5). Which is bigger: 195 or b?
b
Suppose 3*q - 383 = -4*l, -l - 365 - 38 = -3*q. Suppose -107 - 312 = -3*g + 5*b, 0 = 5*g + 2*b - 657. Does q = g?
True
Suppose 2*i + 3*i + 5 = 0, -2*m = -3*i - 9. Suppose m*b = 38 + 16. Let a = 30 - b. Is 10 greater than a?
False
Suppose 2*c - 8 = 0, 2*h - 6*h - 236 = c. Let u be -3 - (-1268)/h - (-4)/30. Is u > -24?
False
Let d be 1/((-2)/18*-3). Let k(u) = -4*u**3 - 2*u**2 - u. Let y be k(-1). Suppose y = l - 2*s, -d*s - 9 = 2*l + l. Which is smaller: 0 or l?
l
Let d(v) = -38*v + 210. Let u be d(6). Suppose -p + 154 = -156. Let l be 4/u + p/18. Is l at least as big as 17?
True
Let c = 21 + -17. Suppose -7 = -3*g - c. Is -1/21 > g?
False
Suppose -4*f - 3*c = -63, 5*f - 2*c = 2*f + 43. Let b be (-1326)/f - (-4)/10. Which is greater: -87 or b?
-87
Let t be 4*(-392)/208*1. Which is smaller: t or -7?
t
Let q be 5*(-2)/(-8)*4. Suppose -q*a - 57 = -12. Let b be (-52)/a - (-22)/99. Is 5 at least b?
False
Let u be 3 + -18 + 5 - -1. Do u and -12 have the same value?
False
Let c = 14 - -9. Let p = c + -22.68. Let d = p - 2.32. Are 1 and d non-equal?
True
Suppose 32 = -4*v + 5*c - 94, c + 27 = -v. Let g = -34 - v. Is -19/3 greater than or equal to g?
False
Let c = -176 + 23063/131. Which is bigger: c or 0?
c
Let s(w) = -w + 23. Let g(c) = -3*c + 68. Let t(a) = -4*g(a) + 11*s(a). Let q be t(22). Let d be (-2)/7 - (-23)/7. Is d less than q?
False
Let n(v) = -v**3 - 2*v**2 + 3*v + 1. Let x be n(-3). Let r be 2/((x - 1) + 2). Let o be r + -1 - 6/(-9). Which is bigger: -0.02 or o?
o
Let s = 50 + -82. Let f = -95/3 - s. Which is bigger: f or -3?
f
Suppose -8 + 6 = -c. Suppose z + c = -0. Let n be z/(-6) - (0 + 1). Which is smaller: n or -2?
-2
Suppose 0 = -3*s - 9, 4*c - 3*s = 2*s + 39. Suppose -c*i = 4*i - 10. Let z be (-2)/(-4) + (-1)/14. Is z >= i?
False
Let p(x) = x**3 + x**2 - 4*x - 3. Let t = -5 - -7. Suppose 4*n - t*a = -4, 3*a + 1 = -5. Let i be p(n). Is i > 1?
False
Let f(m) = m**2 - 18*m + 4. Let j be f(18). Suppose -j*n - 64 = 3*i, 2*n - 2*i = -25 + 7. Let w = n + 19. Is 2 less than w?
True
Let z be 2/(-16) - (4/(-32) - -1). Which is smaller: z or 0.032?
z
Let d be -1*1*(-40)/(-1). Let j = d + 35. Let v be j - (0 - 4) - 0. Which is bigger: v or 1/10?
1/10
Let n be (-2)/(-2) + 12584/(-1496). Is -7 less than n?
False
Let u = 375 + -381. Let r = -3 + 3.5. Are u and r unequal?
True
Let g be 2*3/18*6. Let a be (10/(-3))/(g/(-1 - 5)). Which is smaller: a or 11?
a
Let u = 4 + 11. Let i be (10/u)/((-2)/3). Let v be ((-3)/(-5) - 2) + 42/105. Is v less than i?
False
Let z = -329757/137 + 2407. Is 2 smaller than z?
False
Let b be ((-2)/54)/(3/(-19827)). Let j = b + -245. Which is greater: 0 or j?
0
Let m(f) = -f**3 - 8*f**2 - f + 13. Let b be m(-7). Let g = -317/11 - b. Let k be -2 - -2 - (-6)/1. Which is bigger: g or k?
k
Let l(g) = -4*g + 37. Let b be l(8). Suppose -2 = 2*d - 2*h, 0*h + h + 35 = -b*d. Is d smaller than -7?
False
Let d = 40 - 73. Let g = -33.1 - d. Is -15/7 >= g?
False
Let h = 35557 - 461860/13. Is 30 >= h?
True
Let w be (3 + 13 + -7)*(-1)/(-3). Does -31 = w?
False
Let f = 34 + -29. Let c be (-9 + -20)*1/f. Which is smaller: -5 or c?
c
Let a(y) = 2*y + 13. Let w be a(1). Is 15 > w?
False
Let i be (-2684)/(-14) - (6 - 3). Let d be 189 + (0/(-3))/(-5). Let q = i - d. Is q greater than or equal to -1?
True
Let r be (-26)/(-120) + (-11)/(-44). Is 0 less than r?
True
Suppose -225 + 117 = -2*x. Is 41 smaller than x?
True
Let p = -58.1 - 38. Let k = -96 - p. Let a be 2/(-56) - (-2)/7. Is a != k?
True
Suppose 4*g - 126 = -10*g. Suppose -g*p + 2*p + 14 = 0. Which is smaller: -13 or p?
-13
Suppose 0 = 4*g - 7*c + 3*c, -16 = -5*g + c. Suppose j + 2*x = -4, -g*x - 15 + 5 = 3*j. Is j less than -2/115?
True
Let j = 5/181 - -383/5792. Suppose -4*l + 5*l + 1 = 0. Which is smaller: j or l?
l
Let u be (0 + -1)*(-6)/2. Suppose 6*b - 4*d - 4 = 2*b, 0 = -3*b + 5*d - u. Is b greater than 4?
False
Let z = -13 - -27. Suppose 4*i + 90 = 5*s, -s = -4*i - 11 - 23. Are s and z nonequal?
False
Suppose 10 + 23 = 33*l. Is -5/316 > l?
False
Suppose 0 = -3*p - 6, -3*f + p = -2*p - 6. Suppose f = -11*a - 5 - 6. Which is smaller: -1/26 or a?
a
Suppose 5*j - 91 = -y, -120 + 44 = -4*j - 4*y. Let t be ((-87)/j - -5)/(18/16). Let r(p) = p + 6. Let q be r(-7). Which is smaller: q or t?
q
Suppose 10*k + 82 - 22 = 0. Are k and -40/7 unequal?
True
Let u = 0.2 - 9.2. Let y = 12 - u. Let j = 20.9 - y. Do j and -2/7 have different values?
True
Suppose 2*h = -0*h - 3*m - 28, 4*h = 5*m - 56. Let q(x) = -x**3 + 7*x**2 - 10*x + 9. Let y be q(6). Let o be (-48)/h*(-5)/y. Which is greater: 0 or o?
o
Let n = -11.92 - -12. Let k = 0.52 + n. Let t = 0.9 - k. Which is bigger: -2 or t?
t
Suppose -4*q = 3*r - 37, 3*q - r - 39 = -8. Let y(h) be the first derivative of -h**3/3 + 4*h**2 + 10*h - 4. Let g be y(q). Which is smaller: -11 or g?
-11
Suppose 0 = -3*h - 2651 + 758. Is h bigger than -630?
False
Let g be (1 + (1 - 1))/(-1). Let f be (6 - 3 - 1) + g. Is f bigger than 7?
False
Let d(f) = f**2 - 