
Let y be (-1 - 1) + (-14)/(-12). Let a = 701 + -701. Which is bigger: a or y?
a
Let o = -7788 + 7783.033. Let i = -0.033 + o. Does i = -3?
False
Suppose 0 = -9*i + 14*i - 40. Is i >= 48/7?
True
Suppose 0 = 3*p - p. Let l = -72 - -259. Let c = l - 1679/9. Is p smaller than c?
True
Let v(z) = -17*z - 272. Let x be v(0). Are x and -273 nonequal?
True
Let r = 112 + -112.058. Let c = 0.062 - r. Are c and -0.05 unequal?
True
Let o = -1.016 + 48.216. Is -0.1 bigger than o?
False
Let z be -1 - (-2 - 0) - (-472)/(-176). Let p = -18995/11 - -1729. Let q = p + z. Is q >= -2?
True
Let t = 0.31 - -70.69. Let z = 63 - t. Which is smaller: 2/9 or z?
z
Suppose 0 = -5*m + 2*r + 25, -10*r = m - 9*r - 5. Suppose 3*w = -5*i, -m*w = -8*w + 4*i. Do w and -2/143 have the same value?
False
Suppose 0 = -11*c + 16*c + 35. Which is greater: -22/3 or c?
c
Let d = 15.697 - 1.677. Let a = d + -0.02. Let i = -14 + a. Are i and -0.4 unequal?
True
Let i be 1 - ((-2)/10)/((-39)/117). Is 331 > i?
True
Let h be (-29)/20 + (-2)/(-8). Let x = 31 - 56. Let d = x + 24. Which is smaller: h or d?
h
Suppose 37*f - 51*f = 5054. Is -360 >= f?
True
Let x be 2/9 + (8354/72 - -3). Let v = -120 + x. Is v > 0.2?
False
Let y = -192 - -1730/9. Which is smaller: 15 or y?
y
Let u = 47/28 - 3/7. Let j be -1 - 2/(-3) - (-98 - -99). Are u and j unequal?
True
Let v = 21.1 - 17.1. Which is smaller: -0.02 or v?
-0.02
Let z = -71753 + 71725. Suppose -5 = -2*v - 3*v. Suppose v = 2*f + 3*r, 0 = -2*f + 2*r + r - 5. Which is greater: f or z?
f
Suppose 2*s = -2*c - 4, -2*s + 3*s - 2*c = 10. Suppose 2*u - 3 = -0*u - j, 0 = s*j + 2. Suppose 4*o - l = o - 1, 2 = -5*o + u*l. Which is smaller: 4/7 or o?
o
Let h = -61 + 91. Let l = 27 - h. Let x = 0 - l. Which is bigger: 13/7 or x?
x
Let z = -23 - -19. Let w = z + -28. Let t = -129/4 - w. Which is smaller: 5 or t?
t
Let f be (231/(-75) - 3) + 6. Let k(q) = q**3 + 8*q**2 + 7*q. Let p be k(-7). Is p not equal to f?
True
Let j(u) = 35*u - 10. Let l be j(3). Let b = -95 + l. Does 3/7 = b?
False
Suppose 2*w - 3*u - 7 = -2*w, 4*w + 3*u - 25 = 0. Let z be (6*2/(-70))/(w/(-30)). Which is greater: z or 0?
z
Suppose 2*y + 18 = -y. Suppose -2*q = -4*o - 22, -o - 7 = 3*o + 3*q. Is y <= o?
True
Let k = 35.879 + 0.121. Let n = k - 35.93. Which is bigger: n or 0?
n
Let b be ((-2)/(-13) - 924/429) + -3. Is -25/7 not equal to b?
True
Let x be 46*(-2)/(-13) + (-8 - -6). Are x and 6 equal?
False
Let u be 0*(-2 + 3/2). Are -1 and u equal?
False
Let j be (9/(-5))/((-3)/10). Let r be ((-153)/j - 1)*-2. Let d = -267/5 + r. Is 0.4 smaller than d?
False
Let m = 2.4 - 2. Let q = -2.4 + m. Let j = q - -10. Are j and 1/3 nonequal?
True
Let w = 366 + -406. Is -1/3 != w?
True
Let y be (-36)/(-30) - (-1)/(-5). Let j(l) = -l**2 - 17*l + 14. Let t be j(-19). Let v be 2 + 2/t*22. Which is bigger: v or y?
y
Let i = -21 - -38. Let q = -10 + i. Let t = 3 - q. Is t less than -4?
False
Suppose 3*a = a + 12. Suppose 2*d = a*d + 8. Let t be 24/(-20)*(-5)/d. Which is smaller: 0 or t?
t
Suppose 6*s = -0*s. Let p = 0 + 2. Suppose 3 = 5*b - p. Which is smaller: s or b?
s
Suppose a = -58 + 8. Let g be 21/(-6)*56/4. Is a smaller than g?
True
Suppose 0 = g, 4 = 2*c - 3*g - 2. Suppose -2*v = -2*r + 4, -c*v = -v - r + 3. Which is smaller: v or -3?
-3
Let d(t) be the second derivative of -t**5/20 + t**4/3 - t**3/3 + t**2/2 - t. Let z = -261 + 264. Let g be d(z). Is 4 smaller than g?
False
Let p be (1118/(-2))/(-4 - (-11 + 6)). Which is smaller: 0 or p?
p
Suppose 3*v = -2*u + 25, -3*u = 4*v + 21 - 56. Suppose 18 = v*c + f, 0 = -3*c - 2*f + 3*f + 14. Suppose 4*i - 2*i + 2*m = 8, 3*i = -c*m + 17. Does -6/11 = i?
False
Suppose 8*i - 5*l = 13*i + 45, -15 = i + 4*l. Does i = -20?
False
Let y be (16/(-4))/(-1) + -2. Let d = 0 + 4. Suppose 0 = -3*g - d*u - 5, -y*g - 5*u = -g + 9. Which is greater: 4 or g?
4
Let t be 2/(-8) + (-1692)/16. Is t < -109?
False
Let i be ((-195)/48 - 1) + 5. Is 1 <= i?
False
Suppose 0 = 3*n - 37 - 50. Let f = -3432 - -3461. Is n greater than or equal to f?
True
Let x = -2794 + 2497. Is -296 > x?
True
Let v = -586049320/57 - -10280919. Let o = v - -648. Which is smaller: 0 or o?
o
Suppose -6*p + 3*p - 18 = 0. Let j(q) = q**2 + 10*q + 15. Let f be j(-3). Is f greater than or equal to p?
True
Suppose 0*p - 3*p = 3. Let x be -11 + 37 - (1 - (-1 + 1)). Let z be ((-10)/x)/((-4)/40). Which is smaller: p or z?
p
Suppose -5*f + 174 = 4*w, -2*w - f + 110 = 20. Let r = w + -66. Let h = r + 34. Which is bigger: h or 16?
16
Let g = -2/83 - 241/332. Let t be 26/6 + (-6)/(-9). Suppose -5*w + w - t*u = -11, -11 = 5*w - 2*u. Which is bigger: w or g?
g
Suppose -q = 2*k - 112, 2*q = -q - 6. Let n be 55781/968 + 1/(8/3). Is n at most k?
False
Let t(a) = -a**2 - 27*a - 132. Let o be t(-7). Which is greater: -9 or o?
o
Suppose -15*k + 6*k = 0. Which is smaller: k or 2/301?
k
Let a = -118.9 + -33.1. Let s = a - -97. Which is bigger: 0.1 or s?
0.1
Suppose -5*k + 701 = -2*z, -17 = 3*z - 8. Which is smaller: 140 or k?
k
Let w(l) = -l**2 + 14*l - 32. Let p be w(-13). Is p at least as big as 0?
False
Let z = -46387/2 + 415333/18. Let n = -45 + 164. Let j = z + n. Which is smaller: 1 or j?
j
Let y(r) = -4*r**2 - 3 + 5*r**2 + 5. Let z be y(0). Let x be (51/27 - z)*-3. Does x = 2?
False
Suppose 5*p - 484 = -4*k, -k = -0*k - 2*p - 108. Let c be ((-2)/5)/(k/435). Is c at most as big as -1?
True
Let i(c) = -c**3 - 8*c**2 + 88*c + 1. Let r be i(-14). Is -56 less than or equal to r?
True
Let c = 0.519 - 0.419. Are c and 215 unequal?
True
Suppose -r = -2*r - 13. Let b be 17 - (3/(-4))/((-33)/176). Let t = r + b. Which is bigger: -2/79 or t?
t
Let c(y) = y**2 - 10*y + 9. Let o = -20 + 27. Let s be c(o). Let r = -15 - s. Which is greater: 0 or r?
0
Let j be 6/(-6)*-2*(-6)/4. Let k = 8 - -4. Suppose 4*x - k = 4*w, w + 5*x = 4*w + 19. Is w less than j?
False
Suppose 2*z - 173 = -169. Which is greater: -31 or z?
z
Let i be 21/(-3) + 4/((-312)/(-510)). Let o be 88/14 - (-8)/(-28). Suppose r = -5*m + o*r, 0 = 5*m + 3*r. Is m equal to i?
False
Let y be (3/5 - 24/(-60))/(-1). Let z = 758/13 + -58. Is z != y?
True
Let s be (-22)/(-55)*(103 + 2). Let l = s + -47. Are l and -6 nonequal?
True
Suppose -h + 3 = b, -2*b + 4*b = 8. Let v = h + 2. Let i = 653/5160 - 1/645. Is i greater than or equal to v?
False
Let g(s) = 21*s - 49. Let v be g(6). Which is greater: -2/7 or v?
v
Let b = 85 + -201. Let y = b + 116. Is y at most 59?
True
Let i be (-2)/8 + 5 + -6 + 0. Suppose 5*b - 6 = -1. Let m = 1 - b. Which is smaller: m or i?
i
Let b = 19.05 - 0.05. Let d = -18.8 + b. Is d >= -0.07?
True
Suppose -5*t - 3 = -o, -2*t + 3*o + 3 = -1. Let f(h) be the first derivative of 3*h**4/2 - 2*h**3/3 + h - 3. Let l be f(t). Is l equal to -7?
True
Suppose 5 = -k, -2*o + 3*k + 14 = -1. Suppose 0 = -4*i - 0*w - 5*w - 398, 5*w = -3*i - 296. Let y be (-2)/5 - i/180. Is y greater than or equal to o?
True
Let q = -182.07 + 182. Let u = 0.07 - 4.07. Let l = -5 - u. Is l at most q?
True
Let d = 89131 + -11141476/125. Let o = d + 1/125. Is o equal to -2?
False
Let q = 6.9 - 8. Let v = q + 3.1. Let l = 0.12 + -0.52. Which is greater: v or l?
v
Suppose -125 = -3*h - 2*h. Suppose -5*w - h = -5. Let i be 12/(-22)*w/(-12). Which is smaller: i or 7/6?
i
Let i be 200 - (-7 + -2 - -8). Which is smaller: 607/3 or i?
i
Suppose -4 = 4*x, -7*m - 3*x = -2*m - 12. Suppose 2*v = -3*a - 7, 0 = m*a - 2*v + 3 - 4. Let w be ((-20)/(-3))/((-6)/1). Which is greater: w or a?
a
Suppose 0 = 5*k - 6 - 9. Suppose g - k = -0. Let i be 2 + (228/(-16))/g. Is -2 <= i?
False
Let t(f) = -f**2 - 9*f - 12. Let c = -72 + 58. Let v be t(c). Which is smaller: v or -83?
-83
Let y = 49 - 41. Let k be y/(-28) + 10/(-14). Let r = 1 + 2. Which is greater: k or r?
r
Let x = -2/503 + 19621/1006. Is x less than or equal to 19?
False
Let q(w) = w**3 - 2*w**2 - 2*w + 1. Let m be q(3). Let d(n) = -n**3 + 2*n**2 + 4*n - 2. Let j be d(m). Which is greater: j or -17?
-17
Suppose 0 = 5*h - 0 - 20. Let i be ((-24)/45)/(1/(-5)). Is h != i?
True
Let z(d) = 8*d - 2. Suppose 2 = 4*w - 6. Let t be z(w). Suppose -3*u - t = 4*u. Is u <= -5/6?
True
Let j = -0.2 + 0.32. Let h = -0.135 + 1.015. Let s = h + j. Is -0.5 greater than s?
False
Let p = -119/184 - -12/23. Let n = -1931 - -1932. Does n = p?
False
Let a = 16 - 16. Let h b