 0 = -6*h + h - o for h.
-3
Let d(f) = 5*f**3 - 7*f**2 + 15*f + 10. Let q(z) = 4*z**3 - 8*z**2 + 15*z + 11. Let m(n) = -5*d(n) + 6*q(n). Let a be m(-14). Solve 0 = -a*y - 0*y + 4 for y.
2
Let g(f) = f**3 - 11*f + 10. Let y be g(3). Solve -y*a + 8 - 16 = 0 for a.
-2
Let n(w) = -4*w**2 + 6*w - 25. Let g(v) = 7*v**2 - 13*v + 51. Let d(a) = 3*g(a) + 5*n(a). Let m be d(6). Solve -7*j + 2*j = -m for j.
2
Let x(i) = 2*i**2 + 46*i - 98. Let c be x(2). Solve -3 - 7 = c*q for q.
-5
Let m(g) = g**3 - 13*g**2 + 15*g - 33. Let c be m(12). Suppose 3*p - 7 - 8 = 0. Let d(z) = z**3 + z**2 + z + 8. Let n be d(0). Solve p*h + n = c*h for h.
-4
Let f(c) = -c - 12. Let w be f(-12). Suppose 5*r = -0*s - 5*s + 20, w = -r - 4*s + 16. Solve 5*q + 20 = -r for q.
-4
Suppose 4*a + 0*a = 16. Suppose 2*j = a + 34. Let l = -16 + j. Solve 11 = -l*d + 2 for d.
-3
Suppose 0 = -i + j + 3, -3*i - j - 3*j + 2 = 0. Suppose -38 = i*h - 42. Let b be 48/(-28)*(-5 + -2). Solve 0 = h*k + 2 - b for k.
5
Let h(g) = -g**2 - 12*g + 2. Suppose -3*k + b + 2*b = 21, 2*k = -4*b - 44. Let x be h(k). Solve -x*n - 4 = -6 for n.
1
Suppose -14*p - 40 = -18*p. Let m = p + -10. Solve -5*w + 0*w = m for w.
0
Suppose -153 = -3*w + 5*a - 133, -2*a = -4*w + 8. Solve w = 9*z + 58 - 67 for z.
1
Suppose -5*s - 205 = 4*r, -2*s = -2*r - 3*r + 115. Let l be (-35)/s + (-3)/54*-4. Solve 11 = 3*k - l for k.
4
Suppose 4*i = -1 + 1. Suppose i = -k + 5*u - 8 - 10, 0 = 5*k + 4*u - 26. Solve k*v = -2*v - 8 for v.
-2
Suppose -77*g = -80*g - 5*o + 11, 5*g + 5*o - 15 = 0. Solve -11 + 7 = g*h for h.
-2
Suppose -5*z = -z - 8. Suppose -z*t + 3*t + 5 = 0. Let j = 11 + t. Solve 0 = -4*c + j*c - 10 for c.
5
Let c(o) = 5*o**2 - 8*o - 18. Let k be c(-3). Suppose k*w - 15 = 46*w. Solve 0 = -x - w*x + 12 for x.
3
Suppose 0 = -25*b + 17*b + 72. Solve 11*a - b*a = 8 for a.
4
Let f = -43 - -42. Let k be (f - (7 + 1))/(2 - 3). Solve -5*n = -2*n - k for n.
3
Suppose -4*a = 3*r - 59, 4*r - 108 = a + a. Let l be (2/2 - (-1072)/(-16))/(-2). Suppose l = 4*s + x, -r = -5*s - 2*x + 14. Solve 0 = -5*m - 4 + s for m.
1
Suppose 6*b + 4 = 8*b. Let w be b/(-1) - ((-60)/5)/3. Solve u = -3 + w for u.
-1
Let i be (-468)/(-130) + (-2)/(-5) + -1. Solve -2*m = i + 3 for m.
-3
Suppose i + 11 = -9. Let z = 29 + i. Let s be -3*(0 + (-12)/z). Solve -s*h - 16 = -4 for h.
-3
Let q be -1*1*((-42)/6)/7. Suppose -9*g - q = -19. Solve -4*n + g*n = -6 for n.
3
Suppose -33 + 85 = 4*n - x, -5*n = 2*x - 78. Solve -9*t - 20 = -n*t for t.
4
Let l = 153 + -141. Solve 0 = 5*j + 3 + l for j.
-3
Suppose -4*s + 10 = y, 2*y + 6*s - 17 = s. Solve 0*k + y = 3*k for k.
2
Suppose 2*b + 2*g - 6 = 0, 0 = 2*b + 7*g - 2*g - 15. Let o = -2511 - -2512. Solve v + b*v + o = 0 for v.
-1
Suppose -4*o = -12, -2*h + 4 = 4*o - 12. Let c be (-3)/(-2)*6/(-9). Let t be h/(c/((-12)/8)). Solve 0*x + 3 = t*x for x.
1
Let h = 417 + -398. Solve -21 = -t - h for t.
2
Suppose -4*z + 2 = -6. Suppose z*t - 4 = 3*t. Let g be t/6 + 10/15. Solve g = 2*l - l - 3 for l.
3
Let w be ((-840)/(-294))/((-10)/(-28)). Solve -3 + 27 = w*p for p.
3
Let l be -15 + 11 + -1*1. Let h = l - -8. Let x = 68 - 63. Solve 13 - h = -x*n for n.
-2
Suppose -2*y + 6*y - i - 113 = 0, 4*i = -y + 41. Suppose 12*d = -y + 137. Solve -2*q = -5*q - d for q.
-3
Let y(u) = u**3 + 4*u**2 - 14*u - 9. Let l be y(-6). Suppose 5*z = -l*z + 72. Solve c - z = -2*c for c.
3
Suppose 4*j + 2*p = j + 39, 0 = 5*p. Solve j*c - 65 = -0*c for c.
5
Let k(x) = -50*x - 23. Let l(u) = 25*u + 11. Let c(s) = 6*k(s) + 13*l(s). Let a be c(-3). Let r be (0 + -5)*42/a. Solve -2*h - 7 = -r for h.
-2
Let m be 4/(-8)*(-2 + -2). Suppose 4*k - 3*f + 79 = 0, -3*f + m*f - 18 = k. Let u = 20 + k. Solve -19 = 4*s + u for s.
-5
Let g = 902 + -894. Solve -g*o + 20 = -3*o for o.
4
Suppose 2*h = 4*h. Suppose h = -12*a + 6*a + 36. Solve -2*j = -a + 2 for j.
2
Let f(j) = -j**2 - 23*j - 112. Let o be f(-8). Solve 1 = -9*s + o*s for s.
-1
Suppose 2*s - 38 = -5*h, -4*h - s = -0*s - 28. Suppose u - h = -u - a, u - 3*a + 4 = 0. Solve -10 + 4 = u*z for z.
-3
Let n be ((-10)/(-6))/(10/12). Solve -n*g - 6*g = -24 for g.
3
Let u be 2/(-4) - 22/(-4). Let q(a) = a**2 + 27*a + 166. Let t be q(-18). Suppose -t*n = 3*j + n - 50, 0 = u*j - 4*n - 108. Solve w = 6*w - j for w.
4
Let x be ((-40)/(-7))/((384/56)/24). Solve -73*j + x = -78*j for j.
-4
Let s = -9 + 17. Suppose 0 = 2*b + 2*f - 4, b + 18*f = 16*f + 2. Solve -3*m = s - b for m.
-2
Let j(l) = -l**3 + 9*l**2 - 23*l + 31. Let z be j(5). Solve 0 = 6*s - z - 2 for s.
3
Suppose 3*l = -2*l + 30. Suppose 4*p - 5*p = 0. Suppose l*n - n = p. Solve -1 = -f - n for f.
1
Let q(t) = t**2 - 47*t + 214. Let r be q(42). Solve -r*n - 44 = 7*n for n.
-4
Let x(z) = 2*z**2 - 25*z + 16. Let y be x(12). Solve 0 = -n - y*n + 10 for n.
2
Let f be 464/48 + 5*4/(-12). Solve -24 = -f*g + 16 for g.
5
Let b(v) = -21*v**3 + v**2 - v + 8. Let l be b(2). Let q = l - -164. Solve f + 2*f = -q for f.
-2
Suppose -3*l = -l. Let f = 376 + -372. Solve -4 = -f*t - l*t for t.
1
Let c(p) be the first derivative of p**3/3 + p**2/2 - 32. Let v be c(1). Solve 0*l - 4 = v*l for l.
-2
Let c(k) = k**2 - 1. Let w be c(2). Suppose -8*y = -w*y. Suppose y = -7*l + 3*l. Solve -3*j + 7*j = l for j.
0
Let k = -1416 - -1429. Solve -k*j = -4*j - 18 for j.
2
Let g(o) = -8 - 7*o + 19*o - 9*o. Let d be g(4). Suppose 0 = u - 8 + d. Solve -3*z + u = -z for z.
2
Let u be ((-64)/(-12))/(3 - (-63)/(-27)). Solve -u = f - 13 for f.
5
Let m be (162/12)/((-2)/(-68)). Let x be (2/3)/(6/m). Suppose -x = -3*j - j + 3*u, -4*j + 21 = 3*u. Solve -3*z - j - 6 = 0 for z.
-5
Let i be (5 - 11)*(-3 + 2). Solve 0 = -5*v + 14 + i for v.
4
Let a be 4*((-12)/54 + 286/72). Solve a*v - 9*v - 30 = 0 for v.
5
Let m(a) = -a**2 + 9*a - 5. Let c be m(8). Let y = -67 + 76. Suppose 2*q - 3 = -n - q, y = 3*n + c*q. Solve n*p - 4*p - 3 = 0 for p.
-3
Let p = 2 - 1. Let g(l) = -3*l**2 + 83*l - 130. Let s be g(26). Solve 0*c + c + p = s for c.
-1
Suppose -3 = 2*k - 3*k. Suppose 5*r = -2*d - 35, r - k*d + 10 - 3 = 0. Let x be (3/6)/(r/(-70)). Solve -5*o - x = -0 for o.
-1
Let c be 3/(((-22)/(-2))/33). Solve 5*s - 2*s - c = 0 for s.
3
Let p be 1/(-2)*0/(-5). Let n = p + 25. Suppose 4*i = 3*f + 30 + 4, 3*i = 2*f + n. Solve i*r = 2*r for r.
0
Let r(g) = g + 4. Let i be (6/16)/(1/8). Let z be r(i). Solve -2*l = -z*l + 10 for l.
2
Let b be 4/(-6) - (-23)/((-621)/(-126)). Solve b*s = s - 12 for s.
-4
Let q(k) = -k + 1. Let t(v) = 9*v + 10. Let p(z) = q(z) + t(z). Let r be p(0). Solve -4*w - r + 3 = 0 for w.
-2
Let j = -31 + 10. Let c = j + 25. Solve 0*u - 8 = -c*u for u.
2
Suppose -5*z - 23 = 3*l, 3*l = 2*l + 4*z - 36. Let m be (-3)/(-12) + (-28)/l. Suppose -10 = -m*v + 5*j + 15, 5*v + 4*j - 13 = 0. Solve c = v*c - 4 for c.
1
Suppose 5*f + 15 = 0, -b = b + 3*f - 9. Solve 0 = -h + b*h - 40 for h.
5
Let h(g) = -15*g - 30. Let n be h(-2). Solve 4*k - 12*k = n for k.
0
Let w(d) = -d**3 + 6*d**2 + 20*d - 109. Let p be w(5). Let a be (-2)/(0 + 4/(-10)). Solve -a*k + p = -4 for k.
4
Let o be (-2)/8 - 549/(-36). Solve 2*h = o - 7 for h.
4
Suppose 35 = a - 30. Suppose -76 = -4*h - 4*g, -g + a = 3*h - 2*g. Let s = 33 - 27. Solve -s = 3*m - h for m.
5
Suppose -4*f + 24 = -5*n - 45, 45 = 5*f + 2*n. Solve -f*d + 30 = 8 for d.
2
Let n be 4/28 - (-1338)/42. Let v = n - 30. Solve -v*z + 20 = 2*z for z.
5
Suppose 0 = -0*l - 2*l + 42. Let h be 20*(l/(-12) - -2). Solve -1 - 4 = h*n for n.
-1
Suppose -4*a + 5*f = 18, 4*f - 18 = 3*a - 4. Let k = a - -6. Let c be ((-1)/3)/(k/(-60)). Solve -12 = -c*q + 13 for q.
5
Let f = -272 + 298. Solve -5*b + f = 8*b for b.
2
Let k = 10 + -16. Let g be (15/(-10))/(k/8). Suppose 4*t + 6 = -g*y - 8, -3*y + 4*t = -29. Solve -y*p = -p for p.
0
Let z be 60/(-9)*(-108)/(-30). Let a = 31 + z. Suppose -4*y + 9*y - 2*o - a = 0, 2*y = -3*o - 1. Solve 0 = 4*m - 5*m + y for m.
1
Let l(q) = q**3 + 4*q**2 - 4*q + 7. Let v be l(-5). Let p be (16 - v/2)/1. Solve -3*c = -8*c - p for c.
-3
Let f be 150/(-180)*(-16 + -2). Solve 31*i = 36*i - f for i.
3
Let v be 110/(-165) - 2/(-3). Solve v = -14*i + 10*i + 16 for i.
4
Suppose -i = -7*p + 8*p + 1, -4*i - 2*p - 2 = 0. Suppose 3*b + 4*m - 15 = 0, -5*b - m + 25 = -i*m. Solve -15 - b = 5*o for o.
-4
Let k be 1/1 + 3 + -1. Suppose -k*p + 59 - 8 = 0. Suppose 5*j - p = 3. Solve -j*y = -7*y for 