0, -v*o - 15 = 0. Are -2/23 and h equal?
False
Let u(w) = -w**3 + 9*w**2 - 9*w + 8. Let z be u(8). Suppose z*y + 4*y = 0. Which is bigger: 6 or y?
6
Let l(o) = 1. Let s(h) = -h + 2. Let x(v) = -3*l(v) + s(v). Let a be x(-4). Let b = -7 + a. Do b and -4 have the same value?
True
Let b = -0.3 + -1.7. Is b > -44?
True
Suppose 5*b - t = -2*t + 5, -2*b = -3*t + 15. Suppose -z - 5*m = -4*z - 365, z - 2*m + 120 = 0. Let x be (-4)/10 - 32/z. Are b and x non-equal?
True
Let r = -2750/114363 + 1/873. Let j be 24735/50435 + 2/(-7). Let x = r + j. Which is smaller: x or 1?
x
Let n = 5 + 6. Which is greater: 10 or n?
n
Let o(v) = -v + 10. Let w be o(7). Suppose 5*l - 3*u + 12 = 0, -l + 2 = -2*u - w*u. Which is smaller: l or -3/2?
l
Suppose -12 = -4*f + 4*h, -9 = f + 3*h + 8. Let s = -2 + f. Let q = -0.2 + 0.1. Is q < s?
False
Let g(c) = -2*c**2 - 3*c - 1. Let r = 0 + -2. Let i be g(r). Are -3 and i nonequal?
False
Suppose 0 = -3*w + 2*w - 2. Let q(k) = k**3. Let r be q(0). Suppose 2*j + r*j + 4 = 0. Is w bigger than j?
False
Suppose -20*s = -15*s + 40. Let h(q) = q**2 - 7*q - 7. Let j be h(7). Which is greater: s or j?
j
Let w be (-12)/54 + (-328)/(-18). Let x be (-3)/w + (-4)/(-60). Are x and 0 nonequal?
True
Let r be ((-5)/2)/((-5)/(-10)). Let o = r + 2. Let z = o + 4. Which is smaller: z or 2?
z
Let d = -6 - -6. Does 1 = d?
False
Let l = -12 - -22. Are 0 and l unequal?
True
Let x(q) be the first derivative of 3*q**4/4 + q**3 - q**2/2 - 2*q - 2. Let a be x(-2). Let h be 22/6 - 4/a. Is h greater than 5?
False
Let j = 1 + 2. Let s(q) = q**2 - 2. Let v be s(2). Let i = 4 - v. Is i bigger than j?
False
Let z be (-15)/(-6) + (-5)/(-10). Let w be 2/z - (-80)/(-48). Which is smaller: -2/5 or w?
w
Let o = -6.9 - 0.1. Let j = 0.12 + -0.02. Which is smaller: j or o?
o
Let q(i) = -2*i - 21. Let m be q(-9). Which is smaller: -6 or m?
-6
Let d = 2 - 2.1. Let n = 0 - d. Let j = -2.3 - -2.3. Which is greater: n or j?
n
Let v be (-520)/14*20/4. Let w = v + 186. Let g = -24 - -21. Is w greater than g?
True
Let m = 21 - 21.1. Suppose 2 = 2*v - 2. Which is smaller: m or v?
m
Suppose -5*r - v = 6 + 4, 0 = 5*v + 25. Is -3 less than r?
True
Let h be (1/2)/((-9)/18). Is h != -5/17?
True
Suppose 4*a - 7 = 5. Let c = 0 - -6. Let j be (0 + -1)/((-2)/c). Is j at least as big as a?
True
Let n be 11/30 - (-2)/(-3). Let d = n + 1/10. Is -1 not equal to d?
True
Let r be 15 + (-4)/((-16)/(-12)). Suppose r = -3*j - 4*p, -3*j + 2*p - 7*p - 12 = 0. Which is bigger: -2/5 or j?
-2/5
Let k(n) = -n**2 + 13*n + 2. Let m be k(13). Suppose 0 = v + s + 4, -4 = -m*v - 4*s - 20. Let f be (4 - 4)/(-1 + -1). Is f at least as big as v?
True
Let f = -12 + 6. Let l be f/8 + (-3)/12. Is l at least -1?
True
Let g be (-16)/(-4) + 2/(-1). Suppose -g*d + 4*d = 0. Let q = -18/55 + 8/11. Which is smaller: d or q?
d
Suppose -4*x + 4 = -16. Which is smaller: x or 9/2?
9/2
Let x(d) = 5*d + 35. Let f(o) = 3*o + 18. Let y(z) = -7*f(z) + 4*x(z). Let m be y(14). Is m <= -2/5?
False
Let h be 13/(715/140) - (5 + -1). Which is smaller: -1 or h?
h
Let r(k) = -9*k + 6. Let u(v) = 3*v - 2. Let c(y) = 2*r(y) + 7*u(y). Let j be c(2). Suppose 0*l + 2 = -l + q, 0 = -3*l - j*q + 1. Is l bigger than 0?
False
Let c = 13 + -11. Suppose -2*y - y = d - 3, 0 = -2*d - c*y + 6. Are d and 2 non-equal?
True
Suppose -6 = 3*p - 3*c, 3*p + 0*c = 5*c - 2. Let y(j) = j - 7. Let i be y(6). Which is smaller: p or i?
p
Suppose 2*j = -r - 7, -2*r + 22 = -0*r - 5*j. Is r at least 1?
True
Suppose 0 = n + 1, n = 4*b - n - 22. Suppose -5*y + 3 = -12. Suppose -4*c + y*d = -21, 4*d = -4*c + 10 + 18. Which is greater: b or c?
c
Suppose -24366 = -4*r + 2*d - 1544, 4*r - 5*d - 22825 = 0. Let x be (2/10)/(98/r). Let n = x + -23/2. Which is greater: 0 or n?
n
Suppose -4*v - 12 = -16. Which is greater: v or 2/35?
v
Let a(n) = n - 5. Let t be a(4). Let d be 15/80*(t - 1). Is 0 > d?
True
Let d = -195/11 - -587/33. Which is smaller: 0 or d?
0
Suppose 9 = 2*s + 5. Which is smaller: s or 3?
s
Let f be ((-4)/(-10))/((-1)/(-15)). Let r be (-26)/f + 4/(-6). Is r less than -2?
True
Let n be -2 - (1 - 0)*-2. Suppose x + 5 = 2*t, -3*x - 2*x + 8 = t. Let i(z) = -2*z**3 - 2*z**2 + 1. Let c be i(x). Is n greater than c?
True
Suppose s = -2*k + 5*s - 12, s = 2*k + 9. Is -5 <= k?
True
Let v = 421/2 - 217. Which is smaller: -0.1 or v?
v
Suppose 0 = -p + 4*x + 6, -2*x - 4 = -p - 0. Suppose -2*v - v - p = -n, 10 = 2*v + 5*n. Which is smaller: v or -6/13?
-6/13
Let g = 15 + -14.9. Which is greater: 2/53 or g?
g
Let y be -3*(-32)/84*1/12. Suppose 0 = p - 1, -5*g - 3*p - p + 14 = 0. Suppose -c + 5 = 2*w - g*c, w + 10 = -2*c. Are y and w non-equal?
True
Let x = -3 + 5. Let u = -1 - x. Do u and -4 have different values?
True
Let h(q) = 7*q**2 + 2*q + 6. Let i(c) = -20*c**2 - 7*c - 18. Let p(v) = -17*h(v) - 6*i(v). Let n be p(-7). Let m(d) = d**2 - 5*d + 2. Let u be m(4). Does u = n?
False
Let l be -7*(-6)/(-21)*3. Let v = 11 + -7. Suppose 0*h - 20 = v*h. Which is smaller: h or l?
l
Let i = 11 + -4.9. Let q = i + -1.1. Is q > 2/3?
True
Let z = 10 + -9.9. Which is smaller: 1 or z?
z
Let z(i) = -i**2 - i - 1. Let b be z(2). Let x be 2/b - 66/14. Which is smaller: -7 or x?
-7
Let p be (5 - 3) + 96/(-44). Let r(z) = -z + 2. Let i be r(3). Let c = 0 + i. Which is smaller: p or c?
c
Suppose -4*h = -3*w - 70, -2*h + 2*w + 24 = 6*w. Suppose -h + 4 = -3*y. Which is smaller: 3 or y?
3
Suppose 3*s - 4*b = -0*b - 23, -30 = 4*s - 5*b. Suppose 2*o = -j - 8, -2*o + 2*j = o + 26. Is o <= s?
True
Let r(x) = x**2 - 2*x - 5. Let m be r(4). Suppose -m*n + 2 = -n. Is -1/17 at most n?
True
Suppose 3 = m - 0, m = -i + 2. Which is greater: i or -8/9?
-8/9
Suppose -4*d + 0*q + 1 = 5*q, q + 7 = -2*d. Let x = 441 - 441. Do x and d have the same value?
False
Let k = -10 + 17. Let z be ((-4)/(-7))/(2/k). Does 2 = z?
True
Suppose b + 2*u - 3 = u, -2*u + 3 = -b. Let n = 4 - 5. Let w be 1*(n/(-1) - 0). Is b != w?
False
Let q = 18 + -17. Which is smaller: -4/41 or q?
-4/41
Let i be -2 + 3/(-2 + -1). Is -1 != i?
True
Suppose -2*t = 3*t. Which is bigger: -8 or t?
t
Suppose -h + 6*h = -215. Let f be 5/20 - h/(-28). Which is smaller: 0 or f?
f
Let p = -1585/18 + 173/2. Is p equal to -1?
False
Let p = -5 + 4.97. Let x = 0.57 - p. Are x and -1 unequal?
True
Let d(n) = -2*n**3 + 2*n**2 - 3*n + 2. Let w be d(1). Which is greater: -5/18 or w?
-5/18
Let v = -127 + 135. Do 8 and v have the same value?
True
Let s = -2903/6 - -479. Which is greater: s or -6?
s
Let l(z) = -2*z + 52. Let q be l(25). Which is smaller: -17 or q?
-17
Let c(f) = 3 - f**3 - 5*f + 3 - 6 - 4 - 5*f**2. Let l be c(-4). Is -0.07 equal to l?
False
Let a be (-3 - -3)/(-1 + 2). Let z be 5*(0 + 1 - a). Which is smaller: 3 or z?
3
Let v = -5774 - -34729/6. Which is greater: 13 or v?
v
Let a be 3 + -4 - 10/(-2). Let u be (2/4)/((-6)/a). Let o = 3.3 + -3. Which is bigger: u or o?
o
Let h = 241991/849888 + -1/94432. Let m be (-1)/(-8)*2/4. Let x = m - h. Which is smaller: 1 or x?
x
Let l = -11 - -6. Let x = l - -5. Which is smaller: x or -2/3?
-2/3
Let c = -40 + -18. Let j = c + 408/7. Is j greater than or equal to 0?
True
Suppose t - 4*l - l - 27 = 0, t - 2*l - 30 = 0. Which is smaller: t or 33?
t
Let w = -481/12 + 40. Let f = -30.02 - -0.02. Let j = -29 - f. Is w != j?
True
Let y(x) be the first derivative of x**4/4 + x**3/3 + x**2/2 + x - 5. Let m be y(-1). Suppose m*d + 7 = -d. Is -6 smaller than d?
False
Let v be ((-4)/(-70))/(6/(-14)). Let f be ((-5)/15)/((-1)/(-3)). Which is smaller: v or f?
f
Let b = -187 - -559/3. Let d = -0.3 - -1.3. Which is smaller: b or d?
b
Let z be 28/5 - 8/(-20). Let k be 2/(-110) - z/(-30). Let o = 3 - 1. Is k at most o?
True
Let b = 13.6 + -14. Which is bigger: b or -2?
b
Let s be (-48)/(-28) + 2 - 4. Which is smaller: -23 or s?
-23
Let o = -1 - -1. Suppose -a + 1 = -2*c, 0*c - 4*c = -5*a + 11. Which is bigger: c or o?
c
Suppose -7*u - 62 = -20. Let f be u*-1*(-2)/(-4). Does 1 = f?
False
Let s = 0.02 - 5.02. Is s at most as big as -11?
False
Let r be (11210/20)/(-19) + 2/(-4). Is r smaller than -30?
False
Let q(x) = 4*x**3 + 28*x**2 + 28*x + 17. Let y(m) = m**3 + 7*m**2 + 7*m + 4. Suppose -45 = 3*s + 2*s. Let r(g) = s*y(g) + 2*q(g). Let w be r(-6). Is w >= 3?
True
Let s = 16 - -7. Let l = -24 + s. Which is smaller: 6 or l?
l