h.
-3
Let k(x) = -2*x**2 + 4*x + 30. Let o be k(5). Suppose o = -2*s + 8*s - 228. Solve -5*v - 63 = -s for v.
-5
Let b = 13640 + -13622. Solve 215*p + b = 218*p for p.
6
Let x(r) = -11*r + 10. Let b be x(-4). Let n = b + -52. Let h be (-3 + n)*(4 - 4). Solve 3*a - 3 + h = 0 for a.
1
Let h(t) = -t**2 - 39*t + 45. Let z be h(0). Solve z*k = 55*k + 50 for k.
-5
Suppose 0 = -3*q - 3*r + 18, 48*q - 49*q = 3*r - 14. Let l(w) = 5*w + 3*w**2 - 3 + w**2 - 3*w**2. Let u be l(q). Solve -9 = 8*n - u*n for n.
3
Let o = 1057 + -672. Suppose 9*h - o = -2*h. Solve -7*p - h = -0*p for p.
-5
Let r(z) = -z**3 - 10*z**2 - 7*z + 31. Let a(j) = -5*j**3 - 51*j**2 - 37*j + 154. Let k(o) = -2*a(o) + 11*r(o). Let i be k(-7). Solve 0 = -4*p + 7 + i for p.
3
Suppose -v + 10*v = -459. Let k = 92 + v. Suppose k = 9*h + 14. Solve h*f + 3 = 6 for f.
1
Let d(z) = z**3 + 22*z**2 + 108*z + 49. Let v be d(-15). Solve v = 29*w - 25*w for w.
1
Let p(y) = -y**3 - 3*y + 16 - 19*y**2 + 28*y**2 - 15*y**2. Let h be p(-5). Solve 0*j + h = -3*j for j.
-2
Let j(a) = a**3 - 13*a**2 + 12*a - 101. Let p be j(12). Let o be (-24)/21*(-35)/10. Let q be p/(-5) + o/(-20). Solve 3*z - q = -z for z.
5
Let w be 3/(-6) - 5*266/4. Let p = w + 364. Solve 28*u + 3 = p*u for u.
1
Suppose -2*y + 7 + 15 = 0. Let k be 3/6*28/2*184/322. Solve y*p = 10*p - k for p.
-4
Let i(o) = 8*o**2 + 21*o - 21. Let a be i(1). Solve -w + 1 = -a for w.
9
Suppose -5*c + 18 = 93. Let h = 19 + c. Let s be 0/((-22)/((-44)/18)). Solve s = h*j - j for j.
0
Suppose 37 = 5*w + 4*c, 3*w - 2*c - 12 = -c. Solve -54 + 29 = -w*z for z.
5
Let c(u) = -u**3 - 20*u**2 - 17*u + 43. Let f be c(-19). Let w(q) = 2*q**3 - 9*q**2 - 9*q + 32. Let o be w(f). Solve o + 28 = 8*z for z.
5
Suppose -3 = -3*u + 3*p, 23*p = -u + 19*p + 21. Solve 32 - 52 = u*g for g.
-4
Let d = -7712 - -7939. Solve 192 = 7*y + d for y.
-5
Let c be (-18)/(-15)*((-133)/(-21) - 3). Suppose 13*l = 8*l - 2*j - 3, 0 = 4*l + c*j + 12. Solve l = -5*s + 6 for s.
1
Suppose 0 = -18*r - 2997 + 621. Let f = -129 - r. Solve f*n = -0*n - 15 for n.
-5
Suppose -4*l - 64 = 4*h - 100, 3*h - 3 = l. Solve 363 - 327 = l*s for s.
6
Let l = 855 - 828. Let m(a) = -2*a - 3. Let s be m(-3). Suppose 3*u - l = s*x - 6*x, 0 = x - 3*u + 11. Solve -x*y + 3*y - 4 = 0 for y.
-4
Suppose -7*y + 442 = -146. Solve 0 = -31*w + y + 9 for w.
3
Suppose 4*z = -k + 10 + 8, -14 = k - 4*z. Suppose -6*v + k = 194. Let j = v + 45. Solve -3*g + j + 2 = 0 for g.
5
Suppose -w - 523 = -3*r, -674 = 9*r - 13*r + 6*w. Solve -4*l + r = 188 for l.
-3
Let t be ((-36)/117)/((-4)/(-26)). Suppose -4*a = -3 - 1. Let g be 1/(-1) - (0 + a + t). Solve 0*l + 5*l - 25 = g for l.
5
Suppose 0 = -115*u + 107*u + 96. Suppose -u*i - 35 = -19*i. Let l = 2 + -2. Solve 2*q - 3*q + i = l for q.
5
Let u be 0*(-3)/(-12)*(-5)/5. Solve 24*j - 23*j + 3 = u for j.
-3
Let k = 3103 + -3103. Solve 7*x - 11*x = k for x.
0
Let q(d) = 135*d + 1768. Let o be q(-13). Solve -10*x = 33 - o for x.
-2
Let v = 19637 - 19611. Solve -v*n + 203 = -55*n for n.
-7
Let h(x) = 2*x - 2. Suppose 0 = -5*z - 5*z - 30. Let r be h(z). Let v be (2 - (-12)/r) + (-3)/(-2). Solve -l + 3 = v*l for l.
1
Suppose 2*d - 53 - 1 = 0. Suppose -d = -5*k - 0*v + 2*v, -5*k - 5*v = -20. Solve 15 = k*p - 10 for p.
5
Let b(p) be the third derivative of 0*p + 0*p**3 + 0 + 1/15*p**5 + 12*p**2 + 0*p**4. Let g be b(-1). Solve g*x = -10 + 30 for x.
5
Let z = 9 + -7. Suppose 2*p = 5*t + 21, -3*p + 2*t = -0*p - 15. Suppose p*g - 7*g = -12. Solve -5*m - z = g for m.
-1
Let i(j) be the third derivative of j**4/24 + 7*j**3/6 + 128*j**2. Let n(m) = -m**3 + 8*m**2 + 9*m - 5. Let h be n(9). Let z be i(h). Solve -y + 3 = -z for y.
5
Suppose 0 = -4*q - k - 4, 142*q + 3*k + 12 = 147*q. Solve q = -24*x + 31*x + 7 for x.
-1
Suppose 4*l + 3*u - 3 = 2*l, l = 2*u + 5. Suppose -2*n = -4*k - 5*n - 21, 0 = 5*k + 4*n + 25. Let f(p) = p + 9. Let z be f(k). Solve m + l*m - 20 = z for m.
5
Let v = -17643 - -17687. Solve v + 1 = 5*a for a.
9
Suppose -31 + 3 = -4*r. Suppose 0 = -3*u + 4*q - r*q + 39, 0 = -2*u + 4*q + 8. Suppose -w - u = -6*w, 4*w - 32 = -4*c. Solve -c = -2*v - 14 for v.
-4
Let o = 174 - 124. Let v = o - 126. Let y = -76 - v. Solve t = -y*t - 4 for t.
-4
Let f(x) = 16*x - 141. Suppose 57 = 5*z + 4*b, b - 2*b - 15 = -2*z. Let a be f(z). Solve -a*i - 5 = -2 for i.
-1
Let a be 94/14 + (-2990)/4186. Solve -a*t - 49 = t for t.
-7
Let f = 79 + -55. Suppose 0*o = -6*o + f. Solve -o + 0 = -4*j for j.
1
Let n(l) = 80*l**2 - 16*l + 2. Let j be n(-1). Solve -j*z + 100*z - 10 = 0 for z.
5
Suppose 201*i - 202*i = 5*d - 43, i = 5*d - 27. Solve d*f - 42 = 14*f for f.
-6
Suppose 17*n = 15*n + 8. Suppose n*s + 63 = 13*s. Solve s*i - 23 = -2 for i.
3
Let u = 3845 + -3774. Solve 0 = -33*x - u - 94 for x.
-5
Let b be (42/(-9) + 3)/(-9 + 240/27). Solve 0 = -21*m + b + 6 for m.
1
Let p(x) = -x**3 - 6*x**2 + 7*x + 2. Let a be p(-7). Suppose -h + 187 = -2*c, c + h + 45 + 47 = 0. Let v = c + 95. Solve 0 = v*k - a - 0 for k.
1
Let l(u) = -4*u - 5. Let m be l(-5). Let f be ((-4)/5)/(-2)*m. Let b be (3 - (12/4)/(7 + -13 + 7))/(-1). Solve -f = -b*i + 3*i for i.
-2
Suppose -120 = -2*u + 4*t - 60, 0 = -2*u - 4*t + 28. Solve -36*h - 56 = -u*h for h.
-4
Suppose -23*o + 66*o - 1344 = -21*o. Solve o*x + 26 = -58 for x.
-4
Let m = -53 + 66. Suppose 4*h - 171 = m. Suppose -3*b = 2*g - 3*g - 58, -3*g + h = 2*b. Solve 2*c + b = 6*c for c.
5
Let q(h) = h**2 + 6*h - 7. Let b be q(-7). Suppose b = -5*m + 9 - 29. Let s be 4 - 0 - (-16)/m. Solve 0 = -5*d - s*d - 15 for d.
-3
Let k(q) = 2*q - 1. Let t be k(3). Suppose 4*i = -4*a + 28, 0 = a + 2*i - t*i - 27. Let x be ((-3510)/(-2925))/((-3)/(-10)). Solve 4 - a = x*s for s.
-2
Suppose 19*x - 2144 = -1821. Solve 84 = x*u - 3*u for u.
6
Let y = -13987 - -13989. Let d = 2 + 9. Solve d*j = y*j for j.
0
Let a(s) = s**3 - 34*s**2 - 71*s - 36. Let g be a(36). Suppose -10*z + 140 + 60 = g. Solve 7*r - 3*r = -z for r.
-5
Suppose -3*m = -3*o, -4*m + 1 = -2*o - 3. Let b be -1 + 4 + o + 10. Let t(v) = v**2 - 18*v + 49. Let d be t(b). Solve d*c = -c for c.
0
Suppose -5 = -w + 29. Suppose -153 = 31*b - w*b. Let c = b + -48. Solve -c*n - 10 = 5 for n.
-5
Let r(o) = -4*o + 26. Let a(s) = -s + 5. Let i(m) = 28*a(m) - 6*r(m). Let u be i(-5). Suppose u = -3*g + 13. Solve 0 = g*l + l for l.
0
Let i be (0 - 25/(-5))/(-3 - -4) + -5. Solve 10*q + 29*q - 78 = i for q.
2
Let j = -5666 - -5666. Solve -656*x + 660*x - 20 = j for x.
5
Suppose -5*u - 3*a = 25, 25 = -7*a + 2*a. Let x be (u - 9/(-3))*(-7)/(-1). Suppose -4*z + 8 = -q, 3*z + x*q - 29 = 2*q. Solve -p = -0*p - z for p.
3
Let v = -7 + 37. Let r = -2804 + 2829. Suppose -r*g = -v*g + 75. Solve -5*u = -0*u + g for u.
-3
Suppose -125 = 7*n + 449. Let c = -54 - n. Let v = -25 + c. Solve v*i - 4 = -1 for i.
1
Suppose -134*h - 760 = -130*h. Let a = h + 225. Solve -39*j = -a*j + 12 for j.
-3
Let t be (-4 - -3)*5*(-2 + 3). Let p(x) = -54*x - 268. Let w be p(t). Solve q - w*q = -2 for q.
2
Suppose 2*a - 723 = -12*a - 107. Solve 9*g + 1 + a = 0 for g.
-5
Let i = 3134 + -2923. Solve 244 + i = 65*m for m.
7
Let p = -12 - -14. Let s(w) = -w + 30 - w + w**3 + 4*w**p - 36. Let a be s(-4). Solve -a*k + 3 = -k for k.
3
Let k be 11 - 2*112/(-32). Solve 32*f + 112 = k*f for f.
-8
Let p(j) = j**2 + 30*j - 195. Let n be p(-37). Solve 511*i = 503*i + n for i.
8
Suppose -2*b + 4*a = -30, 4*b - 5*a = -8*a + 27. Solve b*l = 1 + 26 for l.
3
Let w(c) = 4*c**3 + c**2 - 12*c - 6. Let g be w(3). Solve 25*x - 10*x = g for x.
5
Let z(p) = 844*p - 822. Let w be z(1). Solve 54 + w = -38*k for k.
-2
Suppose 2*m = -4*d + 58, 2*m = -3*d - 9 + 70. Suppose -26 + m = 9*i. Solve -7 + i = 2*r for r.
-3
Let j be 3/12 + 195/52. Suppose -27*a + j = -25*a. Solve b + 12 = -a*b for b.
-4
Suppose -73*k = -74*k + 6. Let s(v) = 31*v**2 - 185*v. Let g be s(k). Solve 0*o - 24 = g*o for o.
-4
Suppose -2*g + 2*v = 2, -3*g + 5*v - 10 - 1 = 0. Let c(d) = -d**2 + 49*d - 130. Let f be c(3). Solve l + f = g*l for l.
4
Let u(c) = -4*c**2 + 35*c - 17. Let d be u(5). Solve -20*p = d + 22 for p.
-4
Let c = 5 + -3. Let m = -41822 + 41823. Solve -m + c = v for v.
1
Let v be (-215)/(-7)*220/275 - (-4)/(-7). Solve -541*i = -533*i - v for i.
3
Suppose 0 = -5*x - 3*u + 66, 10*u = 4*x + 5*u - 38. Let a be ((-1)/(-2))/((-4)/(-32)). Let h = 