3)/((-2)/5). Suppose 2*y - 3*y = -h. Solve -3*v - 2*d - 17 = 2*d, 5*d = -y*v - 25 for v.
-3
Let s = -13 - -15. Solve -3*x - 4*o + s = 1, 0 = 4*x - o + 24 for x.
-5
Let o(s) = s**2 - 3*s + 2. Let h be o(2). Suppose j - 3*j + 4 = 0. Solve h = g - j*g - p + 3, 0 = 4*g + 5*p - 10 for g.
5
Let x(v) = -3*v - 7. Let u(k) = 2*k + 8. Let a(f) = 4*u(f) + 3*x(f). Let h be a(6). Solve o + 31 = 4*g - 2*o, h*g - 40 = 4*o for g.
4
Let m = 17 - 12. Suppose -m*y + 6 = c, -5*y + 2 = 4*c - 7. Solve -y = -2*o + a, 4*a - 8 + 28 = 0 for o.
-2
Let n(f) = f + 5. Let g be n(12). Suppose -2*k - g = -5*u + 2*k, k + 23 = 5*u. Solve -3*r + u*m = 30, 4*r + 16 = -m - 1 for r.
-5
Suppose 4*u - 21 = 3. Suppose -u*p = -p - 15. Suppose p*y = 8*y. Solve y = -5*q - 3*v - 1, 0*q + 2*v = 3*q + 12 for q.
-2
Suppose 0*u = 5*u - 55. Let s be 2/(-4) - (-45)/10. Solve 5*o - 2*f + u = 0, s*o - 4*f = -f - 6 for o.
-3
Suppose -2*g - 2*g = 3*m + 4, 0 = -2*g - m - 4. Suppose -4*x + x - 18 = 0. Let j = g - x. Solve 40 = -5*q - 5*d, 4*d + 11 + 11 = -j*q for q.
-5
Let r be (58/10 - 5)*(-5)/(-2). Solve -r*s - 5 = g, 4*g - 1 = 5*s + 44 for g.
5
Let h = 7 - -11. Let z = -9 + h. Solve -u = -4*u - z, 0 = -4*n + 4*u for n.
-3
Suppose -3*y - 4*v = 12, 2*y + v + 12 = -3*v. Suppose -4*w = -3*m - 32, 4*m + 11 = -w - y*m. Solve -13 = -3*j - w*f, 2*j + 2*f - 10 = -2*f for j.
1
Let y = 76 + -76. Solve y = -2*k - 2*p + 12, -2*k - 13 = -0*k - 3*p for k.
1
Let c = 3 - -4. Let j = c - 4. Solve 4*k + j = 3*q, -2 + 17 = 3*q for k.
3
Suppose -3*m - z + 2 = 0, -5*z = -4*m - 2*z - 6. Let y be m*(-1)/(2/1). Solve -2*a + 10 = 2*q, y = -q + 5*q - 5*a - 20 for q.
5
Let b(c) = 2*c**2 - 4*c + 3*c**2 - 4*c**2 + c. Let r be b(4). Solve 0 = -5*w + 5*k - 2*k + r, 0 = 3*w - 3*k for w.
2
Suppose 4*c = v - 5 - 14, -3*c = 3*v + 3. Suppose 2*g + v*g = 85. Solve -5*y - g = -4*f, -f = -4*f + 2*y + 11 for f.
3
Suppose 2*h + 2*l - 4 = 0, 2*l = 3*h + l + 2. Suppose -n + h*n - 20 = 0. Let r be 1/(-2)*n/2. Solve -5*u - 5*j + 3 = -u, -r*j = -15 for u.
-3
Suppose -5*j - c + 15 = 0, -4*j + 2*c + 36 = -2*c. Solve 2*t + 18 = -j*d, -2*d = 2*d + 16 for t.
-1
Let n be (-3)/3*(4 + -4). Solve n = w - d + 4, -5 = 3*d + 2*d for w.
-5
Let h = 59 + -57. Solve h*t - 3*j = -t - 15, 0 = 5*t + j + 13 for t.
-3
Suppose -2*w + 11 = 4*a + a, 5*w = a + 14. Solve 0*k - 5*k + w*r = -11, 4*k - 4*r - 12 = 0 for k.
1
Suppose 0 = 5*d - 7*d + 6. Solve d*j - 2*j - 5*p = 11, -2*p + 6 = -3*j for j.
-4
Suppose 35 + 5 = 4*o. Suppose 5*a - o = -0*a. Suppose 21 = a*s - 1. Solve -2*r + s + 1 = 2*d, 5*d - 26 = -4*r for d.
2
Let k be 3 + 4 - (0 - 4). Solve -5*f - 5*h = -k - 4, 5*h = -2*f + 6 for f.
3
Let c be ((-3)/12)/(2/(-32)) - -1. Solve -c*k = 5, 0*k - 5 = -3*j - k for j.
2
Suppose 5 = 2*z - 7. Suppose 0 = -3*m + m + z. Solve 3*o + 9 = m*c, 4*o + 10 = 2 for c.
1
Suppose 2*c - 8 = 3*q + 2, 4*c + 3*q - 20 = 0. Suppose 0 = -5*z - 4*a + 15, 2*z - a = -c*a + 6. Solve z*r + 6 = k, 2*k - 3*r - 6 = -k for k.
0
Suppose -a - 4*x - 31 = 0, -3*a = -4*x + 16 + 13. Let i = -5 - a. Suppose 4*f = i + 10. Solve 13 = 4*s - s - f*h, -s = -2*h - 6 for s.
-4
Suppose -3*r + 2 = -7. Let a(o) = -o**3 + 12*o**2 - 11*o - 15. Let t be a(11). Let f be (-9)/t*10/2. Solve -f*m = -4*c + 14, -3*c + r = -3*m - 6 for m.
2
Let w be 0*(-9)/12*(-12)/18. Let t be 9/(0 + 1*-1). Let b be (-43)/(-9) + (-2)/t. Solve b*i = q + 7, w*i + 3*i = -5*q + 21 for i.
2
Suppose 0 = -5*a - l - 87 - 21, 0 = a + 3*l + 16. Let b = -12 - a. Let h be (-8 + b)/((-2)/(-5)). Solve 0 = -y - d + 3, h*y + 0*y + 3*d - 15 = 0 for y.
3
Let o = -76 + 78. Solve -4*i + j = -3*j + 16, -o*i + 4*j - 8 = 0 for i.
-4
Let j be (-324)/(-5) - 4/(-20). Let l be 2/5 - (-299)/j. Solve 0 = -0*k + 2*k - 5*u - 13, 14 = k - l*u for k.
-1
Let m(k) = -k + 6. Let t be m(4). Solve 4*b = -2*j + 30, t*j = -4*b + b + 25 for j.
5
Let y = 0 - -2. Let u be 42/24 - y/(-8). Solve 0 = l + 3*m + 3 - 13, 30 = -4*l + u*m for l.
-5
Let v(l) = 3*l - 15. Let y be v(5). Solve -3*p + 3*u + y = 6, 3*p = 2*u - 2 for p.
2
Let f = 6 - 1. Let i(y) = -y**2 - 6*y + 3. Let r be i(-5). Let a = 23 - r. Solve 4*u + 3*w = 0, -f*w = u + a + 2 for u.
3
Let h = -18 - -23. Solve -h*y = 20, -c + 4*y = -0*c - 19 for c.
3
Let h(r) = -20*r - 2. Let x be h(2). Let w be (-2)/4 + x/(-12). Solve 5*c = 3*o - 10, 3*c = -w*o - o - 6 for o.
0
Let g(h) = h**3 + 9*h**2 + 6*h - 6. Let f be g(-8). Suppose -3*i = 4*y - 3 - 12, 2*i = f. Solve y*a - 4*v = -2*a - 18, -v + 7 = 2*a for a.
1
Suppose -2*j - 2*j = -8. Let s = 7 + -2. Let d = 7 - s. Solve -1 = -3*p - j*q - 4, 0 = d*p - 2*q + 2 for p.
-1
Suppose 3*h - 231 = -2*r, 5*r + 204 = 5*h - 156. Let c be 10/h - 232/(-60). Solve 21 = m - 4*w, -5*m + c*w - w = -37 for m.
5
Suppose 0 = -2*d - 4*j + 24 - 8, 10 = 3*d - j. Solve -d*g = -2*s - 3*s - 15, -2*s + 5*g = 6 for s.
-3
Let r(o) = 3*o - 9. Let t be r(4). Let y be 189/42*2/t. Let n(j) = j**2 - 4*j + 3. Let s be n(4). Solve 2*g = 7*i - s*i - 6, 0 = -y*i + g + 3 for i.
0
Let a = -7 - -13. Suppose -5*h = -8*h + a. Solve r = 3*u - 11, r + 4*u + h = 5 for r.
-5
Suppose -3 = v + c, v + 3*c - 1 = -2. Let t be (-150)/(-9) + v/6. Solve -a + l - 7 = 4*l, -4*l = t for a.
5
Let w = -41 - -57. Solve 26 = -2*c + 4*a, -4*c - w = -3*a + 4*a for c.
-5
Let v = -2 + 5. Let i(z) = z - 2. Let a be i(6). Solve -4*x - 16 = -a*l, -l + x + v*x + 19 = 0 for l.
-1
Let g = -51 + 71. Solve 0 = 3*v - 4*z + 1 + 3, 4*z - g = -v for v.
4
Suppose -y + 0 = -3. Suppose -y*t + 3*i = -24, 2*t + 3*i = -0*i + 1. Solve t*s = 2*v - 6*v, -3*v = s + 11 for v.
-5
Let s be 4 + (-2)/(-4)*-2. Suppose 1 = s*u - 11. Let p(f) = 2*f - 9. Let b be p(6). Solve 0 = 2*y + 5*z - 15, -b*y + u*y + z = 0 for y.
-5
Suppose -28*k = 67 - 207. Let q = 1 + -1. Solve q = k*n + 4*p, 4 = -3*n + 2*p + 26 for n.
4
Suppose -2*l = 7*c - 6*c, 0 = 5*c + l - 18. Solve -28 = 4*m + 4*b, c*m - 3*b = 2*m - 4 for m.
-5
Suppose -5*q + 10 = -0*p + 3*p, 3*q = p + 6. Solve -5*i - 3*j = 10, -5*i - 5*j - 20 = -p*j for i.
1
Suppose -26 = -6*j - 7*j. Solve f + n + 4 = 0, n - j + 1 = 4*f for f.
-1
Let a(l) = 2*l**3 - 3*l**2 + 2*l - 3. Let y be a(2). Solve y*p + 0*u - 5*u = 15, 4*p + 4*u + 28 = 0 for p.
-2
Let z be 6/4*112/(-6). Let h be (-7)/z - 1/4. Suppose -2*p - m + 5 = -0, p - 5*m + 25 = 0. Solve 5*f - s - 2 - 14 = h, s + 1 = p for f.
3
Let z(x) be the first derivative of 7*x**2/2 - x - 1. Let p be z(3). Suppose -3*n = -p - 10. Solve -t - s - 2 = 4*s, 0 = -5*t + 4*s - n for t.
-2
Let c be 0/(4/(-1) + 5). Solve c = -4*s + 3*t + 8, -3*s + 4*t + 3 = -3 for s.
2
Suppose -x + 4*x - 15 = 0. Solve 0 = -5*q + 2*n - 15, -3*n + x*n - 3 = q for q.
-3
Let a(d) = -d**2 - 5*d - 3. Let j be a(-3). Suppose 6*z - 5*z = j. Suppose 14 = -y - 5*n, -z*y - n + 6 = -2*y. Solve -q - q - y = h, 4*h + q = -9 for h.
-1
Suppose -d + 0*d = 0. Let c(a) be the third derivative of -a**4/24 + 2*a**3/3 + 4*a**2. Let w be c(d). Solve 31 = -w*s + h + 2*h, -s + h = 9 for s.
-4
Suppose 20 - 16 = 2*g. Suppose 4*d - 21 = -5. Solve g*s = -5*f - 15 + 2, s = d*f for s.
-4
Let p(g) = -2*g**3 - g**2 - g. Let x be p(-1). Solve -4*u - 16 = 0, -u = 5*s - x*s + 19 for s.
-5
Suppose 17 + 19 = 3*o. Suppose o - 6 = 3*f. Solve -3*v - 5*b = -f*b - 3, 2*v = -5*b + 11 for v.
-2
Suppose -i = 5*o - 4*i - 19, 0 = -4*o - 2*i + 24. Let a be (-1 + 1)/(4 - 3). Suppose -3*q + 16 = 1. Solve 30 = -o*x + q*b, -x - 14 = -a*b - 5*b for x.
-4
Suppose -8*d - 3 = -3. Solve d = b - 2*b - 3*x - 13, 17 = -b - 4*x for b.
-1
Let f = -5 - -9. Suppose n - 37 = -3*a - f*n, 4*a + 5*n - 51 = 0. Suppose -s + 5 = -2*j + 15, 3*j - s = a. Solve 0 = j*o + 4*i + 4, -i = -4*o + 2*i - 32 for o.
-5
Suppose -2*p = -2 - 6. Suppose 3*v + 2*v = p*k - 10, 0 = 3*v - 4*k + 14. Let l = 17 + -13. Solve 0 = h - r + 4, 4*h + v*r + l = -6 for h.
-3
Suppose 0 = x - 9 + 5. Solve -3*b + 3*k + 12 = -2*k, x*b = -4*k + 16 for b.
4
Let p be (9 - 4/(-4)) + 2. Solve 5*s = 2*o - 8, 5*o - 8 - p = s for s.
0
Let c = -80 - -80. Solve 3*v - 18 = -2*d, 3 = d - c*d for v.
4
Let i be 5*(8/(-4))/(-2). Solve 3*l = 3*q + 4 - 1, -i*l = -10 for q.
1
Suppose -3*z - v + 10 = -0*v, 4*z = 3*v + 35. Solve k = 2*j + 3*k - 4, z*k + 10 = 0 for j.
4
Let k = -52 + 69. Solve -4*x = -5*m + 9, -4*m = 2*x - 11 - k for m.
5
Let k = -20 - -16. Let f be k/1 - (-280)/10. Solve -5*b = l - f, b + 4*l - 6 = -b for b.
5
Let b(x) = x**