-5))*0. Solve -9 = -p*v - 3*v for v.
3
Let o be 2/6 + 76/6. Let c = 18 - o. Solve -c*x - 8 - 2 = 0 for x.
-2
Suppose 0*z - z - 20 = -2*y, 4*y - 60 = -3*z. Solve 2*n + n = y for n.
4
Let i = 21 - 16. Let v(d) = -d + 5. Suppose f + 3 = 7. Let s be v(f). Solve 2*k = s - i for k.
-2
Let c = 1 + -1. Solve -j = 1 - c for j.
-1
Let j(p) = p**3 + 4*p**2 + 3*p + 2. Let n = -7 - -5. Let m be j(n). Solve m = -3*o - 2 for o.
-2
Suppose 2*p = -5*o + 10, p + 3*o = -p + 6. Let u be (3 - (p + 1)) + 2. Suppose -5*r + r - 5*d + 15 = 0, 5*d = u*r - 65. Solve 4*b = -r - 10 for b.
-5
Let r be (-12)/(-16) + 3/(-4). Suppose -5*j - s = -16, 4*j + r*j - 8 = 4*s. Solve z = 5 - j for z.
2
Let y = -52 - -22. Let m be y/(-4) + 5/10. Let g be (-11)/(-5) + 3/(-15). Solve 0*j - m = -g*j for j.
4
Let t be 9/(-15) - (8/(-5) + -4). Suppose -2*s - 6 = -58. Suppose 4*o = -4*l + 12, 7 = t*o - 4*l - s. Solve p + o = -0 for p.
-5
Let s be ((-5)/(-2) + -3)*0. Solve s = -4*v + 3*v for v.
0
Let t = 65 - 61. Solve 4*m = 2*m - t for m.
-2
Let a(h) = h - 5. Let x be a(7). Solve x*z + 3 = z for z.
-3
Suppose 3*p + 2*l - 17 = 0, 0 = -p + 2*l - 0 - 5. Let x = p + -3. Suppose 3*o = 3*b - 9, b + b + 5*o + 1 = 0. Solve b*a + 3*a = x for a.
0
Let d = 4 + -9. Let l = d + 8. Let p = 3 - l. Solve 3*h - 2 + 8 = p for h.
-2
Suppose -43*j + 5 = -38*j. Solve -2*m = 9 + j for m.
-5
Let o be (-3)/(-6)*0/2. Let u(z) = -2*z - 7. Let x be u(-6). Let w(i) = i**2 - 5*i + 4. Let t be w(x). Solve o = t*y - 2*y + 10 for y.
-5
Suppose 3*u = 2*u + 2. Let k = 9 + -6. Suppose 3*z - 3 = -f, u*f - 3*z + k = 5*f. Solve f = c - 2 - 3 for c.
5
Suppose r - 8 = -3. Suppose -r*a = -0*y - 5*y, a - 4 = 0. Solve k = y*k for k.
0
Let y = 1 + 2. Suppose -s = c - 2*s, y*c + 10 = 5*s. Solve 0*b = c*b for b.
0
Let z be 24/16 - 33/(-2). Let m = -1 - -3. Let t = 2 + m. Solve z = -t*k - 2 for k.
-5
Suppose 4*p + 2*t + 13 = 29, 8 = 4*t. Suppose f + p*f - 20 = 0. Suppose -m - f*i - 14 = 0, -4*m + 2*i + 32 = -0*i. Solve y - m*y = -10 for y.
2
Let o be ((-16)/20)/((-4)/(-30)). Let u be o/(-45) + (-118)/(-15). Solve -4*r = -u*r - 8 for r.
-2
Let j be (2/13)/(-1) - (-580)/52. Solve 0 = 3*n - j - 1 for n.
4
Suppose -i + 45 = 4*i. Let s = -5 + i. Solve -s*r = r - 25 for r.
5
Suppose 3*z - 30 + 0 = 0. Suppose -2*h - 12 = z. Let g = h - -21. Solve r + r = -g for r.
-5
Let v = 17 - 8. Let t = v - 4. Solve t*m + 10 = -0*m for m.
-2
Let g(s) = 5*s**3 - 1. Let j be g(1). Solve j*y + y - 20 = 0 for y.
4
Let m be 0 + (-5)/(10/12). Let c be m/(-2) + 2 - 2. Solve -c*j + 1 - 10 = 0 for j.
-3
Let t = -3 - 0. Let f be 1/t - 14/(-6). Suppose 0*l - 6 = -f*l. Solve l*d = d + 4 for d.
2
Let d = 30 - 21. Solve -a = -4*a - d for a.
-3
Let s(p) = -p**2 + 4*p + 1. Let q be s(2). Solve 0 = q*m + 3 + 2 for m.
-1
Suppose c = 2 - 1. Let u = -265 - -267. Solve -z - c = -u for z.
1
Let i(p) = -p - 5. Let a(x) = -x - 5. Let r(z) = -5*a(z) + 6*i(z). Let y be r(-7). Let o be 0/(-1)*(-1)/2. Solve -f = -o*f - y for f.
2
Let m(p) = -p**2 + 3*p. Let t be m(3). Let d = 0 - t. Solve -12 = 3*r - d*r for r.
-4
Let i(t) = -6*t - 50. Let r be i(-9). Solve 0 = r*g - 2*g - 2 for g.
1
Suppose -3*t + 3 = 5*r + 9, 0 = -2*t - 2*r. Solve t*k = -k - 4 for k.
-1
Suppose 23 = 4*k - r, 3*k - 5 = -4*r - 2. Solve -5*q + 15 = -k for q.
4
Suppose 4 + 6 = 5*w. Solve 0*c + c = -w for c.
-2
Let i be 9/(-72) - 34/(-16). Suppose i*h = 3*h - 12. Solve -3*m = -0*m - h for m.
4
Suppose -2*k + 54 = 34. Solve -7*a = -2*a - k for a.
2
Let a = 24 - 20. Solve a*t + 20 = -0*t for t.
-5
Let c(d) = 56*d**2 - 1. Let r be c(1). Suppose r = 3*p - 5. Solve 4*x = -x + p for x.
4
Suppose -2*t - 5 = -t, 0 = -2*n + 2*t + 22. Solve 9 = -3*p - n for p.
-5
Let i be 9/(-21) + 219/21. Suppose 0 = -f - j + 7, -j = 5*f - 2*f - 23. Suppose 2*u - 8 = 3*x, -2*u - 4*x + 2*x + f = 0. Solve -w = u*w - i for w.
2
Let p be (-16)/(-10) + (-4)/(-10). Let r(h) = h - 2. Suppose 0 = q - 1 - 3. Let y be r(q). Solve -12 = -p*c - y*c for c.
3
Let t(j) be the first derivative of -j**3/3 + 5*j**2/2 + 2*j - 2. Let p be t(6). Let w = -2 - p. Solve -3*c - 4 = w for c.
-2
Suppose 0 = 2*q + 2*o - 12, 2*q = -2*q + o + 14. Solve -8 = q*h + 12 for h.
-5
Suppose 0 = 2*a - 2*k + 2, -2*a - 1 = -5*k + 13. Solve h = a + 1 for h.
4
Let l(o) = -o**3 - 5*o**2 + o + 1. Let m be l(-5). Let p = m + 6. Solve r - p*r = 1 for r.
-1
Suppose -s - 1 = -l + 2, -5*l + 7 = 3*s. Suppose 3*g - 20 = -l*g. Solve -2*r = 2*r - g for r.
1
Suppose 4*z - 4*h - 36 = 0, -2*z + 0*z - 5*h + 25 = 0. Suppose z = 2*b - 0, -3*b - 5 = -2*p. Solve 3*o = 5*o + p for o.
-5
Suppose -3*o + 5*o - 40 = 0. Solve 3*n - o = 8*n for n.
-4
Suppose 0 = -3*y - 3 + 9. Suppose -4*g = 0, -3*k + y*k - 2 = -g. Let s be 6/(-2) + (5 - k). Solve -2*t + s = 10 for t.
-3
Let v be -6*(2 - 54/12). Solve 4*j - j + v = 0 for j.
-5
Let z be 30/3*2/5. Let k be z/2 + 1*-1. Solve k - 16 = -5*f for f.
3
Let x(u) = -u**2 - 4*u - 1. Let p be x(-4). Let t be 1/(2/(-8))*p. Solve 2*k - 6*k - t = 0 for k.
-1
Let s = 75 + -75. Solve s = -3*p - 7 - 8 for p.
-5
Let r = -3 + 6. Solve -h - 2*h = r for h.
-1
Suppose -2*n = -0*n - 4*g - 34, -g + 85 = 5*n. Let s = n - 11. Suppose 0 = 4*j + a - 12, -s = -3*j + j - a. Solve -j*y - y = -20 for y.
5
Let g = 2 - 6. Let q be 7 - 0*2/g. Solve 2*w - 1 = -q for w.
-3
Let m(g) = g**3 - 8*g**2 + 3. Let s be m(8). Suppose s*l = -u + 40, 0 = -5*u - 9 + 29. Solve -l = 3*d + 3 for d.
-5
Let r be 0/(-1 - -1 - -2). Let z(w) = -w + 6. Let t be z(3). Let y = r + t. Solve y = u + 6 for u.
-3
Suppose -t - t = 0. Let b(w) = w**2 + 2*w + 1. Let m be b(3). Suppose -m = -4*q + 2*l, 0*l + 20 = 5*q - 4*l. Solve 0*c + c - q = t for c.
4
Let k be (-2)/6 + (-14)/(-6). Suppose 2*i - 7 = 3*u, 0*i - 3*i = 4*u + 32. Let w = i + 5. Solve 9 - w = k*g for g.
4
Let l be (33/(-6) + -2)*-1*2. Solve -p + l = -4*p for p.
-5
Let n(g) = -3*g**2 + 2*g - 1. Let x be n(1). Let j(u) = -2*u**2. Let f be j(x). Let m be 2/3 + f/12. Solve 3*o = -m*o for o.
0
Let q(t) = t + 6. Let k be q(-5). Let i = -7 + k. Let f be (-2)/3 + (-124)/i. Solve -7*a + 3*a = -f for a.
5
Suppose 0*j - 5*c + 14 = j, 0 = 2*j - 3*c - 2. Suppose 0 = -f - 2 + j. Solve f*l = -0*l - 10 for l.
-5
Let d(c) = -3*c - 5. Let x be d(-5). Let y = -8 + x. Solve -3*j = 8 - y for j.
-2
Suppose -3*t = 2 + 4. Let v be -3 - (t + 4*-1). Solve 0*a + v*a = 6 for a.
2
Suppose 8*q = -15*q. Let t(l) = 6*l**2 + l**3 + l**3 - 5 - l**3 + l. Let b be t(-5). Solve -5*a + b = -q for a.
3
Suppose 5*r + 7 = -j + 21, -3*r = -5*j - 14. Solve o - 6 = r*o for o.
-3
Suppose t + 9 = 2*i, -t = -4*i - 4*t - 7. Solve -i*g = -3*g for g.
0
Suppose 6*v = 8*v + 36. Let r = 23 + v. Solve 0 = 5*o - r - 20 for o.
5
Suppose -5*h + 2 = -8. Solve 6*u - h*u - 20 = 0 for u.
5
Suppose -4*c + 5 = -19. Solve 15 = -c*l + l for l.
-3
Let d = 17 + -12. Suppose -d - 15 = -l. Solve -2*c = 3*c + l for c.
-4
Suppose 1 = -2*t + 3*t. Suppose t + 4 = y. Solve 0 = -y*v - 15 - 10 for v.
-5
Suppose -5 = 3*r + 1. Let i be r/(-4)*(-12)/(-3). Suppose j = -3*a + 4*j + 12, 0 = 5*a - 3*j - 12. Solve a = i*s + s - 9 for s.
3
Suppose 2*h - 16 = -4*c, 2*h = -3*c + 5 + 8. Suppose 6 - h = y. Suppose 4*r - 2*p - 15 - 19 = 0, -r = -4*p - 5. Solve -y*k + 7*k = -r for k.
-3
Let i = 0 + 2. Let y(o) be the third derivative of o**5/60 + o**4/4 - o**3/2 + o**2. Let x be y(-7). Solve x*j = i*j + 4 for j.
2
Suppose 3*b + n - 2 = 0, 5*n + 11 = -9. Let j = b - -2. Suppose -j*s + 2 = -2. Solve s = v + 4 for v.
-3
Let o = 10 + -10. Let v(u) = -4*u - 2*u + 2*u - u**2 + 2. Let k be v(-4). Solve o = -q - k + 1 for q.
-1
Suppose -2*c = 2, -2*c = -4*z + c + 23. Suppose -4*f = -z*f + 2. Let l be (f - 1)/(2/4). Solve l*k = -2*k + 4 for k.
1
Let g(c) = -2*c**3 - 4*c**2 + 2*c - 10. Let v be g(-3). Solve -v*x + 0*x = 10 for x.
-5
Let w(s) = -s**3 - 4*s**2 - 7*s - 4. Let x be w(-2). Solve 3*b = b + x for b.
1
Let a(h) be the third derivative of -h**5/60 - 7*h**4/24 + h**3/3 + 6*h**2. Let m be a(-7). Solve 0 = -0*j + m*j for j.
0
Let z(i) = -i**3 + 4*i**2 - 2*i - 2. Let n be z(2). Let j be -6*n*2/(-8). Suppose 4*k = -o + 15 + 6, -2*k = 3*o - 13. Solve -1 - k = j*t for t.
-2
Let x(p) = -p**2 + 10*p - 6. Let w be x(6). Solve 4*s + 2 = w for s.
4
Let q = 1 - 3. Let f be 1/2 + (-3)/q. Solve -f*i - i = 9 for i.
-3
Suppose -2*t - 3*t = -15. Let f = t + 1. Suppose -f