= -2*f for f.
-1
Let c(b) = -3*b. Let w(k) = 2*k. Let h(i) = 5*c(i) + 7*w(i). Let v be h(-2). Let f be 82/533 + 100/26. Solve f*u - d + 1 = v*d, 4 = -3*u - d for u.
-1
Let q be ((-2)/(-4))/((-3)/(-12)). Let k be 10/((5 - q) + -5). Let a be 8/k*(-8 - -3). Solve -5*d - o = -20, -2*d - 4*o = -0*o - a for d.
4
Let y = -2396 - -2414. Solve -k - 3 = h, -y = h + 5*k + 1 for h.
1
Let g = 53 - 31. Let c(y) = -y**3 + 23*y**2 - 20*y - 38. Let s be c(g). Solve -4*o + 13 = 5*f, 4*f + 2*o - s*o = 32 for f.
5
Let u be 0/(6 + -3 + -2). Suppose u*t = -6*t. Solve 2*q + q - f + 8 = t, 3*f + 12 = 0 for q.
-4
Let n(r) = 2*r**2 + 36*r - 174. Let j be n(4). Solve -5*w - j = -c, -5*w = -3*w - 4*c - 10 for w.
-1
Suppose 4*q - 20 + 6 = -2*z, 5*z - 7 = 4*q. Solve -3*n = q*n - 4*m - 7, n = 4*m + 11 for n.
-1
Suppose -3*b + 7 = -5, -d + b - 1 = 0. Solve -2*h + 10 = 4*t - 0*t, -d*t + 9 = 0 for h.
-1
Let p = -156 + 159. Solve -5*g + d - 24 = 0, 4*d - 19 = -p for g.
-4
Let h(c) = c**2 - 15*c + 3. Let s be h(15). Let o(n) = n**3 - n**2 + n + 3. Let d be o(s). Solve 5*l + d = 3*g, g - 6 = 4*l + 9 for g.
3
Let y = 4 + -6. Let t = 0 - y. Solve 0 = -3*z + h + t - 0, z - h - 4 = 0 for z.
-1
Let z(w) = w**3 - 5*w**2 - 6*w + 6. Let c be z(5). Let s = 26 + c. Let k = -8 + 10. Solve -s = -k*n - 4*g, 4*n + 38 = 2*g + 12 for n.
-5
Suppose 2*o = o - 5. Let n = o - -8. Solve n*j - 2*x + 5 = -4*x, -5*j + 4*x - 23 = 0 for j.
-3
Let x be (0 + -6 + 1)*(-2 - -1). Solve -5 = -5*t + 4*z, 4*t - x*z + 1 = -4 for t.
5
Suppose d - s = 3*s - 8, 5*d + 8 = 4*s. Let v = 67 - 37. Solve d = 5*m - 4*h - h + 10, 5*h + v = -3*m for m.
-5
Let o = -11 + 10. Let k = 8 + o. Suppose 2*j - k = -1. Solve w = -r - 4, -2*w + j*r + 3 + 4 = 0 for w.
-1
Let l be (-2)/(-3) - 25/(-3). Let q(f) = -6*f - 1. Let i be q(-1). Let o(a) = 3*a**2 + 11*a + 12. Let x be o(-2). Solve d + 9 = x*h, l = 3*h - i*d - 8 for h.
4
Let z = 1021 + -1021. Solve c = 5*t + 5*c + 16, 4*t + 5*c + 20 = z for t.
0
Suppose -3*u + 196 = 4*u. Suppose -4*g - 3*g = -u. Solve -r + 0*r = 5, 5*m - g*r = 20 for m.
0
Suppose 29 = 18*y - 43. Solve 2*a = -7 + 3, 0 = 3*m - y*a + 1 for m.
-3
Let g = -859 + 861. Solve 9 = w - 4*c, 23 = g*w + 3*w + 2*c for w.
5
Suppose -5*v + 8 = -2. Let g be (3 + (-34)/4)*v. Let f = 13 + g. Solve 5*a + 10 = f*d - 10, -a = d + 4 for a.
-4
Suppose 0 = -2*c + 4*c. Suppose 58*n - 24 = 56*n. Suppose -10*k = -n*k + 4. Solve 3*l = k*a + 8 - c, 2*l + 4*a = -16 for l.
0
Let h be (-158)/(-54) - (-90)/1215. Solve -k - s + 1 = 0, h*k + s = -0*s + 1 for k.
0
Let q(m) = m**2 - m + 1. Let y be q(-2). Suppose -2*w + 10 = 0, -2*w - 50 = -2*b - 6*w. Solve -3*c + y = -5*n, -7*n + 5*c = -2*n + b for n.
1
Suppose 11*j = -11*j. Let b(q) = q**3 + q + 2. Let h be b(0). Solve a - 4*r = j, h*r = 4*a - 2*r - 12 for a.
4
Suppose 4*a + 19*c - 15*c - 72 = 0, 5*c = 15. Solve -s = 4*s - 5*j - a, -4*j = -2*s + 8 for s.
2
Let s be (-1)/(-4) + 150/40. Suppose 6*c = s + 14. Solve -c*p = 3*v + 9, 4*p - 9 = 2*v + 7*p for v.
0
Let w = -2 + 2. Let h be (11 + 1)/3*-1. Let f = w - h. Solve f*m + 20 = 0, 0 = 4*o - 3*o - 2*m - 10 for o.
0
Let g be ((-226)/8 + 3 + 3)*-4. Let o = g - 85. Solve -3*d + 0*z + 21 = 4*z, -d = -o*z + 9 for d.
3
Let u(j) = -j. Let k(g) = -9*g**2 - 3*g - 1. Let h(a) = -k(a) + 5*u(a). Let z be h(1). Suppose d + 6 = z. Solve 5*b = -w + 9, 2*b + 2*w = -0*w + d for b.
2
Let h = 1137 + -1135. Solve 0 = -5*u + 25, 0 = h*d - u - 0*u + 3 for d.
1
Let s(p) = -11*p - 2. Let c(n) = -32*n - 6. Let u(f) = 5*c(f) - 14*s(f). Let h be u(2). Let g = 20 + h. Solve 3*q - g = 2*q - 2*z, 5*z = -2*q + 17 for q.
-4
Suppose 0 = 7*r - 4 - 206. Let y = 42 - r. Solve 0 = -x - 4*f + f - y, 0 = 3*x - 3*f for x.
-3
Let i be 5*3/30*10. Suppose i*q = 3*q. Suppose -27 = 5*f - 152. Solve q*h - 4*h = -5*p + f, 15 = 3*p - h for p.
5
Let n(v) = -2*v - 15. Let m be 3 + 13/(-1) + 2. Let b be n(m). Solve -3*t - 2*i - b = -7, 6 = -2*i for t.
4
Suppose 28*z - 29*z = -4. Let k(n) = n**3 + 9*n**2 + 9*n + 4. Let q be k(-8). Let w = q + 8. Solve -z*x = d + 2*d + 23, -w*d = 4 for x.
-5
Suppose -414 + 78 = -42*p. Solve 5*y - 37 = 3*a, 2*y - 6*y - 3*a = -p for y.
5
Let t(l) = 2*l**2 + 42*l - 39. Let o be t(-22). Solve 5*a = 5*g - 7*g + 20, 0 = -g + o*a - 20 for g.
0
Suppose 20*j - 32 = 28. Solve -i = -g + 1 - 2, -4*g + j*i - 2 = 0 for g.
1
Suppose j - 2*j + 3 = 0. Let x = j + -1. Suppose 16*t - 118 + 22 = 0. Solve 4*v = 3*s - t, 16 = -2*s - x*v + 6 for s.
-2
Let y be -18*1/(-1 - -2). Let f = y + 30. Let l = -967 - -969. Solve v - f = -3*v - l*i, 0 = v + 5*i + 6 for v.
4
Let d = 5 + -3. Suppose -9733*u + 2 = -9732*u. Solve -5 = 3*i + d*y, u*i - 4*y = -3*i - 45 for i.
-5
Let b(y) = -7*y + 1. Let p(v) = 3*v**2 + v + 1. Let d be p(-2). Let j = d + -12. Let a be b(j). Solve 3*h - 13 = -u, 4*u - 4 = -4*h + a*h for h.
3
Let l be -127 + 118 - (-32)/2. Solve -p + l = 3*d - 12, 5*d - 29 = -p for p.
4
Let q(d) = -d - 2. Let y be q(0). Let a be (-6)/(y - 1) - 3. Let i be 8 + -2 + (-1 - a). Solve 0 = n + c - i, 3*c + 8 - 28 = -4*n for n.
2
Let v be -3 - -1 - -2 - -1. Let t be 4/(2 - v) - 0. Suppose -3*u + 2*p = -15, 3 = -4*u + p + 18. Solve -5*w + 4*h = -5, 4*w + h - t*h = u for w.
-3
Let h(u) be the second derivative of 1/12*u**4 - 9*u + 0 + 0*u**2 - 7/6*u**3. Let r be h(7). Solve -4*y - 5*x - 31 = 0, r = 3*y + 2*x + x + 21 for y.
-4
Let s(f) = -f**2 + 2*f + 8. Let v be s(4). Suppose -7*d + 94 + 67 = v. Solve -4*z = -g + d, 0 = 5*z + 5*g + 12 - 2 for z.
-5
Let h be 6/(-12)*(-392)/(-2). Let z be (-28)/h + (-52)/(-14). Solve -3*g + 10 = 2*k - z, 0 = -3*k + 3 for g.
4
Suppose -13 = -5*a - t, -14*a + 19*a - t - 17 = 0. Solve 3*k + 2 = 5*h, 10*h = 6*h - a*k - 20 for h.
-2
Let a = 56 + -53. Solve 5*q = 10, -4*q - 7 = a*c - 3*q for c.
-3
Suppose 0 = -12*j + 14 + 22. Solve -5*u = -j*g + 5, -4*u + 4 = g - 5*g for u.
-4
Let x(h) = -h**2 + 17*h - 40. Let j be x(9). Solve -n + 23 = 4*l, 0 = 4*l + 3*n - j + 3 for l.
5
Suppose z + 16 - 18 = 0. Suppose 4*b - 5 = -3*h + 22, -3*b = -z*h - 16. Let n be (-63)/(-12) - 2/8. Solve 0 = -3*y + 3*u + b, -3*y + n + 2 = -4*u for y.
1
Suppose -2*o - 2 = s, 4*o + 0*s = -5*s - 4. Let w = o + 6. Solve -2*r = w*c + 1, -6*r = 5*c - r - 5 for c.
-1
Let x = 2066 + -2064. Solve -16 = -2*a + 4*z, x*a - 10*z = -11*z + 1 for a.
2
Let p be 10*(14/5 + -2). Let s = -35 + 37. Suppose 0 = -i + 3 + s. Solve 2*x = i*t - p, 2*x - 4 + 8 = 3*t for t.
2
Suppose 0 = -2*y - 2*p + 12, 0*y - 3*p - 24 = -4*y. Solve 3*o + 3*u - y = 0, -7*o = -2*o + 4*u - 11 for o.
3
Suppose 358*n + 40 = 366*n. Solve 3*p - 3*o + 18 = -6*o, 9 = 2*p - n*o for p.
-3
Let n be (2 - 7)*12/3. Let q(d) = d**2 + 12*d - 6. Let p be q(-10). Let x = n - p. Solve y = -5, -2*t + y = -7 - x for t.
4
Let c = -29 + 3. Let y = 29 + c. Let q(z) = z**2 - 3*z + 4. Let d be q(y). Solve 4*w = -5*t - d + 1, 9 = 5*w + 2*t for w.
3
Let z be (0 - -4)/(-8 - -10). Let s(b) = -z*b**2 + 2 + 6*b + b**2 - 3*b - 2*b. Let p be s(0). Solve 3*k + 4 + p = 0, 4*k = -2*n - 10 for n.
-1
Suppose -4*x = -4*s + 16, 2*x - 25*s + 22*s + 12 = 0. Solve -3*v - m - 2 = x, 10*v + 3*m + 6 = 6*v for v.
0
Let u(a) = -a**3 + 10*a**2 + 10*a + 16. Let i be u(11). Suppose -2*m - 6 = 2*n, 2*n - 21 = 4*n + i*m. Solve -2*s + 20 = n*s + 4*l, 2*s + l - 5 = 0 for s.
0
Let i = 15 + -4. Let f = -11 + i. Let k be (-6)/((-1)/(-2) - 2). Solve -k*u - 10 = -5*o, f*u = -3*u for o.
2
Suppose -5*a - 14 = -4*h, 0*a = 4*h - 2*a - 20. Suppose -h*d + 2*d + 16 = 0. Solve n + 2 = -2*y, -5*y = n + 15 - d for y.
-3
Suppose x - 48 = -x. Suppose 0*h - 2*h = -x. Let s be 0/((-2)/(3 - 2)). Solve -4*g = s, -4*u + 0*u + 2*g = -h for u.
3
Let f be 4/(-10) + (-609)/(-35). Suppose 0*m + 140 = 4*m. Suppose 38 = q + m. Solve -q*h + 2*a = -7, -2*a - a - f = 2*h for h.
-1
Suppose 0*r + 2*s = -5*r + 56, -2*s + 46 = 4*r. Solve -l + 3*d = -0*l + 4, r = -5*l + 5*d for l.
-1
Let b = -26 - -46. Let p be 0/((-8)/b*-5). Suppose 3*t - 3 + 6 = -3*s, -4*t + 4*s + 20 = p. Solve 2*v - 3*i + 20 = -2*v, t*i + 20 = -4*v for v.
-5
Suppose -42*g + 48*g - 882 = 0. Let u = 150 - g. Solve 0 = 4*m + 2*o + 12, -4*o + 21 = 2*m - u*m for m.
-5
Let v be (-8 - -17) + (-36)/6. Solve -q + v = -5*j - 0, -3*j - 3 = 0 for q.
-2
Suppose -3*q + 5*c - 2*c - 3 = 0, 0 = -5*c + 25. Let y = 27 + -24. Solve 4*a = -d + 17, -9 = q*d + y for a.
5
Let k(i) = -i**3