= -5*w + 3, 3*w + 17 = 5*f for f.
1
Let w be (10 + -6)/(2*1). Let h = 4 + -2. Solve -w*j = 3*q + j + 21, -h*q - j - 10 = 0 for q.
-3
Let t(g) = g - 8. Let i be t(6). Let f be 0/i*(3 + -2). Suppose 3*h - 8 = -4*b, -b - 3 = -2. Solve -x - 4*y + 7 + h = f, 3*y - 13 = 4*x for x.
-1
Suppose -9*h + 6*h = -42. Let t = -10 + h. Solve 2*w = -2*p - t, p + 2 = -2*w + 1 for w.
1
Suppose -2*g + 5 = -2*z + 3*z, -15 = 5*z. Solve -m = k, -g*m + 8 = -k - 3*k for m.
1
Suppose 6*v - 16 = -4. Solve r = 2*w - 6, -w - v*r + 8 = -0*r for w.
4
Suppose 14*v - 5*v = 234. Solve -2*x - 4 = -2*u, 4*x + 5*u = x + v for x.
2
Let b = 3 - 1. Suppose 3*h + 13 = 6*h - 4*v, -4*v = -b*h + 10. Let q be 3 + (0/h)/1. Solve c + q*c = 4*l - 28, 5*l = 20 for c.
-3
Let m(x) = x**3 - 7*x**2 + 2. Let s be m(7). Suppose -s*i = 2*n - 20, -5*n + 5*i - 16 + 96 = 0. Solve g = 5*y + 17, -y + 4*y = 2*g - n for g.
2
Let g(v) = -v - 8. Let c be g(-6). Let r be ((-30)/(-9))/(c/9). Let z be (12/(-15))/(6/r). Solve 3*o = 3*s + 6, -z*s - 6 = -s - 5*o for s.
-1
Suppose 0*x = -2*x + 34. Solve -i = -5*a + x, -2*a + 0*a + 4 = i for i.
-2
Suppose 16 = -4*m, 4 + 2 = -2*d - 4*m. Solve -4*y - 1 = -3*s, -3*s + 3*y + d = -2*y for s.
-5
Suppose 2*f - 13 = 21. Suppose p = v, -f = -2*v - 5*p + 18. Let x = -3 + v. Solve l = -2*u + 6, 4*u - x*l - l - 12 = 0 for u.
3
Let k be (-9)/(-2) + (-3)/2. Let z = 1 + 1. Let b = 4 - z. Solve -3*n + 4 = -3*v + 1, -b*v = 3*n - k for n.
1
Suppose -7*d + 21 = -0*d. Solve a - d*h = 4, -h + 2*h = 0 for a.
4
Let q = -23 - -28. Solve 4*k - 5*v - q = 0, 27 - 7 = k - 5*v for k.
-5
Suppose -101 = -3*k - 4*g, -g + 2*g = 2*k - 71. Suppose -3*i = -95 + k. Let s be -2 + -7*(-4 - -3). Solve f + 4*q = -0*q - 16, 0 = -5*f + s*q + i for f.
0
Let z(f) = -4*f. Let d be z(-2). Let r be 0/(-2) + d + -3. Solve -5*k + 9 = 2*c - 0*c, r = 4*c - 3*k for c.
2
Let v = -41 - -45. Solve -2*j + j - 3*q + 1 = 0, v*j + 28 = 4*q for j.
-5
Let n(j) = j + 4. Let y be n(0). Solve y*x + 4*t + t - 21 = 0, 4*t = x for x.
4
Suppose 1 = 3*r - 5. Let s = 3 + r. Suppose -s*m + 80 + 35 = 0. Solve q - 5 = 3*y - m, -q + 2 = y for q.
-3
Let l be 22/8 + (-6)/(-24). Solve -3*x - 12 = l*n, 2*n + 15 = 7 for x.
0
Let g be ((-1)/(-2))/(1/18). Solve -4*y = -0*t - t - g, -4*t - 2*y + 18 = 0 for t.
3
Let n = 2 + 0. Suppose n*p - 36 = -p. Let d(a) = a**3 + 6*a**2 + 10*a + 27. Let l be d(-5). Solve -x = -4*x - 15, 0 = l*b - 4*x - p for b.
-4
Let d(u) = u**3 - 13*u**2 - u + 19. Let w be d(13). Let b = -2 + w. Solve 0 = 3*t - b*x + 31, -5*x = 5*t - 0*x + 5 for t.
-5
Let o be 24/10 + 4/(-10). Suppose 3*z + o*y + 11 - 3 = 0, -3*y - 12 = 2*z. Solve -5*s - d + 27 = z, 6 = 3*d - 0 for s.
5
Let u(d) = -d**3 - 21*d**2 - d - 17. Let s be u(-21). Solve -4*b = -x - 0*x + 4, s*b + 5*x = -4 for b.
-1
Let z(k) = -k + 8. Let d = 6 - 0. Let h be z(d). Let w be 3/9 - h/6. Solve 4*s + 5*g - 11 = 0, s - 4*g - 4 + 17 = w for s.
-1
Let s(d) = 23*d**3 - d. Let a be s(-1). Let q = 38 + a. Solve -g - 5*f = -q, g + 4*f = -0*g + 13 for g.
1
Suppose 0 = 4*d + 14 + 2. Let o(v) = -v**3 - 3*v**2 + 3*v. Let r be o(d). Solve 4*i + q = 0, 0 = -r*i - i + 5*q + 25 for i.
1
Let s be ((-45)/10 + 2)*(-6)/5. Solve -26 = -g + 5*r, s*r = 7*g - 2*g - 20 for g.
1
Suppose -133 + 354 = 13*r. Let n(z) = -z**2 + 1. Let j be n(-1). Suppose 0 = -j*f + 4*f. Solve 4*d + a - r + 0 = f, -11 = -d + 2*a for d.
5
Suppose 11 = -x + 2*x. Suppose -4*n - 5*b - 16 = 0, -5*n + x + 6 = -3*b. Solve -4*h + 3*t + n - 11 = 0, 4 = -2*h + 2*t for h.
-4
Let b(y) = -y**3 - 9*y**2 - 9*y - 5. Suppose 2*o + 8 + 8 = 0. Let d be b(o). Solve d*c + 12 = 5*z, -4*c - 8 = -2*c + 3*z for c.
-4
Let u = 14 - 10. Let n(c) = -c**2 - 5*c - 1. Let v be n(-4). Suppose -2*j + j = v*a - 11, 2*j = -5*a + 20. Solve -2*y + 2 = -a*h, 2*y - y + u = 0 for h.
-5
Suppose -3 = 5*l - 13. Let k = 2 + -2. Let w be 0 - (1*-5 + k). Solve -l*c - 3*c + 5 = 2*b, c = w*b - 26 for b.
5
Let t(l) = l**2 + 5*l + 8. Let w be t(-3). Solve 0 = 2*r - 10, 4*r - 25 = w*g + 1 for g.
-3
Suppose 4*t - 17 = -5. Solve k + 3*k + 8 = t*z, -z = 0 for k.
-2
Let f = 9 - 6. Suppose 0 = 5*d + 7*b - f*b - 59, b - 1 = 0. Let x = d - 6. Solve -2*s = -h - 5 - 7, -24 = h - x*s for h.
-4
Let d(t) be the second derivative of -t**3/3 - 7*t**2/2 + 3*t. Let f be d(-5). Let s be (10 - 0)/(1 + 1). Solve -f*w = -s*i - 21 + 4, -w = -3*i - 7 for i.
-1
Suppose 4*d = 2*n + 4, 0 = 2*d + n + n - 14. Let p be (-6)/(2 + (-11)/4). Solve p = -g - 2*f - 3*f, -d*g - 4 = -5*f for g.
-3
Let f be -9*(2 - 7/3). Let j(l) = 3*l - 1. Let w = 8 - 7. Let x be j(w). Solve 0*q = -f*q + 3*b, -4*b = -x*q + 8 for q.
-4
Suppose -25 = -5*a + 10. Let o = -2 + a. Let n(m) = m**3 - m**2. Let f be n(0). Solve o*u - 5*l = -f*l, 3*u = -2*l + 25 for u.
5
Suppose -a + 9 - 3 = -4*i, -4*a + 12 = -4*i. Solve -19 = -a*n - 5*p, 4*n + 2*p - 20 = -2*p for n.
2
Suppose -w - 8 = 2*k, -w - 1 = 5*k + 19. Suppose 3*s = 2*s + 4*i + 8, -i = -4*s + 2. Solve s = -4*u + 3*n + 18, w = -5*u + n - 4 + 21 for u.
3
Suppose 3*q + 3 = 9. Solve 0 = -5*d + 5*y + 25, q*y + 3*y + 11 = -2*d for d.
2
Let u = -158 + 164. Solve 3*p - u = -3*x, -4*p - 5*x = -3 - 6 for p.
1
Suppose -4*h = h - 10. Let c be 1 + h + -2 + 2. Solve -4*o - 3 = -c*f, 0 = 3*o + 3*f - f - 19 for o.
3
Let v be (-64)/(-6) - (-2)/(-3). Suppose -4*q + 9 = -3*y - v, -17 = -5*q - 3*y. Let u be 4/8 + (-2)/q. Solve -2*b - 3 = -m, u = 2*m - 0*m - 2 for b.
-1
Let c = 15 + -9. Let o be (-10)/(-4)*36/15. Let u = c - o. Solve -4*j - h + 17 = u, -2*h + 0*h = 5*j - 22 for j.
4
Let i be (5/(-10))/(1/(-10)). Suppose -3 = -2*r - 3*n - 8, -i*r + 50 = -5*n. Solve 0 = 5*u + r*k - 35, 4*u + 0*k - 32 = -5*k for u.
3
Let l = 1 + 9. Let s = l + -8. Let z = -7 - -11. Solve -3*g + z*n = -1, -4*g = s*n + 8 + 20 for g.
-5
Let c be 68/6 - (-2)/3. Solve 9 = a + 4*h, 0*a + a - 3*h + c = 0 for a.
-3
Suppose -5*x = -2 - 8. Solve x*b + 1 + 3 = 3*v, -16 = 3*v + 2*b for v.
-2
Let h be 44/10 + 3/5. Solve 5*m - 10 = -5*n - 0*m, 2*m = h*n + 18 for n.
-2
Let c = -2 - -8. Let s = -4 + c. Suppose -s*u + 8 = -4*u + 4*x, 3*x - 4 = 2*u. Solve u*z - 1 = -5*w - 28, -4*w + 3*z = 3 for w.
-3
Let c = -1 - -9. Let v be (-6)/(-4)*c/3. Suppose -v*f + 2*g + 2*g = 16, g = -4*f + 4. Solve -2*q - 5*p + 15 = 0, f = -q - 0*q - 3*p + 8 for q.
5
Let q(h) = 3*h + 28. Let x be q(-8). Solve -3*a + 0*l = -l - 4, -x*l = -20 for a.
3
Let v be (((-150)/9)/5)/(2/(-3)). Solve 3*x - 11 = 3*t + 13, v*x = -3*t for x.
3
Let f = 8 + -5. Let a be (0 + 0)*3/f. Let p be 3*(-4)/(-6)*16. Solve 4*q + 8 = 3*v, -4*q + a*v - 3*v = p for q.
-5
Let f = 46 + -40. Solve 1 = 3*w + 2*h + 2*h, 3*w - 3*h = -f for w.
-1
Let f = 10 + -7. Suppose 0 = 3*x - 3*c + 6, -f*x - 5*c + 6 - 20 = 0. Let r be (-12)/9*x/2. Solve q = -2, -r*q + 0 = -3*y + 10 for y.
2
Suppose -4*p + t = 19, -12 = 5*p - 3*p + 2*t. Let l = p + 7. Solve 0*z + 4*n = l*z, -3*z = -4*n - 2 for z.
2
Let r(y) = -5 - 1 + 10*y - y**3 - 9*y**2 - y**2. Let k be r(-11). Solve -u - 5 = 4*u - k*m, u = -m + 7 for u.
3
Suppose -2*c + 6 - 2 = 0. Suppose 0 = 2*x + 3*x. Solve -3*j = 2*y - 4, -c = -x*y + 2*y for j.
2
Suppose -2*t = -4*t. Let b = 0 - 0. Suppose b = -6*i + 4*i. Solve t = m + 3*k - 5, i*m + k + 5 = 3*m for m.
2
Suppose 2*q + q = -12, n - q = 23. Let j = -13 + n. Let c be ((-10)/3)/(j/(-9)). Solve -14 = c*w - 2*g - 1, 0 = -2*g + 8 for w.
-1
Suppose x - 3 = -4*r, -r + 5*x = 2*r + 15. Suppose r = 2*c - 5*c. Solve -2*p = 2*z - 2, 0 = -c*z - z + p + 5 for z.
3
Suppose -16 = -5*g - 3*j, -g + 5*j = -5*g + 5. Suppose -4*u - 6 = -u, -5*u + g = 3*d. Solve -3*h = d*q - 6, -2*q + h + 5 = -4 for q.
3
Let v = 11 + -1. Suppose -6*d + 2*h = -d - 104, -5*h + 70 = 4*d. Let k = d - v. Solve -20 = 3*j - 5*l, -k - 9 = 3*j - 4*l for j.
-5
Suppose -4*z + z = -6. Suppose -z*a - 6 = -5*a. Suppose 0 - 6 = -2*f + c, 4*f = 3*c + 12. Solve 3*p + 0*p + f*b + 15 = 0, -3*p = a*b + 14 for p.
-4
Suppose -2*a - 2*a = 60. Let b be 3/a + 4/20. Solve b*h = -h + z + 6, -4 = z for h.
2
Let h be 2*(-3)/(-2) - -9. Suppose c = -c + h. Solve -3*j - 2*g + c = -7*j, 4*g = 4 for j.
-1
Let h(p) = -p**3 - p**2 - p + 5. Let k be h(0). Suppose 0 = f + n - k - 2, -5*n + 21 = -2*f. Solve -5*a = -5*q + 30, -5*q - 2*a = -f*q + 7 for q.
1
Let x be 80/15 - (-2)/(-6). Solve 3 = -b - 2*k, -2*b - x*k - 6 = -0 for b.
-3
Let t be (-2)/4 + 4/8. Suppose 2*v = -3*v