et m be (-8)/10*(-24 - 1). Suppose -2*k + m = 12. Solve -2*v + v + k*j = -16, 0 = 2*v - j - 4 for v.
0
Suppose -497*v + 1002*v = 484*v. Solve -c = -v*s + 4*s, 0 = -2*c - 2*s for c.
0
Let v(r) = 442*r**2 - 443*r**2 - 25 - 12 - 22 + 16*r. Let y be v(10). Solve -4*z - 1 = b + y, 4*z - 2 = b for b.
-2
Let o(n) = 3*n + n**2 + 23*n + 24 + 5. Let t be o(-26). Solve 0 = -3*p - b - 4*b + t, 0 = -5*p - b + 19 for p.
3
Suppose 478 - 462 = 8*f. Solve -20*q = -22*q + 4, -f*m + 2*q = 2 for m.
1
Let l = 20 - 17. Let a = -3322 - -3325. Solve -l*h = -4*g - 6, -g + 2 = -2*h + a*h for h.
2
Let z = -589 - -610. Suppose z*m - m = 120. Solve 3*s = 2*d + 8*s - m, -2*d - s = 2 for d.
-2
Let y be -3*(-76 - (5 - 12/4)*4). Solve y*l = 253*l, 0 = -2*r - l + 10 for r.
5
Let y = -499 + 499. Suppose y = 228*j - 234*j + 30. Solve 0 = -4*s + j*h - 3, 0*s - 4*s + h = 7 for s.
-2
Let n(i) = -i**3 + 20*i**2 + i - 16. Let w = 146 + -126. Let x be n(w). Solve -14 = 2*u + 4*s - 0*s, -4*s - 8 = -x*u for u.
-1
Suppose 19 = 5*n + 4. Let d be 144/(-528) + 168/11 + -9. Solve 2*g - 16 = 2*w, -n*g - d = -5*g for w.
-5
Let d be 4/(11/(1155/12)). Solve -4*i = -3*t + 29, 5*i = -t - d + 13 for i.
-5
Suppose 3*a = -l + 33, 4*l + 20 + 52 = 5*a. Suppose -197*n + 199*n = -12. Let u be (-7)/(-14) - 21/n. Solve -2*h = -u*w - a, 2*h + 0*w + 12 = -4*w for h.
0
Let s be 334 + -6 + 2 + 3. Let u = -331 + s. Solve -r = -0*r + 3*y - 4, -u*r - 3*y + 5 = 0 for r.
1
Let r(f) = 22*f - 855. Let w be r(39). Solve 4*p = l - 10, w*l - p + 3 = 11 for l.
2
Let a(y) = 19*y**2 + y + 1. Let z be a(1). Solve 0 = m + 5*c + z, -4*m - 14 = 4*c + 6 for m.
-1
Let s(w) = 3*w**2 + w**2 + 3*w**2 + 0*w**2 + 3*w - 8 - 6*w**2. Let v be s(-6). Solve i + 5*j - 2 - 5 = 0, -2*j = -2*i - v for i.
-3
Let p = -3272 - -3273. Solve 16*d - p = r + 17*d, -7 = -r + d for r.
3
Suppose 27*y = 35 + 100. Solve -5*p + 3*q + 8 = 4, -y*p + q = -8 for p.
2
Let d be 19 + -32*(-11)/(-22). Solve -15*k + 16*k - 4*h = 8, -d*h = 2*k + 6 for k.
0
Let f = 2 - 2. Suppose -385 + 514 = -43*i. Let l = f - i. Solve -m = 2, 3*o + l*m = o for o.
3
Let z be 0/2 + 4 + -5. Let y be ((-4 - 4)/(-4))/((-1)/z). Solve -v + y*u = 3*u, 5*v - 3*u = 16 for v.
2
Suppose 2*y + 2*f - 8 = 0, 0 = y + 3*f - 4 + 2. Suppose -2 = d - y. Solve 4*c - 8 = p, d*c + p - 6 = -p for c.
2
Let b = 56 + -53. Let i = 33 + -24. Suppose -2*o = -b*q + 8, 5*o + 4 + i = 4*q. Solve k - q - 7 = -3*a, 5*a - 26 = 2*k for k.
-3
Let f be -19 - (-4 + (-289)/17). Solve 3*p - 2*r - 703 = -695, 0 = -p + f*r + 4 for p.
2
Let p = -308 - -462. Let y = p - 34. Suppose 0 = -7*n + n + y. Solve 4*t = o + 17 - 2, -t = -5*o + n for t.
5
Suppose 7*m - 22 = -1. Suppose -r = 2*r - 3, a + m*r - 17 = 0. Suppose -3*d - 2*p = -d - a, 5*p = -4*d + 33. Solve -2 = 3*v + d*s, -4*v = -6*s + s + 41 for v.
-4
Let v = 111 + -109. Suppose -x - 4 = v*z, 3*x - x - 1 = -z. Let r be x - ((-32)/4 + 5). Solve a + 2*s + 5 = 0, -a - r = 3*s + 2 for a.
-1
Let c be (-5)/(-2)*30/25. Suppose c*q + 2*q = 5*w - 15, w - 21 = -5*q. Suppose -r - 70 = -w*r. Solve n = 5*t - 11, 5*n - 3*t - r = -t for n.
4
Suppose -18 - 126 = -3*p. Let c be (-5 - -8) + -50 + 2. Let h = c + p. Solve h*a - 16 = 5*j, -3*a = 2*j - 4 + 2 for j.
-2
Suppose 5*m - m = -760. Let v = m + 192. Solve -c + v*y + 4 = 2*c, -4*c + 4*y + 4 = 0 for c.
2
Suppose -z - 25 + 39 = y, -4*y = 5*z - 71. Suppose -s = 5*v - z, 20*v - 16*v + 3*s - 23 = 0. Solve -v = -3*k + l + 12, -3*k - 2*l = -8 for k.
4
Let k = 8520 + -8517. Solve l = -12*c + 10*c - 3, -l + 5*c = k for l.
-3
Let x(f) = 2*f**2 + 111*f + 164. Let s be x(-54). Solve -10 = -s*g + 3*t, -3*g - 5*t - 11 - 12 = 0 for g.
-1
Suppose 27*c - 92*c = -195. Solve 2*h + 2*n = -4, -2*h = 16*n - 15*n + c for h.
-1
Let v be 18/36 - (-1)/(2/39). Solve 16 = 2*l + 7*w - 2*w, -4*l + 3*w - v = 0 for l.
-2
Suppose 46 = -6*j + 628. Suppose -6*i + j + 23 = 0. Solve -o - 4*a = 5, -4*o + 0*a - i = 4*a for o.
-5
Let s(n) = -46*n - 1470. Let a be s(-32). Solve 3*g - 7*g + a*m - 20 = 0, 0 = 3*m - 6 for g.
-4
Let g be (-1596)/12*(-12)/14. Let f = 118 - 228. Let h = g + f. Solve 3*m + 18 = -3*p - 0*p, 0 = 4*p + h for m.
-5
Let c be (-2)/(-23) - 6/69. Suppose c*f - 5*f + 60 = 0. Let p = 19 - 19. Solve p*t - 3*v - 9 = -3*t, -2*v - f = t for t.
-2
Suppose -2*z + 3*z - 15 = o, -5*z - o + 99 = 0. Suppose 16 - z = -j. Solve 4*y - 2 = m, j*y + m = -1 - 1 for y.
0
Let n(y) = y**3 - 90*y**2 + 94*y - 433. Let t be n(89). Solve h + 4*p = -0 - t, p - 6 = 2*h for h.
-4
Let z(c) = c**2 - 200*c + 398. Let p be z(2). Solve 0 = -3*b - 14*q + 16*q - 16, 4*b = -p*q - 12 for b.
-4
Let i(d) = 571*d - 1130. Let y be i(2). Solve -s + 4*s - 14 = -2*k, -k - 4*s + y = 0 for k.
4
Let d = -1601 - -839. Let a = 454 + d. Let s be (-1)/(-3) + a/(-12). Solve -s = -5*g + 4*q, 2*q = 5*g - 15 - 3 for g.
2
Suppose -v - 4 = 6*z - 2*z, 4*v + 16 = 3*z. Suppose z = 12*o - 15*o + 42. Suppose 0 = 5*n - 513 + 498. Solve d = n*d - y - 4, -4*d = y - o for d.
3
Let k(u) = -11*u + 124 - 6*u - 8*u + 18*u. Let a be k(17). Solve -d - 5*s = 10 + 11, -17 = -3*d + a*s for d.
-1
Suppose -2*c = 5*f + 24, -3*c - 77 = 2*f - 74. Solve -23 + 25 = z + w, 0 = 5*z + c*w - 12 for z.
3
Suppose 4*n - 31 = 4*o - 131, 4*n = 8. Suppose o - 153 = -7*s. Solve 2*w - w + 11 = -3*t, -4*t = 2*w + s for w.
-5
Let l(v) = 7*v + 255. Let q be l(26). Let k = -435 + q. Solve -4*r - 5*w + 35 = 0, -r = -3*r + k*w + 4 for r.
5
Let z be (-147)/(-30)*(8 + 22). Solve 3*j = -3*u + 21, z - 172 = -3*j - 4*u for j.
3
Suppose -7*g + 6*g = -21. Let o = -19 + g. Suppose -2*p = -3*a - 14, -3*p - 6*a = -2*a + 13. Solve -p = 5*i + 2*z + 6, 2*z = o*i for i.
-1
Let t(d) = -d**2 + 26*d - 52. Let i be t(23). Suppose -i*j + 48 = -j. Solve -2*u - 21 = j*l, 0 = 2*u - 7*l + 3*l - 14 for u.
-3
Suppose 0 = -f + 5*t - 15, 0*t + 4*t = 3*f + 1. Suppose 2*l + 66 = f*l. Let q = l - 19. Solve -2*x + 20 = 4*c - 0*c, q*x - 18 = -2*c for c.
3
Let f be 11 + 510/(-150) - (-2)/5. Solve 5*z - 4*j - f = 0, -6*z = -3*z - 6*j - 12 for z.
0
Let v be (-2145)/975*(-4 - 1). Solve -4*n = -3*z + 5, 10 = -5*n - 6*z + v*z for n.
1
Let z(l) = 343*l - 3424. Let f be z(10). Solve 2*m = -4*v + f, -3*v + 11 = 5 for m.
-1
Suppose 0 = -3*b + 2*j + 19, -22*b + 23*b - 4*j - 23 = 0. Solve 6 = 3*y, b*f - y + 1 = y for f.
1
Suppose 0 = -17*n - 2*n + 38. Suppose 0 = -13*y - 7*y + 80. Solve -n*w = y*d - 0*w, 0 = 3*d - 5*w for d.
0
Let k be (-14)/(-2) - (-12 - -27 - 12). Suppose 3*l + 5 + 1 = 0, -4 = 2*v + 5*l. Solve -k*h + 19 = -v*g, g + 5 = h - 1 for g.
-5
Let k = -490 + 499. Solve -3*l - 2*z - 1 = 0, 8*z - k*z - 3 = -l for l.
1
Let u be 11/((-55)/(-10)) - -1. Suppose 6*p + u - 15 = 0. Solve 2*l - 4 - 2 = 0, -l = -p*o + 5 for o.
4
Suppose -4*s = -2*z + 6, -14*z - 6 = -16*z - 4*s. Solve z*x + 7 = 5*j, 14*j - 16*j - 14 = 3*x for j.
-1
Let f(k) = -47 + 95 + 73 + 6*k + 41. Let h be f(-27). Solve -4*t = 5*g + 16, -5*t + h*t = -5 for g.
-4
Suppose -2*w = 7*w. Suppose -3*v - 14 + 32 = w. Solve 4*f + 21 = -5*q, v*f - f + 5 = -2*q for f.
1
Let y(u) = 22*u**2 - 238*u + 1. Let v be y(11). Solve 5*i + 3*w + 17 - v = 0, 4*i = -4*w + 24 for i.
5
Let k = 38 - 33. Suppose -3*h + y = -h - 7, -2*h = k*y + 11. Let w(n) = n**3 + n**2 - 6*n + 3. Let v be w(2). Solve -3*z = h*i - 3, v*i + 3*z - 2 = 1 for i.
0
Suppose 15 - 315 - 292 = -296*h. Solve h*m + 6 = 3*j - 10, 3*m - 3*j + 18 = 0 for m.
-2
Suppose 3*p = -8 + 7 + 16. Solve -2*c - p*f = 12, -3*c = -5*c + f + 12 for c.
4
Let t be (-4 + (-155)/(-30))/((-2)/(-12)). Let x(c) = c**2 - 9*c + 6. Let y be x(t). Let i be (4/y + 0)*-6. Solve i*l - g + 12 = g, -4*g = 3*l + 12 for l.
-4
Suppose -1107*o + 112*o + 22885 = 0. Let d = 7 + -5. Solve -d*t + o = -5*w, 4*w = t + 6 - 25 for w.
-5
Let p = 1774 + -1771. Solve 2*s + p*d = 7*s - 8, s = d + 2 for s.
1
Let m = -388 - -458. Suppose -37*i + 41 = -m. Solve -4*v = 12, 0 = k - 0*v + i*v + 14 for k.
-5
Suppose 3*o + 58 = 6*o - 4*q, -5*q - 20 = 0. Suppose -3*c = i - o, -6*c - 2*i + 20 = -2*c. Solve c*n + 3*w = 5*w - 10, -2*w + 10 = 2*n for n.
0
Suppose 0 = -6*f + 4*n + 172, -f - 36*n + 30 = -38*n. Solve 2*a - 4*a - 6 = 0, -a = 5*g + f for g.
-5
Let b(y) = y**3 + 11*y**2 - 25*y + 13. Let t be b(-13). Suppose 3*j - 2*j - 30 = -2*u, u + j - 14 = t. Solve -4*n - 2*m + u = 0, 3*n - 25 = -0*n + 5*m for n.
5
Let o be 3/((-3)/4) + 14. Suppos