4*w = -12, 0 = m - 2*w + t + 3 for m.
-5
Let a(k) = -2*k + 23. Let f be a(10). Suppose f*s = -2*s + 30. Suppose -5*l + n = -3*n - s, -3*n = -3. Solve -4*z + 9*z - 2 = x, l*x + 4 = -3*z for x.
-2
Let c = 3267 + -3257. Solve -5*n = c, -4*n = -r + 1 + 3 for r.
-4
Let l be 17/8 + 1*(-4)/32. Solve 0 = 4*c - l*t + 6, 12*c - 11*c - 11 = 3*t for c.
-4
Suppose -2*g = 2*g + 20, 0 = -b + 2*g + 14. Let r(c) = c**2 - 6*c + 6. Let v be r(b). Let t be -1*15/(-5 - v). Solve 0 = 8*p - 3*p - 15, 0 = 3*z - t*p for z.
5
Let d = -97 + 40. Let h = 61 + d. Suppose 0 = 4*s + 4*x - 72, h*s + 2*x - 34 = 32. Solve -3*p + 6*p = -a + 17, -5*p + a = -s for p.
4
Let s = 17193 - 17191. Solve s*p + 3*j = -2, 4*p - 2*j = -5 + 17 for p.
2
Suppose 370 - 65 = 61*x - 122. Solve x = 2*v - 5*a, 16*a = -v + 15*a for v.
1
Let t = -333 + 1. Let w = t - -341. Solve w = 5*a + z - 14, -4*z = -12 for a.
4
Let j = 1765 + -1762. Solve g + j = 0, 3*i = 18*g - 17*g + 3 for i.
0
Let j(m) = -39*m - 425. Let f be j(-11). Solve -4 = -5*b + f*c - 17, b = -5*c + 9 for b.
-1
Let f(n) = n**2 - 41. Let l(h) = 3*h**2 - 40*h - 21. Let i be l(14). Let a be f(i). Solve -3*m + 2*j + 17 = 0, 3*m + a*j = 3*j - 11 for m.
3
Let f(k) = k**3 - 4*k**2 - 6*k + 9. Let l be f(5). Suppose l*x - 25 = -t, 0*x = -2*t + 2*x. Solve 4*b + t = -0*q + 3*q, -3*b - 4*q = 10 for b.
-2
Let c(m) = -71*m - 2198. Let s be c(-31). Solve v - 3*k + 4 = 16, -3*v - s*k = 12 for v.
0
Suppose 2*a = a + 2*y + 4, a + 3*y + 6 = 0. Solve -2*b - 8 = a, -2*i - 18 = -6*b + 8*b for i.
-5
Suppose 0 = 12*i - 880 + 40. Let z be 120/i + ((-18)/(-14) - 1). Suppose 2*u + 2*u - 20 = 0. Solve -u*o + 8 = -3*t - z, -t = 0 for o.
2
Suppose n - 9*s + 14*s - 8 = 0, n - 17 = -2*s. Solve 2*b = 4*i, -n*b - i = -26*b for b.
0
Let c(v) = -5*v**2 + 87*v + 58. Let p be c(18). Solve 3 = -o - p*x, 14*o - 13*o - 3*x = 11 for o.
5
Let i be ((10/(-40))/((-14)/(-56)))/(-1 - 0). Solve z + i = l, 10*l - 5*z = 7*l - 1 for l.
3
Suppose -3*w + 2*w + 1 = 0, -y + 2*w - 648 = 0. Let a = y - -663. Solve -4 + 1 = 3*r, 5*k - 2*r - a = 0 for k.
3
Suppose 80 = 11*w + 14. Suppose -w*m - 7 = -m - 3*h, 15 = -5*m + 5*h. Solve v + m = 2*s + 13, -5*v = -10 for s.
-5
Let a = 1 + -7. Let s be (56/12)/(2 + 10/a). Suppose 3*f + 11 = q, -3*f - 5 + s = 3*q. Solve 5*r = -w + 7, -r + 15 = 4*r + q*w for r.
1
Let f be 2 + 2 + -7 + 8. Suppose 0 = 18*h - 19*h + 2. Solve 0 = 4*n + 12, h*b - 15 = b + f*n for b.
0
Suppose -468 = -106*n - 150. Solve 3*x + 3*c - 6 = 0, -3*x = c + n - 1 for x.
-2
Suppose -1445*a = -1418*a - 540. Solve 0 = 3*y + 5*d + 1, -19*y = -a*y + 5*d - 7 for y.
-2
Let m = 279 - 274. Let n be 1/((-2)/m + 18/36). Solve 5*c + 3*j = -4, -j + n = -3*c - c for c.
-2
Let x be -2*(-25)/20*86. Let s = x + -210. Solve 5*p = 4*o + s, -p + 2*o + 5 = 2*p for p.
5
Let s(q) = q**3 - 7*q**2 - 6*q - 12. Let r be s(8). Solve -2*y - 10 = r*z, z = -4*z - 2*y - 14 for z.
-4
Suppose 105*g - 30 = 110*g. Let v be (-6)/(-4) - (g - (-210)/28). Solve v = -4*q - 2*d - 26, -4*d - 14 + 2 = 0 for q.
-5
Suppose -l = -44 + 40. Suppose 0 = -l*r + 14*r - 60. Suppose 0 = r*n - 21 - 15. Solve -3*z = -n, -s - 2*z + z = -7 for s.
5
Let t(l) = -11*l - 32. Let c be t(-3). Suppose -4*d - 11*i = -6*i - 20, -3*d - 2*i + 8 = 0. Solve y + 2*b - c = -d*y, -y - 3*b = -4 for y.
-5
Let j be 3*3*(-5)/(-15). Let h(i) = -4*i**2 - 25*i - 30. Let k be h(-4). Solve -p + 13 = j*b, k*p - 35 = p - 5*b for p.
4
Let t be 1/3 + -8*1/(-3). Suppose f - 27 = 3*l - l, -t*f + 4*l = -83. Let u = 32 - f. Solve -1 = h - 0*o - 2*o, 4*o = u*h + 7 for h.
-5
Suppose d - 2*o - 3 - 17 = 0, 12 = -3*o. Solve 3*n - d = -4*m, 2*n - 2*m = -3*n - 32 for n.
-4
Let k(p) = 2*p**3 - 34*p**2 + 30*p + 34. Let g be k(16). Solve -l - 5 = -2*v - g, -v + 4*l - 16 = 0 for v.
4
Let v be 50/5 - 4 - 3. Suppose 5*p + 32 + 23 = 0. Let c = -7 - p. Solve 0 = 5*l + 5*g - 25, v*g = -c*l + 2*g + 14 for l.
3
Let a = 33955 + -33950. Solve -113*l + 115*l = 3*u + 16, -2*u + 2 = a*l for l.
2
Suppose -17*p - 15066 = 14*p. Let v = p + 495. Solve -5*q = -4*r - 13 - v, -8 = -q + 2*r for q.
2
Let c = 3599 - 3594. Solve -5*v - 29 = -n - 8, -2*n + 27 = -c*v for n.
6
Let j be (-2134)/679 - 66/(-21). Solve -o - 2*x = -0*x, 4*o - x = j for o.
0
Suppose 2*z + h = z + 5, -1 = -h. Let k be (0 - z) + (-9 - -17). Solve -s - s - 1 = p, k*p - 11 = -3*s for p.
5
Let l = -2198 + 2211. Solve 6*j - 8*j = -5*h - l, 0 = -3*j - 3*h - 12 for j.
-1
Let g(u) = -55*u - 1646. Let a be g(-30). Solve -i = -5, -5*r = -a*r + 4*i - 23 for r.
3
Suppose -225 = 320*j - 365*j. Solve 4*s - 22*f = -20*f, j*s + f = -7 for s.
-1
Suppose 0 = 8*f - 9*f - b + 749, -4*b = 3*f - 2250. Suppose f*l - 18 = 740*l. Solve x + 15 = -5*y + l*x, 0 = -2*x for y.
-3
Let l(r) = -r**3 - 3*r - 3. Let o be l(-1). Let f be 0/17*o*-1. Solve -2 = 3*j + 3*k + 7, -3*j - k + 1 = f for j.
2
Suppose -2*u + 32 = 4*a, 19*a - 20*a = 2*u - 17. Solve u = 5*p - 197*f + 193*f, 2*p + 2*f = -12 for p.
-2
Let i be ((-16)/6)/(4/(-6)). Suppose -4*g + 5*x = -13, 2 = -0*g - g - i*x. Suppose 0 = -g*f + 11 - 7. Solve -z + 3 = f*q, -3*z = -2 - 7 for q.
0
Let y be ((-8)/(-12) + -2)*-6*5/10. Solve 0 = -4*n + b - y + 7, -5*b = 2*n + 15 for n.
0
Let n be 0*((-14)/(-4) + -4). Let a(t) = -3*t**2 + 2*t + 17. Let g be a(n). Solve 3*r + 3*v = -0*r - 3, -2*r = -3*v + g for r.
-4
Suppose -6*q + 3*q = -9. Let m(r) be the first derivative of -r**3/3 + r**2 + 7*r - 40. Let s be m(q). Solve u = -u + 4, -12 = s*p + 2*u for p.
-4
Suppose 652*b = 644*b + 16. Suppose 0 = -2*t - 2*m - b, 0 = -2*t - 0*m - m. Solve 5*x - 5 = -4*y, 4 = 5*x - 5*y - t for x.
1
Suppose 0 = 9*h - 31 + 13. Let q = -26 - 6. Let v = q + 34. Solve 3*y = -h*c - 18, -2*y - 14 = -0*c + v*c for y.
-4
Let s(h) = -57*h + 287. Let t be s(5). Suppose -43*o + 44*o - 8 = 2*u, -t*o - 2*u - 2 = 0. Solve 0 = 2*d, i = -o*i + 3*d - 12 for i.
-4
Let n = 21594 + -21582. Solve 2*d + 12 = -d - 3*x, 0 = -4*d - 5*x - n for d.
-8
Let w(v) = 132 + 190*v - 566*v + 191*v + 189*v. Let k be w(-27). Solve 6*m = a + 2*m + 12, 2*m - k = -4*a for a.
4
Let w = 4 + 2. Suppose 9 = 3*b - 2*p, 2*b + 1 = 4*p - 1. Suppose 5*r - 5*x = -b, -x - 2 = 5*r - 5*x. Solve -d = r*h, 3*h = d - w*d - 7 for d.
-2
Let u(g) = -g**3 - 13*g**2 - 8*g + 79. Let q be u(-12). Solve -5*i - q = -4*d, 2*d + 20 = 7*d for i.
-3
Let c be -1*(0 + (-12)/4). Suppose -d + c = 4*j - 4, 107 = 5*d + 2*j. Let z = 41 + -21. Solve -o = 2*o - 5*n - d, 5*n = -z for o.
1
Let n(c) = c**3 - 3*c**2 - 24*c + 2. Let l be n(-3). Solve 4*h - 4*p + 20 = -0*h, 5*p = l for h.
-1
Suppose 5*w - 4*k = -13, 24*k - 11 = w + 22*k. Solve -3*u + w*o + 8 - 14 = 0, -3*o + 14 = 5*u for u.
1
Let s(v) = -2*v + 57. Let i be s(27). Suppose m + 3 = 7. Suppose -t - m*u = 2, -3*u = -i*t + u + 74. Solve 6*b - b + t = 4*z, -5*z = -2*b - 14 for b.
-2
Let m be ((-110)/(-22))/(-1 - 20/(-18)). Let y be (-9)/(m/(-20)) - 1. Let b be ((-20)/15 + 2)*y. Solve -5*r - 2*w + 3*w = 0, b*r + w = 7 for r.
1
Let z = 152 + -185. Let s be 21/(-35) + z/(-5). Solve 5*q - 2*j = 10, 3*j - s*j = -q + 2 for q.
2
Suppose -17 = -5*l - 2. Suppose 0 = 4*s - 5*r - 243, -3*s + l*r + 135 = -51. Let g = 72 - s. Solve -5*i + 15 = -g*z, -7*z + 3*z + 16 = 3*i for z.
1
Suppose 5*a + 1537 = 4*n + 19, 2*a + 4*n = -624. Let m = 317 + a. Solve 5*o + 2*i + 12 = 0, -9*o + 6*o - 5*i - m = 0 for o.
-2
Suppose -42*h + 37*h + 65 = 5*r, 4*r = h + 42. Solve y = -3*o - 2, -6 = r*y - 8*y - 5*o for y.
-2
Let u(h) = h**2 - 6*h + 2. Let q be u(6). Let d be 8/(-20) + q/5. Solve 28 = 2*f - 5*j, d = -0*f + f + j for f.
4
Suppose 32*q + 21955 - 22019 = 0. Solve 4*k = q*u + 10 - 36, 2*u = -3*k - 2 for u.
5
Let k be (140/75)/((-18)/(-135)). Solve h - 4 = -y + 2, -k = -3*y - h for y.
4
Let l be (976/80 - 14)/(-2 + 18/10). Solve -2*d - 5*o = 6, -12 = l*d - 10*d + 5*o for d.
2
Suppose -177*f + 78 = -180*f. Let h(y) = 6*y + 158. Let o be h(f). Solve -o*t - 4*g = -4, 3 = g - 0*g for t.
-4
Let i = -36 - -38. Let y be (32 - 2)/5 - i. Suppose q = 0, y*v - 3*v = 2*q + 3. Solve 0 = 3*b + 3*u - u + 16, 6 = -v*b + 3*u for b.
-4
Suppose 2*t = -j - 3*j - 8, -4*t = -4*j - 32. Suppose -15*i + t*i + 55 = 0. Solve f - 2 = 4*l, -3*f = -3*l + f + i for l.
-1
Suppose 3*b + 0*b = -6, -2*d - 48 = -3*b. Let i(z) = 12*z + 327. Let s be i(d). Suppose 2*g - 2 - 4 = 0. Solve -4*l - 21 = -5*y, g*y + 8 = s*l + 23 