i + i - 3*l + c, 4*i + 5*l - r = 0. Which is smaller: 2 or i?
2
Let k(p) = p**2 + 8*p - 4. Let n be k(-9). Suppose n - 1 = -b. Let x = b - -2. Which is smaller: 0 or x?
x
Let w(i) = 2*i - 2. Let s be w(3). Let t be s*((-27)/(-21) + -1). Which is smaller: t or 1?
1
Let k be (-16)/4 - 50/(-11). Is 1 != k?
True
Let g = 6 + 0. Let w be (2/g)/((-4)/24). Which is smaller: -1 or w?
w
Suppose 0 = -4*i + 24 + 32. Suppose -h + 0 = i. Let b be 2/(-7) + (-25)/h. Are b and 3 equal?
False
Let h = 1/582 - 413/14550. Is -1 greater than h?
False
Let g(v) = -v**2 + 9*v - 3. Let u be g(8). Is u greater than -5?
True
Suppose 5*b = -2*i - 26, 0*i = -4*i - 12. Let a(w) = w**3 + 4*w**2 - 6*w - 3. Let l be a(-5). Suppose 2 = -u - l. Do u and b have different values?
False
Let p(v) = -v**2 + 15*v + 14. Let n be p(16). Which is smaller: n or -3?
-3
Let t(q) = q - 3. Let y be t(6). Suppose -2*x = y*x + 10. Are x and -3/2 non-equal?
True
Let q = 101176/231 + -438. Which is smaller: q or -1?
-1
Let z(u) = -u**2 - 28*u - 14. Let q be z(-24). Which is bigger: 83 or q?
83
Let l = 21127/14 + -1508. Let m = l + -4/7. Does 0 = m?
False
Suppose -2*q - 2*n + 20 = 0, 89 = 5*q + 4*n + 37. Let j(z) = -z**2 + 11*z + 11. Let g be j(q). Which is greater: -2 or g?
g
Let j(i) = -2*i + 18. Let f be j(9). Let c be (12/10)/(9/60). Suppose 2*b = -2*b - c. Is b > f?
False
Let j be 232/(-18)*(-6)/44. Let u = -12/11 + j. Which is smaller: 2 or u?
u
Let h(r) = -r**3 + 4 + r + r**2 + 3*r**2 + 2*r - r**2. Let p be h(4). Which is greater: 2/13 or p?
2/13
Let d be (-1085)/(-42) - 1/3. Let z = -28 + d. Which is smaller: z or -4?
-4
Let a = 6 + -11. Let d(z) = -z**3 - 6*z**2 - 7*z - 1. Let r be d(a). Let u = r + -33/4. Which is greater: 2 or u?
2
Let p be (-15)/6*8/(-4). Suppose -2*z - p*t + 34 = -3*z, -z - 31 = -4*t. Let n = z + 94/5. Which is bigger: n or 2?
2
Suppose 3*n = 5*n + 8. Suppose -3*b - 8 = 7. Is n > b?
True
Let r be (18/(-4))/((-15)/(-20)). Let o be (-4)/(12/9) - r. Suppose -o*j + 5*h = 21, 2*j + 4*h = -h + 11. Is j at most as big as 0?
True
Suppose l - 10 = -0*l. Let i be 1/l*5/4. Let t be (1 - -1)/(12 + -10). Do t and i have the same value?
False
Let y be -6*2*(-4)/(-6). Let l be (4/y)/(1/(-2)). Is l not equal to -2/7?
True
Suppose -10*f + 108 = 28. Which is smaller: f or 31/4?
31/4
Suppose -x = -2*x + 5. Let i = -3 + x. Suppose -i*d = 1 + 3. Is d != -3?
True
Let z = -3 + -3. Let k = -34/23 + -231/46. Let f = k - z. Does f = -1?
False
Let d = 0.05 - 0.19. Let j = -0.04 - d. Let a = -1 - -0.99. Which is smaller: a or j?
a
Let p = -5.813 + -0.187. Which is smaller: 0.09 or p?
p
Let i be ((-1)/1*-3)/1. Suppose 0 = -3*q - 6*q + 36. Is q at most i?
False
Let f(p) = 2*p + 10. Let w be f(-5). Suppose w = -3*o + m + 20, 0*o + 4*o - m = 25. Are 4 and o equal?
False
Let x = 10 - 5. Let s be (-38)/(-4) - (-1)/(-2). Let v = s - 4. Do v and x have different values?
False
Let z be 15/4 - 1/(-4). Let g = 91 + -86. Which is smaller: z or g?
z
Suppose -2*b + 6 = -m + 48, 0 = 3*b - m + 64. Is -22 < b?
False
Let a = -39 + 37. Which is greater: -20 or a?
a
Let j(h) = 2*h. Let t be j(1). Which is smaller: 0 or t?
0
Let i be 2/5 + (-2)/5. Let s(b) = b + 1. Let g be s(i). Which is greater: 0 or g?
g
Let c = -1/27 - -32/135. Is 6 smaller than c?
False
Let i = -5 - -46/9. Is 0 <= i?
True
Suppose 4*t - 3*i - 12 - 11 = 0, 5*t + 2*i = 0. Let p = 51 - 49. Suppose -2 = -t*b + p. Which is bigger: b or 3/4?
b
Let b = -1 + -10. Which is greater: -1 or b?
-1
Let t be (0 - 0 - (-4)/8)*2. Which is smaller: t or -3/11?
-3/11
Let q be (0 + -3 + 1)*(-3)/(-114). Is q >= 1?
False
Let d(q) = -q**2 - 3*q + 3. Let z be d(-3). Let l be (z + 2/(-1))*1. Which is smaller: 3/4 or l?
3/4
Let d = 4.9 + -4.9. Which is bigger: 0.8 or d?
0.8
Let z(n) = -2*n**3 - 13*n**2 - 7*n - 8. Let w be z(-6). Let t = 0 + 0. Let l = -4 - t. Which is greater: l or w?
w
Let f(r) = r**2 + 4*r + 6. Let d be f(-3). Which is smaller: d or 22/7?
d
Let h = 22/39 - 3/13. Which is smaller: 1 or h?
h
Suppose 3*c - k = -14, k - 24 = 3*c - 2*k. Are c and -22/5 non-equal?
True
Let y = 190 + -107. Is 0 != y?
True
Suppose a + 12 = 4*c - 2*c, 5*a = 4*c - 60. Let u be (-48)/32 + (-10)/a. Let i = -1 - -1. Is i > u?
True
Suppose 5*y - 227 = -17. Let x be (-30)/y*(-3)/(-5). Which is smaller: x or 1?
x
Let k be 3 + -2 + (-18 - -5). Let g be -3 - (-2)/(k/(-10)). Is 0 <= g?
False
Suppose -i = -7*i. Is -1/42 < i?
True
Let t be 3/6 - 14/(-4). Suppose -5*g = -4*g + t. Is g less than -4?
False
Let l = 3.6 + -2.6. Is l at least as big as 4?
False
Let d(q) = 4*q - 34. Let j be d(12). Which is bigger: j or 16?
16
Let p be 4/8 - 406/(-8). Let m = -51 + p. Let q = 0 + -0.03. Which is bigger: q or m?
m
Let w = -4 - -3. Let v = w - -1. Let f = 2 + v. Are 0.1 and f nonequal?
True
Let a = 0.044 + 7.956. Which is smaller: a or 2?
2
Let c = -6 - -5. Let o = c + 0. Is o <= 3/7?
True
Suppose -4*i + 0*x = -x + 1, x + 5 = -2*i. Let y = i + 1. Suppose y*r = -2*r. Which is bigger: r or 1?
1
Let p be ((-14)/6 - -3) + (-14)/3. Let g = 11 + -16. Which is smaller: p or g?
g
Let n be (-3)/(4/(16/(-6))). Suppose 2*j + n*i - 4*i - 6 = 0, 3*j = 2*i + 14. Let h = j - 9. Which is bigger: 0 or h?
0
Suppose -4*s + 5*g - 126 = 0, s + 3*s = -3*g - 142. Which is smaller: s or 2/7?
s
Let i = -2 + 3. Let t = i + 3. Suppose t*d + 39 = 11. Which is smaller: -8 or d?
-8
Suppose -2*g - 4 = -2. Let z be (0 + g)*(1 + -2). Let n be 1/(-2) - 3/(-12). Is n smaller than z?
True
Let m(x) = x**2 + x. Let d = -1 - 0. Let k be m(d). Is 2/11 > k?
True
Let n = -25 + 30. Which is greater: 50/9 or n?
50/9
Suppose 0 = 2*d - 8, 2*k + 2 - 8 = -3*d. Let q be 5/k + 6/(-18). Is 9 <= q?
False
Let l = 2.2 + -2.09. Let f = 0.09 + l. Which is smaller: -0.3 or f?
-0.3
Let a be 3*((-37)/15 - -3). Which is bigger: a or 2?
2
Let s = 588/5 - 112. Let b = -6 + s. Suppose 2*v = -5*z + 3 + 5, z = -2*v + 8. Is b greater than or equal to z?
False
Let s be (-56)/(-42) + (-4)/(-6). Suppose -s*x + 6*x = -16. Which is bigger: -6 or x?
x
Let r(o) = -4 + 2*o - o - 1. Let g be r(5). Suppose g = -u - 3. Is u greater than -3?
False
Suppose -4*c - 4 = 5*l, 3*c + 4*l + l + 8 = 0. Let s be c/(-22) - (-36)/(-44). Which is smaller: 3/7 or s?
s
Let h(w) = 5*w**3 - 11*w**2 + 6*w + 3. Let i(r) = 2*r**3 - 4*r**2 + 2*r + 1. Let k(f) = 4*h(f) - 11*i(f). Let j be k(-1). Does j = 1?
True
Let v = 27 + -56. Let q = 30 + v. Let p = 4/3 - 22/21. Is p at least q?
False
Suppose -2*f = 2*f + 2*h - 44, 0 = -f + 5*h - 11. Suppose 2*n = 9 + 7. Which is smaller: f or n?
n
Let s = 45 + -47. Which is smaller: -4 or s?
-4
Let y be (-1 - 1) + (0 - 4). Let x be y/21 - (-4)/14. Are x and -4 non-equal?
True
Let f = 2 + -2.01. Let t = f + -0.99. Is t greater than or equal to 2?
False
Let c = -2 - 0. Let u(m) = -2*m**2 - m. Let r be u(c). Are r and -5 nonequal?
True
Let q = -101 - -102. Let c = 7 - 11. Do c and q have the same value?
False
Suppose 9*s - 4*s + 2*o - 5 = 0, 0 = 4*s - 2*o - 4. Let p = 29/33 - 6/11. Which is greater: p or s?
s
Let p be (-38)/(-6) - (-4)/6. Suppose -2 = 5*o - p. Does 0 = o?
False
Let s = 1.4 - 0.4. Let c = s + -2. Which is smaller: c or -8?
-8
Let s(n) be the second derivative of n**4/12 - n**3/3 - 2*n**2 - 2*n. Let r be s(3). Let k be r - (-1)/(9/15). Which is bigger: 0 or k?
k
Let u = 22 - 21.9. Let q = -3 - -6. Which is smaller: q or u?
u
Suppose 0 = 3*d + 15 + 6. Let y be d/(-9) - (-4)/18. Let f = -13 - -15. Is f smaller than y?
False
Let f = -0.1 - -0.1. Let y = -1 + f. Let l = 0.9 + y. Do 2/9 and l have the same value?
False
Let t be 10/(-45) + 58/18. Suppose 4*n = -4, 6*p - t*p = -2*n - 17. Which is bigger: p or -4?
-4
Suppose -i = i. Let j = -0.8 - -1. Let m = -0.1 + j. Which is greater: i or m?
m
Let l = 0.6 + -0.44. Let x = 39 + -38.94. Let n = l - x. Is 0 bigger than n?
False
Suppose 0 = -3*x + 6*x - 3. Is x at least -0.24?
True
Let m = 40 + -40. Which is bigger: 2/45 or m?
2/45
Let b = -3 + 1. Suppose 4*u = -0*u - 4, 12 = -3*m - 3*u. Which is bigger: b or m?
b
Let l = -99.5 + 99. Is 8 less than l?
False
Let v(p) = -p**3 + 7*p**2 - 9*p - 2. Let c be v(7). Let u = c + 842/13. Is u != 1?
True
Let z be 4/(-10)*(-40)/(-4). Do z and -3 have the same value?
False
Let u(s) = 2*s**2 + 8*s - 11. Let d be u(-9). Which is smaller: d or 78?
78
Let a(z) = z**2