 -1 + (-2)/(y/3). Solve 6*i + 15 = 5*v + i, b*i = -v for v.
2
Suppose -23 + 8 = -5*q. Suppose q*c = -2 + 11. Solve 4*a + a + 10 = c*f, -f + 10 = -3*a for f.
-5
Suppose -2*z = 4*u - 2, 3*u = z - 25 + 4. Suppose 8 = q - z. Solve 4*x = -2*l - 3*l + q, 0 = -4*x - 8 for l.
5
Let y(m) = 2*m - 1. Let c(i) = 3*i - 2. Let p(z) = 3*c(z) - 5*y(z). Let d be p(-3). Suppose -d*h = -h. Solve 4*a + x - 23 = -a, h = -x - 2 for a.
5
Suppose 0 = 6*o - o - 55. Let r = o - 4. Solve 3*l - 27 = 2*d - r*d, 8 = 2*l for d.
3
Let v be (-2)/4*((-12)/4 - 3). Solve 3*s - q = s - 5, 15 = -s + v*q for s.
0
Suppose -5*u + 2*n = 6, 1 = -5*u + n - 2. Suppose r - 21 = -u*r. Solve 0 = 2*d + 5*o - r, -9 = -d - 2*o - 1 for d.
-2
Suppose 3*y + 3*a = -2*a, -5*a = -5*y. Solve -2*j = -4*c + 14, y = 2*j + j + 3*c + 3 for j.
-3
Let b be 1/(-2)*(-13 - 1). Suppose 5*f - 10*f = -5*c - 5, 5*c - b = 2*f. Solve -f*p = 0, -4*u + 12 = -3*p - 2*p for u.
3
Let a = -8 + 13. Let s(o) = o. Let k be s(0). Suppose f - 2 - 2 = k. Solve 2*t = 3*j - 17, a*t - j - f*j = -30 for t.
-1
Let w = -28 + 32. Solve -2*a + g + w = 0, 0 = -4*a + g + 4 + 2 for a.
1
Suppose -r = 2*r. Suppose r = -4*a + 7*a - 9. Solve -a*s + 10 = -c, 3*s + 5*c = 2 + 2 for s.
3
Let u(v) = v**3 - 12*v**2 + 14*v - 15. Let n be u(11). Solve 0 = 2*o + 4*s - n, 5*s + 0 - 5 = o for o.
5
Let z be (-36)/6*2/(-3). Let h be (0 + z)/((-3)/(-3)). Let w be -1 - -5 - (0 + 1). Solve -5*v - 2*y = 6, -h*v + v - y - w = 0 for v.
0
Suppose -5*s + 32 = -4*t, -3*t + 12 + 26 = 4*s. Solve -5*c + a = -2, -s*c + 4*c = 2*a - 10 for c.
1
Suppose z - 5*z - 5*u = -55, 2*z + 5*u = 25. Solve 5*c - c + 12 = 4*o, -5*o + z = -2*c for o.
3
Let a = 7 - 4. Solve -i + 6*i - a*h = 27, 0 = -5*i - 5*h - 5 for i.
3
Let w(u) = u**3 + 7*u**2 + u + 9. Let o(g) = -5*g + 3. Let h be o(2). Let d be w(h). Solve 3*l = 5*p - 3, -3*p = -7*p + 2*l + d for p.
0
Let p(m) = m + 16. Let t = -28 - -15. Let c be p(t). Solve 3*l = c*x - 18, 5*l = 3*x - x - 27 for x.
1
Suppose -8 = 3*t - 5*t. Let k = t + 1. Solve 0 = -2*x - k*b - 16, 0*x + 5*x + 5*b = -25 for x.
-3
Let x(t) = t + 14. Let q be x(-10). Solve 0*o + o - 2*c = 11, q*o + 3*c - 11 = 0 for o.
5
Suppose 8*k - 6 = 6*k. Solve -3*r + 6 = -k*l, r + 2 = 3*l - 4*l for l.
-2
Let z = 1 - 0. Let q = z - 0. Suppose 0 = -2*s + 19 - q. Solve -p - 3*o = 0, -2*o = 4*p + o + s for p.
-3
Let v be (-2)/9 + (-94)/(-18). Let k = -159 - -161. Solve 0*n + 2*n = k*u, 2*u = -v*n - 7 for u.
-1
Let r = 17 - 12. Solve 5*n + 19 = -r*o - 6, 4*n = o - 20 for n.
-5
Suppose -6*c - 3*h + 14 = -c, 18 = 4*c - h. Solve 3*x = -c*l - 8 + 23, 10 = 2*x - l for x.
5
Suppose 0 = -0*x + 2*x - 2. Solve -h = 4*c - 4, c + h - x = -0*h for c.
1
Suppose -5*y + 0*s - 5*s + 10 = 0, 2 = y - 5*s. Let d = -28 - -46. Suppose -d = 2*q - 5*q. Solve -3*z + j - 1 = 0, -y*z = -0*z - 2*j - q for z.
-2
Let k = -7 + 10. Solve -u = 0, i + k*i - u = 16 for i.
4
Suppose 3*q = -5*d - 14 + 5, 3*q - 4*d = 18. Suppose p - q*p = -5. Suppose 0 = 2*r - p*r + 6. Solve -3*n + 2*g + 10 = -r*g, -4*g - 12 = -4*n for n.
2
Suppose -i - 10 = -28. Solve 1 = -a - q - 3*q, -2*q = 4*a + i for a.
-5
Suppose 0 = 5*d + 2*a + 117, -3*d - 100 + 29 = 2*a. Let l be -4*(d/4 + 3). Suppose -5*i + l + 9 = 0. Solve 2*q = -i*m - 2, -m + q + 1 = 9 for m.
-3
Let h(c) = -c + 14. Let g be h(0). Suppose -2*w - 2*p = p - g, 3*w = 5*p + 2. Solve 13 = -9*d + 4*d - i, d = w*i - 11 for d.
-3
Suppose 13 - 5 = -3*z + 5*g, -3*z + 24 = 3*g. Solve 2*l = z*m - 18, -2*m + 7 = -1 for l.
-1
Let f be 148/(-16) - (-6)/(-8). Let s be (15/f)/((-3)/8). Solve 5*k = 5*q - 5, -s - 6 = 2*k for q.
-4
Let q(t) = t + 1. Let f be q(-5). Let n be (2 - 1) + f/(-1). Solve 3 = u + 4*r - 7, 2*u = n*r - 6 for u.
2
Let y(h) = 0*h - 4*h - 8*h. Let o be y(-3). Let b = 8 + -2. Solve -2*w - o + b = 4*s, 3*w + 10 = s for w.
-5
Suppose -6*j + 121 = 7. Let w = j - 19. Solve 2*v - x - 4 = w, 4*x - 12 = -3*v + 4*v for v.
4
Let v = -13 - -20. Solve -5*j + 2*j - 4*n = -v, 0 = -5*j + 5*n + 35 for j.
5
Let s(l) = l**2 + 4*l + 5. Let v be s(-6). Solve -3*h + 0*h + 2*d = -1, v = 3*h + 2*d for h.
3
Let f(z) = -2*z**2 - 7*z - 6. Let y be f(-5). Let o = y - -38. Solve 0*m + 4*m - 11 = -3*u, -2*m + 3*u = o for m.
-1
Let u = 8 + -4. Let r = 12 + -7. Solve r*h - 8 - u = -d, 3*d + 24 = 5*h for h.
3
Let h = 55 + -52. Solve 3*m = -5*n - h, -3*n + 8*n - 2*m = 2 for n.
0
Suppose -12*h = -15*h + 9. Solve -21 = -h*d + 2*d + 5*l, 0 = -l - 4 for d.
1
Let b(v) = v**2 + 4*v - 5. Let k be b(-9). Let s = -50 - -95. Solve k = 5*g - g + 4*d, -5*g - 4*d + s = 0 for g.
5
Suppose 5*w - 2*w = 0. Solve -5*i - 5*g = -25, w*i + 18 = 4*i + 3*g for i.
3
Suppose -3*o = -17 - 7. Solve 3*s - 8*s - 3*g = o, 0 = -s + 3*g + 2 for s.
-1
Let w(s) = -s + 1. Let d be w(8). Let h be 0 - (d - (-1 + 4)). Solve 14 = -k - 0*k - 5*t, -5*t - h = 0 for k.
-4
Let d be (308/15)/4 + (-50)/375. Solve d*z + 0*c + 3*c = 5, 4*c + 8 = -3*z for z.
4
Suppose 2*t + 9 = 3*n, 0*n + 5*t + 13 = -2*n. Suppose 2 = u + 4*s + 5, -u - 2*s - n = 0. Solve -u - 1 = -a + d, -3*d = -3 for a.
3
Let q(a) = -3*a**3 - 2*a**2 - a. Let x be q(-1). Let n = -2 + 1. Let v = n + 3. Solve -o + x*w = -9, -2*w - 15 = o + v*w for o.
1
Let g = 11 - 6. Solve 0 = -g*h + b + 14 + 2, 2*b + 12 = 5*h for h.
4
Let m be (1 + -2)/(11/(-22)). Solve -3*x - 5*c = m*x, 5*x - c = 18 for x.
3
Let c(w) = w + 1. Let i be c(2). Solve 4*r + 15 = -5*h - r, -9 = -h + i*r for h.
0
Suppose 5*o + 3*r - 27 = 0, -4*o + 5*r = r - 28. Solve j + 3*z = 2, z + 4 = j + o*z for j.
-1
Suppose -73 = -3*r - 3*g + 2, 4*g = 4*r - 116. Solve 4*a - 3*c + 6 = 3*a, 0 = 5*a + 4*c - r for a.
3
Suppose 3*j = -j + 20. Suppose -5*p + 15 = c, 2*p - 30 = -j*c - 1. Let i be (5/(0 + 5) - -1) + 3. Solve -3*u = i*z - 5, -3*u + z = p + 17 for u.
-5
Suppose 0 = -2*g + 8 - 0. Solve 3*x - g*k = -24 + 1, -2*x = 5*k for x.
-5
Let p(d) = -d**2 - 5*d - 3. Let s be p(-4). Let f = 14 + -10. Let r = s + f. Solve 2*x - 3*a - r = -0, 15 = -3*x - 3*a for x.
-2
Let l = 5 + -3. Let k(h) = -h**2 - h - 2. Let z(y) = y**2 + 2*y + 1. Let r(j) = 6*k(j) + 7*z(j). Let d be r(-9). Solve 3*w - l + 17 = -u, -3*u + 7 = -d*w for w.
-4
Let y(u) = -u**3 + 2*u**2 + 2*u. Let z be y(-2). Let p = 8 + z. Solve 5*w = -5*c - p, 5*w = c + 4 - 0 for w.
0
Suppose -2*h + 3*h + 5 = 0. Let l be (-1)/(-2)*(-30)/h. Solve -5*b + 19 = -l*s, 4*b = -3*s - 0*s - 1 for b.
2
Let h be 8/24 + 16/6. Solve -3*g + 0*b = 2*b - 1, -h*b + 6 = 0 for g.
-1
Let q be (-1 - (-5)/2)*-2. Let t be q/2*(1 + -3). Solve a = 3*l - 2*a + 21, t*a = -3*l + 3 for l.
-3
Let q be (-6)/(-33) + (-13)/11. Let i be (10/q)/(4/(-2)). Solve 0*x - 12 = i*d + 4*x, -2*d - 3 = x for d.
0
Suppose -w - 3*o = 2, 3*o - 8 = -4*w + 2. Suppose 0*i + w*i - 8 = 0. Solve i*p = 3*y + 10, 5*y + p + 8 = -0 for y.
-2
Suppose m = 2 - 12. Let w(g) = -g**2 - 10*g + 2. Let j be w(m). Solve -5*l - j*s = -3*s - 13, 8 = l - 2*s for l.
2
Suppose -y + 3*o = 10, -5*y = 3*o - 10 - 12. Solve -y*x + 7 = x + 2*c, -2*c = -5*x + 33 for x.
5
Let t(q) = 3*q + 6*q**2 - 6*q**2 - 4*q**3 - 2*q. Let g be t(-1). Suppose 5*k + 7 = 37. Solve 16 = 4*p - k*b + b, -g*p = 2*b + 11 for p.
-1
Let o(c) = -10*c + 5*c**2 - 8 + c**3 + c**2 + c. Let q be o(-7). Solve -3*i = -2*n - 4, -3*n + 3*i = -0*n + q for n.
-2
Let z(t) = t**3 - 4*t**2 - 7*t - 7. Let q be z(6). Suppose -5*c - 4*s + 29 = 0, -5*c + 5 + q = 3*s. Solve -c*f + 8 = -4*x, -22 = -2*x - 0*x - 4*f for x.
3
Let c be 101/11 - (-2)/(-11). Suppose 0 = -3*h - 4*b + 38 + c, 2*h - b - 13 = 0. Solve 3*y = 5*r - 30, -5*r + y + h = -11 for r.
3
Let q = 17 - 28. Let i = q - -19. Solve -4*l - i = -4*v + v, -4*v + 9 = -5*l for v.
-4
Let h = 105 - 100. Solve t + 16 = h*w, 2*t + 4 = -4*w + 28 for t.
4
Let m(u) = u**3 - 6*u**2 + 6*u. Let g be m(5). Suppose 0*s = g*s - 10. Let o = s - -4. Solve -4*j - 8 = 4*x, 0 = -4*j + 3*j - 5*x - o for j.
-1
Suppose -12 = -2*r - 3*g, 2*g + 2 = 2*r - 0*r. Solve 2*s - 8 = 4*a, -5*a + 0*s + 12 = r*s for a.
0
Let v be 2/(-4*4/(-24)). Let y(r) = -r**3 + 5*r**2 - 3*r + 3. Let h be y(v). Solve -2*c + 18 = 5*m, c + 5*m - h = m for c.
4
Suppose -5*b - 2*q = 2*q + 10, 24 = 2*b - 4*q. Solve -b*z - 8 = d - 5*d, 0 = 3*z - 5*d + 8 for z.
4
Let n(x) be the third derivative of -x**6/120 - x**5/20 - x**4/6 - x**3/3 - 6*x**2. Let g be n(-3). Solve -23 = -v + 4*h, -4*v - v - h + g = 0 for v.
3
