e -3*d - 2*i = -3*i - 477, -3*i = 4*d - 649. Let f be (-18)/(-63) - d/462. Is 0 <= f?
False
Let u = -151/6 + 1285/42. Are 4 and u equal?
False
Suppose -3*t - 5*g - 29 = 0, -4*t = -3*t - 4*g - 13. Suppose 4*p + 45 - 8 = -5*l, -4*l = -4*p + 8. Does l = t?
False
Let i = 5.3 + -5. Let l = 0.6 - -0.6. Let r = -1 + l. Are i and r non-equal?
True
Suppose -6 = 2*h + 4. Let w be (h/(-10))/((-1)/(-6)). Suppose -v = 3*b - 5, -3 - w = -2*v - 4*b. Is -1 at most v?
True
Let i be 58*(-4)/12*-3. Let g be 4/(-18) - i/(-18). Which is smaller: 6 or g?
g
Let y(m) = -m + 4. Suppose -3*q - 1 - 18 = -2*h, -2*q - 12 = -2*h. Let o be (-1 - q) + 2 + -3. Let l be y(o). Is l equal to -2/5?
False
Let t be (-4)/(-30)*6/(-2). Let z = -0.4 + 0.2. Which is smaller: t or z?
t
Let y = -0.2 + -6.8. Let i = -6.9 - y. Is i greater than or equal to -0.1?
True
Let n = 16 - 17. Are 17 and n equal?
False
Suppose -s - 3*s = -12, 24 = v + 2*s. Suppose -2*w = b + b - v, 4*b - 16 = w. Suppose x + 18 = -w*z + 2*x, 2*z + 12 = 2*x. Which is smaller: -0.2 or z?
z
Let y = -378/5 + 76. Let j be 8/2 - (3 - 0). Suppose 3*d = -i + 1 + 2, 0 = d + i - j. Is y <= d?
True
Let k = -38 - -49. Which is bigger: 12 or k?
12
Let h = 148.89 - 148. Let i = 0.01 + h. Let u = -3.1 - i. Is u < 2/3?
True
Let p = 0.38 - -0.02. Let s = 0.9 + -0.6. Let u = p - s. Is -2 > u?
False
Let c = 45 + -65. Let t be 0 + -1 - c/16. Is -1 smaller than t?
True
Let y = -7 + -4. Let c = y + 14. Is c <= -2?
False
Let a = -865/4 - -218. Does a = -0.2?
False
Let a = 0.1 - 0.2. Let n(d) = d**3 + 4*d**2 + 1. Let u be n(-4). Which is bigger: u or a?
u
Suppose 2 = c + d, -d - 3*d = -8. Suppose 20 = 7*v - 2*v. Suppose 0 = 4*l - 2*l - v. Which is bigger: l or c?
l
Let k(u) = u**3 - 25*u**2 - 48*u - 25. Let z be k(27). Which is smaller: 136 or z?
136
Suppose 5*f - 3*h = 21, -f - h + 3 = 2. Suppose -f*x + 2 = -x. Which is smaller: x or -2/7?
-2/7
Let b be 31/(-14) + -15 + 17. Which is greater: -1/3 or b?
b
Let d(w) = 2*w - 1. Let g(h) = 2*h. Let c(b) = -3*d(b) + 2*g(b). Suppose -5*u = -2*u - 6. Let k be c(u). Which is smaller: k or 0?
k
Suppose 0 = 5*y - 8*y + 18. Suppose -5*j - 76 - 241 = a, -3*j - a = 189. Let r be y*(2 + j/30). Which is smaller: -2 or r?
-2
Let y = 30398/13 + -2342. Let w = y + 3591/962. Let x = w + -163/370. Is x equal to 3?
False
Let g = 0.05 - 0.65. Which is bigger: 0.1 or g?
0.1
Let w = -73 + 74. Is -5/37 > w?
False
Suppose -u - 8 = -q - 0, 18 = -2*u + q. Let w be 24/u + 4/10. Which is greater: 1 or w?
1
Suppose 13*m - 3*m - 100 = 0. Is 13 at least m?
True
Let w be 7/2 - (-11)/22. Suppose o = 4*i - 2*o - 16, -2*o - 8 = -2*i. Do w and i have different values?
False
Let g = 3201 + -12179/4. Let w = -157 + g. Let u(d) = -d**2. Let p be u(-1). Is w smaller than p?
False
Let m = 23432837/26 - 901094. Let f = -169 + m. Which is smaller: -1 or f?
-1
Let c = 478 + -186. Let r = c - 2333/8. Are 1 and r equal?
False
Suppose -5*l - 13 = 2. Which is smaller: l or -1?
l
Let o(d) = -d**3 + 10*d**2 - 10*d + 10. Let w be o(9). Which is smaller: w or -0.2?
-0.2
Suppose 0 = -3*l - 3, 2*q - 5*q + 5*l + 11 = 0. Let p be (3 - q)/((-5)/(-15)). Let y(o) = 3*o**3 + o**2 - o. Let u be y(1). Is u > p?
False
Let t = -36 - -36. Which is smaller: t or 4?
t
Let a be ((-4)/105)/((-10)/(-15)). Which is smaller: 0 or a?
a
Suppose -3*a + a = 14. Let i be (a/(-28))/((-2)/(-8)). Which is greater: i or -1?
i
Let i be (-180)/105 + (2/7)/(-1). Suppose 4*x - 2*x + 4 = 0. Is i greater than x?
False
Let v = 51 + -50. Are 1/139 and v equal?
False
Let u(a) = a**2 - 11*a + 11. Let i be u(10). Which is bigger: 8/27 or i?
i
Let c be (-3)/6 + (-35)/(-56). Is -3/4 at least as big as c?
False
Let j(c) = 3*c + 39. Let z be j(-8). Which is smaller: z or 11?
11
Suppose 10 + 2 = 3*q. Suppose -q*b + 11 = 3. Suppose -4*o - 9 = 5*k, 5*o + 0 = b*k - 3. Are -1 and k equal?
True
Let t = 0.1 - 0. Let g = -0.7 - -3.7. Are g and t unequal?
True
Let j = 0 + 0. Let n = 94/147 + 6782/735. Let r = 29/3 - n. Which is bigger: j or r?
j
Suppose 0 = -g + 4*o - 9, 2*g + 4*o = g + 7. Let u be -1 - ((-3)/g)/(-21). Is -2 at least as big as u?
False
Let s = -2.2 + 2. Let i = s - 0.1. Suppose -3*z - 3*b + 6 = 0, -2*z - 3*z - 8 = -b. Which is greater: z or i?
i
Let p(h) be the second derivative of -h**6/720 - h**5/12 + h**4/6 + h. Let t(x) be the third derivative of p(x). Let k be t(-7). Is k greater than -3?
False
Let z = -14.06 - -14. Which is greater: 0 or z?
0
Suppose 7 = 4*b + 4*z - 1, 0 = -z + 2. Suppose b = s - 2 - 5. Let a(o) = o**2 - 7*o. Let l be a(s). Are l and 2/3 equal?
False
Let l(r) = -2*r + 2. Let j be l(6). Let z = 5 + j. Let t = z - -4. Is 0 < t?
False
Let y = -25.2 - -25. Which is smaller: y or -6?
-6
Let k = 13 + -11.7. Let p = -10.3 + k. Which is smaller: p or 1?
p
Suppose 1720 = -4*d + 296. Let r be d/(-30) - 5/25. Let v = 11 - r. Which is bigger: v or 0.1?
0.1
Let m = 0.043 + -0.043. Is 18 <= m?
False
Suppose -4*h = -2*h + 4*f + 34, -13 = 4*h - 3*f. Is h smaller than 1/2?
True
Let d = 23/6 + -10/3. Let v be (-1 - -10)/((-6)/(-4)). Suppose -v*i = -i - 5. Which is smaller: i or d?
d
Suppose -2*r + 5*q = -12, 4*r + q = -2*q - 28. Are 1 and r nonequal?
True
Let w = 4 + -5. Let f = -12 + 12. Suppose 3*m = 4*o - 1, 2*o + o - m + 3 = f. Which is smaller: w or o?
o
Suppose 4*f - 12 = 0, 5*m - f + 16 + 47 = 0. Let x be (-1)/(-1) + (-6)/m. Do x and 3 have different values?
True
Suppose -g = 3*g - 20, n + 36 = 3*g. Let s be ((-10)/(-4))/(7/(-56)). Are s and n equal?
False
Suppose -5*d - 3 - 12 = 0. Let j = d - -6. Are j and 2 non-equal?
True
Let j(w) = -w**3 + 13*w**2 - 12*w + 1. Suppose 60 = 10*g - 5*g. Let z be j(g). Let p = 280 - 4198/15. Which is greater: z or p?
z
Let t = -13 - -10. Let j be t - -3 - 13 - -3. Which is smaller: j or -9?
j
Let d = -3 + 12. Let j = -7 + d. Which is greater: -7 or j?
j
Let n = -8 - -11. Suppose -3*x + 4 = -x. Suppose -b = x*b + n. Which is smaller: -9/5 or b?
-9/5
Let x = -123 + 124. Do x and 1/58 have the same value?
False
Suppose 0 = 2*p + 30 + 22. Is p greater than 0?
False
Let k = 3/14 - 13/28. Let z = -2.01 + 0.01. Let r = 1 + z. Is k less than r?
False
Let r = 74 - 112. Is 0.1 <= r?
False
Suppose 1 = 3*y - 5. Let h = 2 + y. Let c = 3 - h. Which is smaller: c or 2/5?
c
Let v = 13 + -12.99. Which is smaller: v or 1?
v
Suppose 12 = 3*d + d. Suppose -5*b - 4*t = -t + d, -3*t = 3*b + 3. Is 1 != b?
True
Suppose -7 = -b + 21. Let s = b - 15. Suppose 3*u + 4*m - 5 = s, -5*u = 4*m - 22. Is u greater than 2?
False
Let d be 1*2*1/(-7). Let u = -2 + -18. Let j = u - -21. Is d greater than or equal to j?
False
Let r be ((-22)/10 + 3)/2. Is -0.07 bigger than r?
False
Let f = 5 + -7. Let o be -4 + 6 + -1 + f. Is 1 less than or equal to o?
False
Let t(j) = -j - 26. Let r be t(-8). Let c = -14 - r. Is 5 at most as big as c?
False
Let b(m) = -m**3 - m**2 + m - 2. Let h be b(-2). Suppose -g = -c + 8, g = -h*c - 2*c + 7. Suppose -8 = -3*z - f, -c*f + 20 = z - 6*z. Which is bigger: 2 or z?
2
Let j(k) = k**3 - 3*k**2 - 2*k - 5. Let s be j(4). Suppose n = r + s*r - 3, 2*r = 3*n + 9. Let u = 3 - 3. Is r <= u?
True
Let n be 3/(-12) - 5/(-10). Which is greater: -0.27 or n?
n
Suppose 2*v - 2*t - 8 = -t, -5*v = 2*t - 2. Let w = 4 - v. Suppose -i - 2 = -w*i. Is 3 at most as big as i?
False
Let a(o) = -o - 7. Let h be a(-6). Suppose -10 = -4*g + 14. Let j = -7 + g. Is h bigger than j?
False
Suppose -2*q + 5*b = -1 + 12, -3*q + b = 10. Let i = -2 + 2. Suppose i*x = -x. Is q < x?
True
Suppose -m - 4 = 3*m. Let w = m - 1. Let s(f) = 16*f - 275. Let o be s(17). Is o <= w?
True
Let u be 38/36 + 99/(-18) + 4. Let m = 3.1 - 3. Which is smaller: u or m?
u
Let b(t) = 8*t + 6. Let p(n) = -8*n - 7. Let w(v) = 6*b(v) + 5*p(v). Let m be w(1). Is 8 greater than or equal to m?
False
Suppose -4*k + 0*k = -i - 157, k + 3*i - 23 = 0. Let f = -17 + k. Suppose -4*p - d - 32 = -9, -3*p - f = 2*d. Which is smaller: -1 or p?
p
Let j = 0.06 - -3.94. Let g = -0.061 - 3.839. Let s = g + j. Which is greater: -2/7 or s?
s
Suppose 0*f - 3*f = -3. Are -1/18 and f unequal?
True
Let w be 6/(-24) - (1*-2 + 2). Is -1 greater than or equal to w?
False
Let o = -1602/91 - -240/13. Is o bigger than 2?
False
Let l = -3 - -3. Let y = 0 + l. Let o = 1 + y. Is 3 bigger than o?
True
Let x = 13354/3 - 4398. Le