691). Let r = -153973/89 + 1730. Let c = y + r. Which is greater: 3 or c?
3
Let q be 2*((-6)/4 + 1). Let h(c) = -6*c**2 - 2*c**3 + 3*c**3 + 8*c**2. Let l be h(q). Is l < 2/9?
False
Let p = -474 + 14697/31. Which is greater: p or -1?
p
Suppose 0 = 4*y - 0*s + 4*s + 76, 3*y = 4*s - 50. Which is smaller: y or -15?
y
Let n be 7 + 0/(-1) + 2. Suppose 0 = x + y - 5, 4*x - y = n - 4. Let a = -3 + 3. Is x less than a?
False
Suppose d = 2*s - 9, 0 = 5*s - 4*d + 5*d - 19. Suppose -f = w - s*w - 17, 4*w = -f - 18. Is f less than or equal to 3/5?
False
Suppose -3*i = 4*y + 5, 4*i - 14 = -0*y + 5*y. Suppose s = i - 4. Let q(n) = -n**2 - 4*n - 2. Let r be q(-3). Which is greater: s or r?
r
Suppose -2*f - 452 = 2*k, k + 0*k + 2*f = -227. Let s be 4/10 + 215/k. Is s > 0?
False
Suppose 2*c - 2 = 2*j, -2*j - 4*c + 1 = -3*j. Which is smaller: -2/55 or j?
j
Suppose m - 20 = -0*m. Let j be m/70 + (-4)/7. Which is smaller: -0.4 or j?
-0.4
Let y = 16.9 + -16. Let w = y - -0.1. Is w at most 0.12?
False
Let b(u) be the first derivative of u**3/3 - 2*u**2 - 5*u - 1. Let r be b(5). Which is bigger: r or -3/7?
r
Suppose -3 = w - 7. Let t be (-1)/w + 15/28. Which is greater: 0.01 or t?
t
Let k = -8 - -8.6. Let p = k + -0.7. Which is smaller: p or -0.01?
p
Let g = -29 + 27. Let k be (6/74)/(-3)*g. Is 1 <= k?
False
Let k(x) = -x**3 + 12*x**2 + 12*x + 16. Let w be k(13). Do w and 3 have the same value?
True
Let c be (3 - 5)*3/(-8). Let x = -1/12 + c. Let v = 0.2 + -0.1. Which is smaller: x or v?
v
Let h = -0.5 - -4.5. Let a = -0.6 + -2.4. Let o = a + h. Is o greater than 2?
False
Let u = 0.6 + -15.6. Let q = u - -14.8. Let j(h) = -h**2 + 2*h - 1. Let t be j(2). Is t smaller than q?
True
Let y = 1.9 - 2. Let n be 50/8 - (-5)/(-20). Which is bigger: y or n?
n
Let g = -13/102 - -5/17. Which is smaller: 1/8 or g?
1/8
Let c = 24.87 - 25. Let u = c - 23.87. Do u and 0 have the same value?
False
Suppose 5*o = 5*m - 15, 3*o + 12 = -4*m - 4. Let u = 3 + m. Is 4/7 at least as big as u?
False
Let k(o) = -o**3 - 12*o**2 + 12*o + 3. Let d be k(-13). Let u = -22 + d. Are u and -7 nonequal?
True
Let q be 115/113*1 - 1. Let l = q - 474/1243. Which is bigger: l or 1?
1
Let l be -1 + 1 + 3 + 1. Suppose l*k - 11 + 3 = 0. Suppose -5*g = -k + 7. Which is smaller: -2 or g?
-2
Let h be (-5)/((-10)/(-4))*-1. Suppose 1 = 3*y - h. Let v be (-2)/(-8) + 42/(-104). Is y not equal to v?
True
Let x = -25 - 22. Which is smaller: -46 or x?
x
Let w(i) = -i**2 - 10*i - 5. Let p be w(-4). Suppose 5*d = 41 + p. Which is smaller: d or 10?
10
Let d = 2 - 1. Let f be (2/10)/(-4 + 3). Which is smaller: d or f?
f
Let p = -3.6 - -1.6. Which is bigger: p or 0.3?
0.3
Suppose n = -5, -b = 6*n - 5*n + 2. Let i be (-1)/(-1)*(0 - -2). Is b greater than or equal to i?
True
Let u = -1 - -1. Suppose -4*q + 2 = -14, -2*q = 2*n - 2. Let p be u + (n - -1)/(-2). Which is greater: p or -1/3?
p
Let a = 2 + -3. Are -3/2 and a equal?
False
Let f = 5 + 0. Suppose 2*j - f = 4*j + 5*d, -j + 2*d + 2 = 0. Suppose -5*q + 3*v = 15, -20 = -q - 7*v + 3*v. Is q < j?
False
Let r be ((-2)/(-5))/((-1)/5). Let v be r/(-7) + (-24)/(-14). Let t = -4 + v. Which is greater: -3/2 or t?
-3/2
Let c = -0.13 + -0.07. Let y = -0.1 - c. Is -3/5 greater than or equal to y?
False
Let u = -5 - -5. Suppose u = -4*s + 8 - 0. Is 5/4 < s?
True
Let q = -3597/8 - -449. Which is greater: q or -1?
q
Suppose -2*m + 4*p - 26 = 0, 2*m + 4*p - 6 = -0*m. Are -0.2 and m equal?
False
Suppose -2 = -2*o + 4. Suppose 3*t = -0*x + o*x - 12, 3*x - 4*t = 12. Suppose 3*h + x = -2. Which is greater: -3 or h?
h
Suppose 3*f = -5 - 1. Let h = -5 - f. Let d = 143 - 148. Which is smaller: d or h?
d
Let s be 4 + (-4 - -3) - 32. Is -29 != s?
False
Suppose -3*n - 9 = -5*y + 30, 2*y + 3*n - 3 = 0. Let p = 5 - y. Is p at most as big as -1?
True
Let r(h) = h**2 - 1. Let c(f) = -f**2 - 8*f. Let n be c(-8). Let x be r(n). Are -8/5 and x unequal?
True
Let c be 5 + 1 + -6 + 26/6. Is 5 less than c?
False
Let x = 11 - 20. Let o = x + 10. Which is greater: o or 0.2?
o
Suppose -n - n + 24 = 0. Suppose 0 = 5*a - 5*d - 15, -2*a - 4*d = 2*a - n. Do a and 3 have the same value?
True
Suppose -3*z = -j - 4*j + 14, -2*z = 4*j + 2. Let t be -3 + -12*(-10)/15. Suppose s + s = -g, -t*s = 4*g - 6. Which is greater: j or s?
j
Let m = -4823/6 - -799. Which is smaller: m or -4?
m
Suppose 0 = g + 2*h + 4, -3*h - 6 + 3 = 0. Let k = -2 - g. Suppose v - 4 + 2 = k. Is 0.1 >= v?
False
Suppose -2*j = 2 + 4. Which is smaller: -2 or j?
j
Let b = -1 + 0.9. Let i = 1.1 + b. Let k = i + -2. Is k smaller than 3?
True
Suppose -3*b - 3*o + 3 = 0, 0 = -2*b - 0*o - 5*o - 10. Suppose 4*d + 0*w + 5*w = 32, 2*w = 8. Suppose y = d*y - 10. Is y greater than or equal to b?
True
Let a be (6 + -36)*(-2)/(-4). Let i be 20/6*(-3)/a. Do i and 2 have the same value?
False
Let x = 0.02 - 0.15. Is x less than or equal to 2/7?
True
Suppose -2*l = -2*r + 48, 8*l = 3*l + 4*r - 116. Let x be (-18)/l - (-2)/(-2). Is -1 equal to x?
False
Let b = -3749 - -19362/5. Let i = -122 + b. Which is smaller: 1 or i?
1
Let d(r) = r**2 + 3*r - 4. Let u be d(-7). Let m be 22/(-35) - u/(-56). Do 1 and m have different values?
True
Let l = 11 - 11.07. Let h = l + 0.17. Which is smaller: h or 0?
0
Suppose -2*f - 10 = 10. Let t be f/(-27)*18/15. Let g(o) = -5*o + 16. Let x be g(3). Which is bigger: x or t?
x
Let o = -51/4 - -13. Let r = 26 - 29.2. Let d = 3 + r. Is d <= o?
True
Let q = 15 + -15.1. Which is bigger: -1 or q?
q
Let w(g) = g + 2. Let q be w(-3). Let x = -28 + 27. Are x and q equal?
True
Let t = 5 + -6. Let s = 0 + t. Let r be s*3 - (-5 + 2). Are r and 1/4 equal?
False
Let x be 5 + (-1 - -2) - 3. Do 6 and x have different values?
True
Suppose -13 = -y + 4. Suppose 0 = -2*f + f + 5*r + y, -5*f + 4*r = -1. Let l = -1 + -2. Is l > f?
False
Let p be 6/36 - 41/192. Is 0 less than p?
False
Let z = -192.93 - -187. Let v = z + -0.07. Let m = -5 - v. Is 2/13 > m?
False
Let z(m) = -m**3 + 6*m**2 - 6*m. Let l be z(5). Let d = l - -7. Let t be d/(-6) + (-1)/(-21). Which is bigger: t or 0?
0
Suppose -v + 3*q - 16 = v, -v + 5 = 5*q. Let c(a) = a**2 + 5*a - 4. Let u be c(-5). Which is smaller: v or u?
v
Suppose -3 = 6*t - 9*t. Is t < 1?
False
Let h be 5/15 - (-26)/(-6). Let c be 1/h + (-38)/40. Is -2 equal to c?
False
Let a = -0.4 - -0.4. Let h = a + 2. Let y = -1 + 3. Are y and h unequal?
False
Suppose 4*y - 4*l = 124, 2*l + 149 = -0*y + 5*y. Which is greater: 28 or y?
y
Let c(r) be the second derivative of r**5/20 - r**4/6 + r**3/6 + 3*r**2/2 - 7*r. Let w be c(3). Which is bigger: 16 or w?
16
Let d = 30 + -18. Let q = -14 + d. Is -0.3 less than or equal to q?
False
Suppose 2*m = 3*g - 6, -3*g - 3*m + 8 = 2. Is 2 > g?
False
Suppose 3*f = 3 - 0. Let p = -581/11 - -53. Which is smaller: f or p?
p
Let l be (-4)/22 + 140/44. Let z = 8 - l. Suppose -w = -z*w - 24. Which is smaller: w or -5?
w
Let x(a) = -2*a**2 + 17*a + 14. Let v be x(10). Is v greater than or equal to -14?
False
Suppose -4*o + 4 = -3*u, -4*u - 1 = -2*u - o. Let i = -43 - -130/3. Which is greater: u or i?
i
Suppose 0*u - 2 = u. Let q be u/(-6) + 7/(-3). Suppose -r - 4*z = 22, -2*z - 4 = 6. Is r equal to q?
True
Let r = -1 - 0. Let a = r - -2. Let u(k) = k**2 - 2*k - 1. Let x be u(3). Which is smaller: a or x?
a
Let r be (12/10 + 1)/(2/10). Is r >= 8?
True
Let k = 17 - 20. Let y be -6*(-4)/k - -1. Is -8 greater than or equal to y?
False
Suppose -w + 0*w + 5 = 0. Suppose w*z + 2 = 3*z. Let s = -874 + 872. Does z = s?
False
Let o = 1 - 0.9. Let d = o - 0.12. Which is smaller: 2/5 or d?
d
Let l = -183/5 + 36. Is l <= -1?
False
Let i(n) = -15*n + 17. Let c be i(1). Let r be 20/3*2/4. Is r at least c?
True
Suppose 0 = -2*n - n. Is -18/13 >= n?
False
Let m = 149 + -731/5. Suppose -10*n + 26 = 3*n. Are n and m nonequal?
True
Let h(u) = 2*u + 1. Let p be h(3). Let a(d) = -d**3 - 8*d**2 - 8*d - 6. Let w be a(-7). Suppose -4*f - p = w. Which is bigger: -4/5 or f?
-4/5
Suppose 3*m + 3*v - 14 = 4*m, 4*m + 104 = -4*v. Let t be 2 - (-1 - m/7). Let b be (-4)/6*9/6. Which is smaller: b or t?
b
Let o be (1 - 0)/(-1) - 1. Let c = 6 + o. Suppose 1 = 4*d - w - c, -5*d - w = -4. Is d less than 1/4?
False
Let p = -0.7 - 6.3. Let j = -7.9 - p. Let l = 0.1 - j. Is 1 greater than l?
False
Let c be (16/352)/(1/(-4)). Is 0.2 > c?
T