e g/2 - (o - -3). Is k at least 6?
False
Let i = 6 + -5.69. Is -1/3 smaller than i?
True
Let t be -1 - (1/(-4) - 1). Let g be ((-4)/(4 - 2))/2. Let z be (-1)/(-2) - (g + 1). Are t and z unequal?
True
Let c = -1.2 + 1. Let l = c + 0.2. Let j = -1.8 - -2. Which is smaller: l or j?
l
Suppose 5*f - w = 5, 29 = 2*f - 0*f + 5*w. Suppose 5*t - 8 = f. Which is smaller: t or 4?
t
Let x be 7/(-20) - 4/16. Let u be -2*(-58)/(-60) + 2. Let r = u - x. Which is smaller: 0 or r?
0
Let y be 1/(-7) - 135/(-63). Suppose 5*b = 0, y*b + 1 = 5*l - 4. Is -2/21 less than or equal to l?
True
Suppose -2*j - 10 = -22. Which is greater: j or 2?
j
Let j be 2/8 + (-5)/820. Which is smaller: 0 or j?
0
Let l = -21 + 38. Suppose -5 = -4*r - 3*a, 0 = -4*r + 2*a + 13 - 3. Suppose -4*n = r*p - p - l, -4*p = -n. Which is smaller: p or 2?
p
Suppose -6 = -2*o - 0*o. Let m be -2*(o - 2) + -2. Which is greater: m or -3?
-3
Suppose 3*w + 5*d = -0*w - 13, -2*d = 10. Is 7/2 < w?
True
Suppose 55 + 197 = -3*w. Let u be 528/w + 4/14. Which is smaller: -0.1 or u?
u
Suppose -a - 4*x - 8 = 0, -2*x = a - 0 + 4. Let g = 5 + -2. Let f be g/(-6) - (-33)/90. Are a and f unequal?
True
Let i(s) = -s**3 + 3*s**2 - 5*s. Let z be i(2). Which is smaller: -14/3 or z?
z
Let k(j) = 2*j**2 + 3. Suppose 5*h + 2*u + 5 + 2 = 0, 3*u = -4*h. Let i be k(h). Let p be ((-14)/i)/(11/(-3)). Is p > 0?
True
Let b be (-1 + (-2)/(-3))*-3. Let y be (-2)/((-9)/2 + 2). Let d = y - 46/45. Which is smaller: d or b?
d
Let x = 29468/5 - 5836. Let u = x + -58. Which is greater: 2/9 or u?
2/9
Let u = -13 - -18. Suppose -4*m - 1 - 5 = 2*r, -u*r = -2*m + 15. Which is greater: -1 or r?
-1
Let z be 1/5 + (-344)/20. Which is smaller: z or -16?
z
Let y = -0.6 + -4.4. Do -1/2 and y have different values?
True
Let n be 9/12 + 9/4. Suppose n*c + 21 = 9. Which is smaller: c or -5?
-5
Suppose -x = -2*x + 14. Suppose g + v + 3 = x, g - 15 = -5*v. Is 9 != g?
True
Suppose 0 = f + 2 - 0. Let n = f - -1. Let s be (-1)/(2 + n + 1). Is 0 at most s?
False
Let s(a) be the second derivative of -a**5/20 + 3*a**4/4 - 3*a**3/2 + 4*a**2 + 2*a. Let t be s(8). Let f be -1*(t + 0/1). Is 0 > f?
False
Let x = -30.1 + 30. Let h = -2.57 + -0.48. Let d = h - -0.05. Is d equal to x?
False
Suppose 5*t - 568 = t. Suppose 22 = -5*m + t. Let v be 1 - (-10)/m*-3. Which is greater: 1 or v?
1
Let p = 7 - 4. Let u be ((-8)/(-24))/(2/(-6)). Let f be (-1)/p*(u + 1). Is 2 <= f?
False
Let f = 0.38 - 0.4. Let b = 2 - -8. Let l = b - 10.1. Which is bigger: l or f?
f
Suppose -15*m + 13*m = 0. Is m at least as big as 0.6?
False
Let u be -1 + (1 - 4/14). Let i be (2/6)/((-1)/(-3)). Which is bigger: i or u?
i
Let w = 1 - -3. Let y = w - 4.1. Let g = 0.1 + y. Which is bigger: g or 1/4?
1/4
Let s = 8 + -4. Let j be (s - 6)*1*7. Let a be (-24)/j + 4/14. Which is bigger: a or 0?
a
Let v be (-74)/8 - 5/(-20). Is v not equal to -19/2?
True
Let v = 42 + -34. Is 8 at least as big as v?
True
Let g(z) be the second derivative of z**4/12 - 4*z**3/3 - 7*z**2/2 + z. Let l be g(9). Suppose -b - 2 = -5*h, -4*b + b = h - 10. Is l > h?
True
Let i(d) = 2*d**2 - 6*d + 6. Let g be i(3). Do 35/6 and g have different values?
True
Let f = -2.05 + 0.05. Let s = -4.3 + 3.9. Is f at most s?
True
Suppose -d = -4*d + 12. Suppose -4*b + f + 3 = -d, b = 2*f. Which is smaller: -1 or b?
-1
Let u(y) = -6*y - 46. Let q(k) = -k - 9. Let l(n) = -11*q(n) + 2*u(n). Let v be l(6). Let p be (-4)/(-14) + 1 + -1. Is p not equal to v?
True
Suppose -3*r + 4*o - 2 = 0, -o - 1 = -0*o. Are r and -0.1 equal?
False
Let i = 3.7 - 1.7. Let p = -3 + i. Which is greater: 0.1 or p?
0.1
Let s(m) = -m**2 + m + 1. Let h be s(3). Let f be -1*2 + 1 + -1. Let p = f - h. Which is smaller: 2 or p?
2
Suppose 0*b - 3*b - 3*p = 21, -b - 3*p - 13 = 0. Let o = 1.7 - 1.6. Do b and o have different values?
True
Let h(p) = -2*p - 3. Let z be h(-4). Let j(s) = s**3 - 5*s**2 - s + 7. Let u be j(z). Let y be u/(-3)*(-3)/6. Is 1 != y?
True
Let p(v) = v + 2. Let y be p(3). Suppose 0 = y*g + 5*o + 25, 5*g + 2*o + 12 = g. Is -2/27 smaller than g?
False
Suppose 2*q - 12 = -3*d, -5*d = 2*q - 4*q - 20. Suppose 0 = d*g + 5*l + 1 + 18, 0 = -2*l - 6. Let k = 1321/9 + -147. Is g smaller than k?
True
Let f be -3 + 1 + (-12)/(-7). Let a = 18 + -21.5. Let k = 0.5 - a. Which is greater: k or f?
k
Let c be 2/24*(-28)/(-21). Let x be (-3)/6 - 1/2. Is c greater than x?
True
Suppose -25 = 2*z - 5. Let r be 18/z*(-40)/12. Are r and 11/2 unequal?
True
Let h = 0.18 + -2.18. Let f = -0.1 - 0.9. Which is smaller: f or h?
h
Let j be (-1)/1 - -1*1. Let h be (-10)/12*(-152)/570. Which is bigger: j or h?
h
Let p = -8 - -42/5. Which is smaller: 0 or p?
0
Let f be (12 - 15) + (-5)/(-1). Which is smaller: 3 or f?
f
Let b(w) = w**2 + 3*w - 1. Let u be b(-2). Let q = 2 + u. Is -5 > q?
False
Let n = -7.8 - -8. Which is smaller: 8 or n?
n
Let i = -15 + 23. Let v = i + 6. Which is smaller: v or 13?
13
Let l = 22 - 10. Suppose 2*g + l = -4*p, 6*p + 12 = p - g. Which is greater: 0 or p?
0
Let g = 0.41 + -0.71. Which is smaller: 2/5 or g?
g
Let b = 278 - 1942/7. Which is smaller: 0 or b?
0
Let y = -15 - -16.07. Let d = y - 0.07. Do d and 1 have different values?
False
Let v be 29/4 - 4/16. Suppose -17 = -4*f + v. Suppose -f*o = -o + 5*s, -2*s = 3*o + 2. Is -3/5 equal to o?
False
Let j be -8*(2 - 15/6). Suppose k = -3*k - 2*v + 12, -2*k + 18 = j*v. Which is smaller: 1/3 or k?
1/3
Let f(m) = 36*m**2 - m - 2. Let d be f(2). Let x = 978/7 - d. Suppose -2*i = 2*g - 4, 3*g + 1 - 7 = -5*i. Is i smaller than x?
False
Let a = -12 + 7. Let n = 4.5 + 1.5. Let u = n + a. Is -2 bigger than u?
False
Let o = 111 - 110. Suppose 2 = -5*k - 3. Let b = k - -1. Is o less than b?
False
Let v be 27/5 + 14/(-35). Suppose v*d - 2*d = 0. Suppose -2*x + 1 = -x. Which is greater: d or x?
x
Let y(r) be the third derivative of -r**4/24 - 4*r**3/3 + r**2. Let f be y(-8). Which is smaller: f or 1?
f
Suppose -3*q - 19 = 5*i, 2*i + 0*q + 4*q + 16 = 0. Let k be (-2)/8 - (-55)/(-20). Which is smaller: i or k?
k
Let n(y) be the second derivative of -1/6*y**3 + 3*y**2 - 2*y + 0. Let g be n(5). Which is bigger: 2 or g?
2
Let l = 1.2 + -0.5. Let f = l - -5.3. Let v = f + -6. Do v and -0.1 have the same value?
False
Let c = -1 + 1. Suppose 0 = -2*x + 4*q - 18, -4*x + 4*q = 2*q + 12. Let g = x + 11/10. Is c <= g?
True
Let v = 1545 - 20073/13. Do 0 and v have different values?
True
Let c = 0.2 + 0.8. Suppose -5*g + 4*q = 6 + 1, -3*g - 3 = -2*q. Suppose 5*l - g - 4 = 0. Is c smaller than l?
False
Suppose -2*x - 2*x = -5*k - 31, 4*k = -x - 8. Let r be (-2)/k - 44/12. Let q be ((-1)/(-2))/(1/(-8)). Is q > r?
False
Let z = -1 - 0. Let s = -57/185 - -4/37. Which is greater: z or s?
s
Let o be (-3)/(-6) - (-7)/2. Let q = o + -4. Let r = -125/3 + 41. Is r at most as big as q?
True
Let c = 9 - 9. Is c not equal to -2/13?
True
Let n = 553/36 + -61/4. Are 0 and n equal?
False
Let n(q) = -q**2 - 4*q + 3. Let x be n(-4). Let m = x + -2. Suppose j + 1 = -5*i - 3, i = -3*j - 12. Which is smaller: m or i?
i
Let h(w) = w + 9. Let u be h(0). Suppose 3*j - 3 = i, 3*i = 3*j + u - 0. Suppose -p + 4*p - 21 = 0. Which is smaller: i or p?
i
Let r be (10 + -5)/(1 + 0). Suppose -d = -r*d. Is d > 0?
False
Let g be 40/15*1/4. Suppose 3*k + 4 = -n, -4*n - n + 3*k + 16 = 0. Is n at least as big as g?
True
Suppose -5*s - 7 = b, -b + 5*s + 1 = 8. Let d be b/(-14) + (-1)/2. Does d = 3?
False
Let d = -102 - -27. Is -0.1 less than d?
False
Let k(b) = b**3 + 8*b**2 - 8*b + 9. Let x be k(-9). Suppose 4*h - 5*c + 22 = x, -3*c = 4*h - 0*c + 6. Is 5 <= h?
False
Suppose 277 = -4*d - 0*h - 3*h, -5*d - 347 = 3*h. Let s = 491/7 + d. Suppose 3*w + 11 = g - 0*w, 5*g - 2*w = 3. Which is greater: s or g?
s
Let j = 50 + -299/6. Which is smaller: -1 or j?
-1
Let f = -251 - -2261/9. Which is smaller: f or 0?
0
Let c = 10 + -6. Let v be 4/(-1) + 12/c. Is 3 at most v?
False
Let y(i) = 2*i**3 + 4*i**2 + 3*i + 1. Let m be y(-2). Let w(h) = -h**3 - 4*h**2 + 5*h. Let x be w(m). Suppose -5*z = -0*z. Is z greater than or equal to x?
True
Let g be (21/(-20) + 1)*-4. Let t be 2/(-4) + (-5)/(-50). Is t < g?
True
Let i be (9/12)/(3 - 6/4). Which is smaller: i or 24?
i
Let g be (3/(-5))/((-6)/16). Which is bigger: 2 or g?
2
Let z be ((-1)/3)/(8/(-168)). Which is smaller: z or 4?
4
Let n 