es r = g?
False
Let u = 3 + -5/2. Let j = 12 - 12.01. Let i = 2.99 - j. Which is smaller: i or u?
u
Suppose 0 = -5*p + p - 16, 2*z + 3*p + 16 = 0. Let r = 6 - 1. Let n = z + r. Is n >= 3?
True
Let o = 123 + -128.12. Let k = 0.12 + o. Let u = -8 - k. Which is smaller: u or -2/3?
u
Suppose -3*v - 4*m = -2 - 32, 2*v = -5*m + 32. Suppose -3 = -4*h + 13. Suppose -h*x = 5*g + 1 + 6, 0 = -2*x - v. Which is bigger: g or 1/4?
g
Let l(g) = -2*g + 4. Let x be l(3). Let z = 1 + x. Is -3 smaller than z?
True
Suppose 3*s = -5*x - 23, -2*s - 22 = 6*x - x. Let d = -16 - -9. Let i be d/(-35) + (-26)/30. Is i > s?
True
Let f be ((-2)/6)/((-2)/54). Suppose -86*o = -89*o + 27. Does o = f?
True
Let g(c) = 1 - 4*c**2 - 4*c**3 - 1 - 2*c - 6 + 3*c**3. Let t be g(-4). Which is greater: t or 0.2?
t
Let f be (4 - 1)/(27/(-2)). Is 0 greater than or equal to f?
True
Suppose 6 = 2*p - 0*p. Let l = p + 0. Suppose 5 = k + l. Is 1 bigger than k?
False
Let h be 9/6*(2 + (-13)/6). Let k = 7.7 + -8. Let s = 0.1 + k. Is s greater than h?
True
Let x be (-64)/84 - 3/(-7). Let a = 0.1 + -0.2. Is x at most as big as a?
True
Suppose 0 = 4*m + c - 120, -5*m + 4*c = -c - 150. Let l be ((-12)/m)/(8/170). Is l greater than or equal to -10?
True
Let m = 403 + -4429/11. Let u be ((0 - 2)/2)/1. Is m bigger than u?
True
Let o be (4 + 0)*6/(-8). Let r = o - -6. Which is smaller: r or 1?
1
Suppose -4*r = r - 30. Suppose 0 = 5*x - r*x. Is 4/3 at most x?
False
Let y(q) = q**2 - 2*q - 1. Let i be y(-2). Are 8 and i equal?
False
Let m = 9 - 3. Suppose -2*k = -t, -3 = -5*k - t + 11. Suppose -m = -k*s + 5*s. Which is smaller: -3 or s?
-3
Let a be 17/5 + (-2)/5. Let u be a + (1 - (-3 - -6)). Are u and 0 nonequal?
True
Suppose 0 = -3*d + 8*d. Suppose d = 4*m - 18 - 10. Is m at most as big as 6?
False
Let n = 0 - -1. Let p(x) = -x + 13 + 4 + 0*x - 5. Let u be p(12). Which is smaller: n or u?
u
Let w = -9 - -5. Let r be (w/20)/(1/(-5)). Which is smaller: r or 2/15?
2/15
Let o(l) = l**2 - 6*l + 4. Let a be o(5). Let k be (-50)/(-20)*(-2)/(-330). Let q = k - -1/6. Which is greater: a or q?
q
Let c(f) be the third derivative of -f**4/24 + f**3/3 - 3*f**2. Let r be c(2). Suppose -2*w + 3*w + 3 = r. Which is greater: w or -1?
-1
Let m = -26 + 27. Which is greater: 0 or m?
m
Suppose -4 = m - 1. Is -2 less than m?
False
Let z be 1*2*2/4. Let r = -27 - -29. Is r >= z?
True
Let z(n) = 2*n - 8 + 8. Let q be z(-1). Are -3/4 and q non-equal?
True
Suppose 2*g + 2 = 0, 0 = 3*s - 2*g + 11 - 1. Let q be s/(-3)*1*3. Let j = -4 + q. Is j != 1/5?
True
Let t = -12 + 15. Is 5 greater than t?
True
Let i = -0.05 - 0.97. Let x = i - -0.02. Is x < 2/3?
True
Let k = -19 + 25.9. Let q = 1.9 - k. Which is smaller: 3 or q?
q
Suppose 3*g + 11 = 4*r, 3 = 2*g - r + 7. Is -4 not equal to g?
True
Let y = 1 + 2. Suppose y + 0 = a. Suppose 2*r = a*r. Which is bigger: -2/7 or r?
r
Suppose 0*g = -4*r + g + 4, -12 = 4*r + 3*g. Let a be 1/26 - (-1 + 1). Is a not equal to r?
True
Let s = 4 + -4. Is s < -2/69?
False
Let o = 621/7 + -89. Let m = 24.9 + -26. Let q = 0.1 + m. Which is smaller: q or o?
q
Let v = 0.03 - -2.97. Let o = v - 4. Which is smaller: 0 or o?
o
Suppose -3*u + 2*d = -7, -5*u + 4*d = d - 10. Suppose -5*q = -5*h + 15, 3*q = -5*h - 2 - 7. Which is smaller: u or h?
u
Suppose 4 = s - 3*s. Let q = 2 + s. Let k = q + -1. Which is smaller: 0 or k?
k
Let y = -17 - -17. Are 0 and y nonequal?
False
Let k = -226/5 + 46. Let j = 37 - 35. Which is greater: j or k?
j
Let b be 4/(-14)*(4 - 11). Are 3/5 and b unequal?
True
Let m be (-5 - -6)/((-1)/(51*1)). Is -50 at least m?
True
Let x be -5 + 1 + (-189)/(-14). Let c be 2/(-2) + 9 + 1. Which is greater: x or c?
x
Suppose 0 = 2*w - 7*w. Do w and 10/7 have different values?
True
Let f be -3 + (-10)/(-8) + 2. Which is greater: 2 or f?
2
Let f = 0.134 - -0.866. Which is smaller: f or 22?
f
Let r = 9 + -8. Let j = -2 + r. Which is smaller: j or 9?
j
Suppose 0*v - 22 = 2*v. Let o = 5 + v. Let r be 2/4*o/9. Is 0 bigger than r?
True
Let z = -0.025 - 0.345. Is 2/3 equal to z?
False
Let k(v) = 5*v**3 - 2*v**2 + v. Let s be k(1). Suppose -6*d + 2*d - s = 0. Which is greater: 0 or d?
0
Let t = 2 - 3. Let k = 107 - 753/7. Which is greater: t or k?
k
Suppose -b + 5*b = 64. Let v = 6 + -2. Suppose -5*y - b = -y + v*q, q + 2 = 0. Which is greater: -3 or y?
y
Let h = 0 - -2. Let y be (h/(-12))/((-21)/(-28)). Are y and -0.1 non-equal?
True
Let o be (3 - 100/32)*6. Which is greater: o or -2/3?
-2/3
Suppose 3*m + 5*h = -m + 17, -m - 4*h = -18. Let f be (m/3)/(2/3). Let g be (-8)/6 - f/3. Which is smaller: -2/11 or g?
g
Suppose -2*l - l - 15 = 0. Let w = 6 + l. Suppose -w = h + 3. Which is smaller: -3 or h?
h
Let d = 3 + -4. Let o = d + 1. Let k = 3 - 5. Which is smaller: k or o?
k
Let r = 19 - 22. Which is greater: r or -2?
-2
Suppose j = 5*q - 1, 0 = -2*j - 2*q - 2. Is j at least as big as -2/11?
False
Let y = -173/4 + 43. Let r = 8548/19 - 450. Which is bigger: r or y?
r
Let m be (0 - 0) + 2*1. Suppose -w - 23*a + 4 = -26*a, 5*w - 37 = -2*a. Which is bigger: w or m?
w
Let u be (-17)/(-15)*1 - 1. Which is bigger: -1 or u?
u
Let x be (-2)/(-3)*135/(-18). Is -5 > x?
False
Suppose -10 = 3*y + 2*y + 5*s, 30 = 5*y - 5*s. Let j(i) = 2*i + 4*i**2 - 3*i - 2 + 2*i + y*i**3. Let q be j(-2). Which is bigger: q or -5?
q
Suppose 3*c - r - 830 = 0, -c + 346 = 5*r + 96. Suppose s = -2*n - c + 13, 4*n + 254 = -s. Let k be -5*(274/s + 1). Which is smaller: k or 1?
k
Suppose 0 = 2*x + 2, x - 14 = -5*f + 5*x. Is 3/5 less than or equal to f?
True
Let z = -10 + 19. Let y be ((-12)/(-162))/((-3)/z). Which is smaller: 0 or y?
y
Let u be 3/4 + (-25)/(-20). Which is smaller: u or 4?
u
Let b = 1 + -9. Let h be b/28 + (-20)/28. Which is smaller: h or 3?
h
Let l = -0.1 - 1.9. Let r = l - -2. Let m(c) = 2*c + 16. Let o be m(-7). Is o at least r?
True
Let g = 11 + -9. Let t = 6 - 4. Is t less than or equal to g?
True
Let f(h) = 9*h**2 - 9*h - 17. Let c(v) = 5*v**2 - 4*v - 9. Let p(s) = -7*c(s) + 4*f(s). Let w be p(8). Is w smaller than -5?
False
Suppose n + 19 = -5*m, -n + m + 2*m + 21 = 0. Let k(i) = i - 6. Let z be k(n). Which is smaller: -5/7 or z?
-5/7
Let m be 2*8/(-2)*3. Does -24 = m?
True
Let r = -68 + 50. Is r smaller than 2/3?
True
Let r = 238.18 - 5.16. Let l = r - 231. Let u = l - 0.02. Do u and -0.1 have the same value?
False
Let h(i) = -3*i - 9. Let b(r) = -4*r - 10. Let w(u) = 2*b(u) - 3*h(u). Let p = 9 + -16. Let a be w(p). Which is smaller: a or -1/2?
-1/2
Suppose 0 = -4*f - f + 5. Let j = 0.1 + -0.02. Does f = j?
False
Let o = -0.5 - -0.3. Let b = o - -1.2. Let h = 6 - 5. Is b > h?
False
Let a be (-66)/36 - (-1)/(-6). Let u(i) = i**2 + 3. Let r be u(0). Suppose -r*x - 4 = -x. Is a != x?
False
Let j = -38 - -53. Are j and 71/5 nonequal?
True
Let m be (-9)/3 + -1 + -2. Let l = 9 + m. Suppose 4*x - x - l = 0. Is 1 > x?
False
Let d = -11/39 + 8/39. Which is bigger: 1 or d?
1
Let y = -253 + 425. Let z = y + -162.9. Let w = 9 - z. Are w and 3 nonequal?
True
Let b = 5 + -79. Let i = b + 520/7. Let s be -1 + 0 - (-1 + 0). Is s <= i?
True
Let o(y) = -4*y + 6. Let l be o(8). Let b = l + 28. Which is bigger: b or 3?
3
Let o = 29 - 21. Let g = o - 10. Let u = 2 + g. Is 2/5 at least as big as u?
True
Let g = -1 - -1. Let z(a) = -2*a - 13. Let u be z(-9). Suppose u*n = -g*n - 10. Which is greater: n or -1?
-1
Suppose -3*l + 6*q + 72 = 3*q, 5*q - 105 = -4*l. Do 25 and l have the same value?
True
Suppose -2*i = -4 - 6. Suppose -h - 4*h - i = 0. Which is smaller: 1 or h?
h
Suppose 0 = -2*u - 2*u + 16. Let f be 8/(-12) - u/(-6). Let k = 431/8 + -54. Which is greater: k or f?
f
Let l(g) = -10*g + 5. Let i be l(-5). Let u be ((-4)/i)/(2/(-5)). Let p be -1*2*1/(-2). Which is smaller: u or p?
u
Suppose -i - 5*p - 11 = 8, i + 4*p = -14. Let t be 4/i + 3 + -4. Is -18 greater than t?
False
Let v be -1 - 3/((-9)/(-51)). Let l = -6 - v. Suppose 0 = g + 6*d - 2*d - l, -9 = 4*g - 3*d. Is g != -2/13?
True
Let t(c) = -c**3 + 13*c**2 - 11*c - 8. Let l be t(12). Suppose 3*g - 12 = -o, -l*o + 0*g + 34 = 5*g. Are o and 5 equal?
False
Suppose 0 = 8*z - 4 - 20. Which is bigger: 2 or z?
z
Let a = -145/3 - -49. Is a smaller than 0?
False
Let z = -10 + -3. Let h = -12 - z. Let i = -27 - -109/4. Which is smaller: i or h?
i
Suppose 0*a + 16 = -v - 3*a, 0 = 4*v 