 5 = -p*d for d.
-4
Suppose -5*p - 4*j + 352 = 0, 689*p - 2*j + 336 = 694*p. Solve p - 97 = -11*o for o.
3
Suppose -33626 = 19*t - 33664. Let a(z) = -6*z - 5. Let s be a(-5). Suppose q = 2 + 1. Solve t*d + s = -q*d for d.
-5
Let r(j) = -11*j + 9. Let o be r(-5). Suppose 0 = 2*m + 2*d - o, -3*d = -0*d - 9. Suppose 21 = -4*k + m. Solve -3 = -k*z - 5 for z.
-1
Suppose -r - 2110 = -2233. Solve -r*w = -121*w - 4 for w.
2
Let i be 48 - 7 - (1 - 2). Suppose 2 - i = -4*g. Let n(b) = 6*b - 16. Let p be n(3). Solve p*h + 2 - g = 0 for h.
4
Let b = 293 + -605. Let n = b + 315. Solve n*l + 4 + 5 = 0 for l.
-3
Let m(i) = i**3 + 9*i**2 + 50*i + 159. Let t be m(-5). Solve -t*u - 7*u - 80 = 0 for u.
-5
Let b = 84 + -79. Suppose 2*q = -b*q + 14. Let r be 1/q - (-33)/22. Solve r*s = 8 - 6 for s.
1
Let t = -192 - -195. Suppose 4*s - p = p + 34, t*p + 44 = 5*s. Solve -2*c = s + 1 for c.
-4
Let n = 53 + -52. Let i = 11 - n. Suppose i = 26*g - 25*g. Solve -d - d = -g for d.
5
Let q = 8 - 4. Let g = -45803 - -45808. Solve t + g = q for t.
-1
Suppose 4*j = -4*r + 72 + 328, -j + 3*r = -92. Let b be (-112)/j - (-40)/35. Solve 7*x - x - 12 = b for x.
2
Suppose -2*h = d + 11 - 51, -4*d + 70 = 3*h. Suppose 0 = h*w - 153 - 225. Solve -w*a + 19*a = 8 for a.
-4
Let q be 58/(-1)*9*5/(-15). Solve -13*s - 16*s = -q for s.
6
Let k(b) = -b**2 - 14*b - 10. Let x be k(-13). Let w be x - 5*(-6)/(-30). Solve -w*i - i - 12 = 0 for i.
-4
Let z = -111 + 110. Let i be (-6)/(-48)*6*8 + z. Solve i + 30 = -7*r for r.
-5
Let s(a) = a**3 + 36*a**2 + 35*a + 6. Let m be s(-35). Solve 0 = -m*z + 289 - 289 for z.
0
Let o(s) = -2691*s + 596. Let b be o(0). Solve 542 - b = -6*z for z.
9
Suppose 65 = 5*q - 2*x - 2*x, -26 = -2*q - 2*x. Suppose -17*s = -q*s. Suppose -10*r + 33 = -37. Solve s = 3*t - r*t for t.
0
Suppose 3*f + 129 = -2*y - y, -40 = y - 2*f. Let g(i) = -i**2 + 22*i + 26. Let t be g(21). Let n = t + y. Solve 3*d + 10 = n*d for d.
5
Let t = -2942 + 2945. Solve 0 = -2*p - 1 - t for p.
-2
Let c = 3617 + -3552. Solve 89*y = c*y - 96 for y.
-4
Let l be 2581/534 + 11/66. Let b be -3*(-8)/18*6. Suppose -2*a - 2*a + b = 0. Solve a*n + l = 1 for n.
-2
Let t = -86 - 8. Let o = t - -94. Let h be (-3 + o)/(4 + (-7 - -2)). Solve 0 = h*x - x - 10 for x.
5
Suppose 0 = -b - 1, 4*b + 25 = m - 0. Let l be (10/(-4))/(1/(-10)). Let k = l - m. Solve k = -0*i + 2*i for i.
2
Let j(q) = -63*q - 693. Let z be j(-11). Let a = -17 - -28. Solve z = 3*y + 1 + a for y.
-4
Let h be (1 - (-3)/12)/(18/288). Solve -15*k = -11*k + h for k.
-5
Let u(x) = 3*x**2 + 46*x + 19. Let n be u(-15). Let p be 0 - (0 + (0 - 25)). Suppose 5*w = -j - 10, 0 = -j + 2*w + 2*w + 8. Solve j = o + n*o - p for o.
5
Suppose -3*d = -2 - 1. Let i = -1899 - -1903. Solve -i*w + d = 5 for w.
-1
Let k = -29810 - -29820. Solve -4*h - k*h = -14 for h.
1
Suppose 4*w - 648 = -8*w. Let i = 56 - w. Solve i*x + 2 = -2 for x.
-2
Let k = 348 - 352. Let n(y) = -12*y - 33. Let f be n(k). Solve 0*o + f = 5*o for o.
3
Let l be (-1 - 1) + -1*(-83 - -5). Let o = 78 - l. Suppose -2*u - 5*c = -40, 2*u - 41 + 1 = 5*c. Solve -o*y - 2*y = -u for y.
5
Let u(s) = -s**2 - 11*s + 375. Let o be u(14). Solve -24 = -o*p + 37*p for p.
-2
Suppose -3*c = 4*f + 483 - 1898, 0 = 3*f - 3*c - 1035. Let o be f/100*((-4)/(-7) - 0). Solve -3*g = 14 - o for g.
-4
Suppose 4*g = q + 49, -43 = -3*g - 2*q + 4*q. Let l(m) = m**2 - 33*m - 76. Let j be l(-2). Let c be (j + g)*(1 + 0). Solve 2*o = c - 1 for o.
2
Let t(o) = -40*o - 1306. Let b be t(-37). Solve b = -12*f + 41*f for f.
6
Let j = 14674 + -13137. Solve -1467 = 14*t - j for t.
5
Let j be ((-3)/6)/(66/(-4488)). Solve 0 = -6*f + j*f + 84 for f.
-3
Let q = 2493 - 2475. Solve -q*y + 7 + 11 = 0 for y.
1
Suppose 29 = 4*z - 3*v, -5*z = 2*v + v - 16. Let a be 1/(3*z/60). Solve 8*u = a*u for u.
0
Let v = 28 + -18. Suppose 7*x + 144 = v*x. Let s = x - 45. Solve -5 - 1 = -s*w for w.
2
Let i be 67 + ((-20)/15)/((-12)/126*-7). Solve 60*w + 15 = i*w for w.
3
Let k = 13693 + -12860. Solve -k = 8*c - 857 for c.
3
Suppose -8*l - 207 = -5*l. Let g = 156 + l. Let q = 89 - g. Solve -m = -q*m for m.
0
Suppose v = 5*w - 23, -236*w - v = -231*w - 17. Suppose 0*p - 14 = -p. Solve p = -11*o + w*o for o.
-2
Suppose -55 = -52*c + 89 + 480. Let x = -5 + 8. Solve c - 3 = x*m for m.
3
Let q = 328 + -326. Suppose 3*i + 28 - 31 = 3*p, 5*p - q*i - 1 = 0. Solve -p = -12*r + 11*r for r.
1
Let x = 51 + -43. Let h be 12 + 12 - x/2. Solve 5 - h = -5*r for r.
3
Let v(b) = -6*b - 1. Let g be v(-1). Suppose 0 = 2*n - 2, -s + 4*n = 4*s + 4. Suppose q = 2*d + 11, s = -0*q - 3*q + 5*d + 28. Solve -4*w = g - q for w.
-1
Let i(o) = 3*o**2 - 2*o**3 + o**3 - 2 + o**2 - 16 + 15*o. Let m be i(6). Solve -6*g + 9 - 3 = m for g.
1
Let l = -4903 + 5053. Solve 146*v = l*v + 16 for v.
-4
Let c(f) = -7*f**2 - 10*f - 24. Let p(j) = -13*j**2 - 42 + 10 - 20*j + 0 - 16. Let t(q) = -11*c(q) + 6*p(q). Let g be t(-6). Solve -5*z + 5 + 5 = g for z.
2
Let x = -185 - -201. Suppose 4*k - 4 = 3*w + 2*w, w = 0. Suppose -2*v + 5*d = 1 + 4, 3*v - k = -d. Solve v*j - x = -4*j for j.
4
Suppose -2*x = -4*v - 12, 2*v + 11 = 3*v + 3*x. Let i be 6*(v + (1 + 3)/(-4)). Let f(o) = o**2 + 11*o - 4. Let r be f(i). Solve -5*w + 12 + r = 0 for w.
4
Let f = -1 - -1. Suppose -3*n = -3*w + 15, -3*w - 93*n = -94*n - 11. Solve w*z = -f*z for z.
0
Suppose -8*x = -4*x + 152. Let a be 36/54 - x/6. Suppose -a*y = -26 - 9. Solve 0 = y*w - 13 - 2 for w.
3
Let u(y) = y**3 - y**2 + y + 5. Let s(v) = 2*v**2 + 18 - 4*v + 13*v - v**2 + 2*v. Let t be s(-9). Let l be u(t). Solve 3 = -l*c + 8 for c.
1
Let i(y) = 100*y + 2720. Let o be i(-26). Solve -o*x + 128*x - 32 = 0 for x.
4
Let z(u) = -u**3 - 2*u**2 + u - 1. Let t be (-17)/51 + (-2)/(-6). Let r be -1 + t - (-6 - -8). Let c be z(r). Solve 8 = -c*d - 12 for d.
-4
Let x(f) = -2*f - 131 + 63 + 65. Suppose -u - 5*y = u + 1, 4*u + 4*y = -8. Let h be x(u). Solve -h = m - 2*m for m.
3
Let b be 2/(-8) + 2/8. Let t be 51 + -7 - (2 - 1). Suppose 3*s - t = 5. Solve -s = -b*d - 4*d for d.
4
Suppose 0 = -4*h + 14*i - 10*i + 36, -3*h + 4*i + 32 = 0. Solve -h*q - 7*q = -77 for q.
7
Let c(u) = -u**2 - 17*u - 1. Suppose -4*r = -5*g - r - 92, -2*g + r - 36 = 0. Let b be c(g). Solve 3 - b = -4*x for x.
3
Suppose -2*w + 3*w = -5*f + 39, 5*f - 4*w - 44 = 0. Suppose -4*y = 2*y - 78. Suppose -y + 9 = -2*o. Solve 2 = -o*u - f for u.
-5
Suppose y + 2 = 4. Let n be (8/10)/((-99)/(-45) - y). Solve -3*i = -5*i + n for i.
2
Let f be (591/591)/(1 + -2 - (-45)/44). Solve 71 = -23*c - f for c.
-5
Let b be ((-12)/(-20))/(6/30). Suppose -b*y = 4*y - 11*y. Solve y = -5*p - 18 + 43 for p.
5
Let h = -14 + 54. Let i be (-24)/h - (-17)/(-5). Let z = i - -22. Solve -3*o + 3 - z = 0 for o.
-5
Suppose 0 = 23*u + 92 - 4324. Let n = -182 + u. Solve 0 = m - n*m for m.
0
Let t(a) = -a**3 + 6*a**2 + 10*a - 13. Let h(i) = i**3 + 9*i**2 + 7*i + 1. Let c be h(-8). Let k = 16 - c. Let b be t(k). Solve -b*l + 3*l = 15 for l.
-3
Let o(p) = 2*p - 5. Let u(b) = b - 1. Let k(a) = o(a) - 3*u(a). Suppose 5*y + 18 = 3*y + 2*h, 4*h - 20 = 0. Let i be k(y). Solve w = -i - 3 for w.
-5
Suppose -t + 70 = -3*u, 4*u - 4*t - 5 = -85. Let m(h) = 5*h**2 + 125*h + 16. Let c be m(u). Solve -5*b + b - c = 0 for b.
-4
Let s(d) = d**2 + 5*d + 4. Let t be s(-6). Let q(f) = -f**3 - 5*f**2 - 6*f - 28. Let u be q(-5). Solve 0 = -2*n - t + u for n.
-4
Suppose 47*d + 37*d = 305 + 3055. Solve -23*s = -28*s - d for s.
-8
Suppose 0 = -5*h - x + 17524, -5*h - 25*x = -21*x - 17551. Solve -8*p + h - 3567 = 0 for p.
-8
Suppose -9*b = -14 - 4. Let g = b + 0. Suppose -10 = -g*z - f, z + 0 = 3*f - 2. Solve 4*j + 12 = -z for j.
-4
Let a(r) = 2*r**2 + 70*r - 1018. Let s be a(12). Solve -119*i = -s*i for i.
0
Let w = -253 - -241. Let x be -1 + (-7)/(-2) + 6/w. Solve z = -x*z for z.
0
Let o(k) = k - 4. Let v be o(6). Suppose 2*w + 5*j - 22 = -24, 5*w + 2*j - 37 = 0. Suppose s + n = 5, n - 2*n = v*s - w. Solve 0*z - 4*z = -s for z.
1
Suppose 0 = -s - 4*i + 11, 2*s + 0*i - 18 = -4*i. Solve -r - s*r + 18*r = 0 for r.
0
Suppose -10126 = -109*y + 37*y - 94*y. Solve y*x - 74*x - 13 = 0 for x.
-1
Suppose 2 = -4*k + 26. Let o be k/42 + (-100)/(-35). Solve -6*j + o*j = 6 for j.
-2
Let r = -352 + 355. Let k(x) = 11*x - 33. Let o be k(r). Suppose -2*s + 8 = 2*z, -s = -5*z - 0*s + 