5*d, l = -c*d + 7 + u for d.
5
Let w(i) = -4*i**3 + i**2 - 1. Let n be w(-1). Solve -3*f - f = n*l + 36, 4 = 4*f - 4*l for f.
-4
Suppose 5*g + f = -5, -4*g + 4*f + 4 + 16 = 0. Suppose 4*d + 2*d = g. Solve -3*m = -3*a - 3, -m + d*a + 5 = 3*a for m.
2
Let p = 5 - 7. Let n be ((-16)/(6/3))/p. Let j(t) = t - 1. Let a be j(n). Solve 5*f + 5*w = 50, 0 = a*f + f - 4*w for f.
5
Suppose 0 = -3*m + 15*m - 48. Solve -13 = -2*v + r, -m*r - 36 = -3*v - v for v.
4
Suppose -10*x + 18 = -2. Solve -2*d + d - 5*q - 8 = 0, -5*d + x*q = 13 for d.
-3
Let z be 0 - 2/(-6)*0. Suppose 3*p + 4*o - 25 = z, -5*p - o + 35 = 4*o. Solve -p*y + 3*j - 4 = 8, 11 = y + 4*j for y.
-1
Suppose 0*c = c + 21. Let x be c/(-14) - 14/(-4). Solve -2*a - v = 2, 0 = -x*a - 3*v + 2*v - 8 for a.
-2
Suppose 2 = 3*j - 4. Suppose -c - j*c = -18. Let i(x) = -x**2 + 4*x + 16. Let n be i(6). Solve a + c = o, -n*o - 4*a - 6 = -2*a for o.
1
Let c(y) = -3*y**3 - y. Let p be c(-1). Let k = 7 - 3. Let r(o) = o**3 - 3*o**2 - 2*o - 4. Let l be r(k). Solve p*q - 22 = 2*v, -l*v = -0*q - 2*q + 26 for v.
-5
Let h(y) = -7*y. Let n be h(-4). Suppose 0 = 5*v - 3*v - n. Solve 18 = 2*o + o + 3*t, 0 = o - 4*t + v for o.
2
Suppose -5*x + 8 = -x. Suppose -d = x*d. Suppose d = 4*p - 15 - 1. Solve -p = -q, -8 = j - 2*j - q for j.
4
Let m(o) = 4*o. Let k be m(1). Solve -5*n + 2*a - 20 = 0, k*n - a = n - 11 for n.
-2
Suppose -3*f + 6 = -3*w, 5*f - 24 = -2*w - 0*w. Solve -3*l + 12 = 2*g, -f*l - 4*g + 9 = -7 for l.
4
Let v = -3 + 7. Suppose -g + 0*g = 3*b + 5, -3*g - 65 = -b. Let z = 20 + g. Solve 3 = v*c + 5*m + 1, -2*m + 4 = z for c.
-2
Let y be (8/10)/(3/(-15)). Let r be ((-6)/4)/(3/y). Suppose -3*w + 3 = -f, 4*w - 17 = 3*f - 6*f. Solve 3*d + o - 13 = 0, 2*d + w*d = r*o + 14 for d.
4
Let x(l) = l - 12. Let g be x(17). Solve -3*u = -g*n - 1, 1 = -2*u + 4*u - 3*n for u.
2
Let l(w) = w**2 + 4*w - 11. Let y be l(-7). Solve -5*c = -y, 2*x + 4*c - 2 = 5*x for x.
2
Let o(j) = 4*j - 4. Let s(i) = i + 1. Let x(p) = -o(p) + 5*s(p). Let d be x(-5). Solve 2*r + 4*v - d = 0, -5*r - v - 16 = -4*v for r.
-2
Let a be 1/((3/1)/30). Suppose g - 3*g + a = 0. Solve -n + 5*n + 32 = -4*m, -g*m = -4*n + 4 for n.
-4
Let r be ((-12)/(-2))/(-3 - -6). Solve r*f + k = 3*k - 2, 2*k = -4*f - 4 for f.
-1
Let c = 21 + -13. Solve -5*d - 21 = -4*w, -4*d = -3*w + 2*w + c for d.
-1
Let f be (-2)/5 + 44/10. Let a = -18 + 27. Solve b + a = 3*p, -3*b - 9 = -3*p - f*b for p.
3
Let n = 0 + 4. Solve -n*z - 7 = 4*b + 5, 0 = -2*z + 2 for b.
-4
Suppose -40 = -7*x + 5*x. Solve 2*n + 15 = 5*m, 2*m = -0*m - 2*n + x for m.
5
Suppose 59 = d + 3. Let j = d + -36. Suppose 3*t - j = -2*t. Solve -5*z - 5 = 3*g, g - 5*z - t = -z for g.
0
Let w(n) = 1 + n - 2*n - 6*n**3 + 0*n. Let v be w(1). Let f(m) = -m. Let o be f(v). Solve -4*d + 4 = -4*b - 2*d, 0 = 3*d - o for b.
0
Let k be (12/(-9))/(2/(-3)). Let g = 0 + 13. Solve -k*w + d + 2 + 11 = 0, -g = -5*w - 4*d for w.
5
Suppose -5*i = 5*h + 15, -i + 1 = 3*h - 0*i. Suppose 3*c + m = -c - 4, -24 = 2*c - 5*m. Let n be h/c + 1 - -4. Solve 3*v + 4*k - 4 = 6, -6 = -5*v + n*k for v.
2
Let q be 3/2*(4 - 2). Let h be ((-3)/4)/(180/64 - 3). Solve 0 = -c - w + q - 1, h*c - 5*w = 35 for c.
5
Suppose -c - 2*x + 8 = 0, c = -2*c + 4*x + 24. Solve -f + 3 + c = 3*s, 0 = -f - 1 for s.
4
Let x = 31 - 19. Solve 2*s - b - 5 = 0, 5*b - 15 - x = -3*s for s.
4
Let h = 11 + 1. Suppose -2*a - h = -6*a. Solve -a*z + 11 = 2*u + 2*u, 1 = z for u.
2
Suppose 2*n + y - 6*y = 51, 2*y = -10. Suppose q + n = -5*c, -3*q + 8 = -c - 1. Solve -2 = x + r - 4*r, -x - 3*r = q for x.
-2
Let k = 13 + 37. Let b be ((-40)/k)/(4/(-10)). Solve -5*h = 3*v + 11, 4*v + 1 = -b*h + 5 for h.
-4
Suppose 0*a - 10 = -2*a. Suppose 2*f + 15 = 3*p, 2*p + a*f - 15 = -p. Solve 0 = 4*x - 5*r - 17, p*r - 4 = -x - 2*x for x.
3
Suppose -4*h = -5*y + 12, -y + 2*y + 4 = 4*h. Solve 3*o - 8*o = 5, -h*a + 4*o = -8 for a.
2
Let g be (-138)/(-36) - 1/(-6). Solve -4*c + 1 - 29 = -g*q, 4*q - 20 = 0 for c.
-2
Suppose 5*q - 12 = -z - z, -q = -z - 8. Let w be (z/(-6))/(1/21). Suppose 0 = -3*s + w + 16. Solve 4*u - r = r + 10, 2*u + s = 4*r for u.
5
Let t(i) = -i**2 + 3*i. Let b be t(3). Let k(w) = w**3 - 5*w**2 + w + 1. Let r = 14 - 9. Let m be k(r). Solve m*h + 12 = 3*h + 5*f, b = 2*f for h.
-4
Suppose 2*n = -4*h - 2, -5*h + 5 = -n - 10. Suppose h*t = -t. Solve t = 4*m - k + 1, 5*k = -0*m - m + 5 for m.
0
Let y be (2 - -2) + -2 + -2. Suppose 3*w + 2 - 14 = y. Solve 2*u - 3*z + 23 = 0, -w*z + 12 = -8 for u.
-4
Suppose w + 23 = 2*w - 5*l, 10 = -2*w - 4*l. Solve 4*d = -4*q - 20, -5 - 2 = -q + w*d for q.
-2
Suppose -5*x + 10*x = 40. Suppose q - 5*f = -x - 3, -q = 5*f - 19. Solve 0 = -q*j + w + 15, 3*w + 9 = 4*j - j for j.
4
Let i = 11 - 7. Suppose -f + 3*d - 27 = -i*f, 0 = -5*f + 3*d + 13. Suppose 1 = k - 0. Solve 0 = w + 2*b + b - k, -f*b = 0 for w.
1
Suppose 5*s - 21 = -1. Solve -5*g + 13 = 3*v - s*v, -3 = -g for v.
2
Suppose 0 = -4*a + 9*a - 25. Solve a*g = 5*w - 15, 2*w + 1 = 3*g + 8 for g.
-1
Let j(h) = -h**3 - h**2 + h + 2. Let d be j(-2). Suppose 8 = 2*g + d*m, m = -0*g + g - 1. Solve -7 = -2*o + 3*o - 2*w, 0 = w - g for o.
-3
Suppose -4*o + 22 = -2*o. Solve 0 = -0*m + m - p - 3, -5*p = -3*m + o for m.
2
Let a = 8 - 6. Suppose n - 2*n = -4*m + 21, 2*m + 4*n = 6. Suppose -19*w + 17*w + 8 = 0. Solve -m*f + 3 = 4*k, a*k = -w*f + k + 9 for f.
3
Let f(u) = u**3 - 4*u**2 - 4*u. Let n be f(5). Let y(x) = 2*x + n - 6*x + 3*x. Let j be y(3). Solve -3*r = -4*b + 24, -3*r = 2*b - j + 8 for r.
-4
Let a = -11 - -16. Let q(m) = m**3 - 12*m**2 + 13*m - 22. Let o be q(11). Solve 10 = -2*f - 5*g - 0*g, -a*f + 4*g + 41 = o for f.
5
Let n be (3/2)/(6/(-16)). Let s be (-12)/(-18) - n/3. Solve 2*i = -10, s*r - 2*i = 5*r - 2 for r.
4
Suppose -5*d + 12 + 5 = k, 3*d + 4*k = 0. Solve -f + h + 12 = -5*f, -d*h - 24 = 4*f for f.
-2
Let k be (-2)/(-3) + (-44)/(-6). Let s be 3/(-6)*(4 - 8). Suppose 2*p + 18 = 2*x, -3*p - p = -s*x + 24. Solve -l = -j - x, 0*j + k = -j + 3*l for j.
-5
Let f(k) = 1 - 3 + k - k - k. Let l be f(-2). Solve 0 = 2*p - 4*r - 20, -2*p + l*r - 5*r - 25 = 0 for p.
0
Let u(w) be the second derivative of -w**4/12 + 2*w**3/3 + w**2 - w. Let z be u(4). Solve z*t - 6*p = -p + 14, 3*p - 3 = 5*t for t.
-3
Let f = -3 + 31. Solve 2*z = u - 2*z - 12, 2*u + f = -5*z for u.
-4
Suppose 0 = -4*r + 18 + 70. Solve 3 = 5*w - 2*g - r, 5*w - 5*g - 25 = 0 for w.
5
Suppose 4*s - 2*s = 4. Solve s*y + 5 = -q - 10, 4*y + 10 = 2*q for y.
-5
Let j = -4 - -1. Let n = j + 6. Solve -h = n*y - 4*h + 6, 5*y + 31 = -2*h for y.
-5
Let x be (-4)/20 - 2/(-10). Suppose x = 3*q - 0*q - 15. Let c be q + 1 + (-4)/2. Solve -g = o - c*g - 4, -4*o + g + 16 = 0 for o.
4
Suppose p = -0 + 2. Suppose -1 = -t + 1, 2*n - 2*t = 0. Solve n*c - p = -3*m, -c - 2*m = -4*m + 6 for c.
-2
Let l be 4 + (3 - (2 + 1)). Solve -l*x - x = -f + 11, 0 = -5*f - 2*x - 26 for f.
-4
Let n(d) = -d**2 + 11*d - 6. Let l be n(10). Solve -5*y + 4*g - 20 = 0, 5*g = -l*y + 2 + 23 for y.
0
Let p be (-5)/10*4*-1. Solve 0 = p*w - 2*i, -4*w + 0*i + 2*i + 2 = 0 for w.
1
Let x(r) = -7*r - 1 + 4 + 12. Let b(u) = -u + 1. Let p(y) = -6*b(y) + x(y). Let s be p(4). Solve -2*a + 2 = -a + f, 2*a - 7 = -s*f for a.
1
Suppose 2*g = 5*g - 6. Let b = g + -2. Let a be 1*(1 - 3 - -3). Solve 3*d - 5*j + a = b, -j = d - 0 - 5 for d.
3
Let v(u) = -u**2 + 2*u + 2. Let a be v(2). Solve -4*i - 6 = 2*d - 0*d, -5*i - a*d = 9 for i.
-3
Let x = -3 - -5. Suppose v - 3 = 4*v, -3 = 3*l + 3*v. Suppose -b = 3*t + 1 + 1, -2*b - 3*t + 2 = l. Solve x*g - 4 = -k, 3*k = b*k for g.
2
Suppose -40 = -4*q + 16. Solve 3*g + 26 = -4*w - 2*g, -2*w = 3*g + q for w.
-4
Let c(g) = g**2 - 9*g + 5. Let q be c(8). Let x = 5 + q. Solve -5*z - 3*t + 1 = -x, -3*t - 12 = 0 for z.
3
Suppose 0 = m, -29 = -3*q + 4*m + 1. Solve -l - 4*k + q = 0, -2*l + k = -k for l.
2
Suppose -o + 11 = t, 3*t + 4*o = -0*o + 32. Let p = 53 + -25. Let w = 40 - p. Solve -2*u = -4*d - t, -4*d - w = 3*u + 20 for u.
-4
Let d be (2/(-6) + 1)*6. Suppose x = d*x - 9. Let o be (-1 - 15/(-9))*x. Solve 5 = o*v + 3*q, -2*v = v - 3*q for v.
1
Let y = -47 - 1. Let p be 1/5 + y/(-10). Solve p*c = -0*v + 3*v - 22, 3*c - 4*v = -11 for c.
-5
Let i be 5/((-1)/1 + 2). Let r = -19 - -33. Let l = r - 10. Solve l*f - 12 = 4*q, -5*f + 0*q = -3*q - i for f.
-2
Suppose -30 = -5