= -3*m - 29*i - 9, 4*i - 13 = y*m for m.
1
Let l = 19250 + -19245. Suppose 2*x = 2*u - 12, -12 = -4*u + 3*u + 3*x. Solve l*o = -5*p + 15, -2*p - 8 - 6 = -u*o for p.
-1
Let k = 12 - 18. Let j be (-18)/(-54) + (-58)/k. Suppose 7*s = j + 39. Solve -2*o - s + 4 = m, -5*m - 3 = -2*o for o.
-1
Let q(v) = v**3 - 14*v**2 + 25*v. Let t be q(2). Solve 16*k - 18*k = 5*a - 34, -t*a = -2*k - 8 for k.
2
Let p(z) = -65*z - 18. Let g be p(-3). Let u be (6/7)/(g/413). Solve 0 = -u*t - 0*r + 2*r, -r = 0 for t.
0
Let h(n) = -3*n - 6*n - 5 - 134. Let j be h(-16). Solve j*y - 3*d = -0*d - 1, 0 = -y + d + 1 for y.
-2
Let u(v) = -2*v**2 - 21*v - 50. Let w be u(-6). Solve -3*z = -3*k, 0 = -w*k + 6*k + 3*z - 20 for k.
4
Suppose 163*a - 147 = 1646. Solve 15 = -18*s + 15*s, -2*s = -q + a for q.
1
Let k(d) = 5*d**2 - 4*d + 1. Let c(h) = 11*h**2 - 8*h + 3. Let o(g) = -3*c(g) + 7*k(g). Let q be o(3). Solve q*x = -2*j - 3*j + 20, 4*x + 4 = j for j.
4
Let r = -13216 + 13221. Solve -i + h + 1 = -0*h, -r*h = i + 17 for i.
-2
Suppose 8*j = j + 56. Suppose 0 = 4*h - v - 5, 5*h - 9*v = -j*v + 7. Solve -h*l + l - 4 = 0, 0 = -4*c - l - 16 for c.
-3
Suppose -3*n + 0*o + 18 = 3*o, 4*o = -n + 18. Let p be (-288)/(-24) - (4 - -3). Solve 5*q + 5 = p*d, 5*q - d = -n*d + 13 for q.
2
Let o = 231 + -146. Let d = o - 81. Suppose d*y + 3 - 19 = 0. Solve 5*i - y*a = -2*a - 3, -2*a + 5 = -3*i for i.
1
Suppose -2*m = 4*w + 2, 12*w - 11*w + 8 = -2*m. Solve 2*k = b + 10, -w*k + k = -5*b - 5 for k.
5
Let s be (-8)/5*((-140)/(-8))/(-7). Suppose -s*r = 4*z - 44, 38*z + 54 = 43*z + 4*r. Solve -4*d = 3*x + 11, x = -3*x - 3*d - z for x.
-1
Suppose -4*m = -z - 14, 3*z = -m + 4*m - 6. Suppose -6*i - 21 + 33 = 0. Suppose 0 = 4*a - 14 - i. Solve -a*s + n + 10 = 26, z*n - 8 = 0 for s.
-3
Let x = -12166 + 12168. Solve 3*r = -5*k + 13, x*r + 7*k = 6*k - 3 for r.
-4
Let u be 3 - 5/(10/8). Let t be u/(-2)*(-36)/(-2). Let c = 14 - t. Solve -s - c*o - 17 = 0, 0 = -4*s - 3*o + 4*o - 5 for s.
-2
Let z be (4/(-16))/(10/(-13400)). Let o = z - 331. Solve -d - o*f = -0*d + 10, 5*d - 25 = 5*f for d.
2
Let k be 35/(-14)*(0 + -2). Suppose -2*n + 141 = -3. Suppose 0 = -9*c + k*c + n. Solve -s + 9 = 5*t + 32, 2*s = -3*t - c for s.
-3
Suppose 0 = j - 4*a - 20, -2*a - 152 = -5*j - 34. Suppose -264 - 72 = -j*g. Solve 3*i = 2*h + g, -2*h + 0 = -4*i + 16 for h.
-4
Suppose -40436*o + 60 = -40421*o. Solve 5*d + 27 + 1 = 4*g, 4 = d + o*g for d.
-4
Let u(b) = -2*b + 27. Let j be 2*(-12)/8*(-6)/(-2). Let v(h) = -h**2 - 9*h + 12. Let p be v(j). Let g be u(p). Solve g*w - 2 = 4*t + 2, -2*t - 12 = -4*w for t.
2
Suppose -c + 32 + 162 = 4*f, 3*c = f + 621. Solve 4*s + 2*h + 208 = c, 0 = 5*s - h - 1 for s.
0
Let v = -11609 + 11628. Solve -2*z + 5 - v = 4*x, 5*x = 14*z + 65 for x.
-1
Suppose 0 = -45*a + 41*a + 12. Suppose -3*q + 71 = -a*z - 2*z, 0 = -4*q - z + 87. Solve -q = -5*j - 2*x - 1, -j = -x for j.
3
Suppose 5*v + 5*d - 225 = 0, d + 128 - 357 = -5*v. Let k = -42 + v. Let j be (-12)/18 - 33/(-9). Solve k*h - 8 = m, -j*h = -3*m + h for m.
4
Let w = 271 + -267. Suppose 2*p + 2*u = 33 - 5, -74 = -5*p - w*u. Solve 5*x = -4*h - 10, 4*h + 0*h + x = -p for h.
-5
Let y = 48 - 44. Let b be y/8 - (-6)/(-12). Suppose 48*p - 51*p + 93 = b. Solve 2*v + p = 5*m, -3*v = 5*m - 6*v - 34 for m.
5
Let q = 396 - 393. Let i be -2*(-5)/6*q. Solve s - i*n - 15 = 6*s, -5*s - n + 1 = 0 for s.
1
Let o(j) = j + 16. Let p be o(-5). Suppose 3*k = 3, -3*m + p*k = 6*k - 19. Solve -4*y - 8 = 0, -2*n - 2*y + 5*y = -m for n.
1
Suppose -5*s + 4*s + 9 = 0. Suppose 0 = 3*b + 3*r - 24, 3 + s = 4*r. Suppose -2 = b*c - 27. Solve 4*k = -3*g + 16, 0 = -c*g - 4*k + 22 + 2 for g.
4
Let m = 1 - 1. Let s be 8 + (18/(-4) - 9*10/180). Suppose 4*v + b - 4 = -s*b, m = -2*v - b + 2. Solve 5*g + 7 = 4*h - v, -4*h = 5*g - 8 for h.
2
Suppose 0 = -k - 5*c - 38, 3*k + 37*c - 36*c = -2. Let w be (-4)/8*(3 + -17). Solve -g - 11 = -k*y, 5*y + 2*g = w*g + 40 for y.
3
Let q(n) = -11*n - 4. Suppose -2*h + 2*w - 18 = 0, -4*w + 29 = -h + w. Let b be -2*h/(-8)*2. Let r be q(b). Solve -4*x = -3*k - 0*x - 10, -k - r = -5*x for k.
2
Let s = 40 + -51. Let d(c) = -7*c**2 - 77*c + 5. Let u be d(s). Solve 7 = 5*v + u*o - 8, -5*v + 6 = 2*o for v.
0
Suppose 4*x + 3*d = 5, 0 = -8*x - 4*d - 18 + 30. Solve 3*r - 2*v = -22, -12*r + x*v - 12 = -14*r for r.
-2
Let y(h) = -57*h**2 - 4*h - 2. Let x be y(-3). Let l = -497 - x. Solve 3*g - 2 = 2*k, -3*k - l = -2*k + g for k.
-4
Let v(a) = 8*a**2 + 2*a - 1. Let f be v(1). Let b = -92169 + 92172. Solve -s + f = -b*k, 2*s - 4*k = -0*k + 10 for s.
-3
Let f = 1749 + -1220. Let h = 531 - f. Solve 0 = -d + h*d - 4*s - 19, -2*d + s = -10 for d.
3
Let t(j) = -j + 3. Let f be (-4 - 14) + 9/3. Let w be t(f). Solve -2*x + u + 8 = 0, -6*x = -x - 2*u - w for x.
2
Let h = -14114 - -14116. Solve 13 = -h*j - 5*r, -3*j - 26*r = -29*r - 12 for j.
1
Suppose 0 = -15*t + 12*t + 6. Let c(z) = z - 2. Let g be c(t). Solve g = 4*k - 3*r - 0 - 13, 0 = 4*r - 4 for k.
4
Let d = -1148 + 1151. Let o(b) = -2 - 1 - b**2 + 12*b + 5 + 13. Let r be o(13). Solve i + d*u - 6 = -r*i, -4*i = -5*u + 10 for i.
0
Let d(c) = 2*c**2 - 3*c - 6. Suppose 0 = -2*b + 10, 2*b - 33 = -4*t - 11. Let w be d(t). Solve -w*q - 35 = q - 5*s, -3*s + 9 = 0 for q.
-5
Let u(j) = 18*j**2 + 1454*j + 1453. Let m be u(-1). Solve 3*h = -t - 11, 3*h = -5*t + m - 36 for h.
-3
Suppose 5*n = 5*g - 195, 0*n - 9 = 3*n. Suppose g = -p + 5*p. Suppose -23 = -52*d + 102 + 135. Solve 2*m - d*z + 18 = 0, -p = -3*m - 5*z + 14 for m.
1
Suppose 12*j = -10*j + 8008. Let k = 389 - j. Solve -2*m - k = -5*q, 0*m - q = m - 5 for m.
0
Let r be 1/(-14 + 2115/150). Solve 12*t - a = r*t + 1, -2*t - 3 = 3*a for t.
0
Suppose 1260 = -178*c + 241*c. Solve 4*z + q - 17 = 0, c = 5*z - 0*z + q for z.
3
Let m be -1*(-6*100 - (1 + 2)). Let s = m + -598. Let i = -2 - -4. Solve -s*o = i*r + 9, -5*r - 3*o + 6 = -0*o for r.
3
Suppose 0 = 4*z + u - 0*u - 11, 4*z + 2*u - 6 = 0. Let o(n) = -6*n - 14. Let h be o(-8). Let s = h - 30. Solve -s*a - 4*g = -8, -z*a - g = -0*g - 11 for a.
3
Let s(o) = 199*o - 3579. Let p be s(18). Solve -5*j + 2*a = 6, 0 = p*j + 5*a - 4 + 20 for j.
-2
Let n be (-384)/(-42) - 9 - (-556)/28. Solve p + n = -9*k + 5*k, -5*p + 2*k + 10 = 0 for p.
0
Let b(t) = t**2 + t. Let s be b(-2). Suppose 5*w = -23 + 58. Suppose -8 + w = -o. Solve r - o = f, f - 4*r = -s*r for f.
-2
Suppose 0 = 4*m - 2*t + 3*t - 20, 2*m = -5*t + 10. Let d = 851 + -845. Solve 20 = x + 4*c, d*c - m*c - 5 = 0 for x.
0
Suppose 2*t + 340 - 381 = -v, -4*v = -4*t - 188. Solve 12*s = 7*s - 5*q - v, -2*q = 8 for s.
-5
Let w(b) = -b**2 + 3*b + 3. Let m be w(3). Suppose m*j - 20*j + 170 = 0. Let a be 6/2 + 1 + -2. Solve -5*o + 3 = 3*t + j, -8 = a*t for o.
1
Let g be (-10)/15 + 7 + 128/(-24). Solve 2*u + g = j, -j + 8*u - 3*u = -7 for j.
-3
Let h(x) = -11*x - 7. Let a = -42 + 36. Let z be h(a). Suppose 2*w = -2*u - 0 + 22, -5*u - w + z = 0. Solve 0*o + 3*o + 3*s + u = 0, -5*o + 3*s = 4 for o.
-2
Suppose -3 = -q + 1. Let v be (0/3)/(10/(-6 + 1)). Suppose 3*k = v, -14*m + 24 = -11*m - k. Solve w + q*n - n - m = 0, 0 = w + n for w.
-4
Suppose 10*z + 6 = 12*z, -5*m = z + 1397. Let v = m + 284. Solve -3*j + 11 = -5*h - 0*j, 4*h + 28 = -v*j for h.
-4
Let l(f) = -2*f - 4. Let s be l(-4). Let o(n) = 176*n - 4221. Let p be o(24). Solve 2*r + p = -a, 4*a + 12 = -0*r - s*r for a.
-3
Suppose -6 = -s + 10*m - 13*m, -8 = -3*s - 4*m. Suppose s = f - 5, -62*f - 4 = 2*y - 64*f. Solve -4*j + 25 = -0*j + 5*z, 3*j = y*z + 12 for j.
5
Suppose 0 = 346*z - 336*z. Solve -20 = -m - 3*p, z*m - p = -m for m.
5
Let b(f) = 5*f**2 - 116*f + 387. Let p be b(4). Solve p*y + 20*m = 16*m - 4, 5*m = -y + 6 for y.
-4
Let p be 729/54*64/(-24)*3/(-12). Solve 6*r - 3*v = p*r + 3, -5*r = 2*v + 14 for r.
-4
Let w = -1571 + 1574. Solve 5*q - 27 = 2*f, 0*q + f = w*q - 16 for q.
5
Let o = -292 + 337. Suppose -27*f + 12*f = -o. Solve -f*p - u = 11 + 8, 2*u = -4*p - 28 for p.
-5
Let y(u) = u**3 + 16*u**2 + 14*u - 13. Let o = 127 - 182. Let p = o + 40. Let t be y(p). Solve t*b - 8 = -4*c, 5*b + 4 = -c + 3*c for b.
0
Suppose -3*i + 10 = -f, -14*f + 10*f - 12 = -5*i. Suppose -3*n = -f*k + 13, k - 18 = -2*k + 4*n. Solve 3*w = 4*z - 1 - 3, -k*z = -3*w - 8 for w.
-4
Suppose 1540 = 19*z - 41*z. Suppose -4*t - 262 + 38 = -5*c, t = 2*c - 53.