+ x, -3*x - z*v = 0 for x.
5
Let t be ((-54)/12)/(6/(-8)). Suppose 2*d - i - 9 = 0, t*i - 3*i = 4*d - 21. Solve 14 = -5*l + 2*g, 0 = d*l + g + 3*g - 2 for l.
-2
Suppose 0 = -5*m + 2*c - 6*c - 7, -2*m - 2*c - 4 = 0. Let u be (5 + 1)/(8/4). Let h be u + (0 - 3 - -2). Solve -q = 2*s - 3, -2*s - h*q = -m - 3 for s.
1
Suppose 0 = 3*a + 15, 2 - 57 = -5*o + 2*a. Solve -2*l - 1 = -5*q - 6*l, -q - 3*l = -o for q.
-3
Let k(l) = -2*l - 9 + 5*l + l - 6*l. Let o be k(-6). Solve 8 = -o*n + 2*v, -3*v - 7 = 7*n - 2*n for n.
-2
Let z be -2*(-1 + (-3)/6). Suppose 0*n - z*n = 36. Let u be ((-9)/n)/(1/4). Solve 0 = u*c + 2*l + 8, 5*l + 13 = 3*c - 7*c for c.
-2
Let k(y) = 15*y**3 - y**2 + 2*y - 1. Let v be k(1). Suppose -2*w - 5 = 9. Let o(j) = j**2 + 7*j + 5. Let n be o(w). Solve 4*b + t = -v, -5*t = -0*t - n for b.
-4
Suppose 3*g = 6*g - 15. Solve -q - g*z + 17 = -9, -16 = -q - 3*z for q.
1
Suppose -3*p - 2*w + 4 = 0, 5*p - 4*w = -5*w + 9. Let u(k) = -k**2 + 6*k - 3. Let i be u(5). Solve p*f = 5*x + 7, -3*f + 5 = i*x + 23 for f.
-4
Let x be (-86)/(-18) + 4/18. Suppose 9 = 3*a, -u = x*a - 4*a + 7. Let i be (12/15)/((-2)/u). Solve 22 - 62 = -5*v + i*g, -2*g = 4*v - 6 for v.
4
Suppose 0 = -18*c + 13*c + 15. Solve -v - c*v = -2*t - 24, 0 = 2*v + 2*t for v.
4
Let i(d) = -4 - 5 - 3*d**3 + 2*d**3 - 6*d**2 + 5 - 7*d. Let f be i(-5). Solve -3*u + 2*p = -f*u - 16, -2*p = -3*u + 4 for u.
-2
Let l be 7/(-4) + (-2)/8. Let i be (l - (4 + -3))/(-1). Let v(r) = r**2 + r - 5. Let s be v(-5). Solve 3*m = -5*p + s, -2*m + 9 = -m + i*p for m.
0
Suppose 4*a - 4*v - 11 = -3, -2*v = 3*a - 16. Let p be 1/2 - 54/4. Let b = p + 41. Solve -2*o = a*w + b, 0 = 3*o - 2*o - 2*w - 6 for o.
-4
Suppose -v + 11 = 4*p, -2*v + 1 = -5*p + 5. Solve -3*s + 5*r - 9 = 0, -4*s + 4*r = 2*r - p for s.
2
Suppose 0 = b - 3*b. Let u(t) = t**3 + 6*t**2 - 2*t + 3. Let h be u(-6). Suppose 0 = -5*k - 0*k + h. Solve -m - 7 = -4*x, b = 4*x - 8*m + k*m - 19 for x.
1
Let j be (1/4)/((-4)/16). Let i(n) = -4*n - 1. Let y(t) = -8*t - 2. Let z(c) = 5*i(c) - 2*y(c). Let v be z(j). Solve 8 = -o + d, -3*d + 0*d = v*o for o.
-4
Let z = -2 - -12. Let u = z + -7. Let y(t) = t + 1. Let x be y(u). Solve 4*i + 5*p + 0*p = 0, x*p - 21 = i for i.
-5
Suppose 2*r = -0*r + 6. Let i = r + -3. Suppose 32 = 4*a - i*a. Solve 5*k + 15 + 1 = 3*y, -3*y + a = -k for y.
2
Let f(o) = o + 9. Let h be f(-7). Let q(p) = p**2 - 2*p + 2. Let m be q(h). Suppose u = -m*t + 6 - 3, -2*t - 5*u = 17. Solve -l = -t*z, 0*z = 2*z + 2 for l.
-4
Let z(w) = -w**3 + 6*w**2 - 4*w - 4. Let u be z(4). Solve 0 = 2*j + f + u, -3*j + 2*f = -j for j.
-4
Let q = 6 + -1. Suppose 3*p = -l + q*l, -l = 4*p. Suppose -g + 2 = -0. Solve -r + 3 = p, 3*z - g*r + 3 + 6 = 0 for z.
-1
Suppose 4 - 20 = -4*p. Suppose 2 + p = a. Let q be 4/a - 6/9. Solve 3*j - n - 18 = -q, -5*j - 5*n = -10 for j.
5
Let f(x) = x + 6. Let i(q) = 1. Let o(l) = -f(l) - i(l). Let r be o(-12). Solve h - 24 = -5*n, r*h - 4*n + 2*n = 12 for h.
4
Let p be (-724)/(-18) - 18/81. Solve 0 = -5*g + 4*j + p, -4*g + 2*g - 3*j = 7 for g.
4
Let r(u) = -u**3 + u**2 + 9*u - 5. Let l be r(3). Solve 0 = -g + 2*p + l, g + 5*p - 3 = -3*g for g.
2
Let w(z) = -z**3 - 13*z**2 + 15*z + 19. Let o be w(-14). Solve -o*d + 5 = -3*l, l + 21 = -5*d + 6 for d.
-2
Suppose 2*f - 8 = -2*f. Suppose -f*o = -13 + 5. Solve -5*s + m - 9 = 0, 0*s + o*s + 9 = -m for s.
-2
Let w = 5 + -3. Solve 0 = -4*a + u + 1, -2*u - w = -a + 7 for a.
-1
Let k(m) = -8*m - 1. Suppose t = -0*t - 4. Let s be k(t). Suppose -d - 2*x - x + 13 = 0, -3*d - 5*x = -s. Solve 0 = 5*a + 4*f + d, f = a - 0*f - 4 for a.
1
Let g be (-1)/(2*(-3)/(-12)). Let h(b) = b**2 + 3*b + 2. Let n be h(g). Solve 4*s - 3*k + 0 - 7 = n, -5*s + 5 = -5*k for s.
4
Let h = -26 - -28. Let u(j) = j**2 + 6*j - 5. Let n be u(-7). Solve n*v = 3*p + 18 - 7, h*p + 6 = v for v.
4
Let f = 88 + -79. Solve 0 = 5*k - 2*t - 1 - f, 2*k + 3*t = 23 for k.
4
Suppose -3*z = -z - 6. Suppose 11 = 5*t + 2*n - 13, -5*n - 2 = -z*t. Solve 0 = -t*p + 16, q + 4*p = -q + 10 for q.
-3
Suppose -31 = -10*d + 19. Solve -d = 4*g + f, 2*f = -0*g + g + 8 for g.
-2
Let s(l) = -l - 6. Let j be s(-6). Let h be ((-6)/(-9))/(1/6). Let g be h*(1 - 0/(-2)). Solve j = 2*q - q - 5*i - 23, g*q = -2*i + 4 for q.
3
Suppose 0 = i - 3*f + 10, -i = 3*f - 9 - 5. Suppose 2*m - 6*m = 4. Let c be 0 + 1 + m + 5. Solve 0 = -5*n - 15, -c*h - i*n - n = 14 for h.
-1
Let i = -3 - -13. Solve 0 = -2*r - 3*r - d - i, 0 = d + 5 for r.
-1
Let p = 13 - 8. Let w = -1 + 3. Suppose 3*k - 4 = -u + w, 6 = 3*k + 4*u. Solve 2*h = -3*t + p, 3*h + k*t = -0*h - 5 for h.
-5
Suppose -217 = 5*n - 47. Let m = -15 - n. Solve -2*v + v - m = 3*i, 0 = -5*v + 5*i + 5 for v.
-4
Let r(q) = 4*q**3 - q**2 + q - 1. Let m be r(1). Suppose 4*s = s + 15. Suppose s*k = m + 27. Solve -5*v = 3*y + 25, -2*v + k*y + 21 = y for v.
-2
Let h = -18 + 26. Let o be (-4)/h - (-14)/4. Solve 5*s - 10 = -2*k, -o*s = -k - 3*k + 20 for s.
0
Suppose -3 = 2*m + m - f, 0 = -2*m + 3*f + 5. Let g = m + 4. Solve -7*v + g*b = -2*v + 1, 0 = -2*v + 4*b - 10 for v.
1
Let o be 0 + -1*(-3 + -1). Let s be (-16 - 5)*2/6. Let b = -7 - s. Solve -2 = j + 4*r + 3, j - o*r - 3 = b for j.
-1
Suppose -3 = 3*f, 0 = -5*a + 4*f + 1 + 18. Solve 0*o + 5*o = 20, -u + 13 = a*o for u.
1
Suppose -2*o = i + 57, 3*o + 102 = -0*i + 4*i. Let n be (16/10)/((-12)/o). Solve 5*u = 2*u - 5*f, n*u = f for u.
0
Let w = -89 + 91. Suppose -5*a - 5*x + 8 = -4*x, 6 = 2*a - x. Let c be 2/(a + -1) + 0. Solve 3*o - 6 = 0, -2*b + 3*o = w*o + c for b.
0
Let q be (-6)/(-45) + (-232)/(-60). Solve 3*h + q*n - 15 = 2*h, -2*n + 9 = -h for h.
-1
Suppose -2*y - 3*y = -270. Suppose 2*n = y - 12. Let b(c) = -c. Let u be b(-4). Solve u*f = -3*t + n, 0 = -2*f + 3*t - 4 + 1 for f.
3
Suppose -4 = -2*s, 0*s = 3*x - s - 16. Suppose 4*r = -x - 2. Let o be r - (2 - 5)*2. Solve -o*u - 4*q - 12 = 0, q = 3*u + 2*q + 11 for u.
-4
Let i be (-4)/8 - (-14)/4. Solve 25 = -i*q + 2*t, -10 = -q - 2*t - t for q.
-5
Suppose 2*p - 19 + 11 = 0. Solve -3*q + p*o + 16 = 0, 0 = 6*q - 2*q - 3*o - 19 for q.
4
Let t = -3 + 1. Let d be 3 + 2 + 0 + t. Let p = 5 - d. Solve 2*z + 9 = -p*z - n, 22 = -2*z - 4*n for z.
-1
Suppose -2*l - 3*l + 25 = -5*g, -4*l + 20 = g. Solve -q - 3*w = -12, 2*q + 4*w - 16 + 0 = g for q.
0
Suppose -3*b = 4*c, 10*c - 5*c - 31 = 4*b. Suppose 3*l + 0 + 2 = -g, -4*l = -2*g + 6. Let h be (-5)/(5/(-2)) - g. Solve -c*y - h = r - 0*r, -2*y = 0 for r.
-1
Let n be 14/(-4)*12/(-7). Let v be (4/n)/((-2)/(-15)). Solve 0 = y - v*k + 25, -3*y - 2*y - 37 = -3*k for y.
-5
Let k = 42 + -27. Solve 3*b = -2*i - 3*i - k, 5*b + 25 = 5*i for b.
-5
Suppose -3*g + 5*g = 0. Suppose 5*f - 4 - 31 = g. Let h = f - 5. Solve -h*y - p = p + 6, 4*y = -3*p - 12 for y.
-3
Let c(z) = -z**3 - 6*z**2 + 6*z - 6. Let v be c(-7). Solve 2*f - 4*y = -4, v = -f - 4*y + 11 for f.
2
Let j(c) = 4*c - 2. Let s be j(1). Solve 6 + 1 = s*d + a, -5 = -2*d - 3*a for d.
4
Let t be (63/(-6))/(-7)*2. Suppose 2*y - 7 = -h - t*y, 5*y + 3 = 4*h. Solve -4*g = 4*w - 12, -h*g + 6 = -w - 0*g for w.
0
Let d be (3 - (166 - 0)) + -1. Let g = d + 244. Suppose g = -2*o + 7*o. Solve -4*p = 3*n - 26, -5*p + 47 = 3*n + o for n.
2
Let r be (-6)/(-4)*8/12. Let g = 3 - r. Suppose -d = -g*d + 6. Solve -12 = d*z - 11*z + 3*o, -z - 4 = o for z.
0
Suppose 0 = -0*f - f + 14. Suppose -7*j + 5*j + f = 0. Solve 0*m - 8 = 2*m + 5*b, -5*m = -b - j for m.
1
Let a be 0/((-2)/4*2). Suppose l - 2*i + a*i - 10 = 0, 0 = 4*i + 16. Let o = 13 + -9. Solve 3 = l*r + y - 4, y - 13 = -o*r for r.
3
Suppose 2*q = 7*q - 20. Suppose 15 = 2*t + t. Let z be (4/t)/(2/45). Solve -3*w = -2*y - z + 4, -q*w = -8 for y.
-4
Let c be (-1 - -4)*(-7)/(-3). Suppose c = -3*f + 22. Solve 2*y + 17 = -4*j - 5, 3*y = j - f for y.
-3
Let i(q) = -2*q - 1. Let z be i(-2). Solve z*b - 6*n + 13 = -2*n, 0 = -3*n + 3 for b.
-3
Let r = 5 + -5. Suppose g + 4*v - 14 = r, 3*g - 3 = -0*g + v. Solve 2*c = -2*a + 6, 4*a + 3*c - 7 = g*a for a.
2
Suppose 0*x = -x + 2, -3*z + 2*x - 31 = 0. Let a = z - -14. Suppose 5 = -a*l + 20. Solve -p = 3*p + l*u - 20, 5*u = 0 for p.
5
Let w(b) be the first derivative of -1/2*b**2 - 3*b - 3. Let m be w(-5). Solve 4*n - m*u + 10 = 0, 11 = -3*n - n + u for n.
-3
Let d(m) = m**3 - 4*m**2 + 2*m + 3. Let p be d(3). Let y = 23 + p. Solve -y = -3*i + 5*u, -23 = 