 - 33 = 3*c for d.
-5
Suppose -4*p - 20 = -0*p. Let d = 4 - p. Solve 4*w = 5*b + 15, -3*b = -3*w - 0*w + d for b.
-3
Let v be 21/(-1 - -4) - 2. Solve -4*d - 35 = v*q, -2*d - 1 + 0 = -3*q for d.
-5
Let h be (5/2)/(3/6). Solve -i - 4 = -3*u, -14 = 3*i + h*u - 2 for i.
-4
Let h be (24/(-48))/((-1)/6). Solve -h*d = -2*v + 5 + 14, -4*v - 7 = 3*d for v.
2
Let l be 2*(-2 - (-12 + 0)). Suppose -2*c + 0*t = -t - 4, 3*c - l = -2*t. Solve -3*g + p + c = -2*g, g = 4*p + 19 for g.
-1
Let q be (4/12)/(1/6). Suppose l = q*x + 104, -5*l + x + 465 = 2*x. Suppose l = 3*j + 19. Solve 0 = 3*b - 6, 4*b - j = -2*k - 9 for k.
4
Let k = -5 - -10. Suppose 9*j - 217 = 4*j - o, -5*j + 223 = -o. Suppose j = 3*m - 31. Solve s - 4*h - m = 0, -5*s + k*h + 0*h = -50 for s.
5
Let m(g) = g**2 + 4. Let f be m(4). Suppose -3*i + 25 = 2*j - 0*i, -4*i + f = 0. Solve u = 5*u + 3*n + 9, 4*u + 7 = -j*n for u.
-3
Let n(b) = -b**3 + 4*b**2 + 3. Let t be n(3). Let f be 22/55 - (46/(-10) + 1). Solve -t = f*c - 4*p, 2*p = -3*c + p - 13 for c.
-4
Suppose -2 + 22 = 4*o. Suppose -o*q + 3*v - 4 + 33 = 0, 0 = -4*q + 5*v + 31. Suppose -q = -t - 1. Solve t*z - x + 13 = 0, 5*z + 0*x + 22 = 2*x for z.
-4
Suppose 12 + 0 = 3*c. Let p be 18/c + 8/16. Solve p*d - 4*v = -10, 5*v + 1 - 26 = 0 for d.
2
Let r(i) be the third derivative of i**5/30 + i**2. Let b be r(-5). Solve -5*s + 0*s = -5*q + b, 2*q - 35 = 5*s for s.
-5
Let r = -6 + 8. Suppose 2*k = 4*k - 8. Solve 0 = -3*f + r*a - 4, -3*f + 0*f = 2*a - k for f.
0
Let p be 27/18*(2 + (-4)/3). Solve -q - 2 = g, 0 = q + 3 + p for g.
2
Let y(g) = g**3 - 5*g**2 - 5*g - 2. Let r be y(6). Solve 2*o + 3*z - z = 16, z + 17 = r*o for o.
5
Suppose -41*t - 16 = -45*t. Solve d = -t*l - 7, -4*d - d - 11 = -4*l for l.
-1
Suppose s = 3*j - 0*j - 134, -4*s + 66 = 2*j. Let t = -18 + j. Suppose -c - 4*c = -t. Solve c*w = 3*w - 5*k, 0 = -2*w - 2*k for w.
0
Suppose -2*j + 3*k + 6 = 3*j, -5*j + 4*k = -8. Solve 3*n = 5*f + 35, 0 = n - j*n + 5*f + 15 for n.
5
Suppose 5*d - 3*z = 41, 5*z = -3*d - 2*d + 25. Solve -3*c - 2*b + d = 0, -b = -4*c + 4*b + 17 for c.
3
Suppose -5*y - 2 + 17 = 0. Solve -j = t - y + 5, 26 = 3*j - 5*t for j.
2
Let o be -9 + (-2 + 2)/(-3). Let x be 6/o - (-2)/3. Suppose -n + 6*n - 10 = x. Solve -5*b - 40 = -5*k, 0 = -n*b + b + 4*k - 23 for b.
-3
Let o be (-4)/6 - (-75)/(-9). Let f be (0*(-3)/o)/(-1). Suppose -2*g + 3*g - 6 = f. Solve 3*x - 9 = -2*t, -3*t = -x + g*x - 16 for t.
-3
Suppose 57*q - 16 = 49*q. Suppose s - 3*s + 2 = 4*u, -u - 5*s = 13. Solve -o - q = t, o - u*t = -0*o - 11 for o.
-5
Let c = 3 + 0. Solve 4*z - 1 = -c*g, -g + 1 = -4*z + 6 for z.
1
Suppose 7 - 39 = 4*t. Let k = 5 - t. Let c = 0 - -2. Solve 2*d + c + 6 = 0, b + k = -4*d for b.
3
Suppose -5*j + 54 = 4*q, -4*q - 5*j = -7*q + 23. Solve 3*p - 3*t - 5 = 4*p, 5*t + q = p for p.
1
Let r = -16 + 22. Let s be (r + -3 - -6)*1. Solve -4*v - 9 = -2*b - 3, -5*b = -4*v - s for b.
1
Let n(h) = -h**2 - 9*h - 3. Let k be n(-7). Let s = 15 - k. Solve -s*b = -2*t + 25 - 9, 0 = 3*t for b.
-4
Let d be -2 + (5 - 2) + -1. Suppose d = -3*i - 2*i + 25. Solve -a = 5*l + 10, 0 = -i*a - 2*l - l - 6 for a.
0
Suppose 0 = -t + 5*w - 90, -15 = -w - 2*w. Let h = -41 - t. Solve 0 = 4*q - 2*i + 3*i - h, -4*q = -5*i for q.
5
Let k be 3/(-30)*-4 - 36/(-10). Suppose 2*x + 3*i + 6 = -5, -4*x + 28 = -4*i. Solve -2*p + y - x*y = 8, k = -y for p.
-2
Let v be -1*(-2)/(-11) + (-2)/(-11). Solve 3*s = -3*m + 2*m - 1, v = 4*m - 2*s + 18 for m.
-4
Suppose 0 = -2*a - 1 + 3. Let y = 6 - a. Solve -37 = y*h + 4*d, 2*h + 4*d = 2*d - 16 for h.
-5
Let x be (-6)/(-5 + (-9)/(-3)). Solve -x*h + 3*q + 5 = -2*h, h + 7 = -q for h.
-4
Let t(q) = 3*q**2 - 1. Let z be t(1). Let y = 1 - 1. Suppose -c = -y*c - z. Solve 3*d - c*f + f = 11, d - f = 3 for d.
4
Let g be -1*1/(-2)*2. Suppose 5*h = -4*m, -10 - g = -4*h - m. Solve 7 = -x - 0*x - i, 0 = 3*x - h*i - 7 for x.
-3
Suppose 0*x = 2*x - 4. Let d be (-2 - 0)/(3/(-30)). Solve 2*s - 8 = 0, x*f + 5*s - d = -0*s for f.
0
Let l be 0 - -4 - (-2 - 1). Let a be (-2)/8 - l/4. Let n be ((-36)/(-15))/(a/(-10)). Solve n = -5*o + c + c, 5*o + 28 = -2*c for o.
-4
Let m = 0 + 8. Let n(r) = -r**3 + 9*r**2 - 9*r + 10. Let q be n(m). Solve -i + x = 9, 3*x + x - 12 = -q*i for i.
-4
Suppose 5*m = m + 8. Suppose -m = -5*o + 8. Solve 0 = -3*f - q - 0*q + 18, o*f - q = 7 for f.
5
Suppose -5*u = 2*o - 702, 2*u + 5*o - 425 = -u. Suppose -u = -x - 4*x. Solve 3*p = -4*v + x, p - v = -2*p + 8 for p.
4
Let u be 15*-1*(-2 + 1). Suppose 3*t = -2*t + u. Solve -3*x = 12, -t*c + 13 = -3*x - 5 for c.
2
Let h(b) = -b**2 - 9*b + 2. Let w be h(-7). Solve -2*t + 4*g - 8 = 0, -w = -0*t + 4*t + 3*g for t.
-4
Suppose 0 = -4*w + 7*w - 9. Solve -2*y = m + 11, -w*y = -m + 8 + 6 for y.
-5
Suppose 3*t = 3*b - 21, 5*t = 6*b - 2*b - 32. Let l be (-2)/t*(6 - 0). Solve -3*v + 6 = p + 26, l*p = 4*v + 5 for v.
-5
Suppose 2*a = 4 - 0. Suppose 4*p = r - 0 - 4, 8 = 2*r + a*p. Solve -2*n = -2*b - r, -5 = -4*n - 4*b + 19 for n.
4
Suppose 0*s - s = 0. Solve 7 = 4*k - i, s = -2*k - 5*i - 0*i + 31 for k.
3
Let h(g) = 7 - 3*g - g + 2*g - 10 + 2*g**2. Let f be h(3). Solve -3*o = -r - 16, 5*o - f = 2*r + 18 for o.
5
Let a = 16 - 11. Suppose t = s + 5, s + s = -a*t + 25. Solve 5*o - u - 27 = -9, -4*o + 6 = -t*u for o.
4
Let o be (((-273)/(-28))/13)/(3/8). Solve -5*h - 23 = -2*z, -o*z - 22 - 5 = 5*h for h.
-5
Let c(f) = -f**3 + 6*f - 4. Let o be c(-3). Solve o*w = 4*d - 0*d + 12, -w - 4*d = 12 for w.
0
Let d = -13 + 15. Let l be -6 + 7 - (-1 - 0). Solve l*g + 3*k = 5*g, -d*g - 5*k = 35 for g.
-5
Let k be -1 + 1 - (1 + -3). Suppose 5*l - 4 = k*w, w + 2 = 3*l - 0*w. Solve -4*q - 8 = y + 2*y, l = y - 5*q - 10 for y.
0
Let h be (-1)/4 + -37*(-5)/20. Solve -h*u + 4*u + 3*i = 8, -2*u - 28 = 5*i for u.
-4
Suppose -y + 16 = 3*y. Let c(o) = o**3 + 5*o**2 - 1. Let a be c(-5). Let f = y + a. Solve -4*k + 2*z = 20, 0*z = f*k - 4*z + 25 for k.
-3
Suppose 0 = i + 4*i - 25. Suppose l + 11 = 14. Solve 3*f = i*f + 4*n + 4, 0 = l*n + 9 for f.
4
Let o = 81 - 79. Solve -j + 18 = 4*w, -2*w + 15 = -o*j + 1 for j.
-2
Suppose 9*n + 16 = 13*n. Solve 5 = 2*a - m, -m = a + n*a - 9 for a.
2
Let m be (3/2)/(66/12 + -5). Solve 0 = 2*b - 3*z - 10, z + 8 = m*b - 0*b for b.
2
Suppose -3*q = q - 8, 0 = 3*g + q - 14. Solve 0 = -3*s - d + 8, -d - 5 = g*d for s.
3
Suppose 6*n = 5*n + 5. Suppose 0 = n*l - 9 - 16. Solve l*o + s + 23 = 0, 0*s + 17 = -5*o + s for o.
-4
Let z = -82 - -89. Solve t + 2*k - z = -0*t, 2*t - 10 = -3*k for t.
-1
Suppose 3*t - 2*c + 77 = 0, 0*t - 3*c = t + 44. Let w = 48 + t. Suppose -1 = -g + w. Solve -5*a = -2*h - 5 - 22, -5*h - g = -3*a for a.
5
Suppose 7*l = 8 - 1. Solve -4*k = 5*c - l, -5*c + 1 + 6 = -2*k for c.
1
Let f(j) = 5*j + 6*j - 1 - 4*j. Let r be f(1). Suppose r = 2*i - 0*i. Solve -6*m = -i*v - 2*m - 4, -2*v = -m + 1 for v.
0
Suppose 0*u + u - 3*z = 15, z + 49 = 4*u. Solve -2*o = -0*o, 4*l + o = -u for l.
-3
Let w be -34*2/(-4 - 0). Let f(l) = -15*l + 1. Let g be f(-1). Suppose 4*t + 8 + g = 5*o, 4*o - w = t. Solve o*z = 5*s + 27, 0 = -4*z + 2*z + 4*s + 18 for z.
3
Suppose 4*z = 9 + 35. Solve 6*u - 4*u + f = z, 0 = 3*u + f - 14 for u.
3
Let f(q) = q**3 + 4*q**2 - 2*q - 1. Let r be f(-4). Let x be (-2 + r)/(-2 - -3). Solve -3*c + 10 = 4*p + 23, 0 = x*p + 5 for c.
-3
Let g = 5 + -3. Let b be (-3 + 5)/g + -1. Let z(k) = k**3 - k**2 - k + 7. Let d be z(0). Solve 5*q - d = -2*l, b*l + 2 = l + q for l.
1
Suppose 3*n + 2*n = 20. Solve 4*c - 5*o = 2, n*o = -4*c - 5 - 11 for c.
-2
Let i(z) = z**2 - 3*z - 1. Let k be i(5). Solve 2*f - c = -3, -5*c = 2*f + k + 24 for f.
-4
Suppose 2*v + 2 = 0, k - 3*v = -2*k + 90. Let y be (4/(-10))/((-1)/10). Solve y*h + 3*j - 9 + 40 = 0, h + 5*j = -k for h.
-4
Let j be (-246)/(-42) + (-1)/(-7). Solve 4*y - 5*l - 8 = 0, -j = y - 4*y - l for y.
2
Let c = -12 - -24. Suppose -u = -4*k + 18, 0*u + 4*u + c = 4*k. Solve -h + x = 2*x - 1, 6 = h + u*x for h.
-4
Suppose 2*q - 4*i = 24, 4*q - i - 3 = -2*i. Solve -v - q*n = v + 2, 0 = -2*v + 2*n + 18 for v.
4
Suppose u = m - 7, -u - u = 5*m. Suppose 0 = 4*v - 0*v - 16. Suppose -2*j = -j - v. Solve 3*x = j*a + 29, m*a + 1 = -x - 6 for x.
3
Let y be ((-27)/(-6) - 1)*-2. Let u = 10 + y. Solve 3*c - 6 = u*g, -4*c + 6 = -3*c + 3*g for c.
3
Let v = -28 - -31. Solve -5*b = -3*u - 2*b + 6, v*u - 2*b - 