4. Let r be w(0). Solve 12 + 8 = r*z for z.
5
Let n = -52 - -54. Let f be 3 + (0 - (0 + 0)). Solve b - n*b = -f for b.
3
Let h be ((-84)/(-3))/4 - -3. Solve 3*k - k = h for k.
5
Let i be 12/(12/2)*2. Let x be 2/4*2/1. Solve -x = i*l - 9 for l.
2
Suppose p = -2*j - 3, 2*j = -2*p - p - 5. Let m be (-14)/(-6) + p/3. Let f = m + 1. Solve 0 = -3*g - f - 3 for g.
-2
Suppose -6*w + w = 0. Solve w = m - 0*m - 5 for m.
5
Suppose 0 = 5*h + 4*y - 24, y - 2 + 1 = 0. Suppose -5*c + 3 = 4*t, -1 = 3*t + 3*c - h. Suppose -4*p = -5 - 3. Solve t = -2*u - p for u.
-2
Let f(h) = -3*h - 41. Let q(v) = v + 14. Let c(g) = -3*f(g) - 8*q(g). Let w be c(-6). Suppose 30 = 11*t + 4*t. Solve i = t*i - w for i.
5
Let i be (-6)/(-24) - 22/(-8). Let k be 3/(-6)*0 - 0. Solve -i = -k*v - 3*v for v.
1
Let a(b) = 3*b**2 - b. Let n(r) = -r**2 + 8*r - 7. Let x be n(6). Suppose -4*y - 17 = x*v, 3*v - 8 = 5*y + 4. Let f be a(v). Solve 4 = -4*d - f for d.
-2
Let l be 10/(-15) - (-4)/6. Let q be (-4)/18 - (-119)/9. Let n = q - 1. Solve 4*v + l = n for v.
3
Let u(n) = -3*n + 19. Let x(b) = -b + 6. Let z(m) = -4*u(m) + 11*x(m). Let c be z(10). Solve c = -g + 5*g - 16 for g.
4
Let o = -3 + 2. Let n be -1 + 3 + 2 + o. Suppose a - 3*u - 1 = -4, 5*a = -u + 1. Solve -n*d - 2*d = a for d.
0
Let r(y) = 0*y + 5*y + 4 - y**2 - 8*y. Let m = -10 + 7. Let j be r(m). Solve -j*w + 0*w = 8 for w.
-2
Let u = 23 - 14. Suppose -18 = -v + 6. Let m = v - 20. Solve -u = -m*t - 25 for t.
-4
Let q = 90 + -87. Solve -7*j + q*j = 0 for j.
0
Let h be (-276)/(-9) + (-2)/3. Suppose -2*v - 7 = -69. Suppose 0 = -5*a - t + v, 2*t - h = -2*a + 6*t. Solve 3 + a = -2*o for o.
-5
Let g be 74/(-3) - 2/6. Let i be (-2)/(-4)*g*-2. Suppose -25 = -12*t + 7*t. Solve -t*n + 0*n - i = 0 for n.
-5
Let r(p) = 7 + 2*p**2 - 4*p - 2 + 0. Let g be r(2). Solve -3 = g*m + 2 for m.
-1
Let a(d) be the second derivative of 0 - 2/3*d**3 + 3*d + 1/2*d**2 - 1/12*d**4. Let u be a(-4). Solve u = 2*w + 3 for w.
-1
Let d(z) be the first derivative of -z**3/3 + 3*z**2 + 2*z + 4. Let o be d(4). Solve -15 = 5*j + o for j.
-5
Let z be 3 + (4 - 10) + 4. Let p be (28/(-35))/(z/(-5)). Solve 3*r - p = 5*r for r.
-2
Let i be (60/75)/(2/5). Solve -i*a = -4*a - 6 for a.
-3
Suppose 5*q = -5*d - 20, 2*q = -4*d - 8 - 8. Solve q = 2*a + 2 + 6 for a.
-4
Let a be -2 + -2 + (19 - 0). Suppose -5*q - 4*f + a = -5*f, -4*f + 20 = 0. Solve m = -m + q for m.
2
Let k = -5 - -4. Let l be (-1*10 - 0)*k. Let h(w) = w - 5. Let s be h(l). Solve s*u - 9 = 2*u for u.
3
Let n = -2 + 7. Suppose 5*h - 3*h = 58. Suppose -2*f = -h - 1. Solve 0 = -n*m - 0*m - f for m.
-3
Let m(g) be the third derivative of g**5/60 - g**4/6 - 7*g**3/6 - 3*g**2. Let d be m(6). Suppose d*h + 16 = -o, o - h + 4*h = -8. Solve 0 = -u - o*u + 10 for u.
2
Let l = -63 - -65. Let h(b) = 21*b + 3. Let p(f) = -43*f - 7. Let w(i) = -5*h(i) - 2*p(i). Let k be w(-1). Solve -4*z = -k - l for z.
5
Let a = -19 + 21. Suppose -o + a*o + 2*x - 11 = 0, 5*o - 2*x - 7 = 0. Solve 0*v + v = o for v.
3
Suppose 3*b = 7*b - 32. Suppose -b + 12 = 2*p. Solve p*y = -3*y for y.
0
Let n(l) = -l**2 - 6*l + 4. Let b be n(-6). Suppose 0 = -b*j - a + 3, 6*a - 3 = 2*j + 5*a. Solve 0 = -j*t - t - 1 for t.
-1
Suppose -8*r = -0*r. Solve 3*i + 1 - 13 = r for i.
4
Suppose 30 = -0*u + 6*u. Solve -12 = u*z - 2 for z.
-2
Suppose -3*w + 4*y = 4, 3*y + y = -2*w + 24. Solve 4*o = 4 + w for o.
2
Let n(k) = 2*k**3 + 16*k**2 - 16*k + 20. Let r be n(-9). Solve -r*f + 9 = 7 for f.
1
Suppose 7*p = 4*p + 5*w + 1, 4*p - w - 7 = 0. Suppose 2 = 2*i - i, 0 = -2*v + p*i - 4. Suppose 5*s = -v*s. Solve s = -n - n for n.
0
Let l = -6 - -6. Let w be ((-420)/63)/((-2)/6). Solve -4*p + 0*p + w = l for p.
5
Let s = -90 - -82. Suppose -3*j = -6*j + 2*v + 30, 3*j + 3*v - 30 = 0. Let m = s + j. Solve -2 = -m*u - 0 for u.
1
Suppose -15 = -0*p - 5*p. Let y = p + 0. Let t = y - 2. Solve -t = n + 2 for n.
-3
Let u = -137 + 140. Solve 0 = -u*x - 8 + 5 for x.
-1
Let g = 65 + -30. Suppose -3*z + 89 = g. Let a = z + 2. Solve -r + a = 3*r for r.
5
Suppose -4*c = 3*y - 46, 4*y - 4*c + 2*c - 32 = 0. Let j be (-80)/(-45) + 4/18. Suppose 0*g = 3*g + 12, -22 = -j*n + 4*g. Solve 2*t - y = -n*t for t.
2
Suppose 3*t + 5*j = 15, 12 = 5*t + j + 3*j. Let d(v) = -v**3 + 2*v**2 + 2*v - 1. Let q be d(2). Let p be 1 + t + -1 + q. Solve -6 = -0*y - p*y for y.
2
Let u(r) = r**2 - 6*r + 4. Let n be u(6). Solve 5*k = k - n for k.
-1
Let g(t) = -6*t**3 - 14*t**2 + 16*t - 36. Let a(p) = p**3 + 3*p**2 - 3*p + 7. Let c(v) = 11*a(v) + 2*g(v). Let o be c(5). Solve o = z + z for z.
0
Let q(n) = n**2 + 2*n + 2. Let h be q(0). Solve -h*s - 3*s = 5 for s.
-1
Let n be 9 - (-3 - (-1 - 0)). Let q = n + 9. Solve 5*h + 0*h = q for h.
4
Let g(o) = -9*o - 8. Let m be g(-2). Solve -m = 4*p - 6*p for p.
5
Let o = 14 - 2. Let z(q) = q**3 + 10*q**2 + 2*q + 22. Let y be z(-10). Solve a + o = -y*a for a.
-4
Let t = 18 - 8. Solve -6*j - t = -j for j.
-2
Let t(z) = 6 - 12 + 0*z + z. Let o be t(8). Solve -o*h = h for h.
0
Let q = 5 - 7. Let s = q + 17. Solve s = -4*k - 5 for k.
-5
Let o = -12 + 15. Solve j + o*j = -8 for j.
-2
Let q be -6*(-1)/(-2) + 0. Let j(g) = -g**3 - 2*g**2 - g + 4. Let n be j(q). Solve -a = -5*a - n for a.
-4
Let c(u) = u + 11. Let m be -2*(45/(-6) - 2). Let w = 11 - m. Let s be c(w). Solve 1 + 11 = s*f for f.
4
Suppose 6*c + 3*c - 63 = 0. Solve c*v - 4*v + 6 = 0 for v.
-2
Suppose 2*m = -0 + 10. Suppose 5*v - 40 = -m*r, -r - 5*v - 23 = -5*r. Suppose k = 4*j - 0*k - r, 0 = 4*j + 2*k - 22. Solve -1 = -l - j for l.
-2
Let f be -6*(-1 + 2/4). Suppose 35 + 154 = -3*w. Let m be (1/f)/((-3)/w). Solve m*o = 5*o - 2 for o.
-1
Let y(x) = 8*x**2 - 2*x + 2. Let r be y(1). Let w = -5 + r. Solve 3*b - 6 - w = 0 for b.
3
Let i(d) = d**3 - 6*d**2 - 6*d + 3. Let h be i(7). Let a be 1 + -2 + h/2. Let k be (-1 - -1) + (-1 - -26). Solve 0 = a*p + p - k for p.
5
Suppose 0 = -5*l + 2*v - 68, -4*v - 31 = 2*l - v. Let x be 2/7 - (-4)/l. Suppose -2*t = -4*k - 0*k + 14, 5*t + 5 = 5*k. Solve 2*u + k = -x*u for u.
-3
Let j(c) = c**3 - 2*c**2 - c - 6. Let z be j(3). Solve 2*n + 0*n + 8 = z for n.
-4
Suppose b + 10 = 6*b. Solve d = -b*d + 6 for d.
2
Let v = 79 - 79. Solve v = 3*w - 5*w - 8 for w.
-4
Suppose 2*u = 5*q - 23, q + 1 = -2*u - 4. Let f be (-1)/(4/4)*u. Solve -f*r - 5 - 15 = 0 for r.
-5
Let k be 3 + (2/1)/1 - -1. Solve -i = -k*i for i.
0
Suppose 2*d - 3 = d. Let m = d + -1. Suppose p = -m*p + 6. Solve 0 = -p*c - c - 12 for c.
-4
Let t be -7*1 - (-4 - -1). Let x be (6 + t)/((-4)/(-6)). Let u = -15 + 20. Solve -18 + x = u*f for f.
-3
Suppose 4*q - 3*v = v + 32, -q + 4*v + 17 = 0. Solve d = q*d for d.
0
Let l = 39 + -34. Solve -g + l = -0 for g.
5
Let f be 42/105 - (-26)/10. Solve 2*s + 4 = f*s for s.
4
Suppose 0*g = -g + 3. Solve -g*q - 2*q = -25 for q.
5
Suppose 0*z - 5*z = 0. Solve z = -0*d - d - 1 for d.
-1
Let o be 1/4 - (-2)/(-8). Let z be o/((-4 + 2)/2). Let p be 2*1/(-2) + 4. Solve d + z = p for d.
3
Suppose -4 + 0 = -2*r. Solve -l = r*l + 12 for l.
-4
Let r = 0 - 0. Suppose 5*w - 8 = 2. Solve 3*d + w*d - 15 = r for d.
3
Let j = 6 - -2. Let q = -25 - -53. Solve -j + q = 4*t for t.
5
Let i(r) = -2*r - 3. Let o be i(-4). Solve -2*b = -5 - o for b.
5
Let k be 1 - 3/((-6)/22). Solve 0*a - 4*a + k = 0 for a.
3
Suppose -3*y - 7*s = -2*s - 41, 4*s - 4 = 0. Solve -3*x - y = -6*x for x.
4
Let z(r) = -r**3 - 3*r**2 - r - 1. Let d be z(-2). Let b(p) = p**2 - p - 2. Let m be b(0). Let q = m - d. Solve -3*v - q = 2 for v.
-1
Let g = 20 + -21. Let y be (2 + 1)/((-9)/(-12)). Let h = y + g. Solve 0 = -h*a + a + 2 for a.
1
Let t(g) = 3*g - 7 - 11 - 3 + 5. Let j be t(12). Solve -3*i + j = 2*i for i.
4
Let s(t) = -4*t**2 + t**3 + 0*t - 2 + 4*t + t. Let n be s(3). Solve -3*p = p + n for p.
-1
Suppose 7 = 3*d - 2. Solve -6 - 6 = -d*l for l.
4
Let k(r) = -2*r + 4. Let i be k(-4). Let s be 30/21*98/35. Solve s*n = n + i for n.
4
Suppose 3*x = -x + 4*p + 16, 0 = 5*p. Solve x*s - s = 0 for s.
0
Let h(i) = i**3 - 6*i**2 + 4*i + 7. Let k be h(5). Solve 0*z = k*z + 10 for z.
-5
Suppose -16 = 13*f - 17*f. Solve g - f*g = 3 for g.
-1
Let g(o) = -o**2 + 1. Let f be g(-3). Let h = f - -13. Suppose -15 = -2*b - h. Solve 5 = -0*u + b*u for u.
1
Let r(h) = h**3 + 7*h**2 - h - 5. Let s be r(-7). Suppose -f = -4 + s. Suppose -16 = 3*l - 4*x, -5 + 