+ -2899. Let r = -139506/1015 + 9/203. Let d = 137 + r. Is f less than or equal to d?
False
Let f(l) = -l**2 - 5*l - 14. Let q be (-12)/(-28) + 1*31/(-7). Let n be f(q). Is n smaller than 2?
True
Suppose 10 = g + 3*r, 2*r + 26 + 56 = 4*g. Which is smaller: 3 or g?
3
Let o = 141 - 707/5. Let v be (-312)/16*(-8)/(-6). Does o = v?
False
Suppose -9*b - 2464 = -23*b. Which is greater: 173 or b?
b
Let d = 1 + -1. Let k = -495 + 9403/19. Which is smaller: k or d?
k
Let z = -177.43 - -177. Which is bigger: -2/5 or z?
-2/5
Let j = 338 + -337. Which is greater: -12/71 or j?
j
Let y be 8/28 + 64021/32564. Let s = -2/1163 + y. Let h be -3 + ((-8)/6 - (-38)/6). Is s bigger than h?
True
Let q be 4/36 - -1*(-248)/(-36). Is q bigger than -3?
True
Suppose -3*b - 27 = 6*b. Suppose -27 - 17 = 4*n. Which is smaller: n or b?
n
Suppose -g - 54 = 3*g - 2*y, -3*y = g + 3. Let x = 8 + g. Let z = 1132 + -1136. Does x = z?
True
Let g = -271/1519 + 4/49. Which is smaller: g or 0?
g
Let b = -8 - -12.5. Let v = b - 6. Let s = 1.4 + v. Which is smaller: 4 or s?
s
Let p = 27 - 26.979. Let h = -1.021 + p. Is h at most as big as -4?
False
Let z = 60 + -28. Let b = -46 + z. Is b <= -3?
True
Suppose 2*z = -0*z - 5*o + 784, -20 = -5*o. Let k = z + -7260/19. Which is greater: k or -1?
k
Suppose -2*d + 365 = 75. Is 146 <= d?
False
Let v = -527/333 - -14/9. Suppose s - 5*q = 11, 4*s - 4*q = -0*s + 12. Which is smaller: s or v?
v
Let b = 375 + -422. Is b < 2?
True
Let f(b) be the second derivative of -7*b**2/2 + b. Let n(s) = s - 1. Let r(k) = -f(k) + 6*n(k). Let m be r(1). Is 7 less than m?
False
Let v be (-511)/(-14) + (-15)/10. Which is smaller: 25 or v?
25
Let u = -1.2 + 0.2. Let w be 2/(-8) - 3774/(-15640). Which is smaller: w or u?
u
Let b = -43.5 + 35.54. Let f = 0.24 - b. Let v = -8 + f. Is 0 less than or equal to v?
True
Let m = -28/1053 + -2/81. Is 1 <= m?
False
Let z = -0.31 + -22.59. Let i = -23 - z. Which is smaller: 0.019 or i?
i
Let t = 7.1 - -0.9. Let y = 6 - 5. Which is smaller: t or y?
y
Let i(x) = -x**3 - 6*x**2 + 7*x. Let b be i(-7). Let q be (2 + -1)*3 + 1. Let f = 3 - q. Which is bigger: b or f?
b
Let u be 2/15 + (-949)/(-195). Let o be -3 + 0 + (6 - -1). Let n(h) = 2*h - 2. Let s be n(o). Is u equal to s?
False
Suppose 0 = 4*t - 6*t + 2. Let v be -1 - t*(0/3 + 0). Which is greater: 39 or v?
39
Suppose -4*v = -4*q + 40, 2*v = -5*q - v + 42. Suppose h - q - 4 = 0. Let r = 1227 - 1215. Are h and r equal?
False
Let i be (-3)/57*(2 + (-40)/(-4)). Let s = i - -3/95. Which is bigger: 0 or s?
0
Suppose 3*x - 1018 = -2*h + h, 6 = -3*h. Let y = x - 21418/63. Is y at least 0?
True
Let v be (6/(-4) + -3)/((-4)/8). Suppose 0 = -v*h + 8*h - 7. Which is greater: -23/4 or h?
-23/4
Let l be (5/(20/(-32)))/2. Let p be (-416)/840 - l/10. Do p and -1 have the same value?
False
Let q = -8500801291/4949262390 + 11/2598038. Let h = -26/15 - q. Which is greater: h or -1?
h
Let y(l) = 3*l**3 - l**2 + l - 1. Let h be y(1). Suppose 2*a - h - 8 = 0. Suppose o - 4 = -a. Do -2 and o have the same value?
False
Let v = -25447/16 + 1597. Let w = 4063/624 - v. Is w at least as big as -2/5?
True
Let l = 1749 + -1629. Is l not equal to 123?
True
Let c(m) be the first derivative of 8*m - 15*m**2 - m + 10*m**2 + 7 + 3*m**2. Let b be c(5). Which is smaller: b or -12?
b
Let j = -311 - -1552/5. Which is smaller: -7 or j?
-7
Suppose -u - 946 = 5*s + 2*u, -s = 5*u + 198. Is -188 <= s?
True
Let j(b) = -6*b + 116. Let f be j(20). Which is smaller: -9 or f?
-9
Let h be (-1)/(-1 - 69/12). Let f(y) = 6*y - 71. Let u be f(12). Is u >= h?
True
Let j(u) = -6*u**2 + 3*u + 2. Suppose -4*s - m - 2 = 0, 2*m + 1 = -5*s - 0. Let g be j(s). Do -6 and g have the same value?
False
Let p = -108/11 + 3791/385. Suppose -2*a - 18*y = -13*y + 25, 0 = a - 2*y - 10. Is a at most as big as p?
True
Let c(d) = -6*d**2 - 76*d + 4. Let i be c(-13). Let v = 53 + -22. Let a = v + i. Which is smaller: 8 or a?
8
Suppose 0 = 5*t - 25, 1 + 8 = d + 5*t. Let b be (-4 - d/5)/(4/10). Which is greater: b or -4/5?
-4/5
Suppose -2*n - 3*n + 60 = 0. Suppose n*x - 17*x = -5. Which is smaller: 5/16 or x?
5/16
Let k(j) = 2*j - 9. Let r be k(5). Suppose t - 5*m - 7 = 0, -m - r = -0. Which is smaller: 3 or t?
t
Let f = -32 - -94. Which is smaller: 60 or f?
60
Let o(r) = -r**3 + r**2 - r. Let h be o(3). Let a be (-714)/35 - 2/(-5). Which is smaller: a or h?
h
Suppose 1812 = -5*f - 1548. Let n be f/(-84)*(7 - (-1)/1). Which is smaller: n or 62?
62
Let c = -11 - -10.9. Let j = 1/27 - -967/135. Which is bigger: c or j?
j
Let o = 5557/10 - 556. Which is smaller: o or -1?
-1
Let g = 87 - 31. Does g = 56?
True
Let u(m) = -m**2 + 3*m + 9. Let g(h) = -h**2 - 2*h + 20. Let o be g(-5). Let l be u(o). Is 2/17 bigger than l?
True
Let d(i) = -3*i. Let j be d(-3). Suppose 4*x + l = 21, 4*x - 30 = -x - 5*l. Suppose 3*y + 2*y - 50 = x*f, f = 5*y - 46. Is y > j?
False
Let p(b) be the second derivative of 5*b**3/6 - 5*b**2 - 7*b. Let z be p(3). Suppose -5*r - 4*y = -45, -z*r - y + 53 = 8. Which is smaller: r or -0.2?
-0.2
Let c be -10*(-6)/15 - 4. Let w be 9/(-120)*(-4)/(-9). Is c less than w?
False
Suppose -2*h + 80 = 12. Suppose 0 = 2*f + 3*p + p - h, 0 = 2*f + p - 43. Which is greater: f or 22?
f
Let j = -218.4 + 43.4. Let b = -182 - j. Let y be -1*1 + (1 - -1). Which is smaller: y or b?
b
Suppose 312 = 2*x - 3*k, 0 = 5*x - 4*x + k - 146. Suppose 2*z - 6*q - 60 = -2*q, 5*z - x = 3*q. Let s be (-48)/z + 2/1. Which is smaller: -1 or s?
-1
Let d(o) = -2*o**2 - 11*o - 52. Let b be d(-8). Which is greater: b or -91?
-91
Let f = -8.9 - -8.39. Let t = f + 0.31. Let i = -2 + 3. Are t and i equal?
False
Let s = -38 + 36.11. Let u = 0.11 - s. Is 0 != u?
True
Let a(r) = -2*r + 1. Let t be a(1). Let m be t/5 - 18/(-15). Let f = -405/91 + 56/13. Is f at most as big as m?
True
Suppose -2*a + 8 = -2*q, -5*a - 3 = -4*q - 22. Suppose -3*i + 6 = -3*m - a, m = 5*i + 1. Let h = 5/128 - 1089/1664. Is i at least as big as h?
False
Let a = 13/42 - 251/42. Let r be (8/(-6) + -2)*(-3)/(-2). Do r and a have different values?
True
Let c(n) = n - 16. Suppose 5*f - 3*h = 71, 0*f - 4*h = 2*f - 18. Let y be c(f). Let u be y - -4*3/6. Which is bigger: 2/33 or u?
2/33
Let l be (286/(-33))/(((-30)/207)/(-5)). Which is smaller: l or -301?
-301
Suppose -80*r = -64*r + 4496. Which is greater: -279 or r?
-279
Let c = -90 + 1524/17. Let z = -16 - -16. Is z > c?
True
Let u = -219.9894 - 0.0106. Which is smaller: 2 or u?
u
Let g = -38/35 - -4/5. Let b = 1.3 + -1.5. Let f = b + 3.2. Is g less than f?
True
Suppose -8*v + 3*h - 128 = -10*v, -4*h = -2*v + 100. Which is bigger: v or 59?
59
Let n be 4/(2/10 + 0). Suppose 2*w = 6*w - n. Let f = 59 + -56. Is w > f?
True
Let h = -10 - -14. Suppose -29 - h = 3*g. Let r = 11 + g. Is -5/4 less than r?
True
Let h = -54 + 21. Let v = h + 33.1. Is 1/4 greater than or equal to v?
True
Let s = -7/23 + 67/69. Is s equal to -238?
False
Let q = 97.96 - 100. Let b = q - -0.04. Let k = 107/6 + -18. Is k != b?
True
Suppose 6*w = -56 + 410. Let k = w + -59. Is k at most 24?
True
Suppose -t + 9 = 5. Suppose 0 = 2*g - t + 2, 0 = -m - g - 11. Let d be (-18)/m - 1/1. Which is smaller: -7 or d?
-7
Let p(b) = -b**3 + 3*b**2 + 4*b - 3. Suppose -3*m + 11 = 2*o + 1, 0 = 2*m + 5*o - 3. Let h be p(m). Let t be h/(-9) - (-4)/(-84). Is -3/4 smaller than t?
True
Let h = 318 + -281. Is -2 < h?
True
Let y = -217 - -223. Which is smaller: y or 7?
y
Suppose 50*y = 54*y. Suppose -4*v - 4*t + 16 = y, -4*t + 8*t - 4 = 0. Which is greater: v or 4?
4
Let b = 26 - 16. Let c = 0.1 + -0.01. Let t = c + 0.01. Is t greater than b?
False
Let b = -1343 - -1621. Is 278 greater than or equal to b?
True
Let w(z) be the second derivative of -z**3/2 - 9*z**2 + 127*z. Suppose 10 + 2 = -2*f. Let h be w(f). Are 0 and h equal?
True
Suppose 16*x - 4*x - 48 = 0. Suppose -2*f = -y + 68, 63 = x*f - 3*y + 203. Is f at most as big as -32?
True
Let p = 1089 - 1077. Let w be (15/9)/((-1)/(-6)). Is w at most p?
True
Suppose 151*f = 54*f + 97. Is 5 less than or equal to f?
False
Let a(w) = 0 + 11*w + 1 + w**2 + 1 - 4*w. Let h be a(-6). Let s = 5 + -9. Is s less than or equal to h?
True
Let j be (-7)/51*66396/(-3150). Let y = 72/25 - j. Is y greater than -1?
True
Let w = -889 + 889. Which is smaller: w or 7/15?
w
Suppose 8*