0, 3*m - 10 = m. Let a be 0*(-2 - h/(-4)). Suppose -5*t + u - 5*u - 10 = 0, a = t + 5*u + 23. Solve -3*k = 1 + t for k.
-1
Let d be (-3*35/42)/(2/(-4)). Solve 4*q + 5 = d*q for q.
5
Let o be -1 + 3 - 1*3. Let n be (2/((-4)/6))/o. Suppose -j - 2*j = y - n, 0 = 5*j + 2*y - 5. Solve -j = g - 2 for g.
1
Suppose -32*v + 35*v - 9 = 0. Solve 4*d + 2 = v*d for d.
-2
Let z(o) = 20*o - 587. Let b be z(30). Solve -b*l + 10 = -11*l for l.
5
Suppose 7*d - 4*d + 60 = 0. Let j = d + 24. Solve -j*c + 9*c - 25 = 0 for c.
5
Let u(z) = -z**3 - 2*z**2 - 2*z + 4. Let l be u(-5). Let h = 91 - l. Solve -h = -b + 2 for b.
4
Let p be (2 - 1)/((-1)/(-5)). Suppose 3*z + p - 20 = 0. Solve 0*x - z = -5*x for x.
1
Let q(a) = -57*a - 9. Let t be q(-1). Let v be t/9 - 1/(6/(-4)). Solve 5*u = v - 1 for u.
1
Suppose 105*x + 40 = 113*x. Suppose 7*r - 105 = 2*r + 2*p, 2*r - 4*p - 42 = 0. Suppose c = x*k - 12, c - 3*k + r = 5*c. Solve w + 8 = c*w for w.
4
Let y(r) = -r + 14. Let n be y(6). Let t = 11 - n. Solve -t*x = -8*x + 10 for x.
2
Let s(v) = 1 - 2 - 9*v + 15 - v**2. Let j be ((-156)/15 - 0) + (-8)/(-20). Let x be s(j). Solve -x*k = -0 + 4 for k.
-1
Let p = -2 + 4. Let y(x) = -x**p - 5*x + 2*x**2 + 0*x**2. Let h be y(5). Solve -i + 1 = -h*i for i.
1
Let f be 1*(4 - (10 - 11)). Solve -4*c + 5*c - f*c = 0 for c.
0
Let l(x) = x**3 - 3*x**2 + 9*x - 18. Let q be l(5). Solve 3*h = q - 83 for h.
-2
Suppose -4*d + 28 = 3*o, -7*o + 3*o = -4*d + 56. Suppose 4*w - 15 = -3. Suppose 0 = w*h - h. Solve s - 3*s - d = h for s.
-5
Let v = -21 + 26. Let i be (-1)/(2 - 1)*1. Let s be (25/(-15))/(i/3). Solve 0*f = s*f + v for f.
-1
Let l(y) = -3*y**2 - 17*y - 7. Let g be l(-5). Solve 3*j + 6 = -g for j.
-3
Let h = 461 + -455. Solve 2 = -h*x + 14 for x.
2
Let b be -5*(-11)/(-55)*(-1 + -13). Solve g + b - 18 = 0 for g.
4
Let k = -22 + 24. Suppose 0 = -0*f - k*f + 30. Solve 0*y + f = -3*y for y.
-5
Suppose -2*h + 6*h = 5*w - 41, -3*h = 12. Let k = 21 + 21. Let u = k - 30. Solve -u = -w*i + i for i.
3
Suppose -4*p - 2 = 5*q, 5*p - 4 - 6 = 0. Let r be -9*(5/3 + q). Solve -12 = r*h - 0*h for h.
-4
Let q(b) = b**3 - 2*b**2 - 2*b - 2. Let p be q(3). Suppose -3*c = -p - 2. Let d be 0 + -2 - c*-13. Solve -4 - d = 5*a for a.
-3
Suppose 0 = -3*s - 74 - 16. Let i be (1/(-3))/(2/s). Solve 0 = -i*f + 9 + 11 for f.
4
Let o be (-3)/((9/21)/((-2)/7)). Solve 0 = -2*l - o - 8 for l.
-5
Let z(l) be the third derivative of l**4/12 - 6*l**3 + 18*l**2. Let x be z(18). Solve x*n + n = 3 for n.
3
Let f be (-1096)/(-7) - (-1)/((-14)/(-6)). Suppose -f + 178 = 3*g. Solve 3*w = 1 - g for w.
-2
Let u(s) = s**2 + 6*s - 61. Let q be u(-12). Solve 1 - q = -2*c for c.
5
Let r = 3 - 9. Let a = r + 12. Let h be 4/(-7) - (-222)/21. Solve -m + a*m + h = 0 for m.
-2
Suppose 67 = 5*f + 4*w - w, 5 = -5*w. Suppose 17*o = 19*o - f. Solve 0 = 5*r + 13 + o for r.
-4
Suppose 3*q - 66 = 6*y, y = -q + 5*y + 20. Solve -5 = q*n - 23*n for n.
-5
Let k = 92 - 64. Let t = -24 + k. Solve 4*g = -0*g + t for g.
1
Let z be (56/20)/(19/(570/4)). Solve 11 = -z*u + 53 for u.
2
Let z(u) = 2*u**2 + 38*u - 37. Let a = 107 - 127. Let w be z(a). Solve 0 = -3*s - 6 - w for s.
-3
Suppose 61 = 20*p - 119. Solve -5*x - p*x = -2*x for x.
0
Let a = 5 - 9. Let p = 8 + a. Let f be (-10)/((-5)/(10/p)). Solve -10 = f*x + 15 for x.
-5
Let x be 84/15 - 0 - (-4)/10. Solve 3*z + 3 = x*z for z.
1
Suppose 3*x = 8*x. Let s be (x/(1 + 1))/1. Suppose -3*q = -s*q. Solve 0 = -k - q*k for k.
0
Let o = 1 - -3. Suppose 5*h - 4*s - 51 = 25, 52 = 3*h + o*s. Suppose -v = 3*v - h. Solve -3*p - 5 = -v*p for p.
5
Let z(o) = -3*o - 32. Let g be z(-22). Let v = g - 32. Solve v*x = 3*x for x.
0
Suppose w = -4*w - 4*v + 46, -4*w + 2*v + 16 = 0. Let i be (-15)/9 + 5 - 2/w. Solve -5 = i*n - 2*n for n.
-5
Let p = 101 + -108. Let d = p + 10. Solve y = -d*y for y.
0
Suppose 0 = -2*d + 14 + 10. Suppose -2*j + 25 = -3*q, -3*q = 2*j + 2*j + 31. Let g = q + d. Solve g*h = -2*h for h.
0
Suppose -5*u + 301 + 10 = 4*o, -u = -2*o - 51. Suppose 0 = -3*r - 59 + u. Solve 4*t + 1 + 11 = r for t.
-3
Suppose 0 = -2*w - 5*x - 7, -w = 5*x - 4 + 15. Solve 2*n + w*n + 6 = 0 for n.
-1
Suppose -6*i = -7*i + t + 47, 215 = 5*i + 5*t. Solve 0 = 15*q - 0*q + i for q.
-3
Let t = -10 - -15. Suppose 0 = 14*u - 6*u - 96. Suppose -u = -7*o + 2*o - 3*v, 2*o - 20 = -t*v. Solve 2 = -o*i - 2*i for i.
-1
Suppose -33 = -3*t + 4*a, -a + 19 = 4*t + 2*a. Solve t*u + 20 = 12*u for u.
4
Suppose 4*t - 8 = 4*j, -14 = -3*t - j + 4. Suppose -t = -2*l + 1. Solve -m - l + 0 = 0 for m.
-3
Let g be ((-8)/(-12))/(-4*6/(-72)). Solve -5*a + g*a - 6 = 0 for a.
-2
Let f = -7 + 10. Let l(y) = 4*y**2 - 21*y + 1. Let s be l(5). Let o(g) = g**3 - 18*g - 8. Let c be o(s). Solve -f*p + p - 10 = c for p.
-5
Suppose 0 = -7*w + 8*w. Let g be -2*4/24*w. Solve g*z - 5*z = -5 for z.
1
Let i(g) = -g**2 + 32*g + 73. Let h be i(34). Solve -h + 14 = 3*b for b.
3
Suppose -6 = -2*v - 5*j, v - 4*j = -0*v + 16. Suppose -2*h - 5 = -5*g, -5*g - 3 = -5*h - v*g. Solve h*o - 20 = 4*o for o.
-5
Suppose 0*c - 4 = h - 2*c, -c - 16 = 4*h. Let k be (36/(-8) - -2)/(2/h). Solve -4*s - k = 7 for s.
-3
Let l(c) = c + 10. Suppose -2*k = 2*o + 16, -2*k = -5*o - 3*k - 20. Let i be l(o). Let q be 2/(-3 + i + -2). Solve 2*a = a - q for a.
-1
Let r = 8 + -6. Suppose 0 = x - 3*n - 15, -2*x + 7 = -r*n - 7. Suppose j = p - 7, x*p + j + 9 = -2*j. Solve -g = p*g for g.
0
Suppose 17*n = 19 + 32. Let h be 3 + 4/(-6)*3. Solve -h = 4*z + n for z.
-1
Let c(k) = 6*k - 40. Let a be c(15). Suppose 0 = 5*q + 15, 4*l = -q + a - 5. Solve -4*z = -0*z - l for z.
3
Let n be ((-60)/(-78))/5 - 152/(-26). Let x = 3 + 1. Solve n*w + x = 2*w for w.
-1
Let o be (56/(-63))/(4/(-72)). Solve -23*i + o*i + 28 = 0 for i.
4
Suppose -5*d = -20, -4*f - 2*d = -f - 101. Solve 0 = f*u - 40*u - 45 for u.
-5
Let m be (16/(-2))/((-3)/(-6)). Let n be 81/(-6)*m/(-12). Let f = n + 22. Solve -f*l + 3 = -5*l for l.
-3
Suppose -17*b + 21*b - 80 = 0. Suppose 4*x + 4*f - 16 = 0, 4*f - 8*f - b = -5*x. Solve -x - 5 = 3*t for t.
-3
Let a = 12688 + -12680. Suppose -9 = -3*y + 21. Solve a*b = 3*b + y for b.
2
Let x = -104 + 107. Let w = x + 0. Solve -5*f = w + 22 for f.
-5
Let z = -1401 - -1406. Solve z + 10 = 5*x for x.
3
Let v = -1053 - -1064. Solve -7*g - 4 = -v for g.
1
Let h be (-2 - -6) + 2 + 2. Suppose -h*i = -3*i. Suppose -5*y + i*y + 10 = 0. Solve -y*z = 3*z - 25 for z.
5
Let h(b) = 5*b + 12. Let c be h(-5). Let m = c - -15. Solve p + 1 = m for p.
1
Let v be (-18)/(-3) + -5 + 2. Suppose 81 = 16*i - 7*i. Solve -i*q = -6*q + v for q.
-1
Let v be 4 + -1 + (2 - (-2 + 7)). Solve v = 61*z - 58*z - 6 for z.
2
Let c be (-8)/18*(1701/(-14))/27. Solve -20*f + 22*f = -c for f.
-1
Let h = -24 - -24. Let a = -13 + 16. Solve h = a*p - 0*p + 3 for p.
-1
Let c be 23/((-184)/(-144)) - 5. Solve c*w - 11*w = -10 for w.
-5
Let d be 2/2 + (0 - -2). Suppose 4 = u + r - 4, -d*u - r = -24. Let a be 38/u + (-12)/16. Solve 11 = a*s - 9 for s.
5
Suppose -6*q = -2*q - 5*g, -q + 9 = g. Suppose -5*s - 7 = -4*b, -s + 10 + 6 = q*b. Solve b*p = -3 - 0 for p.
-1
Let b be 1 - 4/(-4) - (-72)/9. Solve -2 - b = 4*v for v.
-3
Suppose -4*h - 4*o = -4, -3*h + 0*o + 2*o - 22 = 0. Let f = 17 + h. Suppose 0 + 17 = 5*n + g, 3*n = -2*g + f. Solve -2*l = 1 - n for l.
1
Suppose -4*x = -0*x - 40. Let z be (3/(-5))/((-1)/x). Solve 14 = 5*i - z for i.
4
Suppose 384 = -31*l + 35*l. Let a = 98 - l. Solve -4*c - 2 = a for c.
-1
Let h(o) = -o**3 - 8*o**2 - 5*o + 14. Let m be h(-7). Let r be (m/2)/(4*3/4). Solve -2*y - 2*y = r for y.
0
Let p(z) = z**2 + 28*z - 88. Let g be p(-31). Let k(o) = -o**3 + 6*o**2 + 2. Let l be k(6). Solve l*j = j - g for j.
-5
Suppose 83*t - 77*t = 72. Solve -3*v + t = -0 for v.
4
Let g = -1 - -26. Let m = -701 - -706. Solve 0 - g = m*x for x.
-5
Let y(w) = w**3 - 20*w**2 + w - 17. Let m be y(20). Solve -2 - m = 5*h for h.
-1
Let k(q) = -q**2 - 9*q - 14. Suppose 2*f = -129 + 115. Let i be k(f). Solve -2*z + 5*z = i for z.
0
Let u(p) be the third derivative of -p**4/12 - 2*p**3/3 - 8*p**2. Let n be u(-2). Suppose n = -2*r - 0*r + 8. Solve 3*o = 2*o - r for o.
-4
Let i(y) = 6*y - 19. Let f(w) = -11*w + 37. Let l(d) = 2*f(d) + 5*i(d). Let x be l(3). Solve 0 = -3*s + 6 + x for s.
3
Suppose 0 = 4*g + 41 - 225. Let l = g - 44. Solve -3*k = l - 8 for k.
2
Suppo