2*w + 26 = 0 for b.
4
Suppose 15*a - 18*a + 9 = 0. Solve -3*l = 5*w - l - 8, 5*w - 13 = a*l for w.
2
Let p(g) = -g**3 - 13*g**2 + 8. Let d be 13*(4/(-4) + 3)/(-2). Let q be p(d). Solve -2*x - l + 4 + 3 = 0, -2*x = -2*l + q for x.
1
Suppose -4*l - 28 - 3 = -5*a, 0 = 4*a + 5*l + 8. Solve 0 = -a*q + g + 2, 2*q = -g + 7 - 4 for q.
1
Let t = -138 + 140. Suppose -4*r + 9 = t*m - 9, -5*r + 9 = -2*m. Solve 0*n = 2*n - m*d - 11, d + 1 = 0 for n.
4
Suppose -39 = -19*a - 49 + 67. Suppose 41 = 4*d - s - 2, -31 = -3*d + s. Suppose -d = -b - b. Solve 20 = 4*f, -6*z + 3*z + a*f = b for z.
3
Let h be 1 - (3/1 + -12). Let w = -278 - -283. Solve -a - j = 2, 2*a = a + w*j + h for a.
0
Let b = -12 - -15. Let u be (3/b)/(5/25). Suppose 22 = 2*d + 2*f + 2*f, -2*f = 5*d - 31. Solve 10 = -2*g - 5*n - 0*n, -d*g = -u*n - 10 for g.
0
Let t(f) = f - 3. Let k be (6/15)/(3/(-45)). Let u(p) = 4*p - 8. Let i(o) = k*u(o) + 20*t(o). Let j be i(-5). Solve -b + 5 = -4*q, 5*q - j = 5*b - 3 for b.
-3
Let t(l) = l + 3 - 5 + 1. Let q be t(4). Suppose 21*p - 564 = -18. Solve -q*s + 2*i - 24 = -i, -2*i + p = -4*s for s.
-5
Let d = 1126 - 1105. Let u = -7 + 11. Solve u*m = -3*f + 14, 3*m - d = 2*f + f for f.
-2
Let t(a) = 6*a - 14. Let n be t(3). Suppose i = p + 6, 0 = n*i - 0*i - 3*p - 22. Solve c + 2 = -3*l, -5*l + 2*c = i*c + 3 for l.
-1
Let n(g) = 2*g**3 - 30*g**2 + 7*g - 101. Let k be n(15). Solve o + 2 = q - 1, o + 15 = k*q for q.
4
Suppose 0 = -6*y - 112 + 142. Solve -n = 5*q + 17, 16 + 15 = -4*q + y*n for q.
-4
Let u = 48 - 48. Let p(r) = -4*r + 11. Let v be p(u). Solve -2*k = 2*x, -13 - v = -3*x + 5*k for x.
3
Let f = 609 + -605. Solve 0 = 5*z + 9*v - f*v - 15, 5 = -5*z + 5*v for z.
1
Suppose -5*k = m + 22, 4*m + 0*k + k - 7 = 0. Suppose -b = -4*a + 20, b = 2*a - m - 7. Let d = -12 + 16. Solve b = 2*l + 2*t - 6, -d*l - 4*t = -t - 9 for l.
0
Suppose -19*p = -29*p + 50. Solve -2*w - 23 = -p*y, -2*y + 9 = -3*w - 3*y for w.
-4
Suppose j = -2 + 8. Let k be 9*(2 - 10/j). Solve 5*p + k*l - 10 = 0, 2*p + 2*l = 3*p + 11 for p.
-1
Let p be 10/3*5/75*9. Solve -4*a + 2*d - 14 = 0, -p*d + 15 = -6*a + a for a.
-1
Suppose 0 = -4*h - 0*h - 2*s - 10, -4*h - 4*s = 20. Let x = -1 + -2. Let n be 0/((-4)/6*x). Solve 3*p + 5*j - 19 = n, h = p + 4*p - 5*j - 5 for p.
3
Let h = -85 + 87. Solve a = -0*a - h*q + 7, -5*a = 4*q - 5 for a.
-3
Suppose -2*w = -0*w + 270. Let a be (-4)/(-18) - 1995/w. Let r = -10 + a. Solve -2*y + 9 = -3*n, -4*n - 35 + 16 = -r*y for n.
-1
Suppose k + 2*c = -6 - 2, c = 3*k - 11. Suppose -k*y - 10 = -2*t + y, -y = t. Solve 2*l = -2*b + 7 + 5, 3*l = b + t for b.
4
Let q be 4/3*(3 + 0). Let w be (-37)/(-4) - (-2)/(-8). Suppose -6*p - 6 = -w*p. Solve 2*g + 8 = -4*n - 2, 0 = -p*n + q*g - 10 for n.
-3
Let d = 269 + -267. Solve 0 = -l - 3*l + d*o + 8, 3*l - 11 = 4*o for l.
1
Let u = -998 - -1009. Solve 0 = -i - 4*w - 1, u = -2*i - w + 2*w for i.
-5
Suppose n + 3 = -1. Let v be (n/(-8))/((-3)/(-30)). Suppose -j - 14 = d - 4*d, 3*j - 28 = -v*d. Solve 4*h = 2*q - 14, 0 - d = -5*q for h.
-3
Let u(v) be the second derivative of -v**3/6 + 5*v**2/2 + 2*v. Let g be u(7). Let b = 1 - g. Solve 2*d + 2*w + 6 = 0, w = -2*d - b*d - 3 for d.
0
Suppose 2*i - 3*v - 33 = -0*i, 76 = 4*i - 4*v. Suppose 94 = 3*h + h - a, 4*h - 4*a = 100. Let j = 26 - h. Solve 0 = -p + o - 1 - 1, -3*o - i = j*p for p.
-5
Suppose -13*t + 6 = -10*t. Suppose x + t*x + 18 = 0. Let r = x + 9. Solve -r*n - 22 = -4*s - 1, -s + 3*n + 12 = 0 for s.
3
Suppose -33*q + 42*q = 36. Solve 0 = q*j + 5*l + 40, -31 = 4*j - j + 4*l for j.
-5
Let c = 2 + -6. Let a(m) = 2*m**2 + 7*m + 8. Let k be a(c). Solve g + k = 4*t, 4*g + 5*t - 2*t - 9 = 0 for g.
0
Suppose -5*u - 55 + 125 = 0. Solve 3*h + 10 = -n, -u = 3*h + 3*n - n for h.
-2
Suppose 14 - 44 = 5*f. Let g(b) = b**2 + 8*b + 15. Let a be g(f). Solve -3*p = a, -13 = -3*d + p - 0 for d.
4
Suppose 7*v - 6 = 4*v, 3*d + 5*v = 22. Let q = 5 - 5. Suppose -9 = -2*h - h - 2*i, q = -2*i. Solve 0*j + m = -3*j + d, h*j - 2*m = 19 for j.
3
Let z = -63 - -15. Let d be (z/(-6))/((-4)/(-2)). Solve 3*n + 2*v + 0*v = 4, d*v = -4*n + 4 for n.
2
Let v be (1/(-2))/((-4)/264). Let x = -17 + v. Solve 0 = 4*t - x, -w - t = 2*t - 11 for w.
-1
Let q(k) = k**2 + 9*k + 18. Let o be q(-9). Suppose z + 3*z = -w + 92, 2*w + 46 = 2*z. Let j = z - o. Solve m - 8 = -j*h + 2, 5*m = -5*h - 10 for m.
-5
Suppose 40*y - 6 = 38*y. Solve -9 = -4*c + y*n - 35, 0 = 2*c + 3*n + 4 for c.
-5
Suppose -7*o + 4*o + 9 = 0. Suppose -2*y + 20 = 3*y. Suppose 2*w + 2 = 3*w. Solve -w*t + o*u - 25 = -y*t, -15 = -3*u for t.
5
Let a be 0/(-11 - -5) + 2. Let l be 10/(a/6 - (-10)/60). Solve 3*z + 2*v = 10 - 2, 4*z + 5*v = l for z.
0
Let d(x) = 3*x - 25. Let g be d(10). Suppose 3*y - 4*c - 24 = -y, 24 = 4*y - g*c. Solve 3*p = 5*q - 10, 0 = -5*q + p + 4 + y for q.
2
Suppose -45 = -3*s + 3*h - 3, 27 = 3*s + 2*h. Suppose 0 = 5*n - 25 + 5. Suppose -q = d - 2, q = n*d + 4*q - 11. Solve -d*w = -c - s, -6*c + 4*c = w for c.
-1
Let r be ((-6)/3)/((-5)/(-10)). Let j = r + 8. Solve 4*m + 0*g - 9 = g, -j*g + 12 = 0 for m.
3
Let j = -88 - -281. Suppose j - 193 = -s. Solve s = l, -4*q + 5*l + 15 = q for q.
3
Suppose 6*h = 2*h + 40. Suppose 2*c + h = 0, 0*v - 18 = 2*v + 4*c. Solve 2*r + 23 = -5*x, -3*x - 17 = -r - v for x.
-5
Suppose 5*u - 30 = 5*s, -34*s = -5*u - 38*s - 6. Solve -u*l = -4*t + t - 11, -5*t - l = 1 for t.
-1
Suppose 0 = -2*u - 2*u + 4. Suppose 3*t + 8 = -5*t. Let m = t + u. Solve -3*f = 3*q + 15, -4*f + m - 20 = -3*q for f.
-5
Let q(s) = -s + 5. Let v be q(-11). Let p be 40/(-4*(-4)/v). Let m(k) = k + 4. Let i be m(0). Solve 0 = -5*c - i*w - p, -12 = 4*c + w + 9 for c.
-4
Let b be (0/3)/(-2)*(5 - 4). Solve -3*p - 2*a + 7 = -b, -3*p = -5*a - 35 for p.
5
Let o(a) = 35*a - 18. Let i be o(2). Let x = i + -50. Solve -4 = 4*b, b - x*b - 11 = -5*q for q.
2
Suppose -z = 2*z - 12. Let m be (-42)/105*(4 - -1). Let p(v) = 2*v**2 - 5*v - 8. Let n be p(m). Solve -2*h + 5*h = z*q - 2, 2*h = -3*q + n for q.
2
Let v(u) = -11*u + 1. Let x be v(1). Let s be 2/(x/4 + 3). Suppose m - 5*c - 3 = 5, -4*m - 2*c = -10. Solve -3*p = -2*k - m - 5, s*p = 4*k + 12 for p.
2
Let u be (-1 - 0*7/21)*-3. Solve 7 = x + 3*g, -u*x + 7*x + 3*g = -8 for x.
-5
Let j(r) = -r**2 - 3*r. Let c be j(-4). Let g = -22 + 31. Let s = c + g. Solve 0*a + 32 = -s*a + 4*f, -a - 1 = f for a.
-4
Let r = -113 + 116. Solve 0 = -4*u + 4*h - 28, -4*u + 0*u - r*h - 14 = 0 for u.
-5
Let p(r) be the first derivative of r**4/4 + 4*r**3 - 6*r**2 + 15*r + 16. Let k be p(-13). Solve -2*h + c + 1 = 0, 2*c = -0*h - k*h - 14 for h.
-2
Let j = 57 - 42. Suppose 32*b = 29*b + j. Solve b*p + 2*x - x = 15, 0 = 5*x - 25 for p.
2
Let q be -3 + 56/24 + 746/(-6). Let h = -122 - q. Solve 5*v + 30 = 5*n - n, -h*v = 2*n - 4 for n.
5
Let w = 36 + -31. Suppose -2*d = c, -2*c = -w*d + 2*c + 26. Solve 2*b + 0*b + d*g + 16 = 0, 4*g = -2*b - 24 for b.
-4
Let i = 29 + -11. Suppose -2*f = f - i. Suppose 107 - 139 = -8*h. Solve -4*l - 2*y = -0 - f, h*l - 3 = y for l.
1
Let b(j) = j**3 - 2*j**2 - j + 3. Let p be b(1). Solve -w + g = 3*g + p, 4*w = g - 22 for w.
-5
Let y be (9/4)/(12/(-32)). Let d be (-87)/(-27) - y/(-27). Let z be 1 - 1*(1 + 1 - 3). Solve -3*l - z*q = 8, -3*l = -4*l - d*q + 2 for l.
-4
Let m be (-6)/27 - ((-83)/9 + -7). Solve d - 25 = 6*d, 4*u = 4*d + m for u.
-1
Let c(m) = -3*m - 2. Let b be c(-9). Suppose 3*l - b = 2*i, 2 = 4*i + 10. Suppose -l = 5*x - 27. Solve 4*h - 3*h + 8 = 2*n, -2*h = x*n for n.
2
Suppose 4*n = -4*i + 20, -i - i = -5*n + 18. Solve -r - 3*d - 14 = r, 3*d = n*r + 10 for r.
-4
Let d be 0*-1*(-1)/(-3). Suppose d = -2*h, 85 = -5*v - 0*v + h. Let g = -17 - v. Solve g = 2*z + 4*l + 18, 0*l = 4*z - l + 18 for z.
-5
Suppose 8*t - 31 = 1. Solve -a = -5*r - 10, 6*a + 2*r = a - t for a.
0
Let x = -118 + 123. Suppose 0 = -2*f - 4 - 0. Let u = f + x. Solve -2*o + 5 = u*w, -3*w + 5*w - 2*o = 0 for w.
1
Let c be (-17)/(-1 - 0/(-5)). Suppose f - c = -i - 2*i, 0 = 2*f + 4*i - 24. Suppose 7*g - 8*g + f = 0. Solve -3 = 2*m - q - 1, m + 1 = -g*q for m.
-1
Suppose -8*j = -j. Let o be j/(-1) + 3 + -13. Let n be o/50 - (-16)/5. Solve 5*z - 12 - 15 = n*f, -3*z = -9 for f.
-4
Suppose 0 = -5*n + 4*n, -2*d + 3*n + 10 = 0. Solve 0 = -5*m + 3*m - 5*u - 31, -d*u = -2*m + 19 for m.
-3
Suppose 0 = 2*k - 2*x - 8, 5*k - x + 3