5 for s.
-4
Let y(l) = l**3 - 20*l**2 - 19*l - 40. Let q be y(21). Solve a = q*a + 5 for a.
-5
Suppose 8*f = 13*f - 5. Solve -6*k + 5 + f = 0 for k.
1
Suppose -5*y = 3*n + n - 50, -11 = y + 5*n. Suppose y = 2*i + 5*w, -3*w + 8*w = 10. Solve 2*q - 4 = -i for q.
1
Let z = -1726 - -1734. Solve 0 = z*f + f + 18 for f.
-2
Let n = -9 + 10. Let w(c) = 18*c - 2. Let t be w(n). Solve -t = 2*a + 2*a for a.
-4
Let p(j) = -13*j + 543. Let b be p(41). Solve b*r = -4*r - r for r.
0
Let y be 2/(-2)*(1 - 0). Let p(j) = 3*j**2 - 4*j + 4*j - 1. Let a be p(y). Solve 9 = x + a*x for x.
3
Let a = -38 + 52. Let l = a + -12. Solve 0*j - 4 = l*j for j.
-2
Let i = 60 + -41. Let z = -21 + i. Let m be (1 - z)/((-11)/(-22)). Solve -5*h + m = 1 for h.
1
Let h = -153 - -167. Solve -4*n - h + 34 = 0 for n.
5
Suppose 4*z = -3*h + 26, 3*z - h = -z + 18. Let a be 7/(-2)*(39/(-7) + z). Solve 0*o + a*o = -2 for o.
-1
Let f be (0/4)/(6/3) + 1. Suppose -f = 3*r + 2*l, 0 - 5 = l. Solve -n + r = -0*n for n.
3
Let c(r) = -r**2 - 12*r - 9. Let o be c(-11). Solve 4 = -6*d + o*d for d.
-1
Let h = -1115 + 1136. Solve 20*u - h*u - 1 = 0 for u.
-1
Suppose c + 49 - 15 = 2*i, 0 = c. Solve 19*p - i*p = -4 for p.
-2
Suppose 4*c = 4*j - 12, -11 = -6*j + 3*j + 5*c. Suppose j*r = 4*a + 8, 2*a + 4*r = 4*a + 16. Solve a = 2*l - 3 - 5 for l.
4
Suppose 2*k = -111 + 29. Let y = k + 51. Solve 4*f = -10 - y for f.
-5
Let d be 4*(11/((-22)/15))/(-6). Solve p + 0*p = d for p.
5
Let j = 11 - 10. Let z = 1 + j. Suppose -4*a = -z*a - 10. Solve a = -s + 2*s for s.
5
Suppose -51*z = -36*z. Solve -j - 1 + 0 = z for j.
-1
Suppose -2*i + 34 = -2*q + 12, -2*i - q = -37. Solve i*s - 12 = 12*s for s.
3
Let i be 6/2 - (11 + -5 - 3). Suppose -g - 2*g + 78 = 0. Suppose -4*d + 0*d + x + 34 = 0, -3*d + x = -g. Solve i = p + p - d for p.
4
Let u(t) = -14*t + 559. Let c be u(39). Solve 12 = -5*v - c for v.
-5
Suppose -8*g + 11*g = -12. Let d(k) be the second derivative of k**4/12 + k**3 + 4*k**2 - k. Let m be d(g). Solve m*b = -5*b - 10 for b.
-2
Let n(b) = b**2 - b - 26. Let x be n(-6). Suppose 0*f = 2*f + 24. Let l = x + f. Solve -l = -v + 1 for v.
5
Let g = 9 - 33. Let n be ((-9)/6)/(9/g). Solve 0 = n*f - 5*f + 5 for f.
5
Let i(g) = 15*g - 548. Let q be i(37). Solve -q*h + 3*h = 0 for h.
0
Suppose 7*g - 3*g = 72. Suppose -s - 2 + g = 3*i, 0 = 4*s - 3*i - 94. Let l = -22 + s. Solve 1 = -y - l for y.
-1
Suppose 2*h + 10 = 50. Solve 0*w = 10*w + h for w.
-2
Suppose f - 22 = -2. Suppose 2*p = -v + f, 4*p - 5*p + 4 = 0. Solve -5*b + v = -b for b.
3
Let o be 39/9 - 5/15. Suppose 0 = 4*m + 4*x - 28, o*m - 5*x - 6 - 4 = 0. Solve 6 = -m*z - 4 for z.
-2
Let k(f) = f**3 - 7*f**2 + 6*f - 20. Let r be k(7). Solve -3*g = 28 - r for g.
-2
Let p be 4/(1 + 11) - (-1)/(-3). Solve 3*t + 16 - 4 = p for t.
-4
Let p be (-1 - (-6)/9)/((-1)/9). Suppose -o + 19 = 4*z, p*o + o = 2*z + 4. Solve -4 = -w - o for w.
1
Let n(m) = 6*m - 16. Let j be n(4). Suppose -j*l = -4*l - 32. Solve 0*w + 2*w + l = 0 for w.
-4
Let x(d) = 32*d + 588. Let z be x(-18). Solve -368*n - z = -364*n for n.
-3
Let l = -610 - -612. Let g = 7 - 3. Solve -4 = g*f - l*f for f.
-2
Let l(b) = 3*b - 56. Let h be l(25). Solve 16 = -7*p - h for p.
-5
Suppose -4*q + 2*q - 4*x - 92 = 0, -4*x - 132 = 3*q. Let i be (33 + -3)*(q/(-12) + -3). Solve -5*f + i = -5 for f.
3
Let v = 2 + -1. Suppose 2*u - 2 = 4*q, -5*q + 11 = 5*u - 9*q. Let g = v + u. Solve -g*d + d = -12 for d.
4
Suppose 61 = 2*z - l, 8*z = 3*z - 3*l + 158. Let x = z + -31. Solve v = -x*v for v.
0
Let s = -1239 - -1259. Solve 3*x + s = -x for x.
-5
Let q = 35 + -9. Suppose 0 = 2*y + 6*n - 2*n - q, -5*y = -5*n + 10. Solve -17 + 2 = y*k for k.
-5
Let w = -684 - -686. Suppose 0 = -5*q + 3*x + 15, -4*q + 20 = -0*x - 4*x. Solve w*v + v = q for v.
0
Suppose 0 = -8*l + 13 + 3. Suppose 2*b + 3*p = 2*p + 3, -5*b - 3*p = -7. Suppose 3*t = -3*n - 0*t + 21, -5*n + b*t = -14. Solve -n*m + 6 = l for m.
1
Let j = -31 + 33. Suppose 2*z + 2 = 4*y, 0 = -3*y - 3*z + 22 + j. Solve -q + y - 1 = 0 for q.
2
Suppose -5*g + 3*g = 92. Let i = -43 - g. Solve i*r + 19 = 7 for r.
-4
Let m(j) = 11*j + 367. Let a be m(-32). Solve -a*i + 16*i - 3 = 0 for i.
3
Let r = -31 - -41. Solve x + r = -x for x.
-5
Suppose -37*q = -5*q - 4*q. Let b be (-9 + 2)*(-36)/21. Solve 4*i = -q*i - b for i.
-3
Let u = -18 - -23. Suppose -3*t = u*q + 4 + 1, 4*t + q = -1. Solve t*p = -p + 4 for p.
4
Let c(x) = x**2 - 11*x + 30. Let s be c(6). Suppose 2*p = -s*p. Solve 2*f + p*f = 2 for f.
1
Suppose -3*i + 135 = 2*i. Let g = i + -26. Solve -3 = 4*b + g for b.
-1
Suppose 56 = -4*x + 2*q - 6*q, 4*x + 55 = -5*q. Suppose 81 = 3*v - 0*v. Let d = v + x. Solve -l - d = -4*l for l.
4
Let b = 98 - 94. Solve 0 = g + 3*g - b for g.
1
Let s(f) = 2*f + 19. Let q = -30 + 22. Let l be s(q). Solve l*v - v = 0 for v.
0
Let z(u) = -18*u + 708. Let w be z(39). Solve -7*o + w*o = 0 for o.
0
Let h = -50 - -71. Suppose 22*n = h*n. Solve v + 0*v - 2 = n for v.
2
Let m = 30 - -41. Let u = 74 - m. Solve 6 + u = 3*b for b.
3
Let t(a) = -a**3 - 17*a**2 + 16*a - 31. Let r be t(-18). Solve -11 + r = -6*c for c.
1
Suppose -43*l + 32 = -39*l. Solve -7*y + l*y = -2 for y.
-2
Suppose -36 = 2*c - 5*c. Suppose 7*d = d - c. Let t be (-5 + 3)*1*d. Solve 2*g - t = -0*g for g.
2
Let s(o) = 562*o - 551*o + 10*o**2 - 2 - 2*o**2 + o**3. Let z be s(-6). Solve 0 = z*g + 13 + 3 for g.
-4
Let x(v) = 19*v + 135. Let a be x(-7). Solve -a*z = -13*z for z.
0
Let c be (-10)/(3/1215*-2). Suppose 2*w + 219 = -7*u + 4*u, 5*w - 3*u = -516. Let v be 4/(-14) - c/w. Solve -v - 6 = 5*y for y.
-5
Let j be ((-324)/20)/3 + 4/10. Let x = -2 - j. Solve -n = x*n for n.
0
Let q(v) = -v**3 - v**2 + v. Let y(f) = -6*f**3 + f**2 + 2*f - 3. Let j(u) = 5*q(u) - y(u). Let t be j(5). Let r be 1/t*(-42)/6. Solve r + 1 = -b for b.
-2
Suppose -5*h = 4*s - 3 + 10, s = 3*h + 11. Suppose 3*l - 4*w = -2, 3*l + 9 = -w - 13. Let z be (-3)/l - 3/(-2). Solve -z*m + m = s for m.
-2
Let q be -85 - -95 - (2 - 1*-1). Solve q - 3 = 2*j for j.
2
Let a(f) = -22*f + 183. Let r be a(8). Solve -r*g + 11*g = -20 for g.
-5
Let z be (9/(-4))/(57/(-76)). Suppose -3*y - 2*y = -5*k - 5, -4*k = z*y - 10. Solve y = d - 2 for d.
4
Let t = -48 - -82. Let v = -32 + t. Solve v*q + 12 = -q for q.
-4
Suppose 59*d - 30 = 54*d. Solve -d*l + 66 = 60 for l.
1
Suppose -21*f = 22*f - 2279. Solve -65 + f = -4*g for g.
3
Let b = -146 + 152. Solve -b = 5*y + 9 for y.
-3
Suppose -21*l + 20*l + 21 = 0. Solve l = -4*f - 3*f for f.
-3
Let s(a) = a**3 - 8*a**2 - 2*a + 18. Let x be s(8). Solve -o + 4 = -x*o for o.
-4
Suppose a - 5*w + w + 17 = 0, 3*a + 11 = 4*w. Let j = a - 3. Solve q - 2*q = j for q.
0
Let b(a) = 3*a + 23. Let z(t) = t - 2. Let x be z(6). Suppose x*n + 6 = -c, -6*c + c - 30 = n. Let w be b(c). Solve j = -w - 0 for j.
-5
Suppose -2*j = 4*y - 2, 0*j = j - 4*y - 19. Let t be j + -4 + 6/(-3)*-2. Solve -5*q = -t - 18 for q.
5
Let q(t) be the first derivative of t**4/4 - t**3/3 - t**2/2 + 2. Let d be q(0). Let h be 0*(-4)/(4/1). Solve d = -2*v - h*v for v.
0
Let t(k) = 2*k**2 - 2*k - 4. Let g be t(-2). Let m be -1*g/4 - -2*2. Solve -m*v + 20 = -7*v for v.
-4
Let c(q) = q**3 + 2*q**2 - 9*q. Let d be c(-4). Let y be 30/d*4/6. Solve y*x = 2*x for x.
0
Let r(q) = 3*q**2 - 3*q - 205. Let b be r(9). Solve 6*y - 17*y + b = 0 for y.
1
Let u = -147 + 149. Suppose 2*t - u*v + 6 = 0, -12 = -4*t - 3*v + 4. Solve 8 + t = 3*z for z.
3
Suppose n + 5*t = -23, 4*n + 16*t = 17*t + 13. Solve 2 = -n*l + 4*l for l.
1
Let y = 1029 - 1027. Solve 8*b - 14 - y = 0 for b.
2
Let f(z) = 7*z**3 - 7*z**2 - 8*z + 3. Let m(n) = -3*n**3 + 3*n**2 + 4*n - 2. Let l(w) = -2*f(w) - 5*m(w). Let t be l(2). Solve -a - 1 = -t for a.
-1
Let m be 12 + -9 + -3*1. Suppose -8*o - 2 + 42 = m. Solve 3 = -o*x - 12 for x.
-3
Let g = -330 - -333. Solve 0 = -2*l + g*l for l.
0
Let r be (7/(-14))/((-1)/12). Suppose h = 5*h. Suppose -4*w + 5*q - 6 = h, -8 = -2*w - q - 2*q. Solve 0 = -r*d + 5*d + w for d.
1
Let w(z) = -z**3 + 4*z**2 + 7*z - 7. Let x be w(5). Suppose -2*h = -4 - 2. Solve -x*n + 0*n = -h for n.
1
Suppose 15 = 2*r - z, 3*r + z + 10 = 4*r. Solve 0 = -0*s - r*s - 5 for s.
-1
Suppose -4*i = 0, 3*d + 3*i = 3 - 0. Let c = d - -2. Solve 0 = c*k - 2 + 5 for k.
-1
Suppose -5*t + 8*t - 42 = -5*d, 0 = -4*t + 16. Suppose 3*l - 11 = 4*k