 + 3*w - 3, 3*w = -n*b + 6*w - 3 for b.
0
Let m(o) = -5*o + 24. Let h be m(10). Let g = -22 - h. Solve p + g*z = 11, 5*p + z + 11 = 3*z for p.
-1
Suppose 0 = -2*t - 8, s = -s + 3*t + 60. Suppose 5*x = 4*f - 400, 4*x - 4*f + 232 = x. Let d be s/x - 32/(-14). Solve d*r - r = 2*y - 1, -y - 1 = r for y.
0
Let r be ((-102)/(-12))/((-1)/(-2)). Suppose 0 = 11*c - 38 - r. Solve 0 = -4*t - t + 25, t = c*s + 5 for s.
0
Let k(c) = c**3 + 3*c**2 + 2. Let h be k(-3). Suppose 2 = z - 5*p + 7, 0 = -p + h. Solve -z*d = 4*s - 2*s - 9, -2*s + 4*d = 18 for s.
-3
Let t(f) = -47*f**3 + 24*f**3 + 34 + 24*f**3 - 24*f**2 - f - 2. Let h be t(24). Solve w - 2*n = -2, 0 = 3*w - 3*n + 1 + h for w.
-4
Suppose 3*t = -16 + 46. Let u(i) = -i**2 + 12*i - 4. Let r be u(t). Let j = r + -11. Solve -j*f = 4*n - 9, -4*f = 4*n - 10 + 2 for n.
1
Let x = 16 - 17. Let t be (x + (-9)/(-6))*-22. Let b = t - -19. Solve u + 7 = g, 4*u - 5*u + b = 2*g for g.
5
Let k be 1 + -3 + 5 + -10. Let g(f) = f + 12. Let j be g(k). Solve -j*p - 1 = 3*m - 2*m, 4*m = p + 17 for p.
-1
Let b(v) = -4*v + 17. Let g(l) = -l + 1. Let m(k) = b(k) - 2*g(k). Let h be m(0). Solve 5*r - h = -5*x, x - 5*r - 2 = -5 for x.
2
Let o be 2/6 - 1/3. Suppose 139 + 47 = 31*q. Suppose o = z + 2*z - q. Solve -g - 2*g + z*p = 23, -5*g - 33 = -2*p for g.
-5
Suppose -14 + 20 = 2*h. Solve q = -h*n + 12, -3*n - 2*n = q - 22 for n.
5
Suppose -p = 2*i - 3*p - 4, 2*p = -2*i. Suppose -33 = -c + 5*k, 5*k + 38 = -5*c + 23. Solve -c*w = d, d - w + 3 = -i for d.
-3
Let k(j) = -j**3 - 18*j**2 - 15*j + 35. Suppose 68 = -4*c + 5*f, 3*c + 2*f = 2*c - 17. Let b be k(c). Solve 5*n - 15 = -m, -n + b + 2 = 2*m for m.
0
Suppose 0 = j - 4*k, -1 = 2*k + 5. Let n = 6 + j. Let r be -2*(3/n + -1). Solve 4*u - r*q + 5 = 0, 3*u - 5*u + 3*q + 5 = 0 for u.
-5
Suppose -22 = -5*k - 7. Let a be ((-11)/k - -4)*9. Solve -4*g = -0*p - a*p - 10, 2*g - 3*p = 2 for g.
4
Suppose 5*h = 3*m + 25, -8 + 3 = -h - 4*m. Solve 3*b = -q + 2, -2*q + 0*q - h*b + 4 = 0 for q.
2
Suppose -4*c + 0*n + 10 = 5*n, -4*c = 3*n - 14. Solve 2*l + 3 = r, c*l = -r - 0*r + 10 for l.
1
Let i(j) = 10*j**3 - j**2 + 2. Let k be i(1). Suppose -2*s - 8 + 21 = x, 2*x - 21 = -3*s. Solve 0 = 4*q - n - 2 + k, 2*q + s*n + 21 = 0 for q.
-3
Suppose 0 = 3*w - 5*w + 30. Let u = 27 - w. Solve 2*g - x = -g + u, x = -g for g.
3
Let o be (-7)/98 - (-1)/14. Solve 0 = -z - 4*y - 10, o = 3*z - z + 3*y + 10 for z.
-2
Let s be (1*2)/((-1)/(-2)). Suppose -66 = -s*t - 14. Let v be (3 - 0)/((-3)/(-2)). Solve 0 = v*p + 4*l + l + 11, -t = -2*p + 3*l for p.
2
Let j(t) = -2*t + t - 2 + 3 + 3*t + 11*t**2. Let u(q) = -q**3 + q**2 + 6*q - 1. Let o be u(3). Let b be j(o). Solve 3*k + 2*k = -5*c + b, k - 8 = -4*c for k.
0
Let r = 203 - 201. Let w(y) = y**2 + 3*y + 2. Let a be w(-2). Solve r*g - o - 7 = a, o = 5*g - 0*o - 22 for g.
5
Let z(j) = -j - 4. Let o be z(-8). Suppose o*u = -0*u. Let t be 9/15 + 156/65. Solve u = -4*w + 3*m + 11, -t*w - 2 = 4*m + 21 for w.
-1
Let q be (-36 - -36)/(0 + 0 + 1). Solve 2*k + 2*x = -10, 0 = -2*k - 3*x - 11 - q for k.
-4
Let i be ((-81)/18 + 3)*(-12)/9. Suppose 13 = r + 5. Solve r = 4*o + i*q - 4, 4*o - 10 = -q for o.
2
Suppose -4*h + 38 - 10 = 0. Let v = 10 - h. Solve 5*b - r + v = 0, -r = 4*b - 4*r - 2 for b.
-1
Suppose 3*i = -p - 52, -26*i + 2*p + 66 = -30*i. Suppose 3*t + 30 = -4*d, -3*d + 85 = -5*t + 2*d. Let h = t - i. Solve h*z = 3*k + 24, 3*z - 5 - 4 = 0 for k.
-3
Let x(y) = 51*y**2 + y**3 - 47*y**2 - 3 - 2*y + 1 - 2*y**3. Let m be x(2). Solve -m*f - 5 = -5*i, 4*f = -5*i - 11 - 14 for i.
-1
Let h be (-3267)/(-330) + (-2)/(-20) - 6. Solve -h*b = 3*d + 7 + 8, -2*d = 4*b + 14 for d.
-1
Let v = 1012 - 1004. Solve -3*k = 3*a - 7*a + 7, -2*k = -a + v for k.
-5
Let y = -18 - -23. Let z be -2 - (-2 + 3 + -4). Let n = 32 - 17. Solve 2*c = y*b - n, 0 = b + 3*c - 4 + z for b.
3
Let b = -49 - -64. Suppose 61 = b*a - 14. Solve 0 = -4*g - 5*z + 13, 5*g + 39 = a*z - 1 for g.
-3
Let q = -1699 - -1702. Let a be ((-2)/(-5))/(1/5). Solve a*x - x = -q*w - 15, 3*x + 10 = -2*w for x.
0
Let z be (-31 - -35)/(1*(-1)/(-31)). Suppose z*x - 127*x = -15. Solve x*l = -5*m + 15, l + 3*l + m = 3 for l.
0
Let v(k) = 3*k**3 - 2*k + 7 + 5 + 6*k**2 - 4*k**3 + 0*k. Let u be v(6). Solve -c = -5*g + 12, 0 = -4*g - u*c + 4*c for g.
3
Let s be (-15 - -17) + (-2)/(-2). Solve -5*k - r - 10 - 19 = 0, -s*r = 12 for k.
-5
Suppose 22 = -j - 5*a, 7*a + 29 = 3*j + 3*a. Solve -5*k + m = -k - 15, -j*k + 15 = -2*m for k.
3
Let g be -3*70/(-15) + (-9 - -9). Solve -10 = j - 2*t, g = 5*j + 3*t - 1 for j.
0
Let q = 49 - 47. Suppose -3*i - 1 + 11 = -y, -i - y - q = 0. Solve -14 = 5*b - i*p, b + 3*b = 5*p - 1 for b.
-4
Let r be (2*(-10)/(-4))/1. Suppose 2*n - 2*k = 3*k + 3, -5*n + r*k = -15. Solve -q + 5 = -n*t - 6*q, 1 = -q for t.
0
Let o be 2 - 7 - 0 - -25. Solve 0 = -2*t - d - 4, -5*t = -t - 5*d - o for t.
0
Suppose -45*y = -68*y + 92. Solve 0*z + 5*z + 16 = y*d, -12 = 2*z - 3*d for z.
0
Let d = 530 + -527. Solve 4*x - m = 2*m - 1, 3*m = 3*x - d for x.
-4
Let s = 2677 - 2672. Solve 2*x + 6 = 4*y - 2, s*x + 20 = y for x.
-4
Suppose -5*q = 4*d - 45, -6*d - 5 = -5*d - 2*q. Solve 0 = -2*n - 3*g - 1, -2*n - 6 = -d*g + 3 for n.
-2
Suppose 0 = 5*s - 4*z - 139, 5*s - 2*s - 81 = 3*z. Solve 2*r + 5 = -2*j - 9, 3*r = -5*j - s for r.
-2
Let o(d) = 2*d**3 + 1. Let z be o(1). Let h be (3/4)/((-4)/(-32)). Suppose 6 = h*g - z*g. Solve 0*x - 4*r - 7 = x, -g*x - 4*r - 2 = 0 for x.
5
Let l(w) = -3*w + 9. Suppose 6*q - 4 = 8. Let u be l(q). Solve -5*i + d = -11, -i + 3*d = 8*d + u for i.
2
Let u = -1555 - -1560. Solve 3*d + u = 5*k, -7*d = -11*d - 3*k + 32 for d.
5
Let j = 25 + -28. Let k be j*(5/(-1) - -4). Solve v + 16 = -3*c, 0 = 2*c - 3*c - k*v - 8 for c.
-5
Suppose -s + 7 = -m - 4*m, -9 = m - 4*s. Let k be -14*((-8)/(-28))/m. Solve 2*l - d + k = 3*d, 3*d - 6 = 0 for l.
2
Let w(k) = -k**2 - 16*k - 57. Let o be w(-6). Solve 3*x - o = -5*a, -2 = 3*a + 4*x + 5 for a.
3
Let o(m) = -m + 10. Let s be o(5). Solve 2*v + 19 = 3*g, 9 = -v + 3*g - s for v.
-5
Suppose 5 + 1 = 2*v. Suppose v*x = -x + 44. Suppose -12 = -x*j + 8*j. Solve -g + 0*g = -5*w + 23, 0 = j*g + 2*w - 18 for g.
2
Let p = -228 + 230. Solve p*r - 9 = 3*r + 5*x, 2*x = -4*r for r.
1
Suppose 5*q - 19 = 5*z + 121, 3 = 3*z. Let u = -8 + q. Let p = -4 - -6. Solve -p*b = 2*k - 5*b - 3, 2*b = -5*k - u for k.
-3
Let h be (-2)/(1 + (-2 - (-9)/12)). Solve x + 4*p + 2 = p, -4*x + h = -4*p for x.
1
Let u = -2230 + 2238. Solve 0 = -2*r + 3*s + u, 6*r + 2 = 2*r - 3*s for r.
1
Let v(n) be the first derivative of -n**3/3 + n**2/2 - 6*n + 5. Let h be v(-5). Let u be 96/h*(-6)/4. Solve 0 = -4*t + o - 12, -15 = 2*t + 3*t - u*o for t.
-3
Let d be ((-8)/12)/((-12)/234). Suppose 3 = 4*k - d. Solve -3*s - 3*z = 21, 0*s + z + 19 = -k*s for s.
-4
Suppose 0 = -2*i - 0*p - 3*p - 6, i + 4 = -2*p. Suppose i = 3*v - 0*v. Let h be (3/2)/((-54)/(-828)). Solve v = -3*o - 4*t - h, -23 = 5*o + 4*t + 2 for o.
-1
Let o = 1168 + -1164. Solve -a = -5*a + 8, o*g + 16 = 2*a for g.
-3
Suppose -4*q + 6 = 2*q. Solve 0*n + q = n + x, -3*n + 7 = x for n.
3
Suppose -3*r - 2*r + 28 = -2*a, 4*r - 4 = -3*a. Suppose l = 9*l - 88. Let n = l - 8. Solve -r*u + 1 = -2*u - c, -6 = -n*u + 3*c for u.
-1
Let i(u) = -u + 10. Let r(t) = t - 11. Let d(w) = 5*i(w) + 4*r(w). Let g be d(-5). Solve -2*q - 3*p = -8, p + 1 = 3*q - g for q.
4
Let n be (-1 + 2 + -2)*-8. Let y(o) = -o**3 + 7*o**2 + 8*o + 2. Let p be y(n). Let a = 54 + -49. Solve -4*t + p*b + 14 = 4*b, 0 = -a*t + 3*b - 10 for t.
1
Suppose -4 = -r - 1. Solve 2*k - 2*m - r*m + 10 = 0, -3*k = -m + 2 for k.
0
Suppose 2*v - 16 = -5*d + 3, -1 = d - 2*v. Suppose -7 = d*q - 13. Solve 5*u + 13 + 12 = q*b, b + u = 2 for b.
5
Suppose 4*d = -3*b - 5, -d - 25 = 4*d. Suppose 121 = 9*z - 194. Suppose -34*h - 2 = -z*h. Solve -k + 1 = 0, h*k = u - 2*k + b for u.
-1
Let v be (-9)/(-5) + (-390)/50 + 8. Solve -v*c + 3*g + 12 = g, 0 = c + 5*g + 24 for c.
1
Let z(h) = -h**3 - 11*h**2 + 8*h + 14. Let p be z(-11). Let x = -74 - p. Solve -2*b = -n + 5*n, x = -5*b + 5*n for b.
0
Let x = 1205 - 1187. Solve 4*r - 10 = 3*i, -2*r = 3*r - i - x for r.
4
Suppose 0*u = 11*u - 2*u. Solve 0 = 3*m + m - i - 4, u = -4*i - 16 for m.
0
Suppose 0 = -3*p - 50 - 160. Let b be (2/(-4))/(7/p). Suppose 6 + 9 = b*c. Solve -3*z = -v - 5*z - 