- 5*l, 2 = -a + x*l + 5 for a.
-3
Let m be 1/(-3) - 1/(-3). Suppose 4*r + r - 15 = 0. Let u = r + -3. Solve 5*i = -5*l, 2*i + m*i - 3*l + 25 = u for i.
-5
Suppose -5*t - 81 = 4*g, -3*t - 5*g = -0*t + 59. Let x = -12 - t. Let v(y) = 3*y**2 - y + 1. Let r be v(x). Solve o = -4*u + 13, -5*u + 2*u - r*o + 3 = 0 for u.
4
Suppose 2 = 4*m - 3*z - 18, -4*m = -2*z - 20. Solve 0 = 5*x + 4*k + k + m, 0 = 2*x - k - 1 for x.
0
Let a = -169 - -172. Solve -4*g + 3*l = g - a, 2*g + 2*l = -2 for g.
0
Suppose 2*l + 5*r + 50 = 7*l, -3*r = 12. Let x be 18*((-8)/(-6))/(-1). Let p be 8/(-6)*54/x. Solve p*i + 0 + 3 = -3*s, l = 2*i for s.
-4
Suppose w - 3*a = -1, 3*a = 4*w - 2*a - 24. Suppose 2*h - 3*s = 10, -5*h = 2*s + w - 36. Solve -3*f = 4*n + 14, 5*f + 3*n = -0*f - h for f.
2
Let w = 114 + -116. Let m be (5/w)/((-3)/((-108)/(-15))). Solve 4*l - 4*b + 12 = 0, m*l - l + 9 = 3*b for l.
0
Suppose -g + 5*x - 33 = 0, 3*x = -4*g - x - 12. Let q be 14*((-4)/g + 1). Suppose 0 = 2*r + r - q. Solve -2 = 4*d - u, -3*d + 5*u + r = 17 for d.
0
Let k(w) = 5*w**2 - 5*w + 5. Let m be k(1). Suppose -m*x + 5*b = -15, 0*x = 2*x + 4*b - 36. Solve 2 + 7 = -h - z, 2*z + x = 0 for h.
-5
Suppose -4*k + 6 = -3*a - 2, 0 = 3*a. Solve 2*g + 4*v - 32 = -3*g, 5*g + k*v = 26 for g.
4
Suppose 130 = 56*q - 94. Solve 0 = q*f + 3*o - 9, -24 = -3*f - 4*o - 19 for f.
3
Let t = 3 + -1. Suppose 3*l = 4*n - 43, -l + t*n = 3*n + 12. Let u = -10 - l. Solve d = -2*j + 7, -u = j + 2*d - 2 for j.
5
Let l(u) = -14*u + 27. Let w(q) = -5*q + 9. Let g(d) = 6*l(d) - 17*w(d). Let h be g(-6). Solve k + n = h*k + 7, -3*k + 3*n - 9 = 0 for k.
-4
Suppose -72*l + 96*l = 96. Solve x = l*t + 7, 0 = 4*x - 7 - 5 for t.
-1
Suppose 2*m + 38 = 42. Solve 5*t - m*u = 19, -5*t = 2*u + 3*u - 5 for t.
3
Let o(a) = 9*a**2 + a + 4. Let k be o(-2). Suppose 3*z = z + k. Solve 3*j - 2*m = z, -2*m + 3*m - 18 = -4*j for j.
5
Let k be 6/(-6)*(8 - (1 - 2)). Let g be (-1 + k/2)*(-11 - -9). Solve -v + g = 3*f - 5, 3*f = 15 for v.
1
Suppose 7*f = 23*f - 192. Solve 2*q = -0*q - 2*p + f, 5*p = q for q.
5
Suppose -4*x + p + 53 = 0, 0*x - 3*x + 42 = -3*p. Solve -f + 4*j - x = 4, -4*j + 20 = -4*f for f.
-1
Suppose 3*w = 0, 4 = 2*k + 4*w - 2*w. Solve -5*n + 20 = -u, -2*n - 2*n + 22 = -k*u for u.
-5
Let o be (0 - 0)*3/(-6). Suppose o = -2*g + 26 + 4. Solve -5*t - 5 = -3*s - g, 5 = s for t.
5
Let x(k) = 6*k**2 + 2*k + 1. Let m be x(-1). Let i be (-17 - -12)/(2/(-4)). Solve -3*l - 4*z + z + 9 = 0, -m*z = i for l.
5
Let n(m) = m + 9. Let o be n(-9). Suppose o = 5*i - 0 - 15. Suppose -i*c + j = -4*j - 16, j + 2 = 0. Solve f + 4*f + 14 = l, f - c = 5*l for f.
-3
Suppose 5*z - 3*u = 4, u = 4*u - 6. Suppose o = -2*o + 2*f + 18, z*f = -5*o + 14. Let k be (o - -2) + (-1 - 0). Solve 4*h = v - 1, 8 = 4*h - k*v - 3 for h.
-1
Suppose -d = -2 - 3. Suppose 3 = -x - 2. Let l be 5*((-18)/x - 3). Solve -l*p = 2*n + 1, p + 4*p + 4*n = -d for p.
3
Let u be (-13)/65 + 63/15. Solve r + 3*b = -8, -3*r - 2*b + u*b = 13 for r.
-5
Let q(g) = -g**2 - 8*g - 2. Let r be q(-7). Suppose -5 = -2*l + a, -l - l + 1 = -r*a. Solve s = 3*i - 11, -2 = -l*s + i + i for s.
4
Suppose 13*t + 2 = 2. Let v = 25 + -22. Let b be 4*1 + 0 + 0. Solve -z + 5*d = 9, t = -8*z + v*z - b*d - 16 for z.
-4
Suppose -5*h + 0*h - 5 = 0. Suppose 3*c + 28 = 13. Let m = h - c. Solve -4*q + 5*l - m = -q, -9 = 2*q + 3*l for q.
-3
Let w be (3 + -2)*(12 + -11). Solve -35 = -5*z + 2*h + h, -z - w = h for z.
4
Let x be (0/37)/(2*-1). Solve 3*z - 4*s + 1 = 4, -2*z - s + 2 = x for z.
1
Suppose 15*n - 160 = -17*n. Solve -4*i + 3*b + 8 = 5*b, n*b = -20 for i.
4
Suppose -5*d = n - 8, 3*d - 24*n = -23*n + 8. Solve -3*g + 3*c + 29 = d*g, 0 = g - 5*c - 19 for g.
4
Let v = 14 + -7. Suppose 5*h + 0*h + w = -v, -5*w = -15. Let f = 0 - h. Solve 3*k + p = 1 - 6, 5*k - f*p + 23 = 0 for k.
-3
Suppose -63 = -13*v + 6*v. Suppose c + 40 = v*c. Suppose 5*m + 2 = -4*h - 4, 0 = m - 2*h - 10. Solve -c*g - 27 = m*q - q, 0 = -5*g + 2*q - 21 for g.
-5
Suppose -580 = -5*r - 555. Solve -a = 3*y + 1 - 3, r*a + 10 = -5*y for a.
-4
Suppose -5*i + 5*s + 85 = 0, 0 = 25*s - 21*s + 4. Solve -2*n - 17 = 3*r, 0 = -3*r - r - n - i for r.
-3
Let a(v) = -v**3 + 3*v**2 + 12*v - 7. Let x be a(5). Solve -4*b = 3*m + 28, 7 - 23 = x*m + b for m.
-4
Let v = 4 + 0. Let r be (-1)/(-7) + 1740/609. Solve 0*u + v*u = r*y + 7, -9 = 3*y - 3*u for y.
-5
Let c = 186 + -184. Solve 5*q = t - 5 + c, -3*t + 9 = -3*q for t.
3
Let d = -2 + 2. Suppose d*c = 5*c - 2*j - 14, 5*c - 3*j = 16. Let a(n) = -n**2 - 10*n + 2. Let q be a(-10). Solve 4*m + 6 = -c*y, -3*m = q*y + 6 - 0 for y.
-3
Suppose -36 = -4*z - 28. Solve z*i - p = 3*i - 2, -i - 2*p + 4 = 0 for i.
0
Suppose -n + 18 = -4*y, 4*n - 6*y + 2*y - 24 = 0. Suppose 6 + 8 = k - 2*v, 3*k + v - 49 = 0. Solve 4*x - k = -2*a, -6*x + x - n*a = -20 for x.
4
Suppose 9 = 4*k + 21, 5*h = -5*k + 10. Solve h*w - 14 = -4*n + 3, -4*w + 26 = -3*n for w.
5
Suppose -2*s = 2*i - 24, -3*s = -5*i - 36 - 32. Suppose -44 = -3*t - f - 0*f, 4*t - 2*f = 52. Solve -2*m - 2*d + t = d, 4*m = -3*d + s for m.
1
Let c = -23 + 31. Let m(z) = z**3 - 9*z**2 + 7*z + 11. Let f be m(c). Let k(p) = p**2 - 6*p + 3. Let j be k(6). Solve 5*n + 4 = -f*r, 10 = -j*n + r + r for n.
-2
Let o = 14 - 15. Let j be (15/9 + o)*15. Suppose -5*m = -j, -4*f + 2 = -3*m - 4. Solve -3*s - 5*k + 34 = 0, -f*k + 30 = 5*s - 0*k for s.
3
Let j = 191 + -188. Solve -x - 3*l - j = -0*x, 3*x = -3*l + 3 for x.
3
Let h be (-8)/(-20) + (-16)/(-10). Suppose -h = o - 0. Let v be o + 4 - (4 - 4). Solve l + v*l + 10 = -u, -5*l = 5*u for l.
-5
Let o = 0 + 12. Let i = o + -10. Let d(k) = 2*k + 1. Let l be d(i). Solve l*t = -5*p - 4 - 11, 5*t = 2*p + 20 for p.
-5
Suppose 59*b - 107*b + 144 = 0. Solve -w - b*s - 4 = -11, 2*s = 2*w - 6 for w.
4
Suppose 0 = 5*i + 5*d - 15, 5*d = 4*i + 3*d - 24. Suppose i*q - 14 = 1. Suppose 5*t = -x + 15, 4*t = -x + 3*t + q. Solve -m - 2*v = x, -2*v - 2*v = -2*m for m.
0
Let y(m) = -3*m**2 - 38*m - 19. Let c be y(-12). Solve -5*h = -2*w - 0*w + 17, c*h = -3*w - 12 for w.
1
Suppose 4*m - 39 = 33. Let x = 18 - m. Solve -5*c = a + 16, 0 = -2*c - x*a + 2*a - 4 for c.
-3
Let q = 75 + -62. Suppose -16*w = -q*w - 12. Solve 5*o + 43 - 12 = 2*v, -w*o - 23 = -v for v.
3
Suppose -j + 15 = 13. Suppose j*q - 7*q + 25 = 0. Solve 3*u - 2*r + 6 = 0, -2 = 2*u + q*r + 2 for u.
-2
Let r(i) = -i**2 + 22*i - 35. Let l be r(20). Solve s + 6 = 5*n - 0*s, n - l = 4*s for n.
1
Let x be 2/(-2)*-10 - 4/(-1). Suppose k - 1 = -3*g, -3*k + 5 = 4*g - 3. Let r = 3 + g. Solve -4*d - 7 = -3*c - r*c, x = c - 5*d for c.
-1
Suppose 8 = -4*z - 2*w, -4*z - 16 = -0*w + 4*w. Suppose 2*j = -z*j + 32. Solve 5*t = 3*c - 28, -2*c = -3*c + 3*t + j for c.
1
Suppose 5*x - 3*m = -0*m - 120, -x - 3*m = 24. Let r be (-92)/x + (-2)/(-12). Solve r*i - 4*v = -12, 2*v - 1 = 3*v for i.
-4
Let r = 7 + -4. Suppose 4*o - 5 = r. Let m be 9/(-15) - (-28)/5. Solve -5*j = -5*n + m, o*n + n - 27 = -3*j for j.
4
Suppose -2*f = 2*s - 6, 7*f + 13 = s + 3*f. Let i be (-216)/(-22) + 2/11. Solve -i = 3*d + 2*b, s*d - b + 29 = 8 for d.
-4
Suppose 2*t = -2*t + 16. Solve r + w - 7 = 0, 0 = t*r - 0*r + w - 22 for r.
5
Let v = -14 + 26. Suppose -p + 37 = 35. Suppose -p*r - v = -8*r. Solve r*m = -4*g + 3*m - 19, -3*g - 4*m - 19 = 0 for g.
-5
Suppose 0 = 4*f + 4*q + q + 5, 4*q = -5*f - 4. Suppose 10*x - 41 + 21 = 0. Suppose f = -d + x. Solve 4*z + d*v + 2*v = 16, 7 = -2*z + v for z.
-1
Suppose 3*b + 5*b = 56. Suppose -10 = -b*y + 18. Solve -y*a - k - 21 = 0, -4*a + 2*k = -9*a - 30 for a.
-4
Let v be (1/(-1) - (-4)/12)*-3. Suppose -2*l = l + v*c + 6, -4*l - 12 = 4*c. Solve -2*d - 4*p - 10 = l, -d - 3*d + 3*p = 20 for d.
-5
Let j be ((-33)/(-9))/1*(1 - -2). Suppose -3*n = -25 - j. Solve 0 = -4*u - 9*d + 4*d + n, d = 0 for u.
3
Let x = 24 + -19. Suppose 5*h + x*m - 27 = m, -m - 12 = -5*h. Solve z - 5 = c, h*z - 4 = -z for c.
-4
Let s(m) be the second derivative of -m**5/20 - 5*m**4/3 + 11*m**3/3 + 13*m**2 + 14*m. Let d be s(-21). Solve 0 - 1 = 5*w + 4*n, 3*n - 3 = -d*w for w.
3
Suppose 5*o = -2*f + 88, -o + 19 = -2*f + f. Solve -5*c + a - o = -4, -4*a = -2*c - 20 for c.
-2
Let r = 49 + -29. Let j(b) = -4*b**2 + 2*b + 2. Let d be j(-3). Let i be ((-8)/r)/(2/d). Solve m - i = -s - 2*m, -s = -m for s.
2
Let y be 12/1 - (-1 + 10). Solve -4*i - 4 