
4
Let p(q) = -10*q**3 - 1. Let h be p(-1). Solve -n + 2 = d, -2*n - 1 + h = -2*d for d.
-1
Suppose 0 = -4*j + 12. Suppose -2*n = -j*h + n - 9, 2*n = -4*h + 6. Solve -3*t + h*t + 13 = -2*z, 4*z - 5*t + 25 = 0 for z.
-5
Let f(o) = o**2 - 7*o + 9. Let i be f(6). Let v be 16/i - 1/3. Solve 3*g = -0*g - v*j - 19, 3*g - j = 11 for g.
2
Let o(l) = -2*l - 2. Let p be o(-2). Let y(z) = 4*z. Let w be y(1). Solve v + 1 = m - 2*v, 2*m - p = w*v for m.
1
Let c = -24 + 26. Solve -c*t = 3*n - 4*t + 5, t = -4*n - 14 for n.
-3
Suppose -8*k + 3*k = -20. Solve -5*p - 3*j + k = 0, p - 2*j = 4*p - 2 for p.
2
Suppose -3*g + 2*b - 4*b - 58 = 0, 0 = 4*g - 2*b + 54. Let q = -7 - 5. Let z be 15/4 - q/g. Solve 2*t - z*j - 5 = 0, 0 = -2*t - j - 4*j - 19 for t.
-2
Let u = -4 - -5. Let d be 5 + (0 + u)*-2. Solve -2*o + 0*j = 3*j - 13, 4*o + 19 = d*j for o.
-1
Suppose 0 = 2*k - 0*k + 28. Let l = k + 14. Solve j - 5*j + m + 17 = l, 5*j - 2*m = 19 for j.
5
Let z = -59 + 62. Solve -15 = 4*x - 3*r, 0 = 2*x + z*x - r + 16 for x.
-3
Suppose 0 = -4*f + 2*c + 92, -2*c = 2*f - f - 33. Solve -20 = -3*o - 4*z, -3*o + 5*o - 5*z = -f for o.
0
Let r be 2/(-2 + (-12)/(-5)). Solve -r*w + 3*f = 21, 5 = -2*w - w - 2*f for w.
-3
Let c be 22/4 + (-15)/10. Solve o = c*t + 14, -o - t = 3 - 2 for o.
2
Let h(g) = 5*g. Let k(u) = 29*u. Let z(v) = 34*h(v) - 6*k(v). Let o be z(-1). Solve o*x + 2*m + 22 = 0, x = -x + 4*m - 6 for x.
-5
Suppose 0 + 1 = -d. Let w(o) be the third derivative of o**5/60 - o**2. Let k be w(d). Solve -3*g = 2*b - 2, 4*b + k = -3*g + 5 for g.
0
Suppose -2 = -2*x + 40. Solve 0 = -5*j + p + 25, 7 = 2*j - 4*p - x for j.
4
Suppose 0*y + 4*o = -y - 2, -o = -4*y + 26. Suppose -y = i + 2*l, 4*l = -i - 4 - 12. Solve -3*s - 28 = -5*q, i*s - 6*s = -2*q + 12 for s.
-1
Let b be (56/(-35))/((-2)/5). Solve 5*r = -4*o + 6 + 17, b*o - 4*r + 4 = 0 for o.
2
Let d be 3/(-6) - 45/(-18). Solve 4*x = 4*y - 4, -6*y + 3*x + 7 = -d*y for y.
4
Let u = 139 - 138. Suppose -2*a - a + 6 = 0. Solve -a*m - 11 + 1 = -2*r, r - u = 0 for m.
-4
Let t = -10 + 27. Solve c = 6*s - s + 1, s = -4*c - t for c.
-4
Let l = 2 - -24. Let s be (2/2)/((-4)/(-44)). Let t = 17 - s. Solve 5*i = -2*v, -5*i = -2*v - t + l for v.
5
Let n(h) = 6*h + 1. Let q be n(1). Suppose 3*c + q = 22. Solve -2*b + 1 = r + 6, 10 = -c*b for r.
-1
Let q = 105 - -14. Suppose 5*n - q = 21. Suppose 0*p = -2*p + n. Solve 2*l = 2*k + p, -k = 3 + 1 for l.
3
Let t be ((-21)/6)/(1/(-2)). Suppose -p + 5*k + 27 = t, 0 = -3*k + 3. Solve -p + 5 = -2*b + 4*l, 5*l + 25 = -3*b for b.
0
Let p be (-1)/4*(-96)/12. Suppose 4*m - 64 = p*m. Solve q = -4*w + 6*q + m, 20 = -5*q for w.
3
Let b be (5 + -1)*(-10)/(-8). Let s(h) = h**2 + 6*h + 2. Let i = -27 - -19. Let x be s(i). Solve t + 2*a - 7*a = x, b*a = 4*t - 27 for t.
3
Let h = -3 - -5. Suppose -5*d + 31 = 111. Let s = 25 + d. Solve 22 = -3*b + u + s, -4 = h*b + 4*u for b.
-4
Suppose -3 = 4*v - 15. Suppose 3*p - 15 = -3*a, -v*p = 5*a - p - 25. Suppose -3 = -u - 0*u. Solve 0 = u*r + 4*q + 27, 6*r + a = 2*r + 5*q for r.
-5
Let r = -25 + 29. Solve -2*l = -r*w - 14, w + 4*l - 11 + 1 = 0 for w.
-2
Let j = -20 - -14. Let k be 2/(-4) + 13/2. Let w = k + j. Solve 4*r = -2*i + 6, w = 3*r + 4*i - 3 - 4 for r.
1
Suppose 4*v + 3 = -n, 3*n - 6*n + 11 = 2*v. Solve 0 = -2*j - j - n*o + 37, 25 = 5*j + o for j.
4
Suppose d - 13 + 0 = 0. Suppose 3*c - 27 = -3*s, 2*s + d = -s + 5*c. Let a = s - 3. Solve 2*g + z + a = 0, 0 = -2*g - 0*g + 4*z - 6 for g.
-1
Suppose 84 = 6*h + 54. Solve 3*o = 4*w - 26, h*o - 2*o + 16 = 2*w for o.
-2
Let r = -7 - -10. Suppose -4*g - 24 = -2*b, -3*b + 23 = -5*g - 9. Let h be 1/g - (-1)/4. Solve -r*n = 2*z - 4*z - 6, h = -n - 3*z + 2 for n.
2
Let y(s) = -5*s - 1. Let k be y(-1). Let z be ((-6)/(-4))/(9/48). Let m be 51/9*3 - 1. Solve -2*x - m = k*w, -x - 2*w = -3*x + z for x.
0
Suppose -4 = 5*u + 5*g - 29, -2*g = 5*u - 16. Solve 0 = 4*i - 4*n - 9 - 7, -u*n = -5*i + 20 for i.
4
Let h = 3 - 4. Let q = h + 1. Solve 0*y - y - 7 = 4*f, q = -y + 4*f + 1 for y.
-3
Let z = 3 + 2. Suppose -3*d = x - 2*x - 17, -x + 15 = z*d. Solve f + 7 = -0*f + 3*s, 5*f + d*s - 22 = 0 for f.
2
Let i(m) = -m - 8. Let h be i(-12). Solve -h*l - 2*x = 14, -3*l + 3*x - 8 = 4*x for l.
-1
Let b(i) = 3*i + 20. Let r be b(-5). Solve -5*a - 2*x = 3*x + 10, -4*a = -r*x - 28 for a.
2
Let a(z) = -z**3 + 6*z**2 + 7*z - 38. Let c be a(6). Solve 0 = 3*u - 4*d + 7, c*d - 31 = -5*u - 0*d for u.
3
Suppose -3*j = -j - 8, -4*j + 10 = -3*v. Suppose 5*s + 3*z = 16, -3*s - 2*z + 8 = -v. Let k be (s - 0/3)*4. Solve x = 4*b + 14, 3*b - 20 = k*b for x.
-2
Suppose -9*p + 3 + 24 = 0. Solve 3 - 2 = p*i - 2*b, -1 = 5*i - 2*b for i.
-1
Suppose 8 = -k + 5*u, -4 = -5*k + 2*k + u. Solve k*c - 3*c - 6 = 3*o, -3*o - 12 = -c for c.
3
Let f be 4/(-16) - (-102)/24. Solve i - 2*z + 8 = -i, 24 = -f*i - 4*z for i.
-5
Let x = 14 - -13. Let h(l) be the second derivative of -l**4/12 + l**3 - 2*l**2 + 4*l. Let v be h(3). Solve 3*f = -v*w - 13, 0 = 3*w - 0*f - 3*f + x for w.
-5
Let u be ((-10)/6)/(3*4/(-36)). Solve a - 2*r - u = 0, r = -a - 4*a + 3 for a.
1
Suppose -9 = -2*c + 5. Suppose 3*i + c = 16. Solve i*m - 2*j = -3*j - 13, -3 = 5*m - 3*j for m.
-3
Suppose -7*g = -8*g + 10. Suppose g = 2*r + 4. Solve 3*u + 25 = 2*m, r*u + 2*m = -0*m - 5 for u.
-5
Suppose -3*i - 2*i = -5. Suppose -i - 8 = -3*w. Solve 3*s - 5*s - 13 = l, 0 = -w*s + l - 12 for s.
-5
Let q = -13 - -15. Suppose 0 = -4*x + 3*x + 4. Suppose m + 4*m - x*s = 30, 15 = 5*m - s. Solve -m*p - q*p = -2*a - 4, -2 = -5*p + a for p.
0
Let x(i) = i**3 - i**2 + i - 5. Let g be 0/(-1)*(5 - 6). Let t be x(g). Let q = -2 - t. Solve -5*j + 4*n = -0*n + 7, -q*n = -j - 8 for j.
1
Let v be (-5 + -2 + 3)/(-1). Let o = 176 - 171. Solve 1 + 3 = 5*f - v*d, 4*f - o*d = -4 for f.
4
Suppose -7 = 3*m - 2*p, p = -2*m - p + 12. Let u be (-2)/(-1) - (1 + m). Suppose -4*i = i - 35. Solve 4*w + i = 3*o, u = 2*w + o - 4 - 5 for w.
2
Let q be (104/(-28) - -4) + (-66)/(-14). Solve -4*r - 3 - 5 = -2*o, q*r = -2*o - 1 for o.
2
Let f = -6 + 9. Suppose 0 = s - f*u - 12, -s = -4*u - 4 - 12. Suppose 0*q + q - 6 = s. Solve 4*c = 5*k - 2*k - 21, 5*k - q = -3*c for c.
-3
Let s(i) = i**3 - 6*i**2 + 2*i + 4. Let x be s(6). Solve -4 = -2*r - 4*q, 2*q - 7*q + x = -3*r for r.
-2
Suppose -5*t + 14 = -1. Solve 5*f - 10 = -w, -t*w - 4*f - 8 = w for w.
-5
Suppose -13*c + 8*c = -25. Solve 19 = -2*f - 6*y + 3*y, -c*f - 34 = 3*y for f.
-5
Let t(s) = -s - 2. Let h(y) = y + 3. Let a(v) = -6*h(v) - 5*t(v). Let l be a(-13). Solve 0 = u + d + l, u - 3 = -3*d + 4*d for u.
-1
Let k = 12 + -7. Let z = 9 - k. Solve 2*f = 7*f + 5*y, -16 = -z*y for f.
-4
Suppose 0*o + 46 = -2*a - 5*o, a - 3*o = -45. Let d = a - -46. Solve 5*p + d = -2*x, x + 3*x - 13 = 3*p for x.
1
Let p be (-17)/(-4) + (-5)/20. Solve -p*x = -5*g - 37, -3*x + x - 3*g - 9 = 0 for x.
3
Suppose 5*s - p = 13, 3*s + 10 = -5*p + 1. Suppose 0 = -s*u - u + 6. Solve -u*g - g + 2*a + 4 = 0, -2*a - 4 = 0 for g.
0
Let n = -73 + 73. Suppose 2*b = y + 7, 5*b + 3*y = b + 19. Solve 4*p - b*r = -n*p + 4, -22 = 2*p + 4*r for p.
-3
Let g be (44/12 + -3)*(-3)/(-1). Solve 5*l - 10 = -5*r, -7*l = r - 2*l - g for r.
2
Let x(g) = g + 2. Let h be x(3). Suppose a = h*a - 12. Let f be 2 + (0 - (-2 - -1)). Solve -f*c - 24 = 4*t, -3*t = -a*c - 6 + 3 for t.
-3
Let b be (-12)/(-15)*(-20)/(-8). Solve 5*a - 8 = b*u, 4*a + 19 = -5*u - 1 for a.
0
Let n = -1 - -5. Suppose n*p - 2*g - 3 = 5, p - 4*g = 16. Let c be (2 - -4)*2/3. Solve 8 = c*l + u, 2*l - 4 = -p*l + 4*u for l.
2
Let q be ((-2)/7)/((-1)/7). Suppose 3*u - 2*u - q = 0. Solve 0 = -5*a - 4*v, 2*v + u = -3*a - 0 for a.
-4
Let y(w) = w**3 + w**2 - 4. Let i be y(0). Let v(x) be the first derivative of -2*x**2 + 5*x + 1. Let r be v(i). Solve 8 = 4*b + 5*f - r, 2*f - 10 = 0 for b.
1
Let x = -6 + 18. Suppose 0*i = 3*s - 3*i, s - x = -3*i. Solve 0 = -s*h + 12, g = -g - 2*h + 18 for g.
5
Let l(y) = -y**2 - 9*y - 9. Let v be l(-7). Solve 4*p = v*w + 1 + 2, 4*w - 3*p + 3 = 0 for w.
-3
Let c = -51 + 66. Solve -5*b + 16 = 5*p - 19, 5*b - 5*p = -c for b.
2
Let f be -3*(-1)/2*2. Suppose 3*b + 2 = -5*i - 10, 4 = -b + f*i. Let w be 2 - (b - (-2 - 0)). Solve -3*q + 8*h + 35 = 3*h, -2*h - 28 = -w*q for q.
5
Let p = -28 - -17. Suppose -t + 2*s = -9, 0*t + 5*t - 5*s - 60 = 0. Let k = p + t. Solve -5*w = 