 + 2*c = 9 for f.
-1
Let j be (-23)/((-18)/8 + 2). Suppose j = 11*o - 7*o. Let x = o - 20. Solve -4*r + 2 = -3*d + d, -x*r + 4 = -2*d for d.
-5
Suppose -3*y + 4*j = -28, 7 = 4*y - 3*j - 21. Let x(n) = n**3 - 6*n**2 + 7*n - 5. Let q be x(5). Solve 5 = q*v, -3*l + 3*v + 10 = y for l.
3
Let x(f) = 2*f + 24. Let d(y) = 2*y + 26. Let s(o) = 5*d(o) - 4*x(o). Let m be s(-16). Solve -m*n + 9 = -r, n + n = -4*r - 6 for r.
-3
Let b = -133 - -138. Solve -b*o + 13 + 2 = -5*z, 5*z - 3*o + 9 = 0 for z.
0
Let a be (-2 + 3)/(46/(-44) + 1). Let d = a + 24. Solve d*k - 5 = 5*y, y + 3 = k + 2 for y.
-1
Suppose 0 = 2*g - 4*g + 8. Let k(w) = -64*w - 1084. Let s be k(-17). Solve 25 = g*m + 5*p, -s*p = -m - 26 + 6 for m.
0
Let q be 312/(-130)*(-10)/6. Solve -a = -2*s + 4*s - 5, -s = q*a - 6 for a.
1
Let p = 19 + -24. Let l be ((-10)/p)/((-1)/(-2)). Solve l*j = -4*z - 8, -3*z - 5*j - 18 = -2*z for z.
2
Let d be (-204)/(-18) - (-2)/(-6). Let z(r) = -r - 6. Let w be z(d). Let b = 18 + w. Solve 4*q = t + 6 + b, 2*t - 4 = 2*q for t.
5
Let o(a) = -a**3 + 6*a**2 - 9*a + 5. Let r be o(2). Let s be (-5)/(-10) - 2/4. Solve 2*k + r*f = 5*f, -4*k - 3*f = s for k.
0
Let h be (-324)/(-180)*10/6. Solve h*v + 3*j - 9 = 0, 4*v - 1 = v - j for v.
-1
Suppose 399 = 116*p - 95*p. Solve 10*o - 13*o = 3*i - 3, 5*o + p = i for o.
-3
Let f(b) be the third derivative of 1/60*b**5 + 0*b + 0 - 7/24*b**4 + 5/2*b**3 - 4*b**2. Let x be f(5). Solve -x*h - 12 = -0*r + 2*r, -4*h = 2*r + 10 for r.
-1
Let s be 1/2*2*(24 - 28). Let q be 6*(s/(-8))/1. Solve -q*g - 8 = -5*b, g + 0*g = -5*b + 24 for b.
4
Suppose l + 3 = 6. Suppose -l*x - 2*v - 71 = 0, 19 = -x - 0*v - 3*v. Let f = x - -29. Solve 2*i = -f*t + 6*i, 0 = -t - 2*i + 3 for t.
1
Let f be -4 - -1 - (-36)/(12/3). Suppose -j = f*j - j. Let v = 0 - 0. Solve -2*m = j, v*o - o + 5 = m for o.
5
Let q be -5*(-4 + 96/10). Let t = q + 28. Solve -4*x = -0*x - 2*n - 26, t = -3*x + 2*n + 21 for x.
5
Let j be 8/2*2/4. Let l(h) = 2*h - 39. Let y be l(20). Suppose 5*n + n - 12 = 0. Solve -n*w - 5 = j*a - a, 2*w - a = y for w.
-1
Let i be 7 - -5*(5 + 12/(-2)). Let j = 0 - 0. Suppose j = 3*b - 3*d - 9, -3 = 3*b + 3*d - 12. Solve -f - 2 = b*n, 3*f - 3 = -i*f - 2*n for f.
1
Let k = 17 + -19. Let t be (k - -2) + 1 + 0 + 2. Solve 5*j - j = a - 19, t*a = 3*j + 21 for a.
3
Let l(d) = d**2 - 5*d - 8. Let f be l(6). Let x be ((-2 - -2)/2)/f. Solve x = -3*y + 1 + 2, 14 = -5*h - y for h.
-3
Let d(t) be the first derivative of -t**2 - 11*t - 3. Let u be d(-8). Suppose -5*h + 5 = -u. Solve -y + 0*y + 2 = 0, 2*o + h*y = -2 for o.
-3
Suppose -15 = -3*y + 2*q, 0*y + 4*q + 6 = -2*y. Solve -3*l - y*h = 12, 1 = 4*l + h + 2 for l.
1
Suppose 0 = 10*i - 13*i + 9. Solve -4*u + 15 = i*x - 4*x, u = 2*x - 5 for u.
5
Let k(w) = w**3 + w**2 + w + 5. Let j be k(0). Suppose -c = -j*m - 5, 13 + 2 = 5*m + 3*c. Solve -4*b + 2*u + 2 = m, 4*b + 5*u - 6*u = -3 for b.
-2
Let j = 33 - 35. Let q be ((-2)/5 + 0)/(j/180). Solve 0 = 3*o - b - 13, 5*o - q = 5*b - 1 for o.
3
Suppose 12*p = 7*p + 10. Suppose -p*r = -4 - 2. Let g = 3 + 8. Solve -r*k + 2*u - g = 0, -5*k + 4*u + 0*u = 21 for k.
-1
Let d = -957 - -977. Solve -5*z = -2*q + 11, -20*q + 5*z + d = -15*q for q.
3
Let f(a) = -a + 4*a - 2 + 10 + 1. Let k be f(-5). Let u be (-56)/k + 2/3. Solve -2 = 5*c + 4*n - u, -2 = 2*c - n for c.
0
Let l = -30 - -34. Let i be 840/60 + (1 - (-1 - -3)). Solve -j - i = -l*c, -2*j - c - c = -14 for j.
3
Let l = -34 + 59. Suppose l = b + 4*b. Suppose 6*i - 84 = -15*i. Solve 0 = b*f + i*w + 25 + 11, w - 16 = 5*f for f.
-4
Let b(q) = -2*q**2 - 3*q + 24. Let w be b(-4). Solve -3*p - w = -2*x + 19, 4*p = 3*x - 32 for x.
4
Let a(w) = -w**2 + 4*w + 1. Let z be a(4). Let n be (1/z)/(6/12). Suppose -3*k = 2*f, -2*f + 3*k = f. Solve m + 5 + 5 = -3*y, 3*y + n*m + 11 = f for y.
-3
Let d be -1 + (0 - -1 - -2). Suppose d*r = -2*r + 16. Solve 0 = -4*f - r*v - 13 + 5, -4*v = -2*f + 20 for f.
2
Let c = -816 + 821. Solve 4*z + l = -1, 0*l - 2*l = -c*z - 11 for z.
-1
Let b be (-2 + -1)/(12/(-112)). Let t be 24/9*105/b. Suppose 25 = 5*k + t. Solve -5*d = -3*o - k*d + 7, -4*o - d + 2 = 0 for o.
1
Suppose b + 6 = 5*i - 3, 5*i = 2*b + 8. Solve i*n = 3*v - 4, -2*n + 3*n - v + 1 = 0 for n.
1
Let d(s) = 37*s - 31*s + 2 - 1 - 3. Let a be d(1). Solve -2*b = -5*b + 2*q + a, q = -2*b + 5 for b.
2
Let r = -33 + 38. Solve -3*x = 4*b + 10, -24 = -3*x + x + r*b for x.
2
Suppose 3*y - 19 = p, 2*p = 2*y - 3*p - 30. Suppose -20*x + 154 = -6*x. Let j = 10 - 3. Solve 0 = 4*i - w - 4, -2*w + j = y*i - x for i.
2
Suppose g + g = -5*a - 5, 0 = -3*g - 4*a - 4. Solve -1 = y, -2*z - 3*y + g = -3 for z.
3
Suppose 0 = 2*o + x - 18, 2*o + 2*x = -8 + 30. Suppose 32 = 4*c - 2*f, 5*f - 2 - 35 = -3*c. Solve -n - 4*s = -o*s + c, s - 3 = 4*n for n.
0
Let s = 19 + -12. Let p = -725 + 728. Solve 2 = -5*u + 17, 2*x + p*u = s for x.
-1
Suppose -5 = -l, -4*c + 4*l = 83 - 35. Let f = c + 8. Solve 0 = -t - f, -4*d + 3*t = -d for d.
-1
Let c be (-306)/10 + 9/15. Let q = 35 + c. Solve -q*g + 15 = -5*r, 9 = -2*r + 2*g + g for r.
0
Let c = -61 + 70. Suppose 4*i + c = 9. Let s = 1 + 1. Solve -2*n + i = s*l - 4, -5*n - 18 = -2*l for l.
4
Suppose 0 = 5*k - w + 5*w - 48, -5*k - 2*w + 54 = 0. Solve 0 = -0*l + 3*l + m + k, 5*l - 3*m + 34 = 0 for l.
-5
Let z be (-22)/(-143)*(-130)/(-10). Solve -z*v + 2*m - 2 = -4, 2 = m for v.
3
Suppose -n - 4*d - 8 = 0, -5*d = -4*n + 15 + 16. Let u = -8 - -13. Solve u*m - n*j + 17 = 0, m - 2 = -j - 0 for m.
-1
Suppose -55 = 4*b - 19. Let t = b + 11. Let z be (1 + 0)/(1/t). Solve -q = z*q + 6, -4*q - 14 = 2*l for l.
-3
Suppose 14 = g - a, -6*g = -7*g + 3*a + 10. Solve 5*k + g = 4*h - 13, 0 = -k - 5*h for k.
-5
Let i be -7 + -11*(-4)/(-16)*-4. Let d(n) = n. Let t be d(-3). Let j be t*(16/(-6) + -2). Solve i*r = -5*z + j, r + 2*z + 2 = 7 for r.
1
Suppose 0 = -2*p - 4*p. Suppose 2*j + 5 - 9 = p. Solve 3*s = 9, 4*r + s - 3*s = -j for r.
1
Suppose -12*n = -25*n + 65. Solve -2*p = -n*q + 1 + 29, 0 = 2*p + 5*q - 10 for p.
-5
Suppose 24 = -685*q + 693*q. Solve -4*c - 6 = -q*x + 4, -c + 2*x = 0 for c.
-4
Let m = -34 + 47. Suppose -u = 10 - m. Solve 2*k + 2*n = -2, u*k + 4*n = 6*k + 17 for k.
-3
Let u = 242 - 239. Solve 0*j - t + u = j, t - 5 = -2*j for j.
2
Suppose 5*h - g = 62, -2*h + 28 = 3*g + 10. Let w be 57/h - 18/24. Solve w*d + 3*u + 5 = 0, u - 5 = 4*d + 4 for d.
-2
Let r(j) = -j**3 + 7*j**2 - j - 2. Let t be r(2). Let d(z) = 3*z + 3. Let w be d(-3). Let u be (-31)/w - t/96. Solve u*i - 15 = 3*n, 4*n - 6*i + 9 = -3*i for n.
0
Suppose 4*i - 5*r - 645 = 0, -4*r = 1 + 3. Suppose i = 4*k + k. Suppose -4*n - k = -8*n. Solve 5*m + 4 = 5*a + 24, -m = 3*a - n for m.
5
Let q be ((-15)/(-10))/(5/(-4) + 2). Solve 0 = 3*l, 4 = q*c - 0*c - 3*l for c.
2
Let g(f) = -3*f - 1. Let b be g(-1). Suppose -b = -3*m + 25. Suppose -m*q - 5 = -14*q. Solve 6 = 5*u - 2*x - q, 0 = -3*u - 2*x + 17 for u.
3
Let b be 9 - 0 - (-6 + 8). Suppose -14 = 2*i + 5*c, -4*c - 9 - b = 0. Solve i*q + 15 - 2 = -f, 3*f + 12 = 0 for q.
-3
Let i = -1 - -2. Let z be -3*i*4/(-6). Let l = -149 + 154. Solve q - z*v = 3*q + 6, -v - 19 = l*q for q.
-4
Suppose -5*p + 15 = 0, 2*w + 2*p = -2*w + 18. Let f(h) = 7*h - 21. Let z be f(11). Let u = -46 + z. Solve w*r + 5*i - 3*i - 10 = 0, r = -2*i + u for r.
0
Let p = -28 + 31. Suppose -w - p*b - 4 = -0*b, 0 = -5*w + b + 44. Solve -x + 3*f = -20, 3*x - w*x - 4*f + 5 = 0 for x.
5
Let f(o) = -29*o + 120. Let l be f(4). Solve q - 3*d + 25 = d, -5*q = -l*d + 45 for q.
-5
Suppose -10*h + 13*h - 15 = 0. Suppose 4*t = -y + 13, h*y = 5*t - 0*y - 10. Solve -2*v + 3 = -5*a, 4*v - 19 = -t*a - 0*a for a.
1
Suppose -11*r = -9*r - 32. Let m = 20 - r. Suppose 6*k = 3*q + 2*k - 14, 5*q + m*k - 2 = 0. Solve -5*p + 2*b = 0, -q*p + 3*b - 9 = p for p.
2
Let h(u) = 2*u + 37. Let n be h(-16). Suppose 0 = -5*o + n*w, -w = -o - 2*o + 10. Solve 12 = 3*y - 2*y - 4*z, o*y - 15 = 5*z for y.
0
Suppose c + 6 = -2*c. Suppose -3*o = 6*a - 3*a - 33, -o - 4 = -4*a. Let h = o + c. Solve j + 2*z - 1 = 0, -7 - h = j - 5*z for j.
-3
Suppose -3*b = 5*w - 20, 3 + 5 = 2*w + 5*b. Suppose 0 = -p - w*p + 3*m + 66, 0 = 2*p + 3*m - 18. Solve -s + p + 13 = -5*k, 35 = -5*k + 3*s for k.
-4
Suppose -c + 10*c - 54 = 0. Solve -2*g + 12 = -2*a, 0 = -3*a + c*a + 5*g - 22 for a.
-1
Let l(i) = 8*i**2 + i. Let o be l(-