-1)/(-28). Is s > z?
True
Let f be (2 - 1)*(-3)/(-11). Let b = 30 + -31. Which is greater: b or f?
f
Let a be (-33)/(-39) - 1 - 536/234. Which is bigger: -3 or a?
a
Let o = -15 + 14. Which is smaller: 2 or o?
o
Let o = 6 + -21. Let c be -2 + (-9)/o + 1. Are 1 and c nonequal?
True
Let n = 11 + -10. Let p = -0.24 + 0.04. Which is smaller: p or n?
p
Let l = -13720/43 - -319. Let f = l - -58/215. Is f at most -0.3?
False
Let g = -5158/15 + 344. Let d = 1 + 0. Suppose -2*w + d = -1. Is w at most as big as g?
False
Let o = -1 - 0. Let d be 1/2 - (-3)/(-54). Which is smaller: d or o?
o
Let j be 4*171/6 - 3. Is 110 not equal to j?
True
Let q = -51/2611 - -31523/86163. Let j = 2/7 - q. Which is smaller: j or 1?
j
Let y(c) = 2*c**2 + c. Let t be y(1). Suppose t*w - 8 = w - 2*k, -3*k = -5*w - 20. Let n = -35/12 + 9/4. Does n = w?
False
Let c(o) = -o**3 - 21*o**2 - 39*o - 22. Let n be c(-19). Which is bigger: n or 0?
0
Let s(o) = -o**2 + 3*o + 6. Let j be s(7). Which is bigger: j or -23?
j
Let m be (12/9)/((-4)/(-6)). Suppose 2*s = 2*c - 4, 2*c = -m*s + 3*s + 2. Is c greater than 0.05?
False
Let j = 8.24 + -8. Let k = j - -0.06. Which is smaller: k or 1?
k
Let n = 29 + -8. Suppose -3*b - 5*g + g = n, -2*b - 31 = -3*g. Is b > -10?
False
Let d(f) = f**3 - 4*f**2 - 6*f + 6. Let h be (-3)/(-6) - 18/(-4). Let z be d(h). Let g = -0.9 - -1. Is z less than or equal to g?
False
Let k be (-3)/2*(-4)/(-3). Is -1 less than k?
False
Let s(p) = -2*p**2 - p + 4. Let v be s(3). Is 2 equal to v?
False
Suppose 4*q = 2*l + 18, -3*l + q = -4*q + 22. Which is smaller: l or 1/19?
1/19
Let i(d) = -d**3 - 6*d**2 + 7*d. Let a be i(-7). Suppose 0 = -a*k + k. Which is greater: k or -3/5?
k
Let s = 16 - 6. Suppose -2*p = -2*k - 10, 4*p + 5*k - 34 - 13 = 0. Does p = s?
False
Let o be (5/15)/(1/(-2)). Let r = 0.2 + -0.3. Is r greater than or equal to o?
True
Let d be 32/(-30) + 2/5. Let o be 0 - ((-3)/(-3) - -1). Are d and o equal?
False
Suppose 2*q = -4*m, 5*m - 2*q = -q + 14. Suppose 0 = r + m*r - 27. Is 15/2 not equal to r?
True
Let l(q) = -q**2 + 8*q + 10. Suppose -x - 7 = -2*x. Let k be l(x). Suppose 0 = -j - 5*b + k, -b = b - 6. Is -1 <= j?
True
Suppose 7*o = 1 + 13. Is o not equal to 11/5?
True
Suppose -y - 3 = 4*i, 0 = -4*y + i + 3*i + 28. Let p be 5*(2 - y)/(-3). Suppose -3*w - w = 3*v + 23, -3*v = -p*w + 5. Is -2 smaller than w?
False
Let m = 5 - 1. Let b = -0.13 + 0.03. Which is smaller: b or m?
b
Let p = 4.5 - 3. Let a = p - -0.5. Which is bigger: -2 or a?
a
Suppose 2*y = 3*l + 11, 3*l + 2*l - 5*y + 20 = 0. Let g(m) = m**2 - 4*m. Let o be g(3). Is o not equal to l?
False
Let l be (-693)/90 + (0 - -1). Let i = l + 13/2. Let s be (-3)/4 - (-2)/(-8). Are i and s nonequal?
True
Let r be 120/175 + (-4)/14. Suppose -4*l + 3*l + 1 = 0. Let o = l + 0. Which is smaller: o or r?
r
Let t(s) = -s**3 + 6*s**2 - 4*s - 9. Let p be t(5). Is -17/5 equal to p?
False
Suppose 0 = -4*m + 3*o + 19, 29 = 2*m - o + 6*o. Let r be (-2)/m - 72/(-399). Is r > -1?
True
Let l be 2/(-5) + 3/((-30)/(-4)). Is l bigger than 1?
False
Let q = 78 - 86. Which is smaller: -1/3 or q?
q
Suppose -4*m + 7 = -5*s - 1, 3*s + 24 = -4*m. Let j be 101/9 - 4/18. Suppose 5*u = 3*p + j + 11, -2*p + 5*u = 18. Is p > s?
False
Suppose 0 = 6*z - 2*z. Are z and 1 non-equal?
True
Let w(t) be the second derivative of -5*t**3/3 - t**2/2 + 2*t. Let v be w(-1). Suppose 0*y = -3*y + v. Which is smaller: 2 or y?
2
Let w = -0.5 - -0.8. Let p = w + -0.4. Is p < -0.3?
False
Let x(p) = p + 9. Let n be x(0). Let d(u) = -u**3 + 25*u**2 + 23*u + 86. Let t be d(26). Is t greater than or equal to n?
False
Let z = 1 - -4. Suppose -z*w = -21 - 9. Are w and 5 unequal?
True
Suppose 2*j = 7*j - 20. Let u be (152/(-9))/(j/10). Let z = u - -42. Are z and 1 nonequal?
True
Let s = 56/93 - -2/31. Do 2 and s have the same value?
False
Let o(b) = b + 9. Let n be o(-11). Let d = -4 - -6. Suppose d*z - 7*z + 5*k + 10 = 0, -z + 2*k + 6 = 0. Is z less than or equal to n?
True
Let y(s) = -s**3 + s**2 - 2*s + 2. Let z be y(2). Let r(k) = -k**2 - 6*k - 5. Let h be r(z). Is -6 < h?
True
Let f = -19 - -17.7. Let v = -0.7 + f. Let y = v - -1. Is y less than or equal to 0?
True
Let o be 10/(-15) - (-106)/6. Which is smaller: o or 16?
16
Let m = 1.3 + -0.3. Which is smaller: m or -111?
-111
Let h be (1 - 1) + ((-385)/(-112))/11. Which is bigger: 1 or h?
1
Let r(c) = c**2 + c - 1. Let x be r(0). Suppose m = 3*m - 8. Let z be ((-9)/(-42))/((-3)/m). Is z smaller than x?
False
Let g = -12 + 11. Let x = -48 - -140/3. Let m = x - -5/6. Which is smaller: m or g?
g
Suppose 5*r + 5 = 3*g, 2*r = -g + 3 - 5. Is -1 less than g?
True
Let l(u) = u**2 - u. Let h be l(0). Suppose -5*v = -h*v. Is v less than or equal to -1/8?
False
Let u(m) = m**3 - 13*m**2 + m - 14. Let y be u(13). Let b be (-3)/5*(-2)/(-12). Is y at most b?
True
Let n(j) = j**2 + 4*j + 8. Let b be n(-5). Which is smaller: 14 or b?
b
Let g be (-1)/(-3) + (-2)/(-3). Which is smaller: g or 3?
g
Let t = 4 + -8. Let q(l) be the first derivative of -l**2/2 - 4*l + 1. Let r be q(t). Which is smaller: -2/5 or r?
-2/5
Let d(r) = -r**3 - 4*r**2 + 4*r - 4. Let m be d(-5). Which is bigger: -2/9 or m?
m
Let g(d) = -d**2 - 6*d - 3. Let i be g(-5). Suppose -2*y + 25 = 5*m, -9 - 1 = -2*m - 5*y. Suppose k = m*k. Which is smaller: i or k?
k
Let s(x) = -x**2 - 14*x + 28. Let b be s(-16). Is b bigger than -14?
True
Suppose 4*t = 5*k - 24 - 20, -2*k - 4*t + 12 = 0. Let u be (-2)/6 + (-25)/(-3). Is k smaller than u?
False
Let r = 60 - 71. Which is greater: r or -12?
r
Let i be 3/(-5) - (-78)/105. Suppose 5*r - 3*f = 16 + 6, 0 = -2*r - 2*f - 4. Suppose -r*w - 2*w = 0. Which is smaller: i or w?
w
Let g(p) = p**3 + 5*p**2 + 4*p. Let t be g(-4). Let c = -2 + t. Let w be (-2)/4 - (1 + c). Is w > 0?
True
Let q be (-2)/(-2)*(-32)/(-1). Let v be q/18 - (-6)/27. Suppose -v*l = -u, 4*l - 10 = -4*u + 26. Which is bigger: u or 7?
7
Suppose 2*b - 5*b - 3*z = -21, -2*b - 5*z = -11. Let j be 1*(3 + 1) - 3. Let r(d) = 7*d**3 + d**2 - 1. Let n be r(j). Is n equal to b?
False
Let i be (1 - (-6)/9) + -2. Which is greater: i or 6/5?
6/5
Let i = 0.008 - -0.192. Are i and -0.11 equal?
False
Let m(t) = -t**3 - 7*t**2 + 8*t - 1. Let f be m(-8). Suppose b - 4*y = -2, -2*y = -4*y. Let h be (-4)/10 + (-2 - b). Which is bigger: h or f?
h
Let s = 8/5177 - -108077/414160. Let f = 1/16 - s. Let a(x) = -x**2 + 8*x. Let o be a(8). Is o < f?
False
Let s be (-30)/(-21) - 1 - 164/252. Which is bigger: -2/57 or s?
-2/57
Suppose 4*r = -2 - 2. Which is smaller: r or 0?
r
Suppose 5*b + 15 = 2*l, -13 = -l - 4*b + b. Is l at most as big as 9?
False
Let d be 2/4 + 6/4. Let k = 0 - d. Let c be (-3 + (-4)/k)/2. Which is greater: c or -1?
c
Let r = 3103/4 + -772. Is 4 at most as big as r?
False
Suppose 3*u - 7*m = -2*m + 22, 2*u = 4*m + 14. Which is smaller: u or 10?
u
Let l be ((-32)/(-2))/(1*2). Let p(w) = -w - 6. Let s be p(l). Let u be 3 + (46/s)/1. Which is smaller: u or -1?
-1
Let b = -54 - -217/4. Let y = 0.93 - -0.07. Is b != y?
True
Suppose y = -4*z, 2*z = -2*y + 3*z. Is y > 2/57?
False
Let r be 15/(-30)*0/(-2). Which is smaller: r or 1?
r
Let j(o) = o + 3. Let g be j(-3). Let t be (-3)/(-2)*2/5. Let b = -17/20 + t. Is b greater than g?
False
Let w = -4.3 + 4. Let v = -0.5 - w. Let s = -0.3 - -0.4. Is s greater than or equal to v?
True
Suppose 2*n = n. Let x = 8/5 + -37/20. Is x smaller than n?
True
Let a(d) = d**2 - 3*d. Let g be a(3). Suppose 2*m + m = g. Let w = -3 - -2.9. Which is smaller: m or w?
w
Let b(v) = 5*v**3 + v**2. Let x be b(1). Let s(k) = -k**2 + 5*k + 6. Let c be s(x). Which is smaller: -1 or c?
-1
Let q = 8 - 11. Let n = 68.9 - 66. Let x = n + q. Is x <= 1/4?
True
Suppose 2*s - 21 = -0*s + 3*y, 2*s - 27 = 5*y. Let b be 93/s - 3/6. Suppose 2*p - 5*m = 15, 6*m = -p + m - b. Are 1 and p equal?
False
Let c = 24.2 - 24. Let o(k) = -3*k**2 - 2*k - 1. Let b be o(-1). Which is smaller: b or c?
b
Let d(w) = w**3 - 11*w**2 + 8*w + 21. Let k be d(10). Which is bigger: k or 2/39?
k
Let b be -2 - 1 - (-29)/9. Is -1/24 <= b?
True
Let r be 2/(-6)*9/(-6). Let c = 181.01 + -182. Let g = c - 0.01. Which is greater: r or g?
r
Let a be 3/((2226/(-4))/(-7)). Is -1 greater than a?
False
Let u be (1/2)/((-27)/180). Is -4 > u?
False
Suppose 0 = 3*j - 63 + 18. Let p = -10 + 