y + n*w - 2 for y.
0
Suppose 0 = 18*a + 20*a - 190. Let j(y) = y**2 - 8*y + 6. Let q be j(8). Suppose 9*w = q*w. Solve w = 5*u - 3*f - 10, 4*f = a*u - 0 - 10 for u.
2
Let t be (-7 - -1) + (27 - 41 - -20). Let a(s) = -s - 3. Let d be a(-3). Solve t*u - i + 2 = u, d = i - 1 for u.
1
Let g(f) = -4*f + 33. Let l be g(7). Suppose 0 = l*j - 15*j + 20. Solve -4*t - 2*u = t - 5, 0 = 4*t - j*u - 22 for t.
3
Suppose 11 = j + 7. Let y(x) = x**3 - 3*x**2 + x - 16. Let k be y(j). Solve q = 3*i - 9, 0*q + 2*q - k*i = -10 for q.
3
Suppose 6*b = 4*b - 3*c - 5, b - 5*c + 22 = 0. Let r be (-1 - -4) + b/7. Solve -r*u = 3*u + 5, 0 = -5*z - u - 16 for z.
-3
Let k be -2*-3*3/(-9) - 2. Let x(c) = -9*c - 8. Let l be x(k). Suppose -3*o - 22 + l = 0. Solve -3*z - o*d + 11 = 0, 2*z + 7*d - 2*d = 22 for z.
1
Suppose 0 = 4*n + z - 2 - 3, -3*z + 15 = -2*n. Let f be (-9 + n)*(-25)/75. Solve u - f*x = 5*u - 10, -5*u + 13 = 4*x for u.
1
Suppose 0 = 65*i + 30*i + 47*i - 1562. Solve 3*p - i = -2*b, -225*p + 220*p = 2*b - 17 for p.
3
Let o(x) = -x**3 - x**2 + 2*x + 4. Let z be o(-2). Suppose z*y = d + 7, d = -3*y + 2 + 5. Solve y*h - 4*m = 2, 3*h - 3*m - 19 = 5*h for h.
-5
Let y = 3492 + -3486. Solve -2*f = -5*h + 12, h - y*f = -8*f for h.
2
Let b = -12704 - -12706. Solve -12 + 6 = -b*w + 2*z, w = -2*z for w.
2
Let m = 28674 + -28655. Solve -4*n + m = 3*o, -13*n = -9*n + o - 17 for n.
4
Let y(d) = -d - 9. Suppose 5*t - 12 = 2*w + 13, 0 = w - t + 20. Let z be y(w). Let m = 8 + -5. Solve 4*u - m*u + 3*v - z = 0, 5*v = u + 16 for u.
4
Let y(v) = -v**3 + 4*v**2 + 5*v - 7. Let t be y(2). Suppose t*q + 0*q - 55 = 0. Solve 0 = 5*x + 5*o - 35, -3*o + 6 = q*x - 25 for x.
5
Let i = -28 - -31. Suppose 4*t - 3 = 3*u, 0*u + u - i = 0. Solve 9 - 21 = -t*a, 10 = 2*p + a for p.
3
Suppose 3*y + 3 = -2*d, -5*y - 1 = d + 11. Suppose 0*s - m - 27 = -3*s, m - 3 = 0. Let o = s - 6. Solve 1 = 5*w - d*q, o*q = 2*w + 3*w + 2 for w.
2
Suppose -7*q + 1123 = -207. Let o = 193 - q. Solve 0 = -b - 1, o*a + 4 = -a - 4*b for a.
0
Suppose 15 = 6*g - 69. Suppose -b = 4*p - 1, -2*b - p + g = -5*p. Solve 0 = b*v + 2*o + 28 - 6, -2*v - 6 = -2*o for v.
-4
Let i(l) = 2*l**3 - 40*l**2 + 35*l + 62. Let g be i(19). Solve -4*h = -24*p + 27*p + 25, -23 = 2*h + g*p for h.
-4
Suppose -3*q = 3, -2*t + 26 = -10*q + 4. Solve 3*s - 10 = -4*f, 2*s - 13 = -3*f - t for f.
1
Let y = -1545 + 1547. Solve 5*m + 4*c + y = -39, 3*c + 27 = -3*m for m.
-5
Let s = 1985 - 1980. Solve s*a - 3*j + 8*j = 30, -3*j = 2*a - 15 for a.
3
Suppose 0 = -d + 9 + 8. Suppose -g = t + 12, g + d = 2*t + 5. Let x = -7 - g. Solve -n - 6 = -x*r + 12, -2*n + 5*r - 21 = 0 for n.
-3
Let s(m) = -2*m**2 - 7*m + 21. Let u be s(-7). Let n = 32 + u. Let j = 14 - n. Solve -b + y = -j, 4*y + 32 = 12 for b.
5
Suppose 2*z = 3*r - z + 45, -2*z = -10. Let g be r/(-65) - 192/(-104). Solve 0 = -g*n + d - 1, 2*n + 5*d = 4 + 1 for n.
0
Let s be (-5 + 1)/20*-15. Let g = 21 - -3. Solve -s*n - 19 = -5*y, -2*y + g - 4 = 5*n for n.
2
Let q be (-20)/14*(-14 - 56/(-8)) + -4. Solve -3*y = -q*y - 2*l, -l = -y for y.
0
Suppose 14 = 36*m - 39*m + 4*v, 26 = 3*m + 4*v. Suppose 0 = j + m*l - 9, 9*l = 3*j + 12*l - 36. Solve 4*p + 3*s - 24 = s, 5*p = 5*s + j for p.
5
Let z = 4608 + -4604. Solve -2*p + 3*p + t = 1, 3*p - z*t = 31 for p.
5
Suppose -9*w = 854 + 388. Let k = w - -140. Solve 5*l - u - 5 = 0, k*u - 1 = 9 for l.
2
Let w(j) = -j**2 + 17*j - 16. Suppose 48*z - 50*z = -24. Let y be w(z). Let g = y + -41. Solve -5*f = 2*b - 7*b + 10, -g*b - 8 = 4*f for f.
-2
Let p be 28/(-6) + 3 - (-294)/63. Solve -2*y = 4*a - 5*a + p, 5*y + 4*a = -1 for y.
-1
Suppose -4*j - 42 = -86. Solve -5*l = 5*v - 5, l + j = v + 4 for v.
4
Suppose -21*r + 810 = -3*r. Suppose r - 49 = p. Let m be (-18)/p - 0 - 29/(-58). Solve i = -5*h - 1, 5*i - h + 5*h + m = 0 for i.
-1
Suppose 3*f - 126 = 131 - 245. Solve -3*c - 7 + 2 = -f*q, q = -2*c - 7 for q.
-1
Suppose 0 = 2*u - u + 2*w + 4, 0 = -u - 3*w - 6. Suppose 2285*k - 3663 = 2186*k. Solve u = 3*q - 5*o - k, 0 = 5*q + 2*o + 3 - 13 for q.
4
Suppose 0 = 2*x - 5*x + 12. Let q be 1/((-3)/(-18)) - 10. Let t be 0 - ((-25)/x - q/16). Solve -4*c + 3*p - t = 0, 0 = 3*c - 4*p + 1 for c.
-3
Let b = 3959 - 3944. Solve -2*f = -2*l - 3*f + b, 5*l - 50 = -5*f for l.
5
Suppose h - 5*h = 8*h. Suppose 31*m - 29*m - 60 = h. Solve 2*l = -5*i - 19, -5*l + 3*i + m = -0*l for l.
3
Let i(b) = -10*b + 231. Let v be i(27). Let u(m) = 2*m**2 + 80*m + 89. Let y be u(v). Solve 3*k - 4*r - 15 = 0, -5*r - y = -2*k + 6 for k.
1
Suppose 2*k - 83 = -5*j, j + 0*k - 23 = -2*k. Let g(m) = m**2 + m - 12. Let d be g(-4). Solve d = -2*l - u + j, 4*l - u - 12 = 3 for l.
5
Let w be 13 + -2 + 1 - (-150 - -154) - -4. Solve 1 = -g, 15*u - w*u - 9 = -3*g for u.
4
Suppose 0 = 2*g + 6*n - 62, 4*g + 20 = 139*n - 135*n. Let m(c) = -5*c**2. Let w be m(3). Let b = w - -77. Solve -2*f - y - g = -3*y, 0 = -4*f - 4*y + b for f.
3
Let c be ((-33)/(-22))/3*8/1. Solve -c*b = -d + 19, 5*d - 8 = -5*b - 38 for d.
-1
Suppose -2*j + 6*v = -19 - 31, -49 = -4*j - 5*v. Suppose w - 3 - 2 = 0. Suppose -w*l + j = 11. Solve -2*g = z - 3, -l - 16 = -3*g + z for g.
4
Let w be (0 + 9)/((-2)/(-2)). Let x be (-3)/w - 20/(-6). Let i = -125993 + 125999. Solve -3*u + 3 = -g + i, 0 = -5*u + x*g - 9 for u.
0
Suppose 0 = v + 4*w - 18, -5*w = -5*v - 10*w + 30. Solve x - 5 = -v*n, -13 = -n - 5*x + 8*x for n.
4
Let b(x) = -6*x**2 - 178*x + 1373. Let v be b(-36). Let u be (-2 + 5)*(-19)/(-3). Solve -1 = -i - v*w - 16, u = 3*i - w for i.
5
Let y(l) = 447*l + 1791. Let n be y(-4). Solve 5*d - 50 = -5*f, -n*d = f + 2*d - 30 for f.
5
Let s(b) = -378*b - 11335. Let w be s(-30). Solve 11 = 130*z - 132*z - g, 2*z = -w*g - 31 for z.
-3
Let n be 8 - 92/28 - (-4)/14. Suppose u = 3*w - 2, 2*w - 3*u = 7 - 1. Suppose 2*f + 2*c = 4, f + w*c = -4*c + 8. Solve -m = -n*z - f*m, 4*z - 5*m = 0 for z.
0
Let w be (57/76)/(1/4). Let b be 1 - (4 - w) - -10. Solve 3*s = s - 2*o + b, 0 = -2*s + 3*o + 10 for s.
5
Let u be 2232/1240 - 1/2*(-2)/5. Solve u*m - 16 = -3*l, 0 = -2*m - 3*l + 8*l - 16 for m.
2
Let c(b) be the third derivative of -b**6/120 - 5*b**4/12 - 11*b**3/3 + 132*b**2. Let s be c(-2). Solve 4*o = 4*f + 4, f = -5*o + s + 11 for f.
2
Let g(c) = -c + 25. Let z be g(-2). Suppose -15 = -3*l - 3*f, -29*l + 3*f = -z*l. Solve -3*k + 18 = -l*v, -k = -3*v - 5*k - 11 for v.
-5
Suppose -7*x + 8 = 1. Let w(p) = 2*p**2 + 12*p - 7. Let u = 24 + -31. Let z be w(u). Solve 4*h + z + x = -4*g, 0 = 3*g - 5*h - 18 for g.
1
Let n(s) = s**3 - 4*s**2 + 3*s + 3. Let x be n(3). Suppose 0 = -x*c + 24 - 18. Suppose -2*p - 5 = -9. Solve -p*a + c = b, -3*b + 2 = 2*a + 2*b for a.
1
Suppose -122 = -2*o - 0*o. Suppose -4*g - 5 = -o. Suppose 9*d - 37*d + 11*d = 48*d. Solve f + 3*l + 12 = d, 2*f + g - 5 = -l for f.
-3
Suppose -17*p - 732 = -13*p. Let z = p + 185. Solve 2*o - z = -5*v, 1 + 0 = o for v.
0
Let y = -1768 - -1776. Solve -s = 5*i, 13*i = 5*s + y*i for s.
0
Let a(b) = b**2 - 10*b - 69. Let k be a(-7). Suppose 34 = 14*c - k. Solve -z = 2*u + c, 3*z = 3*u - 7 - 2 for z.
-4
Suppose -a - 16 = a + 4*v, -v = 5*a + 31. Let b be -1 - 122/a - (-4)/(-12). Suppose -23*d + b*d = -76. Solve 0 = g - 5*z + d, -2*g - z + 6 = -0*g for g.
1
Let v be (0 - 0)*(-6)/12. Let f = 175 + -334. Let r = -159 - f. Solve r = -4*x + 4, 3*x - 8 = -5*a - v for a.
1
Suppose t - 14 = -24. Let p be -2*t*((-63)/(-12) - 5). Solve p*f - r - 22 = 0, -5*r + 5 + 5 = -f for f.
5
Suppose -6*n + 2*n + 7 = -q, 3*q - 2*n - 19 = 0. Suppose 67 = q*s + 31. Solve -8 = -s*l - 2*u, 4*u = -l + 2*u - 4 for l.
4
Let t(m) = 2*m**2 + 24*m + 4. Let p(y) = -y**2 - 12*y + 16. Let v be p(-14). Let a be t(v). Solve 0 = 2*r + 2*s - 4*s + 16, s = -a*r - 7 for r.
-3
Let b = -13599 - -13614. Solve 11*q - b*q = -j - 23, -5*q = 4*j - 34 for j.
1
Let t = -70 - -64. Let h be ((-4)/(12/9))/(t/4). Solve 30 = h*o + 5*n + 5, 3*n = -4*o + 29 for o.
5
Let h = -8326 - -8342. Solve h*z - 11*z - 50 = -5*o, 0 = -5*z + 2*o + 15 for z.
5
Let o be (1 + (-15)/6)/((-3)/(-8)). Let d be 3 - (o + 1)*(-4)/(-3). Suppose -5 = -5*b + 15. Solve 3*u - d*u = -12, b*y = u + 1 for y.
1
Suppose -2*x = -7 + 1. Suppose 3*c = -2*c - x*u - 42, 2*c + 24 = -3*u. Let q(r) = r + 11. Let m be q(c). Solve l - 7 = -4*y, -6 - 9 = -5*y + m*l for y.
2
Let q be (93 - 95)*15/(-6). Solve -q*j = -n