
3
Let x(l) = -l**2 + 3*l + 2. Let d be x(3). Solve d*g = i + 3, g + 0*g - 4*i + 16 = 0 for g.
4
Suppose 0 = u - 9 + 5. Solve -5*o + 29 = 4*n, -11 = 4*n + o - u*o for n.
1
Let x be ((-21)/15 - -2)*5. Let p = -8 + 10. Suppose -x*n = 6, p*f - 40 = f + 4*n. Solve -5*t = 3*b - f, -3*b - 2*t + 9 = -11 for b.
4
Let c be 1 + (-3)/(6/(-8)). Let q = c - 2. Solve x - q*x - 2*t = -16, 4*t = 4*x for x.
4
Let u = 5 + 11. Suppose 3*p - u + 4 = 0. Solve -p*d - 2*v = -v + 15, -3*v = 3*d for d.
-5
Suppose 0*l + 4*l = 36. Solve p = -4*y + l, -6*p = -3*y - p + 24 for y.
3
Let w be -1*5/(15/(-9)). Suppose -5 + 32 = w*y. Solve 3*i = 15, -m - y = -4*i + 11 for m.
0
Suppose -7 = -6*f + 5. Solve -v - 10 = -3*i, -i + 2*v - 15 = -f*v for i.
5
Let n = -122 + 127. Solve y + y = 2*t - 6, 7 = -y + n*t for y.
-2
Let n(c) = -c**3 - 4*c**2 + 3. Let h be n(-4). Let j = -13 + 19. Let l be h/(-2)*(-20)/j. Solve 5*g + 4*o + 8 = 0, g + l*o = 4*g + 27 for g.
-4
Let v = -7 - -19. Solve -v = 3*f + 5*a, -a = 2*f - 3*a - 8 for f.
1
Let k be 7 + (16/(-2) - -4). Solve 0 = 2*l + 2*i - 6, -l + i = -k*i + 17 for l.
-1
Let d be ((-8)/(-20))/(2/10). Suppose -d*x = 2*x - 8. Solve p = -z - 0 - 3, 0 = z - 4*p - x for z.
-2
Let m(c) = c + 3. Let y be m(1). Solve -5*w = -2*x + 13, -x - y*w = 3*x + 16 for x.
-1
Suppose -5*z + 70 = 4*p, -8*z + 3*z = -2*p + 20. Let j = -10 + p. Let a(c) = c**3 - c + 5. Let r be a(0). Solve -4 = -0*s - 4*s - 4*k, -j*k - r = 3*s for s.
5
Let g(t) = -t + 1. Suppose 0 = -2*s + 4*s + 2. Let v be g(s). Solve -3*y = 5*p + 2*y + 25, 0 = -v*y for p.
-5
Let n be (-72)/(-126) - (-146)/14. Solve 4*a + m + 2 = -n, -5*a = 4*m + 30 for a.
-2
Let n = 8 - 4. Suppose r - 2*r = n. Let l = r + 6. Solve 2*c + l*o + 10 = 0, -o = 5*c - 0 + 21 for c.
-4
Let z = -21 + 26. Solve -21 = -2*v + 5*d, -z*v - 4*d = -2*v + 3 for v.
3
Let u = -2 + 4. Let z = 5 - u. Suppose -z*p + p = -4. Solve 0 = -3*k + p*r + 13, -2 - 3 = r for k.
1
Suppose -6*v + 4*x = -3*v - 23, 2*x = 4*v - 24. Solve 4*d - 28 = 4*q - 6*q, -v*d + 3*q + 13 = 0 for d.
5
Suppose -4*j = 4*q - 12, 3*q + 2*j - 1 - 5 = 0. Solve -3*c - 2 = -c - 4*u, -4*c - u + 23 = q for c.
5
Let q = -143 + 163. Solve -5*r = -q, 2*n + 3*r + 2 = r for n.
-5
Suppose 5*x + v = 2*v - 48, 0 = x + 2*v + 3. Let t = -5 - x. Let g = 6 - t. Solve 0 = -g*n + 5*p - 33, 5*n + 40 = -0*n + 4*p for n.
-4
Let v = 7 - 5. Let q be ((-1)/2)/(v/(-12)). Solve 3*t + 4 = 5*f - q, 5*f - 11 = -t for f.
2
Let f be 16/(-3) - (-10)/(-15). Let x be 7 + (-3)/f*-6. Solve 0 = -2*s + x, 0*j - 2*j = s - 2 for j.
0
Suppose -3*t - 16 = q + 3*q, -8 = 5*t + 2*q. Suppose t*f - 4*f = 4, -f - 7 = -3*c. Solve -w - 4 = -h, 4*h + w = 4 + c for h.
2
Let b(f) be the third derivative of f**5/60 + f**4/12 + f**3/6 - 3*f**2. Let k be b(-1). Solve 5*q + 16 = 5*z - 9, -5*z + 3*q + 15 = k for z.
0
Let o(d) = -d + 10. Let w be o(7). Solve 0 = -2*i + 3*x - 8*x - 18, -x + 10 = -w*i for i.
-4
Suppose -1 = -2*x + 1. Let s = -1 + x. Suppose 2*o - 10 = -s*o. Solve -j - 8 = 5*y - 33, o*j = -3*y + 37 for y.
4
Let h(z) = z**3 + 3*z**2 + 3*z + 1. Let y be h(-2). Let g(m) = -m - 7. Let k be g(-6). Let a be (-1)/k + y + 8. Solve 5*l + 10 = 4*v, -5*l + 3*v - 2 = a for l.
-2
Suppose -2*w + 29 - 23 = 0. Solve -q - s = w*s + 8, -15 = 5*s for q.
4
Let v(x) = -2*x - 7. Let a be v(6). Let h = a + 13. Let b be (16/h)/((-2)/3). Solve 16 = -4*m - r - r, b*r - 13 = m for m.
-5
Suppose 4*p - 2*c = -p + 37, -p + 5*c + 12 = 0. Let u = -97 - -99. Solve u*s + s + p = -2*t, s = 4*t - 7 for s.
-3
Let a(s) = -3*s + 4. Let w be a(-13). Suppose -4*v - w = -5*n, 0 = 2*n + v - 1 - 11. Solve -2*r - 2*r + 5*c + 14 = 0, 4*c = -r - n for r.
1
Let d = -11 + 17. Suppose 0 = d*w - 3*w - 15. Solve -2*n = -w*y + n + 21, y - 4*n = 11 for y.
3
Suppose -5*s = 4*z - 16 - 6, 0 = 4*z + 4*s - 20. Let n = 0 + z. Solve 2*t - n*k - 5 = 0, 0 = -0*t + 5*t - 3*k + 1 for t.
-2
Suppose 4*k - 3*k = -5*z + 41, 5*z - 4*k - 61 = 0. Suppose -3*x + z = -0*x. Solve x*p + 19 = -5*t, t - 3*p + 26 = -3*t for t.
-5
Let h(v) = -v**2 - 8*v - 3. Let s be h(-7). Solve 37 - 1 = -4*y + s*b, 3*y - 13 = -5*b for y.
-4
Suppose 2*f - 19 = -5*w + 2, 0 = -w - 4*f + 15. Solve -j + 2*c = -2*j - 2, w*c = -3*j - 6 for j.
-2
Suppose 2 = u - 1. Solve -x + 4 = -3*x + u*y, -2*x - 2 = -2*y for x.
1
Let z be (1/(-3))/(2/(-12)). Suppose -1 - 1 = -z*j. Let v = j - -3. Solve 2*p - v = i - 2*p, 0 = 4*p - 8 for i.
4
Suppose 5*b = 8*z - 4*z - 21, 0 = -z + 2*b + 6. Suppose -2*j + x = -3*x + z, -2*j - x = -6. Solve -4*n = -3*r + 12, -r = -5*r + j*n + 6 for r.
0
Let t be (-2)/10 + 224/20. Suppose -5*l + 18 = 2*b, -b - 5*l + t = -3. Solve -b*h + 8 = -u - 4, h - 3 = -u for u.
0
Suppose 4*b + 36 = t + 4*t, -45 = -5*t - 5*b. Let g be (6/(-4))/((-3)/t). Let k be (1 + 0)/(-3 + g). Solve -u + y = u + k, -y = 3*u + 4 for u.
-1
Let q = -72 - -74. Solve -3*r = -4*o - 2, q = 4*o + r - 4 for o.
1
Let a(n) = n + 12. Let h(v) = v**3 - 5*v**2 - 2*v + 1. Let c be h(5). Let z be a(c). Solve 5*m - 10 = 5*j, -j + 2*m = -z*m + 14 for j.
1
Let v(q) = -q**3 + q**2 - q - 1. Let s be 6/(-8) - (-12)/(-48). Let y be v(s). Solve -2*h - 7*z = -2*z + 19, -y*h = 3*z + 13 for h.
-2
Suppose -6*v = -v - 10. Solve 0 = -v*g + 2*c - 10, -2*g - c = c + 6 for g.
-4
Let k be (-7)/(-3) - (-2)/3. Let w be (-1)/((6/(-4))/3). Solve 2*q + 5 = b, k*q + 3*b + b = -w for q.
-2
Let b = -5 + 4. Let j be 8 - (-2)/2 - b. Solve 5*x + 5*h - j = 35, -29 = -5*x - h for x.
5
Let t = 7 + -3. Let s = t + 1. Solve -2*p = -3*x + s, 0 = 5*p - 11 + 1 for x.
3
Let n be (-2)/(-5)*5*2. Suppose 4*y + 3*o - 3 = y, -2*y = 3*o - 1. Let i = 58 + -56. Solve 0 = -3*j + 3*c - n*c + 6, -i*j - y*c + 8 = 0 for j.
1
Let y be -2*1 - (-2 - 3). Suppose 0 = -3*c - 3*u - 9, u + y = 0. Suppose -4*x - 85 = -9*x. Solve -4*a + z + x = 0, c = a + 5*z + 11 + 11 for a.
3
Let b(f) = -2*f**3 + 11*f**2 + 8*f - 6. Let y be b(6). Solve 5*s + y = -4*l, -3*s = 4*l + s + 8 for l.
-4
Let m be ((-12)/7)/((-6)/105). Suppose 3*f - m = 5*p, -27 = -4*f + 3*p + 2. Solve 0 = -f*l - 5*i, -1 - 17 = -4*l + 2*i for l.
3
Let d = -15 - -27. Solve -4*u - d = -4*s, 5*s - 1 = -3*u + 6 for s.
2
Suppose 2*h - 15 = -1. Suppose 16 = 3*y - h*y. Let w be (-17)/y + (-4)/16. Solve -5*v + w*j + 16 = 0, 4*j + 8 = 5*v + 2*j for v.
0
Let m = -2 + 6. Let p(w) = w - 5 + 6 + 2*w - m*w. Let b be p(-3). Solve -b*q - 8 = -q - x, -15 = -3*x for q.
-1
Let f = -7 + 10. Suppose f*l - 9 = 5*t + 15, 2*l = 2*t + 20. Suppose -q + 5 = -3*v + l, 5*v = 3*q + 12. Solve -5*c + 2*b = 6 + 13, 11 = -v*c + b for c.
-3
Suppose 2*i + 3*i - 10 = 0. Solve -2*b - 2*a + 8 = a, -i*b + 5*a = 8 for b.
1
Suppose 5*s = -4*n + 44, 3*n - 4 = 4*n + 5*s. Solve 0 = 2*j - 3*f + 8, j - 5*j - n = -f for j.
-4
Let y(x) = -x + 12. Let t be y(7). Suppose -r + 33 = 8. Suppose 0 = -t*l + r. Solve -z - l*h = 9, -z - 5*h = 4*z + 25 for z.
-4
Let n(m) = -m**2 - 13*m + 23. Let o be n(-17). Let d be (27/o)/((-1)/5). Solve 3*t - 9 = 0, -4*t + 6 = -d*j - 2*t for j.
0
Let k = 3 - -2. Let j be (10/3)/(14/21). Suppose -j*u + 0*u = 0. Solve u*g - g + 1 = -5*h, -k*h + 2*g = 2 for h.
0
Let k(h) = -h**3 - 4*h**2 + 5. Let r(m) = m**3 + m**2 + m - 1. Let y(j) = -k(j) - 3*r(j). Let l be y(-2). Solve 3*s = 3*f + l, -s = -2*f - 15 + 3 for f.
-4
Suppose 4*d = 2*b - 2, -10 = 2*d + 3*d - 5*b. Let l be 1*(4 + -2) + d. Solve 10 = 4*g + l*m, 4*g + 1 = m + 3 for g.
1
Let d = 8 + -5. Suppose 3 = h - 5. Let c(q) = -q**3 + 9*q**2 - 7*q - 8. Let l be c(h). Solve 2*p - d*p + 13 = 3*b, l = 4*p + b - 19 for p.
4
Let n = 224 + -222. Let c(l) = l**2 - 2*l + 7. Let u be c(5). Solve 2*t - 4 = n*h, -u = 3*t + 3*h + h for t.
-2
Suppose -2*k - 4*n = -6, 3*k = n + 16 - 7. Suppose -6*m + k*m + 15 = 0. Solve 5*i + 26 + m = -3*y, 4*i - 5*y = -10 for i.
-5
Suppose l + 2*l = -54. Let j be 5/30 + (-51)/l. Solve 0*i = 4*o - j*i + 11, -2*i = -4*o - 14 for o.
-5
Let d = 219 + -34. Suppose 0 = 5*u - 0*u - d. Suppose -3*v = -3*j - 27, -3*v - 2*v + u = -3*j. Solve -3*q = 2*o - 4, -3*o - o - v*q + 6 = 0 for o.
-1
Let y be (0 - 0) + -1 + 1. Suppose -2*r - r - 24 = 0. Let z = r + 38. Solve 5*n - 20 = 3*q + 20, y = -4*n + 2*q + z for n.
5
Suppose -2 = -5*s + q, 5*q = -s + 4*q - 2. Let m(l) = -l + 24. Let r be m(s). Solve 4*a + r = 4*c, -c = -3*a - 6 - 6 for a.
-3
Suppose -5 = -4*a - a. Let d be (-144)/(-42) - (-8)/14. Suppose -a