Solve -i - 2 = 2*r, -i - 1 = -5*r + d for r.
1
Let r(b) = b**2 + 10*b + 5. Let y be r(-10). Let u(o) = o**3 + 9*o**2 + o + 11. Let h be u(-9). Solve d - h*d - 5*v = -3, -y*v = -3*d + 9 for d.
3
Suppose 0 = -14*n + 4*n. Suppose n*f - 12 = -4*f. Solve -6*s + s + 20 = 2*u, -12 = -f*s + 3*u for s.
4
Let a be (-3)/3*-3*(-14)/(-21). Suppose -65 = -15*q + a*q. Solve 4*i - 31 = q*u, -i + 2 - 4 = 2*u for i.
4
Suppose 25*m - 126 = -17*m. Solve -m*l = -0 + 6, -3*x + l + 17 = 0 for x.
5
Let f be -9 - -8 - (-25)/5. Solve -3*m - 10 = -4*t, 2*m - m + 14 = f*t for m.
2
Let o be (-1)/8 + (-147)/(-24). Suppose 11*y - o = 8*y. Solve y*l = 4*r + 12, l = -4*l + 4*r + 18 for l.
2
Let i be (-3 - -3)/(-3 + 3 + 2). Solve -2*o - 2 + 0 = i, 4*v = -3*o - 3 for v.
0
Suppose -2*v = 8, 4*v = 4*i + 26 + 10. Let q = 0 - i. Solve 3*s + 2*j = 7, 2*s - q = -j - 2*j for s.
-1
Suppose -3 = 2*k - 3*c, -3*k + 8*k - 3*c = 6. Solve 0 = 5*g + 2*r + 11, 0 = g + 3*r - 0 - k for g.
-3
Suppose 0 = -3*z + 2*r + 10, -4*z + 12 = -3*r + r. Solve z*c + 0*c - 6 = -o, o - 8 = -3*c for c.
2
Let q(o) = 7*o + 4. Let u be q(0). Solve -l = 3*g - 7 + 4, -4*g = -4*l - u for l.
0
Let m(z) = 13*z - 26. Let p be m(2). Solve 0 = o - 3*o - q - 2, -3*q + 6 = p for o.
-2
Suppose 4*h + 12 = 5*l, 0 = 4*h - 3*l + 28 - 24. Solve -5*f - 5 = 5*d - 9*f, -h*d + 4*f - 14 = 0 for d.
3
Let h(o) = -8*o - 3. Let q be h(-1). Solve -2 = 4*y - 2*y, -q*p - 4*y = 24 for p.
-4
Let k = -2143 - -2148. Solve k*n = -3*x + 12, -3*x + 7*n - 2*n + 12 = 0 for x.
4
Suppose -4*z - 5*z = -585. Suppose -2*i - z = -71. Solve 0 = -3*q + i*t + 2*t + 24, 5*q + 4*t = 3 for q.
3
Let w(z) = z**3 - 10*z**2 + 16*z + 7. Let b be w(8). Solve 4*a + 5*m = -2, -m = -a - 6*m + b for a.
-3
Suppose 4*w = -2*j + 228, -j = 2*w + 3*j - 108. Let h = -31 + w. Let d = h - 27. Solve d = 2*o - 8, -2*r + 5*o - 35 = r for r.
-5
Let y(a) = -a**3 + 12*a**2 - 11*a + 5. Suppose j + 45 = 4*j + 4*k, 2*j + k = 25. Let d be y(j). Solve u + 2*i - 4*i = 11, -4*u - 8 = d*i for u.
3
Suppose -4*w + 59 = 3*z, 3*z + 3*w - 61 = -2*w. Let q = -15 + z. Let n be q*(1 + (-4)/(-8)). Solve -4*y = g - n, -g + 3*g - 6 = 3*y for y.
0
Let z be 7*(-6)/252*-60. Solve -5 = -2*s + r, -5*r + r = -3*s + z for s.
2
Suppose 3*m - 6 - 6 = 0. Let l be ((-2)/4)/(m/(-96)). Suppose -2 + l = 2*t. Solve -f + t*s - 7 = -5*f, -4*f = -2*s + 14 for f.
-2
Suppose -17*q + 22*q - 3 = -3*i, -4*q + 3*i = -24. Solve 0 = -3*c - 3*a - 9, 2*c + q = -3*a - 2 for c.
-4
Suppose -7*g + 566 = 580. Let m(l) = -l**2 - 8*l - 8. Let u be m(-6). Let j be u - (2 - g) - -2. Solve -11 = -j*v + 3*n, -v + n + 8 = -n for v.
-2
Suppose -3*s = 5 - 11. Suppose t - s*t = -3. Suppose -29 = -4*w + m - 4, -5*w + 40 = -3*m. Solve o + 3*o - w*n = 3, 3*n = t for o.
2
Let p(x) = x**2 - 30*x + 163. Let j be p(7). Solve 4*s + 0*k + 20 = j*k, -5 = -5*s - 5*k for s.
-3
Let j be (-35 + 33)/(14/12 + -1). Let k be 16 + j + 0 + (-3 - -1). Solve 2*v - 2*c - 3*c = 0, -k*c = -4*v for v.
0
Let t = -4 + 8. Solve -l - 19 = t*q, -l + 3 - 17 = 3*q for l.
1
Suppose 5*j + 2 = 7. Let a be j/(-5) + (-54)/(-45). Solve 3*z = -4*v - v - 16, -3*z - a = 2*v for v.
-5
Suppose -4*r + 11 = -x, -118*x + 113*x + 2 = -r. Solve -3*d - s = 8, 0 = -r*s + 7*s - 4 for d.
-3
Let p(k) = -k**2 - 26*k - 67. Let g be p(-23). Solve 5*n - g*w + 8 = 2, 8 = -2*n - 2*w for n.
-2
Let f = -38 + 9. Let d = f + 19. Let b(y) = -y**3 - 10*y**2 - y - 4. Let i be b(d). Solve a + 3*a = -3*n - 27, -2*a - i = 0 for n.
-5
Let g be (8/16)/((-3)/114). Let m = g - -24. Solve 0 = -3*h - 4*k - 11, m*h - 2*k = -18 - 9 for h.
-5
Let f = 14 - 6. Let m(z) = z**2 - 6*z - 3. Let r be m(f). Suppose -r = -5*b - 3. Solve -4 = -3*p + 4*j, -b*p - 3*j - 2*j + 18 = 0 for p.
4
Let d be (-2)/(-2 - -3) - 12/(-1). Solve -2*p - 2*p = 2*c + 2, 2*p + d = 2*c for c.
3
Let d be (2 + 51/(-6))*2. Let h(i) = i**3 + 14*i**2 + 14*i + 17. Let t be h(d). Let g = t + -1. Solve p + g = -2*p, -2*p - 17 = -3*z for z.
5
Let j(s) = s**3 + 6*s**2 - s + 3. Let x be j(-6). Suppose 0 = 12*l - x - 39. Solve -t - c + 3 = 0, -3 = -2*t + 5*c - l for t.
2
Let i be (-1 - -2) + -9 + 4 - -8. Suppose -4*q + 5*z = 12, 0*q - 3*z = -i*q - 4. Solve 2*x - 11 = -3*x - q*g, 4*g = x + 11 for x.
1
Let u(r) = -r**3 - 9*r**2 + 221*r + 24. Let o be u(-20). Solve -2 = -o*y - j + 5, -5*y + 2*j = 1 for y.
1
Suppose -8 = 4*b - 28. Let u be (12/16)/(1/24). Let l(z) = -z + 2. Let w be l(-2). Solve 5*f = w*n + u, -b*n + n - 2*f - 4 = 0 for n.
-2
Let t be 0*(3/(-14) + 4/(-14)). Suppose t*k - 4*k + 20 = 0. Solve k*f + 4 = 4*i + 2, -4*i = 2*f + 12 for i.
-2
Let l(v) = -3*v**3 + 13*v**2 - 12*v**2 - 4*v + 2*v**3 - 10*v**2 - 11. Let d be l(-9). Solve -6*h - 5*k - d = -h, -k = -4*h - 15 for h.
-4
Let j be (-1920)/72*((-6)/4 + 0). Suppose 5*u + j - 50 = 0. Solve 5*t + 2 = -u*y + 4*t, 0 = 2*y - 5*t + 2 for y.
-1
Let m = 43 - 23. Suppose -4*k + 4*u - 9*u + 27 = 0, -3 = -3*k + 2*u. Let c be 2*k - (13 - 11). Solve z - 3*r - 3 = 2, c*z - 4*r = m for z.
5
Let s(t) = 2*t**2 - 13*t + 8. Let n(v) = -v**3 - v**2 + 5*v + 3. Let j be n(-3). Let q be s(j). Solve -4*d - 8 = -l - 3*l, -q = 2*l - 4*d for l.
5
Let f(w) = -2*w - 28. Let o be f(-13). Let i be 3/(-3 - o)*(11 - 12). Solve 0 = 3*r - 2*c + 9, 0 = -r + 5*c - 8*c - i for r.
-3
Suppose 0 = 23*m - 152 + 60. Solve -m*p - 2*z + 5 = -3*z, -z - 5 = p for p.
0
Let l(c) = -c - 1. Let h(m) = -m - 15. Let o be h(-12). Let t be l(o). Suppose -x + t = -0*x. Solve 0 = -4*f + x*g + 26, -2*f + 4*g - 4 + 32 = 0 for f.
4
Suppose 0 = -4*z + 3*w - 8*w + 45, -z + 4*w = 15. Solve k + 5*r = 2*r + 7, -2 = -z*k - 4*r for k.
-2
Let f(t) = -21*t + 110. Let y be f(5). Solve -y*b = w - b - 14, -4*w = b + 4 for w.
-2
Let z be 1 + -1 + 1 + 4. Solve -2*w - 9 = 3*h - 0*h, 0 = 5*h + z for w.
-3
Let m(h) = -4*h**2 - 19*h + 9. Let j be m(0). Solve -3*q - 8*k + 15 = -5*k, q + 2*k = j for q.
1
Let o(w) = w**3 + 3*w**2 - w. Let c be o(-3). Let k(p) = -p**2 + 4*p - 1. Let u be k(3). Let n = -643 + 654. Solve 6*a - 2*a + 11 = c*l, u*l = -a - n for l.
-3
Suppose -5*a + 28 = 4*f, 8 = -3*f + 5*a - 6. Let v(m) = -1 + m**2 + 3*m - 1 + 8. Let p be v(-4). Solve -y + p = 5*i, -i + 2*i - 5*y = f for i.
2
Suppose q - 4 = -2. Suppose -2*k = q*k - 20. Suppose -63*t = 242 - 872. Solve -o - 14 = k*z - 2*z, -z - t = 3*o for o.
-2
Let g(p) = 24*p - 45. Let x be g(2). Solve -5*i = 5*j + 25, 2*j + 3*i + x + 12 = 0 for j.
0
Let m be 5/(-20) - (-105)/4. Suppose 10*k = 47 + 43. Suppose -48 = -k*g - 3. Solve 4*o - v = -3*v + 22, v - m = -g*o for o.
5
Suppose 28 = 4*g + 2*j, -10 = -2*j - 2. Solve -2*l - m = l - 6, -l - g*m = 12 for l.
3
Let u be (-3)/((3 - 5) + (0 - -1)). Let j be 0 + (u - (1 + -1)). Solve -j*o - 11 = -2*y + y, 0 = -2*y - 8 for o.
-5
Let b(a) = -153*a**3 + 4*a + 3 + 1 - 2*a**2 + 151*a**3. Let x be b(-2). Solve -4*v + 4*w = x, 2 = 2*v - w - 1 for v.
4
Suppose t = 2*s - 9, -s - 2*t = 2*s + 4. Let u = 27 - 10. Suppose -5*g + 13 = -u. Solve -j + i = 6*i + g, 0 = j + s*i + 3 for j.
-1
Suppose 84*i = -3*k + 82*i + 24, -5*k = -5*i - 65. Solve k*x - 11*x - 4*u = 10, 0 = -5*x + 3*u + 19 for x.
2
Let w be (-2 + 4)*9/6. Solve -4*g - 2*v = -20, 2*g + v = -w*g + 22 for g.
4
Suppose -5*c - p - 10 = -28, c - 18 = -5*p. Solve 0 = -w - 5*z - 8, -z - 1 = 2*w - c for w.
2
Let z(i) = -i**3 - 24*i**2 + 5*i + 121. Let t be z(-24). Solve 5*f - 2*g + 25 = 0, 2*f = 4*g - 9 - t for f.
-5
Let a = -615 - -620. Solve 2*i - a*q = -4*q + 7, 4*i - 23 = 5*q for i.
2
Let j be ((-8)/12)/(4/(-6)). Suppose 11 = -4*x - 21. Let y = x - -12. Solve 3 = 5*l - 2*l - y*m, l = 3*m + j for l.
1
Let w be ((-2)/6 - 294/63)/(-1). Solve -q + h + 1 = 0, -34 = q + 5*h - w for q.
-4
Suppose 5*o - 5*q - 15 = 0, -2*o - o = -2*q - 10. Let j(s) = 9*s + 203. Let g be j(-22). Solve o*a - 3*f - g = 0, -3*f + 4*f + 1 = 2*a for a.
-1
Let a = -1204 + 1206. Solve -3*j + 3*i = -a*i + 18, -j - 4*i = -11 for j.
-1
Let q = 70 + -40. Suppose -156 = 40*a - 46*a. Solve -q = -5*v - 4*r, -v = 2*v + 4*r - a for v.
2
Let a = 7 - 4. Suppose -s - s + 5*i = -5, 5*i - 30 = -5*s. Suppose r = -2*q + s, 0 = -2*r - r + 3*q + 6. Solve 12 = -w - a*j, w + r*w - 32 = 4*j for w.
3
Suppose 0 = 3*h + 5*j - 9, 5*h - 15 = 7*j - 2*j. Suppose -2*z + y = -19, -1 - 20 = -2*z + h*y. Solve -z = -4*s - s + 4*n, -2*s = 2*n for s.
1
Let k(f) = -f**2 - 8*f + 5. Let d be k(0). Sol