i*r - 2*v + 6 = 0, v + v - 6 = -2*r for r.
0
Suppose 0 = -3*a + 2 + 4. Let b be 0 - (2 - (a + 2)). Suppose 0 = -2*j + 2*f + 12, 5*j + b = -2*f - f. Solve j*h + 3*h + c = 21, 4*c - 12 = -2*h for h.
4
Let o(k) = -7*k**2 - k - 12. Let f(u) = -u**2 - 1. Let w = -1 - 0. Let b(c) = w*o(c) + 6*f(c). Let h be b(0). Solve -4 = 4*m - x - 14, -h = -3*x for m.
3
Let d = 55 + -39. Suppose t - 6*q = -q + 25, 0 = 2*t + q + 5. Solve -d = 2*x + 3*s - t*s, -5*x + 10 = -5*s for x.
-2
Suppose c = 3*f - 0*c - 6, -2*f + 4*c + 4 = 0. Suppose -3*i - 6 = 0, f*u + 4*i + i = 20. Solve 4*a + 5 = -v - 4, 4*v - 5*a = -u for v.
-5
Suppose -4*k = -2*i - 0*k - 4, -3*i + 3*k = 3. Solve -5*b = -i*b - 5*w + 30, 4*w = -5*b - 21 for b.
-5
Let g(b) = -6*b + 4. Let l be g(-3). Suppose -5*v + l = -3. Solve 5*d - 2*m - 5 = 0, 2*d - 31 = -10*m + v*m for d.
3
Let h(f) = -3*f**3 - f**2 - 3*f - 2. Let l be h(-1). Solve -l*g = -o + 4, 0*g + 16 = 3*g + 4*o for g.
0
Let g be 24/3 - (-6 - -6). Solve -g = 3*h + q, -5*q = 2*h + h + 28 for h.
-1
Let t be (6/(-9))/((-1)/6). Suppose -3*k = -t*k + 3. Solve 0 = -3*f + k, -4*s + 3*f = -7 + 26 for s.
-4
Let h = -5 - -8. Suppose -3*z = 4*t - 62, 95 - 13 = h*z - t. Solve -3*s + z = -4*p - p, -5*p - 18 = s for s.
2
Suppose -h - 6 = -2*y, -y = -3*h - 2 + 9. Suppose 4*m + m - 20 = 0. Let z = 6 - 3. Solve -m*s - 56 = 5*d - 15, -z*s = y*d + 37 for s.
-4
Suppose 10 = -t - 3*p, -2*t - t + 3*p = -18. Solve -5*x = -h - t*h + 3, 4*h + 1 = 5*x for x.
-3
Let f be 4/(-10) + 85/25. Suppose f*c + 1 = 13. Solve -12 = -0*s + s - 3*j, -s = -j + c for s.
0
Suppose 0 = -3*o + s + 11, -5*o = -4*o - 3*s + 7. Suppose 2*i + 11 = v, 2*i + 75 = o*v + 12. Solve 0 = -3*w - h + v, h = 4*w - 10 + 2 for w.
3
Suppose 0 = -3*u + 3*p - p - 18, -3*p = 0. Let j = 10 + u. Solve -5*o - w - 11 = -2*o, -3*w = j*o + 23 for o.
-2
Let q = -6 - -23. Let j = q - 16. Solve 2*y + 5 = 3, n = 2*y - j for n.
-3
Suppose -13 = 4*s + 103. Let l = -14 - s. Solve 6*x - x - j - l = 0, 0 = -x - 3*j + 19 for x.
4
Let y(l) = l**2 - 2*l - 3. Let g be y(3). Solve -2*z - 6 = -2*i + 3*z, g = -i + 2*z + 2 for i.
-2
Let m = 11 + -1. Suppose 6 + m = 4*b. Solve 2*g + 12 = -b*u, -u + 2 - 5 = -g for u.
-3
Suppose -9*w + 13*w = 8. Solve -f - 12 = -w*h, 5*f + 0 = -2*h - 12 for f.
-4
Suppose 7 = 2*f + 1. Suppose 4*n - 3*i + 19 = 0, 0 = 5*n + 3*i - 6*i + 20. Let r = 13 + n. Solve -4*c + 7 = b, r = 4*b - f*c + 41 for b.
-5
Suppose x = -3*a + 14, x - 6*x = -2*a + 15. Solve 4*b = 3*j + 14, -j + 5*j - 33 = -a*b for j.
2
Suppose -3*z + 6 = -6. Solve 0 = -3*l + 4*g - 32, -g + 13 = 3*l + z*g for l.
-4
Let c = -5 + 8. Solve -c*h + 4*s - 31 = -0*s, 4*s = -h + 11 for h.
-5
Suppose s + 5 = 5*w, 0 = 4*w + s + 2*s - 23. Solve w*l + 2 = 2*o, 0 = 3*l + 2*l + 25 for o.
-4
Let c be 1/(-4) - (-87)/12. Suppose 0 = 3*t - 5*s - c, -5*s = -0*t - t - 1. Solve -2*z - 16 = 4*v + z, 2*v = t*z - 8 for v.
-4
Let l be (0 - (-4)/6)*-3. Let z = 3 - l. Solve 2*g - 9 = -z*s, -5*g + 15 = 3*s + 2*s for s.
1
Let j(m) be the first derivative of m**2 + 3. Let k be j(1). Solve 2*n + 8 = -k*o, -1 = 2*n - 3*o - 3 for n.
-2
Suppose -5*z = -z + 5*u - 71, 5*z - 85 = -5*u. Solve 3*s - 10 = -4*r + z, -r - s + 7 = 0 for r.
3
Let b = 77 - 62. Solve -2*i + 3*u - 15 = 0, 3*i + 0*i + b = 3*u for i.
0
Suppose 0 = 2*u - 7*u + 300. Suppose u = -3*j + 6*j. Solve h + 4*s = -s + j, -h + 3*s = 20 for h.
-5
Suppose 6*y + 12 = -3*c + 3*y, -27 = -2*c + 5*y. Solve -2*g - 2 - c = -n, 2*n + 3*g = -1 for n.
1
Suppose 2*y = -4*n - 2*y + 24, -10 = n + 5*y. Let t = 20 - n. Solve -5*h + 5*g - t = g, -3*h = -4*g + 14 for h.
2
Let u = -36 + 60. Suppose -4*r + u = 2*r. Solve 0 = -2*t + 2*h + 14, 2*t - 6*t - r*h + 12 = 0 for t.
5
Suppose 0*t + 40 = 5*t. Solve -5*o + 1 = -5*v - 4, 4*o - t = 2*v for v.
2
Suppose 10*x - 18 = -3*p + 9*x, -4*x + 24 = 4*p. Solve -l + f + p = 2*f, 0 = l - 5*f for l.
5
Let p(m) = -m**3 + 7*m**2 - 5*m - 8. Let v be p(6). Let f(a) = -a**2 + 8*a - 8. Let b be f(6). Let x = b + v. Solve -x = -u + h, 4*u + 3 = h + 8 for u.
1
Suppose 3*r = -h - 9, -r + 2 = -2*h - 3*r. Suppose -3 = -0*t - 3*t + v, 3 = -3*t + h*v. Solve t*p + 2*c = 6*p - 22, -4*p = 2*c - 2 for p.
3
Let t be 38/14 + (352/56 - 6). Solve -5*x = t*b + 26, 5*b - 3*x + x + 2 = 0 for b.
-2
Let o(m) = -2*m - 8. Let n be o(-7). Let t be ((-2)/(-3))/(4/n). Suppose -3*h + t + 5 = 0. Solve q = 5*q - 5*y, -q + h*y = 3 for q.
5
Let p(b) = b**2 + 9*b + 5. Let x be p(-9). Suppose -5*v = -10 - x. Solve 0 = -5*s - 3*k - 19, k - 12 = 3*s + v*k for s.
-2
Suppose -11 = -3*c + 4. Solve 0 = 2*y + c*k - 33, -3*y + k - 1 = -2*y for y.
4
Suppose 5*f = 172 - 72. Let p = 3 + -3. Suppose 3*j + j - f = p. Solve -5*w - 5*r = -2*r - 34, -2*w = j*r - 25 for w.
5
Let f(v) = v**2 - v. Let k(p) = p + 1. Let z be k(-1). Let i be f(z). Solve 5*w - 5*s = 0, i = -s + 3 - 0 for w.
3
Let h be ((-10)/6)/((-3)/(36/10)). Solve h*x + 8 = g - 2, 3*x + 15 = -2*g for g.
0
Suppose 2*o + 3*i = -7, -4*o + 21 = -0*o - i. Let x = o - 0. Solve h = x*m + 7, m = -m + 5*h + 1 for m.
-2
Suppose w + 4*x - 1 = 2*w, -3*x = w - 13. Let r = 3 + -1. Solve -w = -l - j, -2 = -4*l + 2*l + r*j for l.
4
Let b = 2 + 0. Solve -5*l - b*z = -0*z - 26, -l - 5*z = -19 for l.
4
Let g(t) = 1 - 7*t**2 + 6 + t**3 - t + 2. Let n be g(7). Solve -n*u - 1 = 3*p + 6, 4*p + 12 = 0 for u.
1
Let d(u) = u**2 - 5*u. Let y be d(7). Let f be (-2)/(-7) + 52/y. Suppose 2*r + 9*j = 6*j - 6, j - 2 = -2*r. Solve 24 = r*k - f*g, 2*k + 1 = -2*g + 3 for k.
4
Suppose -18 = -4*x + 2. Let k = 8 - 5. Suppose k*n - 17 = -5. Solve 4 + 11 = x*u + 4*i, 4*u + 24 = n*i for u.
-1
Suppose -5 = -2*m + 2*o + 53, 5*o = 4*m - 111. Let l be (m/(-3))/(8/36). Let s be (-2)/7 + l/(-7). Solve 0 = -3*q - 5*r - 3, 2 = 5*q - 2*r + s for q.
-1
Let g = -25 - -37. Solve -18 = 2*y + 4*k, 0 = 2*k - 6*k - g for y.
-3
Suppose -2*r = -0*r - 6. Let m be r*2*(-2)/(-4). Let j be (0 + 5 + -5)/(-1) + 3. Solve 5*h + 15 = j*a + m, -5*a = 4*h - 20 for a.
4
Suppose -t + 8 + 8 = 3*s, -4*s - 5*t = -25. Solve -f = -5*u - 24, -16 = -s*f + f for u.
-4
Suppose -2*k + 2 = -0*i - 4*i, -3*i + 3*k - 9 = 0. Solve w = -5*a + i*w - 1, 3*a - 3*w - 9 = 0 for a.
-1
Suppose 6 = 2*m - 2*j, 4*m + 0*m + 5*j = 3. Solve -m*s + 4 = -w, -s + 4*s = 5*w + 6 for s.
2
Let p = -3 - -1. Let h = p - -2. Let a(o) = o**2 - o + 4. Let g be a(0). Solve 3*l - g*s + 29 = h, s + 0*s = -3*l - 4 for l.
-3
Suppose -4*c - c + 35 = 0. Let o(k) = -2 + 7*k + 0*k - 6*k. Let a be o(c). Solve -a*s - 7*u - 8 = -3*u, 5*u + 10 = -3*s for s.
0
Suppose 0 = -6*a + 65 - 5. Solve -4*s = 2*k + 6, -k + 5 = -4*s - a for k.
3
Suppose -41 - 39 = -4*a. Solve -l - 5*h = 4*l - a, 2*l + 5*h - 8 = 0 for l.
4
Let g(s) = 5*s**2 + s. Let o be g(-1). Solve -5*t + v = -14, o + 1 = 3*t - 4*v for t.
3
Let c(r) = r**3 + 7*r**2 + 5*r - 5. Let f be c(-6). Solve -5*n = 2*g - f, -g = 4*n - n for n.
-1
Let g be (-2 + 5/2)*-6. Let m be (-12)/(-1)*g/(-6). Suppose 2*w = m*w - 60. Solve 5*r = -o - 2*o + w, o + 12 = 4*r for r.
3
Suppose 0 = -3*j - 0*j + 15. Suppose -3*x = -2*v - 2*x + 2, -x - 11 = -j*v. Suppose 0 = 3*u + u - 48. Solve 4*l - 2*p = -6*p + u, 5*l + v = 4*p for l.
1
Let r = 39 - 19. Solve -2*b - 35 = 3*k + 2*b, 5*k - b = -r for k.
-5
Let j(v) = 3*v + 17. Let m be j(0). Solve 7 = -h - 2*d, 5*d = -h - h - m for h.
-1
Let g = 7 - 3. Let t be 9 + (-15)/(-5 - -8). Solve -v = -0*v - i - 4, v - t*i - g = 0 for v.
4
Let j(y) = y**2 + 10*y + 21. Let i be j(-7). Solve n + 6 + 4 = -4*s, -s - 4*n + 5 = i for s.
-3
Let r be ((-16)/28)/(2/(-14)). Solve -3*h - r*c = -25, 4*c + 0*c - 28 = -4*h for h.
3
Let w(x) = -3*x + 20. Let c be w(0). Solve 5*j - k = c, 4*k - 4 = -j + k for j.
4
Let d = 11 - 6. Solve -2*p = -2*x, 2*p = d*x + 3 + 6 for x.
-3
Let k be (6/4 + -1)*(4 - 0). Solve -1 + 7 = -v - k*h, -6 = 5*v + 2*h for v.
0
Let f be ((-3)/6)/(1/(-6)). Let p = 27 - 18. Let y = -4 + p. Solve f*d - 4*d + y*c + 25 = 0, 5*d = 5*c + 45 for d.
5
Let u(g) = -g**2 + 6*g - 1. Let n be u(5). Solve -5*l + n*l = -2*r - 9, 3*l + 4*r = -23 for l.
-1
Let b = -1 + 6. Let o(n) = -n**3 + 5*n**2 + n - 1. Let q be o(b). Let c be ((-276)/(-18))/(2/3). Solve 0*w + 4*m - 13 = -w, -q*m = 3*w - c for w.
5
Let z be -11 - -10 - (-2)/2. Suppose c - 5*d - 7 = z, -4*c + 0 = 5*d - 3. Solve -6 = -c*u, u - 8 = -x - 2 for x.
3
Let u be (1 + 0)/(3/12). Solve l - 5*p = 