*f. Solve 2*t - p = 2*c + 1, c = -5*t - 2 for t.
0
Suppose -11*m + 78 = 28*m. Let k(j) = j**2 - 4*j + 7. Let u be k(m). Solve -7*z - 2*p = -3*z - 6, u*z - 37 = 5*p for z.
4
Let s = -1801 + 1815. Solve -4 + s = d - 3*a, -2*d = -a - 10 for d.
4
Let o be (-9)/(2 - 5) - -1. Suppose m - 104 = -3*v, -o*m - 92 = -2*v + m. Let t = -110 - -115. Solve b - j - 10 = -2, t*b - v = 4*j for b.
4
Suppose 0 = -3*l - 4*c + 1, 2*l + 4*c + 18 = 16. Solve 5*r + 30 = 4*j, -j - 6 = -2*r - l*j for r.
-2
Let o be (-6)/16 + (-7498)/(-368). Suppose -28 = o*b - 68. Solve 5*p + 19 = -5*z + 4*z, -b*p + 2 = -2*z for p.
-3
Let h(q) = 2*q**2 - 3*q - 12. Let n be h(-2). Suppose -n*w - 5 = l, l + 10*w - 7*w = -9. Solve -4*a - 5 = 3*d, 2*d - l*d + 4*a + 25 = 0 for d.
5
Let j be 24*1*(-1)/(-3). Let t be ((-14)/(-14))/(-1*1/(-4)). Suppose 0 = 2*f + 2*n - 0 + t, 0 = 4*f - 5*n - 37. Solve -v = -s + 5, 5*s + v - f = -j for s.
0
Let w be 62/16 + (0 - (-7)/56). Suppose -o = -w*o + 9. Solve -2*d = -o*q + 9, -2*q = -q + 5*d - 20 for q.
5
Suppose 7 - 37 = -6*b. Suppose 0*y = -8*y + 32. Suppose -7 = -t - y. Solve -b*j + t*p = -2*p - 15, -5*j = -3*p - 7 for j.
-1
Let v = -3421 + 3422. Solve x - 5 = -4*b, -2*b - 3 + v = 2*x for x.
-3
Let v = -20840 - -20845. Solve -2*f - 5*t = 0, -5*f - v*t + 7 = -8 for f.
5
Suppose -115*h + 1425 = -1335. Solve 19*s = -2*a + h*s - 31, 17 = a + 4*s for a.
-3
Suppose 6*p - 52 + 10 = 0. Suppose -p*l - 105 = -14*l. Let f = 5 + 0. Solve g + f*h + 7 = 0, -l = 5*g + 5*h - 0*h for g.
-2
Let v(j) = j + 11. Let l be v(-5). Suppose l*r - p + 12 = 5*r, -50 = 4*r - 3*p. Let g be (-5)/(-2) + r/28. Solve t + 15 = -g*d, 4*d + 4 = 3*t - 1 for d.
-5
Suppose -30*c - 15*c + 135 = 0. Solve -c*f = 2*f - 4*s - 5, -4*s = -20 for f.
5
Let w(s) = -s**2 - 29*s - 55. Let n be w(-25). Suppose q - n = -4*q. Suppose -q*g - 30 = -15*g. Solve 2*t + 6 = -4*a + 4, g*t - 40 = 5*a for t.
5
Suppose -43084*m = -43018*m - 198. Solve m*r = 232*z - 233*z - 9, -r = -z + 7 for z.
3
Let j be 4 + 21/7 - (0 - -3). Suppose -2*p + j = 5*w, -13 = -3*p - 4*w - 0. Solve 2*u - n = p, -3*u + 2*u + 11 = 2*n for u.
5
Suppose -2*w + 8 = -2*r, w - 7 = -350*r + 352*r. Solve z + 2*u + w = -0*u, 0 = -3*z - u + 2 for z.
1
Suppose 1 = -f - 2*n, -7*f + 3*n + 15 = -4*f. Solve -m - 14 = 5*o, 5*o = -4*m - 8 - f for o.
-3
Suppose 5*f - 17 - 3 = 0. Let i(b) = -b**3 + 2*b**2 + 443*b - 55. Let g be i(22). Solve 2*s = -5*w - 31, -4*w - s + f*s - g = 0 for w.
-5
Let m be 9/(-684)*-8 - 908/(-38). Suppose 0 = -5*c + 10, 14 - m = -3*k - 2*c. Solve k*f = 2*d - 3 + 1, 5*d + 4 = 2*f for f.
-3
Let q be 54/(-90) - (-287)/(-5). Let k = q - -70. Suppose -35*f + 32*f = -k. Solve f*b + 1 = 3*d, 2*b + 3*d + 7 + 16 = 0 for b.
-4
Let s(d) = 644*d + 10963. Let o be s(-17). Solve 4*w + 4*h - 12 = -h, -5*w - 3*h + o = 0 for w.
3
Suppose -39*k = -83 - 112. Let q = 7 - 1. Let j be 7/(-7)*(2/1 + -6). Solve 5*n + 35 = k*o, j*n + 24 + q = 5*o for o.
2
Suppose b - 11 + 0 = 0. Let v(l) = -3*l**3 + 44*l**2 - 14*l - 196. Let r be v(14). Solve r = 3*p - 5*i + b, -5 = -p - 3*i + 10 for p.
3
Let q = -70 + 73. Suppose q - 35 = -8*o. Solve 0 = 2*j + 3*v - 13, -o*j + 0*j + 2 = -2*v for j.
2
Let z(t) = 4*t**2 + 49*t - 240. Let h be z(-16). Solve 2*s + 2*w - 2 = h, -4*s - 214 = -3*w - 183 for s.
-4
Suppose 1217*b + 2*z - 10 = 1215*b, -2*z + 10 = -5*b. Solve -v + 36*g = 40*g - 2, 5*v + 2*g - 10 = b for v.
2
Let z be (-9)/(81/36) - 5. Let t be (z + 9)*(-3)/(-12). Solve 5*d - 20 = t, 2*v - d = -1 - 3 for v.
0
Let j(d) = 2*d**3 + 41*d**2 - 21*d + 5. Let b be j(-21). Solve 12 + 5 = b*q + 4*u, -5*q = 5*u - 15 for q.
5
Suppose -4*t + 5*i - 21 = 0, 3*t - 3*i = 16 - 31. Let m be t/5 - ((-49)/5 - -7). Solve 2*r = -m*b + 4, 3*b - 2*r + 0 = 1 for b.
1
Let v(s) = 2*s - 21. Let k be v(11). Let t be (k*(0 + 0))/(-28 + 31). Suppose 5*u - 15 = -t. Solve -6 - 14 = 4*f + 5*m, -u*f = 3*m + 12 for f.
0
Suppose -85*n - 7*n = -184. Suppose -d + 3*d - 4 = 0. Solve 8 = -4*y, -4*r + d = -y + n*y for r.
1
Let s be -4 - (-2 - 7) - 5. Let m be (17 - (11 + -2))/2. Solve 0*y + 2*y - m = 2*r, s = 4*r - 12 for y.
5
Let x(v) = -v**3 - 5*v**2 - 8*v - 4. Let s be x(-5). Let z = 117110 - 117105. Solve 4*m = 2*u + 8, -5*m = z*u - u - s for u.
4
Let r(p) = 96*p - 668. Let n be r(7). Solve -a = 4*g + 11, -14*a - 7 = -n*g - 9*a for g.
-2
Let o be (-93)/15 + (-8)/10. Let q = 6 + o. Let a(w) = -3*w**3 + w + 2. Let r be a(q). Solve 10 = -r*i - i, 0 = 3*l - 2*i + 11 for l.
-5
Let a = -1966 - -1974. Solve 5*u = -5*k + 4*k - a, -4*k = u + 13 for k.
-3
Suppose 0 = -28*j + 272 - 132. Solve -b + 2*u + 7 - 3 = 0, -3*b + 12 = j*u for b.
4
Suppose -14*o + 153 = -5*o. Let i be (4/18)/(o/(-9) - -2). Solve 4*z + 0*z = -5*a - i, 3*a + z - 3 = 0 for a.
2
Let a(y) = -33*y**2 + 358*y + 81. Let u be a(11). Solve x + 6 = -4*w, -x + 21 - u = 3*w for x.
-2
Suppose 5*i - 4*g = i + 16, 79 = 4*i + 5*g. Solve -3*k + 5 = -3*d + k, d = -5*k + i for d.
1
Suppose 4*v = 0, -237 = -11*b + 10*b - v. Suppose z + 232 - b = 0. Solve 5*g - k = 24, -z*g + 3*k = -22 - 10 for g.
4
Let r = 12 + -8. Suppose -2*w = -q - 3, -r*w + 7*q + 26 = 9*q. Solve w*i = -a + 9, a = 2*a - 3*i - 2 for a.
5
Suppose 242*j = 243*j + 9, 2*y - 5*j - 53 = 0. Solve 0*a - 12 = -3*k - y*a, -4*a - 4 = -k for k.
4
Suppose 0 = m + 2. Let z = -151 + 150. Let w be (6 - 0)/(m - z)*-1. Solve -19 = -5*o + w, -o = g - 7 for g.
2
Suppose 4*i - 2*t = 2*t - 268, 0 = -4*t - 16. Let v = i + 87. Solve -3*d - d + v = -5*q, 2*q + 5*d = 20 for q.
0
Let j = -4202 + 4204. Solve u = 5*r - 11, j*u - 77 = -2*r - 75 for u.
-1
Let w(s) = -90*s + 813. Let k be w(9). Solve 25*d = 20*d + 4*g - 36, 24 = -k*d + 3*g for d.
-4
Suppose 3 + 2 = b, -3*n - 3*b + 21 = 0. Solve l - n = 3*c - 6, -5*c + 14 = 2*l for l.
2
Let a be ((-45)/(-25))/(36/11640). Let f = a - 580. Solve -3*z = -3*y + f*y - 10, z = y + 6 for y.
-4
Let t(j) = 149*j - 1490. Let h be t(10). Solve -x + 6 = -5*x - 2*z, -5*x - 4*z - 12 = h for x.
0
Let h(s) = s - 2. Let r be h(5). Let q(v) = -v + 33. Let x be q(28). Suppose -x = -3*d + 10. Solve -d = r*j - 2*z + 5, 3*j - 4*z + 20 = 0 for j.
0
Suppose 0 = 2*r + 6*r + 616. Let u = -74 - r. Suppose -3*g + 2 = 5*m, g + g + u*m - 2 = 0. Solve g = 4*t, -t + 4 = 4*h - 5 for h.
2
Suppose -125*r + 35 = -118*r. Suppose -2*p + t + 29 = 0, 2*p - r*t + 7*t = 44. Solve 0 = 2*m - 3*o + 13, -7*m + 3*m + 3*o = p for m.
-2
Let g(h) = -103*h + 218. Let o be g(2). Suppose -6 = -3*y + y. Solve -t + 1 = -y*u, -5*t = u + 15 + o for u.
-2
Let q be (245/6 - -7) + (-1)/(-6). Suppose 17*t - t = q. Let c be (-10)/3*t/(-2). Solve -10 = 5*y - 5*x + 25, c*y + 29 = 2*x for y.
-5
Suppose 2*t - 117 = -3*t - 4*m, 0 = 2*m - 6. Suppose -3*u + 2*c - 3 = -20, 0 = 3*u + c - 5. Solve u*k + t = -3*r, r - 17 = 5*k - 0*r for k.
-4
Let a = 8 + -8. Suppose a*d = d - 4. Let r = d + 0. Solve -r*h - j + 5 + 1 = 0, 0 = 5*h - j - 12 for h.
2
Let f(h) = -h**2 + 113*h + 972. Let j be f(-8). Solve 3*g = -3*y + 18, 5*y - j*g - 4 = -1 for y.
3
Let y be 5 - 8/8 - (3 + -2). Solve -2*a + 3*l = 24, -l + y*l - 2 = -a for a.
-6
Let x(y) be the third derivative of -11*y**4/24 - 11*y**3/6 - y**2 + 4*y. Let a be x(-1). Solve a = -3*n - 3, 0*z + 1 = -z - 2*n for z.
1
Suppose 8*w + 19 = 21*w - 46. Solve 5*z = 5*v + 15, -v + w = -0*z + 3*z for v.
-1
Let a = 216 + -205. Suppose -5*t = 25, -5*k - 7*t + a*t + 115 = 0. Solve 5*h + k = -4*z - 3, 5*h = 4*z + 2 for z.
-3
Let f = 262 - 453. Let r = f - 43. Let z be (-6)/10 + 1 + r/(-90). Solve -5*p + 4*s + 45 = 0, z*s + 10 = -p - 0*p for p.
5
Let a = 6 - -11. Let q be (-67 + a)*((-9)/(-2))/(-3). Suppose -3*n = 2*h + 2*h - q, -5*h - 4*n = -95. Solve h = -3*p - 2*p, 4*t = -4*p - 28 for t.
-4
Let r be ((-27)/(-12))/((-4)/16). Let n be ((-30)/r - 5)*(-1 - 2). Solve n*w + 15 = -4*z, w = -z - 2*z - 3 for w.
-3
Suppose 5*v - 270 = 5*r, 230 = 7*v - 2*v + 3*r. Suppose -v = 8*k - k. Let m(q) = -7*q - 48. Let u be m(k). Solve 6 = 2*f - 2*b, -3*b + u = -4*b for f.
2
Let p = -99102 - -99105. Let u = -1 - -7. Let y be 12/5 - u/15. Solve h - l = l - p, -5*h - 3 = y*l for h.
-1
Let k be (-28)/(-6) - 2/(-6). Let n = -97102 - -97102. Solve -2*j + n*j + k*o = -8, -5*j - 2*o = 9 for j.
-1
Suppose -3*p - 3*d = 34 + 233, -4*d - 20 = 0. Let y be 8/p + (-6)/(-63). Solve -2 = 5*u - i - y, -u + 3*i = -8 for u.
-1
Let o = -3002 + 3018. So