 8, -j - j + f = x for j.
1
Suppose 5*v + 7 + 13 = 0. Let k = 20 - 20. Let i = k - v. Solve -5*j + 6 = -i*z, 5*z + 3*j - 8 = 3 for z.
1
Suppose -14 = -b + 3*t - 8, 3*b = 2*t + 25. Solve 0 = -2*w + 3*w + 3*c + b, -c - 3 = w for w.
0
Suppose -2*p - l + 4 = -2, -5*l - 10 = 2*p. Let v(d) = -d**2 + 7*d + 2. Let k be v(7). Let f be 3 - (-5)/(5/k). Solve -f*g = -25, -7 = -5*i - p*g + 13 for i.
-1
Let a(k) = k**3 + 6*k**2 + 4*k. Let d be a(-5). Solve 4*g + 3 = i - 2, 3*g = d*i - 25 for i.
5
Let l = 10 + -8. Suppose y + l*y - 6 = 0. Solve 3 = -y*n - 5, -2*n - 11 = 3*x for x.
-1
Let n(p) = 11. Let m(y) = -y - 10. Let v(r) = -2*m(r) - 3*n(r). Let x be v(9). Solve 0 = -3*d + 2*h - x*h, -1 = -h for d.
-1
Let r be 1*5*(2 - 4)/(-2). Solve -2*z - 12 = 4*y + 4, 3*y = 2*z - r for y.
-3
Let n = -13 - -25. Solve -n = 2*j - 3*k + k, -3*j + 2*k - 13 = 0 for j.
-1
Suppose 3*w - 16 = -w + 2*d, 2*w = -5*d - 16. Solve 0 = -w*b - 10, -n - 4*b - 23 = 2*n for n.
-1
Suppose f - 6 = -s + 2*f, 5*s = -3*f + 6. Solve -4*w + 2*u = u - 17, -s = -u for w.
5
Let n = -28 + 30. Solve -3*z = -n*z, s = -z - 5 for s.
-5
Let v = -1 + 11. Suppose 3*d = -2*d + v. Let p = -33 - -48. Solve 5*a + d*o = 4*o + 17, -3*o - p = -4*a for a.
3
Let r be 0 + 0 + (3 - 1). Suppose 5*k = 18 - 3. Let t = k - 1. Solve -2*o = -3*c - c + 12, 10 = t*c - r*o for c.
1
Let s(p) be the first derivative of -p**4/4 + 4*p**3/3 - p**2 - 2*p - 4. Let w be s(2). Solve 23 = 3*o - 4*j - j, 5*o - w*j - 13 = 0 for o.
1
Let f = -76 + 78. Solve -5*y + 15 = -f*o - 4, -o - y = -8 for o.
3
Suppose -3*g - 4*i + 6 + 8 = 0, -g - 2*i + 2 = 0. Suppose 0*u = 4*u - 8. Suppose -u*r = -r. Solve -g = -3*v + 2*k, 5*k = -10 - r for v.
2
Let l be 2*(-9)/(-6) + -1. Let k be ((-18)/15)/(l/(-10)). Solve 5*i - k*g + 40 = -g, 0 = -g + 5 for i.
-3
Let b be (2/(-6))/((-5)/60). Solve 4 = -h + 3*k, -3*h + b = -0*k - k for h.
2
Let v be ((-12)/18)/((-1)/6). Solve 15 = -2*t + 5*t, -v*t = 3*s - 26 for s.
2
Let l = -1 - -9. Suppose 0 = 5*g - 10 - 0. Let q be (g/(-2))/(6/(-12)). Solve 4*p + 4*a = l, -p - a - 4 = -q*p for p.
3
Let x(i) = i**2 - 12*i + 11. Let m be x(10). Let w = -7 - m. Let d = 8 - 3. Solve -2*u = 5*r + 12, 2*r + w*r = d*u - 36 for r.
-4
Let r = -3 + 7. Let n = 2 - -3. Solve -y = k, 2*y - n*k = 3*y + r for y.
1
Let f(i) = -i + 1. Let j be f(5). Let u = j + 7. Solve -2*a + 4*y = 22, -y - 7 = -u*a + 5*a for a.
-5
Let v = 4 + -3. Let w = v + 3. Suppose 0 = w*s - 93 + 29. Solve -2*o + 2*q + 10 = 0, o - s = -4*o - 4*q for o.
4
Let t = -9 + 3. Let j = t + 9. Let w be j/(-3)*1*-7. Solve -z - w = 5*r - 2, 0 = 4*r - 3*z - 15 for r.
0
Suppose -3*m = 4*b - 51, -4*m = -5*b - 82 - 17. Solve 2*k = -w - 3*k, 5*w + 4*k - m = 0 for w.
5
Suppose 5*n + 18 + 7 = 0. Let f = 3 - n. Let p be -2 + 1 - 18/(-3). Solve 3*z - p*x - 21 = 2*z, -3*z = -4*x - f for z.
-4
Suppose w + 4 = -4*z - 3*w, -21 = 5*z + w. Let x(b) = -b**2 - 7*b - 7. Let h be x(z). Suppose -h*s = s. Solve -6*c = 3*g - 2*c - 21, s = -2*c + 6 for g.
3
Let w = 142 + -138. Solve 2*x = -0*l - l - 4, -l + w*x - 4 = 0 for l.
-4
Let q be (5 + -3)/(2/8). Let y be (0 - 8)*(-38)/q. Suppose -3*n + 2*i + 8 = -y, 0 = 2*n + 3*i - 22. Solve 3*p + 8 + 5 = -k, 0 = 2*k + 2*p + n for k.
-4
Suppose 10 = h + h. Let m(f) = 12*f**3 + 2*f**2 - f. Let p(y) = y**2 - 6*y + 1. Let s be p(6). Let w be m(s). Solve h*j = -b + 5*b - w, 7 = -5*j + b for j.
-1
Suppose 4*o - 6 = 2*g, -3*o + 0*g + 3*g = -6. Solve -4*f - h - 4 = 0, 0*f + 2*h = -f - o for f.
-1
Let p(q) = 5*q + 5*q - q**2 - 3*q + 4. Let f be p(7). Solve 3*d + 10 = -4*g, 7*d - 4*g = 3*d - f for d.
-2
Suppose -2*j + 2 = 0, -2*j + 9 = -2*u - 21. Let h be 14/4*(-24)/u. Solve 0 = -3*n - 12, 3*q - 1 = n + h for q.
1
Suppose 40 + 30 = 14*v. Solve -v*y = 3*c - 5, 1 = -2*y + 9 for c.
-5
Let v(b) = -b + 6. Let y be v(3). Solve -5*o = y*d + 19, d + o + 8 = -o for d.
2
Suppose -t + 7*o + 25 = 2*o, 4*o = -4*t - 20. Solve t*n + 3*n - 3*l = 0, -2*n = 3*l + 15 for n.
-3
Suppose 5*z - 3*x = 84, x + 3 + 0 = 0. Suppose -4*l - l = -z. Solve -5*c + 12 = 3*o, -4*o + 16 = l*c - 6*c for c.
0
Let w(g) = -g**3 + 0 + 11*g + 63*g**2 - 71*g**2 - 3*g - 4. Let z be w(-9). Solve -z*r + 2 = -r - 3*v, v = 5*r - 8 for r.
2
Suppose -o = -p + 1, -o - 6 = -0*o - 2*p. Let a = -7 + 11. Solve -5*n - a*v = -2*v - 35, -o*n + 15 = -v for n.
5
Let o(l) = -l**3 + 3*l**2 + 3*l - 4. Let u be o(3). Solve -f = 2*q - 12, -u*q - f + 37 = 13 for q.
4
Let y be (1/2)/(4/(3 + 13)). Let w(l) = -l**2 - 4*l + 2. Let t be w(-4). Solve -y*c - 2*d = -6*d - 14, c = -d - t for c.
1
Suppose 4*t = 59 + 41. Let m = 20 - -2. Suppose -5*b = w - 9, 5*w + b = -b + 22. Solve g = 4*j + m - w, -5*j = t for g.
-2
Let d be (-28)/3 - 2/3. Let y = -5 - d. Solve -y*z + 20 = 0, -4*o + 0*z = 2*z - 28 for o.
5
Suppose -3*t + 4 = 5*k - 0*k, -2*t = 2*k. Solve -u = k*m - 6*u + 17, 5*m - 5 = 3*u for m.
4
Let d = 9 + 11. Suppose -f + 2*f = 5*a + d, 0 = -3*f - 5*a - 20. Suppose -4*g - 10 = -r, f*r - r + 6 = -2*g. Solve -v = 2*q - 4, -2*v - 2 = r for q.
3
Let d(k) = 4*k**2 - k - 14. Let u be d(-3). Solve -5*n = 2*w + u, 3*w - 13 = -3*n - 37 for n.
-3
Let f = -24 + 25. Solve 2*l - 4*z = f + 5, 4*l + 24 = -z for l.
-5
Suppose 0 = v - 2*v + 4*k - 3, 0 = -3*k. Let t be (6/(-9))/(1/v). Solve -2 = 4*l + l + t*n, 4*n = 3*l - 4 for l.
0
Suppose 8*z + 15 = 3*z. Let k(f) = -f**3 - f**2 + 5*f + 2. Let b be k(z). Solve -7*q - c - b = -2*q, 4*c - 1 = q for q.
-1
Suppose -2*d - j - 4*j + 3 = 0, 0 = 4*d - 3*j - 19. Suppose -11 = -d*r + 5*w, -2*r + 4*w + 8 = r. Solve r = -3*q + h - 1, -5*q = h - 5 for q.
0
Let g = 1 - -4. Suppose 2*x = -4*t - x + 18, 2*t - g*x = -4. Suppose t*b + 2*u = -u, 3*u = -2*b - 4. Solve -4*p + 14 = -p - 2*y, -2*p - b*y - 12 = 0 for p.
2
Suppose -q - 10 = 4*q, 3*u = 5*q + 16. Let i(t) = 6*t**3 - 2*t**3 + 7*t - 7*t**u - 3*t**3. Let n be i(6). Solve 0 = -4*v - 20, -p + 30 = -n*p - 4*v for p.
-2
Suppose 7*z - 3*z = 2*t + 30, -20 = -5*z - t. Solve -5 = -z*n + v, -10 + 35 = n - 5*v for n.
0
Let a be 6/(-2) - (-3)/3. Let m be (9/(-6))/((-1)/a). Let y = m - -6. Solve 0*t - y*t - 5*g = -13, 0 = -t + g - 1 for t.
1
Let b be (208/40)/(4/10). Let g be b + -4 + 0/3. Solve -4*o - 12 = 0, -5*u - 4*o - g = -o for u.
0
Let m = 20 - 14. Solve k = 3*d + 11, -d = -4*k - m*d - 7 for k.
2
Suppose -8*m = -5*m. Solve 3*v + m*k + 5*k = 0, -19 = 5*v + 2*k for v.
-5
Suppose 0*p - 52 = -4*p. Let d = -27 + p. Let m be d/(-8) + 3/12. Solve n + 2*v - v = 3, 0 = -4*n + m*v + 12 for n.
3
Suppose -5*g = -p - 52, -3*p + 20 = -2*g + 3*g. Solve -3*i = -h + 2, -i = 5*h + 33 - g for i.
-2
Let d = 6 - -9. Solve -q + 6*q = 2*v - d, 3*v - 11 = -4*q for q.
-1
Let c be (-166)/(-7) - 2/(-7). Suppose -5*g - 6 = c. Let i = g - -10. Solve 10 = -f + 4*o, i*o = o + 9 for f.
2
Suppose 0 = r - 2*w + 8 - 1, -6 = -2*r - w. Suppose -12*y + 8*y = -76. Solve -4*h - 5*f = y, 3*f + r = -4*h + 4*f for h.
-1
Let q be 3 + -2 + (3 - 1). Solve 0 = 3*c + 2*b + 15, -6 = b - q for c.
-3
Let u(o) = o. Let g be u(5). Let r be (-1)/g + (-86)/(-5). Solve -5*j + 8 = 3*x - r, 2*j = -2*x + 14 for j.
2
Let g = -1 + -1. Let q(z) = z**2 + 0*z**2 + 3*z + 2*z**2. Let m be q(g). Solve 3*i - m = 2*t - 1, -2*i = 5*t + 3 for t.
-1
Let z be (-114)/(-27) + (30/(-27))/5. Solve 9 = -2*l - 3*w, z*l + 4*w + 4 = -8 for l.
0
Suppose -2*m + 12 = m. Let h(d) be the third derivative of -5*d**4/12 - d**3/6 - d**2. Let v be h(-2). Solve -m*p - 2*g + 3*g = v, -3*p - 15 = -g for p.
-4
Let y = -77 + 45. Let n = -19 - y. Suppose 3*i + n = 4*k + 38, -4*i = 5*k + 8. Solve 4*a = -i*c - 15, -5*a + 16 = -3*c + 1 for a.
0
Suppose 4*d = 3*d. Solve b + d*b = -3*a - 9, -b + a = 1 for b.
-3
Let d be 33/4 + 6/(-24). Let v(c) = c**2 - 9*c + 8. Let a be v(d). Suppose -2*q = -a*q. Solve 0*m = 4*m - 8, q = -4*s + 4*m for s.
2
Let f be (-1)/((-3)/9)*1. Solve f*r - 5*d + 14 = -8, -5*r + 3*d - 10 = 0 for r.
1
Suppose -2*u + 2*u = 4*u. Solve -5*m + 4 + 7 = 2*t, -5*t - 2*m - 4 = u for t.
-2
Let d be (-1)/(1*2/2). Let f be ((-6)/4)/(d/2). Let r be (-18)/(-5)*(1 - 9/(-6)). Solve -p = -2*p + 5*v - 9, r = f*p + 3*v for p.
1
Let y = 2 + -2. Let v be 1 - 2/(y - 2). Suppose 0 = v*a + 3*a. Solve 0 = -4*j + 3*s - a - 1, -4*s - 5 = j for j.
-1
Suppose -10 = -3*a + 2*i - 0*i, 4*a + 5*i + 2 = 0. Suppose -3*y + 4*z = -a*y + 1, -5*y = 2*z - 17. Solve -y*m + 8*m + 5 = -5*q