p for v.
-5
Let t be 16/12*(2 - (-4)/(-8)). Solve t*j + 4 = 12 for j.
4
Let m(f) = -f**3 - f**2. Let y be m(-2). Solve -y*z = -2*z + 8 for z.
-4
Let y = 2 + 0. Let t(z) = z - 2*z**2 + 0*z + z**3 + 0*z**3. Let o be t(y). Solve -c - 12 = o*c for c.
-4
Let w = 3 - 3. Suppose w = 9*p - 3*p - 30. Solve p + 7 = -3*v for v.
-4
Let t(v) = v**2 - 7*v - 3. Suppose 0 = 4*z + 5*j - 52, 2*z = 4*z - 4*j. Let q be t(z). Solve 5 = q*n - 20 for n.
5
Suppose 6*u + 2*f - 34 = 3*u, 5*f = 25. Let r = -10 - -10. Solve -4*m = -r*m + u for m.
-2
Let f be ((-4)/2)/(-4 - -2). Solve -x - f - 1 = 0 for x.
-2
Suppose -4*t = -4*k + 4, 5*k - 17 - 3 = 2*t. Let c be (k/(-2))/((-6)/(-4)). Let y = c + 4. Solve 3*q = -y - 7 for q.
-3
Suppose -2*n + 6 = -n. Solve w - n*w = -20 for w.
4
Let h be (-1 - 2/(-6))*-3. Suppose h + 2 = q. Solve 0*y + q*y = -16 for y.
-4
Let y = -13 - -8. Let a = 8 + y. Solve 4*i + 19 - a = 0 for i.
-4
Suppose 3*p = -r + 7, -p = -r - 0 + 3. Let z be r/(-18) + (-203)/(-63). Let m = z + 0. Solve h + 4 = m*h for h.
2
Suppose 4*t - t - 2*s = 4, -4*s = -2*t + 8. Let x = -5 + 6. Let d be (5 - x) + 2 + -2. Solve -4*u + 16 + d = t for u.
5
Suppose 0 = 5*b - 4 - 26. Suppose l - 2*i = 11, 0 = 5*l - i + 5*i - 41. Let n = l - b. Solve 0 = u - n*u - 4 for u.
-2
Let z(l) = -l**3 - 7*l**2 + 9*l + 8. Suppose 0 = 5*t + 25, 6*w - t = 2*w - 27. Let m be z(w). Suppose m = -2*q - 1 + 9. Solve a = q*a + 15 for a.
-5
Suppose 3*g + 20 = -2*g. Let u be (-24)/((g/(-6))/(-1)). Let y be (u/(-20))/(1/(-5)). Solve -2*r - r = y for r.
-3
Let d(p) = -p**2 - 8*p + 17. Let x be d(-10). Suppose -17 + 77 = 3*q. Let o be (q/x)/4*-3. Solve -5*g = 20 - o for g.
-3
Let p(n) = -n**3 - 3*n**2 + n + 3. Let d be p(-3). Let y be (d - 0)/(4 - 2). Solve 2*w + 2 = -y for w.
-1
Let v = 36 - 36. Solve v = 3*h + 2*h + 10 for h.
-2
Suppose 2*a = -5*u + 23, -2*u + 3*u - 1 = -4*a. Let b be 2 - ((a - 0) + 0). Solve 2*s - 5 = b for s.
4
Let y(j) = j**3 - j**2 + 6*j - 7. Let b be y(2). Solve -q - b = -4 for q.
-5
Suppose -21 = -4*s - 1. Let z(r) = r**3 - 6*r - 3. Let b be z(s). Suppose -4*u - 3*d = -b, 4*u - 60 = 4*d + d. Solve u = 4*k + 4 for k.
4
Let q be ((-2)/4)/(4/(-16)). Solve 3*k - 20 = -q*k for k.
4
Let t(a) = -2*a + 20. Let s be t(9). Solve u = s*u for u.
0
Suppose -4*h + 3*a = 6*a - 9, h = 5*a - 15. Solve -2*o - 5 - 1 = h for o.
-3
Let y = 22 - 7. Let c be (-39)/(-12) - (-1)/(-4). Suppose -c*n = 6 - y. Solve v + 0 = -n for v.
-3
Let s(x) = -x**2 - 6*x + 2*x + 5*x - 6*x. Let g be s(-5). Let h be (-3 + 15/6)*g. Solve -3*y - y + 8 = h for y.
2
Suppose -z - 1 + 4 = 0. Solve -15 = -6*m + z*m for m.
5
Let w(r) = -r**2 - r. Suppose -h = 3*q + 13, 6*h - 2*h + 12 = -2*q. Let m be w(h). Solve -6 = 3*u - m*u for u.
-2
Let z(v) be the second derivative of -v**5/20 + v**4/2 + 7*v**3/6 + 3*v**2 + v. Let a be z(7). Suppose m = 2*m - a. Solve -5 = -j + m*j for j.
-1
Let q be 1*-1*9/(-3). Suppose 0 = w - 2*w - 22. Let t = w + 35. Solve 4*h + q = -t for h.
-4
Suppose -3*i + 4*r = -0*i - 12, -5*i = -3*r - 20. Solve i - 13 = -3*d for d.
3
Suppose -3*x + 13 = -0*x - t, -3*t - 15 = -x. Solve -x*v - 4 = -7*v for v.
1
Let p(k) = -k**3 + 5*k**2 - 4*k - 2. Let y be p(4). Let d be ((-1)/1 + y)/1. Let b be -2 + 5 + (-18)/d. Solve -4*t = 11 + b for t.
-5
Suppose -2*t = 3*q + 3*t - 3, 2*t = 4*q - 4. Solve -j = 5 - q for j.
-4
Let u = -1 + 6. Let w = 2 - u. Let d be -6*(w/(-6))/(-1). Solve b + d = 7 for b.
4
Let h(n) = n**2 + 8*n + 10. Let o be h(-8). Suppose d = -2*q - o, -q = 2*q + 15. Suppose -3*f + 15 = -d. Solve 2*p - f = 7*p for p.
-1
Let y be 17 - (-6)/(-3 + 5). Solve 0*p + y = -4*p for p.
-5
Let d = -159 - -174. Solve -h = -4*h - d for h.
-5
Suppose 7*l - 2*l = 20. Solve -l*o - 3 = -o for o.
-1
Let w be (4/6)/((-1)/(-6)). Let x = -31 + 47. Suppose 18 = n - 4*p, -2*p - 2*p - x = 0. Solve -12 = n*v - w for v.
-4
Suppose -2*j = -0*j - 4*j. Solve i - 2*i - 1 = j for i.
-1
Suppose -5*i - 21*i = 0. Let t(s) = 4*s**2 - 1. Let o be t(-2). Solve o = 5*n - i for n.
3
Let g be (-24 - -18)*(2/4)/(-1). Solve 3*k = 9 + g for k.
4
Suppose 3*u + 10 = -2*u, -q - 4*u = 0. Let g = -4 - -6. Solve -g*y - q = 2*y for y.
-2
Suppose -2*p + 4*p - b = 10, -1 = -3*p - 2*b. Suppose 6*i = p*i. Solve i = -2*a - 2 - 0 for a.
-1
Let l be 46/6 - 4/6. Let n(a) = -a. Let y(f) = -2*f - 1. Let d(m) = -9*n(m) + 4*y(m). Let o be d(l). Solve o = 4*z + 7 for z.
-1
Suppose 0 = 3*u - 3 - 3. Solve -3*j + u = -j for j.
1
Suppose -1 = -2*o - 3*y + 6, -5*y + 13 = 4*o. Let g be o - (-3 + 3)/4. Solve -6*t + 5*t + g = 0 for t.
2
Let n(c) = -c**3 - 7*c**2 + 8*c + 3. Let a be n(-8). Suppose a*y = 6*y. Solve 0 = -y*j + 3*j + 9 for j.
-3
Let h(j) = j + 2. Let x be h(3). Suppose 4*y + 2*o + 10 = 0, 5 + 0 = -4*y - o. Solve -10 = x*k - y*k for k.
-2
Suppose 3*p = -9, 2*m - 4*m - 1 = 3*p. Solve -2*n = -6*n + m for n.
1
Suppose 2 + 6 = 2*j. Suppose -3*v + 15 = -21. Solve -i = -j*i + v for i.
4
Suppose l - 36 = 5*l. Let p be 6/l*(-15)/5. Solve t - p = -7 for t.
-5
Let q = -127 - -127. Solve 8*c - c - 35 = q for c.
5
Let r(n) = 3 + 0*n - 2*n - 9 - 7. Let y be r(-9). Solve y*k - 6 + 21 = 0 for k.
-3
Suppose -17*x - 29 = -165. Solve 2*h + x = -0 for h.
-4
Let z be (1 + 14/(-2))/(-3). Solve 1 = z*y + 5 for y.
-2
Suppose -12*u = -23*u + 99. Suppose -2*m + 0*m + 6 = 0. Solve m*v = -0 - u for v.
-3
Suppose -39 = 4*j - j. Let a be 22/26 - 2/j. Solve -a = 3*g + 8 for g.
-3
Suppose 0*s - 4 = -2*s, 3*y - 34 = -2*s. Let m(h) = -h**3 + 11*h**2 - 11*h + 10. Let d be m(y). Solve d*g = 3*g + 15 for g.
-5
Let n(d) = 2*d**2 - 11*d + 5. Let o be n(5). Suppose 2 = -a - 4*r, 2*r + r + 6 = o. Solve 0 = -a*q + 2*q for q.
0
Let q be (-16)/(-40) + (-28)/(-5). Solve -d + q*d = 0 for d.
0
Let z be ((-7)/(-2) - 2)*-10. Let r = -10 - z. Suppose p - 3*k = -3, 5*p + r*k - 2 - 23 = 0. Solve 2*a - p*a = 0 for a.
0
Let j = -6 - -10. Solve 16 = 4*c + j for c.
3
Let p(u) be the third derivative of -u**4/24 - u**3/3 + 2*u**2. Let z be p(-4). Solve 0 = -0*g - z*g + 4 for g.
2
Suppose 2*i - 3*o + 9 = 0, 2*i + 5*o = -2*i + 37. Suppose -i*q + 3*w = -21, 0*q = 2*q - 4*w - 10. Solve q + 6 = -3*b for b.
-5
Let c be (2 - 1) + (3 - 0). Suppose -c*k = -0 - 16. Solve a + k = 2*a for a.
4
Let b(o) = o**3 - 14*o**2 + 13*o + 5. Let i be b(13). Suppose 5 = -l - s, 2*l - 8 = i*s + 17. Solve 5*z - 23 - 2 = l for z.
5
Suppose 1 = -i + 3. Suppose 0 = -i*v + 4*v - 5*s + 17, 7 = 3*v - s. Solve v*z = z + 15 for z.
5
Let v(r) = r**2 - 4*r - 5. Let s be v(5). Suppose s = -4*t + t - 3*n, 0 = -3*t - n + 6. Let f be 6/t + -2 + 12. Solve 0 = -0*k - 4*k + f for k.
3
Let f(d) = -7*d + 0*d**2 + 12*d - d**2. Let c be f(4). Solve 25 = -m - c*m for m.
-5
Suppose -h + 8 + 1 = 0. Solve h = 4*l - 11 for l.
5
Let a(p) be the third derivative of p**6/120 + p**5/60 + p**3/6 + 3*p**2. Let s be a(0). Let y be (-2 + 3 + 2)/s. Solve 2*r = 3 + y for r.
3
Let l(v) = 2*v**2 + 25*v - 11. Let u be l(-13). Let r be -15*(-2 - 4/(-3)). Solve -r = -u*m - 0*m for m.
5
Let x(q) = q**3 + 4*q**2 - 3. Let d be x(-4). Let m be 10 - d/6*6. Solve 0 = 3*a + m + 2 for a.
-5
Let b = 10 - 3. Let r be (b - 14)*4/(-14). Solve -4 = r*a - 14 for a.
5
Suppose -5*u + 22 = 2. Let p be (-2)/5 + u/10. Solve p = -2*z + 9 + 1 for z.
5
Let a(u) = -2*u - 5. Let k = 9 + -13. Let p be a(k). Suppose 2*w = -p*l + 20 - 5, -3*w = -4*l + 20. Solve w = 4*v - 3*v for v.
0
Suppose -5*c - 15 = -10*c. Let h(p) = -2 + 4*p**2 - 2*p**2 + 0 - 3*p**2 - 5*p. Let d be h(-4). Solve -d = s - c*s for s.
1
Let o = -5 - -10. Suppose -r + 0*r + 4 = 2*w, -4*r - o*w = -16. Let h be (0 + 0)*r/(-8). Solve -2*k - 2*k + 20 = h for k.
5
Let t = -17 + 13. Let l be 154/35 + t/10. Solve o = l*o for o.
0
Let u(f) = -4*f + 4. Let d be u(-5). Suppose 3*g = -3*o + d, -51 = -5*g - 4*o - 15. Solve g*p = p for p.
0
Suppose -4*h = -h + 3*c, -4*c - 18 = -5*h. Let s(v) = v**3 - v**2 - 2. Let a be s(h). Suppose 0 = -u + 2*u, -2*j - 3*u = -2. Solve 5 - j = -a*r for r.
-2
Let r(o) = o**3 - 4*o**2 - 4*o - 3. Let n be r(5). Suppose -x - n*x = -15. Suppose x*b + 3 - 13 = 0. Solve 0 = b*h + 2 - 6 for h.
2
Let y(a) = a**3 - 4*a**2 - 8*a + 18. Let x be y(5). Solve -t = x + 1 for t.
-4
Suppose 4*w = -0*p - 2*p + 2, 5*p + 25 = 5*w. Let v = 2 + w. Solve 3*d = -d - v for d.
-1
Let l be 1*20 + 2/1. Suppose 5*g - 29 = -t - 10, -2*g = 4*t - l. Solve 