Let h be 1568/168*6/8 + -3. Solve -4*m + 2*m = 10, 2*m + 18 = -h*a for a.
-2
Let d = 11007 + -11003. Solve -4*j - 8 = d*n - 7*n, 0 = 5*n - 2*j - 18 for n.
4
Let s = -11 + 21. Suppose 3*z - 8*z + s = 0, -m + z + 51 = 0. Let v = m - 49. Solve 4*i + 9*o = v*o + 4, -5*o + 3 = 3*i for i.
1
Suppose 3*x + 4*k - 133 = 0, -2*x - 3*x = -4*k - 211. Let l = 142 - 87. Let n = l - x. Solve -2*u - 5*q = -n, -5*u = -u + q - 6 for u.
1
Suppose b - 2*n - 7 = 0, -23*b + 21 = -19*b - n. Solve 2*i - 35 = b*u, -i - 17*u = -16*u for i.
5
Let s be 11/((-20)/6 + (3 - 0)). Let o = -25 - s. Solve c + 3*u = o*u - 10, 3*u - 6 = 4*c for c.
0
Suppose -5*c + 70 = 2*z + 3*z, 0 = z + 5*c - 22. Solve 7 = -5*k - 8, -q + 5*k = -z for q.
-3
Let c = 30286 + -30282. Solve 5*t = -5*u + c*u - 12, -3*u - 4 = -t for u.
-2
Let f(u) = -16*u**2 + 46*u + 29*u**2 - 34*u**2 - u**3 + 2. Let g be f(-23). Suppose 10*a = g*a. Solve j + 3*s = -5, 2*j - 3*j + s - 5 = a for j.
-5
Let i = 62 + -113. Let g = i - -53. Suppose h + 3 = g*f + 2*f, 4*f + 2*h = -6. Solve -4*o + v + 15 = f, 4*o - 2*v = -0*v + 14 for o.
4
Let j = -11797 - -11799. Solve -6*d + 3*d - 3*w = -12, 3*d - 11 = -j*w for d.
3
Suppose 2*i = -3*u, 4*u - 2*u = -i. Suppose -6*q + 11*q - 475 = u. Let a = q + -70. Solve 3*d + 8 = 3*w - 4, 0 = 5*w + 4*d + a for w.
-1
Suppose 3*o = -3, 0 = -3*w - 5*o + 21 - 26. Solve 4*z = w, b + 19*z - 14*z = 4 for b.
4
Let h(r) = r**2 + 24*r - 43. Let t be h(2). Suppose -t = 3*n + 5*g, -3 = 10*n - 13*n - g. Solve 5*x = -3*o + 31, 2 + 2 = n*x - 3*o for x.
5
Let g be (-2 - -1) + 1 - 0/(-353). Solve -4*p = n + 3*n - 8, -5*n + 5 = g for p.
1
Let f(p) = 5*p + 6 + 13*p**2 + 3 + 3 + 7*p**3 - 6*p**3. Let b be f(-12). Let u = b + -92. Solve 23 = -3*i + 4*w, -7*w = -u*i - 2*w - 29 for i.
-1
Let y(l) = l**2 + 12*l - 24. Let z be y(-14). Let q be ((-9)/(-6))/((-21)/6 + z). Solve 5*k - 40 = q*p, 0 = 3*p - 0*k + 5*k - 10 for p.
-5
Let h(s) be the first derivative of -s**4/4 + 4*s**3 - 5*s**2 - 19*s - 19. Let j be h(11). Let w be 5/2*4/j*-4. Solve w = 5*l, 0*g = -2*g - 3*l + 1 for g.
-1
Suppose 0 = -18*b + 17*b + 92. Suppose -55 = -21*z + b. Solve -p - r - r = 1, -2*p + r = z for p.
-3
Suppose -164*g + 34 + 294 = 0. Solve o - 10 = -g*o - 5*q, -2*o + 3*q + 13 = 0 for o.
5
Let m(b) = 0*b - 31 + 8*b - 19*b. Let h be m(-3). Solve -h*w + 11 = -5*l, 0 = 3*w - 8*w + 3*l + 18 for w.
3
Let w(y) = 145*y + 96. Let v be w(-3). Let x = v + 343. Solve x*f - 6 = -5*j, -3*f + 14 = -j - 0*j for f.
4
Let u = -1792 + 1795. Solve 4*d + 19 = 3*b - 4, b - 16 = u*d for d.
-5
Let n be 27 + (-73)/(2920/960). Suppose 0 = -3*y - y + 16. Solve 0 = 2*t - 2*d - 12, n*t + y*d - 18 = -7 for t.
5
Suppose 0 = 2*h - 3*p + 11, -5*h = -p - 0*p - 5. Solve 13 = -3*d + h*r, 3*d + 22 = 4*r + 5 for d.
-3
Suppose 5 = 5*i + 4*n - 1, n - 7 = -4*i. Suppose -7*r + i*r - 310 = 0. Let m = 62 + r. Solve q = h + 5*q + 13, m = -h + 5*q + 5 for h.
-5
Let o be -1 - -2 - 11*3/(-3). Suppose -3*q - 4*h = 2*q - 16, 3*h = -2*q + o. Solve -2*t + q*t - 9 = 5*p, p - 5 = 3*t for p.
-1
Suppose 9 = 3*w + 3*s, 3*w + 1 - 2 = -s. Let p(j) = -j + 3. Let o be p(w). Let k be 0*o/(-32)*-4. Solve u + 2*u + c = 6, k = 4*c for u.
2
Suppose 0 = 3*t + 5*z + 26, 0 = -2*t - 41*z + 45*z + 34. Solve -13*x - 5 = 3*y - 15*x, 10 = -5*y + t*x for y.
-5
Let i = 5096 + -5094. Solve -i*s - b + 4*b - 11 = 0, -5*s = -b + 21 for s.
-4
Let o(q) = -q**3 - 83*q**2 - 172*q - 773. Let s be o(-81). Solve -2*k = -4*n - 10, -5*k + s*n - 35*n = 7 for k.
-3
Let m be -6*(4/(-6) - 0). Suppose -5140 = -2112*z - 458*z. Solve -18 = z*l + 5*i, -5*l + m*i - 16 = 2*i for l.
-4
Let x = -23 + 26. Let v(h) = h**2 + 12*h + 34. Let o be v(-11). Suppose 8*w - 33 = o. Solve x*i = w*i + 2*p + 18, 4*i + p + 19 = 0 for i.
-5
Let h be 1*-3*34/(-3). Suppose 0 = -j - 29 + h. Suppose 6 = -3*i, -14 - 6 = -j*q + 5*i. Solve -4*r - t = -q*r + 5, 2*t + 10 = 3*r for r.
0
Suppose -170 = -61*j + 27*j. Solve -q - 5*w = -w + 13, 0 = -j*q + 2*w - 21 for q.
-5
Let q be (232/(-36) + 7)*(3 - -6). Solve -39*c + 5 = -k - 37*c, 5 = -k - q*c for k.
-5
Suppose -6*l - 18 = -66. Let x(s) = s - 4. Let g be x(l). Let t be g/(-30) + ((-186)/(-45) - 1). Solve 0 = -6*w + t*w + c + 3, 4*w + 12 = -4*c for w.
0
Suppose 5*o - 3*b = 1500, -4*o - 5*b + 2*b + 1227 = 0. Let c be (o/(-505))/((-2)/10). Solve -12 = c*d - f - 2*f, 3*d + f = -12 for d.
-4
Let p be (-8 + 7)*6/(18/(-15)). Let h(l) = l + 10. Let m be h(-9). Let w be (2 + (13 - m))*1. Solve 5*k + 0 - p = 2*f, 0 = k - 3*f - w for k.
-1
Suppose 2*t = -t. Let a(k) = 2*k**3 - 5*k**2 - 3*k + 7. Let l be a(3). Let p be l/(70/12)*35/21. Solve 0 = -5*d - 5*s - 0*s, t = -d + s + p for d.
1
Suppose -3*c + 1 - 13 = 4*t, 2*c = 4*t - 28. Let q = 31 - c. Let p = q + -31. Solve -2*g = 4*v + 22, -2*g + v + 1 = p for g.
-5
Let k(d) = d**3 + 2*d**2 - 27*d - 16. Let w be k(-6). Suppose 2*s - 3*g - 4 = -w, 0 = 4*g - 8. Solve 0*p = s*p + t - 14, p - 9 = -3*t for p.
3
Suppose v = 6*v - 20. Let r be 1*5 + (-57)/19. Suppose r*c - 3 + 4 = 3*i, 3*i + 2*c = 5. Solve 3*t + 5*s - i = 0, v*t - 4 = -2*s - 2*s for t.
2
Suppose -151*j + 255 = -221 + 23. Solve 4*r - 17 = a - 30, r = -j*a for r.
-3
Let r(p) = 2*p**2 + 47*p - 20. Suppose 3*w + 76 = -2*m, -2*w + 3*m + 78 = -5*w. Let i be r(w). Solve -5*z = -i*n + 18, -4*z = 6*n - 2*n for z.
-2
Let a(f) = 4*f**2 + 18 - 10*f**2 - f**3 + 0*f**2 - 4*f. Let k be a(-4). Solve k*w + 5*t = 4*w + 33, 4 = 4*w + 4*t for w.
-4
Let o(f) = -94*f**2 + 14*f - 83*f**2 + 178*f**2 + 4. Let y be o(-14). Solve 2*z + z + 7 = 2*a, y*a - 16 = 4*z for a.
5
Let x = 238 + -233. Suppose p - x*s + 5 = 0, -1 = -0*p + p - s. Solve 2*i + v + 4 = p, -2*i - 7*v + 2*v + 12 = 0 for i.
-4
Let a = -2944 - -2961. Let b = -18 + 33. Suppose 3*u + 5*f = 26 + 14, u + 2*f = b. Solve -3*r - u*g - a = -4*r, -11 = r + 2*g for r.
-3
Let f = -6 + 28. Suppose 0 = u, 0 = 2*n - u - 59 + 13. Let c = n - f. Solve -5*h = -y - 13, -2*h = -2*y + 3*y - c for y.
-3
Let n = 426 - 408. Suppose -57*h = -51*h - n. Solve 4*i + 4 = -2*w + 2, -3*i = h for w.
1
Let x(i) = 12*i - 106. Let k be x(9). Solve 31 = 5*c - k*b, 5*c = 10*c - b - 28 for c.
5
Let w(h) = 7*h**2 - 14*h - 151. Let y be w(-9). Let u = -542 + y. Solve -k - l + 4 + 0 = u, 5*l - 2 = k for k.
3
Suppose -x + 5*r - 17 = 2*r, 0 = -5*x + 2*r - 20. Let j be (-5 - -4)/(x*2/8). Solve 4*g = 4*f - j*f, 0 = 2*g + 5*f + 12 for g.
-1
Let g = -235 - -238. Suppose -3*o + 20 = o - 2*j, 0 = -g*j. Solve -2*u - 4*y - 1 = -o, u + y = 1 for u.
0
Let a(s) = -95*s - 72. Let b be a(-5). Let y = 408 - b. Solve 2*n + y = -3*n + 4*k, -3*n - 5*k - 3 = 0 for n.
-1
Let l = 98 + -95. Suppose -2*p + l*v = 4, p + p - 28 = -5*v. Solve -13 + 3 = j - 4*q, p*j - 5 = q for j.
2
Suppose 14*b - 13*b - 12 = -10. Solve -2*a = p + 3, 13*p + b*a - 9 = 8*p for p.
3
Let g(i) = i**3 - 8*i**2 - 43*i + 352. Let f be g(7). Solve -4*a + 5 = -3*w, -3*a - 5*w = -f*a - 7 for a.
2
Let n(t) = 4*t + 39. Let j be n(-13). Let v(i) = 11*i + 15. Let m be v(j). Let w = m + 131. Solve w*b = -h - 2*b - 17, -5*h - 4 = -2*b for h.
-2
Suppose 2*d - l = 18, -4*d + l - 73 + 101 = 0. Solve k - d*x = -10*x + 21, 0 = -2*k + 2*x - 6 for k.
1
Suppose 8*c + 755 = -677. Let y = 191 + c. Solve -5*i = k + 2, y = 5*k + i + 2*i for k.
3
Let z(x) = x**3 - x**2 - 3*x - 3. Let f be z(3). Let o be (10/f)/(10/108). Solve 5*p = 3*y - o, -5*y = -2*p - 0*p - 11 for p.
-3
Let x be 839/28 - 362/(-10136). Solve 17 = r - 4*m, -m + x = 3*r - 6*m for r.
5
Suppose -4*q - 7*j = -2*j - 37, 2*q = 5*j + 11. Let b be 2 + (q - 4) + -3. Let h = 205 - 202. Solve h = -2*g + b*p, 0*g = 2*g - 2*p + 4 for g.
-3
Let c(n) = -15*n - 162. Let h(l) = 7*l + 82. Let r(o) = -2*c(o) - 5*h(o). Let q be r(-18). Solve -q*m - 3 = t, 0*m - 4*m - 2*t - 2 = 0 for m.
-1
Suppose -5*m - 27 = -92. Suppose -452*h + 451*h + c = 0, 3*h + 5*c - 32 = 0. Solve -h*n + 11 + 8 = -5*d, 4*n = 3*d + m for d.
-3
Suppose -38 = 108*o - 110*o. Let f = o + 21. Solve 3*j + q = 20, 0 = -0*j - 4*j - 4*q + f for j.
5
Let x = 151 + -87. Suppose l + 7*l - x = 0. Suppose 0 = -q - q - 4*v - 12, -4*v - l = 4*q. Solve -q*d + b = -0*b + 10, -d + 3*b - 15 = 0 for d.
-3
Let g(b) = -5*b**3 + 3*b + 4*b**3 - 20 + 0*b + 25*b**2 - 2*b + 0. Let k be g(25). Solve 6*u = 2*u + 4, p = -k*u + 1 for p.
-4
Suppose 10*s - 49 = 81. Suppose -f - s = -15. Suppose -4*c =