5*l + 19, 0 = -2*l + r + o - x for l.
4
Let w(c) = c**2 - 68*c - 1142. Let p be w(82). Solve 0 = -4*b + 5*a + p, 4*b + b + 4*a = 28 for b.
4
Suppose f + 30 = -2*f. Suppose a - 83 = -2*h, -3*h - 40 = -4*h - 2*a. Let n be h/(25/f - -4). Solve -o - 4*k = -4*o + n, k + 4 = 0 for o.
4
Let u(l) = -l**3 - 9*l**2 - 16*l - 12. Suppose -3*i + g - 25 = 0, 32*i = 33*i + 5*g - 13. Let s be u(i). Solve m - s*p - 4 = 0, 2 = 3*m + p + 4 for m.
0
Let d(g) = -2*g - 10. Suppose 3*j = w - 38, 3*j = w + w - 85. Let c = -54 + w. Let o be d(c). Solve -15 = 5*t, o*q = -q - 5*t + 10 for q.
5
Let x(o) be the second derivative of -7*o**4/6 + 44*o**3/3 - 5*o**2 + 37*o + 2. Let u be x(6). Solve -m - 5*t = -0*m - 21, u = 2*m + 3*t for m.
1
Suppose 0 = -4*p + 5*z - 850, -10*p + 4*z - 207 = -9*p. Let f be (129/p)/((-2)/10). Solve -n + w = -f, 16 = 4*n - 0*n - 2*w for n.
5
Suppose -3*m - 3 + 0 = h, -4*h = -5*m - 22. Suppose -2*d = 5*w - 10, w - d = h*d + 24. Solve 4*x - 17 = 3*l, 19 = -4*l + w*x + 3 for l.
1
Let n(c) = c**3 + 26*c**2 + 50*c - 432. Let y be n(-23). Solve -4*f + 4*k = 36, 0*k + 2*k - 33 = y*f for f.
-5
Suppose 9*i - 3*r - 55 = 4*i, r - 5 = 0. Let j(q) = 4*q**2 - 132*q + 924. Let c be j(10). Solve 2*d + 4*o - i = 0, c*o - 2 = -3*d + 5*d for d.
3
Suppose -5*z = -3*m - 16, 5*z + 16*m - 20 = 21*m. Solve 19 = r - 5*b, -4*b - 14 = -0*r - z*r for r.
-1
Let f(x) = 38*x - 129. Let m be f(10). Let j = 251 - m. Solve z + 4*z - 2*h - 23 = j, 5*h = 5 for z.
5
Let u(x) = x**2 - 2*x + 2. Let s be u(0). Suppose -4*p + 16 = -0*p, 0 = r + s*p - 10. Let d be 9/3*1 + r. Solve b = 2*j - 4, 7 = d*j - 2*b + b for j.
1
Let n be 0*(-4 - ((-25)/(-5) - 10)). Suppose 5*j + 4*q - 93 = n, j - 4*q - 8 = 1. Solve -5*d - j = 2*f - 1, -3*d - 14 = -f for f.
2
Let n(a) = a - 3. Let w(k) = -18*k - 81. Let c(j) = 3*n(j) - w(j). Let m be c(-3). Solve -s + q - m = 4*q, -8 = 4*q for s.
-3
Let q = -193 - -194. Let k be (-6)/q*(4 + 81/(-18)). Let g = 9 + 0. Solve 0 = -k*p - g, a + p = -0*p - 3 for a.
0
Let n = -3879 - -3883. Solve 0 = -5*q + w + 20, 3*q = -w - 0*w + n for q.
3
Let g(l) = l**3 + 16*l**2 - 18*l - 2. Let z be g(-17). Let c = z - 11. Let h = -74 - -74. Solve c*k - 5*i - 9 = h, 0 = 4*k - 5*i + 2*i + 1 for k.
-4
Suppose 5*r + 53 = -27. Let i be (20/r)/((-1)/8). Let j(b) = 154*b + 2928. Let k be j(-19). Solve -a + z = -z, -k*z = 4*a + i for a.
-2
Let u be (-12)/(-4)*140/(-3). Let w be ((-288)/u)/(-4)*5*42. Let y = w - -108. Solve -15 = -b - 5*f, -3*b + 2*f - 4*f - 7 = y for b.
-5
Let g be (-8)/(-28) - 0 - 300/21. Let u(f) = 15*f + 210. Let j be u(g). Solve -5*r = -0*r + d - 15, j = 5*r - d - 5 for r.
2
Suppose 345*m - 344*m = -5*b + 9, 4*m - 4 = -4*b. Solve -b*p = -4*a - 6, 1 + 0 = p - 4*a for p.
5
Let m(x) = -16*x - 123. Let r be m(-8). Solve 5*q + 3*n = r*n + 13, -4*q = -n - 11 for q.
3
Let h(f) = 47*f - 5109. Let r be h(109). Solve 3*i + 11*b = r*b + 9, 3*b = 6 for i.
5
Suppose 0 = -11802*h + 11803*h - 3. Solve -10 = -2*s, 0 = -5*b + 6*b - h*s + 21 for b.
-6
Let i = 139 + -126. Suppose -4*m = i*m - 34. Solve 0 = -m*p + 3*n - 22, n - 14 = -2*p + 4*p for p.
-5
Suppose 12*f = 17*f - 5. Suppose -2*z = f - 5. Solve z*q = -i - 9, q + 2*i + 13 = -2*q for q.
-5
Let m(r) = -5*r + 5. Suppose 0 = -178*n + 170*n. Let u be m(n). Solve 3*c - u*k - 30 = 0, -2*c + 1 = -0*k + 3*k for c.
5
Let b = -409 + 232. Let f = -174 - b. Solve -g - 3*m + 24 = m, 3*g - 3*m + f = 0 for g.
4
Suppose -y - 3 = 31*y - 3. Solve y = -4*p + 3*d - 3, -13*d = p - 8*d - 28 for p.
3
Let d(w) = -3*w**3 - 113*w**2 + 56*w + 688. Let f be d(-38). Suppose 15 = 5*j - 2*x - 3*x, -j + 5*x = -7. Solve -f = j*y, 2*y + 2 = 2*r - 2 for r.
0
Suppose 4*s + 4*l - 62 + 6 = 0, 4*s = 4*l + 56. Suppose -3*c + 0*c + 5 = 2*a, 2*c - 3*a = -s. Let u be 7 - 3 - (2 - c). Solve u = b, -4*j + 14 = -5*b - 1 for j.
5
Let u = 97 - 179. Let g = u + 82. Suppose g = -l + 1 + 5. Solve 4*d + 2*q - 4*q = l, -3*d + q = -6 for d.
3
Let t(k) = -7*k**2 - 5*k - 7. Let i be t(-2). Let m be (-2856)/(-700) + 2/i. Solve -3*p - 11 - 6 = -m*d, 0 = p - 1 for d.
5
Let v be 86/((-4)/(-14) - 220/280). Let h = v - -172. Solve 3*u + 12 = h, -6*n - 4*u - 32 = -2*n for n.
-4
Let w = -274 - -300. Suppose 4*u + 2*r = 26, 2*u - 4*r = -w + 14. Solve a + 7 = l - 0*a, 0 = 3*l + u*a for l.
4
Suppose -24*r + 29*r - 30 = 0. Let v be (3/(-2))/(3/r) + -1. Let f be v*4/(-16) - -2. Solve f*q = -2*k - 8, -4*q = -k + 3*k + 8 for k.
-4
Let g = 1242 + -1235. Solve -n = 28*u - 30*u + 2, 4*n - g = 3*u for u.
3
Let i = -2169 + 2176. Solve 4*n = -3*g + i, 3*g - 2*n = -n - 13 for g.
-3
Suppose 4*v - 4*j = 28, 3*v - 5*j = 25 + 2. Let m be (0 - -3*(-3 + v))*1. Solve 4*t = -m*p - 2, t - 2 = 2*p - 8 for t.
-2
Suppose 0 = -k + r + 23, -k = 4*k - 4*r - 109. Solve -5*m - k = -4*j, -4*j + 0*m - 2*m = -10 for j.
3
Suppose 59*o - 80 = 215. Suppose -84 = -5*y - 2*i + i, y = -4*i + 32. Let v be 1*y*4/8. Solve 6 = -2*z - c, -v = 2*z - o*c - 26 for z.
-1
Suppose -289*m - 108 = -325*m. Solve 2 = h, 3*h - 1 = m*s + 17 for s.
-4
Let l = 43 - -157. Let c = 217 - l. Solve -c = -4*s + 3*t, 2 = -2*s - 0*s - 2*t for s.
2
Suppose -8*q + 43 - 251 = 0. Let y be -1 - q/39*(-6)/(-4). Suppose -23 = -5*b - 4*n, -7 + 18 = b + 4*n. Solve 3*a - 6 = y, 3*i - a = b*a - 5 for i.
1
Let k = -33716 + 33721. Solve -4*d - 32 = -k*q, 12*q - 29 = 7*q + 3*d for q.
4
Suppose -139*r + 35 = -134*r, -3*r - 9 = -5*v. Solve -3*c = -v*l + 45, 0 = -2*c - 6*l + 4*l for c.
-5
Suppose -87*w - 2628 = -91*w. Let a = 657 - w. Solve -8 = -y + 5*x, 4*y + a*x + 5*x - 7 = 0 for y.
3
Let z = 37 - 34. Suppose -392 = -11*a - z*a. Solve 3*k - 3*x - 1 = -5*x, 0 = k - 5*x + a for k.
-3
Suppose 0 = -f + 244 - 244. Suppose -3*g = -4*n + 3, -3*n + g + 6 = -f*n. Solve -u + n = -2*s + 2, -4 = 5*s - 3*u for s.
1
Let b = 7 - -11. Let l(r) = r**2 + 11*r - 8. Let k be l(-12). Suppose 2*c = y - 3*y + 10, -2*y = k*c - b. Solve 4*p + 5*t = -21, 21 = c*p - 5*t - 8 for p.
1
Let j be -132*((-8)/6)/4. Let p = -35 + j. Suppose -14*z = -p*z. Solve z = -4*w + u - 4*u - 1, 0 = w - 4*u + 5 for w.
-1
Let x(b) = b**2 - 14*b - 166. Let d be x(22). Solve 3*f + 5*l = -2*f + d, -4*f + 4 = 2*l for f.
0
Let g be -9 + -30*6/(-21) + 3/7. Solve g = 4*v - 3*h + 1 + 21, 28 = -5*v + 4*h for v.
-4
Let r = 112 + -109. Let q be 12/36*6/2*r. Solve 5*h = 3*c + 15, -2*h = -3*h + c + q for h.
3
Let f(s) = -3*s - 4. Let u be f(-4). Let v = -93 + 112. Suppose v*w - 5*w = 28. Solve u = -w*h, -t + h + 8 = -2*h for t.
-4
Let g = -7586 - -7589. Solve 5*u = 3*i - 15, u = 3*i - g - 12 for u.
0
Let j(s) = -53*s + 64. Let k be j(1). Suppose 2*t = -3*t + 20. Solve 0 = -4*x + t*o - 16, -1 = x - 3*o + k for x.
0
Let n be (-6 - 40/(-6))*(355 + -1). Let c = -231 + n. Solve o - c*h = -27, -2*o - 29 = -8*h + 3*h for o.
-2
Suppose 2*h - 5 = -3*h, -4*h - 4 = 2*m. Let w(j) = -6*j**2 - 26*j - 5. Let r be w(m). Solve -2*b = k - 2*k + 7, 3*b + 18 = r*k for b.
-1
Suppose -232 = -7*s - 71. Let i be -2*(-30)/24*2. Solve 5*w = -0*w + c + s, i*c = -15 for w.
4
Let d be (12 - 0)/2*1. Let n(x) = x**2 + 281*x - 46563. Let j be n(117). Solve -d = 3*h + t + 2*t, 0 = 3*h - j*t + 24 for h.
-5
Suppose 0 = -0*n + n - 5. Let j = 1173 - 1169. Solve -5*t + 10 = c, -j*t = -n*t + 2 for c.
0
Suppose 0 = -4*v - 20 + 36. Suppose 2*m - 12 = -v*c, m - 12 = -7*c + 2*c. Solve 4 = d, -4*d = c*b + 2*b - 12 for b.
-1
Let b be 6/72 - 5848/(-96). Suppose 4 = 2*x - x. Suppose x*h - 73 = -b. Solve -h*u = 3*j - 9, 2*u - 5 = -3*j - 0 for u.
4
Let w be 17 + (4 - (27 - 10)). Solve -5*x + 9 = w*c, -2*x - 28 = 3*c - 26 for c.
-4
Let j = 251 + -243. Suppose 0 = -r + 3*p + j, r + 3*r = 4*p + 24. Solve 0 = 4*a + 4, -4*i = r*a + 9 for i.
-1
Let k be 71/9 - ((-64)/416 + (-10)/(-234)). Solve -2*g + k = -2*f, 2*g + 2 = -4*f + 4 for g.
3
Let q = 55 - 22. Let f = q - 30. Suppose -23 = -2*v - f*s, 2*s - 28 = -2*v - 2*s. Solve 0 = -0*p - p - 4*z, -v*p = -5*z + 21 for p.
-4
Let h(n) = -n**3 + n**2 - 4. Let i be h(2). Let g be (-369)/(-164) - (-2)/i. Solve -2*s + 0 = -g*j + 4, 3*s = -2*j + 14 for s.
2
Let i(s) = 6*s**3 - 4*s**2 + s + 2. Suppose 4*w + 5 = -3*a, 5*w - a - 4 = 4*w. Let n be i(w). Solve -v - v - 5*c = -9, -4*v + 3*c = -n for v.
2
Let p = 105 + -105. Let r(b) = -b**3 + 5*b + 4. Let c be r(p). Solve 0*j = 2*y + 2*j - 8, 3*j + c = y for y.
4
Let p = -1647 + 1651. Solve 4*c