 q = -11425 - -11427. Solve -5*p + 17*a = 20*a - 16, q*p + a = 6 for p.
2
Suppose 0 = 16*u - 15*u - 5, 0 = 2*n - 5*u + 21. Solve 5*g - 14 = 3*f, 3*g + 0*g = 5*f + n for f.
2
Suppose -4*c = -4*z + 120, 31*c = -3*z + 29*c + 70. Suppose 3*y = 4 - 1, -q + z = 2*y. Solve -a + 6 = 2*w, 5*a + 2*w - q = -10 for a.
2
Let w = 188 - 196. Let t(i) = -11*i - 85. Let u be t(w). Solve -4*b = -x + 6, u*b + 4*x + 10 = 2*b for b.
-2
Suppose 13*g = -20*g + 8*g + 550. Solve -u + 2*h + 17 = -h, -3*h - g = -2*u for u.
5
Let n(v) be the first derivative of -v**4/4 - 5*v**3 - 61*v**2/2 - 8*v - 248. Let l be n(-7). Solve -2*f = -6, -3*g + 2*f - l = -3*f for g.
-4
Suppose 0 = h - 3*z + 20, -33*z - 12 = h - 35*z. Solve h*x + 16 = -4*r, r = x - 6*x - 8 for r.
-3
Suppose -t - 7 = 5*h, t + 0*h + 7 = -h. Let l(k) = -k**2 - 6*k + 9. Let u be l(t). Solve 2*j = 5*x - 33, -2*x - u = -0*j + 3*j for j.
-4
Let b = -232 + 232. Suppose b = 113*x - 105*x - 8. Solve -2*l - 3*u = -x, 0*u = 3*l - u - 7 for l.
2
Suppose -1015*n = -1055*n. Solve -1 = -r, -5*b - 3*r + n = 2 for b.
-1
Let s be ((-4)/(-6))/((-2)/(-6)). Suppose 30*q = 32*q. Solve 11 = -u - s*r, -u + q*u - 5*r = 20 for u.
-5
Suppose -34246*c = -34104*c. Let s = -3 + 5. Let m be s/(-2) + 21/3. Solve c = -3*j - 3*l - 9 - m, 0 = -3*j + 4*l + 13 for j.
-1
Let u be (-34)/(-2) - (-180 + 190). Solve 5*f = -3*o + 22, -3*f + u*f = 20 for o.
-1
Let j be 8 - -5*1/1. Let b = j + -12. Let a = -5 + 10. Solve -w + v + b = 0, 0 = -w + 2*w - 4*v + a for w.
3
Suppose 0 = 16*h - 17*h - 2. Let u be ((-1)/h)/(6*2/72). Solve 5*w + 5 = -4*z, -z = -5*z + u*w - 29 for z.
-5
Let u(r) = 5*r**2 - 14*r + 2. Let n be u(3). Solve 2*m - p = 4*p + 14, -3*p = -n*m - 3 for m.
-3
Let z(o) = -2*o - 23. Let k be z(-13). Suppose k*p + 16 = 5*a, -4 = 2*p - 0*p. Solve -5*h = -3*i - a*i - 30, h = 4 for i.
-2
Let n(s) = 6*s**2 + 282*s - 284. Let o be n(-48). Solve -5*d - 10 = 3*b, -11*d - 8 = -o*b - 7*d for b.
0
Let m = -12166 - -12170. Solve 0 = m*c + 4*k + 12, -4 = 7*c - 4*c + 2*k for c.
2
Let s be 128/66 + 538/8877. Solve -3*p + 4 = -z, 4*p - s = -p - 3*z for p.
1
Let l = 251 + -251. Let q(m) = m**3 - 2*m**2 - 2*m. Let d be q(l). Solve d = 4*c - v + 3, 0*c + 2*c + v + 9 = 0 for c.
-2
Let i = 26 - 18. Let a(f) = -37*f - 148. Let d be a(-4). Solve -1 = n + 4*m - i, -5*n + m + 14 = d for n.
3
Suppose 9094*l = 9097*l - 2*d - 24, -d - 17 = -4*l. Solve -234*m - l*n = -233*m + 8, 4*m + 2*n = -14 for m.
-2
Suppose 50*k - 72 = 68*k. Let f be ((-21)/(-3) + -7)*2/k. Solve n - 5*b = 7, 6 = n - f*n - 4*b for n.
2
Suppose -9 = y + 2*y. Let t be (8 + 1)*(-2)/y. Let j be (t/(-2) - -3)/(2/2). Solve 3 = g + 4, j = q - 3*g - 2 for q.
-1
Let j = 187 + -181. Let q(r) = r**3 - 8*r**2 - 9*r + 8. Let t be q(9). Suppose 3*c + 2 = t. Solve -2*m = -j*m + 2*b + 12, -5*b - c = 4*m for m.
2
Suppose 2*r - 4*r + 252 = 7*r. Solve 4*d + 5*n = -r, 3*d = 5*d - 3*n - 8 for d.
-2
Suppose 123 = 6*m - 147. Let n be (m/(-75))/(2/(-10)). Solve 0*s = 3*s - 4*f - 22, 22 = 5*s - n*f for s.
2
Suppose 27*k - 1332 = -1035. Solve k = 6*c - 5*c + 3*x, -5*x = 2*c - 19 for c.
2
Let z(r) = r**3 + 5*r**2 - 10*r + 17. Let o be z(0). Solve -13*h - 13 = -8*h - 2*k, h = 4*k - o for h.
-1
Let z(t) = 3*t**2 + 43*t + 2. Let d be z(-13). Let y be 24/108 - d/18. Solve -y*w = -12, 0*g - 2*g - 28 = -5*w for g.
-4
Let y be 9 + (-1 + -8)/(-9)*(-6 - -1). Solve y*s = 3*q - 5*q + 24, -5*q + 25 = 3*s for q.
2
Let r = 150 + -145. Let k be -4 - (-6 + (-10)/r). Solve -9*a - 13 = -4*a - k*n, -a + 4 = -3*n for a.
-5
Suppose -5*x - 5*b - 5 = 0, -4*x - b + 0*b + 5 = 0. Suppose 0 = -8*r - x + 18. Solve -s = s + r, -4*s = 4*w - 16 for w.
5
Let f be (-1 + 2/(-3))/(((-2970)/55)/162). Let g(q) = -q**2 - 9*q + 4. Let r be g(-9). Solve r*i - 4 = 2*v, v - f*v - i + 1 = 0 for v.
0
Suppose w + 669 - 648 = 5*i, 6*w = 3*i - 45. Solve h = -i*x + 6, 5*h - 4*x - 8 - 3 = 0 for h.
3
Let f(p) = p**2 - 21*p + 50. Let s be f(20). Let v(j) = -5*j + 153. Let k be v(s). Solve -3*q - 19 = 2*z, -2*q + k*z + 7 = -2 for q.
-3
Let a be 8/(-14)*147/(-14). Suppose -105 = -a*k - 33. Suppose -8*n = -11*n + k. Solve n*v = 3*b + 27, 5*b + 9*v = 4*v - 10 for b.
-5
Let a(v) = 11*v - 25. Let p be a(3). Suppose -3*w = 5*m - 15 - 17, 4*m = 2*w + p. Solve 0 = -5*t + w*b - 23 + 7, 12 = -5*t + 3*b for t.
0
Let f(u) = -4*u**3 + u**2 + 4*u + 9. Let r be f(4). Let d = r + 220. Let h be 1*(3 + 3 - 4). Solve h*z + 26 = d*k, 4*k - 12 - 7 = z for z.
-3
Let r(j) = -574*j + 2307. Let t be r(4). Solve 2*c - t = n, -4*n + 12*c - 11*c = 23 for n.
-5
Suppose -a - f + 2*f + 215 = 0, -2*a + 418 = -5*f. Let g = 223 - a. Solve 0 = g*k, -4*x - x = 2*k + 20 for x.
-4
Suppose -4 = 5*z + 3*r - 71, -2*z + 42 = 5*r. Suppose z + 9 = 5*d. Suppose 0 = -2*w + 4. Solve 3*c + 8 - 27 = w*q, -c - 17 = d*q for q.
-5
Suppose -16565*s + 32 = -16549*s. Solve 24 = -f - 4*f - y, f - s*y = -7 for f.
-5
Let y = 315 + -130. Let l = y + -180. Solve 5 = 2*p + o, -p - 4*o - 16 = -l*p for p.
3
Let o be (-7 - -7)/((-2)/1). Let m be o*-1*5/(-15). Let u = 38 - 36. Solve -4*a + 5*t - 6*t - 10 = m, 0 = -3*a + 2*t - u for a.
-2
Let z = 1 - 0. Suppose 19070*w - 19099*w = -87. Solve 3*j - z = 2*l, 2*l - w*j + 8*j - 7 = 0 for l.
1
Let a = 132 + -123. Suppose -3*o + 15 = 3*m, 2*o = 4*m - a*m + 16. Solve -o*i = q - 3, 4*i + q = 3*q - 6 for i.
0
Let x(p) = 163*p + 177*p - 339*p + 34. Let i be x(6). Solve -q + 4*q = -5*k + i, -5*q + 35 = 2*k for k.
5
Let r = -32 + 44. Suppose 31*i - 178 = 907. Solve 4*k - 3*w - i = 0, 5*k = -w + r + 8 for k.
5
Suppose y + y - v = 8, -3*y + 4*v + 17 = 0. Solve 0 = 5*a + y*p - 9 + 24, 4*p - 9 = 3*a for a.
-3
Let t = 5 - 1. Suppose 0 = 6*w - 38 + 14. Suppose 5*n - 6*c = -3*c + 141, w*c - 12 = 0. Solve t*s - r = -2*r + 4, -n = -5*s + 5*r for s.
2
Let y = -8 - -8. Let i be 1*1/(-8) + 2/16. Suppose y = -5*m + 40 - i. Solve m*p - 3*p + 8 = -4*v, 3*p = -v - 9 for p.
-4
Suppose -2*n - 10*i = -11*i + 273, 3*n = i - 412. Let x = -137 - n. Solve 0*r - 2*r = -x, -4*g - 5*r + 21 = 0 for g.
4
Suppose -382*z + 38 = -363*z. Solve -4*q + 3*q + 3*w - 5 = 0, -2*w = -z for q.
-2
Suppose 2*w - 8 = -2*d, 2*w + 4*d + 262 = 274. Solve 68*y - 66*y = 5*t + 10, -2*t = -w*y - 2 for t.
-4
Suppose -4*p = 0, 272*g - 275*g + 3*p + 42 = 0. Solve 3*w - 6 = -3*v, -g*v - 6 = -5*w - 17*v for w.
0
Suppose -4*c = -2*n - 8, 3*n + 7 - 15 = c. Suppose 17 - 41 = -c*j. Suppose -j*d + 4 = -8. Solve -d*z = 5*y - 8, 3*z - 12 + 0 = 4*y for y.
0
Let r = 466 - 238. Suppose r = 9*v + 10*v. Solve -2*x - v = -3*k + 7*k, 5*k + x = -18 for k.
-4
Let v(o) = -173*o + 6230. Let q be v(36). Solve 0 = q*b - 3*c - 2, -261*c = -263*c for b.
1
Let f = 20 + -16. Suppose -5*y + 20 = -5*x, 0*x = 3*x - f*y + 14. Let z = x + 7. Solve 0 = t + z*p - p - 9, 3*t = 2*p + 13 for t.
5
Let c = 469009 + -468994. Let w = 3 + 0. Solve 0 = 2*f + 3*i + c, f - 3*i - w = -i for f.
-3
Suppose -41*c - 4*s = -42*c + 25, -3*c = 4*s + 5. Let a be (2 + 0)/1 + 3. Solve 4*q = -a*v, 0 = c*q - q + 2*v for q.
0
Let t = 74 + -70. Suppose 8*l - t = -4. Solve 2*g + 4*r + 6 = 0, -r + 2 = -l*g - 3*g for g.
-1
Let f = 23191 + -23151. Solve 0 = g + 4, -h + 35*g - f*g = 24 for h.
-4
Suppose 6*c - 112 - 122 = 0. Let v = c + -54. Let o be (-51)/(-12) + v/(-20). Solve -2*d + 5 = -5*h + 17, -4*h = o*d - 36 for d.
4
Suppose 0 = 39*v - 41*v + 78. Let w = 42 - v. Suppose -2*t = 8*k - w*k + 23, 4*t - 2*k - 14 = 0. Solve -5*x = 3*a - 10, 2*x + a - t - 3 = 0 for x.
2
Let c be (2 - 2)*((-52)/39 + 1). Solve -12 = f - 13, 2*k + 2*f + 2 = c for k.
-2
Suppose -15 = -5*l + 5. Let b be -1*2 - (-3 + -5 + l). Suppose 5 = 3*p + w - 3, b*p - 3*w = -2. Solve -p*r - 4*f = 6, 2*r - f + 6 = -0*f for r.
-3
Let p be (-1208)/12*-3*(-10)/(-5). Let v = 617 - p. Solve 2*w = 2*q - 10, 5*w - 2*w + v = 2*q for q.
2
Suppose 0*u + 342 = 3*u - 4*s, -5*u = s - 570. Let j = 133 - u. Let w = j + -15. Solve -w = 4*a, -13 = -3*m + 6*m - 2*a for m.
-5
Suppose 0 = -2*m - 14*m - 5*m + 84. Solve m*t - 23 = -3*q, -15*q + 16*q + 3 = 4*t for t.
2
Suppose 5*t - 3*t = 4. Suppose -j + t + 0 = 0. Let l(a) = -a**3 - 15*a**2 + 285*a + 4188. Let o be l(-14). Solve j*k + 22 = -o*f - 2*f, 4*f = k - 19 for f.
-5
Let h be ((-39)/12 - -1)/(6/32). Let j = 20 + h. Suppose j*d - 84 = 2*d. Solve 0 = 2*y + 2*x + d, 6*x = -3*y + 2*x - 24 for y.
-4
Let b(x) = 10*x**2 +