i be c(-2). Let p be 2 - 2/10*i. Which is smaller: -2/7 or p?
-2/7
Let q be (-27)/2*(-13)/(-3). Let s = q - -60. Is 2 at most s?
False
Let r = 2426 + -26704/11. Do r and -2 have the same value?
False
Let x = -1 + 3. Let k be -3 + (2 - 0 - x). Let z(s) = s + 1. Let t be z(-3). Is k at least t?
False
Let z(c) = c**3 - 5*c**2 + c - 6. Let x be z(5). Suppose -56 = 4*v + 5*u, 5*v + 5*u + 70 = -0*u. Let j be 2 - (v/(-6) + 0). Is x at most j?
True
Suppose -4*j + 227 = 39. Suppose j = 3*c - k, c + 81 = 5*c - 5*k. Let r be -1 - 3*(-8)/c. Which is greater: r or 1?
1
Suppose 2*k + 2*w = -12, -k + 0*w - 6 = 3*w. Let j = k + 5. Is 1/7 greater than or equal to j?
True
Let s = -11.9 - -12. Let p = 0.2 - 0.1. Is s < p?
False
Let k(w) = 21*w + 6. Let g be k(-2). Which is smaller: -1 or g?
g
Let h = 10 - 10. Suppose 5*l = 7*l + 2. Is h != l?
True
Suppose -3*j = -j. Does 4/11 = j?
False
Let v(h) = 17*h**2 - h + 2. Let t be v(1). Do 18 and t have the same value?
True
Let z(v) = v**3 + 2*v**2 - v + 1. Let y be z(-3). Let h = 8 - 16. Let q = h - y. Which is greater: -2 or q?
-2
Suppose -2*r - 4*t = -22, 2*t = r - 6*r + 15. Suppose -k = -r - 3. Is 2 != k?
True
Let k = -773/5 - -142. Are k and -14 equal?
False
Suppose -4 - 18 = 2*k + 4*h, -4*h - 25 = 3*k. Let w be (-1004)/20 + (-4)/10. Let d = w - -51. Which is smaller: d or k?
k
Suppose -5*f + 13 = p, 4*f - 4*p + 5 = 1. Let n be f/(-12) - (-2)/(-6). Let h = 3 + -4. Is h > n?
False
Let t = -7819/11 - -16756095/23573. Let f = t - -4384/105007. Is -1 != f?
True
Let u = 0.3 - 3.3. Let f = u - 0. Which is smaller: -2/7 or f?
f
Suppose 5*f + 3*s - 14 = 0, -5*f + 3*f + 4*s + 16 = 0. Suppose 5*j = f*w + 12, 3*j - 4*w = -0*j + 4. Is 4 at least as big as j?
True
Let a = -8.4 - -8.6. Is a greater than 5/3?
False
Let n = 0.073 - 0.113. Do n and -0.5 have the same value?
False
Suppose -4*h + 8 + 8 = 0. Let b be 87/(-27) + h/18. Let a = 5 + -8. Is a not equal to b?
False
Let q = 48 + -47.7. Which is bigger: 1/2 or q?
1/2
Let m be (-9)/(-3) - 4/(-2). Let y be ((-6)/8)/(m/(-2)). Which is greater: y or 1?
1
Let f = -109/11 + 1625/33. Let m = f - 40. Which is greater: 1/2 or m?
1/2
Suppose 3 - 1 = -h. Let t = 0 + h. Is 0 greater than or equal to t?
True
Let c = 537578965/7582 - 70902. Let j = 1311681/37910 + c. Let n = -34 + j. Which is greater: 1 or n?
1
Let l(o) = -4*o + 14. Let a be l(7). Which is smaller: -15 or a?
-15
Let i be (-6)/(-2)*(-21)/(-9). Suppose 3*k - i*k = 0. Let b = 2 - 4. Is b bigger than k?
False
Let i(f) = -f**3 - 5*f**2 + 4*f - 5. Let k be i(-6). Let u = k + 0. Let m = 4 - u. Which is greater: -7/2 or m?
m
Let u(z) = -2*z - 7. Let q be u(-5). Suppose 2*c = w - 8, c + 13 - q = -w. Is c > -6?
False
Let c = -0.007 + 0.107. Which is smaller: 1/2 or c?
c
Suppose 5 + 0 = -5*r. Let x = 3.99 - 4. Is x greater than r?
True
Let s be (10/3)/(91/21 - 2). Which is smaller: s or 0?
0
Let y be (-2)/(-32)*-2*6. Let v(g) = g**2 - 15*g + 14. Let o be v(14). Which is bigger: o or y?
o
Let n be (-79)/35 + 2 + 60/(-28). Suppose 0 = 3*i - i + 4. Which is smaller: n or i?
n
Let b(s) = -s**3 - 5*s**2 - 2*s - 1. Let u be b(-4). Let g be 0/(u/3 + 1). Which is greater: 0.1 or g?
0.1
Let a be (4 - 0)*4/40. Which is smaller: 1 or a?
a
Suppose -16 = -25*r + 29*r. Let n = -10 + 5. Is n less than or equal to r?
True
Let p = -10.5 - -10.457. Do 0 and p have different values?
True
Let x = 9/56 - 2/7. Suppose 3 + 0 = -3*m. Are m and x equal?
False
Let f(t) = -8 - t**2 + 2 + 6*t - t**3 + 3*t**2 + t**2. Let i be 4*(-2)/(-4)*2. Let a be f(i). Which is smaller: a or 3?
a
Let a(w) = -w**3 + w**2 + 3*w - 3. Let d be a(2). Let y be (-3 + (-33)/(-9))/(88/(-12)). Which is smaller: y or d?
d
Let i(h) = h**3 - 12*h**2 + 12*h - 12. Let u be i(11). Let s(l) = l**2 - 2*l - 2. Let a be s(u). Which is bigger: a or -6?
a
Suppose 16*v = 18*v - 14. Which is greater: 9 or v?
9
Let m = 14 - 13.8. Which is greater: 0.4 or m?
0.4
Let t(k) = k**3 - k**2 + 4. Let w be t(0). Let f be -1*w/(-7) + -1. Which is bigger: f or 0?
0
Let m = -8 - -11. Let h(q) = -q**3 + 3*q**2 - 1. Let x be h(m). Let b be (10 + -1)*(-3)/18. Is x > b?
True
Suppose -29 = 4*u + 15. Are -1 and u equal?
False
Suppose -3 = 4*t - 3*m + 4, 4*m = 3*t + 7. Is t <= 3/50?
True
Let i(u) = u**3 - u + 1. Let q(g) = 3*g**3 + g**2 - 5*g + 6. Let j = 4 - 3. Let s(c) = j*q(c) - 4*i(c). Let f be s(0). Is f <= 2?
True
Let v = -0.4 - -3.4. Let a = v - 2. Let c(f) = -f + 1. Let x be c(4). Which is bigger: x or a?
a
Let j be 1*(-1 - -3) + 3. Suppose 2*x = -j*c - 10 - 6, 4*x - 16 = 2*c. Suppose 3*s = -2*s + z + 18, 4*s + 5*z = -3. Is x less than or equal to s?
True
Let g be -2*(0/(0 - -1) - 3). Does 6 = g?
True
Let o be ((-44)/10)/(3/20). Let d = o - -29. Let h = 1/6 - d. Which is bigger: h or 2?
2
Let g = 3 - 3. Let p be (10/(2 + g))/(-2). Let q = p - -9/4. Does q = -1?
False
Suppose 2 = -5*w + 4*w. Suppose -2*q = -0*q. Suppose 3*l + 0*l = q. Is w bigger than l?
False
Let s(o) = o**3 - 21*o**2 - 24*o + 50. Let q be s(22). Suppose m + 15 = 3*i, -i + 10 = i - 4*m. Is q equal to i?
False
Let r = 18/35 - 4/35. Let q = -2 - -2. Let s be (9/6)/(-3)*q. Are r and s unequal?
True
Let g(w) = -w + 9. Let o be g(7). Let x(m) = m**3 + 5*m**2 + 4*m + 6. Let y be x(-4). Suppose 0*u + 4*j - y = -2*u, -3*j + 9 = 3*u. Is u at least as big as o?
True
Let c be (-36)/30 - (-2)/10. Which is greater: c or -5/7?
-5/7
Let l = -992193182/16797 - -177209/3. Let a = 666296/27995 - l. Let h = -24 + a. Which is bigger: 1 or h?
1
Let f = -9456/13 + 727. Is f < 1?
True
Let q = -3 - -3.5. Let w = q + -0.6. Let a = w - -0.2. Which is smaller: a or 1/4?
a
Suppose -36 = -q - 2*q. Let b be (-4)/q - (2 - 2). Are b and -1 non-equal?
True
Let p = 118 + -1544/13. Which is smaller: p or -1?
-1
Suppose x - 50 = -0*x + 3*r, r = -4*x + 135. Is x equal to -1?
False
Let y = 12 + -20. Which is greater: y or -7?
-7
Suppose 2*x = 0, -3*i - 3*x - 2 = 7. Let d be 12/3*8/112. Which is bigger: d or i?
d
Suppose b + 4*y - 8*y + 11 = 0, 4*b - y = -44. Is -11 >= b?
True
Suppose 0 = -0*q - 3*q + 42. Let a = q + -10. Suppose -k = a*k. Which is bigger: k or 1/3?
1/3
Suppose 13*x - 28 = 11. Is x equal to 5?
False
Let z(w) = -4*w**2 - 9*w + 5. Let f(h) = 11*h**2 + 26*h - 16. Let a(y) = -3*f(y) - 8*z(y). Let q be a(-7). Let u = q - 0. Which is smaller: -2/11 or u?
-2/11
Suppose -4*d = -9*d - 160. Is d bigger than -33?
True
Let o = 53 - 52. Let v = -5/3 + 13/6. Is o < v?
False
Let q be ((-1)/3)/(4/(-48)). Suppose 0 = -q*v - 3*c - 1, 5*v - 2 = 3*c - 10. Is 2/5 > v?
True
Let k = -2/9333 + -671918/270657. Let b = -1454/609 - k. Suppose -9*z = 15 - 6. Which is greater: b or z?
b
Let i = -2 - -2. Suppose 3*u + u + 12 = i. Let g = -2 - u. Is 3 equal to g?
False
Let u = 3/10 + -7/15. Let q(t) = t - 2. Let v be 4 - 2 - (0 - -1). Let i be q(v). Which is smaller: i or u?
i
Let r = 21/2 + -65/6. Which is greater: r or 1?
1
Suppose 0 = -29*l + 25*l. Let p be (-1)/(2/(0 + 2)). Which is greater: l or p?
l
Suppose -2*d + d = 2. Let g be (2/(-4)*1)/1. Is g smaller than d?
False
Let o = -2 - 3. Let g = -75 - -80.3. Let b = g + o. Are b and 1 unequal?
True
Let i = 0.27 - 0.17. Is -1 greater than i?
False
Suppose -3*l = -2*v + 3*v - 51, -2*l + v + 34 = 0. Let c be (l/(-4))/((-118)/6). Let f = c - -2/59. Which is greater: 1 or f?
1
Let f(x) = x**3 + 13*x**2 + 12*x + 1. Let g be f(-12). Are g and -4/13 nonequal?
True
Let s be (-10 + 5)*(-4)/(-50). Which is smaller: 0.3 or s?
s
Let w = 5 - 3.1. Let f = 1.8 + 0.2. Let z = f - w. Is z at least -1?
True
Let f be 2/4*-4 - 1. Let y(s) = -3*s - 3. Let n be y(f). Is n < 6?
False
Let c be (-10)/(-4)*12/(-10). Do c and -1 have the same value?
False
Suppose a + 41 = 3*x, 2*a = -2*a + 16. Which is bigger: x or 16?
16
Suppose 3*x - 40 = -x. Suppose -x = -8*m + 3*m. Let h be (8/(-30))/(m/5). Which is smaller: h or -3?
-3
Let i be 1/3 - (-44)/12. Suppose -i = -z - 3. Let a be 0/(-1 + z + 1). Are 0 and a nonequal?
False
Let f = 56 - 23. Is f smaller than 33?
False
Let n = -1/200 + -393/1400. Which is smaller: 4 or n?
n
Suppose -4*p - 5*c = 0, -5*p + c = -4*c. Which is greater: -4/61 or p?
p
Suppose -4 - 11 = -5*f. Suppose f*z + 2 = -d, -2*d + 7*z + 18 = 2*z. Is d greater than 4?
False
Let d = 0.53 + -0.53. Are -5/12 and d unequal?
True
Let n(i) = -4*i - 26. Let v 