*p + v = l*m for m.
3
Let v(b) = 144*b**2 + 2*b - 1. Let z be v(-2). Suppose 109 = -7*k + z. Let u be 1/(-2) - k/(-12). Solve 4*d + 0*i + 9 = i, -12 = -d + u*i for d.
-3
Suppose -798 = -9*x - 780. Solve 5*r - x*m = -20, 5*r + 7*m + 20 = 2*m for r.
-4
Let w = -12 - -36. Suppose -w = -3*v + 12. Suppose v*c - 6 = 9*c. Solve 2*f + 4 = 4*f + 4*p, 5*f + c*p - 10 = 0 for f.
2
Suppose 4*x + 66 = 106. Suppose 5*b = 5*j - x, -3*j + b = 6*b - 46. Solve p + 0*i - 21 = 4*i, 3*i = -p - j for p.
5
Let l = -1033 - -499. Let s = 536 + l. Solve f + 16 = -f - 2*b, 5*f + 5 = s*b for f.
-3
Let i(b) = 47*b - 181. Let j be i(4). Let m be (-5 + 42/j)*5. Solve -3*u = -3*g + 2 - 11, m*u + g - 15 = 0 for u.
3
Suppose -178*v + 585 = -494 + 367. Solve -2*b + 8 = -3*u, -v*u - 5*b = -5 - 15 for u.
0
Let a(z) = z**3 - 6*z**2 - 4*z + 4. Suppose 105 + 35 = 20*h. Let s be a(h). Solve 5*f + p = 2*p - s, 4*p - 28 = 2*f for f.
-4
Suppose 383*y - 12*y = 11130. Solve 5*b = 15, 5*w - 1 = -y*b + 28*b for w.
-1
Let d = -21284 - -21287. Solve 5*n + 4*m = -41, -d*n + 2*m = -2*m - 1 for n.
-5
Suppose 3*c - 47 - 16 = 0. Let h = -21 + c. Suppose 5*k - 2*i - 4 = 0, h*i - 3*i + 13 = 2*k. Solve k*r + 2*r = -5*j + 8, 11 = 3*r + 5*j for r.
-3
Suppose -4*q = -3*b + b + 12, 15 = b - 5*q. Let v be (b - 1 - -1)/1. Suppose 4*h + z - 11 = v, -z + 7 = h + 2. Solve o + 0*c = -h*c, 5*c = -o for o.
0
Let l be (0/(-2))/(10 + -12). Suppose -4*s + 41 + 127 = l. Suppose 3*v + 3*f = s, f + 10 = 4*v - 26. Solve 2*h - 15 = -4*u - h, -2*u - 2*h = -v for u.
0
Let s(t) = -t**3 - 8*t**2 + 15*t + 48. Let h be s(-10). Suppose -h*x = -95*x - 15. Solve -5*u + x*y - 11 = 14, 2*u + 5*y - 4 = 0 for u.
-3
Let r be (-4)/(-7) - 85/(-35). Suppose r*z = 64 + 8. Suppose -4*j = 2*j - z. Solve -2*w = 2*p, -j*w - w - 2 = 4*p for w.
-2
Let y(p) = 6*p + 17. Let n be y(-2). Suppose -n*q + 3*i + 2*i + 35 = 0, 3*q + 4*i - 7 = 0. Let j = q - 1. Solve 0 = -s + 4*m + j, -3*s + 6*s + m - 12 = 0 for s.
4
Let t(r) = r**3 + 6*r**2 - 10*r - 19. Let p be t(-7). Solve y - x = -p, y = -0*x - 2*x + 7 for y.
1
Let y(g) = 3*g**3 - 3*g + 2. Suppose 3*s + 7 = 10. Let i be y(s). Solve -4*b + 5*d = -12, -3*b + i*d = -2*b - 6 for b.
-2
Suppose 0 = 4*z - t - 1887, 0*t = z - 2*t - 477. Let f = z + -469. Solve -3*g = -p - 2*g - 3, -2*g = -f for p.
-2
Let c be (13/2 - 6)*0. Suppose 0 = -14*l + 15*l - 3. Solve r - 6 = 4*z, -5*r = -l*z - c*z - 13 for r.
2
Suppose -2*a + 13 = z - 11, 3*z - 66 = -3*a. Suppose -c + 20 = 3*c - 3*w, -4*c + 4*w + z = 0. Solve -2*j + 4 + 0 = 0, 0 = c*l - 3*j + 1 for l.
1
Let p = -200 - -202. Suppose 4*f + 14*v - 15*v - 11 = 0, 5*v = -p*f - 11. Solve -2*c = f*j - 5 + 1, j - 3*c = -14 for j.
-2
Let m be (24/15)/(4/10). Let i be (-39)/(-52) + 5/m. Solve -8 = -2*d - 4*h + 2*h, 0 = -i*h + 10 for d.
-1
Let z = -8096 + 8108. Solve 4*o = 2*p, -47*o + 43*o + z = 4*p for p.
2
Let b = 16455 + -16452. Solve h + 2*u = 5, -b*u = -11*h + 10*h for h.
3
Let z = 459 - 453. Suppose y - 5*f + 0 = -9, z*y - 21 = 5*f. Solve 2*u + 7 = d, 3*d - u - 5 = y for d.
3
Let y = -1500 - -1502. Solve -3*m + 12 = 2*v, y*m - 5*v = 3*m - 17 for m.
2
Suppose 22*q = 17*q. Suppose -5*k = -3*v - 2*v - 55, q = 4*k - 3*v - 45. Suppose k = 5*r - 13. Solve -4*o - 4 = 4*p, -5*o - 4*p - r = -0*p for o.
-1
Let s = 4 + -30. Let i = 30 + s. Let d(l) = 2*l + 6. Let x be d(i). Solve -2*h + 0*a - x = 4*a, -16 = -2*h + 2*a for h.
3
Let j = 2040 + -2033. Solve 29 = 3*f + 5*w, -4*f - 2*w = -j*f + 1 for f.
3
Suppose 13 + 21 = 47*r - 60. Solve r*m = 2*x - 8, 0*m - 10*x + 12 = -3*m for m.
-4
Let x be (248 + -245)*(-1 + 2). Solve 3*r - 2*l - 5 = -16, x*l - 7 = -5*r for r.
-1
Suppose -5*c + 10 = 3*l + 1, -5*l = -2*c + 16. Suppose -4*f + 23 = -2*g + 5, 0 = 5*f + 4*g - c. Solve 0 = -4*w, -f - 3 = -2*i + 2*w for i.
3
Let b = 13116 - 13105. Solve 2*s - 1 = -d, 6*s = b*s - d - 20 for s.
3
Let r = -34 - -20. Suppose -3*a + 0*a = 4*h - 26, -2*a + 5*h = -48. Let m = a + r. Solve t - 5*b + b = m, 2*b = -4*t for t.
0
Let f = 274 - 92. Let i = 185 - f. Solve -21 = -3*k - 0*x - i*x, 2*x = 2*k - 6 for k.
5
Suppose 53*i + 1425 = 338*i. Solve -q - 5 = g - 3, 0 = -i*q - 4*g - 11 for q.
-3
Let s = 56 + 14. Let k = 73 - s. Solve 2*r + 5*b - 6 = 0, k*r - 15 = -2*r - 3*b for r.
3
Let p be (12/(-9))/(-4)*15. Suppose -2*g + 10 = 0, -39*j = -35*j + p*g - 45. Solve -3*m + 18 = -j*b, -3*m = -4*b - 3 - 12 for m.
1
Let r(b) = b**2 + 362*b - 2203. Let y be r(6). Solve 2*x = -3*l + 1, y*x - 7*x + 19 = -3*l for x.
5
Let y(f) = -26*f + 137. Let q(r) = -12*r + 68. Let k(j) = 5*q(j) - 2*y(j). Let d be k(8). Solve 3*b - 2*c + 7 = 0, 3*b + 4 = d*c + 3*c for b.
-3
Let w(a) = 441*a - 2646. Let g be w(6). Let i(u) = u**3 + 7*u**2 + 5*u - 9. Let k be i(-5). Solve -4*h - 3*y - 15 = g, -2*y = 2*h + k - 6 for h.
0
Suppose 38 = 956*x - 952*x - 5*l, -4*l - 16 = 4*x. Solve x*c + 3*c - 27 = -2*f, 10 = 2*c for f.
1
Suppose 66*a = 143*a + 19*a - 2400. Solve 0 = -2*f - 23*t + a*t, t = 3*f + 4 for f.
-2
Let c(x) = x**2 - 7*x - 12. Let z be c(15). Let a be (-2)/(-7) + z/63. Solve 0 = -2*q - 3*u - 1, -5*u - 3 = a*q - 4 for q.
-2
Let x(r) = r**3 - 14*r**2 + 17*r + 89. Let h be x(12). Solve -4*k + h*w = -8 + 7, 0 = -3*k + 3*w for k.
-1
Suppose 2*y = 5*q - 5, -11*y - 4*q + 2 = -13*y. Solve -5*w - 10 = 0, -13 - 3 = 2*o + y*w for o.
-3
Let g = -113 + 115. Let r be -4*3*(1/g + -1). Suppose 5*u + r*v - 156 = 2*v, -v = -3*u + 80. Solve -4*t - 2*l = -u, -3*l = 3*t - t - 22 for t.
5
Let m be 1001/110 + 1/(-10). Suppose -13*l - 30 = -23*l. Solve 4*c = c - h - m, 9 = -l*c - 2*h for c.
-3
Let q(c) = -3*c**2 - 3*c + 2. Let f be q(-3). Let y be f/(-20) + 3 + 1346/5. Suppose -10*o - 83 = -y. Solve -5*x + o = -2*s + 2, 5*s + 17 = 4*x for x.
3
Let c be (0 - 3/7) + 2270/70. Suppose 33*l - c*l = -7. Let a be (-19)/l + (-24)/(-84). Solve -3 = -n + 2*j, -a*n - j = 3*j - 19 for n.
5
Let s = -10379 + 10383. Solve 0 = m + s*u - 21, -6*m + 12 = -4*m + 2*u for m.
1
Let b(x) = x**2 + 20*x + 20. Let j be b(-20). Let a(t) = t**2 + 6*t + 4. Let i be a(-6). Suppose 5*q - 17 = 8. Solve -5*l = -o - j, l + 0*o + q*o = i for l.
4
Suppose l + 5 = 0, -3*m + 853 = 28*l - 27*l. Suppose -m*v = -287*v + 1. Solve 0 = h - 2*r - v + 2, 17 = -3*h - r for h.
-5
Suppose 12 = 5*f - 3*b - 18, -4*f - 2*b + 2 = 0. Let s(n) = -n**2 - 26*n + 3. Let k be s(-26). Solve -f*o + 3 = k*w, 4*o - 3*w = -0*w - 31 for o.
-4
Suppose -3*f = -5*d - 6, d - 6*d - 8 = -4*f. Let n be (2/(-4))/((-7)/420*f). Solve 3*i + 15 = 5*v, -5*i = 2*v + 3*v - n for v.
3
Let k(p) = -p**3 + 12*p**2 - 2*p - 95. Let i be k(11). Solve -b - 4*r + i = 3, -5*b = -3*r - 5 for b.
1
Let p(j) = -16*j + 1169. Let y be p(72). Solve 0 = -2*o - 5*k - 24 + 37, -y = 2*o - 5*k for o.
-1
Suppose -71*h - 18 = -70*h + 3*r, h - 5*r = 30. Solve 5*c - w + 5 + 2 = h, -3*c + 3*w + 3 = 0 for c.
-2
Suppose 3*z + 0*x - 5*x = 19, 3*x = -6. Suppose -u + 3*u - 20 = 0. Let y be u/4*(-24)/(-15). Solve -3*r - k - 7 = 0, -r - k - y = -z for r.
-3
Let x(f) = f**2 - 669. Let h be x(26). Solve -15*r = -2*q - 20*r + h, -4*r + 32 = -5*q for q.
-4
Suppose 0 = 2*u + 5*a + 9, -5*a + a - 27 = -5*u. Let v(b) = -36*b**2 - 788*b - 4269. Let z be v(-12). Solve 4*x - 3*y + 4 = y, -y + z = -u*x for x.
-1
Let y(x) = 4*x**2 + 13*x + 18. Let s be y(-2). Let a = -34 + 68. Let q = a - s. Solve -4*w - 21 = v, 3*w = -v - 2*w - q for v.
-1
Let u = 36 + -32. Suppose -4*l = -2*k, 0 = -2*l - 3*k + u - 20. Let a = l - -2. Solve 0 = -2*d - 5*v + v + 12, a = d + v - 5 for d.
4
Suppose 0 = -2*v + 7*v - 10. Suppose 5*g - 237 = -4*t - 0*t, -51 = -g - v*t. Let n be (7 - 6)/(20/100). Solve 2*m + 14 = -n*b + g, -m = -5*b + 22 for b.
5
Let y be (-92)/16 - (-3)/(-12). Let c be 0/((-2 - -7) + y). Solve -3*k + 3*b + 2*b - 19 = 0, 2*k - 5*b + 21 = c for k.
2
Let v be -9 + (12 - (-12)/6). Suppose 6*c = v*c + 5*x - 6, 0 = -3*c - 4*x + 20. Solve 12 = z + c*z - 2*j, 2*z = -4*j for z.
2
Suppose -207*f = -211*f. Solve 2*h + 6*l - 2*l = f, 0 = 5*h + 2*l - 8 for h.
2
Let z(o) = o**3 + 17*o**2 + o + 3. Let s be z(0). Solve 3 = 3*h, -s*h + 4 = 4*a - 19 for a.
5
Let w = -646 - -646. Suppose -4*a + z + 7 = w, -10*z + 12 = 4*a - 6*z. Solve -3*r + 3 = a*p - 0*r, p + 2 = 2*r for p.
0
Suppose -2053 = -7*w + 1622. Let s = w - 522. Solve 2*h = -5*v + 7, 3*v = -s*h + 11 - 5 for h.
1
Let c = -4357 + 4361. Solve 5*q +