3, -l = 3*n + 5*x - 26 for n.
3
Suppose -5*f = -10*f + 15. Let a(s) = -2*s**3 + 4*s**2 + 0*s**f + 3*s**3 - 8*s**2 + 4. Let j be a(4). Solve 4*m + 25 = -5*p, -p - 3*p = j for m.
-5
Let z = 11 + -6. Suppose -8 = z*u - 28. Solve 2*x + 12 = 3*o + 6*x, o = 3*x + u for o.
4
Let a be 1 + 2*-2 + -3. Let p be (-10)/3*a/4. Let g = -1 + p. Solve -5*o - 4*s - s - 15 = 0, -3*o + g*s = 16 for o.
-4
Let q be -6*(-2)/(9 - 3). Solve b - 3*i = q*i + 26, -4*i = 2*b + 18 for b.
1
Let q = 0 - -2. Let p be (0/(-3))/(-4 + q). Solve -2*u - 3*y = 10, 0*y - 4*y - 16 = p for u.
1
Let b be 24/(-6)*1/(-2). Solve i - 6*i + 13 = 2*x, 0 = 4*i + b*x - 12 for i.
1
Let q be ((-2)/4)/((-1)/(-4)). Let v(r) = 7*r - 1. Let g be v(q). Let l be (-63)/g + 3/(-15). Solve -3*i = l*c - 0*i - 7, -3 = -3*i for c.
1
Suppose 2*l + 3*w - 3 = -0*l, 4*w - 11 = -5*l. Suppose x - 12 = -l*x. Solve -2 = -3*q + 4, x*c - 25 = -5*q for c.
5
Let g(n) = -n**2 - 2*n - 2. Let i be g(-3). Let d be (-6 - i)*6/(-1). Let w = d + 8. Solve v = 2*j, -2*j + w = -j - 4*v for j.
-2
Let a = -7 - -10. Let z be (37 - 1)/(-2 + 3). Suppose 5*m = 3*m + z. Solve -s + 10 = -a*w, m = -2*w - w - 3*s for w.
-4
Let r(c) = c**3 - 4*c**2 - 3*c - 6. Let m be r(5). Let o be (-1 - -7)/(6 - 4). Solve -5*p - 9 = -3*l, m*l - 11 = o*p + 5*l for p.
-3
Let s(z) = z**3 + 4*z**2 + 2*z + 2. Let a be s(-4). Let w be (-8)/(-6)*(-9)/a. Suppose -4*q = -0*q - 12. Solve w*n + 2*u - u + 2 = 0, 10 = -2*n - q*u for n.
1
Let s = 13 + -9. Suppose -h + 2*h = s*a - 66, -3*a = h - 53. Let p = -8 + a. Solve 5 = -v + 2*t, 3*v - 3*t - p = -5*t for v.
1
Let s = 26 - 21. Suppose s*r - 2*r - 15 = 0. Solve 0 = -r*y + 5*g - 30, 3*y = g + 4*g - 26 for y.
-2
Let n be -9 + (1 + -3 - -3). Let p = n - -20. Solve 3*j + 12 = -m, -4*j + p - 41 = -3*m for j.
-5
Let z = -14 - -3. Let k(c) = -c - 10. Let o be k(z). Solve 2*q + o = d - 1, -4*d = -3*q + 7 for d.
-4
Let z be 5 + -4 - (-3 + 0). Suppose -d - 15 = -z*d. Solve a - d*w = -3*a + 4, -4*a + 4 = -w for a.
1
Suppose -18 = -2*h - h. Suppose 3*t + 4*c = 26, -h = -3*t - c + 5. Solve -5*m + 3*v + 8 = 0, 5*m - 6 = t*v - v for m.
1
Suppose -2*j = -4*w - 22, -2*j = -w + 4*w + 6. Solve 2*p + j*b + 9 = 0, -3*p + b = -p - 3 for p.
0
Suppose -2*h - 4 = -10. Let v(k) = k**3 - 2*k**2 - 5*k - 1. Let g be v(4). Let s = g + -4. Solve 4*z + 3*l - 15 = 0, -4*l + s = 2*z - h*l for z.
3
Let m = 6 + -8. Let v(n) = n**3 + 3*n**2 + 2*n + 3. Let q be v(m). Solve 0 = 2*l - z - z, -q*l - z = 20 for l.
-5
Suppose 5*t = 2*t + 5*m, 4*m = -3*t + 27. Suppose 7 = 5*p + 4*s - 6, -3*p + 3 = 4*s. Solve 0 = -i + t*i + p*f + 5, -25 = -3*i + 2*f for i.
5
Suppose 0 = 2*h - 15 + 5. Suppose -h*q + 11 = -3*o, o + 4*o + 3*q = 27. Solve -3*c - 2*y + 5*y + o = 0, 5 = -4*c + y for c.
-2
Suppose -3*l + 2 = -2*r - 8, -2*l - r = -2. Suppose 3 = l*x - 5. Solve -6*o - 15 = -5*d - o, d - 2*o = x for d.
2
Let z = 23 + -3. Suppose -5*f = 4*b - z, 0 = 2*f + 2*f + 2*b - 16. Solve -f*n - t = -10, 0 = 3*n - n - 2*t for n.
2
Suppose 3 = 5*h - 7. Solve h*t - 5*i + 5 = 0, -6 = -5*i + 9 for t.
5
Suppose 0*o = -2*o + 2. Let f = 7 - o. Solve 5*p + d = 10, -3*p + f*p + 1 = -2*d for p.
3
Suppose t - 15 = -2*p, -2*p + 5 = p - 2*t. Solve p*z - 4*y + 25 = 0, 0 = -5*y + 4 + 21 for z.
-1
Suppose -6*n - 5*h = -n, -5*n - h + 20 = 0. Let c(k) = -k**3 + 10*k**2 - 9*k + 3. Let t be c(9). Solve 16 = -2*l - t*o + 6*o, -l = -n*o + 22 for l.
-2
Suppose 27 - 7 = 4*w. Solve w*r = -4*y + 7 - 22, -2*y - 4*r = 12 for y.
0
Suppose -i + 0*i = -3. Suppose 7*p - i = 6*p. Solve -4*n + 6 = -5*w - 16, -5*w + p*n - 19 = 0 for w.
-2
Let s(d) = -d**2 - 8*d - 9. Suppose 5 = 5*m + 35. Let i be s(m). Let n be ((-3)/9)/((-3)/36). Solve f + 2*c = -i, 0 = -f + 3*f - n*c - 26 for f.
5
Let g be 3/(-1 - (-4)/2). Suppose -21 + 2 = -r - 4*f, -2*r + 5*f - 14 = 0. Solve -4*z + r = 2*u - g, -7 = -4*z - u for z.
2
Let g be ((-6)/(-4))/((-7)/(-14)). Let r be 0/g*(-3)/(-6). Solve -2*h + r = -3*m - 14, 19 = 3*h - 4*m for h.
1
Let i(r) = 20*r**3 + r**2 - 2*r + 1. Let z = 13 - 12. Let p be i(z). Solve 2*c - 10 = 0, -p = n - 0*n - 4*c for n.
0
Suppose -5*h = -8 - 2. Solve 3*m - 2 = -2*g, -3*g - 5*m - 6 = -h*g for g.
4
Let m be (9/(-3))/((-3)/10). Solve 5*r + m = 5*s, 4*r = -3*s - s + 16 for r.
1
Suppose 2*j + 2*j - 8 = 0. Suppose -s + 2 = 3*f, -f - 13 = 2*f - j*s. Let r be f + (-10)/(2*-1). Solve 6*v + 21 = -4*u + 3*v, 3*u - 3 = r*v for u.
-3
Suppose -4*p + 3*q = -153, 0 = -4*q - 0*q - 12. Let n = p - 26. Suppose -4*r + 2 + 10 = 0. Solve -r*u + 6*g + n = g, 2*u - 2*g = 0 for u.
-5
Suppose -2*l + 75 = 5*b - 3*l, 5*l = -3*b + 45. Let k be (54/b)/((-4)/(-30)). Let r be (-6)/k + (-76)/(-18). Solve -5*t = -w + r, -4*w - w + 20 = 3*t for w.
4
Suppose 0 = u + 3*u + 2*g + 10, u - 3*g - 8 = 0. Let n be 19 + -3 + (1 - u). Solve -b + 0*x - 2 = -x, 5*b = -3*x - n for b.
-3
Let d(t) = -5*t. Let b be d(1). Let l = b + -1. Let n = -4 - l. Solve -i = -n*x - 3*i - 10, -i = 2 for x.
-3
Let p be ((-1)/4)/((-6)/96). Solve -p*s = b - 3*b + 20, -3*s - 4*b - 15 = 0 for s.
-5
Suppose -s + 9 = 2*s. Let m(z) = -8*z - 4. Let r be m(-3). Let c(v) = v**3 - 2*v**2 - 4*v - 4. Let k be c(4). Solve -5*a + 4*f = -f + r, -k = s*a + 3*f for a.
-4
Suppose 21 = 7*y - 4*y. Solve 4*r = 0, 5*v - r + y = -3 for v.
-2
Suppose 43 - 193 = -6*g. Solve -5*u = -4*p + g, 4*u - p + 24 - 4 = 0 for u.
-5
Let k = -15 + 19. Solve -3*y - z = -4*y, 0 = y - k*z for y.
0
Let x = -4 + 8. Solve -m + 0*m - 15 = -x*q, 0 = 5*q + 2*m - 35 for q.
5
Let g = 13 - 12. Let l be (g + 1)*18/12. Solve -o + 7 = l*q, -5*o + q = -0*q - 3 for o.
1
Let l = 4 + -1. Let z be (-15)/(-10) - (-3)/(-2). Solve z*t + l = -t - m, 12 = -5*t - 2*m for t.
-2
Suppose 9 = 3*b - 0*b. Suppose y = b*i - 40, 0 = 2*i + 2*i + 3*y - 75. Let g be 6/i + 4/(-10). Solve 2*a = 2*k + 6, g = -k - 0*k + 5*a - 7 for k.
-2
Suppose 0 = 3*n - 8 + 2. Suppose 3*t + 5*u + 0 = 12, 0 = -u. Solve -2*m - 5*h - t = n*m, -3*m + 3*h = 3 for m.
-1
Let y = -3 - -3. Let b be 6/2 - (1 + y). Suppose 5*u - 24 = -n, u - 16 = -u - b*n. Solve -u*p - 22 = 3*z + 3, 0 = -p + z - 1 for p.
-4
Suppose q = -c + 4, q - c = 6*q - 4. Solve q = -4*u - 2*z - 18, z = -5*u - 3*z - 21 for u.
-5
Let m be 1*12*5/15. Let r be m/(-2) - -3*2. Solve 5*t - 6 = -r*b - 3, -2*b - 5*t + 9 = 0 for b.
-3
Let y = 8 + 0. Suppose 5 = -z + y. Solve -z*c + c + 2*p = 6, -c + 5*p = -1 for c.
-4
Suppose -v = -2*v + 4. Let s be 7/v - (-4)/16. Let a(f) = -f**3 + 4*f**2 - 2. Let u be a(s). Solve 2*k + 2*k + u = 5*z, -4*z = 5*k - 13 for z.
2
Suppose 0 = 6*u - 7*u - 3. Let m be u + 12*(-1)/(-2). Solve z - 5*d + m = 0, -5*z - 2*d - 5 = 10 for z.
-3
Suppose m = -2*m. Suppose m = 3*h + h - 12. Solve 0 = h*w + 11 - 2, 4*x = 5*w + 15 for x.
0
Let m = -4 + 4. Suppose -29 = -2*g + 5*f, -3*g - f + 1 = -m. Solve 6*c - c - 6 = -g*l, 4*l = -8 for c.
2
Let k(o) = 3*o + 16. Let c be k(-4). Solve 3*i = z - 16, 5*z - 2*z = -2*i + c for i.
-4
Let c(n) = -n**3 - 6*n**2 + 2*n - 10. Let x be c(-7). Solve -7*w + 2*w - 2*s = x, 1 = 3*w - 2*s for w.
-3
Suppose -30 = -5*k - k. Let c(a) = -2*a + 1. Let y be c(-2). Suppose -5*v - 20 = -0*v + 5*d, 3*d = -5*v - 12. Solve -3*l = -v*l, -k*o = -y*l for o.
0
Let k be -4 + 2 - (-33)/11. Let j be k/2*(-20)/(-5). Solve -4*h + 4 = -d, j*d + 4*h = 8*h - 4 for d.
0
Let k be 2/((-4)/(-10))*5. Suppose -3*q = -2*f + k, 5*q + 4 = -4*f - 1. Solve -12 = 3*p, 0 = -3*z + f*p - 14 + 37 for z.
1
Suppose -6*m = -4*m. Suppose m = -p + 2*p - 10. Solve -20 = -5*r - a, -5*r + 6*a - p = a for r.
3
Suppose 20 = 3*c - 10. Let j be (-10)/(-1)*5/c. Solve 3 + 2 = j*y - 5*a, -4*y + 13 = 5*a for y.
2
Let p(z) be the third derivative of z**5/60 - z**4/8 - z**3/6 + z**2. Let b be p(4). Solve m = -5, b*q - 2*m = 31 - 12 for q.
3
Suppose 0 = 4*x + 4*r - 28, -5*x - r = -2*x - 17. Let c be ((-4)/6)/((-24)/108). Suppose -22 = -5*f + c. Solve 3*s = -z, 3*s = f*s + x*z for s.
0
Suppose -4*v = -0*v. Suppose v*r = -2*r + 2. Solve -c + 3 + r = 2*m, -20 = -4*m + c for m.
4
Let z(k) = -k**3 + 4*k**2 - 2*k - 1. Suppose -2*t - 8 = -4*t. Suppose 1 = t*g - 11. Let n be z(g). Solve 3*a + n*m + 25 = 0, a + 35 = -4*a - 2*m for a.
-5
Suppose f + 8 = 3*f. Let r = f - 2. Solve 20 = r*m + 8*d - 4*d, 3*m + 2 = 2*d for m.
2
Let k be (-8)/(-16) - (-2 + 15/(-2)). Solve -5*n + 2*w - k = 0, -w + 5 = -5*n + 2*w for n.
-4
Suppose -7*y 