. Suppose -p*g = o - 8, 14 = 3*g + o + o. Is g at most as big as -1?
False
Let s be 114/63 - (-3 - (-16)/6). Suppose 2*m + m + 5*g = 21, 0 = -5*g + 15. Are s and m nonequal?
True
Suppose -3*k = -4*k - 8. Let s be (-2)/k - (-3)/(-44). Suppose -2*i = -0*l - 3*l - 3, -3*i + 1 = -l. Are s and l unequal?
True
Let r = -67 + 69.7. Let k = r + -2.8. Which is bigger: -3/7 or k?
k
Suppose 3*w + 9 = x, 2*x = 6*x + 3*w - 6. Let c = 7 - 3. Suppose -1 = y - c. Is y >= x?
True
Let o be (-7 - (-1)/1) + 0. Let n = o - -9. Let p be (-1)/n*(0 + -3). Is p at most -1?
False
Suppose -96 = -v - v. Let t = -34 + v. Suppose -2*w = 2*r - t, 4*r + 1 = -r + 4*w. Which is smaller: 4 or r?
r
Suppose 2 = -13*z + 2. Is z at most as big as 2/371?
True
Let c(z) = -z**2 - 3*z - 1. Let d be c(-2). Let j = d - 3. Let q = -4 + j. Is q less than or equal to -7?
False
Let r(o) = -o + 7. Let f be r(4). Suppose 5*m - 2*l = f*m + 18, -3*l = 2*m + 2. Let u be (-15)/(-8)*(-2)/m. Which is smaller: u or -1?
-1
Let c = 187/4 + -2045/44. Which is smaller: 0.04 or c?
0.04
Let s be -26*1*10/(-20). Which is greater: 14 or s?
14
Let w be (-129)/26 + 5 - 0. Suppose 5*p - 3 - 2 = 0. Is p at least as big as w?
True
Suppose -4*z + 6 = -2*z. Suppose 0 = -5*w - 25, -z*m + 0*m + 4*w + 29 = 0. Is 1 >= m?
False
Suppose 0*j - 18 = -3*j. Suppose -2*b = -j*b + 2*x - 10, -2*b = -5*x + 17. Let i(v) = -v**3 - 4*v**2 + v + 5. Let o be i(-4). Which is smaller: b or o?
b
Suppose 5*u = -5*h + 2*h - 25, 0 = -2*u + 5*h - 10. Let t = -18 - u. Which is smaller: -14 or t?
-14
Let u be (-3)/12 - (-4)/8. Suppose -4 - 8 = 6*s. Is s < u?
True
Let n(m) = 13*m - 4*m**2 + m**2 + 6 + m**3 - 20*m. Let w be n(4). Is w != -7?
True
Let s = 14 + -12. Is -6 at least as big as s?
False
Let s = 1997/6 - 334. Let o = 37/42 + s. Let t = 1.1 + -1. Is o equal to t?
False
Let w = -1.8 + -0.2. Let z = -5.3 + 3.2. Let r = z - w. Are r and 3 nonequal?
True
Let t(o) = o**3 + 9*o**2 + 8*o - 7. Let p be t(-8). Are p and -7 non-equal?
False
Let s = 77 + -81. Let o be (-2)/4 + 15/2. Let i be (s/o)/((-24)/28). Which is greater: 2 or i?
2
Let h = 14 + -14. Which is greater: h or 3?
3
Let u(c) = c**3 - 5*c**2 + 2*c - 2. Let q be u(5). Suppose -3*i = -q*i - 5. Which is smaller: -4/5 or i?
i
Suppose 6 = 2*h, -2*h - 26 = 4*o - 104. Let j be (-13 - 1)*o/(-63). Which is bigger: 5 or j?
5
Let r = -3 + 13/5. Let b(j) = 3*j + 0*j - 4*j + 6. Let c be b(7). Do r and c have different values?
True
Let b = 3 + -4. Let d be 10/25*(-7)/2. Which is smaller: d or b?
d
Let o = 0.4 - 0. Let p = -0.03 + -0.07. Let t = -0.2 - p. Is t > o?
False
Let i be 1/(-4) - (-30)/(-8). Suppose 4*g + 11 = 31. Suppose -5*l - b = 20, -2*b + 4 - 29 = g*l. Is i greater than l?
False
Let n be 0 - ((1 - 2) + -20). Let a be n/18 + 1/(-2). Let b be -1*(1 - (-1 + 2)). Which is bigger: a or b?
a
Suppose 0 - 9 = -5*c - 4*y, 2*c - 4 = -2*y. Which is bigger: -2/13 or c?
c
Suppose -2*b - 2*y + 314 = 0, 3*y - 48 = 2*b - 337. Which is smaller: b or 153?
b
Let h = 773/14 + -55. Let j = h - -47/42. Suppose -v = -5*k - 10, -10 = -5*v + 8*k - 3*k. Which is smaller: j or v?
v
Let w(k) = 3*k + 3. Let q be w(-2). Let x be q*(-1)/3*-1. Which is greater: x or -3/5?
-3/5
Let p(x) = -x**3 - 7*x**2 - 6*x + 1. Let d be p(-6). Let v(j) = -2*j**3 - 1. Let k be v(d). Are -4 and k nonequal?
True
Suppose 4*k - 8 = 16. Which is bigger: 3 or k?
k
Let j = 44 - 44.1. Is -1/163 at least j?
True
Let m = -944/2335 + 2/467. Is m less than or equal to -1?
False
Let r = 120 + -117. Is 13/4 at most r?
False
Let i = -7 - -7.1. Is i less than -2/15?
False
Let z = 1.2 + 1.6. Let q = -42 - -39. Let u = q + z. Is -3 less than or equal to u?
True
Let l(b) = b + 9. Let o be l(-7). Let q(s) = -s**2 - 11*s + 15. Let m be q(-12). Suppose -y - 2 = -4*a, -m*y - 3*a = -5*a - 4. Is o at most as big as y?
True
Suppose 0 = 2*g - 30 - 0. Let o = g + -16. Let l be 47/77 - 4/22. Which is smaller: l or o?
o
Let a be -2*((-30)/14 + 2). Let j = -3.6 + -0.4. Let t = j + 4. Is t less than or equal to a?
True
Let o = -23 - -23. Are 1/6 and o non-equal?
True
Let y be 4/(-22) + (-13)/(-11). Let p be y + 0*(-3)/9. Is 2 <= p?
False
Let u be (-2)/(-6) + (-24)/18. Let j be 12/4 + u*2. Which is greater: -3/11 or j?
j
Let i(h) = -h**2 - 11*h - 14. Let g be i(-10). Let f be 2/g*168/(-12). Which is smaller: f or 6?
6
Let g be ((-3)/(-5))/(3/(-15)). Which is smaller: -24/13 or g?
g
Suppose 5*i - d + 4*d = -35, 4*d = 0. Does i = -5?
False
Let h = -2/326583 + 1750484918/6205077. Let x = h + -282. Is x not equal to 0?
True
Let v = 1070/29 + -21303/116. Let q = v - -146. Let m(y) = 6*y + 40. Let h be m(-7). Which is smaller: q or h?
h
Suppose 0 = 4*l + l. Let i = 2 - l. Let r be -1 - ((-6)/(-8) - i). Is r at most -1?
False
Let n be 47*4/(-196) + 1. Which is bigger: 0 or n?
n
Let z = 52.54 - 0.54. Is -2/7 greater than z?
False
Let l be 8/14 + 296/(-224). Are -1 and l unequal?
True
Let h be 4/6 + (-2197)/3120. Let a = 341/560 + h. Let d(b) = -b**3 + 2*b**2 + 2*b + 3. Let p be d(3). Is p at most a?
True
Let v = -7456/3 - -2449. Let m = 566/15 + v. Which is smaller: 1 or m?
1
Let w = 13 + -12.86. Is w bigger than -0.1?
True
Let g be (-6)/(-20)*(-4)/3. Which is bigger: g or 2/5?
2/5
Let l(t) = t**2. Let x be l(-1). Let s be ((-4)/((-8)/6))/x. Let n = 4 - s. Is n < 2/3?
False
Let j = 69 + -277/4. Which is greater: 0 or j?
0
Suppose 0 = -3*n + 2*x - 22, -4*x + 6 = 2*n - 6. Let b(m) be the first derivative of -m**3/3 - 3*m**2 - 3*m + 1. Let w be b(n). Which is smaller: 3 or w?
3
Let r(s) = -1 - 3 - s + 2. Let i be r(-4). Is 3 smaller than i?
False
Let n be ((-86)/(-602))/(1 + (-86)/98). Is 2 > n?
True
Suppose 0 = -5*r - 2*m + 3*m + 7, -6 = 3*m. Is -1/160 > r?
False
Let c be 6/9 - 4/(-3). Suppose 2*p - 6*p = 0. Let m be (p - 2) + (-3)/(-1). Which is smaller: m or c?
m
Suppose -16 = 5*l - 81. Suppose -2*y - 1 = -l. Suppose -2*x + x = y. Which is bigger: -5 or x?
-5
Let n be 2/(-7) + (-1793)/(-77). Is 23 > n?
False
Let v be ((-13)/91)/(1/(-10)). Which is smaller: 0 or v?
0
Let i = -0.7 - -0.71. Let c = -1 + 1. Is i less than or equal to c?
False
Let c = -3.59 - -0.69. Which is smaller: c or 2?
c
Let c = -33 + 47. Suppose 5*p - c + 2 = -k, 8 = 4*p. Let h be ((-24)/4)/3 - -2. Is h >= k?
False
Suppose u = 4*u. Suppose t - 1 = -u*t. Which is greater: t or -1/4?
t
Let a be 56/(-35) + (-4)/10. Which is smaller: -1 or a?
a
Suppose 5*l - 5*f - 55 = 0, -l - 3 - 1 = 4*f. Suppose d = -d + l. Suppose -d*u - 1 + 9 = 0. Is 3 greater than or equal to u?
True
Let m = -13 + 10. Let w(h) = h**3 + 2*h**2 - 2*h + 4. Let y be w(m). Which is smaller: 1/5 or y?
1/5
Let v(r) be the second derivative of -1/20*r**5 + r + 1/3*r**4 - 2*r**2 + 0 - 1/6*r**3. Let u be v(3). Are 1 and u unequal?
True
Let l be 0/2 - (-21)/35. Let f be (-36)/8*2/(-3). Suppose f = 5*c - 2. Is l less than c?
True
Suppose 0*k - 12 = -3*k - 4*r, 2*k + 9 = 3*r. Let a be 2 - ((-116)/56)/(-1). Is a greater than k?
False
Let w = -23.907 - -0.107. Let r = w + 21. Let d = r - -3. Which is bigger: -0.1 or d?
d
Suppose -6 = 2*c + 2*r + 8, -5*r = -4*c + 17. Let t(f) = f**3 + f**2 - f - 1. Let p be t(c). Let j be (-4)/(-3)*12/(-8). Is j greater than or equal to p?
True
Let m = -578 + 577.9. Let i be (-18)/10 + (2 - 0). Is i at least m?
True
Suppose -c - u + 7 = 0, 3*c + 6 = u + 31. Let j be (2/52)/(2/c). Which is greater: -1 or j?
j
Let t = 41 - 40. Let y = 31 + -19. Is t bigger than y?
False
Let z = -13 + 13.2. Let d = -0.7 - -1.9. Let f = z - d. Is f >= 2?
False
Let c = 51545/69 + -747. Let z = -7855573/4485 + 22772/13. Let y = z + c. Is y greater than or equal to 0?
True
Suppose -5*p + 14 = 4, -5*d + 30 = 5*p. Suppose d*r = 5*u - 17, 5*r + 2*u - 15 = u. Suppose -6*g - 21 = -5*t - 2*g, -r*t - 3*g - 10 = 0. Is 1 greater than t?
False
Let g = 1 - 1.1. Let u = 0.1 + 0. Let c = g - u. Which is greater: c or 2/3?
2/3
Suppose t = 5*y + 5*t + 18, -3*y + 2*t = 2. Let f be (0 + 2/8)/y. Which is bigger: 1 or f?
1
Let l = -0.22 + 0.22. Which is smaller: l or -0.7?
-0.7
Let k be ((-48)/(-20))/((-28)/(-970)). Let m = -83 + k. Is m at most -1?
False
Suppose -m + s - 3 = -4, 3*m + 13 = -s. Suppose 5*c - 5 = 0, 0 = -v + 5*c - 5 - 0. Suppose v = 4*a - 4*z + 12, 3*a = -2*a + 4*z - 14. Is a smaller than m?
False
Let f be 2/(-948)*(-38961)/132. Let t = 2