*l - 5*b, -4 = -b. Does c = l?
True
Let j = 4 + 0. Let s(h) be the second derivative of -h**4/12 + h**3/3 + h**2/2 - 3*h - 4. Let w be s(j). Is 0 less than or equal to w?
False
Let o = -1.111 + -0.289. Is o at most as big as 1/2?
True
Let q be (-75)/36 + 2 - (-19)/(-380). Is q bigger than 32?
False
Let w = -299 + 281. Do w and -19 have the same value?
False
Let h be (-3)/((27/6)/3). Let f be 1 - -1 - h/(-1). Let y = 14.61 + -14.21. Which is greater: f or y?
y
Let c = 654 + -649. Is 2 smaller than c?
True
Suppose 161 - 155 = -6*z. Let q(m) = -19*m**3 - m. Let b be q(-1). Suppose 4*d + 3*p = 31, 5*p - 13 = -4*d + b. Is z at most d?
True
Let k(j) = -5*j**3 - 9*j**3 - 3*j + 0 - 2 + 2*j. Let s be k(-1). Which is smaller: s or 0?
0
Suppose 0 = -2*b - 10, 0 = 5*r - 3*b - 1 + 6. Let o be 18/r*(-18)/27. Is o bigger than 2?
True
Let n be (1 - 0)/(((-10)/3)/(-10)). Suppose -n*x = 2*v + 7, 2*v = x + 3*x. Which is smaller: 1/12 or x?
x
Let y = 508 - 1526/3. Are -20 and y nonequal?
True
Let x = 197.4 - 197. Is x smaller than 2/5?
False
Let z be 4 + ((-8)/2 - -2). Suppose -z*h + 4*h + 4 = -2*c, -5 = c. Do h and 13/8 have different values?
True
Let p = 0.15 - -20.85. Let k = p + -19. Let y = -1.8 + k. Which is smaller: -2/3 or y?
-2/3
Let n = -12 - -901/75. Let o = -17 + 18. Does n = o?
False
Let f = -725 + 725. Is f != -11/71?
True
Let g = 292 + -252. Let b = -0.1 + 0.2. Which is bigger: b or g?
g
Suppose h - 2*h + 2 = 0. Suppose 0 = -2*a - h*i + 84, 4*a + 4*i - 5*i = 188. Suppose 41 = 5*q - 5*u - 4, 4*q = 2*u + a. Which is greater: q or 15?
15
Let j = 0.8 - -3.2. Let y = j + -4.03. Let d = 0.33 + y. Which is greater: d or 1/4?
d
Suppose 4*s - g = 3*s - 11, -14 = s - 2*g. Let x be ((-10)/15)/(s/(-12)). Suppose 2*f + 3*p = -1, -6*p = -4*f - 4*p - 10. Which is smaller: x or f?
f
Let c = 8 - 4. Let m = c + -4. Let n(q) = -q**3 + q**2 + q + 2. Let p be n(2). Is p at most m?
True
Let y be 3 + 3 + 37 + -43. Let j = -20462/55 - -372. Is j < y?
True
Let j = 7 + -7. Let h = -16 + j. Let n = h - -16. Do n and -1/26 have different values?
True
Let s(r) = -r**3 - 3*r**2 + 6*r + 10. Let t be s(-4). Let f be (-20 + 1)*-1 - (t + -3). Are 16 and f nonequal?
True
Let i = 3029/8120 - -2/1015. Which is smaller: i or 109?
i
Suppose -90*d = -3*f - 87*d - 84, 5*f + 2*d = -175. Is -13 greater than or equal to f?
True
Let g(k) = 3*k**3 + 3*k**2 - 3*k + 1. Let r be g(1). Suppose 0 = m + 4*i + 20, -r*m - 4*i - 5 = 15. Is -1/5 equal to m?
False
Let f be 1/(-7)*3 + 1720/350. Let a = 74/43 + -1507/301. Let p = f + a. Which is smaller: p or 2?
p
Let v = -3807 + 3806. Let i = -216 - -4974/23. Is i < v?
False
Let w be ((63/(-6))/(-7))/(33/6182). Let r = -282 + w. Let d be 3/(-8) + (-1 - -1). Is r >= d?
False
Suppose 0 = 2*o + 1 - 5. Let x(b) = b**2 - 2*b + 3. Let u be x(o). Let w be -7 - (-1)/(u/3). Is w > -5?
False
Let h = 1.03 - 42.03. Let o = -41.04 - h. Which is bigger: o or -0.3?
o
Let l(t) = -t**3 + t**2. Let w be l(0). Suppose f + 1214 = -2*y, 2*f - 3*f = -5*y - 3049. Let j be 4 + 0 + y/126. Is w <= j?
False
Let m(h) = 2*h + 1. Let x be 4 + -6 - (-1 - -1). Let k be m(x). Let r be ((-40)/12 - -2)*k. Is r less than 3?
False
Suppose -20*x + 25*x = -p - 3734, 2*p = -4*x - 2992. Which is smaller: x or 1/4?
x
Let m be 291/1452 - (-8)/(-32). Is m at least -1?
True
Let y = 113/5 + -23. Let s = -257/4 - -64. Is y smaller than s?
True
Let s = 0.38 - -0.65. Let a = 12.03 - s. Which is smaller: 1 or a?
1
Let f = -1.2693 - -0.2693. Which is smaller: f or -107/3?
-107/3
Let d = -576 - -575.25. Is d equal to 0?
False
Suppose 44 = 4*g + 5*l, 4*g - 4*l + 15 = 23. Is 9 greater than g?
True
Let y(f) be the third derivative of -5*f**4/24 - 2*f**3/3 + 8*f**2. Let h be y(8). Is -44 greater than h?
False
Let a = 7869 + -21519. Let c be (-1)/(-2) + 12385/a. Let p = c - -2/273. Is 0.2 > p?
True
Let h = 64 - -5. Suppose 4*a + q = -h, a + 4*a = 3*q - 99. Let c = 42 + -59. Which is greater: a or c?
c
Let b be 0 + (-1 - 1) + (-65)/(-15). Which is bigger: 1 or b?
b
Let t be (7472/(-91884))/((-1)/(-24)) + 2. Let y = t + 4/247. Are y and -1 equal?
False
Let n = -197 + 265. Which is smaller: n or 69?
n
Let d be (64/(-120))/(3*68/18). Which is greater: d or -1?
d
Let z be (-6)/(-4) + -1 + (-31)/2. Let f be 0*(-1)/(-2) + (-6)/z. Is 1/4 bigger than f?
False
Suppose 0 = 6*r - 683 - 295. Let u = 1145/7 - r. Let l be (-6 - -9)*(-1)/9. Is l at least u?
False
Let m(s) = 53*s**3 - 2*s**2 + 2*s - 1. Let j = 126 - 125. Let l be m(j). Do 52 and l have the same value?
True
Let d be 44/(-6) - (-4)/(-6). Let j be (-11)/((-242)/(-1632)) - 8/(-44). Let b = 63 + j. Which is bigger: d or b?
d
Let v = 0.1037 + 0.1623. Which is smaller: v or 0.3?
v
Let u = 0.8 + 0.2. Let n = -278.06 - -279. Let k = n - u. Is -2 greater than k?
False
Let y = -0.14 + -16.86. Let o = y - -18. Is o bigger than 10?
False
Let g = -6/37 - -95/814. Are 1 and g nonequal?
True
Let k be (((-2)/(-10))/((-6)/5))/((-35)/2870). Let q = 25 - 11. Which is smaller: k or q?
k
Let q(j) = -13*j**2 + 7 + j**3 + 20*j - 3 + 0. Let w be q(11). Which is smaller: -16 or w?
w
Suppose -3*x + 3 = 30. Let p = -3697/2 - -1856. Let a = p + x. Is -3 at least a?
False
Let q = -781 + 644. Is -132 smaller than q?
False
Suppose 4*c - s + 4 = 2*s, -c + 16 = -5*s. Let i be (3/(-3))/1 + (-212)/c. Is i smaller than 52?
False
Suppose -3*v + 4*v = 5*t + 133, -v - 2 = 0. Let h = t - -50. Which is smaller: h or 22?
22
Let r = -1/3880 + 2719887/27160. Let o = -100 + r. Suppose -4*j = -8, -8*j + 4*j + 8 = 3*h. Which is greater: h or o?
o
Let t be (-16)/(-40) - (-123)/255. Are t and -1 unequal?
True
Let r be (-6)/(-24)*(15 + -3). Suppose -r = -m + 4*m. Are -1/16 and m unequal?
True
Let s be (-10)/(-3 + -2)*(-96)/(-3). Which is smaller: 66 or s?
s
Let m = 140 + -285. Which is smaller: -142 or m?
m
Suppose -9 = 3*n - 12. Which is greater: n or 9/7?
9/7
Let f be (1 - -3)*77/(-3 - -10). Let y be 80/(-112)*f/10. Which is smaller: y or -4?
-4
Let s = -259 + 259.3. Which is bigger: -0.01 or s?
s
Let n be 54/80 + 2/10. Let x be 122/(-336) - (-6)/(-14). Let d = x - n. Which is greater: -2 or d?
d
Let n(l) = -2*l**2 + 5*l + 3. Let u(q) = 8*q + 2 - 5*q - 1. Let a be u(1). Let r be n(a). Is r greater than or equal to -9?
True
Let u(l) = -l**3 + 2*l**2 + 2*l - 2. Let n = 6 - 4. Let y be u(n). Let z(r) = 2*r**2 + r - 4. Let j be z(y). Which is smaller: 5 or j?
5
Let a = 3 + -8. Let v = -27 + a. Let i = -31 - v. Which is bigger: i or 1.2?
1.2
Suppose 37*n = -4*n - 19393. Is n at least as big as -475?
True
Suppose -m + 7 = t, -3*m + 4*t - 5 = 2. Suppose 2*p - 69 = -5*f, -p - m*f = 3*p - 103. Are 22 and p nonequal?
False
Let b = 18 - 15. Let x(d) = 3 + 2*d + 0*d + d**3 - 5*d - 2*d**2. Let c be x(b). Is 3 at most c?
True
Let b = 5426 - 2148697/396. Let d = 245/7524 - b. Do 0 and d have different values?
True
Let j = -754.2 - -752. Which is greater: j or 11?
11
Let b(f) = -19*f**3 + 2*f**2 - 1. Let k be b(2). Is k < -146?
False
Suppose 0 = -h - 3*h + 8. Let a be ((-25)/(-15) - h)*-1. Are 1 and a equal?
False
Let o = 2933228/3 - 3270551941/3345. Let k = -3/223 - o. Suppose 0 = -5*n + 10, 5*n + 1 = 4*x + 3. Is x < k?
False
Let h = -2 - -1. Let s = 12 - 11.3. Let c = s + -0.6. Is h at least c?
False
Let r(j) be the first derivative of -j**4/4 - j**3/3 - 3*j**2/2 + 14. Let q be r(-3). Is 27 at least as big as q?
True
Let s = 1/39 - -4/13. Let j = 110.2 - 99. Let l = j - 11. Which is greater: l or s?
s
Let x(t) be the first derivative of 2*t**3 - 2*t**2 - 3*t - 1. Let f be x(-1). Suppose -11 + 46 = 5*j. Is f greater than or equal to j?
True
Suppose 5*r = -19*r - 24. Is r greater than -21/58?
False
Let m = 471.049 + -471. Which is greater: -2 or m?
m
Let t = -33.083 - -0.083. Let g = t - -50. Is g less than -1?
False
Suppose 0 = 3*l - 4*w + 1915, 4*l - 255*w + 254*w = -2575. Is l < -647?
False
Let h be -5 + (2 - (4 - 5)). Let m be (h/(-4))/((-2)/4). Which is bigger: -7/6 or m?
m
Let o(k) = -47*k - 7. Let r be o(-8). Let b = -1485/4 + r. Suppose 4*h + 9 = f, 0*h - 24 = 5*f + 3*h. Which is smaller: b or f?
f
Let q = 2 - 2. Suppose q = j + 2*j - 39. Suppose 3*p = 5*n + 10, -5*n + 4*p = 2 + j. Is 3/5 equal to n?
False
Suppose -3*z + 28 = 4*n, n = -3*z + 5*n + 44. Let s be (-5 + -1)*6/z. Is s > 2/11?
False
Let g be 5 + 42001