 = 32. Solve k - 3*k + h = 0 for k.
4
Let k(m) = -m - 1. Let c be k(-11). Let r(i) = -i**2 + 10*i + 4. Let x be r(c). Solve x*b = 6*b for b.
0
Suppose -3*j + 5*b - 9 = 6, -4*b = 5*j - 12. Solve j = 5*q - q + 16 for q.
-4
Let d be 0 - (-3 + 2 + -1). Let o(z) = 3*z - z - 1 + 0. Let w be o(d). Solve w*m - 5*m + 8 = 0 for m.
4
Let o(p) = -p + 8. Suppose -l + 0 = -5. Let r be o(l). Suppose w = 3*q - 4, -w - 16 = 5*q + 3*w. Solve r*f - 9 = -q for f.
3
Let p = 16 - 7. Let b = -9 + p. Solve 0 = -b*y + 3*y - 3 for y.
1
Suppose -2 = 3*o - 17. Solve 0 = 3*r - 2*r + o for r.
-5
Let c be 5*((-72)/20)/(-6). Suppose c = m + 4*d - 7*d, -3*d + 33 = 5*m. Solve 0 = 2*k - 0*k + m for k.
-3
Let m = 21 - 34. Let h = -9 - m. Suppose h*c = 2*d + 2, -4*d = 5*c - 18 - 4. Solve -l + 7 = c for l.
5
Let d(r) = -r**3 - 6*r**2 - 6*r - 6. Let s be d(-5). Suppose 3*a = 2*a + 1. Let t be (2 - (-1 - s))/a. Solve t*o = -o for o.
0
Let k(i) = -5*i**3 - i**2 + 2*i - 1. Let u be k(1). Let m = u - -8. Let v = -1 + m. Solve -3 - v = -5*h for h.
1
Let a(o) = o**2 + 14*o + 3. Let y be a(-14). Suppose -u + b + 2*b = 4, -4*u + y*b + 2 = 0. Solve 4*l - u = 2*l for l.
1
Suppose 0 = 3*p - 8*p - 10. Let w be 1*1/(-1 - -2). Let y be (w - 0) + (-8)/p. Solve b = 2*b - y for b.
5
Let v(u) = -10*u. Let z be v(1). Let y = z + 11. Solve 1 + y = f for f.
2
Let c = 7 + -2. Suppose -23 = -2*x + 3*o, -4*o = c*x - 0*o - 23. Suppose -23 = -3*j + x. Solve w - 3*w = -j for w.
5
Suppose l = 4*l. Solve l = 2*r + r for r.
0
Let f(h) = 2*h - 17. Let b be f(8). Let u(w) = -w + 1. Let g be u(b). Solve -g*y - 3 = -5 for y.
1
Let q(g) = g**2 + 17*g + 30. Let h be q(-15). Solve h = 5*v - 4 - 6 for v.
2
Suppose 0*i + 6 = 3*i, 2*w + 2 = 2*i. Suppose -88 - 24 = -5*q + s, -2*q = 4*s - 36. Suppose y = 3*a - 12, a - q = -a - 4*y. Solve w = h + a for h.
-4
Let v(t) = -13*t - 3. Let i be v(-3). Solve 0 = 5*p + 11 - i for p.
5
Let l(j) be the third derivative of j**5/60 + j**4/6 + j**3/2 + j**2. Suppose 3*t = -5*v - 0*t - 27, 2*v + 2*t = -14. Let i be l(v). Solve k + i*k = -1 for k.
-1
Let f = 0 + 1. Let a be (-6 - (f - 2))*-2. Solve 0*h = 2*h - a for h.
5
Let u(l) = l**3 + 7*l**2 + 3*l - 3. Let h be u(-5). Let c = 46 - h. Let f = 22 - c. Solve x + f = -x for x.
-4
Suppose f - 6 = -2*n + 5, 3*n - f = 24. Solve 0 = -d + n - 12 for d.
-5
Let d = -6 + 11. Let l = 10 - 7. Let t = -14 + 22. Solve -l*v = -d*v + t for v.
4
Let v = -1 + 1. Suppose k - 5 + 1 = v. Solve -c = -k*c + 9 for c.
3
Let z(q) = q**3 - 3*q**2 - 2*q - 3. Let y be z(4). Suppose -5*g - 2 = -5*f - 22, y*g = -4*f + 56. Let i = 14 - g. Solve -j + i = j for j.
3
Suppose 6*l + 2 - 14 = 0. Let b be (-2)/4 + (-10)/(-4). Solve -l*n + 8 = b*n for n.
2
Suppose 5*t = -0*t. Suppose -3*i - i + 16 = t. Solve -i*v + 0 = -20 for v.
5
Suppose -4*c - 2*t = -0*t - 12, -6 = -2*c - 3*t. Suppose -5*g = c*f - 12, 1 = -5*g - 5*f + 11. Suppose -2*m - g = -11. Solve -4 = -3*o + m*o for o.
-4
Suppose -2 = -4*s + 2*s. Let h be (10/(-2))/(s - 2). Solve -3 + h = -i for i.
-2
Let d = -46 - -51. Solve -3*t = -2*t - d for t.
5
Let l(a) = -a**2 + 1. Let i be l(1). Let w(u) = -u**3 - 10*u**2 - 8*u + 3. Let d be w(-9). Let o be 1/3 - 16/d. Solve 0*s + o*s + 6 = i for s.
-2
Let g be ((-1 - 1) + 3)*5. Solve -6 = -g*n + 4 for n.
2
Let m be -5*-3*(-2)/(-6). Suppose 18 = 3*a + 2*a + 2*s, -a = -s - 5. Let c be (25 - 1) + -3 + a. Solve c = -m*v - 0 for v.
-5
Let j(a) = -a**3 + a**2 - 3*a - 10. Let r be j(-4). Let c be r/26 - (-8)/(-52). Solve 0 = -c*w + 4*w for w.
0
Let z = 4 - -5. Let c be (1/3)/(z/351). Solve 3*x = -c + 1 for x.
-4
Suppose 0 = 5*r - 20 - 0. Suppose -p + r = -2. Solve -4 = -4*d + p*d for d.
-2
Let o be -21*(-1)/6*4. Let x be o/91 + 4/(-26). Solve 4*m = -x*m + 8 for m.
2
Suppose 0 = -2*x + 73 - 23. Solve -4*l + 9*l = -x for l.
-5
Let n(v) = v**3 + 5*v**2 + 5*v + 7. Let f be n(-4). Suppose 0 = 5*c - 18 - 2. Solve c*k - f = 5*k for k.
-3
Let n = 1 + 3. Suppose 4*r + n*p + 0 - 4 = 0, r = 2*p + 10. Let f = 1 + r. Solve 0*l + 5 = -f*l for l.
-1
Let i(n) be the first derivative of -n**2/2 + 7*n + 5. Let j be i(7). Solve j = -2*y + y for y.
0
Let z = 29 + -12. Suppose -2*v + 15 = 3*c - 5*v, -4*v - z = -3*c. Let a be -2 + 2/1 - -8. Solve -n + a = -c*n for n.
-4
Suppose 3*j = -d - 4, -5*d + 2*j + 12 = -d. Suppose 5*a = -s, -a = -3*a + 2*s. Let o be (-3 + a)*(-3 + 2). Solve 0 = d*b - o*b for b.
0
Let p = 96 + -92. Solve 5*z + 1 = -p for z.
-1
Let p = -11 + 6. Let b = p - -9. Solve b*f - 20 = -f for f.
4
Suppose 20 = 8*n - 12. Solve 9*l = n*l + 20 for l.
4
Let m be -12 - (-1 + (-2 - -1)). Let h = -5 - m. Solve -h = 4*u + 3 for u.
-2
Let i(c) = -c**3 + 6*c**2 + c - 3. Let x be i(6). Solve j = x*j - 2 for j.
1
Suppose 0*d + 32 = 4*d. Suppose p + d = 2*p. Solve -p - 2 = 5*f for f.
-2
Let o be -6*(-20)/18*(-18)/(-15). Solve o*h = 4*h - 12 for h.
-3
Suppose 0 = -4*l, -8 + 24 = 4*t - 4*l. Solve -t*d - 10 = -9*d for d.
2
Suppose -36 = -6*t - 6. Solve 4*h - t = 3 for h.
2
Let b = -19 + 21. Solve 0 = b*q + 2*q for q.
0
Suppose m - 5*m = 0. Let i = 1 - m. Let j be 1 + ((-12)/(-3) - i). Solve 0*x = x + j for x.
-4
Let w(j) = -5*j + j**2 + 0*j**2 + 2*j**2 - 4 - 4*j**2. Let u be w(-3). Solve -u*v = -v for v.
0
Suppose -4*q + 77 = y, 0 = -q - 3*q + 4*y + 52. Let f be q/(-12)*(-1 + -1). Solve f = -4*o + 7 for o.
1
Let p(x) be the third derivative of x**5/60 - x**4/6 + x**3/2 + x**2. Let h be p(4). Solve -2*w = -h*w + 3 for w.
3
Let p = -15 - -27. Solve 0*v + p = 3*v for v.
4
Let l be -2 - (-3 + 2) - -6. Let y = l + -3. Solve -3*p = -y - 7 for p.
3
Let i = 0 - 8. Let j = -4 - i. Let v be 1/(-5) - (-12)/10. Solve s + j = -v for s.
-5
Suppose 3*l + z = 7, -5*l = -2*z - 1 - 7. Solve -r - 9 = l*r for r.
-3
Let s = 8 - 8. Solve 2*i + 2*i - 8 = s for i.
2
Suppose 0 = 2*c - 13 - 11. Suppose 0 = -k - 2*g - c, -2*k - 4*g - 18 = -3*k. Let b = 2 + k. Solve -t = -b*t + 1 for t.
-1
Suppose 4*f - 30 = -14. Solve 0 = f*p - 3 + 23 for p.
-5
Let u be 60/(-150) + (104/10 - 0). Solve u = x + x for x.
5
Suppose 3*j - 13 + 4 = 0. Let g be (-10)/(5/(-2) - -2). Solve k + j*k = g for k.
5
Suppose -4*n + 11 = 5*j + 28, 5 = 5*n + j. Let m = 1 - -1. Solve n*k = -m*k for k.
0
Suppose 4*m + 10 = -5*q, -15 = m - 5*q - 0. Let b = 7 + m. Solve v - b*v - 3 = 0 for v.
-3
Let a = 0 - 6. Let s = 10 + a. Suppose -22 = -5*w + 3*r - 0, -3*r = -s*w + 17. Solve w*h = h + 4 for h.
1
Let d(z) = z**3 + 5*z**2 - 2*z - 6. Let t be d(-5). Solve s - t = -s for s.
2
Let h = -1 + 1. Let c(v) = 2*v - 1. Let u be c(2). Suppose -u*d + 6*d - 3 = 0. Solve 0 = o + d - h for o.
-1
Let a(x) = x + 9. Let v be a(-6). Let t(s) be the second derivative of s**3/6 - 3*s**2/2 + 3*s. Let l be t(v). Solve -k - 4*k + 25 = l for k.
5
Let m(a) = -a**3 + 7*a**2 - 6*a. Let z be m(6). Suppose -4*f + 10 = -2*i, z*i + i - 7 = -2*f. Solve -3*b - i - 2 = 0 for b.
-1
Let i(f) = 5 - 2 - 3*f - 5*f**2 + 6*f**2. Let z be i(3). Solve 5*r - z*r = 8 for r.
4
Let x be (-19)/(-3) - 2/(-3). Suppose 0 = 3*a - 0*a. Suppose 2*g - 28 = -5*u, 8 = -a*g + g + u. Solve -x*v = -g*v - 15 for v.
5
Let u = -10 - -11. Let t(z) = -z**3 + z**2 + 1. Let p be t(u). Solve -q - p = -0*q for q.
-1
Suppose -9 + 21 = 4*u. Solve u = -p - 0*p for p.
-3
Suppose 3*z - 6*z = 0. Suppose 9 = -2*v - 3*m - z, 2*m + 6 = 2*v. Suppose v*g + 9 = 3*g. Solve g*u + 0*u + 15 = 0 for u.
-5
Suppose -2*u = 2 + 14. Let m be 8*(-4 + (-46)/u). Let y = 5 + -3. Solve -m + y = -4*j for j.
3
Suppose 4*t + 4*t = 0. Let z be -8*2/(-16)*2. Solve t = -z*y - 2*y + 16 for y.
4
Suppose -3*t = -17 + 11. Solve -t*p + 7 - 1 = 0 for p.
3
Suppose -18 - 7 = -5*r + j, -r - 4*j = -5. Suppose 3*h = 2*k - k + 2, 0 = r*k + 10. Solve 3*b + 0*b = h for b.
0
Suppose -4*b + 15 = b. Let z be ((-3)/(-5) + -1)/(6/(-30)). Solve 4*n - z = b*n for n.
2
Suppose 0 = -4*l + p + 45, 3*l - 3*p = -l + 47. Let d = l + -8. Let m be 9/(9/4) - (7 - 3). Solve -5*k + d*k = m for k.
0
Let c(y) = -14*y + 14*y + 4*y**2. Let t be c(1). Solve t*m + 8 = -0*m for m.
-2
Let p(h) = h + 2. Let k be p(2). Solve 5*r = -1 - k for r.
-1
Let j(t) = 1. Let h(o) = -23*o + 1. Let x(v) = h(v) + 5*j(v). Let c(w) = -15*w + 4. Let d(u) = -8*c(u) + 5*x(u). Let i be d(2). Solve -4*f - i = -4 for f.
-1
Let g = 37 + -35. Solve x + 2 = g*x for x.
2
Let i(w) = 3*w**2 - 2*w - 3. Let f be i(3). Let c = -20 - -20