 Solve -2*q + 1 = -c for q.
2
Suppose -20 = f - 5*f. Solve j - 2*j = -f for j.
5
Let l(j) = j + 2. Let r be l(0). Suppose 12 = -r*m + 5*m. Solve 3*s - 4*s - m = 0 for s.
-4
Let o be 78/(-2)*(-4)/12. Solve 0 = 4*d + o + 7 for d.
-5
Let s = -15 - -15. Let q be (2/4 - 0)*8. Solve s*k = k - q for k.
4
Let d(f) = -f**2 + f. Let o be (4/2 - 1)/1. Let k be d(o). Solve k*z - 12 = 4*z for z.
-3
Let w(l) be the third derivative of l**5/60 - 3*l**4/8 + 2*l**3/3 - 3*l**2. Let t be w(9). Solve 0 = -2*a - t - 6 for a.
-5
Let h(s) = -3*s**2 + 2*s + 1. Let n be h(2). Let c = n + 11. Solve -c*y = -y for y.
0
Suppose -12 = -5*o + 2*o. Solve -1 - 15 = -o*u for u.
4
Let p(v) = v + 1. Let g = 0 + 0. Let y be p(g). Solve 2 + y = -3*m for m.
-1
Suppose 0 = -0*n + 5*n. Suppose d - 2 = -1. Suppose n = -j + d + 1. Solve 0 = -m + j*m - 2 for m.
2
Let w = 13 - 23. Let g be ((-6)/4)/(3/w). Solve 16 = g*d - d for d.
4
Let s(a) be the second derivative of a**4/12 - 3*a**2/2 - a. Suppose 1 = -c + 6. Let h be s(c). Solve h - 2 = -5*p for p.
-4
Let i(k) = -k - 14. Let r be i(-18). Suppose -16 = -5*a + 29. Solve -a = l - r*l for l.
3
Let y be 21 - ((-2)/(-2) - -2). Suppose -h + u - 4*u = -y, 0 = -2*h + 3*u. Solve h*s - s + 5 = 0 for s.
-1
Let j(u) be the second derivative of u**4/6 + u. Let i be j(1). Let q = i - -2. Solve q*o - 3*o - 4 = 0 for o.
4
Suppose -4*w = 69 - 21. Let q = -6 - w. Suppose -4 - q = -5*y. Solve -3 = -y*n + n for n.
3
Let q = -10 + 13. Solve -q*v = -0*v - 6 for v.
2
Let z(c) = 2*c**2. Let p be z(3). Let f be 14/p + 2/9. Solve 1 = t - f for t.
2
Suppose 0 = -5*i - 4*t - 7 + 27, 3*i - 2*t = 34. Solve 4*b = -12 - i for b.
-5
Let s = 19 - 15. Suppose s*m + 0*m = 4. Solve -2*o = m - 5 for o.
2
Let l = 7 - 7. Let w be l/(-2*(2 + -1)). Solve w = -4*q + 8 - 4 for q.
1
Let c(y) = 5*y + 3. Let s be c(1). Solve s - 33 = -5*w for w.
5
Let s be -2 - (0 + -8) - 3. Suppose 5*p + 4*j - 117 = 0, -119 = -5*p - 0*p - s*j. Solve 2*a = -3*a - p for a.
-5
Let z(w) = 4*w**2 - 6. Let p(t) = -3*t**2 + 6. Let q(n) = 3*p(n) + 2*z(n). Let f be q(0). Solve -r = r - f for r.
3
Suppose 0 = 5*l - 0*l - 5. Solve 2*c - l = 3 for c.
2
Let r = -107 + 116. Solve 2*y - r + 1 = 0 for y.
4
Let g be 5 - (-8 + 6 + 5). Solve 0 = 5*o - 12 + g for o.
2
Let a(o) = -3*o**3 - 11*o**2 - 2*o. Let s(j) = -j**3 - j**2 - j. Let f(v) = -a(v) + 2*s(v). Let p be f(-9). Solve 2*u - 4 + 0 = p for u.
2
Suppose 0 = 3*s + 5*c - 63, -2*s + c + 2*c = -23. Suppose -s = 8*a - 12*a. Solve 5*z + a = -21 for z.
-5
Let a(n) = -n**3 + 8*n**2 - 6*n - 5. Let v be a(7). Let c be (-2)/3 - (-2)/3. Suppose v*s - 6 = -c. Solve -s*d - 5 - 7 = 0 for d.
-4
Let j = -4 - -8. Suppose -c = j - 6. Solve l = 1 - c for l.
-1
Suppose 8*t - 2*h = 4*t + 134, -5*t - 5*h = -160. Let y be 60/t - 6/(-33). Solve 0 = -y*d + d for d.
0
Let v be (-18)/(-3)*(-4 + 5). Solve -2*h + v*h = 16 for h.
4
Let w be -1 - -1*1*15. Let z(a) = -a**3 + 2*a**2 + 7*a + 3. Let t be z(-2). Solve 6 = -t*o - w for o.
-4
Suppose 12*l - 11*l = 3. Solve -4*q + 1 = -l for q.
1
Suppose 4*c + 2*c = 120. Solve 6*r - r = c for r.
4
Let s(r) = 12*r + 3. Let z be s(1). Solve 5*n - z = 2*n for n.
5
Let y(v) = 3*v - 18. Let r be y(6). Solve -5*s = -r*s - 20 for s.
4
Suppose 10*t - 16*t + 48 = 0. Solve -t*c + 6*c = 10 for c.
-5
Let t(s) = s + 5. Suppose -10 = 4*n - 6*n. Let p be t(n). Solve 6*h = h + p for h.
2
Suppose -6 = -h - h. Solve 0 = 3*m - 0 + h for m.
-1
Suppose 0 = -2*i + 4*p + 38, 4*i - 3*p - 26 - 25 = 0. Let h(o) = o - 6. Let l be h(9). Let w be 7 + (3 - l - 3). Solve i*a + 10 = w*a for a.
-2
Let t be 12/1 + (5 - 5). Solve t = w - 4*w for w.
-4
Let t be (-1)/5 - (-2)/10. Suppose u = -0*u - 6. Let v(s) = -s**3 - 7*s**2 - 6*s + 5. Let b be v(u). Solve -j + b = -t*j for j.
5
Let w be (-17)/1*(-4 - -3). Solve -5*q + 3 = -w for q.
4
Suppose -3*n + 14 = -n. Let a = n - 2. Solve -w + 0 = -a for w.
5
Let o(t) = t**3 + 7*t**2 + 2*t - 4. Let f be o(-6). Solve -5*c - f = -0*c for c.
-4
Suppose -q = h, -2*q + 12 = 3*h - 7*h. Solve 4*n - 18 = -q for n.
4
Let v be -3*(-5)/45*3. Solve 0 = -a - v - 1 for a.
-2
Let j be -6*((-2)/4 + 0). Let n(s) be the third derivative of s**4/24 + s**3/3 + 19*s**2. Let x be n(j). Solve 0 = -x*z - 4 - 1 for z.
-1
Suppose -3*s = 4*g + 12, -9*s + 3*g - 41 = -5*s. Let u = -3 - s. Solve u*m - 4 = 6 for m.
2
Suppose 3*m + 1 = 4. Let l = m - -9. Suppose 0 = p + 5*z - l - 11, 0 = -z + 3. Solve 3 + p = 3*c for c.
3
Let m be ((-3)/(-2))/(6/16). Let a = m + -4. Suppose x - 4 + 2 = a. Solve -x*f - f = -3 for f.
1
Let u be (3/(-2))/((-11)/22). Suppose s - k = 20, 0*s - u*k = 2*s - 30. Solve 2 + s = 5*h for h.
4
Suppose -3*s - 1 = -r, r = -4*s + 5*s + 5. Solve 2*j - r*j = -20 for j.
4
Suppose t = 4*t - 24. Let y(i) = i**2 - 9*i. Let a be y(t). Let m(h) = -h - 6. Let f be m(a). Solve 0 = -f*n - 2 - 6 for n.
-4
Let v be (-1 + -1)/(4/20). Let k be 4/(-10) - 24/v. Let o be (1/1)/((-2)/(-4)). Solve 0*b - k = -o*b for b.
1
Suppose 5*k + 2*i - 46 = 0, -3*i + 0 = -9. Let b = 12 - k. Suppose w - 5 = -t, 5*t - 2*w = w + 17. Solve -3*q + b = -t*q for q.
-4
Suppose l = c - 1, 9 = 5*c - 6. Solve 25 = l*k + 3*k for k.
5
Let r = -34 - -38. Let o be (12/(-15))/(4/(-10)). Solve -r*g - o = -3*g for g.
-2
Suppose -w - 3*f = 3*w - 17, w + 5*f + 17 = 0. Let m = w - 14. Let r be (-5)/15 - 2/m. Solve 4*l + r = 12 for l.
3
Let c be (-12)/42 - (-2)/7. Suppose c*d - 2 = -d. Let p = -4 - -12. Solve 4*g - p = d*g for g.
4
Suppose -5*y = -2*q - 0*y - 5, q + 2*y - 11 = 0. Solve 0 = -0*v - v - q for v.
-5
Suppose 0 = j + 13 + 1. Let u = -5 - j. Solve u*b = 4*b - 25 for b.
-5
Suppose -2 = 2*g + 2, 10 = i - 5*g. Solve 2*t + i*t = 10 for t.
5
Suppose -3*d = d - 12, v - 5*d + 19 = 0. Let j = 12 + v. Solve 7*y - j = 3*y for y.
2
Suppose -u + 6 = -4*g - 5, -4*u = -g + 16. Suppose -3*d + 7 = -8, d = 2*w + 23. Let v = u - w. Solve b + v = -1 for b.
-5
Suppose 4*d - 2*t = 20, -d - t = -6*d + 19. Solve 0 = -u - d - 1 for u.
-4
Suppose -c + 42 = c. Let m be (-6)/c + (-400)/(-28). Let k be 20/6 + m/21. Solve -a + k = -5*a for a.
-1
Let n(y) = -y**2 + 6*y + 18. Let u be n(8). Solve 0 = z - u*z + 1 for z.
1
Let t be 1/(-2) - (-123)/6. Let y = t + -11. Solve -4*p = -p - y for p.
3
Let u = -4 - -8. Suppose 0 = -3*b + 4*z + 10, -5*b - u*z + 0 = -6. Solve 0 = -3*o + b*o - 1 for o.
-1
Suppose -4*x + 7 = -4*t - 13, 5*t + 18 = -2*x. Let q be 10/t*36/(-10). Solve f - 4*f = -q for f.
3
Suppose -5*a - 2*q = -8, 2*a = 3*a + q - 4. Solve a = -7*b + 3*b for b.
0
Let n = 12 - 6. Suppose -4*t + q + n = 0, 4*t + 3*q = 7*t - 9. Solve -3*x = -t + 7 for x.
-2
Let f be ((-10)/4)/(1/(-2)). Solve -3*t = -f*t for t.
0
Suppose m + 11 = 4*f, 5*m + 2*f = f + 8. Let b = 2 - m. Let i = -1 - -5. Solve b = h + i for h.
-3
Suppose 2*x - x = 8. Let i = x - 8. Solve -2*c - 3*c - 25 = i for c.
-5
Let t(a) be the first derivative of a**3/3 + a**2 + 2*a - 1. Let k be t(-2). Solve k*x = -x - 6 for x.
-2
Let i = -51 + 53. Solve 0 = -i*u + 5*u - 3 for u.
1
Suppose 0*y + 2*f + 154 = 5*y, -4*y = 2*f - 116. Suppose i = 3*i + y. Let m be i*(3/9 - 1). Solve -w + m = w for w.
5
Suppose -n = l - 6, n + 4*l - 7 = 5. Suppose -5*r = -6*r + 2. Solve -r*p = -n*p for p.
0
Suppose -8 = -3*o + 1. Let p = -20 - -28. Solve o*t = p*t for t.
0
Suppose -2*h = -21 + 5. Solve q - h = -q for q.
4
Let r(m) = 2*m - 9. Let j be r(6). Suppose j = 4*b - 3*b. Suppose -b*q = -1 - 5. Solve q*z - 1 = 9 for z.
5
Let j(g) = -g**3 - g + 20. Let o be j(0). Solve -o = -4*m - 0 for m.
5
Let c = -1 - -1. Let b(d) = -d + 7. Let w = -11 + 16. Let p be b(w). Solve p*q + 5 - 1 = c for q.
-2
Let z = 69 - 54. Let m = 8 - 2. Solve i = m*i - z for i.
3
Let q = -59 + 61. Solve 2*t + 20 = -q*t for t.
-5
Let r(x) = 2*x**2 + 3*x. Let o be r(-2). Let j = 0 - 1. Let d = j + 3. Solve o*c = -d*c for c.
0
Let j(w) = -w**3 + 6*w**2 - 3*w - 1. Let k be j(5). Suppose 2*y = 7 + k. Let r = -4 + y. Solve -4*v + r + 12 = 0 for v.
4
Let t be (2 - 1 - -7) + 1. Suppose 0 = -2*d + 6*v - 2*v + 18, 0 = 3*v + t. Let z = 2 + 2. Solve z + 8 = d*p for p.
4
Let t be (15/4)/((-3)/(-12) + 0). Solve -3*y = -6*y - t for y.
-5
Suppose -5*x = d + 3 - 0, 2*x = -4*d + 6. Suppose -2*o + 0 = 8, 0 = -3*c - o + d. Solve c*q + 2*q - 16 = 0 for q.
4
Let z(s) be the first derivative of -s**2/2 + 10*s - 3. Let i be z(7). Solve 3*r = -0