 + 6 = -f for v.
2
Let v = -416 + 424. Solve 12 = 4*l + v for l.
1
Let w(t) = 6*t + 6. Let q be w(-4). Suppose 3*j - 4*j - 13 = 0. Let b = j - q. Solve b - 1 = d for d.
4
Let k(h) be the third derivative of -h**4/8 + 7*h**3/3 + 3*h**2. Let l be k(4). Solve -5 = m - l*m for m.
5
Let m = -13 + 15. Suppose u = -4*r + 3*r, 4*r + 2*u = -8. Let v = r - -10. Solve -m*k - 2 = v for k.
-4
Let q be (-10)/(-3)*(-12)/(-8). Suppose 9 = -4*s + 1. Let c be 0 + (-3 - s) + 3. Solve -c*y = -q*y - 15 for y.
-5
Suppose 136 = -25*v + 161. Suppose -13 = -t - 5*f, -2*t = 2*t - 3*f - 6. Solve -v = t*a + 8 for a.
-3
Suppose -4*t + 6*t = -5*w - 1, 0 = 4*w + 3*t + 5. Let a be (3 + (-6 - -4))/w. Solve g = -0*g - a for g.
-1
Let t = 111 - 90. Solve -3*n - 4*n - t = 0 for n.
-3
Suppose -57 = -4*m + 87. Let y be (m/8 + -1)/(3/6). Solve y = j + 2 for j.
5
Let y be (4/12)/((-1)/(-6)). Suppose -21*a + 23*a - 8 = 0. Solve 0 = y*q - 0 + a for q.
-2
Let g be 5/(-2)*(-60)/25. Suppose -g*f + 23 = -f + 2*z, 0 = 4*z + 4. Solve f*i = 6 - 1 for i.
1
Let y(f) = -f**2 + 17*f - 28. Suppose 0 = 2*c - 3*b - 6 - 21, 5*c - 5*b = 70. Let v be y(c). Solve -v = 5*j + 18 for j.
-4
Suppose 0 = -108*i + 99*i + 9. Let u(r) = -r - 1. Let v = 1 + -6. Let g be u(v). Solve g*n - i = 3*n for n.
1
Suppose 0 = l + v + 4, -2*v + 0 = 8. Solve l = 14*o - o - 39 for o.
3
Let f = 10 + -8. Let i be -2 + (-1 - 0) - (f - 5). Solve i = -3*k - 2 - 10 for k.
-4
Let k(j) = 2*j**3 + 20*j**2 + 5*j + 52. Let g be k(-10). Let w be 16/6 + (-1)/(-3). Solve g*b = w*b - 2 for b.
2
Let r be 8/1 + 1 + (-48)/8. Solve r*f - 5 + 5 = 0 for f.
0
Suppose 0*p + 30 = -p. Let b = -26 - p. Solve -t = -b - 1 for t.
5
Let c = -179 - -222. Suppose 5*a + 87 = -4*l, -l - 3 + 0 = 5*a. Let q = c + l. Solve -4*b = -b + q for b.
-5
Suppose 2*o = -2*n + 5*o + 12, o + 4 = -n. Solve n = 26*u - 32*u + 12 for u.
2
Suppose 2*d = -y + 14, 8 = 2*y - 4*y. Solve 4*v + d = -11 for v.
-5
Suppose 6 = -3*x + 2*s, 15 = -3*x + 3*s + 2*s. Solve x = -0*h + 4*h for h.
0
Suppose 0 = -4*m + 22 - 66. Let q = 15 + m. Solve -k + q = -1 for k.
5
Let j(b) = -b**3 + 6*b + 10. Let r be j(-2). Suppose -19 = -4*t + 13. Suppose 4*h - 8 = -w, -r*h = 3*w - 2*h - t. Solve -2*m + 2 = -w*m for m.
1
Let g(k) = -2*k**3 + 6*k**2 + 10. Let o be g(3). Solve 16*q = o*q + 12 for q.
2
Let b be (-2 + 3)/((-2)/(-6)). Solve -b + 6 = -l for l.
-3
Let v be ((-133)/(-147))/((-2)/(-6)) - 26/(-91). Suppose -j = 3*j - x - 6, -5*x = -10. Let g be 1/(-1) + -1 + j. Solve -5*s + v - 18 = g for s.
-3
Suppose v = -4*v + 150. Solve 0 = 5*n + n - v for n.
5
Suppose 5*x + 6 = 11. Let p be (-1)/((0 - -1)/x). Let l(c) = 5*c**2 - c. Let u be l(p). Solve -5*g = -u*g for g.
0
Let z = 3 + -3. Let v be 0/(-1) - (z - 2). Solve 10 = 4*h - v for h.
3
Let i = -66 - -84. Let s = -18 + i. Solve s*y = -2*y - 10 for y.
-5
Let i = 412 + -399. Solve i*r - 16*r + 6 = 0 for r.
2
Let g be (10 + 0)/(-5) - (0 + -2). Solve g*d = 4*d - 4 for d.
1
Let f be 14/((-53)/22 + (-140)/(-56)). Solve f*j - 152*j = 0 for j.
0
Suppose -5*a + 195 = g, 2*g = 2*a + 5*g - 78. Let n = -36 + a. Let o be (-2)/((-2)/7) - 2. Solve n = -o*l - 7 for l.
-2
Let v be (81 + -5)/(1 - -1). Solve -v*d - 10 = -40*d for d.
5
Suppose 4*v + 299 = 315. Let j = -5 + 5. Suppose j = 3*o - 4*o + 5. Solve 0 = v*r - o*r for r.
0
Suppose 3*y - 4*m + 0 = 37, -2*y = -4*m - 18. Solve -13 = 8*t + y for t.
-4
Let m be (3 - 30/5) + 10 - 5. Solve -m*x - x + 6 = 0 for x.
2
Let u(z) = -z + 10. Let d be u(0). Suppose d + 17 = 9*h. Let g be (-8)/(-3 + (4 - 3)). Solve -h*j - 1 = -g for j.
1
Let a(f) = -f**3 - 3*f**2 - f - 3. Let u be (-22)/8 + (-6)/24. Let p be a(u). Solve -t + p*t = -5 for t.
5
Suppose n + 3*k - 50 = 8*k, 0 = 4*k - 8. Let b = -58 + n. Solve b = 2*l - 4 for l.
3
Let b = 200 + -196. Let p(k) = -k + 10. Let t be p(7). Let m = -13 + 22. Solve -b*c - t = m for c.
-3
Let b(h) = -7*h + 5. Let j(y) be the first derivative of -27*y**2/2 + 21*y - 6. Let v(k) = 15*b(k) - 4*j(k). Let a be v(4). Solve a*m = -m for m.
0
Suppose -4*r = -2*r - 6. Let a be 1/r*(4 - -11). Let m(p) = p**3 - 5*p**2 + 2*p - 6. Let h be m(a). Solve 0*d - h = d for d.
-4
Let o = 172 + -169. Solve -o*k = 2*k for k.
0
Let d = -71 - -110. Let r = 45 - d. Solve 3*a = r*a - 12 for a.
4
Let o(f) be the first derivative of f**4/4 + 14*f**3/3 + 7*f**2 + 17*f - 7. Let m be o(-13). Solve -m + 8 = 4*u for u.
1
Let d(p) = p**3 + 34*p**2 + p + 54. Let o be d(-34). Solve 0 = 2*c + 3*c + o for c.
-4
Let t(j) = -3*j - 15. Let v = 15 + -12. Suppose -24 = 7*h - v*h. Let k be t(h). Solve -4*u = -k*u + 2 for u.
-2
Suppose 20*z + 59 = 259. Solve -s + z = -11*s for s.
-1
Let v be ((-15)/(-9))/(-5)*-9. Let h be ((-12)/v - -2)*-6. Solve -h = 5*i - 2 for i.
-2
Suppose -4 + 4 = 15*x. Let s be 2/13 - (-12)/(-78). Suppose 20 = 2*l - s*l + 4*q, 3*l = q + 65. Solve y + 4*y + l = x for y.
-4
Let k(a) = -2*a - 5. Let v be k(-8). Let q = v - 6. Let j be (-1 + 1)*(q - 6). Solve j*o - 2*o = -4 for o.
2
Suppose 179 = -2*p + y, 4*p + 2*y + 358 - 12 = 0. Let r be (-16)/p - ((-64)/11)/1. Solve r*a = a + 25 for a.
5
Let m be (-1 + -2 + 2)*(19 + -38). Solve m = 5*q - 1 for q.
4
Suppose 0 = -8*b + 6*b - 3*h + 143, -148 = -2*b - 2*h. Let o = b - 77. Solve o*n + 6 - 16 = 0 for n.
5
Let h(x) = x. Let l(t) = 4 + 3 - 7 - 6*t. Let u(k) = 5*h(k) + l(k). Let a be u(-3). Solve -3*o = -2*o - a for o.
3
Let s be (-1)/(20/24 + -1). Let c = -2 - 22. Let a be (0 - -41) + c/s. Solve -5*d - 12 = -a for d.
5
Let p(k) = -3*k + 6*k - 9*k - 6*k - 2. Let d(r) = -r. Let y(m) = 8*d(m) - p(m). Let c be y(1). Solve 0 = -f - f + c for f.
3
Suppose 101*z = 100*z + 4. Solve -7*c = -6*c - z for c.
4
Suppose -12*k - 4*a = -17*k + 28, -4*k + 4*a = -20. Solve -k*h + 17 + 15 = 0 for h.
4
Let f = 10 - 4. Let h(n) = -f*n**2 - n**3 + n**2 - 5*n - 8 + 8. Let w be h(-4). Solve -3*p = -5*p + w for p.
2
Suppose 5*c + 0*l - 5*l - 30 = 0, 4*l + 16 = 0. Suppose -d - 3*u = -0 - 3, c*u + 3 = d. Solve 0 = 3*q - 0*q - d for q.
1
Suppose 0 = -5*t - 2*g + 154, -g - 4*g - 47 = -t. Let n = t + -20. Solve 2*a - 4 = -n for a.
-4
Let u be 15*((-16)/(-80) - (1 + -1)). Solve -u*c + 21 - 27 = 0 for c.
-2
Suppose -6*m - 538 = -580. Solve -m*b = 8*b for b.
0
Let x(t) = 0 - 3*t**2 + 4*t**2 - 4*t - 3. Let o be x(5). Suppose 3*q - 67 = 4*i - 57, 0 = q - 3*i. Solve 0*k + o*k = -q for k.
-3
Let c = 43 - 39. Suppose 0 = -c*w - 4 + 28. Solve 3*u = w*u + 15 for u.
-5
Suppose -13 - 27 = -5*t. Solve t = -5*v + v for v.
-2
Let f(x) = -x**3 - 10*x**2 + 19*x - 45. Let p be f(-12). Let k be 5 + 2 - 4/2. Solve 10*h + p = k*h for h.
-3
Suppose -5*c - 4*k - 35 = -k, -c + k + 1 = 0. Let t be 0/(3 + c - 0). Solve 4*r - 3*r + 5 = t for r.
-5
Let c(f) = -f**2 - 4*f + 2. Let w be c(-4). Let a(l) = -l**3 + 7*l**2 - 6*l + 4. Let g = -3 - -9. Let r be a(g). Solve -r = -x + w*x for x.
-4
Suppose 0 = -5*q + l + 30, 3*l - 45 = -5*q + l. Suppose 0 = -3*r + 20 - 2. Suppose r = 2*d + f, -3*f + 3 + 1 = -d. Solve q*h - 25 = d*h for h.
5
Suppose 3*b = 10*b. Solve b = 2*s - 38 + 36 for s.
1
Suppose 3*u - 7*u = -364. Let g = u + -175. Let a be 7/(-21)*g/2. Solve -5*z = -4 + a for z.
-2
Let q(r) = -r**3 - 7*r**2 + 17. Let u be q(-7). Solve 22*d - 15 = u*d for d.
3
Suppose -5*b = -l - 14, 12 = -4*b - 4*l - l. Let q = 16 - 10. Suppose 2 = 2*u - q. Solve -b*t - u = 2 for t.
-3
Let n(v) = -8*v**2 + 3*v - 6*v + 4 + v**3 - 6*v + 2. Let k be n(9). Solve 0*s = -2*s + k for s.
3
Let m(t) = 2*t**3 - 87*t**2 - 44*t + 85. Let c be m(44). Solve -17*x - c + 17 = 0 for x.
-4
Let p(c) = -c**2 - 25*c + 94. Let r be p(-28). Solve -3*z = -z - r for z.
5
Let a = 359 - 352. Solve a*h + h = -8 for h.
-1
Let b be 3/(((-18)/(-42))/((-8)/(-14))). Suppose -1 = -3*h - y, h = -y + 3 - b. Solve -j = -0*j - h for j.
1
Let u be (-36)/(-10) + (-4)/(-10). Suppose -7*j = -8*j + 6. Let d(i) = -i**3 + 6*i**2 + i. Let s be d(j). Solve -u*z + 2*z + s = 0 for z.
3
Let v(d) = -3*d - 4. Let w be v(-2). Let p be -4*7/((-14)/16). Suppose -5*r = 2*i - p, -w*i + 0*i + 32 = 4*r. Solve 2*b + 2*b = i for b.
4
Let m = 6 + 2. Suppose m + 17 = 5*r. Suppose -r*z + 3*z = -8. Solve -2*o = -z*o - 8 for o.
-4
Let q = -3 + 5. Suppose q*j = -4*b - 6, 2*b = -5*j - 11 - 4. Let o = -68 - -70. Solve -d = -b*d - o for d.
2
Let n = 1252 - 1225. Solve 5*j = n - 37 for j.
-2
Let f = -205 + 219. Solve