for y.
-4
Let k = 2 - 0. Solve 0 = -2*r - 2 - k for r.
-2
Let k(s) = -2*s - 6. Let f be k(-4). Let x = f + -2. Let b be (-1)/(x - (-2)/(-10)). Solve 2*u - 7*u = b for u.
-1
Let t(d) be the second derivative of d**4/12 - d**3 - 7*d**2/2 + 2*d. Let r be t(9). Solve -r = -6*p + 2*p for p.
5
Let o = -17 + 21. Suppose 4*h = 2*h + 2*g - 8, o*g = 16. Solve 5 = 5*m - h for m.
1
Let i(n) = -n**2 - 8*n - 6. Let q be i(-7). Let x(o) = 2*o + 2. Let t be x(q). Solve -t = -4*s + 2*s for s.
2
Let z = -110 - -111. Solve -6 = -5*o - z for o.
1
Let q = 2 - -1. Let n = q + -1. Solve -n*v - v + 9 = 0 for v.
3
Let w(h) = h**2 + 4*h - 3. Let u be w(-5). Let o = 8 + 3. Suppose 2*c - a - o = -3*c, 5*c + 5 = 5*a. Solve u*s = c*s - 5 for s.
5
Let x(a) = -3*a. Let v be x(-2). Solve 6*z + v = 3*z for z.
-2
Let r(f) = f**2 - 4*f - 3. Suppose -p = -2 - 3. Let c be r(p). Solve 0*j = c*j - 2 for j.
1
Let y be (-11)/(55/(-20)) + (-2 - -3). Suppose -2*l = -5*l + 21. Let m = l - y. Solve 0*i + 10 = -m*i for i.
-5
Let x be (-10)/1*3/(-6). Suppose 0*k - 22 = -4*j - k, x*k - 15 = -j. Suppose h = -0*h + j. Solve -h - 1 = 2*f for f.
-3
Let d(t) = -2*t - 13. Let q(f) = -6*f + 3. Let i be q(2). Let c be d(i). Suppose -5*g = -0*x - c*x - 30, -2*g + 20 = -4*x. Solve g*a + 3*a = -15 for a.
-3
Suppose 4 = -2*j + 6. Let i(u) = 2 - j - u + 8. Let k be i(8). Solve 4*z - 13 = -k for z.
3
Suppose 0 = -4*n + o + 25, 13 = 3*n - 3*o + 8*o. Solve w + n = 4*w for w.
2
Let f be ((-12)/10)/((-36)/480). Suppose 11 - f = -5*d. Solve 2*g = -1 - d for g.
-1
Suppose -12*h = -3 - 21. Solve -h*o = o for o.
0
Suppose -14*y = -20*y + 24. Solve 4*g + 0 + y = 0 for g.
-1
Let t(v) = -5*v - 7 - 11*v**2 - 9*v**3 + 8*v**3 + 3*v**2. Let p be t(-7). Let m = -15 - p. Solve -2*s + m = -2 for s.
4
Let l(j) = -j + 2. Let b = 5 + -5. Let m be l(b). Solve -6 = 5*k - m*k for k.
-2
Let w be (-3)/(-2) + 15/(-10). Solve w = -11*a + 7*a for a.
0
Suppose 0 = 4*s - 3*n - 23, 6*s - 4*s - 11 = n. Solve 2*r - s*r = 0 for r.
0
Suppose -3*d = 3*m, -5*m - 3*d + 4 = -2. Solve r - 20 = -m*r for r.
5
Let c be (1 - -2)/(6/(-8)). Let d(i) = i**3 + 5*i**2 + 2*i - 5. Let r be d(c). Let o be (-32)/((-8)/4 + 0). Solve o = -a - r*a for a.
-4
Suppose 3*m = 2*q - 3*q + 49, 3*q + 61 = 4*m. Suppose 4*p = -0*p + m. Suppose 20 = 5*c, 20 = -g - p*c + 9*c. Solve g*s + 4*s = 0 for s.
0
Let z be (-15)/(-6)*(-8)/(-10). Let a be (z*2)/(2 + -1). Suppose -a*x = -7*x + 15. Solve -x*c = -2*c + 6 for c.
-2
Let c(p) = 12*p + 0 - 1 - 2 - p**3 - 11*p - 2*p**2. Let k be c(-3). Solve -4 = k*n + 11 for n.
-5
Let y = -3 + 3. Let r = 4 - y. Solve -1 = 5*h + r for h.
-1
Let o = -4 + 8. Suppose o*h = 3*h. Suppose 0 = -3*n - h*n + 9. Solve 2 + n = -a for a.
-5
Let j be 15/(((-3)/6)/(1/(-3))). Solve 0*n = 2*n + j for n.
-5
Suppose -4*l = -4*c + 56, 2*c - 3 + 5 = -4*l. Let v be (-4)/(-5)*10/4. Let a(g) = g - 2. Let u be a(v). Solve 0 = -3*h - u*h + c for h.
3
Let y = -9 + 12. Solve 0 = -y*f - 3 + 18 for f.
5
Suppose 9 = -4*n + 41. Let k(l) = 27 + 34 - l - 50. Let i be k(n). Solve -i*f - 2*f = 15 for f.
-3
Let p = -2 - -6. Solve -p*r + 4 = 16 for r.
-3
Suppose -o - 95 + 36 = -3*z, 3*o + 15 = 0. Let p(c) = 2*c**2 - 4*c + 3. Let f be p(2). Solve -z + f = -5*q for q.
3
Suppose -20 = -4*n - i, -n - 5*i + 3 = -2. Suppose -j - 8 = -n*j. Solve -k = j*k - 6 for k.
2
Let w be 3 + (0 - 3/((-1)/(-1))). Solve w = -3*y + 4*y - 4 for y.
4
Let z be 8*3/(-6) + 4. Suppose z = -2*n - n + 24. Solve -4 = 4*w + n for w.
-3
Let l(y) = -3*y**2 + 4*y + 4*y**2 - 3 - 8*y + 0*y**2. Let a be l(5). Solve 2*v + a = v for v.
-2
Let t be ((-3)/(-2))/3*0. Solve -10 = -2*k - t for k.
5
Let g be ((-5)/15)/(1/(-9)). Solve g*t = 5*t - 10 for t.
5
Let b(l) = -l + 6. Let k be b(-5). Suppose k = 2*j - 21. Solve j = -7*u + 3*u for u.
-4
Let p = 0 - -3. Let d(x) = 3*x**2 - x. Let l(f) = f**3 + 8*f**2 - 3*f. Let a(c) = 8*d(c) - 3*l(c). Let t be a(-1). Solve -p*s + t*s = 1 for s.
-1
Suppose -3 = 2*j - 7. Solve -j*w = -5*w for w.
0
Let f = 40 - 38. Let p(g) = -g**2 + 3*g + 4. Let d be p(4). Suppose u = -d*u. Solve -3*v + f + 4 = u for v.
2
Let c(s) = -3*s**2 - s - 2. Let z be c(-2). Let h be 2/z*-3*0. Solve h*y + y = 0 for y.
0
Suppose 3*i - i - 6 = 0. Solve 0 = -0*y - 3*y + i for y.
1
Let h(g) = g**3 - 11*g**2 + 12*g - 13. Let z be h(10). Suppose f + z = 2*f. Solve -f*q = -2*q + 15 for q.
-3
Suppose 4*i + 7*i = 0. Solve -d = -i*d + 2 for d.
-2
Let l = -151 + 154. Let m = 15 + -11. Solve -m = 7*o - l*o for o.
-1
Let u(t) = -t**3 - 11*t**2 + t + 15. Let b be u(-11). Solve -b*k - 3 = -7 for k.
1
Let a(o) = -2*o - 6. Let b be -6 - (0 - 2)*-1. Let j be a(b). Suppose -p + 3*p = 0. Solve j = -p*f + 2*f for f.
5
Suppose -20 = 6*p - p. Let y(j) = -j**3 - 3*j**2 + 4*j + 3. Let u be y(p). Solve o - 4 = -u*o for o.
1
Let i = 0 + 3. Suppose -i*k + 6*k = 33. Solve 3*n - 1 = k for n.
4
Suppose 6*b = 2*b. Suppose -3*y - y = b. Solve -2 = -2*a - y*a for a.
1
Let u(i) = -i**2 - 3*i + 2. Let f be u(-2). Let r be ((-25)/f)/(2/(-8)). Solve -8*l + 3*l = -r for l.
5
Let m(s) = -2*s - 4. Let z be m(-3). Suppose -2 - 4 = -z*y. Suppose -3*w = -y*f, 5*f + 2*w = 2*f + 5. Solve -5*u - 24 = f for u.
-5
Let d = -28 + 32. Solve 3*p - 1 = -d for p.
-1
Let d = 7 - 5. Suppose -l + 5*u + 4 = 17, -d*l + u + 1 = 0. Solve -l*p - 20 = 2*p for p.
-5
Let d(f) = 3*f**2 + 3*f. Let t be d(-2). Let i = t - 6. Solve 4 = -i*y - y for y.
-4
Let k be 1/(-6) + (-8)/(-48). Solve -h + 0 - 1 = k for h.
-1
Let t be (-1)/1 - (-8 - -2). Suppose t*r = 4*o - 5, 4*r + 3*o = -0*o + 27. Suppose -r = -4*q + 1. Solve 0*j - q = -j for j.
1
Suppose 0 = 2*x - 3*p - 34, p = -0*x + x - 17. Suppose -3*h = -x - 28. Suppose -2*q + 3*z - 9 = -5*q, -q + z + 1 = 0. Solve -q*b - 5 + h = 0 for b.
5
Let f(v) = -v**2 - 12*v - 9. Let d be f(-11). Let h be -1 - -2 - 1/(-1). Solve -h*x = d*x + 8 for x.
-2
Suppose -x = o - 2, -x + 1 = o + x. Let a(s) = -4*s**o - 11 + 3*s**3 - 3 - 8*s**2 - 12*s - 3*s**2. Let u be a(-10). Solve -n = -u*n for n.
0
Suppose -8 = d + 7. Let n = -7 - d. Solve 5*i + n = i for i.
-2
Let q be (-1 - 1) + 2 + 0. Solve d - 3*d - 10 = q for d.
-5
Let z = 11 + -4. Suppose 13 = 3*o + h, 3*o + z = 5*o - h. Suppose 3*p = o*x - 26, 0 = 2*p + 2*p + 8. Solve x*j = 3*j + 4 for j.
2
Suppose -r = -0*r - 1. Solve r = 4*d - 11 for d.
3
Let r = 5 + -4. Solve 6 = 5*s + r for s.
1
Let b(w) = w**3 + w**2 - w + 2. Let y(q) = -q - 7. Let h be y(-7). Suppose d + 4 = -3*p, -5*p - 16 = 4*d - h*d. Let v be b(p). Solve -5*g - 3 = -v*g for g.
-1
Suppose 3*i + 22 = 1. Let u = 25 + -36. Let r = i - u. Solve 0*q = q - r for q.
4
Let i be -2 + 4 + -1 - 8. Let c(n) = 3*n**3 - 2*n**3 + 9*n - 4*n - 8 + 8*n**2. Let k be c(i). Solve -8 = -k*m + 2*m for m.
2
Suppose -h = -5, 0*h + 4*h = -4*a. Let l = -4 - a. Solve 0 = -v + 3 + l for v.
4
Suppose -4 = -4*d - 2*i, -6*i + 4*i = 2*d + 2. Solve d*r = -12 + 3 for r.
-3
Let d = 1 + -1. Suppose 0 = -2*u - u + 24. Suppose -u = -s - 3*s. Solve d = 5*g + s - 12 for g.
2
Suppose 5*b + 5*x + 62 = 17, 5*b = -4*x - 41. Let t = b - -9. Suppose 2 = -3*i + t*s, -4*i - 4 = -9*i + 3*s. Solve 4*v + 6 = i*v for v.
-3
Let t(h) = h**2 + h + 17. Let x be t(0). Solve 5*g - 42 = -x for g.
5
Let r be (-1)/(-3) + (-10)/(-6). Let h(b) = -3*b - 4. Let n be h(-3). Solve 3*s - r = -n for s.
-1
Let h = 54 + -32. Let g(x) = x**2 - 4*x - 1. Let n be g(-3). Let t be ((-1)/2)/((-2)/n). Solve -t*c + h = 2 for c.
4
Suppose -9 = -5*t + 21. Let w be (-2)/t + 7/21. Solve w = -3*d - 7 + 1 for d.
-2
Let w be -7 + (1 - 1 - 1). Let b = -5 - w. Solve -b - 17 = -5*a for a.
4
Suppose 0 = -3*n - n - 3*a + 5, 2*a = -2. Solve 0 = -3*c + 2*c + n for c.
2
Let f(c) = 4*c - 10. Let v be f(3). Solve -t - v + 6 = 0 for t.
4
Suppose 3*c + 0*c = 0. Let f be -5 + 1*(2 + -1). Let v = f - -16. Solve -4*d + c*d = -v for d.
3
Suppose x + 4*t = 22, -x + 3*t = -4*x + 21. Suppose -11 = 3*u + 5*a, 4*u - 1 = -x*a - 11. Let k be (-6)/(-33) - u/(-11). Solve k = 6*v - 2*v - 8 for v.
2
Let v be ((-6)/(-4))/((-15)/(-20)). Let m = -3 - -1. Let w = m + v. Solve -h + 2*h - 2 = w for h.
2
Suppose -2*p + 2*g - 4 = 0, -2*p = 2*p - 5*g + 11. Let o = 13 + -13. Solve -5*r - p - 4 = o for r.
-1
Let o(c) be the second derivative of -5/2*c**2 + 2*c - 2/3*c**4 + 1/20*c**5 + 4/3*c**3 + 0. Let b be o(7). Solve -4*l + b - 10 = 0 for l.
-2
Let n(p) b