= -3*n - 6 + 15, -d = 3*m - 2*n for m.
-2
Suppose d - 8 = -d. Solve -a - 7 + 3 = -5*g, -a = -2*g + d for a.
-4
Suppose -13*t = -8*t - 15. Solve -7*p - 5*g + 13 = -t*p, -2*p - 11 = -g for p.
-3
Let l = -64 - -66. Solve -5*b = l*u - 3, -4 = -5*b - 5*u + 11 for b.
-1
Suppose -5*w - o + 2*o + 18 = 0, 0 = w - 2*o. Solve -4*j + 17 = 4*c - 7, -j = -w*c + 14 for c.
4
Let o = 11 + -17. Let m = 4 + o. Let c be m/(-6)*18/3. Solve c*y = 5*b + 10, -b + 5*b = 0 for y.
5
Let s = 26 - 12. Solve s + 11 = 5*w + 5*v, -w = -5*v + 1 for w.
4
Let p(q) = -2*q - 6. Let m be p(-6). Suppose -5*b = 5*k - 295, 0 = 4*b - 6*b + 5*k + 139. Suppose -20 + b = 2*z. Solve 3*t + z = 3*a, a - 11 - m = 3*t for a.
2
Let m = 4 - 0. Let s(o) = o**2 - 5*o + 4. Let h be s(m). Solve h = -2*z - n + 3 + 1, -5*n + 20 = -2*z for z.
0
Let f(u) = -u**3 - 4*u**2 + 3. Let k be f(-4). Let z = -96 - -98. Solve 0 = z*r - 2*i + 2, -2*r + k*r - 9 = -4*i for r.
1
Let u be 5/(3/3 + 0). Solve -20 = 2*s - u*b, -2*s - 3*s + 2*b = 29 for s.
-5
Let h be (-322)/(-77) - (-4)/(-22). Let r = -4 - -14. Solve 5*i = 5*b + r, 0 = -i + h*b + b + 14 for i.
-1
Suppose f + 3*v = 0, 0*f + 8 = 4*f + 4*v. Solve -10 = -2*h - s, 0 = -h - s + 4 + f for h.
3
Let r = 90 + -66. Solve -4*f - v = r, 3 = 5*f - 8*f + 3*v for f.
-5
Let z = 24 + 5. Let j = -40 + z. Let f = -8 - j. Solve -2*u + 14 = 4*x, -6 + 3 = f*x - 3*u for x.
2
Let u be (-36)/16 + (-9)/12. Let d(k) = -k - 2. Let j be d(u). Solve -b + j + 2 = 0, 6 = -3*m + 3*b for m.
1
Let t(b) = 3*b - 1. Let g be t(3). Let y = g - 5. Suppose -67 = -5*m + 38. Solve -5*p - y = -2*x - m, -10 = 2*x - 3*p for x.
1
Let c = 20 + -8. Suppose -c = -3*b - 0*b. Solve p - 7 = z + 5*p, -z = -b*p - 17 for z.
5
Let a(r) = r**3 + 7*r**2 - 7*r + 11. Let l be a(-8). Suppose v + 10 = l*v. Solve -i - 4*i - 10 = 2*n, 15 = -3*n - v*i for n.
-5
Suppose -4*b = 3*x - 24, 5*b - 23 = 3*x - 5*x. Solve 10 - 2 = -2*u - a, -5*a + 16 = -x*u for u.
-4
Let b be 1 + (0 - -3) + 0 - -18. Let z(x) = -x**3 - 5*x**2 - 6*x - 5. Let f be z(-4). Solve 5*k + w = -b, 2*w + 14 = -f*k + w for k.
-4
Let r(j) = 4 - 3*j + 2*j**2 + j - j**2. Let d(i) = i**3 - 4*i**2 + 3*i - 6. Let f be d(4). Let n be r(f). Solve -5*w = -4*t - n, -w + 4*t = -3*w for w.
4
Let f = -3 - -3. Solve 5*g = 2*a + 2*a - 20, 4*g + 4*a - 20 = f for g.
0
Let k(z) be the third derivative of z**4/24 + z**3/3 - 2*z**2. Let g be k(0). Suppose 2 = g*b - 26. Solve -b = 2*p + 5*f, 0 = -2*p - 0*f - 2*f - 2 for p.
3
Let f(r) = 2 + 8*r + 10 - r**2 - 6*r**2 - 4*r**3 + 3*r**3. Let m be f(-8). Solve -2*d - 17 = -3*h, -2*d - h + 3*h - m = 0 for d.
-1
Let c be -4*(2 - 11/4). Suppose q - c + 1 = 0. Solve q*w + 2 = 0, 0*w - 3*w = 3*o for o.
1
Let s(r) = r. Let w be s(3). Solve -w*h - 3*d = 6, -3*h - 18 = -0*h - d for h.
-5
Let w be (2 + -1*3)*0. Suppose 3*u + 3*h + h - 11 = w, -h = 1. Suppose 12 = u*i - 2*i. Solve 4*p = -5*a + 6, -3*a + i = 3*p + a for p.
4
Let a(g) = -g**3 + 7*g**2 - 5*g + 6. Let v be a(5). Let r = v + -30. Let q(b) = b**2 + 1. Let z be q(-2). Solve 4*d = z*p + 2 + r, -4*p - 3*d + 10 = 0 for p.
1
Suppose -2*v = -p + 4, 3 = -p + 2*p - v. Solve -4*f + 3*r - 11 = -0*r, -p*f = r - 7 for f.
1
Suppose 3*i - 66 = z - 3*z, 0 = 5*z - 2*i - 127. Let f be 129/z + (-12)/(-54). Solve -3*w + 25 = -4*p + f, -2*w - 2 = 5*p for p.
-2
Suppose 12 + 0 = 3*p - 2*t, 5*t = -p + 4. Solve 0 = p*z - 16, l = -2*l - z + 7 for l.
1
Suppose -4*r + 4 = -2*r. Suppose r*v - 2*n = 3*n - 4, 5*v = -4*n + 23. Solve 4*x + 16 = v*u, -5*x + 4 = -3*u + 21 for u.
4
Let p be ((-30)/(-8))/((-12)/16 + 1). Solve -5*y - 5*u - p = 0, -3*y = 2*u + 3 + 1 for y.
2
Suppose -3*w + 22 = -2*j - 61, w + 4*j = 23. Solve 2*t + w = -g - 3*t, -5*g - 5*t - 35 = 0 for g.
-2
Suppose -6 = x + 2*x. Let r be 5 - (x/(-2) + -2). Suppose k = -5*m + 14, 0 = 2*m + 2*k + r - 18. Solve m*f + 0*f = a - 1, -2*a - 3 = f for a.
-1
Suppose -61 = -2*v - 19. Solve 5*u - 2*a = -v, 0 = 7*u - 3*u - 4*a + 24 for u.
-3
Suppose 2*s = 5*h, 0 = -3*s - 2*s - 5*h + 70. Solve -s = -q - 2*m, 3*m = -3*q + 9 + 9 for q.
2
Suppose -5*m + 19 = p + 2*p, 2*p = m - 9. Solve -20 = 3*o + 5*t, -20 = -2*o - 0*o + m*t for o.
0
Suppose 15 = 4*w - 9. Let n = w + -3. Solve 5*c - 9 = 2*c - 3*v, 0 = 5*c - n*v - 31 for c.
5
Let k = 69 - 61. Solve 4*i = 2*y - 0*y + k, 2*y + 9 = 5*i for y.
-2
Let z be -1*(16/1)/2. Let o = z + 13. Solve 3*b + 8 = -4*u, o*b + 26 = -4*u + 10 for u.
1
Suppose -q - 4*v = -2*q - 4, -2*v + 2 = 2*q. Solve -7*d + 3*d - y - 5 = q, d + 2*y + 3 = 0 for d.
-1
Let n(t) = -t**2 + 5*t + 5. Let j be n(5). Suppose -j*x = -6*x + 4, 8 = -o + 4*x. Solve 2*c + 4*d = -o, 4*c + d + 9 = -0*d for c.
-2
Let l(v) = -v**3 - 12*v**2 - 21*v - 7. Let t be l(-10). Solve -3*j - g - t*g = -26, 2*j = g - 1 for j.
2
Suppose -8 - 8 = -4*y. Solve 0*i + i + 2*x = 12, -y*i - 4*x = -32 for i.
4
Suppose w - 8 = -w. Suppose -j + 1 = f - 0, -16 = -w*f - j. Solve -24 = -0*n - n - 4*p, -f*n - p = -25 for n.
4
Suppose 0 = -4*n + 4*c - 4, -3*n + 5 = 4*c - 6. Solve -v = -2*o + n, 8*o = -4*v + 3*o + 9 for v.
1
Let l be 5 - (3 - (-9)/(-3)). Let j = l + -2. Suppose j*f - f = 0. Solve g - 5*n + 22 = f, 2*g = 3*g - n + 2 for g.
3
Let v(w) = 5*w**2 - 1. Let h be v(-1). Suppose 4*x - 51 + 11 = 0. Solve -g - g = -h*c + x, 0 = 4*c - 4*g for c.
5
Suppose 0 = -2*b + 6*b - 44. Let k = 14 - b. Solve v + p = 2*v - 1, k*p = -5*v + 13 for v.
2
Suppose -2 = -2*f + 2. Let n(s) = s - 4*s**2 + 0*s**2 + 5*s**2 + f + 1. Let t be n(0). Solve 1 = 2*h + t*l - 3, h = -4*l - 3 for h.
5
Let t(y) = y**3 - 8*y**2 + 8*y - 5. Let k be t(7). Suppose 8 = 5*c - k. Let o be (5/2 + -1)*4. Solve 2*n = -n - i - 17, c*i = n - o for n.
-4
Let f(x) = 18*x**2 - x - 1. Let j be f(-1). Let c(i) = -4*i + 37. Let l be c(8). Solve -l*s - 2 = n - 10*s, -j = -5*n - 3*s for n.
3
Let j(r) = r**2 - 4*r - 1. Let i be j(2). Let p(m) = m**2 + 5*m + 5. Let c be p(i). Suppose 1 = 3*q - 8. Solve 4*k + 4 = -2*z, q*k + c = -z - 0*z for z.
4
Let b(x) = -4 + x + 1 + 4. Let f be b(3). Solve f*c - k + 3 = -0, 26 = -3*c - 4*k for c.
-2
Let s = 30 + -28. Let d be (0 - -1)*3/1. Solve 2*f + s*f = 3*x + d, 3*f - 4*x - 4 = 0 for f.
0
Let s be ((-8)/10)/(2/(-5)). Solve -3*n + 12 = z, -3*z + s*z = 4*n - 16 for z.
0
Let h = 150 + -146. Solve 0*o + 12 = -f - 3*o, -6 = h*f - 2*o for f.
-3
Let m = -6 + 4. Let f be (-3 - -4)*(-4)/m. Solve 2 = -f*k - 4, -2*y + 7 = -5*k for y.
-4
Let t be ((-1)/1)/(3/(-48)*2). Solve 5*g + 20 = 2*n, 2*g + 8*n - 3*n + t = 0 for g.
-4
Let g(x) = 2*x + 10*x + 0 + x**2 + 6 + 5. Let z be g(-11). Solve -3*j + 3*r = z, 4*j = j + 2*r + 4 for j.
4
Suppose 6*z - 5*z - 15 = 0. Let f = z - 2. Let j = 0 + f. Solve -12 = -3*i, q + 5*i - 5 = j for q.
-2
Let v = 5 - 5. Suppose v = -3*g + 5*g. Suppose g = -2*s + 6 - 2. Solve 5*j + s*t - 9 = 0, t = -3*j - 2 + 7 for j.
1
Let f = -30 - -32. Solve -3*t - 20 = -v, 0*t - 3*v = -f*t - 25 for t.
-5
Suppose o + 14 = 4*o - 2*n, 5*n + 20 = 0. Solve -o*h + 6*h = 4*a + 8, -5*a + h = 10 for a.
-2
Let k = 24 - 22. Solve -3*c = -k*t - c - 12, 2*t - 3*c + 17 = 0 for t.
-1
Let u be (3/6)/(2/8). Suppose -u*s + 20 - 6 = 0. Solve s*c = 3*c - 20, -5*o + 5 = -2*c for o.
-1
Suppose -9*c = -5*c - 8. Solve -q - 9 = c*k - 0*q, k = q for k.
-3
Suppose 4*c - 120 = -c. Let j be (-15)/4*c/(-9). Solve 2*h = -2*x + 2, 2*h - j = -2*h - x for h.
3
Suppose -g = g - 10. Suppose y = 5*y. Suppose -3*k + 15 = -y*k. Solve -k*t - 10 = -f, -g*f + t = 4*t + 34 for f.
-5
Suppose 0*q - q + 3*f = 0, 3 = 3*f. Solve 19 = -5*o - q*c, -2*o + 2*c + 4 = -o for o.
-2
Let t be (-3)/6 - (-27)/6. Solve 3*l = j + l + 1, -2*j + 2*l - t = 0 for j.
-3
Suppose -5*n - 14 = -6*n. Let w = n - 11. Solve -w*h - 4*j = 7, -2*j + 7*j + 15 = -5*h for h.
-5
Let r be 7/((2 - 4)/(-6)). Solve 11 = -3*a + t, 4*t - r = 3*a + t for a.
-2
Suppose 0 = 3*b + 2*b - 10. Suppose -l + 4*l - 9 = 0. Let o(w) = -2*w + 32. Let n be o(10). Solve 4*p - z + 12 = -b, -l*z = -2*p - n for p.
-3
Suppose 5*p + 5*j = 20, 7 = 4*p + 2*j - 7. Let k(z) = -4*z + p*z**2 - 3*z**2 + 7 - z**2. Let t be k(-5). Solve -w = -3*g - 2*g - 18, 5*w + t*g + 18 = 0 for w.
-2
Let f be 20/(-6) + 6/(-9). Let v be 0/(4*f/8). Solve v = -3*k - x - 0 - 15, 15 = -3*k - 4*x for k.
-5
Suppose 3*x + 5 - 8 = 0, 3*d + 4*x = 10. Suppose -p = -2*p + 2. Solve d*k - p*s = 2*s - 24, -16 = 5*k + s for k.
-4
Suppose 2*h + 3*h 