0 + x**5/60 - x**3/6 + 3*x**2. Let p be l(-1). Are -1 and p unequal?
True
Let x(k) = -k**3 + 9*k**2 + 10*k + 8. Let r be x(10). Let d = r + -5. Is 8/3 at most d?
True
Suppose -3*u + 4 + 5 = 0. Suppose u = 4*t - 21. Let c be (-4)/18*3*-9. Is t >= c?
True
Suppose 5*j + 20 = -5. Let k be (-23)/j - 4/(-10). Let g(b) = b**2 - 4*b. Let t be g(k). Is 6 smaller than t?
False
Let z(g) be the second derivative of -5*g**4/6 - 2*g. Let x be z(1). Is x less than or equal to -9?
True
Let h = -191/2 + 99. Which is bigger: h or -1?
h
Suppose 2*s = 5*s - 81. Which is greater: 26 or s?
s
Let d be (72/(-30))/((-6)/(-20)). Suppose -26 = -5*j - 6. Let l = d + j. Is 0 > l?
True
Let m be (9 - 4)/5 - (-3 + 5). Let o(p) = p + 6. Let j be o(-6). Let b = j + 0. Which is smaller: m or b?
m
Let z(i) = -8*i - 79. Let c be z(-9). Is c <= -31/5?
True
Suppose 78 = i - 3*i. Which is smaller: i or -38?
i
Let r be (-160)/90 + 0 + 2. Which is smaller: r or -1?
-1
Let w(f) = -f**3 - 3*f**2 + 4*f + 4. Let y be w(-4). Suppose -4*x + 2*x = 2, 4*k = -y*x. Which is bigger: k or -1/4?
k
Let h = 0 - -5. Suppose -h*w = -3*p + 8, 4*w - 4*p = -7 - 1. Is w < 1/5?
True
Let t(d) = -25*d - 2. Let y be t(1). Which is smaller: -26 or y?
y
Let o = 67 - 122. Let s be (11/o)/(2/(-5)). Is 0.01 at most as big as s?
True
Suppose -5*s = -x + 17, 3*x - 5*s - 38 = 3. Are x and 15 equal?
False
Let o = 99 + -102. Does -16/7 = o?
False
Suppose 19*f = 24*f - 5. Does f = -1/310?
False
Let y = -0.12 + -1.88. Let l = -49 + 43. Is y at most as big as l?
False
Suppose -177 = -4*f - 4*n + n, -5*f + 220 = 5*n. Let a be ((-10)/f)/(4/(-6)). Which is smaller: 0.7 or a?
a
Let o(l) = l**2 - 3*l**2 + 3*l**2 + 2 + 9*l + 0*l**2. Let p be o(-8). Let y(t) = 5*t. Let w be y(-1). Is p smaller than w?
True
Suppose 3*b + 2*u - 13 = 0, -15 = -3*b - b - 5*u. Suppose b*a - 3*a = 0. Is 1/2 >= a?
True
Let q = -72 + 42. Is -30 not equal to q?
False
Suppose -3*m - 9 = 27. Is m less than or equal to -3?
True
Let u = -3 - -1. Suppose 0 = 4*t + 4, 4*t - 15 = -2*c - t. Suppose 3*i = 4*a + 5, c = -4*a + i - 3*i. Is a at most as big as u?
True
Let b = -5 - -4. Let s be 1 + 3 + b + -2. Suppose 0 = -g + 3 - 1. Is g at most as big as s?
False
Let t = -17.3 - -20.3. Is t at least 39?
False
Let d = -0.4 + 37.4. Which is bigger: 2 or d?
d
Let l be (4/18 + 8/180)/(-2). Suppose -3*f + 0*f = 0. Suppose 2*r + f*q - 2 = 2*q, 5*r = q + 1. Is l smaller than r?
True
Let a = -11 + 19. Suppose -2*p - 1 = m - 14, 2*p + 3*m - 11 = 0. Which is greater: a or p?
a
Let u be (4 - 2 - 2)/(-3) - 3. Is -11/5 > u?
True
Let n = 2 + -1. Suppose -2 = -3*g + n. Which is bigger: -2/17 or g?
g
Let u be (-13)/(-11) + -1 + 0. Suppose 0 = 4*l - 4*n + 6 - 38, -3*l + 20 = -n. Let m be ((-1)/(-3))/(2/l). Which is smaller: m or u?
u
Let w = 26 + -28. Is w at most as big as 2/13?
True
Let f = 2 + -16. Let q = -12 - f. Is q > 2?
False
Let q be (8/10)/((-22)/(-275)). Suppose 2*t = 4*t - q. Is 5 < t?
False
Suppose 0 = 4*k - 169 + 25. Suppose 0 = -2*p - p - k. Do p and -13 have the same value?
False
Let u(r) = -r - 5. Let v(x) = -x**2 - 5*x + 2. Let i be v(-6). Let q be (4/(-2) - i) + -8. Let z be u(q). Is 1 < z?
False
Let h = 0.36 - 0.36. Is 43 <= h?
False
Let w(v) = 4*v**3 + v**2. Let q(t) = -t + 6. Let n be q(5). Let y be w(n). Are y and 5 nonequal?
False
Suppose -8*n + 10*n - 4 = 0. Which is bigger: 15/7 or n?
15/7
Let t = 40/7 + -454/77. Let w = -16 - -40. Let j = w + -25. Is t <= j?
False
Let u(m) = -m**2 - m. Let c(f) = -4*f**2 - 6*f + 3. Let a(z) = -c(z) + 3*u(z). Suppose -y - 6 = -2. Let h be a(y). Is h <= 0?
False
Suppose -2*j - 13 = -m, 3*j = -4*m + 1 + 7. Let r = -9 + 15. Let q be (-14)/r + 4/(-6). Which is smaller: j or q?
j
Let n = 8.1 - 8.2. Which is smaller: -1 or n?
-1
Let c = 78.1 + -78. Which is greater: c or 3/14?
3/14
Let s be -1 - ((-91)/45 + 1) - 0. Is s <= 0.1?
True
Let r = -18 + 11. Is -5 at most r?
False
Let c be (-18)/(-44) - 14/28. Is 0 at least as big as c?
True
Suppose w + 3*f = -w - 1, -3*w - 2*f = -11. Let c = 7 - w. Are -1 and c nonequal?
True
Suppose -2*b = -0*b - 6. Let s be -6*(3 - 2) + b. Is -3 smaller than s?
False
Let r be (-1 - 357/(-9)) + (-4)/6. Are 38 and r non-equal?
False
Suppose 2*r = 3*r. Let u = 161 + -4185/26. Which is smaller: u or r?
r
Let u = 15 + -17. Which is smaller: -4 or u?
-4
Let p(a) = a**3 + 6*a**2 - a. Let n be p(-6). Suppose 2*w + 4*j = n*w - 8, -2*w - 11 = 3*j. Which is bigger: w or 1/9?
1/9
Let b = -16 + 10. Let z be b/(-5 - -2)*2. Suppose -z = -x - 5. Which is bigger: x or -1/4?
-1/4
Suppose 2*r + 5 = -b, -3*r - 6 = 2*b + 2*r. Which is greater: b or -11?
-11
Let q(d) = d - 7. Let o be q(7). Does o = 2?
False
Let f be (7/(-3))/((-4)/(-12)). Suppose 0 = -m - 4 - 1. Let g = f - m. Which is bigger: -1 or g?
-1
Suppose -a - 3*t = 1, t = 3*a + 2*t - 5. Suppose a*q - q + 1 = 0. Is -2/3 < q?
False
Let c be 0/(1/((-3)/6)). Suppose c = -5*j - 15 - 10. Let m(h) = h + 7. Let t be m(j). Is t at most 0?
False
Let l = -44/15 - -10/3. Let i be (-30)/(-8) - (-1)/4. Suppose -3*o + i = o. Is o >= l?
True
Suppose 0 = 26*t - 21*t - 20. Is t at least 18/5?
True
Let i = -38.9 - -39. Is 5 less than i?
False
Let f = 6 + -6. Let n = 0.08 - f. Are n and 1 non-equal?
True
Suppose -2*h + 24 = -4*s, h - 6*h = -s - 33. Let c = -5 + h. Are c and 0.2 non-equal?
True
Let f = 8/73 + -937/7884. Is 1 less than f?
False
Let z = -15.5 + 0.5. Let o = 14.3 + z. Is -1 at most o?
True
Suppose 0 = o + 2 - 1. Let w = 158 + -2058/13. Which is bigger: o or w?
w
Let r(v) = v + 18. Let u be r(-14). Does -1 = u?
False
Let u = -7 + 7.1. Let y = -3.1 + u. Let j = -4 - y. Which is bigger: j or -1/4?
-1/4
Let f(m) = -2*m - m + 0*m. Let j be f(1). Let h = -4 + 3. Is j bigger than h?
False
Suppose 3*p + 210 = -2*p. Let x be (2/(-7))/(27/p). Which is smaller: 0 or x?
0
Let d be (0 - 0)/(-1 - 1). Suppose 1 = -0*z + z - i, -2*z - 3*i + 22 = d. Suppose -5*r - 5 = -4*a + 3*a, z*r = -5*a - 35. Which is bigger: r or -1/2?
-1/2
Suppose 0 = 2*c - c - 2. Which is smaller: c or 3?
c
Let g be (-2 - 0)/((-4)/(-18)). Let w be (-2 - 21/g)*3. Do w and -3 have the same value?
False
Let k be (112/(-60) - -2)*(-3)/(-20). Is k < -1?
False
Let o be (-1)/(-2) + (-21)/6. Let f(t) = t**3 + 9*t**2 + 9*t + 4. Let g be f(-8). Do o and g have the same value?
False
Let b be 136/(-10) + (-48)/120. Let y = -7 + -7. Is b less than y?
False
Let x(a) = -6*a - 26. Let j be x(-3). Is j < -8?
False
Suppose -20 = 3*k + 5*q, -3*k - k + 2*q + 8 = 0. Let d be 8/(-14)*3/6. Which is smaller: k or d?
d
Suppose -5*d - 9 = 6. Suppose n + 2*a - 15 = 0, 2*n = -a + 6*a + 30. Let w be (n/(-9) - -2)*d. Which is smaller: w or -0.03?
w
Suppose 4*u = -u + 5. Let q be (u + -3)/((-2)/1). Which is smaller: 2/15 or q?
2/15
Let r = 17 - 17.09. Let g = 0.01 - r. Is -2/17 greater than or equal to g?
False
Let l be 1*(2/2)/1. Suppose -l = s - 2. Let d = -42/13 + 223/65. Which is greater: d or s?
s
Let d = -7.98 + 8. Let y = d - -0.18. Which is smaller: y or -5?
-5
Let j = -1 - -1. Suppose j = 3*h - 25 + 4. Suppose -4*i - 3 = -h. Do 1 and i have the same value?
True
Let u = -3 - -3.01. Let x = -0.0264 - -2.0364. Let o = u - x. Which is bigger: o or 1?
1
Suppose -4*w + 10 - 6 = 0. Are w and -2/35 equal?
False
Suppose 6*s + 8 = -280. Are s and -48 unequal?
False
Let v = 1797/290 - -1/290. Let y = v - 73/15. Which is greater: 1 or y?
y
Let w be (6/(-56))/(1 + -4). Is 1 smaller than w?
False
Let i(z) = z**3 + 9*z**2 - 9*z + 8. Let b be i(-10). Suppose 4*q - 8 = 5*w, -6 = -0*w + 3*w - 3*q. Which is smaller: w or b?
b
Suppose 0 = 3*u + 2*u - 3*r + 86, -u - 3*r - 10 = 0. Is u >= -15?
False
Suppose -r + 4 = -5*o, 4*r - 7 = -5*o + 9. Suppose 0 = 4*v - 3*s - 1, o = 2*v - 3*v + s. Which is smaller: v or 1/32?
1/32
Let v(k) = 5*k**2 - k + 1. Let c be v(1). Let l(w) = w**2 - 7*w + 6. Let z be l(c). Let j be (-3)/z + (-2 - -1). Which is smaller: 0 or j?
j
Let w be (-1*1)/(1/120). Let o = 59 + w. Let h = o - -243/4. Are h and 1 equal?
False
Suppose -4*j - 5*q = -31, 5*q + 0 = 5*j - 5. Let y(p) = -p**2 - 4*p + 11. Let h be y(-5). Which is bigger: h or j?
h
Let i be 2*-55*1/2. Let a = i + 167/3. Which is smaller: a or -4?
-4
Suppose -12*u + 16 = -14*u. Which is greater: u or 0?
0
Let p be 0 + 2/(-2) - -2. Let m be p*(-1*5 + -1). Let q(d) = d**2 + 5*d 