 j, 5*y - 3*a = 6 for y.
0
Let u be (40/(-70))/((-2)/7). Solve -2*n = 5*o - 7, -o + 1 = -u*n + 2 for n.
1
Let p = -12 - -23. Let j = p - 12. Let o be j/((-8)/(-12) - 1). Solve -f = -v + o, 4*v + f - 2 = 10 for v.
3
Let a(l) = -l**3 - 9*l**2 + 16*l + 63. Let v be a(-10). Solve v*i - s = 2*i + 2, -2 = s for i.
0
Suppose 0 = 6*x - 14*x + 24. Suppose x*a = -3*a + 42. Suppose a*y = 9*y. Solve 2*g = -y*g - 2*b, 2*b - 6 = -5*g for g.
2
Let d(w) = -w**2 + 532. Let g be d(-23). Let m(v) = v + 4. Let f be m(0). Suppose 5*x - 8 = 2, -f*x = -5*q + 12. Solve -2*t = -6, 0 = -g*z + z - 2*t + q for z.
-1
Suppose 4*m - 14 = 3*u - m, -4*m = -5*u - 6. Solve i - 3 = -u*c, -i + 2*i - 4*c = 9 for i.
5
Suppose 7 = z + 19. Let h be 1 + (4 - 3/z*-4). Solve x - 11 = -0*x - 5*g, -h*x - 6 = -5*g for x.
1
Suppose -3*r = 15, -16*w + 15*w + 2*r = -33. Solve -3*g + 4*i = -27, 5*i = -4*g + 6*i + w for g.
5
Suppose 15 = 4*c - 25. Suppose 2*n - 2*j + 0*j = c, 3*n = -j + 11. Suppose 6 = x + n. Solve -4*b = -x*i + 7*i + 21, 2*b + 12 = -4*i for i.
-1
Let v(q) = 2*q - 19. Let s be v(4). Let c = -7 - s. Solve 0 = -c*p - 4*d - 4, -d - 2 = -2*p - 1 for p.
0
Let d(w) = 3*w - 2. Let m be d(-1). Suppose 2*s + 4*r = -0*s + 30, 4*s = -5*r + 48. Let c = s + m. Solve t - 13 = -c*b, t - 4*t = -9 for b.
5
Suppose 0 = 3*s - d - 3 + 1, -4*d + 14 = -s. Suppose 2*f - 12 = -f, -s*v - 5*f + 26 = 0. Solve 2 = k + k + 4*r, -v*k - 3*r + 6 = 0 for k.
3
Let v(r) = -7*r + 27. Let h be v(6). Let y be (-28)/h + (-44)/(-330). Solve -5*g - 21 = 4*z, y*z + g = 4*z + 7 for z.
-4
Let l = -18 - -28. Solve -5*w - j - 20 = 0, 2*w + 3*w = j - l for w.
-3
Suppose y - 5*y = -4, -5*y = -5*s + 10. Solve s*w + 5*f = -15, 0 = -2*w - 4*f - 12 - 0 for w.
0
Suppose 46 = 4*u + 26. Solve u*v + 19 = q, -5*v - 4 = -2*q + 19 for q.
4
Let k(p) = -15*p - 20. Let g be k(-3). Suppose 0 = 5*t + d - g, 2*t + 0*t - 13 = -d. Solve 2*w - t*a = 3*w + 3, -5*a + 12 = -4*w for w.
-3
Let h be -1 - (-6 + 3)*1. Let n be 1*6*h/3. Suppose -v = v + 2*s - n, -2 = 2*v + 4*s. Solve v*d = 2*p - 22, 0 = p - 1 for d.
-4
Suppose 0 = t + 2*z - 11, -3*z + 4*z - 3 = 0. Suppose -2*r + 60 = 3*r. Let c = 19 - r. Solve 2*k + 33 = t*g, -g = 3*k - 0*g + c for k.
-4
Let j = -96 - -97. Let t = 21 + -8. Solve 3*h + 2*c = -7, 3*c + j = -h - t for h.
1
Let m = -106 - -118. Suppose -11*p + m*p = 0. Solve 3*v + 7 = -5*g, g + 2*v + 3*v + 19 = p for g.
1
Let q be 2422/21 - 2/6. Suppose -3*v = -q + 22. Suppose -30 = -5*b - 5. Solve 5*i = i + b*w + v, 0 = -2*w - 6 for i.
4
Let i(l) = -l - 1. Let p be i(-3). Suppose p*k - 4 = d - 3*d, -4 = d + 4*k. Solve -x - x + 5*f = -17, -d*f = -2*x + 12 for x.
-4
Let l(r) = r**2 - 3*r + 3. Let b = -16 - -19. Suppose -j - 6 = -b*j. Let w be l(j). Solve 3*c - 21 = -w*z, 0 = -0*c + 4*c + z - 16 for c.
3
Let q = 245 + -241. Solve -q*o + 4*n = -4, -3*n - 10 = -5*o + 9*o for o.
-1
Suppose 0 = -239*k + 229*k + 20. Solve 3*g = 5*h - 8, 4 = -4*g - 2*h + k for g.
-1
Let v(t) = 2*t**2 - 16*t + 6. Let l be v(8). Let a be ((8/3)/2)/(2/l). Solve 9*h - 2 = 3*q + a*h, -2*q = -4*h + 2 for q.
1
Let m be ((-46)/(-20) + -2)/(30/300). Solve -m*p + 2*p = 5*q, -p - 2*q - 3 = 0 for p.
-5
Let p be (-4)/(-6) - 25/(-3). Suppose -3*d + 12 = -0*d. Let b = p - d. Solve -6*z + 3*z - b*g + 20 = 0, -4*g = -2*z + 6 for z.
5
Suppose 18 = 4*v - 90. Let x(s) = -s**3 + 6*s**2 + s + 4. Let h be x(5). Let b = h - v. Solve 0 = 2*q - 2*j - b - 1, 3*j = -q - 12 for q.
0
Let r(b) = -17*b**3 - 3*b**2 + 4*b - 2. Let l be r(2). Let j = -137 - l. Solve -c - 6 = -g, -5*c - j*g + 17 + 3 = 0 for c.
-1
Let n(t) = -79*t - 469. Let y be n(-6). Solve y*w + 4*c = 3*w + 14, -c - 10 = 5*w for w.
-3
Let p be ((-116)/(-6))/(10/(-15)). Let i be p/(1 + 8/(-4)). Let d = 45 - i. Solve 5*k - 15 = 5*g, -4*k = 3*g + d - 0 for g.
-4
Let v(t) = -t**3 - 9*t**2 - 9*t - 1. Let i be v(-6). Let n be (-8 - 1)*(-4 + i/(-15)). Solve 5*d + n*g = -0*g - 16, d + 2*g - 1 = 0 for d.
-5
Let x(g) = 4*g - 3. Let h be x(2). Suppose -20 = 7*d - 3*d, 3*m - 5*d = 46. Let b = m - h. Solve 0 = b*p - 3*t + 8, 0*t + 10 = -2*p + 4*t for p.
-1
Let s(x) = 14*x**2 + 2*x. Let a be s(-1). Let r = a - 9. Suppose -3 = -i - 0. Solve r*h + 0*h + 3 = i*m, h + 7 = 3*m for h.
2
Let h(x) = -x**3 - x**2 + 3*x + 2. Let y be h(-2). Suppose y = -8*s + 3*s. Suppose s*n + n = 0. Solve -z - 2*v - 3 = -n*v, -40 = -4*z + 5*v for z.
5
Let c = 1466 + -1462. Solve -5*z + 16 - 4 = -a, 8 = -c*a for z.
2
Let j(k) = -162*k - 2103. Let l be j(-13). Suppose 0 = 4*a + 11 - 39. Solve 3*u = -l*x + 12, -x + 5*u + a = 33 for x.
-1
Let p = 76 + -40. Suppose 4*w = -2*w + 24. Suppose 4*d - 5*i = p, d - w*i = -0*d + 20. Solve -3*y - 5*h + 4*h = -14, 0 = -5*y + d*h - 5 for y.
3
Let p = 1546 + -1541. Solve -p*s + 16 = -2*h - 0*s, 4*h - 5*s = -12 for h.
2
Let u(s) = s**3 + 8*s**2 + 7*s + 3. Let f be (-1)/(-4*4/(-112)). Let r be u(f). Solve -r*z = 4*q + 5, 3*z + q = -0*q - 8 for z.
-3
Let t(u) = 2*u**2 + 13*u - 1. Let w be t(-7). Let m be (-3)/w*4 + 3. Solve -3*y - s = 3*s + 32, 0 = y - s - m for y.
-4
Suppose -5*z + 12 = -3*q, 0*q - 16 = 4*q. Solve 0 = -c - 3*s - 2, 0 = -4*c - z*s - 4*s for c.
1
Suppose 3*o = 6*o + 3. Let c = o + 3. Suppose c = 4*b - w, -w + 8 = -5*w. Solve b = -5*s + 4*r + 36, 2*r + 20 = 3*s for s.
4
Let s(x) = x**2 - 13*x - 103. Let z be s(19). Solve 0 = 3*c - 7*c + 4*b - 20, b + z = -3*c for c.
-4
Let o(g) = -g**3 - 65*g**2 - 72*g - 512. Let u be o(-64). Solve u = -4*b - m + 16, -2*b + m + 18 = 4*m for b.
3
Suppose -3*h = -0 - 9. Let j(z) = 3 + 0*z**h + z**3 + 11 + 2*z - 3*z. Let k be j(0). Solve 2*n + 14 = 4*w, -k = 4*w + 5*n - 49 for w.
5
Let j = 22 - 18. Suppose 2*n = -2*w + 4, j*w + 2*n + 6 = 4. Let x be w/(-12) + (-11)/(-4). Solve 2*z - 5*r + 4 = 16, -8 = -x*z + 5*r for z.
-4
Suppose -39*g + 78 = -0*g. Solve 4*w - g = h + 3, -6 = -5*w + h for w.
1
Let w = 4040 - 4032. Let i be (3 - 4)/(1/(-7)). Suppose 0 = 3*b - i*b. Solve b = -q + 4*r + 3 + 9, -4*r + w = 4*q for q.
4
Let l = -183 - -209. Solve 5*u + 7 = -4*x - l, -2*u - 10 = 0 for x.
-2
Let l be (-3)/((-407)/(-55) - 8). Suppose 0 + 3 = y. Suppose -4*w + 73 = w - 4*j, 0 = -y*w - 4*j + 31. Solve -l*s = -2*s + 15, -a + 3*s = -w for a.
-2
Let i(k) = 8*k**2 - 2*k + 3. Let x be i(0). Solve 18 = 3*d + 3*v - 0, -d = x*v - 16 for d.
1
Let n = 217 - 213. Solve 2*p = 8, 0 = n*j - 5*j + p - 3 for j.
1
Let u(c) = c**3 + 5*c**2 - 5*c + 6. Let f be u(-6). Let p be (f - 1)/((-6)/150). Solve -4*t + 5 = -4*g + p, 4*g = 2*t + 16 for g.
3
Let o be (-3 + 14)/(3 - (-19)/(-6)). Let d = o - -73. Solve -4*w + d*u = 5*u + 8, -5*w + 3*u - 9 = 0 for w.
-3
Let m be 1*(-9)/(-27)*90/2. Solve 0 = -4*o + 5*n + 27, -o + 5*n - n = -m for o.
3
Let p be -1 + 2 + -3 + 4. Suppose 2*g + 34 + 0 = 4*d, 2*d + g = 15. Suppose -d = -h - h. Solve h*o + o + 5*f = 10, -3*f - 4 = -p*o for o.
2
Let f(k) = 183*k + 1283. Let z be f(-7). Let n = -3 + 3. Solve -2*v - 2*m - 4 = 0, -z*v + n*m = -4*m + 4 for v.
-2
Suppose -30 = -6*u - 12. Solve 4*y - 2*l = 20, 0 = -2*y + 5*y - u*l - 18 for y.
4
Suppose -9 = 5*m - 264. Suppose m = 6*d + 21. Solve q = h + 2*q - 2, 0 = -d*h + 5*q + 10 for h.
2
Suppose 12*n + 22*n - 2*n = 0. Solve 4*w - f = 9, 2*f + n*f = w - 4 for w.
2
Let n = 42 + -28. Suppose 14*j - 7*j = n. Solve 4*f = -4*d + 36, d - j*d + 2*f = 3 for d.
5
Suppose -j + 5 = -0*j. Suppose -m + 12 = -k, 6*k = -2*m + 4*k + 36. Suppose 0 = -14*c + m*c. Solve a - 3 = -r - c, 2*a - 9 = -j*r for a.
2
Suppose 0*w = 6*w + 36. Let g be 240/39 + 0 + w/39. Solve -3*y + 7 = s, 5*y - g + 1 = 5*s for y.
2
Suppose 0 = -8*m + 5*m + 1365. Let f be m/10 + -2 - (-6)/4. Solve f = -4*c - 5*p, -3*c - 5*p = -4*c + 20 for c.
-5
Let v be 0/((3 + -17)/(-7)). Solve d - 4*n + 12 = 0, 2*d - d - n = v for d.
4
Let p(j) = 2*j + 2. Let t be p(9). Suppose 0 = -3*s - 1 - 47. Let f = s + t. Solve -3*z - 5 = -f*z, -5*z = -i - 24 for i.
1
Let s(j) be the second derivative of j**5/20 + 3*j**4/2 - 19*j**3/6 + 3*j**2/2 - 5*j. Let u be s(-19). Solve 4*l = 5*r + 13, r - 9 = -2*l - u*l for l.
2
Let u = 247 + -123. Suppose 7*r + u = 3*r. Let o = 34 + r. Solve -2*j + d = 3, -o*d - 21 = 4*j - 0 for j.
-3
Suppose -g + 3*g - 4 = 2*i, 4*g = 3*i + 9. Solve 4*o + o + g*u = -7, 0 = -o - 2*u for o.
-2
Let j be 8/(-4) + (-2 - -19). Let f(p) = -2*p - 15. Let i be f(-10). Solve i*h + g - 5 = j, 4*h + 4*g 