+ 4*v = 6, -o + 4*v = 10. Suppose o*h = 5*h. Solve 0 = -h*q - 3*q - 6 for q.
-2
Let h(c) = -c**2 - 7*c + 3. Let z be h(-4). Solve -v + z = 2*v for v.
5
Let h(l) = -l**2 - 13*l - 31. Let j be h(-8). Solve -r = j - 7 for r.
-2
Let w(o) = o**2 + 1. Let k = 4 - 2. Let u be w(k). Suppose u*l = l + 40. Solve 3*x = -2*x + l for x.
2
Suppose 12 = i + i. Suppose i*q - 15 = q. Solve -q*c = -c for c.
0
Suppose 5*d - 20 = m, m + 2*m = -5*d. Suppose 0 = 3*a + a. Solve o - d*o = a for o.
0
Let j(a) = a**3 + 6*a**2 - 15*a + 10. Let z be j(-8). Solve z - 5 = d for d.
-3
Let l(j) = -j. Let m be l(-6). Suppose 5*z + v - 25 = 4*v, -8 = z + 2*v. Suppose z*x = -2*x + 8. Solve m*b - x = 5*b for b.
2
Let n(o) = o**2 + 6*o + 3. Let h be n(-3). Let d be (-10)/h - (-4)/(-6). Suppose u = -4*s + 16, 3*s - 11 = -5*u + d. Solve -w + 0 = -s for w.
4
Let g = -9 + 14. Solve 5*b - g = -0 for b.
1
Let b = -5 - -25. Suppose 0 = 2*p + 2*p - 5*k, 0 = -5*k + b. Suppose 3*u = 2*u + 2. Solve -p = 7*i - u*i for i.
-1
Let v(g) be the second derivative of 1/12*g**4 - 3*g**2 + g - 1/2*g**3 + 0. Let q be v(5). Solve -q*y - 9 = -29 for y.
5
Suppose 2*t = 2*s + 3 - 7, 2 = 5*s - t. Let j(m) = s*m + m + 3*m - 1. Let p be j(2). Solve -5 = 4*a + p for a.
-3
Suppose n + 3*a = 23, a = -4*n - 1 + 38. Suppose 3*c = n + 4. Solve -8 = -4*o + c for o.
3
Let z(y) = -y**3 + 8*y**2 + 2*y - 10. Let q be z(8). Solve 0 = q*m - m for m.
0
Suppose -6*j = -3*j - 60. Suppose -5*t - 3*o + j = 0, 4 = t - 3*o - 0. Let d = -2 + t. Solve 2*q + d = 3*q for q.
2
Let r = 84 + -84. Solve r = 4*n - 20 - 0 for n.
5
Suppose 2*a - 5*a + 18 = 0. Suppose -4*b = 16, -3*m + b + 14 = 4. Solve -m*h = -a*h - 12 for h.
-3
Let o(f) = -f**2 - 10*f - 23. Let b be o(-5). Solve l - b*l - 5 = 0 for l.
-5
Suppose -3*o + 9 = -2*o. Let w(m) = -m**2 + 8*m + 1. Let q be w(8). Solve -2*f + o + q = 0 for f.
5
Suppose -41 = -5*x + 49. Let j(k) = -k**2 - 6*k - 2. Let q be j(-5). Suppose 4*y = 3*p + x, 2*y + 0*p - 18 = -q*p. Solve -2*s + 2 = -y for s.
4
Let q(w) = 7*w**2 - 15*w + 4. Let t(g) = 3*g**2 - 7*g + 2. Let x(p) = 4*q(p) - 9*t(p). Let r be x(-4). Solve r*f = -0*f + 10 for f.
5
Suppose -l + 4 = -2*f - 9, 2*f + 10 = 0. Suppose -2*r - x = -11, 3*x = r - x + 8. Solve u + r = -l*u for u.
-1
Let b = -25 + 26. Solve -1 - b = 2*z for z.
-1
Suppose -10*g + 12*g - 6 = 0. Solve -k + g = 2*k for k.
1
Let l be (-2 - 2/(-2))*0. Suppose 20 + 8 = 4*u - 4*g, -5*u - g + 29 = 0. Let w(q) = -q**2 + 5*q + 8. Let t be w(u). Solve l = -2*m + 4*m - t for m.
1
Let t = 1 - 5. Let q = t - -8. Solve 0*r = r + q for r.
-4
Let n(f) = f**3 + 5*f**2 - 8*f - 2. Let b be n(-6). Solve 0 = 2*g + b - 4 for g.
-3
Suppose 31 = 3*i + 1. Solve i*r = 5*r - 25 for r.
-5
Suppose -3*z = -14 - 1. Suppose 2*p = -4 + 6. Suppose 2*j + p - 3 = 4*w, -2*j + 5*w + 2 = 0. Solve 4*d + j = z*d for d.
1
Let u(z) = -z**2 - 8*z - 4. Let y be u(-6). Solve -2*t + y = 2*t for t.
2
Suppose 0 = 4*y + 1 - 9. Let u be (1/(-2))/(y/(-12)). Solve u*w = 9 - 0 for w.
3
Let y(r) = 2*r + 21. Let p be y(-9). Solve 0 = -2*w + p*w + 2 for w.
-2
Let l = -47 + 50. Solve -s + 2 = -l for s.
5
Suppose -4*q = 2*m + 1 - 11, -4*m - 10 = -2*q. Suppose 0 = -4*k - 3*t + 9, -9 = -0*k + 5*k - 3*t. Solve -q*d = -k*d for d.
0
Let r = 8 + -3. Let j(p) = p**3 - 4*p**2 - 4*p - 6. Let i be j(r). Let x be i/(-3)*0/(-3). Solve 2*d - 7*d - 15 = x for d.
-3
Suppose 4*z + 9 = 29. Solve -z*q + q = 12 for q.
-3
Let t(b) = b**3 + 7*b**2 + 5*b - 6. Let k be t(-6). Let a be (k + -3)*(-8)/6. Solve 0 = -0*p - a*p + 16 for p.
4
Suppose -4*n + l = -n - 12, 2*l = -3*n + 21. Solve -n*k + 25 = -0*k for k.
5
Suppose 5*s - 31 = 3*h, 2*h + 2*s = 3*s - 9. Let j be (3/h)/((-12)/24). Let t(f) = -f**3 - 5*f**2 + 7*f + 9. Let l be t(-6). Solve -12 = j*g - l for g.
-3
Suppose 4*r + 8 = 8*r. Let y be (-10)/r*16/(-20). Solve -u = y*u - 10 for u.
2
Let z = -10 - -35. Solve -4*p = p + z for p.
-5
Suppose -3*z = -5*z + 4. Solve -20 = -z*d - 2*d for d.
5
Suppose -4*f + 20 = z, f + 14 = 6*f + 4*z. Let w = 9 - f. Let x = -1 + 7. Solve -w*c + 0 = x for c.
-2
Let b be (-1)/2 + (-7)/(-2). Let u(y) = 4*y**2 - 2*y + 9*y + 2*y**2 - y**b + 2. Let n be u(7). Solve 4*j + n = 3*j for j.
-2
Let t(c) = c**2 - 8*c - 4. Let g be t(8). Let s = -1 - g. Suppose -s*f = -5*f. Solve f = 4*x + 4 for x.
-1
Let r(f) = 2*f + 18. Let k be r(-11). Let o = 7 + k. Solve o*g + 6 = g for g.
-3
Let u(r) = -r**3 - 5*r**2 - 2*r - 1. Let p = -1 + -4. Let h be u(p). Suppose -4*y = -h*y. Solve y*s + 2 = -2*s for s.
-1
Let x(i) = -i**2 + 4*i + 3. Let z be x(5). Let r = z + 5. Solve 4*u - r = 5*u for u.
-3
Let o(z) = z**2 - 5*z - 2. Let y(f) = -2*f**2 + 10*f + 5. Let m(b) = 9*o(b) + 4*y(b). Let d be m(3). Let t be 3/2*(0 - d). Solve -1 = a - t for a.
5
Let q(g) = -2*g + 3. Suppose 2*c + 8 = 6*c. Let x(w) = -w + 2. Let v(s) = c*q(s) - 5*x(s). Let o be v(6). Solve 0 = -o*l + 5*l - 3 for l.
1
Let a = -5 - -9. Suppose -a*h + 30 - 1 = 5*v, -2*v + h + 9 = 0. Solve 1 = 4*i + v for i.
-1
Suppose c - 27*c + 312 = 0. Suppose -4 = -q + 1. Solve k - c = q*k for k.
-3
Let w(c) = c + 4. Let o be (0/(-1) - -2)/(-1). Let b = 2 + o. Let j be w(b). Solve 0 = j*s - 0*s - 20 for s.
5
Suppose 9 = 4*i - 7. Suppose -4*k + 3*k + i = 0. Solve -a - a = -k for a.
2
Suppose 0 = 4*h - 3*b + 56, 3*b - 8*b = 3*h + 71. Let q = 26 + h. Solve -2*l - 1 = -q for l.
4
Let i(v) = v**2 + 4*v + 3. Let c be i(-4). Let s be -3*((-56)/(-6))/(-2). Let x be s/3 + 4/12. Solve -x = c*f + 1 for f.
-2
Let l be ((-168)/36)/((-4)/6). Solve 5*h + 22 = l for h.
-3
Suppose -x + 2 = -2*c, -3*c - 5 = 2*c. Solve -m - 3 + 0 = x for m.
-3
Let i = 7 - -18. Solve k + i = 6*k for k.
5
Suppose -3*s - 2 = 2*g, 4*s + g = 5*g + 24. Suppose 0 = s*k - 0*k - u - 8, 0 = -5*k + 5*u + 15. Solve -20 = -0*l - k*l for l.
4
Let d = 2 - 6. Let w be 14/8 - 1/d. Suppose -w + 10 = 4*a - 2*x, 13 = 3*a + 2*x. Solve -a*k + 3 + 3 = 0 for k.
2
Let s be (-84)/(-8)*(0 - -2). Let j = s + -9. Solve -3*q - q + j = 0 for q.
3
Let f(g) be the third derivative of g**5/30 - g**4/12 - g**3/6 + 3*g**2. Suppose 2*m - 4 = -0. Let n be f(m). Solve -10 = n*y + 5 for y.
-5
Let s = -14 - -30. Let v = s - 10. Solve q = v*q - 20 for q.
4
Let d be (-6)/(-4) - 2/(-4). Suppose -4*o - 30 + 34 = 0. Solve d = -h + o for h.
-1
Let u be (15/(-5))/1*-1. Solve u*t = -2*t - 15 for t.
-3
Let a(x) = 3*x**2 + x - 7*x**2 - 3*x**2 - x**2. Let c be a(1). Let i = c + 11. Solve 1 - i = 3*b for b.
-1
Let v be -2 + (-5)/(10/(-12)). Let t be 3/(-2 - 1) - -2. Let s be (1 - t)/(0 + 1). Solve -8 = -v*m - s for m.
2
Let u = 8 + -14. Let o be (-60)/(-14) + u/21. Solve -5*z - 5 = -o*z for z.
-5
Let v = 6 - 1. Let n be (6 - 2)*v/2. Solve n - 1 = -3*d for d.
-3
Let y be ((-2)/(-2) - -2) + 1. Suppose y*p - 3 = 2*n + 67, p = 5. Let f = n + 48. Solve 4*r + 3 = f for r.
5
Let v be ((-50)/(-4))/((-3)/(-6)). Let o = 4 - 4. Let x be (5 - 5)/(1 + o). Solve r + 4*r - v = x for r.
5
Let i = 3 - 9. Let b be 26/6 + 2/i. Solve 0 = -2*f - 0 + b for f.
2
Let q be -2*(-2)/(4/13). Let c(d) = d**3 - 6*d**2 + 6*d - 4. Let s be 5*(-2 + 1)*-1. Let v be c(s). Solve -v = -3*a - q for a.
-4
Suppose a = 1 - 0, -2*a + 2 = 3*j. Solve z + 3*z - 12 = j for z.
3
Let z = 6 - -3. Let j be z*(30/9 - 3). Suppose -2 = -j*o + 4. Solve -t = -o*t for t.
0
Suppose -10*g + g + 18 = 0. Solve -g*u - 1 - 3 = 0 for u.
-2
Suppose 0 = -7*i + 3*i + 8. Let y be -6 - (0/2)/i. Let t = y + 6. Solve t = z + z - 2 for z.
1
Let g = -84 + 88. Solve 5 = v + g*v for v.
1
Let z(p) = 2*p**2 + 3*p. Let w be z(-3). Let g(n) = n - 6. Let x be g(w). Let v = 14 + -5. Solve -x*o = -6 - v for o.
5
Suppose 48 = 4*a - 52. Suppose -3*z + 21 = 3*m, a = 5*z - m + 4*m. Let n(u) = u**2 - 2*u. Let d be n(z). Solve d = -2*b + 1 + 3 for b.
2
Let i = -2 + 2. Suppose 2*t + 4*z = 14, t + 9*z - 4*z = 10. Let x = t - -10. Solve 2*f + 3*f + x = i for f.
-3
Let r(s) be the third derivative of s**2 + 0*s + 13/6*s**3 + 1/24*s**4 + 0. Let h be r(-13). Solve -u + h = 1 for u.
-1
Let r(x) = x**2 - 6*x - 14. Let o be r(8). Solve -o + 1 = -w for w.
1
Let a = -11 + 7. Let l(s) = -s**3 - 5*s**2 - 5*s. Let b be l(a). Suppose 2*r - r - 5*h + 20 = 0, 0 = -b*r + 3*h - 12. Solve u - 1 + 2 = r for u.
-1
Suppose 0 = -2*b + 3*b - 23. Solve 4*u - b = -7 for u.
4
Let l(x) = 21*x - 11. Suppose -2*b - 6 = 2*z, z + 13 = -7*b + 4*b. 