2*f = -22 for b.
-4
Suppose 12*y - 6*y = -0*y. Suppose 3*p - 2*q = 0, y = -2*p - 4*q + 6*q - 2. Solve 3*b = -p*x - 15, -2*b + 4*x = b - 3 for b.
-3
Let p be (-6)/(-39) - (-206)/13. Suppose 2*q = 148 - p. Suppose -56*z + 59*z - q = 0. Solve -3*r - z = 2*k + r, k + 5*r = -20 for k.
-5
Suppose 59*c + 3*y - 6 = 58*c, 0 = -2*c + 5*y + 1. Solve -c = u, -2*u = -j - 3*u + 1 for j.
4
Suppose 1872 = 10*g + 3*g. Let p be 2664/g + ((-5)/2)/1. Solve -5*w + 5*b - 9 = -w, 4*b - p = w for w.
4
Let s(p) = -2*p**2 - 18*p - 16. Let u be s(-7). Let k be (5/(-3))/(u/(-36)). Solve k*n + 0*v + 10 = -2*v, 5 = -3*n - v for n.
0
Let m(f) be the third derivative of 0*f + 0 + 1/6*f**4 + 18*f**2 + 10*f**3. Let i be m(-15). Solve -t - 13 = -5*h - 2*t, i = 3*h - 3*t + 3 for h.
2
Let b = -4 - -76. Suppose -7*r = -b + 37. Solve 3*i - 1 = i - 3*d, 3*i + r = 2*d for i.
-1
Let s be ((-9)/(-15))/(3/30). Suppose -7 - 8 = -3*r. Suppose 5*b - 40 = -4*m, -7*m = -4*m - 4*b + 1. Solve -m*d + 10 = r*y, 3*d - y = -0*y + s for d.
2
Let m(d) be the first derivative of d**2/2 - 5*d - 2. Let j be m(6). Suppose -1 = -z + 3*w - 8, -3*z + w = -11. Solve s = -2*n + 4*n + j, 7 = 4*s - z*n for s.
3
Suppose 3*k - 29 = y - 1, -2*k + 2*y + 12 = 0. Solve k = 5*q - v - 18, -28 = -4*q + 2*v for q.
5
Suppose 9 = -3*x + 6, 0 = -5*s - 4*x - 14. Let a be ((-2)/4)/(s/4) + 3. Solve 2*k + a = -j - 9, -2*j + k - 6 = 0 for j.
-5
Suppose 0 = 21*t - 1 - 368 - 51. Solve 5*u = 4*k + k - t, 5*k + 2*u = -8 for k.
0
Suppose 2*b + 12 = 4*y, -5*y + 4*y + 3 = 2*b. Let z be (-36)/(-12) - (0 + y). Let c be 1/(-4) + (-27)/(-12). Solve -3*d - 2*f = 2*d - c, z = d + 2*f - 2 for d.
0
Suppose -4*w = -2*r - 58, w + 3*r = -2*w + 48. Suppose -3*i = -k + w, -3*i = 3*k - 4*i - 13. Solve k*s + 3*m = 21, -3 = s - 5*m + 8 for s.
4
Suppose -97 = -8*d - 9. Let o be -4 - (-28)/(d - 7). Solve 2*r + 8 = -o*c, -3*c - r + 2 - 9 = 0 for c.
-2
Let u(s) be the second derivative of s**4/12 + 7*s**3/6 - 7*s**2 + 16*s. Let f be u(3). Solve -5*v - 25 = 5*n, -3*v + f = -8*v + 4*n for v.
-4
Let g(q) = -244*q**3 - q + 2. Let f be g(1). Let s = -243 - f. Solve s = -a + c + 2*c + 12, -5*c - 25 = 0 for a.
-3
Let l = 7 - -1. Suppose -l = -33*g + 31*g. Suppose 2*b + 5*n = -15, g*b + 4 = n + 7. Solve -17 = o - 0*c + 4*c, 2*o + 5*c + 22 = b for o.
-1
Let l = 1 + -373. Let f = l - -374. Solve 0*x - f = x - 2*p, 0 = -x - 4*p - 8 for x.
-4
Suppose -3*o - o = -3*t - 30, 0 = 5*o - 5*t - 35. Let a be 5 + 14/(-4) + o/18. Solve 1 = 4*i + 3*k - 0*k, a*i = 4*k - 16 for i.
-2
Let i(r) = -17 - 4*r - 7*r**2 + r + 20*r + r**3 - 7*r. Let z be i(6). Solve 0 = 4*h + 2*x - z - 3, -4 = -h - 2*x for h.
2
Let w(r) = 5*r - 122. Suppose -k + 50 = -5*n, -4*k + 93 = -2*n - 17. Let b be w(k). Solve -5*s + 13 = 3*g + 3, -4*g = b*s + 5 for s.
5
Suppose -22 = -5*c - 3*r, -50*r = -5*c - 49*r + 6. Solve 0 = -c*n - 10, -2*q - 4*n = q + 26 for q.
-2
Let h = -6626 + 6630. Solve 2*o = -0*q + 5*q - 28, 2*q = -h*o - 8 for o.
-4
Let v be -3 - (6/(-14) + (-5319)/(-63)). Let o = v + 93. Solve o*d - 2*d + 15 = r, 21 = 4*r - 3*d for r.
3
Let m be 2/10 + (-170)/(-25). Suppose z + 3 = -j + 4, -j - m = 5*z. Let f = 3403 - 3398. Solve 5*g + 4*a = 22, -j*a + f + 10 = 3*g for g.
2
Suppose 0 = 5*z - 4*g + 13 + 14, -4*g = -3*z - 21. Let p = -3 - z. Suppose 18*u - 14*u = -2*l + 4, -5*l = -3*u + 16. Solve -4 = -u*i - 2*k, p = k - 3 + 6 for i.
5
Let g(c) = c**2 + 75*c + 902. Let y be g(-15). Suppose 0*q - 21 = 3*q. Let x = -3 - q. Solve -20 = 2*a - 4*h + 8*h, -x*a = y*h + 10 for a.
0
Suppose -3*l + 50 = 7*w, 0*l - 2*l + 3*w - 5 = 0. Solve 7*d - 3*t = 2*d - 9, 15 = -5*d + l*t for d.
0
Suppose 0 = 3*w - 3*d - 2*d - 40, 3*w + 10 = -5*d. Solve -4*u + 3 = 4*r + 7, 2*u - w*r + 30 = 0 for u.
-5
Let t(p) = p**2 - p. Let o be t(0). Suppose -3*d + 17*d - 84 = o. Suppose 3*j = k + d*j - 14, -2*k = -j. Solve -2*r + k*c = 7*c, -2*r - 18 = -4*c for r.
-5
Suppose 0 = -6*r + 20*r - 6160. Let y be r/44 - (5 - (-1 - -1)). Suppose 5*v = 12 + 43. Solve -3*c - v = -y*w, 3*c + 2*c + 4*w = 31 for c.
3
Suppose -2*t - 4*g + 288 = 0, 2*g - 472 - 104 = -4*t. Let s be (t/40)/9 - 204/(-15). Solve 3*u + 5*v = s, -4 - 3 = -u - 4*v for u.
3
Let b(o) = -41*o - 460. Let i be b(-12). Solve -22 = -i*z + 30*z + 3*d, 3*z - 23 = 2*d for z.
5
Suppose -a - 2*a = 2*a. Let u be (-4 - 42/(-12))*a. Solve w - 8 = 2*n - u*w, 5*w = -5*n - 5 for n.
-3
Suppose 2*u + 11 = 13. Suppose 3*d + 13 = 5*c, 0 = -3*c + d + 6 + u. Solve -c*r - 2*a - 23 = r, 2*r - 5*a - 10 = 0 for r.
-5
Let w be 5*12/(-30) + 5. Suppose -2*c - w + 11 = -2*m, 5*m = c. Solve 2*h - 4*g - m - 17 = 0, 2*h + 22 = -4*g for h.
-1
Suppose 11*q = -4*q + 210. Suppose 13*u + q = 40. Solve 0 = u*s + 8, 5*o - s = 4*o + 3 for o.
-1
Suppose -3*a + 2 = 2*b, 480*a - 4*b - 32 = 477*a. Solve 2*v = 4*y - 0*y + 18, a*y + 33 = 5*v for v.
5
Suppose -7*l = -99 - 90. Let p(q) = q - 27. Let a be p(l). Solve 5*k = 5*i - a - 5, -4*k = 3*i - 10 for k.
1
Let b be (5 - 10/(-2)) + 11 + -16. Solve -5*m - q + 24 = 0, 3*q = b*m + 6*q - 22 for m.
5
Let z = 32 - 4. Suppose -5*u + z = -u. Suppose -5 = 5*o - 20. Solve g + k = 0, u*k - 2*k = -o*g - 10 for g.
5
Let z(l) = l**3 + 20*l**2 - 36*l. Let u be z(2). Solve -2*x - u = 2*d - 0*d, 4 = -2*x + 2*d for x.
-5
Let b(q) = q**3 + 12*q**2 + 16*q + 15. Let c be b(-10). Let x be (-4)/4 + 1 - c. Let k = 63 + x. Solve -5*o - k = d, -o + 16 = -2*o - 5*d for o.
-1
Let u(f) = -21 - 19*f - 18*f + 85*f - 19*f - 25*f. Let a be (-1 - -2)/(2/12). Let b be u(a). Solve -5*s = -3*h - 5 - b, -4*s = 4*h for h.
-1
Let s(q) = 2*q**2 - q. Let y be s(2). Suppose 30*k = 21936 + 56814. Let h be (k/14)/25*(1 + 1). Solve -y*x - 3*l - 40 = -x, -5*l - h = -2*x for x.
-5
Let d = 3803 + -3777. Solve 0*o - l = -5*o + d, -9 = -o + 4*l for o.
5
Let d(l) = -2*l**2 - 9*l - 16. Let o(q) = 2*q + 30. Let s be o(-19). Let h be d(s). Let z = h + 77. Solve -z*m = 4*p - 29, -2*p - 3 = -5*p for m.
5
Let f be -5 + 23 + -2 + -4. Let o be (4/12)/(2/24). Suppose o*t - t = f. Solve -5*p = 3*y + 14, 2*p + 2 = y - t*y for p.
-4
Let s = 11861 + -11857. Solve s*m - 4*o = 0, -3*o = 5*m - 17 - 23 for m.
5
Suppose 70*q = 220 + 130. Solve -5*g - 2 = -3*c, 5*c + 4*g - q*g = 18 for c.
4
Let l be -25*(1 - (-61)/(-5) - -11). Solve 0 = 3*b - 2*t + 23, 7 = -2*b - 2*t + l for b.
-5
Suppose -48 = -2*q - 42. Let m be -4*(-3 - (2 - 1)). Let t be ((-9)/(-18))/(2/m). Solve -3*o = -w + t, -5*o + q*o = 4 for w.
-2
Let b = -204 - -187. Let v(w) = w**3 + 16*w**2 - 21*w - 65. Let x be v(b). Solve 3*a + x = 5*f + 27, -2*a = 2*f for f.
-3
Let k(q) = 46*q + 2. Let s be k(-2). Let o = s + 72. Let v be (13/(-2) + 4)*o/5. Solve -b + 2*m - 2 = 0, 2*b = 2*m - 3*m - v for b.
-4
Suppose -8 = -3*o - 7*r + 3*r, -4*o + 4*r = 8. Suppose o = 10*l - 83 + 43. Let i be 24/16 + (-3)/(-2). Solve -2*y = h - 8, 0 = i*h - y + l - 0 for h.
0
Let o = 3 - 2. Let u(i) = -3*i - 105 - 108 + 214 + 6*i. Let q be u(o). Solve -2*z + j - 8 = z, 0 = 2*z - j + q for z.
-4
Suppose 874*b - 35 = 867*b. Let o be 2/(-5) - 57/(-5). Suppose -b*r + o + 4 = 0. Solve -w + 18 = -4*n, r*w - 2*n = -n - 1 for w.
-2
Let o = 5 + -3. Let g(s) = -56*s**2 - 739*s - 140. Let n be g(-13). Solve -2*v + 4*z - z = 12, o*v = -n*z for v.
-3
Suppose -3*v = -2*t - 5, 3*t - 4*v + 2*v = 0. Suppose -4*c + 5*o = -21, -c = 3*o + o. Solve 2*r + 5 = 3, t = -2*a - c*r for a.
1
Suppose -m - 1673 = u - 2306, -4*m = u - 2505. Solve -m*i + 6 = -3*s - 622*i, 4*s + 13 = i for s.
-4
Suppose 4*k - 7 = 5*m, -116*m = 3*k - 113*m - 12. Let n = -23 + 25. Solve -d = 4*x - 19, k*d = 2*x + 3 - n for d.
3
Let w(b) = b**3 + b + 5. Let f be w(0). Let x = f + -1. Let q(r) = -14*r - 16. Let n be q(-2). Solve 0 = -3*j + 4*m - 7*m - n, -2*m - 6 = x*j for j.
1
Let g be 15 - 9 - 10/(-2). Let n(o) = 5*o - 55. Let u be n(g). Suppose -w = -x - 6*w - 5, w - 8 = -2*x. Solve -4*c = 3*r - x, -5*c + u*r + 7 = 4*r for c.
-1
Let l = -125 + 126. Suppose 3*p + l = 1. Solve 2*w = d - 1 + 3, p = 2*w - 4*d - 8 for w.
0
Suppose -2*l = -2, -26*l + 27*l - 3 = -c. Solve -c = 3*h - v - 4, 21 = -h - 4*v for h.
-1
Suppose 11 = -5*h + 2*h - 4*q, 5*h - 4*q = 35. Suppose 45 = l + 6. Suppose l = 6*t + 15. Solve t*v - 5*m + 4 = -0, 3*v - h*m = 0 for v.
4
Let w(r) = 12*r + 15. Let q be w(-1). Suppose g + 0*h = 4*h - 12, -q*g - h = -16. Solve 22 = g*j - 0*j - 2*o, 3*j - o