z*y - f*y - b, -4*b + 28 = 4*y for y.
2
Let c(o) = o**2 - 4*o - 3. Let z be (15/2)/3*4. Suppose -4*k + 2*k = -z. Let j be c(k). Solve v + i + 12 = j, 0 = 4*v - 2*i + 10 for v.
-5
Let s(d) = d**2 + 2*d - 20. Let g = 3 + -9. Let r be s(g). Solve -b = -0*b + r*l + 15, -5*b + 3*l + 17 = 0 for b.
1
Let a be (3/(-1) - -3 - 1)*-5. Let g(c) = -2*c + 14. Let h be g(a). Solve 2*u - 3 = -2*p + 3*p, -h*u - 3*p = -1 for u.
1
Suppose -2*z = -w + 12, -7 - 7 = -2*w + 2*z. Solve 0*q = -4*q + r - 21, 0 = -q - 3*r - w for q.
-5
Suppose -31*d = 17*d - 96. Solve 0*n + d*m = -5*n - 8, -3*n - 5*m - 1 = 0 for n.
-2
Let l be 141/47*2/3. Solve 0 = l*x + t - 10, 2 - 12 = -2*x - 2*t for x.
5
Let v(k) be the third derivative of k**4/24 - 2*k**3 - 10*k**2. Let i be v(12). Suppose -4*m + 2*m + 2 = i. Solve -m = x + 3*l - 3, 3*l + 23 = 4*x for x.
5
Let k(z) = -z + 18. Let h be k(15). Let f be -1 + 21*h/9. Suppose f*l + 5 - 29 = 0. Solve 2*r + 5*q - l - 8 = 0, r - 3 = -q for r.
1
Let i(a) = -a**2 + a + 6. Let o be i(-2). Solve 4*x + v - 9 - 12 = o, -4*x - 9 = -5*v for x.
4
Let v be (2/6)/(-2 - (-13)/6). Solve -2*q + 4*r = -q - v, -4*r = -2*q + 4 for q.
2
Suppose z = -5 + 13. Suppose v - 59 + 3 = 0. Let w = v - 46. Solve 3*l - 2*a = -2*l + w, 4*l - z = -4*a for l.
2
Suppose z + 4 = 0, -4*x = -2*x + 3*z + 34. Let b be (-2)/4 - x/2. Let j(v) = -v**2 + 5*v + 5. Let i be j(b). Solve 3*n - 13 = 2*r, -1 = i*r - 6 for n.
5
Let k = -8 - -7. Let q(i) = i + 4. Let w be q(k). Solve -w = m + b - 0*b, 0 = 2*m - 2*b - 10 for m.
1
Suppose -f = y - 24, 13 = 2*f - y - 29. Suppose -25 = -25*l + 75. Solve i = -2*x + 6*x - 23, 2*x = l*i + f for i.
-3
Let u(k) be the third derivative of k**5/60 - 5*k**4/12 - 29*k**3/6 + 28*k**2. Let x be u(13). Solve 2*b + 5*m + 22 = b, -x = 2*m for b.
3
Let n(k) = -3*k**2 - 65*k - 39. Let r be n(-21). Solve -5*p + 26 = -r*x, -3*x + 6*x = -6 for p.
4
Suppose 9*p - p = 88. Solve u + 14 = 4*n, -1 = 5*n - 5*u - p for n.
4
Suppose 5*c - d + 6*d = 50, 0 = -3*c - 4*d + 31. Suppose 7*a - c*a = -54. Solve 2*t + 8 = 3*b, -5*b = t - a + 5 for b.
4
Let c(t) = -t + 2. Suppose 0 = -0*n - n + 24. Let j be (32/n)/((-4)/42). Let u be c(j). Solve 0 = 4*k - u, -4*s + k = 8 for s.
-1
Let h be (-4)/16 - 13/(-4). Suppose 5*r + 46 + 126 = -f, 0 = -3*r + h*f - 96. Let i = -18 - r. Solve -3*k + 1 = 5*c - 3, -i = 4*k - 4*c for k.
-2
Suppose 3*v = -3*v + 24. Suppose -a = -4*t + 7, -3*a = -v*t - 6*a + 11. Let d(w) = -4*w - 2. Let z be d(-2). Solve 8 = -k + z*k - 2*j, 8 = k - t*j for k.
0
Let g be (12/10)/(-6*(-1)/20). Suppose 0 = d - 4*d + 5*a + 40, -g*d + 5*a = -45. Solve 0*u - j = u, d*u = j + 24 for u.
4
Let n(y) = 5*y - 1. Let z(g) = 21*g - 10. Let i(p) = 4*n(p) - z(p). Let o = -7 + 11. Let t be i(o). Solve 0 = t*a - 5*r, -r = -4*a + 4*r + 10 for a.
5
Let n be -2 - (1 - 0) - -8*2. Suppose -72 = 9*i - n*i. Solve 0 = 4*r - 7*r - 3*q - i, -2*r - 13 = 3*q for r.
-5
Suppose 3*b - 5*y = 14, -2*b + 5*y + 6 + 5 = 0. Suppose -4*r + 8 = l - 9, 0 = 4*r + b*l - 11. Solve 6*j - 2*j - 15 = 3*m, 2*m = j - r for j.
3
Let x be 1/(-1) - (6 + -1). Let z = -1 - x. Suppose -z*y = -2*y. Solve y = -2*h - 2*f - 1 - 1, -4 = f for h.
3
Let t = 533 - 530. Let n(i) = 2*i**2 + 3 + 0 - i**2 + 2*i - i. Let y be n(0). Solve -p - 8 = t*p, 0 = -4*j + y*p + 10 for j.
1
Let l = 20 - 18. Suppose -5*p + 32 = -3*y, -l*y - 31 = -4*p - 7. Suppose 6*u - u + p*r = 25, 0 = -3*r. Solve -c - 2*a - 5 = 0, 5*c = -u*a + 5 - 30 for c.
-5
Let a(p) = 8*p**2 + 66*p + 21. Let i be a(-8). Solve 2*k + 7 - 19 = i*v, -2*v - 4 = 0 for k.
1
Let v be -4 + (4 - (1 + -1)). Suppose 5*r + 22 = 3*m, 3*m + 3*r - 2 - 4 = 0. Suppose 2*t + m*t - 114 = v. Solve 2*b + 25 = 4*u + 5*b, 0 = 4*u + b - t for u.
4
Suppose 7 = 4*j - 5*r, 13*r = 8*r + 5. Solve -m + 2*c = -c + j, -m = 2*c + 3 for m.
-3
Suppose -86 + 64 = -11*y. Solve 5*w = y*q + 11, -5*q - 10 = 3*w + 2*w for w.
1
Suppose -3*v - 144 = -399. Let c be (v/25 + -1)/((-3)/(-10)). Solve 2 = 3*j + 3*r + c, 8 = j - r for j.
3
Let v = -256 + 256. Let m be (-22)/4*(-6)/1. Suppose v = -2*s + 5*o + m, o + 9 = s - 0*s. Solve -4*t + 12 = s*h, -4*h - 2*t = -t - 12 for h.
3
Let i be 7/(7/4) - (1 - 6). Suppose -i*r = 9*r - 5*r. Solve 2*c = -2*u, 5*c - 5*u + 20 + 0 = r for c.
-2
Suppose -5*h + 50 + 15 = 0. Suppose -7*u = -h - 8. Solve -j - 4*t + 2*t = 0, 4*j - u*t = -11 for j.
-2
Let g be (-1)/(75/45*(-2)/30). Solve 6*m - 2*m + 4*v + 8 = 0, -2*m + 3*v - g = 0 for m.
-3
Suppose -24 = 31*s - 210. Solve 4*d - r = -12, -3*d + d = -4*r + s for d.
-3
Let h be (-1)/(-2)*((-20)/4 - -15). Suppose -h*l = 7 - 32. Let n be (-35)/(-4) + 2/8. Solve n = -5*c - l*s - 1, 12 = -3*c + 3*s for c.
-3
Suppose -4*b + 36 = 8*b. Solve 0 = b*p - 3*w + 9, 3*p + 2*w = 3 + 3 for p.
0
Suppose 4*n - 248 = -4*c, 2*n + 2*c - 184 = -n. Let t = 63 - n. Solve 4*q - 12 = t*s, -2*q - 2*s - 12 + 4 = 0 for q.
0
Suppose -5*t - 48 = -48. Solve -2*l + 16 = 4*g, 2*g - 4 = -3*l - t for l.
-2
Let o = -6 - -8. Solve 0 = o*u + 5*m + 6 - 1, -3*u - 3*m = -6 for u.
5
Let c = 143 + -138. Solve l = -b - c, -5*l - 9 = -4*l + 3*b for l.
-3
Let k = 175 + -172. Solve -2*o - 2*g - 15 = -k*o, -2*o = g - 5 for o.
5
Let j(i) = 7*i**3 - i**2 - i. Let r be j(1). Solve -m + 5 = -5*v, r*v + 2 + 23 = 5*m for m.
5
Let y be ((-352)/66)/((-4)/6). Solve -5*k - 6 = z, 5*z - z = -4*k - y for k.
-1
Let f = 188 - 104. Suppose -68 - f = 4*r. Let q = 53 + r. Solve 0*p + 5*l + 22 = -2*p, 3*p + 3*l + q = 0 for p.
-1
Suppose 9 + 3 = 12*o. Let a be ((-5)/10*(o - 1))/(-1). Solve -2*w - 4*h - 6 = a, h = -4*h for w.
-3
Let c = 621 - 617. Solve 5*g + 8 = -0*g - 3*s, -9 = c*g + 5*s for g.
-1
Suppose -109*i + 1274 = -18*i. Solve -5*r = 5*m - 2*r + i, -5 = 2*m + r for m.
-1
Let v = -11 - -16. Let f be (-9)/(v/((-30)/9)). Suppose 0 = -2*w - 3*m + 21, 3*w = f*m - 2*m - 11. Solve -5*y + 2*y - 5*h = 0, 0 = -5*y - w*h - 16 for y.
-5
Suppose -2*q = -0*q + 10, 5*q = 4*b - 101. Suppose -4*g + 29 = 4*s - 5*s, -s + b = 4*g. Solve a = -g + 1, 0 = h - a - 3 for h.
-2
Suppose -4*b - 135 = -y, -7 = -2*y - 1. Let j be (-4)/(-22) - 126/b. Suppose -3*f + j = -f - v, 4*f - 8 = 5*v. Solve -29 = 5*w + f*k, -22 - 2 = 4*w + 2*k for w.
-5
Suppose 0*o - 5*o = 5*a - 10, 4*o + 3*a - 8 = 0. Suppose -6*u - 7 = b - 4*u, -u = b + o. Solve 3 = y + b*w - 5, 5*y = w + 24 for y.
5
Let u(t) = -5*t**2 + 94*t + 21. Let r be u(19). Solve -11 = z + 5*w, -7*z + 2*z - r*w = 9 for z.
-1
Let k(z) = 2*z - 1. Let s be k(-2). Let v be 16/80 + 149*(-1)/s. Solve -2*p - 6*d = -4*d, -v = -3*p + 3*d for p.
5
Suppose -45*m - 2 = -46*m. Solve -5*n = 4*s - 1, 3*s = -m*n + 9 - 3 for n.
-3
Suppose -m + 2 = z, 6 = -5*z - 14. Solve -w = -4*o + 20, -4*o = -2*w + m*w for w.
-4
Let b = 4 - 2. Suppose -v = -15 - 49. Suppose 3*j = 2*q + 5*j - v, -54 = -b*q + 3*j. Solve 2*n + 5*a = -2*n + q, 4*n - 14 = 3*a for n.
5
Let g(l) = l**2 + 8*l + 6. Let y be g(-7). Let j be (-27)/(-18)*((-16)/6)/(-1). Let i = y + j. Solve -a - 4*a = i*m - 6, -a + 3 = 0 for m.
-3
Let f(q) = q**3 + 13*q**2 + 11*q - 9. Let m be f(-12). Solve -32 = -4*d - m*h, 2*h + 13 - 1 = 4*d for d.
5
Suppose 10*p - 18 = 2. Solve -4*u + p*j + 12 = -0*u, -2 = -2*u + 3*j for u.
4
Suppose 9*s = 115 + 2. Suppose -8*j - 25 = -s*j. Solve -2*x + 22 = -4*w, -5*x + 0*x - 5 = j*w for x.
3
Suppose 2 = 87*x - 85*x. Solve -j + 1 = -2*t, -4*j + 18 = 5*t + x for j.
3
Let o be (16/12)/((-8)/(-6)) + 3. Solve -o*a = 2*c - 4, -4*c + 2*a = 17 + 5 for c.
-4
Let z be (-7)/(63/(-12)) - (-4)/(-3). Solve g + 4*t + z = 7, -g - 3*t + 5 = 0 for g.
-1
Let d(z) = z**3 + z**2 - 3*z + 8. Let u be d(0). Solve -2*m = 2*k - u, m - 4*k - 7 - 2 = 0 for m.
5
Suppose -2*w - 2 + 10 = 0. Let q be w/14 + 12/(-42). Suppose -2*r - 2*r + 4 = q. Solve r = -0*o - o + 2*u, -1 = o - u for o.
-1
Let s = 104 + -100. Let x be 2/(-12) + (-7)/(-6). Solve o - 4 = -3*c - x, -5*o + s*c + 15 = 0 for o.
3
Let y(n) = -10*n + 13*n - 13*n - 47. Let u be y(-5). Solve u*j - 5*s - 3 = -10, 5*j + 16 = 4*s for j.
-4
Suppose 6*q = 32 - 14. Solve 2*u = -5*n - 19, -2*u - q*n - 4 = -n for u.
3
Let n(v) = -v**3 - 7*v**2 + 7*v - 4. Let c be n(-8). Suppose -6*g = -g. Solve -c*d - 11 = -x, x - 5 + g = d for x.
3
Let m = 129 - 126. Solve -m*c - 5*k = -k + 23, -17 = 2*c + 3*k for c.
-1
Let c(y) = -y**3 - 21*y**2 + 21*y - 22. Let l(d) = 22*d**3 - 2*d - 2. Let t be l(-1). Let k be