t k be 6/(-15) - 17/(-5). Let z = -23 - -30. Solve -k*i + z = -c for i.
4
Let s be 84/24 - (-2)/4. Solve 3*a = s*a for a.
0
Let x = 73 + -68. Solve 0 = -7*g + 6*g - x for g.
-5
Suppose -2*m = -5*t + 1, -5*m + 0*m + 4*t = -6. Let h = 3 + m. Solve 7 = -h*n - 13 for n.
-4
Suppose 3*t = 2*t + 5. Let v(x) = -5*x - 2. Let j be v(-3). Suppose 0 = -2*c + 5*k + 44, 7 = c - 2*k - j. Solve c = -z + t*z for z.
3
Let l = -1 - -1. Let q = -6 + 10. Suppose 4*a = 4*x - 48, -13 = -q*x - 2*a - a. Solve l = 2*m - x*m - 20 for m.
-4
Suppose u + 4 - 5 = 0. Suppose -i - 10 = -3*i. Suppose -12 = 3*t, 5*r = -t + 21 - i. Solve -3*o = u - r for o.
1
Suppose 13 = 4*i + 5*g, 2*i - g + 5*g - 2 = 0. Let b(h) = -h**2 + 7*h + 1. Let u be b(i). Let v = 40 + -36. Solve -v*c + u = -3*c for c.
1
Let w be -2 - 6/(-3)*2. Suppose -w*c = -5*c + 6. Solve 0 = -c*n - 3 + 11 for n.
4
Suppose -16 = 3*a + 4*n, -4*a - 20 = -0*a + 5*n. Let c(q) = -q**2 - 2. Let l be c(0). Let g = 4 + l. Solve a = g*k - 4*k + 8 for k.
4
Let u = 18 + -2. Let v be (u/(-20))/(2/(-50)). Suppose -3*o - v = -7*o. Solve -s = -o*s for s.
0
Let m = -4 + 8. Suppose -s - 2 = -4*b, 3*b - 3 = 2*s - m. Suppose 3*w - 12 = -w. Solve s*o = w + 3 for o.
3
Suppose 7 = 2*d + 3. Suppose -5*z = -5*o - 55, 5*z - d*z - 23 = -2*o. Solve -2*j = -z + 1 for j.
4
Let h be 35/25 + (-6)/(-10). Solve 0 = -0*q - h*q + 6 for q.
3
Let t be 0/(((-2)/1)/2). Suppose 4*c + c = t. Solve j - 1 = -c for j.
1
Let x = -10 - -19. Suppose 0 = -3*k - 4*s - 8, 0*s - 3*s - 7 = 2*k. Solve 29 = k*p + x for p.
5
Let s = 34 - 34. Solve s = 2*t - 3 - 1 for t.
2
Suppose 2*t + 0*v = 2*v - 16, 3*t + 29 = 4*v. Let k be ((-3)/9*t)/1. Let j be (-1)/(-1)*-1 + k. Solve j = 2*d + d - 3 for d.
1
Let x(y) be the second derivative of -y**2 + 0 - 2*y + 1/12*y**4 + 1/2*y**3. Let d be x(-4). Solve 13 = -5*m - d for m.
-3
Suppose -q + 5*q = q. Solve 0 = -5*d + 15 - q for d.
3
Suppose 3 = -u + 5, -u = 5*d - 7. Solve 5 = 3*t - d for t.
2
Suppose -z + 10*c - 5*c - 25 = 0, -5*c + 25 = 3*z. Solve z*t - 2 = 2*t for t.
-1
Let u(q) = q**2 + 7*q - 3. Let i be u(-8). Suppose 4*x = 7 + 9. Let z be x - 4/2 - -1. Solve -i = -z*s + 4 for s.
3
Suppose -3*w = 4*h - 89, -w + 3 = 4*h - 40. Solve 3*s + w - 8 = 0 for s.
-5
Let m be ((-15)/12)/((-2)/(-8)). Let a be m/(-10) + (-5)/(-2). Solve 19 = 4*q + a for q.
4
Let y be -5*(1/2 + 130/(-100)). Solve -6*v - y = -4*v for v.
-2
Let m = -31 + 33. Solve 3*o - m*o - 2 = 0 for o.
2
Suppose -t + 3*t - 4 = 0. Let i be (-1)/(-2) + 13/t. Solve -i*q = -3*q + 8 for q.
-2
Suppose 2*j + 2*m + 8 = -m, 5*j = 2*m - 1. Let k be 2 - (4 + j) - -26. Solve -4*o - k = o for o.
-5
Suppose 51*r - 47*r = 12. Solve -10 = -r*j + 2 for j.
4
Let w = 15 - 4. Suppose -3*o = w - 38. Solve 2*u + o = -1 for u.
-5
Let r = 21 + -30. Let o(p) = -p**2 - 8*p + 12. Let c be o(r). Solve -c = 3*w - 2*w for w.
-3
Suppose -2*y - 5*j + 1 = 0, -3*y - 4 + 10 = 3*j. Suppose 0 = 4*k - 2*b - 0 - 6, y*k - 12 = 4*b. Solve k = -w + 8 - 4 for w.
4
Suppose 3*q = 2*q + 5. Let g = -7 - -15. Suppose 4*u = -3 + 11. Solve q*t + g = -u for t.
-2
Let u(w) be the third derivative of -w**4/24 - w**3/6 + 2*w**2. Let h be u(-1). Solve h = o + o + 4 for o.
-2
Let s = 44 - 79. Let a be 2/(-10) - 7/s. Suppose a*l - l = -4*b + 33, -l + 16 = 3*b. Solve 5 = 4*m - b for m.
3
Let d be (2/4)/((-1)/(-8)). Let s(x) = -2*x + 11. Let f(a) = -a + 5. Let u(m) = 5*f(m) - 2*s(m). Let t be u(3). Solve -d*w = -t*w for w.
0
Let f(w) = w**2 - 12*w + 4. Let a be f(12). Solve -a*r + 9 = -r for r.
3
Let l = 25 - 23. Solve l*g = 4*g - 10 for g.
5
Let q(k) = -k - 4. Let j be q(-7). Let v be (4/(-2))/1 - -4. Let d be (1/v)/(2/24). Solve 3 = j*f - d for f.
3
Let v = -8 + 13. Solve 3*i - 2 = -v for i.
-1
Suppose -20 = -2*p + 4*l, -3*l + 5 = 20. Solve p = i - 3 + 2 for i.
1
Suppose -5 = 5*q, 0 = -2*r + 6*r - q - 9. Solve 5 = r*b + 1 for b.
2
Suppose -z + 3*z = 24. Let w be (-6)/(-4) - z/8. Let v = w - -3. Solve 3 = -v*y - 3 for y.
-2
Let y = 9 + -19. Let z = -6 - y. Suppose -2*f + z*f - 8 = 0. Solve 0 = h - 0*h - f for h.
4
Let c be (-5)/(-2)*(-36)/(-10). Solve -2*h + c = 3 for h.
3
Let n be ((-13)/4 + 3)*-12. Solve 2*y + 5 = -n*y for y.
-1
Let d = 4 - 4. Suppose -4*j + 18 = 2*w, 4*j + 4*w - 1 = 15. Solve d*u = -j*u for u.
0
Suppose 4*u - 14 = 2*g, -u = -0*u - g - 3. Let p = 15 + -12. Suppose 4*b + 3*i + 8 = i, -12 = p*i. Solve s + b - u = 0 for s.
4
Suppose 0 = -3*k + 7 + 2, -18 = -3*g - 2*k. Solve -t + g = -1 for t.
5
Let h(k) = 0*k + 7*k + 0*k + k**2 + 2 - 8*k. Let r be h(0). Solve -r + 0 = -y for y.
2
Let j(s) = -5*s + 26. Let p be j(5). Solve -k = -5 + p for k.
4
Let k = -17 + 17. Solve 1 = p - k for p.
1
Let n be (2 - 4) + (-16)/(-8). Solve n = -2*a - 3*a - 10 for a.
-2
Suppose -5*z + 0*z + 60 = 2*j, j = -5. Let c be 4/14 - (-66)/z. Solve 0 = -5*x - c for x.
-1
Suppose -4*q = x + 2*x + 13, -2*x - 2*q - 8 = 0. Let o be 0 + -3 + (x - -8). Solve -5*p = o - 17 for p.
3
Let h = -26 - -34. Solve 0 = 2*x - h for x.
4
Let g be (0/(-14))/(1 - -1). Solve g = 3*l + 11 - 2 for l.
-3
Let i be 150/4 - (-3)/(-6). Solve 5*o - i + 12 = 0 for o.
5
Let p(f) = -3*f - 7. Let c be p(-3). Let j(o) = -o**3 + 5*o**2 + 4. Let m be j(5). Solve m - 8 = -c*i for i.
2
Suppose -21*c = -17*c - 4. Solve c = 2*r - 3 for r.
2
Let q = -27 - -27. Let y = 0 - q. Let d = -1 - -1. Solve -2*a - 8 + y = d for a.
-4
Let i(y) be the third derivative of 3*y**2 - 2/15*y**5 + 0*y - 7/6*y**3 + 0 + 1/120*y**6 - 1/3*y**4. Let g be i(9). Solve -k = g*k for k.
0
Let i be (2/3)/(6/9). Solve -q = -2 + i for q.
1
Suppose o - 24 = -o. Solve 0 = 5*p - o - 3 for p.
3
Let f(z) = -1 - 4 + 9 - z + 7. Let m be f(0). Let g = 4 - 0. Solve -5 = g*s + m for s.
-4
Suppose 3*u = 11 + 34. Solve -2*p = p - u for p.
5
Let t = -7 + 11. Let i = 2 + 1. Solve -t*x + i*x = 1 for x.
-1
Suppose 2 - 38 = -2*f. Solve -f = 5*o + 7 for o.
-5
Suppose 9*i - 8*i - 1 = 0. Solve -s = -5 + i for s.
4
Let a(j) = 4*j**3 - 1. Let f be a(1). Solve -4*l - f = -3*l for l.
-3
Suppose 0 = 6*u - 24. Solve 2*c + 0 = -u for c.
-2
Let x(j) = 2*j**2 - j + 2. Let b be x(2). Solve -2*w + 6*w + b = 0 for w.
-2
Suppose 2*z = -5*i - 2*z - 32, 2*i - 7 = 5*z. Let u = i - -8. Suppose -l = u*l - 20. Solve -n = l*n for n.
0
Let z(a) = -a**2 - 9*a - 2. Let p be z(-7). Suppose 4*f - f - p = 0. Suppose 0*q - 29 = -4*h - 3*q, -28 = -5*h - q. Solve h*l - f = 3*l for l.
2
Let b(g) = -g**3 + 7*g**2 - 7*g + 5. Suppose 0 = 5*m - 3*m - 10. Let a be b(m). Solve x = -4*x + a for x.
4
Let k be 7 + ((-18)/(-3))/(-2). Suppose 28 = 4*s - k*v - v, 0 = -4*s - 2*v. Solve s*g = 3*g - 2 for g.
2
Suppose -4*h + 3*h - 10 = 0. Let r = -9 - h. Suppose 2*c = -2*n, -11 - 4 = -3*n + 2*c. Solve r = -b - n for b.
-4
Let o be 1*46/(-8)*-4. Let v = o + -13. Solve -4*n + 10 = -v for n.
5
Let k be 4*(33/(-12) + 3). Let v be (-39)/(k - 4) + 2. Let l be 0 - (-3)/(6/4). Solve t = -l*t - v for t.
-5
Let y(q) = q. Let j be y(2). Solve 0*g = -j*g + 8 for g.
4
Let q(n) = n**3 + 4*n**2 - 6*n - 3. Let a be q(-5). Solve -1 = -a*s + 3 for s.
2
Let b(u) = -u - 1. Let m(k) = -k**2 + 4*k + 1. Let s be m(5). Let p be b(s). Let z be 2/2 + 4/1. Solve z = -p*v - 7 for v.
-4
Suppose -21 = t - 28. Solve -2*q = -t - 3 for q.
5
Suppose 0 = -0*q + 4*q - 8. Solve 0 = q*o - 5 + 15 for o.
-5
Let c(v) = 0*v**2 + 0*v**3 + 6*v**2 + 6*v + 2*v**2 + v**3 - 5. Let u be c(-7). Solve 3*i = 2*i + u for i.
2
Suppose -2*z + 12 = -5*w + 3*w, w = -5*z + 12. Let d(n) = 9*n. Let i be d(z). Suppose 2*x = 5*x - i. Solve y + x = -2*y for y.
-3
Let y be (-1)/(-4) + 162/(-48)*-2. Solve -w = -2 + y for w.
-5
Let i(o) = 13*o**2 - o + 1. Let r be (-4)/18 + (-70)/9. Let z be 4*(1 + 6/r). Let u be i(z). Solve 3*q + 4 - u = 0 for q.
3
Let y = 16 + -15. Solve y = 3*n - 14 for n.
5
Let t(f) = 3*f**2 + 1. Let h be 1/((-4)/(-4)*-1). Let a be t(h). Solve 4 = a*k - 0 for k.
1
Suppose 37*k = 38*k - 3. Suppose -3*o - o + 40 = 0. Solve 2*x - o = -k*x for x.
2
Let n(t) = 6*t**2 - 2*t - t**3 + 3*t - 3*t**2 - 2*t**2. Let i be n(0). Let q be (-2)/(-4)*-1*i. Solve 4 = -4*a - q for a.
-1
Let q be (-8)/(-36) - 119/9. Let j = 29 + q. Solve t = -3*t + j for t.
4
Suppose -4 = 5*b - 7*b. Let o be 18/b + 2 - 2. Solve -5*z + 4 = o for z.
-1
Suppose -6*w = -w - 10. Let p(r) = 2*r - 2*r**3 - 2*r - 2*r - 9 - 6*r**w + r**3. Let l be p(-6). Solve -l*y 