h is bigger: r or -2/9?
r
Let i = -125/2 + 63. Is 0.4 bigger than i?
False
Suppose 3*o + 248 = 2*o. Let g = -987/4 - o. Is g equal to 2?
False
Let q(c) = -c**2 - 2. Let j be q(0). Let z be -3 - ((-8)/(-1))/(-4). Which is smaller: j or z?
j
Let i = -2 + 1. Is i smaller than -4?
False
Suppose 0 = -f + 14 + 11. Suppose 4*o + o - f = 0, 0 = 5*b - o + 5. Let d = 3 + b. Which is smaller: d or 4?
d
Let j(k) = k**3 + k**2 - k + 1. Let d be j(1). Let c = d + -2. Suppose 2*r - 8 = -2*r. Which is smaller: c or r?
c
Let u = -1 + -2. Let h = -3 - -3. Is u bigger than h?
False
Let s = 20 - 20. Which is smaller: s or 2?
s
Let g = -4 + 8. Let s = 3 + g. Let x = s - 4. Which is bigger: x or -0.1?
x
Let t(n) be the first derivative of n**4/12 - n**3 - 4*n**2 + 2*n - 1. Let g(u) be the first derivative of t(u). Let d be g(7). Do 0 and d have the same value?
False
Let i(g) = g - 4. Let y(n) = 2*n**3 - 2*n**2 - 2. Let c be y(2). Suppose 3*m - c*m - 4 = -2*k, -2*k - m = -12. Let z be i(k). Is 5 bigger than z?
True
Let x = 8.6 - 7. Let r = -0.28 - 0.32. Let z = r + x. Which is smaller: z or -1/3?
-1/3
Suppose 0 = 13*v - 11*v - 18. Suppose -24 = -3*x - 0. Is v less than x?
False
Suppose -a - 16 = 4*u, 2*u + 4 = 6*u - 4*a. Is u != -3?
False
Let b be (-6)/(-18) + 2/(-6). Let v = -8 - -2. Let s be (-29)/28 + v/(-8). Which is smaller: b or s?
s
Let k be (-2 + 3)*981*2. Let a = k + -5818/3. Let j = a + -23. Is j at most as big as -1?
False
Let y be ((-66)/(-14) + -5)/(1 + 0). Suppose 5*m + j = -0*j, 0 = 3*m + 2*j. Is m at most y?
False
Let r(f) = -f + 1. Let z be r(4). Let s be z + 1 - 384/42. Let o = s - -716/63. Do 2/3 and o have the same value?
False
Suppose 3*n = b + 23, 2*n - 4*n = -4*b - 2. Let o = 18 - n. Let g be 3*(6/o)/(-2). Which is greater: g or 2/7?
2/7
Suppose -9 = -2*d + 1. Let a = 5 - d. Which is greater: -3 or a?
a
Let t be (-30)/(-9)*(-3)/1. Does t = -10?
True
Let z = -9 + 13. Let f be ((-1294)/(-28))/((-4)/z). Let g = f - -93/2. Is g >= 1?
False
Let o = 138.3 - 139. Let s = 0.1 - -0.9. Which is smaller: s or o?
o
Suppose -4*y - y = 65. Let b(m) = -m - 12. Let k be b(y). Which is greater: 1/3 or k?
k
Let z = -28 - -24. Is z not equal to -8?
True
Let n = 11 + -6. Suppose 4*a = n*g + 11, 4*g - 4*a + 2*a = -4. Suppose d = -0 + g. Which is greater: d or -3?
d
Suppose -4*l - 3*w = 84, -4*l + l + 5*w = 34. Let i = -124/7 - l. Is 1 less than or equal to i?
False
Let p = -0.02 + 0.02. Let c = 0 + p. Which is bigger: c or 2/5?
2/5
Let g be ((15/(-13))/(-5))/3. Which is smaller: g or -1?
-1
Let j = -18 - -17.9. Which is greater: -3/2 or j?
j
Let x be (-5 - -6)/(10/904). Let n = -90 + x. Which is greater: 1 or n?
1
Suppose -2*i + 6*i + 108 = 0. Let o = i - -26. Let r = -5.03 - -0.03. Which is smaller: o or r?
r
Let g = 0.25 - 6.25. Are g and 0.3 non-equal?
True
Let v = -9 + 9. Let a = v - 7. Is a at least as big as 0?
False
Let z be (-7)/28 - 1565930/(-1496). Let w = z - 2093/2. Let h = w - -383/1683. Which is bigger: h or -1?
h
Let r(m) = m**2 - 5*m + 4. Let v be r(4). Suppose -3*h + 15 = -v*h. Is 5 < h?
False
Let r(y) = y**3 - 3*y**2 - y. Let z be r(-2). Let i be (-1)/(-4) + z/136. Is i less than -1?
False
Let g(j) be the second derivative of -j**3/6 + 5*j**2/2 + j. Let q be g(6). Let s(d) = 2*d**2 + 8*d. Let k be s(-4). Is k bigger than q?
True
Let q = 4 - 0. Suppose -q*a = -5*a. Let v be (-2)/3 - 39/(-45). Are v and a non-equal?
True
Suppose 6*u - 22 = 20. Is u less than or equal to 7?
True
Let g(k) = 4*k**2 - k. Let q be g(-1). Suppose 5 = -0*s - q*s. Are 2/7 and s non-equal?
True
Let u be ((-15)/40)/(6/4). Suppose 4*m = m + 6. Let v = 1 - m. Is u at most as big as v?
False
Let s(i) = i**3 + 2*i**2 - 2*i - 3. Let d be s(-4). Is d at most -27?
True
Let w = -636 + 4471/7. Which is smaller: w or 3?
w
Let y = 1 - 0. Suppose -4*j + 3 + 1 = 0, 0 = 5*l + 4*j - 39. Let a be (7 - 3) + (-26)/l. Which is smaller: a or y?
a
Let l = -71 - -72. Let r be (0 + 2)/((-20)/(-14)). Is l smaller than r?
True
Let a(g) = -3*g**2 - 4*g - 6. Let p(v) = -5*v**2 - 8*v - 11. Let t(h) = -7*a(h) + 4*p(h). Let w be t(5). Is 3 greater than w?
False
Suppose -14 = -4*z + 2. Let w = 5 + z. Let s be (2/w)/(6/9). Is -1 at most as big as s?
True
Let n = -0.4 + 0.8. Let w = -0.6 - n. Do w and -1/5 have the same value?
False
Suppose 35*y - 33*y + 162 = 0. Is y != -81?
False
Let j = -6 - -6. Let d be (j + 1 - 2)*0. Let h be -2 + 2 + d/1. Are -1 and h equal?
False
Suppose -d + 2 + 1 = 0. Suppose 4*p - 22 = -4*g + 2, 0 = 5*g - p - 12. Let v be (-66)/(-12) + g/(-2). Is d at least v?
False
Let m = 5.632 - -0.068. Let x = -6 + m. Let a be (-1)/(1/(-1) + 2). Which is greater: a or x?
x
Let n be 1/(-6) - (-2 + (-925)/(-30)). Is n at least -28?
False
Suppose 26 = 2*q - x, 2*q - 34 = 4*x + x. Is q > 16?
False
Suppose -16 = j + j. Let r = j - -8. Is -2/7 smaller than r?
True
Suppose 2*p - 6 = -p. Suppose -5*q = -p*k - 18, k - 3*q - 6 = 4*k. Do k and -2/7 have different values?
True
Let g be ((-14)/6 + 2)/((-6)/(-18)). Let c be (-1 + 2)/(-1) - 1. Let h = c - -1. Are g and h nonequal?
False
Suppose -3*q = -8*q - 15. Let r be 13*2*(-4)/(-16). Let g = -7 + r. Is q greater than or equal to g?
False
Let g = -121/3 - -40. Let u = 34 + -34.4. Is g at least as big as u?
True
Let u = 3 - 4. Let i be 27/(-12) + 1/4. Let h be 2 - (i - 30/(-8)). Which is smaller: u or h?
u
Suppose -4*d - 53 = 3. Do -3 and d have the same value?
False
Let s = 5.9 - 5.8. Let r = -0.12 - -4.52. Let d = r - 5. Are d and s equal?
False
Let i = 1 - 5. Let b = -7 - i. Which is smaller: b or -1?
b
Let z(v) = 41*v - 1. Let l be z(-1). Let u be l/(-10) - (4 + -2). Is u at most as big as 3?
True
Let w be (-5)/(-6)*((-94)/20 - -5). Which is bigger: -8/3 or w?
w
Suppose 8 = -4*b + j + 43, -2*j = 6. Let n be 2/6 + b/12. Which is smaller: 1/3 or n?
1/3
Suppose 3*v = 5*w - 0*w + 92, 3*v = 3*w + 60. Are -13 and w non-equal?
True
Let z be ((-3)/(-2))/(5/2). Which is bigger: z or 2?
2
Let d(f) = -2*f - 5. Let o(g) = -g**2. Let j be o(-2). Let s be d(j). Suppose 5*c = 8 + 7. Is s greater than c?
False
Suppose 4*r + 28 = -0*r. Let g be (8/(-3))/(r/21). Which is smaller: -1 or g?
-1
Let g = -6 + 7. Let q(z) = -z + 5. Let t be q(5). Is t > g?
False
Let s be (-4)/6 - (-30)/126. Let d(q) = -2*q - 2. Let v be d(2). Let p be (-1)/(-3) - 4/v. Are s and p equal?
False
Let r be ((-6)/4)/((-15)/10). Let i be ((-5)/5)/(r - 0). Is i != -2/3?
True
Let v be 0/((-4 + 3)*1). Suppose -4*u = -v*u. Are 1/3 and u non-equal?
True
Let v = -29 + 29. Is v > -14/25?
True
Let t = -2/3005 + 53497/12020. Let j = 21/4 - t. Is 2 bigger than j?
True
Let j = 11 - 11. Which is bigger: -2/59 or j?
j
Let y be ((-4)/15)/(4 + 1304/(-320)). Is y bigger than 5?
False
Let b = -0.4 - -0.2. Let q = -0.24 - -0.14. Is b bigger than q?
False
Let j = 0.007 - 0.307. Which is greater: j or 2/43?
2/43
Let d(a) = -a**3 - a**2. Let h(s) = 5*s**3 + 4*s**2 + s. Let r(o) = -2*d(o) - h(o). Let m be r(-1). Is m != 4/5?
True
Suppose -2*o + 10 = 0, -3*a - 5*o + 60 = 2*a. Is a greater than 7?
False
Let b = 0.17 + -0.87. Let v = -0.8 - b. Is v at most as big as 0?
True
Suppose -4*y - 2*k = -6, k - 2 - 3 = 0. Let o be 0/((-5)/(10/4)). Let u = o - 0. Which is greater: y or u?
u
Let q be (-122)/(-14) + (-2)/(-7). Let i = q + -24. Let h be 2 - (1 + i/(-9)). Which is smaller: 4 or h?
h
Suppose -2*y + 12 = 8. Suppose 0 = -3*n + n + y. Which is smaller: -2/5 or n?
-2/5
Suppose 0 = -3*l + 10 - 1. Suppose -y - l + 18 = 0. Suppose -7*v + y = -2*v. Is v greater than or equal to 3?
True
Let l be (1/(-1) + 1)/(-2). Suppose -3*r = -4 - 2. Suppose -5*n + 3*b = 1, 5*n - 8 = 6*n + r*b. Which is smaller: l or n?
n
Suppose 3*h - 10 = -1. Suppose c - 5 + 3 = 0. Let j = 4 - c. Is j > h?
False
Let m = -7/32 + 341/96. Does 4 = m?
False
Let l = 13 - 14. Is 5 < l?
False
Let i be (12/4 + -4)*(-4)/(-14). Let x = 0.18 - 0.2. Let g = -2.98 + x. Which is greater: i or g?
i
Let s = -15 - -10. Suppose -3*j = -8*j + 5. Which is bigger: s or j?
j
Let k = -11 + 11. Which is bigger: k or 1.7?
1.7
Let x(t) = 2*t + 42. Let s be x(-21). Is 3/8 greater than or equal to s?
True
Let t = -47/858 - 16/143. Let b(k) = k**2 + 1. Let q = 1 - 1. Let y be b(q). Is t < y?
True
Suppose 5*k - 4*w = 9, 2*k - 26 = -w - 3*w. Suppose -k*y + 2*y = 6. Let x = -3 + -1. Do