uppose -4*s + x - 4 = 0, m*s - 5*s - 5*x = 1. Let g = -488 + 488. Which is greater: s or g?
g
Suppose -2*b = -6*b + 12. Suppose 4*g = -b - 5. Let y(q) = -q - 7. Let a be y(-4). Which is bigger: g or a?
g
Let q = 0.1 + -0.2. Let i = 12 - 17. Let f = i + 3. Is q < f?
False
Let j = -90149347/212 - -425232. Let q = -1/53 - j. Are 0.1 and q unequal?
True
Let x = 73/57 - 18/19. Is 1 at least as big as x?
True
Let y(g) = g**2 + 6*g - 4. Let x be y(-7). Suppose 0*p - p + 0*p = 0. Which is smaller: x or p?
p
Let z = -12.2 + 12. Which is smaller: 0.2 or z?
z
Let g(t) = t**2 - 18*t + 44. Let w be g(15). Is w at most -2/31?
True
Let u(w) = -w**3 - 9*w**2 - 4*w - 13. Let f be u(-9). Suppose 5*g = 5*p + 55, -3*p + 3*g = 2*g + f. Which is greater: -7 or p?
p
Let t be 10/8 - (0 + 6/24). Is t at least as big as -1/12?
True
Let u = -105 - -1363/13. Is 4 smaller than u?
False
Let r = -16 - 4. Let j = r - -10. Which is smaller: j or -11?
-11
Let a = 2.2 + -1.2. Is a less than or equal to -2/5?
False
Let m(k) = -4 + 3 + k - k**2 + 3. Let q be m(2). Suppose q = -4*s - 4. Are s and 0 equal?
False
Suppose 11 = 5*z - 2*k - 5, 4*k + 8 = 4*z. Let m = -60 + 182/3. Which is greater: z or m?
z
Let k be 1 - 1 - (-1)/6. Let p(b) = b**3 - 7*b**2 - 2*b + 15. Let n be p(7). Is k not equal to n?
True
Let g(c) = -c**2 - 13*c + 14. Let v be g(-14). Let b(a) = -a**3 - 2*a**2 - a - 2. Let z be b(5). Let y = z - -1272/7. Which is greater: v or y?
v
Let n be (-94)/18 - 5*4/(-90). Is -1 at most as big as n?
False
Let i = 0.07 + 1.96. Let o = -2 + i. Let l = 4.03 - o. Is 0.1 at most l?
True
Let t be (-142)/12 - (-2)/(-12). Which is greater: -1 or t?
-1
Let p = 14 - 24. Let c be p/(-6)*(-6)/15. Let v be 1/1 - (0 - -1). Which is smaller: v or c?
c
Suppose -5*j - 28 = 5*b + 7, 0 = -5*b + 3*j + 5. Let q(h) = h**3 + 4*h**2 + 2*h - 1. Let g be q(b). Let u = -10 - -14. Is u less than g?
False
Let a(g) be the third derivative of g**5/30 - g**4/24 + g**3/6 + 2*g**2. Let h be a(2). Suppose 3*i = h*i. Is i greater than or equal to 0.2?
False
Let i be (0 + -3)/(3 - 2). Let s be (2/(-3))/(7/i). Suppose -3*y + 6 + 3 = 0. Which is greater: s or y?
y
Suppose -a - 4*l - 43 = 0, 2*l - 165 = 3*a + 5*l. Let x = a - -235/4. Which is greater: x or 0?
0
Let i = 6 + -1. Suppose 0 = -h + 5*b - 6, -5*h + 4*h + 8 = 2*b. Which is greater: h or i?
i
Let l be 2/1*(-85)/(-34). Does 6 = l?
False
Let n be 1 + 4/(-2) + 44. Let p = n - 83/2. Is p greater than or equal to 1?
True
Let n be (-3 + 4)*(-1655)/2. Let l = 853 + n. Let c = l - 25. Which is smaller: 2 or c?
c
Let q = 143 + -717/5. Which is smaller: q or -2/13?
q
Let c be (-28)/(-42) + (-20)/39. Which is smaller: 0 or c?
0
Let g be (276/135 - 2)*-3. Let r(s) = s**2 - s + 2. Let k be r(2). Let i(h) = -h + 3. Let x be i(k). Which is smaller: g or x?
x
Let x = 16 + -9. Let r = x - 6. Is 2 less than or equal to r?
False
Let w be 1/8*((-16)/27)/(-4). Which is bigger: w or -1?
w
Suppose -4*u = -4*u + u. Let b = -6 - -4. Which is smaller: b or u?
b
Let r(d) = d**3 + d**2 + d - 2. Let h be r(-3). Let f = h - -47/2. Which is bigger: 4/3 or f?
4/3
Let v be 2/(-5) - (-8)/(-5). Suppose d - 9 = 3*m - 2*d, 0 = -3*d. Which is smaller: v or m?
m
Suppose -7*n = -4*n + 3. Let j be ((-1)/3)/((-10)/3). Which is greater: j or n?
j
Let y be (6/36)/(4/(-8)). Let b = 3.02 + -3. Which is bigger: y or b?
b
Let d(a) = -a**3 + 5*a**2 + 5*a + 6. Let i(b) = b**2 + 2*b + 1. Let r be i(-2). Let x be 7 + (1 + -2)*r. Let w be d(x). Which is smaller: w or 0.3?
w
Let z = 27 + -15. Suppose z = -2*u - 2*u. Which is smaller: u or -4?
-4
Let a = -2.7 - -3. Let v = -0.1 + a. Which is smaller: v or 3?
v
Let s be 152/630 - 14/49. Is 1 at least as big as s?
True
Let d = 4.89 - -0.11. Suppose -2*l - 10 = -4*u + 3*l, -5*u + 8 = -4*l. Which is smaller: u or d?
u
Let i(p) = p**3 - 3*p**2 - 2*p - 7. Let f be i(4). Are f and 2/83 equal?
False
Let i be 1/(-4) - (-14)/(-8). Let l be (3/6)/(i/4). Is l at least as big as -2/3?
False
Let t(x) = -x**3 - 6*x**2 + 15*x - 8. Let k be t(-8). Which is smaller: 5/11 or k?
k
Let c(l) = l**2 + 7*l - 1. Let h be c(-7). Are 3 and h non-equal?
True
Let l = 1.14 + -0.14. Is l not equal to -5?
True
Let n = 4 - 5. Let y = -9 - -3. Which is greater: y or n?
n
Let t = -2 + 25. Suppose -t = 5*w + 2*c, 3*c + 9 = -3*w + 4*w. Let a be 7/w - (-4)/2. Are -1/3 and a non-equal?
False
Let j(w) = 5*w + 27. Let l be j(-17). Which is bigger: l or -57?
-57
Let q(z) = -3*z**3 - 3*z**2 + 2*z + 2. Let h be q(2). Let x = 21 + h. Is x less than -9?
False
Let q = 19 - 18. Are q and 1/4 nonequal?
True
Suppose r = -0*r + 1. Suppose -6 = -o + 3*o. Let i = r + o. Is -1 >= i?
True
Let p be (1*-1 - 1)/(62/(-248)). Is -0.1 at least p?
False
Let i(o) = 2*o. Suppose 0 = 3*f - 6. Let u be i(f). Suppose p = u*d + 3*p + 4, 0 = p - 4. Are -3 and d equal?
True
Let i be (4/3 + 1)*18. Let x be (-286)/(-510) - i/70. Are x and -1 nonequal?
True
Let v(h) = -h**2 - 6*h + 7. Let w(n) = -n**2 - 7*n + 8. Let q = 2 - -3. Let c(t) = q*w(t) - 6*v(t). Let f be c(-3). Is f < 3?
False
Let g = -4/23 + 591/92. Let m be (-2)/10*130/(-4). Let n = g - m. Is 7 smaller than n?
False
Let t(w) = 2*w**2 - 17*w - 7. Let k be t(9). Is k less than 16/7?
True
Let v(t) = t**3 - 11*t**2 - t + 6. Let j be v(11). Let p = j - -4. Let f = 0.2 - 0.2. Which is bigger: p or f?
f
Let k be (22/3)/(24/(-36)). Which is greater: -21/2 or k?
-21/2
Let c = -15 - -20. Suppose -c*a + 8 = -3*k, 0 = -4*a + 5*k + 12 - 3. Which is smaller: 4 or a?
a
Let r be (2/6)/(4/24). Suppose -2*k + 14 = -0*k + 4*n, -r*k - n + 5 = 0. Suppose 3*t = -5*c + 25, -11 - 4 = -4*t - 3*c. Which is bigger: k or t?
k
Let a = 386/7 + -60. Is 1/2 bigger than a?
True
Let k = 0.046 + 0.954. Which is bigger: 1/4 or k?
k
Let k(t) = t + 2. Suppose -2*w - 27 = 5*o, 2*w = 2*o + 2*o. Let u be k(w). Which is greater: -2 or u?
-2
Let b = 2 - 1.97. Is b at least as big as -1?
True
Let l = 3.9 + -4. Which is greater: -0.2 or l?
l
Suppose 6*s - 3*s + 4*m = -16, -s + 5*m + 1 = 0. Which is smaller: 0 or s?
s
Let c = -3 - -2. Let z = -11/3 - -52/15. Which is greater: c or z?
z
Let b = -10 - -8. Is -5 at least b?
False
Let p = 3 - -2. Suppose -p*r - 7 = 8. Which is smaller: r or 0?
r
Suppose m + 3*m = -52. Is -11 greater than or equal to m?
True
Let n(c) = -2*c + 16. Let w be n(7). Suppose 2*o + w + 0 = 0. Which is smaller: -2 or o?
-2
Let z(q) = 6*q**2 + 1. Suppose 0 = 5*s - 4 - 1. Let n be z(s). Is 7 at most n?
True
Let k(g) = -g**2 - 7*g - 1. Let c be k(3). Which is smaller: c or -1?
c
Let a be (80/36 - 2)*-2. Let b(l) = l - 5. Let t be b(3). Let p be ((-2)/(-4))/(t/(-4)). Which is bigger: p or a?
p
Let a(n) = -3*n. Let c be a(-1). Let r be 1 - ((-2)/c + 2). Which is smaller: 0 or r?
r
Let a be 0*(-3 - -2)/2. Let h be a/(0 - (4 + -3)). Does -1/25 = h?
False
Let x be 9/6*4/(-6). Let f(v) = -v**3 + 11*v**2 + 11*v + 10. Let j be f(12). Is j greater than or equal to x?
False
Let q be 0/(-1) - 1/(-4). Which is smaller: q or 1?
q
Let h = 6 - -2. Suppose u - 4*q + 10 + 6 = 0, -2*u + 2*q = h. Which is smaller: u or 6?
u
Let g = -26 - -22. Is g at most -2?
True
Suppose 5*c - 11 = 3*l - 2*l, -2*l - 8 = -3*c. Let r = 2 + l. Is r != 3?
True
Let i = -16.8 - -17. Is -3 > i?
False
Let h = -1492/7 + 6886/35. Is h at most as big as -17?
False
Suppose k = -3*n - 1, 4*k - 4*n = -4 - 0. Which is greater: -9 or k?
k
Suppose -g = -5*l - 149, 0*l + 2*g = -l - 21. Let r be 4/6 + 592/21. Let c = l + r. Are c and 1 non-equal?
True
Let x = -0.95 - -6.95. Which is smaller: -5 or x?
-5
Let p be (10/18)/((-1)/3). Is -2 greater than p?
False
Let u = -0.6 + 1. Do -4 and u have the same value?
False
Suppose 3*n - 5*n = 3*r + 10, 4*n = 4*r. Which is smaller: n or 1?
n
Suppose 7*d - 2*d = -10. Which is smaller: -5/2 or d?
-5/2
Suppose 21 = -3*c - 6. Let t(a) = -a**3 - 9*a**2 - a - 13. Let i be t(c). Which is smaller: -3 or i?
i
Let l = -5 + 11. Let a be ((-28)/21)/(8/(-36)). Is l >= a?
True
Let u be ((-42)/(-27))/(-7) - 28/36. Let a(x) = -x**3 - 5*x**2 - x - 6. Let o be a(-5). Is o smaller than u?
False
Let p = 7 - 9. Let o = -2 - p. Is o < 3/7?
True
Let z(j) = j**3 - 2*j - 1. Let f be z(-2). Suppose 2*c - 3*o + 11 = 0, -2*c - 14 = c - 2*o. Let y = f - c. Which is smaller: y or 2/9?
y
Let a = 226/157 + 333946/1413. Let l = 194 - -44. L