 = -u + 3*k - w for u.
-5
Let o(w) = -15*w - 252. Let s be o(-17). Solve 1 - 4 = s*m, 22 = 5*p - 2*m for p.
4
Let k(o) = -o**3 - 8*o**2 - o + 2. Let h be k(-8). Let i = 153 + -146. Let u = i + -5. Solve 2*a = 5*v - h, -u*a + 3*a - 21 = -4*v for v.
4
Let o be 2876/6 + (-58)/(-87). Let d be o/(-22) - (-4)/(-22). Let s = 26 + d. Solve -6 = -3*k - 0*y + y, y + 9 = s*k for k.
3
Suppose -3*b - 3*m = -5*m - 26, -4*m = 4*b - 68. Let w = 85189 - 85181. Solve -3*j + b = 0, x - w = j - 3*j for x.
0
Let l(c) = -8*c + 530. Let z be l(66). Solve -18 = -2*n - z*f, -11*f + 1 = -3*n - 7*f for n.
5
Let i be 1/(-2)*(8 - 8). Let g be 30 - 3 - (1 + i). Suppose -28*p + 8 = -g*p. Solve p*a = 12, 5*o - 2 = -a - 3*a for o.
-2
Let g be 2/(-6) - (-304)/57. Suppose -g*j - 20 + 120 = 0. Solve 20 = -5*q - 2*v, -3*v - j = 5*q - 6*v for q.
-4
Suppose 0 = 80*r - 78*r - 108. Suppose r*x = 59*x - 15. Solve 3*t = k + 3*k + 19, x*k = -2*t + 7 for k.
-1
Let p(s) = 5*s + 13. Let x(f) = 21*f + 51. Let v(i) = 9*p(i) - 2*x(i). Let n be v(-4). Solve -d + 4*z + 13 = 0, 4*d - n*z = z + 16 for d.
1
Let t be 196/42*(-9)/(-6). Suppose 0 = 4*j - s - t, 8*s - 4*s = 5*j - 6. Solve 0*u + j*u - 10 = 0, -u = -4*p + 15 for p.
5
Let x be -12 - (-13)/((-26)/4). Let n(y) = -y**3 - 15*y**2 - 18*y - 52. Let q be n(x). Solve 7*w - 2*w - q*g = 0, 11 = -w + 3*g for w.
4
Let s(k) = -k - 2. Let w(a) = -18*a - 94. Let o(f) = 14*s(f) - 2*w(f). Let v be o(-7). Solve -3*d = 3*r + d - 8, 3*d = 2*r + v for r.
0
Let v be 3 + (1 - (-2)/(-2)). Let b = -144 + 147. Suppose i = -b*k + 1, 0 = k + 4*k + 5. Solve 0 = s + i*c + c + 6, -v*s + c = -14 for s.
4
Let h be (4 + (-10 - -4))*(1 + -3). Let n be 1 + 3 + (1 - 0). Let r be (-2 + (-3)/(-1))*n. Solve -7 - 23 = -4*k - r*i, 0 = -3*k + h*i + 7 for k.
5
Suppose 6*h + 1487 = 1511. Solve n + h*i = 10, -4*i - 60 + 78 = -3*n for n.
-2
Let u(n) = -11*n - 237. Let a = 458 - 480. Let m be u(a). Solve 0 = 4*v - 3*h + 18, 0 = m*v - 5*h + 25 for v.
-3
Let m(w) = 2*w**2 - 251*w + 749. Let p be m(3). Solve 5*y = g + p + 3, 4*y - 5*g = 22 for y.
3
Let y(n) = -n**3 + 14*n**2 - 10*n + 32. Let i be y(14). Let l = i + 112. Solve 2*r + 3*j = 6, -l*r + 5*j = 6 - 18 for r.
3
Let n = -32 + 36. Suppose -2*j = 2*q - 4*q + 8, -2*j - n = 2*q. Let h be j/(((-2)/(-8))/((-1)/6)). Solve -a + 11 = -4*d - 14, -5*a + 15 = h*d for d.
-5
Let x = -2924 + 2936. Solve -3*m + 6 = 0, -x = s - 5*m + 2 for s.
-4
Let y be 9/(-144)*-8*(2 + 8). Solve -3*v = 5*a - 0*a + 21, -y*v - 3*a - 19 = 0 for v.
-2
Let g = -10 - -20. Suppose 4*a + a = g. Suppose -z = -a - 5. Solve 3*u + 0*u = -2*w - z, -w + 1 = 0 for u.
-3
Suppose 810 = 23154*j - 23109*j. Solve 4*w - j*r + 13*r = -4, -24 = 2*w + 3*r for w.
-6
Suppose -577*h + 575*h + 4 = 0. Solve -h*g = -2*x, -34*g = -29*g + 2*x + 7 for g.
-1
Suppose -137*p + 1855 = -337. Solve 24*z - 2 = 20*z + 3*j, -2*z + 4*j = -p for z.
-4
Let s(i) = 2*i**2 - 9*i + 10. Let p be s(3). Let h be -3 + p + -2*25/(-10). Solve 5*x + 2*l + l + h = 0, l = -3*x - 5 for x.
-3
Let j(g) = 2*g**3 - 46*g**2 - 102*g + 50. Let r be j(25). Solve 2*p + 27 = -3*p - n, 3*p - 3*n + 9 = r for p.
-5
Let j(u) = -28*u - 111. Let m be j(-18). Let k = m + -393. Solve k = 2*s - s - 5*z + 2, 4*s - z = -8 for s.
-2
Let u(p) = -p**3 - 14*p**2 - 43*p + 10. Let z be u(-5). Let d(w) = 2*w. Let m be d(2). Solve z = -2*g + g - s, -5*g = -m*s - 9 for g.
1
Let a(c) = c**3 - 11*c**2 + 5*c - 6. Let z be a(10). Let l = 86 + z. Let y be (12/15)/(12/l). Solve y*q + 5*x + 13 = 0, -4*q + 3*q = -5*x - 1 for q.
-4
Suppose 24*v - 54 + 25 - 19 = 0. Solve 0 = y + 2*t - 8 + 12, 0 = v*y + t + 8 for y.
-4
Suppose 498 = -12*y - 558. Let l = 93 + y. Solve 2*m + 15 = l*w, m + 8 + 2 = 3*w for m.
5
Suppose -18*y - 36 = -20*y - 5*j, -4*y - 2*j + 24 = 0. Solve 0 = y*m - 4*k - 24, 18 = -5*m + 4*k + 50 for m.
4
Suppose 0 = s + 171 - 154. Let m be -2 + (-21)/(-3) - s. Suppose -m = h + 5*u, 15 = -4*u + u. Solve -h*k - 1 = 7*n - 2*n, 0 = -5*k - 2*n + 11 for k.
3
Suppose 23729*v - 23709*v = 80. Solve -4*f - 24 = c, v*c + 5*f + 137 = 96 for c.
-4
Let t(c) = 2*c**2 + 54*c - 471. Let l be t(-34). Solve 0 = -2*b + l*h, -11*b = -7*b - 2*h for b.
0
Suppose 0 = 2*k + k + 2*r - 70, -4*r = 2*k - 60. Suppose 40 = -s + 6*s + 3*y, s = 5*y - k. Solve 3*b - 1 = -s*f + 14, -2*b = -f - 10 for f.
0
Suppose 5*x = x + 64. Let f = -25 - x. Let g = -39 - f. Solve -3*u - g*c + 8 = 0, 4*u - 2*c = 2*u - 8 for u.
0
Let h be ((-41396)/553 + 76)*2*(-7)/(-4). Solve 19 - 35 = -2*p - h*z, 3*p - z = 10 for p.
4
Let c be (-3)/(36/(-21)) + 1/4. Suppose 18*o = 19*o - c*m - 10, 4*o - 2*m = 16. Solve -q = o*q + t + 12, -5*q = 3*t + 24 for q.
-3
Let y be (-2)/8*-4 - -33. Let c be (-324)/10 + 24/60. Let r = y + c. Solve 0 = -5*i, -2*h - 2*i = r*i for h.
0
Let y be (0 + 2)*-1 - -71. Suppose 9*k = y - 42. Solve -k*t = -5*v + 3 + 6, 12 = -4*t - 3*v for t.
-3
Let y(i) = -569*i**3 - 2*i**2 - 2*i. Let f be y(-1). Suppose -f*l + 558*l = -22. Let k = -4 - -7. Solve 3*t = 4*j - 1 - l, j = -k for t.
-5
Suppose 3*j + 5*p - 203 = 0, 2*p - 4 = -2. Suppose -r = r + j. Let k = r + 38. Solve w + k*z = -3*w + 1, 4*w + 4*z = 0 for w.
-1
Let y(p) = -13*p + 170. Let t be y(14). Let n be 26 + (-24)/(t - -6). Solve 10 = 4*i - 2*c + n, 4*i - 3*c + 24 = 0 for i.
-3
Let d be ((-159)/(-424))/(3/24). Let q(z) = -2*z - 5. Let m be q(-5). Suppose -19 - m = -d*f. Solve 0*a + 2*a + 4*x = 0, 0 = -3*a - 2*x + f for a.
4
Let a(x) = -x**3 + 5*x**2 + 7*x - 4. Let q be a(6). Let r be (12/510*17)/((-4)/(-40)). Solve -h - q = 5*z + 2, -h - r = 2*z for z.
0
Suppose 95*t - 11644 + 3608 = 13*t. Solve 0 = -5*s + 4*w - 31, -93*s + 19 = -t*s + w for s.
-3
Suppose 3*y - 2 = 7. Let t be (-3)/((-2)/4*y). Let r be -20*(t - (-45)/(-20)). Solve -16 = -k + 3*a, -39 + 14 = -r*k + 4*a for k.
1
Let k = 7771 + -7764. Solve 12*l + 10 = -5*h + k*l, -h + 2*l = -10 for h.
2
Suppose 2*k = 2*t + 4, 2*k = -34*t + 35*t + 6. Solve -2*n = 4*l + 8 + 6, -4 = t*l for n.
-3
Let z(x) = -x**2 - 8*x - 4. Let k be z(-7). Suppose -2*y - k*y - 5*c = 155, 0 = -y - 5*c - 31. Let f = -16 - y. Solve -5*j + 6 = 3*m, 5*m + f = 2*j + 2*m for j.
3
Let m = -1 - -4. Suppose a + 3 = 5*a - m*n, 4*a = 5*n - 3. Let i = 769 - 767. Solve a*x + 3 = 4*f - 5, -2 = i*f for x.
-4
Let c be 167/(-1336)*(-96)/3. Suppose 0 = -v - 4*v - 5. Let z = v + 1. Solve n + z*a - 10 = 4*a, -3*n - a + c = 0 for n.
2
Let q be ((15/2)/(-15))/(-2 + (-49)/(-28)). Solve 2*v - 8 = 0, -q*j + 4*v + 132 - 150 = 0 for j.
-1
Let u = -13632 - -13634. Solve 2*l = u*r - 2, 3*r - 7*r - 32 = 5*l for r.
-3
Suppose -7*u = -4701 + 4547. Solve 2*j - 8*m + 12*m = -u, 8 = -4*j + m for j.
-3
Let s = -545 - -545. Suppose -u + 56 - 53 = s. Solve 5*c + 4 = -u*w, 3*w - 6*c = -c - 14 for w.
-3
Let q = 5341 - 5325. Solve 4*h + 4*o - 12 = 0, -q = 4*h + 3*o - 24 for h.
-1
Suppose 0 = 3*k - 2*x - 17, 169 - 198 = -3*k + 5*x. Solve 9*r + 5*j - 48 = 7*r, j = k*r - 4 for r.
4
Suppose 13*s - 9*s + 3*g = 15, -10 = 5*s - 2*g. Solve 0*t = 5*q - 5*t + 25, s = 4*t - 16 for q.
-1
Let q(k) = 11*k - 45. Let w(t) = 6*t - 23. Let z(y) = -3*q(y) + 5*w(y). Let b be z(6). Solve b*a - 7 = -v + 5*a, -5*v - 2*a - 16 = 0 for v.
-2
Let j = -44 - -69. Suppose -4*z + 100 = 5*m, 0 = -5*z + m - j + 179. Let v = z - 28. Solve 16 = -4*h + 2*w - 12, 17 = -5*h - v*w for h.
-5
Suppose 78 = 33*n - 21. Solve t + 1 = -d, -4*d = -9*d - n*t - 13 for d.
-5
Let y(m) = -m**3 - m**2 + 2*m + 2. Let f be y(-2). Let k be (((-32)/8)/4)/(3/15*-1). Suppose 5*w = 2*w + 15. Solve w*u - 3*s - 15 = 0, 0 = s - f*s - k for u.
0
Let n(b) = -8*b - 4. Let l be n(-1). Let i = 770 + -769. Solve l*g = -2*o + 2, -o + i = -2*g - 0 for o.
1
Let j(r) be the second derivative of r**3/2 + 30*r**2 - 10*r - 2. Let h be j(-19). Solve i = -5*o - 15, h*i - 7 = o + 4*i for o.
-2
Let l be (-4)/6*(3/(-27) - 632/144). Solve 4*i + 6 + 4 = w, l*i = -6 for w.
2
Suppose -3 = -34*d + 33*d. Suppose 34*o - 13 = 55. Solve -c + d*x = 3*c + 26, -3*x = -o*c - 16 for c.
-5
Let h = -7 - -12. Let r be 2/(-4) - (-5)/2. Suppose 5*a = r*f - 5*f + 56, f = 2*a - 29. Solve a = h*n + 3*g, -n - 12 = -5*n - 4*g for n.
2
Let z(u) = -3*u**3 - 17*u**2 + 126*u - 23. Let f be z(4). Solve 0 = 3*q + 5*r - f, -6 = -2*q + 19*r - 17*r for q.
4
Let n be (-8)/(-2)*(-34)/(-17). Let q(p) = p**2 - 9*p + 17. Let z be q(n). Suppose -z - 1 = -5*k