2*w, -4*w + 1 = 5*b for b.
1
Let k(f) = f**2. Let z be k(-2). Solve -2*y - 3*q - 15 = 2*q, -2*y + z*q = -12 for y.
0
Suppose 0 = 3*o - 6*o. Suppose 4*x = 5*b - 3, 2*x - 3*b + 0 = -3. Solve -y = -4*f + 2*f + 2, o = -x*y - f + 15 for y.
4
Let s be 4 + -6 + 0 + 4. Suppose 3 = -s*a - 1. Let k be (-40)/(-6)*(-3)/a. Solve -j - k = -6*y + y, -y + 3*j = -2 for y.
2
Suppose -m - t = m - 2, -4*m + 6 = 3*t. Suppose -1 = -m*d + d. Let y be -2 - d/(-1)*-5. Solve -2*z = y*v - 10, -v + 14 - 5 = -5*z for z.
-1
Let s(o) be the first derivative of -o**4/4 - 5*o**3/3 - 3*o**2 - 4*o - 3. Let h be s(-4). Solve -h*m + 18 = -3*g + 4*g, 3*g + 6 = 3*m for m.
4
Let h(o) = -3*o - 1. Let j be h(-1). Suppose 0 = 3*l + j*l - 20. Solve -5*i = -2*u + 22, l*u = -5*i + 4*i for i.
-4
Suppose -6*o - 17 + 41 = 0. Solve -4*a - o = m + 3*m, 4*a = 3*m - 11 for m.
1
Let z be 5/2 - 1/2. Let r be 2/z + 2 - 3. Solve 0 = t + 3*c - 3, r = 2*t - 3*t + 4*c - 11 for t.
-3
Let f = -4 + 8. Let z be 2/4 - (-310)/f. Let b be (-3)/15 + z/15. Solve -2*p + b*i = 4, 0 = 3*p + 5*i - 2*i - 15 for p.
3
Suppose -10 = -5*v, -2*v + 11 + 13 = 5*r. Solve 0 = 2*x + r*u - 1 + 9, 4*u + 12 = -4*x for x.
-2
Suppose 25 = 3*d - 14. Suppose 2*t + 0*t - 3*x + 22 = 0, 5*t + d = -3*x. Let j be (1 + 2)/(-4 - t). Solve -3*q = -j*i + 21, -4*i - 15 = -7*i for q.
-2
Suppose -4*q + 3*h = 3, -2*h + 13 = 3. Solve 0*x = q*t + 4*x - 20, -x = -5 for t.
0
Suppose 0 = 5*k - 20, 5*g - 4*k - 43 - 86 = 0. Let c be (9 + 1)/((-2)/2). Let i = -5 - c. Solve 2*n + n - 7 = 2*l, i*l + g = -4*n for l.
-5
Suppose 2*f - 3*n - 18 = 0, 3*f - n = 24 - 4. Let k be f/(-4)*8/(-3). Solve -k*b - a = -20, -3*b - a + 8 = -2*a for b.
4
Let n(z) = 2*z + 14. Let r be n(-7). Solve -t - 2*t - 1 = -q, r = -3*q + t + 3 for q.
1
Let r = 38 - 29. Solve m - 6*m + 2*p - r = 0, 0 = 4*m + p + 2 for m.
-1
Let q be 156/42 - 2/(-7). Solve -3*x = -x - q, 4*u + 5*x + 10 = 0 for u.
-5
Let k(a) = 3*a - 8. Let j be k(6). Let c = -6 + j. Suppose c*v = -0*v. Solve 2*y = -2*s - 2, v*y + y - 1 = s for y.
0
Suppose 0 = 3*k - 3 - 0, -k = -2*h + 3. Solve -15 = 2*g - 5, 0 = -h*i - 4*g - 28 for i.
-4
Let j(g) = g**2 - 3*g + 6. Let x be j(3). Solve 2*l + 4*n - x*n = -6, -3*l = -4*n + 8 for l.
-4
Let v be 2 + -5 + (28 - -6). Solve 5*n + 2*w = -v, -4*n + 9 = 3*w + 38 for n.
-5
Let r be 33/9 + 4/(-6). Solve 0*u + 21 = 2*u + 5*q, -u + 2*q = r for u.
3
Suppose -4*g + 24 = 4*a, -a - 24 = -4*g - 4*a. Let v be (4/g)/((-6)/(-90)). Solve 5*z + v = -3*o, z + 2*z + 2*o + 6 = 0 for z.
-2
Suppose 5*v = -18 + 68. Suppose 5*o = -4*x + 3*o + v, 0 = 5*x - 2*o - 26. Solve -16 = 2*c + x*t, 0 = -c - 2*c - 5*t - 19 for c.
2
Let u(l) = 7*l - 1. Let o(a) = -a**2 + 2*a. Let k be o(2). Suppose k = -n - 0 + 1. Let j be u(n). Solve -f + j + 5 = -4*x, -4*x - 21 = f for x.
-4
Let y(s) = -s**3 + 6*s**2 + 2*s + 6. Let p = 6 + 0. Let v be y(p). Solve -w = 5*a + v, 0*a + 5*a = 3*w - 6 for w.
-3
Let s(l) = -l + 9. Let b be s(5). Let h be (2/(-4))/(1/(-10)). Solve -3*x + b*a = -26, 0 = h*x - 4*a - 15 - 15 for x.
2
Suppose 5*t = 4*l + 81, 2*l + 60 = -0*t + 4*t. Let i be 2/(-13) - (-28)/t. Solve 0 = 4*x - w + 4, -5*x - i = 3*w + 3 for x.
-1
Let w(p) = p**3 - p**2 - 2*p + 2. Let l be w(2). Let x = 19 - 15. Solve 0 = -2*z + x, -2*u + z + l - 12 = 0 for u.
-4
Let h(q) be the second derivative of q**3/6 + 4*q**2 - q. Let s be h(-6). Let d = 55 - 33. Solve d = s*k - 4*n, 5*k + 0 = -3*n - 10 for k.
1
Let g be 2*(1 + -4 + 4). Solve g*s - 3*c - 5 = 0, -4*s + 10 = -s - 2*c for s.
4
Let f = -1 + 4. Suppose -3*j = -y - y + 8, -4*j + 4 = y. Suppose -2*h = 2*h + y*c + 12, f*c = 3*h - 9. Solve -10 = 4*u - 2*l, -1 + h = l for u.
-3
Let q = -8 + 12. Suppose -7 = -b - q. Solve 2*m + 20 = -3*c, -b*m - 20 = c + m for c.
-4
Suppose 4*h = 19 + 1, 0 = -4*a - h + 17. Let z = -6 - -9. Suppose 0 = x + 5*o + 5, z*x - o - 19 = 2*x. Solve -5*p - 2*r = -30, 0*r - x = -a*r for p.
4
Let d(t) = t**3 + 7*t**2 + 7*t + 8. Let a = -10 - -4. Let i be d(a). Let n be (-4)/5*(-5)/i. Solve 3*b - p = p - 12, n*b = -5*p + 11 for b.
-2
Let w = 15 + -7. Let f = -3 + w. Solve 0 = 3*v - 0*v + 2*k + 6, -4*v - 8 = f*k for v.
-2
Let d be 14/5 + -1 - 3/(-15). Solve 0 = -h - 0*p - 5*p, d*p = -3*h for h.
0
Let q be (4/3)/((-2)/(-6)). Suppose -16 = -4*y + q. Suppose 4*r - 20 = -0. Solve -25 = -r*j + y*d, 4*j - d + 2*d = 0 for j.
1
Let n(h) = 4*h - 12. Let w be n(4). Solve w*u + 4*z = 0, 0 = 2*u - u - 4*z for u.
0
Let u(w) = w**2 + 6*w - 8. Let p be u(-8). Let l = -3 + p. Let y = -15 - -15. Solve 5*s + 0*s - l*n - 40 = y, s - 4*n = 17 for s.
5
Let u(t) = 3*t**2 + 8*t. Let w be u(-3). Solve -y = -w, -5*p - 5*y = 14 - 4 for p.
-5
Suppose 35 = -0*r + 4*r + 3*h, 3*r = 4*h - 5. Suppose 0 = -7*u + r*u + 8. Solve 4*p - 3*j = -u*j - 19, -2*j = 2*p + 14 for p.
-4
Let y be ((-12)/14)/(2/(-28)). Suppose -5*d - y = 4*z, 10 = 3*z - 5*d + 4*d. Suppose -2*q - 16 = -3*q. Solve z*h = k + k + q, -5*k = 15 for h.
5
Let t(k) = k**2 + 7*k + 2. Let r be t(-7). Let c be 0 - (1 + -22 + r). Solve f + 3 = -x, -2*f - c = 5*x + 2 for x.
-5
Suppose x + 3*x = 0. Let r(q) be the third derivative of -q**4/4 - 11*q**3/6 + 5*q**2. Let a be r(-5). Solve 3*v - 2*b + a = x, -4*b + 5 + 27 = -4*v for v.
-3
Suppose l = -14 + 35. Suppose -7*v = -2*v + 3*j - l, -5*j + 1 = -3*v. Solve v*d + 2*i + 10 = 0, -3*i + 10 + 13 = -5*d for d.
-4
Suppose 75 = 3*h - 0*h. Let r = -13 + h. Solve 0*i + 4*i - r = 2*v, 5*v = 4*i for v.
4
Suppose 2*h = -m + 2*m, -3*m = 5*h - 22. Let a be (2/(-4) - -2)*h. Suppose a*l = l. Solve l*i + 2*i + 5*u - 15 = 0, -2*i - 3 = -u for i.
0
Let b = 76 + -74. Solve -2*n + 5*m = 24, -n + 6*n - b*m + 18 = 0 for n.
-2
Let h be (4 - (-2 + 2)) + -1. Suppose -5*d = -2*d - 3. Suppose 3*g - 5 = -h*o + 2*g, g + d = 0. Solve -4*y + 12 = o*u, 0 = -2*y + 4*u - 0 - 4 for y.
2
Let f = -29 + 34. Solve -2*h - f*w = 4, -3 + 5 = -h + 3*w for h.
-2
Let m(d) = -7*d**3 + d**2 + d + 1. Let p be m(-1). Let r be ((-2)/4)/((-2)/p). Suppose r*n = 18 - 4. Solve 5*v + n = 2*l, -3*l - 2*v = 2*l + 26 for l.
-4
Suppose 4 = 4*t, -3*t = -4*f - 7*t + 12. Solve -4*s + j = 6*j + 21, f*s + 3*j = -11 for s.
-4
Suppose 0 = 4*t + 5*l - 15, -4*t + 5*t + l = 3. Suppose 0*o + 2*o - 14 = t. Solve -y = 3 - 4, 3*a - 4*y + o = 0 for a.
-1
Let v = 37 + -23. Let z = -12 + v. Let g(j) = 2*j. Let u be g(1). Solve 2*t = -3*o + 12, 10 = u*o + t + z for o.
4
Let j be 3 - (-6)/4*-2. Suppose j = -0*w + 2*w - 28. Solve 4*r + 4*p = -24, 2*p = 2*r + 5*p + w for r.
-4
Let i = -28 + 31. Solve -2*g + 2 = -4*d, -4*d - 7 = -2*d - i*g for d.
1
Let y(i) = 10*i - 4. Let a be y(4). Let q = 52 - a. Suppose -4 = 2*g - 3*o - 0*o, g - q = -3*o. Solve 3*b + 4*k + 2 = -6, g*k = 4*b + 20 for b.
-4
Suppose -2 = -3*z + 2*z. Suppose z*h - 7*h + 175 = 0. Solve -15 = -3*x, x = 4*a + 4*x - h for a.
5
Suppose 2*d - 40 - 8 = 0. Let a = -16 + d. Let n(k) = k**3 - 3*k**2 + 2. Let p be n(3). Solve -3*g = -4*i + 13, 3*i = -3*g + p - a for i.
1
Let w(p) = -2*p**3 - 3*p**2 + 3*p + 6. Let v be w(-3). Solve 9 = -5*b + v, 5*o + 3*b = -16 for o.
-5
Let t be (-25)/(-4) - (-1)/(-4). Let i = t - 10. Let p = 7 + i. Solve p*g - 2*g + 7 = 2*m, 2*m + g - 9 = 0 for m.
4
Let o = 12 - 8. Suppose -9*l + o*l = 0. Solve t - 8 = -2*t + 2*h, l = 2*h + 2 for t.
2
Let c be 1 + 6 + 4/(-2). Solve 20 = -c*k, -4*s = -6*k + k for s.
-5
Suppose -d - 2*w = w - 3, 0 = -d + 4*w + 3. Solve -26 = 7*z - 3*z + 5*b, d*z + 4*b + 20 = 0 for z.
-4
Suppose -z = 3*v - 80, 2*v + z = v + 26. Let f = 8 - 5. Let a be (-1)/3 + 13/f. Solve -a*k = 3*o + v, -4*o = -3*k + o + 16 for k.
-3
Suppose t - 5*o - 15 = -t, -5*t + 21 = 4*o. Let c = -93 + 149. Suppose 3*z = 3*f - 6*f + 93, 2*f = -4*z + c. Solve t*n = -3*p + f, -4*n = -p - 8*n + 23 for p.
3
Suppose 5*n - t = -63, 5*t - 3*t = 3*n + 35. Let c = n + 16. Solve -8 = -2*k - c*d, 4*k - 3*d - 16 = d for k.
4
Suppose -13 = -3*i - 2*j + 7, 0 = -2*i - j + 12. Solve -18 = 2*v + i*z, 0 = 3*v + z + 4*z + 25 for v.
-5
Let y = -56 - -70. Solve 2*f - 7*f - 2*j + 1 = 0, 5*f - 3*j = -y for f.
-1
Let u = -21 + 21. Solve u*c + j + 24 = 4*c, 2*j + 13 = c for c.
5
Let t be ((-4)/(-6))/(9/27). Suppose 0 = 2*p - h - 1, -h + 2 + 1 = 0. Let u = t + p. Solve -u*k + 3*g = -8, 0 + 8 = 4*k + 4*g for k.
2
Suppose 24 = -p + 29. Solve -5*g = -3*b - 8, p*g + b - 5 + 1 = 0 for g.
1
Suppose -11*f + 16 + 39 = 0. 