*l = -t*o - 12 for l.
-3
Suppose 2*h = -119 + 1. Let i = 62 + h. Solve 0*l + l - i = 2*o, -3*l - 4*o - 21 = 0 for l.
-3
Let z be (-4)/(4/(-3))*168/63. Let o(b) = 3*b + 1. Let a be o(-2). Let v = a + z. Solve -4*g + 5*i + 2 = 0, -g - g = -v*i for g.
3
Let a(x) be the third derivative of x**5/30 - x**4/24 - 13*x**3/6 - 11*x**2. Let t be a(4). Solve -2*u + 3*c - 5 = -0*u, 5*c = t for u.
2
Let g = -340 + 341. Solve k - 13 = 3*b, 6*b - b - g = -4*k for k.
4
Let c = 16 - 15. Let m(i) = i**2 + i. Let a be m(c). Solve -7*x - 13 = -2*z - 2*x, a*z = x + 9 for z.
4
Let n(r) = r**2 + 7*r + 11. Let y = 14 - 20. Let b be n(y). Solve -b*o - 6 = -0*o - 3*d, -18 = 4*o + 2*d for o.
-3
Let n(b) = b**3 - 7*b**2 + 10*b - 8. Let c be n(6). Let s be (3 - 3)/(6/((-18)/(-6))). Solve -5*j + u - c = 0, s = 5*j - u + 3*u + 13 for j.
-3
Let i = -45 + 47. Let l be (-3 + 119/28)/(i/8). Solve 0 = 4*z - g + l + 5, -5*g = 4*z - 2 for z.
-2
Let p(g) = -2*g**2 + 18*g - 25. Let b be p(2). Solve -n + 6 = -5*u, 0 = -n + b*u - u + 3 for n.
1
Let f(w) = 9*w - w - 9*w + 9*w - 3. Let c be f(1). Solve k + 4 + 12 = 5*u, 3*u + c*k = 32 for u.
4
Let f(s) = 1. Let o(j) = -3*j - 16. Let l(a) = -4*f(a) + o(a). Let m be l(-9). Solve k + m = -4*n, -n - 23 = -k - 3*k for n.
-3
Let r(a) = 3*a**2 + 35*a - 7. Let z be r(-12). Let q = -16 + -14. Let k = q - -48. Solve -2*n + 2*v = 4*v - k, n = z*v - 21 for n.
4
Let m(o) = -23*o - 15. Let v be m(-1). Solve 0 = -4*n - 4*g + 16, -3*g - v = 3*n - 5*g for n.
0
Let u = 14 + -8. Suppose -z = z - u. Suppose 5*q - v = 12 + 4, -q - v + 2 = 0. Solve -3*x + 3 = -z*c, 6*x = -2*c + q*x + 13 for c.
2
Suppose 0*x + x - 25 = -3*a, -23 = -2*x + 3*a. Solve 12 = 2*j - 5*j, 0 = z - 4*j - x for z.
0
Let c be (-57)/209 - (-141)/33. Solve -c*k - q + 7 = 0, -2*k + 5*q - 2*q = 7 for k.
1
Suppose -2*x = -4*u + u + 21, 10 = -u - 5*x. Suppose -2*w - 2*i + 6*i = -18, -u*w = 4*i - 3. Solve 0 = -w*h + 2*r + 4, 2*h + 2 + 12 = -2*r for h.
-2
Let h be 0 + 11/(-66) - 25/(-6). Solve 2*c + c + 8 = 2*u, 5*u - 6 = h*c for u.
-2
Suppose 13*y + 34 = 138. Solve -3 = -3*g + y*o - 5*o, -2*o = 2 for g.
0
Suppose h - 4 = -0. Suppose 0 = p + 4*p + h*f - 27, 0 = 3*p - 5*f + 6. Suppose 5*t - 10 - 10 = 0. Solve t*w - p*a + 12 = 0, -5*w + a = -a + 15 for w.
-3
Let d(n) = n**2 - 5*n + 6. Let a be d(7). Suppose 4 = -4*g + a. Solve -3*k - 9 = -g*q, -3*q - 2*k + 11 = -0*q for q.
3
Suppose 73 = -5*g + 43. Let l(n) = n + 2 + 5*n + n**2 + 2. Let m be l(g). Solve -m*x + 4*b + 3 = -17, 3*x + b = 7 for x.
3
Suppose -r - 21 + 25 = 0. Solve -5*b - 4*n = 20, -b = -3*b - r*n - 20 for b.
0
Let q(v) = -v**2 + 8*v - 9. Let t be q(5). Let a be (-290)/(-35) + t/(-21). Let z be 2/(4*1/a). Solve -2*n - 5*r + 6 = -4*r, 0 = z*r for n.
3
Let u be (-2 - -4) + (-6 - -4). Suppose 12*a - 9*a - 15 = u. Let s be ((-10)/3)/a*-6. Solve 2*v + s = -5*y - 0, 5*v + 10 = 3*y for y.
0
Suppose -5*i + 22 = -38. Suppose 0 = -2*h - 3*t - 16, 4*t - 5 = 5*h + i. Let j = 0 - h. Solve 20 = j*a, -5*q + q - 20 = -a for q.
-4
Suppose -33 = -i - d, -2*d = -3*i + i + 58. Let k = i - 28. Let z be 2/(-8) - (-65)/20. Solve 2*f - z*f - 1 = 0, 0 = 4*u - f + k for u.
-1
Let w be 8/6*(-1 + 4). Solve 0 = -w*g - 4*t, 4*g = -0*t + 3*t for g.
0
Suppose -3*l = -16 + 7. Solve 2*j - 1 = l*s, 2*s - 8 - 2 = -4*j for s.
1
Let x be (-4)/(-24) + 1/(-6) + 3. Suppose -3*m - 2*m + 3 = -4*d, 3 = -2*m + x*d. Solve o + 4*w - 14 = 0, 0 = -0*o + o + m*w - 10 for o.
-2
Suppose -38*a - 220 = -58*a. Suppose -3*k = -14 + 2. Solve i + y - k = 0, 4*y - a = -5*i + 10 for i.
5
Let z = -5 + 1. Let r be z/22 - (-57)/11. Let x = -19 + 21. Solve -h + x*h + r = -l, h - l = 3 for h.
-1
Suppose 70*j - 1384 = 646. Suppose -4*h = -24 + 4. Solve -d + h*q = -21, -d + j = -2*d - 5*q for d.
-4
Let n be 2/4 + 594/44. Let m = 18 - n. Suppose -m*v - d + 41 = 0, -d = d - 2. Solve 3*x + 4*p + 35 = 0, p - 3*p = v for x.
-5
Suppose 253*x = 256*x - 15. Solve -g = -x*g, 5*s + 3*g = 10 for s.
2
Suppose -98 = -20*m + 2. Solve -5*z - 4*r = 20, m*z = -0*r + 5*r - 20 for z.
-4
Let q(k) be the first derivative of -k**2/2 + 20*k + 14. Let m be q(13). Solve 2*p + m = 2*g - p, 5*g - 5*p = 10 for g.
-1
Let c be ((-99)/429)/((-1)/13). Solve 4*k = -c*u - 15, 5*u = -0 - 5 for k.
-3
Suppose -2*d + 1 + 5 = 0. Suppose 17 = f + k, -f + 4*k + 7 = d*k. Solve -5*g - 6 = -0*u + 4*u, 4*g = u + f for g.
2
Let d = 0 - 2. Let p be (-11)/44 + d/(-8) + 16. Solve 4*w + p = o, -4*w + 9*w = o - 19 for w.
-3
Let h be 1/3 - 884/(-39). Let w(x) = -12*x - 18*x - h + 23. Let k be w(-1). Solve -2*j - 5*l + l = k, 5*j + 4*l = -45 for j.
-5
Suppose -5*q - 65 = 8*q. Let m(k) = -k**2 - 3*k + 12. Let u be m(q). Solve 4*c = 2*c - d, 0 = u*c + 2*d for c.
0
Let g = 1702 - 1700. Solve 2*u + 4*y + 8 = 0, -g*u + 8 = y + 4 for u.
4
Let p be ((-1395)/1674)/(1 + 7/(-6)). Solve -p*y = -4*o - 3 + 8, 4*y - 5*o = 5 for y.
-5
Let u = 2 + 11. Let q be -1 + (-5)/((-25)/15). Solve q*o - 5 - 5 = 4*j, u = 5*o + 2*j for o.
3
Let c = 2 - 2. Suppose c = 2*i - 0*i - 18. Let r be 40/16 - 3/36*9*-2. Solve -20 = 2*m + r*k, -m + k = 2*m + i for m.
-4
Suppose 0 = -5*h - 15 + 35. Suppose 2*s = g + 9, -2*s = 5*g + 17 + 4. Let y = 3 + s. Solve -12 = h*b + 8, y*x = -4*b - 15 for x.
1
Let i(y) = -16*y + 275. Let l be i(16). Solve -3*n - 6 = 0, 5*n = -3*t - 0*n - l for t.
-3
Let u = -481 + 483. Solve u*o + 2 = 5*h - 2, 4*h = 4*o + 8 for o.
-2
Let n be (-2)/1 + 68/4. Let c = n - 13. Let q(w) = 10*w**3 + w**2 - 1. Let o be q(1). Solve 4*z - 2*r = o, c*z = -z + 3*r + 9 for z.
2
Suppose 3*k - 2*k - 5*r = 19, -3*k + 3*r + 21 = 0. Suppose 5*i = 80 - 20. Suppose -k*f + i = -f. Solve -w + 3*y + 4 = 0, f*y = -5*w - 0*y - 37 for w.
-5
Let j be (12/6)/((-2)/3). Let g(z) = -2*z - 3. Let h be g(j). Suppose 0 = -p + 6 - h. Solve -4*b - y - 4*y + 10 = 0, -b - 1 = p*y for b.
5
Suppose 5*d + g = 131, 2*d - 5*g - 34 = 40. Let k = d + -17. Solve -10 = -2*p - 4*q - 0, q + k = 2*p for p.
5
Suppose 60*w - 278 = 142. Solve w = -4*c + 5*i + 28, 2*c + 17 = -3*i for c.
-1
Let d = 93 + -90. Solve 1 = -d*c - r + 2, 0 = -4*c - r + 2 for c.
1
Let b(i) = -2*i + 24. Suppose 2*s - 26 = -2*d - 8, 5*s - 23 = -3*d. Let f be b(d). Solve -4 = -2*k - m, -f = -k + 4*m - 0 for k.
2
Suppose 3*i + 2*f = 15, -4*f - 5 = 40*i - 39*i. Solve g - 3*r - i = 0, 3*r + 7 - 6 = 4*g for g.
-2
Suppose 841*d - 859*d + 90 = 0. Solve -6*t + d*t - 4 = 0, 5*t = 3*z - 32 for z.
4
Let h = 0 + 5. Suppose h*j - 13 = 7. Let q = j + 1. Solve 26 = 2*n - 5*u, 0 = -3*n - 8*u + q*u - 3 for n.
3
Let s = -15 + 28. Suppose -s = -2*x + 1. Suppose -x*o = -4*o - 12. Solve -f - 4 = 2*h + 3, -o*f + 27 = -3*h for h.
-5
Let n = -9 + 12. Suppose -n*q = -0*q. Let x(s) = s**2 - s + 2. Let u be x(q). Solve -u*o = -3*l - 25, 3*o + 4*l + l = -10 for o.
5
Let j be -4 - 9*(-20)/15. Suppose -3*a + 4 = -j. Solve n - 9 - 7 = 5*t, 3*n - a*t = 4 for n.
-4
Suppose 20 = -20*n + 25*n. Solve 3*p + t = 4, -n*p + 3*t - t = -2 for p.
1
Let g(j) be the first derivative of j**2/2 + 9*j + 4. Let a be g(-9). Let z be -12 + 18 - (a + 1). Solve -z*i = 25, -s = -0*i + 2*i + 14 for s.
-4
Let q(n) = 8*n + 59. Let j be q(-7). Solve 5*v - j = 2*z + 2*z, -10 = 3*z + 4*v for z.
-2
Suppose c = -4*f + 18, 59 = 3*c + 4*f + 5. Let q = c - 13. Solve 3*d = 5*x - 27, q*d + 9 + 8 = -x for d.
-4
Suppose -5*c = c - 24. Solve -4*k = 3*h + 3, -h - 3*h = -c*k - 24 for k.
-3
Let j(f) = 2*f**2 - f + 1. Let y(z) = -9*z**2 + z - 6. Let i(s) = -5*j(s) - y(s). Let m be i(3). Solve -2*b = -4*w, -4*w + 3*w + m*b = 0 for w.
0
Suppose 0 = 3*r - r. Let d(g) = g**3 + g**2 - g + 5. Let t be d(r). Solve 2*z + 2*w = 10, 0 = -z - z + t*w - 25 for z.
0
Let k(q) = q**3 + 6*q**2 + 3*q + 6. Let j = -19 - -14. Let m be k(j). Suppose -3*o + m = -4*n, 3*n + 4 = -3*o + 34. Solve -d + i = 2, 2 = -2*d - 3*i + o for d.
0
Let a(f) = 2*f + 8. Suppose 0*o - 3 = o. Let q(h) = 2*h + 8. Let p(i) = o*a(i) + 2*q(i). Let c be p(-6). Solve -4*r = -0 - c, -b + 4*r - 6 = 0 for b.
-2
Suppose 1 = -h - 5. Let p be h/(1 - (-8)/(-6)). Solve -m + 0*m + 3*n = -p, -13 = -m + 2*n for m.
3
Let r be -1*(4/(-16)*-8 + -19). Solve -2*l = -3*t - 5, 0 = -3*l - 2*t + r - 3 for l.
4
Let y be 1/1*0/3. Let w = 3 - y. Suppose -5*b = -2*h - w*h - 10, -b + 5*h = 10. Solve -2*f - 13 = 2*u - 1, b*u - 3*f - 10 = 0 for u.
-1
Let q(i) = 7*i + 9*i**2 - 3 + 2*i - 11*