Let u be p(-2). Solve 3*n = -4*h + n - 12, 3*h = -3*n - u for h.
-3
Let w(f) = f - 3. Let n be w(3). Suppose 2*k - 5*k = n. Suppose k*j + 50 = 5*j. Solve 4*i - 2*v = -j, 3*i - 4 = -4*v + 5 for i.
-1
Let s(y) = y**2 - y. Let m be s(-2). Let i(x) = -3 + m + 4*x - 4 - 5*x + x**2. Let v be i(3). Solve -5*f = -2*k - 7, -4*f + 1 + v = -2*k for k.
-1
Let g = -19 + -30. Let c = 56 + g. Solve c = -2*d - r, d + 3*r - r = -2 for d.
-4
Let u(o) = 6*o + 53. Let m be u(-10). Let c = 3 + -7. Let k = c - m. Solve -k*a + w - 23 = -4*w, 3*w = -3*a + 9 for a.
-1
Let g be 3*3/(-27)*0. Suppose g = 4*z - z. Solve 27 = 4*a - 3*p, -3*a = 2*p + 1 - z for a.
3
Let g(y) = -y**3 + 9*y**2 - 8*y + 8. Let u be g(8). Suppose 11*q = u*q. Let n(t) = t - 1. Let o be n(4). Solve 5*p - b = -q*b + 10, -b - 4 = -o*p for p.
3
Let h = -166 + 236. Suppose 0*p + 14 = t + 4*p, 4*p = 5*t - h. Solve 2*q + 8 = -2*z, -t = q + z + 2*z for q.
1
Let g be (10 + -14)*(-10 - 0). Let l = 42 - g. Solve -24 = l*n - 5*w, -12 + 2 = 3*n - w for n.
-2
Let q = 55 + -11. Suppose 0*l - 4*l - q = 0. Let t = 15 + l. Solve -t*s - 16 = -4*x, 0 = -2*x - 0*x + 10 for s.
1
Suppose -2*r + 4*r = -2. Let f be r/8 - 370/(-16). Suppose -5*o - h + f = 0, 3*o - 2*o + 1 = -3*h. Solve -3*s + 0*s + 2*k - 1 = 0, -4*k = o*s + 9 for s.
-1
Let m = -2 + 7. Let i(s) = s**3 - 6*s**2 + 3*s + 10. Let t be i(m). Solve t = -2*r - 2*x - 20, 10 = -2*r - 2*r + 2*x for r.
-5
Let z = -789 + 793. Let h be (-22 + 1)*1/(-3). Solve -2*r + h = l, -z*l + l + 5*r = -10 for l.
5
Let q = -129 + 134. Suppose 11 = s - 0*s + 3*j, 4*s - q = j. Solve l = 5*y + 4, -2*l - s*l + 2*y + 16 = 0 for l.
4
Let i = -15 - -17. Suppose i*p + 0*p = 0. Suppose 3*u = 3*t - 30, -3*t = -p*t + 3*u. Solve -t*g - 3*n = -0*n - 1, -5*g = 5*n - 5 for g.
-1
Let h(m) = m + 24. Let s be h(0). Let j = s - 14. Let a(f) = f**2 - 11*f + 13. Let o be a(j). Solve 2*k = -x - 3 - o, 0 = -3*x + 5*k + 15 for x.
0
Let s be ((-6)/8)/(3/(-12)). Suppose -s*u + 25 = 2*u. Suppose 27 + 23 = 5*l. Solve -2*v - 4*y = -u*y + l, 5*y = v + 14 for v.
-4
Let h be (11/(66/(-8)))/((-2)/12). Suppose -9*r + 3 = -h*r. Solve 3*q - 28 = 4*x, 8 = -r*x + 2*q - 12 for x.
-4
Let h be 2/(-3) + 26/3. Suppose 5*j + r - 17 = -4, 3*j - 5*r = -9. Let u be (-8 - (-2 - j)) + 4. Solve -2*o + 4*l - 20 = u, 4*o + 3*l + h = 1 for o.
-4
Let k be ((-420)/150 - 8/(-10))*-12. Solve 3*d + g - k = -2*g, 3*d + 5*g = 34 for d.
3
Let l be (-4)/((-10)/5) - -1. Suppose -76 = u - l*u. Suppose u - 34 = 2*j. Solve -3*c + 3*z = -27, 2*c = -j*c + z + 24 for c.
5
Let t be 4 + (0 - -1)/(-1). Let o(j) = 2*j - 22. Let z be o(12). Suppose -9*n = r - 14*n - 12, 2 = -3*r - 4*n. Solve -4 = -r*c, -t*y - z*c = 2*c + 1 for y.
-3
Let u(k) = -2*k**2 - 2*k + 14. Let g be u(2). Solve -4*d + 4*t + 16 = 0, 4 = -d - 4*t - g for d.
2
Let b = -15 + 15. Suppose -3*x - 3*q = 0, -2*x - 2*q - 2*q = b. Solve 3*l = 3*y, -3*l = -x*y + 4*y - 21 for l.
3
Suppose -7*b + 4*b = 21. Let q(l) = 2*l + 7. Let m be q(b). Let n be (-28)/m + 1*-2. Solve 27 = n*z - 5*z - 5*v, -v = -2*z - 5 for z.
-4
Suppose -5*d + 4*o = -247, 0 = 3*d + 2*d - 2*o - 251. Suppose -2*w + v = -d, -7*w - 3*v + 71 = -5*w. Solve 5*i = 2*u + 5, 2*i - w = -5*u + i for u.
5
Let c(a) = -a**2 + 9*a - 3. Let h be c(8). Solve -t = -y + 4, 4*y - h*t = -3*t + 18 for y.
5
Let c(j) = j**3 + 6*j**2 - 8*j + 1. Let d be c(-7). Suppose 3*b = d*b. Solve b = 2*y - 4, 3*y + 0*y = m + 8 for m.
-2
Let s = 76 - 76. Let j(q) = q**2 + 6*q + 2. Let t be j(s). Solve 2*g = u - 5, t*g + 9 = -3*u - 0*g for u.
-1
Let k = -584 - -586. Let n be 1*6 - (0 - 1). Solve 4*g = m + n - 2, -k*g = -4 for m.
3
Let l be (-2)/(-5*4/(-300)). Let m = -27 - l. Solve 4*k + 2*b + 4 = 0, 0 = -m*k + b - 4*b + 3 for k.
-3
Suppose 0*h = 4*h - 24. Let v(x) = x + 6. Let i be v(-6). Suppose i*k + 2 = k. Solve -36 = -5*d + h*w - 2*w, 4*w = k*d - 24 for d.
4
Let k(q) = -q**3 + 4*q**2 + 76*q + 14. Let t be k(11). Solve 4 = -5*g + v, -4*v = -t*g - 5 + 6 for g.
-1
Let n(m) be the second derivative of 2*m**3/3 + 3*m**2/2 + 40*m. Let b be n(7). Solve f - 5 = 0, 4*f = 3*q + 9*f - b for q.
2
Let x(c) = c**2 + 3*c - 9. Let v(j) = -j**2 - 4*j + 9. Let y(k) = 3*v(k) + 2*x(k). Let d be y(-7). Solve f + 5*n = d, 2*n - 10 = 5*f + 7*n for f.
-3
Let a be 202/(-303)*15/(-2). Solve -3 = l, -a*n - 3*l = 37 - 13 for n.
-3
Let c(d) = -d**3 - 21*d**2 - 19*d + 24. Let n be c(-20). Solve -16 = n*j - 0*r + r, -5*r + 12 = -3*j for j.
-4
Let v = 24 - 24. Suppose 2*l + l + 60 = v. Let b be l/(-8) + 2/(-4). Solve -2*j - b*w - 8 = -w, -1 = j + 2*w for j.
-5
Let i be 5 + 10*(-2)/(10 + -6). Solve l - 3*y + 3 + 3 = i, -5*l - 8 = -4*y for l.
0
Let p be 6/(-10) - (-38)/5. Let g = p + -7. Suppose g = 3*q - 2*q - 4. Solve 4*a + 0*v = -4*v + q, -4*a + 16 = v for a.
5
Let h = -117 - -117. Solve -r + 1 + h = -2*d, r - 1 = -5*d for d.
0
Let y(h) = -7*h - 179. Let l be y(-26). Solve 0 = -4*u - 2*w - 2, 0 = -2*w - l + 13 for u.
-3
Let v = 26 + -19. Suppose 3*c = -v + 16. Solve c*a + 3*g + 2*g = -5, 4*a - 4*g - 4 = 0 for a.
0
Let u = -3 + 6. Suppose 0 = 3*v + x - 40, -5*v + u*x = -3 - 59. Suppose -5*z + v + 14 = 4*a, z = 3. Solve 3*l = -a*d - 24, 0 = -d - 0*d - 2*l - 13 for d.
-3
Let t be (-6)/3*(-4)/2. Let r be ((-35)/(-3))/(-4 + (-116)/(-24)). Solve w + 2*y + y = -r, 4*w - y = -t for w.
-2
Let r(f) = 3*f**2 + f - 9. Let u be r(4). Suppose -4*a - 13 + 40 = 5*y, -5*a + 3*y + u = 0. Solve v - a = 3*d, 4*v - 8 = 12 for d.
-1
Let j = -1685 - -1690. Solve i - 20 = -5*z - 4*i, -j*z + 12 = -3*i for z.
3
Suppose -3*c = 5*t - 19, -2*c - 79 = 4*t - 93. Solve u = a - 5, a + 15 = -c*u - 0*a for u.
-5
Let j(w) be the first derivative of w**4/4 - 8*w**3/3 + 7*w**2/2 + 10*w + 11. Let c be j(7). Solve 0*x - 5*f - 10 = 2*x, 0 = 4*x - 5*f - c for x.
0
Let m = -2529 - -2529. Solve 2*w - 3*w = -5*l + 7, -l - 5*w - 9 = m for l.
1
Suppose 0 = -16*w + 3*w + 26. Suppose -3 = 5*q - 148. Solve -3*l - 11 = -2*x, -4*l - l - q = w*x for x.
-2
Let w(q) = 2*q + 19 + q - 3 + 6*q**2 - q**3 - 5*q. Let g be w(6). Solve 3*r - 3 = -4*p - 4, 4*p + g*r = -4 for p.
2
Let q be (-2)/2*-3*5/3. Suppose 3*j - 10 = -5*u + 21, -q*j = 4*u - 30. Solve -2*w - 2*k + 2 = 3*k, -u*w = 4*k - 5 for w.
1
Let s = -360 + 362. Solve s*h - 3 = -g, 4*g - 9 = 3*g - 4*h for g.
-3
Suppose 3*s + 19 = 5*s + 5*h, -3*h = 5*s - 19. Solve i + 5 = s*c - 4*i, 0 = -5*c + i + 24 for c.
5
Let x be ((-15)/6 + 2)*-10. Let n = 0 + x. Suppose 4*j = 5*w - 34, n*j + 2 = -3. Solve -7*a + 4*a + w = 3*c, 6 = -2*c for a.
5
Let l(o) = 7*o - 5. Let c be l(3). Suppose 5*x - c - 4 = 0. Suppose 34 = 3*u - 8. Solve -2*v + 2*d = -6*v - u, 3*d + 1 = x*v for v.
-2
Let s(m) = -m**3 - m**2 + 5*m - 1. Let g be s(-3). Suppose -3*t = g + 1, 0 = -5*c - t + 39. Solve 5*o + 3*h - 5 = c*h, -2*h - 7 = -3*o for o.
5
Let o be ((-4)/(-18) - 28/(-36)) + 4. Solve o*m + 4 = 6*m, -t - 4*m = -21 for t.
5
Suppose -19*o = -8*o. Suppose 6*x - 79 - 17 = o. Solve -5*v - 2 = -7, -5*n + v - x = 0 for n.
-3
Let g(p) = -3*p**3 - p + 1. Let h be g(1). Let r = h + 37. Suppose 12 = j - 3*b, 4*j - b = 4*b + r. Solve -5*k - y = 19 + j, -3*y - 10 = 2*k for k.
-5
Suppose 4*m + 22 + 14 = 4*k, 0 = -m - 5. Solve -b = -2*w + k - 11, -2 = w for b.
3
Suppose -14 = -r - 2*d, -2*r = 3*r - 4*d - 28. Solve 0*p + 2 = -2*u - 2*p, 0 = -2*u + p - r for u.
-3
Let f be (-3 - (-12 - 0)) + 1. Suppose 0 = 4*l - 3*l - f. Let a(y) = 7*y - 24. Let s be a(5). Solve 5*i = x - s, 4*i = -i - l for x.
1
Let c be (246/(-410))/(3/(-20)). Solve -4*d - c*l + 1 - 25 = 0, -d + 2 = -3*l for d.
-4
Let h = -776 - -784. Solve 0 = -h*u + 3*u + 4*o - 2, 2*u - 3*o - 2 = 0 for u.
-2
Let m = 101 - 98. Let n(y) = -3*y**3 + y. Let z be n(-1). Let x be 2/(-3)*(-9)/z. Solve m*k - x = 0, -2*k + 6 = -5*a + a for a.
-1
Suppose -3*i - 5*u = -4 - 14, -2*i - 4*u + 14 = 0. Solve -i = -r, -g - 2*g - 3 = 3*r for g.
-2
Suppose -2*k + 15 = -9. Let f = k + -12. Suppose f = -4*y + 5 + 3. Solve 3*j - y*j - 3*z = -4, -3*z = -3 for j.
-1
Let z = 22 + -20. Let g(n) = 3 + 4 - n + 4 - z. Let j be g(6). Solve 4*u - o - 36 = 3*o, j*u - 2*o - 22 = 0 for u.
4
Let s be (-8217)/(-396) + 1/4. Let w be 4/(-14) + (-74)/(-14). Solve x - 1 + 2 = 3*q, -s = w*x + q for x.
-4
Suppose 0 = 3*f - 6*f - 5*l, 3*l - 1 = -2*f. Solve 4*m = 2*m - f*v - 15, -m = v + 3 for m.
0
Suppose 4*u - 9 = 15. Suppose 2*m