. Solve -5*m - 3*x + f = x, 5*m + x = 9 for m.
2
Let n be -2 + (8/((-32)/28))/(-1). Solve 5*o = -4*a + 37, -n*o - 10 = -5*a - 4*o for a.
3
Let b = -22 - 2. Let u be 56/(-12)*b/14. Let f(k) = 2*k**2 - 13*k - 6. Let w be f(u). Solve -4*i = -m, 2 = -4*m + w for i.
1
Let i(b) = -65*b**3 - 11*b + 2*b**2 + 2*b**2 + 14 + 14*b + 64*b**3 + 1. Let o be i(5). Solve 5*z + 15 = 2*n + n, -n + o*z = -15 for n.
0
Let z(y) = 54*y + 100. Let a be z(8). Let c = a - 529. Solve -3*i - 18 = c*f - 0*i, -4*f = 5*i + 28 for f.
-2
Suppose x + 3*x - 20 = 0. Suppose -x*g = -5, -4*o + 4*g + 15 = -g. Suppose -2*i = -7*i + 20. Solve -l + o*t = i*l + 30, -l = -4*t + 18 for l.
-2
Suppose -4*p + 32 = -z, -5*z - 55 = p - 6*p. Suppose -6*w - 2 = -p*w, -5*b = -5*w. Solve 3*u = b*u + 4, -4*u + 12 = 2*h for h.
-2
Let j(s) = s**2 - 10*s - 260. Let u be j(-12). Let x(n) = 3*n + 26. Let y be x(-8). Solve -u*g + 2*g + 12 = 2*b, 0 = y*b - 4*g for b.
4
Let a = -2238 - -2238. Solve 14*d - 13*d - 1 = j, -2*j - 2*d - 18 = a for j.
-5
Let i = -13 + 18. Let z(c) = c + 1. Let o(u) = 6*u - 22. Let r(n) = o(n) - 4*z(n). Let l be r(14). Solve 10 = -5*g - 3*w, i*g + 0*g + 5 = -l*w for g.
1
Suppose -2*p - v + 1 = 0, -5*p + 5*v + 19 = 2*v. Suppose 3*c = 3 + 9. Let m be c*(-3 + 7*(-4)/(-8)). Solve w = -4, 3*o = p*o - m*w - 8 for o.
0
Suppose 1261*l = 1210*l. Solve l = -2*z + 10, 45*x + 19 = 46*x + 4*z for x.
-1
Let a = -5198 - -5213. Solve 0 = -5*t - a, 3*t - 1 = -14*i + 12*i for i.
5
Suppose -206*k + 994 = 170. Suppose -2*o + 8 = 0, -m + 3 + 8 = 2*o. Solve -k*x = -2*w + 6, w + m = -w + x for w.
-3
Let j be (-20)/(-14)*(-2814)/(-335). Solve m + 4*s = s + j, 4*m - 3*s = -12 for m.
0
Suppose 0 = -5*r + t - 167, r + 5*t + 83 = -r. Let j = -2 - r. Suppose 4 = -j*l + 33*l. Solve -2*a - 4 = 3*i, -2 = 3*i + l*a + 12 for i.
2
Suppose -j = -213 - 87. Let r = -300 + j. Solve 2*q - 5*g - 10 = -0*q, r = -q + 5*g + 10 for q.
0
Suppose 2*k + 3*s + 9 = 15, -2*s - 9 = -3*k. Solve -5*t - 4*c = -2*t + 30, 12 = 3*t - k*c for t.
-2
Let x = 13325 - 13319. Solve 4*b + 0*b + 23 = -u, -2*b = x*u + 28 for b.
-5
Let v(d) = 48*d - 282. Let f be v(6). Solve 5*s + 10 = g, 13 = 2*s - 5*g - f for s.
-3
Suppose 0 = f + 42 - 42. Suppose 16*t + 20 = 4*g + 12*t, 3*g + 9 = -5*t. Solve 2*m = g*y, 4*y + m = -f*m - 25 for y.
-5
Suppose 0 = -2*g + 152 + 424. Let t = 302 - g. Solve u + 3 = -3*x - 5, -u - 5*x - t = 0 for u.
1
Suppose -4*u - 2*v = -16, 0 = 2*u - 15*v + 14*v - 8. Solve -r = 3*h - 7, u*h - 58 + 22 = 4*r for r.
-5
Let w = 112 + -110. Suppose -15 = 38*q - 243. Solve 3*j + q = -2*i, -w*i = -5*j - 0*i - 26 for j.
-4
Let b(n) = 2*n**2 - 11*n - 133. Let i be b(-6). Solve i*t - 10*v = -12*v - 18, 0 = -2*t + 4*v - 12 for t.
-4
Let n(j) = j**2 + 4*j + 12. Let r be n(-2). Let d be (4/7)/(r/84). Suppose 2*m = 2*f - 10, -d*f - 3*m + 25 = -f. Solve 5 = 3*b - 4, -f*h = 2*b - 31 for h.
5
Let s be (186/(-30) - 3)*(-310)/124. Solve -z - 4*t = -s, 0 = -z - 8*t + 5*t + 18 for z.
3
Let u be ((-8)/2 - -2)*14/(532/(-209)). Solve 5*w - u = -5*n + 3*n, -n + 5*w - 17 = 0 for n.
-2
Let q(b) = 4*b - 4*b - 16 - 4*b. Let o(a) = -9*a**2 + 299*a - 70. Let l be o(33). Let r be q(l). Solve 12 = 5*h - 4*k + 2, r = -2*k for h.
2
Let y be (-30*(-3)/6)/(24 + -21). Solve -3*r - h = -3*h - 10, y*h = 4*r - 18 for r.
2
Suppose -3*j - 2*b + 1619 = -8*j, 0 = -5*b + 10. Let i = j - -325. Solve -5 = -4*n + 3*r + i*r, -n + 4*r = -4 for n.
0
Suppose 4*t + 247 = 3*w, -3*w - w = 12. Let j = t - -94. Let r be (38/(-209))/(64/(-1760)). Solve 3*y - r*l + j = 2*y, 5 = -2*y - l for y.
-5
Let l(s) = 2*s**2 + 15*s + 14. Let p be l(-1). Let j be 3 + (p - 3) - (-8)/8. Solve 4*x = -f - 11, -3*f - j*f = 4*x + 7 for f.
1
Let z(k) = -4*k + 13. Let f be z(15). Let v = f - -52. Solve -3*w + t = -4*w + v, 0 = t for w.
5
Suppose -3*s - g + 13 = 0, 18 = 5*s + 4*g - 6. Solve 0*l = l + s*h + 3, 10 = -5*h for l.
5
Let j(t) = -t**3 + 6*t**2 + 3. Let p be j(6). Suppose p*f - 28 = -n, 4*n - 8*n = -2*f. Suppose 25 = f*k - 3*k. Solve -3*w - 2 = -2*s + 1, k*w - 5 = 0 for s.
3
Suppose -24*z + 45 = -75. Solve -4*y + 15 = -5, -z*y + 23 = -2*x for x.
1
Let k(n) = n**3 - 61*n**2 - 404*n - 10. Let b be k(-6). Suppose -4*s - 20 = -4*d, -3*s = s + 12. Solve -b*u = -0*u - d*o, 30 = -4*u - 2*o for u.
-5
Suppose -29*k - 2*y = -27*k + 10, -3*k + 5*y + 49 = 0. Solve 130*h - k*g + 21 = 128*h, 4*h + 4*g - 8 = 0 for h.
-3
Suppose 5*o + 5*n - 17 = -57, o = -2*n - 13. Let s = 7 + o. Let k(a) = -42*a**2 + 281*a + 879. Let y be k(9). Solve s*d = v - 3, -5*d = -2*d + y for v.
-5
Let s = -4 + 4. Suppose -5*h + 9 + s = 2*v, -5*v - 2*h + 12 = 0. Let k be (v/(-8))/((-2)/8) - -3. Solve -f = -3*a + 13, -3*f + 4*a = 10 + k for f.
2
Suppose 0 = 47*f - 52*f - g + 397, 3*g + 9 = 0. Solve 4*z + 59 = 3*o + f, o + 4*z + 7 = 0 for o.
-7
Suppose m + 6 = -m. Let n = m + 8. Let p = -56297 - -56299. Solve p*w + k = 9, 2*k + 14 = -n*w + 36 for w.
4
Let u be (-298)/(-14) - (2 - 24/14). Solve -c - 24 = 4*z, -u*c = -18*c - 4*z - 8 for c.
-4
Let y be (-12 - (1 - -2))/(-3). Solve 3*f = 2*l + 6, -l - 9 = -y*f + 8 for f.
4
Let f be 0 - (3 + -3)*5/20. Suppose 4*y - 4*h - 48 = f, 4*y - 21 = -h + 42. Solve -5*k = -5*w - y, 3*w + 4*k - 16 = 2*k for w.
2
Suppose -11*o + 10 + 100 = 0. Let z(u) be the second derivative of u**3/6 - 3*u**2 + 6*u. Let h be z(o). Solve h*t + 3*r = 10, -5*t + 4*t - 4*r + 9 = 0 for t.
1
Let y = 9788 - 9772. Solve -2*v - 3*r = 1, 3*v - 4*r - y = -9 for v.
1
Let t = 288 - 276. Let y be (-2)/t + (-34)/(-204). Solve 0 = -y*k - k + 4*m + 10, 0 = -5*m - 15 for k.
-2
Suppose 3*u = -2*d + 4, -4*d - 4 = -3*d. Solve -v + 4*k - u = -6*v, -3*v + 5*k = 5 for v.
0
Let h(l) = -l - 1. Let y be h(-1). Suppose 3432*a + 52 = 3458*a. Solve y = a*f - 3*v + 15, f + 20 = 6*f + 4*v for f.
0
Let n = -24586 - -24587. Solve 3*f - y - n = f, 4*y - 11 = 3*f for f.
3
Suppose -a + 90 = -3*g, a + 4*g - 205 = -2*a. Let v = a + -68. Solve -z = 4*c - 9, -c + v = 5*z - 0 for z.
1
Let x be 8 - (-2 + 5)/1. Suppose 0 = x*r - 8*r + 138. Let s = r + -42. Solve 3*k + 18 = s*k + 4*c, -5*k = -4*c + 6 for k.
2
Suppose -3*u + 2*u = -3. Suppose 0 = 3*f + 6, -7 = -2*r - 2*f + 21. Suppose -15*k + r*k - 25 = 0. Solve h + 15 = u*n, -2*h + 4*n = h + k for h.
-3
Suppose -14 = 2*k + y - 5*y, -11 = k - 3*y. Let l = -1 + k. Suppose 330*x = 34 - 34. Solve -f + 4*u + x*u - 11 = l, -4 = 4*f + 4*u for f.
-3
Suppose 13*n = 2*n + 55. Let m be (1 - 1)*-5*n/75. Solve 2*t = 3*b - 2*b + 6, 5*b - 20 = m for t.
5
Let q be 12 - 8 - (-4 + -1). Suppose -q*k = -13 - 5. Suppose 11 = 5*m - 9. Solve -m*h + 10 = k, -2*h + 6 = c for c.
2
Suppose 3*b - 500 = -500. Solve -r + 169*i = 167*i - 4, b = -4*r + 5*i + 16 for r.
4
Suppose 5*x - 5*t + 6*t - 108 = 0, 5*x = -3*t + 114. Let d be ((-12)/(-24))/(x/10 + -2). Solve -23 = 2*z + d*p, 0 = 3*z - 5*p - 0*p - 28 for z.
1
Suppose -1150*a = -1165*a + 75. Solve -4*v + 0*k - a = 3*k, -3*v + 3*k = 9 for v.
-2
Let a = 4518 - 4514. Solve 3*t = o - 4*o - 9, -a*t - o = 6 for t.
-1
Suppose -24295 = 17*x - 24346. Solve 7*z - x*u + 3 = 8*z, -3 = -z + 2*u for z.
3
Let n(j) = j**2 + 22*j - 166. Let x be n(7). Solve -4*c = -5*q + x, 2 + 3 = q for c.
-3
Let y be 2*2/(-6) + 32/(-6). Let s be (y/4)/((-21)/42) - -3. Solve -2*d - 4 = -2*n, 3*n = s*n - 4*d - 6 for n.
2
Suppose 169 = -51*j + 1896 + 2710. Solve -2*q + 5*t = -11, -85*q + j*q - t + 1 = 0 for q.
-2
Let f(h) = -2*h**2 - 3*h + 633. Let o be f(17). Solve -j + 6*j = 3*a + 8, 0 = 5*j - o*a - 4 for j.
4
Suppose q - 43 = 5*d - 14, 3*q = d + 17. Suppose -l = -28*l. Solve q*b + 3*x + 31 = l, -5*x = 6*b - 2*b + 41 for b.
-4
Let c(z) = 3*z - 15. Let j be c(6). Let b(i) = i**3 - 7*i**2 + 3*i + 21. Let x be b(6). Solve 21 = -x*o - 3*y, j*o - 5*y + 3*y - 4 = 0 for o.
-2
Let h = -1991 + 1997. Solve 0 = 5*w + 25, -23*w + 21*w = 4*q - h for q.
4
Suppose -1461 - 1815 = -117*a. Solve 0 = 5*u - 2*v - a, 16 = 15*v - 19*v for u.
4
Let f(q) = 2*q**2 - 6*q - 13. Let k(r) = 9*r - 49. Let d be k(6). Let n be f(d). Solve i - n = 5*a, i + 1 = -4*a - 10 for a.
-2
Let o = -15 - -19. Suppose 0 = 4*m + u + 2 + 3, -2*m + 20 = -4*u. Let l = -680 + 683. Solve l*t - 2*b - o = m, -t - 2*b = 3*t - 24 for t.
4
Let m = 44 - 76. Let s = m + 46. Let k be (-13 - s)*1/(-3). Solve k = 3*v + 3*u, -3*v = -v - u + 6 for v.
-1
Suppose 88*k = 158*k - 1034 + 334. 