x + i*c + 2, -5*x + 2*c = -4 for x.
2
Let m be (6/(-15))/((-1)/(-5)). Let n = 12 + m. Suppose -v = 3*v - 16. Solve -v*t = r + n, -4*r = t - 2 - 3 for r.
2
Suppose 4*a - a = 4*z - 57, 0 = -5*z + 15. Let q be (-3)/a - 18/(-10). Suppose -3*s + 6 = -0. Solve 0*r - 2*r = 5*m - 1, 8 = q*r - s*m for r.
3
Let g be 10 + ((-21)/(-28) - 6/8). Let w = -8 - -13. Suppose -w*b = -8 - 2. Solve o - b*o - g = -3*z, 4*z - 24 = 4*o for z.
2
Let i be 40/15 + (-1)/(-3). Let c(t) = 3*t + t**i - 9*t - 3*t - 3 + 7*t**2. Let x be c(-8). Solve -25 = -5*y - x*q, -2*y = -4*y - q + 5 for y.
0
Let t = 16 + -12. Solve -2*x - 15 = -5*s - 0*x, s + t*x = 25 for s.
5
Let v = -9 - -4. Let l be 7*(1 + v/7). Solve 5*t + 1 = -5*g - 4, -l*t + g - 11 = 0 for t.
-4
Let p(a) = 2*a. Let x(b) = b + 7. Let y be x(-5). Suppose y*t - 10 = -3*t. Let u be p(t). Solve -6*z + 3*q + 10 = -4*z, -u*z + q + 20 = 0 for z.
5
Let l be -2 - (2 + -2) - -2. Let f be (l - 1)*(3 + -8). Suppose 0 = -f*i + c + 5, c - 5*c = i - 22. Solve 4*b + 4 = g, i*b = 4*g + 7*b + 26 for g.
-4
Suppose 4*c - 5*w - 34 = 0, -6*c + 24 = -c + 3*w. Suppose c*r - 40 = r. Let b = 11 - 3. Solve 2*n - b = 0, -s - 3*s - 4*n + r = 0 for s.
-2
Let u = 9 + -12. Let f be 26*u*(-3)/18. Solve 5*z - c = f, 5*z - 19 = -3*c + c for z.
3
Let w(q) = -q + 1. Let n be w(-6). Let c be 0 + 2 - 5 - -6. Suppose 19 = c*o + n. Solve 4*r - 12 = -o*h - r, 3*r = 5*h - 15 for h.
3
Let f(h) = 3*h. Let g be f(2). Let d be (-30)/4*(-16)/g. Suppose 20 = 5*y, w + 2*y - 10 = 2. Solve -5*v = w*c + c - 35, d = 5*v + 2*c for v.
2
Suppose -3*i + 0*s + 1 = -5*s, -2*s = -2. Solve 5*u - 11 = -i*b, b = -4*u + u + 7 for u.
3
Let i be (-2)/4*(-33 + 9). Let o = -10 + i. Let k(q) = -q**3 - 2*q**2. Let u be k(-2). Solve s - 18 = m - 3*s, u = 2*m + o*s - 14 for m.
2
Suppose -6*u + 5*u = -1. Solve 0 = -2*s + l + 2, u = 2*s + s - 2*l for s.
3
Let r = -13 - -16. Let p = r - -1. Solve 5*q - 24 = p*x - 3*x, -4*x - q = 12 for x.
-4
Let i(m) = m - 1. Let c(l) = -2*l**3 - 2*l**2 + l. Let n be c(-2). Let p be i(n). Solve 5*v = 5*x - p, 0 = -2*v - v - 15 for x.
-4
Suppose 4*c - 3*j - 9 = -0, 12 = c - 4*j. Solve -4*z + r + 18 = c, 0 = -0*r - 2*r - 4 for z.
4
Let a be (0 + 3)/3 + 7. Solve 5*l = -2*x + a, -5*l + x = 6*x - 5 for l.
2
Let i = -11 - -3. Let t = i + 10. Let y be -2 + 3*21/9. Solve -5*o = -15, -y*q - 1 = -t*o - 10 for q.
3
Let m be (5 + -2)/(3/4). Suppose 2*k - 3*k + m = 0. Let g = 6 - 3. Solve g*y + 5*d = -3, -y = -k*y - 2*d - 3 for y.
-1
Let o(f) = -f - 11. Let w be o(-15). Suppose 2*i - 7 = 1. Suppose -i*x + x = -4*g - 7, 0 = 5*x + 2*g - 29. Solve -2*t = -0*t - p + x, -20 = -w*p for t.
0
Let t(n) = n**2 + 7*n + 5. Let b be t(-7). Let j(a) = -a**2 + 4*a - 3. Let f be j(4). Let y = b + f. Solve 0 = -z - y*s + 3, -5*s - 1 = 3*z - 8 for z.
-1
Let p be 15/2*10/15. Suppose -p*n = 4*m - 3*n - 32, 0 = -5*m - 5*n + 35. Suppose m = 2*f + 1. Solve f*y - 4*a = -36, -5*y = -3*a + 2*a + 29 for y.
-5
Suppose -14 = -3*v + 16. Suppose 3*w + 0*w = 15. Suppose 3*d = 14 - w. Solve d*u - 4*k - v = 0, u + 0*u = 2*k + 4 for u.
2
Suppose 2 = -2*a - 4. Let w be 12 + a/3 + 2. Solve 0 = 4*p - 12, -n - 4*p + 2 = -w for n.
3
Let x = 1 - -2. Let r(g) = -g**3 + 2*g**2 + 3*g + 3. Let c be r(x). Solve 5*a + w + 3*w - 5 = 0, 3*a = -c*w for a.
5
Let t(g) = g**2 - 3 + g**2 - g**2 + 0*g**2 + 6*g. Let j = -15 - -8. Let a be t(j). Solve -3*l + 12 = a*b, -4*l + 0*l - b = -16 for l.
4
Let m = -13 + 22. Let k be 4/18 + 25/m. Solve 0 = -2*r - 5*s + k, -15 = -3*r + 2*s - 1 for r.
4
Let n be ((-5)/10)/(2/(-12)). Let r(i) = -i**3 + 4*i**2 + 2*i. Let x be r(4). Let b = x + -4. Solve -2*k + 4*g = -b*k - 22, 0 = -5*k - n*g - 20 for k.
-1
Suppose 3 = -p + 7. Solve -3*v = -g - 15 + 7, -p*v - 2*g = -4 for v.
2
Let f(s) = -3*s**3 + 4*s**2 + 6*s**3 + s**3 + 2 - 3*s**3. Let b be f(-4). Solve 0 = k + b*k + 2*t + 4, 5*t = 4*k + 13 for k.
-2
Suppose 0 = y + 2*y + 9, 2*r = 5*y + 13. Let a be 5 + (r + 1)/1. Solve -3*j + 2*b = -2, a*j + 2*b = 3*j - 2 for j.
0
Let m(f) = f + 7. Let k be m(-8). Let n = k + 6. Solve 40 = n*q + 5*g, 2*g = 3*q - 6 + 2 for q.
4
Let h = 2 - 0. Solve z - 2 = 0, 2*m - h = -m - z for m.
0
Let z(d) = d**3 + 4*d**2 - 6*d + 1. Let p(i) = i + 2. Let v be p(-7). Let g be z(v). Solve -u = 3*b - 2*u - g, -b - 5*u + 2 = 0 for b.
2
Let g(s) = s**3 - 6*s**2 - 5*s - 5. Let t be g(7). Solve 5*l - t = -3*y, 2 = -4*l + 14 for y.
-2
Suppose -4*u = q - 15, 5*q - 4 + 5 = -u. Let f be (-156)/(-38) - 2/19. Solve -u*l + 3*z = z - 18, 5*z + 21 = f*l for l.
4
Let p be 6*(2/(-6) - -1). Let z = 17 + p. Let h be (-4)/(-14) + 99/z. Solve -3*o - 6 - 11 = m, -4*m - h*o - 40 = 0 for m.
-5
Suppose 0 = m + m - 8. Let u = 352 - 350. Solve -3*l = x - 2, 12 = u*l - m*l - 4*x for l.
2
Suppose 0 = 5*n - 8*n + 9. Solve -1 = -r - 5*p, n = -2*r + r - p for r.
-4
Let p be -5 + 8 - (2 - 1). Solve p*v - 4*c = -10, -v - 5*c = 3*v + 7 for v.
-3
Let p(k) = -k - k - k + 0. Let h be p(-2). Solve 3*v + 14 = h*z - 2*z, -2*z + 2 = v for v.
-2
Let b be (16/(-12))/(6/(-9)). Suppose 0 = b*t + 2*t - 104. Solve 2*w = -2*w + 4*d + 16, -5*d = w + t for w.
-1
Let p = -4 - -4. Solve -4*a - 20 = p, -3*a + 2 = -b + 13 for b.
-4
Suppose 0*j + j - 25 = -5*b, 0 = -4*b + 5*j - 9. Solve 5*h = 2*s + 3*s, 5*s = -b*h - 9 for s.
-1
Let h be (-1 - -2)/((-5)/15). Let y be 0/(1 + (-3 - h)). Suppose 3*n - 101 - 34 = y. Solve -x - n = -6*x - 5*q, 2*x - q = 3 for x.
4
Suppose -2*b + 2 + 2 = 0. Let k(r) be the third derivative of r**4/12 - 2*r**3/3 + 2*r**2. Let d be k(3). Solve b*o - 5 = f, -d = -o - o - 2*f for o.
2
Suppose 17*a - 21 = 10*a. Solve g = 5*v - a, -3*v - 2*g = g - 9 for v.
1
Suppose -2*k - 21 = k. Let o be (-7 - k)*1*-1. Suppose o = 2*p + p. Solve -5*b - 4*y = p, -2*b + 36 = -5*y + 3 for b.
4
Suppose 2*k = -3*c - 4 + 23, 4*c = 12. Suppose 0*s + k*s = 0. Suppose s = -0*p - 3*p + 9. Solve p*a - 4*u - 29 = 0, 7*a + 2*u - 2 = 3*a for a.
3
Suppose -u - 3 = -1. Let g be (u/4)/(3/(-24)). Suppose -k + g = k. Solve 8*v - 5*v - 4*x = -3, v + k*x = -11 for v.
-5
Suppose -a + 2 = -17. Let c = a + -11. Solve 0 = 5*v - 3*n + 26, -4*v - 28 = -2*n - c for v.
-4
Suppose 0 = t - 3*t + 6, 29 = 5*v + 3*t. Suppose v*i + 3*k + 18 - 87 = 0, -i + 2*k + 9 = 0. Solve -3*l + i = -3*y, 2*l - 15 = 5*y - 2 for l.
4
Suppose 0 = -5*x - 5*s + 4 + 6, 0 = -4*x + 2*s + 26. Suppose 3 = x*m - 22. Suppose -101 = -22*f + 9. Solve -3*p + 15 = -o, -f*o + 2*o + m = p for p.
5
Suppose 4*i - 20 = 2*i. Solve 0 = -2*z - i, -z = 5*s - 2*z for s.
-1
Let m be 8 + -2*2/4. Let n(o) = -o**2 + 10*o - 4. Let r be n(m). Suppose 3*j + 4*x = r, 3*j + j - 56 = 3*x. Solve -q + 5*c + j = -3*q, -16 = 5*q + c for q.
-3
Suppose 3*a - 7 = -1. Solve -3*w - 5*j = -2*j - 21, -a*j + 23 = 5*w for w.
3
Suppose -15 = -5*q, 0 = -3*v - q + 3 + 12. Let s be 96/20 - 2/(-10). Solve v*x - 22 = 3*l, 0 = l + s*x - 9 - 9 for l.
-2
Suppose -5*l + 22 = 2. Let g = -4 + l. Suppose -3*w + 4*z - 5*z + 11 = g, -w + 3*z = 3. Solve 0 = w*d - 1 - 8, -d = a for a.
-3
Suppose 6*i - 59 - 7 = 0. Solve -2*g - 12 = -3*h, -3*g - i = -4*h + 5 for h.
4
Suppose -1 = -m + 3. Let y(s) = -s**2 + 5*s. Let z be y(m). Solve -4 = 2*x - 2*c, -2*x - 4 = x - z*c for x.
-4
Let c(f) = 0*f + 5*f**2 + 1 - 2*f**2 + f + f**3. Let t be c(-2). Solve 2*l + t*s = -4, 2*s - 9 = 3*l - 2*l for l.
-5
Let p be 2 + 6/(-5) + 28/(-35). Solve -2*l + 10 = 2*a, l + p*a - 2 = 2*a for l.
4
Suppose 5*p - 3*r - 127 = -13, 0 = -3*r - 9. Let a = p - 16. Solve 0 = 3*y + 2*y + a, 5*y - 5 = -5*d for d.
2
Let h = -6 + 11. Suppose 0 = 4*b - 3 - h. Suppose 4 = b*f - 0. Solve -2*k - 3 + 1 = -p, -2 = 2*p - f*k for p.
-4
Let a = -10 + 34. Let h be (-2 + 5)*16/a. Solve 4*f = 2*d + 18, -h*d + 30 = 3*d + 5*f for d.
1
Let d(g) = 4*g**2 - 4 - 1 + 0 + g**3 - 7*g. Let o be d(-5). Let s be 2 - (-4 - -4)/1. Solve -a - s = -z, 17 = a + o*z - 11 for a.
3
Let l(c) = -3*c**3 - 2*c**2 - c. Suppose -3*v = 5 - 2. Let z be l(v). Let d be 3*z/3 + 0. Solve 10 = -d*n - 3*g, -4*n + 2*g = -0*n - 12 for n.
1
Suppose 10 = -2*n + 2. Let d be n*(-3 + 9/4). Let y(o) = o**3 - 2*o**2 - o - 4. Let l be y(3). Solve f - 5*t - 5 = -4*f, -d*f - 1 = -l*t for f.
-3
Let m(x) = -x - 11*x - x**2 - 5 + x. Let k be m(-9). Solve -k = y + 4*c, -3*y = -0*y - 4*c - 9 for y.
-1
Let j(h) = -h**2 + 6*h - 5. Let d(x) = -x**2 + 6*x - 5. Let u(n) = -2*d(n) + 3