Let u be ((-5)/2)/(1/2). Which is smaller: u or x?
u
Let y = -2.5 + 4.5. Let f = -16 - -22. Which is greater: y or f?
f
Let v = 4 - 3. Let k be 2/(-4)*(-3 + -61). Let b be (2/(-24))/((-12)/k). Which is smaller: v or b?
b
Let m be ((-2)/(-9))/(1/(-3)). Let u = 0.06 - 0.1. Are u and m unequal?
True
Let u(m) = m**3 - 9*m**2 + 8*m + 2. Let o be u(8). Let i be (-50)/(-18) - (-2)/9. Is i > o?
True
Let m = -7401/623 + 83/7. Which is smaller: m or 0?
m
Let c be (-1)/(1 - 342/(-12)). Is c bigger than 1?
False
Suppose -2*b = -4*z - 8, -5 = -4*z - 4*b - 1. Which is smaller: z or -13?
-13
Suppose -10*p = -15*p - 30. Let f(x) = 11*x + 3. Let n(t) = 5*t + 1. Let q(u) = 6*f(u) - 13*n(u). Let i be q(p). Is 1/4 >= i?
True
Let d be (16/40)/((-2)/(-20)). Let b be 9/(-6) + 6/d. Let p = -1784/15 - -119. Which is smaller: p or b?
b
Let i = -1 + 1. Suppose -2*x + 0*x - 10 = i, x = -5*b + 10. Suppose -p - b = -3*w, -4*w + 3 = 5*p - 1. Is w smaller than 3?
True
Let u(g) = -2 + 3*g - 7*g + 3*g. Let m be u(2). Suppose -2*i + 5 = 15. Which is bigger: i or m?
m
Suppose 0 = 54*s - 56*s + 104. Which is smaller: 2 or s?
2
Let r(l) = 56*l**2 + 4*l - 3. Let v be r(1). Which is greater: 167/3 or v?
v
Suppose -x + 3*r = -4, -5*x - 4 = 5*r + 16. Let j = 9645/2 - 723499/150. Let s = 4/25 + j. Is x != s?
True
Let u = 7 + -13. Let f = u - -14. Let p = 13 - f. Which is greater: 4 or p?
p
Let q = -18 + 56/3. Suppose 2*v - 6*v + 12 = 0. Suppose -2*g = -4*j - 1 - v, 3*g + j = -1. Is q >= g?
True
Let w be (-2)/(-12) + (-33)/(-18). Suppose w*c + 3*c = -3*l - 2, 3*l - 6 = 3*c. Which is smaller: -2 or c?
-2
Suppose -2*w = -5*k + 13 + 3, 4*k + 16 = -2*w. Suppose 3*x - o = -18, -2*x - 5*o = 28 + 1. Which is smaller: x or w?
w
Let z = 0.9 - -4.1. Let r = 4.97 - z. Which is smaller: r or -1/3?
-1/3
Let o(u) = u**2 - 7*u + 4. Let v(t) = t**2 - 8*t + 5. Let y(b) = 4*o(b) - 3*v(b). Suppose 0 = a + 2 - 4. Let j be y(a). Are j and 1 non-equal?
True
Let w(s) = 2*s + 3. Let p(z) = z**3 + z**2 - z - 3. Let o be p(0). Let u be w(o). Let n = u - -5. Is n greater than 2?
False
Suppose -z = -3*z - 14. Which is bigger: -6 or z?
-6
Let n = -0.5 + 6.5. Which is smaller: n or 0?
0
Let s = -2.4 + 0.4. Which is smaller: s or -2/7?
s
Let f be 553/(-861) + 4/6. Let a = 79/123 + f. Let c = 8 - 6. Is a equal to c?
False
Suppose 0*f - 2*f - 4 = 0. Let r = -21 - 9. Let w be (-6)/r*5/f. Is -2 > w?
False
Let l = -6.15 - -6. Let u = 2 - 1.95. Let s = l + u. Which is smaller: s or 0.4?
s
Let c(p) = -p**2 - 4*p. Let m be c(-4). Let f be 3 - (m + -1 + 2). Suppose 0*q = -2*q. Which is greater: q or f?
f
Suppose 5*s - 3*z = -8, -4*s - 2*z = -z + 3. Which is smaller: 6/13 or s?
s
Let i(k) = -k**2 + 5*k. Let h be i(5). Suppose h*x - 3*x = 0. Which is smaller: x or 1/6?
x
Let z be (3/(2 + 1))/1. Let j(m) = -1 + 0 - 1 + z - m. Let l be j(4). Which is smaller: -4 or l?
l
Suppose 0 + 3 = -c. Let x be c/18*-2*0. Which is greater: x or 2?
2
Suppose -6*i = -4*i. Let a be -1 - -1 - (-5 + (-3)/(-1)). Which is smaller: a or i?
i
Let f be ((-8)/12)/((-3)/(-9)). Let b be f/(-40) - (-3)/15. Is b smaller than 0?
False
Suppose -2*d + 5*d + 318 = 0. Let z be (-4)/18*112/d. Let n = -2/159 + z. Which is smaller: -1 or n?
-1
Let o = 2 + -3. Let y be -2 + 4 + -4 + 2. Is y > o?
True
Let g(b) = b. Let p be g(3). Let h be 1 - (1 + p - 1). Let m be (h/(-3))/((-32)/(-24)). Which is smaller: 1 or m?
m
Let n = -4 + 5. Let x be (-2 - (-3 - -2)) + 2. Is n greater than x?
False
Let d be (-5 - 20/(-4))/2. Suppose 0 = -2*t - 0 + 6. Let s = -1 + t. Which is smaller: s or d?
d
Suppose 4 = -2*i + 4*i - 4*h, 0 = -5*h - 10. Let y = 932/5 - 188. Is i != y?
True
Let b = 262 + -5501/21. Let r = 1092193/84 - 13002. Let m = b - r. Is 1 at most as big as m?
False
Let t be (6/(-4))/(2/(-4)). Suppose 6*b = 5*b + t. Which is smaller: b or 4?
b
Suppose -5*c - 4*t = -438 - 85, 2*t + 434 = 4*c. Is 108 at least as big as c?
True
Let t be ((-6)/(-63))/((-3)/(-27)). Let x(d) = d**3 + 6*d**2 - 6*d + 8. Let g be x(-7). Which is smaller: g or t?
t
Let i(s) = 2*s + 4. Let y be i(0). Suppose y - 2 = -w. Let f be 1 + (10 - 3) + w. Are 5 and f unequal?
True
Let s be (1/4)/((-11)/(-8)). Let w(j) = -2*j - 26. Let g be w(-13). Which is smaller: g or s?
g
Let x = -0.36 - -17.36. Let o = x + -19.2. Let q = o - -2. Which is smaller: 2 or q?
q
Let t = -155/588 + 2/147. Let q(c) = 5*c**2 - 1. Let a be q(1). Suppose -k = -a*k. Is k at most t?
False
Let v = 0.02 - 2.02. Let r = v + 1. Let u = 0 + r. Is -0.4 != u?
True
Let x = 16 + -15.93. Let t = x + 0.03. Is 0.1 at least as big as t?
True
Let n = -286 + 4860/17. Which is bigger: 0 or n?
0
Let b = 55 + -74. Is b <= -18?
True
Let l be (-2)/(-6) - (-3955)/45. Let d = l + -88. Let z = -1 + 1. Which is smaller: d or z?
z
Let c(g) = -8*g**2 - 5 + g**2 - 4*g + 5*g + g**3. Let w be c(7). Which is smaller: w or 0?
0
Let y = -0.1 + 0. Let v = 0.2 - 0.1. Which is smaller: y or v?
y
Let h(p) = p**2 + 9*p - 8. Let y be h(-10). Suppose y*x - 7*x = -10. Let a be x/(-2) + (-2)/(-12). Is 0 greater than or equal to a?
True
Suppose -5*v + 7 = 2*v. Which is smaller: v or 5/3?
v
Let d be ((-1)/68)/(3/(-12)). Is d > 1?
False
Suppose 5*i - 5*y + 48 = 6*i, 25 = 5*y. Suppose 3*u + 5*h - 9 = 0, u + h - 6*h = i. Let r(j) = 8*j. Let d be r(1). Is u bigger than d?
False
Let h be 82/38 - (11 - 9). Which is bigger: 1 or h?
1
Suppose 0 = 5*o - 8*o - 21. Let j(g) = -g - 10. Let y be j(o). Is -0.3 <= y?
False
Suppose 0 = 2*d - 5*d + 6. Let w be (9/(-3))/(21/d). Which is smaller: 0.4 or w?
w
Let l be (8/(-266))/(26/739). Let s = l + -18/91. Let g = 218/171 + s. Which is smaller: g or -0.2?
-0.2
Let w(q) = 3*q**2 - 7*q + 4. Let d be w(5). Suppose -2*g = -5*a - 0*g - d, -5*a = 5*g + 65. Let i be a/(-18) + (-4)/18. Which is smaller: 0.1 or i?
0.1
Let g = 16 + -26. Let j = g - -16. Let c = j + -7. Which is smaller: -0.3 or c?
c
Let l(y) = -y + 5. Let k be l(5). Suppose -3*o - 10 = f - o, k = -4*f - 5*o - 25. Is f at least as big as 2/5?
False
Let s(h) be the third derivative of -h**4/12 + h**3/3 + 6*h**2. Let y be s(-2). Which is bigger: 5 or y?
y
Let m = 0.2 + 0.8. Let c = 0.3 + -0.1. Let g = c + -0.3. Which is smaller: g or m?
g
Let c be (-9 - -4)*2/(-5). Suppose -8 = c*v - 2, -3*v = -q + 9. Which is greater: q or 1/7?
1/7
Let j be (18/(-63))/(1*-1). Suppose 2*p - 8 = g + 6*p, 3*p = -6. Suppose g*y - 5*s = 4*y, -y + 7 = 3*s. Which is smaller: y or j?
y
Suppose 4*d - 3*d = 0. Is 3/10 < d?
False
Let y = -0.05 + 1.05. Let v be 9 - 13 - 17/(-4). Which is smaller: v or y?
v
Let m = -1 - -1. Let c(s) = 3*s**2 + 11*s + 10. Let y be c(-7). Let p be (-4)/y + 1/(-5). Which is smaller: m or p?
p
Suppose -4*o - 22 = -2*p, -4*p + o + 3 = -6. Suppose p = 2*m + 7. Which is smaller: m or -2?
m
Let r(y) = y + 11. Let v be r(9). Let a = v + -6. Is a less than 14?
False
Let a be (-6)/(-6)*1*(1 + -2). Let r = -2/137 - 397/959. Which is bigger: r or a?
r
Let w = 16.6 - 18. Let p = w + 0.4. Let l = 2 + p. Is l at most -0.1?
False
Let s(v) = v + 2. Suppose 12 = -3*c + c. Let x = c - -3. Let g be s(x). Is -3 >= g?
False
Let h = -20 + 18.9. Let i = h + 1. Suppose 0 = -5*p - w + 5, -2*w + 4 = -6. Is p less than or equal to i?
False
Let a be ((-1)/21)/((-9)/243). Which is smaller: 0 or a?
0
Let y = 0.05 + -0.25. Let x = -0.1 + 5.1. Is y greater than x?
False
Let n be 70/6 + (-4 - (0 - 2)). Are n and 10 equal?
False
Let x be (-4)/(-16) + 7/4. Which is bigger: 0 or x?
x
Suppose 46 + 10 = -7*k. Does k = -8?
True
Let b = 0.74 - 1.24. Let q = 3 + -2.8. Which is smaller: q or b?
b
Suppose 0 = -h + 2 - 4. Let s be 0 + 0*h/(-2). Let m be -2 + (-45)/(-39) + 1. Which is greater: m or s?
m
Let c be (-9)/12 - (-6)/8. Suppose -4 = x - 2, c = d - x. Does -3 = d?
False
Let x(w) = -w**3 - w**2 + 8*w + 7. Let i be x(-3). Let s be 4/18 - (-5)/(-9). Which is bigger: s or i?
i
Let o(x) = x**2 + 13*x + 1. Let h be o(-13). Is h less than or equal to 5/8?
False
Let p = 5 + -12. Is -5 at most as big as p?
False
Let x = -0.6 - 0.4. Let n = 0 - x. Suppose 18 = 4*o - 5*s, 4*o + 7*s = 4*s + 2. Which is greater: o or n?
o
Let k be (-1 - (-569)/570)*178. Let c = k + -2/95. Which is smaller: -2/9 or c?
c
Let m = 60076/51 + -1178. Is m bigger than -1?
True
Suppose p + 3 = 4. Which is smaller: p or -2/5?
-2/5
Let o(s) = -s**3 - 5*s**2