*p = b - 13 for b.
-2
Let b(k) = 2*k**2 - 4*k + 6. Let j be b(5). Let c be (j/27)/(1/9). Let d = c + -12. Solve 3*x + 3*v + 2 = 2*v, -3*x + v + 8 = d for x.
1
Suppose 4*t = -6 + 2. Let j be (t - (-5)/25)*-10. Solve -f = 4*r + 11, 2*f - r = -2*r - j for f.
-3
Suppose 5*y = 2*y + 54. Let n(s) = 8*s**3 - 2*s**2 + 3*s - 1. Let u be n(1). Suppose -3*a + u*a = 20. Solve y = -a*g - j, 2*g + j - 7 = 3*g for g.
-5
Let i(u) = -43 + 2*u + 2 + 17. Let k be i(13). Solve 2*l - 4 - 8 = k*r, 4*l - 25 = 5*r for l.
5
Let r(w) = w**3 - 21*w**2 + 36*w + 38. Let b be r(19). Let h be (105/6)/7*2. Let k = -13 - -16. Solve -k*o - h*g - 2 = b, 4*o - o + 8 = -2*g for o.
-4
Let b = -19 - -33. Let s = -9 + b. Suppose 4*o + i - 6 = 0, -4*o + 3*i - 4 = -2*o. Solve v = s*j - 15, -v = -j + 4 - o for j.
3
Let l be -3 - -1*1 - (-84)/21. Suppose 5*g - 3*i - 27 = 0, -l*i + 5 = 3*g - i. Solve 2*z + g*p + 2 + 0 = 0, -5 = 5*z - 4*p for z.
-1
Suppose 7 = -g + 11. Suppose -2*z = -5*w - 24, -g*z - 4*w - 9 = -5*z. Solve -2*p = 5*f + 2*p + z, 20 = -5*f - 5*p for f.
-1
Let u = 86 - 84. Solve 0*d + 14 = 4*d - g, 5*d - u*g - 16 = 0 for d.
4
Let m = 4 + 0. Suppose -m*n + 4*o + 5 = -3, -o = n - 4. Suppose -n*k + 2 = -13. Solve k*j + 5 + 3 = d, 5 = -5*j for d.
3
Let r(k) = 2*k + 13. Let w be r(-5). Suppose 0 = -3*m + 4*o - 2, 2*m + 4*o = w*o + 6. Solve -f + 0*f + 3 = -4*p, -3*f = -m*p - 9 for f.
3
Let j(v) = -2*v**2 + 2*v + 2. Let w be j(-2). Let p = 8 + w. Let l(k) = k + 2. Let r be l(p). Solve -8 = 2*q - 0*a + a, r = -q + 4*a - 13 for q.
-5
Suppose 2*h + 6 = -3*j + 52, -5*j - h = -65. Let r be j/(-8) - (-26)/4. Solve -z + 5*z + 22 = q, -z = 5*q - r for q.
2
Let g = 2 - 2. Let v(u) = -u**3 - 2*u**2 + 17*u + 52. Let q be v(-3). Solve -t + 2*k + 8 = 0, 4*k + q + g = -t for t.
2
Let d be 180/(-63)*21/(-6). Suppose 3*p - 2*v - d = 0, 0*p = -p - 3*v - 15. Solve -w = -5*a - 10 - 2, p = 3*a + w + 12 for a.
-3
Let c(j) = 3*j**2 - 4*j + 2. Let l be c(2). Suppose -2*m = 2*d - l*d + 86, -3*d - 2*m = -54. Solve -d = -5*h + a + 2*a, h = -a + 4 for h.
4
Let s = -144 - -176. Solve -3*z = -j + 4, s = -4*z - 6*j + 2*j for z.
-3
Let f = 42 - 40. Let a(w) = w**2 + 3*w - 6. Let k be a(-5). Let x = k - f. Solve -3*h + 4*o = x*o + 5, 15 = -3*o for h.
-5
Suppose 0 = 87*s - 85*s - 6. Let g be 18/(-15)*((-20)/s)/2. Solve 4 = -5*o - g*f, 0 = -o - 6*f + f + 16 for o.
-4
Let g(c) = 4*c - 22. Let l be g(6). Solve 6 = 4*n - l*r, 5*n = -2*r + 2 - 8 for n.
0
Let q be (18 - 2)/(-1 + 0). Let x = q - -15. Let n be 4 - 2/(x - 1). Solve -n*y = -5*c - 3*y - 10, -17 = 3*c + y for c.
-4
Let z = 2800 - 2789. Suppose -f = 5*j - 66, 0 = -4*j + 2*f - 0*f + 50. Let v = j - 9. Solve 2*h - 22 = 3*b, v*b - h + z = -10 for b.
-4
Let c be (-2 - -2 - 0) + 2. Suppose 0 = 2*n - c*h - 29 + 11, 0 = -n - 3*h - 7. Solve n*u = 3*t + 5, 4*t + 6 = 2*t + 2*u for t.
-5
Suppose 43 = -z - 58. Let a = -99 - z. Solve -2*t + 8 = 2*y + a, 0 = 3*y - 4*t + 19 for y.
-1
Let v = 249 - 129. Let g = -118 + v. Solve 10 = 5*h - 4*i, -g*h = h + 5*i - 6 for h.
2
Suppose y = 3*u, 10 = u - 3*u + 4*y. Let g(k) = 5*k + 43. Let l be g(-8). Solve h + 2*p - u = 0, 0 = l*h + 2*p - 2 - 1 for h.
1
Let t be (0 - 6)/((-39)/26). Let c(f) = -6*f - 1. Let m be c(-1). Let n = -1551 + 1551. Solve -3*w - z = -n*z + t, 0 = m*w + z + 6 for w.
-1
Let j = 14 - 68. Let a = -51 - j. Solve v - 28 = 4*r + 4*v, -a*v - 12 = 0 for r.
-4
Let k = 170 - 167. Solve 9 = -k*c, -c - 2*c = 4*w + 17 for w.
-2
Suppose -4*g - 9*y + 12 = -5*y, 2*g - 24 = 4*y. Solve 0 = -3*n + 4*t - g, -n - 3*t - 2 = -0 for n.
-2
Let w(o) = o**2 - 8*o + 12. Let d be w(6). Suppose -s + 4 = -3*y + 2, d = -s + 5*y. Solve -4*r = 5*z - 2*z - 31, s*z = 3*r + 13 for r.
4
Let r(i) = -i**2 - 4*i + 14. Let v be r(-6). Let s be v/3 - 2/3. Solve 22 = z - 5*j, s = j - 0*j + 4 for z.
2
Suppose m = 4*c - 34, -3*m + 34 = 3*c + 2*c. Let t = -12 - -19. Suppose k - t + 4 = 0. Solve -5*d = 3*z - c, -d + 3*d - 20 = k*z for z.
-4
Suppose 4*g + 6 = 6*g. Suppose g = 4*k + 7. Let j(h) = -6*h - 1. Let y be j(k). Solve -3*z + 6 = 0, 6*z = y*l + 5*z + 7 for l.
-1
Suppose 2*l + 10*l = 4*l. Suppose -3*k = -3*m + 2*k + 31, l = -5*m - 2*k. Solve 3*o - 2 = -m*q, 2*o + 3*q - 5 = -2 for o.
0
Let h = 160 + -113. Let g = h + -39. Solve 2*k + 2*x = g, 3*k + 16 = 7*k - 4*x for k.
4
Let k(a) be the first derivative of a**2 + 6*a - 15. Let i(g) = g**3 - 3*g - 1. Let c be i(-2). Let r be k(c). Solve r*x - t = -3*x - 8, -2*x - 4 = -t for x.
-4
Let g(o) = o + 4. Let v be g(6). Suppose 3*w - 6*w = 3*z + 3, -2*z - v = -2*w. Solve w*t - 7 = -3*x, -t + 0 = 1 for x.
3
Suppose 4*c - 32 = 2*c. Let p(d) = d**2 - 15*d + 18. Let h be p(14). Solve -h*t = -0*j + j - c, 0 = -j + 4 for t.
3
Let a(k) = k - 10. Let d be a(12). Suppose 3*w = -d*w + 10. Solve 3*f + 1 = -7*i + 2*i, -19 = w*i - 5*f for i.
-2
Let w(h) = 7*h + 268. Let m be w(-38). Solve m*k - 22 = 3*d, -d - 4 = 5*k - 25 for k.
5
Suppose 0 = w - 4. Suppose 7*z - 5 + 19 = 0. Let s = z - -6. Solve -4 = 4*x - s*o, -6*o + w*o - 2 = 0 for x.
-2
Suppose 3*d - 4*t - 8 = 0, -5*t - 12 = -4*d - 1. Solve d*y = -l - 8, -5*y + 4 = -4*l - 7 for l.
-4
Suppose -5*m - 2 - 8 = 0. Let j be 96/15*(27/6 + m). Solve n = u, -u + j = u + 2*n for u.
4
Suppose 5*p + 45 = 3*z, -p - 27 = 2*p + 4*z. Let b(y) = y**2 + 10*y + 11. Let o be b(p). Solve 3*c = q - 7, -4*q + 19 = -5*c - o for q.
4
Suppose 3*o = 3*q, q + 5 - 3 = -o. Let x = o - -13. Let l = -11 + x. Solve 4*f = -t - 2 - l, 3*f = -4*t + 1 for f.
-1
Suppose 5*y - 215 = -5*b, -3*b + 3*y - 169 = -7*b. Let h = b - 37. Solve -5*o = h*r + 4, -2 = -4*r + 2*o - 16 for r.
-3
Suppose 39*n + 36 = 48*n. Solve 5*c = 6*o - o - 30, 0 = -2*c - n*o - 6 for c.
-5
Let p(a) = 2*a**2 - 18*a + 39. Let i be p(6). Solve 0 = -2*t - 3*h - 6, i*t + 2*h + 1 = 2 for t.
3
Let z = 21 + -19. Solve 0 = z*y - 5*u + 9, -u + 0*u - 3 = -2*y for y.
3
Let a be (-16)/(-6)*-3 - 3. Let g = -6 - a. Suppose -r = k - 3, -g*r + k - 1 = 2. Solve -1 = 4*l - 3*o, o + r + 1 = 0 for l.
-1
Let i be 33/55 + 34/10 - 3. Solve 2*g + 2*s = -15 + i, -8 = 4*s for g.
-5
Suppose 4*b - 7 = 1. Suppose 0 = -22*t + 36 + 30. Solve 9 = 5*r + 2*h, -r + b*h = -t*r for r.
3
Let c be -2*161/14*-1. Let q(r) = r**2 + 9*r - 7. Let w be q(-10). Solve -3*f + 2*f - 26 = 5*j, c = -4*j - w*f for j.
-5
Suppose 11*y = -y + 96. Solve 0 = -4*p + t + y, -3*t = -t for p.
2
Suppose 0 = 4*w - 6*w + 16. Suppose -w*k + 34 = -190. Solve 5*x - 3*x = 5*r - k, -16 = 4*x for r.
4
Suppose -16 = -4*d - 52. Let q = -7 - d. Solve -3*j = q*j - 15, -2*j + 6 = 5*t for t.
0
Let s = -3 - -6. Suppose -3*c - 2*v = 4, -4 = 2*c + 3*v - v. Solve 5*d - s*p + 10 = c, -1 = d + p - 7 for d.
1
Let u(t) = 8*t**2 - 2*t - 5. Let y be u(-2). Solve q - 1 = r, -5*q + q - y = 3*r for q.
-4
Suppose 208 - 4 = 34*t. Suppose -4*h = -33 - 23. Solve -o + 5*p + t = 20, 2*o + h = 3*p for o.
-4
Let v = 123 - 69. Let o = v + -50. Solve -5*b - k + 23 = 0, o*k + 0 = 2*b + 4 for b.
4
Let q be 250/65 + (-2)/(-13). Suppose q*r - 13 = -v + 2*v, -r = v - 2. Suppose d = -4*y - 6 - 0, r*d + 2*y = 2. Solve -3*g + 1 - 3 = d*t, 4*g - 9 = -5*t for t.
5
Suppose t = -j, 4*j - 2*t - 24 = 6. Solve -v = 4*o + 8, 2*o = 5*o - j*v + 29 for o.
-3
Let f(u) = u**3 + 6*u**2 + 6*u + 6. Suppose -7 = x - 3. Let y be f(x). Let q be (-1)/2 - (-77)/y. Solve 4*c = -4*j - 28, 2*j - 23 = 3*j + q*c for j.
-3
Suppose 25 - 41 = -m - 5*u, 0 = -2*m - u + 32. Solve -3*n + 4*y + 3 = -7, 0 = -4*y - m for n.
-2
Let j = 21 - 6. Let l be (j/20)/((-4)/(-16)). Solve 0 = -l*k - 4*f + 8*f + 20, -f - 5 = 0 for k.
0
Suppose 4*h = 5*h - 7. Suppose -150 = b - h*b. Solve 0 = 5*z + 5*f - 35, -4*f = z + 3 - b for z.
2
Let p(z) = -3*z**2 - z. Let k be p(1). Let o be 6/k*(-10)/3. Solve 2 = v + 2*v + d, 4*d = -o*v + 1 for v.
1
Let i = -599 + 602. Solve -4*b + 16 = -5*f - i*b, -2*f + 2*b = 0 for f.
-4
Suppose -3*u + 0*m + 4*m + 20 = 0, -u + 5*m + 25 = 0. Let y = u + 4. Solve -k - 2*s = -3*s - y, 3*k + 2*s = 2 for k.
2
Let k = 103 - 70. Suppose 2*j - k = -9. Solve 4*y = -2*u + j, 6 = 4*y - 6 for u.
0
Let l be (-217)/(-35) - ((-38)/10 + 3). Suppose 5*u = u. Suppose 3*x - l*x + 8 = u. Solve -x*o - 6 = 5*t + 4, 0 = -o - 4*t - 5 for o.
-5
Let q(l) = l**2 - 4*l - 6. Let s be q(6). Let j = -308 - -317. Suppose j*h = 10*h - s. Solve -5*r - 1 = -3*i - h, -5*r = -2*i - 10 for r.
4
Supp