3*t + 24. Solve y = -j*y - 28 for y.
-4
Let i = -22 + 11. Let j = -9 - i. Suppose -j*y = -11 + 5. Solve 0*a + y*a = 3 for a.
1
Let n(k) = 8*k - 24. Let x(m) = 9*m - 24. Let s(z) = -6*n(z) + 5*x(z). Let g be s(7). Solve g*y - 13 = -4 for y.
3
Suppose 16*g = -3*g + 57. Solve 4*v - 15 = -g for v.
3
Suppose m + 5*l = 28, 0 = -2*l - 6 - 0. Let n = -40 + m. Solve n*i = 16 - 4 for i.
4
Let i(w) = w**2 - 6*w + 4. Suppose 3*q - 5*z = -2, -4*z = -2*z - 8. Let f be i(q). Suppose -h = -f*h. Solve h = 5*p - 18 - 7 for p.
5
Suppose 5*u = -3*t + 19, 2*u - t - 10 = 2. Suppose 2*m - 1 - 8 = -r, r + 4*m - 17 = 0. Suppose -4*l + 2 = -3*l. Solve l*j = r + u for j.
3
Suppose 7 + 17 = -q + 5*z, 0 = 2*q - 2*z + 8. Solve -u - 5 = -q for u.
-4
Let c(w) = w**3 + 5*w**2 + 21*w + 83. Let g be c(-4). Solve 18*f + g = 13*f for f.
-3
Let u(c) = 14*c**2 + 5 + 61*c**3 - 10*c - 63*c**3 + 1. Let v be u(6). Solve -5*m + 3 = v for m.
-3
Let i(m) = 36 - 50*m + 98*m - 47*m - 8. Let b be i(-13). Solve w - b = -2*w for w.
5
Let q = -204 - -291. Let y = 91 - q. Solve -y*v + 3*v = 5 for v.
-5
Let w be 2/5 - 13/(-5). Suppose -w*m = m - 60. Suppose 3 = -u, -u - 17 = -5*d + 1. Solve d*o = m - 0 for o.
5
Let i = 140 + -115. Solve 0 = -5*o - 5 + i for o.
4
Let g be (-1)/9 - (-2950)/225. Solve -9*k - 7*k = -g*k for k.
0
Suppose 1 + 3 = 4*s. Solve -8*o + s = -7*o for o.
1
Let t(o) = 2*o**2 + 6*o + 4. Let x be t(-6). Let d be (1/3)/((-2)/(-12)). Suppose -5*q = 3*y + d, -5*y + 3*q = -x - 2. Solve 0 = -i - 3 + y for i.
3
Let m(k) = -k**3 - 4*k**2 + 2*k - 7. Suppose 0 = 3*s + 10 + 5. Let g be m(s). Suppose -6*x + 5*x = -3. Solve u = -x*u + g for u.
2
Suppose -16 = -5*x - 1. Suppose 51*o - 39 - 216 = 0. Suppose -x*u = -11 + o. Solve -u*i = i + 3 for i.
-1
Let i(l) = -l + 80. Let o be i(12). Solve 4*u + o = 56 for u.
-3
Let h be -4*(-2)/(-10) + (-174)/(-30). Solve h + 0 = -5*o for o.
-1
Suppose 8 = l - 4. Suppose -l = -q + 4*o, 4*o - 6 = -3*q - 2. Suppose a - 4 = f, 2*f + 2 = 3*a + q*f. Solve 3*t - a - 7 = 0 for t.
3
Let c = -59 - -77. Let i be (c/(-15))/((-8)/20). Let q(n) = n - 5. Let f be q(7). Solve f*v - 15 = -i*v for v.
3
Suppose -19 = -2*s - 4*f + 5, 3*s = 4*f + 6. Solve -7 = -s*j - 37 for j.
-5
Let h = 10 + -10. Suppose 0 = -2*c - 5*z - h*z - 10, 5*c - 4*z = 41. Solve -b = -c*b for b.
0
Let j = 1 + 8. Suppose 5*x - 6 - j = -5*s, -s + 13 = -4*x. Solve h + 0*h = -s for h.
-5
Suppose 41*d = 34*d + 28. Solve 3*p + d*p = 28 for p.
4
Suppose 0 = -13*w - 5*w + 180. Solve -w*o - 40 = -0 for o.
-4
Let t = 0 - -15. Suppose 3*w - 6*w = -t. Solve 2*c - w - 3 = 0 for c.
4
Let l be 17/459*-6 + (-112)/(-18). Solve -2*d = l*d + 24 for d.
-3
Suppose 5*n - 38 + 8 = 0. Let r be (15/n)/5 + (-30)/(-12). Let o be (-1)/(-2)*(2 - 2). Solve o = z - r*z for z.
0
Let j(s) = s**2 - 13*s + 44. Let y be j(7). Let u(k) = k**3 + 5*k**2 - 5*k + 1. Let t be u(y). Solve -t = 3*h - 7 for h.
-4
Suppose u - 34 = -5*c, -5*c - 5*u + 22 + 8 = 0. Let p be 1*-3 + (c - 4). Solve p*m - m = 0 for m.
0
Suppose 6*q = 175 - 157. Solve 3*j - 4*j - q = 0 for j.
-3
Suppose 130 - 14 = -4*s. Let i = -29 - s. Solve 5*d + 10 = -i*d for d.
-2
Let f be (-22)/(-4) + (-5)/(-10). Suppose 3*a = s - 10, -12*a + 11*a = 4*s - 1. Solve -5*x + f = s for x.
1
Suppose 0*m + m + 16 = 4*v, -3*v - 2*m + 12 = 0. Suppose v = -2*t + 10. Let c = t - 2. Solve 7 = -4*x - c for x.
-2
Suppose 141*a - 56 = 133*a. Solve 3 = a*n - 4*n for n.
1
Let d(g) be the third derivative of g**5/30 - g**4/12 + g**3/3 + 14*g**2. Let u be d(1). Solve -14 = -3*n - u for n.
4
Let s(a) = a**2 - 5*a. Let o be s(6). Suppose o*g - 14 = -2*d + 2*g, 5*d + 4*g = 41. Let n = -7 + d. Solve k = n*k - 3 for k.
3
Let f = -330 - -357. Solve 25 = -b + f for b.
2
Let h(z) = 33*z - 344. Let j be h(14). Solve -21*k + j = 13 for k.
5
Suppose -10*l - 65 = -23*l. Solve l*d = 10*d - 15 for d.
3
Let n(d) = -d**2 + 17*d - 9. Let r = 22 + -6. Let m be n(r). Suppose -5*a + 3*w + m = 0, a + 7*w - 7 = 2*w. Solve -7 = -a*l - 1 for l.
3
Suppose -2*y - 24 = -3*b - 46, -50 = -4*y + 3*b. Solve 6*o = -y - 16 for o.
-5
Suppose -4*j + 84 = -j. Let h = j + -13. Suppose -h = -2*w - 3*w. Solve -2*z = w*z - 15 for z.
3
Let p(r) = r**3 - 4*r**2 - 7*r - 5. Let u be p(6). Suppose l + 14 = 5*i - 35, 3*i = 5*l + u. Suppose 0 = 3*w - 8*w + i. Solve 0*o = o + w for o.
-2
Let t be ((-3)/(-5))/((-72)/(-480)). Solve 0 = 2*q - 4 - t for q.
4
Let l(x) be the third derivative of x**5/60 - 11*x**4/12 + 25*x**3/6 - 16*x**2. Let m be l(21). Solve 0*q = m*q for q.
0
Suppose t + 37 = 4*t + 5*i, -5*t + 2*i = -10. Suppose 2*z = -0*z - v - 30, -t*z - 60 = -3*v. Let c = z - -15. Solve 3*n - 6*n - 12 = c for n.
-4
Let h be (-2)/((-12)/(-234)*1*-3). Suppose 0 = h*x - x - 24. Solve -3*p - 11 = -x for p.
-3
Let l(d) = 3*d + 61. Let n be l(-19). Suppose n*x + x = 115. Solve 3 - x = 4*w for w.
-5
Suppose 0*a - 14*a + 168 = 0. Solve -a*l + 10*l = -8 for l.
4
Let m(g) = 3*g**2 + 22*g + 9. Let f be m(-7). Solve -f*q = -q for q.
0
Suppose -21*d - 38 = -752. Solve -d*t = -32*t - 6 for t.
3
Let w = -32 - -41. Suppose -3 = -3*k + w. Solve -2*s = k - 6 for s.
1
Let y be 3/(-6)*(2 + (-10)/1). Suppose 5*k + y*m = -6, -k - m + 4 = 3*k. Solve 5*n - k = 18 for n.
4
Suppose 183*w = 176*w + 28. Solve -7 = w*b + 13 for b.
-5
Suppose -3*x = 3*s, -17*x - 10 = -19*x + 3*s. Solve 3*v = -x*v - 15 for v.
-3
Let z be 1/(-2)*(-4)/(-2). Let a(k) = 5*k**2 + 4*k + 3. Let s be a(z). Solve v - s*v = -3 for v.
1
Let b = 413 + -413. Solve b = -m + 1 - 4 for m.
-3
Let l = -89 + 53. Let f = l - -42. Solve -4*w - f = -w for w.
-2
Let f(o) = o**2 - 17*o + 19. Let h(l) = -l**2 + 16*l - 18. Let r(z) = 3*f(z) + 2*h(z). Let w be r(18). Let q = 3 - -2. Solve -w = u - q for u.
2
Suppose 3*g = -7*p + 4*p + 3, -2*p + 12 = -3*g. Suppose 3*o - 2*q = 4*o + p, 0 = 4*o - 2*q - 8. Let u = o + -1. Solve 2*w - 2 = -u for w.
1
Let v(s) be the first derivative of -9*s**2/2 - 2*s + 3. Let n be v(-3). Suppose -3*r + 2*y + 25 = 0, -3*r = -2*y + 4*y - 5. Solve n = -r*w - 0*w for w.
-5
Suppose -17 = -5*a + 3. Let s be (-6)/5 + -14*(-144)/280. Solve 0 = -a*y + s - 26 for y.
-5
Let l = -47 + 49. Let i be -3 + -2*(-3)/2. Suppose i = 2*b - 5*b + 42. Solve -4*g = b - l for g.
-3
Let y = 333 - 319. Solve -17*f = -y*f - 3 for f.
1
Let o(p) = p**3 - 18*p**2 + 16*p + 16. Let w = 24 + -7. Let f be o(w). Let q be 0 - (0 - f) - -7. Solve q*g - 20 = g for g.
4
Let q = 73 - 69. Let p be ((-60)/80)/((-1)/q). Solve 0 = -p*h + 4*h - 2 for h.
2
Let l = 427 - 419. Solve l*s + 20 - 60 = 0 for s.
5
Suppose 2*w + y + 0 - 3 = 0, w - 4 = -3*y. Let n(q) = q**2 - 35*q - 69. Let u be n(37). Solve -u*f + 19 + w = 0 for f.
4
Let a be (-5)/2*22/(-5). Suppose 0 = -b - 3 + a. Let y = -8 + b. Solve v + v + 6 = y for v.
-3
Suppose -10*a + 4*a + 48 = 0. Suppose 6*f + 8 = a*f. Solve 9*j = f*j + 25 for j.
5
Let x = 32 + -53. Let o = x - -25. Suppose -o*h - 5*k = -58, -5*h - k + 56 = -3*k. Solve 0*d + 4*d - h = 0 for d.
3
Let p(n) = -n - 6. Let r be p(-5). Let s(t) = 24*t**2 - t. Let g be s(r). Let l = 45 - g. Solve l = 2*i + 3*i for i.
4
Let c be 1/(-3) + (-148)/(-12). Suppose -7*i + c = -4*i. Solve -v + 1 = -i for v.
5
Let l(u) = 4*u**2 - 6*u - 4. Let z be l(2). Solve b + b + 2 = z for b.
-1
Let b be 6/(-15)*(-7 - 3). Suppose q - b*j - 10 = 0, 0 = j + 3*j. Solve -15 - q = -5*t for t.
5
Let o(j) = j**2 + 7*j + 5. Let q be o(-7). Let v(u) = 4*u + 5. Let t be v(q). Solve -5 = 5*y - t for y.
4
Let r be (6 - 45/10)*(-16)/(-6). Solve 0 = -15*k + r*k + 55 for k.
5
Suppose -17*g + 16*g = -5. Suppose -g*c - 2 = -6*c. Solve 5*r = 6*r + c for r.
-2
Let h be 3 + 2/(-3)*(-1 + -251). Solve 10 = -h*o + 176*o for o.
2
Suppose -2*w + 2 = -2*x, 6*x = 4*x + 4*w - 8. Suppose 2*c + 0*a - 2*a = 8, x*c = 4*a + 12. Solve -c = 4*s + 2 for s.
-1
Let w = 1117 + -1112. Solve 6 = -7*m + w*m for m.
-3
Let r = -60 - -51. Let a(k) = 3*k. Let h be a(-7). Let s = r - h. Solve -n + s = 2*n for n.
4
Suppose 5*v + 19 = 2*y + 4*v, -4*y = 3*v - 43. Solve 5*d + 0 = y for d.
2
Let j(q) = q**3 - 5*q**2 + q - 5. Suppose -l - 25 = -5*h, -l + 25 = 5*h - 3*l. Let n be j(h). Solve n = -3*t + t - 4 for t.
-2
Let p(x) = x**2 - x. Let c be p(-1). Suppose -1 = -r - h, -c*r - 4*h = -1 - 3. Solve r*z = z + 1 for z.
-1
Let k(g) = 5*g - 2. Let f be k(4). Let t = f - 17. Solve -y + t = 4 for y.
