*i - x, -i = -5*s + 27 for i.
-2
Let b = -2 - -4. Suppose -14 = -5*t + f, -2*f + 11 = b*t + t. Solve -5*c = 5*z - 15, 9 - t = 3*z + 2*c for z.
0
Let o = 36 + -34. Solve -2*b = l - 2 - 7, 0 = -o*b + 8 for l.
1
Suppose 0 = 2*d - 7 - 37. Let x(n) = n - 4. Let f be x(8). Suppose 5*l = -0*t + t + 12, 0 = -2*l - f*t + 18. Solve 3*j = -k + 3*k + 17, -5*j = l*k - d for j.
5
Suppose 3 + 1 = 4*i. Let a = 3 - i. Solve f + 10 = -3*j, 3*f + f - a = 2*j for f.
-1
Let x be (-4)/3*15/40*-4. Solve 5*h + q + 18 = 0, -x*h - h - 3*q - 18 = 0 for h.
-3
Suppose 5*k = -h - 0*h - 39, 40 = -4*k - 3*h. Let v = -7 - k. Solve 3*l - 18 = -v*l - 5*n, n = 3 for l.
1
Let g be ((-2)/(8/52))/1. Let c = g - -13. Solve 2*o - 3*t = -4*t + 6, c = -5*o + 5*t - 15 for o.
1
Let x = -18 + 30. Let m = x + 6. Solve 5*j = v - 8, 0*v - 5*j = 4*v + m for v.
-2
Let b(k) = k - 3. Let i be b(3). Solve -14 = 4*g - 2*s, g + i*s - s = -6 for g.
-1
Let a be (-9)/(-6)*(0 + 4). Solve -2*k = -0 - a, -2 = 2*y + 2*k for y.
-4
Suppose 5*z - 2*l = -4*l + 17, 2*z - 4 = 2*l. Solve -z*k = k + 4*w - 28, 4*k + 5*w = 30 for k.
5
Let s(k) = k**3 - 7*k**2 + 9*k - 7. Let o be s(6). Suppose 5*u = -20 - 5. Let c = o + u. Solve -5*b + 6*g = g - 30, g = -3*b + c for b.
3
Let c(y) = -y**2 - 6*y - 6. Let z be c(-4). Let f be 3 + 0 - 0/(-1). Let d be (-1)/(-2) - 36/(-8). Solve -f*i = -d*n + 22, -z*i + 4*n = -3*i + 4 for i.
-4
Suppose -2 = -3*t + n, -t + 0*n = -n. Suppose -2*l = -3*d - t, -2*l = -2*d + 3*l - 19. Solve -5 - d = 2*i - 2*z, -4*z + 6 = -2*i for i.
-5
Suppose 5*k - 4*u - 20 = -9*u, 21 = 4*k - u. Solve j = 3*f - k, 2*f + 8 = -2*j - 3*j for j.
-2
Suppose 0 = -5*h + 1 + 14. Solve 0 = 4*c - 2*p, 0 = -c - 2*p - h*p - 22 for c.
-2
Suppose -3*f = 5*a - 34, -4*a = -a + 5*f - 30. Suppose 3*j - 10 = -s + 3, -5*s - 10 = 0. Suppose 16 = j*u + 1. Solve -a*c = o + 25 + u, c + 20 = -5*o for c.
-5
Let i = -14 - -22. Let y = 1 + -1. Suppose 5*h + 2*r - 10 = y, -5*r = -4*h + 5 + 3. Solve 0 = h*x - 2*c, x = -c + 2 + i for x.
5
Suppose -4*x = -2*x + 4*l - 20, 2*x - l = 0. Solve -2*h = 2*a - 14, 0*h + x*h = 4*a - 16 for a.
5
Let t be 2/2 + -1*2. Let z be (t/2)/((-3)/18). Let b be ((-4)/14)/(2/(-14)). Solve u - 3 = z*l, 5*u + b + 0 = -2*l for u.
0
Let p = 12 + -16. Let c(r) = -r**2 - 10*r - 2. Let l be c(p). Solve -5*b - 30 = -5*j, b - 5*j + 0*j + l = 0 for b.
-2
Suppose -12 = -5*q + 2*q. Suppose 3*s - q*f + 2 = 0, 5*f - 6 = -3*s + 10. Suppose -s = -r + 2. Solve -h + r*h + 3*b + 9 = 0, 4*h + 26 = 3*b for h.
-5
Let f(h) be the third derivative of h**5/60 - h**4/12 - 3*h**2. Let p be f(3). Solve p - 11 = 4*k, 0 = -2*i - 5*k - 18 for i.
-4
Suppose 0 = -7*p + 3*p. Suppose 5*u = -p*u. Solve 5*c - 5*f = 30, c - 2*f + 4*f + 3 = u for c.
3
Suppose 0 = -6*l + 25 - 1. Solve -j + 4*n = -0 - 1, -3*j - l*n = 13 for j.
-3
Suppose -z = 4 - 0. Let l = 8 + z. Solve 0 = -4*i - l*x, i = -2*i + x - 12 for i.
-3
Suppose 4*z - 20 + 0 = 0. Solve z = -5*f + 5*l, -l + 4*l = -f - 1 for f.
-1
Suppose w + 2 = 3. Solve -5*f - 4*k = w - 11, 3*f = 3*k + 6 for f.
2
Let y be (12/21)/(6/21). Solve -2*b - y*b + 12 = 4*u, -3*b + 9 = 0 for u.
0
Suppose -2*s = -270 + 260. Solve 25 = -5*v, 2*f - 3*f - 2*v = s for f.
5
Let z(r) = r**3 - 3*r**2 + 4. Let m be z(3). Suppose -15 = -m*v - 3*o, -3*v = o - 11 - 4. Solve -4*s = -0*t + 3*t + 11, -t - v = -s for t.
-5
Suppose 7*n - 4*n = f + 2, -4*f + n = -36. Let j = -5 + 5. Let m = f + j. Solve 0 = 2*r - 2*g - m, 1 = -3*r - 2*g - 3*g for r.
3
Suppose -3*s = 5*h - h - 22, 14 = 2*h + 3*s. Let t(f) = 4*f. Let m be t(1). Solve m*a - 3*a - j = -6, 0 = -4*a - h*j - 16 for a.
-5
Let f(s) = 13*s**2 - s. Suppose 0*w - 2 = -2*w. Let t be f(w). Solve 5*g + 3*b = -b - t, g + 5*b = -15 for g.
0
Let t(m) = 4*m**2 - 10*m + 6. Let o(h) = 2*h**2 - 5*h + 3. Let s(c) = -7*o(c) + 4*t(c). Let z be s(3). Solve -3*u + 9 = 0, -4*k - k = -2*u + z for k.
0
Let p = -107 + 110. Let f(r) = r**3 + 2*r**2 + r. Let w be f(-1). Solve w = 5*h + 2*q + 1, -q - 6 = 5*h - p for h.
-1
Let o(z) = z**3 - 14*z**2 + 2*z - 28. Let n be o(14). Solve 0 = -q - 5*h + 30, -3*q + n*q + 4*h - 5 = 0 for q.
5
Suppose -k + 0*k - 46 = 0. Let i be k/(-8) + 3/(-4). Solve 2*u + 18 = -u - 3*m, 4*m + 29 = -i*u for u.
-5
Let c(r) = r**2 - 16*r + 30. Let m be c(14). Solve 3*w - y = m*y + 24, 14 = 4*w + 2*y for w.
5
Let m be 10 - 5 - (-2)/(-2). Solve 0 = -3*r + 6*r + 2*s - 10, 0 = -r + 3*s - m for r.
2
Suppose s + 4 - 9 = 0. Suppose -5*q = -4*j - 0*j + 9, -5*q = 2*j - 27. Solve -j + 1 = -2*h + s*p, p + 23 = -4*h for h.
-5
Suppose -20 = -3*f - 2*f. Solve k = 3*i - 3, 3*k - k + f = 4*i for k.
0
Suppose 0 = -4*x + 7*x + 3*k - 24, 5*x - k = 16. Solve 3*d - 4 = -g - 0*d, -x*d = g - 6 for g.
-2
Suppose -4*n = 4*i + 88, i + 0*n = 5*n - 40. Let w = i - -30. Solve 2*y = 3*c + 6*y - 10, -w*c - 2*y + 12 = 0 for c.
2
Let d(y) = y - 1. Let f be d(7). Solve -2*z = -4*r - f, 4*r - 3*z - 3 = -4 for r.
-4
Let y(h) = h**2 + 8*h - 2. Let n be y(-9). Let o(l) = l**2 - 7*l + 2. Let f be o(n). Solve 7 = -f*k + 3*m, k + m - 1 = -7 for k.
-5
Let a be 19 + (2 + -2 - -1). Suppose -3*g + a = g. Solve -2*j - 4 = -k, -k + 9 = -g*j + k for j.
-1
Let h = 5 + -4. Suppose -5*o + 4 = -t - 2, t - h = -2*o. Let u be 0/((-3)/(t + 4)). Solve -3 = -d + s - 0, -3*d - 4*s - 26 = u for d.
-2
Let o = 27 + -17. Suppose -7*p = -2*p - o. Suppose -2*r - 12 = -4*z, -8 = 3*r + r. Solve l + 3 = -p*f + 9, z*f = 4*l + 26 for f.
5
Let g(t) = -t**3 + 4*t**2 - 3*t - 1. Let m be g(3). Let f be (-5 - -9)*(m + 2). Solve -3 = 3*p + d + f, 0 = 2*p + 4*d + 18 for p.
-1
Let t = 12 - -1. Let w(z) = 2*z - 5. Let u be w(4). Suppose -4*k + 3 = -3*k. Solve -k*g = -0*c + u*c + 21, -4*c - t = g for c.
-2
Suppose g = 13 - 2. Suppose s = -4*l + 33, 0 = 5*l + 3*s - 4*s - 30. Solve 2*t + g = 4*i - 7, 2*t - l = -i for i.
5
Let l be 68/85*2/(2/5). Solve -5*f = -2*g + 25, -1 = f + 5*g + l for f.
-5
Let r = -3 - -3. Let v(t) = t**3 + t**2 + 2. Let m be v(r). Solve 4*f = -2*g + m, g - 8 = 5*f - 0 for f.
-1
Suppose 0 = -h - h. Let a(t) = t. Let g be a(h). Solve 2*f - 14 = -4*l - g, 0 = 3*f - 4*l + 19 for f.
-1
Let n be 12/20 + (-2)/(-5). Let h be ((-3)/9 - n)*-3. Solve h*s - 3*u = 5*s - 17, -2*s + 19 = 3*u for s.
2
Suppose -1 = -t + 1, 0 = -4*b + 4*t. Let y be ((-30)/b)/(1 - 2). Suppose 0 = -3*v + v + 6, y = 3*s + 5*v. Solve s = 5*k - 2*g - 20, k - 2*g = 1 + 3 for k.
4
Let r(p) = -p + 2. Let m be r(-5). Let s = m - 5. Suppose 0 = -5*h - 4*d + 2 + 2, 2 = -4*h + s*d. Solve -5*x + 0*q = 5*q - 25, h = 5*x + 3*q - 17 for x.
1
Let b(j) = -j**2 - 14*j - 28. Let x be b(-10). Solve -3*g + 5*g = 3*y + 7, 0 = 5*g - 2*y - x for g.
2
Suppose -27 = 2*g - 1. Let p = g - -17. Solve -5*t - p*i - 14 = -5*i, -4*t - 4*i - 16 = 0 for t.
-3
Let w(a) be the third derivative of 0 - a**2 + 0*a + 1/6*a**3 + 1/24*a**4. Let u be w(4). Solve 5 = -4*n - i, -25 = u*n - 2*n + 5*i for n.
0
Suppose 3*z + 2 = 5. Let c(y) = -y**3 - 8*y**2 - 2*y - 12. Let h be c(-8). Let r(l) = 2*l - 5. Let f be r(h). Solve 0 = t - f*x + z, 0 = -4*t - x + 9 for t.
2
Let s = 43 - 17. Let g = -38 - -42. Suppose 0 = -5*a + s + g. Solve 2*w - q - a = 0, 2 + 11 = 5*w - 3*q for w.
5
Let z = -25 + 30. Suppose 3*m + 0*m = 33. Solve -2*x + 6*x + 5*d = 24, -4*d + m = -z*x for x.
1
Let s be 32/12*(-9)/(-4). Solve 2*w - 3*z - s + 16 = 0, -w - 4*z = -17 for w.
1
Let t(d) = d - 6. Let q be t(5). Let z be (37 - -4) + q + 1. Let c = -12 + 16. Solve -m = -2*l - 14, -z = -0*m - c*m + 5*l for m.
4
Let b = 15 - 11. Let y(a) = -5*a**3 + a - 1. Let m be y(-2). Suppose -3*t + 27 = b*q, 4*q - m = 4*t - 9*t. Solve -2*o - 6 = -q*n - 0*o, 0 = 5*o for n.
2
Let p(j) = -8*j + 1. Let t be p(2). Let b = 19 + t. Solve -5 = 5*i + b*g, g - 2*g - 8 = -i for i.
3
Let p(m) = m. Let v be p(4). Let b be -1 + -2 + v*5. Solve -4*n = 3*h - b, -6*n - 3*h + 2 = -5*n for n.
5
Let h(z) = -z**3 - 11*z**2 - 11. Let b be h(-11). Let w = b - -16. Suppose -2*s + 1 + 1 = -3*x, 0 = 5*s - 20. Solve -j = x*u - 0*j, w*j = -20 for u.
2
Suppose -26 = -4*v + 3*d, -6 = 4*d + 2. Solve 2*z + 3*k = 16, 5*z - 2*k - v = -3 for z.
2
Suppose -4*s + 2*g - 4*g + 34 = 0, 5*g = -4*s + 31. Solve l - 4*l - s = 3*b, -b = 5*l + 15 for b.
0
Let d(n) = 3*n + 4. Let c be d(-3). Let z = -41 + 26. Let j be 1*z*2/c. Solve 5*g = -2*f + 5, -g + 3*f + j = -4*g for g.
3
Let r(g) = -g**3 + 6*g**2 + 