Solve 0 = -d*o - 2*o + 8 for o.
2
Suppose 2*k + 2 = 6. Solve a = -k*a - 3 for a.
-1
Let t(q) = q**2 - q + 1. Let b(m) = 7*m**2 + 4*m + 4. Let d(y) = -b(y) + 6*t(y). Let o be d(-10). Solve 6 = -o*s + 16 for s.
5
Let z(d) = 21*d + 352. Let l be z(-13). Solve 67 = 6*q + l for q.
-2
Let g(p) = p**3 - 7*p**2 + 7*p - 1. Let i be (12/7)/(10/35). Let f be g(i). Solve -4*h - f = -1 for h.
-1
Let k(o) = -o**3 + 7*o**2 + 11*o + 4. Let n be k(8). Suppose 0*y = -4*y + n. Suppose 2*r - 6 = -5*d, d + 4*r + 9 = y*r. Solve 2*p = -d*p + 10 for p.
5
Let j = -441 + 447. Solve j = -30*l + 28*l for l.
-3
Let z be 1*(-13)/(104/(-32)). Suppose -5*w + 260 = -0*l + 4*l, -2*w + 106 = 2*l. Let a be w/22 - 12/66. Solve 0*c = -a*c - z for c.
-2
Let g(w) be the first derivative of -w**2/2 + 23*w - 34. Let l be g(12). Solve l*a = 8*a for a.
0
Let g(w) = -w**3 + 17*w**2 - w + 20. Let d be g(17). Suppose d*f + 5*o = 4*o + 3, -4*o = -2*f + 16. Solve -6 = 2*n - f for n.
-2
Let v be 1/(-5) + 22/10. Let a = -1196 - -1198. Suppose -5*y + 4*i = -42, 3*y = -3*i + i + 12. Solve -v*k - y = a for k.
-4
Suppose -2*i = -2*m - 56, 0 = -11*m + 6*m - 20. Solve -27*n + 15 = -i*n for n.
5
Let i(z) = 12*z - 69. Let r be i(7). Solve 9*j - 4*j + r = 0 for j.
-3
Let p(g) = -g**3 + 15*g**2 - 13*g + 11. Let i be p(14). Solve -30*f + 25 = -i*f for f.
5
Let u = -10 + 12. Let q be (-3 + u)*(2 - 2). Let n be q/((-6)/(-2 + -1)). Solve 0 = -4*j - n*j - 20 for j.
-5
Suppose -3*x = -0*k + 3*k, -5*x = 4*k + 3. Let g = -8 + 9. Suppose 0 = -6*u + 3*u - 2*a + 6, -3*a - g = 2*u. Solve -w - k*w - u = 0 for w.
-1
Let n = 23 - 24. Let p be (-2)/(n + (-1)/(-3)). Solve -q - 2*q = -p for q.
1
Let g(k) = 3*k + 3. Let d be g(4). Let h be (-4)/6 + (-4)/(-6). Solve -5*c + h = d for c.
-3
Let g be (-2 + -3 - -1) + 4. Suppose 73*z - 95*z = 0. Solve z = -g*d + 2*d for d.
0
Let l(z) = -z**2 + 10*z - 4. Let c(h) = -9*h. Let i be -3 + (-1 - -3) - 0. Let t be c(i). Let o be l(t). Solve -2*y + 1 = -o for y.
3
Let u(n) = n + 8. Let z be u(-5). Let x(j) = -38*j - 4180. Let p be x(-110). Solve z*q + 12 = -p*q for q.
-4
Let n be (-8)/(-12) + (-34)/6. Let v = 32 + -41. Let h = n - v. Solve -5*c = -c + h for c.
-1
Let s be (-40)/(-3 + -5)*(-2 + 3). Solve 3*u - s*u = -6 for u.
3
Let a(m) = m + 1. Let b be a(10). Solve -b = 5*p - 1 for p.
-2
Let y be (38/6)/(7/(-21)). Suppose -58 = -2*d + 5*m, 5*d + 3*m - 41 - 73 = 0. Let z = y + d. Solve 4*p - z*p + 5 = 0 for p.
5
Let y be ((-1)/(-8))/((-9)/(-720)*10). Solve 0 = -5*r + 6*r + y for r.
-1
Let y(d) = -d**2 - d + 6. Let v = -10 - -7. Let k be y(v). Solve -w + 2 = -k*w for w.
2
Let f(q) = 8*q + 14 + 5*q**2 - 2*q**3 - 21*q + 8*q**2 + 3*q**3. Let j = 20 - 34. Let g be f(j). Solve 0*u + 2*u = g for u.
0
Let s = 1014 - 976. Solve s*c = 36*c + 8 for c.
4
Suppose -3 + 0 = -3*i. Let c be 25 + (-2 - (i - -1)). Let y = 21 - c. Solve -3*f + 5*f - 8 = y for f.
4
Let n = -13 + 21. Suppose -x - n = -5*x. Solve -3 = -x*v + 1 for v.
2
Let a be (-1)/3*-2*(-1 + 10). Suppose -u - w = -4*w + 4, w - a = -2*u. Solve -3 = u*s + s for s.
-1
Suppose 0 = -8*o + 3*o - 45. Let t be (-20)/15*o/6. Suppose -8 = -t*f + 3*v + 17, 4*f - 30 = 2*v. Solve f - 1 = 2*p for p.
2
Suppose 0 = -q + 1, q = 5*c - q - 253. Solve -2*o = c - 45 for o.
-3
Let j = 1 - -11. Let x = j - 17. Let u = x + 6. Solve -3*s + 2 = -u for s.
1
Suppose -1 + 3 = 2*j. Let z = 2 + 16. Suppose 2*d - z = -d. Solve -5*v + d = j for v.
1
Let s be 9 - 5 - 0/(-2). Let g(w) = 8*w - 10 - 3*w**2 + 2 + s*w**2 - 1. Let o be g(-9). Solve -1 = -o*i + i for i.
-1
Let t(n) be the first derivative of -n**4/4 + 7*n**3/3 + 9*n**2/2 - 4*n - 10. Let x be t(8). Solve -2*c = -c + x for c.
-4
Let c be (-40)/220 + (-1954)/22. Let b = c + 89. Solve 2*x + 12 - 2 = b for x.
-5
Let a be (-20)/8*(0 - -2). Let c be 3/a - 264/(-40). Solve p - 3*p + c = 0 for p.
3
Let a be 33/((-88)/120 + (-4)/(-10)). Let z = a + 102. Suppose -3*k + 9 = -18. Solve -k = -3*b + z for b.
4
Let y be 4/(-6) - 4/((-60)/55). Solve y*v = v + 4 for v.
2
Let p be 9 + (0 - (-7 - -14)). Solve 4 = -0*r + p*r for r.
2
Let r(w) = -21*w + 44. Let f be r(2). Solve -f*x - 2*x = 0 for x.
0
Let i(z) = -z**3 - 11*z**2 + 12*z. Let u be i(-12). Suppose 5*v - 18 = -x, 5*v - 2*x + x = 12. Suppose -v*b = -6 - 9. Solve u*k + 5*k = -b for k.
-1
Suppose 75 + 93 = 4*z. Let d = z - 42. Solve -4*j = -d*j - 20 for j.
5
Suppose -5 = -b + 2*c, 9*b - 5*b = -3*c + 31. Solve 0 = -b*q - 2*q + 18 for q.
2
Let o be (-45)/12 - 12/48 - -16. Solve -o*k + 14*k - 2 = 0 for k.
1
Let h be 2/((4/(-34))/1). Let q = 29 + h. Suppose 4*d - 24 = -4*l, 5*l = -d + 5*d + q. Solve 0 = d*k - 3*k for k.
0
Let p be (-3)/27*-3 + (-1085)/(-21). Let v = -50 + p. Solve -5*j - v = -4*j for j.
-2
Suppose 2*w + 2*w - 116 = 0. Let c = 39 - 64. Let x = w + c. Solve 0 = -0*m - 2*m + x for m.
2
Let z = 78 + -50. Let r = 30 - z. Solve -r*w + 10 = -7*w for w.
-2
Suppose -2*t = o + 4*o - 95, -2*o + 38 = -3*t. Suppose -o*z - 24 = -25*z. Solve -3*v - z = 2 for v.
-2
Suppose 4*i = -2*y + 16, -5*i = 3*y - 7*y - 7. Solve i = o + 1 for o.
2
Suppose -24 = -2*k - 2*q, 3*k + 6*q - q - 42 = 0. Suppose -18 = 6*o - k*o. Solve 0 = l + o - 4 for l.
-2
Suppose 28*g - 804 = -39*g. Solve -6*w + g*w = 0 for w.
0
Suppose -4*b = 4, 3*f + 2*f - b = -19. Let t be 1/(f*2/(-48)). Solve -r = -t*r + 15 for r.
3
Let n(q) = -q**2 - 5*q + 11. Let p be n(-6). Suppose 0 = -p*r + 29 + 1. Suppose -k + 0 + r = 0. Solve j + k = 1 for j.
-5
Suppose 0 = -4*q - 16, 3*c - 15*q = -11*q + 31. Suppose c*g = -4 + 19. Solve 0 = -3*m - g for m.
-1
Suppose 2*h = 3*h - s - 3, 0 = h + 5*s + 3. Suppose 2*a = -h*a + 16. Let y = 5 + 5. Solve -a*x + 2 + y = 0 for x.
3
Let s be (-2)/7 + 306/42. Suppose 12 = -3*g + s*g. Suppose g*j + 30 = 3*b, -2*j + 20 = b - j. Solve 0 = u + 4*u - b for u.
3
Let h be (-6)/(-9)*9 - 8/(-4). Let o(v) = v + 4. Let g be o(-4). Let w = h - g. Solve 0 = 2*a - 4*a - w for a.
-4
Suppose p + 24 = 3*p. Solve -12*z + 72 = p for z.
5
Suppose 585*b = 580*b + 160. Solve 0 = -14*n - 2*n + b for n.
2
Let b be (6 + 12)/(4/(144/27)). Solve -b = -6*w - 0 for w.
4
Let a(v) = v + 11. Let u be a(-6). Suppose 5*r - 2 = 4*m, 4*r = -m + u*r. Solve 0 = k - m*k for k.
0
Let z(j) = 27*j - 6. Let n be z(-2). Let r = -35 - n. Solve -7*g + r = -2*g for g.
5
Let p = 2407 + -2375. Solve -24*g = -p*g - 24 for g.
-3
Suppose y + 95 = -4*b, 3*b + 53 = 2*y + 199. Let j = -77 - y. Solve 3*p + j = 8 for p.
2
Let v(z) = 20*z + 145. Let c be v(-7). Solve o = c*o for o.
0
Suppose 2*l - 512 = -2*l. Suppose 0 = -34*q + 36*q - 56. Suppose -q = 4*r - l. Solve -o = -6*o + r for o.
5
Let v(f) = 11*f - 193. Let r be v(18). Solve -r*g - 9 = 16 for g.
-5
Let x = 16 - 10. Suppose -x*k = -3*k - 24. Let d = 11 - k. Solve -8 = d*j + 1 for j.
-3
Suppose 49*b - 54*b + 40 = 0. Solve 7*p - b*p = -5 for p.
5
Suppose -14 = -3*c + 40. Let k = -152 + 172. Let t = k - c. Solve 0 = n - t*n for n.
0
Let a(u) = -u**2 - 2*u + 5. Let w be a(-3). Suppose 1 = -c - 0*k + k, 3*c + 1 = w*k. Suppose -19 = -2*l + 3*g, -5*l + 2*g - c = -21. Solve 4 = 2*t + l for t.
1
Suppose -3*x + 11 = 5*p - 0*x, -5*x = -4*p + 31. Suppose -8*h + 48 = -p*h. Let m be 0 - 0 - (9 - h). Solve -2*q = m*q + 5 for q.
-1
Suppose -5*f - 3*j + 34 = 0, 13 = f + 4*j - 4. Solve -10 = f*l - 0 for l.
-2
Suppose 0 = 2*r + 2*r - 60. Let c be (6/r)/(1/90). Let k be 38/12 + (-6)/c. Solve -k*d + 8*d = 10 for d.
2
Let p = 444 + -413. Solve -p + 25 = 2*r for r.
-3
Let h be (-4)/6 + 38/(-6). Let o be (h + 7)/(1*4). Solve o = u - 2*u - 4 for u.
-4
Let g(f) = f**2 + 7*f + 14. Let a be (-12 - -6)/(6/4). Let q be g(a). Let x = 7 - 2. Solve x*k - q = 3 for k.
1
Suppose 4*a - 2*o - 2 = 0, 4*a - 3*o = -3 + 4. Suppose -11*z + 17*z = 0. Let g be z + 1 + 2 + (-1 - -1). Solve g = -x - a for x.
-4
Let z be (-21 + -2)/(1/(-2)). Suppose -2*r - 6 = -z. Suppose 2*k - 3*p = r, -3*k - 6 = -3*p - 30. Solve k = g - 1 for g.
5
Let q = -18 + 6. Let k = 12 + q. Suppose k = -3*p - 6 + 15. Solve 0 = -p*n - n for n.
0
Let g(u) = -2*u + 15. Let b be g(0). Suppose -2*q - f = -0*f - 9, 5*q - 5*f + b = 0. Solve 0 = -2*p - q*p - 8 for p.
-2
Let z(s) = -2*s + 14. Let o(k) = -6*k + 10. Let w be o(6). Let y = w - -32. Let f be z(y). Solve 0*t - f = -t for t.
2
Let c(z) = 3*z - 2. Let o(j) = 3*j - 1. Let a(m) = 6*c(m) - 5*o(m). Let d be a(4)