be -47 + -1 + 0 - (-12)/(-3). Is s at most as big as -51?
True
Let m = 0.2 - 0.1. Let j be 3 + (53/(-6) - -2). Let i = j - -167/42. Is m > i?
False
Suppose 8 = 3*n - n. Is 4 bigger than n?
False
Let i = 13 - 39. Let r be i/(-30) - 6/9. Is -1 less than or equal to r?
True
Let r = -4.7 - -0.5. Let d = r + 4. Let t = 0.3 + -0.1. Is t < d?
False
Let q(x) = 5*x**3 + 8*x**2 - 6*x**3 - 6*x + 0*x**3 - 5. Let j be q(7). Suppose z + 3*i - 1 = j, 1 = 3*z + i. Which is greater: z or 2/9?
2/9
Let n = 22 + -60. Let r = n + 192/5. Which is smaller: r or 0?
0
Let a(x) = x - 10. Let y be a(13). Suppose -15*m + 10 = -10*m. Which is bigger: y or m?
y
Let a = 186.98 - 187. Let l = 1.2 + -0.2. Is a < l?
True
Let c(v) = -2*v**3 + 1. Let w be c(1). Let z be -5*3*(-2)/10. Suppose -2*r - z = 5*o - r, -r + 2 = 0. Is w at most o?
True
Let u = -314 + 4708/15. Let a = u - 8/15. Let i = 0 - -0.2. Is a less than or equal to i?
True
Let n = 296825/7 + -42066. Let f = n - 337. Suppose 10*b = 7*b. Is b <= f?
True
Suppose 8 = -2*t + 4*t. Suppose 2 = 5*x - 13. Are t and x non-equal?
True
Let r be 379/(-88) - (-22)/121. Which is smaller: r or -4?
r
Suppose 33 = j + 5*p, -2*p = 2*j - 1 - 49. Let a = 116/5 - j. Let k be (-10)/(-14) - (-4)/14. Are a and k equal?
False
Let c = -0.051 + 3.131. Let x = c - 3. Which is smaller: x or -0.1?
-0.1
Suppose 11*c = -3*c + 28. Suppose 40 = -0*z + 2*z - 5*i, z = -4*i - 6. Suppose 4*x + c*d + z = 0, -14 = 4*x - 5*x + 5*d. Is 1/6 at least as big as x?
True
Suppose -5*z = -p - 13 + 72, 4*z - 5*p = -43. Let u = 136 + -37. Let d be (-4)/u - z/54. Is d less than 1?
True
Let u(m) = -m**3 - 16*m**2 - 14*m + 14. Let v be u(-15). Is v less than or equal to 2/7?
True
Let p(f) = 8*f + 4. Let d be p(4). Suppose 5*l - z = -2*z + 16, 5*l - d = 4*z. Let t = l + -2. Which is smaller: -0.1 or t?
-0.1
Let c be 8/24*(-2)/(-3). Is c != 1/10?
True
Let q(m) = 5*m - 5. Let r be q(13). Let p be 1*-4 - r/(-16). Let c(b) = -b**3 - 6*b**2 - 6*b - 4. Let o be c(-5). Which is smaller: o or p?
p
Suppose 0 = -5*w + 10, -w + 6*w = -2*z + 14. Let y = 8 + -4. Suppose 4*s + y = -4*k, -5*s - 1 - 7 = 4*k. Is k at least as big as z?
True
Let r(c) = -2*c + 3. Let y(b) = -2*b + 3. Let h(s) = 2*r(s) - 3*y(s). Let d be h(3). Which is greater: d or 7/3?
d
Let x = -35524/473 - -820/11. Let r = x - -226/559. Is r equal to -1?
False
Let b be (-10)/62*-19 - 3. Which is smaller: b or 1?
b
Let t = -9 + 5. Let c = t + 4.4. Which is smaller: 0 or c?
0
Let k = 0.5 + -0.3. Let y = 0.204 - 0.104. Which is bigger: k or y?
k
Suppose -3*p + 1 = -5. Suppose 4*w - 18 = 4*z - 3*z, -2*z = -5*w + 21. Are z and p nonequal?
False
Let c = 9 - 6. Let u be 5/(-20)*(-32)/c. Is 2/7 at most u?
True
Let r = 43 + -40. Is 5/2 > r?
False
Let s(o) = -o - 3. Let i be s(-3). Let f = 59494/64755 + -11/1439. Let n = f - 1/9. Is i >= n?
False
Let b = -9 + 6. Let p(l) = -5*l + 6. Let n(i) = -9*i + 12. Let a(c) = 3*n(c) - 5*p(c). Let j be a(5). Is j greater than or equal to b?
False
Let m(g) = g - 4. Let a be m(6). Let y be (2/4)/((-10)/(-60)). Suppose a*l - y = 5. Is 3 < l?
True
Let a = -0.1 - 0.1. Let k = 26 - 28.2. Let f = a - k. Is -1 at least f?
False
Suppose -y - 104 = 4*c, -4*y + 59 = -4*c - 25. Let t be (-14)/(-60) + 10/c. Let v = 0 + 1. Is v at least t?
True
Let o be (8/(-12))/(2/(-15)). Suppose o*k - h - 2 = -17, -5*h = 25. Is k greater than -2?
False
Let z = -0.126 - 0.074. Which is bigger: z or 0.17?
0.17
Let f = -58.8 - -59. Let a = 34/3 + -269/24. Is a <= f?
True
Let p = -12292/5 + 144919/60. Let g = -43 - p. Do 1 and g have the same value?
False
Let f = 60.9 + -61. Let d = 7 + -11. Which is smaller: d or f?
d
Let s = 0.6 - -1.4. Let f = s + -2.1. Let t be (-4)/(-6) - 192/234. Which is smaller: f or t?
t
Let b be 11/6 + (-1)/3. Suppose 0*d + 16 = 2*d. Let t be (-4)/d + 6/4. Do t and b have the same value?
False
Let f = 10429/4845 + -118/57. Let i be (-2)/(-6) + (-35)/(-714). Let c = f - i. Which is greater: c or 1?
1
Let l = 99/38 + -2/19. Which is greater: 0.2 or l?
l
Suppose 0 = -0*l - 4*l + 48. Suppose d - 5 = -f, l = 3*f + d + d. Is f >= 1?
True
Suppose 5*r - 82 = -2*w, 2*r + 10 - 42 = -w. Which is greater: r or 17?
r
Suppose 29 + 11 = -j. Which is smaller: j or -39?
j
Let v = -3 - -2.5. Let i = v - 0.5. Let l = -17/7 + 99/35. Which is smaller: l or i?
i
Suppose 88 = 3*t + r - 5*r, -2*t = -r - 52. Let j be 1/40 + t/40. Which is greater: 2 or j?
2
Let j = -107/42 + 19/7. Let g be (3/2)/(9/4). Which is greater: j or g?
g
Let v be 2/3 - (-20)/6. Suppose -3*f - 22 = -2*d, -v*f - d = -3*f + 14. Which is smaller: f or -8?
f
Let j(t) = -t**3 + 9*t**2 + 1. Let v be j(9). Suppose -q = -2, -q = l + q - 1. Let h be (l/6)/((-7)/4). Which is smaller: h or v?
h
Let l be (-2 + 3 - 14) + 0. Which is smaller: l or -88/7?
l
Let w(r) = -r**3 + 8*r**2 + 9*r - 7. Let z be w(9). Let v(i) = i**3 + 3*i**2 - 2*i. Let o be v(-4). Which is smaller: o or z?
o
Let m = -94 + 94. Which is smaller: 72 or m?
m
Suppose -2*w - 346 + 124 = -2*p, -219 = -2*p + w. Let d = p + -970/9. Suppose -c - 2*f = -2 + 1, -2*c - f + 2 = 0. Which is smaller: d or c?
d
Suppose 3*i - 6 = r - 2, 3*r + 12 = -3*i. Suppose 5*y - 13 = q, i = -3*q - 2 - 7. Let b = 1 - y. Which is greater: -1/2 or b?
-1/2
Let h = 4384/17 - 258. Which is smaller: h or -1?
-1
Let q be (-1 - -4)*(-5)/(315/(-6)). Which is smaller: 0 or q?
0
Let s = 2 + -7. Let x(n) = -n**2 - 4*n + 5. Let i be x(s). Is -3 equal to i?
False
Let o = 5840079/533 - 10957. Let g = 1108/11193 + o. Is g not equal to -1?
True
Let i(v) = -2*v**2 - 4*v. Let c be i(-5). Let t = -61/2 - c. Which is bigger: t or 1/4?
1/4
Suppose 5*m + 11*r = 8*r + 17, 2*r - 3 = 5*m. Let p be (9*(-2)/(-4))/(-12). Is p at least as big as m?
False
Let d be 8/(-24) - 1/(-6). Let z(v) = -v**3 - 5*v**2 + 6*v - 3. Let q be z(-6). Let l = q - -3. Which is bigger: d or l?
l
Let y be -10*3/6*-1. Let i = y + -7. Are 0 and i equal?
False
Let x = -753/280 - -19/7. Is 1 <= x?
False
Let g = -79 - -78. Which is smaller: g or -10/11?
g
Let g(a) = -a**3 - 5*a**2 + 2*a - 4. Let v be g(-6). Suppose 5*b - 3*s = v, -4*b - 4*s = -2*b + 18. Let m be 0 + 4 - b - 2. Which is bigger: m or 1/4?
m
Suppose 2*m - 4*m + 10 = -i, 3*m - 3*i - 21 = 0. Let n(g) be the second derivative of g**5/20 - g**4/6 + g**3/6 + g. Let u be n(2). Which is greater: m or u?
m
Let o = -6 + 11. Let x(f) = f**2 - 4*f - 4. Let h be x(o). Is h greater than 6/5?
False
Let b = 3 + -5. Let i(u) = u**2 + u - 5. Let d be i(-3). Which is smaller: b or d?
b
Let d = -1208/9 - -134. Is -2 at least as big as d?
False
Let x = 8 - 7.7. Let j = 27 + -28.3. Let q = x + j. Which is greater: q or -0.1?
-0.1
Let s = 1 + -0.6. Let h = -0.5 + s. Let u = 0.3 + h. Does u = -1?
False
Let b = 0.13 - 0.53. Let r = 0.3 + b. Do 5 and r have different values?
True
Suppose -4*g - 351 + 147 = 0. Is g less than or equal to -50?
True
Suppose -3*u + 4*v - v = 9, -5*u - 5*v + 15 = 0. Suppose 5*r + 1593 = 2*r. Let p = r - -11153/21. Which is greater: p or u?
p
Suppose -4*h + 1 + 7 = 0. Let l(u) be the third derivative of -u**6/120 + u**5/30 - u**3/6 + 5*u**2. Let t be l(h). Which is smaller: -2 or t?
-2
Let g be (1 - 0) + 0 - 13. Is g <= -12?
True
Let v be (3 - 5) + (9 - 3). Let l be (-3798)/(-44) + (-14)/(-77). Let j = l + -84. Which is smaller: v or j?
j
Let l be 19/5 - 2/(-10). Let u = 11 + 1. Let z be ((-3)/u)/((-2)/20). Is z <= l?
True
Let l = 9 + -8. Let p = l - 1. Which is smaller: 4 or p?
p
Let v = 11.075 + -0.075. Is v greater than or equal to 5?
True
Let k(j) = -6*j**3 - 2*j**2 - 2*j - 1. Let y be k(-1). Let d = -4 + y. Do 0.2 and d have the same value?
False
Suppose -5*j - 27 + 17 = 0. Does -2 = j?
True
Let k(a) = 8*a + 23. Let x(r) = -7*r - 23. Let y(j) = 6*k(j) + 7*x(j). Let g be y(-12). Is g < -9?
True
Let o = 14 + -12. Let m be 3*3/(-2)*o. Are m and 0.1 equal?
False
Let u = 0 + -0.2. Let i = u + 0.3. Let x = 1.2 - 1.5. Which is bigger: x or i?
i
Suppose 0 = 4*l - 5*l + 2. Let j be 1 + 1 - (l - -1). Are j and -4/7 non-equal?
True
Suppose -4 = 4*r - 0. Let w = 33/2 + -755/46. Are r and w non-equal?
True
Let n = 0 + -1. Let o = -2 - n. Let h = -30 + 29.9. Is h < o?
False
Suppose 0 = -o + 4 + 4. Let p(f) = 5*f**2 + 9*f - 1. Let j(w) = -w**2 - 1. Let k(y) = -6*j(y) - p(y). Let v be k(o). Which is bigger: -2 o