False
Let b be 856/12 - 4/(-6). Suppose 5*s = -20, -2*q + 6*q + b = -3*s. Let i be ((-15)/(-10))/(q/4). Which is bigger: i or -0.1?
-0.1
Suppose j + 20 = -k - 4, k + 3*j + 30 = 0. Is k smaller than -21?
False
Let a = 46 - 44. Do 2 and a have the same value?
True
Let l be (-1)/(3 + (-10)/4). Which is smaller: l or 0?
l
Suppose 7*f = -66 + 52. Let i(j) = -5*j**2 - 1. Let t be i(1). Let n be 6/27*t/(-4). Is f at least n?
False
Let k = 8 - 4. Let q(n) = n**2 - 3*n - 3. Let r be q(k). Suppose m = -2 + r. Is m equal to -1?
True
Let f be 8/(-60)*10/(-16). Let g = 0 - -1. Which is smaller: g or f?
f
Suppose -15*q = -16*q + 1. Is 20/13 bigger than q?
True
Let x be 2 + (-1 - (-66)/4). Let o = 15 - x. Is o smaller than -2?
True
Let a be (-2)/18 - (-2)/(-9). Let j = 8 - 7. Let b = j - 1.1. Which is greater: a or b?
b
Suppose 5*r - 28 = 2. Suppose r*m - 3 = 3*m. Let y be (0 - 2)/(-2*1). Is y not equal to m?
False
Let x(m) = -m**3 - m**2 + 4. Let w be x(0). Suppose 0 = -2*j + w*v - 1 + 3, 2*j = 2*v - 2. Is j > -2?
False
Let k(w) = -2*w + 6. Let r be k(4). Is r <= 4?
True
Let u be (3/46)/(36/24). Are u and -1 equal?
False
Let l = 2 + -10. Let g = -12 - l. Let z = -4 - g. Is z bigger than -3?
True
Suppose 4 + 4 = j. Suppose 0*p = 2*p + j. Is -4 >= p?
True
Let j = -14408 - -22283. Let y = j + -39664/5. Let v = -58 - y. Is v equal to 1?
False
Let q = 911 + -902.98. Let w = q - 8. Let k = w + -0.12. Is -0.1 < k?
False
Suppose 0 = -80*d + 78*d + 94. Which is bigger: d or 45?
d
Suppose 15*b - 14*b + 4 = 0. Is b greater than -2?
False
Suppose 5*y + 4*u = 21, 6 + 2 = 2*u. Let m = -402 - -6832/17. Which is greater: m or y?
y
Suppose -4655 - 5005 = 3*s. Let m = s - -9770/3. Let r = -37 + m. Which is bigger: 1 or r?
1
Let p be (0 - 3) + 13/5. Suppose -b + 7*b = 0. Which is smaller: b or p?
p
Let q = -866/7 + 124. Is 0.19 less than q?
True
Let a = -3/160 + 1301/1120. Is 1 != a?
True
Let j be 2*(-81)/30 + 5. Which is greater: j or 8?
8
Let g be 5*(-2)/(-5)*2. Let v be 0/((g - 4) + 1). Is 2/11 >= v?
True
Let w = 73/195 - -1/39. Let x(f) = f**2 + 7*f + 6. Let b be x(-5). Let t = b - -4. Is t at most as big as w?
True
Suppose -4*k = -k - 9. Let d = k - 3. Is -2/11 > d?
False
Let x(k) = -7*k**2 - 13*k - 7. Let o(v) = v**2 + v. Let h(j) = -6*o(j) - x(j). Let t be h(-5). Is t < -1?
True
Let w be (44/(-6))/(6*5/90). Which is smaller: w or -19?
w
Let l = 1.9 + -2.1. Let i = l - -0.7. Suppose 0 = w - 0 + 1. Is i bigger than w?
True
Let r(w) = -2*w - 7. Let h be r(-6). Suppose -3*i = -2*b + h, -3*b - 3*i - 2*i = -36. Is 7 less than or equal to b?
True
Let f(l) = -l + 6. Let j be f(6). Let c(g) = -g**2 - g + 1. Let t be (-2)/(-3)*(-6)/(-4). Let s be c(t). Are j and s unequal?
True
Let y(r) = -r**3 + 7*r**2 - 6*r + 1. Let f be y(6). Let q(o) = o**3 - 14*o**2 - o + 16. Let x be q(14). Suppose 0 = -2*p - x*p + 4. Is f less than p?
False
Suppose 0*m - 5*m = 0. Suppose 3 - 1 = 2*l. Let w = m + l. Which is bigger: 2 or w?
2
Let t = -0.68 + -0.22. Let g = 0.1 - t. Is g greater than or equal to 1?
True
Let j(w) = w - 7. Let t(f) = 8*f**3 - f**2 + f. Let y be t(1). Let k be j(y). Is k > 2/7?
True
Suppose 48 = 2*h - 6*h. Let x be (-21)/h + (-15)/20. Let u = -2/239 + 739/2629. Are u and x nonequal?
True
Let q = -151 - -146.04. Let t = q + -0.04. Which is smaller: t or -1/2?
t
Let r be 2*5/(-20)*-2. Are r and 2/87 nonequal?
True
Let p = 8909/19 - 469. Suppose 5 = -5*h - 0*h. Which is greater: h or p?
p
Let j = 2 + -5. Let q = j + -2. Let c = q - -4. Do c and -2/3 have the same value?
False
Let x = 81 + -245/3. Let l be 2 - (0 + 1)/1. Let z be -4 - ((0 - 3) + l). Which is bigger: x or z?
x
Let r be 9 - 7 - 7/(-1). Suppose -5*o + 39 - r = 0. Which is smaller: o or 4?
4
Let w be 24/(-42) - (-136)/(-154). Which is smaller: 0 or w?
w
Suppose -u - 4*u = -30. Let p = -64/11 + u. Is 0 at least as big as p?
False
Let d be (-5)/(75/(-6)) + 18/(-45). Does d = -8/17?
False
Let l be (0 - (-6)/9)*-141. Let o = l - -657/7. Which is smaller: 1 or o?
o
Let g(a) be the third derivative of -a**4/24 + a**3/3 + a**2. Let j be g(3). Which is greater: j or -2?
j
Let u(y) = -8*y**3 - 3*y + 3. Let d be u(2). Is d at least -66?
False
Let k be (2/174)/((-14)/(-96)). Let d = k - -6/29. Let v = 3 + -2. Which is greater: d or v?
v
Let w = 16 + -15. Is 1 > w?
False
Let s(m) = m**3 + 4*m**2 + 3*m - 2. Let g be s(-4). Are g and -13 non-equal?
True
Let v(d) = d**2 + 5*d - 7. Let k(z) = -z**3 - 4*z**2 - 2*z - 6. Let y be k(-4). Suppose 3*r = y*r - 6. Let n be v(r). Is n >= -1?
True
Let f be 8*(1 + 24/(-21)). Is -2 bigger than f?
False
Let j(u) = u**3 + 2*u**2 + 2*u + 4. Let d be j(-3). Let i = 21/2 + d. Suppose 3*x + 19 = -5*l, -14 = 6*l - 2*l + 2*x. Which is smaller: l or i?
l
Suppose -23 = -3*b - 17. Which is smaller: 3 or b?
b
Let x = 0.3 + -0.2. Let j = x - 0.1. Let k = j - 2. Which is smaller: k or 2?
k
Let y(n) be the first derivative of -n**4/4 - 2*n**3 + 3. Let t be y(-6). Let p = 2 - 2. Is p not equal to t?
False
Suppose 5*r - 22 = 2*n - 1, -2*r + 9 = -n. Suppose -s = -r*s + 4. Suppose s*o - q + 3 - 6 = 0, 4*q + 21 = -o. Which is bigger: o or -2/19?
-2/19
Suppose -2 = -5*d - 17. Suppose -5*l + 9 = a + 27, 3 = -2*a + l. Let w = -5 - a. Are d and w equal?
False
Let m = -67 + 31. Let t = m + 325/9. Is 1 equal to t?
False
Let a = 8 + 0. Is 9 smaller than a?
False
Let n(l) = l**2 + l + 28. Let b be n(0). Let q be 1/(-2) + 6/b. Let z = -0.09 - -0.19. Which is smaller: q or z?
q
Let r = 5 + -3. Let a be 0*((-3)/r)/3. Let p = 4/27 - 17/54. Which is smaller: p or a?
p
Let x = -14 - -22. Suppose 3*f - 7 - x = -3*k, -f = -2*k + 10. Which is smaller: f or 2/11?
f
Let x = 191 + -183. Let d be 4/14 + 268/42. Does x = d?
False
Let w = -103.24 - -106. Let v = w - -0.24. Which is bigger: v or -0.5?
v
Let b = -12 + 14. Is 5 > b?
True
Let r = -2 - -7. Suppose -r*n - 20 = u - 0*n, -5*u - 2*n + 15 = 0. Let j be (-2)/u*(1 + 4). Which is bigger: j or -3?
j
Suppose -4 = 3*o + 2. Is 11 at least as big as o?
True
Suppose -3*j = -2*j - 5. Suppose j*b = 20, -4*v = 4*b - 9*b + 8. Suppose v = w + y, y = -y. Is w bigger than 3?
False
Let q = 359/9 + -40. Is 0 > q?
True
Let k = 12 + -11. Let n be 15/6 - 2/4. Are k and n nonequal?
True
Let y be 3 - 3 - 1/3. Let u = y + 0. Suppose 2*q = 2*d - 4, -q + 5*q = d + 1. Which is bigger: q or u?
q
Let i = 6/5 - 7/10. Let v be (1 + -1)*7/21. Let g be 4*((-4)/(-8) - v). Which is bigger: g or i?
g
Suppose -13 = -2*f + f. Suppose -4*j + f = 3*r, -5*j - 5*r + 24 - 9 = 0. Are 0.2 and j non-equal?
True
Let g = -12 - -18. Let q be (9/(-12))/(g/4). Is -2 equal to q?
False
Let n = 60.05 + -60. Is n less than or equal to -2/13?
False
Suppose 10 = 2*x - 3*l, 0 = 3*x - x - 2*l - 10. Suppose x*d = -0*d + 30. Which is smaller: d or 5?
5
Let c = -0.3 - -0.5. Let r = c - 0.2. Let n = -25 - -23. Is n at most r?
True
Let t be (1/((-3)/(-8)))/((-21)/126). Which is greater: t or -14?
-14
Let f(u) = 2*u + 3*u + 1 + u**2 + 3. Let l be f(-5). Are 4 and l equal?
True
Let j = 31 + -36. Which is smaller: 1 or j?
j
Let l be ((-1 + -1)/2)/(-1). Let j = 293/5 - 59. Is j < l?
True
Let t be (-5)/(75/(-18))*-10. Is -12 at most t?
True
Let s = 19 - 21. Let j be 0/s + 9/3. Which is smaller: 7/4 or j?
7/4
Suppose 2*t + 2*v + 22 = 0, 5*t + 61 = -3*v + 4*v. Is -12 >= t?
True
Let v be 6/(-27) + (472/18 - 2). Which is smaller: v or 23?
23
Let z(k) = k**2 + k - 21. Let i be z(4). Let d = -0.04 + 0. Which is greater: d or i?
d
Suppose 2 = -2*n + 4*n. Which is bigger: n or 2/9?
n
Let b be 11 + -2 + (-6)/(-9). Is 2/3 < b?
True
Let b = -9 - -15. Let l = b + -2. Suppose -k + l*k - 6 = 0. Which is smaller: 3 or k?
k
Let t = -0.079 + 0.049. Is 19 less than t?
False
Suppose 14*n = 19*n. Which is greater: 2 or n?
2
Suppose y - 30 = a, 3*y - 9*a + 5*a = 91. Which is greater: y or 28?
y
Let m = 390 + -1956/5. Which is smaller: 0 or m?
m
Let p = 4 + -2. Suppose -p*c = c. Let s = -12 - -7. Which is greater: s or c?
c
Let w = 10 - 11. Which is smaller: 0 or w?
w
Suppose -15 = -4*r - 3. Let h = -12 + 15. Suppose -r = -4*i + h*i. Is 4 less than or equal to i?
False
Let a = 7 - 5. Let z(t) = -t**2 + 2*t. Let f be z(a). Let c = 706/11 - 64. Is c at most as big as f?
False
Suppose -x = 3*u + 5 - 18, 5*u - 17 = -4*x. Let o be (-2 - -1)/(x/2). Are o and 1/5 equal?
F