28*l - y for l.
-1
Suppose -4*l - 11 = 1. Let b(j) = 8*j + 10. Let r be b(l). Let c be (-36)/r + 18/42. Solve 4 = -4*x + c*x for x.
-4
Suppose 4*f = -6*f + 30. Suppose 0 = g + f*b - b - 16, 3*g + 5*b = 43. Solve -g*z = -z - 10 for z.
2
Let s(b) = b**3 + 3*b**2 - b + 7. Let x be s(-3). Let r(f) = -f - f**2 + 8*f**2 - x*f - 8*f**2 + 14. Let n be r(-12). Solve -v + 3 = -n for v.
5
Suppose -s - 51 = -3*q, -5*q - s - 2*s = -85. Suppose q*f - 13 = 21. Solve 3*l - f - 1 = 0 for l.
1
Let f(x) = -2*x**2 - 7*x - 1. Let s be f(-3). Suppose -5*b + s = -4*u + 1, -5*u = 5*b - 55. Solve -u*k = -k for k.
0
Suppose 6*u + 7 - 1 = 0. Let k be 0/((-5)/u - 4). Suppose k = -3*m - 0 + 9. Solve m*s - 5*s - 2 = 0 for s.
-1
Let a(g) = -g + 3. Let z be a(-2). Suppose -12 = -4*w - 0*w. Let j = w + -3. Solve o + j = z for o.
5
Let m(o) = o**3 - 21*o**2 - 21*o + 342. Let c be m(22). Solve c*v + 6 = 366*v for v.
3
Let o = 42 + -17. Let d be (0/2)/(24/(0 - 6)). Solve d*m + 5*m + o = 0 for m.
-5
Let x(s) = 2*s**2 + 32*s - 63. Let y be x(-18). Solve y = -4*k + 13 for k.
1
Let r = -81 - -93. Let t(f) = f + 8. Let c be t(-8). Solve c = -y + 4*y - r for y.
4
Let j(q) = 7*q**2 + 81*q - 332. Let i be j(4). Solve 4*a - 96 + i = 0 for a.
-2
Let x(h) = h**3 - 7*h**2 + h - 3. Let b = 26 - 21. Suppose -3*q + 35 = b*m, 4*m - 5*q + 0*q = 28. Let g be x(m). Solve -5*w + g*w = 3 for w.
-3
Let l(x) = -x**3 - 2*x**2 - 3*x - 2. Let y be l(-2). Let s = -28 - -36. Let g(h) = h**2 + 4*h. Let b be g(-4). Solve b*i - s = -y*i for i.
2
Suppose 5*s + 1 = -4. Let u be (s - 0)/((-4)/(-36)). Let a be 11/5 + u/45. Solve -7*c = -a*c - 25 for c.
5
Suppose 0 = 5*a - 12 - 8. Suppose 2*u - t = 10, 3*u + 8 = a*u - 2*t. Solve -u*k = -5*k for k.
0
Suppose 0 = 6*z + 50 - 80. Solve -z*g = 3*g + 3*g for g.
0
Suppose 0 = s + 17 - 23. Solve 11*u = s*u for u.
0
Let c(h) be the third derivative of -h**6/24 + h**5/60 + h**4/6 + h**3/3 - 15*h**2. Let s be c(-1). Solve s*k + 2 = -2 for k.
-1
Let x(u) = -8*u**2 - 4*u + 5. Let q be x(2). Let c = q + 45. Solve c*r - 16 = 6*r for r.
4
Let s = -704 + 710. Solve s*j = 9*j + 6 for j.
-2
Let u(a) = -1. Let m(x) = x - 3. Let d(s) = -4*m(s) + 12*u(s). Let v be d(-1). Solve -g = -v*g for g.
0
Let r be (-6)/(-4 + 5)*(-10)/6. Let l be ((-4)/(-3))/(r/15). Solve a + l*a + 15 = 0 for a.
-5
Let n be (28/35)/((-4)/(-10)). Let q be (-1 - n/4)*52/(-26). Solve q*i - 3 = -6 for i.
-1
Let s(k) = k**2 - 29*k + 54. Let v be s(27). Solve v = -2*w - 2*w + 20 for w.
5
Let y = 6 + -2. Let u = 20 - y. Suppose 2*q - 23 = 3*c, q + 25 = -5*c + 4. Solve q*v + 4 = -u for v.
-5
Suppose -4*w - 18 = -w. Let y be (2/3)/((-2)/w). Suppose -y*a - 2 = -6. Solve -j + 15 = a*j for j.
5
Suppose -3*i + 31*q - 27*q = -24, 0 = 2*q. Solve -7*n - i*n = 45 for n.
-3
Suppose -20 = -6*n - 4*n. Solve 4*v = n*v + 4*v for v.
0
Let t = -844 + 1177. Solve -t + 336 = w for w.
3
Suppose 4 = 2*b + 3*v - v, 0 = -2*b + 2*v - 4. Let w be (-2)/(-1) - b/(-1). Solve 0*q + q - w = 0 for q.
2
Suppose -36*l + 586 + 1574 = 0. Solve l = 11*t + 4*t for t.
4
Let h(o) = -o + 48. Let r be h(27). Solve 10*i - 3*i + r = 0 for i.
-3
Let m(b) = -b**3 + 12*b**2 - 13*b + 24. Let u be m(11). Solve -4*l = -u*l for l.
0
Let a(c) = -c + 9. Let h be a(6). Suppose 3*u - h*o = 51, 0 = 5*u + 4*o - 6*o - 82. Let b = -14 + u. Solve 3*r - b*r - 2 = 0 for r.
2
Suppose -5*n - 14 - 6 = -5*x, 0 = 5*x + n - 14. Solve -x*t = -t for t.
0
Let x be 8/(-6) + 5500/300. Solve -5 = 3*n - x for n.
4
Let f be (-70)/(-245) - (66/(-14) - -1). Suppose -f = 23*b - 25*b. Solve b*n - 6*n = 16 for n.
-4
Let g(h) be the first derivative of -h**2/2 + 2*h + 7. Let z(d) = -3*d + 7. Let s(m) = 7*g(m) - 2*z(m). Let b be s(-4). Solve b*j + 0 + 8 = 0 for j.
-2
Let s(a) = a - 5. Let d be s(5). Suppose -24 = -10*y + 4*y. Suppose -y*l + 2*b = -14, -5*b = -0*l - l + 17. Solve -l = -d*g - g for g.
2
Suppose -4*u - 2*t = t - 3, -1 = 5*u - t. Solve 3*c + 0 + u = 0 for c.
0
Let a be ((-1)/2)/(4/(-24)). Let t be ((-8)/6)/((-2)/a). Let i = 6 + 3. Solve -k - i = t*k for k.
-3
Suppose -8*o = -3*o. Suppose -g = -5*j - 5*g + 40, -5*j + 2*g + 40 = 0. Let f be (-130)/(-18) + j/(-36). Solve o = -5*x - 18 - f for x.
-5
Suppose l + 1 = -3*b + 2*l, 0 = 4*b + 3*l + 10. Let m = b - -3. Let j be 0*(m - (-3)/(-2)). Solve j*r + 6 = 3*r for r.
2
Let o be 2/(3 - 2) + -2. Suppose -3*b + 10 = -w + 3*w, 3*b - 2 = 2*w. Let f = w + -2. Solve u + f*u = o for u.
0
Let l(s) = s + 3. Let f be l(0). Let k be (1 - f)/((-14)/35). Suppose -2*r = -0*r - v - 7, k*v + 11 = 4*r. Solve -r*o = -7*o for o.
0
Let r = -178 - -178. Solve r = -8*u + 24 for u.
3
Let r = -21 - -18. Let b(a) = a**2 - 4. Let c be b(r). Solve 3*s + 2*s - c = 0 for s.
1
Suppose -20 = -869*f + 859*f. Solve 64 = -f*g + 60 for g.
-2
Let g be (-162)/135 + 21/5. Solve -g*y - y + 16 = 0 for y.
4
Let y be (-2)/9 - 120/(-54). Suppose 0 = -4*v - 5*x + 63, -v - y*x + 14 + 1 = 0. Let k = v - 17. Solve k*i - 1 = i for i.
-1
Suppose -3*l + 30 = 4*h, -6*l + 8 = -5*l + 2*h. Solve 9*i - l*i = -15 for i.
3
Suppose -7*l + 5*b + 7 = -3*l, 0 = 2*l - 4*b - 2. Let u(o) = o**2 - 5*o + 6. Let i be u(3). Suppose i + 4 = 2*a. Solve -l*q + 1 = -a for q.
1
Suppose -3*f - 8 = -5*l, -f + 0 - 1 = 0. Let o(p) = p**3 - 2*p**2 + 4*p - 6. Let m be o(2). Suppose -1 - 3 = -m*q. Solve q*u - l = 3*u for u.
-1
Suppose 89 - 359 = 10*v. Let u = -24 - v. Solve -4*a = -u + 7 for a.
-1
Suppose -20 = -4*n + 2*b, -4*n + 6 = -0*n + 5*b. Let j be (-354)/(-24) - (-1)/n. Solve -5*g - 10 = j for g.
-5
Let c be (-2 - -3) + 418/11 + 12. Solve 53*d = c*d for d.
0
Let a be 0/(-1) - -3 - -1. Suppose -3*w - w = 2*d - 22, -a*d - 2*w = -20. Let o = 5796 - 5794. Solve d*x = o*x + 4 for x.
4
Suppose 0*g + 3*c + 24 = -g, -4*g = 3*c + 105. Let n = 30 + g. Solve -o = n*o for o.
0
Let q(j) = 3*j**2 - 47*j - 6. Let y be q(16). Solve -y*r + 4 = -11*r for r.
-4
Let q = 176 - 168. Solve q*g - 12*g = 8 for g.
-2
Let m be 1/2*(-1 - -1). Suppose 0 = -c - 3*s - 19, 4*s + 32 = -3*c - 15. Let j(w) = w**3 + 12*w**2 - 12*w + 13. Let i be j(c). Solve m*d - d + 3 = i for d.
3
Let f be ((-18)/(-42))/(2/14). Let o = -22 - -24. Suppose -3*z + o*p + 32 = -2*p, -27 = -3*z + f*p. Solve -14 = -5*j - z for j.
2
Let w(u) = -22*u - 257. Let k be w(-12). Solve 0*b = -k*b - 14 for b.
-2
Suppose -7*r + 3*r - 52 = 0. Let a(z) = -z**2 - 3*z + 1. Let w be a(-6). Let q = r - w. Solve -f = -q*f + 15 for f.
5
Let j be 2/5 - (-33)/5. Suppose j = -3*w + 109. Let a = -34 + w. Solve a = -b - 0*b + 5 for b.
5
Let l be 5/(-1) - (-310)/31. Solve -7*r + 12*r = -l for r.
-1
Let k be (-161)/(-21) + (-1)/(-3). Let i be (-78)/k - 4/16. Let z be 3*(3 - i/(-6)). Solve z*u + 2 - 18 = 0 for u.
4
Let s(r) = -2*r**2 - 34*r + 2. Let y be (-1683)/(-33)*(7/(-3) - -2). Let j be s(y). Solve -4 = -j*p - 0*p for p.
2
Let p = 566 - 246. Solve -f - 317 = -p for f.
3
Let q(p) = -p + 5. Let g be q(6). Let h be (g - -5 - 4)/4. Let u be 48/10 + (-4)/(-20). Solve -u*b + b + 4 = h for b.
1
Let t be -3*1 + (-10)/(-5). Let d be (8 + t)/(-2 - -3). Suppose -4 - 14 = -4*n - 2*a, 14 = 3*n + a. Solve n*q - 17 = -d for q.
2
Let d = -38 - -41. Let m = 3 - -1. Suppose d*y + m = 5*y. Solve -y*c = -0*c for c.
0
Suppose -80*z - 265 = -133*z. Let s = 14 + 7. Solve 0 = -z*d - 4 - s for d.
-5
Let p = -50 + 52. Solve 0 = p*y - y for y.
0
Let l(w) = 2*w**2 + 2*w - 3. Let t be l(-3). Let g be -3 - t/(-1) - -2. Suppose -2*f = 3*a + 4, -5*a - g = 2. Solve 3*q - f = 8 for q.
3
Let s be (72/32)/(12/(-32)). Let y be (-1)/6*2*s. Solve y*t - 10 = -3*t for t.
2
Let f be 4/(-10) - 84/(-10). Suppose 5*x + 12 = i, -i + 8 = x - 4*x. Let w be (10 - 10)/(i*1). Solve -4*m + f = -w for m.
2
Let u be (-1)/2 + (-147)/14. Let t(s) = -8*s - 83. Let n be t(u). Solve 0 = n*l - 8*l + 9 for l.
3
Let r(m) = -m**3 - 12*m**2 + 13*m + 6. Let k be r(-13). Suppose i + 15 = k*i. Solve -i*q = 2 - 5 for q.
1
Let p be 1*(2 + (-6)/3). Suppose 182*k - 250 = 157*k. Solve p*a - k = -5*a for a.
2
Let a = 947 + -940. Solve -a*c + 10 = -25 for c.
5
Let c = -224 + 229. Solve -c*y + 12 = 32 for y.
-4
Suppose 2*m = -2*m. Let q = 0 - 4. Let i be 1/2*(-4 - q). Solve m = -n - i - 5 for n.
-5
Let s be (-10 - -8)*3/(-3). Suppose -h = -s*h + 3. Solve -p + h*p - 8 = 0 for p.
4
Let z = -1 + 35. Let k = -15 + z. Let f = k + -19. Solve f = w + w - 2 for w.
1
Let