*(-2589)/(-18). Let u = z - -79/3. Which is greater: 0 or u?
u
Let w be 2/6 - (-88)/6. Which is smaller: w or 14?
14
Suppose -5*t = 5, -4*t = 3*c - 2*c + 79. Let p = c + 54. Let l be 64/(-126) - 6/p. Which is smaller: -2/7 or l?
-2/7
Let g be ((-19)/190)/((-4)/(-10)). Which is smaller: g or 2/5?
g
Let m = 83479/53 - 1575. Which is smaller: -1 or m?
-1
Suppose 3*u - 2*s = -0*u + 223, -4*u + 284 = 4*s. Suppose 2*b + 29 = u. Suppose -4*f - b = -4*k + 5*k, 4 = -2*f - 4*k. Which is greater: f or -2?
-2
Let a be 180/336 - (-4)/(-14). Which is smaller: a or 7?
a
Suppose -4*w - 1 = -3*w. Is w less than -10/11?
True
Let h = -18 - -9. Suppose l + 3 = -5. Is l bigger than h?
True
Let w = 3 - 15. Let j be (w/(-15))/((-1)/(-5)). Suppose -4*l = -20 + 4. Is j greater than or equal to l?
True
Let y = -9 - -10. Which is smaller: y or -1/9?
-1/9
Let j be ((-15)/(-6) + -1)*264/(-945). Let r be (-1 + 2)/((-210)/(-4)). Let k = r + j. Which is greater: k or 2?
2
Let w = 45 - 45. Is -3/7 less than w?
True
Suppose 2*k = 5*u - 2, -3*u - 6*k + k - 5 = 0. Let i be ((-7)/(-21))/((-2)/4). Is u at most i?
False
Let s = -6 + 15. Let i(m) = -m**3 + 8*m**2 + 9*m - 1. Let q be i(s). Is q less than or equal to -1?
True
Let n(g) = g**3 + 6*g**2 + 6*g + 6. Let v be n(-5). Let j(w) = -w - 1. Let s(b) = 5*b + 5. Let p(i) = -4*j(i) - s(i). Let m be p(-2). Is v at least as big as m?
True
Let p = -7.9 - -12. Let h = 0.1 - p. Let a = h + 2. Which is smaller: a or 0.2?
a
Suppose -2*a + i = 0, 5*i = 2*a + 2*a + 12. Suppose -1 = -u, -2*v + u = -u + a. Let l be 1 + v - 1 - -1. Which is bigger: l or 0?
l
Let b = 6999/14909 + 1/877. Let a = -41/51 + b. Which is smaller: a or 0?
a
Suppose -4*w + 37 = -5*b, -b + 6 = -3*w - 4*b. Let f be 3/(-6) - w/(-2). Let x(r) = r**2 + 7*r - 1. Let o be x(-7). Which is greater: f or o?
f
Let x = -2533/3649 + 28/41. Let g = -1373453/530262 + 1575/662. Let m = x + g. Which is bigger: 0 or m?
0
Let c(t) = -t**3 - 6*t**2 + 8*t + 8. Let r be c(-7). Let s be (3/228)/(r*-1). Let a = s - 145/532. Which is greater: a or -1?
a
Let t(r) = -r**3 + 12*r**2 + 13*r + 1. Let a be t(13). Which is smaller: a or 0.08?
0.08
Let f = 4.7 - 5. Let z = 772168/99 - 7799. Let o = z - 1/99. Which is greater: f or o?
o
Let v be 3/12*8/6. Let a = 13 + -8. Let r(b) = b - 3. Let t be r(a). Which is smaller: t or v?
v
Suppose 25 = -5*g - 5*c, -2*c = 4*g + 15 + 1. Let h be (-1)/3*2*g. Which is smaller: h or 1/2?
1/2
Suppose i = -2*i + 6. Let s(d) = d + 8. Let m be s(-6). Is i greater than m?
False
Let l(j) = 2*j. Let b be l(-2). Suppose 2*d - 5*o + 8 = 0, 5*d + 3*o - 1 = 5*o. Suppose 2*r = 3*w + 20, 0 = 2*r + d - 9. Is b bigger than w?
False
Let s = -27 - -37. Is s at most as big as 9?
False
Let h = -100.3 - -105. Let r = h + -5. Is r greater than 0.1?
False
Suppose -84 = -h - 123. Which is smaller: 2/7 or h?
h
Suppose -6*l = -l + 20, -4*l = -4*k + 88. Which is bigger: 21 or k?
21
Let n be 2/1 - 4/(-12). Let s = 22/9 - n. Is s smaller than 1?
True
Let o = 9/16 + -1/16. Is o greater than 0.2?
True
Let h(v) = -v**2 + 5*v - 3. Let f be h(3). Suppose 10 = -2*n, -5 = -2*j - 2*j - 3*n. Is f != j?
True
Let b = 12 - 12. Which is smaller: b or 2?
b
Let q = 6 + -5.3. Let t = 0.41 - 1.01. Let h = q + t. Which is smaller: -0.1 or h?
-0.1
Let v = -29 + 18. Which is smaller: -0.3 or v?
v
Let p = 23 - 23.19. Let s = p + -0.01. Which is bigger: s or 0?
0
Suppose -2 = -5*u - 7. Let a be -1 - (-4)/(-6) - -1. Is u not equal to a?
True
Let w(v) = v**3 - 5*v**2 + v - 5. Let m = -6 + 11. Let s be w(m). Which is smaller: s or 2/9?
s
Suppose 2 = u + u, 4*u = 4*f. Let m be (16/24)/(-1 - 2/6). Let b = f + m. Is 0 < b?
True
Let x(y) = y**2 - 10*y + 4. Let v be x(6). Let r be 288/v + (-2)/(-5). Let l be (-10)/r*(-6)/15. Is 0.3 at least as big as l?
True
Suppose -4*c = 3*i - 17 - 2, 0 = -5*c + 20. Let g(v) = -v - 1. Let o be g(i). Let a be (o*2)/(-2)*1. Is 0 greater than or equal to a?
False
Suppose 2*j + 4 = -6. Which is greater: 0.1 or j?
0.1
Let j = -25 + 25.2. Let m = j - -2.8. Let q = -2 - -1.9. Which is bigger: q or m?
m
Let b = -37/7 + 414/77. Let x be 2/3 - 3/(-9). Which is smaller: b or x?
b
Suppose 5*i = 11*i + 24. Which is smaller: -6 or i?
-6
Let l = -5 + 7. Let o be 5 - l/(6/9). Suppose 0 = -o*d + 5*k - 1 - 13, 16 = -4*d + 4*k. Is -3 > d?
False
Let l(k) = k**3 - 8*k**2 - k + 8. Suppose -4*x - 28 = -7*x + 2*i, 0 = -5*x - i + 38. Let s be l(x). Which is greater: 3 or s?
3
Let m = -7 + 12. Suppose -q = -i - 2, m*i = 4*q - 2*q - 4. Which is greater: 4/7 or i?
4/7
Suppose -c + 2 = 7. Let s(x) = x**2 + 7*x - 3. Let y be s(-6). Let u = y - -3. Which is smaller: c or u?
u
Suppose 2*d - 1 = -0*m + 3*m, 0 = -4*d + 2*m + 6. Let a be (1 - 0) + (d - -2). Let l(v) = -v**2 + 7*v + 23. Let u be l(9). Is a > u?
False
Let h be ((-9)/(-27))/((-2)/6). Which is smaller: 2/41 or h?
h
Let w(t) = t**3 + 5*t**2 + t - 9. Let d be w(-4). Suppose -3*h + 1 + 2 = 0. Which is smaller: h or d?
h
Suppose -4*u + 21 = 4*m - 3, -25 = -4*u - 5*m. Suppose -36 = 2*n - 3*h, -5*h = -u*n - 5 - 95. Let c be 4/5*4/n. Which is smaller: -1 or c?
-1
Let a be (-46)/253 - 69/(-77). Does a = -2/3?
False
Let r be 2/42 - (-5)/(-15). Suppose 3*q - 4 + 1 = 0. Which is greater: q or r?
q
Let q(v) = -v**2 + 5*v + 7. Let y be q(6). Let h(w) = 3*w**2 - 2*w + 1. Let u be h(y). Which is smaller: u or 1?
1
Let z = 57 - 38. Is 19 less than z?
False
Let p(y) = 2*y**3 + 2*y**2 - 1. Let j be (-2)/(-6) + (-10)/3. Let n = -4 - j. Let h be p(n). Which is bigger: h or 0?
0
Suppose 37 = -5*v + 37. Which is greater: -25 or v?
v
Let n = -73 + 71. Is n at least as big as -2?
True
Let h(t) = -t**2 - 11*t - 3. Let n be h(-11). Which is smaller: -6 or n?
-6
Let f = -0.1 + 0.1. Let i(a) = -a**3 + a**2 + 5. Let s be i(0). Suppose 4 = -3*o + r, s*o = r - 6*r + 20. Is f > o?
False
Let z = 1.5 - 2. Let h = 0.6 - z. Let s = h - 1. Which is smaller: s or 1?
s
Let y = -3 - -4. Let q = -46/17 + 390/119. Which is bigger: y or q?
y
Let b = -95.3 - -90. Let f = 0.3 + b. Which is greater: -1 or f?
-1
Let s be 1/((-1)/(-3) - (-66)/(-36)). Which is bigger: 1/19 or s?
1/19
Let p = -12 - -12.9. Let w = 51 - 51.8. Let z = w + p. Do -1/2 and z have the same value?
False
Let a(j) = -j**3 - 17*j**2 - 17*j - 17. Let f be a(-16). Is 89 >= f?
True
Let p = -6 + 35. Is p >= 1?
True
Let r = 10 + -9.94. Let q = 0.66 - r. Are q and 2/5 nonequal?
True
Let p = -0.14 - -0.1. Let v be (8 - 4) + 30/(-8). Which is smaller: v or p?
p
Let f(p) = 2 + 4*p + 0 - 2 + 2. Let i be f(3). Let u be -2 + (-7)/(i/(-20)). Which is smaller: u or 7?
7
Let k(u) = -u**2 - 8*u - 3. Let a be k(-6). Let h be (-3)/(-2)*(-4)/a. Which is smaller: 0.3 or h?
h
Let f = -6 - -6.2. Let a = 0.3 - f. Are 0 and a unequal?
True
Let f be (202/2)/(28/(-7)). Let u = f + 405/16. Are u and 0 nonequal?
True
Let k be (-4)/6 - (-14)/30. Let w(s) be the third derivative of -s**4/24 - 4*s**3/3 + 2*s**2. Let d be w(-9). Is k < d?
True
Let r be (51/9 + -3)*432/12. Are r and 96 equal?
True
Suppose 2 = -a + 3*a. Let f = -5 - -5. Suppose 0 = -3*x - 5*y + 7, f = 4*x + y + 2. Are x and a equal?
False
Suppose -5*t + 5 = 0, 0*f - 5*f + 4*t + 6 = 0. Let j = 4 - f. Suppose 0 + 6 = j*b. Which is bigger: b or 2?
b
Let n be 3/6*4/1. Let q be n/(-7) + 340/1386. Let z = q - 2/11. Is z <= -1?
False
Let y = 1.4 - 1.3. Let j = -1 - -0.9. Let n = j + y. Is n at most as big as 0.2?
True
Let i be 1/2 - 7/(-2). Suppose 4*x + 5*y = 15, i*y = x + 2 + 10. Is x equal to 0?
True
Let l = 1327/210 - 44/7. Which is bigger: l or -1?
l
Let f(c) = -c**2 + 3*c - 2. Let i(r) = 2*r + 9. Let s be i(-6). Let w = s + 5. Let n be f(w). Which is greater: n or -1?
n
Let y = 3 - 0. Suppose y*w + 4 = w. Which is bigger: w or -8/7?
-8/7
Let f = -3 + 6. Suppose -3 = f*s - 6, 0 = b - s + 4. Is -3 at least b?
True
Suppose 26 = d - 5*q, -2 = 3*d - 3*q + 4*q. Let c(i) = 2*i**2 + i - 1. Let w be c(1). Which is smaller: w or d?
d
Let i = 7.91 + 0.09. Let j = i - 7.9. Which is smaller: j or -0.06?
-0.06
Let j(r) = -2*r. Suppose 4*p - a - 4*a = -44, 16 = -4*p - 2*a. Let q be j(p). Is q equal to -2/7?
False
Suppose -5*i = x + 3*x, 3*x - 2*i = 0. Let g = 226/3 + -76. Which is smaller: g or x?
g
Let l be 5/((-15)/(-63))*-3. Let b be 2/4 - l/(-18). Which is bigger: -5 or b?
b
Let a = 205/3536 - -1/221. Which i