-d*c + r = 15, -5*c = -j*r + 4*r + 15 for c.
-3
Let f(h) = h - 11. Suppose t + 4*t - 2*j = 45, -3*t + 23 = -2*j. Let y be f(t). Solve 2*m + y*m = -a, 0 = a + 4*m + 2 for a.
2
Let a(r) = r**3 + 11*r**2 - 3*r - 7. Let o be a(-11). Let w = -21 + o. Solve g - 10 = -u, 5*u - w*g - 10 = -2*g for u.
5
Let b(l) = -l**3 + 3*l**2 - l + 5. Let y be b(3). Solve 0 = -y*k + 4*q + 18, 5*q + 0*q = -15 for k.
3
Let s be (1/(-5) - -1)*5. Solve 0 = 4*i + s*r - 28, 2*i + 3*r - 4*r - 5 = 0 for i.
4
Suppose 0 = -o + 8*o. Solve 2*f - 6 = o, f - 2 = -3*g - 11 for g.
-4
Let m be 2/6 - (-32)/(-6). Let o be 4/m*5/(-2). Solve o*t - 5*r = -18, -4*t - r = -0 - 8 for t.
1
Let d(m) = 4*m**2 - 3*m**2 - 5 - 25*m + 23*m + 0. Let q be 2/(-4)*(-1 - 13). Let f be d(q). Solve o + o - 16 = -3*w, -5*o + f = 5*w for w.
4
Suppose 4*u + 2 = -2, -4*u - 16 = -3*d. Suppose d*c + 0*c = 84. Suppose -3*v + 3 = -c. Solve 0 = 5*p - 4*m - v - 2, -8 = -4*p - 2*m for p.
2
Suppose 20*n + 25 = 25*n. Solve -n*t - 5 = -5*d, t - 9 = -d - 3*d for t.
1
Suppose 0*t + 4*t + b = 3, -2*b = -3*t + 5. Let p = t + 0. Suppose p - 3 = -i. Solve -17 = x + 5*k, 6*x - i*x - 5*k - 7 = 0 for x.
-2
Let x = -2 + -1. Let u(y) = -2*y - 1. Let d be u(x). Solve 3*b + 2*a - 6 = 17, -d*b + 13 = -3*a for b.
5
Let o(k) = k + 8. Let i be o(-6). Suppose i*g = -0*g. Suppose 2*z - 5*x - 24 = -x, g = -2*x - 8. Solve n = 2*r - 0*r + z, -9 = -3*n + 3*r for n.
2
Let c = 29 + -26. Solve -4*v - 43 + 17 = -c*o, v - o = -7 for v.
-5
Let h(t) = -t**3 + 5*t**2 - t + 7. Let m be (-3 - -1) + -1 + 13. Let r = m + -5. Let p be h(r). Solve -2*l + 17 = -5*o, p*o - 3*o - 2 = l for o.
-3
Let n = 4 + 0. Suppose -4*x - 10 = -9*x. Solve 2*y - 1 = 3*i, n*y - 2*i - 2 = x*y for y.
2
Let k = 3 + -13. Let s(j) = j + 13. Let b be s(k). Solve p + 35 = -4*p + 5*n, 19 = -2*p + b*n for p.
-2
Let d = 4 + -4. Suppose d = u + u. Suppose 3*s + 9 = 0, -t - t - 2*s = u. Solve -t*x - 4*n = -15, -1 = -4*n + 11 for x.
1
Suppose j = 3*l - 13, -2*j = -0*j - 10. Let a = -6 + l. Suppose -2*g = -5*y + 20, a = 4*g + 3*y + 6 - 18. Solve -u + 0*u = 2*n + 5, 3*n - u = g for n.
-1
Let a(y) = -3*y + 2. Suppose -5*c + 4 + 6 = 0. Let k be a(c). Let x = k - -8. Solve -2*p = x*g + 14, 0 = -p - p + 3*g for p.
-3
Let a be -7*(-2 + (-30)/(-35)). Solve 0 = -4*b + 2*q + 2*q - a, b = -2*q + 4 for b.
0
Let b(f) = 2*f**2 - 34*f + 39. Let h be b(16). Solve -4*s + 17 = -5*r, 10 = -h*r + 3*r + 5*s for r.
-5
Let d = 8 + -6. Suppose 6 = -d*s, -2*r + 3*s + 1 = -18. Solve 27 = 3*f - r*q, 5*f = -0*f - q + 17 for f.
4
Let f be -1 + 1 - 1*-12. Suppose m = f - 2. Suppose 49*p = 45*p + 4. Solve 0 = n - 4*j + m - p, -2*n + 5*j - 9 = 0 for n.
3
Let t = -7 + -8. Let s = 9 - t. Solve 2*g - 5*m + 6 = s, 0 = -5*g + 4*m + 28 for g.
4
Suppose -37 = 5*i - 12, 3*a - 4*i = 20. Solve a = 4*t + 8, -2*t = 5*x - 0*t + 9 for x.
-1
Let h be 1*2/(-4)*0. Suppose 6*f - f + 660 = 0. Let u be 24/f + 35/11. Solve -u*a + 0*a - 5*g - 20 = h, 5 = -5*g for a.
-5
Let q(p) = -p**3 + 10*p**2 + 10*p + 13. Let m be q(11). Solve -3*t - m*j - 15 = -8*t, 5 = j for t.
5
Let j be ((-8)/24)/(2/(-12)). Solve -2*t + j*w - 3*w = -13, -4*t + 3*w + 1 = 0 for t.
4
Suppose 0*v = v + 5*h + 17, 3*v = -4*h - 7. Let j(d) = d**2 - 2*d. Let c be j(v). Solve -4*w - c*l + 0 + 6 = 0, -7 = -w + 2*l for w.
3
Suppose -3*z + 6 = -6. Solve -2*m + 16 = -2*i + 3*m, 0 = z*i - m - 4 for i.
2
Let n = 12 - 7. Let y = n - 1. Suppose -v - 1 + 6 = -s, 4*s = 5*v - 25. Solve -5*m + b + 12 = s, 15 = b + y*b for m.
3
Let r = 6 + -4. Let x be ((-2)/(-6))/((-1)/(-12)). Solve 16 = -0*k + 3*k + x*b, b = r*k - 7 for k.
4
Suppose 0 = -a + 2*y - 5, 0*a - 5*y = -5*a. Solve u - 3*h = -1, -a*u + 4*h = 4 - 21 for u.
5
Let q(g) = -g**2 + 9*g + 39. Let v be q(12). Solve 5*z = -5*n + 15, 0 = -0*z + 2*z + n - v for z.
0
Suppose -j - j = -50. Suppose -5*g + j = -0*g. Solve -i = -5*l - 15, 0 = -3*i + i + g*l + 20 for i.
5
Let y(q) = -4*q - 18*q + 4*q. Let c be y(-1). Solve 3*k - c = 2*o + 2*o, 4*o + 16 = 2*k for o.
-3
Suppose -2*h + 7*h - 80 = 0. Let a = h - 14. Solve -j + 4 - 11 = w, a*w + 12 = -j for j.
-2
Let r = 0 + 3. Let h(o) = -o**2 - 2*o - 3. Let q be h(-3). Let m = 8 + q. Solve 7*v = r*v + 3*z - 3, -1 = -m*v - z for v.
0
Let t = -65 + 69. Solve 0 = 2*w + r + 2, -6 - t = 4*w + 5*r for w.
0
Let q(i) = 4*i**3 - i**2. Let c be q(1). Solve 3*k - 5*l - 7 = 0, 4*k + 4*l = -c - 9 for k.
-1
Let i(g) = 2*g**2 - 2*g. Let v be i(2). Solve -v = -q, -4*o - 13 - 7 = -3*q for o.
-2
Let a be (0 + 0)/(4/(-4)). Let w = 3 + a. Solve -7 = -3*p - o, 0 = -p - 2*o + w + 6 for p.
1
Suppose 6 = 4*l + 54. Let k = l - -7. Let a(w) = w**3 + 6*w**2 + 4*w - 1. Let x be a(k). Solve 0 = x*f + 4*p, -3*p + 2 = 2*f - f for f.
-1
Suppose -6 = -3*z + 9. Suppose z*g = 61 - 11. Suppose -8*j + 4*j + 4*a = -28, 2*a = 4. Solve j*n - 10 = -2*k + 4*n, 2*k = -3*n + g for k.
5
Suppose -2*n = -0*n - g - 3, -5*g + 21 = 2*n. Let c be 2/(-3)*30/(-4). Solve 0 = -j - 2*h - 10 + n, -4*j + c*h + 11 = 0 for j.
-1
Let r be (-50)/(-12) + 1/(-6). Let v be (-11 + 2)*(-2)/(-3). Let u be 6/(-2)*16/v. Solve u = b + 4*a, -2*b - r*a + 13 = a for b.
4
Let i(s) = 3*s + 3. Let b(d) = 7*d + 6. Let q(p) = 2*b(p) - 5*i(p). Let w be q(-5). Solve 0 = 4*z + 5*a - 29, w = 4*z - a + 3 for z.
1
Let m = -40 - -60. Solve -m = -4*r - 3*p, r - 22 = p - 6*p for r.
2
Let k be 1/6 + (-66)/(-36). Solve -3*c + 16 = 2*j, -2*c - 2*c + k*j - 2 = 0 for c.
2
Let v(w) = 3*w + 1. Let o be v(1). Suppose 0*k - 4*k = -16. Suppose -17 = -k*j + 3. Solve -o*z = -r - 20, z + 0*z = j for r.
0
Suppose -22 = -3*f - 4*c - 0*c, 2*c = 3*f + 2. Let k be (31/f)/(1/2). Suppose 1 = 16*j - 31. Solve -l - 4*r = j*l + k, -r = l + 9 for l.
-5
Let p be 3/((-1)/(-6)*-2). Suppose -4*w = -28 - 28. Let o = p + w. Solve 4*q + 5 - 1 = -z, 4 = -z - o*q for z.
-4
Suppose 2*n + 3*n = -15. Let z(m) = -m**3 - 4*m**2 - 2*m + 4. Let x be z(n). Let h = x - -3. Solve 5*g - 2 = -h*c, 2*c - 5*g - 13 = c for c.
3
Let d be (-18)/(-42) - (-108)/42. Solve 2*r + r = -d*l, 3*l + 24 = 5*r for r.
3
Suppose 0 = 7*l - 5*l - 6. Solve 4*z + 15 = -5*k, -2*z = l*k + 7 + 2 for z.
0
Let x be 1/1 + (-8)/8. Solve 4*i - 10 = 7*w - 2*w, x = 5*w + 2*i + 10 for w.
-2
Let d = 29 - 24. Solve 0 = i - 3*r + 1, 2*r - 11 = 2*i + d*r for i.
-4
Let o(f) = f - 7. Let t be o(8). Let s be 1 - -11 - (2 - t). Suppose -2*r + s = 3. Solve -4*b - 5*q = -q + 4, -3*b + 4 = -r*q for b.
0
Let s(l) = -2*l - 7. Let q be s(-6). Let y = -42 + 15. Let w = y - -30. Solve -4*j + 4*o + 28 = 0, -q*j - 5*o = -w*j for j.
5
Let v(p) = p**2 - 10*p + 9. Let j be v(9). Solve j = u + w - 4, 2*u - 3*w = -0*u - 17 for u.
-1
Let i be (1 + -1 - 3) + 1. Let t be i/(-10) - 38/(-10). Solve y + 3*y + t*b = 0, 0 = 4*y + 2*b + 6 for y.
-3
Let k(t) = -t**3 + 12*t**2 - 3*t - 8. Let f be k(11). Suppose 0 = -3*r + 7*r - f. Solve 4*b + r = 3*u - u, -20 = 4*b + 5*u for b.
-5
Suppose -5*t - 17 = n, -4*t = 2*n + 6 + 4. Let q be (-1)/(-2)*(-24)/t. Let v = 6 - q. Solve -4*c + v = b - 12, b + 1 = 0 for c.
4
Let r be -2 + 0 + 2 - 0. Solve -c = 3*c + y - 10, r = -c - 4*y + 10 for c.
2
Suppose -l + 8 = m, m + 22 = -0*l + 5*l. Solve -11 = 3*n + 4*d, -l*n - 4*d - 10 = 11 for n.
-5
Let p be (-2 - -6) + -8 - -4. Solve -5*f = 2*b - 15, -4 = -p*f - 4*f for b.
5
Suppose 0*u - 5*u - 20 = 0. Let s be u/18 + 6/27. Solve h - 10 = -3*c + 2*h, s = -5*c - 2*h + 13 for c.
3
Suppose -2*a = 3*a. Suppose 4*s + 4 = 2*v - a*v, s + 6 = 3*v. Solve 0 - 11 = -2*d - 5*o, -v = -d + o for d.
3
Suppose 5*o = 5*c + 5, 2*c - 11 = -4*o - c. Suppose -n = -3*m + 9, -5*m + n = -17 + o. Solve 4*j + 4*t = 8, -m*j = -2*j - 5*t - 2 for j.
2
Let s(z) = z**3 + 5*z**2. Let k be s(-5). Suppose 3*d + 2*d - 100 = k. Solve 0 = 2*j + 2*v + d, -3*j = -0*j - 2*v + 5 for j.
-5
Let d = 24 + -22. Let c be (-4)/((-12)/(-9)) - 0. Let y be c*5/(30/(-4)). Solve 3*k - y*j + 7 = 0, k + d = -3*j - 4 for k.
-3
Let o be (1 - -2) + (2/(-1))/2. Solve -16 = -3*y - 0*p - 4*p, 3*y - 8 = -o*p for y.
0
Let j = 30 + -30. Solve i = -2*q + 5*i + 26, j = 5*q - 5*i - 45 for q.
5
Let t(r) = r**2 + 10*r - 9. Let v be t(-12). Solve 3*d + 4*n + 9 = n, d + v = 5*n for d.
-5
Suppose 2*a + 5*q = 0, 6*q = -a + q. Solve 2*k = -4*s - 2, a*k - 5 = 5*k + 5*s for k.
-1
Suppose -2*l + 4*p = 2*p - 16, 0 = -2*l + 5*p + 22. Solve -2*m - 5*w = 25, -5 = -2*m + l*m - 5*w for m.
