
Let g(m) = 3*m + 3. Let v be g(4). Suppose 4*o = -o + v. Solve -3*d + 0 = -o for d.
1
Suppose 0 = -5*t + 6*t - 2. Let b = t - -2. Solve b*g + 9 = 25 for g.
4
Let z(i) = i + 3. Suppose -s - 8 = -4, 0 = 5*o + 3*s + 27. Let r be z(o). Let x be -3 + 1 + r - -5. Solve 4*u = u - x for u.
-1
Suppose -2*z + 2 = -2*a, -a = -z - 4*a - 3. Let h(w) = -w**3 + w**2 - w + 5. Let o be h(z). Solve 10 = -o*y - 10 for y.
-4
Let m = 17 + -10. Let x = m - 5. Solve x*j - 3*j = 3 for j.
-3
Let n(w) = w + 4. Let y be n(4). Let i = -5 + y. Let q = -1 + 2. Solve -j - q = -i for j.
2
Let u = 20 + -17. Solve 2*z + 7 = -u for z.
-5
Let v = 40 - 40. Solve -3*j + 6 = -v*j for j.
2
Let s(v) = v**3 - 4*v**2 - 5*v + 3. Let t be s(5). Suppose 2*g - 6 = -g. Let x be (3 - t)/(g - 1). Solve 0 = -x*z - 2*z for z.
0
Let d be -4*(-2)/((-8)/(-2)). Let v(n) = -n + 4. Let t be (-38)/(-8) + 6/(-8). Let r be v(t). Solve l - d*l = r for l.
0
Let m = -9 - -11. Suppose i + 4 = -3*s + 15, 2*i - 2*s = -m. Solve i*y - 4 = y for y.
4
Let t = 6 - -10. Solve -t = 3*v + v for v.
-4
Let a(c) = c**3 - 6*c**2 + 8*c + 4. Let l be a(4). Solve -l*d + 3*d + 2 = 0 for d.
2
Suppose -4*i - 5*y = i, -12 = -5*i + y. Solve 3 = -i*l + 3*l for l.
3
Suppose -13 = -3*n - 4. Suppose -l + n*l = 24. Solve -2*z = 2 - l for z.
5
Suppose s + 0 + 3 = 0. Let l = s - -13. Solve 0*v = 5*v + l for v.
-2
Let a be (-1 - -4) + -2 + 1/1. Let h be (1 + 0)*(4 - 1). Solve 0 = h*z - z - a for z.
1
Suppose -3*j - 2*j + 75 = 0. Suppose 2*k + j = 3*t, 0 = -3*k + 6*k - t + 5. Let y be 3*(1 + k)*1. Solve y*m + 18 = 3 for m.
-5
Let n be (-16)/(-20)*5/2. Suppose -4*q = -3 - 9. Suppose -5*r - 8 = 5*z - 43, 4*z = -q*r + 24. Solve n*s + 20 = -z*s for s.
-4
Let r = 28 - 25. Solve -2*l + 25 = r*l for l.
5
Let d(q) = -q**2 - 7*q. Let i be d(-8). Let z = i + 14. Let b be ((-8)/z)/((-2)/6). Solve 1 - b = g for g.
-3
Let w = 6 - 3. Suppose w*g = -g. Solve g = -5*v + v + 8 for v.
2
Suppose 4*t = t + 6. Let p be (t - 2) + (0 - 0). Suppose -18 = -m + 4*g, g = -4*m - p*g + 4. Solve m*i = i - 5 for i.
-5
Let h be 10/(-60) - 115/(-6). Solve -3 = -4*d - h for d.
-4
Let b = 99 - 99. Solve -u + 4 - 3 = b for u.
1
Suppose -18 = -3*b + 3*k, -4*b - k - 16 = -7*b. Suppose b = 2*d + y, -4*d - 3*y + 15 = -0*y. Solve h = -d*h for h.
0
Suppose -2*a - 10 = 0, -y + 25 = -0*a - 5*a. Suppose y = -4*j + 6 - 2. Let i be ((-1)/2)/(j/(-2)). Solve -o - i = 2 for o.
-3
Let z(d) = d**3 - d**2 - d. Let b be z(2). Solve -3*s = -b*s - 3 for s.
3
Let l(k) = k + 12. Let g be l(-10). Solve 5*r - g - 3 = 0 for r.
1
Suppose 16 = 2*s - m - 26, m = -s + 15. Solve 0 = 4*b + s + 1 for b.
-5
Let c(y) = 8*y**2 - 1. Let u be c(-1). Suppose u*v = 3*v. Solve 0 = 5*s + 10 - v for s.
-2
Let c = 38 - 26. Suppose -3*r - r = -c. Solve -x - r*x = -8 for x.
2
Let u(o) = -o**2 + 7*o - 3. Let b be u(4). Suppose -3*j - 4*m + 5 = 0, 2*j = -2*m + 1 + 5. Let x = -3 + j. Solve x*n - n = -b for n.
-3
Let c(q) = 2*q**2 + q + 1. Let j be c(-1). Solve 0 = j*y + y + 9 for y.
-3
Let k = 5 - 3. Suppose k*r + 1 = 17. Solve r = -4*c - 8 for c.
-4
Let j(g) = -g**2 - 13*g - 8. Let x be j(-12). Solve -m - x = m for m.
-2
Let g(t) = t**2 + 6*t + 5. Let a be g(-4). Let s(v) = -v + 1. Let z be s(a). Solve 3*n - 3 = z*n for n.
-3
Let t = 22 + -13. Suppose 0*d + 3*d = t. Solve d*b - 9 = -0*b for b.
3
Let y = 9 - 10. Let m be (-4)/(-4) - (y + -1). Solve -1 = m*v + 2 for v.
-1
Suppose 0 = -3*b - b. Solve 2*x + 2 = -b for x.
-1
Suppose 3*y - 15 = -3. Suppose l - y*x = -0*l + 29, -2*l - 5*x = -45. Solve 0 = -7*b + 2*b - l for b.
-5
Let u = 0 - -2. Let p(l) = l + 3. Let j be p(2). Suppose s = -j*n + 5, 0*s - s - u*n + 8 = 0. Solve -x - x + s = 0 for x.
5
Suppose 0 = -0*r + 4*r - 24. Let y be r/(-9)*(-1 - 2). Suppose -2*o = 4*s - 4, -2*o + 2 = 2*s - 0*s. Solve -y*j + o*j + 10 = 0 for j.
5
Let s = -8 + 28. Suppose -y - 2*y + 3 = 0. Suppose 5*k - 4 = 3*j + y, 4*j = 4*k + 4. Solve -9*x - s = -k*x for x.
-4
Let b(a) = -3*a + 2. Let o be b(-4). Let p = -44 + 48. Solve o - 6 = -p*h for h.
-2
Suppose -2*v + n = -9, -4*v + 0*v + 20 = -4*n. Let o be (-2)/v - 4/(-8). Solve 0 = -5*s - o - 5 for s.
-1
Let v(p) = -2*p + 16. Let f be v(6). Solve 0 = -f*r + 6*r + 2 for r.
-1
Let q be (3 + 2)*(-4)/(-10). Let u be (1/(-2))/(q/(-40)). Solve 3*f + u - 25 = 0 for f.
5
Let n be -4 + (-5)/5 + 9. Solve c - 3*c - n = 0 for c.
-2
Suppose -4*u + 17 = q, 2*u - 4*u + 2*q = 4. Let p be (-1)/2 - 9/(-2). Suppose -p*k = -k - 12. Solve u*h + 3 = k*h for h.
3
Suppose 7*r - 2*r + 17 = -4*i, 2 = -2*i + 4*r. Let j(y) = -y**3 - y**2 + 5*y + 7. Let n be j(i). Solve -7*u - n = -2*u for u.
-2
Let y(b) = -2*b - 1. Let v be y(-1). Let o be 1 - -16 - (-2 + v). Suppose 4*p + p = -2*l + o, -2*p - 3*l + 16 = 0. Solve -2*u - p = -u for u.
-2
Let v = 35 - 33. Solve 4*i = 5*i - v for i.
2
Let z(x) be the first derivative of 9*x**2/2 - 2*x - 3. Let d be z(2). Let m = 2 + -1. Solve -5*s = -d + m for s.
3
Let a be 16/6 - (-1)/3. Let u(s) = s**2 - 10*s + 1. Let j(w) = -2*w**2 + 19*w - 2. Let d(c) = 6*j(c) + 11*u(c). Let x be d(a). Solve -2*l - x*l = 0 for l.
0
Let h be (-12)/(-2) + (-2)/(-2). Let i = h + -4. Solve -2*m + 5*m = i for m.
1
Suppose 5*b - b = 4. Solve 4*h - b + 13 = 0 for h.
-3
Let i(v) = v**3 + 55*v + v**2 - 58*v + 2 - 4*v**2. Let k be i(4). Solve -k + 1 = -m for m.
5
Let z(h) = h**3 - 2*h + 1. Let l be z(2). Let b = -2 + l. Solve -2*n + b = 13 for n.
-5
Let q = 30 - 16. Let g be (-2)/7 + 4/q. Solve -4*t - 20 = -g*t for t.
-5
Suppose 5*n + 2*g = -0*g - 31, -3*n - 4*g - 27 = 0. Let y(w) = -w**3 - 5*w**2 + 2*w + 12. Let v be y(n). Solve -v*h - 2 = 2 for h.
-2
Suppose 0 = v - 3. Let n(p) = p**2 - 2*p - 2. Let k be n(v). Suppose 2*c = -b + 7 - k, 2*c + 6 = 5*b. Solve -3*x - 11 + c = 0 for x.
-3
Let u be (2 - 5) + 18/2. Let n be (2/3)/((-7)/(-21)). Solve -a - n*a = u for a.
-2
Let l be 2/(-9) - (-1012)/99. Solve -f = 4*f + l for f.
-2
Let m be (-4)/(-16) - (-44)/16. Suppose -i + 4 = -m. Solve -2 = -s - i for s.
-5
Suppose 53 = 11*x + 9. Solve -3 = 5*t - x*t for t.
-3
Suppose 0 = -4*g + 14 + 2. Solve -g*s - s = -25 for s.
5
Let b(k) be the first derivative of 1 - 1/4*k**4 + 4*k + 0*k**2 + 1/3*k**3. Let m be b(0). Solve -2*y + m*y = -2 for y.
-1
Let y(d) = -5*d - 2*d**3 + d**3 - 1 + 3*d. Let s be y(-1). Suppose -20 = -s*c - 2*c. Solve 1 = -c*z - 4 for z.
-1
Let o = 13 - 5. Suppose -p = -5*p - o. Let i = 5 + p. Solve 5*t - i*t = -6 for t.
-3
Let y = -19 - -19. Solve -5*s + 13 + 2 = y for s.
3
Let v(b) = 2*b**2 - 5*b. Let k be v(3). Solve -3 = -k*a + 3 for a.
2
Let h = -12 - -13. Let g be ((-2 + 2)/h)/(-2). Solve j + 2 - 7 = g for j.
5
Let k = 44 - 44. Solve -2*m + 6*m + 12 = k for m.
-3
Let m be 0*(-2 - 0)/4. Suppose 0 = -0*u - u. Solve m = -u*v - v + 2 for v.
2
Suppose -5*p + 4*a + 18 + 4 = 0, a = -p - 1. Suppose 4*d + 12 = p*j - 16, -j - 4*d = 16. Suppose -3*b + j = b. Solve -b - 2 = -f for f.
3
Let u(v) be the third derivative of v**6/120 + v**5/12 + v**4/8 + v**3/3 - 7*v**2. Let b be u(-4). Solve -3*a + b*a = 3 for a.
1
Suppose -4*i = 3*b - 12, 4*i + 3*b - 2*b - 12 = 0. Solve -7 = -5*j + i for j.
2
Let a = 7 - 4. Suppose n - 15 = 2*z, -n - a*z - 9 = 1. Solve -1 = -3*c + n for c.
2
Let n(b) = -9*b**3 + 2*b**2 + b + 2. Let f be n(-2). Suppose -5*y + 10 = 35, f = 5*r - 4*y. Let q = 9 + -5. Solve -q*a + r = -0*a for a.
3
Let f be 4/(-14) - 8/(-28). Let l(h) = h + 10. Let b be l(-5). Solve b*d + 9 + 6 = f for d.
-3
Suppose 0 = 4*v + 3*u - 28, 0*u = 2*v - 2*u. Solve 5*c = v*c for c.
0
Suppose 3*p + 6*a - 2*a - 1 = 0, a = -2. Suppose -2*z + 4*m = -12, -2*z + 5 = -p*m - 7. Solve 0 = -x + 3 - z for x.
-3
Let s = -11 + 12. Let u = -5 - -10. Solve -u - s = 3*p for p.
-2
Suppose 5*f + 3*l = 0, 0 = f - 5*f + 5*l + 37. Suppose -4*u + 1 = -f. Solve u = d + 3 for d.
-2
Suppose 29 = 5*s - 6. Let u = s + -3. Suppose x = u*x. Solve -m = 1 - x for m.
-1
Let u = 19 + -15. Solve -u*q = 7 + 1 for q.
-2
Let c be 1*-1 - (1 + 26). Let m = c + 60. Solve m = 5*b + 12 for b.
4
Let u = -4 - -1. Let x be 2*(-2)/(u + 1). Let t be x/(-8)*-6*2. Solve 7 + 8 = t*q for q.
5
Suppose 5*d + 11 - 31 = 0. Let x be (2 - 3) + (-2 - 1). Let n(j) = j**2 + j - 3. Let p be n(x). Solve -p = d*l - 1 for l.
-2
Let p(s) = s**3 - 2*s**2 - 6 + s - 3*s**2 - 3*s**2. Let o be p(8). Solve 2 = 2*f - o for f.
2
Let w = 1 + 14