 x(y) = y - 2. Let d be x(8). Suppose -3*k + r = -16, -2*k - d*r + 2*r - 8 = 0. Solve -k*p + 21 - 1 = 0 for p.
5
Let q(n) = -25*n**3 - 4*n**2 + 4. Let s be q(-1). Solve s = -10*h + 5*h for h.
-5
Let d = 1272 - 1239. Solve -d*s = -31*s + 4 for s.
-2
Let y = -70 + 73. Suppose 0 = -5*z - 5*a + 40, 3*z - y*a + 5 + 1 = 0. Solve 0 = -l + z*l + 6 for l.
-3
Let j(i) = i**3 - 3*i**2 - i. Let v be j(2). Let x be (-1)/(-3) - 16/v. Suppose -51*c + 47*c = -2*g + 14, 5*g - c = 8. Solve g - x = h for h.
-2
Let i(z) = z**2 - z - 22. Let d(h) = -2*h**2 + 2*h + 45. Let w(t) = -2*d(t) - 5*i(t). Let u be w(5). Solve u*x - 15 = 3*x for x.
-5
Let y(c) = 2*c - 35. Let d be y(-9). Let o = d + 56. Solve -o*r - 3 - 9 = 0 for r.
-4
Let f(w) = -w**2 + 14*w + 67. Let h be f(17). Solve 0 = h*u - 13*u + 12 for u.
-4
Let i(c) = -c**3 + 5*c**2 + 6*c - 5. Let s be i(6). Let x be (s - -6)/(2/4). Solve -3*f = x*f for f.
0
Suppose 3*t - 2*u - 25 = 0, t - 1 = u + 9. Suppose -t*m + 12 = -3*x - 1, 5*m = -3*x + 37. Suppose -6 = -2*r + x. Solve -r*z - 3 = 7 for z.
-2
Let w be 3/4 - 93/124. Suppose -3*o = 5*t - 161, 4*o = -4*t - 0*t + 132. Let v = t + -15. Solve -4*m - v + 4 = w for m.
-3
Let c = 358 + -358. Solve -13*u + 6*u = c for u.
0
Let r(d) = d**3 + 13*d**2 - 18*d - 15. Let f be r(-14). Let s = 47 - f. Solve 5*u = 1 - s for u.
-1
Suppose -4*j - 4*f = -44, 0 = -4*j + 5*j + 2*f - 16. Solve -j*l + 20 = -l for l.
4
Let i(m) = -4*m + 32. Let v be i(6). Solve 0 = -0*w + v*w - w for w.
0
Let f(x) = -4 + 6 - 2*x - 10*x**2 + 5*x**2. Let j be f(-2). Let v(p) = p + 17. Let r be v(j). Solve k = -r*k + 16 for k.
4
Let o(h) = 8*h - 121. Let w be o(16). Solve -5*y + w = 2*y for y.
1
Suppose 0 = 37*i - 8*i - 435. Solve 17*v - i*v - 10 = 0 for v.
5
Let k = 29 - 11. Let q = -2 + k. Let z = -16 + q. Solve z*h = 2*h + 4 for h.
-2
Suppose 0 = -2*a - 0 + 6. Suppose 7*m - 8 = 3*m. Suppose -2*y - m*o = a*y - 90, 0 = 5*y - 4*o - 120. Solve 3*j + y = -2*j for j.
-4
Let h(n) be the third derivative of -n**6/120 - n**5/10 + 5*n**4/24 - 3*n**3/2 - 4*n**2. Let g be h(-7). Let p be 1/(1/8 - 0). Solve -g = p*u - 3*u for u.
-1
Let r = -3 + 3. Suppose r = 3*y - 3*t - 6, -y - 3 - 3 = -5*t. Suppose -5*u + 3*n = 83 - 68, 4*n - 20 = -2*u. Solve -c = -y - u for c.
4
Let v = -78 - -44. Let y = v + 38. Solve 0*h + 8 = y*h for h.
2
Let w be (-4)/(-6)*(-2280)/(-80). Solve -16*n + w*n = 6 for n.
2
Let b be (1668/(-18))/((-4)/(-6)). Let m = b - -146. Solve m*s - 8*s - 2 = 0 for s.
-2
Suppose -4*a - 3*y + 27 = 0, 5*a - 3*a = 4*y + 8. Suppose -3*w + 5*m + 55 = 0, 2*w + 30*m - 30 = 35*m. Solve a*v + w = v for v.
-5
Suppose -4*v = -4 - 4. Suppose v*c = -5 + 7. Solve 0*b + c = -b for b.
-1
Suppose 11 = -3*w + 5, p + 2*w = 0. Solve -10*r - p = -8*r for r.
-2
Suppose -4 = -3*h - 16. Let s be h/18 + 14/63. Solve -l - l - 10 = s for l.
-5
Let m = -1110 - -1131. Solve 5*i - 11 = -m for i.
-2
Let a be (-17 + 3 + 1)*(6 + -1). Let x = 65 + a. Solve -4*p + 16 = -x*p for p.
4
Let b(c) = 2*c - 18. Suppose -3*f - 50 = -8*f. Let i be b(f). Solve -i*r + 6*r = -12 for r.
-3
Suppose -27*u + 41 = -202. Solve 0 = -u*p + 5*p + 16 for p.
4
Let l(t) = -2*t + 3*t - 2*t - 10. Let s be l(-12). Suppose -z = -s*z. Solve r + r = z for r.
0
Let u = 11 + -4. Suppose -5*p = -u*p + x + 10, 0 = -x. Solve 5 = p*d - 0*d for d.
1
Let v = -26 + 22. Let b be 23/3 + v/6. Let n be (-48)/(3 - b) + -3. Solve -n = -4*t - 1 for t.
2
Let n be (-28 - -29)*(1 + 0 - 1). Solve n*w = 2*w for w.
0
Let z = -509 + 516. Solve 5*g - 8 = z*g for g.
-4
Suppose s - 55 = -3*v, -40*s - v = -43*s + 215. Solve 0 = 67*g - s*g + 6 for g.
2
Let b(v) = 3*v + 1. Let y be b(1). Let w be (-33)/165 - (-1)/5. Solve -4*i + y = -w*i for i.
1
Let g = -566 - -569. Solve -g*s - s + 20 = 0 for s.
5
Let i be ((-20)/50)/(1/(-5)). Suppose d - 4 = -i*d + v, 2*d = 3*v - 2. Suppose 0 = q - d. Solve -5 = -q*s + 5 for s.
5
Let h = -22 - -42. Suppose 5*d + i = 10 + h, 3*i = -3*d + 30. Solve -d*f = -2*f - 15 for f.
5
Suppose 4*f = 5*c - 0*f + 16, f = 5*c + 4. Solve 2*l + 3 + 1 = c for l.
-2
Let a = -42 - -42. Solve a = 3*d - 5*d - 2 for d.
-1
Suppose -4*n = -5*z + 4*z - 20, 0 = n + 2*z - 5. Suppose -4*v + s - 9 = -30, 2*v = -4*s + 24. Solve -n = y - v*y for y.
1
Suppose 0 = -27*f + 21*f + 12. Solve f*r + 2*r = -2*r for r.
0
Suppose 5*i - 102 = -12*i. Solve 0 = -10*a + i*a + 12 for a.
3
Let q be 4 + (3 + 1 - 7). Let p be ((2 + -1)*9)/q. Suppose 0*o - 3*o + 7 = f, f - p = -4*o. Solve -o*x = 1 + 5 for x.
-3
Let t(z) = -z**3 + 24*z**2 - z + 31. Let p be t(24). Solve 2*f + 1 = -p for f.
-4
Let c(p) = -p. Let j be c(-6). Solve j = -5*q - 19 for q.
-5
Let j(k) = 12*k - 5 + 7*k - 12*k. Let r be j(2). Suppose 3*b = 9 + r. Solve -b*u = -3*u - 9 for u.
3
Let w be (2 + -12 - 45)/(-1). Solve -6*a = 5*a - w for a.
5
Let p = 1551 + -1551. Solve p = 77*q - 84*q - 7 for q.
-1
Suppose g + 5 = 4*k, 2*k = 5*k + 2*g - 12. Suppose -4*q + a - 9 + 49 = 0, -5*q + k*a + 53 = 0. Solve -d + 4*d = -q for d.
-3
Let z(m) = -m**3 + 6*m**2 + 18*m - 15. Let w be z(8). Suppose -5*q = -2*k + 19, -4 = -5*k + q - 3*q. Solve v - w = -k for v.
-1
Let k(u) = u**2 + 4*u - 4. Suppose 6*q = 3*q - 15. Let y be k(q). Solve 0 = 3*p + y - 7 for p.
2
Let k(g) = -g**3 + 12*g**2 + 12*g + 17. Let l be k(13). Solve -l*b = 4*b + 16 for b.
-2
Let v = 57 + -102. Let y = -32 - v. Solve -3 + y = -5*o for o.
-2
Let t be 1*(22 + -4 + 5). Let o be t + -22 + (-1)/1. Solve o - 4 = -2*r for r.
2
Let t = -5 + 9. Suppose -3*a = 4*s + 45 + 6, t*a + 49 = s. Let b = a + 15. Solve -l + 0*l + b = 0 for l.
2
Let d be (1 + 2)/(9/15). Suppose -3*l = 2*l - 25, 5*o + d*l = 40. Let g(t) = -t**3 + t**2 + 58*t - 14. Let c be g(8). Solve -c*q = o*q for q.
0
Let d be (-153)/68*8/(-6). Let j = 64 - 56. Solve -j*s + d*s - 15 = 0 for s.
-3
Let j = -14 + 20. Suppose 3*s + j - 15 = 0. Let u be 3/((-1)/(-8)*s). Solve 3*h + u = -h for h.
-2
Let x(c) = -2*c**2 + 7*c - 1. Suppose -2*i = 10, -4*i = 5*m - 6*m + 23. Let l be x(m). Solve u - l*u = -3 for u.
3
Let c(p) = 2*p**2 - 19*p + 13. Let g be c(9). Solve -g*y = -2*y for y.
0
Let r be (-20)/(-6) - 4/12. Suppose 0 = -i - r + 9. Solve q - 20 = i*q for q.
-4
Let r(d) = 3*d**2 + 4*d - 3. Let w be r(-3). Suppose 0 = -3*p + w - 0. Solve 0 + p = -f for f.
-4
Suppose 2*y + d + 4 = 5*y, 2*y = -5*d + 31. Let u(n) = -3*n**2 + 9*n. Let p be u(y). Solve m + 3 - 4 = p for m.
1
Let p(k) = 3*k**3 + 13*k**2 - 16*k - 27. Let f be p(-5). Suppose 0 = -2*s + s - 3*w - 7, s - 5*w - 25 = 0. Solve s = -2*q + f for q.
-1
Let t = 24 + -20. Suppose 21 = 5*i - 39. Suppose -2*v - 16 = -t*b, 4*v + i = -2*b - 0*v. Solve 0*c - 8 = b*c for c.
-4
Let x be 15*(12/5 + -2 + 0). Solve x*v - 3 = 9 for v.
2
Let f(o) = -8*o**2 + 6*o + 25. Let h be f(-3). Let n be (h/78)/((21/18)/(-7)). Solve -2 = g - n for g.
3
Suppose n = 4*u + 1, n - 5*u = -2*u + 1. Suppose 2*l - 4*l = -20. Suppose v + l = 3*v. Solve -n + 6 = v*b for b.
1
Suppose -10*t = 2 - 22. Solve 29*i - t = 27*i for i.
1
Let m(o) = -o**2 - 13*o - 42. Let n be m(-6). Solve n*a = -5*a - 25 for a.
-5
Let p = -45 - -51. Suppose 2*v = 3*y + 2, 4 = -v + y + p. Let j be (-1)/(-4) - 3/(-4). Solve -o + j = -v for o.
5
Suppose 77*m = -2*m + 1501. Solve 0 = -9*t + m*t for t.
0
Suppose 67 = 5*h - 63. Suppose -4*v - 2*w = -38, 3*w + 5 = 5*v - h. Suppose 4*y + n - 12 = 4*n, 2*n = -v. Solve -z - 1 = -y for z.
-1
Let s = 9 + -4. Suppose 4*v = -s + 29. Suppose 3*l - 95 = -3*o - 2*l, -3*l = -3*o + 63. Solve v*p = p + o for p.
5
Let d = 516 + -495. Solve -19*x = -d*x - 8 for x.
-4
Let t = -3 - -7. Suppose 0*i = t*i. Solve i = y + 3*y - 16 for y.
4
Let j(b) = 3*b**2 + 5*b - 9. Let l(t) = -7*t**2 - 11*t + 18. Let m(d) = 5*j(d) + 2*l(d). Let i be m(4). Let z = i + -15. Solve 0 = -z*s + 2 + 14 for s.
4
Suppose 89*t - 77 = 88*t. Solve t*z + 12 = 80*z for z.
4
Suppose 2*u - u - 3 = 0, 0 = -k - 2*u - 23. Let w = -29 - k. Solve w = -3*p - 2*p - 25 for p.
-5
Let u be 1/1 - 1*9. Let l(f) = f**2 - 9*f + 7. Let n be l(4). Let w = u - n. Solve 6 - 21 = w*x for x.
-3
Let i be 10/(-15) + (-34)/(-6). Let a(k) = k**2 + k. Let j(l) = -4*l**2 - 11*l - 8. Let c(n) = -3*a(n) - j(n). Let o be c(-7). Solve i*t = 4*t - o for t.
-1
Suppose 1 = 7*g - 34. Suppose -5 + 70 = g*v. Solve -3*j - 4 + v = 0 for j.
3
Let f = -91 + 57. Let r = -32 - f. Solve -r*t + 4*t + 6 = 0 for 