 Solve 2*m = -r*l - 13, 5*l = -5*m - 11 - 14 for m.
-2
Suppose -145 = -9*r - 100. Suppose 34 = -5*h - 4*s + 14, -s - r = -2*h. Solve 4*m = -5*b - 22, -m - 3*b + h*b - 9 = 0 for m.
-3
Suppose -272*o = -273*o - 20. Let g be 1*(-8)/20*o. Solve -5*x = 2*k - 26, g = -4*k + 4*x + x for k.
3
Suppose 55 = -3*u - 5*o, -5*u + 4*o + o - 105 = 0. Let b = -17 - u. Solve 5*l = 4*h + 25, -b*l - h = -1 - 14 for l.
5
Let p = -20 - -45. Let k(q) = 2*q**2 - 122*q + p + 62*q + 69*q - 3*q**2. Let j be k(11). Solve -3*b - 4*y - 4 = b, -j*b - 4*y = 2 for b.
-2
Let i = -177 + 186. Suppose -2*z - i = -9*a + 8*a, -3*z + 3 = 0. Solve 4*q = u + a, 2*u + 7 + 6 = 5*q for u.
1
Suppose 18*c = -21 + 93. Let p(y) = 3*y - 5 - 4 - 1. Let v be p(c). Solve m - v*j = -5, 3*m + 8 = 3*j - 7 for m.
-5
Let s be (-26)/39*(2 + (-13)/2). Suppose 6 = 6*y - s*y. Suppose -5*d + y*f + 9 = 0, 2*d + 3*f = 5*f. Solve -3*k - 4*r = 9, 18 = d*k - 3*r + 6 for k.
1
Suppose -4*u = -0*u. Let q = -1330 - -1331. Solve 2*t + u*t - 4 = -3*w, w = -t + q for w.
2
Suppose 28*l + 238 = -12*l + 838. Solve -2*v - v = l, 0 = 3*p + 2*v + 7 for p.
1
Suppose -8 = 21*p - 12 - 38. Solve 4*t + 4*z - 4 = 0, -p*t + 11*z + 9 = 6*z for t.
2
Let p = 1382 - 209. Let v = p - 1169. Let n be (5 - 0)*(-12)/(-10). Solve v*o = 3*w + n, -w + 2*w - o + 1 = 0 for w.
2
Let v = -11900 - -11954. Solve 11 = -3*s + v*l - 55*l, 4*l = -2*s + 6 for s.
-5
Suppose 4*d - 11 = -n, 73*d - 5*n + 10 = 78*d. Solve 2 = f - 15*i + 20*i, 4*f + d*i - 8 = 0 for f.
2
Suppose -36 - 84 = 6*l. Let v be ((-451)/(-44) - 11)*l/3. Solve 0 = -4*q + 2*w + 5 + 7, 15 = v*q - 4*w for q.
3
Suppose 70*l - 67*l - 9 = 3*u, 5*u = -2*l + 13. Solve -11*b - 3*a + 27 = -13*b, -2*b - 32 = -l*a for b.
-6
Suppose -9 + 21 = 3*h. Let b(x) = 3*x**2 + 2*x - 1. Let i be b(-2). Let z(u) = 5*u - 30. Let f be z(i). Solve -2*s - 3*t = 2*t - 6, 0 = h*s + f*t - 12 for s.
3
Let z be (0 - -12)/(-4) - 172. Let b = 180 + z. Solve -b*o = -x + 17, -4*x + 7*x = -3*o - 21 for x.
-3
Suppose 40 = -2*o + 6*o + 4*o. Solve 4*d = o*d + 5, 4*j = -5*d - 5 for j.
5
Suppose -5*m - 4144 = -3*b - 4237, -7*m - b = -99. Let p = 7 - 4. Solve 3*g = m, 5*s - 7*g + p*g = -30 for s.
-2
Suppose 0 = 4*x - 10 - 10. Let d be 61/8 - (-1975)/(-3160). Solve 0 = -x*z + 3*t + d, -t = -z + 4*z + 7 for z.
-1
Let p(z) = 9*z**2 - 13*z - 35. Let v be p(-2). Solve 5*b = g + 3, -5*g = 17 - v for b.
1
Let a(i) = 4 + i**2 - 4*i - 5 + 10 - 2. Let x be a(4). Suppose 2*g + q = 2 + 7, 3*g - x = 5*q. Solve -m - 2 = g*v - 1, -3*v + m + 8 = 0 for v.
1
Let c = -588 - -636. Suppose 3*s - 17 = -g, -52*s + 16 = -c*s. Solve -4*x - 3*m = -20, -3 + g = 5*x - 2*m for x.
2
Suppose -2*c + 10178 = 10154. Solve -6*v + 9*v + c = -3*n, n - 3*v = 8 for n.
-1
Suppose -21*x + 103 - 19 = 0. Suppose -6 = -2*j + d + d, 0 = j + 3*d + 1. Solve 0 = x*h - j*o, 4*h - 4*o - 7 - 1 = 0 for h.
-2
Suppose 0 = -0*m - 29*m + 101 + 73. Solve -2*q - 4 = -m, -5*p + 2*q - 22 = 0 for p.
-4
Suppose 0 = m + 2 - 16. Suppose 3*x = 29 - m. Let j(z) = -z**3 + 3*z**2 + 10*z + 5. Let v be j(x). Solve 3 = -3*p, -g = 2*g - v*p + 10 for g.
-5
Let r be (162/30 + -5)/((-1)/(-10)). Let n be 4/(1 - 0) - -1. Suppose 0 = -5*t + 2*g + 5 + 74, 5*t + 2*g = 91. Solve -r*a = -n*i, 5*a = 2*i - 0*i + t for a.
5
Let c be (-6)/(14/105 - 14/60). Suppose -50 = 10*f - c. Solve 3*l + 5*d = 7 + f, -l - d = 0 for l.
-4
Suppose z = 4*k - 0 - 1, -k = -1. Suppose -6*a - 562 = -5*b - 535, -3*b + 15 = -3*a. Solve 3*r = -z*l - r + 35, b*l + 10 = 5*r for l.
5
Suppose 6*u = 58 + 14. Let i be u/(-6)*1*-1. Solve -2*m - 2 = -i*q, -3*q = -2*m + 3*m - 15 for q.
4
Let k(f) = 6*f - 30 + 4 - f**2 - 3*f + 8*f - 24*f. Let t be k(-10). Solve -3*q + 12 = -t*r - q, -3*r = -q + 10 for r.
-4
Suppose -2202*q - 1046 + 11893 = 1865 - 13038. Suppose 3*t = 4*g + 5, -5*t + 11 = -4*g - 0. Solve r + r - q = -m, -t*m + 5*r - 3 = 0 for m.
4
Suppose w - 3*u - 352 = 349, 3*w = 3*u + 2091. Let q = -685 + w. Solve -21 = 6*n - 2*n - x, -5*x - q = 3*n for n.
-5
Let s = -380 - 78. Let j = 460 + s. Solve c + 7*k - 19 = j*k, 2*c = -2*k + 14 for c.
4
Let m = 304 - 297. Suppose -l + 11 = m*a - 3*a, 5*l = -3*a - 13. Solve -q = u - 7, a*u + 0*u = 2*q + 16 for q.
2
Let n(f) = f**2 + 2*f + 2. Let r be n(-5). Let p be (2/(-12)*-2)/(r/459). Solve 20 = 4*y, -2*i + 4*y - 7 = p for i.
2
Let y = 2 + -2. Let i = 1777 - 1773. Suppose -5*n + i*d + 94 = 0, -n - d + 4*d + 10 = y. Solve -5*f = -2*w + w + n, 3*f + 12 = w for w.
-3
Suppose -21 = 3*r + 32 - 65. Solve r*c = 2*x + 4, 4*c + 15*x = 19*x - 4 for c.
3
Let v(p) = -p**3 + p**2 + 86*p + 13. Let a be v(0). Solve -3*r + 6 = 0, 4*b + 22 = a*r - 8*r for b.
-3
Let a(f) = -f**3 - 54*f**2 + 169*f - 109. Let t be a(-57). Solve 0 = x - t, 22*j = 17*j - 4*x + 45 for j.
5
Suppose -6*v = 267 - 399. Solve -3*a + 5*a = -4*z + v, 4*z - 5*a = 1 for z.
4
Suppose 0 = 4*w + 2*d - 6, -2*d - 3*d = -4*w - 1. Let i be (-5)/(w/10*5). Let p be (-15)/i*(-8)/(-12). Solve -3*c + 5*z + 23 = -6*c, z - p = 5*c for c.
-1
Let n(z) = 58*z - 14. Let a be n(6). Suppose -j - 3*c + a = -0*j, -4*c + 20 = 0. Let d be 2/(-12)*-2 - j/(-33). Solve -4 = i + 2*m + 1, -5*i - d = -5*m for i.
-3
Suppose 2*c = 5*q + 80, 16 = -2*q + q - 2*c. Let d = -16 - q. Suppose -x + 21 - 16 = d. Solve a + 5*o = -13, -5*a - o + 2 = -x for a.
2
Let b(v) = v**3 - 23*v**2 + 23*v - 17. Let g = 3 - -54. Suppose -13 = 2*s - g. Let d be b(s). Solve 3*q - 2 - 17 = -4*k, d*k = q for k.
1
Let c = -75 - -79. Suppose 7*q + c = 8*q. Solve 9*m - q*m = 5*v + 30, v - 14 = -3*m for m.
5
Let d = -577 + 577. Solve -10*x = -11*x - i - 6, d = -5*x + 4*i - 3 for x.
-3
Suppose 5*q - 10*q = -4*w + 1522, -5*q + 776 = 2*w. Let i = 386 - w. Solve 6*g = g - 3*k - 30, -g + 12 = -i*k for g.
-3
Let f = 54 + -33. Suppose 0 = 7*u - f - 21. Suppose -u - 6 = -3*r. Solve s + 2*b = 4*s + 25, -s = r*b - 15 for s.
-5
Suppose -8 = 10*z - 9*z. Let g be ((-2)/(-5))/(z/(-440)). Let l = g + -22. Solve 4*s - 9 = 5*a - 2*a, l = -2*a + s - 1 for a.
1
Let b be (-6)/(-8)*4 + 15*9. Let q = 201 - b. Let x = 68 - q. Solve -s = -3*j - 7, -x*s - 2 = 5*j - 17 for s.
4
Let h(j) = j**2 - 5*j - 9. Let s = -11 - -19. Let p be h(s). Let w be (12/54*3)/(2/p). Solve -41 = -w*y - 4*f, 3*y + 4 = 7*y - 4*f for y.
5
Let k(q) = 767*q + 3088. Let f be k(-4). Solve x + 4*x + 4*r = f, 25 = 5*r for x.
0
Let x = -13403 + 13443. Solve 8 - 6 = n - b, -x = 5*n + 5*b for n.
-3
Let s(r) = -2*r**2 - 12*r + 9. Let v be ((-20)/(2/1))/1. Let a be s(v). Let l = a + 74. Solve -3*d + 5*w = 2*w, -16 = -l*d - w for d.
4
Let v(a) = -2*a**2 + 9*a + 3. Let b be v(4). Suppose -b*y = -3*y - 12. Suppose -3 - 5 = -2*p. Solve p*o + 8 = -y*z, 0*o + 1 = o for z.
-4
Suppose 60*v = 24*v - 7020. Let s = -192 - v. Solve -3*f + 2*q = -8, 0 = 4*f - q + s*q + 8 for f.
0
Suppose -4*h = r - 20, h = 5*h - 5*r + 4. Solve 7 = 3*w - h*s + 12, -3 = 3*s for w.
-3
Suppose -6 = 5*z - 2*a, 4*z - 3*a = -3 + 1. Let r be z*21/(-6) + -3. Suppose -r*m + 1 = -7. Solve -3*t + u + 4 = -2*t, -m*t = 2*u - 12 for t.
5
Let k(u) = u**2 + 20*u + 86. Let p be k(-14). Solve s - n = 0, -n - n = p*s - 4 for s.
1
Suppose -18*i - 18*i + 12 = -96. Solve -2*g = -17*v + 16*v + 2, 0 = -i*v for g.
-1
Suppose 3*v = -s + 7, 16 = -32*v + 34*v - 5*s. Solve -j = -17*l + 13*l - 15, 3*l = -v*j - 15 for l.
-4
Let l(o) = -2*o + 3. Let s be l(-4). Let x be (2/9 - (-831)/27)*1. Let a = x - 28. Solve -3*z = 2*z - k + 20, 4*k = -a*z + s for z.
-3
Let l(x) = 2*x**2 + 30*x + 47. Let s be l(-14). Suppose 0 = u - 2*u - 3*y + s, 3*u + 4*y = 32. Solve -u*w - 23 = -3*m, 5*m - 4*w = -11 + 44 for m.
5
Let n be (-4)/((-3 + 2)*(-2)/80). Let s = n - -165. Solve s*v - 19 = a, 4*a = -2*v + a - 6 for v.
3
Suppose -26*h = -291*h + 795. Solve h*f - u + 20 = 0, -23 = 5*f + 5*u - 43 for f.
-4
Let b be 11*(2 - 3)*-1. Suppose -26 = b*r - 81. Suppose g + g = r*g. Solve g = -4*c - 2*d, -3*d = c + c for c.
0
Let v(b) = b**3 + 8*b**2 - 129*b + 13. Let c be v(8). Solve -3*d + c*s - 15 = 0, 0 = 9*s - 12*s + 9 for d.
0
Let z(w) = 16*w**2 - 82*w + 5. Let f be z(5). Let u be 7 - (-2 - f - 0). Solve j + c = 0, -6*c - 1 = u*j - c for j.
1
Let x = 97768 - 97764. Suppose 5*f - 46 = -2*l, -3*l + 56 = 5*f - 6*l. Solve 2*b = x*r - f, b - r + 8 = 2*r for b.
1
Let y = 2 + 83. Let a = 89 - y. Solve 0*g - a*g = -2*w - 22, g = -w - 2 for g.
3
Suppose -110*j +