 = 3*c + 5*f. Suppose -5*l + c*l - 20 = -5*a, 5*a + l = 8. Solve 2*x = -0 + a for x.
1
Suppose -56 = -5*s - 9*s. Solve -s*a + 2 - 18 = 0 for a.
-4
Let u(d) = d**2 - 11*d + 6. Let r be u(11). Let b(t) = -t**2 + 6*t + 4. Let z be b(r). Suppose -z*p + w + 34 = 2*w, -4*w = 3*p - 19. Solve -p = -3*m - 3 for m.
2
Suppose u + 23 = s - 2*s, 5*u - 5*s = -155. Let a = u + 29. Solve 0 = b + 7 - a for b.
-5
Let s(o) = 0*o**3 + 2*o + 0*o - 3*o**3 - 3*o - o**2 - 1. Let c be s(-1). Suppose i + 8 = -5*h + 32, -36 = -5*i - 4*h. Solve -m + i = c for m.
2
Suppose 2*o = -35 + 35. Solve 15*c - 12*c = o for c.
0
Let c(s) be the second derivative of -s**5/20 - s**4/3 - 5*s**3/6 - 2*s**2 - 12*s. Let k be c(-3). Let t = -6 - -21. Solve 5 = -k*w + t for w.
5
Let h be 0/(-3 - -6) - -5. Let p be h + -2*(-15)/10. Solve -20 = 4*t - p for t.
-3
Suppose b - k - 70 = -4*b, 3*b - 59 = 4*k. Solve 0 = 14*c + b + 15 for c.
-2
Let r be (-7)/1*(-3)/6*2. Suppose f + r = 11. Solve -1 = -5*u + f for u.
1
Let m = -78 + 50. Let c = -17 - m. Solve 4 = 5*f - c for f.
3
Suppose 69*d = 59*d + 40. Solve d*r + r = -25 for r.
-5
Let s be -135 + 126/(-105)*(-20)/(-6). Let q = 141 + s. Solve 0 = -5*m + 17 - q for m.
3
Let z be 6/(-8) + -2 + (-616)/32. Let o be (8/18)/(z/(-99)). Solve 0 = -0*r - o*r - 6 for r.
-3
Let x(n) = -11*n - 3*n**2 + 2*n**2 + 2*n + 4*n. Let t be x(-4). Solve -t*l = l for l.
0
Let f be 4/(1/(-8) - (-39)/184). Solve 50 - f = v for v.
4
Suppose 5*i + 3*p - 15 = 0, 3*i - 12 = -i - 4*p. Solve -6 = b - i*b for b.
3
Suppose -3*j + 6*t + 14 = t, -j + 5 = -2*t. Let w be 4/6 + 16/j. Suppose 5*f - 124 = 1. Solve 0 = z - w*z - f for z.
-5
Suppose 0 = 5*d + 2*d - 2*d. Suppose -3*m = -5*q - 52, 3*m + 6 = -3*q + 66. Suppose 1 = -3*s + m. Solve d = -3*j + 6 + s for j.
4
Let g(m) = 29*m - 195. Let a be g(7). Solve a*j = -2 + 26 for j.
3
Let z(p) = -p**3 + 5*p**2 + 4*p - 14. Let k be z(5). Solve v - 5 = k*v for v.
-1
Let m = -43 + 48. Solve -m*i + 3*i = 0 for i.
0
Suppose a + 3*u - 3 = 0, -5*a - 8*u = -3*u - 5. Solve a*n + 3 = -3*n for n.
-1
Suppose -4 = h + 1. Let r be (84/10)/(h/(-25)). Suppose -3*i = -3*y - r, -4*i - 4*y = i - 52. Solve -i = -2*t + 6*t for t.
-3
Let s(z) = -z - 4. Let f(p) be the first derivative of -2*p**2 - 12*p + 3. Let h(b) = 2*f(b) - 7*s(b). Let c be h(3). Solve c = -u + 4 for u.
3
Let h = 112 - 100. Let b = -22 + 16. Let g = h + b. Solve -4*z - 10 = g for z.
-4
Suppose -2*g = 3*g - 4*r + 50, 4*g = 3*r - 39. Let p be 4/g + (-116)/(-12). Let n(c) = 5*c**3 - c. Let t be n(1). Solve -t*h = -p*h + 25 for h.
5
Let h(y) = -y**2 + 4. Let j be h(0). Let q(p) = -p**3 - p. Let n = -8 + 7. Let a be q(n). Solve -2*l - a = j for l.
-3
Let y(m) = -m**2 + 33*m + 70. Let x be y(35). Let d(k) = 2*k**2 + 3*k + 1. Let h be d(-2). Solve 4*s + h - 23 = x for s.
5
Suppose 2*h - 4 = -4*j, 0 = 3*h - 6. Let f = 1 + 3. Solve j*b + b + f = 0 for b.
-4
Let u be 0/(-5 + 0) + 4 + 1. Suppose -u*i = -10 - 20. Solve -2*p - i = 2 for p.
-4
Let z(l) = 4*l - 6. Let t be z(4). Suppose -5*k = -5*x - 30, -5*k = -0*x - x - t. Let d = x + 9. Solve 5 = -d*u - 3 for u.
-2
Let x(q) = 17*q + 71. Let w be x(-3). Solve w = -c - 4*c for c.
-4
Let m = 62 + -42. Solve 16*d - m = 11*d for d.
4
Suppose 4*f - 2*f - 15 = 3*t, -2*t + f - 9 = 0. Let b be (2 + 1)/(t/(-4)). Suppose b = i + 2. Solve i*j - 3 = j for j.
3
Let g(z) = z**2 + 9*z + 11. Let i be g(-7). Let q(f) = f**3 - 2*f**2 - 2*f. Let t be q(3). Let v = t - i. Solve v*a - 3*a = 3 for a.
1
Suppose -3*j + 2*k + 108 = j, -5*k = 5*j - 165. Suppose 28*h + 1 = j*h. Solve -h = v + 2 for v.
-3
Suppose -m + 7 + 0 = 2*c, c + 2 = 0. Let x(d) = -3*d**2 + 13*d + 3. Let z be x(5). Let p = m + z. Solve 0 = p*l - 0*l - 16 for l.
4
Suppose -2 = 4*a - 0*a - u, -5*a = -4*u + 8. Let q be (2 - 2 - a)/(-1). Let l be 408/(-60) + 7 + (-38)/(-10). Solve r - 3*r + l = q for r.
2
Let b be (-7)/(-105) + (-3)/45. Solve 0 = f - b*f - 2 for f.
2
Let x(h) = -h**2 + 6*h - 8. Let i be x(3). Let k be 105/14 + i/2. Solve k = -2*y + 4*y for y.
4
Suppose 0 = -5*b - 4*v - 153, -5*v = 6*b - b + 150. Let w be (-6)/b + 2/(-11). Suppose z + 0*z = w. Solve z = 2*x - x for x.
0
Let z(m) = -5*m + 52. Let n be z(0). Let b = -49 + n. Solve -4 = b*h - 2*h for h.
-4
Suppose 232 = -22*m + 51*m. Solve 0 = -6*q + 10 + m for q.
3
Suppose -3*p - 8 = -17. Suppose r - h = -p*h - 2, 2*h = -3*r + 14. Solve r = -3*g + 23 for g.
5
Suppose -13 = -6*i + 5. Suppose -i*n - 1 = -7. Solve n = m - 0 for m.
2
Let u = -609 - -639. Solve 4*h + 42 - u = 0 for h.
-3
Suppose 2*d + 4*x = 3*x + 9, 0 = -d - 2*x + 9. Suppose d*c - 5*c = -8. Suppose 0 = c*o + o. Solve o = 2*r - 5*r + 15 for r.
5
Let a(q) be the third derivative of q**4/24 - q**3/6 + q**2. Let t be a(1). Solve -2*r + 10 + 0 = t for r.
5
Let v(s) = 4*s**2 + 4*s - 1. Let d be v(-2). Solve 0*r - 21 = -d*r for r.
3
Let f be (0 - -55)*2/10. Let d = f + -8. Let m be 39/5 + 1/5. Solve d*w + w = -m for w.
-2
Suppose 3*a + 40 = 5*s, 7*a = 4*s + 6*a - 25. Solve z - 2 = -s for z.
-3
Suppose -35 = -48*p + 41*p. Let o be 105/4 + ((-57)/(-12) - 5). Solve -1 + o = p*c for c.
5
Let r(m) = m + 2. Let u be r(-2). Suppose -4*z = -4*n + 16, 4 = z + 3*n - 8. Solve u = w - z*w - 4 for w.
4
Let h = -4 - 90. Let j = h - -96. Solve -j*d + 10 = -0*d for d.
5
Let y(u) = -12 - 6*u + u + 4*u. Let l be y(-11). Let o be 0/(l + -2)*-1. Solve 2*v + 0*v + 2 = o for v.
-1
Let d(x) = x**2 + 6*x + 4. Let f be d(-4). Let l = -2 - f. Suppose 5*n + q - 16 = 0, 4*n = n + q. Solve g - l*g = -n for g.
2
Suppose -3*p = -0 - 18. Suppose -24 = -6*k - p*k. Solve -5 = 3*g + k*g for g.
-1
Let q = 10 - 6. Let x be (1/1)/((-2)/q). Let d = 3 + x. Solve s - d = 4 for s.
5
Let j be 172/258 + (-7)/(-3). Solve 5*n + j*n + 16 = 0 for n.
-2
Let g be (-237)/(-8) - 9/(-24). Suppose 0 = -4*v - 2*v + g. Solve -v*j + 8 = -2 for j.
2
Let z(n) = -2*n - 21. Let s be z(-11). Solve 4*p - 5*p = s for p.
-1
Let m be ((13 - 6) + -4)*7. Solve 7 = -7*r + m for r.
2
Suppose 2*y + 3 - 15 = 0. Suppose -5*x + 44 = y*x. Solve -x*m + 3*m + 4 = 0 for m.
4
Let t be 1/3 - 64/3. Let h = 37 + t. Suppose 6*r - 4*r = -4*d + 14, -5*d - 4*r + 22 = 0. Solve -d*s = -h + 6 for s.
5
Let d(t) = 4*t**2 + t - 4. Let r(w) = 3*w**2 + 2*w - 3. Let q(m) = -4*d(m) + 5*r(m). Let f be q(6). Solve 3*j - f = 8 for j.
3
Let h = 79 - 74. Solve 0 = 4*b + 1 - h for b.
1
Let y(x) = 2*x**3 - 99*x**2 - 48*x - 91. Let i be y(50). Solve 0 = i*c - 1 + 46 for c.
-5
Let k = -53 + 82. Solve 35*o + 6 = k*o for o.
-1
Let a(b) = -7*b + 20. Let o be a(0). Solve -o*z = -17*z + 6 for z.
-2
Let c(r) = -r**2 + 6*r + 1. Let x be c(5). Let l = -4 + x. Solve 0 = 2*f + l*f - 4 for f.
1
Suppose 4*f - 18 = 42. Suppose -5 = -5*i + n + 10, i - 3*n + 11 = 0. Suppose -5*b = 10, -i*x = -4*b - f - 1. Solve -4 - x = -3*q for q.
2
Let f = 21 - 24. Let g be (-3 + (-8)/f)*-6. Suppose 22 = 2*q + g. Solve o - q = -4*o for o.
2
Let r = 3 + 6. Let x be r - (3 + -4 + 2). Solve 4*y - x - 8 = 0 for y.
4
Suppose -u - 3*f + 27 = 2*u, 19 = 3*u + f. Suppose u*t = 3*t + 6. Let o be 1 - (4 + 0 - t). Solve 4*d + 12 + 0 = o for d.
-3
Suppose 0 = -3*u, -2*u + 10 = 3*f + 2*f. Solve -2*z + 6 + f = 0 for z.
4
Suppose 3*l = 15, -8*l = 4*t - 3*l - 33. Let h be 0/6 + (5 - t). Suppose -18 = -3*d - h*a, 0*d - 4*a + 18 = -2*d. Solve -9 = 2*k + d for k.
-5
Let d be 6/45 + (-22920)/(-225). Solve -r + 105 = d for r.
3
Let z(i) = -i**2 + 11*i + 30. Let u be z(13). Let m be 1/((-1)/5)*(u - 5). Solve -1 = 3*q + m for q.
-2
Suppose 2168*k = 2157*k + 44. Solve 55 = -k*c + 55 for c.
0
Let s be -3*8/(48/(-10)). Let b = 8 - 4. Let w be -6*(-2)/b*1. Solve w*o = s*o - 8 for o.
4
Suppose -2*m = -4*w, 0 = -4*m - 3*w + 12 + 43. Solve -24 = -m*z + 6 for z.
3
Let n be 2/2 - (-10 - -11). Let x be (-2)/4*(-40)/5. Suppose n = -x*i - 4 + 12. Solve y + i*y = -12 for y.
-4
Let b(i) = i**2 + 4. Let y be b(0). Let l be (-21)/63 + (552/(-9))/(-4) + -7. Solve -l + y = -2*f for f.
2
Let o(u) = -3*u**3 + 2*u**2 - u - 2. Let g be o(-1). Solve -g*h = -3*h + 4 for h.
-4
Let h = -445 - -453. Solve 0 = 8*u - 4*u - h for u.
2
Let g be (5/(-5) - 0)/((-2)/4). Solve 0 = -3*c + 2*c + g for c.
2
Let l(n) = -n**3 - 2*n**2 - 3*n - 1. Let p be l(-2). Suppose 0*o = -p*o. Solve 2*m - 1 - 1 = o for m.
1
Suppose -3 = 7*y - 10. Solve 3 - y = -x for x.
-2
Let g = -51 - -51. Solv