7*m + 86. Let c be z(12). Let o be f(c). Solve -u = o*p + 5 for p.
-5
Let d = 371 + -368. Suppose -y = -h - d*y + 16, -2*h - 5*y = -37. Solve -h = -0*r + 3*r for r.
-2
Let b be 456/21*(26 - 30)*21/(-24). Solve 32*m = -b - 84 for m.
-5
Let r = -577 - -571. Let k be 7/r*((-165)/15 + 5). Solve 3*p + k = 10 for p.
1
Suppose -2*w - 33 = -3*x - 2*x, 2*x - 30 = 5*w. Suppose -3*q + 16 = -2*i - 2*i, x = q - i. Solve -4 = q*o - 0 for o.
-1
Let n(t) = t**3 + 7*t**2 - 7*t + 8. Let k be -1*(-1 - 1) + -10. Let p be n(k). Suppose 17*i - 116 = -37*i + 25*i. Solve 2*l + p*l = i for l.
2
Suppose 1647 = -366*b + 7869. Solve -197 = 20*c - b for c.
-9
Let w(x) = 253*x**2 - 24*x - 23. Let v be w(-1). Let y = 264 - v. Solve y - 5 = o for o.
5
Let l(b) = 91*b + 5029. Let r be l(-37). Solve -r*j + 81 = -1671*j for j.
-9
Let k be (-541)/((2*1)/(-12 + 10)). Let l = k - 530. Solve -51 = -l*f + 4 for f.
5
Let u(f) = -4*f - 14. Let g = -115 + 111. Let i be u(g). Let l = -2 - -2. Solve l = -m + i*m - 4 for m.
4
Suppose 4*y + 3*b - 28 = 0, y + 3*b - 1 = -3. Suppose -y*z - 93 + 273 = 0. Solve 5*s + 7 + z = 0 for s.
-5
Suppose n = 2*s - 16, -2*n - 3*s - 64 = 2*n. Let m = n + 19. Solve m + 17 = 5*x for x.
4
Suppose 18*h + 19 = 4 + 141. Solve 0 = -h*m - 1 - 41 for m.
-6
Let u(c) = 2*c**2 + 24*c - 21. Let q be -13 - 0*(-6)/24. Let x be u(q). Solve 0 = b + x for b.
-5
Let p = 5 - -121. Suppose -5*g + 151 - p = 0. Solve -g*k - 9 = -24 for k.
3
Let k(u) = -28*u + 8. Let g be k(3). Let w be -4 - g/18 - 64/(-36). Solve 0 = 2*t + w*t + 20 for t.
-5
Let d = 1282 + -1255. Solve 2*u = d - 21 for u.
3
Let b(j) = j**3 - 25*j**2 + 45*j + 26. Suppose -16*t - 6*t = -506. Let q be b(t). Suppose -5*y + 0*y + 5 = 0. Solve -y = 4*v + q for v.
-1
Suppose 362 = -7*t + 23*t + 26. Solve 25*o = -t*o - 368 for o.
-8
Let l(j) be the second derivative of j**5/20 - j**4/3 + j**3/6 + 7*j**2/2 + 9*j + 1. Let n be l(3). Solve 6*h - 7 + n = 0 for h.
1
Let y(l) = -l**2 + 46*l + 147. Let a be y(49). Solve -3*q + 76 - 70 = a for q.
2
Let x = -25 + 27. Suppose -x*g = -6*g + 8. Suppose g*c - 15 + 1 = 0. Solve 0 = -5*a + c - 17 for a.
-2
Let k = -4167 + 4187. Solve k*d = -5*d for d.
0
Suppose 82*m - 2428 - 11038 = -1494. Solve 150*k = m*k + 12 for k.
3
Suppose -4*k = -3 - 5. Suppose 2*w - 16 = n, w - 32*n + 1 = -33*n. Solve -13 - k = w*y for y.
-3
Let w(s) = s**2 - 36*s - 182. Let k be w(41). Solve 0 = -k*q - 115 - 0 for q.
-5
Let k(t) = 4*t**2 - 12*t + 24. Let a be k(2). Let s be 120/a - 2/4. Solve -6*q + s*q = 2 for q.
2
Let c(s) = 4*s**2 - 104*s + 943. Let y be c(12). Solve 67*x = -131 - y for x.
-6
Let w = 560 + -536. Suppose -10*c + w*c = 112. Solve 3*m + c = m for m.
-4
Let c = -4728 - -4736. Solve -27 - c = 5*r for r.
-7
Let s be 2/1 + -1 + 3. Let w(f) = 13*f - 63. Let j be w(6). Suppose 0 = -2*o + j + 33. Solve s = 5*c + o for c.
-4
Let o = -435 - -477. Suppose 5 = 3*n - 4. Let x be 17/n*(-3)/(-1). Solve -5*b + x - o = 0 for b.
-5
Suppose -2*b + 32 = 26. Suppose 0 = -t - 2*h + 4, -t - b*h + 1 = -1. Solve t*f - f = 14 for f.
2
Suppose 3*v + 8 = 4*v. Let b be (-6)/(-8)*((-32)/8 + v). Let p be 5 - (-2 + b) - -4. Solve 3*h = 2 - p for h.
-2
Suppose -3*k + 15 = 2*k - 5*i, 1 = -i. Let w be 1/(-16)*-76*16/(-2). Let j be -7 + 1 + 1 + 47 + w. Solve -3*l - k = -j*l for l.
2
Suppose -228 + 32 = -j. Let o = j + -192. Solve -20 + o = 4*z for z.
-4
Let x be 0 + (-1)/8 - 1850/(-592). Solve x*c = -141 + 129 for c.
-4
Let v(m) = -m**3 - 17*m**2 + 81*m - 63. Let i be v(-21). Solve 2*o + 4 = -i*o for o.
-2
Suppose 4*k = 4*u, -2*u - 4 = k + 11. Suppose 2*l - 20 = 2*y - 2, y = -5*l + 21. Let b = k + l. Solve -2*t - 4 - 4 = b for t.
-4
Let j be (2/10)/((-4)/(-11 + -69)). Solve j*i + 15*i = 0 for i.
0
Let y be -5*(8 + 357/(-35)). Suppose 12*i - y = 37. Solve -x + 7 = i for x.
3
Let r(h) be the first derivative of -h**3/3 + 7*h**2 - 12*h - 7. Let o be r(13). Let m be (6 - o - 5)/2. Solve m = d - 2*d for d.
0
Let k(j) = -2*j + 226. Let p be k(-22). Solve -89*v = v - p for v.
3
Suppose -5*b = 4*l - 41 - 65, 5*b - 98 = -2*l. Let x be 2*11 + b/(-6) + 2. Solve x = 4*f + 5 for f.
4
Let v = -4808 - -4808. Solve v = -8*o - 206 + 246 for o.
5
Let d(f) = 47*f**2 - 18*f - 33. Let j be d(-2). Let x = j - 188. Solve 2*v - x = -5 for v.
-1
Suppose 2*b + 666 = 3*x, -14*b + 19*b = -3*x + 645. Let l be 20/x + 3/(-33). Solve d + 18 - 18 = l for d.
0
Let l = -515 + 518. Suppose -2 = -h + 10. Solve -3 = -l*i - h for i.
-3
Let j(s) = 5*s - 54. Let l be j(12). Suppose 3*u - 6*u = -l*u. Solve -3*a + 6*a = u for a.
0
Let u(b) = 99*b - 68. Let o be u(-4). Let n = o + 483. Solve -4*v - n = -7 for v.
-3
Let l(m) = m - 4. Let a be l(7). Suppose a*s = -v - v + 15, -v = s - 5. Let k be (2*(-66)/(-12))/(-33 + 34) - 6. Solve k*g - 14 - 11 = v for g.
5
Let u(x) = 6*x + 152. Let v be u(-25). Let p = -19 + 22. Suppose -p = 6*j - 21. Solve -v = j*n + 1 for n.
-1
Suppose 0 = -13*i + 77 + 40. Suppose -i*h + 49 = -77. Solve 3*j - 2 = -h for j.
-4
Let h(r) = -r**3 - 16*r**2 + 15*r - 37. Let g be h(-17). Let n be (-22 + 25)*(1 - g/(-9)). Solve -2*b = -8 - n for b.
5
Let p(q) = q**2 - 2*q - 7. Let n be p(5). Suppose -5*i + 508 - 511 = -j, 3*j - 5*i - 9 = 0. Solve -j*m + 1 = -n for m.
3
Suppose -32 = 9*k - 25*k. Suppose k = -q + 4. Solve r = -3 + q for r.
-1
Suppose -19 + 13 = -3*u. Let t(x) = 7*x + 17. Let y be t(9). Let q be (y/14)/(10/35). Solve -3*d = u*d + q for d.
-4
Suppose -3876 = 36*w - 87*w. Solve -2*s + w = 17*s for s.
4
Let u be (-1)/6*-10*(48/(-20) + 6). Solve 0 = -2*z + u + 6 for z.
6
Let m(a) = -70*a - 5 - a**3 - 5*a**2 + 33*a + 42*a. Let o be m(-6). Let p be (o/2)/((-3)/(-6) + 0). Solve -k = -1 - p for k.
2
Let s(f) = -f**3 + 11*f**2 - 13*f + 3. Let x be s(10). Let i = 22 + -51. Let y = x - i. Solve r - y - 1 = 0 for r.
3
Suppose -2110*o + 2115*o = 35. Solve -18 = o*r - 4 for r.
-2
Suppose -50*j - 3857 = -7307. Solve -312*u - j = -289*u for u.
-3
Suppose 0 = 5*o - 122 - 63. Suppose 0 = -m + g + 6, 2*m + 5*g = o - 4. Solve 6*b + 15 = -m for b.
-4
Let p(f) = 2*f + 72. Let y be p(-36). Suppose y = -t + 385 - 373. Solve -2*s + t = -6*s for s.
-3
Let q be (-14)/1*(-22)/77. Let v = 15 - q. Solve 1 = -5*r + v for r.
2
Let f = -7919 + 8037. Solve 126*q = f*q + 24 for q.
3
Let v be (-5)/((-75)/80) - (-8)/12. Suppose 0 = v*s + 148 - 160. Solve 0 = -s*o + 8 for o.
4
Let k(f) = f**2 - 11*f - 4. Let q be k(12). Suppose -81*c - 35*c + 464 = 0. Solve -q = s - c for s.
-4
Let f be (-1)/(((-3)/(-12))/(-1)). Suppose -r + 50 + 77 = -f*p, -5*p = -4*r + 475. Let d = r + -103. Solve -5*l + l - d = 0 for l.
-3
Let q(u) = -20*u - 8. Let n be q(3). Let k = n + 21. Let x = k + 51. Solve 0 = x*t - 29 + 9 for t.
5
Let v be 1 - (-2)/(-14)*7. Suppose v - 1 = 4*y - z, -y = 4*z - 4. Solve 4*g = -y*g + 8 for g.
2
Suppose -3*t - 4*i + 10 + 4 = 0, -4 = t - 3*i. Let z be (0 - t)/(16/(-24)). Solve a - 4 = z*a for a.
-2
Suppose 2*x - 7*x = -2705. Let k = x - 534. Solve 9 = -4*l + k*l for l.
3
Let t = -214 - -212. Let u be -8*2*4/t. Solve -27 = -o - u for o.
-5
Let i be -9 + 8 - (-7)/1. Let h be ((i - 1)/(-5))/(2/(-50)). Let y = -23 + h. Solve -2*v - y + 6 = 0 for v.
2
Let z(h) = h**2 - 28*h - 65. Let x be z(30). Let y(t) = t**3 + 5*t**2 + 9. Let o be y(x). Solve -b = 2*b + o for b.
-3
Suppose -c - b = -1 - 0, 4*b + 20 = 4*c. Let p = 87 - 87. Let f be p + -4 + (-2 - -12). Solve 3*t = -f - c for t.
-3
Let o(c) = -26*c - 777. Let r be o(-33). Solve -81 = r*x + 243 for x.
-4
Let q = 41568 - 41568. Solve q = -25*h - 1 - 99 for h.
-4
Let n(h) = 7*h**2 - 7*h + 2. Suppose 0 - 5 = -f. Suppose -f*u - 4 = -14. Let m be n(u). Solve 0 = -0*w + 4*w + m for w.
-4
Let h(m) = -16*m + 4 + m**2 + 20*m**2 + 0*m**3 - 4*m**2 - m**3. Suppose 18*q - 295 + 7 = 0. Let b be h(q). Solve -b = -g - g for g.
2
Suppose 8*u - 70 = u. Suppose -3*w + u = -2. Suppose -3*r = -w*z + 54, z + 5*r + 50 = 5*z. Solve -j - 4*j = z for j.
-3
Suppose 2*u + 39 = 3*g, 7 + 6 = g - u. Solve -6*b = 7 - g for b.
1
Let q = -275 - -306. Suppose 0 = -18*k + 23 + q. Solve -6 = k*p - 0*p for p.
-2
Let m be 7*4 + 15/90*42. Solve 14 = -42*t + m*t for t.
-2
Suppose 0 = -k - 14*k + 4*k + 66. Solve -k*r = 9 - 33 for r.
4
Let s(q) = q**2 - 2*q - 3. Let b be s(5). Suppose 0 = -9*o + b*o. Let w be (1 + -5)/(o - 1). Solve -v - w = -0 for v.
-4
Suppose -3*