*z + 163, -2*z = 2*y - 64. Solve 44*p - 55 = z*p for p.
5
Let u be ((-253)/(-22) + -12)*0. Solve 0 = 15*x - u - 105 for x.
7
Let k = 833921 - 833912. Suppose f + 3*f = 8. Solve 0 = -f*y + 11 - k for y.
1
Let x(d) = -15*d + 18. Let p be x(4). Let u = p + 53. Suppose 0 = -2*t - 3*a - 5, -2*t + u = -2*a - 9. Solve t*s = -10 - 0 for s.
-2
Let v(u) = 42*u - 15. Let h be v(1). Let r be 3*117/h*1. Let m = -4 + 9. Solve -m*g - r = 2 for g.
-3
Let z(x) = x + 31. Let s be z(-25). Let o(k) = k - 6. Let m be o(s). Solve m = -2*u - 3 + 13 for u.
5
Let p = 55 + 19. Let a = p - 18. Suppose a = -v + 59. Solve 5 = -v*t + 2 for t.
-1
Let r(h) be the first derivative of -h**4/4 - 3*h**3 + 11*h**2 - 5*h + 1. Let f be r(-11). Let x(g) = g**2 + 6*g + 7. Let q be x(f). Solve q*c = 4*c for c.
0
Let t be (5/(-2))/(618/72 - 9). Suppose 3*s = 8*s + q - t, 3*q + 10 = -s. Solve -s*h + 7 + 1 = 0 for h.
4
Let u(s) = s**3 - 8*s**2 + 10*s + 10. Let q be u(6). Let w be (-24)/q*23/46. Solve 0 = 9*t - w*t for t.
0
Suppose -20*d + 67 = -15*d - 2*b, -4*d + 5*b + 40 = 0. Suppose 8 = 3*a - 64. Solve -19*y + d = -a*y for y.
-3
Let c(o) = -o**3 + 34*o**2 - 100*o + 237. Let u be c(31). Solve 97*x = 87*x - u for x.
-2
Let m = 2 - 15. Let g = m + 15. Let s be (3 - (-80)/(-24))/(g/(-24)). Solve -3*p = -11 - s for p.
5
Let x = -26076 + 26481. Solve -x + 552 = -21*y for y.
-7
Let k be (70/(-4))/7*(1 + -3). Suppose 8*o = 7*o - k*p + 19, -2*p = 4*o - 58. Solve -11*i - o = 8 for i.
-2
Let h be 2/5*(7 + -2). Suppose -4*n + 4 = -3*y, -h*y + 12 = 3*n - 8. Solve n*t + 1 = 5*t for t.
1
Let a(l) = l**3 - l**2 - l. Let w be a(0). Suppose -46 = -g - 5*j, 4*g - 3*j + 11 - 103 = w. Solve g - 32 = -3*m for m.
2
Suppose -4*l - 73 = 51. Let p = -38 - l. Let g(z) = 2*z + 18. Let t be g(p). Solve 0 = -t*f - 6 + 2 for f.
-1
Suppose -5*m = 14*m - 779. Suppose -8*h + m - 25 = 0. Let z(k) = k**2 - k - 2. Let j be z(-2). Solve -j*b = -h*b + 8 for b.
-4
Suppose -158*j = -160*j + 12. Solve 24*v = -54 + j for v.
-2
Let t be (-95)/(-5) + 0 + (-18)/(-2). Solve 137*b - 123*b - t = 0 for b.
2
Let h(t) = -t**2 - 17*t - 36. Let l be h(-8). Suppose l*f - 14*f = 242. Solve 2*o - f = -5 for o.
3
Suppose 0 = -2*j - 2 + 8, -3*q - 2*j + 30 = 0. Solve 0 - q = 4*l for l.
-2
Let a be (-115)/(-1)*(-1 - (-27)/15). Let y = -82 + a. Suppose -4*z - 24 = -y*z. Solve -2*w = z + 4 for w.
-4
Let j(p) = 23*p + 1682. Let q be j(-58). Solve q - 354 = -l for l.
6
Let g = 1764 - 1664. Solve -g*z + 104*z - 8 = 0 for z.
2
Suppose 0 = 2*d - 5*s - 6, -11*d + 14*d = -3*s + 72. Solve 51*l + d = 45*l for l.
-3
Let a = 73 - 58. Suppose -11*i = -14*i + a. Solve 7*k - 26 = -i for k.
3
Suppose -3*c - 35 = -2*o, 3*o + 25 = -2*o - 5*c. Let b(t) = t**3 - 4*t**2 - 4*t - 3. Let d be b(5). Solve -o*j - 6 - d = 0 for j.
-2
Suppose -5*c = -2*v - 2*v - 27, 5*c = 3*v + 19. Let x(l) = l**3 + 8*l**2 - 9. Let o be x(v). Let g be (-2)/o + 350/45. Solve g*q - 5*q = 0 for q.
0
Let k(t) = -t**3 + 25*t**2 - 45*t - 14. Let x be k(24). Let v = x - -532. Solve 0 = 21*u - v*u + 35 for u.
-5
Suppose 5*f - 20 = 0, 5*p = p + 2*f + 4. Suppose p = 4*w + 4*v - 13, -4*w + 18 = 5*v. Solve -z - w*z = -6 for z.
2
Let o(x) = -8*x**3 + 3*x**2 + 3*x - 2. Let b be o(-2). Solve 0 = -21*z + b + 16 for z.
4
Suppose 0 = -40*x + 458 + 22. Suppose 0 = -3*t + 5*t - 3*j + x, -3*t + 4*j = 16. Solve -4*c + c = t for c.
0
Suppose -7*p + 303 - 1143 = 0. Let r be 1 - p/2 - (-6)/6. Let u = -52 + r. Solve 4*d = 2*d - u for d.
-5
Let m be -6 - (-45)/9 - (0 + -1). Suppose 3*c - 4*x + 10 = m, -2*c + x + 6 = 3*c. Solve 0*q - 8 = -c*q for q.
4
Let o be (-9)/(-45) - 55/25. Let p be 4/((-8)/(-1)) + o/(-4). Solve p = 2*g - g for g.
1
Let q(h) = -474*h + 983. Let r be q(2). Solve r*g + 285 = -22*g for g.
-5
Suppose 31*z = 38*z + 3059. Let n = -429 - z. Solve -n = -6*x + 4*x for x.
4
Let w(l) = -68*l - 476. Let j be w(-7). Solve j = 5*v + 36 - 61 for v.
5
Suppose 3*n - 2*h = -1, -3*h = -9 + 3. Let o = 10 - n. Suppose o - 39 = -6*z. Solve -2*l - 1 = z for l.
-3
Let z = -131 - -132. Suppose -2*a - 27 = -3*m, z = 4*a + 4*m + 5. Let c = a - -7. Solve -5*g = -6 + c for g.
1
Suppose -5*k - 3*i = -77, 5*k = 2*i + 2*i + 49. Let u(b) = -b**3 - 6*b**2 + 2*b**2 - 325*b + 330*b. Let g be u(-5). Solve -4*m - 1 + k = g for m.
3
Let z(j) = 4*j + 10. Let f be z(-2). Suppose 2*d - 12 = 3*c, 2 = c - f. Let q be (-1)/((-2)/12)*d/18. Solve 0 = -4*i - q + 20 for i.
4
Let a = -299 - -299. Suppose g = 5*o + 20, -4*g + 80 = -a*o + o. Solve g*j = 25*j for j.
0
Let q(g) be the second derivative of -g**5/20 - g**4/6 - g**2 + 13*g. Let r be q(-3). Let l(p) = -4*p - 26. Let n be l(-7). Solve -n*f = -r*f + 20 for f.
4
Let j(k) = 5*k**3 - k**2 + 4*k - 4. Let g be j(1). Suppose 105 = 5*v - 3*s, -v + g*s + 17 + 21 = 0. Solve 5*t - v = -8 for t.
2
Suppose -13420 - 6782 = -111*s. Solve -23*v + s = 3*v for v.
7
Let g = 156 - 149. Suppose 0*i = 3*i - 6. Let y = g - i. Solve 4*a - y*a - 2 = 0 for a.
-2
Let y = 192 - 135. Suppose r + y = 48. Let c(h) = h**3 + 7*h**2 - 16*h + 21. Let o be c(r). Solve -3 + 15 = o*n for n.
4
Let q(a) = a**3 - 46*a**2 + 261*a - 15. Let j be q(6). Solve -4*b = j - 107 for b.
-1
Suppose 25 = 5*h + z, h + 3*z + 3 = 22. Let m be 22/(-11) - 4/(-1). Suppose -5*r - 70 = -4*t, -m*r - 2*r - 8 = 0. Solve -d - h*d = t for d.
-3
Suppose -16*i - 1716 = -2020. Solve 8*y = i - 11 for y.
1
Suppose -3*i = 3*u - 27, -3*i + 32 + 6 = 4*u. Suppose 17 = u*j - 16. Solve 0 = 5*p + j*p for p.
0
Let m = -11 - -15. Let p(c) = c**3 - 5*c**2 + 4*c + 3. Let l be p(m). Let a(k) = -k**3 + 6*k**2 + 43*k - 18. Let f be a(10). Solve -f = -0*u - l*u for u.
4
Let f be (-45)/(-54)*32064/80. Solve 294 = 5*s + f for s.
-8
Suppose 0 = w + 3*w. Suppose w = -f - 25 + 19. Let m be (16 + f)/(2 - 0). Solve 4*q = m*q - 4 for q.
4
Suppose -27*p = -25*p - 30. Suppose -5*i = p, 17 + 7 = 3*n - 3*i. Solve 0*s = s - n for s.
5
Suppose 0 = 51*v + 88*v + 69*v. Solve 32*x - 15 - 113 = v for x.
4
Let v = -364 + 369. Suppose 5*j = 5*n - 100, -v*j - 11 = 14. Solve -2*g = 3*g - n for g.
3
Let f = -525 - -528. Suppose 27 = f*c - 3*i, -5*i - 27 = -3*c + c. Solve 15 = c*u - u for u.
3
Suppose 12*h - 6819 = -6447. Solve 0 = 39*p - 47 - h for p.
2
Let l(y) = y**3 - 40*y**2 + 78*y - 3. Let c be l(38). Solve -11*w = -84 + c for w.
1
Let f(r) = -2*r**2 - 57*r + 680. Let k be f(-37). Solve 6*i - k = -57 for i.
-1
Let y(h) = h**3 - 17*h**2 - 38*h + 374. Let f be y(18). Solve -6*i - f*i = -5*i for i.
0
Suppose 0 = 80*z + z - 36612. Solve 0 = 4*i + z - 448 for i.
-1
Let j be ((-48)/(-9) + 4)/((-2)/(-3)). Suppose -4*q + t + 12 = -0*q, 4*t + j = -q. Solve q*s = -2*s for s.
0
Suppose d = -0 + 14. Let g = d - 15. Let n be (0 - 1)*1/g. Solve -4 = a - n for a.
-3
Let f(r) = -25*r - 96. Let p be f(-4). Let x be ((-28)/(-8))/7*6. Let y be (4 - 0) + (-5 - (-9)/x). Solve 0 = y*t + p - 12 for t.
4
Let w = 2793 + -2792. Let d = -1 - -4. Suppose -a = 5*l - d, 3*l + 10 = 4*a - 2. Solve a + w = f for f.
4
Suppose 2*n - 10 = 0, 0 = 3*o + 5*n - 34 - 15. Suppose -30 = -2*q + h + h, -4*h = -o. Suppose 5*g + 7 = q. Solve g*d = 4*d for d.
0
Let f(g) = -4*g - 17. Let w be f(-5). Suppose 5*v - 23 = -w. Suppose 0 = -14*m + 15*m - 2. Solve 0 = m*o + v for o.
-2
Let n = -159 - -161. Suppose -o + 0*o - 3*s = n, 3*o - 4 = -4*s. Solve 21 = 5*x - o for x.
5
Let o(b) = -b**3 + 11*b**2 - 7*b - 30. Let n be o(10). Suppose 313*t - 307*t - 66 = n. Solve -t*f + 3 = -8*f for f.
1
Suppose 0 = 21*l + 52*l - 14*l - 177. Solve -l*s - 2 = -5*s for s.
1
Let w(u) = u**2 + 4*u - 21. Let t = -2 - 5. Let v be w(t). Suppose v = 2*g - 13 + 3. Solve 0 = g*x - 6 + 21 for x.
-3
Let y be 26 - (18/(-42) + 270/42). Solve -y*h - 1 = -21*h for h.
1
Let y = -298 + 647. Suppose y + 71 = 28*f. Solve a = -f + 17 for a.
2
Suppose 2*m + 10 = -2*c, 7*c + 2*m = 8*c + 2. Let i be c/(-2) - (3 + -3) - -86. Solve -1 = -89*w + i*w for w.
1
Let z(k) = -9*k**2 + 605*k - 83. Let h be z(67). Solve -11 - 40 = -h*o for o.
1
Let d = -687 + 693. Let y be (d + (-21)/3 - -2) + 1. Solve y*u = 6*u + 20 for u.
-5
Let h(o) = -5*o + 153. Let a be h(30). Let w be 21/a + -2 + 8/(-4). Solve -w*q - 6 = 9 for q.
-5
Suppose -213*r + 6446 - 56 = 0. Let s = 5 - 1. Solve s*j - 22 + r = 0 for j.
-2
Let j be 1472/115 - 1/(-5). Solve 0 = j*y - 69 + 4 for y.
5
Let o(l) = 3*l - 44. Let 