 m be 2/(2 + -4) + 2. Suppose -m = 6*p - 73. Solve -3*h + p = -6*h for h.
-4
Let t(l) = -31*l - 7. Let w be t(-1). Suppose 25*b - w*b - 5 = 0. Suppose 2*s + 6 = 0, -5*y + 37 = -y - 3*s. Solve y = -b*r + 32 for r.
5
Suppose -3 = b - 7. Let x(o) = -13*o + 821. Let v be x(63). Solve v*a - b = a for a.
4
Let k = 120 - 122. Let q be (11 + k)*3/9. Solve 7 = x + q for x.
4
Let q = 780 - 776. Solve 12 = q*a - 0*a for a.
3
Suppose -3*w + 2*v + 5 - 3 = 0, w + 18 = -4*v. Let o be 5 + (-3 - (1 + w)). Let u = o + -3. Solve 3*r + u + 3 = 0 for r.
-1
Let q = -204 + 220. Solve 66*c - 62*c = q for c.
4
Let l = 6 + -1. Suppose -2*d + 100 = 4*w + w, 4*d = -5*w + 100. Solve -5*y = -l - w for y.
5
Let o be ((-18)/(-5))/(12/(-520)). Let y be 6*(-3 - o/9). Suppose -y = -3*r - 26. Solve 4*j = 8*j - r for j.
5
Let i(d) be the second derivative of 0 + 2*d - 3/2*d**3 + 13/2*d**2 - 11/12*d**4 - 1/20*d**5. Let n be i(-10). Solve -n = q + 1 for q.
-4
Let t = 8 - 6. Let g be ((-6)/(-10) - (-24)/(-15))*-1. Solve t*f = -3 - g for f.
-2
Suppose 2*v - 6*v = 120. Let z = v + 35. Solve -2*j + z = 3*j for j.
1
Suppose 4*y + 5*g + 32 = -0*g, -4*y = -3*g. Let f be y/(-21) + (-20)/(-7). Suppose -5*h + 0 = -f*r - 4, -2*h + r + 2 = 0. Solve -n = h*n for n.
0
Suppose -3*w + j - 2*j + 29 = 0, w - 8 = -2*j. Suppose -2*p + 719 - 659 = 0. Solve p - w = -4*k for k.
-5
Let u(x) = 2*x - 12. Let z be u(-11). Let j = -34 - z. Solve j = -4*p - 4 for p.
-1
Let v be (2 - -9) + 18/(-3). Solve -1 = 3*y + v for y.
-2
Let t = -21 - -41. Let i = t - 16. Suppose -12 = -4*a, -3*q + 3*a - 3 = -2*a. Solve q*w - i = 6*w for w.
-2
Let j(u) = u**3 - 14*u**2 - 14*u + 20. Let c be j(15). Let a = 50 - c. Suppose 6*f - f - a = 5*b, 0 = 3*f - 12. Solve 3*l - 5 = b for l.
2
Suppose 25*t = 3*t. Solve 36 = -9*s - t for s.
-4
Let x(a) = -12*a**3 - a. Let d be x(1). Let k = 15 + d. Solve 2*q - k = q for q.
2
Let x = 1 - 1. Suppose 15*z = 12*z + 3. Let f be (4 + -4)*(z/2)/(-1). Solve 3*b + f*b - 15 = x for b.
5
Let t(v) = -2*v**2 + 7*v - 5. Let d be t(3). Let p be 4/(-6)*-2 - d/3. Solve -p*x = -x + 1 for x.
-1
Let f(q) = q**2 + q + 4. Let p be f(0). Suppose i - 132 = -4*z, -5*z - p*i + 162 = -2*i. Let t be (z/(-3))/((-2)/6). Solve -9 = -5*k - t for k.
-5
Suppose -3*k + 24 = -0*k. Let p(f) = -4*f + 17. Let v be p(k). Let w be (5/v)/((-2)/18). Solve 2*c = 3*c + w for c.
-3
Suppose 0 = 15*v - 14*v - 2. Solve 3*t + v*t = 0 for t.
0
Suppose -14 = 19*i - 71. Solve 9 = i*l - 0 for l.
3
Suppose 3*w = 3*u + u - 21, 5*u + 5*w = 0. Suppose -4*d = -2*v + v - 2, -3*v + 3 = -u*d. Solve 4*f + v = 22 for f.
5
Let d = -1907 + 1910. Solve d*i = 31*i + 112 for i.
-4
Let d = -152 - -152. Solve -7*y - 6*y + 52 = d for y.
4
Suppose -2*b + 4*b - 108 = o, 3*b = 3*o + 165. Let r = -44 + b. Solve -4*d + r = 1 for d.
2
Let g = -644 + 644. Solve -10*i - 17 - 13 = g for i.
-3
Suppose -152*n - 36 = -161*n. Solve c = n*c + 12 for c.
-4
Let y = -2 + 18. Suppose -y = -4*n + f, 5*f + 20 = 5*n - 0*n. Suppose -3*z - 8*z = -33. Solve z*r = n*r - 2 for r.
2
Suppose -5*v = -5*l + 25, 4*l = 5*v + 12 + 13. Solve l = -2*k - 6 + 2 for k.
-2
Let s = -270 + 274. Solve -s*r + 6*r = -6 for r.
-3
Let k = -65 + 97. Let q = 36 - k. Solve -q*d = 6 + 10 for d.
-4
Let r(y) = -4*y**3 - 3*y**2 + 1. Let u be r(-1). Solve u*o = 3 - 1 for o.
1
Let s = 245 + -241. Solve 2 = -s*k - 2 for k.
-1
Let q = -2373 + 2378. Solve 0 = q*l - 2 + 7 for l.
-1
Let b(f) = -f**2 - 5*f + 2. Let q be b(-4). Suppose -27 = -5*s - 2*p + 42, q = -2*p. Solve l - s = -2*l for l.
5
Let y = 45 + -33. Solve 35*o - y = 31*o for o.
3
Suppose 4*k + 3*q = 21, 10*k - 6*k - 3*q - 3 = 0. Solve -k*j = j - 16 for j.
4
Let h(o) = o**3 - 13*o**2 + 20*o + 27. Let l be h(11). Suppose 15*c - l*c - 20 = 0. Solve 0 = u - c*u - 2 for u.
-2
Suppose 4*l + 3 = 5*l. Let c = 63 - 60. Solve -c = -2*x + l for x.
3
Let q be -1 + 5/((-20)/(-24)). Solve g = q*g + 4 for g.
-1
Let s be ((-1)/((-10)/8))/((-32)/(-80)). Suppose -6 = s*y, -3*w - 2*y + 9 = -5*y. Solve w = -4*n + 4 + 16 for n.
5
Let c = 314 - 276. Solve c = -13*x - 27 for x.
-5
Let f be -58 - (5 + -2 - -1). Let y = f - -64. Solve 3*t + y = t for t.
-1
Suppose -3*h - 93 = -5*w, -23 + 7 = -4*h. Solve 20*n - w*n = 3 for n.
-3
Suppose 4*p - 17 = 5*x, 20 = -0*p + 5*p - 5*x. Let s(y) = 5*y - p*y - 6*y. Let h be s(-1). Solve 0 = 4*a + 8 + h for a.
-3
Let y(w) = -2*w**3 - 59*w**2 + 23*w - 183. Let a be y(-30). Suppose -13 = 3*c + 53. Let x = a + c. Solve 0 = -3*q + x*q for q.
0
Let i(u) = -u**2 + 4*u. Let o be i(3). Let y = o + 0. Suppose 0 = 4*h - 49*h. Solve h = y*v - v for v.
0
Let r = 26 - 7. Let n be r/7 + (-2)/(-7). Solve n = -4*s - 1 for s.
-1
Let p be (-22)/(-4) - (-9 + (-126)/(-12)). Solve 3*n - p*n + 3 = 0 for n.
3
Let y = -513 + 523. Solve 69*u + y = 71*u for u.
5
Let u(l) = l**3 + 6*l**2 - 17*l - 2. Let f be u(-8). Let n be (-37)/(-3) + f/(-18). Solve -3*d = 3 - n for d.
3
Let w be (2 + -4)/((-1)/2). Let h = 0 + w. Let i be (2/6)/((-36)/(-108)). Solve -f + i - h = 0 for f.
-3
Let f = -635 - -635. Solve -9*h + 10*h - 1 = f for h.
1
Let k be 3/((-12)/88) - -1*2. Suppose 4*t + t = 120. Let s = k + t. Solve 0*x - s = 2*x for x.
-2
Let z = 244 + -240. Solve -z*q - 1 = 11 for q.
-3
Let g = 0 + 3. Let q(l) = l**3 - 9*l**2. Let p be q(9). Suppose -g*a = -p*a. Solve a*s - s - 5 = 0 for s.
-5
Let y be 3/(-6) - 17/(-2). Let v(t) = t**2 - 8*t + 9. Let u be v(1). Suppose u*k + y = 4*k. Solve -4 = -4*g + k for g.
2
Suppose l - 2*a + 6 = -4*a, a - 4 = -4*l. Let p = 0 + 2. Suppose 5*j = -w - 1, -4*j - w - 1 = -p*j. Solve -i + l - 1 = j for i.
1
Let a(p) be the first derivative of -p**2/2 + 5*p - 1. Suppose 2*w - w - 5 = 0. Let v be a(w). Solve v*x = -3*x + 3 for x.
1
Let p(a) = -a**3 + 4*a**2 - a + 2. Let c be p(4). Let l = 16 + c. Solve -4*m - 6 = l for m.
-5
Suppose -12 = 8*q - 44. Suppose -5*c + q*d + 36 = 0, -5*c = 3*d + 2*d. Solve c = -2*k - 0 for k.
-2
Let u be ((-24)/(-14))/(0 - (-3)/21). Let f = u + -8. Solve f*x - 11 = 1 for x.
3
Let t(y) = 2*y**2 - 15*y - 23. Let d be t(9). Let f = -7 - -17. Solve -d = -2*a - f for a.
-3
Suppose 28*k - 288 = -4*k. Solve -4 + k = 5*p for p.
1
Let k(r) = 3*r - 8. Suppose 2*z = z - o, 0 = 3*o + 12. Let s be k(z). Solve f - s = -3 for f.
1
Let o(b) = -b**3 + 2*b**2 + 9*b + 6. Let k be o(-1). Let h = 20 + -14. Solve -3*z - h - 6 = k for z.
-4
Let p(h) = 5*h**2 - 3*h + 6. Let l be p(2). Let o = 28 - l. Solve 2*m + o = 2 for m.
-3
Suppose -5*h = -53 - 122. Let i = -17 + h. Suppose 2*x - 24 + i = 0. Solve -x*g + 0*g = -12 for g.
4
Suppose -g - 20 = -4*p - 2, 5*p - 2*g - 21 = 0. Suppose -p*y = 45 - 75. Solve -y = -l - 2 for l.
4
Let w(i) = 3*i - 47. Let h(l) = l**3 + 11*l**2 + 15*l - 2. Let o be h(-9). Let m be w(o). Let b(s) = -4*s - 3. Let v be b(-2). Solve 3 - m = v*n for n.
-5
Suppose 0 = -4*y - 5*j - 63, -2*y = 2*j + 3*j + 39. Let c = y - -12. Suppose -5*a + 15 = 0, -3*l - 4*a + 24 = -c*a. Solve l*t - 4 = -0*t for t.
1
Let o(m) = -m**3 - 2*m**2 + 5*m + 11. Let g be o(-3). Solve b - 8 = -g for b.
3
Suppose -3*o - 22 = 2*t, t = 2 - 4. Let s(q) = q**3 + 7*q**2 + 4*q - 7. Let a be s(o). Suppose -n - a*z + 9 = 0, -4*n + 7 = -3*z - 6. Solve 3*m = n*m for m.
0
Suppose 21*j - 17*j - 3 = k, 5*k + 15 = j. Solve j*p = 4*p for p.
0
Let p(d) = d**2 - 2*d. Let j(w) = 4*w**2 + 4*w + 3. Let t be j(-1). Let z be p(t). Suppose -1 = 4*l + 2*u + 9, -2*u = -3*l + 10. Solve l + 3 = z*m for m.
1
Let d be (-4)/(-22) + 124/44. Suppose 0*c - c + 8 = -d*m, 5*c = 3*m + 28. Solve -c*p + 17 = -3 for p.
4
Let m = 21 + 0. Let l = m - 13. Let z = 39 + -22. Solve 0 = 5*f - l - z for f.
5
Suppose 0 = 3*f - 22 - 14. Let n = f + -7. Suppose -n*j + 15 + 10 = 0. Solve -j*l = -0*l for l.
0
Let g = -16 + 14. Let i be (g - 4/(-2))/(-10 - -9). Solve 8*u - 5*u = i for u.
0
Let h(r) = -r**3 + r**2 + 2. Let x be h(0). Suppose 3*i - 44 = -i. Suppose 0 = -0*o - o + i. Solve 0 = x*b - 5 + o for b.
-3
Suppose 5*f = -n + 5, 3*n + 5 = -5*f - 0*n. Let k = -79 - -85. Let w be k/24 + (15/(-12) - -1). Solve w = -u - f - 3 for u.
-5
Let m(u) = u**2 + 11*u + 28. Let k be m(-7). Suppose k = 4*y + 2*p - 6, p = 3*y - 7*y + 11. Solve -4 + 0 = -y*d for d.
1
Let h be 108/(-8)*(-16)/(-6). Let z = 40 + h. Solve z*c - 8*c = -4 for c.
1
Let h be ((-12)/36)/((-2)/30). Solve -11*p + h = -12*p for p.
-5
Let y(r