et m be -1 + 1 - (6 - 10). Suppose m*s + s - 3*p = -25, 4*s + 4*p = 12. Let l = s - -3. Which is greater: l or -1?
l
Let w be 1/88*6*16/(-2). Which is smaller: -0.1 or w?
w
Let w be 2/((-2)/(-5))*1. Let p = 0 + w. Suppose 0 = -p*g + t + 8, -2*g - 3*t = -7*g + 14. Is g at most as big as 2/11?
False
Let j = 0.2 - 1.8. Let n = -2.1 - j. Which is greater: 0.1 or n?
0.1
Let b = 38 + -34. Is b at least 0?
True
Let b = 0 - 0. Suppose b = 4*w + w - 5. Is w less than or equal to 1?
True
Let w = 8 + -12. Let u = 0.42 - 4.52. Let j = u - w. Which is bigger: 4 or j?
4
Let q be 0 + (3/3 - -1). Let f(z) = -z**3 - 7*z**2 - 5*z + 2. Let g be f(-6). Let v be 1/q*g/6. Which is greater: v or -0.1?
-0.1
Let l be 129/(-45) + 2/10. Let i = l + 2. Which is greater: i or 7?
7
Let g be -2*1 - 51/(-24). Is -1 > g?
False
Let i be (4 + 64/(-12))*-3. Let m(s) = s - 2. Let u be m(i). Is 2 at least as big as u?
True
Let y = 0.21 - 0.01. Do y and 3/2 have the same value?
False
Let a = 78 - 82. Is -4 >= a?
True
Let k be 4/(-10) - (-248)/20. Suppose -4*b = -2*b + k. Suppose -3 = -m + 4*w, -5*w + 1 = -4*m - 9. Which is smaller: m or b?
b
Let c(t) = -t - 2. Let h be c(4). Let w(i) = i + 4. Let o be w(h). Let p(m) = m**3 + 7*m**2 - 8*m - 1. Let s be p(-8). Which is smaller: o or s?
o
Let c = 5/7 - 52/63. Let u = 1 + -1. Is u equal to c?
False
Let g = 0.09 - 0.08. Let r = 0.01 - g. Let x be 5*(-1 + 2/(-10)). Which is bigger: x or r?
r
Suppose b - 2 = 3. Suppose -3*r + b = 2*r. Let t be (r + -2)/((-1)/(-4)). Is -3 greater than or equal to t?
True
Let j = 362 + -3629/10. Is -2 > j?
False
Suppose -2 = w - 3*w. Suppose 1 = -f - w. Let x(k) = k**3 + 6*k**2 + 4*k - 6. Let j be x(-5). Which is smaller: f or j?
f
Let v = -45 - -44.04. Let n = v + -0.04. Let g = n - 0. Which is bigger: 3 or g?
3
Suppose 0 = 5*u + 5*b + 10, -1 - 1 = -u - 3*b. Is -19/5 not equal to u?
True
Let g = 5.87 + 0.13. Let m = 0.09 + 4.91. Let u = g - m. Is -0.1 equal to u?
False
Let i be (-7)/(-49) - 354/(-21). Let z = i - 16. Let b be (-29)/35 + (-4)/(-10). Which is bigger: z or b?
z
Let l = -2.4 + 2.5. Is -19 > l?
False
Suppose 10*z = 185 - 15. Are z and 15 nonequal?
True
Let b be (0 - -1) + 12 - 2. Let v = -231 + 233. Is b at most as big as v?
False
Suppose n = 4 - 2. Suppose 4*b - n*b = -s - 4, -b = s - 1. Let k be 3/(1 - 15/s). Which is smaller: k or -3/2?
k
Let t be (2 + -1 - 3) + 4. Suppose -5*h - 2 = -4*u + 13, 6 = 3*u - t*h. Do 2/3 and u have the same value?
False
Suppose 3*q = -m + 1, 0*m - 4*q = -2*m - 28. Is m bigger than -7?
False
Let d(g) = 5*g + 7. Let i be d(-5). Let t be (-26)/14 - i/6. Is 0 not equal to t?
True
Let z = -0.09 - 1.01. Let c = z + 1. Let t = 153/580 + -2/145. Which is greater: t or c?
t
Let j = 70 + -89. Which is smaller: -20 or j?
-20
Suppose -3*i = 2*i + 680. Let z = -1225/9 - i. Suppose 2 = -2*o, -4*v + 2*o + 6 = -0. Are z and v unequal?
True
Let j = 69 + -57. Which is smaller: 38/3 or j?
j
Suppose 4*s - 12 = -4*z, -4*s + 5 = 3*z - 2*s. Let u = 9.1 - 10. Let g = u - -1. Which is bigger: g or z?
g
Let y(m) = m**2 - 19*m + 6. Let u be y(20). Do 26 and u have the same value?
True
Suppose 5 = -2*b - 0*v + 3*v, 5*b - 3*v + 8 = 0. Let k be -1 + 2 - 1 - 1. Is k at least as big as b?
True
Let q(w) = 2*w + 2. Let s be q(2). Let l(b) = -b**3 + 3*b**2 + 6*b - 3. Let k be l(4). Are k and s nonequal?
True
Suppose 0 = 3*i - 2 - 7. Let d = i + -4. Let n be 0 - ((-2)/d)/2. Which is bigger: n or -2/15?
-2/15
Suppose 0 = 4*m + 10 + 6. Let s(n) = -n + 3. Let j be s(m). Suppose j*h = 2*h. Are h and 1/2 nonequal?
True
Let q(t) = -t**2 + 8*t - 7. Let b be q(6). Suppose -5*g = -5*v + 20, -4*g + 4*v = -b*g + 16. Is 0 equal to g?
True
Let k = 298 + -1795/6. Which is smaller: k or -1?
k
Let o(y) = -y**2 - 5*y - 7. Let j be o(-3). Is j at least -5/13?
False
Let o be (-16)/(-3)*(3 - 0). Let b be 30/30 - (0 - -1)/(-1). Let u be (-12)/o - b/(-8). Is -1 not equal to u?
True
Let c be (-56)/279 - 6/(-27). Let p be (-469)/(-186) + 0 - 2. Let v = p - c. Which is smaller: v or 1?
v
Suppose -3*r - 7 = -49. Is 2 at most as big as r?
True
Let r(o) = 3*o + 5. Let c be r(-2). Let v(b) = b**3 + 5*b**2 + b + 2. Let p be v(-5). Which is greater: c or p?
c
Let r(p) = -p**2 - 7*p. Let o be (1/3)/(1/(-21)). Let k be r(o). Is 2/9 > k?
True
Suppose 0 = 3*q - 9, -5*q = -9*y + 4*y - 5. Suppose y*i - 14 = 2. Is 8 less than or equal to i?
True
Let x be ((-3)/2)/((-1)/(-4)). Which is smaller: x or -3?
x
Let u be (15/(-9))/(2/(-6)). Suppose -3*j = 2*j - u. Let x = 130/3 - 43. Are j and x unequal?
True
Let s be (13/195)/(2/3). Is -1 > s?
False
Let n(l) = 7*l + 5. Let r(d) = -d - 1. Suppose -4*g - 10 = -5*g - 4*h, 5*h - 29 = -4*g. Let z(w) = g*r(w) + n(w). Let m be z(-5). Is m <= -7?
False
Let c(s) = s + 6. Let f be c(-5). Let j = 5599/180 - -29/45. Let m = -32 + j. Which is smaller: m or f?
m
Let v = -0.05 - -2.01. Let q = -0.04 - v. Let s = 1 + -2. Is q greater than or equal to s?
False
Let v = 29 - 32. Is -5 bigger than v?
False
Let h be (-2 - -2) + 0 + 8. Suppose -h*d + 3*d = 5. Which is smaller: d or -3/2?
-3/2
Let b = -26/11 + 241/88. Which is smaller: b or -1?
-1
Let f be 0*(-4 - (-65)/15). Are f and -2/11 non-equal?
True
Suppose -a - 14 = -3*s, 5 + 45 = -5*a + 5*s. Let b = a - -15. Let t(i) = -i + 8. Let h be t(b). Which is smaller: h or 3?
h
Suppose 5*x - 10 = 0, 0 = -l + 5*l - 4*x + 12. Let s = -5 + 8. Let f be 2/15*(-5)/s. Is f at least as big as l?
True
Suppose 3*z + 1 = 5*q, -4*z - 11 = 3*q - 0*z. Suppose 2*j - 3*h - 23 = 0, -3*h = 4*j + j - 89. Let i be (-8)/j*(3 - 1). Is q < i?
False
Suppose t - 185 = -4*t + 5*p, -t + 31 = 2*p. Let u be 4/6 + t/(-48). Which is greater: u or -1?
u
Let k(o) = o**3 + o**2 + o + 3. Let q be k(0). Suppose 2*v + 1 = 5*b, -q*v = 2*v - 10. Suppose 3*z = 4*z - b. Which is smaller: z or 1/4?
1/4
Suppose -36 = 3*r + 2*z, -3*z - 49 = 3*r + r. Is -11 != r?
True
Let y = 10/37 - 427/1443. Which is smaller: -1 or y?
-1
Let i be (-7 + 80/12)/((-1)/(-43)). Are -13 and i unequal?
True
Let w(q) = -q - 1. Let o be w(-5). Let s = o + -3. Are -2/9 and s non-equal?
True
Let o = 11 - 4. Let i = -4 + o. Let s be 1 + (2 - 1 - i). Which is smaller: s or -1/2?
s
Let i(z) = -z**3 + 7*z**2 + 7*z + 6. Let c = 12 + -4. Let j be i(c). Let t(f) = f**3 + 7*f**2 + 8*f + 9. Let k be t(-6). Which is smaller: k or j?
k
Let c = 8.494 + 0.106. Let z = -4.4 + c. Let o = 4 - z. Are -1 and o equal?
False
Suppose 5*w + 3*m = -3 - 8, -m - 1 = w. Let z be (6/(-4))/(9/(-12)). Suppose z = -o - 1. Are o and w nonequal?
True
Let v be 2 + 23/8*-1. Let p = 29/24 + v. Let k(h) = 3*h**2 + 88*h + 30. Let l be k(-29). Which is smaller: p or l?
p
Suppose 3*d - 6 = 6. Let a be 0*(-3)/(d - 7). Is a bigger than 2?
False
Let x(y) be the first derivative of y**2/2 - 6*y - 2. Let k be x(7). Let m(r) = -r**2 - 2*r + 1. Let v be m(k). Is v at most as big as -1?
True
Let l = 196/5 + -40. Let k(f) = f + 2. Let b be k(2). Suppose -h + 1 = 2*n + 5, -2*h = -b*n - 8. Which is bigger: l or n?
l
Let y(u) = 8*u**2 + 1. Let q be y(-1). Do 9 and q have different values?
False
Let t(q) = q**3 - 2*q**2 + q - 2. Suppose -6 = -2*b - b. Let x be t(b). Is x less than or equal to -2/13?
False
Let c be -1 - (-1 + -7)/2. Which is smaller: c or 2?
2
Let m = -1.05 - -1. Is 2/5 <= m?
False
Suppose z = i, 4*i = z - 0*z - 6. Let h = 1 - 0. Let p be 1/(-2)*(h + 1). Are p and i non-equal?
True
Let h(r) = r - 3 + 1 + 3*r - 3*r. Let a be h(3). Let d = 29/84 - 2/21. Which is greater: a or d?
a
Let r be -1*((0 - -2) + -4). Suppose r*c = -0*c - 4. Is -1 <= c?
False
Let d(i) = i**3 + 7*i**2 + 7*i + 7. Let w be d(-6). Let r = 352/5 - 70. Is r less than w?
True
Suppose r - 2*r = -5*x - 6, -2*x = -2*r + 4. Suppose 38 + 106 = -2*d. Let b be (4/(-6))/((-16)/d). Is r < b?
False
Suppose 0*r = 3*r. Let s = r - -6. Let a = 7 - s. Which is greater: -6 or a?
a
Let c be -3*1 + (-7 - -11). Is c smaller than -1/15?
False
Suppose -6*p + 5 = 5*l - 2*p, 0 = 3*p. Let b be ((-8)/(-64))/((-4)/(-8)). Which is bigger: b or l?
l
Let g be (8/36)/((2/3)/1). Is g >= -0.04?
True
Let f = 650/9 + -72. Let t(a) = -a**2 + 4*a + 11. Let b be t(6). Which is smaller: b or f?
b
Let i = -1.7 + 2.1. Let a = -0.4 + i. Which is smaller: 15 or a?
a
Suppose m + m + 4 = 2*a, a - 6 = -3*m. Suppose 8 + 4 = -4*d. Let h be d*20