x - 4*f + w = 0 for x.
2
Let w(j) = -j**2 - j. Let o(c) = -3*c**2 + 5*c - 9. Let i(a) = o(a) - 2*w(a). Let p be i(4). Solve s = -2*d + 15, -d - 4*d - p*s + 40 = 0 for d.
5
Let z = -34 + 39. Solve -5*g - 50 = -0*t + 5*t, -z*g = 2*t + 35 for t.
-5
Let n be (5/(-1))/(4/(-4)). Suppose n*d - 4 - 6 = 0. Suppose d*q = -3*q + 15. Solve -5*o - v + 2*v = -7, q*o - 11 = 4*v for o.
1
Let l be (-8)/(-6)*6/4. Solve -r + 0 = -l*g - 1, -5*g - 4 = -r for r.
-1
Let r = -108 - -157. Suppose 4*x - r = -3*t, 3*t - 47 = 3*x - 8*x. Solve -3*a + 2*l = t, 0*a - 4*l = a - 17 for a.
-3
Let p(j) = j**2 - 5*j - 4. Let t be p(6). Let u be (-12)/(-5) - t/5. Solve -w + 2 = 2*n, -w = -n - 3 - u for w.
4
Let y = -8 - -12. Solve 5*v - 3 = -c - 0, y*v - 3 = -c for v.
0
Let z = -9 - -13. Suppose 4*n - 2*n = 50. Let h = -23 + n. Solve 2*r - 4*s + 22 = 0, 8 + h = 2*r + z*s for r.
-3
Let w(x) = x**3 + 2*x**2 - 4*x - 3. Let m be w(-3). Let y be (21/6)/7*2. Solve -p = -g - 5, m*g - g - 5*p = -y for g.
-4
Let b(q) = q**2 + 4*q + 3. Let o be b(-4). Let i be (o - -1)/(1 - 0). Solve -3*m - 4*p + 6*p = 2, -i*p + 18 = m for m.
2
Let g(s) = s**3 + 5*s**2 + 4*s + 3. Let u be g(-4). Suppose 2*q = 5*d - u*q + 20, 0 = 2*d - 4*q + 16. Solve -4*m - 4*t = -12, 5*m - 23 = -d*t - t for m.
5
Let b be -1 - (-1 - (1 - -1)). Let n be 15 - (0/(-2))/(-2). Suppose 5*h = 5 + n. Solve -3*v - 5*d + 11 = 0, -10 = h*v - b*v - d for v.
-3
Suppose -5*f + 8 = -12. Suppose 1 = f*i - 7. Let c be (2 - 3/(-3)) + i. Solve 0*j + j - 5*d + 11 = 0, c*d = 2*j + 7 for j.
4
Suppose -22 = 3*x - 61. Suppose -3*z + x - 1 = 0. Suppose 0 = d + z*d. Solve d - 1 = w, y = -w - 4 for y.
-3
Let t be 3 + 9 + -2 + 3. Suppose 4*y + k - t = 0, 5*k - 13 = -3*y + k. Suppose -a + y = 2*a. Solve -5*q - 11 + a = 0, -4*r - 5*q = 2 for r.
2
Let q(p) = -p**3 + 5*p**2 - 4*p - 3. Let n be q(5). Let c = -18 - n. Solve y - 5*d - 1 = 0, c*y = y + 5*d - 11 for y.
-4
Let l = 28 - 24. Solve -2*r - 2*f = l, -3*r + 2*f = f + 6 for r.
-2
Let v be ((-3 - -6) + -2)*5. Suppose -4*w = -1 + 5. Let o = 3 + w. Solve -o*q - 4 - 11 = -m, q = -2*m + v for q.
-5
Let a(t) = -t**3 - 4*t**2 + 9*t. Let r be a(-6). Solve -2*i + 5*y = 33, -4*i + 2*i + 2*y = r for i.
-4
Let n = -49 + 75. Suppose 26 + n = 2*b. Solve -3*u + 0*u - 3*v = 12, 0 = -u + 5*v + b for u.
1
Let u be (-128)/(-12)*6/4. Let b = -16 - -20. Suppose -b*t = -36 - u. Solve -t = -4*z + 3*f, 0*f = -4*z - f + 17 for z.
4
Let g(w) = -w**3 + 8*w**2. Let v be g(8). Let r = v - -1. Solve 3*j + i + r = 4*j, 4*i = 4 for j.
2
Let i(l) = l**2 - 10*l. Let w be i(10). Solve -2*d - 19 = -d - 4*t, -3*t + 15 = w for d.
1
Let v(d) = 3*d + 11. Let i be v(-3). Solve 2*x + 11 = 3*x - 2*a, -x = i*a + 5 for x.
3
Let u(c) = -c**2 + 3. Let z be u(3). Let b(n) = n**3 + 7*n**2 + 5*n - 3. Let a be b(z). Solve -f - 1 - 16 = a*t, -6 = 3*f for t.
-5
Let p = 25 - 11. Suppose 12*z + 6 = p*z. Solve g + j - 16 = -3*g, 5*g - z = 3*j for g.
3
Let u(p) = p**2 - 11*p + 15. Let g be u(10). Suppose g*y - 8 = 17. Suppose -4*d + 15 = 3*b, 2*b - 3*b = 2*d - y. Solve n + 29 = -n + b*s, 25 = 5*s for n.
-2
Suppose 2*s = -5*k + 11, 4*s = -0*s + 4*k + 8. Solve 0 = -s*n + 2*g + 11, 0 = -n - 2*n - 4*g - 13 for n.
1
Suppose -i = -6*i + 25. Suppose 0 = r - 2*r + i*z + 15, -3*r - 3*z + 9 = 0. Solve 0 = 5*h - s + 3, -2*s = -r - 1 for h.
0
Let u = -1 - -2. Let f = -1 + u. Suppose -32*y - 4 = -33*y. Solve 0 = -5*r - 3*z + 35, f = -y*z + 20 for r.
4
Suppose o + 4 = 3*j, 2*o = -5*j + 20 + 5. Solve 2*f = 3*i + 1 + 2, -3*i + 6 = -o*f for f.
-3
Let j = 73 - 70. Solve 0 = -j*r - 4*s - 12, 12 = -3*r - 2*s + 5*s for r.
-4
Let q be 1 + (-2 - -1) + 0. Let c(x) be the third derivative of -x**5/60 - x**4/3 + 2*x**3/3 - 2*x**2. Let d be c(-7). Solve q*u - u - 4*g = -d, 5*g = 20 for u.
-5
Let p be (22 + (-6)/2)*2/2. Solve 2*q - 4*w + w + 3 = 0, 4*w + p = -5*q for q.
-3
Let y be ((-2)/(-4))/(5/200). Solve 0 = 5*a - j - 1 - 4, -y = 4*j for a.
0
Let p(m) = 2*m**3 + 2*m**2 - 2*m. Let j be p(-2). Let a be (-2)/j*1*8. Solve 0 = -3*x + 2*x + 2*l + 2, 4*l = -5*x - a for x.
0
Suppose q + 3*w - 68 = -3*q, -w = -4. Let v be (-28)/8*(-8)/q. Solve 0 = 4*f + 4*u, v*f + 4*u - 1 = 9 for f.
-5
Let k be 0/((-2)/(1/1)). Let a be 5/2 + (-1)/2. Solve -3*q + a*z = 21, -3*q + 5*z - 30 = -k*q for q.
-5
Let a = 2 + 3. Suppose m + w = 6*m + 4, -a*m - 5*w + 20 = 0. Solve -y + 15 = -4*u, -4*y = 2*u - 6 - m for u.
-3
Let i be (1/2)/(4/8). Suppose -i - 74 = -3*k. Solve o + o - 20 = 5*p, -k = -5*o for p.
-2
Suppose -2*t - 6 = t - 2*g, t - 3*g = -2. Let j be (-186)/(-36) - t/(-12). Solve -1 = 3*x + k + 2, -5*x = 5*k - j for x.
-2
Suppose 20 = -15*w + 19*w. Solve -4*m + 5 = m + w*g, 5*m = -3*g + 7 for m.
2
Let l(b) = b - 2. Let q be l(-2). Let n = q + 8. Solve n*x = -0 + 8, -v = -3*x + 11 for v.
-5
Let f be -4*(19/(-4) + 4). Solve 5*g - f*r + 11 = -r, -3*r - 3 = -g for g.
-3
Suppose a = -1, 8*a = -4*c + 3*a + 11. Solve c*z - 8*z = -3*p + 4, -z = 2*p - 10 for z.
2
Let a be 10/4*(-3 + 5). Solve -2*s = 5*u + 13, 2*s - a*u = -u + 14 for s.
1
Let v(w) = w**2 + 2. Let c be v(0). Suppose -c*j - 4 = -4*j. Solve h - 9 = j*h + 2*k, h + 13 = -4*k for h.
-5
Let h be ((-6)/(-10))/(1/15). Let a = h + -4. Solve -2*g + 18 = -a*v - 15, 5*v + 37 = 3*g for g.
4
Let b = 15 - 9. Suppose o = 4*o - b. Solve -3*l + o*l - 2 = 3*x, -4*x + 3*l + 19 = 0 for x.
1
Let j(m) = -m**2 - 9*m + 24. Let t be j(-11). Suppose 5*u = a - 3, -6 = -5*a - u + 9. Let s be 1/(1*2/4). Solve -t*v + v + 2 = -s*o, -a*o + 3 = -3*v for o.
-3
Let b(o) = -o**3 + 3*o**2 - o + 1. Let u be b(3). Let t be (u/(-3))/(6/27). Suppose 3*k - t = 2*k. Solve -w - 11 = 3*r + k, 0 = -2*r - w - 10 for r.
-4
Let y = 13 + -11. Solve -4*s + 1 = -y*c + 13, 0 = c - 5*s - 18 for c.
-2
Let v = -2 - -5. Solve -3*h - 24 = 3*y, -5*h = v*y - 8*y for h.
-4
Let q = -134 + 139. Solve -4*d + 22 = -c, 7 = -2*d + q*d + 4*c for d.
5
Let k(n) = n**3 + 3*n**2 - 7*n - 5. Let v be k(-4). Let j = -4 - -8. Let z be (4/6)/(j/18). Solve -s = 5*b - 3*s + v, -s + 5 = -z*b for b.
-3
Let o = 7 - -5. Solve 4*s = -w - 0 + 3, -4*w - 2*s = -o for w.
3
Let u be 6 + (-7)/((-14)/(-8)). Solve 5*v = 0, 2*l + 4*v = u*v for l.
0
Let k be 3*(0 + (-8)/(-6)). Solve -25 = -x + 4*n, 2*n + 19 + 11 = k*x for x.
5
Suppose -d - b = -2 - 2, -4*d = -3*b - 9. Suppose -3*y - 4*m = -12, 2*m + 12 = d*y - 0*y. Solve -2*i = -2*v - 4, -y*v = -2*i - 0*v + 10 for i.
-1
Let x(f) = 25*f**2 - 2*f. Let h be x(1). Solve -3*m - 5*w = h, -5*w = 4*m + 11 + 13 for m.
-1
Suppose -29 = 2*z + 3*n, -z - 5*n = -6*z - 10. Let r be -1 - (1 + 2 + z). Solve s = 5*a + 13, 4*s + r*a = -22 + 5 for s.
-2
Let c = -14 + 17. Solve c = 2*u + 1, 5*u - 1 = 2*n for n.
2
Let m(o) = 7*o - 1. Let n be m(-1). Let d = 14 + n. Let z be ((-4)/d)/((-2)/60). Solve -4*w - 30 = -2*f, -z = 5*w + 5 for f.
5
Let r be (((-252)/(-8))/(-3))/((-2)/4). Solve -3*k = -2*t - r, t + 10 = 5*k + 6*t for k.
5
Let h = -10 - -15. Suppose -h*p + 25 = -p - 3*g, 2*g = 2*p - 14. Let j = -6 + 9. Solve -p*y - 3*r = -4*r, 0 = -3*y - j*r + 15 for y.
1
Let o = 15 + 1. Suppose -24 = -4*c + o. Suppose j + j = c. Solve -4*v + 21 = -j*f, 6*v + 8 = 3*v - f for v.
-1
Let a(i) = -i**2 + 7*i - 7. Let g be a(5). Let v = g - -1. Solve 17 = -t - 5*m, 10 = -t - t - v*m for t.
3
Suppose 0 = -2*l + 3*l - 5. Suppose 0 = -l*j + 6*j. Solve -s - 5*p + 8 = j, -2*s + 8*p = 4*p - 2 for s.
3
Suppose -2*j - 52 = 2*j. Let s be (-2)/4 + 78/4. Let k = j + s. Solve -2*z + 2*q = k, 0 = 4*z - 5*q + 11 + 1 for z.
-3
Let j(n) be the second derivative of -n**3/3 + n**2/2 - n. Let k be j(-2). Solve 0*f + 7 = -4*r + f, k*r = -f - 2 for r.
-1
Let i = 0 + -9. Let u = i - -12. Solve 0 = 5*g - 5*a - 10, u*g = -g + 2*a for g.
-2
Let a be 119/21 + 6/(-9). Solve -6*b + 25 = -b, 2*p + b + a = 0 for p.
-5
Let o(n) = 2*n + 6. Let t be o(-6). Let p = -3 - t. Suppose -24 = -6*u + p*u. Solve u = 5*z - 2*s - 11, 0 = 5*z + 3*s - 34 for z.
5
Let r(d) = 2*d**2 + 6*d - 10. Let s be r(-5). Solve -4*i + 2*f - 18 = 0, -15 = -5*f + s for i.
-2
Let q be 36/16 - 1/4. Suppose q*d = -3*w + 7 + 3, 4*w - 18 = 2*d. Let g = 13 - 8. Solve w*c = 4*o - 3*o + 21, 0 = -4*c + g*o + 25 for c.
5
Let q(g) = -g + 10. Let k be q(10). Solve -5*p - 29 = -k*j + 2*j, -2*p - 2*j = 14 for p.
-5
Suppose -t - 5*s = -28, 4*t + 3*s = t + 24. Solve 0 = -t*y - 4*u - 0*u + 29, -2*y - 2