Solve -m*u + 2 = -2*y, u = -2*y - 4*u + 16 for y.
3
Let w(z) = z + 7. Let d be w(-3). Let v be (-2)/(-8) + (-15)/(-4). Solve -v*i - d*q = q + 1, q + 2 = i for i.
1
Let h(q) = q - 3. Let l(z) = -z + 2. Let y(c) = -5*h(c) - 4*l(c). Let r be y(0). Solve -11 = 3*m + 4*b, 0 = -r*m + 3*m - b + 7 for m.
3
Let r be -1 + 1 + 1 + 3. Suppose 6*h - 3*h = 3. Let q be r + h - 0/(-1). Solve -3*l = -q*x - 10, -5*l + 2*x + 2 = -21 for l.
5
Let o(v) = -v + 16. Let b(x) = -x**2 + 12*x - 13. Let r be b(10). Let j be o(r). Solve k + 7 = -4*f + 2*k, -2*f + 3*k + j = 0 for f.
-3
Let p be (-13)/2*1*-2. Let g = p - 8. Solve g*z = -2*x - 8 + 31, 3*z - 14 = -x for x.
-1
Suppose -p - w = -6*p + 98, 5*p - 90 = 5*w. Suppose -4*t - t + p = 0. Solve 4*o = 4*d - 8 - t, 3*o = -6 for d.
1
Suppose 32 = 3*s - 40. Let b = 7 - 6. Suppose -b = m - 26. Solve -5*f + 4*w = -f - s, -5*f + m = -4*w for f.
1
Suppose 5*l + 10 = 25. Let i be l/(3 - 0)*2. Solve 0 = i*y + 2*g - 8, 2*g - 10 = -2*y - y for y.
2
Let k = -16 + 25. Suppose k*c = 4*c + 15. Solve -12 = -0*u + 2*u - c*o, o = 4*u + 14 for u.
-3
Let a(f) be the first derivative of f**4/4 - 2*f**3 + 4*f**2 - 4*f + 3. Let j be a(5). Solve 0 = -4*x - d + 10, 2*d + 2*d = x - j for x.
3
Let f = 7 + -1. Suppose v + 4 - f = 0. Solve -v*r + 2*a = -14, -a - 10 = -2*r - 0*a for r.
3
Suppose 5*a = -10 + 40. Suppose 5*i - 29 = a. Solve 7*c - 4*c - i = g, -5*g - 2*c = -33 for g.
5
Suppose 2*a + 2*a = 4*n, 0 = -5*a + 3*n + 10. Solve -a*z - 18 = j, 0*z + 9 = j - 4*z for j.
-3
Suppose 3*u + 7 = -17. Let k = 8 + u. Solve v + g - 2 = -k*v, 3*v - 5 = -4*g for v.
3
Suppose -2*x - 4*j + 12 = -0*x, -x = -5*j + 8. Solve 2*s - 6 = 0, -4*s = -0*h - x*h - 14 for h.
-1
Let y be 8 - (-1 - 0 - -2). Suppose -o + 7 + 0 = 2*s, 0 = -4*o + 4*s + 16. Suppose 4*g - 8*g = -16. Solve g*r + 4*w - 28 = 0, -o*w + 2*w + y = -4*r for r.
2
Let o(d) = -d**3 + 5*d**2 - d - 10. Let u be o(4). Solve 4*r - 20 = -5*i, -u*r = -5*r - 4*i + 15 for r.
5
Let k = 14 + -9. Solve 31 = 4*i - i - 5*x, k*i + 4*x + 10 = 0 for i.
2
Suppose -3*f = -6*f + 6. Solve 0 = f*n - 2*s + 1 + 1, -5*s + 23 = n for n.
3
Suppose -5*t = -2*t - 4*u - 6, -3*t + 2*u + 6 = 0. Solve t*f = -x - 3 - 8, 0 = -3*x + 3*f + 3 for x.
-3
Suppose 3*p + 3 = 9. Solve s - 2 = -2*h + p, h = -2*s + 5 for h.
1
Let m = 19 - 14. Solve 0 = d - 2*t - m, 0 = 4*d - 3*d + 2*t + 15 for d.
-5
Let f = -14 + 8. Let t = 11 + f. Solve 0 = -3*b + h + 10, 2*h + 5 = t*b - 2*h for b.
5
Let g = -7 + 7. Solve -3*q + 2*t + 1 = -1, -3*q + t + 7 = g for q.
4
Let n = -7 + 9. Let h be -3*2/(8 - n). Let d be 3/((2 - h)/3). Solve 2*i - d - 5 = -2*k, -4*i - 3*k + 14 = 0 for i.
2
Let h be 3/(-3 - (-18)/3). Let d(g) = 2*g**3 + g**2 - g. Let c be d(h). Solve -4*k - 3 = c*l - 25, -3*k = 2*l - 17 for k.
5
Let f = 1 + 4. Solve h = k + 4, 2*h = k + 4*k + f for h.
5
Let c be 1*4/((-12)/(-9)). Suppose 0*f = c*f - 6. Suppose 7*d - 5*m = f*d - 5, 5*d - 7 = -m. Solve 0 = -i - d, 3*a = -a - 2*i - 22 for a.
-5
Suppose 0 = -3*n + 3, 2*h - 11 = -n - 2*n. Solve -5*l = -r - 17, h*l - r - 20 + 6 = 0 for l.
3
Suppose 3*x + 3*s = 6, -x + 4*s + 16 = x. Solve 3*z = -3*y, -5 = -x*y + 3*z - 19 for y.
-2
Let k(o) = 2*o**3 - 4*o**2 + 2. Let f be (-4)/(-6)*(11 + -8). Let a be k(f). Solve 2*w + 7 = a*q - 3*q, -5*q + 13 = -2*w for w.
-4
Let q(z) = z**3 - 6*z**2 + 2. Let k be q(6). Suppose -r - 1 = -6. Solve 3*y = -2*y - r*o - 5, -2*o = y - k for y.
-4
Let o be 1/((-1)/12*-1). Let w be (-1)/(2 + (-28)/o). Solve -k - 3*v - 7 = 0, -v = -2*k + w*v + 6 for k.
-1
Suppose -14 = -f + 4*c, -5*f + 3*c = 7*c + 2. Suppose s + f*y - 13 = 0, 2*y + 6 = 5*s - 11. Solve h + 3*b - 6 - 5 = 0, 20 = s*b for h.
-1
Suppose -p - 6*p = -21. Solve 2*d - y + 5 = 0, 0*d = -5*d - p*y + 15 for d.
0
Suppose o - 6*o = -20. Solve -o*i - 5*r = -5, 0*r = r - 5 for i.
-5
Suppose -4*r + 25 = r. Let s(j) = -4*j - 10. Let u be s(-3). Solve -u*t = -3*v - 3*t + 7, -r = v + 4*t for v.
3
Suppose 0 = b - 3 - 2. Let w be (27 - -2) + -1 - 1. Let c be 2/(w/12 + -2). Solve -2*x = -b*f + c, 2*x = -f + 5*x + 12 for f.
0
Suppose 2*c - 6 = -0*c - 5*r, -2*c + 6 = -3*r. Solve -5*q - c*y + 28 = 0, -1 = -q + 7*y - 3*y for q.
5
Let m be (-2)/(-6) - 8/(-12). Suppose 4*p - 6 = t - 30, -3*p = 4*t - m. Suppose f = t*f - 6. Solve -4*w - 21 + 1 = 3*u, f*u - 4*w = 0 for u.
-4
Let z(o) = -o**3 - 5*o**2 + 10*o + 7. Let p be z(-6). Let s = p - -19. Solve -4*u + 24 = 5*f, s*f + 4*u - 9 - 3 = 0 for f.
4
Let j = -54 - -74. Solve -3*i = 2*i + 3*d - 20, -5*i + d = -j for i.
4
Let i(n) = 3*n**2 + 2*n + 1. Let a be i(-2). Let h(j) = j - 4. Let m be h(a). Solve -4*w + 5*v + 0*v = 15, 4*v - 21 = m*w for w.
-5
Suppose 9*w - 7*w = 6. Suppose -3*b + q = -11, -w*b + 5*q = -b - 29. Let i be 0/2*b/(-4). Solve 4*n + 3*s + 8 = -i*n, 2 = -n - s for n.
-2
Let c(h) = -h + 14. Let y = -35 - -63. Suppose 2*k - y = -7*b + 4*b, k + 40 = 3*b. Let n be c(b). Solve -v - 20 = -3*x - 9, 0 = 5*v + n*x + 4 for v.
-2
Let p(r) be the second derivative of r**4/12 - 5*r**3/6 + r**2 + r. Let b be p(6). Solve 2*x + 2*m = -x + b, 0 = -x - 5*m - 6 for x.
4
Let b = 6 - 2. Suppose 9*n = b*n. Solve 4*f = -2*r + 6, -2*r + f + 2*f - 1 = n for r.
1
Suppose 3*t + 9 - 18 = 0. Solve -3*m + 16 = m, t*m - 12 = -p for p.
0
Let u = 2 - 0. Suppose n + 2*o = -u*n + 14, -o = 5*n - 21. Solve 8 = -4*c, n*z + 7*c + 10 = 2*c for z.
0
Let k(a) = -20*a + 3. Let n be k(-1). Solve 0 = -5*r - 4*g + 40, 0 = -0*r + 2*r + 3*g - n for r.
4
Let i = -6 - -7. Let j be ((-12)/(-3) - 1)/i. Solve 5*b = -l - j, -l - 3*b + 8*b + 7 = 0 for l.
2
Let y(v) = -v**3 + 8*v**2 - 6*v - 7. Suppose -9 - 19 = -4*r. Let s be y(r). Let p = s + 4. Solve 16 = i - p*x, x + 8 = -x for i.
0
Suppose -h = -2*h. Suppose 0 = 4*i, 0*m + 2*m - 3*i = h. Solve -2*d + z + 10 = 0, 2*d - d + z + 1 = m for d.
3
Let p be 1/2 + (-2)/4. Solve z = 1, -1 = -4*j - 5*z - p for j.
-1
Suppose s + 0 = 3. Suppose -p - 4*p - 30 = s*f, p + 5*f - 16 = 0. Let k be (-42)/p - (-2)/6. Solve 5*u - 15 = -k*y, 0 = -4*y + 3*y + 2*u for y.
2
Suppose -h + d + 13 = -0*h, -3*d + 25 = h. Suppose 5*i + 1 = 2*o + h, -4*o = -2*i - 10. Solve -i*g + 0*g + 21 = 2*v, 5*g = 15 for v.
3
Let u(f) be the second derivative of -f**3/3 - f**2 - 3*f. Let o be u(-3). Suppose -o*v = -2*v. Solve -2 + 3 = -b - d, v = -2*b - d for b.
1
Let d = -67 - -86. Suppose k - 5 = 5. Solve 2*t - u + k = 0, 2*t - t = 4*u - d for t.
-3
Let b = -73 - -78. Solve -b*h = j - 20, -2*h = -j - 3*h for j.
-5
Let v = 18 + -4. Let w be (v/(-10))/((-3)/15). Solve -3*p - 7 = c - 6*p, 3*c - w = -5*p for c.
-1
Let v(r) = r**2 - 5*r - 16. Let u be v(-3). Solve f + 3*t = 1, -3*t - 25 = 3*f - u*t for f.
-5
Let i(u) = 5*u - 33. Let o be i(7). Solve 0 = -4*m + 2*k - 8, o*m + 4 = -2*k + 7*k for m.
-2
Suppose -36*c + 8 = -32*c. Solve -4*t + 0*a - 17 = -3*a, -7 = c*t - a for t.
-2
Let d(o) = o**2 - 5*o + 3. Let w be d(5). Solve -4*z = -t + 6 - 20, -3*t - 15 = -w*z for t.
-2
Let m be (1 - 5)/(-5 - -4). Suppose 2*g + m = 4*g. Suppose g*c = -3*c + 15. Solve 4*i + 7*p = 3*p + 4, 3*i - c*p = 27 for i.
5
Suppose -4*i + 15 = i. Suppose -5*z + 170 = -j - 3*j, 0 = z - i*j - 45. Let t be 18/(-15)*z/(-9). Solve h = 2, 2 = 3*n + t*h - 0 for n.
-2
Let v(i) = 7*i - 2*i**3 - 7*i + 5*i**3 + i**2. Let l be -2 - -1 - (-6)/3. Let x be v(l). Solve -x*n - 3*t - 1 + 8 = 0, n - 3 = -t for n.
-2
Suppose -19 = -u + 4*p, -5*u + 0*u + 2*p = -23. Let j = u - 2. Let k = 1 + j. Solve -23 = 5*v - l, -k*v + 2*l = 1 + 5 for v.
-5
Suppose 4*r = 3*r + 19. Suppose -4*v = 7 - r. Solve 3*j + 8 = -d - v*d, -d + j = 9 for d.
-5
Let u(i) = 2*i - 9. Let c be u(6). Solve t - p + c = 0, 1 = -2*t + 3*p - 3 for t.
-5
Let x(v) = -v**2 - 3*v + 7. Let j be x(-4). Let p be (-6)/4 - (-2)/4. Let i(f) = -5*f - 1. Let w be i(p). Solve -13 = 2*u - 5*d, 0*d + w*d = j*u + 16 for u.
-4
Let k = -3 + 6. Suppose 4*d - k*d = 5. Solve 5*t + 4*v = 13, d*t + 5*v - 6 = 4 for t.
5
Suppose 5*w + 61 - 76 = 0. Solve -4*y - 7 = w*o - 0, -2*o + 4*y = -2 for o.
-1
Let t = 38 - 36. Solve 0*g + 2 = -2*j - t*g, 5*g + 15 = 5*j for j.
1
Suppose 2*y - 5*y + 12 = 3*l, 5*l - 17 = -2*y. Solve -3*x + 24 = -0*x + 3*s, s = -l*x + 14 for x.
3
Suppose 3*l = 3 - 27. Let o be (-42)/l - (-6)/(-24). Solve -t = o*z - 19, t - z = 2*z - 13 for t.
-1
Suppose 6 = 3*u, 26 + 50 = 5*a - 2*u. Solve l + 9 = 4*n, -2*n + 1 + a = -3*l f