 Let f(u) = -u**2 + 4*u - 3. Suppose 0 = 3*i - 7*i + 12. Let l be f(i). Solve k - v*k - 8 = l for k.
-2
Suppose 0 = 3*z - 0 - 15. Solve 4*k - z*k + 1 = 0 for k.
1
Suppose 11 = 3*m + 4*n - 3, n - 5 = -m. Let a be 2/m + 141/9. Let w be 2/(-6)*(1 + -19). Solve -2*z - w = -a for z.
5
Let c = 15 - 8. Solve -c*o = -2*o - 15 for o.
3
Suppose -5*o + 9 = -2*o. Let c be (0*1/o)/2. Suppose 0 = 4*i + 5*r - 19, 0 = -c*i - 3*i - 4*r + 15. Solve 10 = -3*h + i for h.
-3
Let a be 9/(-6)*24/(-9). Let w = 6 - a. Solve -w*g - 3*g - 15 = 0 for g.
-3
Let o = 24 - -14. Suppose -n = 3*k - 16, 2*k = 4*n + k - o. Suppose n = -0*d + 2*d. Solve 4*s + d = -15 for s.
-5
Let s be (-5 + 6)/((-2)/8). Let l = s + 7. Suppose -a = -l*a. Solve -f - 3 = -a for f.
-3
Suppose -5*v + 26 + 4 = 0. Solve -2*f = -v*f - 16 for f.
-4
Let f = 5 - 3. Let d(q) = 0*q + 10*q + 5*q. Let l be d(1). Solve l = 3*g + f*g for g.
3
Let t = 7 + 0. Let l(w) = -2 + 0 + 0 + w - 1. Let z be l(t). Solve 0 = 3*c - z*c - 4 for c.
-4
Let p(r) be the second derivative of r**4/12 + r**3/6 + 2*r. Let s be p(-2). Suppose 3*u = s*u + 8. Solve 5*k = k + u for k.
2
Let f be (-1)/(-2) + 13/2. Suppose 10 - 25 = -5*l. Solve -l = -y - f for y.
-4
Suppose -3*l = -l - 20. Let t be 4/l - (-16)/10. Solve 20 = t*f + 3*f for f.
4
Let g(x) = -x**3 + x + 38. Let r be g(0). Let d = -22 + r. Suppose -5*z + 9 + 6 = 0. Solve a + d = -z*a for a.
-4
Let l = 0 + 2. Suppose -l*t = t. Solve t = -3*j + j - 10 for j.
-5
Let r be 6 + -3 - (-4 + -4 + 11). Solve 3*u + r*u = -9 for u.
-3
Suppose 0 = 2*p - 5*p - 12. Let f be (-8)/6*6/p. Solve 12 = -f*t + 4 for t.
-4
Let o = 5 - 2. Let p(j) = j**2 + 4*j + 7. Let b be p(7). Let m be b/9*(-6)/(-4). Solve -2 + m = o*q for q.
4
Let h(v) = -v**3 - 5*v**2 + 6*v + 2. Let w be h(-6). Let o(c) = -c**3 + 7*c**2 - 7*c + 8. Let l be o(6). Let r = l + 1. Solve -f = -w - r for f.
5
Let g(o) = -4*o**2 - 4 + 2*o**3 - o**3 + 2*o - 1. Let f be g(4). Solve -f = -4*r - 19 for r.
-4
Let a = 5 + -10. Let m be 6/a*30/(-9). Suppose -m*f = -f. Solve f = -y - 4 - 1 for y.
-5
Let y(i) = i**2 - 2*i - 6. Let m be y(5). Let p(q) = -q**2 + 9*q. Let g be p(m). Solve -3*v = -g - 6 for v.
2
Suppose -2*w + 4*z + 0*z = 8, 2*w + 22 = -3*z. Let t = w - -8. Solve t = 7*y - 2*y for y.
0
Let j = -5 + 8. Suppose -j*m + m = 0. Suppose y = -m*y. Solve -4*c + 0*c - 4 = y for c.
-1
Suppose 2*h - 5*q - 14 = 12, 3*h + 5*q + 11 = 0. Let s be h - 3/((-3)/1). Solve -15 = -c - s*c for c.
3
Suppose 4*v + 5*r + 18 = -7, -4*v = -2*r - 10. Solve v = -m + 4*m - 3 for m.
1
Let x = 1 - 0. Let f = -8 + 18. Let z = -5 + f. Solve -z = 4*v - x for v.
-1
Let o = 16 + -13. Solve o*i = -i - 4 for i.
-1
Let j = 10 + -7. Solve -2*r - 13 = -j for r.
-5
Suppose 6*p - 5 = p. Let z = 5 + p. Solve z = 5*b + 1 for b.
1
Suppose -2*v - 3*p = -21, -2*v - 7*p + 27 = -2*p. Solve -3 = -3*d + v for d.
3
Let n(d) = -d**3 + 7*d**2 + d - 4. Suppose -4*z - 7 = -5*z. Let m be n(z). Suppose 2*g - 10 = -m*g. Solve -g*w + 0*w = 6 for w.
-3
Suppose -15 = a - 4*a. Solve 3*i = a + 7 for i.
4
Let n be 6/(-24)*-2 - (-58)/4. Solve 3*q + n = -2*q for q.
-3
Suppose -2*f = 2*f - 28. Let k(n) = 3*n + 6. Let a be k(-3). Let u = a + 4. Solve u = 3*w + f for w.
-2
Let c = 43 + -22. Let a = c + -19. Solve 2 + a = j for j.
4
Suppose -4*j + 4*y = -2*j - 2, 3*j - 9 = 3*y. Solve -2 = -j*n + 3*n for n.
1
Let p be (-7)/(-2)*(-60)/(-35). Solve 0 = -4*q - 14 + p for q.
-2
Let r = -16 + 29. Let y = r - 27. Let w = -5 - y. Solve 0 = 2*g + 1 + w for g.
-5
Let j = 11 + -7. Suppose -1 = -y - 3*b, -11 = -j*y + y - 5*b. Solve 0 = 5*k - 8 - y for k.
3
Suppose 12 = a + 4. Suppose i + 2 = -3*v - a, 5*v + 5*i + 30 = 0. Let h be 86/6 - v/3. Solve -3*t + 0*t = -h for t.
5
Let p = 38 + -33. Solve 0 = v + p - 3 for v.
-2
Let b be 15/(-25) + (-3)/(-5). Solve -2*p = -b*p - 8 for p.
4
Suppose 4*p - 2*p = c, -3*p - c = 5. Let i = p - 3. Let g be 2 + (1 - (-3 - i)). Solve 0 = x + g for x.
-2
Let t = 23 - 19. Solve -y - t*y - 25 = 0 for y.
-5
Suppose 15 = 3*m + 2*m. Solve 0 = -m*u - u for u.
0
Suppose 2*t = g - 11, -t + 2*t = 3*g - 8. Let b(m) = m - g + 2 + 0. Let u be b(1). Solve 0 = -u*v + 5*v - 3 for v.
1
Let c be 7*(3 - (3 - -3)). Let w be (-2 + 4)*(-29)/2. Let s = c - w. Solve 0 = b + 3*b - s for b.
2
Suppose -5 = x - 2*x. Solve -x = -3*y + 7 for y.
4
Suppose -8*p + 12*p = 32. Solve -17*a + 15*a = -p for a.
4
Let j(i) = -i**3 - 4*i**2 + 3. Let w be j(-4). Let b(m) = 3*m**2 + 6*m + 3. Let v be b(-3). Suppose -w - v = -5*x. Solve -6 = x*f + 6 for f.
-4
Let y = -21 + 21. Solve l = -y*l for l.
0
Suppose 2*a + 14 = -0. Let n = 11 + a. Solve -n*x - 6 = -2 for x.
-1
Let s(i) be the second derivative of -i**5/20 - 5*i**4/12 - 5*i**3/6 - 2*i. Let r be s(-4). Solve -2*b + r*b = 8 for b.
4
Suppose 26*a - 16*a = 40. Solve -a*v + 8 = -0 for v.
2
Suppose 6 = 2*k, 19 = -4*v + 5*k - 12. Let s be (-14)/(-4) + (-2)/v. Solve s*b = 14 - 2 for b.
3
Let h be (1/((-2)/(-4)))/(-2). Let d be (-1 - h)/(-3 + 5). Let g be (5/2)/((-1)/(-2)). Solve d = -g*l + 4*l - 5 for l.
-5
Let n be (-4)/(-10) - 96/15. Let g be (6/5)/(n/(-15)). Let u be (3 + -1)*(-3)/(-6). Solve g*v = 14 + u for v.
5
Let x = -24 + 24. Let j be (-6)/4*30/(-9). Suppose x*u + j*u = 15. Solve -u = -0*p + 3*p for p.
-1
Let i = 395 - -199. Let j be (-2)/(-4) + i/12. Suppose 8*k = 3*k + j. Solve 0 = 3*x - 5*x - k for x.
-5
Suppose 2*a + 178 = 4*n, 5*a - 4*a = -2*n + 91. Suppose -3*r - 3*y = -n, 3*r + 45 = 6*r - y. Suppose -2*z - 3 = -r. Solve z*c - c - 10 = 0 for c.
2
Let p(i) = i + 6. Let y be p(0). Let f(r) = 16*r**3 + 2*r - 1. Let h be f(1). Let j = 26 - h. Solve 5*b - y = j for b.
3
Let m = -18 - 2. Let y be (-488)/m + 3/5. Suppose a - 5*x - 57 = -22, x - y = -3*a. Solve 0*p - 2*p = -a for p.
5
Let z(v) = -v + 2. Let m be z(5). Let r be (-18)/(-3)*1/m. Let a(g) = -g**2 - 3*g - 2. Let x be a(r). Solve x = -4*p - 0*p + 12 for p.
3
Suppose -5*k + 9 = -11. Solve 3 = -k*x + x for x.
-1
Suppose 0 = -4*k - 4*o - 36, -k = -7*o + 2*o - 9. Let j = k - -10. Solve -j*x + 6*x = 0 for x.
0
Let o(d) = d**3 + 4. Let r be o(0). Solve 3*p + 11 = -r for p.
-5
Let l(m) = -m**2 - 6*m. Let n be l(-5). Suppose v - 10 = -v + h, 0 = -v - n*h - 17. Solve -v*k + 8 = k for k.
2
Suppose -b - 2 = -0. Let u be ((-10)/(-4))/(b/(-4)). Suppose p + 4 = 0, u*c + 3*p + p + 1 = 0. Solve -c*f = -2*f + 3 for f.
-3
Suppose z + 3*u - 52 = 0, -3*u - 166 - 40 = -5*z. Let h = z - 27. Solve 0 = -4*a + h for a.
4
Let k(g) = g**3 - 7*g**2 - 9*g + 11. Let m be k(8). Suppose -3*c + 3*n - 12 = 0, 0 = -4*c + n + 2 - m. Let q be ((-1)/2)/(c/(-6)). Solve -o - q = 2*o for o.
-1
Let m be (1 - 3)/((-4)/(-22)). Let r = m + 11. Solve r = w - 5*w + 8 for w.
2
Suppose 4*c - 5*g = -0*c - 73, 2*c + 3*g = -31. Let l = 21 + c. Solve 2*d + l = -2 for d.
-3
Suppose 5*u - 12 = u. Solve -2*n - 4 = -u*n for n.
4
Suppose -4*p = 10 - 58. Let d be -1 + 1/(4/p). Solve 0 = -d*f - 0*f for f.
0
Let u be 12 + (-2 + 4 - -1). Let d = u - 10. Suppose -t + 1 = -4*z - 12, 4*t = -3*z - 5. Solve d = -4*w + t for w.
-1
Suppose 4*z - 3 = -3. Solve h - 5*h - 4 = z for h.
-1
Let b = 3 + 2. Let d(v) = v - 2. Let o be d(b). Solve o*l = -l - 20 for l.
-5
Suppose 3*b - 3*i = -0*i, -4*b + 5*i = 4. Solve -7*n + 12 = -b*n for n.
4
Suppose 4*g - 4*y = -y + 27, 0 = 4*g + 5*y + 13. Suppose -g*z + 10 - 1 = -4*q, 5*q - 8 = z. Solve 1 = 2*k - z for k.
4
Let l(n) = 2*n**2 - 17*n + 23. Let o be l(7). Solve -o*j + 5 = 1 for j.
2
Suppose -7*s + 3*s + 8 = 0. Suppose s = -2*v + 2*z, -21 = v - 7*z + 2*z. Solve v*t = t - 9 for t.
-3
Suppose 4*i - 103 = 89. Suppose -2*g + i = 2*g. Solve -2*x - 2*x + g = 0 for x.
3
Let m = 63 - 45. Solve g = m - 20 for g.
-2
Let f be ((-15)/6)/((-1)/2). Let p = 28 - 25. Solve -7 = -p*s + f for s.
4
Let f(q) = -q + 2. Let a be f(2). Let d(v) = v + 7. Let w be d(-5). Let x be (3*w)/3 + a. Solve 0 = x*p + p - 6 for p.
2
Let y(z) = z**2 + 5*z - 3. Let j be y(-7). Let f(g) = -g**3 - 6*g**2 - 3*g - 9. Let l be f(-6). Solve -l - j = 5*n for n.
-4
Let j be ((-12)/(-8))/(2/4). Let q(w) = 10*w - 4*w - 17 + 4*w - w**2. Let t be q(7). Solve -u - j = -t for u.
1
Let a(y) be the first derivative of -y**2 - 8*y + 7. Let u be a(-7). Solve -2 = -g - u for g.
-4
Let m be -3 - (0 - -1)*-6. Solve -3*w + 3 + m = 0 for w.
2
Suppose -i + 9 = 3*m + 26, -3*m - 3*i - 15 = 0. Let 