b - w - 3 for d.
0
Let x be 1*(0 + 4/(-10))*-5. Solve x*u = -4*l - 12, -5*u + 3*l - 13 - 4 = 0 for u.
-4
Let p(q) = -q + 10. Let j be p(7). Let g = 0 + j. Solve 4*c = -3*l + 16, 0 = -g*c + l - 0 - 1 for c.
1
Let z = -3 - -44. Suppose 1 = -2*p + z. Solve 3*c = 5*g + p, -g - 2*c = -3*c + 6 for g.
-1
Suppose -h = -4*h + 27. Suppose -6*f + h*f - 15 = 0. Solve -f*c = -5*w + 5, -4*w - 4*c = -w - 31 for w.
5
Let o = -55 - -35. Let b be 2/o*-6*5. Let s be (1 + -2 - -2) + b. Solve -2*u - 2*f + 18 = 2*u, s*u - 2*f = 22 for u.
5
Let y be 28/(-3)*(-3)/2. Let b be (y + -2)*(-2)/(-2). Solve -3*j + 3*i = b, 0 = -j + 2*i + 2 - 8 for j.
-2
Let c(r) be the second derivative of -r**4/12 + r**3 + 2*r**2 - 2*r. Let q be c(6). Solve 4*m + k = q*k - 14, 0 = -m + 2*k - 1 for m.
-5
Suppose 5*w = 19 + 26. Solve 0 = h - 2*n + w, -3*n + 12 = -0*n for h.
-1
Suppose 25 = -4*k + 9*k. Let u(j) = -j**2 + 4*j - 1. Let c be u(3). Solve p - c = 4*x, -2*p = k*x - 6*p + 8 for x.
0
Suppose -u + 4*a = 4*u - 31, 0 = -5*u + 3*a + 27. Solve -15 = -v - 3*v - u*g, 5*g = 2*v + 25 for v.
0
Let y(d) = 3*d**3 - 5*d**2 + 4*d - 1. Let w be y(4). Suppose r = 5*q + 11, 5*q + w = 5*r + 12. Solve -3 = -3*h - 3*a, -4*h = -4*a + 2*a + r for h.
-4
Suppose -5*k + 2*k = -12. Solve -2*b - 12 = k*x, -5*b + 6*x = 3*x + 4 for b.
-2
Let b(x) = x + 1. Let i be b(-5). Let c be (-3 - (-5)/2)*i. Solve 16 = -4*y - 5*q, -3*y = -c*q + 4*q + 5 for y.
1
Let x be ((-8)/(-6))/(6/18). Suppose x*f + 0*f - 20 = 0. Solve 2*u - f*u + 3*b - 3 = 0, 4*u - b = -13 for u.
-4
Suppose 4*y - 19 = -d, -y + 5*d = -2*y - 19. Solve 3*f = -4*c - 2, 5*f + 0*c + y = -4*c for f.
-2
Suppose 0 = 4*a + 3*y - 9, 3*a + y - 9 = -1. Let m = -1173 + 1176. Solve u + 5 = -m*p + 3, p + a = 2*u for u.
1
Suppose 3 = 2*x - 3. Let b be (1/2)/(x/36). Solve 5*i = 2*l + b, 5*l - 12 = 2*l - 3*i for l.
2
Suppose 2*n = -3*n. Solve 0 = -2*u - 3*h - 10, 2*u - h = -n*h - 2 for u.
-2
Suppose 9*r - 9 - 36 = 0. Solve 0 = -y, 2*q = 2*y - r*y for q.
0
Let h(z) = -2*z**3 - 6*z**2 + 5*z. Let n be h(-5). Let m = -51 + n. Solve 0 = 4*k - 4*b - 0*b - m, -3*k - 5*b + 10 = 0 for k.
5
Let a = -5 + 11. Let r be -2 + a - (4 + -4). Solve 0 = -r*s, 2*w - 5*s + 3*s = 10 for w.
5
Let a = 6 - 3. Suppose -9 = a*p - 4*p. Suppose 0*b + 20 = 5*b. Solve -3*y = -5*r, -y + p - 2 = -b*r for r.
-3
Suppose 4 = 3*a - 20. Solve -5*t + 8*f - 5*f = 7, -a = -2*f for t.
1
Let u(g) = 6*g**2 - 2*g + 1. Let a be u(1). Suppose 2*w + 3*w = -10. Let x be (-1 - w)*(3 - -2). Solve -5*q + a*i - x = 0, -2*i = -5*q - 0*i + 7 for q.
3
Let s be 0 + 0 - (5 - -3). Let p = -5 - s. Solve 2 = y - k + p, 5*y + 3*k = -37 for y.
-5
Let d be (-2)/(-12)*-2*-18. Suppose -9*h - d = -11*h. Solve t + 29 = 5*p - h*t, -3*p + t + 16 = 0 for p.
5
Let j = 65 + -93. Let v be 8/j + 60/14. Solve 3*f - 5*p = -11, -p + 35 = 5*f + v*p for f.
3
Let v = 87 - 62. Let i = v - 18. Solve 4*o - 2*h - 12 = 0, 0 = -0*o - o + 3*h - i for o.
5
Let s = 23 - 21. Solve -5*d = s*a + 19, -a + 0 = -3 for d.
-5
Suppose -5 = 4*u + 5*r, 10 = -2*u - 4*r - 0. Let j be 202/10 - 1/5. Solve 3*m = -2*o - 0 + u, -5*o = m + j for o.
-5
Suppose -3 + 1 = 2*v, -5*i + 28 = -3*v. Solve 5*t - 2 - 3 = 0, 3*q + 4 = -i*t for q.
-3
Let c = 1 + 17. Suppose -2*n + 23 = -5*s, 3*n - 2*s = -0*s + c. Solve -n*m + 2*a + 1 = 5, 5*m = -2*a - 5 for m.
-1
Let y(f) = -f**3 + 5*f**2 - 2*f - 5. Let l be y(4). Let x be 3 + 0 + l + -2. Solve 4*v = 5*j + 10, 0 = x*v - j - 0*j - 2 for v.
0
Let u = 5 + -3. Let q = 12 - u. Solve 4 = 5*z - 11, 2*z - q = 2*b for b.
-2
Suppose 20*j - 15*j = 25. Solve 3*t = -4*m + 16, t - 4 = -j*m + 16 for m.
4
Let w be -4 - 50*2/(-4). Suppose 0 = -5*z + 4*n + w, -3*z + n + 13 + 1 = 0. Solve 3*f = -z*b + 27, -4 = -4*f + 3*b + b for f.
4
Let j = 8 - 5. Let f(m) = 9*m - 5. Let q(v) = -4*v + 2. Let z(o) = j*f(o) + 7*q(o). Let n be z(-1). Solve w + n*u = u + 2, 0 = -w - 3*u + 14 for w.
5
Let k = 221 - 219. Let a(u) = 10*u - 3. Let h be a(5). Let g be h/2 - (-3)/6. Solve 5*v - g = -k*i + 6*i, 3*v - 11 = -i for v.
4
Let s = 68 - 41. Let m(p) = -p**2 + 7*p - 7. Let j be m(7). Let r = j + s. Solve 3*a - 7*a + 8 = 4*g, 0 = 5*g - a + r for g.
-3
Let z = -10 - -13. Suppose z*t + t = 8. Solve -2*v = v - t*c + 1, v + 5 = 3*c for v.
1
Let c = 9 + -6. Suppose c*h - 15 - 28 = -5*v, 13 = 3*h - v. Suppose -h*r + 25 = -r. Solve -4*g + 2*b = -18, 0 = -g - 4*g - r*b for g.
3
Let h be -7 + 5 - -27*1. Suppose h = 5*i + 10. Solve -3*a - 3*r + 18 = -r, -i = -r for a.
4
Let g = -4 + 4. Suppose g = -m + 2*m - 5. Solve -2*i = m*l + 19, 0 = -l - 3*i + 4 - 0 for l.
-5
Suppose -3*v + 4*k = 30, -k = -v - 0*k - 9. Let n = -4 - v. Solve 3*g - n*g + 6 = -2*w, 2*w = g - 14 for g.
4
Let l(q) = 3*q - 2. Let p be l(2). Suppose -d + 4 = 3*d + 4*c, p*d = 3*c + 18. Solve d*u = -12, -n - n - 3*u = 10 for n.
1
Suppose 3*d - 25 = -2*d. Solve s = 3*p + d, -13 = 5*s + 6*p - 2*p for s.
-1
Let f(k) = -k**2 - 13*k + 4. Let a be f(-9). Solve 0 = n + 5*z - 15 + a, 2*n - z = 5 for n.
0
Let c be (1 + -1)*2/(-4). Let y(n) = 2*n**2 + 2*n - 1. Let r(q) = q**2 + q + 1. Let f be r(0). Let b be y(f). Solve v + b*i + i - 6 = 0, c = 5*v - i + 12 for v.
-2
Suppose -19*z = -14*z - 20. Solve 0*r + z*k - 4 = 3*r, -4*r + 3*k = 10 for r.
-4
Let r = -32 + 2. Let x be 10*1*(-4)/8. Let u be ((-1)/(-3))/(x/r). Solve t - 4*t - 1 = u*a, 2 = -2*a - 4*t for a.
1
Suppose -4*a - 8 = -5*q + 33, -3*q - a + 11 = 0. Suppose 17 = q*j + b - 0*b, -4 = 2*j + 4*b. Solve 5*y = j*s - 5, 3*s - 5*y - 3 = -y for s.
5
Let u be (15 - (-3)/(-1))*(-1)/(-4). Solve -5*n = -w - 19, -5*n + w + 22 = u*w for n.
4
Let q be ((-9)/(-6)*2)/1. Suppose -u = -q*u + 22. Solve -y = 4*y + 3*w - u, y = 2*w + 10 for y.
4
Let q(d) = 2*d + 18. Let g be q(-9). Solve -4*t + g*y = -2*y + 22, 5 = y for t.
-3
Let n be 3/(-15) + 32/10. Suppose n*o = 4*o - 10. Solve -4*x + o = -5*s, 2 = -4*s + 3*s + x for s.
-2
Suppose 5*s + 5*r - 105 = 0, -s + 16 + 5 = 3*r. Solve s = -g - 4*d, d + 22 = -2*g - 2*d for g.
-5
Let n = -6 + 4. Let g be (-7 - -7)/(n/(-1)). Suppose b = 4*c - 16, -5*c - 2*b + g*b = -33. Solve -4*k = k + 10, -5 = 5*v - c*k for v.
-3
Let s be (-4)/(0 + 2 + -1). Let u(t) = -t - 2. Let o be u(s). Let k be (-147)/(-35) + o/(-10). Solve 0 = 5*i + y + 4*y + 30, k*i = -2*y - 14 for i.
-1
Suppose -2*k = 8 - 10. Let b(p) = 5*p - 1. Let w be b(k). Solve 17 = 3*h - 0*y - 2*y, -3*h + 19 = -w*y for h.
5
Let f(a) = 9 - a + 1 - 3 + a**2 - 3. Let z = -5 + 8. Let v be f(z). Solve -2*b - 5 = -2*h + 3*b, -5*b = -h + v for h.
-5
Let h = 4 - -9. Let f be 2*((-38)/4 - 1). Let v = f - -30. Solve v = -3*l, 0*l = 4*x + l - h for x.
4
Let v be (-10)/(-2)*(-1)/(-2 - -1). Solve -2*s + 15 = 2*w - 7*w, w + 3 = -v*s for w.
-3
Let o(r) = -r**3 + r**2 + 3*r + 3. Let s be o(-2). Solve 3*k - 3 = -4*c + s, -2*c + 6 = 0 for k.
0
Suppose -4*j = -3*j - 4*f + 18, f - 3 = j. Let k(n) = 3 + 2*n - 9 - 4. Let y be k(7). Solve 0 = -3*v + 3*z - 6 - 6, y*z = -5*v - j for v.
-2
Suppose 0*n + 4 = n. Suppose 0*c - 3 = -w - 2*c, 4*w - 64 = 5*c. Solve r - 2*z = w, -r + n*r - 27 = 4*z for r.
5
Let u(m) = -3*m + 11. Let d be u(2). Solve 1 = d*l - 2*h - 3, 2*l = 2*h + 4 for l.
0
Suppose 2*h + h = -5*z, -14 = -h + 3*z. Solve -4*k - 4*d - 1 - 3 = 0, -4*d = -h*k - 14 for k.
-2
Let r be ((-21)/(-12))/(2/8). Suppose 0 = -2*w + r*w - 45. Let g be 1/3 - 105/(-9). Solve -w = 4*n - b, 5 = 5*n + 3*b + g for n.
-2
Suppose 50 = 2*o + 3*o. Solve 3*r = 0, -r = 4*l - 6*l - o for l.
-5
Suppose -11*c + 15*c = 20. Solve 5*u = c*x - 25, 4*x + 0*x + 5*u = -7 for x.
2
Let n(z) = -2*z**2 + 5*z - 4. Let x be n(3). Let r = -5 + 0. Let c = r - x. Solve 4*o = -c*m - 5 + 1, 5*m = -5*o - 15 for o.
1
Suppose -r - s + 9 = 0, 2*s = 5*r + 4*s - 36. Let k be (-5)/((-5)/(-2)) + 15. Solve 3*o = -3*j + 6 + r, 4*j = -o + k for o.
1
Suppose 3*d = -3*j + 8 + 7, 4*j = 16. Suppose 3*l = -l - 20. Let c = l + 5. Solve -g + d = -c*k - k, -2*k = -5*g - 10 for k.
-5
Let o(i) = -i**3 + 3*i**2 + 5*i - 1. Let y be o(4). Suppose 0 = -j - y*j + 16. Solve -5*u = -u + 4*a + 20, u + 17 = -j*a for u.
-1
Let a be (-4)/18 - (-303)/27. Let s = 16 - a. Suppose -m + 6*m + 7 = 3*c, 3*c - 17 = -5*m. Solve 3*u - 3 = -2*u + 3*b, -c*b + 1 = -s*u for u.
3
Let q = 13 - 1. Solve 2*u - 4*d = 18, -u + 0*d - 5*d - q = 0 for u.
3
Let m(x) be the second derivative of -x**3 - x**2/2 - 2*x. Let l