 4. Let l be t(6). Suppose -g + l = g - q, -g - 4 = 3*q. Solve 5*u - g = 2 for u.
2
Let k be ((-6)/7)/((-18)/126). Solve -5*t + k = -3*t for t.
3
Let k(x) = x**2 + 6*x - 1. Let z be k(-7). Solve 2*l + z = -0*l for l.
-3
Let i(y) = 11*y**3 - 2*y**2 + y. Let v be i(1). Let l be 15/v + (-1)/(-2). Solve 0 = 2*o - l + 6 for o.
-2
Suppose 2*f = -f + 6. Suppose -4*t = -f*t - 8. Solve t*k + 5 - 1 = 0 for k.
-1
Suppose 3*c - 32 = -5*c. Solve c*t = -0*t + 20 for t.
5
Let s = -6 - -14. Solve g + s = -3*g for g.
-2
Let r = 26 + -22. Solve -5*s = -14 + r for s.
2
Let a be -2 + 1/((-3)/(-18)). Let s(r) = r**3 + 6*r**2 + 2*r - 6. Let h be s(-5). Solve 7*y + h = a*y for y.
-3
Let w = -56 - -58. Let u be 3*(-1 + 14/6). Suppose -x + u*y = -3*x - 14, 0 = x - y - 8. Solve -4 = -x*b + w for b.
2
Suppose -b - 3*b = -48. Let k be (2/3)/(2/b). Let s = 1 + k. Solve -2*m + s*m = 6 for m.
2
Let s = 2 + 1. Let z = 71 + -71. Solve x - s + z = 0 for x.
3
Suppose 0 = -2*y + 4 - 2. Let p(i) = 2*i + 2. Let z(a) = -3*a - 5. Let l(d) = 5*p(d) + 3*z(d). Let j be l(5). Solve -x = -j + y for x.
-1
Suppose -2*y - 11 + 17 = 0. Solve 0 = 5*i - y - 2 for i.
1
Suppose 3*d - b - 77 = -5*b, -3*d - b = -71. Suppose -d = 4*q - 83. Suppose -6 = -3*x - 3*w, 2*x + 4*w + 10 = 4. Solve -x*p + 2*p + q = 0 for p.
3
Suppose 15 = 2*q + q. Solve 8 + 12 = q*p for p.
4
Let o be 2/(-7) + 185/35. Solve -o*u - 15 = 10 for u.
-5
Suppose -5*w = -3*u - 18 - 1, -w + u + 5 = 0. Let b be w + (-8)/(-4) + 0. Solve 3*f = 13 - b for f.
3
Let w = -107 - -109. Solve -4*o = -w*o for o.
0
Let o(j) = j**2 - 2*j - 1. Let f = 6 + -2. Let c be o(f). Suppose 4*t = 5*u, 5*t + 2*u = c*u. Solve t = 4*s + 3 - 23 for s.
5
Let g(q) = -q**3 - 3*q**2 + q + 11. Let t be g(-5). Let p be 2/(-5) - t/(-40). Solve -2 - p = 3*u for u.
-1
Suppose -4*y + 2*y + 3*x + 6 = 0, 3*y + 5*x = 9. Solve y*q = q for q.
0
Suppose 0 = k - 1 - 2. Suppose k*v + 0*v - 9 = 0. Suppose 3*j - 14 - 7 = 0. Solve j*p + 12 = v*p for p.
-3
Let h = 22 - 15. Let j = h - 7. Solve -x = -j*x - 5 for x.
5
Suppose -4*o = -19 - 1. Let y be (-2)/5 - 38/5. Let g be (0 - y)*(-3)/(-4). Solve -g*s = -s + o for s.
-1
Suppose 0 = -5*h + 3*y + 15, 0*h - 15 = -4*h + 3*y. Let r = 5 - 2. Suppose -r*t = -5 - 4. Solve 4*s - t - 1 = h for s.
1
Let s(w) = 3*w**2 - 2*w - 6. Let y be s(2). Solve -y*q + 4 = -2 for q.
3
Suppose 2*f + 4 = 2*a - 4, 10 = 3*a - 2*f. Suppose -a*j + 8 = 0, 5*h + 3*j = j + 28. Solve l = -l + h for l.
2
Let a(m) = m**2 - 3*m + 2. Let l be a(0). Let f be l/6 + (-4)/12. Solve f = 6*s - s for s.
0
Suppose -2*c = 8, 5*w + c = 24 + 52. Let l = -11 + w. Solve -2*z - 3 = l for z.
-4
Let u be 28/(-21)*3/(-1). Let g be u/(-5)*5/(-2). Solve 4 = -n + g*n for n.
4
Suppose y + 4 = -2*n - 9, 3*y + 14 = -n. Let a be 4*1 - (y - -1). Let l = a - 4. Solve -l*i - i = 0 for i.
0
Suppose 0 = -4*m + 4*h + 4, h + 6 - 2 = -2*m. Let o = 6 + m. Solve 0*p - p + o = 0 for p.
5
Suppose 3 = -2*b - n + 1, 2*b - n - 2 = 0. Solve b*h = 3*h - 9 for h.
3
Suppose 0 = 2*z + 2*j - 6, -4*z = j - 0*j + 3. Let t = 7 + z. Suppose 4*w + 5 = 4*x + 5*w, 4*x = -t*w + 25. Solve -3*k + 0*k = x for k.
0
Let o(b) = -b + 14. Let d be o(12). Solve 2*y + d*y - 20 = 0 for y.
5
Suppose 28*g = 34*g - 24. Solve g*n - 12 = n for n.
4
Let p(n) = n**2 + 14*n - 30. Let k be p(-16). Solve 0*d + k*d = 0 for d.
0
Suppose 0 = 2*h + 5*t, 0*t = 4*h - t + 22. Let f = h + 7. Solve 0*i - f = -2*i for i.
1
Suppose -1 = -3*y + 29. Let i = y + 3. Solve -i = -4*s - 5 for s.
2
Suppose -4*y + 6*y - 3 = -f, y - 5*f - 18 = 0. Suppose 3*q + t - 5 = -y, -2 = -q - t. Let z be 0 + 0 + (-10)/(-2). Solve q*p = z*p for p.
0
Let v = 1 - 5. Let w be ((-22)/v + -3)*2. Let o = w - 3. Solve -o*m + 3 = -5*m for m.
-1
Suppose 38 = -4*z - 122. Let g be (-8)/z + (-14)/(-5). Solve p - g = -0*p for p.
3
Suppose 3*l + 0 - 9 = 0. Let z = 1 - -4. Suppose -z*r - 10 = 0, -t = -3*t - 5*r + 40. Solve 2*h + l*h = t for h.
5
Suppose 0 = x - 2*x + 42. Suppose x + 58 = 5*o. Solve -4*b = -9*b - o for b.
-4
Let o(z) = -z**2 - z - 16. Let v be o(0). Let j = v - -22. Let q be ((-16)/j)/((-12)/90). Solve 7*s = 2*s - q for s.
-4
Suppose 0 = 5*a + 3 + 2. Let j be 3 + -1 - (a - 3). Suppose j*s = s. Solve -g - 3*g + 8 = s for g.
2
Suppose 14 = i + 6*i. Solve 0 = 3*t + i*t + 10 for t.
-2
Suppose 4*h + h - 8 = 4*d, -9 = -3*d. Suppose 2*t - 3*t + 5 = 0. Suppose -t*p = -3*p - 14. Solve h*n = -p + 23 for n.
4
Let z(m) = -2*m**3 - 11*m**2 + 5*m - 8. Let g(f) = 3*f**3 + 17*f**2 - 8*f + 12. Let t(j) = -5*g(j) - 8*z(j). Let c be t(-3). Solve -3 = c*k - k for k.
-1
Suppose 4*d + 12 = -4*r, -4*d = -r + 11 + 1. Solve r = -5*h - 16 + 1 for h.
-3
Let p = -72 + 73. Let b = 4 + -2. Solve -b = v - p for v.
-1
Suppose 0 = -2*o - o + 18. Let r(y) = -11*y**2 + 21*y + 9. Let h(z) = 5*z**2 - 10*z - 4. Let b(p) = 9*h(p) + 4*r(p). Let v be b(o). Solve v = 2*f + 1 + 3 for f.
-2
Let t = 27 - 41. Let c = t + 18. Solve 15 = -i + c*i for i.
5
Let p(t) be the first derivative of 2*t**2 - 12*t - 5. Let i be p(6). Solve 0 + i = -3*q for q.
-4
Let n(f) = -f**3 + 6*f**2 + 8*f - 3. Let j be n(7). Suppose -2*y + t = -3, 2*y - j*t = t - 17. Solve 2*z = -y - 4 for z.
-4
Let o be (-5)/10 + 25/2. Solve 0*n = 3*n + o for n.
-4
Let u be 7 - (-18)/(-6) - 4. Let k be ((-2)/2)/(2/(-8)). Solve -v - v - k = u for v.
-2
Let g(l) = -8*l**2 - 4*l - 2. Let d(p) = -4*p**2 - 2*p - 1. Let h(i) = -7*d(i) + 3*g(i). Let z be h(-1). Let y be 0/(z + (-4)/2). Solve y*t + t = 5 for t.
5
Let x be (-4)/18 + (-235)/(-45). Suppose -2*r + 5*r + 4*c = 106, -c = x*r - 154. Suppose -2*p + r = p. Solve -3*g + p = -2 for g.
4
Suppose -4*o - o = -75. Solve 0 = 4*v + v - o for v.
3
Let k be (24/12)/((-2)/(-8)). Solve 3*f - f = k for f.
4
Let s = 7 - 4. Solve 0*a + s*a = 3 for a.
1
Let n be -2 + 7 - (-6)/(-2). Suppose 0 = n*s - 0*s. Suppose 9 = -3*b, 3*j - 4 = -3*b - 1. Solve -j*k = -s*k - 8 for k.
2
Let u(d) = -2*d + 29. Let w be u(13). Solve w*x = -0 - 15 for x.
-5
Suppose 0 = 4*k - j - 27, k + 4*j - 32 = -3*k. Solve -4*i - 15 = -k*i for i.
5
Suppose 0 = -q - 2 - 7. Let m = 14 + q. Suppose 1 = m*b - 9. Solve 3*l = -b*l for l.
0
Let j be (20/(-35))/(2/(-7)). Solve 0*w = -j*w for w.
0
Let u be 19/57*5/(5/6). Solve 7 - u = -r for r.
-5
Let w be 10*(-1 + 0)/(-2). Let q = 9 - 7. Suppose q*h - 2*z - z = 20, 4*h = 2*z + 24. Solve -w*i - 11 = h for i.
-3
Let m(i) = 2*i + 22. Let d be m(-9). Solve -8 = -d*b + 8 for b.
4
Suppose 2*a = -2*h + 76, 0*a = 5*h - 2*a - 190. Suppose 5*x - h = 12. Solve 0 = -5*b + 3*b - x for b.
-5
Let u be 6/(-21) + (-6)/(-21). Suppose 0 = -5*j - c, j + 0*j - 2*c = u. Let z be 12/(-2)*10/(-15). Solve j = r + z*r - 20 for r.
4
Suppose -18 + 2 = -4*n. Suppose n*i + 20 = -5*x, 4*x = 5*i + 27 - 2. Let d(m) = m**2 - m. Let v be d(x). Solve -5*s + s = v for s.
0
Let r(l) be the third derivative of -l**6/120 + l**5/60 + l**4/12 + l**3/6 - 7*l**2. Let w be r(2). Solve 1 = -o - w for o.
-2
Suppose 5*r = 2*t + 26, 0 = 2*t - 2*r + 14 - 0. Let m be 0*(-3)/(-9) - t. Suppose 4*f = -m*o + 88, 5*f + 0*f = 3*o + 137. Solve q - 6*q = -f for q.
5
Let p = -5 - -1. Let n = 6 + p. Suppose n*h = -h + 6. Solve -h*l = -l - 4 for l.
4
Suppose -k - 2 = 0, 2*j + 20 = 4*j - 3*k. Let b(s) = 4*s - 8. Let x be b(j). Solve 0 = d + 4*d + x for d.
-4
Let q(k) = -4*k + 3. Let n be q(2). Let s be (1 + 1)*-1*2. Let c = s - n. Solve -f - 2 = c for f.
-3
Let x be 2/9 + 7/9. Solve 0 = -4*u + x + 3 for u.
1
Suppose 5*d - 33 = -x, -5*x + 8 = d - 13. Let o be (-1 - -1)/(8 - d). Solve 2*z + o*z = 0 for z.
0
Suppose 3*y - 11 = 34. Suppose -5*h + 15 = -y. Solve h = f + 4 for f.
2
Suppose -2*i + 216 = i + 3*g, 4*i - 285 = -5*g. Let o be (1/(-3))/((-5)/i). Solve 1 + 4 = o*u for u.
1
Let n = -9 - -5. Let a be (1 - n)*18/10. Solve 2*x + x - a = 0 for x.
3
Let c be -3 - (261 + (2 - 4)). Let z be (-2)/(-12) + c/(-12). Let p(k) = 6*k**2 - 1. Let v be p(-1). Solve 0 = -v*i - z + 2 for i.
-4
Let f be (-180)/(-42) + -4 - (-4)/(-14). Solve 3*m + 2*m - 15 = f for m.
3
Let k = 4 - 2. Let d be 10/(-35) - k/(-7). Solve -n = -d*n for n.
0
Suppose -4*x = -s + 15, -3*s - 3*x + x = -17. Suppose 4*u = 2*u - 20. Let y be ((-12)/u)/((-6)/(-15)). Solve 0 = -2*h + y - s for h.
-2
Let d be ((-1 - -26) + -2)/1. Let a = 3 - 0. Solve d - a = 5*x for x.
4
Let u be (1/(-2)*0)/2. Let m be (-5 - -1) + (3 