 + 4. Let o be x(0). Solve q*v = -o*v + i for v.
4
Let c = 33 + -26. Let r = -1 + 2. Let s(k) = -k**3 - 2*k**2 - 2*k - 2. Let h be s(-2). Solve c = -h*g - r for g.
-4
Let v be 3/(0 + 3)*0/(-7). Solve v = -7*g + 9*g for g.
0
Let y be 17*(0 - 2)/(-2). Suppose 3 + 1 = -q, 2*q + y = 3*i. Solve c - i*c = -10 for c.
5
Let m(i) = i**2 - 3*i - 2. Let f be m(3). Let r be f*(195/6)/(-5). Suppose t + 3*p + 31 = 5*t, -p + r = t. Solve -5*x + t = -15 for x.
5
Suppose -q + 5 = 0, 0*q = -m - 4*q + 28. Solve 0 = 4*c + m + 4 for c.
-3
Suppose 4*q + 3*p - 32 = 0, -2*p = -2*q + p + 16. Let b(i) = i**3 + 6*i**2 - 4*i - 19. Let a be b(-6). Solve q = -a*y + y for y.
-2
Suppose 2 = -5*f + 2*o + 12, 3*f - 6 = -3*o. Solve f = -n - n for n.
-1
Let h = 20 + -16. Let m(f) = -f + 11. Let b be ((-24)/10)/((-6)/(-20)). Let u be m(b). Solve -h*k + u = 3 for k.
4
Suppose 0 = -5*l + 4*c - 75, 4*l = c - 4*c - 29. Let r = l - -17. Solve -r = -s - 2 for s.
4
Let k(r) = r**2 - 4*r - 5. Let v be k(5). Let w be 4/10 + (-32)/(-20). Suppose -3*t - w*d = -9, 2*t + v = 4*d + 6. Solve 0*q - t = q for q.
-3
Let x(h) = 3*h - 6. Let o be x(4). Let m(v) = v**2 - 4*v - 1. Let f be m(4). Let c be 0 - ((-1 - f) + 0). Solve 4*p - o*p - 2 = c for p.
-1
Let p(r) = -6*r**3 + 1. Let s be p(-1). Let x = 12 - s. Suppose -5*h + c = 3*c, 0 = -h + 5*c. Solve h = -0*l - l + x for l.
5
Suppose 2*g = -g - 4*a + 19, 2*a + 23 = 5*g. Solve 6 + 4 = g*r for r.
2
Suppose -10 + 30 = 4*u. Suppose 0 = x + 2*d + 2*d + 10, 0 = 2*x + u*d + 5. Solve 5*t + x = 25 for t.
3
Suppose 0 = 5*p - 2*p. Let j = p + 0. Solve j = 3*d + 2*d for d.
0
Let l = 11 + -11. Solve -2*r - 8 = -l*r for r.
-4
Suppose 0*m + 100 = 4*m. Let j be 8/(-3 + 7) + 1. Solve 2*o = -j*o + m for o.
5
Let f be 2/8 - 11/(-4). Let b be (4 + -1)/(f/8). Solve -5*v - b = -28 for v.
4
Let g(u) = -u**3 - u**2. Suppose b - 9 = 2. Suppose -2*m - 15 = -5*s, -b + 2 = -3*s. Let p be g(m). Solve p*h + 4 = 4*h for h.
1
Let p(l) = 2*l**2 + 10*l + 7. Let s be p(-6). Suppose -5*q = -s - 6. Solve -3*v = -4*v + q for v.
5
Let m(p) = -p**3 - 8*p**2 - 8*p - 5. Let i be m(-7). Solve -w = -2*w + i for w.
2
Let d = -6 - -5. Let v be 2 - d - (-4 + 5). Solve v*j = -5 - 3 for j.
-4
Let q = -4 + 6. Suppose -g = -0*g + 2*n + 8, -q*g + 16 = -4*n. Suppose 0 = -3*y - g*y + 12. Solve -20 + y = -4*a for a.
4
Let q be (-1 + 6)/((-4)/(-12)). Solve 8*c + q = 3*c for c.
-3
Let m(w) = 3*w - 1. Let d be m(1). Suppose -2*r + 2*f = -4, f + 1 = d*r - 1. Suppose -4*b + r*b = 4*p - 84, -62 = -3*b - 2*p. Solve -6*z + z = -b for z.
4
Suppose -33 = -5*b + d + d, -4*b + 31 = 3*d. Solve 8 = -5*y - b for y.
-3
Suppose 0*f + 5*j - 1 = -2*f, -5*f + j = -16. Solve -4 = -f*c - 16 for c.
-4
Let t be (-3 + 0)/((-3)/8). Suppose -t = -p - 3. Solve -p - 1 = 3*l for l.
-2
Suppose 0 = -2*a + 3*a - 2. Solve a*o + 3 = o for o.
-3
Let a(y) = y**3 + 0 - 3 - 5*y + 6 - 4*y**2. Let h be a(5). Suppose -5 = -h*q - 2*q, q = -2*m + 1. Solve -2*g + 4 + 2 = m for g.
3
Let k(c) = c + 16. Let x be k(-13). Let m be (-30)/40*(-8)/x. Solve 0*l = m*l for l.
0
Suppose 4*h - 4*v - v - 1 = 0, -h - 8 = -4*v. Suppose 16 = -0*s + h*s. Suppose 4*j = -5*k + 23, s*j = 2*k - 0*k - 26. Solve -5*y + 3 = -k for y.
2
Let f be (8/1)/(6 - 5). Suppose f = -4*r + 2*p + 2*p, -4 = -4*r + p. Suppose -2*g + 10 = r. Solve -a + g = -0*a for a.
4
Suppose h + 16 = -2*w, 0*h = 3*h. Let u = 4 - w. Solve -4*m + 0 = -u for m.
3
Suppose -4*h + 7*h = 2*m + 6, 2*h - 4 = -5*m. Solve -2*d + 8 = -m for d.
4
Let l be (-4)/(-6) + 35/15. Suppose -3*r - 9 = 0, y - 7*r - 30 = -l*r. Solve 4*h + 2 = -y for h.
-5
Suppose -3*z + 8 = z. Let l = -26 + 29. Solve -l*f - z = -2*f for f.
-2
Let r = 0 - -12. Let u = r + -6. Let a be (-1)/(((-9)/6)/3). Solve u = a*g + 14 for g.
-4
Let t be -3 + 26/8 - (-19)/4. Solve -7 = t*h - 17 for h.
2
Suppose -4*z = -0*d - d - 4, 0 = 3*z + 5*d - 3. Let n(i) = 12*i**3 - i**2. Let a be n(z). Let p be a + -2 + (-2)/1. Solve 0 = -3*y + 5 + p for y.
4
Suppose -20 = 4*n - 9*n. Let u(q) = -3 - 2*q + 2*q - 3*q**2 - 2*q**3 - n*q. Let i be u(-2). Solve 7 = 4*j - i for j.
4
Suppose 5*x - 3*t = x + 3, 2*x - 3*t = 3. Let n = 0 + 6. Suppose 0 = -3*w + 6*y - 3*y + n, -2 = 2*y. Solve x = -2*q + w + 5 for q.
3
Let z(i) = i**2 - 12*i + 13. Let n be z(11). Solve n*x - 7*x = -5 for x.
1
Suppose -2*z + 7 = 2*l - 3, -10 = -4*z - 2*l. Solve z = -0*h + 2*h + 8 for h.
-4
Let v(l) = l**2 - 8*l + 9. Let s be v(7). Solve 2*o - 8 = -s*o for o.
2
Let t = -24 - -40. Solve -3*n - t = -7 for n.
-3
Let p(y) be the second derivative of y**3/3 - 2*y**2 - 4*y. Let j be p(4). Solve 12 = w - j*w for w.
-4
Suppose 0 = -4*m + 2*m + 20. Solve m = 5*h - 5 for h.
3
Suppose -v + 3*r + 24 = 2*v, -15 = 5*r. Solve 0 = x - 3 + v for x.
-2
Suppose -22 = -4*y + 2*j, -5*y + j + 6 = -17. Solve -f = -y*f + 6 for f.
2
Let r(h) = -h + 2. Let u be -7 + -1 + (-4)/(-2). Let p be r(u). Solve -4*i + 0 = -p for i.
2
Let k(r) = -15*r. Let l be k(-1). Let c be ((-12)/l)/((-2)/5). Solve -c*m - 6 = -4*m for m.
3
Let f = -13 + 18. Solve f*a = 2*a for a.
0
Let d be (-4)/10 + 68/20. Let t = d + -1. Suppose -2*j = -4, -y - 7 = -5*j + 1. Solve y*z + t*z = 8 for z.
2
Suppose 5*d - 2*l + 30 = 0, 0 = l - 6 + 1. Let i = d + 8. Solve -i*c = -2*c - 6 for c.
3
Let c(s) = 8*s - 2. Let b be c(2). Let l = b + 15. Let q = -14 + l. Solve 4*k + k = q for k.
3
Let u = 64 + -60. Solve -u*q = -6*q for q.
0
Let r(u) = -u**2 + 5*u + 24. Let w be r(8). Solve -4 = 2*m - w for m.
-2
Suppose -5*u + 12 = b, -5*u - 3*b + 4*b = -8. Solve -4 = u*g + 2 for g.
-3
Let q(f) = -2*f - 3. Let y be q(-3). Let z be -4*-1*(2 + -1). Let d = z + 0. Solve y*i = d*i for i.
0
Let a = -10 + 22. Suppose 0 = 6*s - 3*s - a. Solve -s*u = -u for u.
0
Let u(f) = -f**2 + f. Suppose -5*c + 6 = 1. Let h be u(c). Suppose -i + h = -4. Solve 9 - 1 = i*s for s.
2
Suppose -12 = -4*a - 0*a. Solve 5*i + a = 2*i for i.
-1
Let s = -4 - -10. Solve -15 = l - s*l for l.
3
Let c be ((-2)/(-2))/(23/115). Solve c*i = -0*i - 5 for i.
-1
Suppose 3*z = -5*b + 8*z + 80, 2*b - 3*z - 36 = 0. Let x(s) = -s**2 - 10*s - 14. Let y be x(-8). Suppose -d = y*d - b. Solve 6 = 2*u - d for u.
5
Let l = 11 - 5. Solve -2*q = -16 + l for q.
5
Suppose -p - 3*u + 30 = 0, -4*u - 93 = -2*p - 3*p. Suppose 12 = 4*n - 4*j, -5*n - 2*j = -4*j - p. Solve -3 = -n*z + 7 for z.
2
Let u be 30/12*(-4)/(-5). Suppose -2*f = 4*a, 2*a - 3 = -u*f + a. Solve -f = -0*d + d for d.
-2
Let w(n) = n**3 + 6*n**2 + 3*n + 9. Let s be w(-6). Suppose -2*c = -4*g + 6, -4*c + 8*g - 15 = 3*g. Let f = c - s. Solve -h = -f*h + 6 for h.
2
Let s = 11 + -4. Let l = -44 + 64. Let h = l - 7. Solve h = -5*v - s for v.
-4
Let y(m) = m**2 + 4*m + 1. Let l be y(-5). Let t = -5 - -10. Let b = 8 - t. Solve l + 9 = -b*k for k.
-5
Let v(r) = -2*r**2 - 6*r + 6. Suppose 5*y = 0, -y + 5*y = -3*c - 15. Let d be v(c). Let j be (-4)/d - (-206)/14. Solve -m = 4*m - j for m.
3
Suppose -a + 22 = 18. Solve a*x - 6 = 2*x for x.
3
Let p(c) = -c + 1. Let h be p(-3). Suppose -h*a - 2 = s - 19, -5*a = 5*s - 55. Solve -s*t + 25 = -4*t for t.
5
Let t be 94/18 - (-8)/(-36). Solve -p - 8 = -t for p.
-3
Let u be (0/(-1))/(-8 + 6). Suppose -l = -u*l + 1. Let s be (-1 + l/(-1))/(-1). Solve s = -4*g + 3*g for g.
0
Let s be ((-3)/2)/((-1)/(-2)). Let a be (-4 + 12/4)*s. Solve 4*v - a = v for v.
1
Let l be ((-40)/14)/((-2)/7). Suppose -3*x + l = 2*x. Solve 5 + 1 = x*s for s.
3
Let k = 11 - 6. Solve k*p = 12 + 8 for p.
4
Suppose 3*v + m - 15 = 0, 0 = v + m - 5. Suppose -5*f + 37 = -r - 27, -5*f + v*r + 80 = 0. Solve -5*q = -13 - f for q.
5
Let u = 76 - 73. Solve u*s + 5 - 17 = 0 for s.
4
Let b(r) be the third derivative of -r**5/60 + r**4/4 + r**3/3 + 4*r**2. Suppose -5*n + 14 = -11. Let f be b(n). Solve 2*c - f*c + 5 = 0 for c.
1
Let r be 20/90 - (-254)/(-9). Let s be (-52)/(-9) - r/126. Solve 0 = 5*g - s + 1 for g.
1
Let z(w) be the third derivative of -w**5/60 + w**4/4 - w**3/6 - 2*w**2. Suppose -n = -3*n + 10. Let i be z(n). Solve -i*u + 5*u = 4 for u.
4
Let a be (1/3)/(8/24). Solve -4*z - a = -13 for z.
3
Let s(q) = -q - 4 + 1 + 2*q. Let n be s(5). Solve 0 = -0*l - n*l for l.
0
Let g(n) = -6*n - 19. Let m be g(-7). Solve m = 4*x + 7 for x.
4
Let i(v) = v + 1. Let q be i(-1). Suppose -9*d + 51 = 8*d. Solve j = d - q for j.
3
Let v be (-16)/(-104) + (-6)/39. Solve v*x + 