+ s*p for l.
5
Suppose 8*f - 6*f = 0. Suppose 0 = 5*n - s - 5, f = n + 8*s - 3*s + 25. Let w = 2 - n. Solve 0 = -5*v + a - 20, -v + 0*v + 5 = -w*a for v.
-5
Let u(l) = -2*l + 5 - 24 + l. Let x be u(-23). Solve -x = 4*r, n + 2*r + 3 = -r for n.
0
Suppose -2*w - 1 = -3. Let v be 23/w - (-2 + -2). Suppose -3*u + v - 10 = -2*t, -2*u = 5*t - 43. Solve 2*d - y + 0 = 3, d - 4*y = -u for d.
3
Let y be (-4 + 0)*1*-3. Suppose y*m = -15 + 39. Solve -5*c = -m*a + 10, -5*a - 2*c = 18 + 15 for a.
-5
Suppose -9 = -2*v - 7. Let i(g) = 2*g**3 + 2*g**2 - 4*g + 3. Let b be i(v). Solve 3*q + 8 - 23 = 3*y, b*q + 17 = -5*y for q.
1
Suppose -2*u + 2 = 5*g - 3*g, g - 2*u - 7 = 0. Let n = -72 + 78. Suppose -4*d - n = -34. Solve -2*i + d = -4*c - g, -4*i = -3*c for c.
-4
Let b(f) = -33*f - 63. Let u be b(-2). Solve o - 1 = u*z, z - 8 = -0*z + 2*o for z.
-2
Suppose -21 = -6*n + 3*n. Let a = 14 + n. Solve -5*v - 4*u + a = 0, -u = 4*v - 0*u - 19 for v.
5
Let i be 0 + 182/(-4) + 24/16. Let h = -42 - i. Solve -2*s = -6*s, -3*p + h*s + 12 = 0 for p.
4
Let g be (-1 - -4)*(-4)/1. Let n = 17 + g. Solve -3*f = n*j + 20, 4*j + 4*f + 16 = 7*f for j.
-4
Suppose 2*d - 1 - 7 = 0. Let w be (-15)/(-1)*(3 - 2). Let r = 21 - w. Solve r = 2*z, -d*u - 4 - 7 = -5*z for u.
1
Suppose -2*h = 3*z - 16 - 4, 0 = -5*h - 4*z + 36. Solve 0 = l - 5*i - 0*i - 21, -16 = h*i for l.
1
Suppose -8*k - 478 = -4*k + 5*c, -232 = 2*k - c. Let d = 138 + k. Solve 7*f - 2*f = 2*l - 20, 3*f + d = 3*l for l.
5
Let r(s) be the first derivative of s**4/4 - 7*s**3/3 - 4*s**2 - 6*s - 2. Let k be r(8). Let v = 22 + k. Solve 4*o = h + 2*h - v, -9 = o - 2*h for o.
-1
Suppose 42*l = -16*l + 232. Solve d = -3*t + l*d - 3, -3*d = -2*t - 5 for t.
2
Suppose 8*d - 12*d - 344 = 0. Let t = 90 + d. Solve 3*p + 2*o - t*o = 0, p - 3*o - 7 = 0 for p.
-2
Let p be (2 - 8/12)*9. Let k = p - -14. Let r = 15 - 12. Solve 5*l + r*b + 0*b - k = 0, 3*b - 2 = l for l.
4
Suppose -80 = 2*w - 4*w. Suppose 0 = -5*q - t + 20, -4*q + 5*t - w = -9*q. Suppose q*g = -g. Solve g = 2*j - 4, 2*j = -c + 3*j - 7 for c.
-5
Let d be (-6)/8 + 770/88. Suppose -9*n + d = -7*n. Solve -c + 4 = -3*s, -c - 5*s + 20 = n*c for c.
4
Suppose 0 = -x + w + 3, -2*x + 0*x = 2*w - 10. Solve -20 = -4*l + 5*f, 5*l + x*f - 2*f + 8 = 0 for l.
0
Suppose -3*b = -6 - 0. Suppose -c = b*c - 30. Let j be c/15*(-15)/(-2). Solve 0 = -4*k + 4*h + 8, 2*k = -0*h - j*h - 3 for k.
1
Suppose 357 = 12*b + 9*b. Solve -3*u + 2*n = b, 3*n - 29 = 3*u - 2*n for u.
-3
Let l(v) = -v**2 - 20*v + 24. Let y be l(-21). Solve -3*n - 4*c = 3 + 2, 0 = y*n - c - 5 for n.
1
Suppose -54 = -3*w - 2*h + 13, w + 5*h - 5 = 0. Suppose r + 0 = -3. Let g = 17 - r. Solve 8*d + u - w = 3*d, 5*u = 4*d - g for d.
5
Suppose -4*r + 4 = 0, 19*a = 22*a - 2*r - 4. Solve a*b - 1 = c + 3, b + 7 = 5*c for c.
2
Let p(q) = -q**2 + 4*q + 10. Let h be p(6). Let s be 1/h - (-14)/4. Solve -4*d + 24 = -4*n, 3*d = s*n - d + 23 for n.
-1
Suppose 3*m + 0*k = -k + 386, 5*m - 632 = 4*k. Suppose 6*b + 2*b = m. Solve -5*g = 2*x + 6 + 22, 2*g + b = -2*x for g.
-4
Suppose -5*l + 3*l + 8 = 0. Suppose l*z - 35 - 29 = 0. Suppose -20*m + 8 = -z*m. Solve 0 = 3*b - m*p + 7, 2*p + 2*p - 6 = -2*b for b.
-1
Let g = 23 - 23. Let y = 21 + 2. Solve t + o = -g*o + 5, -4*t - 5*o = -y for t.
2
Let m be 11*(-5 - (-232)/44). Solve 5*o - m*p + 29 = 0, -o + 3*p + 11 = -6*o for o.
-4
Let l(i) be the first derivative of i**3/3 - 11*i**2/2 - 7*i + 17. Let j be l(12). Solve 0*k + 2*k + 3*f = -11, 4*k + 17 = -j*f for k.
2
Suppose 0*s + 5*a - 160 = 4*s, 2*a + 80 = -2*s. Let m be (48/s)/((-2)/(-10)). Let i = m - -8. Solve -i*y + 0*o - 4 = o, -5*o = 4*y + 14 for y.
-1
Let t(o) = o**2 + 9*o + 19. Let i be t(-2). Solve -l + 7 = -2*b, -i*l = -4*b - l - 24 for b.
-1
Let k be (-1 - 2)/1 - -6. Suppose 0 = k*r - 2*p - 32, -5*r + 3*p + 63 - 11 = 0. Let f = r + -5. Solve -2*d - d = 2*b - 10, -3*d = -f*b for d.
2
Suppose o + 48 = 4*o. Let y be (108/24)/((-18)/(-48)). Let h = o - y. Solve -3*b + h*c + 27 = 0, -5*c - 39 - 1 = -5*b for b.
5
Let g(r) = r**3 + 3*r**2 - 8*r - 12. Let u be g(-4). Solve 4*x - 19 = c, -c = 3*c + u*x - 4 for c.
-3
Let q(t) = t**2 + 13*t - 10. Let k = -21 + 30. Let n be (1 - k/6)*28. Let c be q(n). Solve 4*x = 4*s, -3*x = c*s + 2*x for s.
0
Let q be (1/2)/(1/12). Let r be ((-6)/(-2))/(9/q). Let a be ((-5)/(-1)*8/60)/(277/831). Solve -2*s = 2*b - 16, a*b - 12 = -3*b + r*s for b.
4
Suppose 0 = -5*w + d - 262, -2*d + 256 = -5*w + d. Let j = -53 - w. Solve 8*q = -3*y + 3*q - 31, -y - 4*q - 22 = j for y.
-2
Let m(b) = 5*b - 218. Let l be m(44). Solve 3*n - 9 = g + g, l*n - 5*g - 6 = 0 for n.
3
Let v(n) = -15*n + 1. Let s be v(-1). Let k = 9 + -2. Let x(c) = 2*c - 3. Let m be x(3). Solve -m*a - s = -4*r - k*a, 0 = -4*r - a + 1 for r.
-1
Let q be 15/(-6)*(-12)/10. Suppose 3*f - q*f - 3*f = 0. Solve 2*d - 5*k + 20 + 0 = f, 5*d - 2*k + 29 = 0 for d.
-5
Let h be 1 - (-4 + 2 - (-3)/(-3)). Solve -3 - 1 = 3*s - 2*k, 5*k = 4*s - h for s.
-4
Suppose 0 = 2*z - 11 - 5. Let o = 45 - 65. Let g be (z/(-6))/(o/210). Solve 5*h + 4*c = 1 + g, 3*h - 5*c = -28 for h.
-1
Suppose -y = -10 + 5. Let x(m) = m**2 + 4*m + 3. Let h be x(-3). Let l = 3 + h. Solve -5*g - b = l*b - 3, -y*b = -5*g + 30 for g.
3
Let p = 44 + -40. Suppose 2*z + 3*w + 3 = 0, 0 = 3*z - p*w - 0*w - 38. Solve 6*a = k + 4*a - z, 14 = 5*k - 2*a for k.
2
Let p be -4 - -6 - (1 + (-3)/3). Suppose -4*f + p + 2 = 0. Solve -6 = 5*b + 2*u + 2, b = -3*u + f for b.
-2
Let o = 648 + -643. Solve -g + 15 = -2*c, -c + 2*g + 10 = o*g for c.
-5
Let v be 6/(-20)*2 - (-66)/(-15). Let f be 8/20 - (8/v + -1). Solve 3 + 4 = 4*i + f*t, -4*t = 5*i - 8 for i.
4
Let d = 30 - 20. Let c be 12/(-60) + 92/d. Solve 5*l - q + c = 2*q, -5*q - 16 = 2*l for l.
-3
Suppose -35 = -3*o - 2*f, -o + 0*f - 3*f = 0. Solve -4*v = -d + o + 6, -2*v - 18 = -2*d for d.
5
Let m(o) = o**3 + 4*o**2 + 3*o + 4. Let l be m(-3). Suppose 7*i + l*k - 42 = 4*i, 2*k = 5*i - 96. Solve 5*j = -5*z + i - 3, 4*z = -2*j + 6 for z.
0
Let c(l) = -3*l - 3*l + 2*l - 3*l**2 + 3*l. Let f(q) = q**2 - q + 1. Let k(z) = -c(z) - 4*f(z). Let w be k(4). Solve -a + 1 = -4*p, 5*p - a + 2 = -w for p.
-1
Let b(s) = 9*s - 14. Let i be b(4). Let x = -15 + i. Solve -j = 4*y + 8, 2 - x = 5*y for j.
-4
Suppose 2*q + 6 = 3*q. Let t(d) = 7*d - 14*d + q*d - 2. Let j be t(-7). Solve -12 - 8 = 4*a - 4*f, 4*f - 22 = j*a for a.
-2
Suppose 0 = 4*j - 8*j + 8. Suppose 5*c = t + 6 + 5, -5*c = -2*t - 12. Solve 3*v + j*b = 7, v - 13 = -4*v - c*b for v.
3
Let s(h) = 3*h + 6. Let v be s(7). Suppose -2*z - 128 = -3*d - 6*z, 4*z = 3*d - 88. Let t = d + -26. Solve 5*y - v = -3*x, y - t = -y - x for y.
3
Let k be ((-8)/(-3))/(36/54). Suppose 0 = -k*t - 0*t + 8. Solve 4*i + 3*j - 2*j - 19 = 0, t*j = 6 for i.
4
Let c = -9 + 11. Let p be 2 - (c - 3 - -2 - 21). Let h = 1 + 4. Solve 2*m - 4*y = p, 3*m + h*y = -2*m - 20 for m.
1
Let m = -5 - -10. Suppose 0 = -2*n - l + 4, -10 = -2*n - 2*l - 8. Solve m*s = 2*v + n, -v - 5 = -3*s + v for s.
-1
Let p be ((-1)/3)/((-3)/27). Suppose -c = -v - 1, c - 3*v + 0*v + p = 0. Solve 5*d - 2*f + c = 0, -4*d + 13 + 11 = 5*f for d.
1
Let o(z) = -7*z + 9. Let p be o(8). Let g = 54 + p. Solve 4*x + 2 = g*h - 2*h, 2 = -h for x.
-3
Let z be (1 - 133)/(18/(-12)). Suppose -5*s + z = -4*a, 0 = -a - 0*a - 2. Suppose 0 = 3*t - 7*t + s. Solve -4*y + 4 = 0, -t*l = -0*l + 2*y + 10 for l.
-3
Suppose -9*s - 30*s = -156. Solve -12 = -s*o, -4*z - 2*o - 2 = -8*z for z.
2
Suppose 4*b + 2 = -4*n - 6, -n + 18 = 5*b. Let q(d) = -d + 2*d - 2*d - 5. Let x be q(n). Solve -x*r + 3*p - 2*p = 6, -2*r - 14 = p for r.
-5
Let i(r) = -4*r**3 + 1. Let l be i(-1). Suppose -4*w + 12 = -0*s + 4*s, 3*s = -l*w + 15. Let o be s + 4 + 4 + -4. Solve b + 2*b = -z + 7, 1 = o*z + 3*b for z.
-2
Let s(j) = -8*j - 8. Let x be s(-4). Suppose -4*a = w - x, -a + 0*w + 17 = 3*w. Let y = 2 + 3. Solve -y = -3*o + z, 3*o + 0*z + a*z - 11 = 0 for o.
2
Let i(m) = -8*m - 3. Suppose -4*s + 3*p = 8, 6*s - 2*s = -4*p - 36. Let u be i(s). Solve 2*w + u = -3*w - 3*v, 5*v = -3*w - 35 for w.
-5
Let j(f) = -f + 1. Let n be j(-4). Solve n*b = -2*c + 23, 11 = 5*b + c - 8 for b.
3
Suppose -10*m + 166 = 136. Solve m*s = -2*j + 6, 0 = -4*j - 4*s + 2*s + 4 for j.
0
Suppose -7*n + 8*n = 0. Let r be ((-7)/(-7) + 0)*(n - 0). Suppose 3*w + 2*w = 0. Solve 0 = 2