, l*b + 6 = 3*m for b.
1
Let r(k) = k**2 - k - 1. Let f be r(3). Suppose 5*b + p - 166 = 3*p, 3*b - 5*p - 92 = 0. Let y = -24 + b. Solve 3*t = f*h + 5, t + 3 = -2*h - y for t.
-5
Let x = -114 + 116. Suppose -x*b = -5*r + 10, -5*r = 5*b - 2*b - 35. Solve 2*k + k - 5*n - 17 = 0, -5*n - b = 0 for k.
4
Let c(l) = l**2 - 21*l + 122. Let b be c(11). Solve 2*d + 1 = v, -2*d - 2*d - b = 0 for v.
-5
Suppose h = 2*h + 3. Let z be (-13)/h + (-14)/(-21). Solve -3 = -k - l - 1, 0 = l - z for k.
-3
Suppose -13 = 2*a - 7. Let s be ((-12)/a + -1 - -1)*1. Solve u = m + 6, -4*m - s*u = -0*u + 8 for m.
-4
Let x(g) = -3*g**2 + 2*g**2 + 0*g - 5 - 2*g. Let k be x(-5). Let j = k - -27. Solve j = 4*m - s, 25 = 6*m - m + 2*s for m.
3
Let m = 276 - 259. Solve 6*r = -4*i + 5*r + m, 0 = -5*i + 4*r + 16 for i.
4
Suppose 0 = -5*d - 3*w + 13, -2 - 3 = -5*d - 5*w. Solve 2*u = -0*u - d*j + 14, -2*u + 3*j - 18 = 0 for u.
-3
Suppose 2*z + 3*b = 13, 9*z - 2*b - 4 = 4*z. Solve -z*o = 5*u + 3*o - 15, 3*u = -4*o + 9 for u.
3
Let n be (0/(-2))/(5 + (2 - 5)). Suppose 0 = -5*x + f + 16, -x + 2 = f - n*f. Solve 0 = 4*y, 3*a + 4*y - 6 = x for a.
3
Let x(w) = 3*w + 12. Suppose -4*z + 6 = 18. Let j be x(z). Solve 5*l - 4*f - 36 = 0, -3*l + j*f + 2*f = -32 for l.
4
Suppose 171 + 57 = -4*b. Let i = 59 + b. Solve -i*f + 2 = q - 3*q, q + f - 5 = 0 for q.
2
Let q be (-26)/(-8) - (-2)/(-8). Let p be (-2 - 1)/((-1)/(-41)). Let n be 2/(-3) - p/9. Solve -d = 2*x - n, q*d = 5*x - 6 - 10 for d.
3
Let s(f) = -2*f**3 - 5*f**2 - 8*f. Let j be s(-2). Let r(h) = -h + 17. Let b be r(j). Solve 0 = -b*a + 10, 1 = -4*x - 4*a - 11 for x.
-5
Let d(m) = 9*m + 124. Let j be d(-12). Solve -4*u - 5*y - j = 0, -7*u + 13 = -2*u - 2*y for u.
1
Suppose -3*y + 10 = -8*y. Let z be y/3*261/6. Let t = z + 34. Solve 2 + 7 = -l + t*g, 2*l - 3*g = -11 for l.
-4
Let h be (16/24 + -4)/(1/(-3)). Suppose -h*n + 11*n = 0. Solve 2*m - 12 = 4*j, -2*m + 0*j + 5*j + 15 = n for m.
0
Let o(l) = -l**3 + 18*l**2 + 20*l - 20. Let w be o(19). Let k be 0/2 + w + 1. Solve -2*c + 2*v - 4 = k, -5*c + c + 2*v = 14 for c.
-5
Suppose -4*x = x, 20 = 5*g + 5*x. Solve 2*z + 11 = 5*f, -28 + 11 = -5*f + g*z for f.
1
Suppose 0 = -5*a + 5*d - 5, d - 13 = -0*a - 2*a. Solve -2*i + 2 = -h + 5*h, 0 = -a*i + 5*h + 30 for i.
5
Suppose -5*i + 4*v + 369 = 0, -4*i = -3*v - 26 - 269. Let g = -65 + i. Solve -4*j = -g*k + 3*k - 5, 5*k = -5 for j.
0
Suppose 4*s + 4 = 8*s. Solve -2*y - 1 = 3*w, -9 - s = -y - 5*w for y.
-5
Let v = -15 - -29. Suppose -17 = -5*n + 2*g, -3*n + 5*g + v = -0*g. Let d be 3 - ((-5 - 0) + 3). Solve -f - 3 = -n*f - 3*h, -d*f = 5*h - 10 for f.
3
Suppose 5*z = 454 + 356. Suppose -5*d = 22 - z. Suppose -4*j - d = -4*m, 2*m - 20 = 5*j - 0. Solve 41 = 4*x - 5*o, 3*o = -m*x + 3 + 2 for x.
4
Let u(s) = -4*s**3 - 88*s**2 + 4*s + 89. Let t be u(-22). Solve 5*o - 5 = -4*q, -q = -2*o + 3*o - t for q.
0
Let c = 1237 + -1232. Solve -t + 3*d = c*d + 1, -t + d + 2 = 0 for t.
1
Let w = -34 + 39. Solve 5*v - 27 + 9 = 2*h, -w*v - 10 = 5*h for h.
-4
Let t(x) = -x + x**3 - 1 + 5*x**2 - 2*x**2 + 0*x**3 + x**3. Let v be t(1). Suppose v*g - 12 = -g. Solve 5*l - g = -2*s, -4*l - s = s - 4 for l.
-1
Let n(i) be the second derivative of -i**5/20 - 17*i**4/12 + 3*i**3 + 3*i**2/2 - 3*i. Let b be n(-18). Solve d - 7 - 2 = b*c, 0 = d for c.
-3
Suppose -t = -4*l + 59, -3*t + 46 = -3*l + 88. Solve 0 = -0*y + 5*y - k + l, 2*k = 0 for y.
-3
Suppose 3*m - 12 = -2*p + m, -m = 2. Let n = p - 3. Solve 0 = n*g - g + f, -5*f = 5*g for g.
0
Let f be (-16)/6*(-2 + 5). Let w be ((-27)/(-12))/(3/f). Let u be (-2 - 16/(-12))*w. Solve 16 = 3*q + 2*m, -5*q - u = -5*m + 11 for q.
2
Suppose 26*f + 24 = 32*f. Solve 2*x - 8 = k, -x - 2*x + 12 = -f*k for k.
0
Suppose 108 - 87 = 7*y. Suppose 19 - 5 = c + 4*j, 0 = -2*c - 4*j + 28. Solve 0 = -3*l - h + 6 - c, -y*l - 12 = 3*h for l.
-2
Let w be 10/4 + 18/36. Let o be (12 - 1) + 2 + w + -4. Let p = 14 + -12. Solve 0 = -2*g - 5*b - o - p, -8 = -g + 5*b for g.
-2
Let l(t) = 5*t**2 + t - 1. Let c be l(-1). Let f be c - (-2 - 20/(-4)). Solve -2 = 2*h - 4*z, -4 = -f*h + h - 3*z for h.
5
Let l be 16 + (-4 - -4) - 5. Suppose -3*m + l = -2*m + k, -5*m = -3*k - 95. Solve 2*f = r - 9, 0*f - 4*f = m for r.
1
Let h(z) = 4 - 2 + z**2 + 0*z**2 + 2 + 8*z. Let k be h(-5). Let n = 11 + k. Solve n = -4*r + 3*m + 28, r - 3 - 9 = 2*m for r.
4
Let p(b) = -4*b**2 - 14*b - 6. Let v be p(-3). Solve 0 = -v*t + 4*t + 3*l - 35, 0 = -3*t + 4*l - 5 for t.
5
Let w = 20 - 15. Let v(f) = 6 + w + f + 10. Let z be v(-16). Solve -3*t - z*l = 24, -5*t + 4 - 22 = l for t.
-3
Let l(u) = -u + 15. Let f be l(13). Suppose -14*c = -11*c - 18. Solve -f*d - d = -3*b - c, 0 = 2*b - d + 2 for b.
0
Let w be 1 + 6 + (5 - 9). Let c = -1 + 3. Let t(j) = 6*j**2 - j. Let z be t(1). Solve c*h + h = -w, z*y + 26 = -h for y.
-5
Let a be 3/(9/12 + 0). Suppose -2*l = -7*l - q + 24, -l - 4*q = -1. Let x = 9 + -4. Solve -5*r + d + 4*d = x, -a*r + 23 = l*d for r.
2
Suppose 2*j + 156 = 8*j. Let s = j - 23. Let t be (4 - s)/(6 + -5). Solve -4*p = -0*u - 5*u + t, 2*p = -3*u + 5 for u.
1
Let o = 33 - 15. Suppose 0*q - 5*q + b - 8 = 0, 0 = 4*q - b + 7. Let a = o + q. Solve 4*l - 4*n + 10 = 30, l = 4*n + a for l.
1
Let s be -1 + (-6)/(7 + -4). Let i be 2 + (4 - (s - -7)). Solve 3*t - 3*k = 23 - i, 3*t = -5*k - 11 for t.
3
Let k be 3/(-6 - (-75)/12). Solve -3*g - a = 2*a + k, 5*a + 2 = 4*g for g.
-2
Let h(j) = 2*j**2 - 17*j - 3. Let t be h(7). Let n = t - -24. Solve 4*r = -n*a - 3*a - 14, 0 = -4*a - 2*r - 12 for a.
-2
Let v = 5 + 2. Let m(f) = f**3 - 3*f**2 - f + 1. Let a be m(4). Suppose a = 5*q - v. Solve -3*y + 4 + 9 = 2*w, 3*w = q*y - 6 for y.
3
Suppose -317*p - 21 = -318*p. Solve 4*n = -w - p, -14*w = -17*w + 5*n + 22 for w.
-1
Suppose 10*t = 6*t + 5*v + 28, 4*v = -16. Solve b - d = -b - 5, 0 = 2*d - t for b.
-2
Let m(b) = -b - 7. Let q be m(-15). Let z be q/(2 + -1 + 1). Solve 0 = 3*n + a - 1, 3*a = -z*n - 7 for n.
2
Let b = -69 + 17. Let k be 2/13 - (192/b)/2. Solve 4*i + o = -1, -10 + 2 = k*i - 2*o for i.
-1
Suppose -5*j - 2*m - 18 = 0, 3*j + 3*m + 6 = -3. Let a be j/(-2)*-1*45/(-30). Solve 5*c = 4*l + 35, -a*c + 5*l = 2*c - 40 for c.
3
Suppose -3*t + 5*c = 6, -3*c - 3 = -4*c. Let y be 1*(t/1 - (7 - 5)). Solve 2*h = -2*s + 12, s = 4*h + 2 - y for s.
5
Let n be (-4 - 0)/(22/11). Let t(u) = -2*u - 1. Let y be t(n). Suppose 0 = -4*a - 0*a - 4*c - 8, y*a = -4*c - 10. Solve a - 1 = 2*b - 3*w, w - 5 = 2*b for b.
-4
Let j(f) = -f**2 - 34*f + 40. Let n be j(-35). Solve d = -0*d - 5*u + n, -2*d - u + 10 = 0 for d.
5
Suppose 0 = -2*w + 3*g - 2*g + 41, -g = 5*w - 92. Let x(k) = 4*k - 46. Let d be x(w). Solve -c + 0*c + 3*y = -7, 2*c + 5*y + d = 0 for c.
-5
Let l(m) = -2*m**3 + 23*m**2 + 13*m + 12. Let o be 15 + (0 - (-5 + 8)). Let f be l(o). Solve -5*x + 2*x - f = -4*z, -2*z - 10 = 4*x for z.
3
Suppose 7*z - 23 = -16. Solve o + 3*h + 24 = -h, 0 = -o + h + z for o.
-4
Let o(v) = 3*v**2 + v - 3. Let y = -14 - -16. Let w be o(y). Let z = -1 + w. Solve 3*g + t - z = g, 0 = t for g.
5
Let t = 11 + -8. Solve j - 1 = -t*d, -2*d + 2*j = 3*d - 20 for d.
2
Let f(x) = x**2 + 1 - 7 + 1 - 5 + 11*x. Let z be f(-12). Solve 0*m = 2*y + 2*m - z, m - 5 = -3*y for y.
2
Let t be (-12)/18*(-9)/(-2). Let w = -14 - -9. Let f = t - w. Solve 5*i + f*h = 10, -i - 3*h = h - 2 for i.
2
Let u = 79 + -75. Solve 4*t = i - 4 - u, 0 = i for t.
-2
Let t(i) = i**2 - 6*i + 12. Let s(h) = -h + 9. Let y be s(4). Let p be t(y). Solve -p = 5*x - 4*v + 5, 0 = 5*v - 15 for x.
0
Let b = 36 + -29. Suppose -11*s = -b*s. Suppose 5*d + 8 = d, 3*h = -3*d + 6. Solve -4*x + h*p - 8 = p, -x - p - 9 = s for x.
-5
Let b be 9/(-63) - -422*(-5)/(-70). Solve 0 = -4*n - s - 24, -b = 4*n + 5*s + 10 for n.
-5
Let p(j) = -j**3 - 5*j**2 - 5*j - 1. Let i be p(-4). Suppose i*c = 5*c - 28. Let f be 8 - 6*(-2)/(-4). Solve 0 = -4*a + f*q + 24, 5*q + c = -a - 5 for a.
1
Suppose -77*k + 80*k - 396 = 0. Let g = 134 - k. Solve -5*n - g*y + y = -25, -3*n = -4*y + 8 for n.
4
Let h = 368 - 363. Solve 4*a - 16 = -h*f + 6, 3*f = a + 3 for f.
2
Let h be (5 - (-9)/(-9))*7. Let j be 42/8 + 1/(-4). Suppose j*p + 3 = h. Solve p*u - l + 5 = 4*u, 5*u = 3*l - 25 for u.
-5
Suppose -8*w = -3*w - 100. Let f be (-18)/81 - 38/(-9). Let k be (-1)/(((-16)/f)/20). Solve -j - 17 = 5*n - 3*j, k*j = -w fo