pose 16*b - 9*b = -224. Let u = b + 37. Solve u*t + 9 = 2*t for t.
-3
Suppose -2*v + 3*j = -10, v - 65 = -6*v + 3*j. Suppose 0 = 4*p - 3*p - 8. Solve -v*m - 15 = -p*m for m.
-5
Let b be (-20)/5 - (-1 + -1). Let n be (0 - 0)/(1 + b). Solve 2*a = -n*a + 4 for a.
2
Suppose -k - 4*h + 3 = 18, -25 = 5*h. Solve k*a + 27 = 2 for a.
-5
Suppose 9*m = -113 + 176. Solve -17 = -m*n - 3 for n.
2
Let z = -105 - -153. Suppose 0 = z*k - 45*k - 18. Solve -k*i + 20 = -i for i.
4
Suppose -25*t = -13*t - 48. Solve 6*v + t*v = 13*v for v.
0
Let r(i) = i**2 - 11*i + 35. Let v be r(0). Solve -103*q = -96*q + v for q.
-5
Suppose 0 = k + 3*w - 13, -35*w + 34*w = 5*k - 65. Solve 11*s + 10 = k*s for s.
5
Let p(y) be the second derivative of -y**3/2 - 6*y**2 + 2*y. Let a be p(-7). Suppose -u = 4*m - 9, u = -0*m + 2*m - a. Solve 0 = 2*g + m*g - 20 for g.
4
Suppose 2*j = -5*u + 57, -24 = -3*u + 5*j + 4. Solve -7*n + u = -3 for n.
2
Let x = 7 - 5. Suppose -5*f = -x*m - 4 + 1, -3*f + 15 = m. Suppose 2*d = m*d - 16. Solve -d = 2*a - 3*a for a.
4
Let i(y) = y + 34. Let g be i(2). Solve -2*f + g = 10*f for f.
3
Suppose 45*s = 26*s + 209. Solve -11*x + 16*x = -s*x for x.
0
Let t(v) = -9*v**2 + 17*v + 5. Let u(a) = -5*a**2 + 9*a + 2. Let n(d) = 4*t(d) - 7*u(d). Let h be n(6). Solve k - 2*k + 3 = h for k.
3
Suppose 72 = 4*y + 2*y. Suppose -13 - y = -5*v. Solve -v*z = -2*z for z.
0
Suppose h + 7 = 4*r, 5*h - 2*r + 42 + 47 = 0. Let c = h - -24. Suppose -v = -2*x + 1, -x = 5*v - 1 - c. Solve -a = v - 4 for a.
3
Suppose -851 + 571 = -7*v. Solve b + 41 = v for b.
-1
Suppose -2*x = -v + 7, 5*v - 4*x - 8 = -3*x. Solve -6*k = -17 - v for k.
3
Suppose -b - 6 = -5*b + 3*f, -2*f = -b + 4. Let g = 13 + b. Let k be g/39 - (-28)/6. Solve -k*h - 11 = 14 for h.
-5
Let q = -1935 + 1941. Solve 18 + q = 6*l for l.
4
Let z be ((-6)/(-9))/(4/18). Let b = -4 + 1. Let k be (b/(-9))/((-4)/3)*-8. Solve -1 = -k*y + z for y.
2
Let q be -12 + ((-24)/(-4))/3. Let n be (q/(-3))/((-52)/(-234)). Solve 0 = 3*f - 8*f - n for f.
-3
Let j be (-50)/(-7) - 11/77. Let d(q) = q - 1. Let m be d(j). Solve -k = k + m for k.
-3
Let r = 72 + -49. Let m = 19 - r. Let b(x) = x**2 + 4*x + 2. Let s be b(m). Solve 4 + 0 = s*d for d.
2
Let l be (-4)/14 + 161/49. Suppose l*i + 2*c = 20, -4*c = i + c - 24. Solve -6*d + i = -2*d for d.
1
Let q(y) = -y**2 + 3*y + 10. Let l be (2 - (-3)/(-6))*2. Suppose 5*f - l*b - 5 = 2*b, -2*b = 3*f - 23. Let x be q(f). Solve x = -h - h for h.
0
Let k(b) = 4*b**2 + 7*b + 6. Let y be k(-4). Suppose 27 = 5*p - 3*q - y, -5*p = -2*q - 71. Solve 0*z = -5*z + p for z.
3
Let b(r) = -r**3 + 5*r**2 + 2*r - 7. Let n be b(5). Let q(i) = i**3 + i**2 - i - 6. Let w be q(0). Let u = w - -9. Solve 4*g = n*g - u for g.
-3
Let y = 6 + 0. Suppose -14 + y = -4*z. Solve 0 = b + z for b.
-2
Let s = -30 + 32. Suppose 5*p = -s*g + 44, 3*g + 31 = 5*p - 28. Solve h = -h - p for h.
-5
Let b be (1/(10/40))/2. Solve 0 = b*l - 26 + 18 for l.
4
Let l(s) be the third derivative of -s**6/120 - 7*s**5/30 - 5*s**4/8 + 3*s**3/2 - 11*s**2. Let k be l(-13). Let t = k + -25. Solve -3*h = 2*h + t for h.
-2
Let h(l) = 3*l**2 + 10*l + 1. Let p(q) = 10*q**2 + 29*q + 4. Let v(o) = -7*h(o) + 2*p(o). Let m be v(-12). Suppose -m = -a + 3. Solve -a = 3*z + 8 for z.
-4
Suppose 4*z - 3*g = 366, 6 + 4 = -5*g. Suppose -2*v = -8*v + z. Solve d + 2*d = v for d.
5
Let b(w) = -w**3 - 11*w**2 - 11*w + 1. Let a be b(-10). Suppose j = 5 + a. Solve 4*i + 0*i = j for i.
4
Let x(g) = -7*g - 2. Let w be x(-5). Let n = w - 55. Let y = n - -23. Solve -y = -z - 0 for z.
1
Suppose 0 = n - 4*f - 12, 5*n - 3*f = 6 + 3. Suppose 4*j = -n*j. Solve 20 = -j*s - 4*s for s.
-5
Let f(k) = -k**3 - 3*k**2 + 8*k + 1. Let i be f(-4). Let y = 24 + i. Solve y = 2*d + d for d.
3
Suppose 0 = -h - 3*k - 19, 4*k + 39 = -4*h - 69. Suppose -3*y - 75 = 4*c, 3*c - 125 = 4*y - 0*y. Let m = y - h. Solve -9 = t + m*t for t.
-3
Let f be (6/(-9))/(2/(-15)). Let c = -11 - -11. Suppose c = -y - y + 2*l + 20, -2 = -l. Solve -y = f*z - 2*z for z.
-4
Suppose 4 = -4*b, r - 4*r - 4*b + 5 = 0. Solve g - 8 = -r*g for g.
2
Let h = 12 + -22. Let b = -8 - h. Solve -3*i + b*i = 2 for i.
-2
Suppose 2*q - 5*s = 75, -4*q + 6*s = s - 145. Solve 2*i + q = 9*i for i.
5
Suppose 0 = -74*k + 71*k + 72. Solve -15*q - 6 = k for q.
-2
Let p(s) = s**3 + 16*s**2 - 11. Let o be p(-16). Let q(n) = -n**3 - 11*n**2 - n - 6. Let i be q(o). Let g be (-2 - 0)*i/(-2). Solve -4*w = -3*w + g for w.
-5
Let r(t) be the third derivative of -t**4/24 + 5*t**3/3 + 11*t**2. Let l be r(5). Solve 13 = 2*p + l for p.
4
Suppose 11 + 1 = 6*c. Suppose -5*n + 5 = -c*z + 3*z, 0 = -3*z. Solve 0 = s - 0 + n for s.
-1
Let m(p) be the first derivative of -p**3/3 + 9*p**2/2 + 10*p - 5. Let k be m(10). Solve k = -4*q + 1 - 9 for q.
-2
Let t = -1 + 1. Suppose 8*y = 3*y - 55. Let u be (-110)/(-12) - y/(-66). Solve u = -t*l + 3*l for l.
3
Suppose 5*c - 2*l = -34 - 43, 2*c + 3*l + 46 = 0. Let n = 22 + c. Solve n*k + 9 = 24 for k.
3
Let f(x) = x**3 + 12*x**2 - x - 12. Let v be f(-12). Let q(m) = 4*m - 3. Let h be q(2). Suppose 48 = -l + h*l. Solve 3*u = -v*u - l for u.
-4
Let j(b) = -5*b**2 - 6*b - 16. Let m(n) = 4*n**2 + 6*n + 15. Let k(p) = 5*j(p) + 6*m(p). Let f be k(7). Solve 0*a + f*a = -3 for a.
-1
Let o(a) = 2*a**2 + 17*a + 40. Let r be o(-7). Solve -8*f + 22 = -r*f for f.
-2
Suppose 5*x - 22 = 4*z, 9 = 12*x - 9*x - z. Solve -x*a + 0 + 10 = 0 for a.
5
Let n(g) be the second derivative of -g**4/12 + g**3/2 + 3*g**2/2 - 7*g. Let k be n(3). Let w be k/(-2)*68/(-6). Solve -w + 2 = 5*c for c.
-3
Let x(s) = -s**2 + 2*s - 3. Let i be x(-4). Let g = -32 - i. Let p be (g - -1)*(-10)/20. Solve -p*m = 6 - 0 for m.
-3
Let r(p) = -2*p + 21. Let z be r(7). Let x be -1*5*4/(-5). Let l(n) = -n**3 + 15*n**2 - 13*n - 14. Let a be l(14). Solve a = x*q + z + 1 for q.
-2
Let x = 875 + -875. Solve -18 = -18*h - x for h.
1
Let j(h) = h**3 + 7*h**2 - 9*h - 6. Let c = -184 + 176. Let g be j(c). Let r be 7 + -2 - (-1 - -1). Solve r = g*i - 3*i for i.
-5
Suppose 2*n - 4 = g, -2*n + g = -n - 1. Solve -2*m = n*m + 25 for m.
-5
Let g = -53 - -55. Let h be g - 7 - (-20 + -1). Solve -9*u - h = -5*u for u.
-4
Suppose 5*s = 0, u - 14 = -32*s + 28*s. Solve -11*c = -4*c + u for c.
-2
Suppose -3*w - 35 = -5*n - 13, 0 = 3*w + 5*n - 28. Suppose h + w - 3 = 0. Solve -h*j = 3*j + 5 for j.
-1
Let h be 3 + (3/(-9))/(2/18). Suppose -11*v + 2*v = -54. Solve -3*p + 0*p + v = h for p.
2
Let q be 0/(-1)*80/(-160). Suppose 0*h - 13 = 4*k + 5*h, -2*h = k + 7. Solve -p + k = -q*p for p.
3
Suppose -8 = 5*k - 2*f + 4, -4*f + 12 = -4*k. Suppose -t - 7 = t + y, 2*t = -5*y - 11. Let g be t - (k + -3 + 0). Solve -9 = -5*z + g*z for z.
3
Suppose -d - 2 = -5. Solve 134 = d*v + 143 for v.
-3
Suppose 5*n = n + 136. Let l = -34 + n. Solve l*p - 4 = -p for p.
4
Suppose -34*f - 33 = -45*f. Solve f*c + 3 = -0*c for c.
-1
Let l be 5/(12 + -15 + (-46)/(-12)). Solve l*m = 562 - 580 for m.
-3
Let a = -74 + 85. Solve 5*q - 24 = a*q for q.
-4
Suppose 3*m + 4 = 5*m. Suppose -m*p = 3*p + 4*v - 8, 0 = 2*v + 6. Suppose -4*q + 24 = -p*h, -4*h - 30 = -3*q - 2*q. Solve -c - 5 = -q*c for c.
1
Suppose 0 = 4*i, -4*h = -i - i - 28. Suppose h*k - 48 = k. Let x be 52/k - 3/2. Solve j + 2 = x for j.
3
Let b(q) = q**2 - 15*q + 20. Let r be b(14). Suppose -5*m + 38 = o, -r = 5*m + 4*o - 53. Solve -m = 2*v + 1 for v.
-4
Suppose -3*b - 57 = -3*k, 5*k + 3*b = -2*b + 65. Solve -4*u + 8*u = k for u.
4
Let i = 526 + -526. Solve -4*v = -i*v + 4 for v.
-1
Suppose 27*v = -27 + 81. Solve -v - 2 = -2*m for m.
2
Let d = 5 - -1. Let p be (-2)/(-7) + (-824)/(-56). Let g = 19 - p. Solve -2*b + d = g for b.
1
Let p be (24/(-2))/(4 - (-106)/(-28)). Let h = p - -63. Solve 0 = -h*a + 2*a for a.
0
Let x = 3 - 3. Suppose w - 2*k - 12 = 0, x = -5*w - 3*k + 76 + 10. Suppose 0 = -4*f - 8 + w. Solve f*s = s + 3 for s.
3
Suppose 3*k - 1 = 5. Suppose -k + 8 = -f. Let z be (-3)/f + 1/(-2). Solve 2*a - 2 = -z for a.
1
Suppose 4*s - 8*s + 20 = 0. Suppose k - 6 = p, s*k - 6 = 2*k - p. Let r(g) = g**2 + 5*g + 7. Let w be r(-6). Solve 0 = k*v + w + 2 for v.
-5
Let k be (-52)/(-16) + 4/(-16). Solve 5 = k*o + 2 for o.
1
Suppose -4 = -2*i + i. Suppose -2 - 4 = -5*m + 2*b, -2*m = b + 3. Suppose i*u = x + 23, 45 = -m*u + 5*u + 2*x. Solve 2*t + u = -3 for t.
-5
Let q