l**5/60 + l**4/24 - 25*l**3/6 - 5*l**2. Let k be s(0). Let x = k - -14. Are x and -12 unequal?
True
Let c = 23291/6 - 3865. Let n = -16 + c. Which is bigger: n or 2?
2
Let m(a) = -6*a + 322. Let v be m(10). Is v > 260?
True
Suppose 5*o = -1 - 4. Let n be ((-1)/(-82))/(o/(-8)). Is -1 > n?
False
Let g(x) be the first derivative of -x**3/3 + 5*x**2/2 - 6*x - 6. Let p be g(4). Suppose -4*f - 6 = 5*d, 1 + 7 = -2*f. Which is smaller: d or p?
p
Suppose -3535 = -11*o + 18*o. Which is bigger: -504 or o?
-504
Let r = -10407 - -10411. Let u = 144/7 - 124/7. Which is smaller: r or u?
u
Let n = -1.048 + 0.048. Let d = 1.4 + n. Which is bigger: d or 0.04?
d
Let n = 6 - 4. Let h = 30.32 + 0.68. Let v = h + -31.1. Is v bigger than n?
False
Suppose -2*h = -21 + 5. Let l be (h/(-6))/(-4)*6. Let w = 8194/5115 + -2/1023. Which is smaller: w or l?
w
Let j = -505440 + 5587566/11. Let t = j - 2294. Let m = -226 + t. Which is greater: m or 0?
m
Let j(z) = z + 4. Let h be 2 - (-1)/3*-3. Let u be (-3)/(-2 + h) + -6. Let v be j(u). Which is smaller: v or -3/11?
-3/11
Let x(s) = -s**2 - 16*s + 17. Let m be x(-17). Is 0.35 != m?
True
Let k be (0 - (-2)/(-23))*(-143)/(-22). Which is smaller: -1 or k?
-1
Let g(q) = q + 9. Let a be g(-5). Suppose -m = a*m - 5. Let o = -7 + 4. Is o >= m?
False
Let b = 327 + -436. Which is smaller: -3 or b?
b
Suppose 5*k + 4*x + 33 = 0, -3*k + x = -6*k - 24. Which is bigger: k or -7?
-7
Let r(w) = -w - 6. Let b be r(-9). Suppose -2 = b*i + 2*m - 4*m, 0 = -3*m + 12. Suppose i*u - 3 = z + 1, -4*u = z - 8. Is 2 at least u?
True
Let n(c) = -c**3 + 5*c**2 + 4*c - 8. Let t be n(5). Let r = t + -11. Let z be (-2)/4 + 1/2. Is r at least z?
True
Suppose 0*c = 2*c. Which is smaller: c or 4/35?
c
Let y(w) = 28*w**3 + 2*w**2 - 2*w + 1. Let l be y(1). Suppose 2*u = -5*u. Suppose u = -3*v - 5*x + 77, 0 = x + 3 - 1. Is v != l?
False
Let h = 88 + -85. Let n be ((-12)/(-5))/(4/20). Is n >= h?
True
Let u(b) = -16*b - 1055. Let d be u(-66). Which is smaller: 33 or d?
d
Let b be -2 + 2 + (-38 - -20). Is b at most -12?
True
Let s = -0.105 - 48.895. Let r = 51 + s. Which is greater: 0 or r?
r
Let g = 1044 - 1121. Which is bigger: -76 or g?
-76
Let x = 0 - 6. Let p = -651 + 649. Let k be (-1)/p*(-10 - x). Is k greater than -11/5?
True
Let p = -36 + 76. Let a be (28/6)/(p/12). Let g(m) = m**2 + 3*m - 2. Let n be g(-4). Is a greater than or equal to n?
False
Let t(f) = -17*f + 140. Let y be t(7). Is 99/5 > y?
False
Let x be 2/(-8) - (-2 - (-344)/160). Is -44 less than x?
True
Suppose 16*f - 13*f = 102. Suppose 5*o - 10 = -s - f, -5*o - 15 = 0. Which is smaller: s or -7?
s
Suppose 5*d = -2*f - 5, -5*d + 35*f = 32*f + 5. Which is greater: -2/25 or d?
-2/25
Suppose 0 = 2*r - 4*d - 9 - 11, -2*r + d = -5. Suppose -4 = -2*l - r*l. Is l greater than 2?
False
Suppose 0 = -22*c - 191 - 821. Which is smaller: 0 or c?
c
Let q be (-5)/((-8748)/(-465) + -1). Let z = 2/251 + q. Is -1 bigger than z?
False
Let r(z) = 3*z. Let x be r(-1). Suppose 0*n - 4*n = 8, 2*m + 12 = -4*n. Let u be (1 + x)*m/(-4). Is -1/11 equal to u?
False
Suppose 4*n - 15 = z, -3*n = -0*n + 2*z - 14. Let l = -8 + n. Let x(t) = t**2 + 2*t - 1. Let p be x(l). Which is smaller: p or 8?
p
Let n = 3 - 4. Let o be (3/6)/(30/(-8)). Let h = o + -1/5. Which is bigger: h or n?
h
Let n = -5 + 6.5. Let v = 0.13 - 4.63. Let h = v + n. Do h and -3 have different values?
False
Let i be ((-9)/3)/((-3)/4). Let o be (1/(-8)*-3)/27. Let u = 239/72 + o. Which is greater: i or u?
i
Let l(y) = y**3 + 5*y**2 - 6*y + 3. Let g be l(-6). Suppose 5*c = g*f - 17, f - 2*c - 11 = 4*f. Let a = 347/264 - 14/11. Are f and a equal?
False
Let j = -689 - -240463/349. Which is smaller: j or 0?
0
Let i(d) = d**2 + 22*d + 56. Let f be i(-3). Which is greater: -3/124 or f?
-3/124
Suppose -2*h + 15 = f + 16, -4*f - 5*h - 4 = 0. Let y be (-2)/(-17) - (0 - -1). Which is smaller: f or y?
f
Let f be 32/(-26)*255/(-340). Suppose 0 = 3*k + 3*h + 1 - 16, -3 = 5*k - 2*h. Which is smaller: k or f?
f
Let z(s) = 6*s - 55. Let d be z(12). Let b be (-15)/d - ((-294)/102 + 3). Let x = -7/3 - -209/87. Which is bigger: x or b?
x
Let j be (-581)/(-7) + 2*-2. Let c = 73 - j. Is -6 equal to c?
True
Let o = -3 + 6. Let k = o - 2. Let q = k + 0. Which is smaller: 1/3 or q?
1/3
Let k = -147/5 - -1901/65. Which is bigger: k or 0.033?
0.033
Let n(k) = k + 10. Let c be n(-8). Let h be (-3)/2 + 3/c. Let d = 5 - 4. Which is smaller: h or d?
h
Let f(v) = 116*v**2 + 10*v - 1. Let x be f(-1). Which is smaller: 107 or x?
x
Let t = 0.42 + -0.2. Which is smaller: 3 or t?
t
Suppose -m - 1 = 4*o - 9, 0 = -2*o + 4. Suppose m*v = 3*a + v - 20, -2*v = -4. Is 17/3 less than or equal to a?
True
Let b be -3*4/(-66) + 14/44. Is b greater than 0.14?
True
Let g = 2 + 21. Let p = g - 38. Which is greater: -13 or p?
-13
Suppose 8*f = 7*f - 2*z + 126, -z - 138 = -f. Let g = -461/3 + 1759/6. Let s = f - g. Which is greater: s or -7?
s
Suppose 0 = -5*p + 3*t + 1900, 3*p + 3*t - t = 1140. Let s be (-310)/p - 2/(-4). Which is greater: -0.1 or s?
-0.1
Let u = -41 + 46. Let j be (-1 + u)/(-26 - -24). Is -1/8 greater than j?
True
Let u = 113 - 191. Let n = -83 - u. Is n <= -5?
True
Let t = -1/3383 + -6743/77809. Suppose 1 = z - 4, 0 = -5*n - 4*z + 25. Which is greater: n or t?
n
Let r(f) = 2*f**3 - 4*f**2 + 3*f. Suppose -d + 4*c = -0*d + 10, -4*c = -12. Let g be r(d). Let k = -12 - -18. Are g and k unequal?
False
Let w = 20 - 47. Let k = w + 27. Let r = 2/1085 + -1242/1085. Which is greater: k or r?
k
Let n be (-2 - 0)*(-4 + (-150)/(-38)). Which is smaller: n or 6?
n
Let h = -34 - -8. Is -25 != h?
True
Let z = 895 - 1001. Does -109 = z?
False
Let b(p) = -9*p + 396. Let u be b(44). Is 4/61 < u?
False
Let t = 32.98 + -29. Let i = 0.02 + t. Let b be (4 + 10/(-3))*3. Which is smaller: b or i?
b
Let t(k) = 4*k + 27. Let w be t(11). Let a = -43 + w. Which is smaller: a or 27?
27
Let q be (-2139)/45 + (-2)/(-6). Let f = 47 + q. Does 0.05 = f?
False
Let t = 19 + -12. Let a = t - 14. Is a at least as big as -7?
True
Let c be (5/(-70))/((-9)/(-274)). Let t = c - -17/9. Let r = -5 + 5. Which is bigger: t or r?
r
Let s be (0 + -2 - -4) + -10. Let q(p) = -p**3 - 7*p**2 - 5*p - 2. Suppose 3*v - r = 4*r - 38, 4*v - 4*r = -40. Let b be q(v). Is s equal to b?
True
Suppose -d - 5*y = 10, 2*y - 5 = -3*d - 9. Is d not equal to -2/301?
True
Let f be (-6)/(-15) - ((-1944)/15 - 2). Suppose -5*l + 67 - f = 0. Is -13 smaller than l?
False
Let r be ((-7 - -16) + -3)*(1 + -16). Is r at most as big as -91?
False
Suppose -q + 6 = 5*q. Let u = 4 + 3. Which is smaller: q or u?
q
Let b = -31 + 22. Suppose 2*d + 34 = -4*c, c - 5*d - 15 = 4*c. Let u = b - c. Is u greater than 2?
False
Let q be (4/10)/((-4)/20). Let k be 408/56 + q/7. Let d be ((-2)/4)/(k/16). Is -1 not equal to d?
True
Let s = -20 - -10. Let a be (0 - 3)*168/(-72). Suppose -15*v + a*v = 72. Which is greater: v or s?
v
Let r(z) = z**2 - 3*z - 8. Let g be r(-3). Suppose -82 = -g*p - 2. Which is bigger: p or 6?
p
Let a(u) = -u + 6. Let v be a(7). Let r be (3/(-3))/(17/(-4)). Is r less than v?
False
Suppose -l + 106 = 3*l + 5*q, -100 = -4*l - 2*q. Let f = 129 + -89. Let w be 22/10 - l/f. Is w at least 1?
True
Let w = -15.18 + 15. Let n = w + -0.12. Which is smaller: n or 5/3?
n
Let y be (-5 - (-140)/42)*3*1. Is y greater than or equal to -100/19?
True
Let l(p) = -p**2 + 6*p + 7. Let t(o) = 2*o**2 - 12*o - 14. Let h(u) = -5*l(u) - 3*t(u). Let j be h(7). Are 1.2 and j unequal?
True
Let f be 1098/(-24)*(-32)/(-12). Which is smaller: -123 or f?
-123
Suppose 5*f + d = 2*f + 88, -2*f + 60 = d. Suppose -33*a - 30 = -f*a. Do a and -6 have different values?
False
Suppose w - 3*s = -4, -s - s = 2*w. Let i be -8 + 16 - 431/54. Which is smaller: w or i?
w
Suppose -3*o = j - 278, 4*j = o - 0*j - 84. Suppose o + 148 = -4*v. Let u be (8/v*3)/(-1). Which is smaller: 1/4 or u?
1/4
Let g = 3 + 0. Suppose -1 = -g*r + 2. Let x be 132/(-225) - 2/(-3). Is r < x?
False
Let o = -1.158 + 1.258. Do o and 25/9 have different values?
True
Let u = -14.73 + -0.27. Let o = -139 - -41. Let r = o - -488/5. Which is greater: u or r?
r
Let l(d) = 2*d + 9. Let z(c) = -c - 11. Let t be z(-7). Let w be l(t). Let u be 4/(-6) - (-86)/156. Which is smaller: u or w?
u
Let u be (-6)/33 + (3 - (-1753)/(-99)). Whi