Suppose 4*h + 4*x + 28 = 8*h, 0 = 4*h + 4*x - 28. Solve j = -5*m - h - 3 for m.
-2
Let u(v) = v**3 - 10*v**2 + 3*v + 18. Let b be u(8). Let q = 106 + b. Solve 0 = -5*h - 0*h - q for h.
-4
Let u(y) = y**3 - 8*y**2 + y - 3. Let n be u(8). Let h be 0 + 2/(5 - 4). Solve h*p + n = -1 for p.
-3
Let m(p) = p**2 - 4*p - 1. Let x be m(5). Let h be ((-5)/(-15)*33)/(-1). Let w = h + 13. Solve w*u = x*u + 6 for u.
-3
Let p(r) = -r + 6. Let a be p(6). Let q(w) = 2*w - 11. Let i be q(9). Suppose 0 = i*u - 12*u + 10. Solve a*o = -u*o - 8 for o.
-4
Suppose 4*p = 3*u + 14, 0 = -4*u + 20 - 12. Solve -3 = 4*d + p for d.
-2
Let b = -751 + 801. Solve 8*g = -b + 18 for g.
-4
Let q(u) = 4 + u**2 + 1 + 5 + 8*u. Let l be (-29)/4 - -1*2/8. Let r be q(l). Solve 4*w - r*w + 3 = 0 for w.
-3
Let d be (3/(-2))/(-1)*2. Suppose -5*q - v + 13 = 0, -q + d*v = 2*v - 5. Suppose 0 = 3*b - 5*o + 5, -4*b - 5*o + 2 + 3 = 0. Solve b*t + q = -3*t for t.
-1
Suppose 52 = 4*u + 8. Suppose -2*n + u = w, 19 = 3*n - 0*w + 2*w. Solve n*z - 6*z - 6 = 0 for z.
-2
Let r(v) = v**2 - v - 7. Let j be r(4). Let z(d) = 7 - 4 - j - d. Let k be z(-2). Solve k = -3*a + 4*a for a.
0
Let k be (24/7 - (-18)/(-42)) + 9. Suppose -4*a - k = -2*j, 6 = -3*j - 3*a + 15. Solve 0 = f + j - 0 for f.
-4
Suppose -16*u - 30 = -26*u. Solve 0 = u*c + 3 + 9 for c.
-4
Let g be (603/6)/(-1) - (-5)/(-10). Let l = -99 - g. Solve 0 = -3*d - l*d + 20 for d.
4
Let k = -11 - -13. Suppose 20 = -k*y + 7*y. Solve -y*r = -3*r for r.
0
Suppose 0 = -5*s + 4*i + 116, -25 = -9*s + 8*s - i. Solve 0 = -s*u + 17*u - 28 for u.
-4
Let u(b) = b**3 + 6*b**2 - 21*b - 14. Let l be u(-9). Let c = l + 69. Solve q = -c + 3 for q.
2
Let r(z) = 3 - 6*z**2 + z - 2 - 3*z**2 + 5*z**2. Let t be r(2). Let q = 15 + t. Solve 3*l - q*l = 0 for l.
0
Let q be (-1)/(4/4 - 0). Let y be 1 + 10 + (-4)/q. Suppose y*m + 48 = 19*m. Solve -5*u + m = -3 for u.
3
Suppose -a - 1 = 0, -3*p - 2*a + 1 + 6 = 0. Solve 3*l - p = -0 for l.
1
Suppose -3*j = -2*n + 1, -5*j + 4*n + 10 = 3*n. Let u = -23 - -41. Let t = u - 9. Solve -24 = -j*s - t for s.
5
Suppose -54*g + 65*g = 121. Solve 11*v + g + 0 = 0 for v.
-1
Let a be (15*12/27)/((-1)/12). Let y = a + 81. Solve n + 4 = y for n.
-3
Let j = 47 + -30. Let c = j + -13. Suppose 2*k + 2*n - 10 = 0, 3*n - 13 = -6*k + c*k. Solve 0 = k*z - 0*z for z.
0
Suppose q + 5 + 4 = 2*z, -q = 4*z - 33. Suppose -z = 11*a - 29. Solve 2 = -4*s - a for s.
-1
Let x be (-2)/(-21) - 4588/(-777). Solve 0*v - 18 = x*v for v.
-3
Let r be (-10)/(-2) - (-11 + 5). Suppose -4*s + 60 = r*s. Solve 12 = -0*b + s*b for b.
3
Suppose -21 = -4*r + 55. Suppose -2*n = -r - 7. Let w = n + -10. Solve 5*q - w = 2*q for q.
1
Let o = 2 - 5. Let l(y) = y**2 - 14*y + 40. Let k be l(10). Let j be (-4)/3*(k + o). Solve -a - a = -j for a.
2
Suppose 3*z = -4*a - 20, 4*a - 7*z = -3*z + 8. Let q be (1 - 1)*a/2. Solve -4*o + 6 + 2 = q for o.
2
Suppose 4 = -877*f + 881*f. Let a = -7 + 11. Solve -q + a = f for q.
3
Let n be (-3)/(-18)*33 + (-3)/(-2). Suppose 1 - n = -3*c. Solve -l + 3 = -c for l.
5
Let c be (-2)/(10 + (-231)/22). Solve c = 7*s - 24 for s.
4
Suppose 4*z - 8*z + 4 = 0. Let b(n) = 8*n - 8. Let y be b(z). Solve 8*j - 12*j = y for j.
0
Let r = 15 - 10. Let b(a) = -2*a - 7 - 2*a**2 + 3*a**2 - a. Let f be b(r). Solve -f*z + 0*z = -15 for z.
5
Let k be -2 - -7*2*(-132)/(-24). Suppose -4*o - o + k = 0. Solve 4*z - 1 - o = 0 for z.
4
Let t be 1946/(-21)*3/2. Let s = 139 + t. Solve 5*a - 5 = -s*a for a.
1
Suppose 110 = 9*z + 20. Suppose 1 = -m + 2*p, -13 = -4*m - p + z. Suppose 0 = -m*a - 10 + 35. Solve 0 = -y - 0*y + a for y.
5
Suppose -3*h + 3 = 3*f, 2*f - 7 = 2*h + 15. Suppose 0 = 5*r - 19 - 1. Suppose f = r*u - 2. Solve -s = -0*s + u for s.
-2
Suppose u - 2*w = 27, 4*w = u - 22 - 3. Solve -9 = -5*k - u for k.
-4
Suppose 0 = -4*d + 57 - 5. Let w = d + -11. Let r = 5 - w. Solve g = -r*g + 4 for g.
1
Suppose -85*t - f + 7 = -87*t, -4*t - 3*f + 31 = 0. Let h(b) = b + 4. Let c(j) = 1. Let v(z) = 3*c(z) + h(z). Let q be v(-4). Solve -t = -a + q for a.
4
Let k(p) = p**2 - 3. Let v be k(3). Let q be v/15 + (-16)/(-10). Suppose -2 = 3*c - 2*f - 0, -10 = -c - q*f. Solve -c*u = 7 + 1 for u.
-4
Suppose 288 = 70*u - 62*u. Solve -15*t + u = 6 for t.
2
Let n(i) = 3*i - 33. Let a be n(12). Solve j = a*j for j.
0
Let a = 10 + 15. Suppose -a*u = -20*u - 30. Solve -m - u = 2*m for m.
-2
Let h be -4 + -5 + 28 + -2. Solve -72 = -11*d - h for d.
5
Let a(i) = 3*i - 7. Let j be a(6). Suppose -68 = -3*s - 5*b, -3*s + 58 = 5*b - 10*b. Let y = s - j. Solve -d = d - y for d.
5
Suppose 80 = 4*u + 3*n, 66*n + 46 = 2*u + 69*n. Solve -u*l + 1 = 18 for l.
-1
Let f = 32 + -16. Suppose 4*i - 8 = f. Let x be (6 + -14)*2/(-4). Solve 0 = x*n - 10 - i for n.
4
Suppose 15*t - 212 = 13*t. Let i be (-4 - t/(-8)) + (-1)/4. Solve 4*n + 11 = -i for n.
-5
Suppose 53 - 222 = -13*j. Solve -4*b - j = 7 for b.
-5
Let g = -16 - -19. Let h(o) = o**2 - o - 3. Let f be h(g). Suppose 0 = -3*u + f + 3. Solve u*s = -2*s + 8 for s.
2
Let x(r) = -r**2 - 35*r + 160. Let t be x(4). Solve 76 = t*j + 72 for j.
1
Suppose -2*d - 60 = -4*u - 4*d, -5*d = -u - 7. Solve -6 = u*l - 16*l for l.
2
Let i(y) = -3 + 2 + 1 + 3 - y. Let w be i(3). Let k be (-2 + 5/2)*0. Solve -t + 4 + w = k for t.
4
Let o(t) = -t. Let l(y) = y**2 + 4*y - 7. Let b(a) = -l(a) + 2*o(a). Let s be b(-7). Let w be (7/(-3) - -2)*-12. Solve 0 = m - s*m - w for m.
4
Suppose -7*s = 7*s + 924. Let f = 75 + s. Solve -j = -4*j + f for j.
3
Let a be -1 - (-35)/(-4) - 12/48. Let p = -3 - a. Solve -20 = -2*u + p*u for u.
-4
Let b be ((-20)/6)/(236/(-48) + 5). Let m = -38 - b. Solve -j + 0*j = m for j.
-2
Let h(p) = 11*p + 220. Let y be h(-19). Solve 2*a - y + 19 = 0 for a.
-4
Suppose 0 = -5*v - 2*l - 34, -3*l = -v - 0*l. Let s be 35/15 + v/(-9). Suppose 0 = -s*i + 5*i. Solve i*w = -w for w.
0
Suppose -2*g + 5*c - 40 = -4*g, 4*g = -c + 80. Solve -7*d = -17*d + g for d.
2
Suppose j - 6 = 30. Let q(k) = -2*k**2 - 2*k + 9. Let w be q(4). Let n = w + j. Solve -n*v = -15 - 10 for v.
5
Let u(c) = 6*c - 138 - 3*c + 132. Let a be u(4). Solve 3*z = a*z + 12 for z.
-4
Let z be -4*(4 + 11/(-2)). Let r = z + -2. Solve -13 + 29 = -r*g for g.
-4
Let f(g) = -g**3 + 7*g**2 + 2. Let p be f(7). Solve q + 4 - p = 0 for q.
-2
Let g be (-2)/(-5) - 28/(-5). Let l be 1 + 2/2 + -1. Let m be 6 - (-1*(-4)/4)/1. Solve m*f + l = g for f.
1
Suppose 5*g - 2 = 3*f + 11, -4*g = -5*f. Suppose -i - 16 = -5*l - 2, 3*i + 4*l = -f. Let w be -2 - ((-48)/i)/(-3). Solve w*h + 4 = -2*h for h.
-1
Suppose 48*o - 255 = -3*o. Solve 0 = -a - 9 + o for a.
-4
Suppose 3*t = 5*v + 20 - 65, -3*t = -15. Let r(u) = -16*u + 7. Let h(n) = -3*n. Let f(d) = 10*h(d) - 2*r(d). Let k be f(v). Solve -2*z = 3*z + k for z.
-2
Suppose 7*m + w = 8*m, 0 = -2*m + 4*w - 10. Let y(a) = -a**3 + 11*a**2 - 11*a + 15. Let o be y(10). Solve o*r = -m - 5 for r.
-2
Let i(x) be the second derivative of 7/12*x**4 - 2*x + 0 + 9/2*x**2 - 1/20*x**5 - 7/6*x**3. Let p be i(6). Solve 0 = p*a - 6*a for a.
0
Suppose -5*n = s - 44, -137*s + 30 = -136*s - 2*n. Solve -8*y - s = 9*y for y.
-2
Let b = -3 - -8. Suppose b*c - 40 = 50. Suppose 0 = -4*k - 2 + c. Solve 2*x = -0*x + k for x.
2
Suppose -85 - 14 = -11*d. Suppose 2*n + n = d. Let m = 13 + -9. Solve -3*f = -m*f + n for f.
3
Let m = -7 + 7. Suppose 3*t = 3*r - m*r + 12, -3*t = r - 8. Let d be r*-6*1/2. Solve q = d*q - 10 for q.
5
Suppose -224*d + 32 = -216*d. Solve d*c + 15 = 3 for c.
-3
Suppose -9 = -5*n - 2*c, -37*n + 41*n - 3*c = 21. Suppose i = 3 + 2. Solve -r = -i + n for r.
2
Suppose -u = u. Let h be 12/3*4/16. Let n be h + -1 - (-4 + 0). Solve 0*g + n*g + 20 = u for g.
-5
Let w(p) = -2*p**2 + 31*p - 13. Let s = 59 + -44. Let t be w(s). Let v(u) = -u**2 + 6*u. Let y be v(6). Solve t*c = -y*c - 10 for c.
-5
Let x be 2/(-6)*-3 + -1. Solve -b - 12 + 8 = x for b.
-4
Suppose 2*h - 5*s = -0*s + 27, -4*s = -4*h + 24. Let v be h/(-6) + 7/6. Let j = 2 - v. Solve -l + j + 1 = 0 for l.
2
Let a = 2526 + -2393. Solve -4*u = -145 + a for u.
3
Suppose 0 = 17*i - 15*i - 6. Solve s + i = -0*s for s.
-3
Let p(v) = v**3 + 4*v**2 - 2*v - 2. Let y be p(-3). Let l = y + -22. Let w = l - -11. Solve 4*m + 2 = -w for m.
-1
Let x = -37 - -42. Suppose -5*v = -5*w, 0 = 2*v - 0*w + x*w - 28. Solve -v*b - 20 = -8 for b.
-3
Let j(x) = 