t k be t(h). Solve q = -k + 3 for q.
3
Let a = 9 - 1. Let c(w) = 2*w - 19. Let x be c(8). Let t be -2*(x + 5)/(-2). Solve -2*u = t + a for u.
-5
Let t(p) = -2*p + 19. Let n be t(8). Solve -1 = -k + n for k.
4
Let v = 11 + -11. Suppose v = 5*n - 4*n. Solve x - 3 + 1 = n for x.
2
Suppose -3*z + 9 = -2*z. Let q = -4 + z. Suppose -3*g + 2*j = 0, -2*g + 0*g = q*j. Solve -5*x = -g + 10 for x.
-2
Suppose 0 = 3*a - 8*a + 10. Solve 2*j - 4 = -a for j.
1
Let r be (-8)/20 - 44/(-10). Suppose -r*s = -8 - 0. Solve 1 = -m + s for m.
1
Let v = 0 + -2. Let f be v/2 - (-3 + 0). Solve 7 = -f*i - 1 for i.
-4
Let d(a) be the third derivative of -a**4/24 - 4*a**3/3 - 8*a**2. Let q be d(-8). Solve q = 4*f - f + 6 for f.
-2
Suppose -3*r = -4*r + 6. Let k = 37 + -33. Solve 14 = k*c - r for c.
5
Suppose -4*v - 19 = -f - 7, -v = 5*f - 18. Suppose 4 = -5*q + 5*c - 6, 0 = -q - f*c + 18. Solve -6 + 0 = q*d for d.
-3
Let a be 1/((-9)/6)*(-15)/2. Solve -2*f + a*f = -3 for f.
-1
Let j(r) = r**3 - r + 7. Let u be j(0). Let m(o) = 5*o**2. Let b be m(-1). Suppose -3*d - b = -17. Solve -d*i - 12 = -u*i for i.
4
Let z = -4 - 1. Let v be 4/6*(1 - z). Solve -v + 0 = s for s.
-4
Let f be (2/(-5))/((-1)/(-5)*-1). Solve f*q = -2*q - 16 for q.
-4
Suppose -3*g - g - 20 = 0. Let z = g + 9. Suppose r + 0*r - z = 0. Solve r*y = -0*y - 4 for y.
-1
Suppose 0 = -n + 2*n - 3*n. Suppose -i - 5*c = -18, 3 + 3 = -2*i + 4*c. Solve -2*r + i*r + 4 = n for r.
-4
Let k(t) = t**3 + 7*t**2 + 7*t. Let n be k(-5). Solve 0*v - n = -5*v for v.
3
Suppose 2*g + 2*g = 4*f + 40, g + 5*f + 14 = 0. Let h(v) = -v**2 + 6*v + 2. Let k be h(g). Suppose -5*y - 32 = -7*y. Solve k*p + 2*p = -y for p.
-4
Suppose 3*v = -2 - 22. Let j(f) = -f**2 - 8*f - 1. Let y be j(v). Let m = 2 - y. Solve 6 = -0*b + m*b for b.
2
Suppose 0 = 5*a + 4*s + s - 10, -3 = -3*a - 4*s. Solve -a*u + 25 + 0 = 0 for u.
5
Let o be 1/1*(6 - 6). Solve -b + o*b = -5 for b.
5
Let w be (6/5)/(6/15). Suppose w*q + 3 = 9. Solve 0 = -q*k - 2 for k.
-1
Suppose 5*l = 4*w - 20, -2*l + 4*l + 8 = -w. Suppose -2*v + v = w, -2*t + 3*v = 0. Solve -4*u + 8 = -t*u for u.
2
Let d be (-60)/(-4)*2 - 1. Suppose -4*k = -d - 7. Solve 4*b + k - 25 = 0 for b.
4
Let f(o) = 2*o**3 - 2*o**2 - 2*o + 1. Let l be f(2). Suppose -4*p + 4*z = -16, 2 = -l*p + z + 6. Solve -2 = i - p*i for i.
-2
Suppose 4*t - 3*w - 28 = 0, -w = -t + 2*t. Solve t = 5*m - 1 for m.
1
Suppose 4*r - 109 + 13 = 0. Let n = r + -9. Solve 0*c = 3*c + n for c.
-5
Let v be (-3)/(-4)*14*4. Suppose 0 = -3*l - 3*r + v, -4*l + 21 = -4*r + 5. Suppose 2*p + p - l = 0. Solve 0 = -0*g - p*g + 6 for g.
2
Suppose -3*u = -5*f - 40, 3*u + 4*f - 47 = 2*f. Let m = u - 3. Solve 4*c = c + m for c.
4
Suppose -25 = -5*s + 2*u, 2*s - 2 = -2*s - 2*u. Solve 4*n = 5*n + s for n.
-3
Let g(u) = 19*u - 17. Let b(s) = 9*s - 8. Let p(x) = 7*b(x) - 3*g(x). Let m be p(2). Solve 0 = -m*v + 2*v - 10 for v.
-2
Suppose 29 = 5*c + 9. Suppose -3*f = -c*k + 51, -5*f + 4*f = 3*k - 48. Solve h + 2*h - k = 0 for h.
5
Let r(t) = t**3 - 7*t**2 + 6*t + 5. Let g be r(6). Suppose 4*s - 2*s - 24 = g*i, -5*i = -s + 22. Solve u = 5 - s for u.
3
Suppose p = -2*i + 11, p - 9 = 5*i - 26. Suppose 0 = -l - 2*q + 10 + 3, -5*l = p*q - 86. Solve -5*m = -1 - l for m.
4
Let c = -1 - -6. Let w = c - -5. Solve 2*f + w = -0*f for f.
-5
Let r(h) = 2*h - 25. Let s(i) = -3*i + 37. Let y(q) = -8*r(q) - 5*s(q). Let z be y(12). Solve z*o + 8 = o for o.
-4
Suppose -3 = r, 3*q = -r - 2*r + 6. Solve 0 = -q*t + t + 4 for t.
1
Let k = -12 - -17. Suppose 0 = -z + 3*p + 31, -6*z + k*p + 135 = -z. Suppose -z = -4*j + 7. Solve x = -x - j for x.
-4
Let g(r) = 6*r - 9. Let p be g(2). Solve -p*n + 4 = -4*n for n.
-4
Let g be (9/6)/(3/(-4)). Let c be 12*(g - 2)/(-4). Solve 2*j - c = 6*j for j.
-3
Let i(o) = o**3 + 2*o**2 - 3*o + 4. Let d be i(-3). Let h(a) = 2*a - 4. Let u be h(d). Let r(t) = 2*t. Let m be r(1). Solve -p + m = u for p.
-2
Suppose 0 = -0*f + 3*f - q - 1, 3*f + q = 11. Let a be 1/(2/12*2). Solve 3*k = f*k + a for k.
3
Suppose 0 = -3*r + 4*l - 2, 5*l - l = -3*r + 14. Let m = r - 0. Let x be (0 + 1/1)*0. Solve x = -m*a + a - 5 for a.
-5
Let u = 17 - 7. Let q = -165 - -169. Solve -q*a + u = 2 for a.
2
Suppose 0 = -3*a + 3*i - 4 + 1, 3*i - 15 = -a. Solve 0 = -a*t - 9 - 3 for t.
-4
Let f = -18 - -21. Solve -f + 7 = 2*u for u.
2
Let l be ((-16)/12)/((-4)/(-18)). Suppose 2*a + 3 = -9. Let f = a - l. Solve -2 + f = o for o.
-2
Suppose -7 = -n - 4*f, -3*n - 4*f + 3*f = -10. Suppose -n*x = x. Solve x = 8*j - 3*j + 5 for j.
-1
Let r = 8 + -5. Suppose 0 = 3*d - r*v - 9, 5*d + v - 23 = -2. Solve -5*f = -24 + d for f.
4
Suppose 4*f = -5*f + 18. Solve -f*q - 8 = -2 for q.
-3
Let b(c) = -c**2 - c + 1. Let x(u) = -7*u**2 - 9*u + 6. Let m(p) = 6*b(p) - x(p). Let i be m(-4). Solve i*s = 2 - 6 for s.
-1
Suppose i + 10 = -2*z, z + 3 = 4*i + 16. Let m = -3 + 0. Let b = m - i. Solve -a = -3 + b for a.
2
Suppose 4*h + 3*b + b - 32 = 0, -48 = -4*h + 4*b. Solve -6*z - h = -z for z.
-2
Let u(x) be the third derivative of x**4/24 - x**3/3 + 2*x**2. Let k(m) = m**2 + m - 1. Let n be k(2). Let o be u(n). Solve 4 = p + o for p.
1
Let y = -96 + 100. Solve -y*a = 12 - 4 for a.
-2
Let r(y) = 2*y + 2. Let a be r(1). Solve a*v = -v + 25 for v.
5
Let l be 8/3*(-15)/(-10). Solve l*n - 16 = -0*n for n.
4
Let b be (-4)/14 + 88/14. Let h = -2 - -9. Let u = h - b. Solve -u = -2*j + 3 for j.
2
Suppose -4*q = -17 + 1. Solve -25 = -h - q*h for h.
5
Suppose -12 = -p - 2*p + 3*v, -2 = -p + 3*v. Suppose 3*k = p*k. Solve 0 = -k*r - 2*r + 10 for r.
5
Let h = 19 - 13. Suppose -g = -4*r - 14, -3*g + 2*g = -5*r - 17. Let j(z) = z + 16. Let u be j(-12). Solve h*m - u = g*m for m.
1
Suppose -8*i + 84 = -4*i. Suppose 5*d = 2*r - 0*d + 9, 3*d = -4*r + i. Solve 2 = -u + r*u for u.
1
Suppose -34 = -5*s - t - 5, 0 = 3*s + 3*t - 15. Suppose -b = -s*b + 10. Solve 3*w + b*w = 20 for w.
4
Suppose -30 = -0*g - 6*g. Solve -4*j - 1 + g = 0 for j.
1
Let j(a) = 13*a - 4. Let h be j(2). Suppose -5*s = 3*i - 26, -3*s - 3*i - 2*i + h = 0. Suppose g + s*g = 0. Solve r = 1 - g for r.
1
Suppose 0 = 26*o - 25*o - 7. Solve -22 + o = -5*h for h.
3
Let l(n) = n + 2. Let s be l(3). Suppose 9 = -s*d + 34. Solve 4*c + c = -d for c.
-1
Let q(h) = -h**3 + 10*h**2 - 10*h + 12. Suppose 0*x + 3*x - 27 = 0. Let b be q(x). Solve -6 = p - b*p for p.
3
Let a = 91 + -71. Solve -4*y + 0*y = -a for y.
5
Let m be 4 + (-50)/15 - 14/(-6). Solve -m*h = -0*h for h.
0
Let q = 5 - 4. Solve 14 + q = 3*v for v.
5
Suppose -w = -4*w - 27. Let y be (-6)/4*30/w. Let x(j) = -j + 3. Let p be x(3). Solve p*f = f + y for f.
-5
Let o be ((-2)/4)/((-4)/40). Suppose 0*m = m + o. Let x = m + 11. Solve -2 + x = z for z.
4
Let s(p) = p**3 - p**2 - 5*p + 4. Let z be s(3). Suppose 5*y + 3*k = 36, -3*k - 8 = -z*k. Solve -2*u + y*u = 0 for u.
0
Let s(q) be the second derivative of -q**4/12 - 4*q**3/3 + 3*q**2/2 + 5*q. Let b be s(-8). Solve -6 = b*o - 3 for o.
-1
Let m be (-3)/6*(-48)/3. Suppose 4*c - 5*t = m, -c + 4 = c - 2*t. Solve -9 = s + c*s for s.
-3
Let z be 2/(-6) + 35/15. Suppose z*d - 5 = -q, 6*q - q + 50 = 5*d. Solve 2*i + d + 3 = 0 for i.
-4
Let c be (-2)/9 + 22/18. Let t be (-27)/3*4/(-18). Suppose t = 3*m - c. Solve 3 = 2*h - m for h.
2
Let z(b) = -b. Let w be z(-1). Let j = w + 0. Suppose -5*o - i - j = -2*i, 3*i = -5*o + 3. Solve d = -o*d for d.
0
Suppose 15 = 3*l - 0. Let c be (9/(-15))/((-1)/l). Solve 0 = -c*n - 12 - 3 for n.
-5
Let p(h) = 6*h - 4. Let f(y) = 5*y - 3. Let i(r) = 5*f(r) - 4*p(r). Let l be i(-1). Suppose -19 = -5*x - 4*k, -36 = -5*x + x + 2*k. Solve l = v - x + 4 for v.
3
Suppose -h + 45 = 3*g + 2*g, -39 = -3*g - 3*h. Let y = g + -5. Solve -y*s - 7 = -1 for s.
-2
Let l be -2 + 0 - (-14 - -9). Solve 0 = -y + l*y + 6 for y.
-3
Suppose 2*m = -8, -3*z + 4*m = -z - 24. Suppose -s - z = -2*s. Let g be (-6)/21 - s/(-14). Solve w + w = g for w.
0
Let n be 1*-4*(-33)/22. Solve 6 = 3*h - n*h for h.
-2
Suppose h - 8 = 3*l, -5*h - 4 = -2*l - 31. Solve h*j + 29 = 4 for j.
-5
Let h be (-2 + 2)/2 - -2. Solve h*q - 3 = -1 for q.
1
Let t(j) = -3*j. Let m be t(-4). Suppose o + 2 = 0, 5*o = 5*p - 8 - m. Suppose -p*l + l = 0. Solve -r - 7 + 3 = l for r.
-4
Suppose 0 = 4*h - 7 - 5. Let x be 0/((6/h)/(-2)). Solve x = p - 3 for p.
3
Let p = -22 + 24. Solve -p*z = 3*z + 25 for z.
-