 k*l + 56 = 4*r + 2*l, 0 = -r + 5*l + 5. Solve -r = -3*h - 0*h for h.
5
Let p be (-7 - -3) + (3 - -7). Solve p = -2*z + 4*z for z.
3
Let g(r) = -r**2 + 8*r + 5. Let z be g(8). Solve 3*v - 11 + z = 0 for v.
2
Let r(b) be the first derivative of -b**3/6 - b**2/2 - 2*b - 6. Let o(y) be the first derivative of r(y). Let g be o(-6). Solve g*i + 4 = 4*i for i.
-4
Let w(r) = 47*r**3 + 6*r**2 + r - 6*r - 48*r**3. Let q be w(5). Suppose q*f = 3*f - 3. Solve -o - f = -2 for o.
1
Suppose 5*o + m = 33, -8*o + 6*o + 3*m = -20. Solve p - o = -2 for p.
5
Suppose w - 2*w = -2. Suppose -4*p = -4*y + 44, 0 = 4*y - w*y - 3*p - 26. Suppose 3*a = -3*l + 24, -3*a + y*a + 3*l = 32. Solve a = k + k for k.
4
Let k = -46 - -48. Let q be k/((3/(-2))/(-3)). Solve q = 5*f + 14 for f.
-2
Suppose 4*w - 34 = t, -24*t + 22*t = -2*w + 20. Solve w*i - 5 - 3 = 0 for i.
1
Suppose 0 = -l + 6*l + 4*g + 11, 18 = -2*l - 5*g. Let u = 742 - 725. Solve 4*b + u - l = 0 for b.
-4
Suppose -6 = 3*y - 3*k, -k + 5 + 0 = 0. Suppose s + 0*h = y*h + 6, 0 = -h. Solve n - 2 + s = 0 for n.
-4
Suppose 2*n + 3*o - 14 = 0, -3*n + 31*o = 35*o - 21. Solve 24 = n*c + c for c.
3
Suppose -r - 3 = 9. Let i be r/(-8)*2 + -2. Let o be (-100)/(-15) - i/(-3). Solve 3*s - o*s + 12 = 0 for s.
3
Suppose -4*j - 14*g = -18*g - 84, 2*g = -8. Solve -j*c + 4 = -13*c for c.
1
Suppose 7*s = 9*s - 2*r - 6, -10 = -2*s - 2*r. Solve s*y + 15 = 7 for y.
-2
Let c be 17 + 77 + (3 - (1 + -3)). Solve -c*d = -94*d - 5 for d.
1
Suppose -4*k + 28 = 5*w, k - 14 = w - 4*w. Solve -3*i - i + k*i = 0 for i.
0
Suppose 0 + 2 = d. Let g be 5 + (-1 - (3 + -3)). Suppose 4*p - 6*p = -j - 3, -j + 18 = 5*p. Solve -d*t + j*t = g for t.
4
Suppose 448*x - 144 = 439*x. Solve x*z = 14*z - 8 for z.
-4
Let h be (-1)/(-3) - 115/(-69). Suppose h*v - 2*a - 10 = 0, -4*v + 2*a + 25 = -3*a. Solve 2*l = -v*l + 8 for l.
4
Suppose 6 - 27 = -a + k, -95 = -5*a + 3*k. Solve 5*r - a = 9*r for r.
-4
Let b = -24 + 48. Suppose 12 + b = 6*t. Suppose -2*y - 8 = -t*y. Solve -y*l + 25 = 3*l for l.
5
Let t(h) = -h**3 - 12*h**2 + 4. Suppose -5*x - 5*s - 35 = 0, 3*x + 0*s = 3*s - 51. Let l be t(x). Solve v - 9 = -l for v.
5
Let t be (-140)/18 - (-2)/(-9). Let s(f) = f**2 + 7*f + 10. Let z be s(t). Suppose 11*j + z = 14*j. Solve j = p - 3*p for p.
-3
Suppose -3*y = 5*q + 268, -5*q - y + 6*y - 260 = 0. Let k = q + 56. Suppose h = -0*h. Solve -k*l + h = 9 for l.
-3
Suppose -4*h = -38 - 6. Suppose 9 = -q + h. Solve -q*f = 1 - 11 for f.
5
Suppose -4*s = -5*a - 9, 0 = -4*a + a - 15. Let x(i) = -i**3 - 5*i**2 - 8*i - 10. Let c be x(s). Solve 2*f + 0 = c for f.
3
Let f be -6 + (-291)/(-33) - (-4)/22. Solve -f*s + 7*s = 0 for s.
0
Let r = -2418 - -2423. Solve 12*j - 34 = -r*j for j.
2
Let f = -29 - -31. Let j be (-4)/f - (-12)/3. Suppose 62 = j*g + 24. Solve -g = -3*t - 4 for t.
5
Let x be 17 + -3 + (-1)/1. Suppose 1 = -6*y + x. Solve 6*t - y*t + 20 = 0 for t.
-5
Let u(q) = -q**3 - 6*q**2 - 3*q - 5. Let v(k) = -k**2 - 2. Let i be v(-2). Let z be u(i). Let g(d) = -d**2 - 9*d - 5. Let p be g(-8). Solve -4*y = p + z for y.
-4
Let w = 887 + -884. Solve 0 = w*v - 19 + 7 for v.
4
Let r be (-19)/(-5) - (-68)/(-85). Suppose -3*f - f + 80 = 0. Let g be 0 - (2 - 10)/4. Solve 0 = r*p + g*p - f for p.
4
Suppose -4*r - 81 = 11. Let d be ((-2)/(-4))/(r/(-920)). Solve -d = -0*l + 5*l for l.
-4
Suppose -36 = -t - 8*t. Let m(b) = -b + 6. Let p be m(t). Suppose -p*x = -4*v - 0 + 16, 3*v = 2*x + 12. Solve -v*f - 1 = -5 for f.
1
Let i be -4 + 3 + 9 - -2. Let q be ((-9)/6)/((-15)/i). Suppose 0 = -3*a + 5*a - 6. Solve -2*d = -q + a for d.
-1
Suppose -j + 3*l + 25 = 0, 29 - 14 = -j - 5*l. Solve -7*x - 3 + j = 0 for x.
1
Suppose l + 84 - 90 = 0. Solve -k = l*k - 28 for k.
4
Let k be (-5 - -1 - -1) + -41. Let x = -40 - k. Solve 8*d = x*d - 16 for d.
-4
Suppose g - 2*h = 8, 0 = -3*g + 8*h - 4*h + 20. Solve b = g - 9 for b.
-5
Let x be 1596/(-40) + 6/(-60). Let n = x - -44. Solve -8 + 28 = n*m for m.
5
Let q = -1211 + 1211. Solve -5*v - 36 + 11 = q for v.
-5
Let h = 42 + -40. Let v be (-1)/h*(-7 - 1). Solve -2*o + v = -4*o for o.
-2
Suppose 0 = -5*f + u + 24, 0 = -f + u + 4*u. Solve f*r = 7*r - 2 for r.
1
Let t(r) = -3*r + 25. Let c(a) = 2*a**2 + 23*a + 16. Let p be c(-11). Let v be t(p). Solve -4*g - g - v = 0 for g.
-2
Suppose 4*n + 5*r = 40, -n - n + r = -6. Suppose 0 = -5*h - 4*z - z + 10, 2*h - n*z = -3. Solve 0 + h = a for a.
1
Let g be (-2)/(-6) + (-1)/3. Suppose -p = -g*p. Suppose 10*m - 5*m = p. Solve m = -3*j - 2 - 7 for j.
-3
Suppose 8*f = 13 + 75. Let p(d) = d**2 - 12*d + 15. Let s be p(f). Solve s*r = 6 + 2 for r.
2
Let r = 10 - 6. Suppose 3*l = 2*g + 8, -5*l + 2*g - 2 = -14. Let x(d) = d**2 + 20*d + 14. Let w be x(-20). Solve -r*j = l - w for j.
3
Suppose -6*y = -4*y - 24. Let o(s) = -s**2 + 10*s + 13. Let j be o(y). Let x = j - -15. Solve -x*p + 22 = 2 for p.
5
Let u(z) be the first derivative of -z**4/4 - 4*z**3/3 - 5*z**2/2 - 4*z + 2. Let g be u(-3). Let l be -2*((-9)/(-6) + -2). Solve l + g = 3*j for j.
1
Let i(v) = -10*v**3 + 40*v**2 + 82*v + 25. Let s(z) = 7*z**3 - 27*z**2 - 55*z - 17. Let d(f) = -5*i(f) - 7*s(f). Let k be d(13). Solve k*m = 3*m for m.
0
Let b = -3 - -3. Suppose -m = 5*x + 1 - 3, b = -5*m - 15. Solve c - 2 + x = 0 for c.
1
Suppose 2*j - 4*h - h = 1, -2*j + 2*h - 14 = 0. Let c = 0 - j. Suppose 0 = 4*o - 8*o + c. Solve -2 = 5*n - o*n for n.
-1
Let c(d) = 60*d**3 + 2*d**2 - 4*d + 2. Let y be c(1). Suppose 20 = y*o - 58*o. Solve 7*m - o = 12*m for m.
-2
Let n = -25 + 39. Let m = 18 - n. Solve z = m*z - 3 for z.
1
Suppose 0 = 8*s - 44 + 4. Let m be (-1 - -4) + (s - 3/1). Solve y = m - 0 for y.
5
Let m(y) = -2*y. Let v be m(6). Suppose -59 = 4*d + 3*p, 4*p - 11 = 3*d + 27. Let l = v - d. Solve 3 = w - l for w.
5
Let d = -13 + 15. Solve -q + d + 1 = 0 for q.
3
Let k be 2/((-4 + 3)/2). Let f be (-37 - k/4)/(-1). Let r be 6/f + 22/12. Solve 0 = r*m - 6 for m.
3
Let n = -961 - -967. Solve -n = 9*c - 11*c for c.
3
Let k = 2957 - 2870. Solve -15 = 24*v - k for v.
3
Let o(q) = 2*q - 5. Let v be o(5). Let x(b) = -5*b + 98. Let c be x(19). Suppose c*a + v = 11. Solve a*s - 3 = 3*s for s.
-3
Let u = -252 - -374. Let v = u - 116. Let h(q) = 9*q**3 + 2*q**2 - 1. Let f be h(1). Solve -k + v*k + f = 0 for k.
-2
Let v(x) = -12*x + 116. Let q be v(9). Solve -2*a = -10 + q for a.
1
Let v(t) = t**2 + t - 1. Let y be v(-3). Solve -y*j + 7*j = 2 for j.
1
Let w(r) = -r**3 + 17*r**2 - 47*r - 63. Let b be w(13). Solve 1 = -b*n + 7 for n.
3
Let b(o) = 3*o + 4. Suppose k + 2*k - 53 = -2*g, -k + 3 = 0. Let z = -18 + g. Let s be b(z). Solve 0 = -2*q + 6*q + s for q.
-4
Suppose -16 = y - 5*y. Suppose -4 = w - 2*w. Suppose -g + 1 = 2*k + w, 3*k + 5*g = -15. Solve -s - s - y = k for s.
-2
Let i = 13 - 12. Let o be i + 10 + 1*-2. Suppose -3*p = -4*l - 0*l + 5, 5*l + 5*p = 50. Solve -1 = l*x + o for x.
-2
Let q = 4 + 0. Suppose 0 = 5*x + 15, 2*c + 2*c - 4 = -q*x. Suppose d + c = 4*w - 1, -3*w - 10 = 2*d. Solve w = -4*m - 6 - 10 for m.
-4
Let t(a) = -a**3 - 2*a**2 - 4*a - 2. Let m be t(-2). Suppose o - m*o + 25 = 0. Suppose -7 = 3*f - 3*v - v, -3*f = -o*v + 11. Solve -12 = -0*x + f*x for x.
-4
Suppose 72*o + 29 = 75*o - g, 3 = o + g. Solve r + o = 3*r for r.
4
Suppose 0 = 5*h - 3*s + 1, 5*h - 5 = -2*s + 4. Suppose -5*p = -0 + 5. Let n be (h*(-4 - -2))/p. Solve 2*r + 8 = -n for r.
-5
Let d be 12/9*(-162)/(-4). Let i(c) = c + 6. Let t be i(-4). Suppose -19 = t*r + 3*n - d, 4*n = -12. Solve 0 = 4*y + 6 - r for y.
4
Suppose -3*g = 4*g - 532. Let h = g - 50. Let y = h + -16. Solve -d = d + y for d.
-5
Let t(c) = -8*c - 61. Let b be t(-8). Let a be (-2)/3 - 2/(-3). Solve a = -0*n - b*n + 15 for n.
5
Let q(f) = -f**3 + f**2. Let s(y) = -3*y**2 + 8*y - 6. Let v(j) = -2*q(j) + s(j). Let z be v(2). Solve -z*o + 5 = -5*o for o.
5
Let d = -2056 + 2100. Solve -8*o + 76 = d for o.
4
Let w = -2504 + 2507. Let g be (-6)/(-9) - 38/(-6). Solve -4*v + w = g for v.
-1
Let g = -16 - -19. Suppose q = -0 + g. Suppose q*i - o - o - 37 = 0, i + 5 = 5*o. Solve -2*j + i = j for j.
5
Let g(j) be the first derivative of j**4/2 - 4*j**3/3 + j**2 - 2*j + 21. Let x be g(2). Solve x*d + 4 = -0 for d.
-2
Let d(v) = 8*v + 121. Let u be d(-15). Suppose -4*t + r + 83 = 0, -r - 1 = 2*t - 44. Solve t = 5*o + u for o.
4
Let k(v) = v - 9. Let x be