 - w = 3*w + 22, 2*w = -f for x.
-3
Let w = 24 - 20. Solve w*k - 22 = 3*i, 2*i - i = -k + 2 for k.
4
Let a be 18/4*4/6. Suppose -3*f = -5*u - 6, -9 = -f + u + a*u. Let d be (2 - 0/f) + 3. Solve 13 = 3*k + 2*g - 8, d*g = -2*k + 25 for k.
5
Let s = 120 - 116. Solve s*k + 0*g - 8 = 4*g, 2*k - 5*g - 1 = 0 for k.
3
Let z(b) = b + 3. Let t be z(0). Suppose -t*c + 10 = -d - 5, 25 = 5*c + 4*d. Solve v + 19 = -2*i - 4*v, v - 10 = -c*i for i.
3
Let f be 0/((-1 - -3) + 1). Suppose 0 = 2*j - 3*a + 6, 5*j + 3*a = -f + 6. Solve -u = -x + u + 4, -5*x + 5*u + 15 = j for x.
2
Let k = -8 + 12. Let l be k + (2 - (-2 + 5)). Let u = 3 - l. Solve u = o - 0*m - m - 2, m = -3*o + 2 for o.
1
Let a be 0*(-1)/(-2) - -2. Let i(d) = -3*d + 1. Let x be i(1). Let l = x + a. Solve -h + 3 = l, 5*h + 19 = 5*z + 3*h for z.
5
Let v = -15 + 31. Let n be (v/(-24))/((-1)/6). Solve -4*b = 2*r + b, n*b = -r + 3 for r.
-5
Let d be -65*(-2)/30*3. Solve 0 = 2*o + 4*u - 3*u - 7, -3*o + d = 2*u for o.
1
Suppose 0*b + 2*b - 8 = 0, -c - 2*b + 15 = 0. Let q = c + -4. Suppose -1 = q*z - 13. Solve -3*i + 3*u = -4*i + 9, z*i = -5*u + 22 for i.
3
Let b = 63 - 33. Suppose -b = -z - 0. Let t(q) = -q**3 - 4*q**2 + 4. Let a be t(-4). Solve -3*m - z = 3*o, -43 = a*o + 5*m + 2 for o.
-5
Let r be (9/4)/(33/440). Let b = -12 + 23. Let y = -6 + b. Solve -3*t - 4*l = -r - 2, 0 = 3*t + y*l - 37 for t.
4
Suppose 3*w - 3*t = 177, 5*w - 2*t - 315 = -t. Suppose -4*n = -20 - w. Solve 0 = 5*d - 4*f + 24, -4*d + 5*f - n = -0*d for d.
-4
Let f = -59 - -59. Solve f = 4*o + 2*n + 6, -5*n - 2 = 3*o - 1 for o.
-2
Let k = -13 + 23. Let p be 25*(2/(-3))/(2/(-3)). Solve -5*j - p = 0, -k = 6*i - 5*i + j for i.
-5
Let n(w) = -5*w. Suppose 0 + 2 = 2*m + o, -5*m = 2*o - 3. Let d be n(m). Solve -21 = -d*j + j + 3*u, 2*j - 9 = u for j.
3
Let o(f) = -f - 9. Let z be o(-11). Solve -z*i + 5 = b, 5*i - 3*i = -3*b + 15 for i.
0
Suppose 2*r + 15 = 5*j, 3*j - 44 = -5*r - 4. Let f(t) = -4*t. Let p be f(-2). Solve -3 = -4*h - u + p, 0 = -j*h - 4*u for h.
4
Suppose 0 = -5*m - 3*c + 103, -m + 4*c = -26 - 13. Let p(z) = m + 2*z - z - 9. Let f be p(-6). Solve 0 = 3*q - 0*i + 5*i - 8, i = -3*q - f for q.
-4
Suppose 0*a + 4*a - 48 = 0. Let t(i) = -i + 16. Let h be t(11). Solve -h*o + 6 = -5*j + 26, -4*o = -2*j + a for o.
-2
Let y(c) = -c**3 - 12*c**2 + 14*c + 18. Let j be y(-13). Solve -4*i + 2*b + 3 = i, 0 = 2*i + j*b - 7 for i.
1
Let n be 5*(-1)/(-3)*3. Suppose n*o - 3*o = 0. Solve -4*r - 4*s + 4 = o, r + 10 = -r + 2*s for r.
-2
Let r be (0 - 0/(-3))/(1 + -2). Solve 2*u + w - 3 = 0, r = -2*u - 3*u - 5*w + 10 for u.
1
Suppose 0 = l - 4*p - p - 20, 3*p + 12 = -l. Solve -3*w + 2*h = 22, -5*h + 25 = -l*h for w.
-4
Let k(w) = -w**3 + 5*w**2 + w + 4. Let g be k(5). Let u(c) = g*c + 9 - 4*c - 4*c. Let r be u(7). Solve 0 = 4*j + 20, r + 2 = 4*z - 2*j for z.
2
Suppose -11 = -3*h + 1. Solve h*j - 3*f + 27 = 2*f, -2*j - 21 = -5*f for j.
-3
Suppose i + 240 = 6*i. Let s be (-1 + -23)*(-36)/i. Solve -4*k - 1 = -g + 5, -s = 5*g + 4*k for g.
-2
Let b(v) = 6*v + 1. Let u be b(4). Solve -5*z = w - 0 + 5, 3*w - u = 5*z for w.
5
Let t(v) = -v**3 - 5*v**2 + 3*v + 7. Let y be t(-5). Let p = y - -27. Let x = p - 12. Solve 4*h = -0*g + 3*g - x, -h = 5*g - 27 for h.
2
Let y = -4 - 3. Let v be (-3)/(-1) - 6 - y. Solve -6*u = -7*u - 4*d - 15, 2*d + 30 = v*u for u.
5
Suppose 2 = z, z = 2*q + 91 - 5. Let r be (-2)/(-10) - q/15. Solve b = s + r*s + 1, -4*b = 5*s - 4 for b.
1
Suppose 5*x = 2*x - 192. Suppose -6*v = -2*v + 156. Let j = v - x. Solve j = -5*k - n, -4*k = -3*k - n - 1 for k.
-4
Let n(s) be the second derivative of -s**3/2 - 2*s**2 + 2*s. Let w be n(-3). Solve -5*b = w*j - b + 28, 0 = -2*b - 4 for j.
-4
Let z(s) be the first derivative of s**3/3 + s**2 - s + 2. Let r be z(1). Let p be ((-4)/(-6))/(r/9). Solve p*d - 13 = -x, 0 = 4*x - x - 3 for d.
4
Suppose 4*g = 4*h + 20, -5*h - 2 = 5*g + 3. Solve 0*o + 4*o + 2*q - g = 0, 2*o = 5*q + 31 for o.
3
Let o = 94 + -93. Solve 3*q + 5*j + 8 = 3, -q + o = j for q.
5
Suppose 0*j = -5*j + 20. Suppose a - 201 + 1 = -3*f, -2*a + 199 = 3*f. Let k = f + -44. Solve 3*n = 2*t - k, -j*t - 5 = -21 for n.
-5
Let n(w) = w + 7. Let p be n(-3). Suppose -p*h + 8 + 4 = 0. Solve -2*v + h*b - 1 = -7*v, 13 = -5*v + 4*b for v.
-1
Let w = 9 - 5. Suppose -w = -6*s + 2*s. Let l = -6 + 11. Solve -5*d - 25 = -l*k, -k = -s - 4 for d.
0
Suppose 0*v - 3*v = 6. Let g = v - -5. Suppose -4*s + g = -9. Solve 2 = 2*l + 2*l - 2*c, 3*c = 3*l + s for l.
2
Let h = -41 - -65. Suppose 2*l + 0*l + h = 4*i, 3*l = i - 16. Solve -b - 4*u - 7 = -4*b, -2*b = -3*u - i for b.
5
Let d be ((-9)/(-18))/(1/4). Solve d*r - k + 14 = -3*r, -r = -k + 6 for r.
-2
Let w(d) be the second derivative of d**3/6 - 7*d**2/2 - 3*d. Let a be w(10). Solve 4*b - 37 = 5*p, 0 = b - 2*b + a for p.
-5
Suppose -2*h - 3*d = -5*h, 0 = -2*d + 8. Suppose 2*y - h*y = -2. Let l = y - -15. Solve -l = 3*k - 4*v, 2*v - 22 = k + 4*k for k.
-4
Let v = 6 + -17. Let i = v + 10. Let n be 3 + i - (-4 + 3). Solve -2*c = 5*m - 3, -m = n*m + 3*c - 8 for m.
-1
Let x(h) = -h**2 + 4. Let z be x(0). Suppose z*o - 9 = 23. Solve -3*l - 4*r + o = l, 22 = 3*l - 5*r for l.
4
Let z(j) = j**3 - 2*j**2 + j + 1. Let v be z(2). Suppose -v*n + 3 = 0, -s - n + 3 = -0. Solve 14 = -0*w - 3*w - o, -2*o - 8 = s*w for w.
-5
Suppose -s - 53 = -2*s. Suppose 0 = -3*h - 5 + s. Solve 5*i - 1 = -3*g + i, -4*i + h = 0 for g.
-5
Suppose 3*y = -c - 1 + 16, 4*c - 2*y = -10. Suppose -2*k = -c*k - 4. Let f = k + 0. Solve -5*j - f*g = 19, 10 = -5*j + 3*j - 2*g for j.
-3
Let v be (-9)/(-6) - 1/(-2). Let f(j) = -3*j - 1 - 3*j + 4*j. Let c be f(-3). Solve c*h - 2*p - 42 = -13, -4*p = 2*h - v for h.
5
Let b = 30 - 26. Solve 4*a = 4*v + b, a + 17 = 4*v + 4*a for v.
2
Let i = 1 - 3. Let j be (0/i)/(3 + -2). Solve j = m + 2*r + 5, -8*r + 3*r = 3*m + 11 for m.
3
Let q(y) = -y - 3. Let b be q(-5). Solve 5*h - 3*h = -5*a, 0 = b*h + 10 for a.
2
Let n = -46 + 48. Solve -a - 5*d + 25 = n*a, -d = 4*a - 5 for a.
0
Suppose -5 + 15 = b. Solve 5*j + 0 = -5*h + b, 3*h = 0 for j.
2
Suppose -4*a - q - 4 = -4*q, -4*q + 16 = 0. Solve -5*r + k - 13 = 0, -4*r - 4*k - 16 = -a*k for r.
-3
Suppose -i + 30 = 4*i - 4*r, 2*i - 3*r - 19 = 0. Solve -5*u - 3*w + w = 23, 3*u + i*w = -13 for u.
-5
Let i = -2 + 3. Let u = i - -1. Let c be 0*(0 + u + -1). Solve -h + f + 3 = c, 0*f = -4*h - 3*f + 5 for h.
2
Let r = 24 - 24. Solve 5*s - 5 = r, 6*s - 6 = 3*p + 3*s for p.
-1
Let t = 8 + -4. Let r = 0 + 2. Suppose 2*k = 2*l - 3*l + 1, -l - 5*k = 5. Solve -l*w - t = -g - r, -w + 5*g = 10 for w.
0
Let f = -151 + 155. Solve 0 = 5*p - 5*u - 5, -f*p - 4*u = p + 22 for p.
-2
Let v(o) = -6*o + 4. Suppose 4*l + 23 = -0*l - 5*k, -2*k = -l + 4. Let y be v(l). Solve -5*p - y = -1, 5*u - 10 = -5*p for u.
5
Let d be (-1)/(-4) - (-45)/12. Suppose -d*p = p - 25. Solve -p*a - 1 = -5*f + 4, -f - 5 = 5*a for f.
0
Let s(z) = z**2 + 7*z + 10. Let w be s(-5). Solve 4*r + 5 = 3*k - 16, w = -k + 3 for r.
-3
Let f be (-2)/4 - (-36)/8. Let l be 2/f - 9/(-2). Let o = -59 + 62. Solve 3*g - o*d - 7 = g, 5*d = 2*g - l for g.
5
Let l(g) = -2*g**3 - g**2 - g. Let s be l(-1). Solve -4*t - 7 = 2*a - 3*t, 2*a + s*t + 4 = 0 for a.
-5
Suppose 24 + 8 = -4*r. Let b = -3 - r. Solve 4*m - 26 = b*p, -3 = -3*m + 9 for p.
-2
Suppose 5*z + 0*z - 2*o - 28 = 0, 0 = 3*z + o - 8. Solve -x + 13 = 4*c, 33 = 5*x - 0*c + z*c for x.
5
Let d(p) = 2*p**2 + 2*p - 2. Let r be d(-2). Solve 3*k = -r*b - k - 12, -2*b - 9 = k for b.
-4
Let m = 5 + -15. Let f = -6 - m. Suppose -f*z + 35 = z. Solve 5*j - 35 = -5*y, 5*j + z*y - 4*y - 25 = 0 for j.
2
Suppose 0 = -4*p + 9*p - 20. Solve -3*u = p*x - 0 - 16, -3*u + 7 = -5*x for x.
1
Let x = -81 - -38. Let c = -30 - x. Solve 0 = f + 3*q - c, -q + 8 = 5*f - 15 for f.
4
Let f = -41 + 46. Solve 4*c - 2 = -g + 20, 30 = 4*c + f*g for c.
5
Let h(k) = k - 3. Let p be h(5). Suppose 3*w = -2*s + 42, 5*s = 2*w + p*s - 41. Solve l - 4*m - w = -3*l, 3*l + 5*m - 12 = 0 for l.
4
Suppose -q + 4*i = 4*q - 28, -i - 10 = -2*q. Solve -b = q*s + 15, -4*s - b - 19 = s for s.
-4
Suppose 0 = -q + 7 - 0. Let w be 1*(q + 3 + -2). Suppose -33*g + 32*g = 0. Solve 3*c = 2*d - g*c - 11, -d + 4*c + w = 0 for d.
4
Let r = -46 - -53. Solve 0 = l + x - r, 4*l - l - 16 = -2*x for l.
2
Let b = -2 + 7. Let o(g) = -g**2 - g + 2. 