se 0 = -3*y - y. Which is smaller: -2/7 or y?
-2/7
Suppose 4*y = 15*y - 209. Is y <= 19?
True
Let j be (-9)/6*28/21. Is -8/3 >= j?
False
Suppose -s = 5*r - 55, s - 16 + 5 = -r. Let o = r - 7. Suppose -5*t - 5*m = -20, 0*t = 3*t - 3*m - 6. Which is smaller: o or t?
t
Suppose 32 = -3*u + c - 2*c, 4*c = 2*u + 40. Let q be 10/(-25) + u/(-25). Is 1 <= q?
False
Let w(z) be the third derivative of z**4/8 + z**3/2 + 3*z**2. Let g be w(-3). Let t = 8 + g. Is t <= 2/3?
False
Let x = 1264/11 + -115. Which is greater: -1 or x?
x
Let n = 6 - 5. Is -2/9 greater than n?
False
Let i(j) = 2*j**3 + 5*j**2 - j - 5. Let m(n) = -5*n**3 - 11*n**2 + 2*n + 11. Let a(r) = 13*i(r) + 6*m(r). Let b be a(1). Which is smaller: -4 or b?
b
Suppose 21*g - 16*g = 0. Suppose -3*f = -5*r - 39, f = -3*f + 2*r + 38. Which is bigger: g or f?
f
Let m(c) = 7*c**3 - 2*c**2 + c. Let l be m(1). Let a = 9 - l. Suppose 1 = b - a. Is 4 less than or equal to b?
True
Let w be 4 + 1 + -1 - 3. Let g = -3122/15 + 208. Is w smaller than g?
False
Let x be 2 + 7/((-7)/30). Which is greater: x or -27?
-27
Let g(c) = c**3 - 15*c**2 + 15*c - 9. Let k be g(14). Let x(m) = m**3 - 9*m**2 + 9*m - 8. Let s be x(8). Suppose -k*f = -s*f. Which is bigger: 2/33 or f?
2/33
Let c be 7/(455/(-132)) - -2. Does 0 = c?
False
Suppose 10*d - 903 = -143. Does d = 77?
False
Suppose -8*k = -6*k + 16. Which is bigger: -6 or k?
-6
Suppose -2*v = -2*f, 6*f - f - 2*v = -15. Let g be ((-3)/9)/((-2)/12). Let t be g/1 - 40/5. Is t at least as big as f?
False
Let m = 5 + 49. Let c be -1 + 1/(57/m). Which is greater: 1 or c?
1
Let z = 34 + -33. Which is bigger: z or -15?
z
Let n be 0 + (-2 - -3) + -1. Let y be 0/4*1 + (-5 - -2). Is y bigger than n?
False
Let w = 0.1 + 0.9. Let l = 36 - 36. Let h = l + w. Do 0.2 and h have different values?
True
Suppose -15 = 2*c + s, -c + s + 3*s = -6. Which is smaller: c or -1/4?
c
Let k be 1/27*6*1. Which is greater: k or -1?
k
Let o = 325/7 - 46. Suppose 5*z + 650 = -0*z. Let d = -652/5 - z. Which is smaller: d or o?
d
Let s(h) = h**3 - 3*h**2 - 5*h + 2. Let n be s(4). Let z be (1 - 2)*(-1 - 2). Let d be (-2)/z*(-6)/(-10). Is n at least as big as d?
False
Let a be 19/(4 + -1 - 2). Let x = a + -20. Let r = 7/2 + -4. Which is smaller: x or r?
x
Let k(o) = o - 6. Let b be k(10). Which is smaller: b or 7/2?
7/2
Suppose 0 = 5*g - 4*r - 14, 0 = -0*g - 5*g + 2*r + 12. Let t(n) = n - 1. Let z be t(g). Suppose w + 2 = y - z, y - 4*w = 12. Are y and 1 nonequal?
True
Let d = -12.1 + 12. Which is greater: 13/5 or d?
13/5
Let j = -8 - -1. Let v = -7 - j. Does 1 = v?
False
Let u = -5 + 9. Suppose 2*c = h + 2, u*h + h + 2*c + 10 = 0. Does h = -2?
True
Let q = 0 - 2.7. Let d = 0.6 - -2.4. Let k = q + d. Which is greater: k or 0?
k
Let a be (-8 + 16)/(5/(-8)). Which is smaller: a or -12?
a
Suppose -l - 10 + 3 = 0. Let y be (l/56)/((-1)/6). Which is smaller: y or 1?
y
Let m be (1 - 2) + 2 - -1. Suppose 2*w = w - m. Do 1 and w have the same value?
False
Let u be (-1)/(92/(-8)) - 0/(-1). Is u != -1?
True
Let h = -0.16 - -0.06. Which is smaller: h or -0.5?
-0.5
Let h = -1/1448 - 2855/59368. Do 0 and h have the same value?
False
Let p = 9 + -9.2. Let x = 1 - 1. Is x >= p?
True
Let b = -8 + 40. Suppose -3*k - 68 = 4*x, -42 - b = 5*x + k. Do x and -13 have the same value?
False
Let h = -3 - -2.9. Let i = 631/8 + -79. Is h at least as big as i?
True
Suppose -3 = 7*u + 4. Is -4 greater than u?
False
Let u = 8.5 - 1.5. Let s = -6 + u. Is s <= 1/4?
False
Let i be (-4)/10 - (-38)/20. Let j = 3 - 2. Let n = 0 - j. Are n and i non-equal?
True
Let a = 280.0178 + -0.0178. Let y = a + -282.98. Let v = y + -0.02. Is v greater than or equal to 0?
False
Let d be (-1)/6*52/(-39). Let p be 3/5 - 14/(-35). Is p at most as big as d?
False
Let p(z) = -2*z - 13. Let o be p(-9). Let x = o + -7. Suppose -2*v - 3 + 1 = 0. Does v = x?
False
Let m be (-6 + 4)/(4/6). Let a be 0/(-1 - -5 - 2). Suppose a = -h - 4*h. Which is smaller: h or m?
m
Suppose 20 = 4*i, -4*r + 2*i - 4 = 6. Suppose -2*z + z - 5 = r. Let p = 5 + z. Which is smaller: p or 0.1?
p
Let x be (-21)/(-9)*(-10)/21. Which is smaller: x or -1?
x
Let g(p) = -p**2 + 16*p - 16. Let h be g(15). Is h at most 2/13?
True
Let f = -13.1 - -13. Let d = 14 - 13.1. Let g = f - d. Which is greater: g or 1/4?
1/4
Let p = 1 - -1. Let x(m) = -1 + 2*m**3 + m**p - m**3 + 5*m**2. Let i be x(-6). Which is bigger: 0 or i?
0
Let u = -17 - -19. Is u > 3?
False
Suppose -4*y = -2*m - 6, -2*y = y + 5*m + 28. Let f(v) = 3*v - 3. Let k(s) = s + 1. Let a(r) = y*f(r) + 4*k(r). Let i be a(-9). Which is bigger: i or -3?
i
Let h = 0.06 + 0.84. Let y = h - 1. Let w = -3.4 + 4.4. Which is smaller: y or w?
y
Let l = -11 - -57/5. Let w be (-9)/(-4) - 1/4. Let i be w + (0 - 2/1). Which is bigger: i or l?
l
Let h = -460/53 - -38446/265. Let z be (-4)/(-18) + (-6130)/45. Let i = h + z. Is i smaller than 1?
True
Suppose 3*m = 18 - 198. Let f be -1 - m/9*1. Let p = f + -6. Is p greater than 1?
False
Let m = 0.1 + 1.9. Is -0.01 > m?
False
Suppose 4*k + 31 = -u + 2*u, 7 = u + 4*k. Which is bigger: 18 or u?
u
Let m be ((-1)/(-2))/(12/216). Let p = -9 + m. Let x be 2*(1/(-2) - -1). Which is greater: p or x?
x
Let c = 8 - -1. Let k = c - 9. Let j be (-1)/(-12) + 1/4. Is j <= k?
False
Let r be -4*-4*1/(-88). Which is smaller: 0 or r?
r
Suppose 0 = -2*d - 10, 0 = -q - 4*q - 4*d - 185. Is q less than or equal to -33?
True
Let q(a) = 3*a**2 - a - 3. Let i(v) = -5*v**2 + 2*v + 5. Let p(s) = -4*i(s) - 7*q(s). Let d be p(-2). Is d bigger than -1/4?
False
Suppose -5 = m + 2. Let z be 2/(-8) - m/(-4). Suppose -12 = -5*c + 17*c. Is z <= c?
True
Let k = -11 + 14. Let c(x) be the first derivative of x**4/4 - 2*x**3 + 2*x**2 + 7*x + 2. Let f be c(5). Is k <= f?
False
Let h(s) = -s**3 + 8*s**2 + 9*s + 10. Let b be h(9). Let g be 3/(-15) + 22/b. Are g and 8/7 equal?
False
Let c be -4 + 2 + -4 + 6. Suppose l = -c*l. Which is greater: l or 3/4?
3/4
Let p = -0.05 - 0.05. Let l(g) = g**3 - 6*g**2 - 4*g + 10. Let v be l(6). Which is smaller: p or v?
v
Let m be (-18)/28*(3 - 73/3). Is m greater than 14?
False
Let k be (-56)/(-5) + (7 - 108/15). Which is smaller: k or 10?
10
Let s be (-20)/(-45) + 8/(-18). Is s greater than -5/59?
True
Let d(m) = 2*m**2 + 2*m. Let s = 1 + -4. Let a be d(s). Suppose a = 3*n + 3*b, -3*n - b = -6*b + 20. Are 0 and n equal?
True
Let n be (1/21)/((-4)/(-24) - 0). Do n and 2/7 have different values?
False
Let s = 2.7 + -15.7. Is 2/3 at least s?
True
Let d be 1088/1144 + (-4)/22. Which is bigger: d or 1?
1
Let i = -84729/6916 - -2/1729. Let q = i - -433/36. Do -1 and q have the same value?
False
Suppose 18 = 6*f - 4*f - 3*t, -2*t = 8. Suppose f*p - 5 = -2. Let i = p - 4. Is -2 less than or equal to i?
False
Let v = -190/3 + 64. Let j be (-9)/(-12) - (-15)/12. Suppose 0*n = j*n - 4. Is n not equal to v?
True
Suppose 7*i + 45 = 2*i. Is i equal to -17/2?
False
Let n(s) be the first derivative of -s**3/3 + s**2/2 + s + 2. Let u be n(-1). Let b = 2.02 + -0.02. Is b less than u?
False
Suppose 5*z - 2*h - 13 = 0, -3*h - 10 + 1 = 3*z. Which is bigger: 2/3 or z?
z
Let n be -3*(-2 + (-4)/(-4)). Let t = n + 5. Which is bigger: 7 or t?
t
Let j = -447735/13 - -34105. Let y = j - -336. Is 1 less than y?
False
Let u be -2 + (-1*2 - -7). Let n = 4 + -4. Suppose -1 + n = -4*f + 5*d, -5*f - 4*d = -32. Which is greater: f or u?
f
Suppose 4*m - 2*m = 12. Let f = -2 - -6. Let a = m - f. Is 1/2 > a?
False
Let n = -12 + 14. Is 0.1 smaller than n?
True
Let x be 3*-3*1/2. Which is smaller: -6 or x?
-6
Suppose -5*m = -15, -3*y + 5*m - 23 = y. Let w be y/8 - (-31)/44. Let s = w - 9/44. Which is bigger: s or -1?
s
Suppose 0 = -4*z - s, 8 - 12 = -s. Which is smaller: z or 1/189?
z
Suppose 4*v - 2*w - 14 = 0, -5*v + 2*v = -2*w - 9. Suppose -5*r - 10 = i, -4*i + 4 = v*r + 14. Let h = -1789/7 - -255. Is i at most h?
False
Let k be 2/(-4) - 46/(-88). Is k at most 1?
True
Let r = -2 + 8. Suppose -2*w + 4 = r. Let t = -83 - -247/3. Which is smaller: w or t?
w
Let p = -9.8 + 10. Let b = 4 - 3.7. Let a = p - b. Which is smaller: a or -3?
-3
Suppose -2*c + 6 + 0 = 0. Suppose 5*j + 4*z + 35 = 109, 0 = -j - 2*z + 16. Suppose -2*b - l = -6, -4*l + j = -2*b + 5*b. Which is bigger: c or b?
c
Let g = -1.22 - 0.18. Let j = g + -0.6. Which is bigger: j or 1?
1
