 >= -16?
True
Let p = -0.03 + -0.87. Let i = -0.7 - p. Do i and -1 have the same value?
False
Let x = 13 - 5. Let f be 2*2/x*0. Suppose -5*q + 0 - 5 = f. Is q >= 0?
False
Let b be 5/(-10)*(-1)/(-14). Let r = -395/84 - b. Are -5 and r nonequal?
True
Let d be (-2 + 1 - -2) + 8. Suppose -4*y = -d*y + 10. Is 1 smaller than y?
True
Let n(r) = 2*r**3 - 4*r**2 + 4*r - 2. Let l be n(2). Which is greater: l or 7?
7
Suppose 4 = 7*s - 3*s. Is 1/4 bigger than s?
False
Let a = -21 - -22. Is 2/25 smaller than a?
True
Let v = -41 + 41. Which is bigger: v or 5?
5
Suppose 2*t = t. Let i be (-4)/20*(-2)/1. Is i at least t?
True
Let h = -8 + 7.94. Let b = h - 0.04. Let s = -54 - -272/5. Is b less than or equal to s?
True
Let g = -200085/38 - -5266. Let m = g + -2/19. Let v = 11 + -23/2. Which is smaller: m or v?
v
Let d = -3 + 8. Suppose 0*q = d*q. Let b be 6/(-8)*(-2)/3. Is b > q?
True
Let f = -13.98 - -14. Let r = f - -0.02. Is 1/2 less than r?
False
Suppose 0 = 4*p + 3*c - 8, 0 = -3*p - 4*c - 1. Let j = 4 + -2. Suppose 2*u - 3*u = 2, -3*u + 6 = j*b. Which is greater: p or b?
b
Suppose 19 = 4*t - 5*l + 2, t + 5*l = 23. Let b be t/4 + -2 + 2. Which is smaller: 0 or b?
0
Let h be 2 - (6 + -4 - 1). Which is bigger: h or 1/6?
h
Suppose 5*s = 6*s - 3. Let z = s - 4. Is 0 less than z?
False
Let h = -5/18 + 1/9. Which is bigger: h or 0?
0
Let l(o) = -o**2 - 5*o + 3. Let b be l(-5). Suppose -6*j = -b*j. Let a = -399/5 + 1207/15. Which is smaller: a or j?
j
Let p(u) = -u**3 + 10*u**2 + u - 11. Let g be p(10). Which is smaller: 1/13 or g?
g
Let l be ((-4)/(-6))/((-100)/(-60)). Let g = -2.8 + 3. Let n = g + -0.3. Is l <= n?
False
Let i = 9 - 11. Is -3 at most as big as i?
True
Let m = 0.06 - 0.56. Which is greater: m or -2/3?
m
Let b = 16 - 4. Suppose 0 = 2*x + 2, -z + 5*z - b = -4*x. Which is greater: z or 2?
z
Let j(f) = -2*f - 1. Let w be j(-2). Let i = -9 - -14. Is i greater than or equal to w?
True
Let g be (-1)/(-4) - 26/24. Which is smaller: g or -1?
-1
Let m = -5 - -5.1. Let c = 513 + -7699/15. Let t = c + 14/15. Which is smaller: t or m?
m
Suppose 3*y + 2*y - 15 = 0. Let j(p) = -4*p**2 + p**y - p + 3*p + 0*p + 3. Let c be j(3). Is 2/7 less than c?
False
Let y(a) = a - 4. Let j be y(15). Let n = j + -10. Do n and 4 have the same value?
False
Let c = -2 + 6. Let g = c - 0.9. Let k = -3 + g. Which is smaller: 0 or k?
0
Let v be (6/(-7))/((-1)/(-7)). Let s be (-580)/87 - 2/(-3). Is s bigger than v?
False
Suppose f + 1 - 2 = 0. Suppose -4 = 2*x - 2. Which is smaller: f or x?
x
Let k = -6 - -8. Is 2 smaller than k?
False
Let k = -4 + 3.9. Let g = 0.2 + k. Let b = g - 0.2. Which is bigger: b or -2/13?
b
Suppose -3*m = -7*m + 36. Are m and 13 unequal?
True
Let p(b) = -b**2 - 9*b - 4. Let h be p(-6). Let y = 18 - h. Which is greater: 3 or y?
y
Let n be -2 - -3 - (-25)/(-15). Which is smaller: 17 or n?
n
Let a be 2700/(-33) - 16/88. Are a and -83 unequal?
True
Let t be (102/(-40))/((-216)/220). Let r = t + -19/8. Are r and -0.2 unequal?
True
Let h = 334 - 649/2. Which is smaller: h or 10?
h
Let l = -9 + 9.1. Let u = l - 0.2. Which is bigger: u or 2/3?
2/3
Let h = -14 - -24. Suppose -4*v - l = 5, 3*l - l = -5*v - h. Suppose -4*g + 2*z - z + 12 = v, 0 = 4*g + 2*z. Is 3 > g?
True
Let s = -9/7 - 87/14. Let o = 48 + -57. Is s greater than o?
True
Let o = -0.09 - -0.59. Which is bigger: 0 or o?
o
Let m(n) = n**3 - 8*n**2 + 8*n + 2. Let p be m(6). Let r be p/30 + (-3)/(-9). Which is smaller: r or -1?
-1
Let x = -7 + 5. Let c be (-10)/15 - (-10)/12. Which is smaller: c or x?
x
Let t = 0.95 + 0.05. Suppose -7 = -5*s + 3. Let b be 74/(-14) + s + 3. Is b <= t?
True
Suppose 2*k + 2*k + 40 = 0. Is k less than or equal to -7?
True
Let p = -19.34 + 19. Let y = -0.16 + p. Is y >= -3?
True
Let d be 3 - ((-9)/(-3) - 2) - 9. Are d and -4 equal?
False
Let h = 215/336 + -13/21. Which is smaller: -1 or h?
-1
Let j be 0 - (3/(-3) + 2). Which is smaller: j or -1/76?
j
Let r(a) be the third derivative of a**4/12 + 4*a**3/3 + a**2. Let j be r(-6). Is j <= -3?
True
Let v be (-14)/91 + 80/182. Is -32 >= v?
False
Suppose 2*p + 8 = -2*z - 0*p, 5*p = z + 28. Let k be (-1*1)/((-12)/z). Are k and 1 non-equal?
True
Let j = -76 - -95. Which is smaller: 18 or j?
18
Suppose 14 = -2*a - 2*z + 6, 4*z = 4*a - 16. Which is smaller: a or 4/17?
a
Let i(w) = -w**2 + 6*w - 4. Let x be i(10). Let u = 6 - 4. Let n be 74/x - u/(-11). Which is bigger: n or -1?
-1
Let s = 151 + -151. Is s at most 2/19?
True
Suppose -14 = 4*n - 18. Is -33 <= n?
True
Let u = 19/4 - 9/2. Is -9 <= u?
True
Let u = 5 - 3. Let w = 0 + 5. Is w not equal to u?
True
Let x be (9 - (-28)/(-3))*3/1. Do x and -9/10 have different values?
True
Suppose t - 15 = -2*t. Suppose 40 = 5*r + t*b, -b - 2*b + 9 = 0. Suppose 1 = -r*d - 9. Is -1/2 less than d?
False
Suppose 0 = -4*y - y - 5. Is 0 less than or equal to y?
False
Let j(g) = g**2 - 2*g + 1. Suppose 9 + 0 = 3*f. Let d be j(f). Let v be 12/(-297) - d/(-18). Which is bigger: v or -1?
v
Let t(x) = 2*x + 1. Let d be t(3). Suppose -3 + d = 2*z. Suppose 2*q + 1340 = 1344. Is q != z?
False
Let n = -122.1 + 114. Let o = -8 - n. Is o greater than -0.06?
True
Let u be 8/(-45) - 12/(-30). Which is greater: -1 or u?
u
Let i = -2.3 + 2. Let y(x) be the third derivative of x**6/120 - x**5/5 + 11*x**4/24 + 2*x**2. Let h be y(11). Are h and i equal?
False
Let g = 7.2 + -2.2. Which is greater: g or 4?
g
Let s be 3 - 15/6*1. Is s at least as big as 6.6?
False
Let c = -310 + 607/2. Let v = c + 141/22. Let d(r) = -r - 2. Let f be d(-3). Which is bigger: f or v?
f
Let k = -129 + 145. Which is smaller: k or 8?
8
Let a(j) = -3*j + 13. Let x be a(3). Suppose 4*s - 3*b = b + 4, 5*b - 22 = -4*s. Is x < s?
False
Suppose 4*f + 71 = 3*m - f, -5*m - 5*f + 65 = 0. Suppose 5*x + m = -18. Is x < -6?
True
Suppose 5*y = -14 - 1. Let l be (y - -7) + 2/1. Let c be (-9)/6 + l/4. Which is greater: c or 2/3?
2/3
Let u(i) be the second derivative of i**4/12 + i**3/6 + i**2/2 - 2*i. Let d be u(-1). Suppose -2*j + 6 = 2. Which is smaller: j or d?
d
Suppose 2*f - 3*r = -9 + 3, 0 = -2*f + 4*r - 6. Suppose 0 = 2*s + 1 + 5. Is f at least as big as s?
True
Let h(y) = y + 11. Let f be h(0). Which is smaller: 12 or f?
f
Let x = -14 + 13. Suppose 4*y - 8*y = -4. Let z be y + 0 + x/1. Which is greater: z or 1?
1
Let g = 164 + -165. Let l = -207 - -1032/5. Which is smaller: g or l?
g
Let k(x) = x + 1. Let q be k(-2). Which is greater: -2/13 or q?
-2/13
Let c be ((-6)/(-4))/(12/(-16)). Let k = -3 - c. Is -2 > k?
False
Let c be (-9)/15 - 2/(-10). Let p = 4 + -3. Which is smaller: c or p?
c
Suppose -4*q + 27 = 5*w, 24 = 4*w - w + 5*q. Suppose 4*s - 12 = w*s. Let m be (1/2)/(3/s). Is 1 at most m?
True
Let j = -23 + 20. Let y = 0 + j. Are y and -5/3 unequal?
True
Let g = -0.1 + 0.1. Let f = 1 - 0.5. Let h = f - 1.5. Which is bigger: h or g?
g
Suppose 3*l - 3 + 9 = 0. Let u = 0 + l. Let w = 105/4 + -27. Is w != u?
True
Let n = 6 - -4. Let i be (-4)/230*n/2. Is i at least 0?
False
Let c = 667/1800 - -1/225. Is c <= 0?
False
Suppose -2*g - 5*g - 70 = 0. Which is smaller: g or -11?
-11
Suppose 44 = 3*d + 65. Is d smaller than -9?
False
Let i be 93/(-6) - 5/(-10). Let f be (-6)/(-45) + 2/i. Is -1 smaller than f?
True
Let x(d) = d**3 + 3*d**2 - d - 4. Let q be x(-2). Are 11/13 and q nonequal?
True
Let u(n) = 6*n**2 - 5*n - 4. Let h be u(-1). Let w = -4 - -11. Is h less than w?
False
Let j(l) = 2*l**2 + l + 2. Let y be j(-2). Let z = y + -12. Is z > -4?
False
Suppose -3*c - 4*j = 13, c + j - 5*j + 31 = 0. Which is smaller: c or -13?
-13
Suppose 0 = 2*l - 5*y - 95, -6*y = 3*l - 2*y - 108. Which is smaller: 41 or l?
l
Let f be (20/(-60))/((-4)/(-6)). Are f and 10/11 equal?
False
Let n = 6 - 1. Suppose 0 = -n*c + 3*w - 2, 0 = 6*c - c + 3*w + 8. Is c < -1?
False
Let v(u) = u**3 + 9*u**2 + 8*u + 5. Let i be v(-8). Suppose -4*m + 11 = -i. Is m less than 4?
False
Suppose -2*d + 0*d + 10 = 0. Let p(z) = z**2 - 5*z - 2. Let q be p(6). Let w = d - q. Which is smaller: 2 or w?
w
Let z = 2 - 2. Suppose i + 5*x = -z*x + 20, 0 = -4*i - 4*x + 16. Which is smaller: 2/15 or i?
i
Suppose 2*v + 35 = 1. Let z be 1 + 1 + -22 - (-5 + 1). Is v > z?
False
Let i be 2/9 + 68/18. Let w be (-9)/(-2)*18/27. Are i and w non-equal?
True
Let h(v) = -v**3 - 8*v**2 - 7*v + 3. Let u be h(-7). L