s f less than i?
False
Let u be (3 - 3)/(2*-1). Let i be (-12)/(-255)*(-15)/2. Is i <= u?
True
Let y be (-3)/18 - (-1772)/(-24). Is y at least -74?
True
Let i(s) = s**3 - 7*s**2 - 9*s + 8. Let j be i(8). Is -4/7 greater than or equal to j?
False
Let c = 1.6 + -0.6. Let i = -1 + c. Is -0.1 smaller than i?
True
Suppose 5 = -3*j - 7. Is j at most as big as 0?
True
Let c = 4.59 - 1.09. Do 2 and c have different values?
True
Suppose 2*f = f. Suppose f = 5*t - 2*y - 56, -5*t - 5*y = -4*y - 62. Let s be -3*4*(-2)/t. Is s smaller than 5?
True
Let w be (1/2)/(-8 + 3325/415). Is w != 42?
True
Let y = -7 - -2. Let b(x) = -x**2 - 5*x + 3. Let g be b(y). Suppose -7*m + g*m = 3*i + 12, -3*m = 9. Does i = 2?
False
Let f be -4 + 5 + (-4)/(-2). Let s = 7 - f. Suppose -s*x + 2*g + 12 = 0, 2*g + 2*g + 2 = -3*x. Is x less than or equal to 4/7?
False
Suppose 3*b = 4*a - 2*b - 10, -5*a + 2 = -b. Are a and -3/16 non-equal?
True
Let i = -215 + 173. Is i at least -43?
True
Suppose 0*t - 3*t = 3. Suppose 0*g - 31 = -5*f + 3*g, -35 = -5*f + 5*g. Suppose 15 = -3*v + f*v + 3*c, -v = 2*c - 10. Are t and v equal?
False
Let d = 23 - 24. Which is bigger: -3/20 or d?
-3/20
Let i(u) = 0 + 0*u + u - u**2 - 9*u**3 + 1. Let r be i(-1). Suppose -2*v + r = -0*v. Which is greater: v or 3?
v
Let r = -3.7 - 0.3. Let o = -5 - r. Let f = o - -1.3. Which is greater: 2/5 or f?
2/5
Suppose 3*v = -3*w - 6 - 3, -3 = -2*v + w. Let j = 7/6 - 37/42. Which is smaller: v or j?
v
Let a(i) = -i**3 - 4*i**2 - 4*i - 7. Let d(j) = -2*j**3 - 7*j**2 - 7*j - 13. Let w(l) = -5*a(l) + 3*d(l). Let q be w(-2). Is 3 equal to q?
False
Let d(k) = -k**2 - 6*k - 1. Let t be (-8)/6*(-18)/(-4). Let q be d(t). Let j be ((-1)/(-3))/((-25)/150). Which is bigger: q or j?
q
Let d = -0.2 - -8.2. Let k = d - 8.6. Is k bigger than -0.1?
False
Let j = -0.8 - -1. Is 2 equal to j?
False
Let b = -163 - -169. Suppose 0 = 3*y - 4 + 10. Which is smaller: y or b?
y
Let k be 3*(-2)/(-3)*-2. Suppose -4*l = 5*g + 20, -4*g - l + 5 = -2*l. Suppose -4*x - 12 + 0 = g. Is k less than x?
True
Let f be (1 - -5)*(-1)/(-3). Suppose 0 = 3*u - 4*j, 0*u + 5*j = f*u. Which is smaller: -2/13 or u?
-2/13
Let q = 11 + -11. Let v = -0.1 + 0.2. Which is bigger: q or v?
v
Let r = 11 - 4. Suppose g = 4 - r. Is g at least as big as -3/2?
False
Let m = 0.63 + -4.93. Let v = 4 + m. Which is greater: 0.1 or v?
0.1
Let w = 151/21 + -22/3. Let l = -4 + 8. Let j = l + -3. Is w < j?
True
Let j = -2 - -2. Which is smaller: j or -2?
-2
Let o be (-2222)/(-28) + (-1)/2. Let y(l) = -16*l - 15. Let d be y(4). Let m = d + o. Does 1 = m?
False
Suppose -9*g + 5*g + 96 = 0. Is g at least 24?
True
Let n(a) = a - 2. Let q be n(-1). Which is smaller: -5/3 or q?
q
Let l = 0 - -2. Let a = 211 - 208. Which is greater: l or a?
a
Suppose -5 = -4*r - r. Is r equal to 9/5?
False
Let f be (-1 - 2)*(-8)/(-3). Is -8 at least f?
True
Let j be 1370/686 - (-24)/(-12). Let t = -709/7889 - j. Which is smaller: 1 or t?
t
Suppose 0 = c + 1 + 1. Let n be (-3)/(2/c) + 1. Let j be 4/8*n/(-6). Are j and 0 unequal?
True
Let c be 3/(-2) + (-1 - (-707)/14). Is c greater than or equal to 49?
False
Let q(b) = b**3 + 7*b**2 - 6*b + 15. Let v be q(-8). Is v not equal to -1/91?
True
Let d = -26 - -44. Suppose -4*m = h + d, -m + 1 = 2*h + h. Which is greater: h or 3?
3
Let z be (-8)/(-6)*(-13)/(-52). Which is bigger: 1 or z?
1
Let t be 20/(-5)*-2*15/(-72). Which is smaller: t or -3?
-3
Let u = -3 - -3.01. Let d = u + 0.05. Let g = -0.04 - d. Which is smaller: 0 or g?
g
Suppose 3*g = -0*g + 6. Let k = 8 + 0. Suppose 4*r - r + 5*p = 13, -4*p = -k. Is r less than or equal to g?
True
Let r = 0.14 + 0.26. Which is smaller: 1/10 or r?
1/10
Let h be (-50)/(-15)*3/1. Let n be ((-294)/(-15))/(3/h). Let o = -2560/39 + n. Is 1 equal to o?
False
Suppose w = 3*x - 235, -2*x - 57 = w - 212. Is x >= 78?
True
Let w = -0.68 + -2.42. Let b = -0.1 - w. Let t = -0.57 - -0.57. Which is greater: b or t?
b
Let d = 64 - 50. Which is bigger: 15 or d?
15
Let s(u) = u - 5. Let d be s(6). Let c be 4*(1 - (-129)/(-120)). Is d at least c?
True
Let w be 6*2*2/8. Let d be ((-4)/(-3))/(-2)*w. Let p be d/(-7) - (-16)/(-7). Which is smaller: p or -1?
p
Let r = -29.23 + 26.2. Let o = -0.03 - r. Let g = -3.1 + o. Which is greater: g or 0.4?
0.4
Let s(c) = c**2 + 3*c + 3. Let d be s(-3). Suppose -d*t = -7*t. Suppose 3*q = 3*n - 9, -4*q = -t*n + 3*n + 19. Which is greater: n or -2/5?
-2/5
Let m = -6 - 0. Is -14/3 at least m?
True
Suppose -f = -6*f + p + 10, -f + 2 = p. Suppose -9 + 0 = -3*i. Is i at least as big as f?
True
Let y = -1.5 + 0.7. Let x = y + 0.7. Let a = x + -0.2. Is a at most as big as -1/2?
False
Let b = -47/84 - 3/28. Let a be (3 + -4)*5*-1. Suppose 12 = -t - a*q, q - 3*q = -t + 2. Which is smaller: t or b?
t
Let s(w) = -w. Let b be s(-5). Suppose 0 = -4*c + b - 17. Is -2 < c?
False
Let s = -9 + 8. Suppose -5*n = -28 - 7. Let z = n - 5. Which is greater: s or z?
z
Let q = 8 + 20. Are 55/2 and q nonequal?
True
Let f(o) = 2*o**2 - 7*o + 5. Let z be f(4). Let s = z + -5. Suppose -i - 11 = 5*r, -s*r + 4*i = 2*i + 20. Is -5 less than r?
True
Let p(b) = -b**3 - 5*b**2 - b - 5. Let x be p(-5). Let q = 3/32 - 47/160. Which is smaller: x or q?
q
Let o = 17 + -20. Let b = 3.01 + o. Is 2/5 != b?
True
Let o = -18 + 21. Do 18/7 and o have different values?
True
Let f be 2*((-81)/(-6))/3. Suppose 3*h - f = -2*h - 3*d, 0 = 3*h - d + 3. Suppose -y + h*o = -5*o - 7, 5*y + 2*o - 8 = 0. Is 6/7 smaller than y?
True
Let r = 1/75 + -31/75. Let n(a) = a**3 - 2*a**2 - a + 1. Let b be n(1). Is b smaller than r?
True
Suppose 29 = 4*p - 5*b, -3*b + 2 = 5*p + 12. Suppose 36 = 5*d - 2*f + 6*f, 3*d + 8 = 5*f. Let x be p/d + 1/4. Is -2/7 not equal to x?
True
Suppose 0*k + 2*k - a + 2 = 0, k - 13 = -3*a. Let b(p) = 4*p**2 + p + 1. Let q be b(-1). Does k = q?
False
Let g(j) = -j**3 - 4*j**2 - j - 6. Let t be g(-5). Suppose 0*n + 4*n = 2*k - 22, -4*k + t = -3*n. Are k and 1/4 nonequal?
True
Let g(h) = -h**2 - 6*h + 5. Let x be g(-6). Suppose x*u = 15, -4*d + u + u + 6 = 0. Suppose 11 = -3*s + 5*y, s + 4*s + 1 = 4*y. Is s smaller than d?
False
Suppose -8 = -4*r - 2*c, 2*r - 5*c + 7 = 23. Let i be r/4 + (-1964)/2640. Let n = 37/55 - i. Which is greater: n or 0.3?
n
Let k(l) = l**2 + 9*l + 6. Let p be k(-8). Suppose -x - 60 + 265 = 0. Let z = 1022/5 - x. Which is smaller: p or z?
p
Let c = -422 - -421.97. Let n be (-1 - -1) + (-648)/1645. Let r = n - 2/329. Which is greater: r or c?
c
Let w = 29 + -28.8. Which is smaller: 2.4 or w?
w
Let g(c) = c - 11. Let u(d) = 6. Let x(q) = 2*g(q) + 5*u(q). Let t be x(4). Is 16 > t?
False
Let t = -0.8 - 1.1. Let v = -2 - t. Are v and 2/9 equal?
False
Let x(v) = v**3 - 4*v**2 + 3*v + 2. Let h be x(3). Which is smaller: h or 1/5?
1/5
Let i(o) = -o**2 + 2*o + 2. Let w be i(3). Let r be 5/(-40)*2 + (-13)/(-36). Which is smaller: r or w?
w
Let p = -0.1 + 0.6. Let c = p - -0.5. Do c and 1 have the same value?
True
Suppose 0 = -3*w - 0*w - 78. Let c be (-13)/w + (-6)/10. Which is smaller: c or 1?
c
Let i be 1 - (2 + (-1)/3). Let f be (0 - 7/(-2))*2. Let b(j) = -j + 10. Let y be b(f). Which is smaller: y or i?
i
Let o(g) = -g**2 + 7*g + 18. Let z be o(9). Which is smaller: 3/62 or z?
z
Let u = 0.4 - 0.4. Let k = -4 - u. Which is smaller: 0 or k?
k
Let t = -2 - -11. Which is smaller: 7 or t?
7
Let b be ((-1)/2)/((-10)/8). Let u = -53 + 54. Is u at most b?
False
Let f = -487/5 - -97. Which is bigger: f or -6.3?
f
Let m = 16 + -64. Is m at most -0.1?
True
Let v(w) be the first derivative of -w**3/3 + w**2/2 + 3*w - 1. Let s be v(0). Is s greater than 2?
True
Suppose -12 = -2*d - w, w + 2*w = 12. Let j = -8 + d. Let s(n) = -n - 5. Let p be s(j). Is p less than -3?
False
Suppose 5*f + 0*f = 0. Let t = -2.94 - 0.06. Is t at most f?
True
Let t be 5/((-70)/4) - 120/21. Do t and -6 have the same value?
True
Suppose -2*c + 3*d = -2, 2*c - 2*d = -3*c - 17. Let f = c + 4. Is f smaller than -3/13?
True
Suppose -7 = 3*w - h, 2*w + 2*h = -0 - 18. Let c = w - -4. Let o be (-3)/6*(-1)/2. Which is smaller: c or o?
c
Let t = -2 - 6. Let a = t + 6. Suppose 2*x + 5*c + 12 = 0, x = c + 1 - 0. Which is smaller: a or x?
a
Let c = 18 - 18. Which is greater: 3/17 or c?
3/17
Let k = -43 - -67. Suppose -3*l + l = -k. Does 12 = l?
True
Let l(s) = -s + 6. Let