6*t + z = 0 for t.
5
Suppose 0 = 5*o - 15, -2*q - 2*o = -o - 43. Solve 4*p - q = 8*p for p.
-5
Let w = 8 - 7. Let z be 6 - 3 - -5*w. Solve -a = a - z for a.
4
Let h(c) = -c**3 + 24*c**2 - 2*c + 54. Let i be h(24). Let d = 9 - -6. Solve x = i*x + d for x.
-3
Let o = 8 - 4. Let g be (-2)/6*2*3. Let p = o + g. Solve -2*z - 12 = p*z for z.
-3
Suppose v - 25 = -4*n, -3*v - 10 = -n - 4*v. Solve 5 = -n*x - 0 for x.
-1
Let d(y) = -y**2 + 6*y - 5. Let m be d(5). Solve -2*v + 4 = -m*v for v.
2
Let g(o) be the second derivative of o**3/2 + 7*o**2/2 + o. Let i be g(6). Suppose -5*k + i = 3*t, -5*k - t + 22 - 7 = 0. Solve -1 = -k*l + 1 for l.
1
Let d(v) = 3*v**3 - 9*v**2 + 4*v - 4. Let r(i) = -i**3 + i**2 - i + 1. Let f(o) = d(o) + 4*r(o). Let m be f(-5). Solve m*c = -2*c + 10 for c.
5
Suppose -2*l - 3 = 5*b - 24, 3*b + 3*l - 18 = 0. Suppose 5*s + 35 = 5*o, 0*o - o + b*s = -13. Solve o = 3*u - 5*u for u.
-2
Suppose -43 = 6*n - 121. Suppose 4*u - 49 + n = -4*t, 3*t = -4*u + 31. Solve -6 = u*o - 6*o for o.
3
Suppose -1 = -w + 14. Suppose w = 2*m - 3. Solve 0*q + 3*q = -m for q.
-3
Suppose 2*d + 12 = 6*d. Suppose -d*t + 0*j - 5*j = 0, -4*t + 8 = 4*j. Solve 2*p - t*p = 0 for p.
0
Let l(r) be the first derivative of r**3/3 - r**2/2 + 2. Let h be l(0). Suppose -a + 2*a = h. Solve a*j - 3 = 3*j for j.
-1
Let r = 6 - -2. Solve f + f = r for f.
4
Suppose 5*s + 2*t - 12 = 0, 7 = 5*s - 4*t + 1. Solve 0 = s*d - 8 - 2 for d.
5
Let w = -5 + 12. Let b be 1 + -4 - (-3 - w). Solve 2*m = b*m for m.
0
Let b = 5 - 2. Suppose -2*r + 7*r = 2*p - 60, -4*p + 68 = b*r. Suppose t + 0*t = -2*u + 10, -p = -5*t - 4*u. Solve 0 = -t*c + c + 5 for c.
-5
Let t(c) be the first derivative of -c**4/4 + 8*c**3/3 + 6*c**2 - 12*c - 1. Let p be t(9). Solve -5*b + 0*b = -p for b.
3
Suppose 4*p = -3*m - 41, 0 = -p + 5*m - 21 - 18. Let j be 2/p - (-145)/35. Solve -2*b - j = -4*b for b.
2
Let w(y) = -y**2 + 7*y - 12. Let i be w(4). Solve i = -2*s + s - 2 for s.
-2
Suppose -3*k + 3*w + 0*w = -6, -4*w = 2*k + 8. Solve -4*a + 20 = -k*a for a.
5
Suppose -4*b = -4, -5*q + 2*q + 3*b - 12 = 0. Let z = q + 8. Solve -z*d + 0*d - 25 = 0 for d.
-5
Let v be 12/30 - (54/(-15) - 0). Solve v*w = 9*w - 5 for w.
1
Let v(o) = -2*o**3 + 12*o**2 + 8. Let c be v(6). Solve -c*j + 20 = -3*j for j.
4
Suppose -4 = -p, -3*m - p + 4 = 3*p. Let l(w) = -w - 3. Let f be l(m). Suppose -1 = -i + f. Solve -i*s + 10 = 4 for s.
3
Let i be -5 - (9/(-1) - -4). Solve -2*m - m - 15 = i for m.
-5
Let u(q) = q**3 - 5*q**2 + 4*q - 2. Let b be u(3). Let v be (-4)/b - (-7)/(-2). Let h be v*((-9)/(-3))/(-3). Solve -d = h*d - 4 for d.
1
Suppose 3*b + 55 = 4*u + 3, 0 = -4*u + 2*b + 56. Let r = -14 + 18. Solve r*x + u - 4 = 0 for x.
-3
Let f(h) = -h**2 + 10*h + 4. Let q be f(8). Let m be (5/(q/8))/1. Solve -m*t - 4 = -4*t for t.
2
Suppose -3*k + 9 = 3. Solve 7 = 3*g - k for g.
3
Let q be 0*(3/(3 - 6))/(-3). Solve 0 = x - q*x - 2 for x.
2
Suppose 0*l = -3*l + 24. Suppose 2*a + l = 0, 3*y - 4*a - 15 = 7. Solve -t - 3 = y*t for t.
-1
Let m be (-6)/(-8) + (-46)/8. Let n = m + 8. Solve 3*a + 0 = n for a.
1
Suppose 5*m = m - 8. Let r = 4 + m. Solve -h = -r*h for h.
0
Let n = -5 - -7. Suppose 0 = 5*f - n - 3. Suppose -u + 0 + 2 = 0. Solve f = -t - u for t.
-3
Suppose 3*a = 2*m - 21, 6*m - 4*m = -2*a - 4. Solve -15 = -0*x + m*x for x.
-5
Suppose -5*j + 18 + 7 = 0. Solve -15 = -j*t - 0 for t.
3
Suppose -a - 3 = -8. Suppose -a*q + 7 = -4*q. Solve 5 + q = 4*n for n.
3
Let r = -3 + -1. Let z be (-2)/r*(2 + 2). Solve -z*a + 5*a = 15 for a.
5
Let g(t) = t**3 + 4*t**2 + t - 6. Let u be g(-3). Solve -3*z + u + 9 = 0 for z.
3
Let i = -8 + 14. Solve i*n = n for n.
0
Suppose j - 3 = 1. Let d = 0 + 4. Suppose 3*y + 1 = d. Solve 0 = -p - j - y for p.
-5
Let h = 270 + -123. Suppose 4*c + h = c. Let l be 2/4 + c/(-14). Solve 1 = 5*q - l for q.
1
Let v(b) be the second derivative of b**4/12 + 2*b**3/3 + 3*b**2/2 + b. Let z be v(-4). Suppose 4*n - 2*n - 16 = 0. Solve z*w - w = -n for w.
-4
Let g(x) = x**2 - 6*x + 3. Let p be g(6). Suppose 3*c + 0 = p. Solve 6 = -d + c for d.
-5
Suppose 0*i + 4*i = 20. Suppose -4*m = -1 - 63. Solve i*a - m = -41 for a.
-5
Let b(t) = -2*t + 1. Let r be b(-2). Suppose -3*h = -2*h - r*l - 1, -5*h - 5*l = -35. Solve -h*s = -2*s + 16 for s.
-4
Let o be 14/(-49) + (-170)/(-7). Let r = o + -11. Solve -3 = 4*j + r for j.
-4
Let h(s) = -s**3 + 7*s**2 - 5*s - 3. Let v be h(6). Suppose 0 = -7*x + 28. Solve x*w = v*w for w.
0
Let p = -58 - -61. Solve -3*x + 3 = -p for x.
2
Let u(j) be the third derivative of j**5/60 + 5*j**4/24 - j**3 - 3*j**2. Let g be u(-6). Solve g*w - w = -4 for w.
4
Let g(h) = h**2 - 3*h + 6. Let l be g(4). Let c be (-6)/l - 84/(-15). Solve c*k + 15 = -0 for k.
-3
Suppose 0*i - 4*i + 12 = 2*s, 5*i = s + 15. Let o = -3 + i. Let u be 0 + o + 1*12. Solve -3*a + 7*a - u = 0 for a.
3
Let w be (15/9)/(2/6). Suppose -12 - w = -3*r + 4*z, -z + 4 = 2*r. Let d be 2 - -1 - (r + -2). Solve j = -d*j + 12 for j.
4
Suppose 3*i + 2*w - 7 = 2*i, 3*i - 3*w = 3. Solve 15 = -4*u + i for u.
-3
Let u be ((-5 - -2) + 3)/(-2). Suppose -l - 2 = 0, 5*g + 0*g - l - 12 = u. Solve 0 = 3*m + g*m for m.
0
Let c be 21*(6 + -4)/6. Let y = c + -1. Suppose -5*k = -5*x - 30, 32 + 0 = 3*k + 4*x. Solve -2*w = -y*w - k for w.
-2
Let k = 81 + -76. Solve 2*g + k = 3 for g.
-1
Suppose -24*g = -3*c - 20*g + 26, -5*c = -4*g - 38. Suppose f - 4 = -0. Solve f = -2*q - c for q.
-5
Let v be (-3 - -7)*1/((-6)/(-3)). Solve v*n - 4 = 3*n for n.
-4
Suppose 6*y - 2*y - 18 = -5*s, 4*y = -s + 10. Solve -2*p + 4*p = s for p.
1
Let d = 38 + -30. Solve -d = -3*b + 5*b for b.
-4
Let h(j) = -j**3 + 3*j**2 + 2. Let t be h(3). Let k be ((-3)/(-9))/(t/6). Solve k + 2 = -x for x.
-3
Let c be (-1 - (-3 + 3))/((-2)/4). Solve q + 0*q - c = 0 for q.
2
Let a(q) = q + 5. Let t be a(-5). Let z = t - -8. Let v = z + -3. Solve 0 = -10*w + v*w for w.
0
Let r = 35 + -30. Let n(u) = 5*u - 3. Let c be n(3). Suppose 5 = -r*w - 5*d + 20, -2*d + c = 4*w. Solve -a + 5 = w for a.
2
Let j = 2 - 2. Let x be j/(1 - 2)*1. Solve x = 2*c + 4 for c.
-2
Suppose -2*t = 1 + 1. Let l(s) = -3*s**3 + s**2 + s. Let w be l(t). Solve -7*f + 16 = -w*f for f.
4
Let d be (76/(-24) + 3)*-3*16. Solve -3*a = -a + d for a.
-4
Let x = 34 + -19. Solve -x = 5*f + 10 for f.
-5
Suppose -4*x = -6*x + 4. Solve 0 = -x*j - j for j.
0
Suppose -21 = -5*o - 4*q, -5*q = 5*o - o - 15. Suppose o*h - 17 = -2. Solve 3*b + 0 = h for b.
1
Suppose -2*l - 22 = -4*l + 4*h, 0 = 2*l + 4*h + 2. Let o(w) = w**3 - 5*w**2 + 9. Let x be o(l). Solve 4*t - 7 - x = 0 for t.
4
Let v be 0 - -1*9/3. Suppose -2*y - 2 = -3*g + 3, 0 = 3*g + v*y. Let p be -1 - (g - (3 + -1)). Solve 20 = -4*n - p*n for n.
-5
Let a(v) = -2*v - 2. Let h be a(-4). Solve -5*u - h = -21 for u.
3
Let p = 31 - 29. Let v = 15 + -15. Solve v = 3*m + p*m for m.
0
Let v(k) = 20*k - 8. Let l be v(-6). Let r = l - -197. Suppose -j - 43 = -2*a, j = -3*a - 2*j + r. Solve 5*c - 3 - a = 0 for c.
5
Suppose -11 + 27 = 4*n. Solve -3*f + f - n = 0 for f.
-2
Let p = 14 + -12. Solve -p*t + 0 - 4 = 0 for t.
-2
Suppose 0 = -4*n - 4*p - 32, -4*n + 2*p - 8 = -2*n. Let j be 0*(9/n + 2). Suppose j = -3*x + w + w + 20, -3*w = 12. Solve x*q = -7 - 1 for q.
-2
Suppose -2*c = -5*l + 86, -l + 2*c + 25 = -c. Suppose -t + 5*b + l = b, -4*t = -4*b - 16. Solve x - 2*x - 1 = t for x.
-1
Let c be (1/(-1) + 1)/2. Solve -3*g = -c*g + 6 for g.
-2
Let u be -1 - -7 - (12 + -8). Solve u*h = h for h.
0
Suppose -4*y + 2*y = -4. Solve -4*d = -y*d for d.
0
Let i be (0*2/(-4))/2. Solve 4*w + 8 = -i for w.
-2
Let s = 9 - 4. Let v(t) = -t**2 + 7*t - 1. Let y be v(7). Let d = y - -1. Solve d = -r - 0*r + s for r.
5
Let n be 662/18 - (-10)/45. Let p = n - 20. Suppose p = 4*s + 5. Solve s*q + q + 8 = 0 for q.
-2
Let n(k) = k**3 + k - 3. Let a be n(0). Let v = 3 + -2. Let d be v/a*(4 - 16). Solve -c = d*c for c.
0
Let j(o) = -o**2 + 1. Let q be j(-1). Let g = 8 - 12. Let m = 7 + g. Solve -6 = -m*k - q for k.
2
Suppose 3*y + 27 - 3 = 3*h, -30 = -5*h - 5*y. Solve 1 = -2*b + h for b.
3
Suppose 0 = -5*y - 2*x + 64, -10*y + 5*x = -6*y - 38. Solve 0*z - y = 4*z for z.
-3
Let q(w) = -w**2 + 3. Let n = 2 + -2. Let b be q(n). Solve -b*f + f = -10 for f.
5
Suppose -2*i + 25 = 3*i. Suppose z - i = -5*s - 2, -4*z + 12 = 3*s. Solve z*q = 7*q - 8 for q