uppose 0*g - 4*g + 5*w - 16 = 0, 2*g + 2*w - 10 = 0. Which is bigger: 2/7 or g?
g
Let p = -3 - -1. Let b(h) = -2*h**2 - h + 1. Let k(g) = -3*g**2 - g + 2. Let c(d) = -8*b(d) + 5*k(d). Let l be c(p). Are 0 and l non-equal?
False
Suppose -2*x + 40 = 2*x. Is x equal to 8?
False
Let d = -613/1092 + 13/21. Which is smaller: 0 or d?
0
Let o = -2283/574 + 55/14. Which is greater: o or 0.9?
0.9
Let q = 70 + -77. Which is smaller: -1 or q?
q
Suppose 5*p + 5 = -5*o, 7 + 0 = -4*o - p. Let z be (o/(-5))/(28/(-20)). Let f = -0.1 + -0.1. Which is greater: f or z?
f
Let h = -18 - -24. Which is greater: 2 or h?
h
Let a = -7 + 27/4. Let f(m) = m**3 + 6*m**2 - 8*m - 9. Let w be f(-7). Let g be (3/(-15))/(w/(-4)). Which is smaller: a or g?
g
Suppose -3*c + 2 - 5 = 0. Let r = -0.2 + 0.3. Let u = 0.1 - r. Is c >= u?
False
Let t(l) = -l**3 - 2*l**2 + 2*l - 2. Let d be t(-3). Let p(k) = k**2 - k. Let w be p(0). Let h be -4 - -3 - (w - d). Which is bigger: 1/4 or h?
1/4
Let g = -0.1 - -1.1. Let m = -2 + 2. Is g at most m?
False
Let y = 6 - 4. Let w = y + -1. Let a(i) = -i**2 - 15*i. Let q be a(-15). Which is greater: w or q?
w
Let s(w) = -w**3 - 5*w**2 - 5*w - 1. Let n be s(-4). Let i = 5 - n. Let a = -1514/63 - -224/9. Is a <= i?
True
Suppose 2*g + 5 = 4*m - g, 4*m - 9 = -g. Which is bigger: m or -1/15?
m
Let s be (-4)/(-6)*1*15. Which is smaller: s or 3?
3
Let r be -1*2 + 1 - 0. Let m(v) = v**3 - v**2 - 2*v - 1. Let a = -12 - -11. Let j be m(a). Is r at most j?
True
Suppose -5*j = 5*u, 2*u + 20 = j - u. Let c be -2*1/(j*-2). Let a = -0.025 - 0.175. Is a at least as big as c?
False
Let m = -63 - -317/5. Let a be 5/(5/(-2)) - -7. Let o = 5 - a. Which is smaller: m or o?
o
Let a be (2/3)/((-14)/(-147)). Suppose 0 = -2*f + 1 + 3, -40 = -5*u - 5*f. Which is bigger: a or u?
a
Let c = -6 + 6. Let u = c - -0.1. Is u >= -2?
True
Let i = -5 - -4.9. Let v be (-9)/(-15) - 2/(-5). Is v smaller than i?
False
Let s be (-1 + 39/9)*-6. Let x be (-8)/s + 3/5. Let o(n) = -2*n + 15. Let b be o(7). Is x less than or equal to b?
True
Suppose 3*y - 11 = -5*j, 3*y + 2*j + 0 - 8 = 0. Let a = 283 + -8489/30. Let h = 19/30 - a. Which is greater: h or y?
y
Let z = 1 - 8. Let v = -23 + 15. Is v >= z?
False
Let q be 3/(-2)*10/(-6). Suppose 4*h - 8 = 4*z, -z - 4 = 4*h - 2*z. Let n = h - -4. Is q equal to n?
False
Suppose -7 = 4*w + 1. Let d be (w/1)/(-2 - 0). Which is greater: 2 or d?
2
Suppose v - 3*v - 5*z = -24, -2*z + 8 = 0. Let n(q) = -4*q - 10. Let c be n(-4). Suppose y + 5*g - 2 = 0, 0 = -c*g + 2*g. Do v and y have different values?
False
Let t be 6/(2*(0 + -2)). Do t and -2 have different values?
True
Suppose -5*z + 2*v - 2 = -0, -4*v - 8 = -4*z. Is z > -13?
True
Let i = -13.95 - -17. Let u = i + -0.05. Which is smaller: -0.1 or u?
-0.1
Suppose 3*t - 49 + 243 = -w, 3*t + 182 = 5*w. Which is smaller: t or -62?
t
Let p be (-4)/(-14) + 3699/(-35). Let v = 105 + p. Which is bigger: v or 5?
5
Suppose 32 = -4*u + 5*y, -5*u + y = -2*y + 27. Suppose 0*q - 11 = 3*q + o, q = -3*o - 9. Do q and u have different values?
False
Let q = 22 + -28. Is q bigger than -3?
False
Suppose -37 + 3 = -2*f. Which is smaller: 15 or f?
15
Let t be 2/(-5) - 6/(-15). Suppose 2*a = -t*a + 3*g - 13, 3*g = 4*a + 11. Which is smaller: a or -2/21?
-2/21
Let a be -5 - 16/((-8)/2) - -1. Is -3/32 smaller than a?
True
Suppose 3*a = 2*f - 19 - 63, 5*a + 130 = 5*f. Let m be (9/a)/(24/(-10)). Let y = 5/8 - m. Which is smaller: y or 2?
y
Let s = -2 + -8. Let d = s + 10. Is -1/10 smaller than d?
True
Let w be (-2)/9 - 704/(-1224). Is 0 != w?
True
Let c be 6*((-15)/9)/5. Let g be (6/(-2) - c)*-4. Suppose 6 = -g*r + 18. Which is greater: r or 2?
r
Let t be (-2)/(-4) - (-689)/(-1274). Is t greater than or equal to 1?
False
Suppose 10 - 12 = 2*x. Let a(u) be the first derivative of -u**4/4 + 4*u**3/3 - u**2 - 2*u + 1. Let j be a(3). Which is greater: j or x?
j
Let i(j) = j**2. Let n be i(0). Suppose n = -6*u + 2*u. Is 2/33 less than or equal to u?
False
Let c = -8 + 13. Let d = 156 + -150. Do d and c have the same value?
False
Suppose -4*r + 12 = 4*w, -3*w + 6 = -2*r - 8. Which is bigger: 0 or r?
0
Let o be (-6)/(-10) - 12/20. Let t(m) = -m**2 - m + 1. Let p be t(o). Is -1/8 > p?
False
Let k be (-6)/28*(-6)/(-9). Let h = -0.5 + 0.4. Is k smaller than h?
True
Let n = -11311955/7 + 16685134426/10325. Let q = 1/413 + n. Which is bigger: q or 0?
q
Let n be ((-1)/(-3) + (-20)/(-12))/2. Suppose -17 = 5*b - 4*r - 42, -5*r = -5*b + 30. Is n at least as big as b?
True
Let i = -27 - -32. Suppose 5*c = 5, i*x + 3*c - 6 - 47 = 0. Is 10 greater than x?
False
Let i = -8 + 17. Let s = 23 - i. Do 13 and s have different values?
True
Let j = 0.9 + -0.78. Let s = j - 14.12. Does s = 0?
False
Let p be (-7539)/36*2/(-35). Let x = 12 - p. Is x <= -1?
False
Let j = 2/119 + 232/357. Let y = 22 + -20. Let l be -2*y/8*-2. Is l bigger than j?
True
Let r be 2*-1 - 40/(-15). Let n = -11/12 + r. Which is bigger: -1 or n?
n
Let p = 7 - 7. Suppose 0*w = -5*u + 5*w - 5, p = 3*w. Let g be ((-6)/(-9))/((-2)/3). Is u not equal to g?
False
Let g(z) be the third derivative of z**6/120 + z**3/3 - 2*z**2. Let c be g(0). Let r = 1.1 + -1. Which is smaller: r or c?
r
Let a = -97 + 5143/53. Which is greater: a or -1?
a
Let w = 93 + -124. Which is smaller: -27 or w?
w
Let b = -0.3 - -0.1. Let r = -0.8 + b. Let v = -7 + 5. Is r at least as big as v?
True
Let v = -8.17 - 0.83. Which is bigger: v or 2/5?
2/5
Suppose -31 = -4*i - 5*a, -2*i + 2*a + 14 = 3*i. Suppose -z + 13 = -2*g, 0*g + i*g - z = -21. Are g and -4 equal?
True
Let s be (-3)/(1/6*-2). Let o be 6/(-27) - 34/s. Which is smaller: o or -5?
-5
Let t(k) be the third derivative of -k**5/60 - 11*k**4/24 - 3*k**3/2 - k**2. Let m = -65 + 55. Let b be t(m). Does 0 = b?
False
Let m = -20 - -14. Does m = -7?
False
Let s = 395/9 + -44. Is 2 bigger than s?
True
Let l = -17 - -18.8. Let n = -0.6 - -2.6. Let w = n - l. Are w and -0.1 equal?
False
Let j = 6 - 4. Let t = j - -1. Suppose 0*k - 4 = -2*k. Which is greater: t or k?
t
Let o = 776 - 768.86. Let v = -0.14 + o. Let s = -6.9 + v. Is s less than 0.1?
False
Let k be -1*((-26)/(-10) + -3). Is 2/5 > k?
False
Let f = 11 + -7. Are f and 0.3 equal?
False
Let v = 0.8 + 0.6. Let j = v + -1.5. Are j and 0 non-equal?
True
Let a = 31 - 29. Let s be (-7)/(-85) - (-7)/(-35). Which is smaller: s or a?
s
Let b be (-4)/(-18) + (-88)/72. Is b < 1.6?
True
Let h(g) = 2*g**2 + 1. Let r be h(1). Suppose 6*j = 2*a + 3*j - 10, r*j + 16 = 5*a. Do a and 1 have different values?
True
Let l(w) = w - 5. Let k be l(6). Let c be k*(-1 - 1 - -4). Are 3 and c equal?
False
Let n(j) = -j**2 + 3*j + 2. Let s be n(3). Let p(x) = 0 - s*x + 3*x + 1. Let q be p(-1). Which is greater: 3/4 or q?
3/4
Let u = 9 + -10. Is u smaller than -4?
False
Suppose 0 = -4*a - 4*g + 12, 2*g - 4 = -4*a - 2. Let f = -5 - -5. Is a <= f?
True
Let k = 9.4 - 9. Which is greater: k or 1/4?
k
Let i = -11 - -5. Let b be ((-3)/36)/((-8)/i). Let x be (-8)/(-4) - (-1 + 3). Is b less than or equal to x?
True
Let a be (4 - 0)*(-8)/16. Which is smaller: -11/5 or a?
-11/5
Let a be ((-8)/6)/(4/12). Let d be (-2)/(-9) + (-61)/(-9). Suppose -27 = 4*z - d. Are z and a unequal?
True
Let y = 25 + -26. Suppose 0 = 4*m - 3 - 9. Let d = 2 - m. Is y > d?
False
Let u be (-3)/(-9)*-28*-3. Suppose -2*f + h + 2*h = -u, 75 = 5*f - 5*h. Is f bigger than 18?
False
Let a = -0.8 + 1. Let h = a - -0.4. Let o = h + 0.4. Which is greater: o or -3/2?
o
Let x be -2 - ((-4)/4 - 0). Suppose -2*u = u - 3. Let g = x + u. Which is bigger: g or 1/3?
1/3
Let f(t) = t**2 - 2*t - 3. Let q be f(4). Let r(y) = -3*y**2 - 5*y. Let x(h) = 2*h**2 + 3*h. Let a(p) = q*x(p) + 3*r(p). Let n be a(0). Does 1 = n?
False
Suppose r - 4*r = -24. Let h = -5 + r. Suppose -5*d = -h*d. Which is greater: d or -1/4?
d
Let b = 12 + -21. Let f = 5 + b. Let o = f + 3. Which is smaller: o or -4?
-4
Let i be (3 - 0) + (2 - 3). Let p = i + -2. Is 1/2 at least p?
True
Let i = 0.7 + 8.3. Let p = -0.021 + 5.021. Let u = p - i. Which is greater: u or 0.1?
0.1
Let l be 9 + -5 + (-3)/1. Which is smaller: l or 0?
0
Let v(z) = z**3 - 6*z**2 + 5*z + 4. Let s be v(5). Suppose 4*y = -a + 8, -s*y + 3*a + 2 + 6 = 0. Let h be ((-1)/y)/(2/12). Are h and -7/4 unequal?
True
Let q = -128 - -136. Which is greater: 3 or q?