*c = -5*p - 12, p = -c + 4*p + t for c.
3
Let m = 8 + -1. Suppose 8 = 11*b - m*b. Solve -9 = -3*j - b*o, -3*o - 6 - 3 = -3*j for j.
3
Suppose 0 = -2*g - g + 18. Let n(w) = -w**2 + 6*w + 3. Let p be n(g). Solve -4*b + 2*j = 10, 1 + 3 = -p*b + 5*j for b.
-3
Let m(r) = 2*r**2 - 6*r + 7. Let l be m(2). Let z = 7 - 5. Let w be 0/(z*2/(-4)). Solve -x - 2*n - 2*n + 8 = w, -x + l*n = 13 for x.
-4
Suppose -93*y + 12 = -87*y. Solve -5*q - 19 = -y*k, 3*k = 7*k + 2*q + 22 for k.
-3
Suppose 3*a - 32 = -4*o, -4 = -2*o + 6. Solve -2*g + 22 = -a*j - 3*g, -3*j - 3*g = 21 for j.
-5
Suppose -s + 13 = 3*n, -5 = -4*s - n + 91. Suppose -s + 90 = 5*q. Suppose 2*m - 23 - q = 0. Solve -3*p - z + 0*z + 19 = 0, 2*z = -2*p + m for p.
5
Let k(z) = 3*z + 0*z - z + 1 - 3*z. Suppose 0 = -w + 2*l, 2 - 1 = -l. Let v be k(w). Solve 4*i - 2*a + 6 = 0, -2*a = a + v for i.
-2
Let j(y) = y**3 + 11*y**2 + 9*y - 6. Let h be j(-10). Solve h*i = 2*c - 20, -4 = -5*c + 16 for i.
-3
Let j = -66 - -16. Let t be (1/(-2))/((-5)/j). Let m(p) = p**3 + 5*p**2 - 2*p. Let l be m(t). Solve 0 = -s + 2*y - 0*y - l, s - 5*y + 25 = 0 for s.
0
Let f = 16 + -11. Suppose a = 5 - 2. Let t = f - a. Solve z = 3*v + 5, 5*v - v = -t*z + 10 for z.
5
Let n = -1 + 5. Suppose 3*z + z = 0, -25 = -5*p - n*z. Solve p*o - 2*o + 19 = j, -2*j = -o - 13 for o.
-5
Let q be 6/3 + -4 + 1. Let v be q*(-3 + 3 - 4). Solve 0*s = -s - 2, -v*p = 4*s - 4 for p.
3
Let w be (0 + 0)*(-19)/(-38). Solve 0 = 3*f + f + 8, h + f = w for h.
2
Suppose -r - 1 = 3*c, 3*c + 4*r + 7 - 3 = 0. Let g be (c - 3)/(-1) + -13. Let h = g - -14. Solve 0*n + 12 = 2*n + p, -h*p + 3 = -n for n.
5
Let k be (-10)/(-55) - (-40)/22. Solve 2*b + 17 = -3*n, k*b - 18 = 4*n - 0*b for n.
-5
Let d be -8 + 1 - (4 - 4). Let z = d - -24. Suppose -z = 2*j - 49. Solve 0 = 4*k + f + 4, f - j = 5*k + 5*f for k.
0
Suppose 3*o + 30 = 4*d, -5*o + 1 - 11 = 0. Solve -2*y = 2*i + 4, 0 = 2*i + d - 2 for y.
0
Let p be (-4)/(-6) - (-6)/(-9). Solve 2*i = 5*o - p*o - 4, 5*o = 3*i + 6 for o.
0
Let a be ((-6)/(-3))/1 - -28. Let j be (a/(-25))/(1/(-5)). Let h be j/15 - (-13)/5. Solve -5*x - 1 = 2*q - 3, h*q - 4*x = -20 for q.
-4
Let v(g) = -3 - 4*g - 4*g**2 + g**2 + g**3 - g**2. Let w(h) = h**2 + 3*h + 1. Let i be w(-4). Let q be v(i). Solve -2*t - 3*c = -4*t - 9, 6 = -2*t + q*c for t.
0
Suppose 0 = -0*t - 5*t + 10. Let z be 5*((-33)/15 - -1). Let b be (-8)/(-6)*(-63)/z. Solve 5*x + 5*j = -1 + 6, -t*j + b = 5*x for x.
4
Let m(r) = -r**2 + 4*r + 4. Let p be m(5). Let i be 1 - p - (1 + 1). Let w(a) = -a**3 + a**2 + a. Let s be w(i). Solve -y - 3*h + 9 = s, 0*h = -4*y - 3*h for y.
-3
Let c(q) = -2*q + 12. Let g be c(6). Solve g = 2*s - 2*r + 12, 5*r - 4 - 2 = -s for s.
-4
Suppose 0 = 5*d - 12*d + 21. Solve -28 = 3*s + 5*f - 0*f, -3*s = d*f + 18 for s.
-1
Suppose 2*l + 2*z = -2*z, 28 = -2*l + 3*z. Let p = -5 - l. Let m = 7 - p. Solve 2*c = -2*q - m, 4*c + 14 = 4*q - 2*q for c.
-3
Let k(h) = h - 1. Let z be k(4). Suppose -3*a = -8*a + 15. Solve -5*s = a*r - 4*r - 2, -z*s = -r - 2 for r.
-2
Let k(g) be the second derivative of -1/6*g**3 + 1/12*g**4 + 0 - g + 7/2*g**2. Let v be k(0). Solve 0 = 2*s + c - 4, s = -0*c + 4*c - v for s.
1
Let n be 1 + 0 + (-6 - -5). Solve 0*z = 4*z + 4*f - 20, n = -5*f + 25 for z.
0
Let y(o) = -o**3 - 15*o**2 + o + 18. Let h be y(-15). Let d be (-98)/(-6) - (-2)/h. Solve 0 = 4*p - 4, -4*j + d = -0*j + p for j.
4
Suppose 0 = 2*g - 18 - 24. Let v be (-4)/(-14) - (-36)/g. Solve -4*u = u, 0 = -v*p + 2*u - 10 for p.
-5
Suppose -3*n + 5*m = -37, n + 4*n = -5*m - 5. Solve 4*u + 1 = 3*i, -i = 2*u + n - 1 for u.
-1
Suppose -m + 23 = 3*v, 3*m + 2*v = -m + 62. Solve 4*o = -s - m, 1 = -o - 4*s + 5 for o.
-4
Suppose n + 5*l = 22, -n - 4*l + 10 + 8 = 0. Suppose 3*r = n + 4. Suppose -3*d + 6*d = 6. Solve -3*h - 13 = 2*f, 16 = 4*f - r*h + d for f.
1
Let h = 4 + -4. Let w be 4/2 - h/(-4). Suppose -3*k = k - 12. Solve -o = 2*o + w*p - 4, -k*p + 15 = 0 for o.
-2
Suppose -4*b = -6*b + 8. Solve b*g + 1 = 2*c - 1, -2*g - 5 = 3*c for c.
-1
Suppose -3*b + 2*q + q = 6, -5*q + 18 = -b. Let y(g) = 3*g**2 - 5*g**b + 2*g**2 + g + 17*g**3. Let u be y(1). Solve 20 = 5*i - i - 2*a, 5*i + a = u for i.
4
Let n = -17 - -19. Solve -4 = n*g - 3*l, -3*g + 8 = g + 2*l for g.
1
Let q = 55 - -4. Suppose 0 = 2*g + g - 12. Suppose n = 4*r - q, 3*r = 8*r - g*n - 71. Solve -2*j - 2*x - r = -5*x, -9 = 5*j + 2*x for j.
-3
Let k(r) = 9*r**2 + 5*r. Let v(h) = -26*h**2 - 14*h. Let s(i) = -17*k(i) - 6*v(i). Let m be s(-1). Solve 0 = -f - m*z - 7, 3*f + 2*z = -10 - 1 for f.
-3
Let y be -1 - (-39)/33 - (-60)/33. Solve 2*u = 0, 6 = -0*z + y*z + 5*u for z.
3
Let z be (1 - 20/4) + 7. Solve j - 2*c - z + 2 = 0, -4*c = -3*j + 3 for j.
1
Let r = 1 - -2. Suppose -3*b = 2*i + b - 14, -r*b + 12 = 2*i. Solve -c - 2*a + 1 = 0, 3*c - 1 = -i*a - a for c.
-1
Suppose -w + 4*g = -17, -4*w - 8 = g + 2*g. Let m = 5 - w. Solve 3*x + 5 = m*x, -5*x + 40 = 3*p for p.
5
Suppose 112 = 2*i + 32. Suppose -i + 8 = -4*x. Let p = -6 + x. Solve 0 = -2*t - 2*z, -19 = 5*t + p*z - 4 for t.
-5
Suppose 17*q - 54 = -q. Solve 2*c - 6 = 2*w, -q*w = 3*c + 2*w - 9 for c.
3
Let x be 18/15*(-40)/(-6). Let n(u) = u**2 - 9*u + 8. Let f be n(x). Let k be 7 + (f - 2) + -1. Solve -3*m = -k*g - 16, -m = 2*g - 3*m + 10 for g.
-1
Let u be (-2)/9 + (-8519)/(-63). Suppose 0 = 5*m - u. Solve 4*r = 5*b + m, -5*b - 4*r + 3 = -2*b for b.
-3
Suppose 6*a - 26 = -8. Solve -3*y + y + 5*m = 27, -a*y + 3*m - 18 = 0 for y.
-1
Suppose 0 = 3*x - 5 - 43. Let r = x + -11. Solve -w = -5*s - r, 3 - 1 = 4*s - 2*w for s.
-2
Suppose 3*w - w + 25 = 3*o, 5*w + 31 = 4*o. Suppose o*b - 4*b = 25. Solve -b = -2*k + 3*h + 7, 4*k + 4*h + 16 = 0 for k.
0
Suppose 3*h = -2*g + 15 + 21, 4*h + g - 53 = 0. Let s = h - 10. Solve -5*y + s*k = 17, k = -y + 3*k - 1 for y.
-5
Let u(c) = -1 + 0*c**2 - c**2 + 11*c**2. Let p be u(1). Solve 2*v + p = -4*z - 9, v + z = -6 for v.
-3
Suppose -l - 4*b + 12 = -0*l, 14 = 4*l - b. Solve -3*p - 6 = 3*o, o = -0*o - l*p - 5 for o.
-1
Let k(s) = 4*s - 1. Let h be k(1). Solve 5*r - h*n = 6, 3*r - n - 2*n = 0 for r.
3
Let x be 1*-1*(-1 - 4). Suppose 4*i = x*l - 0*l + 31, 3*i = -4*l - 31. Let b be 6/4 - l/2. Solve k - 4*t = -b - 12, 14 = -4*k - 2*t for k.
-5
Let u = -4 - -6. Let c be 1/u*2 + 2. Let l(d) = d**2 - 6*d - 5. Let i be l(7). Solve 3*x + 7 = -i*n, 0 = -2*x - c*x + 5*n + 5 for x.
-1
Let x = -19 + 36. Let k = -15 + x. Solve 4*a = k*a - 4*z + 10, 0 = -z for a.
5
Let l be (15/(-10))/((-2)/4). Let c = l - 1. Suppose 0 = 3*m - 0*m + h - 16, -3*m = -c*h - 4. Solve 2*p + 3*q - 6 = 0, 2*p + 6 = -q + m for p.
-3
Suppose 0 = 3*t - t + 16. Let i(n) = -n**3 - 7*n**2 + 7*n - 1. Let v be i(t). Solve -2*m - v + 2 = -5*l, 5*l - 20 = -m for l.
3
Suppose -3*m - 21 = -3*z, 27 = 5*z - 2*m - m. Suppose i + 6 = z*i. Solve 3 = n - i*x - 5, x = -1 for n.
5
Let c(t) = t**3 - 6*t**2. Let p be c(6). Suppose p*s = s - 5. Solve n = 2*j - 12, -s*j = 4*n - 1 - 3 for n.
-4
Let f be (3/(-9))/((-6)/90). Solve f*m = -2*a + 2 + 10, m + 8 = -3*a for m.
4
Let y(u) = -u**3 - 6*u**2. Let t be y(-6). Solve 4*q - 2*a = -12, t*q + q = 4*a - 10 for q.
-2
Suppose 3*g - g = -14. Let l = -5 - g. Solve l*x + 10 + 2 = -4*n, 3*x = 0 for n.
-3
Let t be (-4)/(-16) - (-86)/8. Solve 2*z + t = 4*r + 3*z, 0 = -2*r - 5*z + 1 for r.
3
Let j = -11 + 16. Solve j*a + 15 = -3*b, -3*a - b + 6 = -5*a for a.
-3
Let w = 6 - 4. Suppose -5*k - 11 - 4 = -5*i, w*k - 22 = -5*i. Solve -j = 3*t - k, 1 = 5*j - 4*j - 4*t for j.
1
Suppose -5*f + 10 = -0*f. Solve -3*d + f = -4, d - 2 = -2*s for s.
0
Suppose -4*v = -0*v - 20. Suppose -z - 40 = -2*a - 0*z, a - v*z = 38. Let t be ((-102)/a)/((-2)/6). Solve -5*u = 2*n - 2 - t, -5 = 2*n - 3*u for n.
2
Let i(v) = -2*v**2 - 14*v + 23. Let d be i(-8). Solve 5*t = 5*p + 30, 4*p - 2*t + d*t - 3 = 0 for p.
-3
Let f(h) = -h**3 - 4*h**2 + 6*h + 8. Let v be f(-5). Let k be (-22)/(-7) - v/21. Solve k*x + 8 = 5*a, -4*x + 4*a = 9 - 1 for x.
-1
Suppose 0 = -4*o - 27 + 7. Let t = -1 - o. Let p = 0 + 5. Solve -p*l - 3*v - 16 = 0, -t*v + 23 = -4*l - 3*v for l.
-5
Let v be 12/(-42) - 82/7. Suppose 5*l = 3*a + 6, -5*l = -2*a - 2*a - 8. Let s be 4/v + a/(-6). Solve s*u - 7 = 5*u - 4*y, -y + 4 = -2*u for u.
-3
Let q(p) = 2*p - 3. Suppose -3*r + 3*l - 2*l + 20 = 0, -5*r - 2*l + 15 = 0. Let h be q(r). Solve 3*s