. Is -51 less than or equal to l?
True
Let w(u) = -2*u**3 - 5*u**2 - 8*u - 6. Let y be w(-7). Suppose 3*j + y + 79 = 0. Let t be j/60 - (-1 - 2). Is 0 != t?
True
Let u(z) = -z**3 - z**2 + 2*z + 1. Let f(w) = -2*w**3 + w - 1. Let g be f(1). Let s be u(g). Let m = -152/3 + 254/5. Are s and m non-equal?
True
Let l = 0.73 + -0.83. Let x = 43 + -17. Which is greater: x or l?
x
Let t be -1 + 6/(-2) - 3. Suppose 0 = 5*p + 11 - 1, 2*x - 18 = 5*p. Suppose 0 = -x*l - 4 - 4. Which is smaller: t or l?
t
Let v = -11 + 7. Let x = 10 + v. Suppose 0 = 5*r + 19 + x. Is -5 at least as big as r?
True
Suppose 0 = 4*k - 8 - 8. Suppose -k*x = -8*x - 12. Let p be 3 + x/(3/5). Are -2 and p equal?
True
Let p(w) = -w**2 - 4*w + 85. Let b be p(7). Which is smaller: 10 or b?
b
Let l be (-52)/16 + (-3)/4. Suppose -3*z - 40 = -5*a, -2*z - 3*a + 8 = 3. Which is smaller: z or l?
z
Let c(r) = -r - 5. Let u(l) = l**2 - 5*l. Let z be u(5). Let v be c(z). Let x be (0 - 88/12) + 1. Is x > v?
False
Suppose -3*c + 0 = -3. Let x be 12/(c*(-4)/6). Which is greater: x or -19?
x
Let r = 43/28 + -9/7. Let l be 3/((-80)/(-26) + (-2)/26). Which is smaller: l or r?
r
Suppose o - 12 = -6. Suppose -l = -o*l. Is l less than or equal to -2/45?
False
Let o be -2 + -1 + (-2560)/25. Let x = o + 118. Is 14 at most x?
False
Suppose 2*b + 35 + 179 = 3*g, -3*g + b = -218. Which is bigger: 77 or g?
77
Let j = -77.2 - -77.1. Are j and -8 nonequal?
True
Let d = -6 + 8. Suppose -20 = -d*b - 3*b. Suppose -9*v = -0*v - 36. Does b = v?
True
Let x = 155.86 + -156. Let m = x - -10.14. Which is smaller: m or 1?
1
Let q = -209 - -837/4. Does -83 = q?
False
Suppose -5*p + 5 + 0 = 0. Let o(k) = k**3 - k. Let h be o(0). Let y = h + p. Which is bigger: y or 8/9?
y
Let n be (1 - 28/21)/((-1)/3). Which is bigger: n or -1/168?
n
Suppose -5*d = 5, -4*d = -m - 2*d - 11. Let v(o) = o**2 + 14*o + 9. Let c be v(m). Is c smaller than -4?
False
Let s be (-2753637)/36 - (0 - 1). Let r = 76386 + s. Let q = -103 - r. Which is smaller: -1 or q?
-1
Let x = -50 - -168. Suppose -5*q = x + 117. Which is smaller: q or -46?
q
Let c be (7/(-35))/(12/60). Which is smaller: 1/181 or c?
c
Let o(p) = -2*p**3 + 11*p**2 + 3*p + 10. Let c be o(6). Let f be (-2)/(-6) - (-15)/((-180)/c). Is f greater than -0.7?
True
Suppose -66 + 24 = 2*u + 4*p, -3*u - 63 = -3*p. Let n be (-1)/2 - u/(-14). Which is smaller: -4 or n?
-4
Suppose 5*j + g = -43 - 20, 0 = 2*j + 4*g + 36. Which is smaller: j or -17?
-17
Suppose 10*p - 2*p - 16 = 0. Suppose -10 = -2*i - p*t + 116, -t = -i + 57. Does i = 59?
False
Let y = 2089.21 - 2080. Let w = y + -0.21. Let h = 10 - w. Is 0.4 at least as big as h?
False
Let p = 1/73 + 245/3431. Are p and 1 nonequal?
True
Let f be (-8)/(-20) - (0 - 3). Let p be (1 - -3) + -6 + 10. Let v be ((-6)/p)/((-16)/64). Are f and v non-equal?
True
Let d be ((-12)/585)/(52/(-10)). Is -1 < d?
True
Let d = 1354 + -1355. Is d equal to -5/288?
False
Let w(p) = p**2 - 11*p + 20. Let r be w(9). Let c be 525/(-77) + r/(4/6). Is -3 less than or equal to c?
False
Let l be 6 + -8 + -4 + 10. Let s = 0 + -1. Let d be 5 + -1*(2 + s). Is d less than l?
False
Suppose 3*v + 8 = 4*u + 25, 0 = 5*v - 3*u - 10. Let a be 1/7 + 0 + 71/(-399). Is a > v?
True
Let q be (24/9)/(2/(-24)). Are q and -32 nonequal?
False
Let c = 0.211 - -6.789. Which is bigger: -0.4 or c?
c
Let j be ((-2)/81)/((-5)/(-30)). Let o(c) = -c**2 - 2*c + 14. Let a be o(-5). Which is smaller: j or a?
a
Let t = -0.08 + 5.08. Let s = t + 2.5. Let r = s + -0.5. Are -1 and r nonequal?
True
Let m be ((-45)/(-41880))/((-15)/(-20)). Is m != 0?
True
Let u = -335 - -563. Let o be (-4 + -2)*3/u. Are 1 and o non-equal?
True
Suppose 3*h - 2*p = -0*h - 3, 4*p + 1 = -h. Let f be 2 + 10 + 4 + -4. Let g be 24/5*f/(-36). Which is bigger: g or h?
h
Let f be 4500/5 + -1 + -1. Which is bigger: 1 or f?
f
Suppose 10 = 7*w - 11. Let o be 4 + -4 - w*(-3)/(-36). Which is smaller: o or 9?
o
Let o = 5.86 - -3.14. Is -1/7 bigger than o?
False
Let r be ((-4)/(-150))/((-1)/10190). Suppose 6*l - 5*l = 4*q + 280, -5*l + 4*q + 1368 = 0. Let b = l + r. Is 0 > b?
False
Let x = 0.8 - 0.8. Let z(b) = -b**3 + 4*b**2 + 1. Let y be z(4). Which is greater: x or y?
y
Suppose 3*c - 5 = 2*c. Suppose 0 = -c*q + 5*s - 5, 4*q - s = -q - 5. Let x be 18/3*((-474)/120 - -4). Which is bigger: q or x?
x
Let n = 434981/2673 + -1790/11. Let x be (-1247)/(-4617)*7 - 2. Let g = x + n. Is g at most as big as 1?
True
Let u = -3.11 + 1.11. Which is greater: u or 430?
430
Let n = -0.1 + -0.9. Let f = -0.763 - -1.163. Is f at most as big as n?
False
Let k(b) = b**3 - 16*b**2 + 2*b - 32. Let p be k(16). Suppose p = -2*u + r + 27, -48 = -5*u - 3*r - r. Is 12 equal to u?
True
Let g be (-26)/4 + 1/(-2). Let z be (g/14)/(1/(-54)). Let h be 1/(3 + 320/(-108)). Do z and h have the same value?
True
Let v = -5.1 - -5.3. Let a = 1.5 + -16.5. Which is smaller: a or v?
a
Let h be 6/((-10)/6*306/(-340)). Is 3 less than h?
True
Let b(w) = 11*w**3 - w**2 - 8*w + 6. Let m be b(-3). Is m greater than or equal to -276?
True
Let w be 0 + (32/24 - 3/9). Do 2/235 and w have different values?
True
Let y be 0 + (7 - 4401/630). Is y at most 0?
False
Let c = -51 - -27. Let f be 5/(10/(-4)) - c. Is 23 not equal to f?
True
Let i be (-1 + -249)*12/(-90). Let q = i - 33. Are q and -1 equal?
False
Suppose -4*j + 9 = 3*w, 0 = 2*j - 5*w + 19 - 4. Let x = 202 + 368. Let z be (-35)/x + 2/12. Which is greater: z or j?
z
Suppose 4*k - 4*p = -p - 33, -5*p = 2*k - 3. Let u(h) = -h**3 - 5*h**2 + 5*h - 7. Let r be u(k). Is r != -2/13?
True
Let p(g) = -3*g**3 - 2*g**3 + 6*g**3 - 5*g**2 + 2*g**2 + 1. Let n be p(0). Which is bigger: -1 or n?
n
Let i be 4/(-6)*6/(-4). Let q be (i - 2)*-1*0. Let y be (-5 - -9 - 18/4)/1. Which is bigger: q or y?
q
Let c = -24.9 + 27. Let o = c - 4.1. Is o < -1/9?
True
Let y = 31.5 - 31. Let b = y + -1. Is 1/4 at least as big as b?
True
Let l = 1/495 - 0. Which is greater: -1 or l?
l
Let h(w) = 2*w - 8. Let s(j) be the third derivative of j**5/60 + j**4/2 + 5*j**3/2 - 2*j**2. Let a be s(-11). Let z be h(a). Do 0 and z have the same value?
True
Suppose 2*l + 2*p - 127 = -45, 119 = 3*l + 2*p. Suppose 3*b + 17 - 134 = 0. Are l and b unequal?
True
Let o = -10 - 50. Let p be 2/(-4)*o/(-1). Which is bigger: p or -31?
p
Let k = -45 + 30. Let h be k/(-20) - 18/40. Let f = -77 - -76. Which is greater: h or f?
h
Let a(o) = o**3 - 5*o**2 + 4*o - 5. Suppose q + 2*p + 4 = 19, 3*q - 2*p - 5 = 0. Let n = 9 - q. Let x be a(n). Is -7/2 smaller than x?
False
Let j = 1/403 + -815/3627. Are 427 and j nonequal?
True
Let i = -525.937 + 526. Which is smaller: i or 5?
i
Let q = -616 + 615.9. Is 442 < q?
False
Suppose 0 = -5*c - 3*y, 6*y = -4*c + 2*y - 8. Suppose c*f - o = 2*f + 11, 4*f - 2*o = 38. Is 9 smaller than f?
False
Let h = 735/88 + -2087/264. Let n = h + -4/11. Is -1 smaller than n?
True
Let q = -2.26 - 5.64. Let s = 22 + -14. Let a = s + q. Which is greater: 2 or a?
2
Let a be 6 + 1 + (-612)/72. Which is greater: -1/6 or a?
-1/6
Let n(z) = -z**3 - 11*z**2 - 11*z - 11. Let h(s) = -s**2 - 14*s + 5. Let j be h(-15). Let t be n(j). Let l be 1 - 3 - 36/(-22). Is t not equal to l?
True
Let q = 5/18 + 2/9. Let o = -755.03 - -752. Let n = 0.03 + o. Which is greater: n or q?
q
Suppose -22*u = -6*u + 768. Is u bigger than -48?
False
Let l(f) = -f**2 + 4 - 2*f**3 - 3*f - 6 + 5*f**3 + 0. Let j be l(-2). Let b = j + 25. Which is smaller: b or -5?
-5
Let y(w) = 3*w**2 + 9*w. Let s be (1 - 4)*(1 - 0). Let i be y(s). Suppose 0 - 1 = c. Is c equal to i?
False
Let w be (20/1540)/(1 - 13/7). Is w less than -1?
False
Let y be (-60)/112*(-945)/648. Is y smaller than 0?
False
Suppose -2*m - 4*c = -c + 25, -5*m - 46 = 2*c. Which is smaller: 1.7 or m?
m
Let w = -311/780 - 1/780. Do w and -15/8 have different values?
True
Let h = -22 - -29. Let r = -20 - -12. Let p = r + h. Which is greater: p or 0.1?
0.1
Let l(r) = r**3 - 10*r**2 + 9*r - 3. Let a be l(9). Let m be -3 - -2 - 3 - a. Which is bigger: m or 2/47?
2/47
Let d be -2 + 3 + 24/16*-6. Does d = -59/9?
False
Let k = 1 + 5. Let m = 14.8 + -20.9. Let g = m + k. Which is greater: 1/4 or g?
1/4
Let n(v) be the first derivative of v**4/12 - 3*v**3/2 - 7*v**2 + 4*v + 2. Let k(j) be the first derivative of n(j). Let a be k(10). Is a bigger than -4?
False
L