. Let z be 8/(-286) + k/13. Is 1 at most as big as z?
False
Let k = 11 - 10.3. Let t = k + 0.3. Let p = 63 - 62. Is p <= t?
True
Let y be (6/372)/((-13)/4). Are y and 1 equal?
False
Let g(x) = -x**3 - 6*x**2 - 4*x + 2. Let z = -8 + 3. Let c be g(z). Which is greater: -2 or c?
-2
Let z = 12.2 - 10. Let g = 0.3 + -0.5. Let q = g + z. Which is smaller: 0 or q?
0
Let x(s) = s**2 + 8. Let q be x(0). Is q at most 8?
True
Let l = -7 - -8. Which is smaller: 3/4 or l?
3/4
Suppose 0 = 3*k + 5*f + 13, -12 - 5 = -3*k + f. Let q(w) = -w**2 + 2*w. Let l be q(k). Let j = -5 - l. Is 4 >= j?
True
Let f = -1 + 8. Let n be 9/f - (-2)/(-7). Let c = -46 - -508/11. Is n at least as big as c?
True
Suppose d + d = 0. Suppose -3*g = 15, -3*g - 12 - 11 = 4*x. Let n be x/(-3)*(-3)/(-4). Is d less than n?
True
Suppose -15 = 2*z + 3*z. Let a be z*1 + 160/56. Which is smaller: a or -1?
-1
Let w(x) = -x**2 + 7*x - 5. Let a be w(6). Let t = -14.8 - -18. Let f = -3 + t. Which is smaller: a or f?
f
Let p = 4.1 + -4. Is 1 at least as big as p?
True
Suppose -3 = -c + 1. Suppose -c*z + 15 = z. Let v = -10 - -14. Which is greater: v or z?
v
Let x = 7 + -4. Let n = x - 2. Let c = -71.3 - -71. Is c equal to n?
False
Let l = 11 + -15. Do -3 and l have the same value?
False
Suppose -4*x + 20 = 2*z, 4*z = 5*x - 0*x - 51. Is 8 at least as big as x?
True
Suppose -44 = -2*h - 10. Is h smaller than 18?
True
Let t = 17 - 17. Which is smaller: -1/17 or t?
-1/17
Suppose -16 = 5*g + 14. Which is greater: -4 or g?
-4
Suppose -3*q - 8 = 2*g, -2*q + 4*g + 20 = -g. Let s be 2 - 2 - -5 - q. Let f be (-125)/(-45) - 4/(-18). Which is greater: f or s?
s
Let p(x) = x**3 - 8*x**2 - 9*x + 1. Let i be p(9). Suppose 2*q - 3*o - i = 16, q = 5*o + 26. Are q and -0.6 nonequal?
True
Suppose m + 23 = -2*r - 4*m, 2*r + 3 = -m. Let v = 5 + -5. Suppose g + 4*l + 3 = 2*l, -4*g + 3*l - r = v. Is -3/4 equal to g?
False
Suppose -4 = f - 2*f. Let y(d) = 2*d - 22. Let h be y(11). Suppose h*w = -f*w. Which is smaller: w or -3/4?
-3/4
Suppose 0 = 4*g + x + 20, 2*g + 0*x = -2*x - 10. Suppose -h - 5*l - 2 + 3 = 0, -5 = -5*l. Is g greater than h?
False
Let f = 1 - 1. Let b = -4 + 6. Suppose 0 = b*l - 2, -5*d - 2*l - 7 = 6. Which is smaller: d or f?
d
Let d be ((-2)/4)/((-55)/22). Which is greater: -2 or d?
d
Let h be 4/22 - (-17 + 17). Which is greater: 1 or h?
1
Let k(n) = -n**2 + 2*n + 2. Let w be k(3). Let y be 6 + -1 - 3/1. Let r(h) = -h**2 + 2*h. Let i be r(y). Is w at most as big as i?
True
Let l be (-8)/36 - (-254)/90. Is 3 equal to l?
False
Let n be 6/(-3) - (2 - 2). Let k(l) = -2*l - 8. Let g be k(-6). Suppose g = 4*f - 6*f. Is n greater than f?
False
Let f(z) = -z**3 - z**2 + z + 1. Let b be f(-2). Are -0.4 and b unequal?
True
Let b = 402/5 - 13256/165. Is b not equal to 0?
True
Let f be (-2)/4 - (-7)/(-14). Let v be (f/(-12))/(48/256). Which is smaller: v or -1?
-1
Let k(z) be the second derivative of -z**3/3 - 3*z**2/2 + 2*z. Let i be k(-3). Suppose 4*y + 1 - 13 = 0. Is i at most as big as y?
True
Let a be -1 + 5 - (6 - -4). Which is smaller: a or -7?
-7
Let s(b) = -b**2 + 5*b + 7. Let j be s(6). Let u be (-14)/7 - -3*j. Which is smaller: u or 5/3?
u
Let j be (3 - (5 - 2)) + 8/42. Which is smaller: j or -1?
-1
Let l(h) = h**2 + 7*h. Let y be l(-7). Suppose -g + 7 = -2*v, g + 2*v - 7 = -0*g. Let f = -11 + g. Does y = f?
False
Let z(r) = 5*r**3 - 2*r + 1. Suppose 3*t - 4*h - 19 = 0, -5*h + 3 = 23. Let i be z(t). Let f be -5*i/(-110)*-1. Which is smaller: 0 or f?
f
Let a = 9158/11 - 72048/77. Suppose 0*v = -v + 103. Let i = a + v. Do i and 0 have different values?
True
Let w(y) = y**2 + 6*y + 2. Let o be w(-5). Let r be o*(2 + -1)*-1. Which is smaller: r or 1?
1
Let f be (-6)/40 - (-2)/5. Which is greater: 1.4 or f?
1.4
Suppose -k + 4*k - 21 = 0. Suppose k + 3 = -5*n. Let h be n + (35/11 - 1). Which is greater: h or 0?
h
Let h = 24 - 41. Which is bigger: -1/7 or h?
-1/7
Suppose n = -2*n + 6. Suppose -v + n*v = 0. Is -1 greater than or equal to v?
False
Let c = -6 + 10. Suppose -z - c = 3*m, -5*z = 4*m - 0 - 2. Let d = m - -3. Which is greater: d or 2?
2
Let f be 34/(-28) + 15/10. Which is smaller: 0 or f?
0
Let a = -677 - -8805/13. Do -1 and a have the same value?
False
Let d = 3.1 - 3. Let u = -0.4 - -0.2. Which is bigger: u or d?
d
Let r be 20/(-8)*4/(-5). Let s be 5 + (1 - r)*1. Suppose s*b - b = 0. Which is greater: -2/15 or b?
b
Suppose -4*h + 17 + 9 = l, 5*h - l = 28. Suppose 3*a + 2 - h = 2*g, 5*a + 3*g = -6. Is 4/19 != a?
True
Let c(o) be the third derivative of -o**5/60 - o**4/3 - o**3/3 - o**2. Let v be c(-8). Let i = -3 - -2. Is v less than i?
True
Let n = 104 - 107.04. Let b = n + 0.04. Let u = -3.1 - b. Which is smaller: 0.4 or u?
u
Let b = -0.07 + -0.03. Let r = 0 + b. Is r greater than or equal to 2?
False
Let j(t) = t + 3. Let n be j(-5). Which is smaller: n or -1?
n
Suppose 4*b + 2*m = -6, 2*b + 2*m = b - 6. Suppose 2*y - 5*y + 3 = 5*w, b = 2*y - 4*w - 2. Which is smaller: -3/8 or y?
-3/8
Let r be 8/42 - 3/(-21). Suppose z - 5 + 4 = 0. Is z bigger than r?
True
Let k = -7/34 + -73/306. Suppose h + 4*l + 5 = 0, -h - 1 + 2 = 2*l. Let a = -7 + h. Is a > k?
True
Suppose 3*j + 0*j = 3. Is j at least as big as 1?
True
Let f be 1 - ((-92)/(-12) + -1). Which is smaller: f or -5?
f
Let q(k) = -k**2 - 7*k + 15. Let z be q(-9). Which is bigger: 0 or z?
0
Let v(c) = -c**3 + 4*c**2 - 3*c + 3. Let s be v(3). Which is smaller: s or 3/2?
3/2
Let n be ((-3)/(-6))/(10/(-8)). Let z = -6 + 10. Let j(w) = -w**2 + 3*w + 3. Let l be j(z). Does n = l?
False
Let a = -17 - -12. Let b = -4.99 - a. Let q = -2.99 - b. Does -2/7 = q?
False
Let c = -46 + 46.3. Which is greater: c or 0.06?
c
Let c(z) = -z**3 - 5*z**2 + z + 3. Let k be c(-5). Let l(q) be the first derivative of -2*q**3/3 + q**2/2 - 1. Let n be l(1). Which is greater: k or n?
n
Suppose -l = o - 5, 3*l = l + 8. Is o > 10/7?
False
Suppose 4*n + 34 = 2*g, 0 = -3*g + 5*n - 4*n + 61. Let q = 19 - g. Are -5/2 and q equal?
False
Suppose -r = -6*r + 50. Let q = 10 - r. Let s = 149/4 + -37. Is s smaller than q?
False
Let u = -163/15 + 31/5. Let p = 7342 + -154090/21. Let t = u + p. Which is smaller: -1 or t?
-1
Let j be (16/(-4))/4*-1. Is 10 <= j?
False
Let x be (-252)/20 - (-3)/5. Which is smaller: 0 or x?
x
Let g = 47 + -44. Which is bigger: g or 2?
g
Suppose -b - 2*q = 0, b - 2*q = -b. Which is smaller: b or 12?
b
Suppose k = -6*x + 5*x - 12, x + 20 = -5*k. Let l be (-2)/6 + (-2)/x. Is -1 at most as big as l?
True
Let c(s) = -s**3 + 5*s**2 + 11*s - 8. Let l be c(7). Let g = 150/13 + 668/39. Let z = g + l. Are -1 and z unequal?
True
Let a = 0.3 - 0.3. Let d = -16 - -16. Let v = a - d. Is v != -4?
True
Suppose 5*m + 3*j = 4*m - 12, 2*m - 21 = 3*j. Suppose m*a + 0*a + 15 = 0. Let t = -4 - a. Which is greater: t or 2/17?
t
Suppose 5*k + 9 = 4*s, s + 2 + 1 = 3*k. Suppose s*q - 4*y = 2*q + 8, -q = -4*y - 14. Let m = 2 + q. Is m < 0.2?
True
Let q = 5 - 8. Let y be (-2 - q)*2/(-7). Let n = 3 + -3. Is y at most as big as n?
True
Let s(v) = -67*v**3 + v**2 + v - 3. Let w be s(1). Is 0 smaller than w?
False
Let u = -69281/5020 - -1/1004. Let v = 153/10 + u. Are 2 and v nonequal?
True
Let v(y) = y**2 - 6*y + 5. Let w be v(5). Let i = -9 + 13. Let o = i - 3. Which is greater: o or w?
o
Let i = 0 - -0.1. Suppose 4*o - 5*k - 22 = 0, -2*o - 7 = -o + 5*k. Is o >= i?
True
Let m(h) be the second derivative of h**3/6 - 5*h**2 - 5*h. Let s be m(9). Is s < -1?
False
Let v(w) = w - 9. Let m(r) = -2*r + 17. Let d(j) = -6*m(j) - 11*v(j). Let k = -8 + 13. Let s be d(k). Which is smaller: s or 1/2?
1/2
Let l = 6.02 - 0.12. Let c = l + -6. Is -0.09 smaller than c?
False
Suppose 0 = -3*a + 3*z - 24, -5*a - 13 - 23 = -4*z. Let h = -2 - a. Suppose -4*j + h*t - 8 = -2*t, 0 = t. Is -0.2 != j?
True
Suppose -6*a + 3*a + 3 = 0. Let u be 0/((a - 1) + -1). Which is smaller: u or 2?
u
Suppose g - 4*g + 18 = 0. Let p be 12/(-18) - (-8)/g. Which is bigger: p or -2/9?
p
Suppose 5*p + 10 = 0, -4*p + 9*p = -4*z - 50. Which is bigger: z or -8?
-8
Let w = -11 - -11.05. Let o = w + -0.15. Suppose -3 = h - 3*f - 13, 0 = 3*f + 9. Which is smaller: o or h?
o
Let s be 39/(-3)*-2 + -3 + 1. Which is greater: 26 or s?
26
Let v = 0.27 - 0.07. Which is greater: v or -2/9?
v
Suppose 0*t - 10 = -5*t. Suppose -2*l = -0*l - t.