5*x, -3*z - o*z = -2*x - 16 for x.
-3
Suppose -2*a + 6 = -0*a. Suppose -s = a*s - 12. Solve 2*l - s*f = -6*f + 4, -2*f - 19 = -3*l for l.
5
Let i(a) = a**2 + 8*a. Let k be i(-7). Let g = -5 - k. Let l(j) = j - 7. Let n be l(9). Solve g*t - u = 2*u - 7, 3*t + 4*u = -n for t.
-2
Suppose -11*j + 12 = -7*j. Suppose -2*n - j*s + 43 = 2*s, -4*s - 91 = -5*n. Solve 9 = -u + 3*p, u = 4*u - 5*p + n for u.
-3
Let f(o) = -o + 7. Let s = 1 - -4. Let u = s - 0. Let p be f(u). Solve 2 + 0 = -p*g + q, 5*g + 6 = 2*q for g.
-2
Let l(n) = -n**2 - 8*n - 5. Let s be l(-4). Suppose -m + 0 - 2 = 0. Let b be m + (-4)/(8/(-14)). Solve -3*z + 6 + 3 = a, -z = b*a + s for a.
-3
Suppose -3*d + 3*n = -d, 4*n = 8. Let r = 7 - d. Solve -p - 2*k + 14 = 0, k + 4 = -r*p + 5*k for p.
4
Let l(g) = -g**3 + 8*g**2 + 2*g - 11. Let r be l(8). Solve r*s = 3*v - 9, -s = -4*v + 2*v + 6 for v.
3
Let r(x) = -x**3 - 3*x**2 - x - 1. Let l be r(-3). Let b = -40 - -50. Solve -l*p - m + 8 - 1 = 0, 4*p - 2*m = b for p.
3
Let f be (-3)/(-1 - 2) + -2. Let m be (1 + 0)*f/(-1). Let k = m + 2. Solve -k*h + 2 = 2*g, h + 3*h = 0 for g.
1
Suppose -5*h + 72 = -4*g + 28, g - 2*h + 14 = 0. Suppose -2*c = -3*c. Let v = c - g. Solve 4*m + v = -n, -5*n = 3*m - 0 - 4 for m.
-2
Let m = -42 - -45. Solve 5*w - 29 = u - m*u, -4*w + 28 = 4*u for w.
5
Let a = -11 - -13. Suppose 0 = 4*h + h + 90. Let m = h + 32. Solve -2*j - a*t = -4, -5*j = -0*j - t + m for j.
-2
Let h be (2/3)/((-2)/(-15)). Solve 3*s = 3*x - x - 2, -h*s - x = -1 for s.
0
Let s be 4 + -2*(-3)/2. Let x be 6/(0/(-2) + 2). Solve 4*n = -s*t + 2*t - 41, 0 = x*t + 3*n + 27 for t.
-5
Suppose -4*p + 25 = p. Let y = -18 + 28. Let k be 24/15*y/4. Solve p*x - 5 = 0, x - k - 7 = -5*r for r.
2
Let f(b) = 7*b. Let l be f(1). Let m = l + -5. Suppose -m*o + 2 = -0*o. Solve o = y - 3*u, 0 = -u + 4*u - 3 for y.
4
Let j = 98 + -94. Solve -3*d = -5*u + 13, -j*u + 7 + 1 = 0 for d.
-1
Suppose 1 = w - 1. Solve -4*c - 2*m = -24, w*c + 3*m = m + 14 for c.
5
Let f = -120 - -176. Suppose o + o = f. Solve -5*i - 2*q = o, -q + 8 = -5*i + 2*q for i.
-4
Let l(q) = -4*q**3 + 2*q**2 - 1. Let o be l(-1). Suppose o*i - 48 = -18. Solve 4*f - i*r + 5*r = -17, -3*f = -r + 14 for f.
-3
Suppose 3*x + z - 5 = 0, -2*x + 5*z - 24 = 1. Solve x = -m + 4*m - 12, -2*j - 12 = -5*m for j.
4
Suppose 2*f + 4*o + 52 = -f, 0 = -2*f + 3*o - 29. Let p = 43 + f. Let i be (4/(-6))/((-3)/p). Solve -5*w - 4*q = 17, 3*q = 3*w - 0*q - i for w.
-1
Suppose -17*d + 19*d = 4. Solve 4 + 3 = -3*z + 2*w, 0 = 2*z - d*w + 2 for z.
-5
Let p = -2 + 2. Suppose 0 = 2*f - p*f - 12. Solve 0 = -o - 3, o = -4*t + f*o - 1 for t.
-4
Let t be 6/(-15) + (-14)/(-10). Let a = -5 - t. Let k be a/9*(-3 - 0). Solve -4*o + 4 = 2*n, 2 = 4*o - k*o + 4*n for o.
1
Suppose 4*x - 2*a - 56 = 8, -8 = -4*a. Solve -4*h - x = 5*n, 13 = -2*n + n + 4*h for n.
-5
Let z(q) be the second derivative of q**4/12 - q**3/3 - 3*q**2/2 - q. Let m be z(-2). Solve 3*a - 2*f = 7, 5*a + 4*f = 46 - m for a.
5
Suppose 0 = -b + j + 11, -b + 17 + 4 = -3*j. Solve 0 = 2*k + 3*q - 2, -b = -k - 3*q - 2 for k.
-2
Suppose j - 14 = 4*q - q, 4*q = 3*j - 37. Suppose -2*d = m - j, 6*d - 2*d - 2 = 2*m. Solve 4*c - 4 = 0, -4*h + d*c + 0*c = 7 for h.
-1
Suppose -3*h - 2*h + 21 = 2*d, 15 = h + 4*d. Solve 25 = -4*p - p, -5*g = h*p - 10 for g.
5
Suppose 2*o + 2 = -2. Let n be (o/5)/(8/(-40)). Solve -x - l = -n*x + 4, 0 = -3*x + 5*l + 20 for x.
0
Let c(m) = m + 29. Let o be c(-16). Solve 0 = 4*w - k - o, w - 2*k + 2 = 7 for w.
3
Let c(p) = -p**3 - 3*p**2 + 4*p + 4. Let q be c(-4). Let o(w) = 9*w**2 - 2*w + 2. Let h be o(2). Solve -3*l + h = -8*l + 3*j, -4*l - q*j = 8 for l.
-5
Let g(y) = 8*y + 16. Let k be g(-2). Solve 5*b + 7*o - 2*o + 10 = 0, k = -4*b - 3*o - 8 for b.
-2
Suppose -3*x + 5*x = 16. Let q be -4*x/6*-3. Suppose 0 = -0*k + 4*k - q. Solve 16 = -4*o, -c + 6*c - 41 = k*o for c.
5
Let o = 1 - -4. Suppose 3*k + 4*u - 2 = 2*u, -45 = -5*k + o*u. Let h = -22 + 24. Solve -16 = -h*q + 4*t, k*q = q + 2*t + 12 for q.
2
Suppose -5*d = -2*v - 61, 4*v - 106 = -5*d - 33. Solve 0 = -j - 5*r + 19, j + 2*j = -4*r + d for j.
-1
Let i be -4 - ((-28)/(-2))/(-2). Solve -i*c + 0*c - o = 20, -2*o = 2*c + 20 for c.
-5
Suppose 0 = 5*w + a - 13 - 1, 0 = 3*w - a - 10. Solve -w = -p + k - 4, -2*k + 6 = 2*p for p.
1
Suppose -o + 13 = 2*y, 0 = 2*o - 3*o + 3*y - 12. Suppose w + o*l - 5 = -3*w, -5 = -5*w - 5*l. Solve 0 = -w*s - 3*u - 8, -3*u = -3*s - 6 + 24 for s.
2
Suppose 2*y - 16 = -2. Let n be 57/21 + 2/y. Suppose -d + 6*d + 32 = 3*x, -x - d = -8. Solve -5*t = -m + 4 + x, n*m + 2*t = 5 for m.
3
Let r = 4 - 3. Suppose 0 = 3*k - 3*z - 2 - r, -32 = -5*k - 4*z. Solve l - 2*x = -k, 5*l + x = 13 - 0 for l.
2
Suppose s + 3*p - 9 = 0, 2*s + 3*p - 14 = p. Solve -3*l + 3*w = -s - 0, 3*l + 2*w = 1 for l.
1
Let c be -3 + 5 + (-1 - -1). Suppose -b - 10 = -t + 4*b, b + c = 0. Solve t = 4*v + 5*g - g - 20, -18 = 2*v - 5*g for v.
1
Suppose -h - c = -7, 0*c = 5*h - 5*c + 5. Suppose -h*m = -0*m. Let a(u) = -u + 4. Let j be a(m). Solve j*s = -2*f - 16, -3*f + 8 = -2*s - 2*f for s.
-4
Let q = 59 - 58. Solve 2*l = -3*a - 0 - q, 5*a + 3*l + 2 = 0 for a.
-1
Let s be (-7)/(-2) - 1/2. Suppose 2*k - 4*f + 12 - 36 = 0, 4*k - 3*f - 28 = 0. Let g be 1/(2/k)*4. Solve -3*r = -6, -s*n + 2*n + g = 3*r for n.
2
Let c = -183 - -187. Solve -f = f + 5*j + 29, 3*f + c*j + 26 = 0 for f.
-2
Suppose -m - 20 = -5*m. Let d(y) be the first derivative of -y**4/4 + 7*y**3/3 - 7*y**2/2 + 9*y + 1. Let v be d(6). Solve -v*a = -0*h + 2*h + 8, 5*h = -m for a.
-2
Let t be (2/4)/((-1)/(-16)). Suppose 10*d - 8 - 22 = 0. Solve d*v = 5*u - t, -3 = -4*u - 5*v + 4*v for u.
1
Suppose 9*o - 80 = 4*o. Solve 0 = 5*j + 3*r + 4 + o, 3*r + 10 = 5*j for j.
-1
Let o be (3 + -6)*(-1)/1. Solve 0 = -2*w - 2*m, 0 = -2*w + 5*m - o*m - 16 for w.
-4
Suppose -13*z = -7*z - 126. Solve 5*h + 41 = -2*k + 6*k, -5*h = k + z for k.
4
Let g(k) = 2*k**2 + 7*k. Let v be g(-4). Solve -v*x - b - 5 = 0, -3*x - b + 3 = 2*b for x.
-2
Suppose -3*w - 2*w = 0. Let g be (w - 1)/((-2)/38). Suppose -18 = -r - 3*h, -g = -3*r - 0*h - 2*h. Solve 3*l - 30 = 3*d, r*l = 2 + 13 for d.
-5
Let h be (-20)/6*-1 + 10/15. Solve 5*n + 4*f - h = 5, 3*n - 5 = -2*f for n.
1
Let c(q) = 2*q + 5 + 1 - 5. Let m be c(3). Suppose -r + l + m - 2 = 0, 5*r - 2*l - 10 = 0. Solve -3*o + r*o = -4*f + 14, 2*f = 2*o + 8 for f.
2
Let h = 22 - 22. Suppose h*w = -5*w. Let i(f) = -f**2 - 5*f - 2. Let a be i(-2). Solve a*u + 20 = w, 2*o - 5*u = 9 + 16 for o.
0
Suppose -2*t + 0*d + d + 7 = 0, 5*t = -3*d + 23. Let p(m) = -23*m + 1. Let k be p(1). Let u = k - -41. Solve t*x = -3*n + 24, -x - 4*n + u = -0*n for x.
3
Suppose -10 = -d - 4*d. Solve q = -y + 1, -d*y + 5*q + 2 = -0 for y.
1
Let m be 8/3*6/4. Let f = -4 + m. Suppose -4*v + 2*x + 12 = -f*x, -22 = -4*v - 3*x. Solve 2*t - 11 = -3*u - 2*t, 5*t = v*u + 6 for u.
1
Suppose d = -2*a + 6 + 6, -4*d + 3*a + 4 = 0. Solve -2*o - d*t + 0*t = 20, 0 = -4*o - 5*t - 25 for o.
0
Suppose 84 = 30*p - 2*p. Let a be -1 + 5 - 4/2. Solve a*g + 5 = -s, 14 = -p*s + 4*g - 1 for s.
-5
Let d(x) = 7*x + 18. Let i(n) = 4*n + 9. Let t(j) = 3*d(j) - 5*i(j). Let r be t(-9). Solve -3*s + g = -r*s - 8, -g = -s + 6 for s.
1
Let v(j) = j**2 + 3*j + 3. Let z be ((-3)/(-1)*-1)/1. Let b be v(z). Solve b*l + 6 = -3*i, 4*l = 3*i + i for l.
-1
Suppose 0 = 3*z + 5*m + 4, -3*z - 3*m - 12 = -0*z. Let f = 11 + z. Solve 2*y = 4*h + 4, 2 = 4*y - 2*h - f*h for y.
-2
Suppose 0 = -2*d - d + 39. Let o = -1 + 3. Suppose -2*m + 5*q - o = 0, -7 = -4*m - 5*q + 19. Solve -3*a + 3*h = 2*h - 18, 0 = -5*a - m*h + d for a.
5
Let p(z) = 2*z + 11. Let s be p(-4). Solve 0 = 5*h + s*d - 4, 0 = -3*h + 6*h + 3*d for h.
2
Let j(k) = -4*k**2. Let l be j(-1). Let s be l/(-4) - (1 + 136). Let b be s/(-36) - 4/(-18). Solve -4*z + 5*c - 6 = -4, b*z - 10 = -c for z.
2
Let s(b) = b**2 - 2*b. Let j be s(3). Solve -9 = -5*r + 5*o - 39, -j*r - 5*o + 22 = 0 for r.
-1
Let z be 4/(-4)*(1 + -12). Solve g + 2*h + z = 5*h, 4*h = 16 for g.
1
Let q be -1*(1 + 2)*-3. Let k be (q/(-6))/(3/(-8)). Solve -2*i - k*y + 0*y = -16, 3*i - 2*y = 0 for i.
2
Let l be ((-6)/8)/((-3)/8). Solve 3*h + 26 = -4*o + 9, l*o = -h - 7 for h.
-3
Suppose 4*j - 7 = 5*q, 2*j = -3*j + 5*q + 10. Suppose 0 = -u - 2*r + 1, 4*u + 9 = -5*r - 2. Let w = -5 - u. Solve -2*o + w*n + 11 = 