be y/25 - 4/(-10). Is x less than q?
True
Let u(w) = -5*w - w + w**3 - 19*w**2 + 13*w**2 - 9. Let b be u(7). Is b greater than or equal to 0?
False
Let o = -27012/37 - -730. Is 1 < o?
False
Let o(f) = -f - 1. Let x be o(-1). Let y = -70 + 70.1. Which is bigger: x or y?
y
Let b = 51 + -54. Which is bigger: b or -1?
-1
Let n(i) = 2*i + 16. Let a be n(-6). Is a not equal to 5?
True
Let l = -6 + 4. Let r be 3 - (-16*1)/l. Which is greater: r or -2?
-2
Let p(k) = k**2 - 7*k + 8. Let f be p(6). Suppose f*x - 5 = 7. Let q be x/3 - (-3)/(-2). Which is greater: -2/9 or q?
q
Let h = -10/23 + 44/207. Let f(t) = -t**2 - 8*t + 4. Let g be f(-8). Suppose 7*q - 3 = g*q. Is q at most as big as h?
False
Let d = -9 + 7. Let u = d + 13. Suppose x - 4*b + u = 0, x - 2*b + 5 = -0. Which is bigger: x or -2?
x
Let u = -0.7 + 0.4. Which is smaller: u or 7?
u
Suppose 2*y - c + 3 = -2, -3*y + 2*c = 9. Is -1/90 not equal to y?
True
Suppose 2 = 2*d - d, z - 3*d + 5 = 0. Let a = -78 + 3. Let o be 140/a + 2/z. Is 0 less than or equal to o?
True
Let f be 9/42 - 2/4. Let o(s) = -s**3 + 6*s**2 + 3*s - 5. Let r be o(6). Suppose a - l + r = l, -l = 3*a + 4. Which is greater: a or f?
f
Let o be -3*4/(-18)*3. Suppose 2*z - 3*z - 10 = -5*w, 3*w = 2*z - 1. Which is smaller: w or o?
o
Let q be 1 + -1 - 2/6. Suppose -5*r + 3*n - 9 = 0, 4*r + 9 = 2*n + n. Is r > q?
True
Let t = 7 + -6. Suppose 4*c - 12 = 3*o + 3*c, c + 12 = -5*o. Let d = -1 - o. Are d and t equal?
False
Suppose 0 = d - 4*d + 102. Suppose 0 = 5*c - u - 0*u - d, 33 = 4*c + 5*u. Is c less than or equal to -1?
False
Let b(s) = -s**3 - 5*s**2 - 4*s + 4. Let k be b(-4). Suppose 0 = 4*a - 9 - 7. Is a > k?
False
Let g(q) = q**3 - 3*q**2 - 5*q + 1. Let y be g(4). Suppose 3*i = -m - 0*m, m - 5*i = -8. Is y < m?
False
Suppose 5*q + i = 9, 0*q - 5*q + 4*i = -14. Let l(g) = -2*g**2 - 6*g + 6. Let v be l(-6). Let n be (q/(-6))/(5/v). Which is greater: 0.4 or n?
n
Let m = 1 + 2. Let j = 26 + -22. Is m smaller than j?
True
Let s = 21 - 17. Which is smaller: s or 0?
0
Suppose 0 = -5*s + 15 + 5, -60 = -4*z - 4*s. Let i = z + -8. Suppose -2*x - 1 + i = 2*d, -5*x - 25 = -5*d. Is -2 < x?
False
Suppose 3*p - 6 - 3 = 0. Let r(c) = c**2 + 3*c - 1. Let b be r(-4). Suppose -g = b*g - 16. Is g at least p?
True
Let v(f) = -f + 10. Let y be v(8). Let w = -2 + 3. Which is smaller: w or y?
w
Suppose -2*b + 2*c = 10, c - 2*c = 2*b - 5. Let a be (-20)/15 - (-1 - b). Which is smaller: 0 or a?
a
Suppose -17 = 3*r - 5*x, 7*r - 2*x + 4 = 3*r. Does r = -3/8?
False
Let x = -6 - -13. Let y be (-2)/(-7) + 19/x. Suppose 0 = y*v + 2*v - 10. Which is smaller: v or 1?
1
Let l(j) = -j**3 + 2*j**2 + 2*j - 2. Let p(i) = -6*i + 4. Let q be p(-3). Suppose q = y + 5*z - z, 25 = 5*z. Let u be l(y). Is u <= 2?
True
Let l(v) = 2*v**3 + 2*v**2 - 1. Let h be l(-1). Let n(c) = c**3 - 10*c**2 - 12*c + 9. Suppose 4 = r - 7. Let m be n(r). Which is greater: h or m?
h
Let a be (-5408)/(-14) - (-4)/(-14). Let k be a/(-2030) + (-2)/(-10). Let s = k + 8/29. Is 0 less than or equal to s?
True
Let k = -5 + 4. Let a = -1 - 0. Let d be k*2*a/(-2). Is d > -2/5?
False
Let z = 12 + -12.1. Is z equal to -14?
False
Let z = -0.7 + 4.7. Let i = z + -3.7. Let l be (-5)/(-15)*(1 - 2). Is i equal to l?
False
Let z = 274/15 - 103/5. Which is greater: 1/2 or z?
1/2
Let q(k) = k**2 - k + 3. Let v be q(0). Let d be ((-5)/v - 1) + 2. Which is smaller: 2/5 or d?
d
Suppose 3*d + 5 = -2*d. Let j = 7082/23 + -308. Which is greater: j or d?
j
Let q = 69/10 - 7. Suppose 5*c = -s, c - s = -0*s. Is q smaller than c?
True
Let l = 5/14 - 75/406. Is l at most 0?
False
Let s = 62 - 43. Is s < 21?
True
Let z = 57 - 58. Which is smaller: z or -1/30?
z
Suppose 3*n + 48 = 2*i - 21, 3*i - 4*n = 105. Which is smaller: 40 or i?
i
Suppose 7 - 17 = 2*j + 2*u, -2*j + 3*u = 15. Let g be 3/1*(-10)/j. Is g >= 6?
False
Let g(k) = k**3 - k. Suppose 2*o = -0*o + 2. Let z be g(o). Which is smaller: z or 6/5?
z
Suppose 2*k + 43 = -17. Which is bigger: -29 or k?
-29
Suppose 4*v - 2*p - 6 = 0, -4*v - v + 5*p = -10. Let w = -979/5 + 194. Let m = -49/30 - w. Is m greater than or equal to v?
False
Let s be (-2)/(-166)*(2 + -1). Let h = s + -187/1743. Are h and 1/4 non-equal?
True
Let v be -6*(-3 - (-3)/(-2)). Let p be (-12)/v + (-2)/9. Is 0 bigger than p?
True
Let z = 16511047933/3186299193 + 1/2487353. Let b = z + 19/183. Let u = b - 5. Which is greater: u or 1?
1
Let n be (-387)/(-5) - (6 - 4). Let w = n - 75. Which is smaller: w or 1?
w
Let z be (3 + 5)/2 + -1. Which is smaller: z or 4?
z
Let j be 2/(-10) - 56/(-330). Are j and 0 equal?
False
Let m(h) be the first derivative of -h**2/2 - 8*h - 4. Let g be m(-9). Let p be -2*g + 192/99. Is 1 >= p?
True
Suppose -3*d - 5 = -4*n - 14, -n = -5*d - 2. Which is smaller: -5/6 or d?
d
Let i(w) = w**2 + 5*w + 4. Let a be i(-4). Let s be 1*1/(a - 1). Which is bigger: s or -1/7?
-1/7
Let r = -4 + 7. Let w be r/5 + 95/(-75). Which is smaller: w or -1?
-1
Let m be (2*-2)/((-16)/216). Let i = -217/4 + m. Which is greater: i or -0.2?
-0.2
Let i = -27541/81 + 340. Let v = i + -107/81. Which is smaller: 0 or v?
v
Let l = 9 + -6. Let q = -12 + 9. Let f = l + q. Does 0.1 = f?
False
Let t = -1074 + 31150/29. Is 0 at most as big as t?
True
Let w = 40.8 - 39. Are -0.1 and w nonequal?
True
Let m be 28/16*65/(-7). Let i = m + 467/28. Which is smaller: 1 or i?
i
Let c(i) = 5*i**2 + 1. Let b be c(-1). Suppose u - b*u + 20 = 0. Is 1 bigger than u?
False
Let x be (0 - 8/12)*33. Which is smaller: -21 or x?
x
Let y(k) = -k**3 + 13*k**2 + 14*k - 1. Let v be y(14). Suppose g = 2*g + 2. Is g >= v?
False
Let k be (-110 - (-5 - -1)) + (-4)/(-2). Is -105 equal to k?
False
Let o = -63 + 62.96. Which is smaller: o or 2?
o
Let p = 14 + -14. Which is bigger: -73 or p?
p
Let v = 15 + -15.09. Let r = -0.21 + v. Let u be (-22)/6 - (-15)/5. Which is greater: u or r?
r
Suppose 2*c - 6*c = -4. Is c equal to -2/51?
False
Let a = -2 + 4. Suppose 3*q - 28 = 7*q - a*o, 5*q = 5*o - 40. Which is bigger: q or -7?
q
Let d be (-345)/(-165) + 1*-1. Let t = -1 - -3. Which is bigger: d or t?
t
Let h = 19.8 + -21.86. Let k = h + 0.06. Do k and -1 have the same value?
False
Let t = -2 + 2.1. Let d(w) = -w**2 - 3*w - 3. Let s be d(-2). Are t and s equal?
False
Let o = 19 + 18. Which is bigger: o or 38?
38
Suppose 17 = 3*m + g, 5*m + 4*g - 6 = 34. Which is bigger: m or 34/9?
m
Let g(y) = -y - 10. Let q be g(-7). Let z be (-3)/(2/(4/3)). Are z and q equal?
False
Let y = 2 + -1. Let u(q) = q**2 + 5*q + 3. Let l be u(-5). Let t be 2/l*(-9)/21. Is y bigger than t?
True
Let p = 134 + -75. Is p smaller than 58?
False
Let k(m) = 4*m + 16. Let o(w) = w. Let x(d) = -k(d) + 5*o(d). Let a be x(0). Let q be a/(-44)*(-2)/4. Which is bigger: 1 or q?
1
Let j = -13 - -22. Let c be (-3 - 0)*(-2)/j. Suppose -2*q + 2 = w - 4*q, 1 = 3*w - q. Which is greater: w or c?
c
Suppose -4*z + 9*z = 0. Let v be 3/6*z - 1. Which is greater: -2/13 or v?
-2/13
Suppose s - 4*s = 0. Are 0 and s equal?
True
Suppose -c - 10 = -3*k, 3*k - 2*k - 5*c + 20 = 0. Let i = 10 - k. Which is smaller: i or 4?
4
Let q = 32 - 31. Let x(l) = -l**3 + 6*l**2 - 4*l. Let b be x(5). Let v be b/15 - 2/(-6). Which is smaller: q or v?
v
Let f = -11.6 + 11.5. Is f not equal to 2.02?
True
Let i = 19.3 - 19. Let z = -1 - -1.1. Let x = i - z. Which is greater: -1 or x?
x
Let m(t) = -t**3 + t**2 - 2*t + 3. Let x be m(2). Does 0 = x?
False
Let l(w) = -w**3 - w**2 - 18. Let d be l(0). Let i be ((-3)/6)/((-1)/d). Let f = 6 + i. Which is smaller: f or -2?
f
Let b be (2/12)/(1 - 3/2). Does b = 1?
False
Let a be 4/(-4)*(-1 - -2). Which is greater: 1/3 or a?
1/3
Suppose -4*g - 2*g - 120 = 0. Let u be -1*(-32)/g + 2. Which is smaller: 1 or u?
u
Let h = -5 - -4.5. Are 4 and h non-equal?
True
Let m(n) = n**2 - 14*n + 23. Let k be m(16). Is k greater than 54?
True
Let k = 5.66 - -0.34. Which is smaller: 1/4 or k?
1/4
Suppose -l - 2 = -3*l. Suppose -2*z - 77 - 501 = 0. Let c = z + 3177/11. Is c at most as big as l?
True
Let t(n) be the second derivative of n**4/3 - n**3/3 - n**2/2 - 4*n. Let a be t(-1). Is a at least as big as 4?
True
Let w = 9 - 4. Suppose 3*p + 4*i = -0*p + 23, -w*p = 3*i - 20. Suppose b = 2*b - p. Are b and 3 unequal?
True
Let r = 3.142 - 0.042. Let w = r - 3. Let v be 0*(-4 - 0)/(-4). Which 