4*b + p*h for b.
5
Let l(m) = 13*m**2 - 2*m**2 - 10*m**2 - m + 9. Let t be l(3). Let c be 7/2 + (-1)/2. Solve 20 = y + 4*u, -c*u + 0 = 2*y - t for y.
0
Suppose -3*n = 2*k - 8, -4*k - 2 = -n - 4. Let m(s) = -s**2 + 2*s. Let i be m(n). Let a be (-5)/(i - (4 - 3)). Solve -2*x + c - 6 = 3*c, -15 = -5*x + a*c for x.
0
Let v = 34 - 32. Suppose -v*w - 19 = -43. Solve 0 = 2*l + 3*q + q + w, -2 = 2*l - q for l.
-2
Let i(v) = -v**2. Let b(f) = 5*f**2 - 16*f - 1. Let z(g) = b(g) + 6*i(g). Let c be z(-15). Solve 4*o + 2*w = -3*w - 37, -2*o + 4*w + c = 0 for o.
-3
Let u = 134 - 132. Solve n = p - 2, -4*n = -u*p + 3*p + 13 for n.
-3
Let j = 53 + -49. Suppose y = k + 2, k + 6 = j*y - 8. Suppose 3*g = -3*t + 6, -t = -3*g - 5*t + 6. Solve 3*q + 2*q = 2*n - 2, -y*n = g*q - 4 for n.
1
Suppose v = 4*v - 5*g + 19, -v + 2*g = 8. Let t = 17 - v. Suppose -5*o + 2 = 3*a + t, o = 3*a - 17. Solve -4*l + j - 16 = 0, 2 - 10 = a*l + j for l.
-3
Let x = 1 + -10. Let a be (4/10 + (-117)/30)*20. Let d be a/x - (-26)/117. Solve 5*f - d = -4*g, 0 = -g - g - 5*f + 14 for g.
-3
Suppose -g - 2*h = 3*g + 88, 0 = -5*g - 3*h - 108. Let q = 25 + g. Solve 10 = 5*a, a + 2 + q = 5*d for d.
1
Let u(y) = y**3 + 5*y**2 + 4*y + 6. Let q be u(-5). Let r = -9 - q. Suppose -4*w - 16 = 0, r*h - 4*w = w + 40. Solve -h*k - g = -2*k, -14 = -k - 4*g for k.
-2
Let f = -5 + 5. Suppose f = -0*i - i. Suppose 0 = -i*j - j + 7. Solve j*v - 5*s = 4*v, 0 = -2*v + 5*s + 5 for v.
-5
Let f(v) = -2*v + 26. Let i be f(12). Let h = 13 - 26. Let l = h + 15. Solve -a - l*a - 15 = 5*d, -i*d = -3*a - 15 for d.
0
Suppose 5 + 7 = 4*v. Let w be (2 - 16)/(v + (-7 - -2)). Solve -3*x = 0, -4*z + w*x = 2*x for z.
0
Suppose 4*l + 9 = 5*q, 0 = 6*l - l + 4*q - 40. Suppose -4*u - 5*v = 25, 2*v + 7 = -5*u - 3. Let k = u + 5. Solve k*c - 20 = 5*r, c + 4*r - l = -25 for c.
-1
Let c = -2040 - -2042. Solve m + 11 = 5*x - m, 0 = c*x + 2*m - 10 for x.
3
Suppose 20 = -5*o, -5*o - 37 = -4*g - 1. Solve -3*j + 5*f - g = 0, 0*j - j + 5*f = 8 for j.
2
Suppose -6*t + 225 = 19*t. Solve -4*f = -5*r - t, -4 = -5*f + r - 2*r for f.
1
Suppose -b - 2 = 2*u, 0 = -5*b + 6*b + u - 1. Solve 0 - 6 = -3*t - b*x, -t + 2 = 4*x for t.
2
Let y be 21*(3 + 9/(108/(-32))). Solve -2*m - 5*p = -y, 9 = 4*m + 6*p - p for m.
1
Let k(j) = j**2 + 2*j - 3. Let r(l) = l**2 - 16*l + 41. Let y be r(13). Let z be k(y). Solve 5*p + 15 = z*h, 16 = -6*p + 2*p + 5*h for p.
1
Let c = -1 + 5. Suppose 5*q = -0 + 10. Suppose -t = -q*v, -5*t + 15 + 3 = -v. Solve t*s + 20 = -c*h, -3*s + 4*h - 10 = -s for s.
-5
Let g(m) = -m**2 - 5*m + 155. Let r be g(10). Solve 0 = 5*n + 5, n + 1 = r*x - 0*n for x.
0
Let j = -527 - -531. Solve 5*u + k = 8 + 1, 2*u + j*k = 0 for u.
2
Let j = 202 + -106. Suppose 0 = -2*c + j - 26. Solve -5*k - c = -2*r, -4*r + 2 = 5*k + 7 for r.
5
Suppose -s - 2*j - 1 = -4*j, 4*s = -j + 14. Suppose 12 = 2*a + 2*a. Suppose 4*n + 4*k = 5*n + 17, 0 = 5*k - 25. Solve n*y = -l - a*l + s, -5 = -5*y - 5*l for y.
1
Suppose o = -0*o + 3. Suppose 0 = o*k - 7 - 5. Let x(b) = b**2 - b - 18. Let m be x(-6). Solve 0 = 5*c - 5*r + 52 - 17, -k*c = -2*r + m for c.
-5
Let h(p) = -p - 1. Let o(n) = 2*n**2 - 3*n - 1. Let k(z) = h(z) + o(z). Let j be k(3). Solve -r - 3 = -j*b, -2*r + 2 = b - 1 for r.
1
Let y = -14 + 20. Suppose 3*w + o - 8 = 2*o, -3*o = y. Let d be 11/3 + (-12)/18. Solve -5*z = 3*j + 25, -w*z - 7 = j + d for j.
0
Suppose -2*a + 4*n + 62 = 0, n - 3*n - 68 = -2*a. Let u = 41 - a. Solve j = 6*m - m - 22, -2*m + u*j = -16 for m.
4
Suppose 3 = -n + 19. Suppose n = a + a - b, -5*a + 2*b = -38. Suppose -81 + 66 = -5*q. Solve -c + 2*d = q, -c + a = -2*c - d for c.
-5
Suppose k - 65 = -4*w, 5*w - 66 = k - 2*k. Suppose -k*d = -60*d. Solve d = -2*h - f + 3, -h + 4*f + 9 = -6 for h.
3
Let h = 49 - 45. Let q be (h/(-30)*-18 - 2)*10. Solve -8 = 6*y - 2*y, 33 = -5*v - q*y for v.
-5
Suppose -16 = 107*r - 115*r. Solve -4*o + 3*p - 7 = 0, -5*p + 3*p = -o + r for o.
-4
Suppose -3*k + 141 = 39. Suppose f = 2*a - 4, 3*f - 5*a = -2*f - 15. Let n be f*((-12)/(-4) - 12). Solve -3*w = 5*g + k, -3*g - w - n = -0*g for g.
-5
Let z = 111 - 109. Solve 5*p - 1 = z*b, 6*p - 2*p = 2*b for b.
2
Let o = -171 + 175. Solve 3 = -f + 4*z, -2 = -5*f - z + o for f.
1
Let u(z) = 15*z + 95. Let c be u(-6). Let d be 2/6*12/2. Suppose -3*r - 5*o = 0, 0*o = d*o + 6. Solve 0 = 2*m - s - r, 5*m - 9 = c*s + 16 for m.
0
Let c be ((-45)/(-12))/((-3)/(-24)). Suppose -5*u = -5*d - c, -5*u = -4*u + 2*d - 6. Solve 16 = 5*i - 2*n, 4*i + 0*n - u = 5*n for i.
4
Suppose -4*v - b + 14 = 0, -b - 11 = -5*v + b. Suppose -p + v*p = -20. Let g be (-3)/((9/p)/3). Solve 2 = 2*k - 3*o - g, -12 = 3*o for k.
0
Suppose 4*o = -2*u + 24, -4*u + 16 = o + 3*o. Let h(v) = v**2 + 9 + 1 - 4*v - 5*v. Let a be h(o). Solve -4*q = -0*n - 5*n - 11, a*n + 6 = 0 for q.
-1
Suppose 2*o + 0 = -40. Let l be 9*(o/(-9) - 2). Solve 5*b - 15 = -l*g, 5*b + 2*g + g = 10 for b.
5
Let r = -12 + 16. Suppose 12 = 3*c, 4*c - 36 = -0*y - r*y. Solve 0 = -y*t + 3*q, t - 2*t + 5*q + 22 = 0 for t.
-3
Let w = 164 - 160. Solve 4*f - 16 = -4*h, w*f + 0*f - 2*h + 8 = 0 for f.
0
Suppose -38 + 44 = i. Solve -5*n - 2*h = -i, -4*n + 1 = 3*h - 1 for n.
2
Let y be (-1 + 4)*4/3. Suppose -4*j = -y*f + f + 18, -5*f + 7 = j. Let n(k) = -2*k + 1. Let v be n(-1). Solve -f*r + b - 10 = v*b, 4*b = -5*r - 23 for r.
-3
Let f = 6 + -2. Let c = f - -2. Let s(q) = q**3 - 6*q**2 + 2*q - 12. Let a be s(c). Solve -2*v + 3*j + 10 = 0, 0 = -a*v - v - 4*j + 5 for v.
5
Let a(u) = u**2 - 17*u + 9. Let v be a(16). Let h be 1/(-2) + v/6*-3. Solve 5*y + 4*f = -15, h*f + 5 + 7 = -4*y for y.
-3
Suppose 0 = -4*g + 19 + 17. Suppose -g*o = -6*o - 9. Solve -27 = -5*x - w - o*w, w - 12 = -3*x for x.
3
Let k(f) = -52*f + 262. Let j be k(5). Solve -4*d + 2*y - 16 = -2*d, y - j = -d for d.
-3
Let i = 89 - 54. Let s be 3/6 - 7/(-2). Suppose -f = o - 4 - 4, -5*f - s*o = -i. Solve 0 = 2*j - j - f*g - 19, 3*j = -5*g - 13 for j.
4
Suppose -8 = -4*g, -12 = 5*m - 5*g - 2. Suppose m = -6*b - 14 + 50. Solve -2*s + 3*x - b = 5*x, -3*x + 3 = -s for s.
-3
Suppose 5*q = -2*u + q + 12, 0 = -5*q - 5. Suppose 0 = -2*i + n + u, 3*i = -3*n - 6. Solve 2*f - j - 9 = 0, -i*f - 4*j = -f for f.
4
Let v(i) = i**3 + 6*i**2 + 5*i + 6. Let x be v(-5). Let w be x/12*0/(-2). Solve r - 4*r - 5*s + 31 = w, 2*s = 5*r for r.
2
Let p be (3/((-9)/(-74)))/(40/(-60)). Let v be (p/(-37))/((-2)/20*-2). Solve -v*y + 4 - 6 = 4*z, -y + 2 = 0 for z.
-3
Suppose 54*a + 39 = 55*a - 3*r, 2*a - 72 = 4*r. Solve 4*z - 12 = -2*n, -n + 5*z - a = -8 for n.
-2
Let d be -4 - ((-9)/(-6))/(3/(-48)). Let t(r) = r**2 - 9*r - 5. Let s be t(10). Solve l + 3*p + s = 3*l, -3*p = l + d for l.
-5
Let c = 47 - 35. Let u be 2/6 - (-32)/c. Solve 2 = -2*a - 2*l, u*a = 3*l - 33 + 6 for a.
-5
Suppose -24 = -3*b - b. Suppose -b = -5*r - 2*k, -2 - 4 = 3*k. Solve 18 = -5*w + 4*l, -14 = r*w - 0*w - 5*l for w.
-2
Suppose -2*w + 4 = 2*w. Let a(l) = l**2 - 6*l + 1. Let g be a(7). Suppose -s + g - 4 = 0. Solve -s*k - 7*n + 3*n - 20 = 0, n + w = 0 for k.
-4
Let l = 90 + -81. Solve -v - 3*n + n = -l, 3 = -5*v + 2*n for v.
1
Let f(i) = 2*i**2 - i - 2. Let u be 50/18 - 4/(-18). Let z be f(u). Solve -3*q + z + 2 = -4*s, -4*q + 20 = -4*s for q.
5
Let b be (-5)/(-6)*26 + 7/21. Solve -t + 4*q = -3*t - b, 0 = -3*t - 2*q - 21 for t.
-5
Let i(z) = -z**2 + 18*z + 27. Let f be i(18). Let c be 12/(-16)*6*(-12)/f. Solve -4*n - 5*r = -c, n - 2 = 5*n + 3*r for n.
-2
Suppose 21*v - 65 = 8*v. Solve 4*d = -v*o - 35, d + 3*d = 5*o - 5 for o.
-3
Suppose 2*n = 10, -j - 8*n = -3*n - 26. Let g = -5 + 7. Suppose -g*h + h = -j. Solve -h = -b - z, b + 3*z = -2*z - 11 for b.
4
Let i = -978 - -981. Solve 40 = -5*s - 5*g, -g = 2*s + i*s + 24 for s.
-4
Let y = -31 + 35. Suppose -2*m - 2*s = -7*s - 22, 0 = y*m + 3*s - 70. Solve -4*i + 3*p + 4 = -m, 3*p - 5 = -i for i.
5
Let a be ((-141)/235)/(2/(-10)). Solve -3*n + a*x - 21 = 0, 19 = 5*n - 4*x + 49 for n.
-2
Suppose 6 = -3*g - 9. Let i(l) = -l**3 - 6*l**2 - 6*l. Let j be i(g). Solve -v = 4*v - 2*w + 21, 5*w = j*v + 15 for v.
-5
Let a(s) = -s**2 + 3*s + 2. Let q be a(-3). Let g = -12 - q. Solve 5*i = -3*v - 22, -20 = 4*i + 4*v + g for i.
-2
Suppose 0 = 3*w - 16 + 10, 0 = -3*v - w + 8. Solve v*g = -5*z - 11 - 7, 2*z = 4*g - 12 for z.
-4
Let h be ((-1773)/(-135) - 4) + 8/(-