Suppose -4*t = i*g - 19, 5*t + 5*g = 2*t + 17. Suppose 0*h = -t*h. Is 0 at least h?
True
Let f be 8/(-2)*10/4. Is f not equal to -11?
True
Let c = -17/6 - -77/24. Which is bigger: 0 or c?
c
Let j be (0 - -2) + 49/(-28). Let k = -1 + 1. Let w = k + -0.1. Is j bigger than w?
True
Let b = -24 - -29. Is b less than -0.2?
False
Let d(v) = 5*v + 2. Let l be d(3). Is 18 smaller than l?
False
Let i = -11 + 8. Let s be (-2)/(-7 - -3 - -3). Let b be (s - 3)/(i/(-3)). Which is bigger: b or 1/8?
1/8
Let o = 1.7 - 2.1. Is o at most 1/4?
True
Let f(s) = s**3 + 3*s**2 + 3*s - 1. Let d(b) = b - 1. Let g(u) = 2*d(u) - f(u). Let x be g(-3). Does x = 1/2?
False
Suppose 2*c - 5*b = 20, 3*b = -5*c + 4*b + 4. Let y be 1*2 + 33/(-15). Is c >= y?
True
Suppose 3*s = -2*m - 5, 8 = -4*m + m - 5*s. Let u be (1*1*-3)/m. Suppose 1 = -w + u. Which is smaller: w or 1?
1
Let g = 59 - 52. Which is smaller: 9 or g?
g
Let x be (2/12)/(9/12). Suppose 3 = d + 7. Let o = 4 + d. Which is greater: x or o?
x
Let g = -2 - 1. Let c be (1 - 2)*(-2 + 0). Let h be (-1)/((0 - 1) + c). Is g at most h?
True
Let r be -28*(-2)/(-66) + (-2)/(-11). Which is greater: 0.48 or r?
0.48
Suppose 7 - 11 = 4*l. Which is smaller: 2/11 or l?
l
Let h = 2594/7 - 370. Which is smaller: h or -5?
-5
Let w = -51/2 - -25. Let p = 3 + 1. Suppose -5*a = -4*m, 5*m = p*a - 0*a. Which is smaller: a or w?
w
Let k = 119 - 153. Is -1 smaller than k?
False
Let g(l) = -l + 7. Suppose u + 24 = 4*u. Let v be g(u). Let m be (8/(-30))/(6/9). Is m at most v?
False
Let m = 1548 - 173377/112. Is -1 > m?
False
Let s(j) = j**2 - 13*j - 17. Let v be s(8). Which is smaller: v or -56?
v
Suppose -9 = -3*z - 5*p, -5*p + 9 + 6 = 0. Let j = -340/217 + 22/31. Which is greater: j or z?
j
Suppose 0 = -5*m + 11 - 1. Suppose 3*i = m*i + 1. Let t be 1 - (-2 - 30/(-9)). Is i greater than or equal to t?
True
Let g be 1*(-2)/28*36. Let h be ((-52)/(-168)*39)/((-18)/4). Let v = h - g. Are 0 and v non-equal?
True
Let m = 14.4 - 13. Let s = 2.6 + m. Which is greater: -1 or s?
s
Suppose 0 = -4*u - k + 20, 9*u - 5*u = -4*k + 8. Let p = 3 + -2. Suppose 9 = 2*h - p. Is u greater than or equal to h?
True
Let w be (4/(-14))/((-10)/(-2)). Suppose -40*z = -13 + 13. Which is greater: w or z?
z
Let j(p) = -p**2 + 2*p. Let q be j(4). Is -7 less than or equal to q?
False
Let i be (-18)/(-4)*(-2)/(-3). Let m = -33 - -49. Suppose 4*a - 4*l - m = 0, 5 = -a - i*l + l. Is -1/5 equal to a?
False
Let r = -57/310 - 1/62. Let l be 21/(-6) + (-2)/(-4). Let i(g) = g**2 + 2*g - 3. Let m be i(l). Is m > r?
True
Let j(r) = -6*r**2 + r**3 + 8*r + 5 - 5*r - 11*r. Let u be j(7). Do u and -1 have the same value?
False
Let j = -5 + -10. Let g be 7/j*4/14. Let v(l) = -l**3 - 13*l**2 - 13*l - 11. Let f be v(-12). Which is smaller: g or f?
g
Let y = -5 - -8. Suppose 8 - y = 5*f. Let l = -30 + 91/3. Which is smaller: f or l?
l
Suppose -y + 5*n + 22 = 0, -y - 2*n - 4 = y. Let s = -58 - -50. Let a be s/10 + -1 + y. Which is greater: a or 0?
a
Let r = 28 + -16. Let l be (-26)/8 - (-2)/8. Let g be ((-8)/r)/((-1)/l). Are -2/3 and g non-equal?
True
Let h = -16 - -15.9. Let u = h + 9.1. Which is greater: u or -2/3?
u
Suppose -s - s + 5*z = 7, 0 = s + 2*z + 8. Let k = 0 - s. Is k > 6?
False
Let b = 0.08 - 0.08. Which is smaller: 2 or b?
b
Let q be (-1 - -2)*6/21. Let a = q + -5/7. Is -1 less than a?
True
Let j(v) = v**2 - 9*v - 7. Let r be j(10). Suppose -4*u - r = -11. Suppose -u*s + 6 = 2*q, -q + 8 = 5*s - 3. Is 1 greater than q?
False
Let v(f) = -f**2 - 6*f. Let o be v(-6). Suppose 2*c - 3*q + 4 = o, 2*q - 7 = -4*c + 1. Is c less than 1?
False
Let m(z) = -z**3 - 5*z**2 - 6*z - 4. Let r be m(-4). Suppose 1 + 3 = -r*f, -3*n + 6 = -3*f. Which is smaller: 0.04 or n?
0.04
Let l = 1.27 - 0.17. Let w = l + 0.8. Let p = -2 + w. Is 0.6 not equal to p?
True
Let y = -0.8 + 3.8. Let l = y - 2. Which is bigger: l or 0.5?
l
Suppose -6 = -2*s, i + 4*s - 1 = 3*s. Which is smaller: i or -5?
-5
Suppose 2*l - 5*k + 1 = 7, 3*k + 3 = l. Let t = 3 - l. Let c = 377 - 7161/19. Is c greater than or equal to t?
True
Let s = 3 - 6. Let h = -3 - s. Suppose -3*g + h = -3. Do 1 and g have different values?
False
Let k = 22 + -28. Is 0.1 at least as big as k?
True
Let t = -2.444 + -0.446. Let z = 0.11 - t. Let j = -7/2 + 13/4. Are z and j non-equal?
True
Let x be -6*((-440)/435 - -1). Is 0.1 equal to x?
False
Let h = 8 - 4. Suppose -w - 3*t + t = -h, 4*w = 2*t - 4. Do w and -5/4 have different values?
True
Let f(d) = 6*d**3 - d**2 + d - 1. Let c be f(1). Let z(t) = -t**3 - 13*t**2 + 17*t + 46. Let p be z(-14). Which is smaller: c or p?
p
Let g = 0.2 - 0.1. Let h = 239/4 + -60. Which is smaller: g or h?
h
Let q(z) = -z**2 - 4*z - 5. Let t be q(-2). Is -7/5 at most as big as t?
True
Let n(q) = -q**3 - 16*q**2 - 10*q - 48. Let x be n(-16). Is 112 at most x?
True
Let k(a) be the first derivative of a**3/3 + 7*a**2/2 + 8*a - 4. Let d be k(-6). Is 2 > d?
False
Suppose -q + i - 4*i = 3, 2*i - 3 = q. Is q greater than or equal to -2/11?
False
Let l(f) = f - 10. Suppose -d = -3*d + 18. Let z be l(d). Which is bigger: z or -2/31?
-2/31
Let d = 168.91 + -150. Let u = -19 + d. Let g = 0.91 - u. Is g less than -1/4?
False
Let s be (-8)/(-10) - 408/(-40). Let z = -2 + 3. Suppose -4*f + s = -z. Which is bigger: 1 or f?
f
Let b be ((-24)/13 - (-20)/(-130)) + -12. Is -14 greater than or equal to b?
True
Let u = 0.07 - 9.07. Let j = u + -3. Let l = j + 12.07. Which is bigger: 0 or l?
l
Let g be (1/(-17))/((-10)/(-20)). Which is smaller: 0.3 or g?
g
Let h be 320/144 - (-2)/(-3). Which is greater: 2 or h?
2
Let d = 17/15 + -74/105. Is 1/2 < d?
False
Let k = 4 - 3. Is -2 bigger than k?
False
Let a(u) = -u + 5. Let s be a(0). Suppose 1 - s = 2*p. Let m be (-1)/(-2)*(2 - p). Which is bigger: m or 1?
m
Let q = -9.8 - -0.8. Is -1 > q?
True
Let x be 1/(-2) + (-22)/4. Let k be (3 - 0)/(x/4). Let u(f) = f**3 - f**2. Let c be u(0). Is c greater than or equal to k?
True
Let a(o) = -o + 12. Let c be a(17). Which is bigger: c or -3?
-3
Let n be (-12)/(-54) + 32/18. Suppose c + 4*y - 11 = 6*c, 4*c = 4*y - 12. Is n equal to c?
False
Let c(x) = -x**2 + 12*x + 4. Let p = -18 + 30. Let i be c(p). Which is greater: 5/2 or i?
i
Let g be 22/5 + 9/15. Suppose -g*v + 4*v = 0. Is v equal to 3/8?
False
Suppose 2*v + 140 = -5*d, d - v = 3*v - 28. Is -27 bigger than d?
True
Suppose -2*v - 6 + 2 = 4*n, -5*v - 10 = -n. Is v at most -2/3?
True
Suppose 0 = g - 6*g - h + 10, -3*g + 6 = 5*h. Suppose -g*q - 8 = 4*t - 2, 0 = -4*t - q - 11. Suppose -15 = 5*k, l - 3*k - 2*k = 11. Are t and l equal?
True
Let g(w) be the third derivative of w**6/120 - w**5/12 - 7*w**4/24 + 7*w**3/6 + 2*w**2. Let b be g(6). Let x be (2 - 10/4)*-2. Is x bigger than b?
False
Let z be (2/6)/(2/(-3)). Suppose -4*x - 45 = 19. Let o be x/(-36)*(-3)/2. Which is bigger: z or o?
z
Let k be 2/(-1)*(-853)/14. Let j = 121 - k. Do j and 0 have the same value?
False
Let d be (-26)/39 - (-62)/3. Let k be (-14)/(-20)*d/35. Is -1 equal to k?
False
Let g = 3 - 4. Let b = -3 + 5. Let l = -1 + b. Which is greater: l or g?
l
Let d = 2188 - 10828/5. Let l = -23 + d. Is 0 greater than or equal to l?
True
Let a(n) = -4*n - 3. Let k be a(-3). Suppose 0 = -l + k - 3. Let v be l/4*8/66. Is -1 at least v?
False
Let g = 483 - 1487/3. Is g smaller than -14?
False
Let c = 283 - 284.91. Let p = c + -0.09. Is -2/3 smaller than p?
False
Let y(m) = -m**2 - 2*m - 10. Let i be y(0). Is i greater than -10?
False
Let n = -26 - -26.17. Let y = n + -0.07. Is y greater than or equal to -0.11?
True
Suppose -6 = 3*b - 0*b. Suppose 0*j + 12 = j - 4*q, -5*q - 1 = -3*j. Let k = 5 + j. Which is bigger: b or k?
b
Let w be 326*(-2)/10 - 2. Let n = -67 - w. Let c be (0/(8/2))/1. Are c and n nonequal?
True
Let i(z) = -3 - 2 + 1 + z. Let b(o) = -o + 3. Let k(p) = 5*b(p) + 4*i(p). Let s be k(0). Is 1/5 at least as big as s?
True
Let t = 0.3 - -0.7. Let o = 142/3 - 47. Which is smaller: t or o?
o
Let n be 126/236 + (-2)/4. Let f = 185/236 - n. Suppose -4*y + 3*l = 23, -6*y = -7*y - l + 3. Are y and f equal?
False
Suppose -w + n = 8, 2*w + 37 = -3*w + 4*n. Is -3 at least as big as w?
True
Let x = 2.44 + -0.4. Let t = x - 0.04. Let a = 1.9 - t. Which is bigger: 1 or a?
1
Suppose -2*z = -z. Let a be 5/(10/4) - z. Let w be 51/(-252) - a/(-7). Is w