= -t*p - 3 for p.
3
Suppose 44*n - 43*n = -2*w - 3, 3*w = -n - 6. Solve 219 - 201 = n*q for q.
6
Suppose 74*o - 20 = -v + 78*o, 4*v = 4*o + 20. Solve 17*k + 0*k + 17 = v for k.
-1
Let u be (-458)/(-8) - ((-85)/(-20) + -4). Solve 0 = -7*y - u + 85 for y.
4
Let c(b) = 37*b + 92. Let p be c(-3). Let l(i) = -7*i - 133. Let y be l(p). Solve 0 = -h - y*h + 1 for h.
1
Let q be 2 + -1 + (-36)/(-6) + 458. Let g be (q/(-10) + 4)*2. Let c = g - -85. Solve 5*a - 7 - 8 = c for a.
3
Let t = -10 + 12. Let j(f) = 2*f**3 - 2*f**2 - f - 1. Let y be j(t). Suppose y*q - 30 = -0*q. Solve q*o = o for o.
0
Let l be (426/44 + (-44)/242)*14. Let b = l + -118. Solve q + 2*q = -b for q.
-5
Let o = 62 - 62. Let t = 43 - 27. Suppose 3*f - t + 4 = o. Solve -3*u = -f*u for u.
0
Let m be 86/1333 - 7/((-434)/7002). Solve m*f - 144 = -31 for f.
1
Let i be 0/((-55)/(-5) - 9). Solve i = 4*a + 5 - 21 for a.
4
Let p = 1453 + -673. Let g be (-5)/(-1)*13*24/p. Let n(k) = -k**3 - k**2 + k. Let l be n(0). Solve l*x - x + g = 0 for x.
2
Let t be (-3)/6*1/((-1)/206). Suppose 8*g + 12 = r + 4*g, -t = -4*r + 5*g. Suppose 2*c - 20 = 2*d, d = -5*c + 100 - r. Solve 5*o = -c + 28 for o.
3
Suppose 3*n = f + 2, 0*n - 2*n + 5*f - 16 = 0. Suppose -4*v = -j - 4, v + 12 = n*v - 3*j. Solve -z = -v*z for z.
0
Suppose 51 = i + 4*u - 8, 0 = -5*i + 5*u + 195. Solve 34*k + i = -59 for k.
-3
Let s be 1/4 + 247/52. Suppose -20 = -3*c - c. Suppose c*w = -0*w + 30. Solve s = i - w*i for i.
-1
Let b be (-26)/(-6)*144/312. Solve 0 = -4*a - b*a - 6 for a.
-1
Let j(c) = 3*c**3 - 18*c**2 + 7*c + 3. Let f be j(6). Solve -4*w + 17 = f for w.
-7
Suppose 0 = 5*g + 3*y + 6, -4*g + y - 6 = -3*g. Let b be 3*(-5)/((3 + 6)/g). Solve 26*t = 21*t - b for t.
-1
Let f = 687 - 1050. Let n = f + 376. Solve -16*b + n*b + 6 = 0 for b.
2
Suppose l = 189*v - 188*v - 7, -5*v = -4*l - 30. Solve 32 - v = 10*x for x.
3
Suppose -8 = 4*l, -13*c - 5*l + 5 = -10*c. Suppose -c*q = q. Solve 3*k + q*k + 12 = 0 for k.
-4
Suppose -4*b + 340 = 4*t - 8*b, -2*b + 103 = t. Solve -5*n + t = -18*n for n.
-7
Let n be 10/4*((-84)/(-60) - -1). Suppose -w = 2*w - 18. Let l = w - n. Solve l = 2*v - v + 3 for v.
-3
Let r(c) = -4*c**3 + c - 3*c**2 + 3*c**3 + 6 + 4*c. Let n(y) = -14*y**2 - 305*y + 62. Let t be n(-22). Let j be r(t). Solve -j = -w - 1 for w.
1
Suppose 5 = -y - 5*v - 10, -2*y = -5*v + 30. Let w(o) = o + 12. Let j be w(y). Let g be (j - -1)*(-3 - -2). Solve -g = 5*k - 7 for k.
1
Let o = 40 + -35. Suppose 9 = o*d - 2*d. Let b = -205 - -215. Solve d*w = -2*w + b for w.
2
Let l be 84/(-39) - (-14)/91. Let p be (-5)/(5/(-12)) - (-2 - l). Solve -8*c - 8 = -p*c for c.
2
Let j(q) = q**3 + 32*q**2 - 67*q + 96. Let b be j(-34). Solve 74*c - 48 = b*c for c.
4
Let c = 136 - 21. Let w = -100 + c. Solve 12*a = 17*a + w for a.
-3
Suppose -81*v + 36 = 21 + 15. Solve 23*w - 17*w + 18 = v for w.
-3
Suppose -109*i = -2*k - 112*i + 16, -9*i + 8 = -2*k. Solve -15*y = k*y - 140 for y.
7
Let q(m) = m - 4. Let b be q(6). Suppose 3*n - w + 4 = -54, -b*w - 115 = 5*n. Let z = n + 21. Solve z = 2*p + 3*p for p.
0
Suppose 3*u + 4*s = 531, -u - s + 357 = 180. Solve -166*n + u*n = -99 for n.
-9
Suppose 15*o - 12*o = 3*g - 198, -2*o = 2*g - 108. Solve -54*q + 24 = -g*q for q.
-4
Let o be (-10 - -28)/(5*15/25). Let k be -3 + (4 + -2 - -1). Let r be (k/(-2))/2 - -3. Solve r*d + o = -3 for d.
-3
Let a = 9 + -10. Let h(u) = 9*u**2 + 7*u + 5. Let b(g) = -4*g**2 - 3*g - 2. Let d(p) = 7*b(p) + 3*h(p). Let k be d(a). Solve 3*r - 4*r = k for r.
0
Let l(k) = k**2 - 18*k - 56. Let q be l(-7). Suppose -q = -d + 3*d - 3*i, -5*d + 3*i = 302. Let z = d - -63. Solve -25 = -z*b - 3*b for b.
5
Let n = 46 + -43. Suppose 0 = -n*a - 14 + 95. Let u be 12/a*1/2*9. Solve 5*j = -7 + u for j.
-1
Let t(h) = -3*h**2 + 77*h + 29. Let z be t(21). Let c be (-156)/(-38) + (-34)/z. Solve g - 9 = -c for g.
5
Let v be (-1 + -2)/9*(0 - 21). Let p = -5 + v. Solve -2 = p*s + 8 for s.
-5
Let a = 168 - 118. Suppose -h - 4*h - 4*s = -a, 0 = -2*s + 10. Suppose h*d = 35 - 11. Solve 0 = -d*o + 15 + 1 for o.
4
Let h be (-42)/(-3) - (-18)/9*-1. Solve -h*f = -3*f - 16*f for f.
0
Let w be (-2)/(-15) + 49837/285. Let i = 189 - w. Solve -6*h + 2 = i for h.
-2
Suppose -597 - 328 = -5*a - 3*g, 4*g = 10*a - 1850. Solve 42*l - a + 59 = 0 for l.
3
Let j = 15 - 23. Let v = j - -11. Let a = -2558 + 2559. Solve -v*u - 7 = -a for u.
-2
Let k(n) = -n**3 - 4*n**2 - n - 4. Let l be k(-3). Let x = l + 10. Suppose 0 = 6*j + 657 - 693. Solve x = -11*g + j*g for g.
0
Let t be 19 - (-40 + 41)*(-2 - -1). Solve -2*g = -6*g - t for g.
-5
Suppose 3*p - 15 = -0*p. Let z(o) = o**2 - 3*o. Let s be 1*((-14)/(-2) - 4). Let k be z(s). Solve k*r - 25 = p*r for r.
-5
Suppose -x = x, 4*x = 5*n - 175. Suppose -n*f = -36*f. Solve f = 2*a - 0*a - 8 for a.
4
Let p be ((-5)/(35/4))/((-6)/(-21)). Let h be 0*(-1)/(-9)*(-1 - p). Solve h = -z + 4*z - 9 for z.
3
Let s = 434 + -432. Let j = 9 - 3. Solve -j*y - 12 = -s*y for y.
-3
Let n(u) be the first derivative of 5*u**4/4 - 5*u**3/3 + 3*u**2/2 - 2*u - 33. Let r be n(3). Solve -96 + r = -j for j.
-1
Let y be 1 + 17 - (3 + 2). Suppose -y*m + 6 = -10*m. Solve 0 = m*k - 8 + 4 for k.
2
Suppose -7*x + 58 = -901. Let d = x + -123. Suppose 11*w = 4*w + d. Solve 0*m = w*m for m.
0
Suppose 4*k + 969 = -591. Let l be 1/8 - k/80. Solve 0 = -0*g + l*g for g.
0
Let y(j) = 30*j + 4532. Let o be y(-151). Let x(t) = -3*t. Let n be x(-1). Suppose -n*v - 2*b = -40, -o*v + b + 58 = 3*v. Solve -v = -2*s - 2*s for s.
3
Suppose 36*d - 5*q = 34*d + 45, -3*d = 2*q - 96. Solve d = 23*t - 8*t for t.
2
Suppose 171*h - 152*h = 2185. Solve 2*k + 21*k = -h for k.
-5
Suppose -80 = 8*j - 4*j. Suppose -89 - 46 = -5*w. Let c = w + j. Solve 0 = -3*g + c + 2 for g.
3
Suppose 5*p = 5*i - 10, 2*i + 2*p - 7 = -3. Suppose i*z - r + 13 - 33 = 0, z - 5*r = 19. Solve 6*a + z = 3 for a.
-1
Let a be 58/87*((-6)/4)/1. Let c be (0*a/2)/((-6)/(-2)). Solve c = 3*q + 1 - 16 for q.
5
Let q(h) = 3*h + 31 - 62 - h - 2. Let k be q(22). Solve -3*c + 17 - k = 0 for c.
2
Let o(f) be the first derivative of -11*f**2/2 - 10*f - 86. Let t be o(-2). Solve -45*q + 48*q = t for q.
4
Suppose -19*q + 14*q + 50 = 0. Suppose 5*l = -q*l + 60. Solve 18 = -5*f - l*f for f.
-2
Let w = 1 + -8. Let d(l) = 14*l**2 + 19*l + 11. Let r(v) = -17*v**2 - 20*v - 12. Let x(c) = 5*d(c) + 4*r(c). Let g be x(w). Solve 0 = -g*b - 3*b + 6 for b.
2
Suppose -30*o + 209 = -2*o - 239. Solve -o*b = 3191 - 3063 for b.
-8
Let x = -643 + 332. Let t = x - -323. Solve -6*b = -0*b + t for b.
-2
Let n be 20/(-150) + (-8 - (-16184)/105). Solve n*r - 165*r - 114 = 0 for r.
-6
Let u be 2 + (-3)/(3/(-2)). Suppose 4*i = -6 + 162. Suppose -g = -47 + i. Solve u*r - g = -0 for r.
2
Let v(f) = -235*f - 3200. Let n be v(-14). Solve -15*l = 3*l - n for l.
5
Let h be (-6)/(-1) - 6/(-10)*-5. Let c be -1 - h*(-6)/3. Suppose c*y - 10 = 3*y. Solve -y*v + v = -12 for v.
3
Let a(l) = l**3 + 20*l**2 - 55*l - 1403. Let p be a(-19). Solve 0 = p*o + 24 - 39 for o.
5
Let v = 23783 + -23783. Solve v = -18*k - 62*k for k.
0
Let z = -420 + -345. Let q = -761 - z. Solve -3*g = -q*g + 5 for g.
5
Suppose -4*q = 3*d + 2, 4*q + 3 + 1 = -2*d. Suppose 8*r + 10 = 58. Suppose 3 = -5*f + r*f. Solve -u - d*u = f for u.
-1
Let p = 35 + -31. Suppose 0*k + 2*k = -p*k. Solve -x + 6 - 8 = k for x.
-2
Let d(u) = 303 - 52*u - 50*u + 91*u. Let g be d(27). Solve -8*j + 14 = g*j for j.
1
Let u(c) = -4*c - 101. Let s be u(-26). Suppose 1 + 20 = s*r. Solve 15 = -r*t + 12*t for t.
3
Suppose -5*p = c - 107, 4*p = 4*c + 10 - 342. Solve -3*j = 72 - c for j.
5
Suppose -122*b + 897 = -1909. Solve 0 = b*r - 17*r + 36 for r.
-6
Let q be (-2 - (0 + -6)) + 3. Let u(i) = -i**3 - 5*i**2 + 8*i + 3. Let x be u(-6). Let h be x*(4/6 - 1). Solve q*t - h*t = 8 for t.
2
Let c be -5 + -1*520/(-8). Suppose 9*w + 6*w = c. Solve 3*u + w + 2 = 0 for u.
-2
Let c(y) = y**2 + y - 29. Let a(o) = 2*o**2 + 13*o + 17. Let b be a(-5). Let u be (b/4)/((-155)/(-50) + -3). Let g be c(u). Solve 4*l - 3 = g for l.
1
Let h be (88/(-77))/(6/(-21)). Let x be h - (2 - 6 - -2) - -2. Solve 0 = -x*w + 16*w for w.
0
Suppose 5*i - 73*u - 55 = -68*u, 2*i = u + 20. Solve -i*b - 596 + 623 = 0 for b.
3
Suppose 3*s - 2*g = -s + 8, 4*s = 3*g + 4. Suppose s*t + w + 77 = 0, 0 = -3*t - 3*w - 0*w - 51. Let d