 -5*x - 10, 6*u + x = 9*u - 17. Which is smaller: u or f?
f
Let k = 4 + 0. Suppose -5*n = -2*n - 9. Which is bigger: n or k?
k
Let q = 53/95 - 3/19. Which is smaller: q or -3?
-3
Let b(c) = -2*c. Let z(i) = 5*i - 1. Let d(f) = 7*b(f) + 3*z(f). Let k be d(3). Which is smaller: 1/5 or k?
k
Let l(v) = -v**3 + 3*v**2 + 3. Let b be l(3). Suppose 0 = 2*f - 3*h + 2, -4*f + 5 = -b*h - 3. Which is smaller: f or 6?
f
Let z(f) = f**2 + 2*f. Let h be z(-3). Suppose -h*d + 170 = 2*d. Let p be d/(-30) - 3/(-9). Is p <= 0?
True
Suppose 43 = 3*b + f, 2*b + 1 = -f + 31. Suppose 3*q + 5 + b = 0. Which is smaller: 2 or q?
q
Let l = -359/2 - -174. Let q = l + 17/3. Suppose -2 = 3*y - 5. Is y > q?
True
Let q(f) = -f**2 - 3*f + 18. Let z be q(-6). Is z <= -18?
False
Let v(m) = m**3 - 4*m + 4. Let r be v(4). Let x = 3960 - 16047/4. Let b = r + x. Are -3 and b non-equal?
True
Let g = -0.2 + 0.2. Let s = -0.4 - -0.3. Let q = g - s. Which is smaller: q or -1?
-1
Let x = -6.9 + 7. Let r be (-99)/(-6)*(-2)/3. Is x at least r?
True
Let q(t) = -6*t**3 - 2*t**2. Let o be q(2). Let n be (3 + o/18)*-2. Is 2/7 >= n?
True
Suppose 0 = -2*s, 5*s = -3*h + 74 - 14. Is h != 21?
True
Let f be 2 + (-15)/33 + -1. Which is bigger: 2 or f?
2
Suppose -17*p = -458 - 341. Do p and 46 have the same value?
False
Suppose t + t - 26 = -2*x, 0 = 3*t - 5*x - 39. Let m = 144 - 132. Is m at most t?
True
Let v be 2/4*(3 + -7). Let h be (4 + -2 - 2)/v. Which is bigger: h or 1/6?
1/6
Suppose -4*i + 1 = -3. Let u be 4 + 0/1 + -2. Let m = u - 1. Is i less than or equal to m?
True
Let h = -1.3 - -0.3. Let z be (0 + (-3 - (-26)/9))*-2. Which is smaller: z or h?
h
Suppose 10 = -o + 6*o. Let v = 7 + -12. Let b = 4 + v. Which is bigger: b or o?
o
Suppose -4*t = -5*r - 12, 8*t + 6 = r + 10*t. Let s be (1/(-2))/(16/(-28)). Which is greater: s or r?
s
Let p = -2 + 1. Which is smaller: p or -1/26?
p
Let z = -0.012 + -2.088. Let s = z - -1.9. Let l = -0.1 - -0.3. Which is greater: l or s?
l
Let u(r) = r**3 + r**2 - 11*r - 2. Let x be u(3). Which is greater: x or -1/38?
x
Let u = -7 + 15. Let f(r) = r**3 - 8*r**2 + r - 10. Let i be f(u). Let z(v) = -v**3 - 4*v**2 - v + 4. Let d be z(-3). Is i not equal to d?
False
Let r = 365 + -363. Let h = -2/95 - -289/190. Is h smaller than r?
True
Let r = 0.002 + 1.998. Let s = -2.2 + 3.1. Let p = 0.1 + s. Are p and r non-equal?
True
Let s be 8/(2*-1) + (-1200)/(-304). Is 0 smaller than s?
False
Let w be (2/4)/(5/30). Let t = w + -6. Suppose -p + 2*p - 4 = j, -3 = 2*j + 3*p. Is t smaller than j?
False
Suppose d = -2*h - 224, -d + 3*h - 1094 = 4*d. Let n = -1982/9 - d. Is n at least as big as 2/5?
False
Let d(r) = 3*r - 2 + 5*r + 2*r. Let j be d(-6). Let i = 249/4 + j. Which is smaller: i or 4?
i
Let o = -3 - -1. Let x be (o + -1)*4/(-18). Let h = -1 - -1. Is x equal to h?
False
Let t be (6/(-2) + 3)/2. Let s(q) = -2*q - 2. Let z be s(t). Is z at most -2/3?
True
Let m(w) be the third derivative of -w**5/60 + w**4/3 + w**3/6 + 2*w**2. Let d be m(8). Does d = 2/13?
False
Let c(b) = b**2 + 21*b + 7. Let s be c(-20). Let h(d) = -d**3 + 3*d**2 - 4*d + 3. Let m be h(2). Is s bigger than m?
False
Let x be (-3 + 21/6)*-4. Which is smaller: x or 5?
x
Let a = -1.22 - -0.12. Is -1/2 < a?
False
Let m be 2*3 - (-3 + 6). Is m less than 3?
False
Suppose 2*r = -5*x + 7*r - 15, 0 = 5*x + 3*r - 9. Let t be (3/(-6))/(1/4). Is t <= x?
True
Let c be (-16)/9 - (-8)/(-36). Let w(b) = b**3 + 4*b**2 + 5*b + 2. Let j be w(-3). Which is bigger: c or j?
c
Suppose -j + 4 = 2*a, -3*j - 5*a - 3 = -13. Let x = 38 + -115/3. Is x < j?
True
Let d be (-42)/(-70)*(-4)/(-6). Are d and 2/135 unequal?
True
Let i = 14 - 0. Suppose 3*v = -5*r + 2, r - i = 2*r - 3*v. Suppose y = -2*z - 3, -8 = z - 4*y - 2. Is z > r?
False
Let j = -5 + 4.8. Are 0.08 and j non-equal?
True
Let b = -12.5 + 12. Let v = -2 + 0. Is v at most as big as b?
True
Suppose y + 2*v + 0*v + 44 = 0, 0 = y + 5*v + 53. Is -38 < y?
False
Let u be 30/(-204)*(-4)/5. Which is bigger: u or 1?
1
Let c = -2/191 + -364/1719. Let j(p) = p**3 + 5*p**2 + p + 2. Let u be j(-5). Let b = 3 + u. Which is bigger: b or c?
b
Let m = -9 + 13. Let o = 4 - 1. Which is smaller: m or o?
o
Let s(q) = q**2 - 9*q - 5. Let g be s(9). Is g bigger than -5?
False
Let p = -1 - -4. Suppose 0 = 3*o + 3 + 3. Let u be 3 + (-3 - 5/o). Is u > p?
False
Suppose 4*u + 5*y - 2*y = 12, 3*u - y - 22 = 0. Is 7 > u?
True
Suppose -4*i + 0 = 24. Let y(l) = 3*l + 5. Let g(f) = 7*f + 10. Let a(u) = 2*g(u) - 5*y(u). Let w be a(i). Which is smaller: 2/3 or w?
2/3
Let a(i) = -2*i + 7. Suppose -3*j + 4*b - 7*b = -18, 4*b + 6 = j. Let l = j + -1. Let v be a(l). Which is greater: v or -2?
-2
Suppose 2*x - 34 = 4*j + 188, 4*j + 325 = 3*x. Is 102 at most as big as x?
True
Let q(p) = -p**3 + 4*p**2 - p - 3. Let i be q(3). Let w be 60/14 - 4/14. Which is greater: w or i?
w
Suppose -2*d = -a + 3*d - 14, 5*a + 5*d = 20. Do a and 9/7 have different values?
True
Let o = -6.8 + 6.9. Which is smaller: o or -44?
-44
Let c = -1.8 + -5.2. Let n be (-1)/4 + (-30)/72. Is c greater than n?
False
Let x be (-1)/1 - 8/(-2). Suppose 0 = x*g - 6*g - 6. Let v be 14*(-1)/(-8) + g. Does v = 0?
False
Let z(u) = u**2 + 2*u - 4. Let p be z(-4). Suppose 2*b - p*v + 8 = 0, 0 = -5*b + v - 0*v - 2. Let i be (36/(-48))/(9/(-8)). Is b at least as big as i?
False
Suppose -i - 5 = -6*i. Which is bigger: 4 or i?
4
Let n be ((-10)/5)/((-2)/(-4)). Let y be (n/6)/(70/(-126)). Which is smaller: y or 2?
y
Let o be 1/(-2) - (-77)/(-22). Let j be 3 + o/(3 + -2). Is j < -2?
False
Let c be 1/(4/(-8) - 0). Let p be 1/(3/(c - -8)). Is p equal to 14/9?
False
Suppose 6*d - 2*d = 16. Let i(z) = -d + 2 + 0*z + z**2 + 2*z. Let v be i(-3). Which is smaller: v or -2?
-2
Suppose 2*d + 2 = -5*c - 12, -c + 38 = -3*d. Let w be (4/(-18))/(d/(-18)). Let b = -11/2 + 5. Which is smaller: w or b?
b
Let a = 0.15 + -0.2. Let k = -0.5 - -0.51. Let c = a - k. Which is smaller: c or 1/4?
c
Let d be (-4 - -7) + -2 + 0. Which is smaller: 0 or d?
0
Let h(q) = q**3 - 9*q**2 + q - 7. Let b be h(9). Let f be 1 + 1 - (5 - 7). Let c = b - f. Which is greater: c or -2/3?
-2/3
Let v be (15/(-420))/((-3)/4). Which is smaller: -1 or v?
-1
Let l = -189.94 - -198. Let f = l - 0.06. Let p = -7.7 + f. Is 0 > p?
False
Suppose -5*i = -6*i + 4*s - 7, -4 = -2*i - s. Suppose -i = -4*m - 25. Is -7 greater than m?
False
Let u be (-2)/6*-51 - 3. Is 14 greater than or equal to u?
True
Let b = 1 - 1. Let z = 0.1 + -0.4. Let l = 0.2 + z. Are b and l equal?
False
Let m = -0.23 - -0.03. Let b = m - 0.2. Let t = 47/5 + -9. Is t less than or equal to b?
False
Suppose 0 = -4*c + 2*c + 12. Let n = c - 8. Which is greater: -3/5 or n?
-3/5
Let s be (-2)/8*(-220)/125. Let g = s + 4/25. Is g <= 0?
False
Let o = -3 - -1. Let k(d) = d. Let u be k(4). Let n = u + o. Which is bigger: n or 4?
4
Let l = 19 + -16. Let m(w) = 2*w. Let b be m(l). Which is smaller: 5 or b?
5
Let q be (4/12)/((-1)/(-9)). Which is smaller: 2 or q?
2
Let i = 964 - 956.01. Let j = 8 - i. Which is greater: -0.1 or j?
j
Let l(g) = -3*g + 7. Let t(h) = 9*h - 20. Let p(b) = 8*l(b) + 3*t(b). Let d be p(2). Is 3/2 bigger than d?
False
Suppose -2*x - 5*p - 19 = 0, 6*x - x - 5 = -2*p. Suppose 0 = x*i + 12, -i + 2*i + 4 = -4*r. Which is greater: 2/5 or r?
2/5
Let u = -0.1 - -4.1. Suppose -4*d + 25 = 5*n, 0 = -5*n - 3*d + 20. Let q be (n + (-68)/60)*-3. Is u smaller than q?
False
Suppose 0 = 5*v - 5, 2*c + c - 5*v = 19. Let u = c - 5. Suppose -f = -0 + u. Which is smaller: 0 or f?
f
Let b be 2/6*(2 - -28). Which is greater: 9 or b?
b
Let v be (-4)/6 - (-32)/72. Let j(h) = h**2 + 6*h. Let f be (18/15)/(1/(-5)). Let s be j(f). Which is smaller: v or s?
v
Let l be 4/26 + 12/91. Is l at least 0?
True
Let y = 2.09 - -0.11. Let j = 0 + -2. Let k = j + y. Which is bigger: k or 2?
2
Let m = 7.94 + -8. Let c = -0.06 - m. Which is greater: c or 1/3?
1/3
Let i(c) = 13*c**2 - 33*c + 13. Let o(y) = -7*y**2 + 17*y - 7. Let u(k) = 6*i(k) + 11*o(k). Let a be u(11). Is 1/3 greater than or equal to a?
False
Let r be (7 - 1)*(-7)/(-14). Which is smaller: 6 or r?
r
Let z be 3*(4 - 0 - 1). Let g(t) = -2*t + 3. Let w be g(2). Let l be z/(-1)*w/3. Is l >= 2?
True
Let y = -3 - -6. Suppose 2 = 5*q - y. Suppose -4*s + 3 + 1 = 0. Is q at most as big as s?
True
Let u = -4 +