+ m for z.
-2
Let q be 3/(-5) + 420/75. Solve 10*b = 5*b + q for b.
1
Let z be (-12)/28 - (-24)/7. Let h = 7 + -1. Solve h*g + 6 = z*g for g.
-2
Suppose -5*b - 20 = -5*y, 13 = 5*y + b - 25. Solve 0 = y*l - 2*l + 10 for l.
-2
Let f be (42/(-9))/(2/(-6)). Suppose p + 0*a = 4*a + f, 0 = -2*p + 5*a + 19. Let g be (p*1)/(2/4). Solve k + 5 = -g*k for k.
-1
Suppose -7 = -5*s - 2. Solve -q + s = 3 for q.
-2
Let o = 1 + 19. Solve -2*p + 6*p + o = 0 for p.
-5
Suppose 0 = 2*x - 4, -4*f + 5*x + 40 = f. Let p be f/35 - 26/(-7). Solve -u = -p - 0 for u.
4
Let s = 35 + -33. Solve 3*k + s = -1 for k.
-1
Let b be (21/7)/(1/3). Let c = 14 - b. Solve 2*i - 3*i = -c for i.
5
Suppose -2 = -p + 3. Solve 1 = -2*x - p for x.
-3
Let r(x) = x + 26. Let y be r(-23). Suppose j = -3*j + 4. Solve y*g = j + 11 for g.
4
Let n(i) = -i**3 + 9*i**2 + 10*i + 6. Let f be n(10). Solve -f*p = -2*p - 8 for p.
2
Let b be (-66)/9*6/(-4). Suppose -b - 39 = -5*j. Suppose -4*o = 12, -22 = -w + 5*o - 4. Solve 0 = 5*t - w*t - j for t.
5
Suppose 2*d - 16 + 14 = 0. Solve 0 = -b + d - 4 for b.
-3
Let m(z) = z**2 + 4*z + 1. Let s be m(-4). Let k be 0 + s + 4/2. Let t = 7 - k. Solve 26 = -t*h + 6 for h.
-5
Let m be ((-1)/2)/((-3)/6). Suppose -3*r = -28 + m. Let u = 1 - 1. Solve u = 5*z - 1 - r for z.
2
Suppose 3*s + d = -3*d + 21, -3*s = -3*d. Let u be ((-2)/3)/((-8)/60). Solve s*b - 2*b = u for b.
5
Let a = 5 - 2. Let o be a/(-12) - 13/(-4). Solve 0 = o*d - 15 + 3 for d.
4
Let y = 3 + -1. Let x be -3*2*(-5)/10. Let a be (-38)/(-2) - (0 + -1). Solve -y*w = x*w + a for w.
-4
Suppose g - 3*g - 80 = -4*d, 2*d = 3*g + 40. Let k = d - 17. Solve 5*a + 2 = k*a for a.
-1
Suppose -10 = -8*l + 9*l. Let o = l - -10. Solve o = g - 5*g - 8 for g.
-2
Let s(n) = n**2 - 11*n - 5. Let i be s(11). Let c be (1/3)/(i/(-90)). Solve c - 3 = -o for o.
-3
Let d = -272 + 281. Let z(a) = a**2 + 3*a - 3. Let q be z(2). Let r be q/3 + 2/(-6). Solve d = r*h + h for h.
3
Suppose -2*x - v = -10, 3*x - 2*v - 8 = -0*x. Solve 3*n - x*n = -4 for n.
4
Let j(v) = -v**3 - 8*v**2 + 10*v + 10. Let o be j(-9). Let h = o + -1. Solve -9*m + 4*m = h for m.
0
Let f = -5 + 7. Suppose l - f*l = 0. Suppose 0*u - 2*u = 3*q - 21, 0 = 2*q - 10. Solve l - 12 = u*c for c.
-4
Let d(r) = 4*r - 1. Let t be d(2). Suppose t*s + 20 = 11*s. Suppose -2*o + 2*m + 10 = 0, -3*o + 5*m + 19 = -0*m. Solve -o*l = -2*l + s for l.
-5
Let i be (3 - 0)*(-80)/(-24). Let j = 15 - i. Solve 8 = j*y - 3*y for y.
4
Suppose -35 = 3*u - 41. Solve 2*o + u - 12 = 0 for o.
5
Let u(j) = j**2 - 5*j + 4. Let d be u(6). Suppose 0 = q - 6*q + d. Solve q*l - l + 3 = 0 for l.
-3
Let v(n) = -n**2 + 9*n - 1. Let b be v(7). Let r = -10 + b. Solve 2*z - 25 = -r*z for z.
5
Let u(o) be the third derivative of -o**5/60 - o**4/4 - 2*o**3/3 - o**2. Let a be u(-5). Let q be 2/4*6 + (-169)/(-13). Solve a = -5*b + q for b.
3
Suppose -2*k + 6*k = 0. Solve k = u - 0*u - 4 for u.
4
Suppose 4*v = -8, -3*v - 1 - 6 = -x. Suppose -b + 4 = 0, 2*a = 3*b - 3 - x. Solve -13 = -3*q - a for q.
3
Suppose 5*w = -3*u + 11, -2*w = -0*u - 5*u + 8. Suppose -u*v = v. Suppose -i - 8 + 2 = -4*p, 3*p = 4*i - 2. Solve -6*r + i*r - 20 = v for r.
-5
Let w be 1/(-1)*(0 + -3). Suppose -i - 5*g - 21 = 0, 0 = 2*i + w*g - 5*g - 18. Suppose -10*t = -8*t. Solve t = h + h + i for h.
-2
Let u = 19 + -13. Let x = u - 1. Solve x = 2*z - 1 for z.
3
Suppose -18 - 28 = 2*z. Let k = -20 - z. Solve k*q + q = 8 for q.
2
Let o(k) = k**2 - 9*k - 16. Let j be o(11). Suppose -j*u + 4 = -2*u + 2*g, 5*u + 6 = 3*g. Solve 2*p + 0*p - 2 = u for p.
1
Let y(q) = -q**3 + 13*q**2 + 13*q + 18. Let g be y(14). Solve 2*f - 2 = g for f.
3
Let r(w) = -w**3 - 3*w**2 + 3. Let q be r(-3). Let h be -5 + q + 16/4. Solve -h*k = -4*k + 2 for k.
1
Let q(k) = -k**3 + 2*k**2 + 2*k + 1. Let a be q(-1). Let z(h) = h**2 - 2*h + 3. Let n be z(a). Solve 5*m + n = -7 for m.
-2
Let a(q) = q**3 - 3*q**2 - 3*q - 3. Let s = 9 + -5. Let t be a(s). Solve 2*f + t + 3 = 0 for f.
-2
Let l be (30/8)/((-12)/(-64)). Let m be (-10 + 1)*(0 - 1). Let s be 3/(m/(-2))*-6. Solve w = -s*w + l for w.
4
Let v be (-9)/2 - (-6)/4. Let w = 13 + v. Let b = w + -10. Solve -5*x + 14 - 4 = b for x.
2
Let x = 9 + -2. Let l(f) = -f**2 + 7*f + 5. Let h be l(x). Suppose 0 = -j + 3, 4 = h*u - 5*j - 11. Solve 0*k = -2*k - u for k.
-3
Suppose 0 = 3*t - 2*t - 2. Let n = -1 - 0. Let d be n + t + 0 + 2. Solve d*j = -2*j for j.
0
Let s(x) = -x**2 + 16*x - 13. Let y be s(15). Solve -4*d = -y*d + 10 for d.
-5
Let d = -24 + 28. Solve 0 = -0*c + 4*c - d for c.
1
Let y be -5 + 1 + 4 + 5. Solve -4*m = -y - 7 for m.
3
Suppose 5*m = 10*m - 20. Solve 15 = -m*o - 1 for o.
-4
Suppose 0 = 3*q + 2*z - 14, -3*q + 2 + 7 = -3*z. Solve o = 2*o - q for o.
4
Let l(j) = -j + 5. Let p be l(3). Solve -2*c = p*c - 12 for c.
3
Let w(t) = t - 2. Let r be w(10). Let i be 34/r + 8/(-32). Solve i = -o - 0 for o.
-4
Suppose 0 = -5*j + 4*a + 11, -4*j + 5*a = 3*a - 10. Solve -j*p = 2 - 17 for p.
5
Let x(n) = n + 7. Let r be x(-3). Solve r*v + 0 = -12 for v.
-3
Let v be 4*1 - (4 - 3). Let l be ((-6)/(-7))/(3/21). Let g be ((-25)/(-2))/(3/l). Solve -v*i - 2*i = g for i.
-5
Suppose o = 1, 5*v = -0*o + 2*o + 73. Let f = v - 11. Suppose 0 = -3*j, 4*i + 2*j = f*j. Solve 5*y + 0*y - 10 = i for y.
2
Let t be (12/10)/((-6)/(-20)). Suppose -4*n + 12 = -52. Suppose 0 = d - 15 - n. Solve t*x - d = -11 for x.
5
Let f(d) = -d**3 - 6*d**2 + 7*d + 4. Let u be f(-7). Let r = 2 - -1. Suppose 0 = r*y - 6*y - 4*b - 11, 2*b = u*y - 22. Solve -y*h + 3 + 6 = 0 for h.
3
Let m be 18/(-30) - 0 - 28/(-5). Solve 3 = -4*t - m for t.
-2
Let w(u) be the second derivative of u**5/20 - 5*u**4/6 + u**3/3 - 4*u**2 - u. Let z be (5/(-2))/((-2)/8). Let p be w(z). Solve 2*h - p = 5*h for h.
-4
Suppose 8*y = y + 14. Suppose -4*q + 4 + 2 = k, -4*k - 16 = -4*q. Let a be (k/(-4))/(1/26). Solve -a + 5 = y*s for s.
-4
Suppose 0 = -v - r - 6, -4*v - 7 = 3*r + 15. Let i(n) = n**2 + n - 2. Let g be i(v). Solve -g = z + z for z.
-5
Suppose o = -4*l + 2*o + 43, 2*o = 10. Suppose 5*r = r + l. Solve y = r*y + 10 for y.
-5
Let t(h) = h + 10. Let i be t(-7). Let p be (-502)/(-8) + (-7)/(-28). Suppose -p = -5*f - 3*y, 0 = -4*f + 3*f + 4*y + 31. Solve 0*b = -i*b - f for b.
-5
Let k = 8 - 1. Let s = k + 11. Let p = s + -2. Solve -w = 3*w - p for w.
4
Let q(g) = -4*g - 1. Let d be q(-2). Let s(r) = 3*r + 1 + 0*r - r + d*r**2. Let x be s(-1). Solve -h = h - x for h.
3
Let h(m) be the first derivative of -m**4/4 + m**3 - 2*m - 2. Let b be h(2). Suppose u = 5*a, -2*a + 12 = u + u. Solve -z + b = u for z.
-3
Let o(t) = t**2 + 12*t + 36. Let s be o(-8). Solve -5*w + 9*w = -s for w.
-1
Let o be 66*(1 + 5/(-3)). Let y = o - -29. Let k be (-64)/(-10) + 6/y. Solve 3*z + 0 = -k for z.
-2
Let v(n) be the second derivative of -n**4/12 - 5*n**3/6 - n**2 + 7*n. Let l be v(-2). Solve 0*g - g = -l for g.
4
Let w(i) = i + 8. Let y be w(4). Suppose 4 = 4*t + y, t + 22 = 5*k. Solve 0 = -k*a - 0 + 20 for a.
5
Let l(t) = -10*t - 1 - 5 - t**2 - 3. Let z be l(-9). Solve 4*a - 12 + 0 = z for a.
3
Suppose 0 = -4*i - 33 + 5. Let j = 7 + i. Solve -x = -j + 5 for x.
-5
Suppose 0 = 3*y - 7*y - 20, 5*y = 2*p - 7. Let z be ((-12)/p)/(8/12). Solve h + z = -2 for h.
-4
Let u = 24 - 20. Suppose 0 = -u*j - 20, 4*m + 16 = 3*m - 4*j. Solve 3*h = 1 - m for h.
-1
Suppose -5*x + 0 + 7 = -3*g, 2*g + 13 = 5*x. Let m be g/(-4) + (-7)/(-2). Suppose m*f + 32 = 4*r, 3*r - 18 = 2*f + f. Solve -r = 5*a + 15 for a.
-5
Let m = -7 - -10. Suppose 0 = -y + m. Suppose -2*s - 6 = -3*s + 3*l, 0 = 2*s + 3*l - y. Solve s*f - 16 = -f for f.
4
Let t(w) = w**3 + 6*w**2 + w + 3. Let f be t(-6). Let i be f + (-1 - -2) - -2. Solve -5*m = -25 - i for m.
5
Let r(f) = -f**2 + 13*f + 3. Let d be r(13). Suppose d*w - 5*w + 4 = 0. Solve -3*s = -w*s - 3 for s.
3
Let b(r) = r**3 + 16*r**2 + 15*r + 3. Let f be b(-15). Solve -3*n + f = 15 for n.
-4
Let d(w) = -w**2 - 7*w + 11. Let j be d(-8). Let u be (6 + 6)/(j/2). Suppose -y = y - u. Solve 4 = -y*l + 8*l for l.
1
Suppose 9*a = 6*a - 18. Let h be 16/(-6)*a/4. Solve 1 = -w + h for w.
3
Let i be ((-4)/6)/(6/(-45)). Let b = -25 + 41. Solve 0 = i*y - b - 4 for y.
4
Let k(c) = c**3 - c**2 - c. Let x be k(2). Solve g = -4 + x for g.
-2
Let z(c) = c**3 - 4*c**2 - c. Let t be z(4). Let h be (t + 1)/(3/(-5)). Solve 2*a 