pose 0 = -4*a + 4*d + 8, 0*a = -2*a - 4*d - 8. Let t(m) = -m**2 + 4*m + 1. Let b be 4 + 2 - (4 + -1). Let h be t(b). Solve -h = 4*l - a for l.
-1
Let b = -9 + 12. Solve -d = b*d for d.
0
Suppose 0 = -3*h - 3*h + 30. Solve -2*t + h*t = -15 for t.
-5
Let p be (-2)/((-5)/(125/10)). Solve -1 - 24 = p*m for m.
-5
Let a = 13 - 19. Let t be (-15)/a + (-1)/2. Suppose -5*n + 2 = y + 1, -2*y + t = 3*n. Solve -4 = -n*x - 2*x for x.
2
Suppose -2*h - 3 = -7. Solve -h*a + 7 + 1 = 0 for a.
4
Suppose 5*k - 5*p = 20, -4 = -4*k + 2*p - p. Suppose 23 = -5*j + 3. Let c = k - j. Solve -c*x = -0*x for x.
0
Let i(z) be the first derivative of z**4/4 + 2*z**3/3 - 2. Let h be i(-2). Suppose h*q - 5*q = -75. Solve -2*t - q = t for t.
-5
Suppose -2*u + 2 = -4. Suppose u*f = 5*f - 6. Solve f*o = 25 - 10 for o.
5
Let i = 0 - -14. Suppose -4*u + 3*f - i = -0*u, 2*u - 4*f + 12 = 0. Let c be -2*(u - (0 - -2)). Solve -c = q + q for q.
-4
Let p(y) = -5*y - 52. Let i be p(-12). Solve -i = a - 10 for a.
2
Suppose 2 = -2*x + 6. Let u = 6 - 3. Solve -i - x = u for i.
-5
Let j be (-2)/(-1) - 16/8. Let w = j + 3. Solve -w*d - 2*d = 25 for d.
-5
Suppose -6 = -3*w + 2*w. Let g(u) = u**2 + 20*u - 59. Let k be g(-23). Solve f = w*f + k for f.
-2
Suppose -28 + 7 = -7*y. Solve 4*q - y = 1 for q.
1
Let z(s) = s**2 - s + 0 + 1 + s**2 - s. Let o be z(1). Solve -5*c - 11 = -o for c.
-2
Let n be 33/6 + (-3)/6. Solve n*q - 1 = 9 for q.
2
Let d be ((-12)/18)/(2/15). Suppose u - 2*k = 3*u - 10, 5*u - 19 = k. Let g be d*u*(-5)/10. Solve -g = 4*m - 26 for m.
4
Suppose 3*o = 2*o + 3. Suppose 4 = 4*q - o*n, 0*q - 3*q + 4*n - 4 = 0. Solve q*y = -0*y for y.
0
Let y be 41/3 - 4/(-12). Let c = y + -11. Solve -c*x + x = 10 for x.
-5
Let y be (-4 - -3) + 12 + -1. Let v be (-56)/(-35) - (-4)/y. Solve -3*l = v*l - 10 for l.
2
Let p(w) = w - 5. Let o = -2 + 10. Let k be p(o). Let h be (-2 + k)/(-1)*-9. Solve 3*i - 3 = h for i.
4
Let g be ((-75)/10)/15 + (-42)/(-4). Solve 0 = 3*c - g - 2 for c.
4
Let p = -7 + 22. Let g = -5 + 1. Let h = g + 9. Solve -p = -4*c + h for c.
5
Let r(b) = -b**3 + 6*b**2 - 4*b. Let p be r(5). Solve 4 = -p*v + v for v.
-1
Suppose 3*c - 30 = -3*c. Solve 16 = c*b - b for b.
4
Suppose -27 = -7*y + 4*y. Suppose 4*a = 7*a - y. Solve -2 = -a*u + 7 for u.
3
Let z(p) = p**3 - p**2 + 3*p - 3. Let m be z(2). Suppose 5*j - m = 18. Solve -6 = -j*q - 1 for q.
1
Let q = 141 + -21. Suppose -3*m = m - q. Suppose -m = -0*a - 2*a. Solve 2*z - a = -z for z.
5
Let r(m) = -m**2 + 11*m - 18. Let y be r(7). Solve 2*a + 0 = -y for a.
-5
Suppose -5*i + 6 + 9 = 0. Suppose -3*u - 15 = -i*z, u - 3 = 2*u. Solve 3*k + z + 4 = 0 for k.
-2
Let h be 0*3/(-12)*2. Suppose i + k - 1 = -h*i, -i - 5*k - 15 = 0. Let d be -1 + (7 + -2 - 2). Solve d*c - i*c = 0 for c.
0
Let n(r) = r**3 + 6*r**2 + 5*r + 4. Let q = -6 + 3. Let t be n(q). Solve -4 = 4*l + t for l.
-5
Let h(p) be the third derivative of p**4/24 + 4*p**3/3 + p**2. Let t be h(-8). Solve 6 = -2*a - t for a.
-3
Suppose -15 = 2*y + 5*b + 8, 29 = 4*y - 5*b. Let x = 1 + y. Suppose 2*w - 8 = -x. Solve -2*p - p + w = 0 for p.
1
Suppose -13*g - g = 0. Suppose -20 = 3*r - 7*r. Suppose -4*s - j = -3 - 6, r*j = 5. Solve g = s*x + x - 6 for x.
2
Suppose 13 = 5*f - 17. Suppose 2 = -z - 2. Let m be 116/6 - z/f. Solve -4*y = y + m for y.
-4
Suppose 0 = 2*a + 3*z + 5, 5*a = 3*a - 2*z. Solve s - a = -1 for s.
4
Let u = -11 + 14. Solve 5*g - u*g = -10 for g.
-5
Suppose 4*g + 0*c = c + 49, -3*g + 2*c + 33 = 0. Suppose 3*j - g = 2*j + 2*m, -5*j - 4*m = -9. Let s(n) = 2*n. Let v be s(j). Solve 2 = -2*z + v for z.
4
Suppose -3*n = -21*n + 36. Solve -10 = 4*x - n for x.
-2
Let o be 108/(-14) + 2/(-7). Let s(c) = c**2 + 7*c - 3. Let r be s(o). Suppose 2*i = -0*i. Solve -y + r = -i*y for y.
5
Suppose 10 = 4*w - 6. Let g = 4 - w. Solve g = a - 2 - 3 for a.
5
Let z be (8/10)/((-10)/(-50)). Solve 8 + z = -3*w for w.
-4
Let c(y) = -2*y - 2. Let m be c(-5). Let v(k) = k - 5. Let l be v(m). Let w = 1 - 1. Solve w = b + 2*b - l for b.
1
Suppose -l + 4 = 0, 50 = 4*j + 5*l + 14. Let b be 0*((-10)/j + 2). Let x be 30/7 - 22/77. Solve b = -x*d + d for d.
0
Let q be 42/(-12)*(-8)/14. Suppose -5*s + 0*d = -5*d, q*s + 9 = 5*d. Suppose 0 = -s*b - b. Solve b = -3*i + 2*i - 1 for i.
-1
Let r(g) = g**2 + 6*g + 6. Let k be r(-6). Let v = 54 - 28. Let f = 46 - v. Solve -2*l + f = -k*l for l.
-5
Suppose 4*s - 64 = 96. Suppose 2*p + s = 4*j, 10 = 3*j - 2*j - 5*p. Solve -4*r - j = -2*r for r.
-5
Let y = -7 + 10. Suppose 3*q + 28 = y*b + 5*q, q = -2*b + 20. Suppose b = 5*l - 3. Solve k + l*k = -8 for k.
-2
Suppose 0*h = -3*h + 9. Suppose 5*s - 95 = -5*a, 3*a - s + h*s = 56. Let j be (3/(-9))/((-3)/a). Solve -j + 12 = 2*z for z.
5
Let z = -4 - 8. Let h be z/(-8)*(-4)/(-6). Let c be 35/14*(1 + h). Solve -2*p - 1 = -c for p.
2
Suppose 0 = 4*i - 1 - 7. Suppose -4*c = -52 - 40. Suppose -q - n = i*q - 1, -q = 5*n + c. Solve -q*v = 3 + 7 for v.
-5
Suppose l = -2*l. Suppose 0 = -6*v + 2*v + 4. Solve f + v = -l for f.
-1
Suppose 5*p - 4 = -14. Let r = 4 + p. Let l = 7 - r. Solve 6*j - l = j for j.
1
Let o be 8 + -2*(-2)/2. Solve 4*l = 2*l - o for l.
-5
Let d(u) = -u - 6. Let g be d(-5). Let h(y) = -y**3 - 7*y**2 - 7*y - 5. Let a be h(-6). Let l be (-1 - g) + (3 - a). Solve -4 = -c + l*c for c.
-4
Let m(k) = -k - 2. Let q be m(-6). Suppose -14 = 3*a + 2*w - 46, 3*a - 28 = -w. Suppose 0 = -q*z + a + 4. Solve 2 + z = i for i.
5
Suppose -3*m = 5*g - 18, -7*m - 4*g = -2*m - 17. Solve -m = d + 3 for d.
-4
Let h be (7 - 6/(-2))/(-1). Let a(o) = o**3 + o**2 - 3*o + 3. Let g be a(-3). Let p be 7 + 5/(h/g). Solve p = 5*t - 5 for t.
3
Suppose 3*l = 2*l - 58. Suppose -4*j + j - 123 = 0. Let d = j - l. Solve -d = -5*g - 2 for g.
3
Suppose -2*j + 20 = 2*j. Suppose -6 = 3*m, j*p = 3*m - 5 - 9. Let w = p + 5. Solve 2*b = w - 3 for b.
-1
Let s = 3 + 0. Solve -7*v + s*v = 0 for v.
0
Suppose -5*k = -10*k + 4*g + 42, -g = 5*k - 27. Solve h + k = 4*h for h.
2
Let c(q) = 4*q**3 + 5*q**2 + 8*q + 10. Let w(i) = 7*i**3 + 11*i**2 + 16*i + 19. Let h(s) = 5*c(s) - 3*w(s). Let k be h(-7). Solve k = -5*t + 3*t + 8 for t.
4
Let c(q) = -q**2 + 9*q - 13. Let p be c(3). Solve p*h = -9 - 16 for h.
-5
Suppose -8 = -3*m + 5*m, -3*m = 4*d - 4. Solve d*f = 5 - 1 for f.
1
Let h(a) be the third derivative of a**5/120 + a**4/24 - a**3/6 - 3*a**2. Let n(q) be the first derivative of h(q). Let s be n(1). Solve s*c + 4 = -0*c for c.
-2
Suppose -p + 22 = -0*p. Let u be 4/(-6) + p/6. Let s = 8 - 2. Solve -y = -u*y - s for y.
-3
Let p be ((-49)/(-35))/(1/5). Let b = p + 1. Solve 0 = 4*t + 4 + b for t.
-3
Let a be 0/(1 - 0 - 3). Let h = -4 - -6. Solve u + h + 0 = a for u.
-2
Suppose -f = -6*f + 25. Solve 6 = f*a + 1 for a.
1
Let z be (-3 - (-76)/13) + (-4)/(-26). Solve -z = k - 2 for k.
-1
Suppose 3*s + 5*x = 0, -7*s + 3*s + x = 0. Suppose 5 = 5*i - 3*r - r, 4*r - 20 = s. Let y(g) = -g**2 + 9*g + 1. Let u be y(7). Solve -i*z + u = -0*z for z.
3
Let x be (-8)/10*(-12 - 3). Suppose 2*t + 6 = -2*n + n, -4*n - 5*t = x. Solve 2*u - 8 = -n*u for u.
2
Suppose -3*b = -6*b. Let p be b/((-4)/4 + 3). Solve p = -2*d + 4*d for d.
0
Let q = -53 - -53. Solve q*p - 4 = -p for p.
4
Let r = -3 + 3. Suppose 2*w + 0*w + 10 = r. Let n = 8 + w. Solve 2*z - 1 = n for z.
2
Suppose 2*t - 125 = -3*t. Let s = t - 17. Solve -s = -o - 3*o for o.
2
Suppose 15*h - 41 = 184. Solve 0*x = -3*x - h for x.
-5
Let z(h) = h**3 - h + 2. Let y be z(-2). Let k be ((-2)/y)/(4/120). Solve 7*r - 2*r - k = 0 for r.
3
Suppose 0 = -k + 4 + 21. Suppose -3*h - k = -4*a + 8, 2*h - 6 = -2*a. Suppose -5*y = -t + 25, -5*t + 2*t + 61 = -y. Solve -a*b + b = t for b.
-4
Suppose 7 = -2*w - 3. Let t = 0 - w. Suppose 0*s - s = -t. Solve -3 = -2*k + s for k.
4
Suppose 10 = -m - 0. Let q = -6 - m. Solve -2*z = 2*z + q for z.
-1
Let z(a) = 3*a. Let v be z(1). Solve h = v*h - 6 for h.
3
Suppose 2*h + 8*b - 3*b + 8 = 0, 5*h = -b + 26. Suppose -o = -0*o - 26. Suppose -2*u - 4*a + 22 = 0, -u - 7 = 4*a - o. Solve i - h = u*i for i.
-3
Let x be 0*((-3)/(-2))/(-3). Let r = 20 + -16. Solve 0*u + u + r = x for u.
-4
Let j(m) = -m**2 + 8*m - 8. Let h be j(6). Suppose a + 20 = 5*a. Solve h*g + a = -g for g.
-1
Let o(m) = m**3 - 10*m**2 + 19*m - 20. Let g be o(8). Solve -g*b = b - 5 for b.
1
Suppose 3*w - 7*w = 0. Let c(x) = x. Let j(m)