= -h*z for z.
0
Let v(y) = 4*y - 2. Let c be v(3). Suppose c*d = -5*m + 5*d + 5, 3*d - 5 = -5*m. Suppose m - 9 = -4*i. Solve -2 = -j + i*j for j.
-2
Suppose -56 = -5*n + 3*l, 3*n + 0*l = -2*l + 26. Solve 4*t - n = 2*t for t.
5
Let v(u) = -2*u + 1. Let n be v(-1). Let g = -1 + n. Let q be 3 + -2 + (2 - 3). Solve q = -4*c + 6 - g for c.
1
Let c(o) = o + 1. Let z be c(5). Solve 0 = -s + z*s + 15 for s.
-3
Suppose 0 = 4*c + 88 - 16. Let k = c - -30. Solve -s - 3*s = -k for s.
3
Let m be 4/10 - ((-84)/15 - -6). Solve -4*f - 2 - 2 = m for f.
-1
Let d(z) = -10*z + 2. Let j be d(-1). Solve 2*m - j = -m for m.
4
Suppose 10 = 3*p - 2. Let y(x) = 4*x - 1. Let j be y(1). Let u be 2*1 - (j - 4). Solve -p*a = -u*a for a.
0
Let m(g) = -g**2 + 2*g + 8. Suppose -5*v + 20 = -5*d, -3*v - 4 = 3*d - 16. Let k be m(v). Solve k = b - 3*b - 8 for b.
-4
Suppose 0*f = -3*f - 2*b + 4, -4*b - 24 = -2*f. Let n = f - 4. Suppose r = -r - 8, 2*j + 2*r - 6 = 0. Solve -4*l + 9 + j = n for l.
4
Suppose 9*b + 7 - 43 = 0. Solve 2*t + 8 = b*t for t.
4
Suppose 3*z = -5*d, -4*d + 0*z = 2*z. Solve d = 3*f + 7 + 5 for f.
-4
Let k = -6 + 8. Let x be (-3)/(6/8*-2). Solve 4 = x*r - k for r.
3
Let f = -11 + 7. Let p be 0*(-3 - f) + 0. Suppose p*k - 30 = -5*k. Solve 0 = -3*b + k + 3 for b.
3
Let x(q) = -q + 9. Let y be x(4). Solve 3 = 2*b - y for b.
4
Suppose 4*z - 3*m - 16 = 2*z, -z - 2*m + 1 = 0. Let g(v) = v**3 - 5*v**2 + 2*v - 6. Let y be g(z). Suppose -45 = 3*t - 8*t. Solve -y = -5*i - t for i.
-1
Suppose 5 + 7 = 2*p + 2*v, -4*p + 22 = 3*v. Solve p*y - 13 = 7 for y.
5
Suppose -3*p - 5*r = 40 - 15, 4*p - 2*r - 10 = 0. Suppose 0 = 5*o - 4*i - 37, -i = 2*o - 4*i - 19. Solve o*b - 15 = -p*b for b.
3
Let j = 27 + -9. Let c = j + -14. Solve c*l + 11 = -5 for l.
-4
Suppose -27 = -z - 3*z - 3*f, 5*z + f - 20 = 0. Let a be (2 - (-1 - -3)) + z. Solve 2 = a*q + 5 for q.
-1
Suppose -1 + 0 = -j. Let f be 20/4 + 1*2. Let r be f - j - (4 + -6). Solve -3*p - 4 = r for p.
-4
Let z be ((-4)/6)/(8/(-108)). Solve 0 = 3*q + z + 6 for q.
-5
Let f(y) = -y**3 - 3*y**2 + 3*y. Let l be f(-4). Solve l*d - 9 = 7*d for d.
-3
Let n = 11 - 11. Suppose -4*i + 100 = -0. Let v be 1/((4/(-10))/(-2)). Solve -v*f = -n*f - i for f.
5
Let u(h) = -h + 12. Let l(s) = 9*s**2 + 2*s + 1. Let i be l(-1). Let m be u(i). Solve -3*b - m = 8 for b.
-4
Suppose 0 = -5*a + 5*n + 5, 5*a - n - n = 2. Solve a*v - 3*v = 15 for v.
-5
Suppose r - 30 = -4*r - a, 3*r + 5 = 4*a. Suppose -6*g - r = -7*g. Solve 5*m = -0 + g for m.
1
Suppose 4*r - 6 = 18. Suppose 0 = 7*p - 12*p + 15. Let w = 7 + 2. Solve r*q = p*q - w for q.
-3
Suppose -1 = 4*k - 9. Suppose 5*r = -k*d - d + 11, 19 = r - 5*d. Solve -r*n = -2*n for n.
0
Let r = 68 - 56. Solve 3 - r = -3*h for h.
3
Let h(j) = j**3 - 12*j**2 + 10. Let r be h(12). Let i = 7 - 5. Solve i*d + r = -3*d for d.
-2
Let l be (8 + 1)*3/9. Suppose 1 = -l*u - 5. Let b be ((-2)/(-5))/(u/(-10)). Solve b*x - 7*x - 20 = 0 for x.
-4
Let d be (-4)/2*12/2. Suppose 0 = -6*f + 7*f - 4. Let c be (2/f)/((-3)/d). Solve -1 = -c*m - 3 for m.
-1
Let o be 0 + -3 + 12 + -9. Suppose o = -3*a + 7*a + 16, -5*q = -4*a - 76. Suppose 0 = -0*n + 2*n - 4. Solve w = -n*w - q for w.
-4
Let y be (3 - 1)/(-3 + 1). Let j be (0 - y)/((-1)/(-4)). Solve -2*r = -r + j for r.
-4
Let d(s) = -s - 27. Let j be d(-29). Solve -j = -3*y + 4 for y.
2
Let t(g) = -3*g**3 - g**2. Let l be t(2). Let o be (-4)/14 - 92/l. Solve 0 = -2*q + o + 1 for q.
2
Suppose 2*h + 3*c + 34 = 0, 0 = 5*c + 7 + 13. Let l be 1 + 0 + 5*-1. Let p = l - h. Solve -3*m - 4 = -p*m for m.
1
Let d be (-332)/(-36) - (-2)/(-9). Suppose -v = 2*v - d. Suppose 2*r + 9 = 3*t, -r - 9 = 4*r - v*t. Solve -12 = -r*i + 3*i for i.
-4
Let b(z) = -z**2 + 8*z + 5. Let j be b(4). Suppose 2*m + 10 = 5*i - 23, -4*m - j = -i. Solve -i*t - 9 = 1 for t.
-2
Let p(t) = 12*t**2 + 3*t + 2. Let b be p(-1). Solve -1 - b = 3*d for d.
-4
Suppose -2*y - 18 = -20. Solve 26 = 5*m + y for m.
5
Let m = 2 + 0. Let y be (1 + -11 - 0)/(-1). Suppose -7*w + 21 = -0*w. Solve -m*r + y = w*r for r.
2
Suppose 25 = -k + 5*j, 0 = 5*j - 19 - 6. Solve k = 2*a - 1 - 9 for a.
5
Suppose 0 = 3*z + z - 12. Let l = 6 - 9. Let h = z + l. Solve 0*v - v = h for v.
0
Suppose 20*v = 16*v + 12. Solve 0 = 5*t - v - 2 for t.
1
Let h be (-12)/42 - 74/(-14). Let f = -15 + 30. Solve -f = -h*q - 40 for q.
-5
Let q be (-1 + -1)/(22/(-77)). Let d(x) be the first derivative of x**4/4 - 2*x**3 + 7*x**2/2 - 7*x + 1. Let r be d(5). Solve r*o + 1 = q for o.
2
Let j(z) be the first derivative of z**2/2 + 3*z + 2. Let v be j(0). Solve -2*w - v*w = 0 for w.
0
Suppose 0 = -315*m + 323*m - 24. Suppose 0 = 2*v - 10 + 4. Solve v*z - 3 = m for z.
2
Let m be -14*(-2)/(8/2). Let v(s) = -4*s**2 + 3*s + 12. Let j(x) = -x**2 - x + 1. Let d(f) = -3*j(f) + v(f). Let y be d(m). Solve p - 2*p - y = 0 for p.
-2
Suppose 7 = t - 0. Let d be (-1)/(-3) - (-11)/3. Let r = t - d. Solve -a - r*a - 12 = 0 for a.
-3
Suppose 2*r - 8 = v - 1, -v + 5 = 4*r. Let q be (21/9)/((-1)/v). Solve 0 = -4*u - 1 - q for u.
-2
Let b be (3 - -2)*(-2)/(-5). Suppose -3*a = -5*q + 12, q - 5*a + 0 = -b. Let r be (1/(-1))/(q/(-15)). Solve s - 16 = r*s for s.
-4
Let a(q) = q**3 - 20*q**2 - 45*q + 24. Let m be a(22). Solve -m*i = 2*i + 12 for i.
-3
Let j(h) = -h**2 + 2. Let l be j(0). Suppose 3*i = 2*t + 13, -2*i + 7 = 3*i + 4*t. Solve -w + i = -l for w.
5
Let r be 9/(-2)*(-8)/6. Let b = r - 1. Let l(d) = d**3 - 4*d**2 - 4*d - 1. Let j be l(b). Solve 3*n = 16 - j for n.
4
Suppose 3*c - c - 32 = -2*q, 2*c + 58 = 4*q. Suppose -30 = p - 0*p + 5*s, 5 = p - 2*s. Let r = p - -11. Solve 3*z = -r + q for z.
3
Let i = 20 - 18. Solve 3*z - 4 = i for z.
2
Let r be 32/(-5) + (-18)/(-45). Let w = -9 + r. Let v be (-20)/w*6/4. Solve 7*a - v*a = 0 for a.
0
Let n be 12/18 + 2 - (-2)/(-3). Solve -n*p = -5*p + 3 for p.
1
Let u = 17 + -5. Solve -7*p + 3*p = -u for p.
3
Suppose 3*n + 2*n - 25 = 0. Let q = 3 + -1. Suppose -5*s + q*o - n = 0, -4*s - 1 - 10 = -3*o. Solve -2*h + 9 = s for h.
4
Let k(m) = m + 3. Let h be k(2). Let n(o) = o - 4. Let i be n(7). Let g(v) = v**2 - v. Let x be g(2). Solve x*p + h = i for p.
-1
Let i(s) be the third derivative of s**4/24 + s**3 - 3*s**2. Let c be i(0). Solve -4*d - c = -d for d.
-2
Let w(g) = -g + 11. Suppose 3*h - p - 32 = 0, -2*h - p = 3*h - 40. Let u be w(h). Solve 5*q - u + 27 = 0 for q.
-5
Let i = 65 - 63. Solve k = -2 - i for k.
-4
Let a = 22 - 16. Let h = a + -2. Solve -j - j - h = 0 for j.
-2
Let m = -6 + 6. Let l = m - -1. Solve 6 - l = -5*i for i.
-1
Let i(d) = d**2 - 3*d + 2. Let a be 9/12 + (-42)/(-8). Let v be i(a). Solve 2*k - v = 6*k for k.
-5
Suppose -a = 5*u - 2*a + 3, 0 = 5*u - 3*a + 9. Suppose u = 5*c - 5*i - 15, 2*c - 18 = -2*c + i. Let h be ((-4)/(-1))/(c + -3). Solve -4*p - h = -6*p for p.
1
Suppose 3*s - 2*s = 23. Let h = s + -20. Solve h = -w - 2 for w.
-5
Suppose 3*h - 2*y - 2 = -3*y, -2 = h + y. Suppose 4*s - 14 = h*u, -3*s = 2*u - 2*s - 6. Let m = 5 + u. Solve m*r - 16 = 2*r for r.
4
Let w(k) = k**3 + 4*k**2 - 3*k + 2. Suppose 2*p = -2*a, p - 4*a + 20 = -0*p. Let j be w(p). Suppose 2*r + 20 = 2*s, 3*s - j = r + 8. Solve -s*n + 20 = -n for n.
4
Let g = -6 - -10. Suppose 0 = g*q - 2*u - 24, 2*q + 0*q + 8 = -4*u. Solve q*a = -0*a - 20 for a.
-5
Suppose 5*b + 43 = 3*h, 1 = -4*h + 2*b + 35. Suppose -h*n + 15 = -3*n. Solve 3*m + 10 = n*m for m.
5
Suppose -6*u + 2*u = 0. Solve u = z - 3*z - 4 for z.
-2
Let r be 7*3*1/3. Suppose -2*h + r = t, -t - t + 15 = 5*h. Solve -3 = 2*p - h for p.
-1
Let x(n) = n**3 - n**2. Let f be x(2). Suppose f*o = 20, 4*o - 10 = 5*p - 0*p. Solve 1 + 3 = p*h for h.
2
Let r be (360/48)/(-1 + (-7)/(-4)). Solve u + u - r = 0 for u.
5
Let f = -35 + 106. Suppose 2*s = -h + f - 26, -h = 5*s - 105. Suppose 4*g - 7*t + 3*t - 32 = 0, -5*g + t = -s. Solve 0*m = g*m for m.
0
Let m(y) = -y**3 + 5*y**2 - 3*y. Let j = 6 + -2. Let l be m(j). Solve -l*n - n = 20 for n.
-4
Let k(u) = -u**3 - u + 3. Let a be k(0). Solve 8*y + 25 = a*y for y.
-5
Let p = 520 + -275. Let r be p/77 + (-2)/11. Solve d = -2*d - r for d.
-1
Suppose -4*s - 2 = 2. Let j = s - -1. Solve -n = -j*n - 4 for n.
4
Suppose -h + 5*h = 64. Suppose a - 5*a = -h. Solve a*b - 16 = 4 for b.
5
Let l(f) = f**3 - 6*f**2 + 5*f - 3. Let q be l(4). Let a be (-3 - -2)*q*1. Suppose -3*w + 15 = -a. 