z*f + 4 = -4 for x.
4
Let u = 25 + -20. Solve 2*y - 6 = -0*y, u*c = 3*y + 16 for c.
5
Let f = 55 - 51. Let z be 2/(-2) + 1 + 5. Solve -f*w - 2*m - 8 = 0, -3*w = -z*w - 5*m - 12 for w.
-1
Suppose 2*y - 13 = 3*i, y + 3*i = -2*i. Let q = -423 + 431. Solve 4*a - 2 + q = -y*o, -o + 2 = 0 for a.
-4
Let l be (2/6)/((-1)/(-15)). Suppose -l*q + 22 = -3. Suppose -3*i + 7 = i - b, b + 9 = q*i. Solve 0 = 3*m + 2*s + i, -m - s = 2*s - 4 for m.
-2
Let m = -2 + 6. Suppose m*c + 16 = 0, 0*c - 8 = -3*w - c. Solve 0 = -5*f - y + 24, -8*f + w*f - 3*y = -17 for f.
5
Let r be (-1)/((5/(-30))/1). Solve -20 = q - r*q, 0 = -4*x + 3*q - 28 for x.
-4
Let u = 14 - -6. Suppose -u = 5*c, s = 5*s + 3*c - 8. Let a(q) = -q + 1. Let i be a(-1). Solve -4*z + 4 = -v - s, -v - i*z = 3 for v.
-5
Let d be (4/10)/(14/70). Let o(h) = 2*h**3. Let y be o(1). Suppose 9 = y*c - 37. Solve 9 = n + d*a - 6*a, -2*a + c = 5*n for n.
5
Let q be (-3 + 2)*(0 + -5). Solve -4*w + 11 + 7 = t, q*t = 2*w + 2 for t.
2
Suppose 2*b = -b. Let i be (-1 + b)/((-2)/30). Solve 5*p = -i, f + 4*p + 2 = -5 for f.
5
Let q be (6/10)/(8/200). Solve d + 2*a = -5, 4*a - q = -2*d + 5*a for d.
5
Suppose 8 - 33 = -5*a. Suppose -a*i = -i. Solve t = 4*d - i*d - 9, -d + t + 3 = 0 for d.
2
Let g(a) = -a**2 + a. Let h be g(-1). Let w(r) = -r**2 - 6*r - 3. Let j be w(h). Suppose t - 24 = -t. Solve -2*d - 3*d = -4*k - 19, 3*k + j*d = t for k.
-1
Let q be (-1 - -4)/(6/4). Suppose -q = -4*w + 2*l, 6*w = w + 5*l + 5. Solve w = i - d + 6*d - 23, 3*i - 2*d - 1 = 0 for i.
3
Let s = 83 + 163. Suppose s + 159 = 3*i. Suppose -5*r + i = -0*r. Solve 0 = -5*d + 5*c + 5, -5*c = 4*d + r + 5 for d.
-3
Suppose -2 = -2*c + 6. Suppose -t + 1 + c = 0. Solve n + 15 = t*u, 9 = 2*u - n - 0*n for u.
2
Suppose 4*a - 2*x - 13 = -x, 3*a - 3*x = 3. Solve 3*m - 2 = 3*r + a, r + m + 4 = 0 for r.
-3
Let z be (-5)/2*(-80)/50. Solve 2*t = z, -3*t + 8 = -3*n - 2*t for n.
-2
Let n be (-3)/12 - (-13)/4. Solve 3 = -3*s - 3*y, 6*s - n*s = 3*y + 3 for s.
0
Suppose -5*b = -s + 5, -2*s + 3*b + b + 4 = 0. Solve 1 = o + n, s = 3*o - 2*n - 2 + 9 for o.
-1
Let d be (-3*20/(-15))/1. Solve -d*p + 12 = -2*v, -4*v - 5*p + 17 = -7*v for v.
-4
Suppose -4*b - 14 + 42 = 0. Suppose 0 = 4*t - b*t + 9. Solve 5*o + 0 = -4*d - t, -3 = 3*d + 3*o for d.
-2
Let n(q) = -q - 10. Let w(x) = 6*x + 51. Let g(s) = 11*n(s) + 2*w(s). Let u be g(10). Solve -3*j - 5*b + 8 = 0, u = 5*j + 2*b - 5*b for j.
1
Suppose -k + 9*k = -0*k. Solve 5*l = 5*y - k*l, -12 = -2*y - 4*l for y.
2
Suppose 2*w = 3*w. Suppose p - 1 = -3*a - 3, 2*p = -4. Suppose a = 3*b - 15. Solve -n - 10 = b*u, -4*n + 8 = -4*u - w*n for u.
-2
Let p(l) = -l - 3 + l**2 + l + 0. Let z be p(-3). Solve -3*i + 1 = -5*n + z, 2*i + 5*n = 30 for i.
5
Let k = 32 + -82. Let m be k/(-15)*12/10. Solve 5*b = m*q + 5, 2*q + 2*q + 4*b = 40 for q.
5
Suppose 2*o + o = 0. Suppose o*n = -5*n. Solve n = -5*u + 4*x - 30, -u + 11 = u + 3*x for u.
-2
Let q = 2 - -1. Let f(l) = -l - 22. Let o be f(-26). Solve 4*y - 3 = -q*z, 4*y = y + o*z + 21 for y.
3
Suppose 2*c + 0 = x + 17, -5*c - 4*x + 23 = 0. Let m be 3/7 - (-18)/c. Solve 4*w - m*t + 17 = 0, 0*w - 2*w - 3*t = -5 for w.
-2
Suppose -26 = 2*r - 4*r. Let q = 28 - r. Solve -d = -u + d - 3, -5*u - 5*d + q = 0 for u.
1
Let q = -19 - -31. Solve -4*y - 3*l + 2*l = -q, 0 = -4*l + 16 for y.
2
Let z = 5 - 0. Let k = -2 + z. Solve k*t - 10 - 2 = 4*i, -i + t - 4 = 0 for i.
0
Suppose 3*d + 9 = 3*v, -v = d - 1 - 6. Solve 4*x - 22 = 2*r, 2*r - 12 = -v*x + 11 for x.
5
Let p = -29 - -23. Let x be p/27 + 40/18. Solve -2*o + k = 2, 5*k = -x*o + o - 12 for o.
-2
Let k be ((-2)/(-3))/(4/(-6)). Let b be (k - -2) + (-6)/(-3). Solve b*i - y - 6 = -16, -i = 3*y for i.
-3
Let z be 3/(0 + (-4)/48). Let x be 6/((z/15)/(-6)). Solve k + 4*k = -2*j, -5*k = -j + x for k.
-2
Suppose -2*l - 2*h = -104, -2*h - 216 - 58 = -5*l. Let u = -36 + l. Solve -a = -w + 11 - 5, -4*a + w - u = 0 for a.
-4
Let x be 6/(-4)*68/(-6). Let q = x - 12. Solve -s = q*c + 19, -1 = -4*c - c + 4*s for c.
-3
Suppose 8 = -3*n - 10. Let i = n + 11. Suppose y = i*y - 20. Solve 0 = -3*j - 2*j + 15, w - y = -j for w.
2
Let y(l) = -l**3 + 4*l**2 + 6*l - 3. Let i be y(5). Suppose 2*x = -2*f + 32, -f + i*x + 14 = x. Solve -2*t + 1 = -5*a, 0*a - 3*a = 4*t - f for t.
3
Suppose 3*o + 2*d - 19 = 0, d + 0*d - 23 = -3*o. Solve -5*u = 2*w - w - o, 0 = -4*u + 4 for w.
4
Let c = -2 + 2. Suppose -5*a + k + 1 = 0, c*a - 2*a - k = -6. Let g = 6 - a. Solve -g*p + 3 = 4*l, -2*l + 6*l = -3*p + 5 for p.
-1
Let u(h) = h - 3. Let v = -8 + 14. Let l be u(v). Solve 4*o + 14 = -5*x, -5*x - 4*o + l*o = 11 for x.
-2
Let f = -15 + 18. Solve -f*v = 5*q + 37, v + 5*q + 29 = -0*v for v.
-4
Let n be 3/15 + (-14)/(-5). Suppose -12 + 20 = m. Solve 2*u - 8 = n*p - 2*p, -3*p + m = 2*u for p.
0
Let l(i) = i**2 + 9*i - 4. Let k be l(-9). Let a be -1 + k/(4 + -8). Solve -5*u - 3*d - 10 = -a*d, 8 = -4*u + 4*d for u.
-2
Let m(z) = -z**2 - 4*z + 1. Let s be m(-3). Suppose 2*l + 0*y = -y + 11, -s*y + 29 = 5*l. Solve -c = -3*r + 3*c - 11, -4*r - l*c = -6 for r.
-1
Suppose 4*p = -p + 50. Suppose -2*c + p + 0 = 5*u, 5*c - 2*u + 4 = 0. Solve c = 3*a + z - 5*z - 11, -3*z - 7 = -a for a.
1
Suppose -4*z + 20 = 0, z - 2*z = 5*u - 30. Solve h - 5*d = 4, u*h - 20 = -d - 2*d for h.
4
Let j(s) = s + 10. Let f be j(-5). Let a = 25 - 11. Let w be 258/21 - 4/a. Solve -3*b + 3*u = -w, -2*u - 12 = -3*b - f for b.
-1
Let j(n) be the first derivative of n**4/4 + n**3 - 2*n**2 + 2*n - 1. Let d be (2 + 1)/(6/(-8)). Let x be j(d). Solve x*a - 18 = -4*v, a = 5*v - a for v.
2
Let o(b) = -b + 7. Let p be o(4). Let k = p - 9. Let z be (-2)/(-6) - (-2)/k. Solve 4*j + j + 21 = 4*f, 2*f + 5*j - 3 = z for f.
4
Let s be -6*(8/3)/(-4). Let o be s/14 - (-38)/14. Solve 5*v + o*r - 13 = -0*r, 0 = 4*r - 4 for v.
2
Suppose 4 = -3*z + 10. Suppose 0 = z*d + 3*d - 25. Solve 2*j + 5*x + 21 = 0, -2*j - 2*j - d*x = 17 for j.
2
Let d be ((-18)/12)/((-2)/(-4)). Let l = 5 + d. Suppose -3*g + 9 = -3*j, -l*j - 5*g + 19 = -10. Solve 7 = t + j*s, -t + 2*s - 2 = 3*t for t.
1
Let n(j) = j**3 - 6*j**2 + 3*j + 7. Let o be n(5). Suppose 5*r + 4*v - 3 = 2, -3*v + 3 = 4*r. Let d = o - r. Solve -4*f - 9 = 3*c, d = 3*f - 4*c - 17 + 5 for f.
0
Let h = 55 + -52. Solve -u + 2*x = x - 4, -3*u - 18 = h*x for u.
-1
Suppose 7 = f + 3. Let c be ((-2)/f)/(2/(-12)). Suppose 0 = 4*b + c*h - 21, b + 3 = 4*b - 2*h. Solve -3*l - 10 = 2*l, 5*o - b*l = 26 for o.
4
Suppose -h = 2 - 4. Solve 4*s + 22 = -t, 4*s + 6 = 2*t + h*s for t.
-2
Let r = 37 - 33. Solve 0 = r*f - 4*k + 12, -2*f - 3*k - 6 = 2*k for f.
-3
Let p(b) = b**2 - 3*b + 2. Suppose 4*u = -5*i + 13, -5 = -i + 4*i - 4*u. Let m be p(i). Solve 4*d - 17 = w, -3*d = -w - m*w - 12 for d.
5
Let y(a) = 3*a**3 - 2*a - 2. Let d be y(-2). Let g be (-3)/2 - 77/d. Solve 2*n - r = 3, 6*r - g*r + 12 = -n for n.
0
Let n(o) be the third derivative of 0*o**3 - o**2 + 0*o**4 + 1/120*o**6 + 0*o + 0 - 1/10*o**5. Let l be n(6). Solve -5*v = 4*j - 2, -4*j + j + 9 = l for v.
-2
Let r = 24 - 19. Solve -x = z + 1, r*z - 2 + 25 = 4*x for x.
2
Let j = 28 + -18. Let x = 2 - 3. Let h be x/(-4) - 15/(-4). Solve -h*z + j = 2*p - 0, -3*p + 11 = 2*z for z.
1
Suppose 5*d - 520 = 5*r, r + 62 + 58 = -3*d. Let m = -68 - r. Solve -3*s + 5*h = m, -4*h = -2*s - 0*h - 30 for s.
-5
Suppose 6*c + 34 = 4*u + c, 3*u - 27 = 3*c. Solve 5*x - 2*w = 4*x - u, 0 = x - 3*w + 15 for x.
-3
Let s(h) = 6*h**2 - 1. Let y be s(1). Solve -2*v + 18 = -0*v + y*u, -v - 3*u + 11 = 0 for v.
-1
Suppose -5*j - 5*b = 15, 0*j - b = 5*j + 3. Let f be ((-2)/6)/((-1)/6). Let u be (1/(-3))/(f/(-6)). Solve 5*m - 10 = -3*v + 7, j = -m + u for v.
4
Let u = -2 + 1. Let v be u/(-3) + 28/(-12). Let i be 3 + 48 - (-2)/v. Solve -3 = -2*y + b, 3*b = -4*y - 19 + i for y.
4
Suppose 0*q + 18 = -4*y - 3*q, -5*y - 3*q = 24. Let g be ((-12)/(-8))/(y/(-8)). Solve -3*f + 5*j - 29 = 0, g*j = 3*f - 0*f + 17 for f.
-3
Suppose 2*p + 0*o = o + 13, p - o - 8 = 0. Suppose 0 = p*w - 2 - 23. Solve -21 = 3*v + 4*g + 4, -5*v + 5*g + w = 0 for v.
-3
Let h = 57 - 52. Solve 5*v + 3*i + 0*i - 3 = 0, 0 = -3*v + 5*i - h for v.
0
Let y = -9 - 9. Let t = -14 - y. Solve -5 + t = -5*v + s, -2 = -2*v + 2*s for v.
0
Suppose -5*l = 3*f + 4, l = 2*f + 6*l + 6. Solve -2 = -2*t + 3*k, -5*t + f*t = 5*k + 35 for t.
-5
Let d = -3 + 7.