m*q = 4*k - 4, k - 1 = -2*q + 5. Suppose -q*w = 2*i, -3*i - 2*w - 2 = -0*i. Is -4 at least as big as i?
False
Let i = 0 + -4. Let l be (i/(-8))/(2/(-4)). Is l > -1/2?
False
Suppose -x = -o + 5, -7*x + 28 = 4*o - 3*x. Which is smaller: o or 4?
4
Let x(c) = c**2 - 3*c + 2. Let s be x(2). Let g be (-414)/(-253) - (0 - -2). Which is bigger: s or g?
s
Let l be ((-5)/(-4))/((-2)/56). Let c be (-81)/l - 2/(-7). Let q = 12/5 - c. Are q and 0 non-equal?
True
Let q be ((-20)/(-90))/((-2)/4). Do q and -2 have different values?
True
Let x = -6 + 10. Let p(s) be the second derivative of -s**4/12 + 5*s**3/6 - s**2/2 - 3*s. Let d be p(3). Is d at most as big as x?
False
Let l(g) = -g**2 + g - 1. Let n(s) = 4*s**2 - 8*s + 1. Let o(j) = -3*l(j) - n(j). Let c be o(6). Let z be c/10 - (-20)/175. Which is smaller: -3 or z?
-3
Let i = 5 + -6. Let z = i + 1. Is -1 > z?
False
Let a = -9 - -12. Suppose -6 = 3*z + x, 0 = 2*z - 2*x + a*x + 5. Which is bigger: -2/7 or z?
-2/7
Let n = -270344/207 - -1306. Which is smaller: 0 or n?
n
Suppose 4*k + 4 = 2*k. Let l = 10 - 11. Let p be (l/k)/(1/4). Is p less than or equal to -1?
False
Let d(n) = -2*n - 6. Let g be d(-4). Let j = 3 + g. Suppose -3*m = -j*k - 1, m + m - 7 = -3*k. Is k greater than or equal to 1?
True
Suppose -3*i + 5 + 0 = -5*z, 2*z + i + 2 = 0. Let h be -3 + (-1 - (-4 + z)). Are 1/4 and h nonequal?
True
Let m = -92 - -96.04. Let q = -0.04 + m. Let v be (-9)/(-10) - 2/5. Which is smaller: v or q?
v
Let p be -1 - (-2 + 3)*-83. Suppose -4*c + p = -2*h, -34 = -c - 2*h + 7*h. Suppose 5*w + 25 = 5*i, -2*i = -3*w - 2*w - c. Is i at most as big as -1/2?
False
Let c = 46 - 42. Are c and 5 unequal?
True
Suppose 72 + 27 = -3*k. Let n = -67 - k. Let s be n/(-66) - (-3)/(-9). Which is greater: 2 or s?
2
Suppose 0 = 2*r - 0*r. Let c = -1.1 + -7.9. Which is bigger: r or c?
r
Let f = -7.81 - 0.19. Let h = -22 - -13. Let d = h - f. Is d less than or equal to -1/5?
True
Let n(m) be the third derivative of m**4/24 + 3*m**2. Let a(q) = -q**2 - 4*q. Let y be a(-4). Let w be n(y). Is w equal to 3/7?
False
Suppose 0 = 2*m + 4*k - 22, -4*m + 4*k + k - 21 = 0. Is -3/38 >= m?
False
Let q be 4/20 + 14/(-20). Suppose 0 = 5*z - m - 8, 5*m - 16 = -2*z - z. Suppose 0 = 7*a - z*a + 15. Which is smaller: a or q?
a
Let b(v) = -v + 8. Let m be b(7). Let d = m + 1. Let l be (3/d + -1)*0. Which is greater: l or 0.3?
0.3
Let a be ((-1)/(-4))/((-3)/(-24)). Is -0.05 smaller than a?
True
Let q(i) = i**3 - 8*i**2 + 6*i + 8. Let j = 3 + -7. Let h = 11 + j. Let d be q(h). Is 2 less than or equal to d?
False
Let h = -29 - -22.1. Let a = h - -7. Which is greater: 5 or a?
5
Let y(p) = p**3 - 7*p**2 + 7*p - 1. Let d be y(6). Does d = 5?
True
Let o be 3 + (644/(-32))/7. Which is greater: 1 or o?
1
Let j = -0.062 + -5.938. Let i = 2 - 3. Do j and i have different values?
True
Let u = -81.95 - -85. Let n = -3 - -2.95. Let m = n + u. Which is greater: m or -2?
m
Let p = 0.7 + -1.7. Is -1/8 at least as big as p?
True
Let z(b) = -5*b**3 + 5*b**2 + 2*b - 3. Let d(t) = -t**3 - t - 1. Let m(o) = 4*d(o) - z(o). Let u be m(6). Is 0.2 > u?
True
Let l = 1149 + -12627/11. Which is greater: l or 1?
l
Let s(u) = -u**3 + u**2 - u - 2. Let c be s(0). Let o(a) = a**3 + 3*a**2 + 4*a + 3. Let t be o(c). Which is smaller: t or -5?
-5
Suppose 0*g + 12 = 3*g. Suppose 5*d - 61 = 2*i, -d + 0*d - 155 = 4*i. Let z be (g/6)/(i/6). Which is smaller: 0 or z?
z
Let m(u) = -u**2 + u. Let i be m(1). Is 13 smaller than i?
False
Suppose -5*o + 6*o = -l + 3, 0 = 2*l - o. Suppose -3*x = 2 + l. Let n = -83/495 - 3/55. Which is smaller: n or x?
x
Let q be ((-570)/(-25))/((-9)/10). Let a = q - -83/3. Which is smaller: 1 or a?
1
Suppose 2*l = 5*o + 608, 5*o + 75 + 509 = -4*l. Let r be -3 + 1 - o/5. Is 22 >= r?
True
Let f(q) = -q**2 - 3*q + 2. Let a be f(-3). Suppose 4*i - 2*r + 1 = -17, 4*r = a*i + 12. Suppose 4*n = -8 - 8. Is n bigger than i?
False
Suppose -5*d + 24 = -1. Suppose d*v - 23 - 2 = 0. Let x(r) = 3*r**3 + r**2 - 1. Let b be x(1). Is b bigger than v?
False
Let t(i) = i**3 - 5*i**2 - 5*i - 4. Let q be 0 - (-4 + 3 + -5). Let b be t(q). Is 2 at least as big as b?
True
Suppose 2*u - 2 = 0, -2*u + 6 = -4*c - 4. Suppose -32 = -0*y + 4*y. Let k be (-8)/10*(-20)/y. Is c at least as big as k?
True
Let k = -1/47 + 49/94. Which is smaller: k or 45?
k
Suppose -2*j = 2*k - 12, -2*j + 2*k - 6*k + 14 = 0. Suppose 0 = 5*n - j*f - 90, 39 = 5*n + f - 33. Suppose h - n = -4*h. Is 4 greater than h?
True
Let s be 13/20 - (3 + -2). Let c = -3/5 - s. Let r(h) = -h**3 - 6*h**2 - 4*h + 5. Let t be r(-5). Which is bigger: t or c?
t
Let d be (-6)/15 + 27/5. Suppose 0 = d*j - 1 - 4. Let i be (j/(-14))/(3/12). Which is smaller: -2/5 or i?
-2/5
Let u = 13/115 + 2/23. Suppose 3*z + 3*c + 6 = 0, 6*z = z + 5*c. Do z and u have the same value?
False
Let h = -3 + 5. Let f = 2 + 3. Let y = f + -6. Which is bigger: y or h?
h
Let l = -2.63 - 4.29. Let f = l + -0.08. Which is bigger: -1/2 or f?
-1/2
Let j = -40 + 24. Is -15 at least j?
True
Let m be 337/(-260) + (-85)/(-68). Which is greater: -1 or m?
m
Let c(r) be the first derivative of -r**2/2 - 4*r - 3. Let i be c(-2). Which is smaller: -1 or i?
i
Let y = 20 - 19. Is y not equal to -0.7?
True
Let b = 7717/4 - 1950. Let l be -1*35*(-9)/15. Let c = l + b. Which is smaller: c or -1/6?
-1/6
Let z = -18.92 + 19. Let g = 5.08 - z. Is g < -1?
False
Suppose -2*h = 5*i + 3*h - 15, -2*i + 9 = h. Suppose i = 5*s - 4*s. Is 6 greater than or equal to s?
True
Let v be (-502)/9 + 8/(-36). Is v >= -55?
False
Let m(s) = -s**2 - 9*s - 9. Let v be m(-8). Does v = -4/3?
False
Suppose 4*q = -4*z, -3*q = 7 - 1. Let h = 8 + -12. Let g = z + h. Which is smaller: -1/2 or g?
g
Suppose -5*w + 3*w - 1 = 5*l, 3 = 3*l + 3*w. Which is greater: l or 0.1?
0.1
Suppose 0 = -3*f - 11 - 22. Let w = 10.4 - 10.5. Is w smaller than f?
False
Let k = -27 - -11. Is -12 smaller than k?
False
Let i = 0.5 + -0.4. Let k = 0.1 + i. Which is greater: 0.1 or k?
k
Let a be (-2)/(-4)*(-4)/(-1). Suppose 4*g - 1 = -2*m - 5, 5*g - a = m. Which is smaller: -3 or m?
-3
Suppose 13*d - 2*d = 11. Let j be (-4)/(-14) + -2 + 2. Which is smaller: d or j?
j
Let g be ((-3)/8)/(9 + -8). Are g and 0 equal?
False
Suppose 0 = -5*i - 3*b + 8*b - 65, i - 5*b = -29. Let f = -13 - i. Is 0 at least as big as f?
True
Let f(n) = n + 4 + n**3 + 2*n**2 + 0*n**2 + 4*n**2. Let d be f(-6). Let g = 80 + -242/3. Which is smaller: d or g?
d
Let z(c) = c**3 - 8*c**2 + 6*c + 3. Let t be z(7). Suppose -4*v = 3*j - 29 - 21, v - 5 = 0. Let b = j - 14. Are t and b non-equal?
False
Let l be (11/165)/(1/6). Does l = 3?
False
Suppose 3*u - 6 = -0*u + q, 2*q - 10 = -5*u. Let z = u + 2. Which is smaller: z or 3?
3
Let i(s) = 2*s**2 - 7. Let w be i(-9). Suppose 6*u = u - w. Let n = u - -61/2. Which is smaller: n or 0?
n
Let z = 16.6 - 15. Let n = -2.6 + 3. Let x = n + z. Is x smaller than -0.1?
False
Suppose 0 = s, -6*o - s - 24 = -2*o. Let i(k) = k + 2. Let v be i(-8). Is o at most as big as v?
True
Let g be ((-2)/(-6) + -1)/(52/(-6)). Is 2 greater than g?
True
Suppose 11 = -j + 7. Which is greater: 0 or j?
0
Let a = -6 - -9. Let h = a + -12. Is -10 equal to h?
False
Let w = 76.06 - 74. Let p = w + -0.06. Let y be (2/(-15))/(6/30). Which is greater: y or p?
p
Suppose 0 = -r + 2*n + 16, n = -n - 8. Let y = -21 - -22. Suppose 3*z = y + r. Is 3 > z?
False
Let d = 5 + -1. Suppose 0 = -0*t - 4*t + 2*q + 16, -d*t + 6 = 3*q. Suppose -8 = -2*c + 2*n - 0*n, -4*c + t*n + 15 = 0. Which is smaller: c or 2?
2
Let k = -53 - -18. Which is smaller: 1/3 or k?
k
Let t = 2.2 - 4.3. Let u = -2 - t. Which is smaller: u or -1/2?
-1/2
Let c be (-2)/(8/(-156)) + 3. Let h = c - 87/2. Are h and 2 equal?
False
Suppose 0 = -5*w + 2*y - 29, -w - 3*y - 1 = 15. Let v = 12 + w. Suppose 22 = 3*g - 5*l, 5*l + 2 = -4*g + 8. Is v != g?
True
Suppose 4*z + 1 + 23 = 0. Which is bigger: z or -3?
-3
Let q be (-3)/6 - (-1)/1. Let j = -0.53 + 6.53. Is q > j?
False
Let w be (-1 - -12) + 3 + -2. Suppose -1 = -3*z + 4*h, 5*z - h = -6*h + 25. Suppose -3*l = 5*q + w, 3*q - l - 1 = z. Which is greater: q or -1/7?
q
Suppose 2*w + z + 3 = 0, w - 5*z - 21 = 5*w. Which is smaller: 0 or w?
0
Let x = 0.1 - -2.9. Are 7 and x unequal?
True
Let d be (-3)/(-30)*4*70. Let g = 254/9 - d. Let u be -3 + -1 + 34/8. Which 