- 16 = -c*r - 4*m for r.
-2
Let a(n) = 4*n**3 - 3*n**2 + 2*n + 6. Let l be a(-2). Let u = l + 44. Solve 0*h - h + u*r = 3, -5*h - 20 = -5*r for h.
-5
Suppose -p - 17 = -43. Let a = p + -20. Suppose -3*n + a = -9. Solve -2*c + n = -5, z - 2*c = -6 for z.
4
Let x = 10 - 7. Suppose -u + 12 = x*u. Solve 0 = -5*b - 0*f + f + 18, -u*f = -6 for b.
4
Suppose 3*w = -4*n - 16, -6 = 5*w + 4*n + 34. Let j be ((-3)/(-2))/((-6)/w). Solve t + 2*c - 1 = 0, -j*c = 3*t - 0*t - 9 for t.
5
Let f(a) = -a**3 + 3*a**2 + 6*a - 4. Let j be f(4). Suppose j*p + 8 - 28 = 0. Solve -w = -2*w - p*q - 25, -4*w + q + 5 = 0 for w.
0
Suppose 15 = 3*o - 2*s, -8 - 13 = -5*o + 2*s. Solve -2*u = -o*f + 5*f + 8, 0 = -5*f - 3*u - 22 for f.
-5
Let x(u) = 2*u + 1 - 5 - 2. Let a = 46 + -39. Let s be x(a). Solve 2*w + 2*r = w + s, w + 4*r = 12 for w.
4
Suppose 3*f + 368 = 2*r, 0*r = 4*f + r + 498. Let g = -87 - f. Suppose -2*y = 5*c - y - 65, 5*y = -c + g. Solve -5*j - 3*a - 2*a + 10 = 0, 5*j = -3*a + c for j.
3
Let x = -770 + 772. Solve 0 = x*t - n - 1, -4*t + 4*n = 5*n + 7 for t.
-1
Suppose 5*s - 3*s - 28 = 0. Let g be (s/4)/(9/18). Let b be 1/4 + g/4. Solve 0*d - 1 = p + 2*d, b*d = -3*p + 5 for p.
3
Let z be (0 + -15)/(-10 + 7). Solve -4*l = 4*v + 32, 4*v - v + 34 = -z*l for l.
-5
Let y be (4 - 1) + 2 + -3. Let i be y/1*(-45)/(-18). Solve -15 = 3*v, 35 + 2 = 4*r - i*v for r.
3
Let s be -1*(15/(-6) + 10/(-20)). Solve -2*f - u = 2*u, 0 = -s*f - 3*u for f.
0
Suppose -9*d - 10 = -4*d. Let t be 4/(0 - d) - -1. Suppose -4*q + 2*m - 3*m = -4, -5*q + m = -14. Solve -t*u = -q*g + 19, 2*u + u + g + 13 = 0 for u.
-5
Let k = -128 + 185. Let v = -53 + k. Solve 0 = v*d + 4*m - 4, -5 = -2*d + 2*m - m for d.
2
Suppose -1 + 13 = 4*s. Let o = 14 + -25. Let t = -3 - o. Solve -h - h = -t, s*c - 3*h = 0 for c.
4
Let g = -139 - -144. Solve -3*o + g*p = 19 + 13, -4*p = 5*o + 4 for o.
-4
Let p = 5 + 2. Suppose 8 = p*k - 5*k. Suppose -d = k*d - 10. Solve -4*h = -z - 5 - 4, -d*h = z + 3 for z.
-5
Suppose -20*g + 126 = 10*g + 12*g. Let l(i) = -2*i**3 - 2*i**2 + i - 1. Let q be l(-2). Solve -1 = o - g*h + 4*h, h + q = -2*o for o.
-4
Let h = -437 - -457. Solve 0 = 9*i - 4*i - 4*f - 20, -4*i = 4*f + h for i.
0
Suppose 4*c + 20 = -l, 3*l + 6 = c + 6*l. Let v = 10 + c. Suppose -t + 5*s + 5 = 15, -4*t + 5*s = 10. Solve t = -2*i - 5*o - 18, -v*o = -3*i - 2*i + 21 for i.
1
Let p = -6 + -13. Let o = -4 - p. Let i(s) = -s**3 + 16*s**2 - 14*s - 11. Let l be i(o). Solve 3*y - 4*y = -5*k + 15, 3 = y + l*k for y.
-5
Let v(f) = f**3 + 5*f**2 - 7*f - 6. Let j be v(-6). Suppose j = 5*k - k. Let n be k*1*3/(-9). Solve -4*t - 10 - 2 = n, -5*t - 6 = -3*i for i.
-3
Suppose -w = 3*d - 7, 0 = 3*d + 4*w - w - 9. Let v(t) = t + 34. Let j be v(-23). Solve i + 0*o + 4*o = -j, 0 = -5*i - d*o - 19 for i.
-3
Let r(w) = -w**2 + 18*w - 15. Let z be r(16). Let a = z - -3. Let d = a - 5. Solve 3*h = -3*o + d, -2 = 4*o - h - 17 for o.
4
Suppose -14*f + 8*f = -180. Let z be 132/f + (-6)/(-10). Solve -z*g = 3*h + 26, -4*g - 14 - 10 = 4*h for g.
-4
Suppose 60*f = 7*f. Solve 4*a = -5*d - 21, 4*d = -2*a - f - 18 for a.
1
Let n(y) = 36*y - 26. Let f be n(1). Solve -5*r = -5*g - f, 3*r = 6*r - 2*g - 1 for r.
-3
Let k = -203 + 206. Solve k*b = g, b + g - 6 = -2*b for b.
1
Let x(s) = 42*s**3 + 2*s**2 - 2. Let f be x(1). Let j = f + -37. Solve 2*a - 26 = j*d, -4*d + 5*d + 13 = 3*a for a.
3
Let i(n) = -2*n**2 + 2*n + 3 + n**3 - 3*n - 2*n. Let j be i(3). Let t be 6/(-15)*(-15)/j. Solve h - 31 + 13 = -5*p, -t*p - 3*h + 15 = 0 for p.
3
Let y be (-6)/12 + (-62)/4 + 3. Let j = -8 - y. Solve -4*w + 7 + 10 = j*b, 4*b = 4*w - 8 for w.
3
Let t be -4 + 3 - -3 - -4. Let s be 4*3/t + 21. Solve 3*u = q + 10, 5*u - s = 2*q - 6 for u.
3
Let p be (-36)/(-32)*-4*-2. Solve 3*o - 7*o - 11 = 5*f, f - 2*o - p = 0 for f.
1
Let l(w) = 8*w**2 + 10*w + 11. Let t be l(-1). Solve -5*f + 5 = -5*g, 3*g - 3 - t = 0 for f.
5
Suppose 2*g - 2*c - 6 = 0, 0 = -5*g - 3*c - 3 + 34. Solve -2*f = g*o - 5, -6*f + 4*f - 5 = -5*o for f.
0
Suppose 17*v = -16*v + 825. Solve 5*m + 2*l + v = -0*l, 0 = -2*m - l - 10 for m.
-5
Suppose -j - 10 = -2*r - 14, r + 8 = j. Suppose -j*t = -10*t. Solve o + p + 5 = 0, o = -t*o + 3*p + 7 for o.
-2
Let b be 3/((-6)/(-16))*3/6. Let a be 4*(5 - b) - -2. Solve -a*w + 2*d = -2*w - 2, 0 = 4*w + 3*d + 3 for w.
0
Suppose -5*j + 72 = -33. Let d = -16 + j. Solve q + 3*q - 25 = 5*r, r - 3*q = -d for r.
-5
Let q(d) = -d**2 - 9*d + 1. Let z be q(-7). Let p = 24 + -24. Suppose p = 2*b + 3*b - z. Solve o + 9 = 2*g - 0*o, -3*g - b*o = -18 for g.
5
Let s = 16 - -10. Let b be 0/(82/s - (-4)/(-26)). Solve -o - 4 = -d - b*o, 0 = 2*o + 2 for d.
3
Let x = 62 - 26. Suppose 0*c = 4*h - 5*c + 4, 4*c = -5*h + x. Suppose 3*k - 26 - h = 0. Solve 0 = -2*s + k, 5*t + 8*s - 10 = 3*s for t.
-3
Let s = 42 - 67. Let i(d) = -2*d - 45. Let h be i(s). Solve 5*t - b = -16, -h - 6 = 5*t + 4*b for t.
-3
Suppose 5*h - 22 = v - 17, -23 = h - 5*v. Solve -25*y - 2 = -24*y - o, o = 5*y - h for y.
1
Suppose 0 = -f + 7*f + 150. Let p = f + 29. Solve b - 3*q = -p - 14, 0 = b - 4*q + 23 for b.
-3
Let a be 2/15*5*(-30)/(-2). Suppose k + 0 = a. Solve 4*m - k = 2*h, -13 = h + h - 5*m for h.
1
Suppose 33*a = 24*a + 36. Solve a*y - 3*q - 5 = -y, 4*y + 3*q = 31 for y.
4
Let s(f) = -f**2 + 8*f - 4. Let c be s(4). Let q be (54/c)/((-2)/(-12)). Let z = 32 - q. Solve z*w - 14 = u, -u + 0 = -w + 2 for w.
3
Suppose 3*t + 1 = -w, 2*w - 3 = -t - 0. Solve 5*q = 3*k + 35, -2*k - 4 + 2 = w*q for q.
4
Let o be ((-17)/(-45) - 10/(-45))*5. Solve -3*u - 2 = -5*z, z = o*z + 4*u - 6 for z.
1
Suppose 4*w = -2*a + 60, 5*a + w - 65 = 2*a. Solve 4*k = 5*x - a, 0 = 5*k + 7*x - 2*x + 25 for k.
-5
Let h(b) = b**2 + 5*b. Let k be h(-5). Suppose 8*u - 24 = -8. Suppose -5*t = 3*z - 6*z + 20, 5*z + 20 = -5*t. Solve -u*f + 11 = 5*n - z, n + 4*f - 13 = k for n.
1
Suppose 0 = -3*o + 4*c + 5, 5 = 3*o - 5*c + 1. Solve 2*f = -3*f - 2*k - 17, 4*f = o*k - 32 for f.
-5
Suppose 4*q - 12 = -2*z, -q + 5*z - 3 = -2*q. Suppose 8*i + 2059 = 2099. Solve 0*l = i*o + l - 3, -q*o - l = -1 for o.
1
Let c(h) = h**2 + 7*h + 1. Let n be c(-7). Let q be (n/(-1))/6 + 26/12. Solve 3*d - t = d + 1, -17 = q*d + 5*t for d.
-1
Suppose 0 = 688*j - 685*j - 9. Solve 2*c - 10 = 2*o, -j*c + o = 3*o for c.
2
Let o be (20/(-8))/(11/(-2) + 5). Solve 5*y - 5 = c, -6*y = -o*c - 2*y - 25 for c.
-5
Let x(f) = f**2 - 12*f + 30. Let k be x(3). Solve 0 = 3*n - k*t - 13 - 2, -2*n = 5*t - 3 for n.
4
Let w = -41 + 124. Let i = -76 + w. Solve -1 = -y, -3*x + 5*y = -0*y - i for x.
4
Let k = -53 - -76. Let d = -19 + k. Suppose 8 = 4*v + i, -i - 10 = -0*v - 5*v. Solve -4*z - 5*s = -d, 5*s = -v*z + 6*s + 2 for z.
1
Let r be 2/3*2*6. Solve 5*b - b = 5*v + r, -b = 5*v - 2 for v.
0
Suppose -16 = 2*x + 22. Let y = -14 - x. Solve 3*l - a - 2 = 15, -l - 5 = y*a for l.
5
Let r = 80 + -54. Let n be r/8 - 30/(-40). Solve 0 = 3*w + 15, 3*h + n*w + 24 = 2*h for h.
-4
Suppose 2*r = 2*k + 6, 8*r - 9*r + 5*k = -3. Solve -1 = q + r*w, 2*q - 3*q + 15 = -5*w for q.
5
Suppose -c + 8 = 3*c. Let q(l) = 3*l - 6. Suppose -2*r - 6 = -2*t, 4 = t - 1. Let h be q(r). Solve h = 2*p + 3*j + 21, 5*p - 3*j - 10 = c*j for p.
-3
Let l = 82 + -125. Let q = l - -50. Solve -4*w - 1 - q = -4*d, 5 = -5*d + 2*w for d.
-3
Suppose -8 = 4*q - 24. Solve -3*d + 24 = -3*y, q*d - 11 - 6 = y for y.
-5
Let s(b) = b**3 - 20*b**2 - 21*b - 28. Let t be s(21). Let i = -11 - t. Solve -3*h - 3 = 4*m - m, m = 5*h + i for m.
2
Suppose 0 = -3*t + t + 6. Suppose -t*c = 3*f - 3 - 0, f = -4*c - 2. Solve f*o = -3*a - 3, -a - 3*a + o + 7 = 0 for a.
1
Let p = -194 + 200. Let n = -10 + 12. Solve -n*f + 4*i + 1 = -3, -2*i - p = f for f.
-2
Let l = -69 - -73. Let b(z) = -3*z**3 + z. Let f be b(-1). Suppose d - l = -f. Solve d*v - 2*o - o = -4, 2*v = 4*o - 6 for v.
1
Let o(p) = -p**3 - 3*p**2 - p - 1. Let v be o(-3). Let b be 4/(v*-4)*-10. Solve 2*l = -2*l + z + 21, -2*z = b*l - 10 for l.
4
Let f be -4*((-8)/(-16) - 7/(-4)). Let c be (-60)/8*6/f. Solve -1 = c*d + 5*t - 11, -5*t = 4*d - 7 for d.
3
Let m = 95 + -248. Let y = 155 + m. Solve 5*t = 2*u - 16, -t + 16 = -y*u - 4*t for u.
-2
Suppose 5*h - i - 16 = -3*i, 0 = -5*h + 5*i + 30. Suppose -3*p - 3*l - 14 = -80, h*p - 5*l = 106. Solve 4*f - 5*q + p = 1, 0 = -2*q + 6 for f.
-2
Let l be (10/(-40))/((-1)/12).