+ 4. Let q(u) = u**3 + u**2 + u - 2. Let l be q(x). Let n(i) = 5*i**2 - 4*i + 3. Let m be n(2). Solve 4*v = -m - l for v.
-4
Suppose -2*b = 2*d - 32, 4*d - 102 + 23 = -5*b. Suppose -p + 4*p = 5*f + b, -3*p + 15 = 2*f. Solve f = 6*u - u for u.
0
Let g = 2288 + -2270. Solve 0 = 81*h - 75*h + g for h.
-3
Let v(i) = -i + 32. Let c be v(27). Let d(p) = p**2 - 3*p - 7. Let m be d(c). Solve 0 = m*q - 2*q for q.
0
Let c be (-12)/(0 + 9/(-6)). Solve c*v = 12*v - 16 for v.
4
Let u = 28 - 28. Suppose u = 3*l - 2*x + x - 27, 0 = 3*l + 2*x - 36. Solve -3*m - l = -8*m for m.
2
Let h(o) = -10*o + 81. Let m be h(13). Let r = m + 49. Solve r = -3*f + 4*f for f.
0
Let o = -75 - -91. Solve j = 17*j - o for j.
1
Let h be 3*4/66 + 444/(-22). Let v = h + 28. Solve 4*u = -0*u - v for u.
-2
Let p be (5 - -75)/10 - -46. Solve -b = 51 - p for b.
3
Suppose 5*r + 54 = 3*u, -3*u + 4*r + 0*r + 57 = 0. Suppose -28*g = -u*g. Solve 0 = -v + 4 - g for v.
4
Suppose 7*n - 20 = 92. Solve 0 = -n*l + 6*l - 30 for l.
-3
Suppose 5*j + 3 = -3*b + 27, 3 = j. Solve 0 = b*q - 21 + 12 for q.
3
Let v(r) = -r + 17. Let u be v(12). Suppose -4*j + 9 + 15 = -4*a, 4*j + 12 = -5*a. Suppose 4*s - s = j*y - 2, y - 1 = 4*s. Solve -7*i + 2*i - u = s for i.
-1
Let x(z) = 2*z**2 - 21*z + 14. Suppose 3*k + 10 + 7 = 2*g, 22 = 2*g + 2*k. Let p be x(g). Solve -9 = p*q - 1 for q.
-2
Suppose 0 = -l - 2 - 1. Let x be (-24)/16*8/l. Suppose z = x*z. Solve z*c = -c - 5 for c.
-5
Let s(h) be the second derivative of h**3/2 + 5*h**2/2 - 5*h. Let v be s(0). Solve 0 = -4*z - 15 - v for z.
-5
Let r = 40 - 5. Let g = 18 + -13. Suppose -g*d + r = 4*l, -3*d + 7*d + 2*l - 22 = 0. Solve -2*c + 1 = d for c.
-1
Let j be (-273)/(-28) - 3/4. Solve -4*b + 7*b - j = 0 for b.
3
Let m be 1 + -2*1 - -5. Let j be 0*(20/8)/(-5). Let i be (j + 5)*(-6)/(-10). Solve 1 + i = m*v for v.
1
Let u = -61 - -62. Let i be -10*u*(-16)/20. Solve -4*b + 4 = i for b.
-1
Let x be (-22)/55 - (-1 + (-6)/(-10)). Let g(i) = i**3 - i**2 - i. Let k be g(x). Solve -15 = -5*y - k*y for y.
3
Let r(l) = 43*l**2 + 1. Let o be r(-1). Let v = o + -37. Solve -5*y = -2 + v for y.
-1
Let b(j) be the third derivative of -j**4/24 + 5*j**3/3 + 3*j**2. Let g be b(7). Let f(p) = p**2 - p - 3. Let s be f(g). Solve s = -2*v - 3 for v.
-3
Suppose 46*g = 56*g - 160. Solve 0 = -16*p + 8*p - g for p.
-2
Let t(i) = -3*i + 8. Let s be t(2). Let h be (-1)/s*1 + (-49)/(-14). Solve 0 = h*a - 1 + 13 for a.
-4
Suppose -75 = -2*q + 15. Let f = -40 + q. Solve -f*k - 4 - 1 = 0 for k.
-1
Suppose 4*x - 18 = 5*b, x + 21 = -b - 4*x. Let f be (2/4)/((-1)/b). Let k = f + -3. Solve 4 = 4*r - k for r.
1
Suppose g - 2*g + 2 = 5*f, 0 = 5*g + 15. Solve 2*a = 3*a - f for a.
1
Let f = 190 + -173. Solve 20 - f = -y for y.
-3
Let u be ((-3)/9)/(1/60*-2). Solve -9 = -x - u for x.
-1
Let b = -955 - -968. Solve 7*p = b*p + 30 for p.
-5
Suppose -2 = 5*k + 2*h - 16, -2*k + 14 = -2*h. Solve 6*m - k*m - 8 = 0 for m.
4
Suppose 0 = -l - 3 + 9. Suppose 13 = 7*x + l. Solve -15 = 4*u + x for u.
-4
Let a be (-1)/(-2 + (-9)/(-5)). Suppose -3 = y, a*y + 2 = j - 28. Solve 2*c = -c + j for c.
5
Suppose 17*i - 13*i = 48. Let q(u) = -u**2 - 3*u + 3. Let y(a) = -a**2 + a + 3. Let n be y(3). Let b be q(n). Solve -i = b*o + o for o.
-3
Let x = -17 + 38. Let a(l) = l**3 - 21*l**2 + l - 19. Let b be a(x). Suppose -c + 0*c = -b. Solve c*f + 3 = 1 for f.
-1
Let b be 0 - (-1 + 4) - -5. Let d(r) = 6*r**2 - 4*r + 4. Let i be d(b). Solve -z = 3*z + i for z.
-5
Let y(h) = h**2 + 4*h - 17. Let j be y(-7). Suppose -2*o + j*m = o - 28, -o = -m - 9. Solve o*q = 4*q for q.
0
Let o = -27 - -31. Suppose o*d - 48 = -8. Let c = -5 + d. Solve h - c*h = 20 for h.
-5
Suppose j = 13 - 1. Let u be (1*5)/(j - 11). Suppose 0 = -0*z - u*z - 4*x + 40, 25 = 5*x. Solve 0*m - 4*m - z = 0 for m.
-1
Suppose 5*l + 19 - 99 = 0. Suppose -3*g = -0*g + r - l, 2*g - 12 = -2*r. Suppose -n = -0*n - g. Solve 2*c - n - 5 = 0 for c.
5
Let t(f) = -8*f + 1. Let o be t(-1). Let z be (-1)/(((-15)/o)/5). Let y(d) = -5*d**3 + 1. Let n be y(-1). Solve 0 + n = z*u for u.
2
Let y(g) = g**3 + 17*g**2 - 19*g - 12. Let a be y(-18). Let c be a*(-4)/(-1*4) + 2. Solve -7*l + 3*l = -c for l.
2
Let i(d) = -d**3 + 11*d**2 + 2*d - 20. Let w be i(11). Let t = 23 - -46. Suppose 3*u = -2*u + 10, -5*r + t = -3*u. Solve -r = 3*h + w*h for h.
-3
Suppose 3 = -3*j - 3, 2*j = -3*f + 8. Let c be -2*1/f*-2. Solve 0 = -2*h + 3 + c for h.
2
Suppose -4*a = x + 4 + 1, 0 = -2*x + 3*a + 12. Solve -5*y - 13 = -x for y.
-2
Suppose 4*c + 3*y + y = 84, c + 2*y = 24. Solve 4*r - c + 2 = 0 for r.
4
Let s be 5/(-25)*4*-10. Suppose y + s*y = 144. Solve 0 = 4*c - 0*c - y for c.
4
Suppose -2*t + 3*t - 1 = 0. Let j = t - 3. Let w be j + 12/2 + -1. Solve -w*p - 10 - 2 = 0 for p.
-4
Let j(d) = -3*d**2 + 19*d - 11. Let p be j(7). Let o be (p - -27)*(70/4 - 2). Solve -4*b - o = -11 for b.
-5
Let s be -3 + (-1 - -11 - -2). Suppose -2*d - 2 = 3*b - s, -15 = -5*d - 5*b. Solve 2*q = -d*q + 16 for q.
4
Let w(i) = i**3 + 16*i**2 - 18*i - 24. Let k be w(-17). Let a = -3 - k. Solve -6 - 2 = a*b for b.
-2
Let k = -777 + 840. Solve 5*d + 43 = k for d.
4
Let m = 6 + -5. Let t be -3 - 1/(m/(-5)). Let q = 41 + -25. Solve 2*v = -t*v + q for v.
4
Suppose 137*h = 139*h - 60. Solve 7*k + h = k for k.
-5
Let d = 2205 - 2200. Solve -4*a = -5*a + d for a.
5
Let y = 0 + 0. Suppose -2*f + 0*f + 6 = 0. Let o be 3*(2 - 5/f). Solve -g - 5 + o = y for g.
-4
Let g = -2 + 7. Let c = -2 + g. Suppose -4*s - u - 4 = -s, c*s = -3*u - 12. Solve -16 = -s*h - 4*h for h.
4
Let x(f) = 2*f**2 + 2*f - 1. Let u be x(1). Let h be -1*(0 - 3) + 1. Solve -i + h = -u*i for i.
-2
Let q = 127 + -120. Solve 0 = -q*w - 3*w + 50 for w.
5
Let a(z) = -z**3 + 3*z**2 + 3. Let y be a(3). Suppose -4*w + 4 = 2*t, -w = -4*t + y*w + 8. Suppose 0 = t*q - 4*q. Solve -2*h + 4*h - 10 = q for h.
5
Suppose -149*t + 142*t = -168. Solve 2*m - 8*m + t = 0 for m.
4
Let d = -50 - -121. Suppose d - 56 = 5*r. Solve 4*z - r - 1 = 0 for z.
1
Let f(b) = b**3 - 13*b**2 + 28*b + 20. Let k be f(10). Solve k = h + 1 for h.
-1
Let w(y) = y**3 + 4*y**2 + 5*y + 5. Let t be w(-2). Let b be ((-4)/3)/((-1)/t). Solve -h - b*h = -20 for h.
4
Suppose -24*w + 25*w - 6 = 0. Let g be 7 + w*(-4)/(-12). Solve -6 = 3*u + g for u.
-5
Let h(s) = -s**2 - 11*s - 18. Let c be h(-8). Suppose c = -2*u, -3*z + 12 = 2*u - 6*u. Solve z = 3*b + 11 - 2 for b.
-3
Suppose 8*i = 17*i - 18. Suppose 0 = i*o + 72 - 92. Suppose m - 4 + 0 = 0. Solve 2*u = m*u - o for u.
5
Let u be (1 + 21/(-9))/((-48)/108). Solve 0 = -0*b + u*b for b.
0
Let s be (-3)/((-4)/72*2). Suppose 5*r + 2*o + o = s, 2*r = o + 2. Suppose -d = 1 - 5. Solve -1 = d*q - r*q for q.
-1
Let t = -13 + 15. Suppose t*y - 4*y = -24. Let m = -8 + y. Solve 3*r = 4*r - m for r.
4
Let i = 38 - 50. Let d be (-1)/4 + (-3)/i - -3. Solve 6*n = d*n + 6 for n.
2
Let t(h) = 2 - 20*h + 2 + 19*h. Let c be t(-2). Solve -c = -3*u - 15 for u.
-3
Suppose a = -b - 2, a = -0*a + b + 2. Suppose 0 = 2*o - 4*h - 20, a = -3*h + h + 4. Solve -2*c - 4 = -o for c.
5
Suppose -2*g - 4*x = -6*g + 60, 3*x + 11 = g. Let n = -12 + g. Suppose 33 - 8 = 5*a, 5*b + n = 3*a. Solve -i + b*i - 3 = 0 for i.
3
Let b(i) = -i**2 - 5*i + 4. Let z be b(-5). Let v be z + (-1 + -2)/(-3). Let t be 4/14 - (-5)/7. Solve -g + v = t for g.
4
Let z(h) = -h**3 + h**2 - 1. Let g = 13 + -14. Let f(y) = -7*y**2 + y + 5. Let a(i) = g*f(i) - z(i). Let p be a(-6). Solve 0*w = -p*w for w.
0
Let d = -24 + 30. Suppose 8 = -d*o + 98. Solve c - o = 4*c for c.
-5
Let b(y) = y**2 - 10*y - 11. Let m(u) = 3*u - 1. Let f be m(4). Let r be b(f). Solve -2*w + 3 - 13 = r for w.
-5
Suppose -20*s + 38*s - 216 = 0. Solve 40*c = 43*c - s for c.
4
Let l = 3 - 3. Suppose 16 = 2*u - 5*b, u + 1 - 2 = -b. Let f be 0 + -1 - (0 + -1)*u. Solve -f*c + l = -6 for c.
3
Suppose -4*t - w + 12 = 0, 2*t - 2*w = 4*t - 6. Suppose 2*s + 9 = t*g, 0 = -s + 3*s. Solve -3*b + 9 = g for b.
2
Let l = -756 + 762. Solve -i = -l*i + 5 for i.
1
Suppose 2*p = 4*m, -4*m + 3*m = -1. Let x = p + 3. Let v be (3/(-30)*-5)/((-3)/(-24)). Solve 3*f = -x - v for f.
-3
Suppose 20 = -14*h + 62. Let x(z) = -z + 12. Let d be x(9). Solve -12 = -h*s - d for s.
3
Let q(d) = -d + 3. Let m be q(3). Let w be 0/(3/(3 - m)). Solve -n = -w*n for n.
0
Let r(v) = -v**2 + 6*v - 1. Let 