 - 3) + 0. Suppose j*y + 4 = 2*y. Solve h - y = 0, -4*p + 0 = 3*h + 10 for p.
-4
Let w = 17 - 15. Suppose -x + w*x = 4*k + 2, 3*k = 0. Solve -x*y = -3*y - 4*a - 7, -a = 5*y + 16 for y.
-3
Let i(v) = v**2 + 7*v + 1. Let d be i(-7). Solve 0 = 2*s - 0*s + 3*q - d, -6 = 3*s - 3*q for s.
-1
Suppose 4*z = 2*u - 22, 4*u - 5*u + z = -9. Solve 5*s + 4*a - u = -1, 5*s + 5*a = 10 for s.
-2
Let o be (-1)/(-2)*(-80)/(-8). Let x(s) = s**2 - 5*s + 5. Let w be x(o). Solve w*z + 0*z = 2*a - 27, 0 = 5*z + 2*a + 23 for z.
-5
Let c(p) = -p**2 - 7*p + 10. Let r be c(-8). Solve 4*d = -3*x + 3, -5*d - 3*x = r*x for d.
3
Let l = 4 - 2. Let j be (0/l - -3) + -1. Let z = j + 2. Solve 5*d = z*k + 8 + 10, -6 = d + 4*k for d.
2
Suppose 0 = -9*h - 214 + 529. Let g(j) = j**3 - 6*j**2 + 3*j + 6. Let b be g(5). Let t be 115/h - b/(-14). Solve 0 = -p + 1, t*r = 2*p + 2*p - 10 for r.
-2
Let j(b) = 7*b + 1 + 2 - b - 2*b. Let o be j(3). Let q = 2 + 0. Solve 5*t = 4*l - 12, t - q*t - o = -5*l for l.
3
Let h = 14 - 10. Suppose 8*g - 48 = h*g. Let u be 58/g - (-3)/18. Solve 1 = -2*f - 7, n = -u*f - 25 for n.
-5
Let k(f) = f**2 + 4*f - 2. Let r be k(-4). Let x = 0 - r. Solve p + x = -2*w, -3*p + 5*w + 4 = -1 for p.
0
Let v be (-2 - 1)*(-28)/12. Suppose 2*a + 10 = v*a. Solve 0*d + d - p = a, 5*d - 18 = -3*p for d.
3
Let b(g) = -3*g**3 + g**2 + 2*g + 1. Let x(f) = f**3 + 3*f**2 - 3*f + 3. Let n be x(-4). Let y be b(n). Solve -y*j + 4*c - c - 18 = 0, -9 = 2*j - c for j.
-3
Suppose 0 = -h - 2*o - 5, 2*h + 0*o + 11 = -5*o. Let p be h/(1*-3)*7. Suppose 4*z - 6*z + 4 = 0. Solve -z*r - 3*b + 10 = 0, r = 3*b - 6 - p for r.
-1
Let a be 516/18*3/(-2). Let y be (-14)/(-63) + a/(-9). Solve 0 = -5*v - j - 1, 0 = -0*v - y*v - 4*j + 11 for v.
-1
Let w be 11/5 - (-5)/(-25). Suppose 2 + 8 = w*z. Solve 0 = 4*b - z*d - 16, -b - 2*d = -0*b - 4 for b.
4
Let x(h) = h - 2. Let d be x(5). Let w be (-1)/(1/3*3/(-4)). Solve w*m + 8 = 0, -l = -d*l + m + 4 for l.
1
Let c(r) = 2*r - 4. Let h be c(2). Solve -u + h - 13 = 5*i, 0 = 2*i + 6 for u.
2
Let d = 136 + -136. Solve 0 = o - d*o - s - 2, -4*o + 15 = 3*s for o.
3
Let b be (1/(-3))/((-2)/18). Suppose -3*i = 5*u, 3*u - b*i = 5*u + 9. Suppose 2*n - 6 = 2*k + 2, 8 = u*n - 2*k. Solve n = 3*s - 5 + 2, -x + 5*s = 9 for x.
-4
Suppose h = -4*h - 135. Let b = -15 - h. Let q be 6*b*(-6)/(-27). Solve -5*l = a + 20, 2*l - a = -2*l - q for l.
-4
Suppose 5*m - 96 = m. Suppose -2*v - m = d, -d + 5*d + 105 = v. Let t = d + 44. Solve 3*p + 0*w = 2*w + t, -9 = -3*p - w for p.
4
Let u = 2 + 6. Suppose -z - z + u = 0. Let w be z/(-6) + (-8)/(-12). Solve -3*p + 5*q + 14 = w, -5*p = -0*q + 4*q + 26 for p.
-2
Let a(m) = -m + 11. Let r be 2/8 - (-75)/20. Suppose 2*c + 26 = r*c - 4*p, c - p = 10. Let w be a(c). Solve w*n - 25 = -5*v + n, -n + 1 = -2*v for v.
2
Let b(v) = 3*v**2 - v. Let h be b(1). Solve 8 + 7 = 4*d - 3*a, -h*d + 7 = -a for d.
3
Let q = -2 + 7. Suppose -q*y + 4*k = -k - 20, 2*y + 4*k + 10 = 0. Solve -4*d + 3*m = y, -4*d = -9*d + 4*m - 1 for d.
-1
Let z be (-2)/(-20)*8*5. Suppose -v + 4*o = -14, -5*v + 23 = -3*o + z. Solve v*b = 5*m - 2 - 3, -3 = -3*m - b for m.
1
Suppose -17 = 2*l - 5*c, 3*l = l - 4*c + 28. Solve -l*h + 0*x = -2*x + 8, 0 = -4*h + x - 4 for h.
0
Let n(r) = r**3 + 6*r**2 - 9*r - 12. Let t be n(-7). Solve 27 - t = 5*q - 4*s, -5*q = -2*s - 25 for q.
5
Let o = 5 + 5. Let s = -6 + o. Solve 3*w - 2*n - 1 = 0, -s*w + 2*n = -2 - 0 for w.
1
Let k(b) = b**3 + 8*b**2 + 14*b + 14. Let n be k(-6). Solve 5*r - f + 17 = 0, 2*f + 4 = -n*r + f for r.
-3
Let r(q) = 4*q**2 + 4*q + 2. Let c be r(-2). Let l = 15 - c. Suppose -13 + l = -4*j. Solve j*b = -2*b, -3*n - 9 = -4*b for n.
-3
Suppose 2*o + 2 = 3*o. Suppose o*d = -2*d + 20. Solve -d*p - 7 = w, -p + 6 = 5*w - 7 for w.
3
Let s be (-5)/15 - 74/(-6). Let g = s - -11. Suppose 5*k = 27 + g. Solve -5*a = 3*w - 3 + 4, -2*a + 2*w - k = 0 for a.
-2
Let m(q) be the second derivative of q**3/6 - q**2/2 + 4*q. Let j be m(6). Solve 30 = -5*w - j*g, -2*w + g = -0*g - 3 for w.
-1
Suppose t = -0*t + 4. Suppose -m + 3*m = 0. Solve -t*k + 2*s = 22, m*s - 2*s + 13 = -k for k.
-3
Suppose 3*x = x + 10. Let r = -14 + 10. Let t be 1/((-10)/r + -2). Solve 3*a = -2*d - x - t, 3*d + 8 = -4*a for a.
-5
Suppose 5*q + 0*q = 10. Let j = -32 + 39. Solve 0 = q*d - 4*b - 0*b + 14, 4*d - b - j = 0 for d.
3
Let b = -36 + 46. Solve 0 = 3*r - 4*r - 3, 0 = -2*x + 4*r + b for x.
-1
Let i(o) = o**3 + o**2 + 4. Let f = -2 - -2. Let t be i(f). Suppose 0 = -4*w + 2*j + 6, 2 = w + 3*j - 17. Solve 5*x = -t*r - 11, w*x + r + 13 = 2*r for x.
-3
Let v = -2 - -7. Suppose 0*b + 55 = 5*b + v*x, -x - 5 = 0. Solve p = -0*p - 5*l + b, 3*p + 12 = 5*l for p.
1
Suppose -3*f - 3 = -4*g, -g + 10 + 5 = 4*f. Suppose -2 = -f*x + x. Solve -3*d + 4*k - 10 = 0, -5 = 4*d + 2*k + x for d.
-2
Let v(b) be the first derivative of b**2/2 + 3*b + 3. Let j be v(0). Solve -5*y + y = -j*p + 10, 12 = 4*p - 5*y for p.
-2
Let p be 5 + -2 + 4 + -2. Solve 0*f - 12 = 3*b + p*f, 4*f + 15 = 3*b for b.
1
Let q = 6 - 2. Let p be -3 + (-5)/(15/(-9)). Let y = 4 + p. Solve -q*a = 5*n - 16, -y*n = a + n - 19 for a.
-1
Suppose 1 = -2*w + 17. Let x = 10 - w. Solve -x*o = -u - 12, -4*u - 3*o = 2*o - 4 for u.
-4
Let i be (-9 - 0/2) + 0. Let p(j) = 2*j + 6. Let n be p(i). Let r = n + 17. Solve -y = -r*a + 19, -y - 6 = 2*y + 2*a for y.
-4
Let v = -45 + 50. Solve 0*t + 5*z = 2*t - 12, 5*t = v*z for t.
-4
Let x be 0/12 - -1*(-2)/(-1). Solve h - 6 = -x*s - 4*h, 4*s = -2*h - 4 for s.
-2
Suppose -2*t + 3*t - 5 = 0. Let v be 1/t - (-483)/35. Solve -5*s + 0*z + z = -v, 20 = 5*s + 5*z for s.
3
Suppose 2*l + l - 6 = 0. Let k be 3/(-2) - (-11)/l. Solve a + k*t - 10 = 0, -a - 4*t + 8 = a for a.
-2
Suppose 5*a = -16 + 46. Solve 10 = -v + 4*b, -2*v + b = 6*b - a for v.
-2
Suppose 54 = -4*q + 138. Let c be (7/q)/((-2)/(-18)). Suppose 4*d = c*d - 3*g + 4, 2*d - 52 = 5*g. Solve -4*y + 5*x = -d, -y + x - 3*x - 9 = 0 for y.
-1
Suppose 3*l - 10 = -5*h, -3*h + 2*l + 6 = -l. Suppose -h*r = -24 - 6. Solve -4*g = -12, -z - 2*g + r = 2*z for z.
3
Let y(h) = -h + 7. Let k be y(5). Let z(t) = t**2 + 8*t + 18. Let r be z(-4). Solve 0 = -q + r, -2*m = 2*q + q + k for m.
-4
Let b be (-19)/(2/(2 - 0)). Let f = b + 22. Solve -f*p - 5 = -w - 6*p, 3*w = 5*p - 13 for w.
-1
Let c = 3 + -11. Let q = -5 - c. Solve 0 = -4*a + 5*h - 27, 5*a + h = -3*h - q for a.
-3
Let c(j) = -j**3 - 3*j**2 - 9. Let p be c(-4). Suppose -a - 4 = -p. Solve 3*z = -12, -4*q + 0*z + 12 = -a*z for q.
0
Suppose 0 = d + 2*d - 6. Suppose 0 = j - 5 + d. Suppose 8*z - 20 = j*z. Solve -4*w + 4 + z = 0, -16 = -2*p - 5*w for p.
3
Let x = -15 + 22. Suppose -n = -5*s - 15, -n - x = -2*n + s. Solve -4*f = -g - 8, n*g + 5*f - 44 + 9 = 0 for g.
4
Suppose -4*r + 0*r - n + 27 = 0, r - n = 13. Solve h + 0*z - r = 2*z, 10 = h - 3*z for h.
4
Let a be (2 - 1)/((-4)/(-92)). Suppose -r - a = -2*r. Solve 0 = 5*u - z - 7, -4*u + r = z + 4*z for u.
2
Suppose 4 - 24 = -5*r. Solve 3*t = -r*y - 5, 5*y = 4*t - 46 + 1 for y.
-5
Suppose 0*g + 5*g = 15. Let d = g - -15. Solve 18 = -2*y - 4*i, -4*y - d = -0*y + 2*i for y.
-3
Let x(d) = d**3 + 13*d**2 + 12*d + 5. Let m be x(-12). Let w(q) = q**2 + 7*q + 2. Let t be w(-7). Solve 5*i + 0*i = -t*v + m, 2 = 5*v + 2*i for v.
0
Suppose -o - 3*x = -14, -2*x = -o - 3 - 3. Solve 3*b - 5*z + 13 = 0, o*b + 1 + 1 = 2*z for b.
4
Let y(r) = -r**2 - 10*r - 5. Let t be y(-5). Solve -3*n = -2*b - 6*n - t, 0 = -2*b + 2*n for b.
-4
Let n = -15 - -20. Solve -5*v - 1 = 3*r - 6, -n*v + 20 = 0 for r.
-5
Let t(n) = n**3 - 2*n + 4. Let r be t(0). Solve -b + r*v - 2 - 5 = 0, 5*b - 2*v = -17 for b.
-3
Let o(m) = m. Suppose -3*t + 7 = -2*t. Let x be o(t). Solve -3*w + 8 = -3*p + x*p, w + 5*p = -1 for w.
4
Suppose -52 = -0*f - 2*f. Suppose -y - 5*m = -0*m + f, -6 = -y + 3*m. Let d = 6 + y. Solve 2*g - 8 = 4*o + o, 2*g - 2*o - 8 = d for g.
4
Let n = 3 + -9. Let o(t) be the third derivative of t**6/120 + 7*t**5/60 + t**4/6 - 7*t**3/6 - 2*t**2. Let z be o(n). Solve 5*j + 0*j = 5*p, z*j = -15 for p.
-3
Let g be 20/(-8)*(-24)/30. Solve -6*m + 2*m - h = -18, -g = m - 3*h for m.
4
Let g be 3/6 + (-4 - (-44)/8). Solve -2*t - 2 = g*z, 0 - 1 = -3*z - 5*t for z.
-3
Let x(t) = -2*t - 12. Let q be x(-8). Solve 2*d = -5*z - 8, z + 21 = -q*d + 5 for d.
-4
Let z(h) = 2*h - 3. Let s be z(3). Sup