+ j**2 + 4. Let s be o(0). Suppose -3*w - 7 = b, s*w + b = -0*b - 10. Let c be w/((-162)/(-4))*-3. Is 1 <= c?
False
Let j = -0.05 + 1.05. Let k = -1.1 + j. Which is bigger: -3 or k?
k
Let g be -7 - -1 - (-1 - 0). Suppose 3*s = 2*d - 11, 0 = -4*d + 2*s + 3*s + 21. Let z = g + d. Which is bigger: z or 1/7?
1/7
Let s(c) = -8*c - 8. Let x(l) be the third derivative of -l**4/8 - l**3/2 - l**2. Let n(i) = -4*s(i) + 11*x(i). Let p be n(-4). Does 1 = p?
False
Let u(g) = g + 5. Let w be u(8). Does w = 25/2?
False
Let t(h) = -h - 8. Let u be -13*1/(-4)*-4. Let p be t(u). Which is bigger: p or 6?
6
Let k be (-8 + 10 + -5)*1. Let t be 21*(-1 + (-2)/(-8)). Let b = 57/4 + t. Is b at least as big as k?
True
Let g(i) = i + 5. Let b be g(-4). Let l(f) = f - 1. Let y be l(b). Which is smaller: 1/4 or y?
y
Let j(v) = -v**3 - 7*v**2 + 5*v - 9. Let b be j(-8). Suppose 3*q + b = -3. Let z be 45/(-10)*2/q. Are z and 2 equal?
False
Let z = 0 - -4. Suppose 3*b + z*u = 32, 0*u + 29 = 2*b - 5*u. Suppose 3*c - 4*n + 19 = 0, 0 = -4*c + n + n - b. Is -3 at least as big as c?
False
Let r(n) = -n**3 + 8*n**2 + 7*n - 18. Let c be r(8). Does 40 = c?
False
Let q = -4141/11 + 377. Do 0 and q have the same value?
False
Let g be 33524/(-28)*(-2)/(-6). Let p = -399 - g. Which is bigger: 1 or p?
1
Let f = 7 - 12. Let c be (-7)/14*(-1 - f). Which is smaller: c or -1?
c
Let t be (-6 - -4)*(-865)/14. Let i = t - 123. Suppose 2*x = 3*u - 5, 0 = 3*x - 0*x - 2*u. Do i and x have the same value?
False
Let d(s) = -s + 15. Let p be d(6). Is 7 >= p?
False
Let i = 1.949 - -0.051. Do 3/11 and i have the same value?
False
Let t(s) = -s - 4. Let g be t(-5). Let o be (-1)/g*4/6. Let z = -57 - -56. Which is smaller: o or z?
z
Let x = 21 - 22. Suppose 0 = -2*k + 5*h + 7, 4*k - k = -2*h - 18. Let v be -2 - k - (-22)/(-12). Which is smaller: x or v?
x
Suppose 0 = -3*c - 5*u - 6, 2*c = -0*c + u - 4. Suppose 2 + 5 = -2*d - a, -5*a = -2*d - 1. Which is smaller: c or d?
d
Let m be (-1)/(1*1/5). Suppose 3*u - 8*u = -30. Let b = 2 - u. Do b and m have different values?
True
Let p = 3/2921 - 917209/14605. Let v = p + 62. Which is smaller: v or 0?
v
Let u = -2/35 - 26/35. Let j = u - -23/35. Which is smaller: j or -1?
-1
Let a be (-2)/(-7) - (-19)/7. Let y(d) = d**2 + 3*d - 2. Let r be (8/6)/((-3)/9). Let t be y(r). Which is smaller: a or t?
t
Let z be 5/(-26)*-20 - 4. Suppose 5*r = 4*p - 13, -3*p = 2*r - p - 2. Are r and z equal?
False
Let j be 2/(-3 - 10/(-2)). Which is greater: j or 2/285?
j
Let n be ((-1)/18)/((-18)/(-12)). Is -1 >= n?
False
Let n = 6602/33 - 200. Which is bigger: 1 or n?
1
Let y be 23*(-3 - (-42)/15). Which is smaller: -6 or y?
-6
Let q = -0.6 + -0.4. Let b = -1 - q. Which is bigger: 11 or b?
11
Let f(l) = l + 17. Let n be f(-12). Suppose 4 = -2*a + a, -n*m - 5*a + 25 = 0. Which is bigger: 10 or m?
10
Let u(c) = -1 - 3*c - c**3 + 7*c**2 - 4*c + c. Let r be u(6). Let d be (-8)/(-20) + (-1)/5. Is d >= r?
True
Let d = 106 - 849/8. Let q be -3*4/24*0. Which is smaller: d or q?
d
Let t be (-2)/(-4) + 5/2. Suppose -4*b + 5*b = -t. Let o be -2*2 + 1 + 1. Which is smaller: b or o?
b
Let h be ((-1)/(-4) - -1) + -2. Which is bigger: 0 or h?
0
Let g(n) = n**3 - 5*n**2 - 27*n. Let q be g(8). Which is smaller: q or -25?
-25
Let m = -11 + 16. Which is greater: 0 or m?
m
Let v(k) = k + 10. Let i be v(-8). Let j(q) = -q**3 - 9*q**2 - 7*q + 8. Let n be j(-8). Suppose n = -i*b - b. Is 2 bigger than b?
True
Suppose -10*i = -5*i. Suppose k - 2 = -i*k. Do k and 2 have the same value?
True
Let m = 71 + -1919/27. Let t(b) = b**2 + 3*b + 2. Let x be t(-2). Which is smaller: x or m?
m
Let r = 491/5 + -99. Do r and 0 have the same value?
False
Let q = 2 + -7. Let n = 7 + q. Let h = -2.1 + n. Which is smaller: 0.1 or h?
h
Suppose 5*o - 19 = -t - 4, 0 = -5*t - 5*o + 15. Let y be t - (-3)/(-2) - -1. Do 4 and y have the same value?
False
Let u be (((-24)/(-102))/(-2))/((-2)/6). Which is bigger: u or 1/2?
1/2
Let n be ((-9)/(-12))/(-2 - 94/16). Let g = -2 + 4. Suppose -g*s = -6*s. Is s at most n?
False
Suppose 3*c - r = -37, 3*c + 34 - 2 = 2*r. Which is bigger: -16 or c?
c
Suppose -2*b + 0 - 6 = 0. Let y be (b + (-19)/(-6))/(-2). Which is greater: y or 0?
0
Let n be 3 - 3*(2 + -1). Which is greater: -2/31 or n?
n
Let s(l) = -l**2 + 5*l + 4. Let c be s(5). Suppose 4*b + 8 + 24 = 0. Let o be 5/(-2)*b/10. Which is greater: c or o?
c
Suppose 0 + 5 = 5*r. Let u = 2 + r. Suppose -u*s + 7*s = 16. Is s <= 1?
False
Let l(s) = s**2 - 4*s - 1. Let c be l(5). Let x = c + -6. Let r = 0.8 + -0.5. Is r smaller than x?
False
Let k = 9 - 8. Are k and 2/61 unequal?
True
Let i = 2.7 + -2.8. Is i smaller than 5?
True
Let r(b) = -b**2 - 3*b - 2. Let q be r(-2). Suppose 5*c = -5*l, q*l = 5*c + l + 4. Suppose -4 = -2*d, 0 = 5*x - 5*d + 7 + 18. Is c < x?
False
Let p be 2/(-16) - (-7)/(-56). Let u = -0.1 - 0.1. Which is bigger: p or u?
u
Let k be (-68)/(-93) + (-4)/6. Is k less than 1?
True
Let w(u) = -u**3 + 5*u**2. Let l be w(5). Does -9 = l?
False
Let f be -2 + 2 + -1 - 23. Is -24 greater than f?
False
Let g = 23 + -17. Let b = -4 + g. Which is smaller: b or 3?
b
Suppose 4*d - 2*m + 24 = 0, -4*d = -8*d - 4*m. Let h be (d/(-8))/1*-1. Let r(f) = f**2 - f - 1. Let v be r(0). Is v at most h?
True
Suppose 2 - 10 = -u - 3*g, 3*u + 4*g = 14. Suppose 6*l - 4*l + u = 0. Is -3 < l?
True
Let l = 0.3 + 0.2. Let k = -8.5 - -7. Let o = l + k. Is -1 < o?
False
Suppose -3*w - 4*z = -14, 2*w + 16 = 5*w + 5*z. Is w >= 5?
False
Suppose 0 = -4*u + 7 + 13. Suppose 5*j - 22 - 10 = -4*a, 3*j - 2*a - 6 = 0. Let b = u - j. Is -1/4 at least as big as b?
False
Suppose -30 = 5*u + 5*s, -4*s - 6 = 6. Let g be u/((-4)/(8/(-10))). Which is bigger: g or -2?
g
Let u = 17 - 17. Suppose 2*h - 3 = 5, -2*y = 3*h - 18. Suppose 0 = -2*o - 3*d - 3, -o + 5*o + y*d + 3 = u. Which is greater: 1 or o?
1
Suppose -3*j + 11 - 2 = 0. Suppose -d - h + 3 = -j, -4*h + 16 = 0. Which is smaller: 0 or d?
0
Let l be 2/(-1) + -3 - -3. Let c be (-1)/(-3)*l + 1. Is 1 bigger than c?
True
Let h = -4.1 + 4.2. Let v = -13 - -8. Which is greater: v or h?
h
Let j = 1316/9 - 146. Suppose 4*u - 5*c - 17 = 12, 3*u = 3*c + 18. Which is smaller: u or j?
j
Let k = -955/882 + 34/49. Which is smaller: k or 0?
k
Let y be -4*(-3 - 7/(-2)). Let w = y + 3/2. Is -2 != w?
True
Let m = 1 + 1. Let c = 1948/13 + -150. Which is bigger: m or c?
m
Suppose 0 = b, u + 2*b = 6*b + 2. Let j(v) = 5*v - u*v + 1 + v - v**2. Let d be j(3). Is d != 3?
True
Let o be 234/14 + (-2)/(-7). Suppose -5*b = 2*i - 2*b - 6, i + 5*b - o = 0. Let s = i - -5. Is s less than or equal to 1?
False
Let q(s) = s**3 + 5*s**2 - 16*s - 16. Let a be q(-7). Which is greater: -3/2 or a?
-3/2
Let r(m) = m**2 - m - 3. Let g be r(3). Let n be (-1 - 0)*(-2)/1. Let i = g - n. Is 1 equal to i?
True
Let m(w) = 3*w - 49. Let v be m(16). Let q = 177/7 + -26. Is q at least as big as v?
True
Suppose 0 = -4*q - p + 48, -3*p = 5*q - 40 - 13. Which is smaller: 15 or q?
q
Let j(y) = 2*y**2 - 2*y. Let r be j(3). Suppose 4*o + 3*t + r = t, 0 = -t - 4. Let k be 1 - (o - 13/(-6)). Do -1 and k have the same value?
False
Let q be ((-16)/1)/(8/20). Let c be 1*(122/q - -3). Suppose 7 = 3*s - 4*n, 0 = -s - n + 4*n + 4. Is c equal to s?
False
Let l be 18/(-18) - (-1 - (-40)/26). Which is smaller: -3 or l?
-3
Suppose 5*s = 3*g + 2, 2*g = -3*g - 4*s + 9. Let z = 2/33 - 41/132. Which is bigger: z or g?
g
Let x be -57*(-2 + (-3118)/(-1551)). Let t = 2/47 + x. Are -1 and t unequal?
True
Let j = -76 - -76. Let m = -166115/234 + 710. Let q = m + 3/26. Are q and j unequal?
True
Suppose -2*h + 2*w = w - 2, -4*w = -3*h + 13. Which is greater: h or -0.03?
-0.03
Let q = 4 + -3.95. Let b = -0.35 + q. Suppose -2*d - 6 = 5*c + 7, -4*d - 5*c - 11 = 0. Which is smaller: d or b?
b
Suppose 3*d = 2*h + 3*h - 32, -h + 4 = 0. Let m = 7 + d. Let y(u) = -u + 8. Let g be y(6). Is g at most m?
True
Let f be ((-2)/49)/((-6)/42). Is f not equal to 0?
True
Suppose -w - 12 = 5*o, -4*o - 4 = -3*o. Suppose 6*x - w*x = 0. Do -2/27 and x have different values?
True
Let x(w) = w**2 + 7*w + 8. Let c be x(-6). Let h be c/(-4)*(0 - 4). Let g be (h - (0 + 2))*-1. Is g smaller than -2/9?
False
Suppose 7*s = 6*s + 17. Is s at most 17?
True
Let a = 24 - 20. Suppose 0 = -0*i - i + 1. Suppose -3*h - i = -a. Which is 