w - 5 for a.
-3
Let d be 8 + 2 + -4 - -5. Solve -5*l + w + 22 = 3*w, -3*l = -w - d for l.
4
Suppose -2*c + 45 = 39. Suppose -4*w - 25 = -5*w. Suppose -5*o = -2*v - 15, 4*v - 2*o + 6 = -v. Solve 3*l = -l, 5*u - c*l + w = v for u.
-5
Suppose -7*v + 4*v - 2 = 2*j, 0 = -4*v - 8. Let f be 92/4 - j - 1. Solve 3*p + 0*i - f = -4*i, -p - 3*i = -15 for p.
0
Let w(q) = -2*q**3 - 3*q**2 - q - 2. Let l be w(-2). Suppose -2*y - 682 + 586 = 0. Let k be (60/y)/((-1)/l). Solve -k*n = 0, -4*n - 3 = -3*r - 3*n for r.
1
Let b = -2 + 0. Let j be (-2)/(-4)*b*-1. Let p = j + 13. Solve -3*z + 27 = 5*v, -2*v + z - 3*z + p = 0 for v.
3
Let y be (595/(-15))/(-7)*3. Solve -f = -3*q - 11, -q = -5*f - y + 2 for q.
-5
Suppose 0 = o - 14 + 27. Let k = -21 + 6. Let p = o - k. Solve 4 = -2*c + p*j - 0, 2*j - 10 = 0 for c.
3
Let t = -7 - -10. Let j be 5 - (-3 - 0 - -6). Let f be 18 + (0 - -1) + -1. Solve -j*z + f = -4*u, -3*z = 3*u + z - t for u.
-3
Suppose -4*d + 4*z = -20, -29*z = d - 33*z - 11. Solve 3*w + 4*x - 12 = -0, -d*x + 20 = 5*w for w.
4
Let k = 319 - 313. Solve 7*d = 2*d - 2*m, 2*m = -2*d - k for d.
2
Let x = -26 - -31. Solve 0*l = 4*y + x*l - 30, -4*l - 2 = -2*y for y.
5
Suppose t - 3*t = -8. Suppose 0 = -2*x + t*m - 20, -2 + 7 = x + m. Solve x = -4*a - a, -l - 2*a = 4 for l.
-4
Suppose 598*q - 592*q = 24. Solve 0 = 5*n + z + 1 + 9, -q*n - 5*z + 13 = 0 for n.
-3
Let t be (0 - 9/6)*(-60)/(-9). Let x be 1*(-5)/(-2)*(-4)/t. Solve -i - 7 = 5*o + x, 5*i + 13 = 2*o for o.
-1
Let d be 4/1 + -1 + -1. Solve -d*t = 4*i + 6, t + 6*i = 5*i for t.
3
Let x = -269 + 275. Solve -x*h = -h + k - 15, -5*h + k + 15 = 0 for h.
3
Let n(z) = 7*z + 21 - 2*z - 3 - 7*z. Let t be n(7). Solve t*l - 3*i + 11 = -1, 0 = l - 4*i + 3 for l.
-3
Let y = 26 - 11. Suppose -5*u = -4*b - y, 0 = -u - 3*b + 3 - 0. Solve k - u*k - 5*q + 17 = 0, 5*q - 13 = 2*k for k.
1
Let y(m) = -m**3 - 10*m**2 + m - 6. Let t = -18 - -8. Let f be y(t). Let c be 4/f*-6*2. Solve d + o - 3 = 2, d = c*o - 3 for d.
3
Let t(m) = -m**3 - 34*m**2 + 75*m + 111. Let y be t(-36). Solve 2*g = -5*f + y*g - 21, -2*g = 8 for f.
-5
Suppose 17 = -5*a - 8. Let n be (a/(-3))/((-3)/(-9)). Solve n*y - 2*d = -25, y + 25 = -4*y + 5*d for y.
-5
Suppose l - 28 = -5*v, 3*v - 4*v + 5*l = 10. Solve 0 = -5*x + 2*b - v + 21, -28 = -5*x - 4*b for x.
4
Let f be 95/38*-2 - 9/(-1). Solve t = 4*b - 2*t + 27, 0 = -5*b + f*t - 35 for b.
-3
Let w(i) = 2*i - 2. Let m be w(3). Let j be (-5)/(-15)*0*1. Let k(r) = r**3 + r**2 - r + 5. Let f be k(j). Solve 5*t = 5*n, m*n + t = -f - 5 for n.
-2
Let l = 411 - 408. Solve l*b - 37 = -5*t, -2*t + b + 11 = t for t.
5
Suppose 27 = 9*w + 9. Solve 0*x - 2*x = w*s, -4*x - 30 = -2*s for x.
-5
Let z = 42 - 30. Suppose -4*a + z = -56. Solve 0 = 4*y - 2*x + 18, y = -2*y - 2*x - a for y.
-5
Let h be 8 + 3 + 3 + -18 + 7. Solve -16 = -5*o - h*m, -3*o + m - 2*m + 8 = 0 for o.
2
Let l = 51 - 47. Suppose -2*b - 4 = -l*o + 2*b, 3*o - 17 = -4*b. Solve o*g = -2*m - 17, m - 4*m + 7 = -2*g for g.
-5
Suppose -25 + 17 = -4*a. Let y be 6/(-4)*56/(-6). Suppose -r + 4*n = 0, 2*r + 2*n - 4*n = 0. Solve o + 5*s - 26 = r, -3*o - 1 = a*s - y for o.
1
Let g(q) be the first derivative of -q**4/4 - 3*q**3 - 4*q**2 + 3*q - 22. Let f be g(-8). Solve -4*p - 5 = -f*s + 4*s, -4*s - 3*p = 7 for s.
-1
Let r(q) = q**3 - 7*q**2 + 5*q + 1. Let s be r(6). Let g be (5 + s)*1/2. Solve -m - 3*m = -4*y + 24, g = 5*y + m for y.
1
Suppose -4*g = -5*f - 69, -2*f = 2*f + 4. Solve -4*q + u - g = -u, 2 = -5*q - 2*u for q.
-2
Let y = -2160 - -2163. Solve 2*u - y*u = 4*j, u - 1 = -5*j for j.
1
Let w be ((-28)/6)/(22/264). Let o be 2/14 - 720/w. Solve o - 4 = 4*c + n, -c + 16 = 3*n for c.
1
Suppose -2*g = 9 + 3. Let w be (-24)/(-16) + g/4. Let p(o) = -o**3 - 5*o**2 + 5. Let m be p(-5). Solve w = -2*t - m*x + 12, 4*x = 2*t - t + 7 for t.
1
Let v(u) = u**2 + 1. Let d be v(1). Solve -4*z = 4*s + 36, -s + d*s = -2*z - 14 for z.
-5
Let g(r) = -r**2 - 13*r + 6. Let v be g(-13). Suppose -4*n = -v*l + 2*l + 12, 0 = -4*l - 4*n + 4. Solve 2*a = z - l - 1, -a = -z for z.
-3
Suppose 2*z + 98 = 3*n + 1, 0 = -n - z + 34. Suppose 28 = 3*k + k - 4*b, 4*k = 5*b + n. Solve k*q = -2*l + 10, -5*l = -2*l - 3 for q.
4
Let s = 17 + -14. Suppose s*r = 2 + 13. Solve 2*d + 4*n + 19 = 5, r*d - 3*n = -9 for d.
-3
Let d = 1012 - 1004. Solve -2*b = -3*f + 4, -4*b - 2*f = 16 - d for b.
-2
Suppose 22 = 3*q + 2*z, -4*q + z + 23 + 21 = 0. Suppose 4*v - q = -2. Let w be v/3*(7 - -2). Solve 4*h - 2*h + 4 = 0, y = -3*h - w for y.
0
Let y(f) = 5*f**3 + 56*f**2 + 13*f + 24. Let h be y(-11). Solve h*g + m + 5 = -0*g, -m - 1 = g for g.
-4
Let r(p) = -2*p**2 + 65 + 5*p - 24*p - 2*p**2 + 5*p**2. Let f be r(15). Solve -5 = -f*i, 3*m + 5*i - 9 - 11 = 0 for m.
5
Suppose -4*i + 2*i + j = -6, -i + 2*j + 6 = 0. Solve -4*x + i*b = 6, 5*x + 4*b + 5 = 4 for x.
-1
Suppose 6*d + 0*d + 6 = 0. Let h be (0 + d)/(1/(-4)). Solve -h*t = c + 1, 2*c = -6*t + 3*t + 3 for c.
3
Let b be ((-4)/((-12)/(-9)))/(-1). Suppose x + 20 = 5*x. Suppose 2*i + x*r - 9 = 0, 3*i - 10 - 1 = -5*r. Solve 4*v = s + i, 3*v + 4*s = b*s + 5 for v.
1
Suppose -23 = -2*c + 5*t, -2*t = 2*c - 16 + 14. Solve 4*w + 4*y = -12, 2*w - c*w - 4*y = 8 for w.
-2
Suppose -5*o = -3*p + 1, -2*p - 1 - 5 = 0. Let h(q) = -q**3 + 4*q**2 - q. Let r be h(4). Let d = o - r. Solve 5*f + 29 = -4*y, 3*f = d*f - 3*y - 8 for f.
-5
Let u be (-38)/((-42)/(-9) - 4). Let r = 57 + u. Solve -i + 2*d - 1 = 0, i = -4*d - 13 - r for i.
-5
Suppose 2*f = 3*l - 82, l + 4*f = -2*l + 88. Suppose -5*o + 0*o + 25 = 0. Solve -5*y + 3*r = l, -3*r = 2*r - o for y.
-5
Suppose 20 = -5*y, -h = 4*y - 172 + 16. Let n = 174 - h. Solve 0 = 2*d - b, 2*b - 5*b = n*d for d.
0
Let i(r) = r + 28. Let j be i(-9). Let h = j + -19. Let s = h + 5. Solve -2*c = -5*m - 5*c + 37, 0 = 5*m - s*c - 5 for m.
5
Let j be 12/((-11)/((-33)/6)). Let m be 3/(-9)*-1*21. Let u be (j/2)/(m/14). Solve 3*v + z - 1 - u = 0, -4*z = -4*v + 20 for v.
3
Suppose 46 = 5*v + 11. Let m = v - 7. Let p(a) = -a**2 + 12*a - 15. Let l be p(10). Solve 40 = l*j - m*n - 4*n, 4*j + 4 = -4*n for j.
4
Suppose 4*r + 0 - 5 = 3*w, 4*w = 4*r. Solve -2*f + 5*f + 7 = -4*d, 0 = -f + r*d - 15 for f.
-5
Suppose -j - 1 = -4. Suppose 2*l - l + j*x + 6 = 0, -24 = -4*l + 4*x. Solve -2*k - 18 = 2*o + 2*k, l*k + 21 = -4*o for o.
-3
Let p be 6/39 + (-100)/(-26). Let q be 1/(-2) + 11/2. Suppose -16 = 4*x - q*x. Solve -3*y - 5*i - 21 = 0, p*y + 2*i + x = -y for y.
-2
Let y(k) = k**3 - 2*k**2 - 8*k + 2. Suppose 7*z - 21 - 7 = 0. Let q be y(z). Solve q*i - i + w = 0, 10 = 4*i + 2*w for i.
5
Suppose 0 = 110*g - 102*g - 120. Solve 3*x = -2*x - 25, g = -5*l - 5*x for l.
2
Let y = -104 + 103. Let j be -2 + (2/(-2) - (y + -5)). Solve 6*w - 15 = 4*k + w, -2*k = -j*w + 9 for k.
0
Let g be 4/(-7)*(5 - (-102)/(-12)). Solve -2*k = -g, -5*h + 7*h = 4*k - 10 for h.
-3
Let q be (3/6)/((-4)/(-2232)). Suppose -q = -5*d - 24. Suppose d = 4*v - f + 2*f, -4*v + 5*f + 57 = 0. Solve 5*k = -2*h - 23, 5 = -2*k - 3*h - v for k.
-3
Let z(u) = -u**3 - 8*u**2 + 10*u + 16. Let o be z(-9). Solve 6*y - y - 2*s + o = 0, -4*y - 5 = -s for y.
-1
Let c(y) = -y - 4. Let d(k) = -k**2 - 11*k + 3. Let w be d(-12). Let s be c(w). Solve s*u - 4 = 3*g - 3, -u - g + 5 = 0 for u.
2
Let b = 4 + -1. Suppose d + b*g + 2 = 0, 2*d - g + 2*g = 6. Solve 0*c - c + 4*p = 9, d*c + 23 = 3*p for c.
-5
Suppose 5*t - 5 = -x, 2*x + 4 - 1 = 3*t. Let d be ((-12)/8 + x)*-2 - -1. Suppose 9 = 4*a + 1. Solve -2*y - p + d = -4*p, -a*y + p = 0 for y.
-1
Suppose 2*h = -3*m + 20, 7*m = -2*h + 22 + 14. Solve m*v - 8 = -2*s, s + 4 = -4*v - 4*s for v.
4
Suppose 7*z - 34 = -6. Solve -2*s - z = -3*b, 3*b = 8*b - 2*s - 8 for b.
2
Let l(a) = a. Let f(b) = 4*b - 36. Let i(j) = -f(j) + 2*l(j). Let g be i(16). Solve 4*u + p = -1 - g, -19 = 2*u - 5*p for u.
-2
Let j(q) = -2 + 0*q + 2 - q. Let f be j(-8). Suppose -f*n = -5*n. Solve n = -3*h + 2*s - 3 - 0, -h - 15 = 4*s for h.
-3
Let n(x) = x. Let g(h) = -3*h**2 + 18*h + 6. Let t(w) = g(w) - 4*n(w). Let k be t(5). Solve 0 + 7 = s - d, -5*s - 4*d - k = 0 for s.
3
Let l be ((-110)/(-40))/(2/8). Solve -2*f + 4*f - 5*j + l = 0, 4*f = 2*j - 14 for f.
-3
Let p(m) = m**2 - m - 2. Let y be p(2). Suppose -2*g = 5*d - y - 5, -5*d = 5*g - 5. Solve -4*c + 15 = -5*f, g*f - 3*f = 9 for c.
0
Let i(k) = -k**3 - 5*k**2