*f - 8 for x.
2
Let a(w) = -w**2 + 5. Suppose r = 4*j - r - 4, -3*r - 6 = j. Let b be a(j). Solve 4*p = 3*d - 20, -18 - 7 = b*p + d for p.
-5
Let i = 12 - 4. Solve a + 3*v - i*v + 5 = 0, v = 3*a + 15 for a.
-5
Let k be 478/10 + (-1)/(-5). Suppose 2*q + 5*z = -0*q + k, -2*q + 36 = -z. Suppose -57 = -2*u - q. Solve 4*g = r + u, -3*r = -2*g + r + 20 for g.
4
Let f(r) = -4*r**3 + r. Let u be f(-1). Let w = 1 + u. Solve 3 = -3*b - a - w*a, -3*b = -2*a + 3 for b.
-1
Suppose 2*s - 10 = 0, 3*l + 4*s - 5*s = 16. Let p(v) = -v**2 + 7*v + 5. Let z be p(l). Solve -4*a = -z*d - 3, 4*a = 7*a + 9 for d.
-3
Suppose 5*h + 20 = -2*s, 3*h + 5 = 2*s - 7. Let y(j) = j**2 + 2*j - 4. Let k be y(h). Solve -2*v - b = -7, -1 = -5*b + k for v.
3
Let f be 4*-2*4/(-8). Suppose 10*d - 10 = 5*d - 2*x, 3*d + 13 = -5*x. Solve -d*w - 3*b + 4 - 23 = 0, -w + f = -b for w.
-1
Suppose 6 = -2*y - 0*y. Let n be -1*5*(-4 - y). Suppose 3*h - 2 = n*o, 0*h = -4*o + 2*h. Solve 5*j - 10 = 5*p, 2*j - 4*p - p + o = 0 for j.
4
Suppose 3 = -9*m + 10*m. Solve -5*n = -5*q - 15, -3*n - n - 16 = m*q for n.
-1
Let c be (-6)/((-1)/(2/(-3))). Let k be (6/c)/((-15)/20). Let q = 14 + -10. Solve k*p = q*t + 2, 0 = 4*t - 1 - 3 for p.
3
Suppose 0 = -8*m + 4*m + 8. Solve -l - 11 = -3*t, m*t + 5*l + 4 + 0 = 0 for t.
3
Suppose p + 0*p - z = 5, 2*z - 10 = 0. Suppose 0 = -2*o - 4*a + 8, o - 4*a - a + p = 0. Solve -2*c + 18 = -2*m, o*m - 2*c = m - 6 for m.
-4
Let t be (-2)/3*(-1 - 2). Suppose 3*u = -2*u + 30. Suppose 28 = -2*z + u*z. Solve 0 = -m - t*s - 7, 3*m - s - z - 7 = 0 for m.
3
Let g(y) = 8*y**2 - 1. Let w be g(-1). Suppose 3 = 5*d - w. Solve 4*c + 8 = -4*u, 2*c - d = -3*u - u for c.
-5
Suppose -3*l + 0*l = -0*l. Solve i - 3 = l, 0 = 2*w - 4*i + 4 + 2 for w.
3
Let p(b) = -7*b**2 - 8*b + 5. Let o(y) = -4*y**2 - 4*y + 3. Let a(f) = 5*o(f) - 3*p(f). Let l be a(-6). Solve 2*u - 4*g = -2*u + l, 0 = 5*g - 10 for u.
5
Suppose k - 5*k + 8 = 3*t, 0 = t - k - 5. Solve -b + t*m + 16 = 0, b + 0 - 4 = m for b.
0
Suppose 0 = 2*h + 3*k - 16, -3*h + 2*k + 14 = 4*k. Suppose h*u + 0*u = 4. Suppose 0 = -u*z - 3 + 7. Solve -3 = -5*w + v + 3*v, 4*w - 18 = -z*v for w.
3
Suppose 3*q - 3*x - 15 = 0, x - 2*x - 13 = -5*q. Solve 3*i - 6 = 0, -2*d + q*i = i + 6 for d.
-2
Suppose 2*r - 1 = 3. Solve -2*h - 4*y + 2*y = 8, 0 = -h + y + r for h.
-1
Let u be 3/(1*3/(-3)). Let w = 1 + u. Let l be w*6/(-4) + -1. Solve -l*s - 24 = 4*n, 3*s - n = -s - 12 for s.
-4
Let y(p) = 1 + 1 - 4*p + 3*p. Let s be y(0). Suppose -3*m = s - 11. Solve -5*n + m*v - 13 = 0, 5*v - 13 = 5*n + 2 for n.
-2
Suppose o = -o. Solve j - 3*x + 14 = o, -x + 0*x = -3*j - 18 for j.
-5
Let l(h) = h**3 - 10*h**2 - 12*h + 11. Let a be l(11). Suppose a = 2*w + d - 11, -5*w + 3 + 20 = -2*d. Solve -5*p = -9 + 4, 2*p = -w*q + 17 for q.
3
Let j = 13 - 13. Let b be 0*((-4)/8 + j). Solve b*h - w = 3*h + 5, -4 = 2*h + w for h.
-1
Let v = 6 - 8. Let o(s) = -s. Let w be o(v). Solve -w*p + 0*b = 4*b - 18, 0 = 3*p + b - 12 for p.
3
Let s = 33 - 29. Let p be 1*(s - (-1 + 3)). Solve 2*a = -5*g - p*a + 5, 0 = -g - 5*a + 1 for g.
1
Let o be 1 - 4 - (-21)/(-3). Let c(f) = -f**3 - 10*f**2 - f - 10. Let t be c(o). Solve 4*k - 3*u - 4 = t, 10 = 4*u + 26 for k.
-2
Let g be (-5 + 3 - (-2 + 2))*-1. Solve g*c = a - 1 + 7, -3*a + 10 = c for c.
4
Let q(t) = -t**3 + 7*t**2 - t + 10. Let x be q(7). Suppose -2*r = x*r. Solve r = -4*m - n - 17, 0 = m + 2*m - 4*n + 8 for m.
-4
Let k = 9 - 4. Let l = 1 + k. Solve 2*s + 3*p - l = 5*s, -2*s = -p - 1 for s.
3
Let a = -23 + 26. Solve a*n + h + 15 = 0, 0 = 3*n + h - 4*h + 3 for n.
-4
Suppose -9*w + 5*w = -4. Solve 3*u + w = -4*b, -5*b = 2*u - 2 - 2 for b.
2
Suppose -2*i + 9 = i. Suppose 0 = 13*c - 12*c. Let l be (-10)/4*18/(-15). Solve 3*j + l*w - i = c, -j + 2*w - 7 = -w for j.
-1
Suppose 0 = w + 2 - 7. Let z(g) = 4*g**2 - g - 1. Let r be z(-1). Solve h + w*i - r = -3, 0 = -i for h.
1
Let a be 0 + 0*2/4. Suppose a = o - 4. Suppose -5*j + 20 = 5*t - 0*j, o*t = -3*j + 16. Solve 1 = 3*i + t*q, -4*i + 20 = -3*q + 2 for i.
3
Let a(j) be the first derivative of -j**3/3 + 5*j**2/2 + 2*j - 1. Let x be a(3). Solve -4*w + 20 + x = -5*s, w - 2 = 0 for s.
-4
Let t be (-1 - -3) + -1 - 2. Let z be ((-4)/14)/(t/7). Let u be 5/(-25) + (-26)/(-5). Solve -u*q + z*x = -3*x, 5*q + x + 30 = 0 for q.
-5
Suppose 0*n = n - a - 2, -5*n - 2*a - 4 = 0. Solve 3*k = -5*x - 6, x + 0*x + 3*k - 6 = n for x.
-3
Suppose 20*g = 13*g + 21. Solve v + g*v - k + 3 = 0, -12 = -4*v - 4*k for v.
0
Let n be 1*15 - (-22)/(-11). Solve -4*l + j = -n, 3*j = 2*l - 11 - 8 for l.
2
Let h be -2*(-8 - -1 - 3). Suppose u = 6*u - h. Solve -d - 5 = -u*d + j, -3*d - 3*j - 15 = 0 for d.
0
Let k(g) = g - 4. Suppose 0 = o - 4. Let z be k(o). Suppose z = -x - 4*x + 25. Solve u + 4*u - 20 = 0, 3*u - 37 = -x*r for r.
5
Suppose w = -3*t - 2*t + 157, 0 = -4*t + 3*w + 118. Solve -3*n = 5*u + t, -5*u = -n - n + 21 for u.
-5
Let z be 54/(-10) - 2/(-5). Let p(k) = k**3 + 5*k**2 + 1. Let m be p(z). Solve n + 2*o - m = 2, o = -4*n + 5 for n.
1
Suppose 2*a + 15 = 3*p, 4 = 5*p - 3*a - 20. Suppose -p*y = y + 4. Let z be (4/(-10))/(y/5). Solve -5*f + z*f - 5*d = 0, 0 = -f - 3*d + 4 for f.
-5
Let f = 11 + -8. Solve -12 = 5*t - 5*k + 3, 0 = -t - 3*k - f for t.
-3
Suppose -4*k + 0*k = -12. Suppose 5*i = -0*i. Suppose i = -k*j - j. Solve 2*v - 5*v + h + 5 = j, -2*v - 3*h = -18 for v.
3
Let w be (-2 + 0 + -16)*-1. Suppose y = 4*f + 18, -2*y - 5*f + 2 = w. Suppose -y - 1 = -v. Solve -2 = -4*r + v*h - 7, 8 = -4*r + 4*h for r.
1
Suppose 4*f - 10 = -2*s, -3*s + 2*f + 10 = -s. Suppose -y - 12 = -s*y. Solve z + y = 2*m - 2, -m = -z for m.
5
Let s = -28 - -32. Solve 3*v - 25 = -4*b, 3*v - s*b = -9*b + 29 for v.
3
Let a = 36 + -31. Solve -a*n = -v + 5*v + 11, 4*v + 16 = 0 for n.
1
Suppose -5*m + 115 = -0*m. Solve 0*x + m = 2*x - 3*v, 2*x - v = 13 for x.
4
Let p = -12 + 17. Suppose 0 = -p*m - 3*a + 18 + 2, -2*a + 16 = 4*m. Suppose -m*q = -11 + 3. Solve 4*j - 2*j - 9 = -c, -4*c + 6 = q*j for j.
5
Suppose q - 8 + 1 = 0. Suppose -q = -4*m + 1. Suppose z - 1 = -m*p, 5 = 2*p - 2*z - 11. Solve 4*u - 2*j + 0 = -8, -p*u + 5*j - 20 = 0 for u.
0
Suppose -17*y = -21*y + 16. Solve -7 = y*l + x - 24, 5*x = -l + 9 for l.
4
Suppose 5 = 5*m - 5*p - 10, -3*m + 16 = 4*p. Solve k + m = -k, 0 = z - 3*k - 2 for z.
-4
Suppose -3*x = -5*x + 8. Suppose 3*q = 5*v + 25, x*q = v + 66 - 27. Solve 3*l = -4*m - q, -1 = 4*l + 4*m + 7 for l.
2
Suppose 14*y + 20 = 19*y. Solve 0 = 3*p - y*p + 2, -3*p + 8 = -2*q for q.
-1
Let m = -20 + 30. Let u be m + -6 + -1 + 2. Solve 0 = -s + 3*p - 13, 4*s + u*p = 12 + 21 for s.
2
Suppose -4*k + 3*k - 10 = 0. Let p be 6/k + 144/40. Solve -p*q + q + 14 = 3*j, 5*j - 19 = q for q.
1
Let g(z) = -z**3 - z**2 + 6*z + 2. Let x be g(-5). Let s be x/7 + (-2)/7. Let h be -2 + 2 - (0 - 1). Solve 0*b - s = -5*b + 5*l, b + h = 4*l for b.
3
Suppose 0 = -3*g - g - 20. Let u = g + 8. Suppose 0 = -d - u*d. Solve -3*w + 18 = -5*m - 13, -3*m - 15 = d for w.
2
Suppose 2*n + 2*n - 4 = c, 0 = -c + 5*n - 6. Suppose 5 = -c*s - 3, 4*i + 4*s - 4 = 0. Suppose -25 - 14 = -3*a. Solve -9 = -3*w - 2*b, w + i*b - a = -b for w.
1
Let f be ((-1 + -5)/12)/((-2)/12). Solve -f*z = 3, -4*w + 0*z = -z - 5 for w.
1
Suppose 24 = 7*f - 3*f. Suppose -4*p + 4 = -3*l - 3*p, 3*p + f = 0. Let y be -4*(l - -1 - 0). Solve 0 = 2*i - y, -4*g - 4*i + 0*i + 28 = 0 for g.
5
Suppose 2*j = 3*l - j - 45, l - 7 = -j. Solve 2*s - 13 = 6*s - t, 2*s = -3*t + l for s.
-2
Let b be ((-6)/15)/((-1)/(-20)). Let w = 2 - b. Let l = w - 7. Solve h = -2*o + 8, 4*o + 1 + l = 3*h for o.
2
Suppose 15*j = 18*j - 9. Suppose 0*p = j*s + 4*p + 6, -10 = -2*s + 2*p. Solve 4*q - 15 = s*b + 3*b, 5*b - 5 = 0 for q.
5
Let g(q) = -q**2 + 14*q - 11. Let w be (-158)/(-18) + (-2)/(-9). Let n = w - -4. Let t be g(n). Solve -4*b + u - t - 12 = 0, 0 = -2*b - 5*u + 4 for b.
-3
Let a(r) = -2*r - 22. Let b be a(-12). Solve -b*c - 9 = s - 0*c, -4*c = -2*s + 14 for s.
-1
Suppose -4*l - 16 = -8*l. Suppose -26 = -l*h - 6. Solve 0*f + h*f + 2*q + 4 = 0, 3*f + 4 = -2*q for f.
0
Suppose 0*t - 20 = -4*a + 3*t, 6 = 5*a + t. Let y be (-39)/(-9) + a/3. Let o = -29 + 32. Solve n - q + y = 0, 0*q - 10 = -o*n - 2*q for n.
0
Let t = -163 + 169. Solve -10 = -2*f - 5*a, -f + 5*a = -t + 1 for f.
5
Let l(x) = x**3 + x - 2. Let m be l(0). Let f(k