*s + a for s.
4
Suppose -26*m + 28*m - 10 = 0. Solve m = -2*f - 2*b + 3, -3*f + 3*b + 27 = 0 for f.
4
Suppose 12*h - 17*h + 25 = 0. Suppose -5*u + 11 = -4*s + 2*s, -5 = -5*u. Let f be ((-50)/s)/(18/27). Solve -h*l = -5*n + f, -3*l + n - 1 = -4*l for l.
-2
Let x(s) = -s**3 + 16*s + 4. Let r be x(4). Solve -w + j - 6 = -0*j, -w - 9 = -r*j for w.
-5
Suppose -2*b + z - 110 = 0, 0 = -3*z + 4 - 10. Let v = b - -69. Solve -2*t = -5*g + 14, -4*t - 4*g - v = -41 for t.
3
Let a(f) be the third derivative of f**6/120 - f**5/60 + f**4/24 + f**3/2 - 11*f**2. Let m be a(0). Solve 5*r + 5*b - 10 = 0, -8 = -5*r + m*b + 2 for r.
2
Suppose 4*y - 87 = -55. Suppose 0 = -a + 12 - y. Solve 0 = 5*c + a*m + 8, -2 + 0 = -3*c + m for c.
0
Suppose 0 = 2*v + l - 3, 5*v + 0*l = 3*l + 24. Solve 4*q + 1 = 4*m - 23, -2*q = v*m + 2 for m.
2
Suppose 0 = k - 2 - 3, u + 2*k = 12. Suppose -7*s + 5*s = -16. Solve -5*o + s = -3*d + u*d, -o = 4*d - 10 for d.
2
Let u = 13 + -1. Let p = u - 7. Let h be (21/(-14) - (-5 - -3))*0. Solve h = p*i - 5, -2*o + o - 4*i + 2 = 0 for o.
-2
Suppose -4*d - 3*s + 30 = 0, -3*d = -7*d + 4*s + 16. Solve 5*a = 4*r + r, 2*a = 5*r + d for a.
-2
Suppose -1 - 5 = -6*d. Suppose -3*q - 1 = -5*s, 5 - d = 2*s. Solve -3*b = 5*l + 29, l = 4*l - 3*b + q for l.
-4
Let t = 2129 - 2129. Let w(p) = -p**2 + 6*p - 5. Let x be w(5). Solve -q - 1 = x, -3*b - 4*q = 13 - t for b.
-3
Let a(x) = 2*x**2 - 5*x + 5. Let g be a(5). Let w = g + -22. Suppose 24 = 2*s - w. Solve -4*c + s = -k, -3*c + 12 + 5 = -2*k for c.
3
Suppose -62*v + 256 = -46*v. Solve -2*x - 16 = 3*s, 5*x = -2*s + x - v for s.
-4
Let z be (72/27 + (-1)/3)*-9. Let d(i) = -3*i - 1. Let s be d(4). Let u = s - z. Solve 2*q = u, 2*t - 2 = 2*q - 0 for t.
5
Suppose -10*w = -20*w + 120. Solve 4*p = -0*v - v - w, p = -v for p.
-4
Let j = 2176 - 2168. Solve -5*a = 3*i - 11, 10*i - j*i - 2 = 2*a for a.
1
Let q = 44 - 7. Let y = -35 + q. Solve -10 = 5*z - y*n + 3, -4*n + 20 = -4*z for z.
-1
Let f(c) = -c**3 + 6*c**2 - 10*c + 214. Let d be f(8). Solve 3*b - 10 = 2*o + d, 0 = -o - 2 for b.
4
Suppose -48 = -q - 2*q. Suppose -f = -q - 1. Let d = 532 - 525. Solve 0 = 2*p - d + f, -4*t - 3 = 3*p for t.
3
Suppose -43*d = -47*d + 68. Solve o + d = 4*m, 0 = -0*m - m - 5*o - 1 for m.
4
Suppose 3*g + 29 = 4*j, 0 = 4*g - 14 + 26. Solve -j*t - 15 = 0, 0*v - v - 10 = 4*t for v.
2
Let z = -10 + 30. Let o = -6 + 11. Suppose 4*i = 4*s - z, -o*i - 5 = 3*s + 4. Solve 0 = s*h + 2*h - 12, -5 = 2*b - 3*h for b.
2
Suppose -3*l = -2*l + 6. Let q be (l/(-21))/((-12)/(-168)). Solve -q*f + 8 = -x, -2*x = -5*f + 7 + 6 for f.
1
Let y(r) = r**3 - 6*r**2 + r - 5. Let l be y(6). Suppose -147 - 18 = -15*p. Solve -4*q = -3*c + 2 + p, 3*c = q + l for c.
-1
Suppose 4*u = -2*a + 16, -4*a = 2*u - 68 + 60. Solve -14 = -0*d + 2*d + 2*z, 3*d - 5*z + 5 = a for d.
-5
Let c be 5*1/(4 + -3). Let z = -121 + 146. Solve c*w - 7 = -3*f - 0, 0 = -5*w + 5*f - z for w.
-1
Let s = 92 + -31. Let f = -55 + s. Solve 0 = -t + 2*t, -2*i + t = -f for i.
3
Suppose -6*g + 3*g + 201 = 0. Suppose 2*z = -7 + g. Solve 2*h - 3*h - 4*q + 23 = 0, z = 5*h + 3*q for h.
3
Let t be 19/(475/565) - (-4)/10. Solve -4*x = f - t, 0 = 5*x - 32 + 7 for f.
3
Let w be (-6)/4*(-42)/7. Suppose -6*u + 45 = -2*u - 3*i, 0 = 2*u - 5*i - 19. Solve 4*b = -q + 8, w = -3*q + 3*b - u for q.
-4
Let y = -647 + 647. Solve -w + 10 = 5*m, -4*w - m = -y*w + 17 for w.
-5
Let o = -16 + 53. Let t = 18 - o. Let j = 22 + t. Solve -d + 6*d - 3 = -j*w, 5*d + 5 = 5*w for d.
0
Let j = 106 + -126. Let t be (-3)/12 - 425/j. Solve -3*k = 3*n - t, 2*k - 17 = -n - 8 for k.
2
Suppose -20 = 5*l, 0 = c + 5*l + 18 - 1. Solve -5*m - 23 = -w + 3*w, -9 = c*m for w.
-4
Let i be (1 + -1)/(14/7). Solve -5*t + 6*a - a - 5 = i, 0 = -5*t - 3*a + 27 for t.
3
Let c be (-20)/3 - (-5)/(-15). Let y = c - -3. Let z be (-33)/2*y/3. Solve -16 = u + 4*p - 3, 4*u + z = -p for u.
-5
Let c be 27/6*((-16)/6)/(-1). Suppose -12 = -w - c. Solve -4*h = 5*i - 30, -i - 2*h + 3*h - 3 = w for i.
2
Let r be 17 - 13 - (16 - 1). Let x = -11 - r. Solve w = -4*s - 14, x*s - 3*s - 18 = -3*w for s.
-4
Let v be ((-4)/14 - (-8)/28) + 19. Let t(h) = h - 3 + h**2 + 2*h + 6. Let w be t(-4). Solve z + 2*k = w*k + v, -5*z = -5*k - 35 for z.
4
Let w(q) = 2*q - q + 4 + 0*q. Let j(l) = 3*l + 7. Let u(s) = 4*j(s) - 9*w(s). Let k be u(4). Solve -4*m - 4*g - k = 12, 3*g + 12 = 0 for m.
0
Suppose -3 = 2*o - o. Let j be (-16)/24 - ((-4)/o)/(-2). Solve 5*l = j, -6*l + 2 = b - 3*l for b.
2
Let c = 10 - 6. Let l be (-7)/((-42)/18) + (0 - -1). Solve j - 7 = -l*d + 1, -4*d = -2*j + c for j.
4
Let c(t) = 25*t**2 + 1. Let k be c(-1). Suppose -b + 4*b + 5*r = 38, -3*b + k = 2*r. Let p be (-3)/(-6) - b/(-4). Solve -p*y - 9 - 9 = 4*l, 0 = 4*l + 8 for y.
-5
Let j(z) = z + 1. Let f(r) = 7*r + 2. Let l = -17 + 12. Let c(n) = l*j(n) + f(n). Let h be c(13). Solve 4*o + h + 9 = -4*b, -28 = o + 5*b for o.
-3
Suppose 0 = 5*m - 122 - 38. Suppose -27*i - 15 = -m*i. Solve 4*n - 5*t = i*n + 7, -4*n - 5*t = -3 for n.
2
Suppose 2*y - o = -0*y + 1, 0 = -2*y - o + 7. Solve 5*t = -y*p + 19, 0 = 3*t + p - 3*p - 21 for t.
5
Let z be (-3 - (-4 - 0)) + 0 + 11. Suppose 2*w + 5*k + 23 = 0, 3*w - 5*k + 39 = -33. Let i = -16 - w. Solve -7 = -i*y + 5*u, 0 = -5*y + y + 4*u + z for y.
4
Let i be (3 - -2)/((-1)/(-3)). Let s = i - 4. Let c be 2/(-12) + 39*9/162. Solve -u = -2*b - 0*b + 7, 0 = -c*u + 3*b - s for u.
-1
Suppose -211 = -4*o - h, 0 = 5*o - 4*h - 111 - 137. Suppose 5*c - 77 = -o. Solve 5*s - 25 = 3*m, -m + 2*s = -c*m + 10 for m.
0
Suppose -5*n + 4*y = -1 + 3, 18 = 3*n + 4*y. Solve 0 = -4*p - 0*p - 4*w - 12, -10 = 2*p - n*w for p.
-4
Suppose 0 = -0*x + 6*x + 198. Suppose 5*s - s + 52 = 4*u, 0 = -4*s - 3*u - 66. Let w be s*(x/9 - -3). Solve -4 - w = -2*p - b, 4*b = -4*p + 36 for p.
5
Let j(y) = -5*y + 6. Let x be j(3). Let f be (7 + x)/(1*(-2)/4). Solve 5*z + 2*a - 20 = 0, f*a = 2*z + 2*z - 16 for z.
4
Let b(q) = 4*q**2 + 28*q + 4. Let v be b(-7). Suppose -5*d + 8 = 2*n - 0*n, -5*d + n = v. Solve -3*m - s = -8, d = 3*m - 5*s + 5 - 1 for m.
2
Let u(z) = 2 + 7*z - z**3 - 1 + 5*z**2 - 3. Let d = -113 + 119. Let g be u(d). Solve 0 = -r - 4*h + 8, g*r + 5*h = -0*r - 1 for r.
-4
Let l = -33 - -9. Let c be (-2)/12 + (-28)/l. Solve g = -c, -24 = -p - 3*p + 4*g for p.
5
Let l(f) = -f**3 - 23*f**2 - 23*f - 18. Let h = 19 + -41. Let r be l(h). Solve -5*w - r - 7 = -3*t, 5*w + 13 = 4*t for w.
-1
Let y(q) = q + 23. Let i be y(0). Suppose 4*m + 2*r - 79 = i, 3*m - 49 = 4*r. Let s = 32 - 30. Solve 4*o - 5*g = -m - 8, 0 = -4*o - s*g - 10 for o.
-4
Suppose -16 = 5*q - 46. Suppose q*z - 5 = 67. Solve z = -5*x + 4*b, -2*b + 1 = 3*x - 5 for x.
0
Let v(h) = -h**3 - 7*h**2 - 8*h - 9. Let t be v(-6). Let q = t + -5. Let x be (-1 + (7 - q))/1. Solve -7 = -z - l, 0*z + x = -z + 2*l for z.
2
Suppose 1 = -2*v + 9. Suppose 2*t - v*r - 40 = 14, -r + 72 = 4*t. Solve 3*i + 32 = -5*a, 4*i + 43 - t = -2*a for a.
-4
Suppose 0 = 4*l + 109 + 379. Let p = -106 - l. Solve 0 = -3*y - x + p, -5*x + 24 = 4 for y.
4
Suppose 18 + 6 = 2*c - 2*t, 32 = 3*c - 2*t. Solve -3*r + g = c, -3 - 7 = 4*r - g for r.
-2
Suppose 4*l + 5*h - 3 = 23, 4*h - 4 = l. Suppose l = 2*b + 2. Let z be (65/(-104))/(1/(-8)). Solve -z*x - b = -2*x - 2*m, 0 = 2*x - m for x.
1
Let a(m) = -m**3 + m**2 - 2*m - 32. Let y(v) = -v**2 + 1. Let l be y(1). Let r be a(l). Let n = r - -37. Solve 2*h = -d - 8, -n*d = -5*h - 7 + 2 for h.
-3
Let i(y) = y + 35. Let w be i(-30). Solve -4*l = 2*o - 0*o + 16, -w*l = o + 17 for o.
-2
Let i be 2/4*22*1. Let d be (-4)/(-5) + (-10)/(-50). Let x be 14 + -10 - (3 - d). Solve -4*t = -4*c + t - 19, 5*c = x*t - i for c.
-1
Let b be -2 - 16/6*6. Let l be 4 + 68/b - (-43)/9. Solve -v - 2 = a, -l*a + a - 32 = -4*v for v.
3
Suppose 6*o - 15*o + 171 = 0. Solve -5*y = -0*y + 3*i + o, 3*i = 4*y + 26 for y.
-5
Suppose 2*a + 2 = 6. Suppose -i = a*i - 93. Let x = 36 - i. Solve 4*t + 3 = -3*m - 2*m, 5 = x*m for t.
-2
Let z be ((-981)/(-36))/((-2)/(-8)). Suppose 5*m + 71 = 4*g - g, 5*g + m = z. Let i = g - 18. Solve -v - 3*s = -i, 3*v + 3 - 1 = -2*s for v.
-2
Let j = 1 + 7. Let i(k) = -5*k**2 + j - 3 + 4*k**2 - 11*k. Let w be i(-11). Solve -2*a - 23 = 5*m, w*m = 2*a + 3*a + 5 for m.
-3
Suppose -12*w + 33 = 9. Solve w*k + 3*y + 17 = 3*k, -3*k - 4*y = 14 for k.
2
Let r be 