c = -4*l + 2*c - 26 for l.
-4
Suppose 73 = 5*i - 17. Let u be -2 - 7/((-21)/i). Solve 2*b + 4 = -b + u*m, 5*m = -5*b + 5 for b.
0
Let l(z) = 2*z**2 + 33*z + 21. Let m be l(-16). Solve -2*j = t, m*j + 22 = t + 2*t for j.
-2
Let i be 6/(-8)*(5 - 9). Suppose 4*p - 11 + i = 0. Suppose 6 = -2*n, 0*q - 5*n - 20 = -5*q. Solve 2*u - x + q = -0, 2*x = p*u for u.
-1
Let r(q) = -2*q - 4. Let h be r(-3). Let b = h - 2. Suppose b*l + l = 4. Solve -13 = -3*c + l*v, -5*c - 3 = -5*v - 18 for c.
-1
Let w = 50 + -45. Suppose 22 = 4*z + 2. Let m(u) = u**2 - 6*u + 5. Let o be m(6). Solve 16 = -g - 4*x, o*g + w*x + z = -0 for g.
4
Let c = -15 + 21. Solve 3*g = -5*t + 20, 3*t = c*t - g + 2 for t.
1
Let j be (0 - -3) + -6 + -2. Let d be 5 - 7 - 1*j. Suppose 0 = 3*k - k. Solve 4*y - 5*c - 8 = y, k = -y - d*c - 16 for y.
-4
Let y be (8/3)/((-44)/(-66)). Solve -15 = -l + 2*p, -3*l + 0*p = y*p + 5 for l.
5
Suppose 7 + 1 = -2*f, 3*t - 2*f - 38 = 0. Let c = 1 + 4. Suppose -15 = -3*x + g, c*g = -3*x + 2*x - 11. Solve 5*p - 5*q = t, 11 = x*p + 3*q + 3 for p.
2
Let t be 9/4 + 2/(-8). Suppose -3*x = 2*s + 15, 0 = -5*s + t*s - 4*x - 21. Let l be (-1)/s*(-2 + 113). Solve 5*o - l = -3*p - 0, 0 = 4*o - 20 for p.
4
Let q(n) = -n**3 - 10*n**2 - n - 5. Let a be q(-10). Solve 0 = 5*z - a*j + 3*j + 8, -3*j - 5 = z for z.
-2
Suppose -p + 4*p = -3*y + 12, -y + 3*p + 8 = 0. Let r = -4 - -4. Suppose r*m - 3*m + 6 = 0. Solve 4*h = y*n - 37, m*h = -3*n + 9 - 0 for n.
5
Let c(b) = -9*b - 13. Let k be c(-3). Solve -u + 4*z = 1 - 4, -k = 2*u + 2*z for u.
-5
Suppose -8*y - 5*u - 15 = -12*y, 4*y + 4*u = 24. Solve 36 = 4*v - 5*i, 2*v + 3*i - 1 + y = 0 for v.
4
Suppose 0 = 5*s - 2*f - 80, 3*s - 4*s + 24 = -2*f. Suppose 4*k = 2*k + s. Solve 3*i = -3*o + 8*o - k, 0 = -3*o + i + 5 for o.
2
Suppose 86 = 2*u + 20. Suppose -4*f + u = -0*f + 5*r, -2 = -2*r. Solve 5*m = -5*a - 15, -m = 2*a + f + 1 for m.
2
Let b(t) = -t**2 + 5*t + 2. Let u be b(6). Let m be u/(-14) + 82/7. Solve 2*i = -w + i + 8, m = -2*w + 5*i for w.
4
Suppose -c = 2*u - 10, 5*u + c = 5*c + 12. Suppose 2*y - 4 = -2*y. Let q = 3 - y. Solve -4*m - 2 - 2 = -2*k, q*k = -u*m - 4 for k.
0
Suppose 9*b - b - 48 = 0. Solve -3*p = 2*v - 9, b*p - 3*p - 27 = 4*v for p.
5
Suppose 0*q - 6*q = 0. Solve -3*g + 9 = q, -3*u + 4*g = -2 + 5 for u.
3
Suppose -3*p + 7 + 5 = 0. Let s(a) = a**2 - 3*a + 1. Let d be s(p). Solve -4*i + 5*i + 4*v - 2 = 0, -3*i + 6 = -d*v for i.
2
Let p(k) = k**2 - 5*k + 3. Let y be p(5). Suppose 0 = -l + y. Solve 11 = 5*n + 2*x + 2, n + x = l for n.
1
Suppose a - 74 = -5*k, -2*a + 10 + 3 = k. Let m(t) = -t + 8. Let y be m(6). Solve 3*u + k = -d + y*d, 0 = -u - 4*d + 8 for u.
-4
Suppose -2*s - 14 = 5*d, -5*s = -s + 2*d - 4. Let b = -821 - -825. Let y be (1/(-1) - -2) + 4. Solve -b*x - y*z + 15 = 0, 0 = 2*x + 5*z - 2 - s for x.
5
Let p(w) = 19*w - 6. Let x be p(2). Suppose -x = -3*o - 5*o. Let b be (-10)/(-4)*(8 - 2). Solve g - o*k + 4 = 9, k - b = -3*g for g.
5
Let d(c) = -c**2 - 8*c + 3. Let p be d(-8). Let k = 22 + -13. Suppose 2*q - 18 - 26 = 0. Solve -p*l - 1 = -u + k, -5*l = u + q for u.
-2
Let t = 6 + -4. Let c be -1*t/(-6)*57. Solve -5*q = -b + c, -q = -4*b - 2*q + 13 for b.
4
Let b(j) = -3*j - 2. Let o be b(-2). Solve 5 = -3*x + 3*y - o, -5*x = -2*y for x.
2
Let h = 4 - 1. Suppose 0 = h*m - 0*m - 6. Suppose -2*l - 3*p - 15 = 0, -m*p - 20 = -l + 2*p. Solve 4*r - 3*r - 5 = 2*s, -3*s + 5*r + 3 = l for s.
-4
Let o be 4/16 - (-79)/4. Suppose 0 = -4*g + 2*g + o. Solve -2*w = -r - 0*r + 10, 4*w = -3*r - g for w.
-4
Suppose 0 = o + 3*o - 64. Let q be 4/o - (-5)/(-20). Solve 3*n = 4*n - 3*w - 9, -5*n - 3*w + 9 = q for n.
3
Let r = -40 + 47. Solve 0 = -3*j - 4*q + r + 5, -5*q + 15 = 0 for j.
0
Let y = 46 + -26. Solve 0 = 3*z + 5*a - y, 3*z - 4 = 3*a - 4*a for z.
0
Suppose -4*n + 20 = d, 3*n - 15 = -0*d + 3*d. Solve 3*l - 3*f + 1 = 4, d = -2*f - 10 for l.
-4
Suppose 0 = v + 1 - 0. Let h = -1 - v. Solve 4*t + 5*o + 1 + 6 = h, 2*o = -2*t - 2 for t.
2
Suppose 4*v + 4 = 4*z, -3*z - z + 3*v + 2 = 0. Let o = z - -3. Solve -3*d + d - 10 = o*x, 4*d = -3*x - 15 for x.
-5
Let v(m) = 3*m + 2*m**2 - m**2 + m. Let i be v(-5). Solve -t - 8 = -5*x, -3*x - 3*t = x + i for x.
1
Let c be (-2)/(26/(-10) - -3). Let m = 7 + c. Solve 5*p + 24 + m = -2*v, 0 = 3*v - 4*p - 7 for v.
-3
Suppose 3*z - 34 + 6 = 4*n, -3*z + 2*n + 26 = 0. Let y be (-20)/5*(-14)/z. Solve 2*a + 30 = y*a + 3*j, 0 = 5*a - j - 10 for a.
3
Suppose -3*y - 42 = -51. Solve c = y*a - 14, 2*a - 2*c = -5*c - 9 for a.
3
Let y = -15 - -18. Solve -3*s = y*t - 12, 5*t + s - 12 - 8 = 0 for t.
4
Let x = 2 - -5. Let n = 11 - x. Solve 4*z - 5*j = 1 - 7, 4*z + n*j - 12 = 0 for z.
1
Let r(z) = 8*z - 11. Let m be r(2). Solve -5*h + 5 = m*x - x, -x + 5*h = 30 for x.
-5
Suppose 8 = 5*a - 2. Let s = 8 + -4. Let h be s/(-10) + 60/25. Solve -a*u - 5 = k, -h*k = -2*u + 4 - 12 for k.
1
Let h = -19 - -21. Suppose 0*q + q + 4 = 0, f = 2*q + 11. Solve 3*u - h = 2*u - 5*s, 4 = 2*u + f*s for u.
2
Let u be 200/12 - 1/(-3). Solve 5*j = 5*c - 9 - 16, -c + 5*j = -u for c.
2
Let j(v) = -v**2 + 2*v - 1. Suppose 4*d = -4*r + 7 + 1, -2*r = -2. Let q be j(d). Solve -9 = 4*a - 5*b, q = 5*a + b + 2 + 2 for a.
-1
Let j(s) = -s**3 + s**2 + 2*s. Let q be j(2). Suppose 0*z + 5*z - 10 = 0. Suppose -r = 4*r - 130. Solve q*v - z*h = -4*v - r, 4*v + 8 = -4*h for v.
-5
Let a(f) = 3*f**2 + 4*f + 5. Let j be a(-2). Solve 5*k + 3*i = -1, 7 = -4*k + j*k - i for k.
1
Let l(v) = -v**2 + 11*v + 14. Let j be l(12). Let h be (-1)/(j + 28/(-12)). Solve 0 = 5*p - h*i - 2, 2*i = 3*p - 3 + 2 for p.
1
Let f be (2 - (-14)/(-10))*15. Let s(p) = -p**2 + 10*p - 6. Let i be s(f). Suppose 0 = 3*n - i - 3. Solve -5*c - 1 = -5*j - 2*c, n*j - 4*c - 6 = 0 for j.
-1
Suppose -p + 106 = 3*u - u, 240 = 4*u - 5*p. Solve 0 = 2*w - 2*m, -4*m - u = 5*w - 19 for w.
-4
Let s(v) = 2*v**2. Suppose -4*i + 7 = -1. Let g = -3 + i. Let y be s(g). Solve -5*m + 10 = 3*w, y*m - m = -w + 2 for w.
0
Suppose 0*o = 3*o - 24. Let n be o/6*(-6)/(-4). Suppose 0 = b + 4*g + 17, g + 20 = n*b + 3*b. Solve m + 3*l + b = -m, 2*l = -5*m + 9 for m.
3
Let u be ((-3)/3)/(2/6). Let k = 7 + u. Suppose 40 = d + 2*d - 5*j, 2*d - 26 = k*j. Solve 4*i - 3*s + 14 = -9, -5*i + s = d for i.
-2
Let l be -16*1/(3 + -4). Let r = l - 12. Solve f = r*b + 8, -4*b = -5*f + f + 8 for f.
0
Suppose -3*d - 5*o = -19, 5*d + o - 14 = d. Solve -d*z - 3 = 4*h + 6, -15 = 5*z - 5*h for z.
-3
Let y be (-2)/(-5)*18 + (-23)/115. Solve y*a - 4*d = 4*a + 11, 2*a + d = 0 for a.
1
Let f be 8/(-28) - 4/(-14). Suppose -4*g - 6 = -3*o + 2, f = -2*g - 4. Solve -3*v + v + 4*a + 18 = 0, o = 4*v - 2*a - 24 for v.
5
Suppose 3*h = 6, 4*h = -0*q + 3*q - 7. Suppose q*a - 1 = 14. Solve -m = -6*x + 2*x, -x = -m + a for m.
4
Let y = 11 + -4. Suppose 5*z - y - 3 = 0. Solve q = -5*g + 2, -2*g - 1 = -q + z*q for q.
-3
Let m(k) = 8 - 4*k + 4*k + k**2 - 7*k + 0*k. Let x be m(6). Let c(p) = -2*p. Let u be c(-2). Solve -3*i + 2 = -3*f - 2*f, 2*f - u*i - x = 0 for f.
-1
Let d = 2 + -1. Let q be 5 - (-3 - -3)/((-12)/4). Suppose -d = g - q. Solve -g*b = -w - 17, 0*b - 2*b + 11 = -3*w for w.
-1
Suppose 4*q + 16 = 8*q. Solve -4*z + 6*z + q*c = 8, -2*z - c = -8 for z.
4
Let u(r) be the third derivative of 0 + 2*r**2 - 7/12*r**4 + 1/60*r**5 + 0*r + 17/6*r**3. Let l be u(13). Solve 3*m = 4*j - 12, -l*m = 6*j - 3*j - 9 for m.
0
Suppose -2*o + 5*o - 6 = 0, y + 3*o - 11 = 0. Suppose x = -0*x + y. Let l be (-4)/(-6) + (-92)/(-6). Solve 3*p + 3*v - x = -14, -4*v - l = 0 for p.
1
Let d = 11 - 11. Solve 15 = -5*i, d*i = -3*g - i for g.
1
Suppose -3 = 3*p - 0. Let y be 1/(1/(-9)*p). Suppose -3 - y = -3*a. Solve -a*k + 4*n = -k + 6, 0 = -5*n + 15 for k.
2
Suppose 0 = -3*c - c. Suppose 0 = -4*a - c*a + 36. Suppose 7*x - a = 4*x. Solve s + 5*k = -x + 4, s = 4*k - 8 for s.
-4
Suppose -3 = 8*n - 9*n. Solve n*j - r + 4*r + 6 = 0, -4*r - 20 = 0 for j.
3
Suppose -65 = -3*z - 20. Solve 2*v - z + 5 = 4*a, a = -2 for v.
1
Let c(m) = -m + 1. Let s be c(-5). Suppose s*a = 3*a + 12. Solve a*j + 7*l - 2*l - 1 = 0, 5*l - 3 = -2*j for j.
-1
Suppose -3*s = -0*s. Let u = -7 + 7. Suppose u = -4*b + 2*b + 6. Solve 2*r = -2*k, s = -5*k + b*r + 2*r + 40 for k.
4
Let d = -4 + 5. Suppose -3*w + 5 = -d. Suppose -w*y = -11 - 13. Solve 0 = 5*s - p + 4, 4*p = p + y for s.
0
Suppose 5*n -