v)/(-1)*-10. Solve 0 = -r*g - 3*p + 7*p + 16, 3*g - 11 = p for g.
4
Let i(o) = o - 5. Let n be i(6). Suppose -4*a - 5*w + 40 = -9*w, -3*a - 2*w = -5. Solve 9 = 2*f - 5*f, -4*l - a*f = -n for l.
4
Suppose -4*w - 2 = -6*w. Solve -2*i - 2 = -m + w, -3*i - 3 = -3*m for i.
-2
Let d(q) = -q - 20. Let s be d(0). Let j be 18/5 - 8/s. Solve 2*y = -5*x - 9, j*y + 1 = -5*x - 2 for x.
-3
Let y be (10/4 - -3)*(-2 - -4). Suppose 12 = 4*x - x. Solve -4*l = x*s + 32, -2*l - y = 4*s + 11 for l.
-5
Suppose 3*i - 17 = -5*j, -3*j + j + 5*i + 13 = 0. Solve -m + 7 = -2*f, 0*m - j*m - 4 = 0 for f.
-4
Suppose 0*o = o - 8. Suppose 4 = 4*g - o. Solve 2*t = -y - 3, -g = 2*y + t - 0 for y.
-1
Suppose 5 = -2*k + 3*k. Suppose -4*c - k*w = 299, -4*c - c - 381 = -w. Let t = 106 + c. Solve 0*n + 5*n - f = 24, 5*n + 5*f = t for n.
5
Suppose -3*o + 9 = 3*c, 0*o - 1 = 3*o - 2*c. Let d be (o/((-3)/6))/(-1). Solve 0 = -g - d, -g - 20 = 4*l + 3*g for l.
-3
Let r be 3/6*-2 + 6. Solve 0 = 4*p + 12, 0*j + 4*p = -r*j + 8 for j.
4
Suppose -5*s = -3*s + y - 8, 3*s - y = 7. Solve 0 = 5*o - 2*z + 2, -s*z + 4 = 1 for o.
0
Let v(k) = -4*k + 1. Let t be v(-7). Suppose -4*g + t = -5*h, -3*h - 11 - 3 = g. Let q = -3 - h. Solve -2*x + 1 = -q*z - 9, 0 = 2*z - 5*x + 22 for z.
-1
Let u be 3/(-12) - 35/4. Let n(z) = 2 + 0 + 23*z**2 - 14*z**2 + z**3. Let x be n(u). Solve 0 = -2*d + 3*v - 4*v + 3, 0 = -x*d + v + 13 for d.
4
Let c(f) = -f**3 - f**2 + 2*f + 2. Let b be c(-2). Suppose -3 = b*v - 3*t - 4, -t = -3. Let l = v + -3. Solve x = i + 2, 4*x + i + 5 = -l for x.
-1
Suppose -3*q + 15 = -2*v, -3*q - v = 3*v - 15. Solve -3*w = -2*o - q*w, 0 = 4*w + 4 for o.
1
Let q = -30 - -43. Let w = -3 + q. Solve -5*l + w = 2*p - 0*l, 5*l = 5*p - 25 for p.
5
Suppose 12 = 2*h + h, -4*n + 28 = 3*h. Suppose -n*g + 8 = 2*j, 9 = 5*g + j - 7. Solve 8 = 4*f - g*v - 16, v = 5*f - 26 for f.
5
Let r be 1/2 + (-34)/4. Let k = -6 - r. Let a(o) = 8*o - 45. Let h be a(6). Solve -3*z - 19 = k*w, h*z - 6 + 15 = 3*w for w.
-2
Let t be ((-20)/(-15))/((-1)/3). Let g(h) = h**3 + 5*h**2 + 2*h - 4. Let p be g(t). Solve -3*k - 3*x - 6 = 0, -4 - 7 = p*k + x for k.
-3
Suppose -8 = v - 3*v. Suppose 0 - 8 = -u. Suppose -u*r + 5*c + 115 = -3*r, -2*r = c - 49. Solve l + r = -4*j, 6*j + v = 4*l + 2*j for l.
-4
Let q(g) = 3*g - 5. Let c be q(6). Let o = -10 + c. Solve -17 = o*k - r, r + 6 = k + 3*r for k.
-4
Let t = 16 - 10. Let f = 0 + t. Let r(v) = v + 5. Let h be r(-5). Solve 3*u = -4*w + u - f, 3*w - 4*u - 23 = h for w.
1
Suppose 0*f = f - 4. Suppose b + 4*b - 21 = -2*t, 0 = 4*b + 3*t - 21. Let p be -2*b/(-6)*0. Solve p = -2*m - 2*m + f*l + 4, 4*m = 2*l for m.
-1
Let a = 157 - 137. Solve 3*w - 2*q = -7*q - 20, 5*w - 5*q + a = 0 for w.
-5
Suppose 0 = 3*v + 6, 3*h + 2*v - 16 + 5 = 0. Suppose h*f = 2*f + 6. Solve -k - 5 - f = 2*w, 2*k - 6 = w for k.
1
Let v be (-1)/(-1 + (-3)/(-4)). Solve -5*a = k + 22, -4*k + 3*a - 2*a - v = 0 for k.
-2
Let m = 28 - 20. Suppose -3*n + 4 = -m. Solve -5*a - 3*x - 20 = 0, n*x = -5*a + a - 16 for a.
-4
Suppose -2*i - 2 = -i, 0 = -n + 3*i + 8. Suppose 3*q = 5*s - 13, 0*s = -3*s - 4*q + n. Solve -3*f - 9 = 5*g, s*g - 16 + 1 = 5*f for g.
0
Let s(b) = b + 2. Let p be s(4). Let y = 10 - p. Solve -4*x + y*m = -28, x + 2*x - 17 = 2*m for x.
3
Let i be 3/(1 - -8)*9. Let v = i - -1. Solve -5*f - 17 = v*t, -2*f + 3*t + 5 + 2 = 0 for f.
-1
Let b(w) = -w**3 + 4*w**2 + 2*w - 6. Let k be b(4). Suppose 0 = k*z + 9 - 57. Solve -4*j + z = 4*x, -2*j + 2*x = -0*x - 4 for j.
4
Let w be (-284)/(-11) + 342/66 + -5. Solve -3*a + 5*v + w = 8, 3*a + 12 = -5*v for a.
1
Let z be 1 - (2 + 12/(-2)). Suppose z*s = -4 + 19. Suppose r = -s*r. Solve -3*t + 20 = 5*w - 0*t, r = -4*w + 2*t - 6 for w.
1
Let t be 7/2*1*2. Let s(i) = i + 9. Let m be s(t). Solve r = 3*q + 4, 3*r + r - m = 4*q for r.
4
Suppose -q + 4 = -8. Let m = -7 + q. Solve 15 = -3*k + 2*k - 5*g, 0 = -m*k - 2*g - 29 for k.
-5
Let t be ((-7)/((-21)/18))/1. Let n = 8 - t. Suppose l = -l + 4. Solve 0 = 5*z - 3*s + 15, -n*z + 3 = s - l for z.
0
Suppose -124 = -5*d + 2*h + h, -2*h = -d + 22. Let y be (-5)/(-10) - d/4. Let t be y/(-12) - 7/(-2). Solve 3*w - t*j - 11 - 5 = 0, 4*j = -4*w - 16 for w.
0
Let c(r) = r**2 + 6*r + 3. Let l be c(-5). Let k be ((-3)/l)/(3/72). Solve z + 2 = -4*m - 10, 5*m + k = 4*z for z.
4
Suppose -4*u = j - 6, -3*u - 12 = u. Suppose 2*p - 3*q = j, -5*q - 11 = 2*p + 3. Solve 4*d + 2*a = 12, p*a - 12 = -2*d + 5*a for d.
4
Let y(v) = -v**2 - 3*v + 4. Let c(k) = k**3 - 5*k**2 + 3*k. Let m be c(4). Let w be y(m). Suppose 0 = 2*f - w - 4. Solve n - f*o = 13, -2*n + 4 = o - 2 for n.
5
Let u(q) = 4*q**2 - 2*q + 5. Let p(z) = -9*z**2 + 5*z - 11. Let y(f) = 3*p(f) + 7*u(f). Let k be y(-3). Solve c = -c - 4*v - k, v = 4*c - 2 for c.
0
Let u = -13 - -17. Solve 4*n - 8 = 7*q - 2*q, -u*q = -3*n + 7 for q.
-4
Let z(m) = m**2 + 28 + m**2 - m**3 - 3*m + 2*m - 3*m**2. Let t be z(0). Let c be (t/6)/((-2)/(-3)). Solve 4*w + 3*a = 7, 4*a - c = -w - 2*w for w.
1
Let b(c) = 2*c**2 + 3*c - 4. Let q be b(-3). Solve -q*p - 3*d + 6*d = -4, 7 = 2*p - 3*d for p.
-1
Suppose n + 3 - 23 = 0. Solve 0 = -3*j - 5*r + n, 3*r + 16 = -4*j + 7*r for j.
0
Suppose 0 = 7*z - 13 - 1. Solve -22 = z*j - 4*x, -4*j + 3*x - 25 - 4 = 0 for j.
-5
Let j(q) = -1 + 0 - 3 + 9*q - q**2. Suppose -1 = -p + 7. Let t be j(p). Solve -3*f + 3 = -t*u, -33 + 8 = -5*f for u.
3
Let t = 122 - 119. Solve 5*c + t*f + 2*f - 15 = 0, 4*c - 17 = f for c.
4
Suppose 0*d = -d + 40. Suppose w = -w + d. Suppose -l = -5*z + w, -7*l = 4*z - 2*l + 13. Solve -15 = z*r, -3*o + 3*r - r = -7 for o.
-1
Suppose 20 = 5*w - 5*b, -w + 21 = -5*b + 5. Let m(h) = 4*h**2 - 1. Let q be m(w). Suppose -q*j + 42 = -21. Solve -j = -2*o - 3*n - 10, 24 = -2*o + 4*n for o.
-2
Let q(m) = m**3 + 5*m**2 - m - 2. Let g be q(-5). Solve -a + v + 1 = 0, -g*a + 2*v + 0*v = -6 for a.
4
Let z be ((-6)/9)/1*-3. Suppose -5*a = 2*v + z, -3*a + 2*v - 16 = -2. Let n be -1 + (a + 2 - -5). Solve 0*y = y - 2*o - 10, 5*o + 25 = -n*y for y.
0
Let l = -21 + 35. Suppose 2*c - 29 = 3*b, 2*c = -0*c - 2*b + l. Solve 4*w + 35 = 5*n, -4*n + c = w + n for w.
-5
Let l(r) = 3*r**2 - 5*r**3 + 0*r**3 + 6*r - 1 + 4*r**3. Let h be l(4). Let d = -4 + h. Solve 3*a + 16 = 2*b + a, d = -a for b.
5
Suppose -7 - 8 = 2*l - 5*s, -s = -l. Suppose 2*y + 4*h = l*y - 1, -4*y = h - 33. Solve -5*r + 2 - y = 2*i, 0 = 2*r - 5*i - 27 for r.
1
Suppose z + 2*z - 3 = 0. Let k = 10 + z. Solve -5*s = -3*b - 9, -2*b - k = -5*s - 0*b for s.
3
Let n(i) = i**2 - 9*i + 8. Let w be n(7). Let o = w + 10. Suppose -o*g + 0*g + 40 = 0. Solve 3 = z, 0 = -m - 5*z + g for m.
-5
Let p be (-1)/2 - (-3)/2. Let f = 5 - 1. Solve s - 4*m - 10 = -s, 5*s - f*m = p for s.
-3
Suppose -2*a + 4*x - 9*x - 6 = 0, -4 = 2*x. Solve a*j = 5*h - 0*h + 14, -4 = h for j.
-3
Let l(z) = -z**2 - 4*z - 3. Let q be l(-3). Suppose 4*v = 4*m - 48, q*v + v = -m - 10. Let b = 29 - v. Solve p + 30 = -3*p + 2*o, 0 = -5*p + 3*o - b for p.
-5
Let v be ((-9)/2)/3 - (-9)/6. Solve 0 = -m - v*m + g + 5, 2 = -2*m - 2*g for m.
2
Suppose 0 = -4*y + 4*i + 4, 0 - 5 = -4*y + 3*i. Solve -p - y*a - 6 = -0*p, 4*a + 18 = p for p.
2
Let l be (24/10)/(3/20). Suppose -2*g - 4 = 3*i + 2, 6 = -i - 2*g. Solve 3*j = -4*m - l, 0 = -i*j - j for m.
-4
Let g be ((-18)/12)/(3/4). Let h be 1/1*(g - -5). Solve -2*x = h*f + 12, -3*x = -f - 2*x + 1 for f.
-2
Let k = 1 - -1. Suppose 0 = -p + 4*r - 4, -5*p + 2*r - 1 = 1. Solve 3*i + 2*v = 19, i + i - k*v + 4 = p for i.
3
Let p = -5 + -1. Let n(j) = 1 - 2*j - 5*j - 5 + j**3 + 5*j**2. Let m be n(p). Solve -2*u - m = -3*v - 0*v, 3*u - 3*v = 0 for u.
2
Let g = 3 - 2. Let k = g - -4. Solve 0 = 3*r + k*t - 23 - 3, t = 5*r - 6 for r.
2
Suppose 3*q + 30 = 12. Let n be q/(-15) + 123/5. Suppose 5*s - 2*g - n = 0, -5*g - 20 = -4*s - g. Solve 2*o - 18 = -2*y, s*y = o - 1 + 22 for o.
4
Let v(l) = -l + 3. Let b be v(3). Let p = -13 - -7. Let y be b + (-1 - 1) - p. Solve 5*m + 7 = -y*h, 1 + 4 = 5*m for h.
-3
Let q = 94 - 94. Solve p = -2*j, q = 4*p + p + 10 for j.
1
Let x be -6*(-2)/((-16)/(-4)). Let q = 5 - -2. Suppose q = g - r, -g - 3*r - 3 - 2 = 0. Solve g*y - 3 - 16 = -x*d, 4*d = -4*y + 24 for y.
1
Let p(y) = 8*y**2 + 2*y - 3. Let u(n) = -3*n**3 - n**2 - n - 1. Let t be u(-1). Let h be p(t). Solve -5*s - 4*x - h = -6*x, -2*s - 2 = 2*x for s.
-5
Supp