f*s + 25 = 5*w for s.
0
Let w(u) = u**2 + 5*u + 5. Let q be w(-5). Solve n - g = 0, -3*n - 2*g - q = -25 for n.
4
Suppose 4*t = 4*g - g + 4, 5*t = -2*g + 28. Solve -3*c - t*r = -15, -c + 2*r + 5 = 3*r for c.
5
Suppose -12 = 3*k - 27. Solve 3*s + 0 + 3 = 3*o, k*s = 5 for o.
2
Let t = -14 - -18. Solve 0 = -2*i - 0*p + t*p + 16, 5*p + 20 = -5*i for i.
0
Suppose -2*p - 3*p = 0. Suppose 2*d - 3 - 7 = p. Solve 0 = 2*m - d*r - 31, 4*m - 16 = 4*r + 16 for m.
3
Let h(t) = 43*t - 2. Let n be h(1). Solve 2*m = -5*c + 10, 7*m + n = 2*m + 4*c for m.
-5
Let j be 12/9*18/4. Let p be j + (-2 - -3 - -1). Solve 0 = 3*z - 4*g - 15, g + p = -0*z + 5*z for z.
1
Let a(s) = s + 8. Let q be a(-8). Let h = 4 + q. Solve -2*j = 2*p + 6 - 0, 0 = h*j - 3*p + 12 for j.
-3
Let a = -10 + 30. Suppose -k = 4*k - a. Suppose -11*z + z = -100. Solve -q + 5*w + 20 = k*q, -q = -4*w - z for q.
2
Let l be (-2)/(-6) + (-3 - (-69)/9). Suppose 0 = 4*d + d. Suppose -z + 39 = 6. Solve -3*n - z = 5*v - n, d = -l*v - 4*n - 41 for v.
-5
Let g = 33 + -28. Solve 3*h = g*l + 14, 5*l = h + 4*h - 10 for l.
-4
Let h = 67 - 49. Let r(s) = -2*s - 1. Let u be r(-3). Solve 4*a - 2*a + 4*n - h = 0, 4*a - 21 = -u*n for a.
-1
Let c(v) = v. Let x be c(2). Let k be x/(7/(147/(-6))). Let b = 10 + k. Solve -b*p = -l + 4, -3*p + 0*p = 5*l + 16 for l.
-2
Let u(s) = -6*s + 2. Let c be u(2). Let p = c - -14. Solve -2*q = -5*k + 2*q - 32, -5*k - p*q = 8 for k.
-4
Let y(r) = 2*r**2 - r. Let w be y(-2). Let t = w + -3. Let p = t + -4. Solve -c = -1, 1 = q + 4*c - p for q.
0
Let y = 186 - 181. Solve -y*a + 10*a + 27 = 3*j, 2*j = -a + 5 for a.
-3
Let a(f) = 3*f - 26. Let g be a(9). Solve -3*q = -0*y - 2*y - g, -q + 5*y = 4 for q.
1
Let q = -11 - -11. Suppose t = -q + 5. Solve t = -r - 4*c - 11, 4*r = -4*c - 28 for r.
-4
Let y(w) = w. Let x be y(2). Solve -x*k + 1 = v, 3*v + 6*k - k - 4 = 0 for v.
3
Suppose 2*z = m + 6, 2*m = -z - 3*z + 20. Let s be (-12)/(-7) + m/7. Solve y + 13 = 3*p, 0 = s*p + p - 12 for y.
-1
Let a = -43 + 46. Solve 2*j + 3*w = a*j + 12, -8 = 4*j - 4*w for j.
3
Let b = 17 - 14. Solve -d - 3*r = -3*d - 17, b*d = -3*r - 3 for d.
-4
Suppose -3*d + 11 = -2*p, 0 = -4*d + d + 4*p + 13. Suppose 3 = -2*z + d*z. Solve 4*c - 8 - 4 = 4*g, 5*g - 17 = -z*c for c.
4
Suppose -2*b + 2 = -4. Let q be (6/4)/((-6)/(-8)). Suppose 4*j + 2*s = 2, -4*j + q*j + 3*s + 21 = 0. Solve j*c + a = 2, b*a + 2*a = -c + 24 for c.
-1
Suppose -l + 15 = 2*l. Suppose 4*x = -3*t + 24, l*t - 4*x - 2 - 6 = 0. Solve 2*w + 3*w = 5*n, t*w = 2*n for n.
0
Let l(x) = -x**2 - x. Let r be l(-1). Suppose k = -r*k. Suppose k = m - 4 - 4. Solve 0 = 2*h + b + 10, 3*h - 25 = m*h + 2*b for h.
-5
Suppose 2*i - 5 = h, -16 = 5*h + 9. Let j be (2/(-3))/((-3)/9). Solve i = s - j*f - 3, f = 3*s + 5*f - 9 for s.
3
Suppose 107 + 43 = 6*w. Solve p = 5*a - w, -5*a = -3*p - 37 + 2 for p.
-5
Suppose 4*o + 2 - 10 = 0. Let f(n) = -n**2 - 10*n - 7. Let c be f(-6). Suppose -5 = -o*g + c. Solve -4*p = 3*b + 6, -3*b - b = -p - g for p.
-3
Let x(f) = -f**2 - f + 6. Let t be x(0). Let p be (-25)/(-5)*(-4)/5. Let m = t + p. Solve -m*g - 4*s = s - 8, 12 = -4*g + 4*s for g.
-1
Suppose 5*n - 96 = n. Suppose 6*x - n = 4*x. Solve 2*r = 3*r - 5*p - 12, 0 = -4*p - x for r.
-3
Let v(o) = o**3 + 5*o**2 - 8*o + 1. Let n be v(-6). Solve r - 3*p - n = 0, -4*r - 8 = -p + 4*p for r.
1
Suppose -2 = 2*g - g. Let c = g - 12. Let t = c + 20. Solve -y - t = v, 0 = 4*y - v + 2*v + 18 for y.
-4
Suppose -5*z + 1 = -5*b - 4, -3*b = 5*z - 5. Let s be 6/1*5/10. Solve b = -0*l - 3*l - 2*f - 12, -s = f for l.
-2
Suppose 0 = -3*r + 3*m + m + 44, 0 = -4*r - 2*m + 66. Solve -3*u + 0 = -2*v + 8, -r = -2*v + 5*u for v.
-2
Let t(a) = -a**2 + 10*a. Let i be t(9). Suppose 0 = 2*h - 3*u - i, h - 6*h + 48 = u. Solve f + 0*q - q = h, 0 = f + 4*q + 16 for f.
4
Let k = -6 - -6. Suppose 2*y - 26 + 6 = k. Solve y = 3*o + m, 8 = o - m + 2 for o.
4
Let q be 68/16 - 2/8. Suppose 0 = -q*w - 2*w + 60. Solve 4*z + 30 = -3*i + w, -3*i - 10 = 2*z for i.
0
Suppose -2*y + 11 = -0*v + 3*v, -5*y + 4*v = -16. Solve 0 = 2*a + 5*b - 29, 2*b = y*a - 3*b + 17 for a.
2
Let u be 18/(-15)*(-5)/(-3)*-2. Solve -4*o + 12 = -0*g + u*g, -9 = -3*o - 2*g for o.
3
Let l be 460/24 + 1/(-6). Suppose -q = 5*w - l, 3*q - w + 19 = 7*q. Solve 4*s = b - 11, q*b = -s + 8 - 32 for s.
-4
Let s be 21 + ((-2 - 0)*1 - 1). Solve 4*b - 18 = 2*l, -4*l - s = -3*b + b for b.
3
Suppose 2*u - 63 = -0*p + p, -4*p + 125 = 5*u. Suppose u = 6*m + 11. Solve m*s + v + 14 = 0, -4 = -4*s - 4*v - 28 for s.
-4
Suppose 7*k = 5*k + 10. Solve -5*g - 3*m = -31, 2*g - g - k*m + 5 = 0 for g.
5
Let z = -18 + 21. Solve 0*i - 5*i = 5*v + 5, 2*v + 2 = -z*i for v.
-1
Let t = -6 + 15. Solve 4*j = 5*s + 4 + 8, -t = -3*j + 3*s for j.
3
Let x = 15 + -10. Suppose -2*u = u - 9. Suppose 0 = -5*q + 4*m + 36, -4*q + 2*m = -u*q - 12. Solve 0 = 4*s - x*j + 13, 0 = -2*s - 2*s - q*j + 32 for s.
3
Let w = 17 + -17. Solve q - p = -2, w = -2*q + 6*q + 3*p + 29 for q.
-5
Suppose 5*c + 2*b - 22 = 2*c, 0 = 5*c + 2*b - 30. Let j be -3 + (-64)/(-20) + 88/10. Solve 2*z = 5*q + 3, 2*z + j = -3*z - c*q for z.
-1
Let a(t) = -t**2 + 7*t. Let j = -8 - -14. Let g be a(j). Solve 4*q - 2 = -c, 0 = -g*q + 4*q - c + 2 for q.
0
Let m(v) = 2*v**2 - v + 1. Let a be m(-1). Solve -2*s - 3*s - 4*c - 4 = 0, a*s - 2*c + 24 = 0 for s.
-4
Let u = -21 + 39. Suppose -3*s - 6 = -3*l - 3, -3*s + u = 4*l. Solve 4*b - o - 25 = 0, 5*b + 3*o = s*b for b.
5
Let t = -2 + -1. Let d be (-8)/t + 1/3. Solve -d*v - 2*r = -23, 0 = -3*v - 5*r + 42 - 7 for v.
5
Let n be (-130)/40 - (-2)/8. Let c(k) = -k**2 - 5*k - 4. Let u be c(n). Solve 0 = g + s - u, 5*g - 2*s + 25 = -0*s for g.
-3
Let s = 1 - 4. Let p(b) = -b**3 - 4*b**2 - 2*b + 4. Let t be p(s). Solve 4*q = 5*v + t + 2, 2*v = 2 for q.
2
Suppose -24 = -8*z + 4*z. Solve 4*c + z = -10, -2*c - 12 = 2*q for q.
-2
Let k(t) = t - 10. Let n be k(13). Solve -n*c + 4*o = -2*c + 1, 5*o = c + 2 for c.
3
Let y = 0 - -4. Suppose 42 = y*g + 2*n, -3*g = 2*n - 4*n - 42. Solve 12 = 4*p - 4*t, -4*t = 3*p + g + 14 for p.
-2
Let p be (-2)/7 - 8/(-28). Let l(s) = s**3 + 4*s**2 + 3*s + 1. Let t be l(-2). Solve g + g + t*n + 9 = p, 3*n = -3*g - 6 for g.
3
Let f be (-1)/(-3 + (-15)/(-6)). Suppose f + 18 = 5*b. Let d be (b/10)/(2/40). Solve 2*g - d = -2*o, -3*g + 0*g + 2*o = 8 for g.
0
Let d(x) = x**2 - x + 4. Let t be (1 + 0)*(-2 + 2). Let r be d(t). Let m be 17/4 - (-3)/r. Solve -4*z - 19 = -4*q + 5, -z + 24 = m*q for q.
5
Let k = -13 + 18. Let q(b) be the first derivative of -b**2 - 5*b + 1. Let z be q(-5). Solve 0 = -7*j + 4*j - 5*g + 30, 4*j - z*g - k = 0 for j.
5
Suppose 5*s + 0*s + 5*j + 105 = 0, -5*j - 41 = s. Suppose 0*b + 12 = -3*b. Let d = b - s. Solve 2*t = -0*t - 5*m - 20, 0 = -2*t + 3*m + d for t.
0
Let v = -19 + 22. Solve -2*s + v*s + 3 = 2*n, -5*n + 12 = -s for n.
3
Let d(t) = -5*t - 31. Let j be d(-8). Solve 2*q - 2*u + 9 = u, -3*u + j = -4*q for q.
0
Let d = 745 + -745. Let s = 1 + 3. Solve -5*f - s = -k - 15, d = 3*k - 4*f + 11 for k.
-1
Let s be (-3 - -1)*8/(-8). Suppose -4*u = -3*u + 1, -s*q + 5*u + 15 = 0. Solve q*v = 2*f - 5, v - 3 = f + 4*v for f.
0
Suppose -r + 2*y - 22 = -0*r, -3*y = -r - 23. Let i be 4/6 + r/(-6). Solve i*c - 4*v - 22 = -3*v, -3*v - 16 = -2*c for c.
5
Suppose 4*j + 1 - 25 = -2*q, -5*j + 35 = 5*q. Solve -3*y - 2*n - q*n = -1, 3*n = 3*y + 6 for y.
-1
Suppose -40 = -5*y + 4*g, -y - 4*g = -9*g - 29. Let q = 0 - -3. Solve -9 = -3*d + q*w, -3*d + 4 = -y*w - 10 for d.
-2
Let u(v) = 6*v**3 + 2*v**3 - 5*v**3 - v**2. Suppose -4*q + 0*q + 5 = g, 3*g + 2 = 5*q. Let p be u(g). Solve p*j + w + 8 = 0, 0 = -4*w - 0*w - 8 for j.
-3
Suppose 0*d - 8 = -2*d. Suppose d = 2*m - 2. Let u = m - 1. Solve 0 = -3*a - 4*s - 12, u*a + 6*s + 12 = 2*s for a.
0
Let d(i) = i**2 + 6*i - 7. Let f be d(-7). Suppose 0 = -2*t + 4*x + 8, t - x - 4 = -f*x. Solve q = 0, -q = -t*m - 14 + 34 for m.
5
Suppose -2*m + 26 = -5*f, 4*f = -3*m + 5*f + 13. Suppose m*o = 1 + 5. Solve -3*r = 4*w + o - 5, -4 = w - 4*r for w.
0
Let g be (3/(-2))/(3/(-8)). Solve q = -g*q - 4*f - 11, f = 5*q + 16 for q.
-3
Suppose 3*s - 2*s = -f + 9, -2*s + 3 = -f. Solve 2*j + 0*j + f = -3*q, -5*q - 6 = j for q.
-1
Let g(z) = -z**3 - 8*z**2 - z - 4. Let h be g(-8). Suppose -h*a - 2*j = a + 27, -4*j = 3*a + 19. Let c be 6/2 - 10/a. Solv