5*r = 70. Let f = y - 18. Suppose -2*p = -f*p + 25. Solve 10 = -k + 4*b, 3*k + p*b - 21 = -0*b for k.
2
Suppose 244 = -3*w + 322. Solve 5*d = -4*i + w, -2*d = -2 - 2 for i.
4
Suppose 0 = -376*u + 391*u. Solve -5*r + u*r = m + 13, 0 = -2*m - 3*r - 5 for m.
2
Suppose -4*d = -10 - 6. Suppose -36*v - 20*v + 92 = -20. Solve x = d*g, 4*x = v*x for g.
0
Suppose -13*s = -17*s + 8. Solve -b + 0*l = 3*l, s*l - 1 = -b for b.
3
Suppose 0 = 9*x - 13*x + 8. Suppose 5*y = -11*f + 8*f + 28, -x*y - 4*f = -14. Solve -y*g + 3*h + 17 + 8 = 0, 0 = 3*h for g.
5
Let g be (2/4)/(3/6). Suppose -37 = -3*a - 37. Solve -o = 1, -5*o + a = -3*p - g for p.
-2
Suppose -4*r = -u - 82, -86 + 76 = -r + 2*u. Let d = 11 - 7. Solve 0 = -2*z + 2*k - 1 - 1, -2*k = d*z + r for z.
-4
Let x = 109 + -100. Solve -2*g + 2*w = 4, 2*g - 3 = 4*w - x*w for g.
-1
Let u be ((-3)/(-2))/(1*9/30). Solve 5*z - 3*d = -4*d - 12, -u*d + 24 = -3*z for z.
-3
Suppose -2*i = 3*z - 6, -2*z + 94*i - 99*i + 4 = 0. Solve 2*c + 27 = -2*v + 7*v, 4*c + 14 = z*v for v.
5
Let q(o) = o**2 + 2*o - 3. Let g be q(2). Let h = 7 - -11. Let v = h - 15. Solve 4*r + 4*x - 12 = 0, -v*r + 11 = -0*r + g*x for r.
2
Let q = -10 - -12. Let r(t) = t**3 + 22*t**2 + 2*t + 46. Let g be r(-22). Solve -3*a + f = -g*f + 3, 0 = q*a - 4*f + 2 for a.
-1
Suppose 34 - 46 = -4*w. Solve -30 = -5*d - w*i, -3*d - 5 - 1 = -3*i for d.
3
Let s(j) = j - 5. Let l be s(8). Let h = 3 + -3. Let m be 108/63 + 3*(-6)/(-63). Solve h = -m*t + l*u + 14, t - 4*t = 2*u + 5 for t.
1
Suppose -40*f = -37*f - 876. Suppose -f + 20 = -16*d. Solve 3*y + y = 2*z + 18, 5*z = -4*y - d for z.
-5
Let q(n) be the first derivative of n**3/3 + 5*n**2/2 - 14*n - 22. Let a be q(-7). Solve 4*k - 8 = a, -l - 3*k = 3 - 9 for l.
0
Let d = 205 + -194. Solve -v - 4*v = -3*g - 14, d = 5*v - 2*g for v.
1
Suppose -23 = -2*m - 5*h, 4*m - 1 = 5*h - 0. Solve b + 1 = 0, -6*y = -y - m*b + 16 for y.
-4
Let l = 20 - 13. Suppose -n = -l*n + 18. Solve -5*p = -2*r + 13, -n*p - 7 + 3 = -5*r for r.
-1
Let c = -6 - -11. Suppose -c - 5 = -5*v - 2*g, -4*g = -3*v + 32. Suppose 3*a = -p + 5, -2*p + 5 = v*a - 1. Solve 5*f - 23 = 2*b, 0*f + 18 = a*f - 3*b for f.
3
Let a(c) = 3*c**3 - 2*c**2 + c. Let l(j) = 13*j**3 - 7*j**2 + 4*j + 1. Let i(q) = 9*a(q) - 2*l(q). Let d be i(4). Solve -3*g = -o - 4 + 13, d*o = 6 for g.
-2
Let n(u) = u**3 + 9*u**2 + 7*u - 8. Let c be n(-8). Solve -5*b - 21 = -2*r, c = -4*r - 3*b - 33 + 10 for r.
-2
Let h be -7*(1 - (3 + -3)). Let z be (-42)/(-15) - h/35. Solve 0*c - z = -c - l, -3*l = 4*c - 11 for c.
2
Suppose -3*g + 10 = -5*s, 2*g - 5*s = 1 + 9. Suppose g = 3*o + o + 3*h - 8, -4*h + 2 = o. Solve 3*p + 27 = -2*r + 11, p = o*r + 8 for p.
-2
Let i be ((-29)/4)/(3/(-36)). Suppose 0 = 4*d + n - i, d - 28 = 4*n - 2. Suppose 68 = 10*u + 18. Solve 0 = -5*w + 2*s - 1, -d = u*w + 5*s - 7 for w.
-1
Let r = 8 - -3. Suppose 2*k + k = v + r, -4*k + 2*v = -16. Solve 0 = -q - 3*l - 12, 3*l + k = -2*q - 2*q for q.
3
Let m(i) = i - 8. Let d be m(16). Suppose 6*p = 2*p + d. Solve -3*z + 4 = -l, 6*z - 12 = 3*l + p*z for l.
-4
Let o be (2/7 - (-26)/56)*-8. Let y be 15/10*(-19)/9*o. Solve -p = n + 2, -2*p - y = -4*n + 3*p for n.
1
Let o(i) = i**3 + 11*i**2 - 41*i + 21. Let s be o(-14). Solve -4*g - 19 = -u, s*g - 2*g = -5*u - 5 for u.
3
Let r(u) = -u**3 + 8*u**2 + 51*u - 22. Let h be r(12). Solve 0 = -3*y + 2*f - h, f + 12 - 1 = -3*y for y.
-4
Suppose t + 5*r - 6 + 19 = 0, 0 = t + 3*r + 9. Let g be 19 + 3 - (-2 - t). Let l be (1 + 3)/(8/6). Solve 4 = -n, l*q + 4*n - n + g = 0 for q.
-3
Let v(y) = y**2 - 3*y - 2. Let o be v(3). Let i be o/4 + (-188)/(-8). Solve f = 4*c - i + 2, -2*f - 6 = c for c.
4
Suppose 5*c - 30 = 45. Suppose 124*g - c = 119*g. Solve 3*w + g*r + 0 = -18, -5*w = -2*r + 16 for w.
-4
Let o be 0/(5*(-5)/(-25)). Solve 4*f - 5*z - 23 = o, 3*z = f - 2 - 9 for f.
2
Let b be (-3 + 9)/(-3) - -3. Let q be b + (-2 - -5 - -3). Let t(j) = j**2 - 6*j + 1. Let u be t(q). Solve 4 = -f - 5*i - u, 0 = 5*f + 2*i - 9 for f.
3
Suppose 37*o - 10 = 36*o. Solve 5*l - 20 = t, 2*t - 5*l = -o*l + 35 for t.
5
Suppose -249*v = -238*v - 44. Let a = 13 + -7. Solve -5*b + 4 = -v*i - 8, -3*b = 2*i + a for b.
0
Suppose -10 - 4 = -2*u. Suppose 0 = p - 3*p - 14. Let r be 20/(-5) + p/(-1). Solve r*x - 4 - 11 = -3*j, 3*x = -j + u for x.
1
Let r = -17 - -26. Suppose 5*m + 31 + r = 0. Let k be (4/8 + -1)*m. Solve -29 = n + 4*n + 3*f, 2*n + 20 = -k*f for n.
-4
Suppose -41 - 79 = -b. Let g = b + -118. Let a(n) = -n - 4. Let t be a(-6). Solve -8 = 4*f + 4*w, t*f + g*w + 4 = 5*f for f.
0
Let i be (-21)/(-49) - 46/(-7). Suppose 5 + 9 = i*h. Let k = h + 2. Solve l - 5 = 0, 0*j + 4*l = -k*j for j.
-5
Let d(z) = -2*z**2 - 38*z - 33. Let q be d(-18). Solve 0 + 25 = 4*m - v, q*m - 5*v = 40 for m.
5
Let t = -39 + 63. Suppose -28*h + 32*h - t = 0. Solve 4*p - 2*j - 10 = h, 0 = -2*j for p.
4
Let d be -5*(4/(-10))/(-1). Let k = d - -5. Solve n + 5*h = k*n + 8, 2*h = 0 for n.
-4
Let k = -26 - -29. Let f be (-3)/(-4)*(k + 1). Solve -5*q = s + 25 - 0, 3*q = -f*s - 15 for s.
0
Suppose -14 + 2 = -5*r - 3*g, -4*r - 3*g + 9 = 0. Solve 4*f + 4 = l, 0 = -2*f + 3*f - r*l - 10 for f.
-2
Let k(z) = z - 2. Let o be k(3). Let w be o - 5/((-10)/8). Suppose 5*x - 6 = -3*t + 19, 2*x = w*t + 10. Solve -x*q = r - 23, 5*r + 6 = -q + 1 for q.
5
Suppose 0 = -3*s + 4*y, -6*s + 5*s - 5*y + 19 = 0. Suppose 4*b - s*g - 24 = 0, 5*g - 1 = 3*b - 23. Solve -b*f + 16 = 0, -f = 5*x - 3*f - 2 for x.
2
Let c(z) = z**3 - 8*z**2 - 7*z - 13. Let o be c(9). Let t be (-6 - -1) + -3 + 5. Let a = -2 - t. Solve 16 = -k - 4*g, g - a = 5*k - o for k.
0
Let i be 4/10 - 391/(-85). Solve -i*o + 45 = 4*a, o - 2*a + 0*a + 5 = 0 for o.
5
Let c(y) = -3*y + 4*y**2 + y - 2*y**3 + y**3 + 6 - 5. Let q be c(3). Suppose -o + 3 + q = 0. Solve 3*f - 1 = -o, -8 = z + 2*f for z.
-4
Let a(d) = 3*d + 22. Let h be a(-7). Suppose -3 = -c - 4*v + h, -2*v = 0. Solve -4*q - 22 = -c*m - 2, -5 = m + 4*q for m.
3
Let o be 4 - (-8 + 8)/4. Solve 3*a = -f, o*f - 2*a = 9 + 5 for f.
3
Let q be (-30 - -5)*2/2. Let n be (0/(q/5))/1. Solve -8 = -4*m - 4*z, 2*z + 8 = 4*m - n*m for m.
2
Suppose -4*f + 28 = -8. Suppose -8*v = -f*v. Let m be v - -3*(-2)/(-3). Solve -u = 2*a - 1, 0 = m*a - u - 11 for a.
3
Let a = -189 - -188. Let y be ((-4)/a)/((0 + 1)/1). Suppose -4*x + x + 54 = 3*d, -4*d = 5*x - 91. Solve 0 = 4*k - 20, 0*k + y*k - x = -o for o.
-1
Suppose 18*v = 8*v + 150. Solve 3*n = v, -5*n = -l - 19 - 8 for l.
-2
Suppose -26 = -b - 8*v + 10*v, 5*b - 5*v = 110. Let i = 21 - b. Let q = 5 + -2. Solve 5*u - i*u + q = -l, 3*l - 23 = 2*u for u.
-4
Suppose 2*h + 3*h - 140 = 0. Let d = h - 23. Solve -4*v + 3 = -3*l - v, -2*v - 5 = d*l for l.
-1
Suppose 21*w = 24*w. Suppose 2*r + 5*x = -24, 0 = -9*r + 4*r + 2*x - 2. Let z = 3 + r. Solve -z = -l - 2*b - w, 0 = 2*l + 2*b + 4 for l.
-5
Let w(p) = -13*p + 5. Let n be w(2). Let g be (-35)/n*(5 - 2). Let b = 10 - g. Solve 3*q = -4*t - 2*q + 31, -3*t - b*q + 27 = 0 for t.
4
Suppose 0 = -f + 2*f - 23. Let n = 21 - f. Let u be 9 + -2 + (n - -2). Solve -z - 2*p - u = 2*z, p - 29 = 5*z for z.
-5
Let o(a) be the second derivative of a**3/6 + 4*a**2 + 15*a. Let j be o(9). Solve -3*y - 4*s = 2*y - j, 2*y - s = -1 for y.
1
Let u be ((-12)/(-3))/(-4)*((-12)/(-6))/(-2). Let g(z) = z**2 - 2*z - 3. Let q be g(4). Solve q*s = -2*j - 7, 2*j = -4*s + s - u for s.
-3
Suppose 5*g - g - 32 = 0. Solve -g = f - 3*m, 0 = 3*f - 0*f + 2*m + 13 for f.
-5
Let r(q) = q**3 + 8*q**2 + 13*q + 6. Let k be r(-6). Solve k = -b - 3*j + 11, 2*b + 5*j - 13 = 2*j for b.
2
Let c(q) = q**2 - 2*q - 3. Let h be c(3). Let s(z) = h*z - z - 2 + z - z. Let o be s(-6). Solve -3*f - 2*j = 0, o*f + 8 = 2*j - 6 for f.
-2
Suppose -1 - 1 = -q. Suppose -5*d + 18 = -2*w + 7, 3*d - 4*w - 15 = 0. Let j = q + d. Solve g - i = -2*i - j, 4*g = -i - 9 for g.
-2
Suppose -16*s - 8*s = 9*s. Solve 2*m - 13 = -s*f + 3*f, -4*m + 5*f + 23 = 0 for m.
2
Let m = 32 + -31. Suppose m = -j + 6. Solve 7 = j*c + 4*o - 3*o, 2*c + o - 4 = 0 for c.
1
Suppose 0 = -c - 49 + 14. Let n = c - -60. Solve 5*t - n = -3*p, 5*p - t - 21 = t for p.
5
Let u(g) = -g - 399*g**2 + 9 + 4*g**3 + 400*g**2 - 5*g**3. Let k be u(0). Let n = k - 7. Solve -3*c + 15 = 2*p, n*c + 3 = 3*p - 0 for c.
3
Suppose 0 = -2*y + 5*u + 17, 7 = y + 3*u - 18. Let m = y + -13. So