se -72 = -3*g - 3*s, 5*g + 2*s = -2*s + 120. Suppose g = -3*c - 0. Let x be (-1 - 2)/(c - -9). Are -3 and x non-equal?
False
Let a = 4526391/316 + -14324. Is 0 smaller than a?
True
Let a(t) = t**3 - t**2 - t - 2. Let c be a(-1). Is c < -0.7?
True
Suppose 0 = -4*v + 26 - 18, -3*i = 5*v + 182. Which is smaller: i or -66?
-66
Suppose -19*s + 146 = 13. Let r(h) be the first derivative of h**2 - 10*h + 1. Let y be r(8). Is s greater than y?
True
Let b = -63.568 - -63.6. Which is smaller: 1 or b?
b
Let s = -10 - -13. Suppose -8 = -2*l, -s*m + 4*m - 3*l = -6. Is 8 bigger than m?
True
Suppose -4*v - 3 = -3*v. Let h be -1*(-6)/v - 95/(-30). Which is greater: 1 or h?
h
Suppose 3*v - 5*s - 4 = 0, v + 7*s - 4*s + 8 = 0. Let x = v + 2. Suppose -2*m + 5 = g, -2*m - 2*g + 2 + 4 = x. Is -0.2 at most m?
True
Suppose -4*g + 5*g - 1 = 0. Let x be g/1*2 - 2. Let v = -2/27 - -31/54. Is v at most as big as x?
False
Let t = 0 - -1. Let w be (-3 - (-60)/25)*(-10)/142. Let a = w + 553/355. Is t > a?
False
Suppose p - 4*g = 25, p + g + 13 = 2*p. Let q = p - 8. Let u be 1*(-2)/(-19)*-1. Which is smaller: q or u?
u
Let r = -29.83 - -31. Let h = r + -0.9. Which is smaller: 0 or h?
0
Suppose -36 = -2*g - 2. Let o = -17 + g. Suppose 5*b = -o*b - 5*a - 85, -4*b = -4*a + 28. Which is greater: b or -13?
b
Let l = 6 + -10. Let q(w) = -w**2 - 5*w - 5. Let d be q(l). Suppose 9*j + 3*j + 12 = 0. Do j and d have different values?
False
Let x(f) = -f**2 - 9*f - 10. Let i be x(-7). Suppose i*r = 5*r. Let o = 2168/9 - 240. Is o greater than r?
True
Suppose 8*k - 4*k - 3*j = -155, 60 = -2*k - 2*j. Is k less than -33?
True
Let g = -146 - -146.1. Let d = -48.098 + 0.098. Which is smaller: g or d?
d
Let u(k) = 13*k + 58. Let c be u(-5). Let d(s) = s**3 + 2*s**2 - 36*s - 7. Let a be d(c). Let v be 2/3 + -1 - 0. Which is bigger: v or a?
a
Let n(g) = -g**2 - 4*g - 2. Let l be n(-3). Let c(i) = 3*i - 1. Let j be c(4). Let u = j + -14. Is u >= l?
False
Suppose 3*d - n = 27, 0 = -6*d + 4*d + 4*n + 28. Which is smaller: d or 2?
2
Let w(j) = -j**3 - 5*j**2 - j - 5. Let p be w(-5). Suppose 3*s = 4*r + 28, -s + 3 + p = 5*r. Suppose -2*y = -0 + s. Which is bigger: -5 or y?
y
Suppose -2*w = 0, -3*w + 7 = -10*j + 17. Does 21/44 = j?
False
Suppose d - 4*y = -0*d, 0 = 3*y. Let l(c) = 3*c - 2. Let q be l(6). Let f be (-35)/(-76) - 4/q. Which is bigger: d or f?
f
Let w = 401 - 221. Let d be 1/(-15) - 24/w. Which is greater: -2/67 or d?
-2/67
Let f(p) = p - 17. Let a be f(14). Let g = a + 2. Let j = -27/209 + 2/11. Which is bigger: j or g?
j
Let u be (1 + 0 - 2) + -2. Suppose 12 = 4*b, -2*x - 5*b + 1 = -10. Let f be 18/27*15/x. Is u at least as big as f?
True
Let y(n) = -14*n + 2. Let v be y(1). Let q = -10 - v. Suppose 5*w - 10 = -q*i, -3*w + 6*i - i = -6. Is 2 bigger than w?
False
Let j(x) = 18*x - 228. Let i be j(11). Which is bigger: -27 or i?
-27
Let m(p) = -p**2 - 8*p - 9. Let r be m(-7). Let i be ((-2)/(-10))/((-16)/208). Are i and r non-equal?
True
Let j = -18.8 - -18.8. Is 1/62 smaller than j?
False
Let x be ((-6)/(-14))/(4950/(-88)). Which is smaller: -1 or x?
-1
Suppose -5*x + 3 + 7 = 5*b, -12 = 4*b. Suppose -3*q + 32 = -x*q. Let t be 6 + -5 + q/(-3). Is t <= 5?
False
Let r(q) = q**2 + 15*q - 154. Let u be r(-22). Let o(h) = -h - 5. Let t be o(-8). Suppose 5*x - 14 = -t*s, -4*x - s = -0*x - 7. Which is smaller: x or u?
u
Suppose -3*f = -0*f - 5*d - 55, 0 = -f + 3*d + 21. Suppose 3*h - f = -h + 5*z, -4*z = -4. Which is bigger: h or 6?
6
Suppose -y + 60 - 55 = 0. Suppose 3*p + 4 = -y, -5*p - 9 = 3*i. Is 5 at least i?
True
Let i = 14 - 11. Let p be 22/(i - 7 - -6). Is 12 at most p?
False
Let f = -1.21 - -1.31. Let w = 0.6 - -11.4. Let l = w + -12.2. Which is greater: f or l?
f
Let q(m) = m - 11. Let r be q(9). Let v be r - (-1 + 0)*1. Suppose t = -2*l - 8, -l = -3*t - 0*t - 3. Is t at least v?
False
Let h be 8/(-4) - ((-5)/(-7175) - 2). Do 1 and h have different values?
True
Suppose -3*s + 4 = -3*i - 2*i, 0 = i - 1. Suppose -5 = w, 0*m = -s*m - 3*w - 9. Let g be m + -4 + 1 + 17. Is g > 17?
False
Let a = -820133/17 + 48007. Let m be (236/(-8))/(1/8). Let y = a - m. Which is smaller: y or 0?
y
Let x be 12*(1 + 53/3 + -4). Which is smaller: x or 0?
0
Let o = 20 + 0. Let f be 3/(-5) - (-32)/o. Which is smaller: f or 1/99?
1/99
Let s be 4*-1*(15/(-5) - -2). Suppose 3*d = -5*c + 2*c - 6, 0 = -3*c + d + 14. Is s less than or equal to c?
False
Let r be (4/(-33))/(((-120)/(-675))/(-4)). Which is greater: -0.2 or r?
r
Let u = -20068 - -61488353/3064. Is 1 at most as big as u?
False
Let u = -7297 + 131347/18. Let m be -1*2/(-6)*3. Which is bigger: u or m?
m
Let h = 39/55 + -553/935. Does 0.008 = h?
False
Let s = 0.73 - 1. Let f = 0.77 + s. Is f at most as big as 1/4?
False
Let j = 7 - 11. Let c(k) = -8*k. Let f be c(4). Let m be f/(-10) + -3 + (-48)/15. Which is smaller: m or j?
j
Let z(k) = k**2 + 3*k. Suppose 2*w = 2*h, 2*h - 3*w = 7*h - 40. Suppose -5*i = -a + 18, -h*a + 10 - 4 = 3*i. Let g be z(i). Which is smaller: g or -2?
-2
Let f = 16 - 16. Suppose f = -6*j + 5*j - 15. Is j at most as big as -14?
True
Suppose -t + 41 = -12*v + 7*v, 2*t - 37 = -5*v. Which is greater: t or 31?
31
Let d = -36 + 47. Let b = 11 - d. Are -34 and b equal?
False
Let r = -235 + 123. Which is smaller: -114 or r?
-114
Let c = 1 + 3. Let f(u) = -u**3 - 9*u**2 + 10*u + 5. Let l be f(-10). Let m(b) = -b**2 + 10*b - 22. Let g be m(l). Which is smaller: c or g?
g
Suppose k + 3 = 5*v + 23, 0 = k + 4*v - 29. Suppose 8 = -4*j, 9 = -2*h + 5*j + k. Suppose 2*q = -h*q + 45. Which is bigger: 10 or q?
10
Let u = 79 + -78.4. Is u at most as big as 56?
True
Let n = 0.2995 - 42.6295. Let z = 42 + n. Let d = -0.13 - z. Is d != -0.1?
True
Suppose 6 = 5*t + 3*c, -15 = 6*c - c. Suppose -4 - 2 = -2*q + t*g, q + 4*g + 8 = 0. Let v = -32/21 + 286/105. Which is smaller: v or q?
q
Let m = -1869445/28488 + -10/3561. Is m != -65?
True
Let q = -1509/5 + 299. Suppose 2*x - z + 11 = 0, -x + 4*z = -0*x + 23. Do q and x have the same value?
False
Let y be -2 + 4 - 215/(-12546)*-110. Let j = y - -1/369. Which is smaller: -1 or j?
-1
Let d(n) = 208*n**3 - n**2 + 10*n - 10. Let m be d(1). Is m greater than 3?
True
Let p = -911 + 37349/41. Is p at most as big as 1?
True
Let w = -48 + 49. Let z be (3/6)/((-8)/(-48)). Is w at least z?
False
Let c = 47 + -52.16. Let g = 5 + c. Let v = g + -0.04. Which is smaller: v or 12?
v
Let x = 1/27 + -466/189. Suppose -27*a + 7 - 61 = 0. Is a smaller than x?
False
Let f(q) = -q**3 - 11*q**2 + 25*q - 19. Let v be f(-13). Is 6 at least as big as v?
True
Let j be 227/(-9) - 40/(-180) - 7. Which is smaller: -220/7 or j?
j
Let v = 87 + -78. Suppose -20 + 101 = -v*a. Is a != -64/7?
True
Suppose 10*o = 9*o. Suppose o*v + 9*v = 0. Which is bigger: v or 2/7?
2/7
Let s(r) = r**3 + 6*r**2 - 21*r - 14. Let a be s(-8). Let d = a - 28. Which is greater: d or -16?
d
Let f(n) = 3*n**3 + 12*n**2 + 7*n + 112. Let v be f(-6). Is -147 greater than v?
False
Let q = 90.4 + -88. Is 0.1 <= q?
True
Suppose -56228*r + 56216*r - 864 = 0. Let z = 8 + -80. Is z less than r?
False
Let t = -0.2 - 0. Let y(u) be the first derivative of -u**4/4 + 2*u**3 + u**2/2 - u - 1. Let i be y(6). Is i less than or equal to t?
False
Let p = -9 + 17. Let i(x) = 0*x - 8*x + 0*x**2 + x**2 - 2. Let u be i(p). Is -1 greater than or equal to u?
True
Let r = -1/7 + -2/7. Let l be 3*4/6 + -2. Which is smaller: l or r?
r
Let z = 1782 + -1780. Let w be 5/(-2)*1*-2. Suppose -4*c = c - w. Is z greater than or equal to c?
True
Let t = 1055/612646 - -3/1258. Which is smaller: t or 1?
t
Suppose -33*u + 70 = 37. Let f = -3 - -2.5. Is u < f?
False
Let s = -137.3 + 137. Is s >= -8/51?
False
Let y = 784 + -783.8. Which is smaller: -227 or y?
-227
Let u = -10.9584 - -0.0084. Let z = -0.05 + u. Let j = 8 + z. Which is smaller: j or 1/3?
j
Let q = -104/5 + 148/5. Which is smaller: q or 9?
q
Suppose 0*q = -2*m + 2*q - 18, -8 = -3*m - 4*q. Let i be (-8 + 0)/m - 3. Let t be (6 + -6)*-1*1. Is i bigger than t?
False
Let o = -360 - -2165/6. Which is bigger: o or 1?
1
Let a be 12/6 - 5470/(-32). Let v = 67/16 - a. Let u = 170 + v. Which is smaller: 1 or u?
1
Let x = 44 + -31. Suppose m + 2*q + 2 = -3*m, -31 = -3*m + 5*q. Is m bigger than x?
False
Suppose b + 3 = u, 4 = 2*b + 2*u - 2. Let p = -250