- 5*y = v, -5*y - 2 = x + 2*x for x.
1
Suppose 0 = -30*v + 34*v - 8. Solve -v*f - 5*d = -2*d + 8, -5*f = 5*d + 15 for f.
-1
Suppose -2*a + 9 = a. Suppose 0*u + 24 = a*u. Let w(y) = 4*y - 4. Let r be w(5). Solve -m = -4*i - r, 3*i - 3*m = u*i + 3 for i.
-3
Let p be (6 - 1) + 2 + -2. Let v(b) = -1 + b + 6 + 1 + p. Let o be v(-8). Solve -o*t - 7 = -5*u, 5*t - 5 = 2*u - 4 for t.
1
Suppose 0 = -q + 2*t + 4, 5*t + 8 = 3*q + t. Let g(z) = -z - 14. Let d be g(q). Let n be 2/3 + d/(-6). Solve -n*b + 2*b = -5*f, -b = -f for b.
0
Let k = 21 - 11. Let i = -1 + 3. Solve -17 - 2 = -3*c + i*b, -5*b - k = 5*c for c.
3
Suppose -27 = -8*p + 5. Solve -p*x - 2*v = 2, -x + 5*v = 2*v + 11 for x.
-2
Suppose -4 + 22 = 2*w. Suppose 0*d + w = 3*d. Solve 13 = -3*r - x, 2*r + d*x = -2 - 9 for r.
-4
Let a = 1 - -1. Let c be 0 + (6 - 9) - -5. Solve -a = -c*k + 2*w - w, -4*w - 16 = 0 for k.
-1
Suppose -2 = 2*v - 5*o - 38, -20 = -4*v - 3*o. Solve 2*h - v = 0, h + 1 - 4 = -m for m.
-1
Let b be (4/3)/(6/9). Let w(q) = 2*q**3 - 4*q**2 + 3*q - 1. Let y be w(b). Solve -y*f - 3 = m + 7, 0 = 5*m + 2*f + 27 for m.
-5
Suppose 0*z + 2*z = -18. Let y = 13 + z. Suppose 0 = 5*t - n - 15, 2*n = -4*t + n + 3. Solve t*l - 6 = s, -s + y*l = 2*s + 8 for s.
4
Suppose 4*v + 1 = 5. Let a = 5 - v. Suppose w - 2*w + a = 0. Solve 7 = 3*b + w*p - 1, -17 = -4*b + p for b.
4
Let t = 1 + 2. Suppose k + t*k = 12. Solve -k*d - 5*y = 0, 6*y - 2*y = 3*d for d.
0
Let p = 59 - 35. Let z be (2 - p/(-4)) + -3. Solve -2*o = -5*a + 18, 0 = -o + z*o + 3*a - 16 for o.
1
Let o(l) = 7*l**2 + l - 2. Let z be o(1). Solve -5*p = -4*g + 13, 0 = 4*p - 3*g + 2*g + z for p.
-1
Let u(a) = a - 6. Let i be u(10). Suppose -3*z + 12 = z. Let m be z + 6/(-3) + i. Solve m*b + 4*f = f + 5, 36 = 4*b - 4*f for b.
4
Let i be (-10)/(-3) - (-3)/(-9). Suppose -4*z + 1 + i = 0. Solve -3*a + 24 = -4*f, a = -3*a - 5*f + z for a.
4
Suppose 4*i - 6*i = -8. Solve -2 = -f + 2*k, f + i = k - 5*k for f.
0
Let t(n) = -n**2 + 10*n - 9. Let i be t(6). Solve -5 = -g + 2*h, 3*g - i = h - 0 for g.
5
Let w = -22 + 38. Suppose -2 + 0 = 2*u - c, w = 4*c. Let q be 2/1 + u + -2. Solve 5*z + 4*n + q = -0*n, -z + 4*n - 5 = 0 for z.
-1
Let k = -2 - -2. Solve 3*r - i = 7, -r + k*r = 4*i + 2 for r.
2
Let d = 20 - 9. Let n(f) = -f + 24. Let p be n(d). Solve 3*v + 31 = -5*u, 0 = -4*u - v - p - 9 for u.
-5
Let w = 0 - -4. Let f(r) = 0*r - w - 4 - r. Let n be f(-8). Solve a + 2*c = 3*c - 5, n = -4*a + c - 17 for a.
-4
Suppose 0 = -8*x + 68 + 28. Solve 0*l - 4*t = 4*l - x, 3*l - 9 = -t for l.
3
Let n = -12 + 23. Let h be (2*(-1)/(-2))/(-1). Let r be 7/1 + (-2 - h). Solve -3*m = -r, -2*f - n = f - m for f.
-3
Let u(t) = t**2 + 8*t + 1. Let v be u(-7). Let f = 8 + v. Let c = f - 0. Solve -c*y = -4*n + 6, 0 = -y - 0*y - 3 for n.
0
Let f = 3 - 10. Let j be 1 + -1 - (f - -2). Let n(p) = -p**3 + 6*p**2 - 4*p + 7. Let c be n(j). Solve -4*h - c = -4*x, 0*x = -2*x - 3*h - 19 for x.
-2
Let n be 0/1 + 16 + -9. Let v = n - 4. Suppose l + v = 3*w - 0*w, -5*l - 3 = -3*w. Solve -3*i + 4*i = 4*a + 11, -5*i - a - 29 = l for i.
-5
Suppose 4*d + 19 = -13. Let m be (d/(-14))/((-8)/(-28)). Solve 11 = 4*f - a - 0*a, -m*a = -3*f + 7 for f.
3
Suppose 2*z + 4 = 3*z. Let l(c) = z*c - 1 + 2 - 3. Let b be l(2). Solve b*v = 2*s + v + 10, -5*v = -20 for s.
5
Let h = -6 + 14. Suppose 0 = -4*v - h - 24. Let g be (-54)/(-4) + 12/v. Solve x + x = -4*y - 26, 3*y - x = -g for y.
-5
Suppose 0 = -9*x + 4*x + 15. Solve q + 16 = -x*s, -5*q + q - 5*s = 29 for q.
-1
Let s = -39 - -56. Let o = s - 12. Solve -5*b + 5*a = -2*b - 15, -2*a = -o*b + 25 for b.
5
Suppose -u = -3 - 2. Let w = u - 1. Let o be 1 + w + 1 + -2. Solve o*i + 7 = p, 0*i - i = 2*p + 4 for p.
-1
Let q = -44 - -49. Solve q*y - h + 0*h - 11 = 0, 5*y = 5*h + 15 for y.
2
Suppose -2*n - 2 = -8. Suppose 2*i = 13*i - 44. Solve 0*u + n*u = i*c - 12, 0 = 5*c for u.
-4
Let x = 20 + -12. Suppose 0 = 5*u - x*u. Solve -3*o - 2*c + u*c + 1 = 0, -5*o - 3*c + 2 = 0 for o.
1
Let h = -7 + 11. Let y = -77 - -82. Solve h*j = j - y*t - 9, -2*t = 3*j for j.
2
Suppose 0 = 5*x + 3 - 13. Solve 10 = 5*k, x*k = -3*g - 3*k + 16 for g.
2
Let i be (1 - (-42)/9)*-3. Let l = i - -20. Solve -y + 5 = -l*o - 2, 5*o + 10 = 0 for y.
1
Let h = -8 - -7. Suppose -s = -5*r - 25, -4*r + 2*s - 8 = 18. Let z be h/r + 3/(-12). Solve f = -0*b - 5*b - 8, z = -4*f - b - 13 for f.
-3
Let c(f) = 5*f - 2. Let r be c(3). Suppose -2*z = -r - 15. Solve 4*u + t = 2*t + 16, -2*t - z = -2*u for u.
3
Suppose -d - 4*d = -10. Let g(r) = -r**2 + 2*r. Let v be g(2). Let h = 6 - 1. Solve v = d*w + h - 3, -q - 4 = 2*w for q.
-2
Suppose -4*d + a + 12 = 0, 7*d + 5*a + 14 = 4*d. Let f be 2*(0 - (-3 + d)). Suppose -f*r = -0*r. Solve 5*i + q + 4*q + 40 = r, 4*i - 4*q = 0 for i.
-4
Let h = -4 - -6. Let n be (-48)/(-21) - 2/7. Let j(v) = v**2 - 5*v + 9. Let c be j(4). Solve t + t + 6 = n*b, -c*t = -h*b + 9 for t.
-1
Let k = 2 - 3. Let x = k - -3. Solve 4*n = -10 - x, a + 2*n = -7 for a.
-1
Let k be ((-28)/4 + 4)/(-1). Solve 2*i = 3*l + 12, -2*i - k*i + 21 = -3*l for i.
3
Let h(d) = -d**3 + 10*d**2 + 11*d - 7. Let b be h(11). Let x = 12 + b. Solve 3*t + 15 = -2*n + 5, -3*t = -x*n - 4 for t.
-2
Let c(v) = -v**2 - 11*v + 3. Let f be c(-11). Suppose 4*s + f*h = 21, 4*s + 5*h - h - 20 = 0. Solve 3*g - 3*l + s = 0, 0 = -g - g + 4*l + 2 for g.
-5
Suppose 2*p = -2*p + 20. Suppose -35 - 25 = -p*l. Solve 2*i + l = 4*w, -i - 2*i + 14 = 2*w for i.
2
Let k(z) = -z**2 - 6*z - 3. Let b be k(-5). Suppose 5*q + b = 7. Suppose -q = a - 5. Solve -4*i - 5*h = -0*h + 41, -a*i = -2*h + 6 for i.
-4
Suppose 2*c + 6 = 3*k, -4*k = -5 - 3. Suppose 3*p - u + 5*u + 3 = 0, -u - 3 = c. Solve 0*m + 5*i = -p*m + 2, -3*i = m - 2 for m.
-1
Let z be (-12)/15 - 70/(-25). Solve -z*k + 2*p - 2 = -0*k, -p - 2 = 2*k for k.
-1
Let m(q) = -q - 14. Let l be m(-15). Let n be 9 - (l + -5 + 8). Solve 4*k = n*g - 0*k - 21, 2*g - 7 = 3*k for g.
5
Suppose 20 = 5*m - 0. Suppose 0 = -0*f - 2*f + m. Solve 5 = -5*z - 2*b + 24, f*z - 16 = -5*b for z.
3
Suppose -17*l - 10 = -22*l. Solve l*z = 4*g - 4, 4*g + 25 = -5*z - g for z.
-4
Let w = 21 - 19. Solve -2*m + 16 + 4 = 4*a, -17 = -w*m - 3*a for m.
4
Let z be (2 - 0)*15/6. Solve -v - 3*q = -z, -3*q + 8 - 28 = -4*v for v.
5
Let f = 14 + -10. Suppose 3*z - 23 = t, z - t - 7 - f = 0. Solve -1 = a + 2*d - z, 4*a = -2*d + 14 for a.
3
Let m = 9 + -5. Solve m = -4*d - 3*c - 11, c = -4*d - 13 for d.
-3
Let s(z) be the third derivative of z**4/6 - z**3/6 + 2*z**2. Let a be s(1). Solve -a*v - 3*m - 9 = -m, 5*m = v + 3 for v.
-3
Suppose 5 = 3*t - 10. Suppose -4*r + 14 = -4*x - 6, r = -3*x + t. Solve 5*q + 1 = -6*a + 4*a, -5*a + 10 = x for q.
-1
Let c be (-2 + (-15)/(-9))*12. Let v be (c/10)/((-14)/35). Let g = 7 + 2. Solve -3*l - g = -2*h, -13 = -2*h + 4*l + v for h.
-3
Let v be 6/(-10) + (-143)/(-55). Solve 0*x - t = -5*x + 6, -5*x = -2*t - v for x.
2
Let u(v) = v**3 + 11*v**2 - 13*v - 10. Let r be u(-12). Solve -4*f + r*i = -18, 3*f + 4 = 5*i + 21 for f.
4
Let z(l) = -l**2 - 2*l + 1. Let t be z(-3). Let s be -3*t/(-12)*-10. Solve -30 = -3*q + s*b, -q - 4*q - 3*b + 16 = 0 for q.
5
Suppose -u - 3*l = -19, -2*u + 33 = 5*l - 0*l. Solve -8 = u*q, 2*q = -2*w - 2*q - 4 for w.
2
Suppose -2*t + 33 = 13. Let s = 10 - t. Solve -l - 3*u + 8 = -s*u, -3*l + 14 = 4*u for l.
2
Let h = -3 - -8. Suppose 5*r + 4 = -y - y, h*y = 3*r - 10. Solve -4*b - 7*t + 2*t = -7, -3*b + 2*t - 12 = r for b.
-2
Let o(k) = -k**3 + k**2 - k + 6. Suppose -4*v - v = 0. Let w be o(v). Solve -t = t - 4*u, 0 = -3*t + 3*u - w for t.
-4
Let d = -10 - -19. Let j = d - 4. Solve -4 = -2*u + 2*w, -u + j*w = 3*u - 8 for u.
2
Let w = -136 - -140. Solve 7*o - 3*o - 11 = -3*a, -2*a + w*o = -14 for a.
5
Suppose -3*m = -6*m. Let t be ((-3)/3 - -2)*10. Solve -6 = -3*a, m = -3*g - 4*a + 24 - t for g.
2
Let z = 10 + -4. Suppose -4*g = -7*g - z. Let l(j) = -2*j. Let f be l(g). Solve -3*s + 1 = 2*d - f, -5*d - 16 = -2*s for s.
3
Let x be 1*-2*21/(-14). Suppose -a - 13 = 4*u - u, x*a + 14 = -4*u. Solve -3*w + 5*k - 12 = 8, 2*w - 8 = -a*k for w.
0
Suppose 0 = 2*k - 3 - 13. Let x be (-1 + (-2)/k)*-4. Let c(v) = v - 5. Let w be c(x). Solve 4*q - o = 4, -3*q + 0*q - 5*o + 3 = w for q.
1
Let i = -52 + 57. Solve -3*c = -i*r - 6, 5*c + 16 + 2 = -r for r.
-3
Let t(u) = u**3 + 3*u**2 - 3*