*3. Let k be i(4). Solve z - 1 = -k for z.
-3
Suppose z - 4*b + 3 = 0, 4*z - 1 - 31 = 5*b. Solve -5*d = z - 3 for d.
-2
Suppose 2*f = -f. Let n be -2 - (-5 - -2 - f). Suppose -2*s + u + 6 - 5 = 0, -4*u + 4 = -4*s. Solve 0 = -k - n - s for k.
-3
Suppose 5*s + h = -2*h + 21, -2*s - 4 = -5*h. Suppose -2*r - 7 = -m + 1, 4*m + r + 13 = 0. Let u be (-1)/((0 - -1)/m). Solve u = -s*x + 5 for x.
1
Let o(h) = h**2 + 8*h + 10. Let v = 19 + -26. Let x be o(v). Solve a = x - 2 for a.
1
Suppose 3*k + 12 = 7*k. Let v = k - 3. Solve -4*p + 0*p - 20 = v for p.
-5
Let h be 5 + 0 + (-3 - -1). Let w = -10 + 16. Solve w = g - h*g for g.
-3
Suppose g + 0*g = 0. Suppose 2*t - 4*t = g. Solve 3*f - 8*f + 20 = t for f.
4
Suppose -5*w = 5*t - 40, -3*t = -t - 4*w + 8. Suppose -12 = -0*y - t*y. Solve y*s - 1 = 5 for s.
2
Suppose 0 = -3*k - 0. Suppose 5 = 2*y - 7. Suppose 2*i + k*i = y. Solve 0 = -i*b + 6 for b.
2
Let l(v) = -v**3 - 8*v**2 - 7*v + 5. Let h be l(-7). Solve 1 = h*j - 4*j for j.
1
Suppose v = 4 - 4. Let q(n) = n**3 + 4*n**2 - 4*n + 7. Let r be q(-5). Solve v = -p - r*p for p.
0
Let u be 2*(1 + -5 + 2). Let c be (-18)/u*8/(-6). Let r = 8 + c. Solve -r = -g - 0 for g.
2
Let b = -16 - -21. Solve -16 = -b*h + 4 for h.
4
Let m = -3 + 3. Let f = 2 - m. Suppose 0 = k + 3*b, -f*k - b = k. Solve 2*j + j = k for j.
0
Let f = 18 + -16. Solve -f*h - h = 9 for h.
-3
Suppose n + 3*j = 13, -4*n - j + 25 = 2*j. Solve -5*p + 4*p = -n for p.
4
Let o = -2 - 3. Let b = o + 10. Suppose -22 = -b*l - 2*m, 5*l - 17 = 3*m - 0*m. Solve 2*j = j - l for j.
-4
Let l be (-2)/11 + (-39)/(-33). Suppose -9 + l = -2*y. Solve -4*a = -y + 16 for a.
-3
Let y = 10 + -6. Suppose 2 = 3*p + 4*u, -4*p + y + 2 = 2*u. Suppose 4*k = 3*k + p. Solve -x + k = 1 for x.
1
Let i(v) = 2*v**2 + 5*v + 4. Let a be i(-4). Solve 9 + a = 5*h for h.
5
Let m be (6 + -1)/(10/12). Solve -6*d = -3*d - m for d.
2
Let d = 26 - 8. Let h = 20 - d. Solve -h*x = -9 + 1 for x.
4
Let y be 0 + -4 - (2 + -6). Solve a + y*a + 1 = 0 for a.
-1
Suppose -c + 7 = 5*v - 15, 4*v - 8 = -4*c. Solve v + 5 = -5*f for f.
-2
Let n be 1 + -1 + 0/2. Suppose -f + 1 = -4*j - 21, -4*f + j + 13 = n. Solve f = d - 1 for d.
3
Suppose -2*j = j. Solve j = -3*w + 6*w - 12 for w.
4
Let y = -5 + 5. Let p(x) = 0*x + 4*x - x**2 + y*x - 2 + 3. Let o be p(2). Solve 10 = -o*s + 3*s for s.
-5
Suppose 22 = -a - 5*i, 3*a - i = 2*a + 8. Suppose 6 = 3*h - b, -5*h - a*b = b - 27. Solve -h*s + 3 = -2*s for s.
3
Suppose 2 = z - 4. Suppose -4*c + 8 = 2*u, c - z*c = -5*u - 10. Solve c = d - 1 for d.
3
Let w(m) = -m**3 - 6*m**2 - 7*m - 5. Let t be w(-4). Let p be ((-3)/t)/(2/(-6)). Let x = p - -3. Solve x*n - 7*n + 5 = 0 for n.
1
Suppose -4*v = -0*v + k + 57, -v + 3*k - 11 = 0. Let d = v + 17. Solve -d*l + 8 = l for l.
2
Suppose 5*o = 2*s + 25, 20 = 4*o - 0*o - 4*s. Solve -o + 0 = -j for j.
5
Let g(h) = h + 5. Let d be g(4). Let r be 16/d + (-10)/(-45). Suppose 4*z = 4*s - r*s + 4, 2*z = -2*s + 2. Solve -4 = -4*u - s for u.
1
Suppose -5*b + 4*b + 30 = 0. Let x = b - 21. Let u = 16 + x. Solve -6*i = -i - u for i.
5
Suppose -6*p - 2 + 14 = 0. Solve 1 = p*b + 3 for b.
-1
Suppose 5*z + 224 - 24 = 3*v, 0 = 3*v - 4*z - 202. Suppose -f + c = 4*f - 73, 4*f + 5*c = v. Suppose -65 = -2*g - f. Solve -g = -6*o + o for o.
5
Suppose 0 = -u + 5*u - 12. Suppose 95*z - 85 = 78*z. Solve -u = 4*r + z for r.
-2
Suppose 4*k - 2*y = -3*y + 40, -49 = -3*k + 4*y. Suppose 5*w = 4 + k. Suppose -3*v + 6 = 3. Solve 0 = -4*g + v + w for g.
1
Let p(k) be the first derivative of k**4/12 - k**3/2 - k**2 - 3*k + 2. Let n(i) be the first derivative of p(i). Let r be n(4). Solve -3 = -b - r for b.
1
Let a(t) = -10*t - 3. Let n be a(-2). Let y = n - 11. Solve -w = -y*w for w.
0
Suppose 3*s = -5*r + 12, -2*s = r - 5*r - 8. Let v = -9 - -13. Solve -s + 24 = v*a for a.
5
Let l = 5 + -3. Suppose -4*a + 5 = l*y - 57, 5*a = 25. Suppose 5*g - 22 = -2*x, -5*x + g = -0*x - 28. Solve x - y = -3*i for i.
5
Let j = 6 - -1. Let l(s) = s**2 - 7*s + 2. Let n be l(j). Solve -3*i - n = 1 for i.
-1
Let k = 20 - 15. Solve -4*w - w - k = 0 for w.
-1
Let o = -19 - -29. Suppose -o = 5*l, -4*q + 4*l + 18 = -2. Let c = 3 + 3. Solve -c = q*s + 6 for s.
-4
Let j = 4 - 2. Let c(f) = -f**3 - 10*f**2 - 10*f + 1. Let g be c(-9). Let o = -4 + g. Solve 0 = -j*x - 2 - o for x.
-4
Let w = 0 + 4. Let f(x) = x**2 - 2*x + 4. Let i be f(w). Solve -4*g = -i + 4 for g.
2
Let s(k) = k**2 - 6*k - 2. Let l be s(6). Let g be 3 + ((-4)/(-2))/l. Solve g*i - i = 5 for i.
5
Let g = -4 - -9. Let x be -6*((-5)/2 - -2). Suppose -g*d - x = 3*v, -5*d = 5*v - 1 + 6. Solve -y - 3*y = d for y.
0
Suppose 0 = 4*d - 2*d. Solve d + 4 = i for i.
4
Suppose -4*q + 8 + 4 = 0. Solve -2 - 1 = q*t for t.
-1
Let i(z) = -z**2 + 2*z - 8. Let t be i(0). Let d(c) = 3*c**2 + 5*c**2 + c**3 + 3 - 1. Let o be d(t). Solve o = q + 4 for q.
-2
Suppose -4*q + 5*n = 32, 3*q + 2*n - 7*n = -29. Let f = q - -4. Solve 0 = u + 6 - f for u.
-5
Suppose 5 - 12 = -k + o, 4*o = -3*k - 7. Let s be 10/15*(1 - -2). Let n be (-34)/(-4) - s/4. Solve -k*q = -n*q + 25 for q.
5
Let q(k) = -k**2 - 5*k - 4. Let f be q(-4). Solve f = 2*o + 3*o + 15 for o.
-3
Let i = 1 + 10. Let m = 14 - i. Suppose 2*w = m*w. Solve -t - 3*t - 8 = w for t.
-2
Let f(c) = c - 10. Let i be f(13). Solve -g - i = -0*g for g.
-3
Suppose 2*i + 9 = 3*l, 2*l + 4 = 2*i + 12. Let y = 7 - l. Suppose -4*n + h = -24, 6*n + 4*h + y = 4*n. Solve 4*u + 1 = n*u for u.
1
Let g(x) = -x**2 - 4*x + 7. Let i be g(-5). Suppose 0 = -w - i*b - 3*b + 13, -5*w = -2*b - 11. Suppose 0 = -v + 6 - 1. Solve -v*u = -22 - w for u.
5
Let w = 2 + 1. Let c be 20/6 + 2/w. Solve c*k = 8*k - 20 for k.
5
Let l(x) = x**2 + 9*x + 10. Let s be l(-8). Suppose 18 = 5*i - 57. Suppose -s*p - p = -i. Solve -p*k = 27 - 7 for k.
-4
Let i be 0 - (-3 + 4 + -1). Solve 0*y + y = i for y.
0
Suppose 0 = -2*b + 4*m + 12, -2*m - 23 = -2*b - 17. Solve 3*j - j = b for j.
0
Suppose 4*s = 2*s. Suppose s = -4*u + 8 + 8. Suppose -4*b + 16 = 4*c - 3*b, 8 = -u*c + 5*b. Solve -2*i = c*i + 10 for i.
-2
Let j(t) = -t**3 + 9*t**2 - 10*t - 11. Let p be j(9). Let b be 3/(-15) - p/5. Solve -5*g + 0 = b for g.
-4
Let t be (-10)/(-40) + (-6)/(-8). Suppose -t - 15 = -2*m. Suppose -4*f + 5*s + 63 = -2, -14 = -f + 2*s. Solve 4*k + f = m*k for k.
5
Let m = -85 + 87. Solve -2*j - 12 = m*j for j.
-3
Let o be -2 + -4*15/(-6). Suppose 0 = 2*a - 2*n - o, 4*a + 4*n = 3*a - 6. Solve -g = -a*g for g.
0
Let l(s) = -s**3 - 5*s**2 - 6*s - 4. Let i be l(-4). Suppose -12 = -0*f - 3*f, g = f - i. Solve -5*r = -g*r for r.
0
Let o = 28 + -12. Solve 0 = 4*z - 0*z + o for z.
-4
Suppose 5*p - 23 - 2 = 0. Solve -p*t = -2*t - 3 for t.
1
Let c = -25 + 35. Let g(w) = -w**2 + 10*w + 13. Let z be g(c). Let n = z - -1. Solve -n + 2 = 3*j for j.
-4
Let r(g) = -g**3 - 10*g**2 + 4. Let n be r(-10). Suppose 0 = -3*j + 7 - n. Solve -8 = 3*m + j for m.
-3
Suppose v - 4*f + 3*f - 1 = 0, 32 = 4*v + 3*f. Solve 5*c + v + 10 = 0 for c.
-3
Suppose -4*g = 4*t - 8, 5 = 5*g - t + 7. Solve v + 0*v - 5 = g for v.
5
Suppose -3*m = -5*i - 7, 2*m = 2*i - 3*m + 18. Let z be 3*(-3*i + 2). Let t be (36/z)/(-3)*1. Solve 0*q = -t*q + 12 for q.
3
Suppose -2*d + 5 = 35. Let n be (d/12)/(1/(-4)). Suppose -3*m - b - n + 37 = 0, 5*m - 3*b - 30 = 0. Solve m = -3*g - 0 for g.
-3
Suppose 0 = 3*x + 3, 3 = -5*m + 5*x + 23. Solve 0 = -m*c - 11 - 1 for c.
-4
Suppose 3*n - 4 + 18 = 2*y, -4*y = -5*n - 26. Suppose -w + 2*w + 5*m = -5, 5*w - 4*m = y. Solve -2*a = -w*a + 6 for a.
-3
Let k(d) = -d**2. Let a be k(2). Let o = a - -1. Let s be ((-3)/o - 1)/1. Solve -4 = 2*g - s for g.
-2
Let t = -4 - -4. Suppose 0 = 4*v - 3*v - 4. Solve t = -v*u + 2*u for u.
0
Let v(j) = -j**2 - 11*j + 8. Let p be v(-10). Let g = p + -16. Solve -9 = -y - g*y for y.
3
Let i be 63/12 - 1/4. Suppose 0 = -3*j - 3*d + 4*d + 8, -4*j + i*d = -18. Solve 3*s + 14 = j for s.
-4
Let s(j) = 2*j**2. Let d be s(-1). Suppose 0 = d*i - 6*i + 12. Solve i*p = 4*p for p.
0
Let n = -5 + 10. Solve 2*f - 12 = n*f for f.
-4
Suppose -4*n - 1 = 3. Let z be (-10)/n + (0 - 0). Solve -4*p - p = z for p.
-2
Suppose 3*f = -0*f. Let o be ((-10)/4)/(5/(-10)). Solve f*w - w = o for w.
-5
Let s(t) = -2*t + 23. Let m be s(10). Suppose -5*n - 3*a + 57 = 0, 5*n = -2*a - 2*a + 61. Suppose -m*y = -n - 3. Solve 0*x - 2*x + y = 