 -p*x = -2*m, 0 = 19*m - 18*m - 3*x + 8 for m.
4
Suppose -43*s = -46*s - 45. Let m be ((-2)/(-3)*s)/(-2). Solve 0*o = 3*o + m*f, 3*f - 34 = 5*o for o.
-5
Let p(h) = -6*h**3 - 4*h**2 - 4*h + 2. Let j be p(-2). Let r = 44 - j. Let a be r*((-4)/(-8) + 0 + 1). Solve -3*n - 17 = 5*u + a, 0 = -3*u + 3*n - 12 for u.
-4
Let x(m) = -3*m + 23. Let o(n) = n - 1. Let q(f) = 6*o(f) + 3*x(f). Let h be q(19). Solve 3*j + j - 2*p = -6, -h = j + 4*p for j.
-2
Suppose -3827 = 157*t - 246*t. Solve -2*i + g = -10, -2*i - 21 = 5*g - t for i.
6
Suppose 11*m - 18 = 8*m. Let u be (-3 - -6) + -3*(-46)/m. Let a = 30 - u. Solve a*v = -p, 0*v - v = -4*p + 17 for p.
4
Suppose 6 = 3*s + q, -5*s - 2*q + 10 = 2. Solve 13*a + p - 3 = 15*a, -4*a - 12 = -s*p for a.
0
Suppose -l = -5*i + 185, -2*i - 657 = 3*l - 170. Let o = l - -179. Solve o = r + 3*n, 3*r + n = -2*n + 18 for r.
2
Suppose 5*m + 426 = 526. Suppose 3*s + 5*l + 6 = -16, 4*l + m = 0. Suppose 0 = 4*x - 24 + 4. Solve -x*t = n + s, -t = 3*t - 4*n + 20 for t.
-1
Let i(j) = 555*j - 1660. Let g be i(3). Solve 4 = -4*s + g*s, s + 11 = -5*r for r.
-3
Let o(u) = -2*u**3 + 24*u**2 - 52*u - 2. Let t be o(3). Solve t*k + 4 = 2*g, -43*k + 28 = -47*k - 4*g for k.
-3
Suppose 0 = 3*w + 4*w - 84. Let l(b) = -b**3 - 3*b**2 - 2*b - 4. Let r = -8 - -5. Let z be l(r). Solve 3*f + w = 4*f + 4*n, n - z = 0 for f.
4
Suppose -1159 = -3*w - 2*q, 2*w + 208 = -2*q + 976. Solve -w*a + 389*a - 2 = 3*k, 0 = a + k for a.
2
Suppose x = 40*m - 35*m - 23, 27 = 3*m - 5*x. Solve 2*r + 1 = 3*z - 8, 0 = -2*r + m*z - 14 for r.
3
Suppose 27 = 3*k - 3*b, 4*b = -39 + 11. Solve 26 = 3*p - k*q + 16, 5*q = -p + 9 for p.
4
Suppose -14*u + 12*u = -1008. Let y be 1056/u + (-4)/42. Solve 5*a = y*h + 6, -a - 2*h + 10 = 2*h for a.
2
Suppose 0 = -5*w + 3*a + 16, 44 = 18*w + 7*a - 11*a. Solve 4*c - 2*c + 5*x - 23 = 0, -3*x + 17 = -w*c for c.
-1
Let h be 3/15*-15*4/(-1). Solve -35*j + 40*j - h = -2*m, -j = 5*m - 7 for j.
2
Suppose 9*o - 9 - 36 = 0. Suppose -q - 147 + 151 = 0. Let m = o - q. Solve 5*k - 11 = -w, -3*w - k - m = -3*k for w.
1
Let r = 6560 + -6553. Let b = 5 + -3. Solve 4*w = 2*s - 2, -4*s - 2*w - b = -r*w for s.
-3
Let c(i) = i**2 - 5*i + 15. Let o be c(5). Suppose 6*x = 15 + o. Solve 0 = 4*z - x*q + 30, -6*z + q = -z + 27 for z.
-5
Suppose 5*b - 3*b = -294. Let h = 149 + b. Let s(c) = c**2 + 7*c. Let t be s(-7). Solve -2*x - 5*i + 24 = t, -x - h*i = -3*x - 4 for x.
2
Let n = 38 - 35. Suppose 5*y + n*g = 31, -3*y = 4*g - 24 + 1. Let t = 13 - y. Solve 3 = 5*u - 2*i + t, 0 = u + 2*i + 1 for u.
-1
Suppose 52*v + 740 = 200*v. Solve -8 = 3*x + 3*k - v, 5*x - k - 13 = 0 for x.
2
Suppose 5*z + 70 = 5*t, 3*t + t - 24 = -4*z. Let p(k) = -k**2 + 20*k - 95. Let m be p(t). Solve 5*r + 0*r = -5*g + 10, -m*g = 0 for r.
2
Suppose -35*z + 33 + 212 = 14*z. Solve -3*d + 23 = 4*f, f + 0 = z*d - 23 for d.
5
Let a be (-224)/(-24) - ((-48)/9)/(-4). Solve -4*g - 28 = -4*s, a = -5*g - s - 3 for g.
-3
Suppose 1052 + 1038 = 11*i. Let m = i + -189. Solve f - 3*t = m, -2*f + t = -3 + 1 for f.
1
Let z = -291 + 295. Suppose 2*b = -2 + 26. Let a = b - 10. Solve -3*d - z = a*u - 1, -d + 16 = -5*u for d.
1
Suppose -9 = -z - 5*a - 24, 5*z + a + 195 = 0. Let t be (-33)/(-15) + (-3)/60*4. Let w be ((-1)/4)/(t/z). Solve 8*d = 3*d - f - 15, 0 = -5*d - 3*f - w for d.
-4
Suppose 0 = -2*t + 10*t - 7*t - 12. Solve 3*v - 4*o = 11, -9*o + 6*o = -3*v + t for v.
5
Let z = -516 - -524. Let s be -1*(-13 - (-32)/z). Solve -s = -j + 2*v, -2*v - 10 = 5*j + 5 for j.
-1
Let h = 242 + -241. Suppose n = 4*n. Solve -5*r + l + 18 = n, r = 4*l - 3 - h for r.
4
Let a(h) = -h**2 - 3*h + 423. Let r be a(-22). Solve -m + 6*m + r*y + 5 = 0, 7 = -3*m - 4*y for m.
3
Suppose 8277 = -6*a + 8289. Solve 2*c = -2*x + 18, 6*c - a*c = 16 for x.
5
Suppose 0 = -5*f + 5*d - 2*d + 10, 2*d + 13 = -3*f. Let w be 3/(f*((-15)/(-12) - 2)). Solve p = 5*s - 30, -2*p + 10 = -w*p for s.
5
Suppose 166 = 4*a - 456*c + 459*c, -3*c = 3*a - 126. Solve 5*s + 102*h = 107*h - a, 2*s + 5*h = 12 for s.
-4
Let g be 240/192 - (-3 + 0 - (-51)/12). Solve g = n + 2*p + p + 1, 0 = 5*n - p - 27 for n.
5
Let d(t) = -t - 5. Let x be d(-7). Suppose 4*w = 2*w + 116. Suppose p - w + 53 = 0. Solve -19 = -p*n + x*b, 3*n + 2 - 13 = b for n.
3
Let p = -16215 - -16224. Solve 0 = 5*s - 4*i + 7*i + p, -s - 7 = -2*i for s.
-3
Suppose -2*g - z = -86, 2*g + 3*z + 50 = 136. Suppose -38*s + g*s = 10. Solve 6 = 3*k - s*n, -3*n = -5*n for k.
2
Let p(n) = 16*n - 1214. Let g be p(76). Solve 4*f = 2*z, 4*z - 3*f = g*f for z.
0
Suppose 3*r - 4 = 14. Suppose 3*m - 2*k = 0, 2*m - 5*k = r*m. Solve 0 = -3*j - b + 6, 4*j + 2*b + m = 8 for j.
2
Suppose -3*u = 15, 3*r + u = -3*u + 118. Suppose 8*p - 2 = r. Suppose -d + z - p = -5*d, -5*d + 5*z - 5 = 0. Solve -3*v + d = 5*t + 16, -5*v + 6 = -2*t for t.
-3
Let n be 0/(6/(-4) - 30/(-20) - 1). Solve 8*m - 2*w - 5 = 9*m, 2*m - 3*w - 25 = n for m.
5
Let x = 38 - 38. Suppose -4*o + 203 = -5*a, x = 3*o + a + 2*a - 132. Let k = o + -47. Solve -z - 7 = -4*b, 2*z = 4*b - k*z - 10 for b.
1
Suppose -34*j = -44*j + 30. Let d be -10 + (8 - 3) + 8. Solve 4*t - 3 = d*g, -3*g - 8 = j*t - 5 for t.
0
Let o(c) = -34*c**2 + 273*c - 6. Let q be o(8). Solve 34*s = 36*s + q*b + 4, -2*b = -4 for s.
-4
Suppose 19*n + 126*n - 2465 = 0. Solve l + n = 4*d, l + 79 = 78 for d.
4
Suppose -5*j - 47*c + 46*c = -25, 2*j + 5*c - 33 = 0. Solve -6*p = 4*w - j*p - 10, 3*w - 2*p = -10 for w.
0
Let r(z) = -z**3 + 13*z**2 + z - 10. Suppose -21 = -2*o + n, 15*o + 59 = 18*o + 4*n. Let x be r(o). Solve 3*j + 5*g = -2, -3*g = x*j + 8 - 2 for j.
-4
Let c be 646/26 - 2/(-13). Suppose 14*w = c*w - 55. Solve -5 = w*m - 4*i, 5*m - 4*i = 4*m + 15 for m.
-5
Let o(w) = -3*w + 42. Let z be o(13). Suppose 0 = -z*b + 3*d - 3, 0*d - 3*d + 3 = -b. Solve -q + 1 = -b*q - a, 4*q - 2*a - 12 = 0 for q.
5
Let f(q) = q**2 + 7*q + 3. Let i be 2*3 + (-12)/4 + 1. Suppose 42 = -2*t - i*t. Let p be f(t). Solve 4*x + 1 = p*x, 0 = -5*j + 4*x + 14 for j.
2
Let f be 16/(144/(-27)) + 7. Solve c = 2*p - 3, p - f*c + 14 - 26 = 0 for p.
0
Suppose -6 = -17*g + 14*g. Suppose 5*q - y + 10 = 0, 0*y + g*y = -q - 13. Let m be 130/(q + -2)*-1. Solve 0 = -2*u - 0*r - 4*r + m, 0 = -u + 5*r - 15 for u.
5
Let q = 52 - 27. Suppose 5*k = z + 32 - 10, 0 = -5*k + q. Suppose z*d + 2*m + 3*m + 25 = 0, d + m + 5 = 0. Solve -5*p - t + 29 = 0, d = -3*p - t - 3 + 22 for p.
5
Suppose 7*b - 2*b = -450. Let k be (b/12)/((-3)/6). Suppose k*v = v + 126. Solve 2*g + l + 3 = 0, 4*g + v = 8*g + 5*l for g.
-4
Let d = -283 - -55. Let l = -224 - d. Solve 25 = 5*g, w + g - 24 = -l*g for w.
-1
Suppose j + 3*j - 1189 = 5*u, 238 = -u + j. Let a = 241 + u. Solve -3*i + 2*y = -4, a*i + 4*y + 10 = -y for i.
0
Let k(o) = 71*o - 923. Let m be k(13). Suppose 5*z - 6*z = 0. Suppose z = 5*r + 4 - 14. Solve -r*v = d + v + 14, 5*v + 15 = m for d.
-5
Let m be 7 + 1*(-21)/7. Let i be 1 - (4/2 - 2). Solve -2*b = 2*k + i - 5, -m*b - 6 = -3*k for b.
0
Let z(p) = -p**2 - 207*p - 1780. Let r be z(-9). Solve 0 = -4*h, 0 = -r*m - 2*h + 12 - 2 for m.
5
Let f be 52*(22/6)/((-3)/(-9)). Let c = 574 - f. Solve 2*w - 3*s - 14 = -2*w, w + 2*s = -c for w.
2
Let s = 20189 - 20174. Solve -h - 6 = 2*w, -4*h + 9*h = -w + s for h.
4
Let p = 5 - 3. Suppose i = 4 - 2. Let c be i*-2*(-5)/10. Solve p*s + 8 = w, -4*w + 7 - 5 = c*s for s.
-3
Suppose 0 = -6*u + 60 - 18. Let s be (-156)/(-42) + 2/u. Solve y - 11 = 2*l, -y + 10 = -3*l - s for l.
-3
Suppose m + 57 = 19*b, -15 = m - 4*b - 3. Solve 4*l = 12, m*l = -k - 5*l + 18 for k.
3
Let b be (-4)/(16/20 + 39/(-30)). Let i be b*(42/(-16))/(-7). Solve n = 5*t - 29 + 8, i*t - 8 = -4*n for t.
4
Suppose -21*n = -22*n + 3. Suppose 5*q - 4*q - n = 0. Solve -3*g + 3 = 0, -j - 1 = j - q*g for j.
1
Let m be 12/8*(-52)/(-26). Solve 7*s - 5*x = 10*s - 4, 0 = -m*s - 2*x + 7 for s.
3
Let n be 0 - (3 - 0)*2. Let c = 8 + n. Let w = -2175018 + 2175021. Solve 3*k + 4*v = -7, -c*v + w*v + 1 = 0 for k.
-1
Suppose -7*p - u + 1114 = -3*p, 0 = -p + 2*u + 283. Let o = -276 + p. Solve 2*k + 21 = 5*x - 2, 13 = 2*x + o*k for x.
5
Let k(a) = -6*a + 65. Let h be k(11). Let n be 2688/441 + h + (-19)/(-21). Solve 2*x - 14 = -2*x - 2*u, 0 = 2*u - n for x.
2
Suppose -6 = 2*c + f, 18 = -31*c + 36*c - 3*f. Solve -x + 4*d = -9, c = -x + 39*d - 36*d + 8 for x.
5
Let b(j