4. Let d = x - -12. Solve -27 = -d*p - u for p.
4
Let a(j) = -j**3 - 8*j**2 - 8*j - 8. Let x be a(-7). Let u be -2 - ((-1)/(-1) + (-20 - x)). Solve -4*c = -0*c - u for c.
4
Suppose -38 = -13*f + 27. Solve 57*b = 58*b - f for b.
5
Let k be -4 - (-775 + 3)/(-2). Let l be 1/5 + k/(-50). Suppose 0 = 2*n + 4*h + l, 2*h = 2*n - 2 - 2. Solve 8*s - 3*s - 5 = n for s.
1
Let r = 0 + 0. Suppose r = -5*p + 2*h + 10, p - 5*h = -0*p + 2. Suppose 3*l - p = 4. Solve -l + 1 = -u for u.
1
Let n be 1*(-60)/(-3) + 4. Let f = n + -19. Solve 0 = -f*o + 4*o + 3 for o.
3
Let w = 5 + 3. Let c(m) = 0 - m + w + 0*m - 1. Let y be c(7). Solve y*a + 4*a = -16 for a.
-4
Suppose -3*g + 5 = -4. Suppose -5*v + g*r - 6*r - 5 = 0, 2*v - 14 = 2*r. Solve v*c = -3*c for c.
0
Let j be (34/(-8))/(2/(-8)). Let y = j - 15. Suppose 2*g + y*o - 12 = 0, -o + 0*o + 10 = 3*g. Solve 0 = -g*k - 5 + 3 for k.
-1
Let g be 65/2 + 0 - 3/6. Suppose -g + 8 = -8*s. Solve 7*o = s*o - 12 for o.
-3
Suppose -2*a + 12 = a. Suppose 2*i + 0*u = -4*u + 8, 4*u = 5*i + 8. Solve a*v - v = i for v.
0
Suppose -5*m + 3 = -22. Suppose -4*l - m*z + 40 = l, -4*l + 5*z = 4. Suppose -t + 4*t - s - 7 = 0, -l*t = s - 14. Solve -7 = b - t for b.
-4
Suppose q + 2 = -6. Let a be (-3)/((q/2)/12). Suppose -5*w + 24 = a. Solve -n = -w*n for n.
0
Let v be (-5292)/(-78) + 4/26. Suppose -v = -2*d + 4. Suppose d = 5*g + 1. Solve 3 = 2*f - g for f.
5
Let d = 9 + -7. Let o be 16/((8/(-12))/(d/(-3))). Solve -o = 4*a - 0 for a.
-4
Let u = -1381 + 1392. Solve -u*o = -12*o - 1 for o.
-1
Suppose -3*d = 14 + 64. Let h = d - -29. Solve 0 = -h*f + 6*f + 3 for f.
-1
Suppose 3*a + 60 = 6*a. Suppose 3*r - 3*z - 1 = 4*r, 2*r - 5*z - a = 0. Solve -r*c + 1 = 21 for c.
-4
Suppose -4*i - 80 = -4*o, -10*i = -3*o - 11*i + 80. Solve 0 = 5*y + 20 - o for y.
1
Suppose 5*w + 4*r + r = -30, r = -5*w - 30. Let h be (w/4 + 2)*-6. Let q = 3 + h. Solve 3 = -q*o + o for o.
3
Suppose -11*g - 4*k = -10*g - 168, -3*g - 2*k + 484 = 0. Solve 2*j + g = 160 for j.
0
Let k(w) = 10*w + 205. Let u be k(-15). Solve -18 = 61*t - u*t for t.
-3
Suppose 0 = -h + 2*h - 5. Suppose -2*b - 72 = -4*l, -h*b - 60 = -l - 3*l. Solve x + 3*x = -l for x.
-5
Suppose 5*k = -3*q + 45, -4*k = 2*q - 36 + 8. Let s = q - 13. Solve -s*u - 6 = -4*u for u.
-2
Suppose 0 = -4*r, 0 = -l + 4*r + 36 + 41. Solve -73*s = -l*s + 8 for s.
2
Suppose -4*n + 20 = 2*f, -3*f + 4*f - 25 = -5*n. Suppose -n*q = 9 - 24. Solve -o = q*o for o.
0
Let d be 6/(-21) - 16/(-56). Solve d = 4*h - 2 - 10 for h.
3
Let g(i) = i**3 + i + 6. Let f be g(0). Suppose 3*d = f*d. Let c(n) = n**3 - 13*n**2 - 32*n + 50. Let m be c(15). Solve 0*t - 5*t - m = d for t.
-4
Suppose 3*m = 6*m - 30. Suppose 2*x - m = -b, x + 1 = -2*b + 12. Solve -h + 2 = -x for h.
5
Suppose -j - n = 4, 4*j + 2*n - 5 = -21. Let g be (-20)/((j - -3)*2). Suppose 0 = -3*c + 4*w + 20, c - 4*c + g = -2*w. Solve 0 = -m - c*m + 5 for m.
5
Let b = 2 - 0. Let g be 6 - b/(-5 - -4). Solve 4*a - g = -0*a for a.
2
Let o = -6 + 7. Let t(z) be the first derivative of 16*z**3/3 - z - 1. Let q be t(o). Solve 9*v = 4*v + q for v.
3
Let o(a) be the first derivative of a**4/12 + 4*a**3/3 + a - 1. Let m(t) be the first derivative of o(t). Let k be m(-8). Solve 3*v + 6 + 3 = k for v.
-3
Let c = -370 - -372. Solve -17*n - c = -18*n for n.
2
Suppose 5*y - y - 8 = 0. Let m = y + 1. Suppose -20 + 4 = -3*o + 2*n, -3*o - n + 10 = 0. Solve 0 = m*j - j + o for j.
-2
Let c(d) = -d**2 - 11*d + 17. Let j = -70 + 59. Let r be c(j). Solve 5*b - r + 7 = 0 for b.
2
Let l = -697 - -724. Solve -10*g + g - l = 0 for g.
-3
Let a = -4 - -9. Solve -10*z = a - 45 for z.
4
Let s be 3/(9/12) - (-20 + 21). Solve -s + 4 = -h for h.
-1
Let p = -11 + 15. Let i(l) = -l**3 - 7*l**2 - l - 3. Let r be i(-7). Let q be (r - 1)/((-9)/(-12)). Solve 4 = -p*g - q for g.
-2
Let o(t) = t**3 - 19*t**2 - 15*t - 89. Let i be o(20). Solve 0 = -i*h + 5*h + 24 for h.
4
Let b(v) = -v**2 - 2*v**2 - v**3 + 4*v + 15 - 11. Let r be b(-4). Suppose 3*q + d - 10 = 2*d, -d = r*q - 11. Solve -q*z - 3 - 12 = 0 for z.
-5
Let q(u) = 11*u - 5. Suppose -4*h + 6 = 2. Let j be q(h). Solve -25 = -b + j*b for b.
-5
Suppose 3*h = -3*f + 15, -5*h + 4*f - f + 33 = 0. Let v = -6 - h. Let j = v + 16. Solve j = -o + 1 for o.
-3
Let q = -387 - -387. Solve 0 = -5*t - q + 10 for t.
2
Let a(m) = -35*m**3 - m**2 + 2*m + 2. Let y be a(-1). Suppose 44*b = y*b + 50. Solve 5*z + 5 + b = 0 for z.
-2
Let a be ((-30)/35)/(1/84*-4). Solve 5*i + a + 2 = 0 for i.
-4
Let u be -1*(2 - (7 + -5)). Solve 3*j - j = u for j.
0
Let f = -30 - -14. Let p be f/(-6)*(-21)/(-14). Solve 2*s + p = -6 for s.
-5
Let q be 2 + (4 - 1) + -24. Let g be (0/(-2) - -22)/1. Let j = g + q. Solve j = -5*m + 8 for m.
1
Suppose -5*x + 25 = -0, -170 = -4*b - 2*x. Suppose c - w = 4*c - b, -c - 2*w = -20. Let v = c + -8. Solve -v*p - 6 = 2 for p.
-2
Let t(s) = -s**3 + 9*s**2 - 13*s - 4. Let a be t(7). Solve a*j + 18 = -3*j for j.
-3
Suppose -6*x + 10 = -x. Suppose 0 = -5*f + 3*c + 38, 0 = -5*f + 5*c - 10*c + 30. Solve -x*q = -1 + f for q.
-3
Suppose -3*v + 42 = -5*s, 5*v + 5*s = 3*s + 39. Let g be (-6)/2 + 4 + 2. Solve -g*l - v = -3 for l.
-2
Let m = 8 + -21. Let q = m + 17. Suppose k + q + 0 = 4*j, -k + 2*j = 0. Solve 5 = -k*r - 7 for r.
-3
Let j(y) = -y**2 - 4*y - 2. Let s be j(-2). Suppose -2*q = s - 10. Suppose 9 = 7*r - 5. Solve -q*n - 10 = r for n.
-3
Let o be (-2)/3 - (-259)/(-21). Let s = -13 - o. Suppose -h = -s*h. Solve h = -0*x + 5*x for x.
0
Let m be (-20)/(-5) + -2 - -11. Suppose 0 = -3*l - 3, -m = -7*a + 4*a + 4*l. Solve -4 = -p - a for p.
1
Let o be 0 - (133/(-5) + 4/(-10)). Let i be 3*(-6)/o*-18. Let r = 11 + -8. Solve i = -0*x - r*x for x.
-4
Let p = 224 + -224. Solve -2*q + 5*q - 6 = p for q.
2
Let m(w) = 20*w - 17. Let p(j) = j**3 + j**2 - 3*j + 2. Let y be p(1). Let v be m(y). Solve -v = -3*o - 12 for o.
-3
Let j(v) = v + 3. Let k be j(21). Let g be (12/(-15))/(-2 + k/15). Solve 10 = g*z - 4*z for z.
-5
Suppose 29*a - 93*a = -2688. Solve 39*m = a*m - 12 for m.
4
Suppose 0 = -j - 2*g + 11, -54*g + 57*g = 4*j - 44. Solve -j = -12*o - 47 for o.
-3
Suppose 0 = -2*p - 4*s + 18 + 2, -32 = -5*p - 4*s. Suppose -2*c + 25 = 5*j, -4*j + 20 = -0*c - p*c. Solve c = 2*z - 6 - 0 for z.
3
Let a(q) = -3*q + 32. Let c be a(2). Solve 2*x + c = 18 for x.
-4
Suppose 4*d = -d - u + 7, -3 = u. Suppose -4*s + 11 = -2*n - n, -3*s + 3*n = -6. Suppose -5 = -5*a + s. Solve -d*c + 12 = a*c for c.
3
Let t be (-198)/24 + 2/8. Let h be (20/t)/(5/(-4)). Suppose -55 = -h*n - 5. Solve -3*i - n = 2*i for i.
-5
Let y(n) = -n**3 - 9*n**2 + 10*n - 13. Let l be y(-10). Let w(q) = q + 17. Let g be w(l). Solve 2*b - g + 0 = 0 for b.
2
Suppose 0 = 5*s + 42 - 17. Let q be (s - -6) + 2/(-2). Solve -3*l + 12 = -q for l.
4
Suppose -53 = -3*i - 5. Let z = -16 + i. Suppose 0 = -d - 5 + 2, z = j - d - 8. Solve 8 = j*m - 7 for m.
3
Let b be (-80)/160 + (-58)/(-4). Solve -w = b*w for w.
0
Let q = -26 - 7. Let y = -27 - q. Let x be 4/(-6) - (-22)/y. Solve -5*m = -x*m - 10 for m.
5
Let v(c) = 2*c + 6. Suppose -x = -3*x + 4*n + 8, -2 = 4*x - 2*n. Let j be v(x). Let f(l) = 3*l**2 + l - 1. Let p be f(1). Solve -z + p = j*z for z.
1
Let b be -24*2/(-10)*10/4. Solve 7*m - 19 + b = 0 for m.
1
Let b(j) = -j**3 + 34*j**2 + 2*j - 58. Let a be b(34). Solve -5*o + a*o + 25 = 0 for o.
-5
Let p be 862/(-22) + (39/33 - 1). Let b be (-84)/p + (-12)/78. Solve b*z - z - 4 = 0 for z.
4
Let t(b) = -3*b + 5. Let c be t(1). Let z(p) = p**2 - 2 - 5 - 10*p - 2*p**2. Let j be z(-9). Solve -3*d = -j*d - c for d.
2
Let i(v) = v + 9. Let x be i(-8). Let f be (2/x - 3) + (-18 - -19). Solve 3 + f = -3*o for o.
-1
Suppose -5*c + 5*d - 10 = d, 2*c + 2*d = 14. Solve 4*n - c = -10 for n.
-2
Let n(g) = g**3 - 4*g**2 - 4*g + 18. Let h be n(2). Solve 49 - 57 = h*a for a.
-4
Suppose -13 + 1 = -4*u. Let q be 60/45*u/2. Solve -2 = q*p - 4*p for p.
1
Suppose b = 6*b + 5*d, -5*b = 3*d - 4. Solve 2 = -2*t + b for t.
0
Suppose 2*j - 21 = -4*g - 3, 0 = -5*g + 4*j - 10. Let c(r) = 6*r**2 + 2*r - 1. Let w be c(2). Let i be (-44)/(-36) + (-6)/w. Solve i - 3 = g*t for t.
-1
Suppose -3*p - 3*g = 0, 0 = -4*p + 7*p - 2*g - 10. Suppose p*s = 8*s - 36. Solve d = -d + s for d.
3
Let y = 12 - 3. Let n be 6/y*(-27)/6. Let j be 4 + -1 + (-2 - n). Solve j*v - 6 = v for v.
2
Suppos