r s?
l
Suppose 2*a = -a + 3. Which is smaller: a or 2/29?
2/29
Let c = -32 + 32.95. Let o = -0.05 + c. Let g = -1 + o. Is g not equal to -0.1?
False
Let h(a) = -2*a**2 - 5*a + 14. Let x be h(-10). Let k = 1498/11 + x. Is k at least 0?
True
Let n = 4 + -6. Let h be 1/((-26)/4 + 1). Let x = h + -16/33. Which is bigger: x or n?
x
Let t = 93/2 - 48. Let l = 1 + 0. Suppose l = -u - 2. Which is bigger: t or u?
t
Let l = -8 - -24. Suppose 21 = 5*h + 4*i, -4*i = -4*h + i - l. Which is smaller: 1/7 or h?
1/7
Let n(d) = -d + 9. Let l be n(8). Let q be (1 + 0)/(l/3). Let t be (2/(-2))/(q/(-3)). Is 2/13 at least t?
False
Suppose -8 = -5*z + 3*w - 23, 3*w - 6 = 2*z. Is z <= -2?
True
Let n be 21/(-84)*3*(-8)/(-6). Is n not equal to -2/237?
True
Let z(c) = -13*c**2 + 1. Let i be z(1). Is -12 > i?
False
Let c = -1 - -5. Let p be (-2314)/(-30) + c/(-12). Let d = p - 77. Which is bigger: d or 1?
1
Suppose -5*x - z - 30 = 4*z, 0 = 3*x - 5*z - 14. Let l(v) = 5*v**3 - v**2 - 2*v - 1. Let h be l(-1). Let b be 0/h + (-4)/(-6). Is b at least as big as x?
True
Suppose 2*h + a = -3*a + 24, -5*h = a - 15. Suppose 2*u - h = 4*u. Is 0 greater than u?
True
Let u = -22 - -16. Let t = u + 6. Which is smaller: -2/5 or t?
-2/5
Suppose -5*k + 97 = -453. Suppose 3*s - 66 - 3 = 3*m, 4*s = -5*m + k. Let n = s + -76/3. Which is greater: n or 0?
0
Let h = -3 + 2. Is -0.5 equal to h?
False
Suppose -4*s + 2*k = -50, 5*s - 70 = 4*k - 9*k. Are 8 and s unequal?
True
Suppose 0 = 2*c + 5*n + 4, 0 = 2*c + 3*n + 9 - 1. Which is smaller: c or 2/7?
c
Suppose 4*o - 7*o = 0. Which is bigger: 3/4 or o?
3/4
Let h = 44 + -25. Let f = 17 - h. Which is smaller: 0.02 or f?
f
Suppose o - p = -o + 7, 3*o - 18 = -p. Suppose 9 - 1 = u - 2*l, l = o*u + 5. Does u = -5?
False
Let b be (-2 - 6)/(-2) + -2. Let j be 0/b*(-1)/(-2). Suppose x + x + 5*z - 17 = 0, j = -3*x - 2*z + 9. Does x = -1/8?
False
Let h = 0.04 + 0.56. Let g = 0.4 - h. Let j = 3/13 + 1/52. Which is smaller: j or g?
g
Let s be (-12)/(-36)*(0 + 0). Let y = -13 - s. Do -14 and y have the same value?
False
Suppose 3*k = 5*z + 10, 3*k = 3*z - 5*z - 4. Let l = 523/6 - 89. Is l < z?
False
Let z = 0.9 - 0.4. Suppose 0 = 4*b + 4*x + 8 - 40, -4*b = -2*x - 14. Suppose a - b = 6*a. Which is bigger: a or z?
z
Let t be (-40)/14*(-42)/4. Which is bigger: t or 29?
t
Let n = -2005/126 + 140/9. Are n and -2/7 nonequal?
True
Let g be 17/(-5) - (-4)/10. Let f(u) = u**3 + 5*u**2 + 2*u - 2. Let k be f(-5). Let d be ((-15)/9 - -2)*k. Which is smaller: g or d?
d
Let v = -4 + 11. Suppose -3*r = -v*r. Which is bigger: r or -2/3?
r
Suppose -2*w + 5*w + 2*n + 6 = 0, -5*w = -4*n - 12. Let u = w - 3. Is 2/7 >= u?
True
Let d(b) = -b - 4. Let t be d(-6). Let v be ((-8)/(-12))/(t/33). Let s = 11 - v. Which is smaller: s or 1/5?
s
Let s = 10 + 2. Let m be s/(-75)*10/4. Which is smaller: 2/3 or m?
m
Let l = -10 - -12. Suppose 2 = -2*x - l. Which is greater: x or -3?
x
Let s(w) = -w - 1. Let h be s(-9). Suppose 4*o - 3*q = 2*q + 22, 4*q + h = 0. Let a be (1 + -1)/(-15 - -11). Which is smaller: a or o?
a
Suppose -4 = j + 3*j. Let p = 10 + -11. Is p not equal to j?
False
Suppose -a + 6*a + 17 = t, 0 = 3*t - 2*a - 12. Suppose 3*j = -0*j. Are t and j nonequal?
True
Suppose 4*o = 8*o + 36. Let k be (-12)/o*3/2. Let g = 0 - -3. Which is smaller: g or k?
k
Let c be (-11)/(-3) + (-1)/(-3). Suppose -g = -c*g - 3. Let a be 2/(-24)*(-3)/2. Is a smaller than g?
False
Let z = 0.004 - 15.004. Is z >= 0?
False
Suppose -4*u = -4*q + 20, -3*q + 0*u + 20 = -4*u. Suppose -2*y - 3 - 1 = 0. Let m(r) = r**3 + 3*r**2 + 4*r + 3. Let w be m(y). Which is bigger: q or w?
q
Let r be (-24)/(-14) + 6/21. Let f be 8/54*3/r. Let w be ((-9)/12)/(0 + -3). Are w and f unequal?
True
Let t = -8 + 6. Let g be (2/(-1))/(t/(-3)). Let w = g + 11/3. Which is smaller: 2 or w?
w
Let l = 1.7 - 2. Which is smaller: 1 or l?
l
Let q = -87/5 + 1121/65. Which is smaller: q or 1?
q
Let l(v) be the first derivative of -v**2/2 - v - 2. Let t(s) = -s**2 - 11*s - 12. Let b(u) = -3*l(u) + t(u). Let q be b(-6). Does 2 = q?
False
Let t(r) = -r + 10. Let y be t(11). Let f be 1103/(-36) + 3/(-12). Let i = -31 - f. Which is smaller: i or y?
y
Let c = 1.71 - 0.71. Is 51 greater than c?
True
Suppose 3*c = 3*j - 84, -5*c = 5*j - 29 + 119. Let i = -23 - c. Let a = 4/59 - 138/295. Is i at least as big as a?
True
Let b be (-642)/(-92)*5/(-150). Let t = b - 2/115. Which is smaller: t or -1?
-1
Let k = 365/28 - 86/7. Is 1/4 equal to k?
False
Suppose 1 = -5*t - 9. Let a = 3 - 3. Suppose -2*z = -a*z. Which is smaller: t or z?
t
Let h = 0 - -4. Suppose -3*b = 4*s - 10 - 49, s = -h*b + 18. Let y be 1/(-2) - s/(-44). Is 1 greater than or equal to y?
True
Suppose 6*a = 5*a - 1. Let r be a + -1 + 1 - -6. Suppose 0 = -5*c - x - 13, -3*c + r*x + 8 = 27. Which is smaller: -4 or c?
-4
Let g be (-6069)/(-17415) - 3/5. Let q = 14/43 + g. Which is smaller: q or 1?
q
Let b be (-12)/(-4) + (-1)/(-1). Suppose m = -n + 2, 0 = m - 0*m - 2. Suppose -5*d + 20 = -y + 3*y, n = y + 4*d - 16. Is y at most b?
True
Let n(c) = -c**2 - 2*c. Let i(d) = -5*d**2 + 2*d - 1. Let j be i(1). Let r = j + 2. Let v be n(r). Is 2/13 at least v?
True
Suppose 0 = -5*x + 1 + 4. Let d(g) be the third derivative of g**6/120 + g**5/15 - g**4/6 + 5*g**3/6 + g**2. Let y be d(-5). Which is greater: y or x?
x
Let t = 3/221 - -579/6188. Let l = -1/56 - t. Is l < 0?
True
Suppose 2*r - 21 = 11. Let n = r + -21. Is n bigger than -1?
False
Let f = 5 - 1. Is 4 smaller than f?
False
Let v be -1 + 1 + -3 + -1. Which is smaller: -5 or v?
-5
Suppose 0 = -t - 5*u + 22, -4*u = -3*t - 5 - 24. Let o be (-6)/(-4) - t/6. Let y be o/1*1/3. Which is greater: 2 or y?
2
Let l be ((-20)/(-8))/((-2)/(-4)). Suppose -15 = 4*k - l*k + 3*f, -5*k - 5 = f. Let r be (-1 - k) + (-1 - -1). Are r and -6/11 nonequal?
True
Suppose p + 0*p = 3. Suppose 0*f + 4*f + g - 6 = 0, -2*g = 4. Are f and p unequal?
True
Suppose -x + 55 = 4*x. Suppose -3*s + x = -1. Which is smaller: s or 3?
3
Suppose 3*h + 6 = 3*x, h = -0*h. Let n be (-3170)/(-44)*(-6 + x). Let r = n - -288. Which is greater: -1 or r?
r
Let f = 4 + -3. Suppose 45 - 3 = 7*h. Which is smaller: h or f?
f
Suppose -9*v = -5*v. Suppose 7*q - 4*q = 15. Suppose -q*i + 0*i = v. Which is smaller: i or 1?
i
Suppose y + 4*h + h = -9, h = y - 3. Let x be 1*(2 + (y - 4)). Is x less than or equal to 2?
True
Suppose 0 = 5*g - 2*z + 85, 0*g - 2*z = -2*g - 34. Suppose 3*p + 10 = -41. Is p < g?
False
Let f = -4 + 3. Let t be f + (-4)/((-4)/(-3)). Let k be t/22 + 39/33. Is k bigger than 1?
False
Let k = -18.48 - -19. Let u = -0.08 - k. Let a = -0.3 - u. Which is smaller: a or -1?
-1
Let i be 0 - (0 + 2/(-2)). Let j(g) = 15*g**3 + 2*g**2 - 8*g**3 - 2*g - 10*g**3 + 2 - 1. Let b be j(1). Which is smaller: i or b?
b
Let g(l) = 5*l - 9. Let p(y) = -2*y + 4. Let d(m) = -3*g(m) - 7*p(m). Let z be d(-2). Is -1/4 smaller than z?
True
Let v = 13 + -67/5. Is -0.6 <= v?
True
Let b = -22.9 + 32.6. Let f = b - 0.7. Let k = 8.8 - f. Which is greater: 3 or k?
3
Let d be (-210)/7*6/(-9). Is 19 less than d?
True
Let h = 25 - 15. Suppose 0*d = m - d + 2, d = -3*m + h. Which is greater: 1 or m?
m
Let c = -5 + 2. Which is smaller: c or -0.2?
c
Let g(r) = r**3 + 11*r**2 - 15*r - 14. Let x be g(-12). Suppose -2*w + x = -0*w. Which is smaller: 12 or w?
w
Let w be 2/(-4) - 22/(-4). Let x(l) = -l - 2. Let p be x(6). Let q = p + w. Is -3 greater than or equal to q?
True
Let f = -10.2 - -10. Suppose m + m - 4 = 0. Which is bigger: m or f?
m
Let q = 49 - 247/5. Let j = -4 - -3. Is q != j?
True
Let h(o) = 2*o**2 - 1. Let u(p) = p**3 + 3*p**2 - 6*p - 4. Let l be u(-4). Suppose -d = 3 - l. Let k be h(d). Are 2 and k equal?
False
Let u be 5/15 + 5/3. Suppose l = 2, 0 = 3*h - l + u - 24. Are h and 8 unequal?
False
Let f be (-4)/(((-2)/(-1))/(-14)). Suppose 3*h = -5*l - f, -h - l - 3 = 3. Suppose -3 = -w - 5*o + 5, -14 = 2*w - 5*o. Which is bigger: h or w?
h
Let k = -29 + 29.4. Is k >= 0?
True
Let i = 13 - 13. Suppose i = a - 0*a - 4*r - 7, 1 = -2*a + 3*r. Which is smaller: a or -4?
a
Let a be (2/2)/(3/6). Let p be a/(-6)*6/(-8). Let o = 0 - 0. Is o less than or equal to p?
True
Let w = -497/8745 + -1/265. Are 0 and w non-equal?
True
Let h = 20.2 - 17.2. Which is greater: h or 7?
7
Let t(l) = l**2 - 4*l + 5. Let w be t(2