5*v - 4*o, -i = -3*v + 2*o for v.
2
Let d be (0 - 0)*4/4. Suppose d = -3*o - 6 - 12. Let v be o*-2*3/18. Solve 5*z + v*f - 11 = 0, 5*f + 1 = 16 for z.
1
Let z be 33/15 - (-1)/(-5). Let v = -39 - -49. Solve 5*p - 11 = -5*l + 19, -z*l = -v for p.
1
Suppose -3 = -3*p + 5*h - 13, 4*h - 8 = -p. Solve p = -6*q + q + 4*n + 21, 4*q = -5*n - 16 for q.
1
Let c = 6 + -4. Suppose -4*v + d + 29 = 0, -c*v = v + 4*d - 17. Suppose -v = -3*s + 8. Solve 2*y = -s*h - 13, 0*y - 14 = 5*h + y for h.
-3
Suppose x - 20 = -6. Let m be (-8)/(-28) - 158/x. Let i = -8 - m. Solve 20 = 5*l - i*o - 0*o, 2*l + 8 = -2*o for l.
1
Suppose 7 - 17 = -5*i. Suppose 0*n + 1 = -2*n + 3*d, n - 6 = -5*d. Solve -6*v + 3*v + i*a = -12, 5*v + 3*a - n = 0 for v.
2
Suppose -3*i + i + 8 = 0. Suppose 0 = 3*m - 2*m - 8. Suppose 2*j + 0*j = m. Solve -5*w = -2*n - i, j*w + 2 = -0*n - n for w.
0
Suppose 15 = 2*w + 3. Let j(t) = t**2 - 7*t + 6. Let l be j(w). Suppose 0 = -l*x + 5*x. Solve -5*u - 8 = -2*k - 1, x = -2*u - 5*k - 26 for u.
-3
Let x be (5/(-4))/((-2)/24). Let w be 42/x - 1/(-5). Solve w*v + 28 = 5*p, -2*v - 6 = -p + 1 for v.
-1
Suppose 0 = -4*f, -2*g - 2*f = -4*g + 12. Let v = 3 - g. Let l be (4/v)/(2/(-6)). Solve 0 = l*n - 20, 58 - 8 = 5*d + 5*n for d.
5
Let g(v) = -7*v - 50. Let k be g(-8). Solve -5*u + 2*f - k = 0, 4*u + 2*f - 5*f + 9 = 0 for u.
0
Let j be (-2)/(9/(900/(-8))). Solve 5*r - j = 0, r = 4*k - k - 4 for k.
3
Let v(x) be the second derivative of -x**5/20 - x**4/6 + x**2/2 + x. Suppose 10*s = s - 9. Let d be v(s). Solve 2*p - p = 5*i - 15, d = -i + p + 3 for i.
3
Let n = 25 - 10. Solve 5*l - 3*t + n = -8*t, -4*l - 2*t - 8 = 0 for l.
-1
Let o(v) = v**3 - 5*v**2 + v. Let t be o(5). Suppose -t*r = 2*f - 19, -r = -2*r - 4*f + 11. Solve 4*p + r*c + 23 = -0*p, 2*p = 4*c + 16 for p.
-2
Let u = 22 + -12. Solve -4*y = -x - 1, 0 = 2*y - 6*y - 2*x + u for y.
1
Let s = 48 + -44. Let y be (-4)/(-6) + (-2)/3. Let r = 2 - y. Solve -r*k + 4*k = 10, 36 = -s*n + 4*k for n.
-4
Let x(t) = -16*t. Let j be x(-1). Let p = j + -6. Solve 0 = -3*v + h + p, 1 = -2*v + 3*h + 3 for v.
4
Suppose 0 = -33*d + 31*d. Solve -5*r - 4*f = -0*f + 16, d = 5*r - 4*f - 16 for r.
0
Suppose -12 - 38 = -10*s. Solve 5*y + 3*j = 0, s = 4*y + y + 4*j for y.
-3
Suppose f - 20 = -4*f. Suppose f*p - 5*c - 17 = 0, -p + 4*c - 2*c = -5. Solve 4*a + p*x = 3*a + 4, -a + 4 = -x for a.
4
Let w be ((-1 - 2) + 1)*-9. Suppose 0 = 5*g - w - 22. Solve 0 = 3*f + 3*h, 2*f = f + 3*h - g for f.
-2
Suppose 2*x = 5*c - 10, 5*c - 2 = -3*x - 17. Solve c = -g - 5*r - 10, -3*r = 2*g + 2 + 4 for g.
0
Let t(j) = j**2 - 2*j - 20. Let q be t(6). Solve 0 = -4*l + 3*i + q, 3*l + 3*i = 2*i + 3 for l.
1
Let r(i) = i - 2. Let q be r(6). Suppose 0 = 11*o - 15*o + 8. Suppose 0 = -o*l - 3*y + 1, 2*l - 8 = 3*y + 11. Solve -l*k - q = g + g, -5*g + 4*k + 23 = 0 for g.
3
Let i = 23 + -20. Solve i*h + 1 = 4*n, -2*h + 37 = 3*h + 3*n for h.
5
Let d = 12 + -18. Let y be 1 + 3/d*-6. Solve y*p - 3*j = -29, 0*p - 2*j = -p - 11 for p.
-5
Suppose 4*p - 2*p - 6 = 0. Solve 2*g - p = 4*y - 3*y, 4*y + 5*g + 12 = 0 for y.
-3
Suppose 2*j = 5*g - 46, 3*j + 3 = -6. Let n = 5 - 3. Solve -4*r = -4*o - 16, 5*o - n*o - g = -2*r for r.
4
Suppose -2*b + 26 = -m - 7*b, 19 = m - 4*b. Let v = -1 - m. Solve p + 4*d - 15 = v, -4*d = -3*p - d for p.
3
Let c(l) = l**2 + 3*l - 2. Let o = -4 - -7. Suppose -o*s = z + 10, z + 1 - 6 = 0. Let m be c(s). Solve -4*t + m = -4*f, -5*f + 4*t = -0*f + 9 for f.
-1
Suppose -3*n + 3*o = -28 + 10, -o = n - 2. Solve 0 = -5*z + 2*b + 21 - 7, -16 = -z - n*b for z.
4
Let q = 571 + -559. Let y be ((-6)/(-4))/((-9)/12). Let p be y/9*3*-3. Solve -2*v - q = -5*j, 3*v = p*j + j for v.
4
Let a(t) = t**3 + 2*t**2 + 2*t + 1. Let f be a(-1). Solve i + 9 = 2*x - f*x, -2*i = x + 3 for x.
3
Suppose 4*s = -3*j + 2*s - 30, 5*j + 50 = -2*s. Let f = -7 - j. Solve -f*c = -5*v - 19, 3*v = -4*c + 13 - 36 for c.
-2
Suppose 4*a - 28 = -0*a. Let k(d) = -d + 10. Let p be k(a). Solve -3*y - 5 = p*h + 1, -3*h - 2*y - 5 = 0 for h.
-1
Let n be (-3 + 6)*2 + -2. Solve 2*q - 4*f + n = 0, 2*q + 0*f + 4 = 3*f for q.
-2
Let s = -24 - -29. Solve -5*i - 16 = 4*m + 7, 11 = -s*i + 2*m for i.
-3
Let k(u) = u**3 + 13*u**2 + 10*u + 4. Let a be k(-12). Solve 3*w = 5*s + a, -4*s + w + w = 22 for s.
-5
Let d(i) = -10*i**2 - 2*i - 1. Let v be (-1 + -1)*(-1)/(-2). Let a be d(v). Let j = a + 14. Solve 1 = 2*q - 3*n, q + 0*n - 20 = -j*n for q.
5
Let p = 3 + -2. Let v be 3 + (p - 2)*1. Solve -5*i - s = -4, 4 = -2*s + v for i.
1
Let z(h) = h**2 - 8*h - 9. Suppose 3*j + l - 28 = 0, 5*j = 5*l + 41 - 1. Let r be z(j). Solve 5*y - 23 = -2*k, 2 = 3*k + y - r*y for k.
-1
Let y = -3 - 4. Let o be 4 + y + (-18)/(-2). Solve 2*b + 3*v = -5, -o*b + 2*v - 2 = -2*b for b.
-1
Let a be (5 - 16/3) + (-32)/(-6). Solve -c - 3 = -5*p, -c - 4*c + a*p + 5 = 0 for c.
2
Let g be (6/4)/((-21)/(-70)). Solve 20 = -5*o, -3*i + 0*i + 23 = -g*o for i.
1
Let a be -2 + (8 - 8/((-20)/5)). Solve -n + a = -2*p, 0*p + 5 = -p for n.
-2
Let h be (0/3)/(-3 + 1). Let u(a) = a - 5. Let b be u(7). Solve h*n - n = 2*z - 5, 17 = -3*n + b*z for n.
-3
Let y = 6 + -3. Suppose -4*i = 3*g + y - 2, i + 1 = -g. Solve i = -4*k + x - 5, 5*k - 3*x = -14 for k.
-1
Suppose -5*u + 6 = -2*g + 4*g, -u - 4 = 0. Let i(h) = -h + 2*h - 1 + h - h. Let n be i(5). Solve n*t - g = -3*b - 36, -13 = -t + 3*b for t.
-2
Let j = 1 - -1. Suppose -j*v + 20 = 2*v. Solve v*g = 5, -4*g + 7 = -0*c - 3*c for c.
-1
Let d(o) = -o**3 - 1. Let k be d(-1). Let x(p) = 3*p - 1 + k*p - 2. Let u be x(2). Solve 0 = -3*h + 4*v + 8, -2 = -h + u*v + 4 for h.
0
Let o be 47/4 - (-12)/(-16). Solve -t - 3*t = u - 21, -3*u = -t - o for u.
5
Let u be -1*(-2)/2 + 1. Suppose u*z - z = 1. Solve -4*c + 5*c - z = -2*w, 0 = 4*c + w - 18 for c.
5
Let b be -6 - -2 - -2 - -5. Suppose -c + b = -0*c. Solve -3*q - g = 10, 3*q - q + 25 = c*g for q.
-5
Suppose -15 + 0 = -3*z. Suppose z*r + 1 = 11. Let a be 2/(-2) - (-10)/r. Solve 2*s + 4*h = -18, -13 = -2*s - s + a*h for s.
-1
Suppose 11 = 4*s - 5. Let g = -29 - -34. Suppose -5*j + 15 = -g. Solve 8 = 4*m + s*b, -j*m + 5*b = 19 + 18 for m.
-3
Let x be (-2)/(10/(-35)) + -2. Solve -4*s = -3*r + 8 - 3, 0 = 2*r + x*s + 12 for r.
-1
Let v(j) = j**3 + 4*j**2 - 2*j + 17. Let s be v(-5). Solve -s*t = 4*x - 24, -t - 3*x + 14 = -2 for t.
4
Let l(g) = 6*g - 5. Let s be l(2). Solve -2*n = -r - 2*r - s, -4*r + n = 1 for r.
1
Suppose 5 = 2*z + 1. Suppose 0 = -5*t + i + 17, -6*t + z*t + 20 = -4*i. Solve -t = 3*n - 4*k, 5*n - 2*k = 2*k + 3 for n.
3
Suppose -8*x + 7 = -7*x. Solve -5 = -y, -3*z + 22 = 3*y + x for z.
0
Let u be (3/9)/((-1)/6). Let b = 0 - u. Solve 3*y + 8 = b*m, 2*y - 5*m + 4 = 6 for y.
-4
Let l be 6/((-3)/(-1)) - 3. Let t be l + 0 + 4 - 1. Solve -2*p = -5*u + 2*p - 21, -t*u - 7 = -3*p for u.
-5
Let w(n) = -n**2 - 5*n - 2. Let o be w(-4). Suppose 0 = -6*q + 2*q. Let l be 20/(-60) - 2/((-12)/26). Solve l*t + 20 = q, 5*c - o*t - 19 = 16 for c.
5
Suppose 3*t + v - 4 = 0, -2*t + v = -2*v + 1. Solve -4*r + 3*r = -f - t, -3*r = -4*f - 3 for r.
1
Suppose -p - 9 = -c, 0 = -3*p - 2*p - 15. Let q = c + -4. Solve l = -q*f - 14, -4*l - 20 - 16 = 4*f for f.
-5
Let j be (-13)/(3/(-6)*2). Suppose j = 4*z - 11. Let r = z + -3. Solve 5*k + 5*v - 9 + 29 = 0, 0 = k + r*v + 8 for k.
-2
Let g = 30 + -30. Solve 5*n - 5 = g, -f + n + 3 = 6*n for f.
-2
Let i(q) = 3*q**2 - 3*q + 6. Let h be i(4). Let d = -29 + h. Solve -14 = -o + 4*x, -5*o + x + 0 = -d for o.
2
Let n(b) = 2*b + 16. Let s be n(-7). Solve j - p + 4 = 0, s*j + 2 = p - 5 for j.
-3
Let a be (-2)/(-4)*(8 + -6). Suppose 2*n + a = z - 0*z, -z - 5 = -5*n. Solve -2*h - 5*k + z = 0, -2*k + 3 = -3 for h.
-5
Suppose 0 = i - w - 4*w + 13, 2*i + 5*w = 19. Let d be -1 - 6/(-1) - i. Suppose c - d*z = -6*z + 12, z - 4 = 3*c. Solve c*x = 2*q - 3*x, -4*q - 4*x = -20 for q.
3
Let h = -3 + 7. Solve 4 = -2*f + h*c, -3*f + 10*c - 5*c - 3 = 0 for f.
4
Suppose -p - 15 = -4*p. Suppose -3*s = 2*g - p - 13, -4 = -s. Solve 3*z = -v - v, -7 = g*v + z for v.
-3
Suppose -w = -2*w + 3. Suppose -p - 7 = -0*p + 2*r, -4*p = -w*r - 27. Let k be p - -4 - (-1 + 3). Solve -b - k*o + 29 = 0, -4*b = 2*o - 7*o + 9 for b.
4
Let o be ((-9)/(-12))/(9/60). Solve j + 0*j - 9 = o*q, -5*j - 15 = 5*q for j.
-1
Suppose 0 = 4*m - m + c - 11, 4*m - 2*c = 8. Let a be (-2)/(-8