w + 0*w = a. Solve 0 = -w*k + k + 5 for k.
-5
Let o be -3 - (-5)/(20/36). Suppose -v + 6 + o = 4*j, -3*v = -3*j + 24. Let c(p) = -2*p - 5. Let g be c(v). Solve g = s - 2 for s.
5
Let b = -10 - -7. Let d be (b - (1 - 2)) + 4. Solve -9 = d*m - 1 for m.
-4
Let f be 4 + 2 - (-8)/(-2). Let m be 3/f*8/3. Solve -m*v = -0*v for v.
0
Suppose -16*h + 32 + 16 = 0. Solve -8*o - h*o = 33 for o.
-3
Let k(z) = 2*z + 1. Let j be k(2). Let c(h) = -h**3 - 34*h**2 - 63*h + 37. Let q be c(-32). Solve 0 = j*l + q for l.
-1
Suppose -2*x + 5*x = x. Solve 2*d + 4*d = x for d.
0
Let s be 2/(-5) - (-736)/115. Let d be 24/(-108) + 29/9. Suppose 2*u = d*g + 4, -4*g = -0*g - 3*u + s. Solve 10*j - 5*j = g for j.
0
Suppose 10*h = 5*h + 25. Suppose 5 = 14*v - 9. Solve h*q = v - 11 for q.
-2
Let f(p) = 19*p + 225. Let n be f(-10). Solve -2*j + 9*j - n = 0 for j.
5
Let i(l) = -l + 2. Suppose -2*r + 5*r + 3*q = 6, -2*r - q + 4 = 0. Let v be i(r). Suppose -42*d = 16*d - 154 - 20. Solve v = 4*c - d*c for c.
0
Let f = -342 + 344. Let u(t) = -t - 5. Let d be u(0). Let v be -2 + (d + f - -8). Solve 3*i - 3 = v for i.
2
Suppose -31 = -19*s + 45. Solve s*u - 1 = -13 for u.
-3
Let c be 25 + 10/25*5. Solve -x - 31 + c = 0 for x.
-4
Let j = 1349 + -1344. Solve 0 = -0*g - j*g + 10 for g.
2
Let w = -18 + 30. Suppose -41*r + w = -35*r. Solve -6 = -r*a + 4 for a.
5
Suppose 0 = -3*r - 2*p, 8 = 2*r - 3*p - 5. Suppose 1 = -r*f + 7. Let m(v) = 2*v**2 - v. Let b be m(-1). Solve -3 = -f*c + b for c.
2
Suppose -41*a + 299 = 299. Solve 30*t - 17*t + 26 = a for t.
-2
Suppose -c + 4*k = -0*c - 13, -k + 18 = 4*c. Suppose -4*q + 2*h + 18 = 0, -4*h + 3 = c*q - 0. Solve -q*s = -0*s for s.
0
Let q be (-6)/24 + 54/(-8). Let v(u) = -u**2 - 7*u + 5. Let b be v(q). Suppose 4*s - b*y - 44 = 0, -3*s + y - 2 = 6*y. Solve 4*t = 2 + s for t.
2
Suppose -2*k = 3*k. Suppose -2*l + 18 = 8. Solve -a + l*a - 12 = k for a.
3
Let r be -1 - (-6 + 2 + 2). Suppose r = -2*t + 5. Solve -3*b + 3 = -t*b for b.
3
Suppose -k - 5*t = 14, -4*k + 16 = -7*t + 3*t. Let m be 1 - (1/k - 0). Suppose m = -2*j + 7 - 3, 4*r + 5*j - 22 = 0. Solve 2*i - 1 = r*i for i.
-1
Suppose 0 = -q + 10*q + 9. Let x be 0*(-2 - q)*1/(-2). Suppose 3*m - 7 = -d - 0*d, -1 = -3*m + 5*d. Solve x*a - m = -a for a.
2
Suppose t + 3*k - 5 = 0, -5*t + 5*k + 25 = 2*k. Solve -t = b - 6 for b.
1
Let l(v) = -v**3 - 7*v**2 + 10. Let w be l(-7). Suppose -w*c = -14 + 4. Solve -3*t - 5 = c for t.
-2
Let f = -140 - -198. Let j = 82 - f. Let g = -12 + j. Solve -3*y = -7*y - g for y.
-3
Let n(j) = -j**3 - 6*j**2 - 3*j + 3. Let k be n(-6). Let t = -16 + k. Suppose 2*r + 45 = t*r + 5*y, -3*y = -9. Solve 3*w - r = w for w.
5
Suppose -3*b - 22 = -1. Let f = b - -10. Let i(n) = n**3 - 29*n**2 - 28*n - 60. Let c be i(30). Solve -3*r + f + 3 = c for r.
2
Suppose -5*a + 2*o = -63, 5 + 46 = 4*a - o. Let f = 581 - 576. Solve -f*d - a = 12 for d.
-5
Suppose -5*k = 4*m - 3*m - 85, -5*m + 73 = 3*k. Let b(x) = 2*x**2 - 4*x - 1. Let y be b(3). Suppose 0 = -729*c + 3749 - 568 - 265. Solve k = y*n - c for n.
4
Suppose 4*k = -5*z + 12, -k + 5 = -3*z - 15. Suppose -k + 1 = -g. Suppose -j + 4*m + 3 - 1 = 0, -g = -2*j + 5*m. Solve -j*q = -q for q.
0
Suppose -123 = -4*l + 5*h, 5*l + 5*h - 43 - 167 = 0. Solve 28*g = l*g + 9 for g.
-1
Let b(x) = 5*x**3 - x**2 + x - 1. Suppose -2*j - 5*c = 21, -7*j + 2*j = 2*c. Let a be 4/(-24)*j*-3. Let l be b(a). Solve -l = -3*k + 5*k for k.
-2
Let i = -456 + 462. Solve 0 = 4*f + i + 10 for f.
-4
Let k be (-3 - -1)/(4/(-6)). Let o be k/5 - (-7)/5. Let g be 0/(1/(-1) + 2). Solve -o*p = -2 - g for p.
1
Suppose -55 - 5 = -5*i. Suppose -z - 4*v = i, 4*z = 2*z - v - 3. Solve 1 + z = r for r.
1
Suppose -2*v + 7 = 4*f - f, -5*f = 5*v - 20. Let q = -1 + -9. Let l be 2/(-4)*(q + 2). Solve v*z - l = z for z.
1
Suppose -10 = 3*m + 3*r + r, 3*m + 2*r + 2 = 0. Let z = -124 - -140. Let d be 50/z - 7/56. Solve -d*c = m*c - 15 for c.
3
Let x(k) = k - 1. Let o(v) = v**2 - v - 10. Let j(b) = o(b) + 2*x(b). Let m be j(-4). Suppose -3*a + a + 10 = m. Solve -t = -a*t + 20 for t.
5
Suppose 0 = -9*t + 848 - 209. Let j = t - 59. Solve -4*x + j + 8 = 0 for x.
5
Let v(i) = 9*i - 9. Let w be v(1). Solve w = -k + 3*k for k.
0
Suppose 0 = 4*p - 2*p - 28. Suppose -p = z - 15. Solve -3 = n + z for n.
-4
Suppose 5*m + 0*f - 8 = 3*f, 5*m - 36 = -4*f. Suppose 4 = 2*n - 3*j + 2*j, 4*n + 3*j = 18. Solve -n*v = m - 1 for v.
-1
Let d be 20/14*14/4. Suppose 36 = 4*i - d*f, 4*i = -0*i + f + 20. Solve l = -i + 1 for l.
-3
Let v be 1833/312 + (-1)/(-10 - -2). Solve v*p = p + 25 for p.
5
Suppose -24*r - q = -27*r + 9, -5*q - 7 = 4*r. Solve g + 3 - r = 0 for g.
-1
Suppose 0*q = -q + 4*g + 15, -2*g = -4*q + 18. Let s(l) = l**2 - 3*l + 2. Let n be s(3). Suppose n*t = 4*t. Solve t*i = -q*i + 12 for i.
4
Suppose 2*r - 33 = -k, 2 = 2*r - 0. Solve -k*l = -30*l + 4 for l.
-4
Suppose 0 = 4*w + 2*m, -w - 2*m - 14 = 2*m. Suppose 10 = -f + w*f. Suppose 2*i = 5*l - 10, 2*l = 4*i - 2*i + f. Solve l = 4*p - p - 3 for p.
1
Suppose 14 = 3*u - 4*n, 0 = u - 15*n + 14*n - 6. Solve u*w + 3 = 13*w for w.
1
Let k = -50 + 11. Let t = k + 58. Let x = t - 14. Solve -4*f + x = 1 for f.
1
Let u = 57 + -38. Suppose 3*z - z - 3*l = u, -5*z = -5*l - 40. Solve z*k = 2*k for k.
0
Let q(g) be the second derivative of g**5/20 + 25*g**4/12 - g**3/3 - 35*g**2/2 + 44*g. Let f be q(-25). Solve 4*t + 1 = -f for t.
-4
Let v(u) = u**3 + 11*u**2 + 4. Let t be v(-11). Suppose -5*m + 3*y = 4, -5*m - 2*y = -4*y + 1. Solve -m + t = f for f.
3
Let o = -37 + 67. Suppose x + x = -o. Let k = -14 - x. Solve -k = -q + 1 for q.
2
Suppose 0 = -2*u + 2*x, 6*u - 9*u - 4*x = -14. Solve -4*b - 14 + u = 0 for b.
-3
Let a(y) = -y**3 + 2*y**2 + 2*y + 1. Let i = 2 - 4. Let k = i - -1. Let q be a(k). Solve -q*b = b for b.
0
Let l(p) = -2*p**3 - 21*p**2 - 27*p + 3. Let v be l(-9). Solve 2*f - v = f for f.
3
Let l be (-15)/(-6) - 3/(-2). Suppose -2*h = p - 13, 2*h = -l*p - 3*h + 40. Suppose -p*n = -5 - 5. Solve -8 = -2*c + n for c.
5
Suppose y - 2 = -1. Let m be (0 - 0)/(-1 - 0). Solve -y = v - m for v.
-1
Let l(d) = 2*d**2 + 3*d - 2. Let o be l(2). Let k be 5 + (3/(-9))/(2/o). Solve -n + k*n = -8 for n.
-4
Suppose -14*k = -19*k + 15. Solve -k = 3*q - 18 for q.
5
Let p(f) = 3*f + 7. Let a(u) = -3*u - 7. Let n(x) = 5*a(x) + 6*p(x). Let i be n(-6). Let h = -6 - i. Solve 0*q - h = -5*q for q.
1
Let y = -198 - -198. Solve y = 4*v - 2*v for v.
0
Suppose 5*a + 4*l = 11, 0 = -0*a + 5*a - 3*l - 18. Suppose -3 = -4*k + 13. Solve a = k*m - 17 for m.
5
Suppose 4*y - y + 2*w + 2 = 0, 0 = -w - 4. Solve -6*d - 12 = -y*d for d.
-3
Let a = 30 + -25. Suppose a*p - 30 = -5*u, -5*p + 5*u = -0*p + 10. Solve -8 = 3*w - p for w.
-2
Suppose 5*f = -7*f + 876. Solve -13*v - 21 = -f for v.
4
Let c be (-3 - (5 - 0)) + -2 + 1. Let a be ((-48)/18)/(((-6)/c)/(-1)). Solve 0 = 2*k + 2*k - a for k.
1
Suppose 3*k - 3 = 6. Suppose -1 = -2*m + 5*d + 23, -4*d + 36 = k*m. Let o = 22 - m. Solve -6*c = -4*c - o for c.
5
Let h be 2*9/(-6) + 3. Suppose 8 = 3*z + 4*i, -8*z + 4*z - 3*i + 6 = h. Solve z = -3*c - 4 + 16 for c.
4
Suppose -295*n = -287*n. Solve -s + 5*s - 20 = n for s.
5
Let b(p) = -11 - 4*p**3 + 11 + p**2. Let d be b(1). Let x(u) = u**2 + 3*u. Let i be x(d). Solve 5*v = -i*v - 15 for v.
-3
Suppose z - 5*z = -8. Suppose g + 2*o + 4 - 12 = 0, -5*o - 2 = -3*g. Suppose g*j - 18 + 0 = -z*b, 4*j + b = 13. Solve j = -0*m - m for m.
-2
Let q(v) = -v - 1. Suppose 3*d = -r + 6, -r + d - 3*d + 3 = 0. Let i be q(r). Solve 0 = -7*b + i*b for b.
0
Suppose 6*f = 5*f - 1, 4*c + 5*f + 21 = 0. Let q(m) = m**3 + 6*m**2 + 5*m. Let t be q(c). Solve 0 = -l - 2*l + t for l.
4
Let u = -179 - -180. Solve 4 = f + u for f.
3
Let d(a) = -5*a + 30. Suppose -6 = 4*w + u - 25, 0 = 4*u + 4. Let x be d(w). Solve 0 = -x*t - 0 + 5 for t.
1
Let v(j) = -j**3 + 12*j**2 - 7*j - 38. Let z be v(11). Let b = -4 - -7. Let m = z - b. Solve y + 1 = m for y.
2
Let g be 4/(-10) + 4/10. Suppose -41*f = -46*f + 2*k + 22, 4*k = f - 8. Solve -b + f + g = 0 for b.
4
Let i be 1/(-4) + 13/4. Let u(c) = c**3 + 4*c**2 - 3*c - 2. Let x be u(-4). Let f = x - 10. Solve f*b + 15 = i*b for b.
5
Let b(d) = d**3 + 5*d**2 + 2*d + 5. Let f be b(-5). Let x be f/(20/(-8)*1). Suppose 3*v - 2*l = 68, 2*v = 3*l - x*l + 44. Solve -a - v = -5*a for a.
5
Let s be 2/(-12)