Solve -k = 5*s + 3 for s.
-2
Let a(h) = -h + 34. Let l be a(24). Solve -2*k - l = -4 for k.
-3
Let u(x) = -11*x - 380. Let f be u(-35). Suppose 2*r - 2 = -0. Solve f*h - 19 - r = 0 for h.
4
Suppose 2*a - 2*t + 3*t + 2 = 0, 0 = -3*t - 6. Solve a = 4*w - 5*w for w.
0
Let r(q) = q**3 - 6*q**2 - 12*q + 16. Let u be r(8). Suppose -5*i - u = -11*i. Solve -4*d = -2*d + i for d.
-4
Let v = -3 - -10. Let d be v + 1/(-2)*4. Suppose -4 = -4*g, 5*s - s - d*g = 27. Solve 5*m - s = m for m.
2
Let n(q) = -22*q - 58. Let g be n(-3). Solve -15*w + 21 = -g*w for w.
3
Let x = 1590 + -1584. Solve x*q = -16 - 2 for q.
-3
Let b(j) = -j + 7. Let p be b(4). Solve 8*l = p*l - 25 for l.
-5
Suppose 0*s = -6*s. Let a be 6 + (-1 + s)*0. Solve a = c + 2*c for c.
2
Let x be (365/10)/(4/8). Let q = x + -70. Solve q + 1 = -2*f for f.
-2
Let u = -115 - -115. Let b(j) be the third derivative of j**6/60 + j**5/30 - j**3/6 - 2*j**2. Let n be b(1). Solve u = -n*l + 11 + 1 for l.
4
Let m(h) = h + 10. Let c be m(-9). Let g(s) = -2*s - 8. Let j(f) = 3*f + 7. Let q(v) = 5*g(v) + 6*j(v). Let n be q(c). Solve -2*r - n = -0*r for r.
-5
Let q be 0 + (-1 - -1)/2. Suppose q = 2*c + 32 + 24. Let z = 29 + c. Solve 2 = -3*x - z for x.
-1
Let v(p) = -p**3 + 25*p**2 + 52*p + 54. Let q be v(27). Let t = 7 + -19. Let b be 1/2 - t/8. Solve b*d + 3 + 3 = q for d.
-3
Let w be (-1)/2 + 375/6. Let o = w - 60. Solve -a + 2*a + o = 0 for a.
-2
Suppose 4*g = 10*g - 24. Let z(d) = d + 9. Let j be z(-4). Let y(q) = q - 5. Let k be y(j). Solve k = s + s + g for s.
-2
Let n(k) be the second derivative of k**5/20 - k**4/12 + k**3/6 + 12*k**2 + 10*k. Let m be n(0). Let j = -22 + m. Solve g - 3 = -j*g for g.
1
Let w(i) = i**3 - 7*i**2 - 7*i - 3. Let x be w(8). Suppose -x*q - 2*y + 23 = -10, 4*y = -q + 21. Solve -q*a = -0*a - 15 for a.
3
Let w(g) = -g**3 + 2*g**2 + 2. Let z be w(2). Let j be ((-132)/28 + 3)/(z/(-21)). Solve j + 7 = 5*n for n.
5
Suppose 0 = y + 3*y. Suppose -6*t + 2*t + 84 = y. Solve -5*s + t = -4 for s.
5
Let q be (-14)/(-4) + 4/(-8). Let o be (5/3 + -1)*q. Solve 4*f + 2 = o*f for f.
-1
Let z = 344 - 332. Solve -36 = -8*u - z for u.
3
Let v(p) be the first derivative of 3*p**2/2 - p - 1. Let g be v(2). Let u = -1182 + 1184. Solve -u = -g*t - 12 for t.
-2
Let j(s) = 2*s + 1. Let x(r) = -r**2 + 4*r - 1. Let p be x(3). Let z be j(p). Solve -z = -d - 0 for d.
5
Let x(b) = 5*b**3 + 8*b**2 + 9*b - 11. Let n(f) = f**3 + f**2 + f - 1. Let r(c) = 6*n(c) - x(c). Let k be r(3). Solve k*o = o for o.
0
Let b be -5 - (12/(-16) - 34/8). Solve 5*m - m - 8 = b for m.
2
Suppose -8*l = -4*l - 24. Let b be (-18)/(-4)*l*(-6)/(-18). Solve -b = -0*s + 3*s for s.
-3
Suppose -i = -1, 2*c + 4*i = -0*c + 142. Let g = c + -66. Solve -v - g*v - 16 = 0 for v.
-4
Suppose 5*o = 15, 0 = 2*n - 172*o + 173*o - 29. Solve 4 = -9*u + n*u for u.
1
Suppose 0 = 4*u + 16, 2*u + 67 = 2*m - 7. Suppose 5*r + 2*t - m = 0, 0 = r + 2*t - 4 - 1. Let p = 12 - r. Solve p + 15 = -4*s for s.
-5
Suppose 130 = -8*o + 466. Solve 0 = -10*p - o + 2 for p.
-4
Let i(k) = -k**2 - 11*k - 21. Let b be i(-9). Let o be -4 - (b + -4 + 1). Solve o = 4*m - 2*m for m.
1
Let r(s) = -3*s - 2. Suppose 4*c + 3 = c. Let n be r(c). Suppose -f = -9 + n. Solve z = f - 3 for z.
5
Let y = 419 + -413. Solve -30 = -y*r + 12*r for r.
-5
Suppose -5*m + 2*y = 6, 4 - 1 = -5*m + y. Let x(f) = -f + 2. Let p be x(2). Suppose p = n + 3 - 6. Solve -s - 7 + n = m for s.
-4
Suppose 3*q - 57 = 4*c, 85 = 5*q - c - 27. Solve 6*k = q*k + 68 for k.
-4
Let g be (-4)/(-5)*(-30)/(-4). Let r be (-3)/1*(-4)/g. Let y(x) = 4*x**2 + x. Let i be y(-1). Solve i*h - r = -11 for h.
-3
Suppose -2*n + 4 = -2. Suppose 4*h - n*h = 0. Let k be h + 6 - (20 + -17). Solve -4*g + k*g = 1 for g.
-1
Suppose -950 = -18*y - 20*y. Solve 27*k = y*k - 10 for k.
-5
Suppose -4*q = 2*g - 8, g + 12*q - 8*q - 8 = 0. Solve g = -9*o + o - 16 for o.
-2
Suppose 0 = 3*y + 37 - 253. Solve x + 76 = y for x.
-4
Let s(i) = 45*i + 20. Let d be s(0). Solve d*v - 11*v - 36 = 0 for v.
4
Let w(f) = -f**2 + 6*f + 12. Let y = -52 + 59. Let c be w(y). Solve c = 6*s - s for s.
1
Suppose 14 = 2*v - 2*n, -2*v = 3*n - 0*n + 1. Let z = 277 - 262. Solve j + z = v*j for j.
5
Let k(x) = x**2 + 4*x - 5. Let r be k(4). Solve r*i = 31*i for i.
0
Let d(y) = y**3 + 8*y**2 + 9*y + 50. Let b be d(-7). Solve 3*l + 33 = b for l.
1
Let g be (-7)/5 - (-2)/5. Let s(w) = 3*w**2 - 1. Let f be s(g). Suppose -f*b - 2*m = b - 2, -4 = 2*m. Solve b*n - n + 1 = 0 for n.
-1
Let x be (-2)/(4 - 33/8). Suppose 3*d - 16 = -b, 0 = -2*b - 2*b + x. Solve -d*z - 4 = -20 for z.
4
Suppose 3*i - a = a + 34, -a = -5*i + 45. Suppose -6*p + 32 = -2*p. Suppose 0 = 2*y - 3*c + 7, -113 + 142 = y + 5*c. Solve -y*n = p + i for n.
-4
Suppose -12 = -5*k + 3. Let i be (-1 + k)*(-12)/(-8). Solve -5*y + 17 + i = 0 for y.
4
Suppose 22*y = -17*y + 663. Solve -4*j = 1 - y for j.
4
Let l = 66 - 6. Let a be l/15 + 1*3 + -2. Solve -3*n = -a - 7 for n.
4
Suppose 18*c + 15*c - 99 = 0. Solve c = z - 0 for z.
3
Let r be (-3)/(-1) - (-4 + 4). Suppose 0 = -s - 0*s - 3*u + 11, -21 = -r*s - 5*u. Suppose -2*w = 5*n - 2, 4 = -2*n - 4*w + s*w. Solve -l + 1 = n for l.
-1
Let f(v) = -v**3 - v**2 - 17*v - 15. Let i be f(-1). Let r(n) = -1 + n**2 - n**3 + 0*n**3 + 2 - n. Let x be r(1). Solve -2*t = -x - i for t.
1
Let n be (12/(-9))/((-5)/90). Suppose -i + n = 3*i. Suppose -36 = -i*x - 12. Solve -m - x = 3*m for m.
-1
Let m = -3 - -9. Solve -q = -m*q - 15 for q.
-3
Let l = 3 + 12. Let x = -11 + l. Solve -5*y + 3*y = x for y.
-2
Let n = -89 + 90. Let g be ((-1)/5*2)/(6/(-30)). Solve -g = -3*t + n for t.
1
Suppose -2*n = -2, 0*n + 17 = 2*f + 5*n. Let z = 51 - 36. Suppose w = 19*w + 14*w. Solve w = 3*y - f + z for y.
-3
Suppose -2*a = -4*j + 8, -3*j - 1 + 10 = 0. Solve -44*w - a = -42*w for w.
-1
Suppose -g = -2 - 1. Let a(x) be the second derivative of x**3/6 + 9*x**2/2 - 3*x. Let l be a(-5). Solve g*m = l*m for m.
0
Suppose -35*q + 8 = -447. Solve -k + 9 = q for k.
-4
Suppose -4 = 7*c - 4. Suppose 0*v - v = -c*v. Solve v = 5*y - 4 - 6 for y.
2
Let d be (7/7)/(2/6). Suppose 4*a - o - 2 = 0, -4 = -d*a + 3*o - o. Suppose 0 = -4*n - a + 20. Solve -n*j + 3 - 18 = 0 for j.
-3
Let q(k) = k**3 + 13*k**2 + 13*k + 16. Let s be q(-12). Suppose 9*r - 1 = -s*p + 4*r, -13 = -4*p - r. Solve 3*f = -f + p for f.
1
Suppose -4*a + x = -56, -5*x - 22 = -2. Solve 14*h - 4 = a*h for h.
4
Suppose 5*v - 60 = -r + 13, 2*r = -4. Suppose 3*w = -2*w + 15. Let f(n) = -n**3 + 3*n**2 + n - 3. Let u be f(w). Solve u*t - v = 3*t for t.
-5
Let h(p) = p**3 - 2*p**2 - p - 1. Let i be h(2). Let x be (-12)/i - (1 + -2). Let b = x + 0. Solve -7*j = -b*j for j.
0
Suppose -5 - 31 = -3*n. Let c = n + -7. Suppose -4*t - 2*x + 6*x = -16, -c*t - 1 = 2*x. Solve 1 = -y - t for y.
-2
Suppose 17 = -16*w + 81. Solve w = 2*i + 2 for i.
1
Let t(s) = -s**2 + 3*s + 21. Let z be t(6). Solve -4*b + z + 5 = 0 for b.
2
Let y = 9 + -5. Suppose -6*b - 10 = -4*b - y*v, -19 = -b - 4*v. Solve 11 = b*p + 26 for p.
-5
Suppose -d - 67 = -7*f + 3*f, 2*f + 4*d - 20 = 0. Let b be (-12)/f - 2/8. Let t be 0/(-1*(3 + b)). Solve -2*i + t + 10 = 0 for i.
5
Let z be 2/(-4)*(5 + -2)*-2. Let p(o) = o - 1. Let j be p(z). Solve 0 = j*m - 7*m + 10 for m.
2
Let l(k) = -k**2 + 2*k. Suppose 0 = -6*m + 2*m. Let y be l(m). Solve y*g - 3 = 3*g for g.
-1
Suppose -q - 2*k - 3 = -7, -33 = -5*q + 3*k. Suppose 7*i - 9 = q*i. Solve 4*g + 7 + i = 0 for g.
-4
Suppose -j = 4*n, 2*j = 2*n - j. Suppose 4*f + 4*c + 8 = 0, -2*f = -0*f - 3*c - 16. Suppose -f*x + d + 1 = 2*d, 5*d + 15 = n. Solve 2 + x = 2*b for b.
2
Let n = -702 + 702. Solve n = -3*d + 15*d + 12 for d.
-1
Suppose 0*x + x - 2 = 0. Suppose 3*r = -3*o + 15, 22 = -x*o + 5*o - 4*r. Suppose 0*g + 4*g = -m + 11, -4*g = 3*m - 17. Solve g*j + j + o = 0 for j.
-2
Let i = -532 + 534. Solve -i*m + 4 = 2*m for m.
1
Suppose 0 = -3*i - 4*i - 196. Let c = -26 - i. Suppose -4*p = 4*m + 20, m = -2*p - c*p - 20. Solve 2*q + 10 = -m*q for q.
-5
Let i = -4 - -2. Let j be (4/i)/((-5)/5). Solve -2*d + 8 = -j for d.
5
Suppose -1305*k = -1306*k + 11. Solve k = -16*p + 5*p for p.
-1
Suppose -3*i + p = 0, 15*p = 19*p. Solve i = -0*v - v for v.
0
Let s be ((-9)/12)/((-21)/56). Solve -c = s*c - 12 for c.
4
Let a be (-1)/(3 - 1 - 3). Let n be (a - 2)/(-1*2/18). Solve 7*k