e -1 = 4*c + b, c + 2*b - 3*b + 4 = f for c.
-1
Let b be -3*(-10)/6 + 0. Solve 2*z + 5*w + 11 = 0, -w = -b*z + 3*z + 7 for z.
2
Let m(j) = -2*j**3 + j**2 + 10*j + 4. Let h be m(-3). Solve 2*i + 4*n - 26 = 0, -i + 6*i - h = -3*n for i.
5
Suppose -4*t + 23 = 3. Solve 24 = -4*z + t*i, z + i = -0*i + 3 for z.
-1
Suppose 0 = 2*c - 3*c + 17. Suppose z + 2*n = 6, 4*n + 75 = 3*z + c. Solve 2 = u + 2*u - t, u + z = 4*t for u.
2
Let v(z) = -z**3 + 6*z**2 + 4*z + 2. Let f be v(6). Suppose 4*d = 4*b + 76, d = -4*b + f - 7. Solve 0*n + 4*n + d = -3*x, -n + 2*x = 2 for n.
-4
Suppose -2*d - 2*d + 60 = 0. Let q be (102/(-10))/((-3)/d). Let h = -34 + q. Solve 2*y = -3*t - 16, 2*t + 3*y = -h - 2 for t.
-2
Let o = -5 - -9. Suppose 0 = -9*a + o*a. Let m be a + 3*(3 + -2). Solve -6 = -3*v - m*g, v = -6*g + 3*g + 4 for v.
1
Let s(a) = -a**2 + 5*a + 10. Let l be s(7). Let v(p) = p + 5. Let r be v(l). Let n be (-2)/8 - (-21)/4. Solve -n*t + 21 = 3*u, -2*u - t - r = -4*u for u.
2
Let p(z) be the third derivative of -z**4/12 - z**3/2 - 3*z**2. Let q be p(-5). Suppose -q = -4*v + 9. Solve 3*s = -2*f - 10, -4 = 3*f + s + v for f.
-2
Suppose 2*b + 3*b + 22 = -3*s, -5*s + 15 = -2*b. Suppose x - t + 2 - s = 0, -5*t = 5*x - 25. Solve 3*z - 14 = -2*h - x*h, -3*z - 1 = h for h.
5
Let j(t) = t**2 + 5*t + 1. Let l(x) = 4*x**2 + 20*x + 5. Let b(h) = -9*j(h) + 2*l(h). Let f be b(-4). Solve 2*o = -f*p + 25, 0*o - 3*o = -p + 5 for o.
0
Suppose -4*p + p + 5*h = -40, 0 = -4*p - 5*h + 30. Suppose 3*f - p = 2*f. Solve -2*i = -b - f, i + 5*b = 4*b + 2 for i.
4
Suppose -p = -0*p - 2*o - 12, 5*p = -o + 93. Solve 0 = -4*d + 6*z - 4*z + 18, -5*d + p = 2*z for d.
4
Let k be 24/3*(-9)/(-36). Solve 0 = 5*x - k*j + 21, 2*x - 3*j = -5*j - 14 for x.
-5
Let i(t) = 5*t - 12. Let j be i(4). Solve 2*b + 4*r + 4 = b, 2*b = 2*r - j for b.
-4
Let q = 23 - 8. Suppose c = 3*r - 4*r + 9, 5*r - c = q. Solve -t - 1 = 4*a - 2*t, -2*t - 10 = r*a for a.
-1
Let t(o) = 4*o - 3. Let d be t(4). Let r(v) = v**3 - 5*v**2 - 6. Let z be r(5). Let u = d + z. Solve 0 = j + w - u, 3*w = -2*j + 19 for j.
2
Suppose -4*l - l = -5*o - 20, 4*l = 3*o + 13. Solve l = 5*n - 4, 4*n - 20 = 4*y for y.
-4
Suppose -12 = -4*l + 24. Let r be 15/l + 6/18. Suppose 1 = x - 1. Solve w + 3 = -r*b, x*w + 2 = 2*b - 5*b for w.
5
Let s = 4 + 1. Let q(i) = -i**3 + 4*i**2 - 2*i - 2. Let h(x) = -x**2 - x + 2. Let l be h(0). Let o be q(l). Solve p - 12 = -5*a, s*a = o*a + p + 4 for a.
2
Suppose 3*r - 2 = 7, -5*m + 5*r - 15 = 0. Suppose m = -6*g + 2*g + 8. Solve -2*y = -q + 4, 6*y - g*y + 4*q - 4 = 0 for y.
-1
Let o be 3/12 - 183/12. Let h = -11 - o. Let b = 7 + -4. Solve x = -2*x + b*c + 3, 5*c + 8 = h*x for x.
-3
Suppose 31 = 3*s + 5*y, -4*s - 2 = -3*y + y. Let g = -2 + 8. Let t(b) = b**2 - 5*b - 2. Let n be t(g). Solve n*w = 12, 4 = -s*k + 3*w - 1 for k.
2
Suppose -5*b = 2*z - 65, -3*b - b - z + 55 = 0. Solve 4*w + 2*r = 12, -w - 5*r = -0*w + b for w.
5
Let v(q) = 9*q**2 + q + 1. Let t be v(-1). Let a = t - 6. Solve 12 = -4*w + 5*d, -w + 4*w - a*d = -6 for w.
2
Let y(o) = -o**3 - 5*o**2 + 5*o - 7. Let x be y(-6). Let t = x + 3. Solve 5*r - m - 5 = 0, -t*r - 2*r = -4*m - 4 for r.
1
Let f be -7*2*2/(-4). Suppose -20 = -4*y - y. Solve y*q - 8 = 0, 2*j = -5*q - f + 17 for j.
0
Suppose -q = -2*n - 4, -q + 11 = -3*n - 2*q. Let r = n + 1. Let o(x) = x**3 + 2*x**2 - 2*x - 2. Let v be o(r). Solve 0*k = -y - k, 0 = -v*y + 3*k + 5 for y.
1
Let r be (-1)/(-4) - (-38)/8. Suppose -r*q + 8 = 2*c, 0 = q + 4*q. Suppose -2*h + 3*h - 14 = 0. Solve c*v = 3*k + h, k = 3*k - 3*v + 10 for k.
-2
Suppose 5*i = 35 - 0. Suppose i - 16 = -3*n. Solve 0 = 5*j - 4*q + 9, 5*q + n = -17 for j.
-5
Let p be -2*(4 + (-11)/2). Solve -2*n - 6 = -p*q, n + 0*q - 2*q = -4 for n.
0
Let w(q) be the first derivative of -q**3/3 + 4*q**2 - 4*q + 8. Let c be w(7). Solve c*j = 4*i - 16, 4*i + 7 = -2*j + 3 for j.
-4
Let z be 44/55*(-5)/(-2). Let m(c) = -c**3 - 6*c**2 + 6*c - 2. Let d be m(-7). Let j be (-1 - 30/4)*-2. Solve z*a + s + 11 = 0, s + j = a - d*a for a.
-3
Let c be (-3)/(-9) + (-48)/(-18). Let b = c - -3. Solve -5*j + 0*j = -4*z + b, z = 2*j for j.
2
Let q be (3 - 7 - -4)/(-1). Solve q = -4*m + 3*t + 4, 0 = -3*m - 3*t + 6 - 3 for m.
1
Let d = -44 - -49. Let i be -2 + 1/(-2)*-2. Let n = i - -12. Solve d*v + 3*a = -3 + n, 3*a = -12 for v.
4
Let i(s) = -s**2 - 13*s - 17. Let h be i(-11). Solve 2*r - h*z = -35, 0 = r - z - 2*z + 20 for r.
-5
Suppose -2*p - 2*p + 20 = 0. Let r(d) = -1 + 6 - 5*d + 5*d**2 - 4*d**2. Let z be r(6). Solve -p*q = 3*b + z, -4*q = 4*b - 9*b + 31 for q.
-4
Let w be 19 - -2*2/4. Let a = w + -10. Let q be a/4*6/5. Solve q*h + 2*n - 22 = 0, h + 0*n = 3*n - 11 for h.
4
Suppose 8 = -3*k - 7. Let j = k - -10. Solve -4*o + 0*o - 12 = -4*d, j*d - 23 = o for d.
5
Let h = 6 - 2. Suppose -4*b + b + 12 = 0. Suppose 0 = -s - g + 12, 5 = s + b*g - 19. Solve -s = 2*i - h*m, m = -3*i + 4*m - 12 for i.
-4
Suppose 8*v - 4 - 28 = 0. Solve -2*f - 21 = 4*i - i, -i + v*f = -7 for i.
-5
Suppose -3*f = f - 12. Solve f*g = -2*s - 11, 3*s + 2 = 4*s - g for s.
-1
Suppose -5*l = -5*h - 20, l + h - 6*h = 20. Solve 0 = 2*k - 5*p + 16, -4*p + l*p + 23 = -5*k for k.
-3
Suppose -7 = -2*p + p + n, 23 = 3*p - 4*n. Solve -4*v + 4 = -4*h, 4*v + 0*h + 32 = -p*h for v.
-3
Let j = 6 + -5. Let v be j/(-3) + (-40)/(-3). Solve -2*n = 5*g + v, -n + 2 = n for g.
-3
Let b be (-30)/9*(1 - 7). Let v be b/8*(-8)/(-5). Solve -5*c - v*h - h = 30, 2*h = -4*c - 22 for c.
-5
Suppose -2*x + 98 = 5*m, -m + 3*x = -4*m + 57. Let l = -3 + 5. Solve -4*s + 0*s = -l*u + m, u - 4*s = 16 for u.
4
Suppose 3*l - l = 0. Suppose -2*m + 0*m + 6 = l. Suppose -49 = -16*o + 399. Solve 0 = m*y + 5*k + o, -y + 2*k + 5 = 4*y for y.
-1
Suppose 0 = -2*n + 3*n - q - 2, 0 = 2*q. Solve -w + 2 = 2*f, 0 = 3*f - n*w + 3 - 6 for f.
1
Suppose 0 = j - 0*j + 6. Let d(r) = -r - 7. Let o be d(-6). Let q be (4/j)/(o/3). Solve -5*m - 10 = -5*w, 14 = q*w + 2*m + m for w.
4
Let m = -7 - -17. Suppose -j - j + m = 0. Solve w + j*a = -0*a - 6, 5*a = -5 for w.
-1
Let g(r) = r**2 - 3*r. Let v be g(3). Let w be 6 + v + 2/(-2). Solve 3 = x, -w*z - 6*x + 25 = -x for z.
2
Suppose 0*c = -3*c + 12. Solve 17 = -z - c*g, -z + 2*z - 3*g = 11 for z.
-1
Let f be ((-3)/9)/(2/(-30)). Solve 5*d - 2*u = 6, 2 + 2 = f*d - 3*u for d.
2
Let y be (-2)/(4/2)*-3. Suppose -c = y*c - 80. Solve -p + 5*x + 7 = 0, -5*p - x = -3 + c for p.
-3
Let j be ((12/21)/(-1))/(2/(-7)). Solve 3*q - q = -10, j*q = 3*o + 5 for o.
-5
Suppose 5*h - 495 - 495 = 0. Let k be (-2)/(-7) - h/(-42). Solve -y - k*s + 20 = 0, 4*y + 5*s = s for y.
-5
Suppose -2*z + 8 = g - 3, 5*z = 5*g + 20. Solve z*q = -3*y - 14, 1 = -2*q + 3*y + 8 for q.
-1
Let v = 24 + -38. Let a = -6 - v. Solve -4*r + r + 2*q - a = 0, 2*r - q = -4 for r.
0
Let c(i) = -2*i. Let q be c(-1). Suppose n = -0*a + q*a - 8, 0 = 3*a - 5*n - 19. Solve 2*h + 2 = -4*u, -5*h + a*u - 18 = -0*u for h.
-3
Let g(o) = o + 19. Let c be g(-10). Let m be 22 + (-3)/(c/(-6)). Let w be m/20*(-30)/(-9). Solve 17 = -9*n + 4*n + i, -w*i - 12 = 0 for n.
-4
Let b be 1/1 - (-2 + -1). Solve -3*v - 3*i = 6, -10 = -b*v + 2*i - 0*i for v.
1
Let g be (-1)/3 - (-98)/6. Suppose 0 = -2*y - 8, 10*v - 23 = 9*v + 5*y. Solve v*t + 4*k = -8, t + 5*k - k + g = 0 for t.
4
Let v be (-6)/15 + 4/10. Let d be v - -2*(-2 - -3). Solve 0 = -2*u - 3*r - 12, -d*r - 3 = 3*u + 5 for u.
0
Suppose -5*d = -4*d - 6. Suppose -8 = -d*l + 2*l. Solve 4*k + 4*b - 28 = 0, l*b - 25 = -5*k - 2 for k.
3
Suppose -5*c - 8 - 5 = -2*s, 4 = -4*c. Solve -s*g + 1 = -q + 5, 0 = -2*g + 3*q - 2 for g.
-1
Suppose -w + 3*k = -8, 0 = -4*w + 2*k - 7*k + 15. Solve -4*g - w*b = -2, -g + 0*b - 10 = -4*b for g.
-2
Let x = 56 - -17. Let k be x/5 + 4/10. Suppose 5*l = -0 + k. Solve 10 = -2*d, -4*c - l*d = -9 + 28 for c.
-1
Let a = -3 + -2. Let r = a - -7. Solve m - 5 = 4*i, -2*m = -7*i + r*i - 7 for m.
1
Let o be (-12)/(-15)*5 - 2. Solve -3*i - 2*z + 6 = -1, i - o = -z for i.
3
Suppose -j - 4 = -3*v - 0*j, -3*v = 2*j + 8. Suppose v = -2*i - 2*i. Suppose 8 = -3*w + 23. Solve 21 = w*m - 4*m - 4*s, -3*m - s - 2 = i for m.
1
Suppose 8 = 26*n - 24*n. Solve 5*c - c + 4 = -5*y, 4*c = n*y - 4 for y.
0
Let b(n) = 7*n + 2. Suppose 0 = -5*x - 3 + 13. Let g be b(x). Solve -4*k + k = -c - g, -2*k = 2*c for c.
-4
Suppose 0 = -12*y + 3*y + 