*y + 2*w = 20. Let o be y*3*(-2)/(-84). Which is smaller: 0 or o?
0
Let a = 53/150 - 1/50. Is a at most -6?
False
Let m = 45.1 - 41. Let s = -6.13 + m. Let n = 0.03 + s. Is 2/5 != n?
True
Let w be -1 - (4 - (-2 + 6)). Is 0 <= w?
False
Let f = -24 + 23. Suppose 3 + 2 = -5*y. Is y <= f?
True
Let w be (-51)/(-11) - (-65)/(-13). Is w < 1?
True
Suppose 0 = 3*q - 2*b - 13, -2*q - 3*b + 5 = -8*b. Let n(s) = -s**2 + 7*s - 7. Let w be n(q). Let l be (-2 - 1)/3*1. Which is greater: l or w?
w
Let g(q) = 8*q**2 + 5*q - 11 + 15 - 2*q**2. Let f be g(-4). Let l be ((-2)/3)/(f/36). Which is bigger: l or 1?
1
Let o(q) = -q**3 + 6*q**2 + 7*q + 3. Let r be o(7). Suppose 4 = r*c - 2. Which is greater: c or 2/19?
c
Let b(g) = -g**3 - 3*g**2 + 2*g + 3 - g**2 + 3*g - 4*g. Let z be b(-4). Let q be 6/10 - 2 - z. Does q = -1?
False
Let t be 138/9 - 6 - 2/(-3). Let g(m) = m**3 - 5*m**2 + 4*m + 5. Let a be g(4). Let o = t - a. Are o and 5 non-equal?
False
Suppose 1 = m, 5*m - 3 = q + 2*m. Suppose -5 = -x - q*x. Is 3 at least x?
False
Let z = 24 - 9. Let v be z/(-5) - 29/(-9). Which is greater: 2/7 or v?
2/7
Let y(r) = -r + 7. Let p be y(7). Let d be 3/9*(-2 + 17). Suppose -a = 4*q + d, 2 = 2*a - 3*q + 1. Is p greater than a?
True
Let w = -217 - -9333/43. Which is smaller: w or -1?
-1
Let v(f) = 2*f**3 + 2*f**2 - 1. Let z be v(-1). Let u = -8 - -17. Let r be 1*((-6)/u - -1). Is r bigger than z?
True
Let m(z) = -z**3 - 8*z**2 - z - 2. Let d be m(-8). Let n be (d/(-9))/(4/6). Let g(w) = -w**3 - 9*w**2 + 25*w + 34. Let f be g(-11). Which is smaller: f or n?
n
Let r = -7 - -10. Is 6 less than r?
False
Let f(s) = -2*s**3 + 2*s**2 + s. Let d be f(-1). Suppose q + 8*m + 6 = 4*m, 0 = q - d*m + 6. Which is smaller: q or -8?
-8
Let f = 30 - 72. Is -43 smaller than f?
True
Let c(s) = -s**3 - 5*s**2 + s + 8. Let z be c(-4). Is z at least -12?
True
Let j(d) be the first derivative of d**4/4 - 7*d**3/3 - 9*d**2/2 + d + 5. Let q be j(8). Which is smaller: 1/4 or q?
q
Let q be 2*-1*1/(-1). Suppose 0 = 3*u - 14 + q. Suppose 2*g + 8 = u*g. Which is smaller: g or 3?
3
Let h = 5 - -1. Suppose h*i = 3*i. Which is smaller: i or 1?
i
Let k = -1/32 - 43/672. Do -1 and k have the same value?
False
Let m = -0.8 - 0.2. Let d = -43 - -44.3. Let s = d + m. Are s and 0.1 equal?
False
Suppose -4*r - r - 3*n = -12, -3*r + 8 = n. Suppose t = -2*t - 4*f, 3*t - 4*f = 24. Suppose -15 = r*g - 3*w, -t*w + 6 = 3*g + 14. Are g and -4 nonequal?
False
Let t = 99 - 2077/21. Is -1 smaller than t?
True
Let v = -10 - -10. Let t = -12 - -7. Let c be t - (0 + v - 2). Is -4 > c?
False
Suppose 5*q - 8 = 2*l + 2, 5 = -l. Which is bigger: q or 7/5?
7/5
Suppose -19 + 5 = -z. Let l be (-2)/3 - z/6. Let f be ((-1)/((-1)/(-1)))/l. Is 1 at least as big as f?
True
Let x = 0.4 + -0.1. Let c = -2 + 1.8. Let v = c + x. Which is greater: v or 0?
v
Let q be 62/5 + (-4)/10. Let c = -9 + q. Is 4 equal to c?
False
Let f = 49/187 + -6/17. Is f less than 0?
True
Let t = -4716641/46885 + 2/9377. Let z = t - -101. Let f(u) = -u**2 + 25*u - 25. Let q be f(24). Does z = q?
False
Let g(v) = -v**2 + v - 2. Let x be g(0). Let n be (-1*(-2 - -2))/x. Is n > 0?
False
Let m = -1.5 + 3.34. Let a = 0.16 + m. Which is bigger: a or 1/3?
a
Let l be 10 - 6 - 1/3. Is -1 less than or equal to l?
True
Suppose 0 = 4*f - 2 - 6. Let w = 0 + -1. Let r be (w/2)/(3/4). Which is smaller: r or f?
r
Let k = 49.7 - 53. Let s = -1.3 - k. Which is smaller: 1 or s?
1
Let b be (-2 + -1)*2/1. Does b = -3?
False
Let z = 0 - 0.4. Let c = -1.4 - z. Let m = -4 - -4.1. Is c less than m?
True
Let p = -0.06 - 11.84. Which is bigger: p or 1/4?
1/4
Suppose -18 - 2 = 5*r. Suppose 0*s - 3*s = 9. Let n be 8/12 + 11/s. Is r <= n?
True
Suppose 106 = 5*o - 164. Let n be o*1/13 - 4. Which is smaller: n or -1?
-1
Let n be 462/(-156) + (2 - -1). Let a = 59/182 - n. Is 4 less than a?
False
Suppose -2*h + 1 = -h. Let u = -5 - -5.5. Is h less than u?
False
Let d be ((-5)/(-4))/((-26)/(-208)). Is d not equal to -0.2?
True
Let m = 2/107 - -196/963. Suppose -4*t = t - 5. Is t > m?
True
Let t = -409/28 - -118/7. Which is smaller: 3 or t?
t
Let j = -2 - -5/3. Which is bigger: 1 or j?
1
Let p = 0 - -3. Which is smaller: p or 5?
p
Let y(t) = 2*t**3 - t**2 - 2*t. Let u be y(2). Let f = u - 10. Is f >= -3/5?
False
Suppose 2 + 1 = f. Suppose -5*w - f*p + 0 + 1 = 0, 0 = 5*w + 2*p - 4. Suppose -s = 2*v + 5, w*s + 2*v + v + 8 = 0. Which is greater: s or -2/5?
-2/5
Let f = 9 + 4. Suppose -3*l = 5*u - f - 4, l + 5*u - 9 = 0. Suppose -10 = s + l*s. Do s and 1 have different values?
True
Let s = -33 - -25.9. Let g = -7 - s. Is 1/7 greater than g?
True
Let r = -212/123 - -70/41. Let a = -101/1353 + r. Which is bigger: a or -1?
a
Let i = 137/4410 - -1/441. Is i <= -1?
False
Let r = -3/74 - -857/148. Which is smaller: r or -2/5?
-2/5
Let y = -445 - -22697/51. Which is bigger: y or 0?
y
Let d be 31/11 - (-6)/33. Suppose 0 = 2*w - d*w + 1. Let q = w - 3. Is -3 <= q?
True
Let y(f) = -f**2 - 2*f + 4. Let h be y(-5). Let i = h + 8. Which is greater: i or -1?
-1
Let j be (6 + -3)*(-22)/(-6). Let v = j - 13. Is -2 smaller than v?
False
Let l = 92947/15 + -6199. Let i = l - -11/5. Let y = -0.54 - -0.54. Is i not equal to y?
True
Let w = 4.977 - -0.023. Which is smaller: w or 0.3?
0.3
Suppose r = -0*r - 2*t - 65, 2*r - 4*t = -98. Let m = 101/2 + r. Which is greater: -6 or m?
-6
Let j = -70 + 60. Is 3 smaller than j?
False
Let j = 0 - -1/3. Let h(n) = 0 - 3 + 1 - n + 4. Let y be h(2). Is y > j?
False
Let y = -7/73 + 255/1898. Let w = y - 31/130. Is 0 bigger than w?
True
Let u(b) = -3*b - 9. Let g(a) = -2*a + 3. Let o(t) = -5*t + 7. Let z(j) = 7*g(j) - 3*o(j). Let m(i) = u(i) + 4*z(i). Let f be m(8). Are -1 and f unequal?
False
Let n(r) = r**2 - r - 19. Let v be n(5). Which is smaller: v or -2/275?
-2/275
Suppose 3*g - 4 = 2*g + 4*j, -5*j - 5 = g. Let w be ((-5)/3)/((-3)/18). Let y(f) = f - 9. Let r be y(w). Which is greater: g or r?
r
Suppose 2*d + 2 = -4*p - 6, 5*d - 3*p = 19. Suppose -4*l + 6 = -2*l. Does l = d?
False
Let g be (-9)/270*-10*18/202. Is 0 at least as big as g?
False
Suppose 51*z - 33*z + 306 = 0. Let u(v) = 17*v. Let w be u(-1). Is w not equal to z?
False
Let d = 14 - 12. Let b be 0 + (-1 - -2)*d. Which is bigger: 0 or b?
b
Let t be ((-60)/21)/((-6)/21). Suppose 0*o - 2 = o - 2*c, t = o + 4*c. Is o at most 0?
False
Let g = 7877/3 - 2687. Let q = 60 + g. Which is smaller: -1 or q?
q
Let q(m) be the first derivative of -m**4/4 - 10*m**3/3 + 13*m**2/2 + 8*m - 2. Let p be q(-11). Let u be ((-2 - -1) + -3)/p. Is -1 > u?
False
Let w be (-4)/5 - (-270)/25. Let m = w + -21/2. Do 18 and m have different values?
True
Let i(s) = s + 1. Let b(u) = -4*u - 4. Let q(o) = b(o) + 3*i(o). Let p be q(-2). Let a be 0 + (-4)/(-2) - 2. Which is smaller: a or p?
a
Let w be (-15)/10 - (-10)/4. Suppose 8*g - 3*g = 0. Suppose j + 0*j = g. Is j less than or equal to w?
True
Let l = 1 - 4. Let h be 2/(-3)*l/(-13). Let w(t) = -t + 4. Let x be w(4). Does x = h?
False
Let m = -89/3 - -30. Is m greater than or equal to 2?
False
Let a = 10/41 - 121/328. Is a <= 6?
True
Suppose -2*c = -10 + 2. Suppose -m + c = -5*m. Is m >= -1/2?
False
Let a = 43 + -173/4. Is -2/21 less than a?
False
Let l(x) = 4*x - 3. Let j be l(2). Let b = j - 9. Let y = b - -3. Is -1/3 smaller than y?
False
Suppose -2*q + 5 = -5*w, 0*q = w - 3*q + 1. Let k be w/(-4) + 104/(-32). Which is smaller: -9 or k?
-9
Let x(k) = k**2 - k - 2. Let a be x(0). Let q be (39/6 + a)*-2. Let d be (-2)/q - 94/18. Is d > -1?
False
Suppose 6 = j + 2*j. Suppose 4*z + 2 + j = 0. Is 2/5 at most as big as z?
False
Suppose q - x = 2*x + 10, 0 = q + x + 2. Is q != -1/20?
True
Let a = -18293/15 - -1220. Let v = -13/15 - a. Let c(d) = 70*d - 420. Let g be c(6). Is v <= g?
True
Let n = -10 + 9.4. Let g = 127/4 - 32. Is g bigger than n?
True
Suppose 5*q = -p - 9, q + 0 = p + 3. Let r be (-2*3/6)/q. Suppose 2 = -m + 3*m. Is m at least as big as r?
True
Suppose 4*h - 3*h - 2 = -5*v, 5*h - 5*v - 10 = 0. Let r = 3 - 3. Suppose 3*k = r, -m = 2*k + h*k. Which is bigger: m or 2/13?
2/13
Suppose 0 = -t - 3, -2 - 7 = -5*u + 3*t. Which is bigger: -2/53 or u?
u
Let t(z) = z**3 - 4*z**2 - 4*z - 7. Let g be t(5). Suppose 3 = -x + 2*f + 11, -4*x = -2*f - 2. Let k = x - g. Is -1 equal to k?
False
Let p = 503/