- 13 = 4*k for k.
2
Suppose -6*t + 0 = -24. Let k be (20/(-25))/(4/(-50)). Solve -11 - 5 = 4*x - t*z, 3*z - k = x for x.
-1
Let b(q) = q + 5. Suppose o - 4 - 2 = -4*d, 2*o + 3*d = 12. Let s be b(o). Let i = 16 - s. Solve 4*p = -2*n + 8, -i*p + p = n - 8 for n.
0
Suppose -b + 0*b - 4 = 0. Let h be (-14)/b - 9/(-18). Solve 3*a + 16 = 5*j, -35 = -4*a - a - h*j for a.
3
Let c be (0 - -6)*(-3)/(-2). Suppose -6 = -2*t + t. Suppose -f = -3*v - 11, 0 = -v - v - t. Solve -1 = -4*g + z + c, -f = -4*g + 5*z for g.
3
Let j be (1/(-2)*-2)/1. Solve -3*r + j = 7, -2*r = 2*m - 2 for m.
3
Let l(u) = u + 4. Let j be l(10). Solve -q = 3*q + 2*h, -j = -5*q + h for q.
2
Let q be -5*(-1)/5 + -1. Solve q = -4*a + 4*c + 8, 2*c = 3*a - 0 - 1 for a.
-3
Suppose g + 13 = 4*o, 0 = o - 0*o + 5*g + 23. Let y = 5 + -3. Suppose y*c + 0*c = 0. Solve -4*w - 12 = c, 2*m - o*w - 7 = w for m.
-1
Let z = -31 + 48. Let t = z - 24. Let g = -4 - t. Solve 0 = -4*n - g*r + 14, 0*n - 4*n - 4*r = -12 for n.
5
Suppose -2*p = 2*p - 12. Suppose p*b = 2*b + 8. Solve d + a + 17 = 5*a, b = 4*d + 3*a for d.
-1
Let w be 36/30*(-20)/6. Let g = 6 + w. Suppose g*n - 3*b = -0*b - 3, 3*n - 3*b = 0. Solve -k + 2*i = -n - 5, -k = 2*i + 12 for k.
-2
Suppose -2*c - 1 = 3. Let m be (45/(-18))/(c/4). Solve -12 = -3*j, -5*j + 30 = -3*z + m*z for z.
5
Suppose 2*a = 2*n + 3*n - 77, 3*a = n - 18. Let i = 22 - n. Solve 5*u - s + 16 = 0, u - s = 3*s - i for u.
-3
Suppose 4*w = -3*i + 15, -4*i + 6 = 3*w - 14. Solve -i*x + 2*b = 35, -x = b + b - 5 for x.
-5
Let g be 0 + (15 - -1)/4. Suppose -h + 25 = g*l - 0*h, 0 = -4*l + 5*h - 5. Solve -35 = -4*d + 3*v, 0*d - 3*v = 4*d - l for d.
5
Let h(d) = d**2 - 2. Let z be h(2). Suppose 0 = -2*b + 23 - 1. Suppose -4*x + b - 2 = t, 2*t - 12 = -5*x. Solve -m - w = -7, -x*w - z*w + 14 = -3*m for m.
2
Let w = 10 + -7. Let l = -105 - -109. Solve -5*a = -w*o + 2 + l, 0 = -3*a for o.
2
Let p(u) = -u + 5*u + u + 5*u**2 - 4*u. Let x be p(-1). Solve 4*w - b = 0, 7*w - 2*w = -x*b for w.
0
Let s(u) = 9*u**2 - u + 1. Let n be s(1). Let c = n + -4. Solve -2*p + 5*h = -5*p - 37, -c*p - 3*h - 35 = 0 for p.
-4
Suppose 7*l - 9 = 4*l. Let t = 0 - -3. Suppose t*g = 5 + 7. Solve -l*p + 6 = 0, 2*p - 2 + g = -3*m for m.
-2
Let z be -12*-1*(-2)/(-6). Solve 3*s = -4*f + 2, 2*f = z*f - 5*s + 12 for f.
-1
Let s = 0 + 3. Suppose 5*g - 98 = g + 2*k, -s*g - 3*k + 96 = 0. Solve -g = -3*w - 4*u, -3*w = 5*u - 0*u - 30 for w.
5
Suppose 5*i - 12 = 3*i. Solve x = i*x, 4*y = 5*x - 12 for y.
-3
Let s = -25 + 30. Let i(t) = t**3 - 2*t**2 - t. Let k be i(2). Let z be ((-1)/(-2))/(k/(-52)). Solve 5*r - z = s*b + 12, -13 = -5*r + b for r.
2
Let d = -29 - -66. Let u = d - 24. Solve -2*w + 12 = 2*a, w - 3*a - 3 = -u for w.
2
Let f(w) = -w**3 - 8*w**2 - 7*w + 3. Let g(t) = -t + 3. Let o be g(10). Let h be f(o). Solve -4*r - h*i - 27 = -0, -5*r + 5*i + 10 = 0 for r.
-3
Suppose 7*l - 4*l = 12. Suppose 5*b - l = 4*b, o = 5*b - 15. Solve v - z = 4*v - 19, -o*v + 33 = 2*z for v.
5
Let r = 17 - 13. Solve 0*g = i - 5*g, -r*i - 17 = -3*g for i.
-5
Suppose -6*q + 9*q - 9 = 0. Solve 2*m = 2*a - 0*a + 6, -4*a + q*m = 7 for a.
2
Suppose -h + 4*h + 26 = 5*p, h + 2 = 0. Solve -3*g - t + 0*t = p, 2*g = 4*t + 16 for g.
0
Let k = -7 - 5. Let m be 4/2 + k + 0. Let d be (-46)/m - 16/(-40). Solve -3*i - d*h = 10, i + 7*h = 3*h - 1 for i.
-5
Suppose -7*k + 29 = 8. Solve 5*x + 24 = -4*b + k, x = 4*b + 15 for x.
-1
Let z(f) = -1 - f**3 + 7*f - 6*f**2 + 6 + 0. Let m be z(-7). Suppose -v + 4*v + 5*j + 9 = 0, 0 = v - 5*j - 17. Solve -4*q - 8 = k + 1, -9 = v*k + m*q for k.
3
Let a = 76 + -72. Solve a*u + h + 5 = -4*h, 0 = u - h - 10 for u.
5
Let s be 4/22 - (-48)/(-22). Let v(n) = n**3 + 7. Let l be v(0). Let h = s + l. Solve -k + 0*k - 4*r = -17, h*k - 16 = 3*r for k.
5
Suppose -2*i + 6 + 0 = 0. Solve 0 = -3*p + i*w + 6, -3*w - 6 = -0*p + 2*p for p.
0
Suppose -5*r - 2*g + 0 = -6, 2 = -g. Solve -13 = 3*h - 4*c, 2*h = 5*c + r - 13 for h.
-3
Let u(d) = -4*d**2 - 7*d - 4 - d + 2*d + d**3. Let o be u(5). Let l be o/2*(-4)/6. Solve 2*w + p = -l, 3*w + p = -2*p - 6 for w.
-1
Let s be (-2 - -3) + -1 - 0. Let l(r) = -r**3 - r**2 + 4. Let a be l(s). Solve -3*z + 7 = i, z - a*i + 18 = 3*z for z.
1
Let a = -7 + 11. Suppose -a = -3*w + w. Suppose 0 = -p - 4*v - 7 - 0, p - 4*v - 17 = 0. Solve p*c = -w*j - j + 4, -5*c + 8 = j for c.
2
Let s be ((-28)/21)/(2/(-30)). Solve 5*c + m = -s, -c + 2*c + 23 = -4*m for c.
-3
Let j be (-46)/(-115) - 2/5. Solve -2*f + 4*d + 14 = j, -3*d = 4*f - 0*d + 16 for f.
-1
Let h(p) = -3*p + 19. Let m(y) = 4*y - 28. Let t(v) = -7*h(v) - 5*m(v). Let s be t(-4). Let x = 5 - s. Solve -4*n + 2*d - 26 = 0, -3*n + 3*d - 22 = x for n.
-5
Let m(y) = y**2 + 1. Let n be m(3). Solve 2*x + 3*p + 13 = 0, 2*p = 2*x + n - 2 for x.
-5
Suppose -29 - 1 = -3*j. Let n = j + -7. Suppose 2*o = r + 36, 5*r = n*o - 0*o - 47. Solve -3*x - o = -v, 2*v - 2*x + 2 = 5*v for v.
4
Let l = -9 + 9. Suppose 3*z + 5*t = -l*z + 29, -4*z = -3*t. Solve 0 = -3*f - 4*k - 3, -3*f - z*k = -4*f + 12 for f.
3
Let a = 9 - 6. Suppose -a = 2*i - 5*g + 12, 5 = -i + 2*g. Let q = -19 - -29. Solve w = b + i, -w = 4*b + q - 5 for b.
-2
Let q be 2/((-16)/72*(-6)/10). Solve -q = -5*o - 4*g, 2 = -o + g - 4 for o.
-1
Suppose -13 = -5*y + 27. Suppose 5*c = -5*f + 35, 4*c + 5*f - 25 - y = 0. Solve 3*o = -5*s + 40, -s - 4*s = c*o - 35 for o.
5
Suppose 4*p - 5*p = -2. Let t be 1*(-1)/(-2)*(8 + 18). Solve p*c + t = -w, c + 13 = -4*c + 4*w for c.
-5
Let y be 34 + -15 + 0 + 4. Solve 2*f + 17 = 2*w + w, -y = 5*f - w for f.
-4
Suppose 0*j + 4*j = -44. Let z = j + 16. Solve 4*g = -4*b - 3 - z, 0 = -4*g + 4*b + 8 for g.
0
Suppose -2*d = 2*d - 100. Solve 4*k - 7 = 3*q, -5*q - 4*k = -d - 6 for q.
3
Let i(m) = m**2 - 5*m - 9. Let p be i(7). Solve -5*k + 21 = -2*b, 0 = -p*b + 2*b + 6 for k.
5
Suppose -4*b = -b - 9. Suppose -b*d = -14 + 2. Solve 0 = 3*q - 2*q - x, -4*q - d*x = -24 for q.
3
Let x be (-76)/(-13) - (-8)/52. Solve 0*l + x = i + l, 3*i - 22 = -5*l for i.
4
Let s be 20/30 - (-10)/3. Solve -4*v + 0 = p - 2, -4*v - 2*p + s = 0 for v.
0
Suppose 7 = d + 5. Suppose -5*q + 9 = -d*z + z, 3*z - 11 = -4*q. Solve -2*o = 2*n - 16, -n = 3*n + q*o - 24 for n.
4
Suppose -2*l - 4 + 8 = 0. Suppose -3 + 9 = l*p. Solve 0 = p*y - 6, 6 = s - 4*y + 13 for s.
1
Let m(c) = -c + 3. Let y be m(5). Let s be 2/y + -2 + 3. Suppose 0*w + 3*b + 24 = 3*w, s = 5*b + 25. Solve -2 = -x + z + 3, 2*z + 13 = w*x for x.
3
Let v(o) = o + 12. Let m be -3*(20/6 - 0). Let s be v(m). Suppose s*z = -z + 6. Solve -3*l = -r - z*r - 18, 4*r = -5*l - 15 for l.
1
Let j = 0 + 2. Suppose 6*s - 12 = j*s. Let p be (s/(-2))/(3/(-8)). Solve 4*r + 16 = 2*h - 7*h, 3*h - p*r = -16 for h.
-4
Let h = -93 - -97. Solve -w = 3*s - 3*w - 8, 0 = 4*s + h*w - 4 for s.
2
Let u = -13 + 22. Suppose -f = 2*f - u. Let s = 9 - 6. Solve 4*z + 0*v - f*v = 1, 4 = s*z + v for z.
1
Suppose 0 = 5*d - z - 29, 3*z = -8*d + 12*d - 32. Solve 0 = -3*c + d*u - 32, -4*u + 12 = -0*c + c for c.
-4
Let x(n) = -n**2 - 6*n - 5. Let o be x(-5). Suppose 0 = 2*p - o - 8. Solve -3*a = p*j + 10, a - 1 - 5 = j for a.
2
Let m(j) = -j + 2. Let x be m(-3). Suppose x*y = 2*y. Suppose 3*r - 5 - 13 = y. Solve h - 2*q - 10 = 0, 0 = 4*h - 2*q + r*q + 8 for h.
2
Let i(q) = -q**3 - 8*q**2 - 8*q + 3. Let k = -4 - -10. Suppose 0 = -k*g + 2*g - 28. Let y be i(g). Solve 5*c = 2*o - 16, -2*c - 5*o = -1 - y for c.
-2
Suppose 0*m - 7*m = -m. Solve -4*o - 4*y + 8 = m, y + 9 = -2*y for o.
5
Let n be -1 - (-8 + 3 + -1). Let p be (10/(-25))/(2/(-10)). Solve -p*s - b - 3 = 0, -4*b = -n*s - 0*b - 1 for s.
-1
Let k be (-31 + 1)*16/(-12). Solve 0 = r + 5, 4*f + r + 3*r = -k for f.
-5
Suppose -35 = -2*z - 3. Suppose t + s = -3, 0*t - 5*t - 4*s = z. Let y = t + 24. Solve 5*d + y = o, -3*o = -2*d - 4*o - 1 for d.
-3
Let v(a) = -a**3 - 6*a**2 - 3*a - 7. Let l be v(-6). Let o = -9 + l. Solve 2*k - o*g - 17 = g, 2*g + 10 = k for k.
4
Let n(y) = -15*y + 8. Let v(o) = 15*o - 7. Let k(a) = 4*n(a) + 5*v(a). Let l be k(2). Solve -4*w = -5*s - l, 2*w + s - 18 = 5*s for w.
3
Suppose -16 = 6*n - 10*n. Solve -4*j - 12 = n*a, -3*a + j = -4*j + 9 for a.
-3
Let l be -1 - (-5 - 0) - -2. Let t = -17 - -10. Let r = t - -11. Solve 3*h + 3*a + 1 + 8 = 0, -r*h = -2*a - l for h.
0
Let i = 14 - 11. Solve 3*g = 2*o + i*o - 40, 5*g + 