et j be 2 + (-2)/4*0. Solve 0 = -2*f + 4*n + 2 + j, u = 3*n for f.
2
Suppose -4*w + 10 - 2 = 0. Let d = -4 + w. Let s = 2 - d. Solve -2*f + 4*b - 22 = 0, 2*f + 3*f - 1 = -s*b for f.
-3
Suppose -4*f + 17 = 5*w - 10*w, 4*w + 20 = 0. Let d be 117/7 - f/7. Solve 5*i - v = -15, -i - 12 = 5*v + d for i.
-4
Let j = 11 + -9. Suppose -j*h - 2*h = -24. Solve -p - h - 1 = 4*d, d = 3*p - 18 for d.
-3
Let o = -78 - -78. Solve 10 = -7*d + 2*d + 4*x, o = 4*d - x - 3 for d.
2
Let h = 7 + -2. Solve -4*g + h*b = -2*g + 13, -2 = g + 2*b for g.
-4
Let c(f) = f**2 + 14*f + 16. Let q be c(-13). Solve 0 = 2*i + i - 5*x + 11, q*x = -i + 1 for i.
-2
Let o be 124/10 - 4/10. Let k be 2/(-6) - (-52)/o. Let i = 7 - k. Solve -i = -5*l + m - 21, m - 10 = 3*l for l.
-4
Let j(k) = -k**3 - 4*k**2 + 3*k - 5. Let h be j(-5). Solve -3*o + 16 = 2*a, 5*o - 4*o = h*a - 23 for a.
5
Suppose 2*w + 11 - 17 = 0. Solve k - 4*x - 1 = 0, 3*k - 14 = 4*x - w*x for k.
5
Suppose -2*y = y + 21. Let v = 12 + y. Suppose -8*p + 3*p + 55 = 0. Solve 5*r = g + p, -v*g + 12 = 3*r - 17 for g.
4
Let g = -31 + 40. Solve 23 = -2*s + 3*h, h = -4 + g for s.
-4
Let z(p) = p**2 - p - 27. Let n be z(6). Solve g + 12 = -n*l - 5, -2*g = -5*l - 10 for l.
-4
Let z = 158 - 153. Solve 0 = -z*j + 20, -2*f + j = 6*j - 18 for f.
-1
Suppose 0 = 3*s + 3*j - 24, s + 7*j - 16 = 4*j. Let i be (1/(-3))/((-2)/18). Solve -4*x - 11 + i = -s*g, 0 = -3*x for g.
2
Suppose -q + 8 = j - 3*j, 5*q = -5*j - 5. Suppose f + q = 1. Let g be 4/f*5/(-10). Solve -4*n = 5*p + 8, 5*n + g*p - 19 = 3*p for n.
3
Let w = 8 - 3. Let j(p) = -2*p + p - 2*p + 2*p + 11. Let t be j(6). Solve t*g = -w, s + 3*g = g + 1 for s.
3
Let w be (2/(-10))/(1/(-15)). Solve i - 4*v - v = -13, w*v = -2*i + 13 for i.
2
Let n(x) = 2*x - 12. Suppose -3*y - y + 28 = 0. Let h be n(y). Solve -2*j = 6, -h*k + 7 = -4*j - j for k.
-4
Let l(c) = 2*c - 7. Suppose 4*n + 0*v = -2*v + 20, -5*n + 25 = 5*v. Let a be l(n). Solve a*r + 8 = -2*i, -6*r + r - i = 11 for r.
-2
Let f = -7 + 11. Suppose -f*c = -8*r + 3*r + 24, 5*r + 2*c - 18 = 0. Suppose 3*b + 3*n - 24 = 0, 2*b + n = 7 + r. Solve -b*v + 3 = -3*w, 0 = 4*v - 8 - 4 for w.
2
Let r(t) be the third derivative of t**6/120 - t**4/24 - t**3/3 + t**2. Let v be r(2). Suppose 3*i = 23 + v. Solve 0 = 5*g - 3*d - 4 - 15, -i = -3*g + d for g.
2
Let u(i) = i**3 + 4*i**2 - 4. Let l be u(-3). Suppose -l*m - 2 = -12. Solve -3*b = -3*p, -b = m*p - 0*b for p.
0
Let h = 2 + 2. Let f be ((-118)/(-8))/(1/h). Suppose 3*k = -5*b + f, 39 + 0 = 2*k + 3*b. Solve -2 = -3*a - o + 2, -3*o = -a + k for a.
3
Let z be 5/2 - (-1)/(-2). Let c(n) = n**2 - 6*n - 1 + 4*n + n**3 + n. Let x be c(-1). Solve z*a + 4*j = x, 7*a - 2*j = 3*a + 20 for a.
4
Suppose 0 = 2*t + t + 27. Let u be (-39)/t + 2/(-6). Let f = u - 3. Solve f = -j - n - 1, n + 2 = -2*j for j.
0
Let o be 2 + -2 + 0 + 1. Let q = 6 + o. Solve -n + l - 5 = 0, 5*n = 3*l - q*l - 7 for n.
-3
Suppose 8 + 2 = 2*y. Suppose 10 = y*v, 4*v + 16 = -3*p + 39. Suppose -b = -2*b + p. Solve 7 + 14 = 4*a + b*k, 5*a = 4*k + 16 for a.
4
Let o be 52/6 - 4/6. Solve -2*r + j = 1, 17 = 5*r + 3*j - o for r.
2
Let z(i) = -3 + 1 + i**2 + 3 + 4*i + 0*i**2. Let u be z(-5). Let m be ((-9)/u)/(1/(-2)). Solve -5*a - n = 6, -m*a + 0*a - 18 = -3*n for a.
-2
Let f = -63 - -64. Solve 3*y + q = 8, -4*y + f = -5*y - 4*q for y.
3
Suppose -73 = -2*u - 23. Suppose -5*x = -11 - 34. Suppose x = -0*v + 3*v. Solve -2*f - v*f + 5*t - u = 0, -5*f + 4*t = 25 for f.
-5
Suppose 51*a - 44*a - 14 = 0. Solve g + 7 - a = 4*v, -5*v + 3*g = -8 for v.
1
Let r = 51 - 46. Solve -31 = -4*d - r*l, -3*d + 0*l = -3*l - 3 for d.
4
Let h(z) = z**3 - z**2 - 5*z + 2. Let l be h(3). Solve s + 2*w = -2, -2 = -l*s - 7*w + 3*w for s.
2
Let q be (10/(-4))/(5/(-10)). Suppose -q*r = -2*n - 21, 3*r + 4*n + 0*n = -3. Solve -3*x = h, 2*x = -r*x - 5*h for x.
0
Let j = -32 - -37. Solve -3*c = -0*a + 4*a - 11, 2*c + 5*a = j for c.
5
Let u = 7 + -2. Let s be ((-6)/(-15))/(1/10). Solve 4*v - 2*l = 4, u*v - s*l = 2 + 9 for v.
-1
Let m(f) = f**3 - 7*f**2 + f + 3. Let t be m(7). Suppose 35 = 5*g + t. Solve 0 = -u - 2*u - 5*k - 2, 2*k = 3*u - g for u.
1
Let n be (-6)/9*(0 + -3). Let b = 2 - 2. Suppose b = 4*k - 4 - 4. Solve 2*x = -3*h, -k*x + h = 6 + n for x.
-3
Let q(n) = -6*n - 2. Let c be q(-1). Let v be 10*(-1 - (2 - c)). Let r = 0 + 5. Solve -13 = -r*y + 2*k, 5*y + v = 4*k + 31 for y.
1
Let x be 22/6 + 12/(-18). Solve -5*u - 3*w - 35 = 0, 3*w + 2 = -x*u - 25 for u.
-4
Suppose 0 = h - 8 + 2. Let m be h/8 + (-30)/(-24). Solve -4*t = -2*b, -m*t + 4*b + 5 = t for t.
-1
Let w(a) = -a**3 + 5*a**2 + 8*a - 4. Let g be w(6). Suppose g*i - 44 = 4*i. Let y(n) = -n - 1. Let d be y(-3). Solve b = j - d*b - i, -5*j + 2*b = 10 for j.
-4
Let j be 140/35 + (1 - (2 + -1)). Solve 5*x - 3 = -j*q + 7, x - 13 = -3*q for x.
-2
Let y(p) = -p**2 - 3*p + 2. Let d be y(-5). Suppose -2*w = w - 2*t + 6, 0 = 3*w + 4*t + 24. Let h = w - d. Solve 3*g = 3*j - 27, 2*j + 3*g = h*g + 14 for j.
5
Suppose -r = -52 + 7. Suppose 7*x - 2*x + r = 0. Let q(f) = -f**3 - 8*f**2 + 8*f - 9. Let b be q(x). Solve 5*d - 4*h - 3 = -1, b = -d - 5*h - 17 for d.
-2
Let c = 9 - 4. Let d be (-12)/54 - (-4)/18. Let q be d/(-1 + 9/3). Solve c*s + j - 20 = 0, 2*s - j + q - 1 = 0 for s.
3
Let d(x) = x**2 - 6*x - 5. Suppose 0 = -f - 1, 4*o - 4*f = -0*f + 32. Let a be d(o). Solve -2*j = -k - j - a, k + j = 2 for k.
0
Suppose -f - 2*f = -2*p - 2, -4*f - 2*p + 26 = 0. Solve c - f*s = -3*c + 8, s - 4 = -2*c for c.
2
Let v be -8 + 8 + (-1 - 2). Let o be (v + 8)*(-4)/(-5). Solve d = 4*r - o*d + 5, 4*d - 4 = 0 for r.
0
Suppose -16 = 4*h, 4*q + 3*h - 24 = 32. Solve -5*g - 2 = -5*t - q, t + g = -3 for t.
-3
Let n = -67 - -15. Let j be n/(-16) + 1/(-4). Suppose 17 = 2*d + j. Solve -3*q - d = -5*w, 6 = 5*w - 0*w - 4*q for w.
2
Suppose 3 = 4*i - 17. Solve -21 = u + i*g, 2*g + 20 = 3*u - 2 for u.
4
Suppose -5*t + 3 = -4*v - 2, 2*v = 2*t. Suppose l = -l. Solve l*s = s + x - v, -4 = 4*s - 2*x for s.
1
Suppose -4*r + 6 = -2. Suppose -r + 6 = u. Solve b + 9 = -3*g, 0*b - u*g = 3*b + 7 for b.
3
Let m be (1 + (-1 - -1))*-2. Let d = 1 - m. Suppose 0*l = -d*l + 15. Solve -l*r + 28 = s, r + 5*s + 13 - 33 = 0 for r.
5
Suppose 5*r - 20 = -2*c, 0 = -2*r + r + 5*c - 23. Suppose -2*z + r = -t, -4*z + z = -4*t + 2. Solve 3*g + 4*b - 6 - 1 = 0, 2*b - 6 = -z*g for g.
5
Suppose 0*i - 8 = -4*i. Suppose -v - i*q = -9, -v + q = -0*q - 3. Solve -4*k + j = -20, 4*j = -v*k + 13 + 12 for k.
5
Let t be (-30)/(-12)*12/(-10). Let o be 0 + t + 0 - -6. Solve 5*f = 5*l - 15, -o*l = l + 3*f + 16 for l.
-1
Let h(m) = -m**3 + 2*m + 9. Suppose 0 = 2*r - 7*r. Let o be h(r). Let p be 2 + (2 - 2) + 1. Solve 2*a = a + j + p, a - o = -2*j for a.
5
Let z(g) = g**2 + g - 3. Let u be z(3). Let w = u - 5. Let i = -163 - -167. Solve 2*d - 3*d + w = i*c, 1 = -5*d + c for d.
0
Let i be 29/4 + (-10)/40. Solve 3*t + 5*r + 22 = 0, -5*t - 37 = 5*r - i for t.
-4
Let s be 4*(-3 - 21/(-6)). Let n be (-1 + 3)*2/s. Let g(u) = -u**3 - 4*u**2 + 4*u - 3. Let k be g(-5). Solve 6 - 4 = k*c - n*r, -11 = c + 2*r for c.
-3
Let c(u) = -u**3 - 6*u**2 + 6*u - 7. Let b be c(-7). Let v = b + 7. Solve -5*f + t - v = 9, 0 = -4*f - 3*t - 28 for f.
-4
Let a = -2 + 5. Let k(l) be the first derivative of -l**3/3 + 3*l**2/2 + l + 3. Let g be k(a). Solve -6 = m + 5*p + g, -4*m - 3*p = -6 for m.
3
Let u(f) = f**2 + 8*f. Let c be u(-8). Suppose 0 = -5*l + 15, c*l - 4*l = -3*n. Solve 1 + 12 = -3*m + q, -5*q = n*m - 8 for m.
-3
Suppose 4*a - 9 - 55 = 0. Let p = 18 - 12. Suppose p = -n + 3*n. Solve -5*j + z = 18, j = n*j + 4*z + a for j.
-4
Let s(c) = -c**3 - 3*c**2 - 3*c + 1. Let p be s(-3). Suppose 19 = -2*i + 5*w + 49, p = -2*i - 5*w. Solve -5*l - 1 = -m - 0, 4*l - i*m = -5 for l.
0
Let i = -14 + 1. Let u = 18 + i. Solve 2*o = u*o - 5*d, o = d + 2 for o.
5
Suppose -x + 21 = 6*x. Solve 0 = -5*a + x*v + 11, -5*a + 0*a + 7 = -v for a.
1
Suppose -3*s - 4*m + 15 + 4 = 0, -s + 2 = -3*m. Solve 2*n = -3*y + s, -2*y - y - 1 = -4*n for y.
1
Let g be (-20)/3*12/10. Let s be 18/24 - 2/g. Suppose -4 = -r + 2*n - s, 2 = -2*n. Solve -r = 3*w - 16, -5*w = 4*d - 41 for d.
4
Let y(i) = 5*i - 2. Let z be y(1). Suppose z = x - 0*x. Solve 0*q - d - 2 = -q, -5*d - 18 = x*q for q.
-1
Let j be ((-5)/4)/(5/(-20)). Suppose -j*m = -199 + 49. Solve -1 =