 + 6*z - w*m for z.
-1
Let l(s) = s**3 - 4*s**2 + 2*s + 2. Let w be l(4). Let q be (36/6 - -4)*(-2)/(-4). Solve 0 = z + z - q*g - 4, g + w = 5*z for z.
2
Let s = -59 - -62. Solve y - s*g = 2, 5*g + 4 = y + y for y.
2
Let t = -3 - -4. Let a(l) = -l**3 - 7*l**2 - 2*l + 6. Let h be a(-7). Suppose 4*o + x - 4 - 12 = 0, 5*o + 5*x = h. Solve t = m, -o*d - 4 = -m - 3*m for d.
0
Let k = 1 - 1. Suppose 5*l - 4*g - 26 = -0*l, k = -3*l - 2*g - 2. Let x be 72/88 + (-4)/(-22). Solve -x = l*n - 5*h, 0 = -3*n + h + 3*h - 5 for n.
-3
Let j be (11 - 3)/1 - 2. Solve 5*x + j = 1, -4*z - x - 17 = 0 for z.
-4
Suppose b - 2*t = 2, 2*t - 26 = -3*b - 2*t. Solve u - 4*u - 3*c - b = 0, 5*u + c + 18 = 0 for u.
-4
Suppose -3*r - f = -3 - 6, -2*f - 10 = -r. Suppose -9 = j - r*j. Suppose -7 = 5*o + j*m, 4*m + 10 = -2*o - 4. Solve b = 2*n - o, -2*b - 10 = n + b for n.
-1
Suppose -x + 9 = 3*u, 3*x - 2*x + 7 = u. Suppose 5*y - u = 4*y. Solve -5*s - 4*j + 3 + 6 = 0, 0 = 4*s + y*j - 8 for s.
1
Suppose 6 = 2*m, -5*d + 7*d - 41 = m. Solve 2*p = -2*j - 2*j + d, -2*p - 8 = -2*j for j.
5
Let z(q) = -q**2 + 3. Let n be z(3). Let l be (27/2)/(-3)*n. Let t(m) = -m - 2. Let j be t(-5). Solve 0 = -3*d + 5*c - l, 0 = -j*c + 9 for d.
-4
Let d be (-27)/36 + 3/4. Solve u = -2 + 4, d = -5*p + 4*u + 17 for p.
5
Let q be 3*1/(1/2). Let f be ((-4)/10)/(3/(-15)). Suppose 4*o + 13 = j, f*o - q = -o. Solve s - v = 0, 4*v = -j + 5 for s.
-4
Let v = -4 + 8. Let s be (136/(-40) + 4)*10/2. Solve -17 = -v*w + s*q, -3*w - 2*w = -5*q - 20 for w.
5
Suppose -4 = -2*k - 0. Solve 5*t + 2*m = 9, t + 4*m + 3 = -k*t for t.
3
Suppose 0 = -5*x + 3*x + 6. Let i(b) = -2*b + 1. Let o be i(1). Let k = o - -5. Solve 0 = x*s - 0*u - u + 3, u = -4*s - k for s.
-1
Suppose 3*w + 300 = 23*w. Solve 5 = d, w = 2*p + d - 0 for p.
5
Let l(i) = i**2 - 5*i - 1. Let r be l(6). Let k be (r - 2) + (-2)/1. Suppose -17 = -2*p - k. Solve -2*c + 6 = o - 0*o, p = -c + 5*o for c.
2
Let i be (-1)/3 + (-16)/(-12). Let u be (2/2)/(i/2). Solve u*v + 11 = 3*d, d - v = -2*d + 10 for d.
3
Let y = -16 + 10. Let v = 2 - y. Solve 4*h - 1 = 2*w + 27, 4*h - v = -3*w for h.
5
Suppose 4*b = -o - 20, -5*o + 3*b + 7 = -8. Suppose o = -3*i + 4*n + 70, 3*i + 0*n = 3*n + 66. Solve -t - 4*z = -3*t + i, t + z = -3 for t.
1
Suppose -l = 3*l - 5*d - 26, -l + 5*d = -14. Solve 5*j - 27 = 4*v, -l*j = -3*v + 11 - 32 for j.
3
Let f be 3 - 4 - 2/(2/(-1)). Solve f = 3*s - 5*t - 13, -5*t = -s + 21 - 0 for s.
-4
Let j(b) = b**3 + 8*b**2 + 5*b - 9. Let m be j(-7). Suppose p = m*p. Let z be (21/6 + -1)*2. Solve -z*g + 10 = 5*y, p = -2*y + 5*g - 0 - 3 for y.
1
Let f(h) = 1 - 4*h**2 + h**2 - 3*h + 4*h**2 + 4*h. Let c be f(-4). Let a = 3 + c. Solve 2*w = -5*l - 27, a = -4*l - 4 for w.
-1
Suppose -35 = -2*w - 3*w - 5*r, 5*r - 23 = -w. Suppose w*j = -j. Let m(k) = -k + 2. Let b be m(j). Solve -b = 2*a - y + 1, -2*y = -2*a for a.
-3
Suppose 7*p = 1 + 34. Let w = -1 + 3. Solve -p*m - d - 4 = -w*d, -5*m - 3*d = -12 for m.
0
Let c(f) = -f**2 - 8*f + 2. Let z be c(-6). Let n be (-2)/3 + z/3. Suppose 7*o = -5*m + 4*o + 7, 5*m + 4*o - 6 = 0. Solve -s = n*y + 9, -s + 3 = -y - m*s for y.
-2
Suppose 5*b + 0*b - 10 = 0. Suppose -a + z = -2*a + 2, 3*a - 6 = -b*z. Solve 5*s = 3*o - 4 - 7, -a*s = 5*o + 23 for s.
-4
Let q = -46 + 64. Let v = -12 + q. Suppose -5*r + 0*s + 17 = 2*s, -5*r = -4*s - 11. Solve c - 1 = 4*o, 0 = -2*o + r*c - v - 7 for o.
1
Suppose 7*u = -5*f + 2*u + 20, -2*u = -5*f + 20. Suppose 3*y = j - 3, 0 = -f*y - 2 - 2. Solve -5*q - 2*c - 20 = j, c + 0 + 5 = 0 for q.
-2
Suppose 4*o - 15 = 5*l - 106, -3*l = -5*o - 52. Suppose 0 = -z + 3*c + l, z + 5*c + 45 = 4*z. Solve 4*r = 4*q + 16, 3*r - z = 3*q - 2*q for q.
-1
Let d(k) = -k - 2. Let c be d(-2). Suppose -5*u + 3*o + 6 = 0, 5*u - 8 = -c*o + 4*o. Solve u = -0*b - b, 5*n - 5*b = 25 for n.
5
Suppose -3*r + g - 38 = 0, 6*r + g + 46 = 2*r. Let c be 4/(-2) + r/(-2). Let o(n) = n + 3. Let j be o(3). Solve c = -3*v - y - j, -25 = 2*v - 3*y for v.
-5
Let w be 2/11 + 4/(-22). Suppose 2*z + z - 12 = w. Solve 0 = 5*v + 3*m - 15, z*m - 15 = v + m for v.
0
Let r(j) = -j**3 - 12*j**2 + 29*j + 16. Let b be r(-14). Solve -3*c - m - 12 = b*m, 5*m - 8 = 2*c for c.
-4
Suppose 3*g - 5*u = 24, -2*g - 2*u = 2*u + 6. Solve 7*k = g*k + 5*y + 6, -5*k + 5*y + 10 = 0 for k.
4
Let t = 22 + -31. Let d(f) = -f**2 - 10*f - 7. Let a be d(t). Let i = a + 0. Solve 11 = -4*w - 3*p, -i*w = 2*p + 2*p + 8 for w.
-2
Let a be (-15)/120 + 33/8. Solve 5*u - 2 = -k, u = -3*u + a*k - 8 for u.
0
Let h be (2/1 + -1)*2. Suppose 2*l = -2, -5*o + 5*l + 0*l = -30. Suppose -o*s + 3*y + 12 = -21, -4*s + 25 = -y. Solve -5*v = g + 12, -g + h*g - s = v for v.
-3
Let z(y) = 2*y**2 - 5*y + 3. Let o be z(3). Let l be (0 + 2 - 4) + o. Let k(a) = -a**2 + a + 5. Let h be k(0). Solve -x + 2*w = l*w + 12, -h*x = w + 15 for x.
-2
Let l be (-12)/(-9)*30/20. Solve 4*s - l*i - 10 = 2*s, 15 = -s - 3*i for s.
0
Let l(v) = -v**2 + 3*v - 1. Let m be l(3). Let g be (5 + -5)/(m/(-1)). Suppose g = 4*n - 7 - 1. Solve 3*w + 24 = -4*c, n*w = 4*c - 3*w - 8 for c.
-3
Suppose 4*j - 3 = -3*r, 2*j + 9 + 7 = 2*r. Suppose 20 = 5*h + r. Suppose 0*y - 4*y + 12 = 0. Solve -5*a + 28 = 8, 0 = -y*g - h*a for g.
-4
Let z(d) = d**2 + 4*d + 2. Suppose 0 = -4*c - 24 - 0. Let t be z(c). Solve 2*m - g - t = -3*g, -13 = -m - 3*g for m.
4
Let n = -26 + 30. Solve -o - 1 - 2 = -n*y, -9 = -5*y + 3*o for y.
0
Suppose -b + 3*y + 4 = -3, 2*y = 5*b - 22. Suppose 4*n + 5 = 5*n. Suppose -m + 19 = -n*k, -m + 2*k + 13 = -k. Solve -4*i + s - b = 0, 2*i - m*s - 14 = i for i.
-2
Let p be (-40)/4*9/2. Let k be (-5)/(-2)*(-54)/p. Solve -3*s = -4*z + 2, 5*s = -5*z - k - 12 for s.
-2
Let i = -11 + 5. Let a be i/(-8) + 39/12. Solve 0 = f + 2*z + 3, a*z = -19 + 3 for f.
5
Suppose 4*o = 4, 0 = 2*n - 2*o - 1 - 5. Suppose -16 + 4 = -3*i. Suppose -i*y = -4 - 32. Solve -h = -n*h + 2*m + y, h + 4 = 3*m for h.
5
Suppose 6*n - 35 = 49. Solve 5*i - i - x - 16 = 0, 0 = 2*i + x - n for i.
5
Let y(b) = -b**3 - 4*b**2 + b + 4. Let z be y(-4). Suppose 2*m = -l + 6, 0 = 4*m + 3*l - 4*l - 6. Solve 3*u = z, -m*v - 4*u = 10 - 2 for v.
-4
Let o(y) = -2*y + 8. Let m be o(-5). Solve -s = -3*f - 0*s - 7, -m = 4*f + 3*s for f.
-3
Suppose -4*v + 5*v + 7 = 0. Let n = -2 - v. Suppose -8 - 2 = -n*t. Solve k = -4, -t*k - 11 = 5*m + 22 for m.
-5
Let d be (0/(-1))/(-2 + 1). Suppose 4 = 2*q + 3*h, 3*q - 7 = -0*q - 4*h. Solve 0 = -5*a - 4*j + 20, 0 = a - q*j - d*j - 4 for a.
4
Suppose 0 = 2*a + a - 3*b + 3, 3*a - 4*b = -8. Let s = 6 - a. Suppose -j = -s - 3. Solve 2*d = -2*k, -2*k + 26 = -j*d - 9 for k.
5
Suppose 0 = 4*c - 0 - 8. Let o be 12/(-54) - (-83)/9. Suppose -c*s = -31 + o. Solve 14 = 5*d - s, -2*n + 2*d = 0 for n.
5
Let d = 30 - 30. Solve d = 2*i - 6, -5*p - 4*i = 24 - 11 for p.
-5
Suppose -m - 2*q = -2, -3*m + 5*q = -7*m + 11. Solve -m + 24 = 4*w + 4*t, -3*w - t = -15 for w.
5
Let s = -42 + 47. Solve 18 - 4 = -2*b + 2*j, -s*b + j - 27 = 0 for b.
-5
Suppose 12 = r - 0*k + 3*k, 3*k - 12 = 0. Suppose -4*z - 2*j + 22 + 2 = r, 4*z - 12 = -5*j. Solve -4*c = 4*f - 12, -5*c - 5*f - 17 = -z*f for c.
-1
Let u(y) = y - 27. Let f be u(30). Solve -k - w - 2 = -5*w, -f*k + 5*w = -1 for k.
2
Let j(k) = -9*k. Let b(f) = 4*f. Let i(u) = -13*b(u) - 6*j(u). Let o be i(2). Solve -3*r + o*a = -3, -5*r + 12 = 3*a - 22 for r.
5
Suppose 2*u = -q + 5, q - 14 = -3*u + 6*q. Suppose u*x = 7*x. Let r = -13 - -16. Solve x = k - b + 1, 9 = -5*k + b + r*b for k.
-5
Let a(j) = -j**2 - 15*j - 12. Let q be a(-14). Solve 0 = -q*c, 5*o + c + 3 + 2 = 0 for o.
-1
Let x be (1 - 13)*(-6)/18. Let k = -2 + x. Solve k*i - 4*i - 17 = 5*c, 5*i = -3*c + 5 for c.
-5
Suppose 2*z - 3*z = 3. Let q = z + 6. Let s be 4 + (q/3)/1. Solve -3*t - 8 = -5*b - 2, -2*b - 10 = s*t for b.
0
Let k(p) = p**2 + 2 - 7 - 2*p + 3*p + 2. Let l be k(-3). Solve -5*y + 3*x = 19, -l*x = 5*y + x - 2 for y.
-2
Suppose 84 = 5*k + s, -k + s - 6*s = -36. Let b(d) = -d + 9. Let z be b(9). Suppose 0 = 2*l - 5 - 1. Solve 4 = 3*v - 2*c, 2*v - l*c + 5 - k = z for v.
-2
Let l = 4 + 0. Solve -l*r = -3*w - 4, -5*r - 5*w - 14 = 16 for r.
-2
Let i(x) = x**3 + 20*x**2 + 18*x - 10. Let s be i(-19). Solve 3*q - 2*q = 4*u + s, -18 = 3*u - 3*q for u.
-1
Let k(j) be the second derivative of 4*j - 5/6*j**3 - 3/2*j**2 - 1/12*j**4 + 0. Let z be k(-3). Sol