 4. Suppose -x = 3*m + 4*x + 6, i*x + 18 = 4*m. Solve 2 = -q + m*q for q.
1
Suppose 0 = 4*g - g - 15. Let v(o) = o**3 - 6*o**2 + 6*o - 7. Let w be v(g). Let q = 6 + w. Solve i = q*i + 3 for i.
-1
Let y(s) = 5*s**2 + s + 1. Let v be y(-1). Suppose -a = -4 - v. Solve a + 3 = -4*p for p.
-3
Suppose -3*n + 23 = 2*i, -3*i - 5*n + 56 = 19. Solve -u = i*u - 5 for u.
1
Let h(q) = -q**2 - q. Let d be h(-1). Let r be d/(-1) + (1 - -1). Suppose 0 = -6*c + c + 35. Solve j + r - c = 0 for j.
5
Suppose 4*u + 0*u - 20 = 0. Let y be 2/7 - (-276)/14. Suppose o = -2*o - 4*w + 26, 5*w + y = u*o. Solve -j = 1 - o for j.
5
Let i(f) = -f + 3. Let h be i(3). Suppose u + h*u - 4 = 0. Let z be (-152)/(-11) - (-2)/11. Solve z - 2 = -u*a for a.
-3
Let a be 3*8/(-12) + -9. Let u = 14 + a. Solve -z = u*z for z.
0
Let z = 62 + 78. Suppose 0 = 3*u + u - z. Let h be (-14)/u + 4/10. Solve g + h = -1 for g.
-1
Let n(c) = c + 6. Let j be n(-2). Solve -2*t - 14 = -j for t.
-5
Let h = -14 - -20. Suppose -h*s = -s. Solve 0 = -s*f - 2*f for f.
0
Let r(x) = 4*x**2 + 2*x - 1. Let g be r(1). Suppose 2 = -2*y, y + 21 = -p + g*p. Let v be (-2)/p - (-48)/20. Solve -v*t + 20 = 3*t for t.
4
Suppose -5*n + 3*o = -35, -n - 6 = -5*o + 7*o. Solve -n*c - 3 - 5 = 0 for c.
-2
Let o(n) = 3*n**2 + 3*n. Let h be o(-2). Let j be ((-2)/3)/((-2)/h). Let v be 15*(2 + 0)/j. Solve -x + v = 4*x for x.
3
Let g(x) = x. Let d be g(0). Let h = d + 0. Suppose h*w - 4 = -4*w. Solve o + w = 3 for o.
2
Let q be (7 + -1 + -1)/1. Suppose 4*k - 2*v = 0, -4*k = v - q*v. Let g = -3 - -8. Solve k = h - g*h + 20 for h.
5
Let u be 21/5 + (-2)/10. Suppose -n - n + u = 0. Let c be (-3 - -1)*3/(-2). Solve n*m = -c*m + 25 for m.
5
Suppose 3*o + 4*t + 10 = -0, 0 = -3*t - 12. Let m = 10 + 4. Let f = m + -7. Solve -o*r - f = 1 for r.
-4
Suppose 2*h - 3 = -2*s + 3*h, 0 = -5*h + 25. Solve -2*d - 4 - s = 0 for d.
-4
Let m(g) = g**3 - 11*g**2 + g - 11. Let j be m(11). Solve j*r + 4 = r for r.
4
Let q(w) = -w + 1. Let t be q(1). Let g(r) = r**2 - r + 2. Let z be g(t). Suppose 0 = 4*p + 5 - 13. Solve z*c = p - 0 for c.
1
Let b(q) = -q**2 - 10*q - 21. Let r be b(-6). Solve 0 = -t - r - 2 for t.
-5
Let f be -2 - 5/5 - -5. Solve -f*y - 3*y = 5 for y.
-1
Let g = 3 - 0. Let s be ((-4)/g)/((-8)/12). Suppose m = s, 4*y - 5*m - 2 = -6*m. Solve y = -r + 2*r - 4 for r.
4
Let a = 25 + 0. Solve 5*g - 5 = -a for g.
-4
Suppose -5*y - 5*u + 15 = -0*u, 30 = 3*y - 4*u. Solve y*c = c for c.
0
Let s(o) = -o**2 + 7*o + 9. Let n(q) = 3*q + 4. Let p(j) = 7*n(j) - 3*s(j). Let d be p(1). Suppose 6 + 0 = 3*w + x, -8 = -d*w + 5*x. Solve 2*u + 2 = -w for u.
-2
Suppose 4*b - 1 = -4*x + 15, -5*x + 3*b = 12. Suppose x*d + 5*d + 20 = 0. Let i = 5 + d. Solve 0 = -5*z + 4 + i for z.
1
Let u be (-1 - 2)/1 - (-3)/1. Solve u = -5*j + j - 8 for j.
-2
Let n(k) = -k**2 - 7*k + 6. Let q be n(-7). Suppose 3*m - 4*m = -q. Solve 0*l = 3*l - m for l.
2
Let p = -8 - -23. Let y be (-12)/(-10) - 3/15. Let f be 6/y*3/6. Solve -2*a = f*a - p for a.
3
Let k(f) be the second derivative of -f**3/6 - f**2 - 4*f. Let y be k(-4). Solve -b - 7 + y = 0 for b.
-5
Let z(n) = -4 + 5 - 3*n - 3. Let v be z(-2). Suppose 6*t - v*t = 4. Solve -16 = t*k - 6*k for k.
4
Let j = 2 + 0. Let y be (-58)/(-5) - 6/(-15). Solve 2*b - y + j = 0 for b.
5
Let f be (-3)/(-2) - 3/6. Let c(y) = 4*y**2 - y + 2. Let d be c(f). Solve d = -w - 0 for w.
-5
Suppose 2*v + 2*q - 8 = 0, -5*q + 22 = -5*v + 2. Solve 0 = 3*g - v*g - 12 for g.
4
Let s = -19 + 22. Solve s + 1 = 4*x for x.
1
Let g(x) = x**3 + 3*x**2 - 2. Let w be g(-2). Solve -7*h + w*h = -10 for h.
2
Suppose i = -5*b - 0*i + 15, -i + 5 = 0. Solve -1 = -b*r + 9 for r.
5
Let v be (1/2)/(1/4). Suppose v*j - 6*j + 8 = 0. Let r = 17 + -17. Solve r*m + j*m = 2 for m.
1
Let v be (1 + -2)*-3 + 1. Let p = 109 + -91. Solve -p = -v*c - 2 for c.
4
Let y(l) be the third derivative of l**5/60 + 5*l**4/12 + 5*l**3/3 + l**2. Let k be y(-9). Solve -4*q - k = -5 for q.
1
Suppose 0 = 2*q + q - 30. Solve q = 3*i - 2 for i.
4
Let f(n) be the third derivative of -n**4/24 + 2*n**3 - n**2. Let u be f(9). Solve 5 - 14 = u*d for d.
-3
Let u = 162 - 162. Solve u = -2*r + 2 + 8 for r.
5
Suppose 2*l - 14 = -5*v + 2*v, -5*v + 20 = 0. Solve q - 2 - l = 0 for q.
3
Let a be (24/(-4))/(-1*2). Let u(w) = w**3 - 2*w**2 - 2*w - 1. Let i be u(a). Suppose 0 = -i*m + 4*m + 4, -3*y + 23 = -4*m. Solve 0 = -y*n + 2 - 22 for n.
-4
Let v(a) = -2*a + 8. Let s be v(-6). Solve 3*z = -2*z - s for z.
-4
Let j(b) = -b**2 + 8*b - 11. Let w be j(3). Solve 0 = -5*r - 24 + w for r.
-4
Let c = -5 + 9. Let v = 12 + -6. Let k be (-1 - (-3)/v)*0. Solve -c*a + k = 8 for a.
-2
Let g be -1 + 4 - (-2)/2. Suppose -9*b + g = -7*b. Solve 0 = -h - 0 + b for h.
2
Let v = -6 + 8. Suppose -10 - 2 = -3*u. Let c = u + 3. Solve -v = -5*q - c for q.
-1
Let m(y) = y**2 - 6*y + 2. Let n = 8 + -2. Let w be m(n). Suppose -w*v - 3*f + 5 = -4*f, 4*v + 4*f = -20. Solve v = 3*d + 6 - 21 for d.
5
Let w be ((-55)/(-22))/(10/8). Solve -4*t - 6 = -w for t.
-1
Let v = -43 - -46. Let n(m) = 3*m**2 + 5*m - 1. Let j(b) = -2*b**2 - 4*b. Let i(g) = 4*j(g) + 3*n(g). Let l be i(v). Solve l*a - 2*a = -1 for a.
-1
Suppose -5*g + 7 + 8 = 0. Suppose -g*s - 2 = -29. Suppose -2*p - p = -s. Solve r + p = -0 for r.
-3
Let j(h) = h**3 - 3*h**2 + h - 1. Let y be j(3). Let d = 2 - y. Let p be 2*1*-1*-1. Solve d*b = p*b for b.
0
Let p(o) = o + 10. Let f be p(-7). Solve -f*n = 10 - 1 for n.
-3
Let f be 2 + (17 - (-3)/3). Suppose -3*h = u + u - 15, 4*h = 5*u + f. Solve u = y + 2*y + 12 for y.
-4
Let d be (1 + 0)*-2 - -5. Suppose -3*w + 0*f = -d*f + 12, 2*f - 5 = 5*w. Solve -w = 3*s - 2*s for s.
-1
Let j(s) = s**2 - 5*s - 6. Let d be j(6). Suppose -r + 6*r - 20 = d. Suppose 2*w + 4*v = w - 4, 4*w = -r*v - 4. Solve z + 4 + w = 0 for z.
-4
Let z(o) = -5*o. Let f be z(-1). Let p(d) = 3*d - 6. Let l be p(4). Suppose v = 4*v - l. Solve -3 = f*h + v for h.
-1
Let o be ((-12)/15)/((-2)/10). Solve o = b - 0 for b.
4
Let q be (0/2)/(-1)*-1. Suppose -5*l + y - 2*y + 71 = q, -2*y = -l + 23. Solve -5*z + 0*z - l = 0 for z.
-3
Suppose 14 = -0*v - 2*v. Let x(d) = -d**2 - 7*d. Let h be x(v). Solve 4*z - 4 + h = 0 for z.
1
Suppose 0 = -a - 2*b - 17, -2*a - 25 = -0*a + b. Let v = 25 + a. Solve 4*t = -6 + v for t.
2
Let i(r) = -4*r - 4*r**2 + r**3 + 17*r + 15 + 4*r**2 + 13*r**2. Let g be i(-12). Suppose 0*l - g*l = 0. Solve -8 = -2*p - l*p for p.
4
Suppose -87 = -3*p + 3*q, -5*p - 5*q = -p - 89. Suppose -4*s - p = -2*d, -5*s - 41 = -3*d - 7. Let x = 16 - 4. Solve -3*u - d = x for u.
-5
Let m be (-2)/(3*4/(-6)). Solve n + 1 = -m for n.
-2
Suppose 3*z = -0*z. Suppose 0 + 18 = -g - 4*q, -14 = -2*g + 2*q. Solve -y - 1 - g = z for y.
-3
Let i = 21 + -18. Let d = -10 - -2. Let z = d + 25. Solve z = -5*w - i for w.
-4
Let a(o) = 13*o - 57. Let f be a(5). Solve -10 = -6*v + f*v for v.
-5
Let l(w) = -w**3 + 8*w**2 - 7*w + 4. Let p be l(7). Suppose p*c + c = 0. Solve -2*r + 3*r + 2 = c for r.
-2
Let v(h) = -h**2 + 8*h. Let k(u) = 6*u + 2*u**3 - 5*u**3 + 3 + 4*u**3 - 6*u**2. Let y be k(5). Let s be v(y). Solve 5*t + 1 + 4 = s for t.
-1
Let w = -2 + 4. Solve 0 = -2*r - w*r - 20 for r.
-5
Let r = -4 + 6. Let f be (-1)/(-1)*r - -2. Solve -5*i - f = -9 for i.
1
Let l(d) be the second derivative of d**3/6 - 5*d**2/2 - 4*d. Let y be l(8). Solve -y*u - 3 = -2*u for u.
-3
Suppose -5*w + 20 = 5. Suppose -4*r + 2 = 2*h, -5*r = -h - w*r + 1. Let a = h - -2. Solve -a*p - 2 = -p for p.
-1
Let w(o) = o**2 + 13*o - 4. Let l be w(-14). Suppose -2*i = 3*i - l. Solve -2*a = i - 6 for a.
2
Let y = 14 + -14. Solve i + y*i = -2 for i.
-2
Suppose -2*j - 7 = l, -3*l + 0*j - j = 21. Let h = -3 - l. Let z be (1*-4)/((-8)/h). Solve 0 = -z*c - 5 - 1 for c.
-3
Let i(p) = -p**2 - 7*p + 2. Let r be i(-6). Suppose r = -7*s + 11*s. Solve a - 3 = -s*a for a.
1
Let n(h) = 7*h - 5. Let z(o) = 3*o - 2. Suppose 0 = -5*u + 6 + 14. Let r(b) = u*n(b) - 10*z(b). Let l be r(-1). Solve -l*t = 3*t for t.
0
Let o(s) = -s + 10. Let d be o(7). Let z be d - (3 - (6 + -3)). Solve -2*i - z = -1 for i.
-1
Let t = -29 + 29. Solve t = 4*y - 8 - 4 for y.
3
Let u be (-60)/(-25)*50/15. Solve 4*h + 4 + u = 0 for h.
-3
Let v(d) = -d + 7. Let n be v(-5). Let o be 6/(-21) + 3/((-63)/(-69)). Solve o*r - n = -r for r.
3
Suppose c - 6 = 4*j + 2*c, 4*j +