b*w - w = -f for w.
3
Let z be (-2)/5*10 + 1*4. Solve r = -z*r for r.
0
Let o(j) = -8*j - 7. Let m(r) = 23*r + 20. Let y(d) = -4*m(d) - 11*o(d). Let x be y(-2). Let f = -10 - -25. Solve x*t - f = -0*t for t.
3
Let o = 25 + -2. Let j = o - 58. Let i = j + 50. Solve t + i = -4*t for t.
-3
Suppose 0 = 2*d - 23 + 5. Solve 16 = 5*o - d for o.
5
Suppose 2*j = -2, 6*j = 5*w + j - 30. Solve -6 = w*u - 21 for u.
3
Let n = -24 - -28. Solve -2 = 2*d + n for d.
-3
Suppose 3*p = -0*p + 15. Solve p*x = 21 - 6 for x.
3
Let c = -4 + 6. Suppose c*p - 8 = 0, 0*g - 2*p = -3*g + 1. Suppose -l + g*i + 14 = 0, i + 3*i + 7 = -l. Solve -5*q = 15 + l for q.
-4
Let x = 7 + -3. Let w = -10 + 30. Solve -w = x*i + i for i.
-4
Let c be (-1)/(-1) - 2/(-1). Let k be 6/(-8)*-4 + -1. Suppose z - 2*z + k = 0. Solve -z + 14 = c*h for h.
4
Suppose 4*u = -3*a - 3, 2*u - a - 26 = 3*a. Let r be (0 - 3) + u + 3. Solve -j + 8 = -r*j for j.
-4
Suppose -s + 2*i + 1 = -9, -2*s = 3*i + 15. Suppose 0 = 4*u - 2*c - 30, s*u + 10 = 2*u + 4*c. Let j = 10 - u. Solve 4 = -j*d - 11 for d.
-5
Suppose -3*s - 60 = -4*p, 5*p + s - 3*s = 68. Solve 5*q = 8*q + p for q.
-4
Let g be 0/(-4) - 0/1. Solve 5*t = -g*t + 5 for t.
1
Let c be 2*(-3)/(-6) + 2. Let q be c/(-6)*0 - 0. Let p be 1/(q + 1)*2. Solve 3*x + 4 + p = 0 for x.
-2
Let p = 3 - -1. Let y be (15 + -17)/((-2)/3). Solve t - y = -p for t.
-1
Suppose -2*y + 19 = 3*h - 7*y, y + 9 = -2*h. Let f = h + 7. Suppose -f*g + 77 = 2*o, o - 11 = -g + 5*o. Solve g - 5 = -5*b for b.
-2
Let k = 51 + -27. Suppose 11*l - k = 5*l. Solve -2*y = 2*y - l for y.
1
Let u = 46 - 42. Solve 10 = -u*v - 6 for v.
-4
Let i be (28/6)/(4/6). Solve -i = -2*n - 3 for n.
2
Suppose 6*i + 4*v - 26 = i, -2*i - 3*v = -9. Let a = 5 - 3. Solve b + i = -a*b for b.
-2
Let x(p) = p**3 + 22*p**2 + 20*p - 18. Let f be x(-21). Solve 0 = -3*c + f - 12 for c.
-3
Suppose -3*s + 40 = 4*v, -3*v = -2*s + 95 - 40. Suppose 0 = 2*h - 2*a + 14, -s = -4*a - 0. Let p be (-6)/((-1)/h - 2). Solve -3 = b - p*b for b.
1
Let w(v) = -v + 6. Let l be w(0). Suppose 4*h = h - l. Let d be ((-1)/h)/((-2)/(-12)). Solve 4 + 2 = d*k for k.
2
Let n(q) = q. Let s be n(6). Suppose g = s*g. Suppose g = 4*i - 5*i. Solve i = -2*c - c for c.
0
Let f(k) = -11 - 2*k + 0*k + 3*k. Let q be f(13). Solve -q*u = -u + 3 for u.
-3
Let k be 5*(2 - 2/5). Suppose r + 4*d = 23, r + 16 = -2*r + 5*d. Solve 2 = r*z + k for z.
-2
Let q = 18 - 6. Suppose c = 4*c - q. Suppose 2*y = c + 4. Solve -y*s - s = 0 for s.
0
Let n = -2 + 4. Let j be ((-1)/(-3))/((-3)/(-36)). Suppose 7 = -5*z - 3*t, 0 = -j*z - 5*t - 12 - 4. Solve 3*s + n = -z for s.
-1
Suppose 0 = -h - 2*d + 13, -4*d + 14 = h - 3*h. Let x(i) = 3*i**2 - 3*i - 2. Let w be x(h). Solve 5*b - 4 = w for b.
4
Let t(k) = -k**2 - 2*k. Let r be t(-2). Suppose -2*s + 7*s = r. Solve s = l - 0*l for l.
0
Let t = -25 - -29. Solve -w - t + 0 = 0 for w.
-4
Let g be 32/12 + 4/(-6). Suppose h - 1 = -2*m - 3, 2*m = -2*h - g. Solve h = -0*z - z for z.
0
Let q(m) be the second derivative of m**4/12 - 3*m**3/2 - 5*m**2/2 - m. Let p be q(7). Let v = p + 39. Solve 3*a + 2*a + v = 0 for a.
-4
Let n = -28 + 40. Let z = 20 - 20. Suppose g = -2*g + 6. Solve g*v + 2 - n = z for v.
5
Suppose 57 = 4*m + 13. Solve 9 = -5*w - m for w.
-4
Let f be (10/20)/(1/6). Let d = f - -14. Solve d = -4*r - 3 for r.
-5
Let f(g) = 6*g**2 + 1. Let s(l) = 2*l - 13. Let t be s(6). Let r be f(t). Solve 2*y - 15 = r*y for y.
-3
Let k(f) = -f**2 - 7*f - 8. Let a be k(-4). Solve -2*u = -0*u - a for u.
2
Let q = 16 - 9. Suppose 13 = 5*n - q. Solve t + n*t = 0 for t.
0
Let y(u) = 5*u + 26. Let n be y(-4). Solve o - n = -11 for o.
-5
Let m be 2/(-9) + (-140)/(-63). Let o(k) = -1. Let x(u) = -u. Let w(d) = 2*o(d) - x(d). Let v be w(m). Solve z + 0*z - 1 = v for z.
1
Suppose -4*j - 32 = 5*y, -2*j - 10 = -5*y + 6. Let f be (-12)/2 - (1 + -1). Let q be (f/(-4))/((-6)/j). Solve 0 = 5*a - q*a - 6 for a.
2
Let z(c) = c**2 + 2*c + 1. Let u be z(-1). Suppose -4*b + u*b = 0. Solve b*a = -a for a.
0
Suppose -2*r + 6 = 4*r. Solve -9*d - r = -8*d for d.
-1
Suppose 5*y + 9 = -f + 29, 4*y - 18 = -f. Suppose 2*n + 2 = f. Solve 5*g = -n - 1 for g.
-1
Suppose 5*v + 0 - 25 = 0. Suppose 0 = -2*g - 0*y + 3*y + 21, 2*y - 24 = -v*g. Solve 0 = g*f - 2*f + 4 for f.
-1
Let r = 4 - 3. Let g(n) = -n**3 + 2*n**2 - 1. Let f be g(r). Let q = f + 0. Solve 3*v - 1 - 2 = q for v.
1
Let w(o) = o**2 + 8*o + 15. Let b be w(-6). Solve -q + b*q + 2 = 0 for q.
-1
Let r(g) = -g - 7. Let h be r(-11). Suppose -5*a + 2*c = -0 - 11, -h*a = -5*c - 19. Solve 0 = -2*d - a + 3 for d.
1
Let r be 2/3*(-27)/(-6). Suppose -3*i + 22 = 5*x, -16 = -2*i - r*x - x. Suppose -q - q = -i. Solve q*w - 6*w = -8 for w.
2
Suppose -3*d + 1 = -4*x, 2*d + 3*x = 4*d. Suppose 7 = z + 3*l + 2, 2*z - d*l - 1 = 0. Let u = 2 + z. Solve -2*q - u = 2 for q.
-3
Let h(i) = i**3 - 12*i**2 + 12*i - 7. Let b be h(11). Suppose -2*v - 4*y + 32 - 10 = 0, 5*v + b*y = 31. Let s be ((-4)/10)/(2/(-10)). Solve -v*p = -s*p for p.
0
Suppose -2*j - c = 2*c + 7, 2*c = -10. Let s be (-4)/6*(-18)/4. Suppose -r - 20 = -5*r. Solve s = -j*q - r for q.
-2
Suppose 3*q - 39 = -q - 3*k, -5*k = -2*q - 13. Let v(i) = i**3 - 2*i**2 - 3*i + 2. Let l be v(3). Suppose s - l*g = 4, s - 1 = g + 2. Solve s*x + q = -4 for x.
-5
Suppose -3*l + 0*l = 0. Solve l = y + 4*y for y.
0
Let b(q) = -2*q + 17. Let u be b(7). Let w(j) = -2*j - 6. Let n be w(-4). Solve u*a = a - n for a.
-1
Suppose 0 = -h + 4, 5*j = 2*j - 3*h + 63. Suppose 0 = 4*g + 1 - j. Solve -4*u - g = -0*u for u.
-1
Let b be 3 - 0 - (0 + 0). Suppose 0 - 3 = -b*o. Solve t = -0 - o for t.
-1
Let b(d) = d + 1. Suppose 0*v + 1 = v. Let x be (v/(-2) + 1)*-2. Let n be b(x). Solve 10 = -n*m + 2*m for m.
5
Let m be 1/2 + (-10)/(-4). Let k be (-3)/((2 - m) + 0). Solve 0*v + k = v for v.
3
Let u = 29 + -18. Solve 4 = -5*x - u for x.
-3
Let v(w) = -w**2 + 9*w. Let r be v(9). Solve -4*h + 5 + 15 = r for h.
5
Let g be (2 - (-2 + 3))*0. Let m = g + 4. Solve -h = 3 - m for h.
1
Let a be (-34)/2 - -1*1. Let v be a/10*10/(-4). Suppose -q - 16 = -v*f, -3*f = -2*q + 5*q - 27. Solve -12 = -z + q*z for z.
-4
Let g = 49 - 43. Solve z - 3*z = -g for z.
3
Suppose -3*f = -2*f - 3. Solve z + 4 = -f*z for z.
-1
Let d be 2*-1*(-1 - 0). Solve -3*m = d*m - 15 for m.
3
Let y(f) = -12*f**2 + f + 1. Let h be y(-1). Let i = -11 - h. Solve -i = a + 2 for a.
-3
Suppose 4*f - 6*q = -3*q + 11, 2*f - 19 = -3*q. Solve f*c = 3 - 18 for c.
-3
Let o be 20/(-170) - 2/(-17). Solve o = -u + 6*u - 10 for u.
2
Let v(i) = -2*i**3 - 9*i**2 + 2*i + 3. Let z(h) = -3*h**3 - 10*h**2 + h + 4. Let u(l) = -4*v(l) + 3*z(l). Let y be u(5). Solve -t + 4*t - 6 = y for t.
2
Let a = -11 - -13. Solve -a*f - 3 = -5*f for f.
1
Suppose 2*y = 5 - 15, 4*f - 3*y = 27. Suppose -3*u + 12 = 0, u = f*x - 3*u + 7. Solve -x*v = -0*v for v.
0
Let r = -142 + 146. Solve -r*z + 10 = -2*z for z.
5
Let k(v) = 4*v - 96. Let s(x) = x - 19. Let t(n) = 2*k(n) - 11*s(n). Let d be t(5). Let u be 1/(((-2)/(-2))/3). Solve d*a - 20 = -u*a for a.
4
Let n be (-3)/(-2)*8/3. Suppose -5*h = y + 15, -4*y - 6*h = -2*h - n. Suppose -3*m - 4*s = -23 - 25, 0 = 4*m - y*s - 95. Solve 3*f - 7*f + m = 0 for f.
5
Suppose -1 = -3*n + 2. Let z be n/(-2) + (-4)/(-8). Suppose v = 2*k - 8, 0*k - 4*k + 4*v = -24. Solve k*a + z*a = -6 for a.
-3
Let f = 52 - 37. Solve -5*u + f = 5 for u.
2
Suppose 34 = 5*h + 3*j, 0*h - 3*h - 3*j = -24. Solve 0 = -h*a + 5 for a.
1
Let y = 29 - 17. Solve 0 = 3*w + w + y for w.
-3
Suppose 95 = 5*p + 35. Suppose -7 = 5*j + 4*r - 1, 3*r = -p. Suppose j*w = 8 - 2. Solve w*c - 2*c = 5 for c.
5
Let u = -5 - -16. Suppose -2*y - 12 = -5*y. Solve u + 5 = y*z for z.
4
Let q be (-100)/(-36) + 4/18. Let a = q + 2. Suppose a*u = -0*u + 20. Solve 2*f - u*f = 2 for f.
-1
Let o(n) = 2*n**3 - 4*n**2 + 4*n - 2. Let j be o(2). Solve -j = 3*x - 15 for x.
3
Let p be 2/((-1)/2*-4). Let u(r) = 4*r + 1. Let l be u(-1). Let s be (l/p)/(3/(-3)). Solve -5*h - 22 - s = 0 for h.
-5
Suppose 4*d = -5*z + 8, 2*d - 4 = -z - 2*z. Let v be 0*(z - 2/4). Let x be (v - 0)*2/(-4). Solve -2*l + 6 = -x for l.
3
Let d = 8 + -4. Suppose d*y = -0*y. Solve -c = -5 - y for c.
5
Let n be 8 + 0*2/(-4). Solve 8 = -4*x - n for x.
-4
Suppose 2*g = 6*g - 4. Solve -5*k + 24 = -g for k.
5
Suppose -5*p + 2*p = v - 2, 5*v =