 18 = -3*i - j, -2*i - 2*j = y for i.
-4
Let t be (0*4/(-16))/(-1). Suppose t*u + 2*u = 0. Solve -2*x - 1 = 2*a + 3, -x + 4*a - 17 = u for x.
-5
Let j = 5 + -4. Let k be j/(-2) + (-34)/(-4). Suppose -k = v - 3*v. Solve -35 = 3*x - 5*b, -x - 6 = -3*x - v*b for x.
-5
Suppose -3*a = 0, 0 = -2*j + 5*a + 9 + 17. Let r be (6 - 7)/((-1)/j). Solve -4*i = -4*f - 12, 0*i + r = 3*i + f for i.
4
Let a be -2*2/(12/39). Let j = -8 - a. Solve -v - 2*t = -j*v + 24, -16 = 4*t for v.
4
Let a = -3 - -24. Let x be -2 + 2 + 0 + 1. Suppose 5*g = x + 19. Solve n = -g*l - a, 8*l - 4*n = 3*l for l.
-4
Suppose 7*m = 2*m + 10. Let l = 10 - m. Solve 3*h + 2*a - 11 = 0, -5*h - a = l - 24 for h.
3
Let h(s) = -s**3 - 5*s**2 - 3*s + 5. Let v(f) = -2*f**2 - f + 2. Let o(y) = 2*h(y) - 5*v(y). Let x be o(-1). Solve -3*j - u = 1, 3*j + 8 = -x*u - 1 for j.
1
Suppose -2*n - 3*w + 2 = 0, -22 = -3*n + 5*w - 0*w. Solve -3*m = 3*h - 5*m + 8, 4*m - 16 = n*h for h.
0
Suppose 16*n + 16 = 20*n. Solve 4*z - 10 = -b - b, 10 = 2*b - n*z for b.
5
Let k be 4/(-1)*((-25)/(-20) + -2). Solve k*u + 31 = 5*c, -2*c - u = c - 13 for c.
5
Let w(o) = 2*o + 10. Let r be w(-8). Let u = 6 + r. Solve 4*i + 3 = -2*k + 1, u = 4*i - 8 for k.
-5
Let v(f) = f - 3*f + 7 + 10*f**2 + 14*f - 2*f**3 + f**3. Let m be v(11). Solve -w - m = 4*l, 3*l + 11 + 3 = -w for w.
-2
Suppose 7*h = 14 - 7. Solve -5*g = -3*m - 5 - h, 18 = 3*m + 3*g for m.
3
Suppose -5*y - 3*o = 27, 5 + 0 = y - 2*o. Let g = 4 + y. Let v be (33 - -1) + (2 - g). Solve 0 = 4*x - 2*f + 5*f - 7, -v = -5*x + 5*f for x.
4
Suppose 0 = -5*d + 14 + 36. Suppose 2*v + 2 = d. Solve 0 = 2*k - 5*s - 6 - 1, 0 = 3*k - v*s for k.
-4
Let k(a) = a**3 + 3*a**2 - 2*a + 5. Let t be k(-4). Let h(b) = -3*b - 3. Let v be h(t). Solve 13 = -5*l + 3, 0 = 4*s + l - v for s.
2
Let g be (-3)/(1 + -4) - -2. Suppose -7 = -g*i + 5. Solve 8 - 20 = 3*o + 3*t, -3*o = i*t + 15 for o.
-1
Let r(z) = -4*z - 48. Let o be r(-13). Solve -4 = -2*c + w, c - o*w = -3 - 2 for c.
3
Let b be -12 + 17 - (-12)/3. Let l = -20 + 33. Let s = -8 + l. Solve s*p - b = -3*m, -12 = -5*m + 2*p + 3 for m.
3
Let u be (-3 - 0)/((-5)/(-10) + -2). Solve m - 4*m - u*a + 7 = 0, 2*a - 3 = m for m.
1
Suppose 0*w - 3*w + 4*y = 27, -4*y = 0. Let r = 14 + w. Let u(x) = 13*x**2 - x. Let c be u(-1). Solve -3*i - i + c = -2*j, -r*j + 21 = 4*i for i.
4
Suppose -2*m = m - 75. Suppose 5*n - m = -0*n. Solve -f = -t + 6*t, -4*f + n*t = 25 for f.
-5
Let k be 36/((198/(-12))/(-11)). Solve 8*g = 3*g + 4*h + k, g = -4*h for g.
4
Let w = -7 + 1. Let p be -2*(-1)/(-4)*w. Suppose 3*z - 2*s + 4*s = 11, 2*s - 21 = -5*z. Solve -z = 5*y, p*f = -5*y + 2*y + 9 for f.
4
Let q be (-2)/3 + (-32)/6. Let v = q + 6. Let g be 3 + -1*(-1)/(-1). Solve -i + 5*k = -v*i - 4, -2*k = -g*i for i.
-1
Let w(u) = -u**2 - 3*u. Let g be w(-3). Suppose -4*i = -g*i - 36. Solve -6*h = -h - 5, v + 5*h - i = 0 for v.
4
Let s be (-6)/(-12) - 18/(-4). Solve -z = x + 6, 0 = z + s*x + 11 + 11 for z.
-2
Suppose -16*l + 17*l = 0. Solve 4*w - 2*w = l, -3*o = -3*w + 6 for o.
-2
Let x be (-34)/(-12) + (-6)/(-36). Solve -f + 9 = -x*d, 15 = -3*f + 6*f - 3*d for f.
3
Suppose 7*k - 2*k = 0. Suppose 4*y - 4 = 3*y. Suppose -2*t - o = -7, -o + y*o = 4*t + 1. Solve 6*l + 4*j + 12 = t*l, -3*l + 4*j - 9 = k for l.
-3
Let a be 6/3*3/(-2). Let m be (a/(-6))/(3/(-6)). Let y be 0 - (0 + 2*m). Solve -5*j + 3*k - 7*k = 11, -k = y*j + 5 for j.
-3
Let l(c) = 2*c - 9. Let m be l(8). Let v(n) = -n + 9. Let a be v(m). Solve -5*t + 17 - 2 = 0, a*i = -t + 13 for i.
5
Let w(o) = -4*o - 38. Let g be w(-11). Solve -x + 3*j - 5 = g, 3*x = -2*j for x.
-2
Let s be (-2 - -1)*0/2. Solve -5*n + 0*n - 3*y + 6 = s, -3*y = 4*n - 3 for n.
3
Let o = 29 - 19. Let k = o - 8. Solve -3*d - 3*j + 7 = d, 4*d + 2*j = k for d.
-2
Let q = 70 - 68. Let s be (0 + -1)*1*-2. Solve 2*m = -x + 5, m - q*x = -s*m + 4 for m.
2
Let c(l) = -l**2 - 4*l. Let o be c(-3). Solve 0 = 2*u - j - o*j - 6, -4*u + 9 = -5*j for u.
1
Suppose 0 = -w + 2*t + 12, -5 - 7 = 3*t. Solve 0*v - 4*v = 4*x + 16, 0 = 2*v + x + w for v.
0
Let t(l) = l**3 - 4*l**2 + l - 1. Let a be t(4). Suppose -2*o + 1 = 2*i - 5*i, 5*o - 34 = -3*i. Solve -i*u + u - 20 = -2*d, 3*d + a*u = 0 for d.
5
Let t be (1/(-3))/(6/(-108)). Let s be ((-8)/t)/(2/(-3)). Solve -2*y = -5*g - 3*y + 13, 0 = 4*g + s*y - 14 for g.
2
Suppose -6*n + n = 2*w - 75, 46 = 2*n + 4*w. Suppose -16 = 4*i, 0 = 5*r + 4*i - 130 - 29. Solve -2*u - 2*u = -5*v - n, -5*u = 4*v + r for v.
-5
Let n(v) = -v**2 + 2*v - 1. Let t be 2/3*-3 + 3. Let g be n(t). Solve -22 = 2*m - 6*f + 2*f, 5*m + f + 22 = g for m.
-5
Let z be (-5)/(1 + -3 + 1). Solve -z*v + 5 = -5*o, -3*o - 2*o - 3*v - 13 = 0 for o.
-2
Let l be (-296)/24 - 2/3. Let p = l - -16. Solve 3*u - 5*u - 12 = -2*h, -p*u = -h + 14 for u.
-4
Suppose 0 = p - 5 + 2. Suppose 5*n - 13 + p = 0. Solve 4*z + 8 = -2*l, 4*z - 2*z + 6 = -n*l for z.
-1
Let k(i) = -3*i + 2*i + 2*i + 4*i**3. Let t be k(1). Solve 3*n - 5*w = t*n - 2, n + 5*w = 6 for n.
-4
Suppose a - 1 = 2*f, -4*a + 4*f - 3 - 1 = 0. Let p be 3 + 4 + (a - 0). Solve 4*o - 5*i = 15, p*i = 3*o - 5*o + 14 for o.
5
Let z be 4*(-1 + (-3)/(-6)). Suppose -3*p = 2*p + 25. Let c = z - p. Solve -c*r + 2*m + 11 = 0, 0*r - 5*m = 4*r - 7 for r.
3
Suppose -2*o + 5 = 1. Let k be 0/(-4)*o/2. Solve k = 2*t + 3*s + 4, 2*t + 12 + 2 = 2*s for t.
-5
Suppose g = -2 - 2. Let m = g + 12. Suppose 0*k + 2*k - m = 0. Solve z + 3*z + 1 = 3*d, k*z + 4*d = 20 for z.
2
Let q be 15*2/6*(1 - 0). Suppose 3*w + 24 + 4 = m, 4*m = -4*w + 96. Solve -5*n + m = q*x, 0*x = -n - 4*x + 20 for n.
0
Suppose v - 27 = 3*k, 5*k = 2*v - 21 - 24. Let x be (5/(-3))/(3/k). Solve -j - 32 = x*s - 6, 3*s = 2*j - 13 for j.
-1
Suppose 24 = 3*w + w. Let y be (-6)/6 + 0/(-1). Let v = w + y. Solve 6*o = -3*x + 2*o - 20, v*x = -5*o - 30 for x.
-4
Let s(m) = -4*m**2 - 8 - 9*m + 4*m**2 - m**2 + 2*m**2. Let a be s(10). Solve 0 = 5*i - 3*r + 24 - a, 16 = -4*i + 2*r for i.
-2
Let g be (12/15)/((-2)/10). Let f = 15 - g. Solve 3*l - 7*l - 18 = z, -5*l - f = 3*z for z.
2
Suppose -3 - 29 = 4*k. Let w(l) = -l - 3. Let x be w(k). Suppose o - 90 = -4*o + x*m, 4*o - 74 = 5*m. Solve 11 = -3*n + 5*j, 0*j = 4*j - o for n.
3
Let d(m) = m**2 + 2*m - 31. Let a be d(-7). Solve 3*w + 25 = -0*w - a*r, 20 = -4*w - 2*r for w.
-3
Suppose 0 = -2*v + 4 - 0, 2 = 2*y - 3*v. Let c be (y - 2 - 0) + 8. Solve -f - 3*r - c = -2, -4 = 2*f + 2*r for f.
1
Let k be (-11)/(-4) + (-2)/(-8). Suppose k*p - 17 = -2. Suppose u = -0*u + f + 11, p*u - f - 59 = 0. Solve -u = 4*x, -2*i - 4*x - 6 = 2 for i.
2
Let p(g) = -g**2 + 17*g - 10. Let v be p(16). Let d = -1 - -6. Solve 2*w - 2 = w + 2*x, v = 2*w - d*x for w.
-2
Let a be (-4 - (1 + -10)) + 0. Suppose -6*q + 4*q + 5*i = -35, -a = 2*q + 3*i. Solve -4*b + 3*v = -0*v, -2*v = -b + q for b.
-3
Suppose 4*r - 48 = 6*r. Let t be 25/4 - (-6)/r. Suppose 3*j = -a + t, -a = a. Solve j*q + 2 + 2 = -2*o, 0 = 3*o - q + 18 for o.
-5
Let b be (-34)/(-6) - (-2)/6. Let m = -1 + 1. Solve 2*k - b*k - 3*r - 14 = m, -k - 4*r - 10 = 0 for k.
-2
Suppose 0 = 4*d - 0 + 8, w + 2*d = -1. Solve w*j - 5 = 5*z, 6*j = 5*z + 2*j for z.
-4
Suppose 5*d - 20 = 0, -36 = -3*b + d - 4*d. Suppose -3 - b = -c. Solve t - 6*t = 3*s + 34, 2*s = -t - c for s.
-3
Suppose -15 = -5*k, -q + 3*k - 13 = -3*q. Solve 2*v + 9*z - 8 = 4*z, -q*z + 16 = 4*v for v.
4
Suppose 0 = 4*k - 12 + 4. Solve -2*s + 3*x = 2 + k, -11 = 3*s - 2*x for s.
-5
Let f(w) = -w**3 + 6*w**2 + w - 3. Let u be f(6). Solve -3*i - 6 = -4*l, 0*l + 12 = u*i + 2*l for i.
2
Let v(a) = -4*a**2 + 10*a - 12. Let m(x) = -7*x**2 + 20*x - 24. Let g(o) = -3*m(o) + 5*v(o). Let i be g(9). Solve -y = 2*k - 6*k - 8, i*k + 4*y + 6 = 0 for k.
-2
Suppose i - 7 = -3. Suppose 5*d - 13 + 3 = 0. Suppose 0 = 12*y - 16*y + 16. Solve -b = y*b - 4*u + d, -i*u = -b + 6 for b.
-2
Let m be (-2)/13 - (-1015)/91. Solve 0 = s - 0*w + 3*w + m, 2*s + w = -2 for s.
1
Let a be (-19)/(-7) + 2/7. Let r(c) = c**3 - 3*c**2 + 3. Let j be r(a). Solve -j*s - 13 = 2*w, -4*w + 4 = -6*w for s.
-3
Let n be ((-3)/1 - -3)/2. Solve 2*y + 4*d + 10 = n, 4*d - 3*d - 11 = 4*y for y.
-3
Let d be (-2)/7 - 2/(-7). Suppose d = -2*h + 7*h. Solve 4*n - 2 = -2*q, h*n + 14 = 3*q - 5*n for q.
3
Let a(r) = r**2 - 3*r + 5. Let d be a(4). Let k be (-2)/(-6)*(-36)/(-4). Solve -3*o = -k*h - 4*o + d, 2*o - 8 =