Which is bigger: y or l?
l
Let f = -3 + 4. Let a = 0.2 - 14.2. Let q = -14 - a. Which is smaller: f or q?
q
Let z be 65/3 + (-6)/9. Suppose -4*i + o - 5*o = 0, -2*i + 5*o = -z. Suppose -c + i = -u, -4*u + 2*c = -3*c + 14. Is -1 greater than u?
False
Let h = 2.5 + -4.5. Is -16 less than or equal to h?
True
Let q be ((-8)/(-12))/((-8)/501). Let j = q - -44. Which is smaller: j or 2?
2
Let d = 1 + 0. Suppose 3*w = 4*v, -4*w = -2*v + 5*v + 25. Let c be (w - -2) + (-7)/(-4). Are c and d equal?
False
Let v = 5 + -8. Let o be ((-1)/3)/((-3)/(-33)). Which is smaller: v or o?
o
Let f(p) = -p**2 + 6*p - 1. Let g be f(5). Let j = -2 + g. Is j at most as big as 2?
True
Suppose -4*h + 16 = -4*n, n - 14 = -5*h + 3*n. Suppose h = c - 3. Suppose -c = -3*k - 2. Is 2/5 equal to k?
False
Suppose -k + 6 = k. Suppose -k*s + 1 = -8. Is s at most as big as 9/5?
False
Suppose 2*a + a = -4*l + 24, l = 3*a + 6. Which is bigger: 5 or l?
l
Let z be ((-20)/(-6))/((-6)/(-9)). Suppose -3*a = -z*a. Is -1/2 > a?
False
Let r = -22 + 22. Which is greater: r or -4?
r
Let s be 66/12*2/(-1). Let o(h) = h - 9. Let f be o(-7). Let y = f - s. Which is bigger: -6 or y?
y
Let b be 18/(-27) + (-1)/(-3). Let o = 0 + -1. Let c = -1 - o. Which is greater: c or b?
c
Let h(d) = d**2 - 5*d + 6. Let l be h(4). Suppose 4*i - 8 = -4*p - 0*i, 0 = -l*p - 4*i + 12. Is -1/7 smaller than p?
False
Let r be ((-4)/6)/(6/(-27)). Let u be 2*(3 - (r - 1)). Is 3 less than u?
False
Let w be (3 + -6)*4/(-6). Is 3 less than or equal to w?
False
Let c = 80 - 68. Is 12 smaller than c?
False
Suppose 5*m = 17 + 8, 3*w + 3*m - 9 = 0. Which is smaller: -4 or w?
-4
Let c = 4 + -4.02. Let z = c - -1.02. Is z not equal to -0.3?
True
Suppose -5*h = -4*s + 5, -2*h + 0*h + 6 = 0. Suppose 5*l - 5*o - 10 = 0, s*l + 0*l = o + 2. Which is bigger: l or -1/25?
l
Suppose -x = 4*x + 15. Let f be 3/(x*(-3)/(-6)). Let p(l) = -l - 4. Let m be p(f). Which is greater: -1 or m?
-1
Suppose 0 = 3*y - 4*x + 20, y + 25 = -0*x + 5*x. Is -1 smaller than y?
True
Let u be (216/20)/(-2)*(-10)/7. Is 9 less than u?
False
Suppose -5*j = -4*l - 247, 2*j - 194 = -2*j + 5*l. Suppose -2*t - j = t. Let o be 3*-1 + (-53)/t. Which is bigger: o or 1?
1
Let a be ((-15)/(-40))/(9/(-6)). Suppose -j + 2 = -3*j. Is a smaller than j?
False
Let b = 0.8 + -1.9. Let x = b - -0.7. Which is bigger: 1 or x?
1
Let c(z) = z**3 + 10*z**2 + 9. Let t be c(-10). Suppose m + 3 = 5*n, 3 = -4*m - t. Do -1/3 and n have different values?
True
Let m(r) = -r**3 - 9*r**2 - 7*r + 11. Let o be m(-8). Is 14/9 at least as big as o?
False
Suppose 12 = 3*d, 0 = -u + 2*d - 11 + 3. Let z = -0.1 + 0.1. Let a = z - 2. Which is smaller: u or a?
a
Let p(z) = -z**2 + 9*z - 12. Let t(g) = -g**3 + 6*g**2 + 7*g + 3. Let a be t(7). Let k be ((-4)/a)/(5/(-30)). Let v be p(k). Do -4 and v have the same value?
True
Let p be ((-4)/6)/(18/189). Are -9 and p non-equal?
True
Let o be (-24)/(-28)*2/(-3). Which is bigger: 2 or o?
2
Let m = -75 + 94. Are 20 and m non-equal?
True
Let k = 1.2 + -1.5. Are k and 0.7 non-equal?
True
Let a = -123 - -864/7. Let o(y) be the second derivative of y**4/12 + y**3/2 + 3*y**2/2 - 2*y. Let v be o(-2). Is v bigger than a?
True
Let x be (-1)/(-4)*2*2. Which is smaller: 0 or x?
0
Let r(s) = -s**2 - 8*s - 2. Let i be r(-8). Let h = i - 1. Let j = h - -2. Is -2/11 bigger than j?
True
Let p(q) = 8*q + 1. Let l be p(-1). Let v be 24/(-14) - (-2)/l. Let s = -3 - v. Are s and -1 equal?
True
Let d = 1 - -3. Suppose 0 = -4*i - d*q - 24, -2*i = 2*q - q + 7. Let y = -43/4 - -11. Is y greater than or equal to i?
True
Let v(r) = r**2 + 3*r - 3. Suppose 0 = -3*q + q - 4*b - 12, 3*q + 13 = -b. Let z be v(q). Let i be z - (0 - 3/(-5)). Do i and 1 have different values?
True
Let b = 8 - 9. Is b bigger than 1/9?
False
Let b(p) = -p**2 - 3*p - 2. Let k be b(-2). Is -1 at least as big as k?
False
Let v = -15.1 + 14. Let b = -0.29 - -0.19. Let l = v - b. Is -0.1 > l?
True
Suppose -n = 3*n - 12. Let z be n/9 - 2/6. Is 1 <= z?
False
Suppose -3*o = -28 - 20. Is 16 at most as big as o?
True
Let i be (-113)/((4 - 2)*2). Let x = 28 + i. Which is smaller: x or -2/11?
x
Let r(v) = 1 - v - 3*v**2 - v**3 + 0*v**2 + 5*v**2 - v. Let h be r(1). Which is smaller: 1/6 or h?
h
Let h be (-1 - -1)/1 - -2. Suppose -h*j + 4 = -j. Is -1 at least j?
False
Suppose -h + 4*h = 0. Let x(a) = -3 - 21*a + 1 + a**3 + 13*a + 7*a**2. Let f be x(-8). Do f and h have different values?
True
Suppose -4*k + 3 = -1. Let z = -6 - -9. Are k and z equal?
False
Let a = 0.02 + 0.93. Let z = 0.05 + a. Is z < 2/5?
False
Suppose -2*i + i = 0. Suppose 8*l + 1 - 9 = 0. Which is greater: l or i?
l
Suppose -3*m - 6 + 3 = 0. Suppose b + 2*x = -10, -3*b - 2*b + 3*x + 15 = 0. Which is bigger: m or b?
b
Let r = -11679/5 + 2327. Do -10 and r have the same value?
False
Suppose 2*b + 1 = u + 13, -3*b = -3*u - 21. Let c(t) = t**3 - 4*t**2 - 5*t + 3. Let m be c(b). Suppose -m*x - 6 = -3. Is x at least -2?
True
Let h be (-1)/5 - (-18)/(-60). Let z = -2 - -5. Suppose a - z*a = 0. Is a != h?
True
Let l be (-1)/(1/15*-3). Suppose 0 = 9*n - 4*n - l. Is 3/11 at most as big as n?
True
Let v = 6.5 - 8. Let q = 1.6 + v. Is q < -4?
False
Let o = -1564 + 98534/63. Which is smaller: 0 or o?
0
Suppose -4*o + 6 = -18. Suppose t = 3*t + o, h = -5*t - 13. Suppose -5*b = -h - 13. Does 3 = b?
True
Let l be (0 - -1) + (0 - 0). Let f = l + -1. Let d = -3 + 5. Is d > f?
True
Let k be ((-211)/(-4) - 1) + -1. Let v(i) = -i**2 + 50. Let g be v(0). Let a = g - k. Is a <= -1?
False
Suppose -n - 8 = -5*m + m, n = 0. Let k(g) = g**2 - 2*g - 1. Let b be k(-1). Is b smaller than m?
False
Let b(h) = -h**2 - 5*h - 1. Let l be b(-4). Suppose 5*f + 2*g - 91 = 23, 2*g - 42 = -2*f. Let j = -22 + f. Which is smaller: j or l?
j
Let i = -6 - -12. Let f be ((-2)/i)/((-1)/3). Which is smaller: -2/13 or f?
-2/13
Let u(a) = -a**2 - 5*a + 4. Let s be u(-6). Let w be (s/7 - 0)/1. Let m = 1.1 + -0.1. Which is smaller: w or m?
w
Let q(k) = -k**3 + 8*k**2 + 1. Let l be q(8). Let u be (-21)/14 - 3/(-2). Is l at least as big as u?
True
Suppose 0 = 5*r - r - 16. Suppose g + 11 = -3*u, g - 5*u = -5 + 2. Let y = g - -11. Which is bigger: y or r?
r
Suppose -3*y = -2*y - 3, 4*y + 13 = -5*o. Which is smaller: -3 or o?
o
Let n(s) = s**2 + s - 1. Let a(h) = h**3 + 2*h**2 + 7*h - 6. Let u(w) = a(w) - 5*n(w). Suppose 2*i = 1 + 3. Let j be u(i). Is j at least 1?
False
Suppose 0 = -l - 4*y - 7 - 3, -5*y - 11 = l. Is -5 equal to l?
False
Suppose -8 = -5*l + 3*l. Let q = l + -7. Which is smaller: -2 or q?
q
Let n = -724 - -725. Let u be -3*1*(-16)/3. Let v be u/14 + -1 + 0. Which is bigger: v or n?
n
Let b = -36 + 14. Is -23 greater than b?
False
Let i = 7 + -4. Suppose 5*x - 30 = -10. Is i < x?
True
Let f(t) = -4*t**2 + 2 + 3 - 2 + t**3. Let r be f(4). Suppose 0 = r*p - 2*p - 1. Which is greater: p or 4/7?
p
Let y(l) = 5*l**2 - l. Let u be y(1). Suppose -x + 5 = 5*c - 22, -48 = -u*x - 5*c. Is 7 greater than or equal to x?
True
Let q be ((-1)/(-1))/(-1 - 0). Suppose -4*f + f = -15. Let t(o) = -o**3 + 6*o**2 - 4*o - 5. Let d be t(f). Is q != d?
True
Suppose -4*o + 7 = 3. Let z(m) = -8*m. Let i be z(3). Let v be (-3)/(-36)*i/9. Which is smaller: v or o?
v
Let p(b) = -b**3 - 2*b**2 + 2*b - 2. Let z be p(-3). Let j be (0 + 0)/(2/z). Let r be 2 + 23/(-12) + (-6)/18. Is j < r?
False
Let v = -675 + 4707/7. Let n(d) = d**3 + 7*d**2 - d - 10. Let s be n(-7). Which is greater: s or v?
v
Let h(a) = -2*a - 2. Let n = -2 - -4. Let u be h(n). Let g be (-1)/(-2) - u/(-9). Which is smaller: g or 0?
g
Let j = -7 + 13/2. Is j at least as big as 0.7?
False
Let s = -7.1 + 7.2. Let i = -0.5 - -0.4. Is i not equal to s?
True
Let g = 5 - 5. Let i = 0.1 + g. Is -0.1 > i?
False
Let o = -8 + -9. Is o <= -17?
True
Let i be (-2)/(-8) - (-6)/8. Suppose 0 = -0*n - n. Suppose -3*l = -n*l + 3. Which is greater: i or l?
i
Suppose -2*b + 2 = -z + 5*z, -3*z - 2*b = -2. Let w be (-12)/10*1/(-5). Let s = w + 13/50. Is z > s?
False
Let g be 4/(4/(-1)) + -1. Which is smaller: g or -3/5?
g
Suppose f = 6*f - 30. Suppose 20 = -5*t + f*t. Which is smaller: 19 or t?
19
Let u = -11 + -113. Let a be (4 - (-504)/u)/2. Is 0 not equal to a?
True
Let v be ((-8)/(-2))/(1/2). Suppose 0 = -g + 3*g - v. Suppose -g*c = -c. Which is smaller: -2/3 or c?
-2/3
Let s 