 4*c - 10 = v, 2 = -c + 3 for u.
3
Let f = 10769 - 10764. Solve -177*l + 174*l = 5*u + 3, 0 = f*l - 3*u + 5 for l.
-1
Let m(f) = 3*f + 123. Suppose 55*x + 256 = 47*x. Let b be m(x). Solve 4*i + 12 = v, -4*v + b = -4*i + 3 for v.
4
Let x = 7455 + -7453. Solve 5*m - 6 = -x*l, 14 = 3*l - 4*m + 5 for l.
3
Suppose 297 = -34*b - 20*b + 405. Solve o - 9 = -b*p, 0 = 4*p - 0*p - o - 15 for p.
4
Suppose 12 + 92 = 4*z. Suppose z*u = 23*u. Let y be ((-9)/(-12))/((-6)/(-40) - 0). Solve f + u = 1, -2*v + y*f - 3 = 0 for v.
1
Let u(r) = -r + 3. Let d be u(3). Suppose 0 = -3*s - 2*j - 3811 + 3819, -3*j + 3 = 0. Solve -a = -d*a - 3*f - 18, 26 = s*a - 4*f for a.
3
Let r(y) = -33*y + 2521. Let n be r(75). Solve 0 = 5*h - 5*z - 25, h + n = -5*z + 33 for h.
2
Let m(d) = -d**2 + 25*d - 22. Let f be m(20). Suppose f*u - 45 = 75*u. Suppose -4*v + 23 = u. Solve -17 = 5*i + 2*b + 8, 0 = -v*b for i.
-5
Let y(m) = m**3 + 4*m**2 - 3*m - 5. Let b = -34 + 38. Suppose 3*r + 2 = 8, 2*r + b = -2*v. Let t be y(v). Solve -5*l + 3*i - 5*i = -t, -5 = l + 2*i for l.
3
Let s(i) = -i**3 + 38*i**2 + 66*i + 562. Let h be s(40). Solve 3*a - 10 = -p, -9*a = -h*p - 10*a + 10 for p.
4
Let p be 66/176 + -9*(-2710)/240. Solve -r + 105*y - p*y = 2, 3*y = 2*r + 7 for r.
-5
Let u = 1240 - 1237. Solve 30 = u*l - k + 27, -5*l = -3*k - 5 for l.
1
Suppose 4*y + 5*f = 30, 5*y + 5*f = 21 + 14. Let k be y/(-10) + (-33)/(-6). Let r = 47 + -20. Solve 5 = k*v + 3*d, v + 5*d - r = 2*v for v.
-2
Suppose -2238*v + 26 = -2225*v. Solve 3*n = 2*j + 49 - 47, 3*j - v*n = 7 for j.
5
Let a be 2/22 + (-144)/1584. Solve a = b + 22*n - 21*n, -3*b + 8 = -n for b.
2
Suppose 2*v - 80 = -0*v. Let u be (-12 + 5 - -11)*(-10)/(-8). Suppose 5*t - 73 = -y - 69, -20 = -u*y - t. Solve k = 3*f - y, -4*k - 5*f = k - v for k.
5
Suppose 4*j = 4*u - 132, -2*j = 5*u + 89 - 261. Suppose -19*v - u = -36*v. Solve 0 = n - 6*n - 4*g + 5, v*g + 1 = n for n.
1
Let c be (-8)/(-2) + -3 + 3. Suppose 3*p - i - 3 = 0, p - i - 11 = -c*i. Solve h = 4*w + 1, -p*w = h - 5*w for h.
-3
Let b = 2665 - 2663. Solve -b*x = -4*p + 26, 7*x = 9*x + 2*p - 4 for x.
-3
Let m(b) = 21*b**2 + 7*b**3 + 11*b**3 - 18*b**3 + 7*b + 4*b**3 + 18. Let g be m(-5). Solve -5*h = -2*h + 5*j + 10, -g = -3*h + 4*j for h.
0
Suppose 10*d + o - 32 = -8, 0 = 3*d + 4*o + 15. Solve -4*t = 3*b + 3, -d*b - 5*t = -0*t + 6 for b.
3
Let b = -10701 - -10704. Solve -8*v + 14 = -b*v + 3*o, 0 = -4*v + 3*o + 22 for v.
4
Let i = 36 - 22. Let h(p) = -2*p**3 + 17*p**2 - 24*p + 24. Let d be h(7). Suppose 0 = -5*a - 5, 5 = l - 5*a - d. Solve j + 4*f = i, -l*j + 1 = -j - f for j.
2
Let a = 321 + -316. Suppose 0 = -5*d - 9*f + 4*f + 30, -5*f + a = 0. Solve d*i = -15, 16 = 4*u - 6*u - 2*i for u.
-5
Let r be 353 - (7 - 13 - -9). Let t = -342 + r. Solve 2*w + 3*n - t = 7*n, 2*n = -w + 4 for w.
4
Let d(s) = -5*s**3 - 3*s**2 + 14*s + 5. Let n be d(-2). Solve 27 = -3*y - 2*k, 2 - n = -3*y + 3*k for y.
-5
Suppose r + 22 = 24. Let v(g) be the second derivative of -g**5/20 + g**4/6 + g**3/6 + 14*g. Let h be v(r). Solve 3*b + 6 = 4*b - f, h*f - 2 = -5*b for b.
2
Let w = -64 + 64. Suppose -2*u + 0*u - 4 = w. Let c be u + (-1 - -4) + 4. Solve -f = m + c, -4*m + 3*f - f = 8 for m.
-3
Let n(s) = 6*s**2 + 18*s + 15. Let a be n(-1). Solve 0 = v + a*m - 12, 20 = 5*v + 5*m for v.
0
Let q(n) = n**2 - 5*n - 4. Let a be (-8)/(-28) - 5/(35/2). Suppose 0 = o - a*o - 6. Let l be q(o). Solve l*c - 7 = 3*j + 1, c + 2*j = -10 for c.
-2
Let k = -101 + 110. Solve 5*q + i - k + 19 = 0, -10 = 5*q + 4*i for q.
-2
Let f(j) = -j + 7. Let i be f(5). Let z be 0 + i - -2 - (75 + -71). Solve 2*w = -q, z*w = -5*q + 4*w for q.
0
Let i(t) = -2*t**2 + 7*t + t**3 - 5*t**2 - 7 - 6*t**2 + 9*t**2. Let k be i(3). Solve -3*g + 7 = -p, -k*g + 12 = -2*g for p.
5
Let b be (4 - 22/4)*8/(-6). Let d be ((b/(-4))/(-1))/(13/52). Solve 2*f = -2*f + d*g, f + 5*g = 22 for f.
2
Let t = -31239 + 31242. Solve 5*q + 5*n = 0, 0 = t*q - 5*n - 12 + 28 for q.
-2
Let n = -13 + 18. Suppose 0 = 3*o + 2 - n. Suppose 3128 - 6084 = -2694*p + 6483 + 1337. Solve -18 = -2*a + 2*q, 2*a - o = 5*a + p*q for a.
5
Let j(a) be the second derivative of -a**3 - 61*a**2 - 29*a - 6. Let k be j(-22). Solve 2*n - k = -2*q, 3 + 14 = 4*q + 3*n for q.
2
Let i be (10/(-11))/((-12)/66). Suppose 3*f = -y + 23, 14*f - 13*f - i*y = 13. Solve -4*u + x - 10 = f, 26 = -4*u + 5*x for u.
-4
Let u be -6*2/(-32) - (-14675)/(-200). Let s = u + 82. Solve 5*b + 24 = -v, -4*v - s = 7 for b.
-4
Let q(u) be the first derivative of u**3/3 + 5*u**2 - 36*u + 67. Let m be q(-13). Solve 2 + 0 = -2*s, -s - 10 = -m*v for v.
3
Suppose 5*d = 127 - 97. Suppose -d*h = -26*h + 460. Solve -8*o + 11*o = -5*l - h, 0 = -2*l - o - 9 for l.
-4
Suppose -16 = 15*c - 19*c. Let o be -1*(5 - (c + 5)). Solve -4*z - 30 + o = 2*l, -5*z = -3*l + 5 for l.
-5
Suppose -p - 4*p + 240 = 0. Let a = p + -52. Let r be (2 + a)/(2/(-3)). Solve -3*y - 27 = -5*d - 3, 2*d = -r*y - 3 for y.
-3
Let f be 326/(-10) + 42/70. Let y = f + 34. Solve 4*t = y*o + t - 13, -5*o + 13 = -t for o.
2
Suppose l + 2*s - 59 = 0, 57 = l + s - 2. Let d = l + -59. Suppose 10*w - 4*c = 5*w + 46, d = 4*w + 2*c - 42. Solve 2*m + 20 = 4*g - 0, 4*m = 2*g - w for g.
5
Let a be (-6)/(-9)*6/2. Suppose 4*l - 47 = -3*t, 5*t + 2*l - 37 = 2*t. Suppose 137 = -t*i + 155. Solve -4*o = -a*f, 3*f - o = -i*o for f.
0
Let o(v) = -95*v - 374. Let n be o(-4). Solve 0 = 3*r + 5*m + 1, r - 4*m = 6*r + n for r.
-2
Let n = -24 + 69. Let r = n - 10. Suppose 9*o - r - 10 = 0. Solve -25 = -2*d - o*p, 2*d - d + 4*p - 17 = 0 for d.
5
Let n(r) = 7*r**2 + 16*r - 40. Let m be n(-4). Solve 0 = -5*k + 2*w - 12, -7*w + m = -3*k - 6*w for k.
-4
Suppose 193*l - 314*l = -375 - 109. Solve -3*f + 5*j = 2 - 7, 0 = l*f + 3*j + 32 for f.
-5
Let o be 1/(1*(-1 - 190/(-195))). Let g(v) = v**2 - 4*v - 1. Let c be g(-5). Let z = o + c. Solve 0 = 2*a + 4*j - 5*j - z, 2*a - 1 = 5*j for a.
3
Let m(d) = -6*d**3 + 19*d**2 - 34*d + 96. Let h be m(3). Solve h*g = 15, -3*g + 0 + 15 = -3*o for o.
0
Suppose -3 + 21 = 6*s. Suppose -4*d + s*d = -2. Solve -3*i - 9 = -0*i + v, 11 = -d*i + v for i.
-4
Let y(q) = q**2 + 9*q + 13. Let g be y(-3). Let a(p) = -6*p - 26. Let n be a(g). Solve k - h + 2 = -1, 3*k = n*h - 10 for k.
-2
Suppose 206 = 11*b + 74. Solve 2*a - 2 = -b, 4*j - 2*a - 6 = 0 for j.
-1
Let h(l) = -l**3 + 2*l**2 - 4*l + 3. Suppose 0*j = -3*j + 6. Let y be h(j). Let x = -2 - y. Solve -g - 8 = 5*k, -7*k - 14 = x*g - 2*k for g.
-3
Let f be 4/3 + (-2590)/21. Let b = -120 - f. Suppose 4*p - 2*r - 65 = 3*r, -p = -b*r - 20. Solve 0 = 3*h - 2*w - p, -2*h + 3 = w + 1 for h.
2
Let z = -96 - -9. Let w = 114 + z. Solve 0*n = 4*n + 20, 3*a + 3*n = -w for a.
-4
Let z be (680/1870)/(1/11). Let y be (12/(-5))/((-2)/5). Let h(b) = 2*b**2 - 10*b + 8. Let c be h(y). Solve -19 = 2*u - 2*x - 7, 2*u = z*x - c for u.
-2
Suppose 0 = -26*o + 756 - 231 + 125. Solve -4*x + 0*b - 15 = 3*b, 5*x - 5*b - o = 0 for x.
0
Let g = 5 + -9. Let x be (2 - -4) + 4/((-16)/g). Let s be 515/35 + 2/x. Solve -45 = -5*f - 4*y, -2*f + s = 3*f - 2*y for f.
5
Let n(g) = -g**3 + 5*g**2 - g - 7. Let o be n(3). Suppose -o*h + 11*h = 0. Let b be 1 + h + (-12)/(-3). Solve 0*c - 5*j = b*c - 35, 8 = 4*j for c.
5
Let g = 154 + -158. Let y be (g/12)/(6/(-72)). Solve -y*t = k + 13 + 9, -2*t - 8 = -k for k.
-2
Suppose -3*c + 5*c = 3*p - 5, 0 = -4*p + 2*c + 6. Suppose 3*d + 0 = 3. Solve m - p - d = -4*b, -5*b = 4*m + 3 for m.
-2
Let n(g) = -g**2 - 11*g + 2. Let r(h) = h**2 - h. Let p(y) = -n(y) + 5*r(y). Let m be p(-2). Solve 4*b - 4*j + 2*j = m, 0 = -b + 4*j - 8 for b.
4
Suppose -3*z + w + 88 = 0, -2*w + 3*w = 2*z - 58. Let c = z - 28. Solve -3*g = 2*u - 13, 0 = 3*u + c*u + 5*g - 20 for u.
-1
Let x(d) = -4*d**2 + 4*d + 22. Let j be x(-5). Let b = j + 102. Solve -b*i = -2*k + k - 13, -4*k + 3*i = 0 for k.
3
Let i(j) = -2*j**2 - 29*j - 58. Let o be i(-12). Solve -h + 12*p - 9*p = 5, -o*p - 10 = 2*h for h.
-5
Let d = -33 + 37. Suppose d*g = 53 + 15. Let o = 22 - g. Solve 4*t = f + o, 0 = -2*f + 6*f + 20 for t.
0
Let p(w) = -w**3 + 6*w**2 + 7*w + 2. Let i be p(7). Let o = -5 - -9. Suppose -15*a = -9*a + 9*a - 30. Solve a*v + 0*v - i = -o*s, -3*v - 8 = -5*s for v.
-1
Suppose -w - 4 = -35 + 9. Solve -5*z - 44 = -3*d - w, -3*z + 2 = 2*d for d.
4
Let l be (-19)/4 - 3/(-4). Let o 