w - 7*j, 4*j - 22 = -w. Suppose -w*u + 6 = 5*d, -4*d + 2 = 5*u - 2*u. Suppose -d*c = -4*c + 4. Solve 3*k = -c*k + 25 for k.
5
Let u(i) = -i**3 - 15*i**2 - 2*i - 8. Let v be u(-15). Solve -5*q - v = -7 for q.
-3
Suppose 2*b = 4 + 14. Let i be ((-6)/b)/(1/(-3)). Solve -r - 2 = i for r.
-4
Suppose -3*u + 3*q = 2*u - 13, 5*u - q - 11 = 0. Let r = u + 6. Let n be (-6)/(1 + -1 - 1). Solve -4*f + n*f = r for f.
4
Let w = 1 + -1. Suppose 2*n + 0*h - 1 = -h, -4*h - 4 = 0. Let u(r) = r**3 + r**2. Let c be u(n). Solve 0 = -w*p + p + c for p.
-2
Let s be (-15)/((4/8)/((-1)/2)). Solve -a + s = -4*a for a.
-5
Suppose -3*x = -x. Let g(h) = -h + 14. Let n be g(x). Let t be 4/n + 4/(-14). Solve t = -0*r - 3*r for r.
0
Suppose 2*z + 4 = -2*z. Let j be (-5 + 5)*z/2. Solve -i - 2*i = j for i.
0
Let m be -15*(51/(-15) - -3). Suppose 6*s = 5*s + m. Solve -s*a + 6 = -4*a for a.
3
Let q be 56/(-12) - (-3)/(-9). Let l be 7 + q - (-2)/1. Solve -l = -2*g + 6 for g.
5
Suppose 74 = 4*s + 14. Suppose s = h + 4*h. Solve h*k + 4 = 4*k for k.
4
Suppose -3*n = 2*h, -3 = 4*h - n - 17. Solve h = d + 8 for d.
-5
Let u(d) be the third derivative of d**5/20 + d**4/24 + 3*d**2. Let c be u(-1). Solve c*w + w = 12 for w.
4
Let m = 70 + -66. Solve -p + m = -5*p for p.
-1
Suppose -4 - 4 = -2*p. Let r(z) = -8*z + 4*z - p + 2*z. Let s be r(-5). Solve -2*b + s = -4*b for b.
-3
Let y be 14/(-8)*(-7 - -3). Let x be 3*(-2)/6*-25. Solve -2*b + x = -y*b for b.
-5
Let t = 7 - 2. Let o = -53 + 74. Let q = -3 + o. Solve -q = t*k + 7 for k.
-5
Suppose 4*d - n = -d + 16, d + 2*n = 1. Suppose 0 = -2*c - m, -2*c + 3*c = -m - 2. Solve -c*a - 1 = -d for a.
1
Suppose -y = 4 - 12. Suppose -3*w = -2*d + y, 3*d = -2*d + 3*w + 11. Suppose -3*x - 2*j = -0*j - 17, 3*x - 2*j - d = 0. Solve -x = 3*m + 3 for m.
-2
Let p = 17 - 5. Suppose -o - 8 = -p. Solve -o*m + 15 = m for m.
3
Let j = -36 + 66. Let q(i) = -i**3 + 23*i**2 + 26*i - 38. Let a be q(24). Let u = 12 + -8. Solve u*b = -j + a for b.
-5
Let m = 19 + -7. Suppose d - m = -4*s, -2*d - 8 = 3*s + 3*d. Solve 2 = s*o - 18 for o.
5
Let l = -1 + 6. Let p be -2 + 1 - (l + -1). Let k be (-2 + 0)*p/2. Solve -3*i + 7 = -k for i.
4
Let t be 1/((-45)/6) + 22/165. Suppose -16 + 4 = -3*z. Solve -z = -t*f - f for f.
4
Let q be (-3)/((-15)/20)*1. Let o(h) = h**3 + 5*h**2 + 3*h - 2. Let k be o(-3). Solve 0 = q*u + 1 + k for u.
-2
Let t(n) = 4*n**3 + n**2 - 1. Let h = -2 - -3. Let q be t(h). Suppose -4*p = -a - 15, 2*a - 7*a + p + 1 = 0. Solve z + a = -q for z.
-5
Let c be 8/6*(-6)/(-4). Suppose -3*p + c*f = -2, p + 2 + 0 = -2*f. Suppose p*j + j = 1. Solve 0*n - j = -n for n.
1
Let n(w) = w**3 - 2*w**2 + w. Let h be n(2). Solve -h*r - 1 = -3*r for r.
1
Let b be -1*(-2 + -2 - -3). Solve 2*r - 5 = -b for r.
2
Let f(t) = t**2 - t. Let y be (-1)/(-1)*(7 + -7). Let u be f(y). Solve -5*b = -u*b - 5 for b.
1
Let v = 3 + -2. Suppose 3 = 2*m - 1. Let y be (0/(-7))/(m + 0). Solve -3*f + 2*f - v = y for f.
-1
Let r(c) = -c + 8. Let s be r(8). Suppose 0 = -s*a - 3*a + 18. Let m be ((-2)/a)/((-4)/24). Solve 10 = m*u - 0*u for u.
5
Let p(d) = -d**2 - d + 4. Let i be p(-3). Let m be i/(-7) - (-78)/21. Solve m*t = -t for t.
0
Let j be (1 - 0)/1*0. Let i = 244 + -227. Solve j = 5*f + 3 + i for f.
-4
Suppose 3 = -l - 1. Let m(x) = -x**2 - 4*x - 2. Let v be m(l). Let o(b) = -4*b**3 - 4*b**2 - 4*b - 2. Let z be o(v). Solve 5*k - z + 7 = 0 for k.
3
Suppose -1 = -5*s + 9. Let n be (3 + 2 + -5)/2. Solve 2*a = -n + s for a.
1
Let q be 2/7 + (-122)/(-14). Let w be 12/q*6 + -2. Let k(j) = j**2 - 2*j - 4. Let x be k(w). Solve r = 5*r - x for r.
5
Let x be 34/16 - 4/32. Solve -y + 15 = x*y for y.
5
Suppose 0 = -n - 5*g + 47 - 10, 3*n + 2*g - 46 = 0. Suppose 0 = -h - 2*h + n. Solve 7*c + 12 = h*c for c.
-4
Let y be (1/(-2))/((-4)/24). Suppose 0 = -y*w - w + 12. Let q be w/(15/2)*10. Solve q*d - 5 = -1 for d.
1
Suppose -3*d + 3*a = 4*a + 8, -5*d - 4*a = 11. Let t be 3/(d/2*-1). Solve -v = t*v + 6 for v.
-2
Let k be (-1)/(-5) - (-98)/10. Suppose -2*o = 3*a - 12, -12 = -4*a + 3*o + 4. Solve a*c + c = k for c.
2
Suppose 3*n = s - 2*n + 1, 0 = 2*s - n - 7. Solve -s*q - 18 = -2 for q.
-4
Let s be (0 - -1)/((-1)/5). Let i = 29 + -41. Let h be (-1)/((s/i)/(-5)). Solve h = 4*t - t for t.
4
Let o(g) = g**3 + 5*g**2. Let s be o(-5). Let q be (-2 - 0) + (6 - 4). Suppose -3*f - 15 = -q*f, -v + 5*f = -27. Solve s = v*y + 8 for y.
-4
Let b = -2 - -14. Suppose 3*p - x = 4, -b = -0*p + p - 3*x. Suppose -3*c + 6*c - 18 = 0. Solve w + c = p*w for w.
3
Let f(q) = q + 8. Let i be f(-8). Solve i = 2*k - 6*k for k.
0
Let f(z) = -z - 3. Let b be f(-3). Solve b*p = -3*p + 3 for p.
1
Let v be -2 + (-4)/(8/(-6)). Suppose -5*h + t = -12, 4*h - 5*t + v = -2. Suppose -2*z + 3 + 15 = 2*r, 3*r = 3*z - 3. Solve 4 = -h*p - z for p.
-3
Let u be (10 - -7) + (0 - -1). Let f(c) = 2*c - 1. Let p be f(3). Solve 3 = -p*j + u for j.
3
Let u = 12 + 4. Suppose 3*d - 6*d + 3 = 0. Let r be ((-8)/(-3) - 1)*3. Solve -u = -r*w - d for w.
3
Let q = -8 - -10. Solve -3*b = -q*b for b.
0
Let o be 1/(-4) - 9/(-4). Suppose v - 3*f = 0, f = 3*v - o*f. Solve v*l + 16 = 4*l for l.
4
Suppose 28 = 4*l + 4*u, 0 = 5*l - 2*u + 4*u - 23. Let a = 7 - l. Solve 14 = a*o - 2 for o.
4
Let i(y) = -y**3 + y**2 + 2*y. Let a be i(-2). Suppose 40 - 12 = u - 5*l, 0 = -2*u - 4*l - 14. Let k be u + -1 + 0 + 1. Solve -k*w = -7*w - a for w.
-2
Let f be 1*(2/1 + -1). Solve 5 = -4*d + f for d.
-1
Suppose -4*o + 5*v = -5*o, -3*v = -3*o. Suppose 2*d + 0*d = o. Solve d*h = -2*h + 4 for h.
2
Suppose 11 = -r + 11. Solve r = -5*o - 0*o + 25 for o.
5
Let z(v) be the first derivative of v**3/3 - 7*v**2/2 + 5*v + 3. Let h be z(7). Suppose h*t = 14 - 4. Solve -t*m = -5*m + 3 for m.
1
Suppose 0 = 2*m + m. Solve 2 = -m*a - 2*a for a.
-1
Let y = -8 + 14. Solve 0 = y*x - 2*x - 12 for x.
3
Let o(c) = -4*c**2 + 3*c + 1 + 3*c + 0*c**2 + 3*c**2. Let j be o(5). Solve -l - l = -j for l.
3
Let w be 1 - (1*-2 + 3). Suppose -3*c - 3*s + 2*s = -11, 0 = 5*s - 25. Solve w = -p - c*p + 6 for p.
2
Suppose -13 = -4*o + 7. Solve -l + o = 4*l for l.
1
Suppose -5*g - 5*h = 17 - 2, g + 3*h + 9 = 0. Let u = g + 5. Solve 10 = -u*a - 5 for a.
-3
Suppose -5*s - 35 = -6*s. Solve -15 = 4*n - s for n.
5
Suppose 0*o + 4*o = -24. Let d = 7 - o. Suppose -3*g = s + s - d, -5*g - 10 = -3*s. Solve -3*f - 5 = g for f.
-2
Let i be 1 + (-8)/12*(1 + -7). Solve -w = -1 + i for w.
-4
Let o be 7*((3 - 0) + -2). Let z be (-1)/((-1)/o) - 2. Solve -z*h + 6 = -2*h for h.
2
Suppose 2*i = -d + 6 - 3, 0 = 3*i - 3*d - 18. Let c = 1 + -2. Let h be 0/(1 + c - -1). Solve h*r - i*r = 0 for r.
0
Let b(o) = -o + 7. Let z(i) = 4*i - 3. Let t be z(2). Let u be b(t). Suppose -5*g + 16 = -2*c + 3, -3*g + 3 = -u*c. Solve 3*l + 0 = -c for l.
-2
Let o = 0 + 0. Let h(t) = t + 1. Let n be h(1). Suppose o*u + n = u. Solve 7*f = u*f - 5 for f.
-1
Let j = 107 + -106. Solve -j = 4*s + 11 for s.
-3
Suppose 9 = p - 5*v, 4*p = -p + 4*v + 24. Solve z + p = -z for z.
-2
Let h(w) = 3*w - 4. Let g be h(3). Suppose -4*t + 2*i = -3 - 19, g*t = -4*i + 21. Suppose 0 = t*f - 5*z + 5 - 15, -4*z = -2*f + 2. Solve f = -4*o + o for o.
-1
Let c = -198 - -200. Let p be 2/(-7) - 44/(-7). Solve p = 2*t + c for t.
2
Let b(d) = d**2 + 4*d - 1. Let s be b(-4). Let y be -3*(1 - (s - -1)). Let w be 1*y/6*-2. Solve 16 = -3*c + w for c.
-5
Let s(u) = u**2 + 4*u - 3. Let a be s(-4). Let x = a - -5. Solve 0 = c + x - 1 for c.
-1
Let l = -6 + 7. Let k be (-1)/(l/(-3)) - 3. Solve -w + 0*w + 3 = k for w.
3
Let m(t) = -t**2 + 8*t - 7. Let g be m(5). Let s = 6 - 0. Suppose s*y - 12 = 2*y. Solve -2 + g = -y*a for a.
-2
Let o(f) = f**3 - 1 + f**2 + 3*f**2 + 3*f - 4*f. Let a be o(-4). Let m = 0 + a. Solve 0 = x + m - 4 for x.
1
Let v = 9 - 4. Suppose 3*m + v*x = x + 23, 2*m - 17 = -3*x. Solve 0 = 2*w + m - 5 for w.
2
Let d be 8 + 17/(-2) + (-34)/(-4). Solve 0 = v - 3*v + d for v.
4
Let x(a) = -8*a - 6. Let u be x(-1). Solve -u*f = f - 6 for f.
2
Let a(q) = 6*q - 6. Let d be a(-5). Let f be (-8)/d - (-32)/18. Let b = -15 + 21. Solve b*s - f*s - 8 = 0 for s.
2
Let t = 19 + -14. Suppose -s = -t*s. Solve -z - 2*z - 12 = s for z.
-4
Let n be 2/3 + (-1)/(-3). Let r = n - -3. Solve -4*i - r + 0 = 0 for i.
-1
Let o = 0 - -3. Let s = -7 + 10. Suppose -s*t = 2*t. Solve t = -o*g + 3 + 3 for g.
2
Let j 