 = -4*w for w.
-2
Let m(h) = 5*h**3 - 2*h**2 + 9*h - 25. Let i be m(4). Let d = i + -273. Solve -2*z + 5*n + d = 0, -5*n - 1 = 4*z + 7 for z.
3
Suppose -188*p + 189*p = -4*h + 41, -p + 48 = -3*h. Solve -4*a - 13 = q, 41*a = p*a - 5*q + 7 for a.
-3
Let z be 62/6 + (-40)/120. Suppose -4*y + 35 = 5*a + y, z = 5*y. Solve 0 = -2*m + 3*k + 12 - a, -3*m + 5*k + 13 = 0 for m.
-4
Let y(u) = -5*u - 1. Let s be y(-1). Let f = -345 - -350. Let p be 8 + (-5)/5 + (-6)/3. Solve -f*h - 28 = -p*g + 3*g, h = -s*g + 12 for g.
4
Let z(c) = 6*c**3 + 2*c + 3. Let n be z(0). Solve -5*b - n*r - 8 = 0, -2*r + 15 = -3*b + 14 for b.
-1
Let v(m) = 32*m**2 - 6*m + 5. Let z be v(1). Let d = -31 + z. Suppose -15 = 3*j + 5*a, d*j - 3 = -j + a. Solve 4*f + x + 4*x + 12 = 0, f - 2*x + 3 = j for f.
-3
Let t = -3303 - -3306. Solve -3*w = -t*o + 6, -14 = -o - 3*w - 8 for o.
3
Let x = -5286 + 5291. Solve -3*w + 3*k - 21 = 0, 20 = -x*w + 4*k - 12 for w.
-4
Let y = 3733 + -3733. Solve 2*m = z + 5 - 0, y = -5*z - 2*m + 23 for z.
3
Let d = 21002 + -20998. Solve 2 = 5*i + 3*w + 3, -12 = -d*w for i.
-2
Suppose 1604*m - 24 = 3*u + 1607*m, -u - 4*m = 32. Solve 0 = -4*v + 4*r - 12 - 8, -3*v + 2*r - 15 = u for v.
-5
Let a(g) = -118*g**2 + 1063*g - 6. Let h be a(9). Solve -3*v = 5*f + 15, -v - v - 10 = h*f for v.
-5
Suppose -11*d = -2*p - 17*d + 10, -5*p - 4*d = -14. Solve -6*s = 3*n - 2*s + 2, -10 = -p*n + 3*s for n.
2
Suppose -4*o + 42 + 36 = -2*z, 5 = -z. Let r = -11 + o. Suppose -2*b = 2*h + 8, -5*b = -7*b + h + 4. Solve b = -4*y + 5*t + 21, -y + r - 2 = -t for y.
-1
Let n be -737 + 752 + (-10)/(1 + 0). Solve -3*j - 19 = 4*q, -n*j = -31*q + 33*q + 27 for j.
-5
Let q = -2733 + 2749. Solve 5*n - 17 = -f, -4*n + q = -2*f + 4*f for f.
2
Let o(a) = -a**2 + 36*a - 294. Let h be 3*1/(-8) + (-3553)/(-152). Let i be o(h). Solve 3*y = y + 3*v + 12, -5*v - 25 = -i*y for y.
3
Let m = -1 + 11. Let i be 3 + 0 + -3 + (4 - 2). Solve 5*a + 5 = -2*k + 16, -2*k + i*a - m = 0 for k.
-2
Let m(f) = 2*f**3 + 11*f**2 + 17*f + 45. Let g be m(-4). Solve -3*x + 4*i - g = 0, -26*x - 3*i + 21 = -29*x for x.
-3
Suppose 0 = -j - j - 4. Let d be 3*(16/(-6))/j. Let c be 6/20*-7*200/(-70). Solve -3*r - 5 = 4*v, 14 + c = -d*v for r.
5
Let n(c) = -c**2 + c + 4. Let k be n(0). Let a = 306 - 225. Suppose -127*r = -154*r + a. Solve k*z + 2*d = 12, -3*d = 6*z - r*z - 6 for z.
4
Let y be -258 + -1 - (-5 + 3). Let l = y - -261. Solve -2*w + 14 = -3*n, l*w - 8 = 3*w + 2*n for w.
4
Let u(f) = -15*f - 175. Let c be u(-11). Let l be ((-16)/(-20))/(c/(-25)). Solve 4*z - 3*k = 0, 3*k = -4*z - l*k for z.
0
Let v(u) = u**2 + 91*u + 1422. Let q be v(-71). Solve -4*a + q*p = 43 - 19, -4*p = -3*a - 33 for a.
-3
Suppose 101*l - 298 = -252*l + 55*l. Solve 96 = o - 4*x + 103, 3*x = 2*o - l for o.
5
Let q = -1377 + 1381. Solve 3*b + q*h = 29, -5*b - 7 = -4*b - 2*h for b.
3
Suppose 3*q - 2*k = 1084, -5*q + 1407 + 383 = 5*k. Let b = 370 - q. Solve 0 = -2*n - 3*j - 13, 4*n + j + 11 = -b for n.
-5
Let h = 10930 + -10927. Solve d - 1 = a, 4*d + 22 = -h*a + 12 for a.
-2
Suppose 2 = 23*h - 44. Let l(v) = 2*v**2 - 5*v + v**2 - v**2 + 8 - 6*v. Let n be l(5). Solve -h*a = -3*s + 22, 2*a + n = 2*s + 3*a for s.
4
Let j(w) = 2*w**2 - 11*w + 1. Let p be j(6). Solve -5*i = 3*l + p, 4*l - 4*i + 47 = 59 for l.
1
Suppose -2*b + 2*t = -2, 3*b + 0*b - 2*t - 4 = 0. Let v = 109 - 110. Let g be 4 + (-30)/(-40) + v/(-4). Solve 0 = g*n + 41 - 16, b*k - 3 = -n for k.
4
Let b = 345 + -270. Let p = b + -73. Solve p*q - 20 = -0*i - 4*i, 0 = -4*i + 3*q for i.
3
Let g = -1 - -3. Suppose -11 = -j - 6*t + g*t, 0 = -5*t + 10. Suppose -3*n + 16 = 5*y, 382 = -3*y + n + 400. Solve 21 = j*m + 3*x + 2*x, -3*m - 9 = -y*x for m.
2
Let f(d) = -2*d**2 - 35*d + 31. Let l be f(-18). Suppose l*w - 40 = 3*w. Solve -3*c - 5*a - 1 = 7, -3*c + 28 = -w*a for c.
4
Let d = 184 + -58. Suppose d*b - 196 = 112*b. Solve 3*i + 15 = 0, 2*g - 2*i = -2*g + b for g.
1
Suppose 4*f - 16 + 0 = 0. Let t = -9326 - -9342. Solve f*s + 33 - 4 = 3*z, t = -3*z - 5*s for z.
3
Suppose 0 = 531*j - 523*j. Suppose j = 36*x - 41*x + 10. Solve -6 = -5*f + s + 2, x*s = -5*f + 14 for f.
2
Let s(q) = q**3 + 6*q**2 + 7*q + 15. Let y be s(-5). Solve 5*z = -2*r - 12, r + y*z - 2 + 13 = 0 for r.
-1
Let m(u) = -u**2 + 21*u + 5. Let h be m(9). Suppose 143 = 6*y + h. Solve d + o + 1 = 0, -d + y*o = 4*o + 7 for d.
-4
Let v be (9 - -2) + -8 - (-54)/(-2). Let x(j) = -6*j - 134. Let s be x(v). Solve -3*h = -3*a, -5*a + 24 = -h - s*a for h.
-4
Let z = -117 + 298. Let g = z - 179. Solve 5*t + 5 = 4*n + 15, 0 = 2*n - 4*t + g for n.
-5
Let o be (-2 - 58/(-4))*(1 - 24/40). Solve -2*b + 8 = o*l + 3, -5 = b for l.
3
Let u(x) = x + 20. Let i be u(-14). Let j(t) = 3*t**2 - 17*t - 4. Let n be j(i). Solve -2*f = -0*f - 4*m - 6, 4*f - n*m = 6 for f.
1
Let g = 6 + -3. Suppose d = 3*y - 1, 8 + 3 = g*y + d. Suppose 0 = 10*p - 15 - 5. Solve 2*v + p*v = 5*m + 2, 5*v + 14 = -y*m for v.
-2
Let f = -15 - -17. Let h = f - -5. Let y be (-10)/3*(147/(-14))/h. Solve -q + y*c - 3*c = -6, c + 6 = 2*q for q.
2
Let r(w) = w**3 - 13*w**2 - 22*w - 76. Let a be r(15). Solve 5*l = 2*c - 16, a*l + 3*c + 22 = 40*l for l.
-4
Let r(b) = -5 - 12 - 15*b - 14 - 13. Let t be r(-3). Solve 0 = v + c - t, -c = -6*v + v - 13 for v.
-2
Let x be 16 + (-1372)/84 + (-13)/(-3). Solve x*q + 3*u - 16 = 0, -16*u + 14 = -2*q - 12*u for q.
1
Suppose -206*g = -96*g - 73*g - 2109. Solve 5*y = 4*q + 16, -g*y - 8 = -59*y + 2*q for y.
0
Let a(w) = 300*w - 3898. Let p be a(13). Solve q = -o + 2, -p*q - 3*o + 7 = -2*o for q.
5
Let k = -71 + 75. Let b be k/(-16) - 9/(-4). Let z = b - 0. Solve 0 = -3*q + 3*a - 21, -3*q + 2 - 8 = z*a for q.
-4
Let o(d) = d**2 - 4*d - 1. Let r be o(-4). Let n = r + -28. Suppose -4*p + 3*p = -y + 2, n*p - 4 = y. Solve -4*c = y*v - 3, 3*v = 5*c + 8*v for c.
-3
Let f(q) = -2*q**2 + 14 + 14*q**3 + 13*q - 7*q**3 - 12*q**3. Let z be f(-1). Solve -4*n - 3*p + 7*p = 12, -z*n - 2*p = 0 for n.
-1
Suppose 5*t + 8*n = 6*n + 16, 4*n = -4*t + 20. Solve 4*y = 2*d + 10, -t*d - y = -5 - 5 for d.
3
Let t be 52/3*(-819)/(-364). Solve -3*d - 15 = 5*q, t*d - 25 = 44*d - 2*q for d.
-5
Let r(l) = -l + 1. Let w be r(-6). Suppose -3*t - w + 22 = 0. Suppose 3 + 10 = 2*a - 3*x, 5 = -t*x. Solve 0 = -5*c - 2*y - 5, c - 4 = a*c - 4*y for c.
-1
Suppose -15*g + 24*g - 315 = 0. Let u = g + -20. Solve -a - 3*f - 4 = 0, -5*a + 2*f - u - 5 = 0 for a.
-4
Let q = 211 - 207. Let p = 62 - 60. Solve -k - 3*w + p = 0, -4*k + 9*k - q*w - 29 = 0 for k.
5
Suppose 128 = 16*l - 175 - 1. Solve -3*r - 4*o - 3 = 0, -15*r + l*r - o + 4 = 0 for r.
-1
Let o(f) = -8*f - 139. Let z be o(10). Let k = -219 - z. Solve -4*u + 4*y = -16, -2*y + k*y = u - 7 for u.
5
Suppose -307*a + 310*a = 39. Solve n = -2*n + 4*i + a, -5*i - 8 = -n for n.
3
Let a = 0 - 0. Suppose a = -3*d - 2*d. Let i = 17447 - 17439. Solve -3*h + q - 4 = -2*h, 3*h + q - i = d for h.
1
Let t(n) = -153*n + 1077. Let j be t(7). Solve -17*x + 16*x - j = -5*u, 0 = -3*x - 4*u + 20 for x.
4
Suppose 0 = 13*j - 8*j - 25 + 5. Solve -2*q + 5*l - 31 = -5, 0 = -3*q - j*l + 7 for q.
-3
Let h be ((-133)/(-21) + -13)/(2/(-6)). Suppose n - h = -5*c + 1, 5 = 2*c - 3*n. Solve c*d = 0, 0*z + d = -3*z + 9 for z.
3
Let t = -26 + 30. Let z be ((-126)/(-4))/(15/(-30)). Let k be z/(-14) - (-9)/(-6). Solve 2*h = t*h - 4*n + 16, k = -h + n for h.
2
Let y be 0/(-1)*(77/44 - 2). Solve 2*i + 4 = -4*g - 0*g, y = -3*i - g - 11 for i.
-4
Let t be ((-7376)/432 + 17)*-27. Solve t*o + 100 = 92, 0 = -4*g + 2*o + 4 for g.
-1
Let s(w) = -w**3 + 4*w**2 + 13*w - 1. Let c be s(6). Suppose -c*g - 3 = -6*g. Suppose 0 = -3*b - g + 15. Solve -i - 15 = 2*l - 2*i, -3*i = -b*l - 35 for l.
-5
Suppose 0 = -i - 3*x + 11, 0*i + 3*i + 6 = 4*x. Let y = 3231 + -3231. Solve 5*v + y*m - 5*m = 0, 4*v + i*m = -6 for v.
-1
Suppose -13 = 4*d - 11*m, 2*m + 0*m - 1 = d. Solve -2*s = 4*f + f + 23, -d = 2*s - f for s.
-4
Suppose -5*w = -t - 19, -5*w + 0 = 4*t + 1. Let a be (-2)/w*(-12)/16*8. Solve -2*i = 4*j + 16, -1 = a*i - 2*j + 1 for i.
-2
Let w(g) = -g**2 - 15*g - 45. Let o be w(-10). Let x be 4*((-27)/6 + o). Solve 2*n = x*i - 12, 3*n + 13 = i - 1 for i.
2
Let r(o) = -4*o**2 + 1. Let s be 8/24 + (-4)/(-6). Let t be r(s). Let k be (22/(-3) + 4)*t. Solve 5*a = k, 4*a - 17 = 3*v - 0*v for v.
-3
Let q(d) = -d**2 +