s. Solve 3*p + p = s for p.
0
Let z(t) = -t + 8. Let h be z(6). Solve -h + 12 = 5*c for c.
2
Let s(q) = -q**3 - 3*q**2 - 2*q + 2. Let w be s(-2). Solve -3*d - 1 = w for d.
-1
Let a be 2/4 + 5/2. Suppose 7 = -v + a*o, -4*v - 5*o = -3*o - 28. Let d = -1 + 4. Solve 8 = -v*p + d*p for p.
-4
Let d be (-6)/9 - 6/(-9). Suppose -h - s = 3, h + 0*h + 4*s + 18 = 0. Suppose 3*q - 6*q - 2*l + 20 = 0, h*q = 3*l - 4. Solve -2*a = -d*a - q for a.
2
Let j = 2 + 0. Suppose -2*a = -z + 13, 0 = -0*z + j*z - 3*a - 22. Suppose z*w - 3*w - 4 = 0. Solve -6 = -w*i + 4*i for i.
-3
Suppose 0 = h + 2*h - 57. Suppose n = 2*d - 2*n - 13, -2*d - 3*n = -h. Solve j = -j + d for j.
4
Let u = -1 - -2. Let s be -1 - (-1)/u*2. Let d be 188/36 - 4/18. Solve s = 2*m - d for m.
3
Let s(u) = 4*u**3 - 2*u**2 + 2*u - 1. Let g be s(1). Solve x + g*x - 4 = 0 for x.
1
Let a be (1 + -8)*(-4)/14. Let x be 16/12 - a/(-3). Solve 0 = 2*y + x*y + 4 for y.
-1
Let l be 2/(-1)*18/(-18). Solve -5 = l*h + 3 for h.
-4
Suppose -3*f + 46 = 5*a, 36 = 3*a - f - 0*f. Let n = a - 11. Solve 2*u - 2 = -n for u.
1
Let w(s) = 2*s + 4. Let p be w(-2). Solve 4*j = -p*j + 12 for j.
3
Suppose 18*y - 3*y = 30. Solve y*f - 2 + 4 = 0 for f.
-1
Let x be (-1)/2 - 1/(-2). Let d(b) = -b + 2. Let f be d(x). Suppose f*p - 4 = p. Solve 2*y + 4 = p*y for y.
2
Let c = 9 + -9. Let o be 30/9 + 1/(-3). Solve -k - o*k + 4 = c for k.
1
Let x be (-2)/((-2)/(-1)) - -1. Let z be (8/(-2))/(6/(-3)). Solve x = -q - z + 1 for q.
-1
Let s(x) = 6*x - 1. Let t be s(1). Let a = 19 - 37. Let p = 19 + a. Solve t = w + p for w.
4
Suppose 4*r - 6 = r. Let b be (-24)/(-4) + -1*r. Suppose b*j - 3 = 13. Solve j*f = -f for f.
0
Suppose 0 = 2*l - 5*l + 21. Let n = 13 - l. Solve -n = -r + 3*r for r.
-3
Let v(q) be the second derivative of q**5/20 + 7*q**4/12 + q**3/3 - 4*q**2 - 2*q. Let o be v(-6). Let h = 4 - 1. Solve -p - h*p = o for p.
-4
Suppose s + 4*k + 10 = 33, 3*k = -2*s + 21. Suppose 2*b + 4*v = -8, -3*b - 21 = -v - 2*v. Let l be 51/12 + b/(-8). Solve -l*w - 6 = -s*w for w.
-3
Let z(m) = -m + 14. Let k be z(10). Suppose 14*d = 16*d - k. Solve 5 = -d*n - 3 for n.
-4
Let t(u) = -3*u**3 + u**2. Let z be t(-1). Let l = 19 - 17. Suppose 0 = -0*q + l*q. Solve q = 5*v + z + 1 for v.
-1
Suppose 2*f - 6*f = -8. Let a be (f + -4)*-1 + 0. Solve -3*o - a*o - 20 = 0 for o.
-4
Suppose -3*k + 4*k = 0. Solve k = w - 0*w for w.
0
Let d be 5 - 3*(-2 - -3). Solve 0 = -2*z - d*z for z.
0
Let s be ((-13)/3)/((-1)/3). Let i = -13 + 16. Suppose i = r + 2. Solve 3*q - s + r = 0 for q.
4
Suppose -4*d = -2*b - 6, 5*d + 0*d + 3*b = -9. Solve -6 = -3*p - d for p.
2
Let a = 7 + -1. Suppose 5*h = -5*c + 30, 2*c - 1 = 4*h - 13. Suppose -n = -a + c. Solve -5*l + 1 + n = 0 for l.
1
Suppose -3*d - f = -0*f - 89, -4*d + 4*f + 140 = 0. Suppose -d + 7 = -4*b. Solve -2*v + 2 = b for v.
-2
Let a = 30 + -18. Suppose 2*w - 3*f - a = -f, 2*f = -2. Suppose 3*q + 0*q + w*y = -4, 2 = -q - 2*y. Solve q*s - 9 = -s for s.
3
Let i = -84 - -99. Solve 0 = -h - 2*h + i for h.
5
Let g = 1 + 2. Suppose -i + 192 = -g*i. Let h be i/(-10) - 12/(-30). Solve 0 = 3*o + h - 1 for o.
-3
Suppose 5*q = -2*c - 14, -23 = -5*c + q - 4. Solve -2*v - c*v = -5 for v.
1
Suppose -4*m - 8 = 3*w, 0*w = -3*w - m + 7. Suppose -w*d + 16 = 4*b, b - 5 - 7 = -5*d. Let s be (-1)/2 - (-27)/d. Solve -2*l + 5 = s for l.
-4
Suppose 0 = -2*f + 2 + 6. Suppose -2*v - 6 = -2*t, t + f*v = -3*t - 4. Let u = t + 3. Solve 22 - 2 = u*x for x.
5
Suppose 3*o = 2 - 2. Solve o*r - 4*r = -4 for r.
1
Let a be (4/8 - 0)/((-1)/(-14)). Solve 3 = -2*x - a for x.
-5
Let s(j) = -3*j**3 + 6*j**2 + 2*j + 4. Let w(q) = q**3 + q - 1. Let x(a) = -s(a) - 4*w(a). Let u be x(-5). Solve -4*m + 5*m = u for m.
5
Let a = 16 - 7. Solve -4*j - 15 = -a*j for j.
3
Suppose 26*x - 52 = 13*x. Solve -m = -x*m - 9 for m.
-3
Let t be (1*-46 - 3)*1. Let r be ((-2)/(-7))/((-7)/t). Solve -r*m = -m - 1 for m.
1
Let o be (7/14)/((-1)/(-10)). Solve -o*z + 3*z = -10 for z.
5
Let a(p) be the third derivative of -p**4/24 - 2*p**3/3 + 3*p**2. Let c be a(-4). Suppose 5*d + 5*i = 30, 2*d = -2*d - 5*i + 28. Solve c = d*x - 7*x - 25 for x.
-5
Suppose q + 2*q = h + 50, -2*h - 15 = -q. Let z = q + -17. Solve -3*i + 5*i + 4 = z for i.
-2
Suppose -2*l + 0*g = -5*g + 25, -2*l + 2*g = 10. Solve l = -2*t + 5*t + 15 for t.
-5
Suppose 47*m - 21 = 44*m. Solve 2*b + m = 15 for b.
4
Let f(j) = j**2 - 5*j. Let i be f(5). Let g = i + 0. Solve 0 = -g*w - 4*w for w.
0
Let z(j) = -j - 8. Suppose 0 = -0*c - c - 11. Let b be z(c). Solve 2*m - 2 = b*m for m.
-2
Suppose -q = -p + 3, 5*p - 3*p - 3*q = 5. Suppose -6 = -m - m. Solve u = m - p for u.
-1
Suppose 2*y + 6 = 4*y - 3*r, 0 = 5*y - r - 28. Let n = 10 - y. Solve -6 = n*c + 10 for c.
-4
Suppose -4*u = -2*u - 4*u. Solve u = 3*f - 2*f - 1 for f.
1
Let v(n) = -n**2 - 14*n - 48. Let m be v(-8). Solve -4*o + 3*o + 1 = m for o.
1
Suppose 5*n - f = 3, 8 + 7 = -2*n - 5*f. Solve 0 = l - n*l for l.
0
Let g(f) = -f - 8. Let o be g(-6). Let t be (-1 - 0)/(1/o). Solve -9 + 1 = -t*h for h.
4
Let m(n) = n**3 + 3*n**2 + 2*n + 2. Let l be m(-2). Suppose s - 5*r = 6, 1 = 3*s + r - 1. Let y be -1*s*(-14 + 9). Solve 0 = l*f + y - 1 for f.
-2
Let l = -15 + 26. Suppose 2*c - 4*g - l = c, -5*g = 5*c - 30. Solve 3*o + 2 = -c for o.
-3
Suppose -13 = -3*u - 4. Let p = u + 0. Let q be 0/((-2)/(-6)*p). Solve q = 3*d - 0 - 6 for d.
2
Let j be (0 - 4)*10/(-8). Suppose 10 = 4*b + 2*o, -j*b + o - 5*o = -8. Let w be -6*1/(6/(-2)). Solve -b = w*i + 2 for i.
-3
Suppose 5*k + 4 + 9 = -4*r, 4*r + 3*k + 3 = 0. Solve -r*m = -0*m for m.
0
Let o = 57 - 54. Solve 2*s - o - 7 = 0 for s.
5
Let v = 10 + -7. Solve v*i + 2 = -4 for i.
-2
Suppose p - 18 = -4*k - 0*p, -12 = -4*k - 4*p. Solve 0 = -k*g - 37 + 12 for g.
-5
Suppose 55 = -2*d + 7*d. Suppose -5*f - 2*o = -39, 4*f + o + d = 41. Let j = -3 + f. Solve 20 = -0*u + j*u for u.
5
Let v(c) be the second derivative of -c**4/12 - c**3 - 2*c**2 + 2*c. Let x be v(-3). Solve -2*j = -x*j + 3 for j.
1
Let a(t) be the third derivative of -t**6/120 + t**5/12 + 2*t**3/3 - 3*t**2. Let y be a(5). Solve 8 = -y*m - 4 for m.
-3
Let w be (4 + -1 + -1)/((-4)/(-6)). Solve 2*o = -w - 7 for o.
-5
Suppose 4*x = 14 + 6. Suppose -x*o - 8 = -7*o. Let t = 4 - 1. Solve -n + t*n + o = 0 for n.
-2
Let y(t) = 3*t**2 - 1. Let i(l) = l**2 + 7*l + 5. Let w be i(-6). Let s be y(w). Let r be -5 - 1/(-2)*10. Solve 2*g + r = -s for g.
-1
Let x(u) = 2*u**2 + u. Let h be x(-2). Let v(t) = -2*t + 2. Let r(l) = l - 2. Let k(q) = -3*r(q) - 2*v(q). Let i be k(h). Solve -o = o + i for o.
-4
Let a(g) = -2*g - 3. Let c be a(-3). Suppose -2*s + c = -7. Suppose -14 = s*b - 34. Solve -2*z = -0*z + b for z.
-2
Let y be 2*(38/4 - 2). Suppose -2*z - 2*n = 22, -5*z - 3*n - 34 = y. Let o = 12 + z. Solve t = -0 - o for t.
-4
Suppose 3*a + 3*k - 5*k = 5, -a = 3*k - 9. Solve -3*i = 12 + a for i.
-5
Let g be ((-15)/4)/((-5)/(-80)*-3). Solve -g = -8*f + 3*f for f.
4
Let p(k) be the second derivative of k**5/30 - k**2 - 2*k. Let s(u) be the first derivative of p(u). Let h be s(2). Solve -12 = 5*a + h for a.
-4
Suppose -9*m + 30*m = 42. Solve 6*y - 4*y = m for y.
1
Suppose -3*y + 53 + 46 = 0. Let s be y/2 - 1/2. Solve -3*x + s = x for x.
4
Let i be -1 + 10 - (2 + -1). Suppose 0 = 2*v - 5*y + 82, 6*y - i*y + 196 = -4*v. Let c = -31 - v. Solve -3*a + c = 2*a for a.
4
Suppose 0 = -3*f - 2*l - 1, 2*f + 8 = -7*l + 2*l. Let c(q) = -q**3 + 11*q**2 + 13*q - 8. Let w be c(12). Solve y + w = -f for y.
-5
Let z(u) = 3*u**2 - 2*u - 1. Let t be z(3). Solve 2*s = -2*s - t for s.
-5
Let y(t) = t + 13. Let l = -14 - -7. Let u be y(l). Solve 2*a + 8 = u*a for a.
2
Let w(s) = -3*s - 1. Let o be w(-1). Suppose -o*h = -3*h. Let f = h - -3. Solve 2*j - 1 = f for j.
2
Let u be 2*((-2)/4 - -2). Suppose -4*i = -5*n + 7, 4*i - 4*n = -0*i - 4. Let d be (-1)/u*0 + i. Solve -7*m + d*m = 0 for m.
0
Suppose -2*l = y - 3*l - 5, y = -l - 1. Solve 0 = -y*m + 7*m + 20 for m.
-4
Let q = -30 - -30. Solve -t + q = 4 for t.
-4
Let i(j) = j**3 - 2*j**2 - j - 4. Let b be (5 - 6)*(-1 + -2). Let m be i(b). Solve -3*v = -m - 1 for v.
1
Let j(a) = -a + 4. Let o be j(-10). Suppose -g = g + o. Let d = g + 10. Solve l = 2*l - d for l.
3
Let r = -15 - -9. Let a be r/(-15) + 46/10. Solve -a = -5*z - 15 for z.
-2
Let a(r) = 3*r**3 - 2*r**2 + 1. 