et a be ((-8)/(4 + w))/7. Is -1 bigger than a?
False
Let i = 6 - 8. Let q be -8 + 3 + (-2)/(-2). Let x = i + q. Are x and -1/3 non-equal?
True
Let p(h) = h**2 + h - 1. Suppose 4*l = 4*k - 9*k + 12, -2*l = -5*k + 24. Let g = k - 6. Let m be p(g). Are 1 and m non-equal?
False
Suppose 0 = 4*j + 4*c - 4, 2*j = -3*c - 4 + 3. Is 4 > j?
False
Let o = -11 - -3. Which is smaller: o or -3?
o
Let w = -2.9 + 3.1. Are -0.9 and w unequal?
True
Let u be ((-385)/20 - 2) + 1/4. Is u greater than -19?
False
Let k(t) = -8*t - 3. Let b be k(-2). Do 11 and b have different values?
True
Suppose w + 3*z - 4 = 0, 4*w + 2*z = -0*z + 36. Suppose r - 3*l = -w, -2*r + r - 2*l + 10 = 0. Let h be 1/(5 + -2 + -2). Is r not equal to h?
True
Let p = 18 + -13. Let q = -2 + p. Which is smaller: 1 or q?
1
Suppose 2*f + 50 = 2*a, -19 = -a - f + 2. Are 24 and a nonequal?
True
Suppose -2*m - 3*m + 1 = 2*z, -z - 2 = 5*m. Let x = 4 - m. Is 5 < x?
False
Suppose -r + 4 + 22 = 0. Is 25 at least r?
False
Let l be 0/(2*(-3)/2). Let v = 3 - 2. Let c = l - v. Does -1 = c?
True
Let t be (-5)/(-2)*(-4)/(-5). Let u be (-2)/5 - (-9)/10. Is t < u?
False
Let m(u) = u**2 + u - 29. Let h be m(-6). Is h >= 2?
False
Let p = -14 + 17. Let u = -6 + 2. Let l = p + u. Which is greater: 0.1 or l?
0.1
Suppose -3*a + 18 = -0*a. Let q = -5 + a. Let p = -1/86 - -179/602. Which is greater: q or p?
q
Let v = 28/95 - -2/19. Let y be 4/4*4/2. Suppose -3*r - 1 = -y*r. Which is smaller: r or v?
r
Let h(n) = -4*n**2 + 17*n + 2*n**2 + 2 - 18*n. Let d be h(-2). Is 1 at most d?
False
Let y be (-4 + 2)/(-1 + -13). Let s be (2 + -4)*7/(-2). Suppose -2*z = 3*r + 5 - 2, -s = 2*r + 3*z. Which is smaller: r or y?
y
Let m be 3 - 3/(-2 - 1). Suppose 0 = -3*s - w - 2 + 3, 3*w - 8 = -m*s. Which is smaller: s or 0?
s
Let p be (5 - 2)/(27/(-336)). Which is bigger: p or -36?
-36
Suppose i = 1, h = -h - 2*i + 10. Suppose 0 = -2*j + 6*j. Suppose j = -5*o + 3*o + h. Are o and 1 nonequal?
True
Let r(o) = 0*o**2 + 3*o**2 - 4*o**2 + 1 + 3*o**2 - 2*o. Let a be r(1). Let n be (3 - 3) + 3 - a. Which is bigger: 2/3 or n?
n
Let p = -131 + 919/7. Do -23 and p have different values?
True
Suppose -4*r + 0*r = 16. Let h be r + 2 + (6 - 4). Which is bigger: -1/10 or h?
h
Let l = 7/4 + -2. Let z(b) = -2*b**2 - 2*b + 1. Let s be z(2). Which is smaller: s or l?
s
Let f = 2 + -42. Is 1 bigger than f?
True
Suppose u - 7 + 22 = 0. Let z = -10 - u. Is z <= 5?
True
Let k = -5 + 5. Do 5/9 and k have the same value?
False
Let d(k) = k**3 - 6*k**2 - 4*k + 3. Let t be d(4). Let p be 14/63 - 17/t. Which is greater: p or 2?
2
Let k(p) be the first derivative of -p**3/3 - 4*p**2 + 6*p + 3. Let a be k(-8). Is a at least 4?
True
Let w = 0.03 - 0.04. Which is bigger: w or 0.1?
0.1
Suppose 6*h = -17*h. Is 89 < h?
False
Suppose -2 = -3*k + 37. Is 1 bigger than k?
False
Let b = 2 + 4. Suppose -b*i - 240 = -i. Let w be 3/i*(-4)/(-2). Do w and -1 have different values?
True
Let u(f) = -f**2 + 5*f - 3. Let l be u(2). Suppose 0 = 3*z + v - 3 + 12, l*v = -5*z - 19. Suppose m - 2 = -3*r, 4*m = -r - 4*r + 1. Which is smaller: z or m?
z
Suppose 20 = -4*z, 0 = -0*p - 2*p + 4*z + 20. Suppose 2*a + 3*s - 15 = p, -a - 2*a + 3*s - 15 = 0. Suppose -5*i + a*i + 15 = 0. Is 4 < i?
False
Let g = 3/70 - -1391/210. Are 6 and g unequal?
True
Let k be 15/2 + 2/(-4). Let r(m) = m**2 - 8*m + 6. Let d be r(k). Suppose 3*x + 15 = 4*l, -4*x = 5*l - 3*x + 5. Which is greater: d or l?
l
Let p be 203/(-35) - 2/10. Do p and -7 have the same value?
False
Let o be -14 + (-4 - (2 + -2)). Which is smaller: o or -20?
-20
Let k = 24 + -27. Does k = -3?
True
Let h(c) = c + 4. Let l be h(-4). Let d be (-6)/5 - (4/(-10) - 0). Which is bigger: d or l?
l
Let z be (-4 + 0 + -1)*-1. Suppose -2*u + u + 6 = 2*q, -z*q + 12 = u. Suppose -m = q*m + 6. Is -1 at least as big as m?
True
Let n = -0.09 - -0.01. Let f = -0.92 + n. Is f at least as big as -1/4?
False
Let t = -7 + 8. Let b = 1.8 - t. Let v = 0.9 - b. Is v not equal to -2?
True
Suppose -5*v = 5*j - 40, -j = -v - 2*v. Suppose -j = -5*q + 4. Are q and 2 unequal?
False
Suppose -5*u + 222 + 85 = 4*w, -4*u - w = -250. Let m be 2/(-7) + (-213)/u. Which is bigger: -4 or m?
m
Let y be 0 - (-3 + 6 + -3). Let x = 123/5 + -24. Which is smaller: x or y?
y
Let p = 0.025 + -1.025. Is 0.03 less than or equal to p?
False
Let f = -17.9 - -19. Let y = -1.1 + f. Which is greater: -0.08 or y?
y
Let y(b) be the second derivative of b**4/12 - 5*b**3/6 - 2*b**2 + 3*b. Let a be y(6). Let m be 2*(1/a + -1). Which is smaller: m or 1/13?
m
Let x(o) = o + 10. Let z be x(-5). Let g(d) = -3*d - 7. Let j be g(z). Let w = -68/3 - j. Which is greater: w or 1?
1
Let j(l) = 11*l + 25. Let a(y) = 5*y + 12. Let t(i) = 13*a(i) - 6*j(i). Suppose 3*p - 5 = 4. Let c be t(p). Which is greater: c or 4?
4
Let j = 634706/663 + -2872/3. Is -1 less than j?
True
Let b(x) be the first derivative of x**3/3 - 4*x**2 + 8*x + 4. Let p be b(8). Is 7 > p?
False
Let d(f) = 27*f - 95. Let b be d(6). Which is smaller: 68 or b?
b
Let q be 3 - 174/(-33)*-1. Let m = -447/187 - q. Is m at least as big as 1?
False
Let x(i) = -i**2 - 6*i - 6. Let c(a) = a - 1. Let d(b) = c(b) - x(b). Let v be d(-6). Which is smaller: -3/10 or v?
v
Let n(i) = i**2 + 10*i - 1. Let k(g) = -5*g**2 - 41*g + 3. Let r(s) = -2*k(s) - 9*n(s). Let l be r(6). Is l bigger than -8?
False
Let l = 1/5 - -2/5. Is 2 at most l?
False
Let v = -2.04 - -2. Which is smaller: -2 or v?
-2
Suppose -5*p + 6 = -4. Suppose -4*h + 2 = -p*t - 10, 0 = h + t. Which is greater: h or 4/5?
h
Let n = 72 + -59. Which is greater: 10 or n?
n
Let u = -0.08 - -0.02. Let w = -0.66 - u. Let v = w + 0.5. Which is smaller: v or -3/7?
-3/7
Let r(d) = 2 + 11 + 0 + 0*d + d. Let b be r(-7). Which is bigger: 5 or b?
b
Let y be (-10)/(-45) + (-50)/(-18). Let p be 30/(-18) + 2/y. Which is smaller: -1/2 or p?
p
Let z(f) = -f**3 + 12*f**2 - 9*f - 15. Let a be z(11). Let s be (-16)/56 + 30/a. Which is smaller: s or 5?
s
Let w be (-2)/10*12 - -1. Suppose q - 10 = 4*p, 0 = p + 5*q - 5 - 3. Which is bigger: p or w?
w
Let t = 6 + -3. Let r be (-28)/(-5)*(-5)/t. Let y = 9 + r. Is -1/4 less than or equal to y?
False
Suppose 4*n - 6 = -42. Is n >= -7?
False
Let w(x) = -x**2 - 4*x + 4. Let a be w(-6). Let l(o) = o + 7. Let v be l(a). Which is bigger: 2/7 or v?
2/7
Let u be ((-4)/(-6))/(1/3). Suppose 198 = 5*i + u*a, -4*a - 16 = -8*a. Let s = i - 568/15. Are -1 and s unequal?
True
Suppose -n - 14 = -59. Is 45 less than n?
False
Suppose -5*j = 5*s + 15, 2*j = 7*j + 2*s + 3. Let c = 10 + j. Suppose 0 = -3*m + 4*m - 3*k - c, 22 = 5*m - 4*k. Which is smaller: m or 4/3?
4/3
Let i be 220/24 - (-2)/(-3). Are i and 10 non-equal?
True
Let w be 18/3*(-2)/(-4). Suppose -r + 0*r + 8 = 0. Suppose t = 3*v - 10, -w*t + 0 = 2*v + r. Is v smaller than 2?
False
Suppose -2*v = -3*o + 14, 0 = 7*o - 2*o - 5*v - 25. Suppose a - 2*a = -4. Let r = a - o. Do 2 and r have different values?
True
Let v be (-2)/(-2*1)*1. Suppose -3*j + 22 = q, 0 = q - 3*j + 8*j - 26. Let o be 2/4*q/44. Which is smaller: o or v?
o
Let j(s) = s**3 - 9*s**2 - 24*s - 6. Let b be j(11). Which is bigger: -1 or b?
-1
Let u = 69854/59 - 1184. Which is greater: u or 0?
0
Suppose 0 = -2*h + 10, 4*a - 5*h - 4 = -13. Let n be ((-36)/(-10))/(a/(-109)). Let f = n - -98. Is 1 at least as big as f?
True
Let a = 9 + -7. Let r = 7 + -5. Is a > r?
False
Let b(i) = i**3 - 6*i**2 + 5*i + 1. Let g = -11 - -16. Let x be b(g). Do x and 0 have the same value?
False
Let f(u) = -5*u + 5. Let o be f(6). Is o greater than -25?
False
Let l(o) = 2*o**2 - 21*o + 10. Let w be l(10). Which is bigger: w or -1?
w
Let o = -27.8 + 18. Let j = o - -10. Which is greater: j or 0.1?
j
Let l be (-5 - 0)*(-2)/5. Let q = 0.015 - 0.015. Is q bigger than l?
False
Let a = -2.1 - -2. Let u be 2/8 + (-4140)/(-144). Which is greater: a or u?
u
Let w(m) = -m**2 + 3*m + 2. Let z be w(3). Let c = -10/3 + z. Which is smaller: c or 0?
c
Let a = -0.035 + -3.065. Let w = -0.2 + 3.2. Let p = a + w. Which is greater: 0.1 or p?
0.1
Let n = 9 - 2. Let m(r) = -r + 2. Let c be m(n). Is c not equal to -4?
True
Suppose -3*a + 2656 = 5*f, 4*a + 1360 + 1282 = 5*f. Let x = 7954/15 - f. Which is smaller: x or 0?
0
Suppose 0 = 2*a - 5*y - 21, 0*a - 5*a + 4*y + 27 = 0. Suppose -12 = -a*b - 3. Suppose -5*x + 5 =