v + 22, -v = y*t + 2*v + 10 for t.
1
Let i(d) = -39*d**3 + 1. Let g be i(-1). Suppose -l = -5*l + g. Suppose 0 = 2*v - v - 4. Solve 0 = 2*j - v*a + 3 + 17, -l = -2*a for j.
0
Suppose 3*j + 23 = -2*v, 0 = -v - 1 + 3. Let d = j - -15. Suppose 3*n - 5*n + 50 = 0. Solve 2*u + k + 15 = d*u, -5*k = -n for u.
5
Suppose 2*n - 5 - 5 = 0. Solve -35 = -3*x - 5*w, -37 = -n*x - w - 2*w for x.
5
Let f be (0 - -2)/(4/14). Let c(s) = -s**3 + 2*s**2 + 4*s. Let o be c(3). Solve 0 = 5*v - 3*v - o*p - 13, -2*v - 3*p = -f for v.
5
Let q = -20 - -12. Let j be 10/q*(-6 - -2). Solve -2*b - 9 = 5*o - 0, j*o = b - 18 for o.
-3
Suppose -2*l - 3*p + 29 = 0, -69 = -4*l - 5*p - 12. Solve 2*u - 3*i + 14 = 0, -u + l = -6*u + 2*i for u.
-1
Let k(h) = h**3 - 8*h**2 - 7*h - 13. Suppose -2*j - 3 + 11 = 2*f, 19 = j - 2*f. Let v be k(j). Solve -3*r - v*a = 23, -3*r + 5*r + 2*a = -10 for r.
-1
Let d(n) = 1 + 7*n**2 - 2*n + n - 3*n**2 + n**2. Let y be d(1). Suppose 5 = -y*s, 5*h - 13 = s - 3*s. Solve z - h*g - 15 = 0, -z - 5*g + 10 = 35 for z.
0
Suppose h = -2*h. Suppose 4*m - 13 = -5*n, -5*n - 8 = -h*m + m. Let f = -3 + m. Solve -5*g + 12 = 4*a - 8, 5*a + f = g for g.
4
Suppose 3*r - 4*r - 8 = -3*a, 0 = 4*a + 4*r - 16. Solve -5*z - a*d - 11 = 0, 6*z + 2*d = 3*z - 6 for z.
-4
Let c(a) = a**2 - 8*a + 2. Let m be c(8). Suppose m*o - 7*o = -10. Solve v - o*q = -0*v - 8, 0 = 5*v + q + 18 for v.
-4
Let n(y) = y**2 + 6*y - 12. Let h be n(-8). Solve -2*w - 6*a + 2*a = 28, -12 = -2*w + h*a for w.
-4
Let d be 369/33 + (-14)/77. Solve 3*t = 4*z - 11, -t + 2 - d = -4*z for z.
2
Let w(q) = -q**2 + 10*q - 11. Let u be w(8). Solve 3*j + 18 = -4*a, -4*a = u*j + 12 + 10 for j.
-2
Suppose 6*f + 1 = 31. Solve -36 = f*b + 5*u + 9, 0 = 4*b + 3*u + 31 for b.
-4
Let m(i) = -4*i - 4. Let p be m(-3). Solve -x - 8 = 2*d, 2*x - p = -2*x for d.
-5
Let o = -5 - -10. Suppose 32 = -3*l + o*l. Suppose l = 5*u - u. Solve 2*a + 17 = 4*q - 3*a, -q + u*a = -7 for q.
3
Let d(p) = -p**2 - 22*p - 18. Let b be d(-21). Solve 4*m + 0*x = b*x + 2, 3 = -5*m + x for m.
-1
Suppose 4*l + 0*l + 5*p = -31, -2*p = -2. Let h(r) = r + 9. Let f be h(l). Solve f = -s + 2*y - 5, -5*s + 3*s - 1 = -y for s.
1
Let j(c) = -c**2 - 17*c - 12. Let q be j(-16). Solve -4*n = -4*k - n + 12, -4*k = q*n - 12 for k.
3
Let x(u) = -u**2 - 14*u + 15. Let i be x(-15). Suppose -3*y + 3*c + 26 - 5 = 0, i = -4*c. Solve 3*j - 3 = 3*b, -2*j + j = b - y for j.
4
Suppose 4*i - 47 = -2*w + 7*i, -5*i = -5*w + 115. Suppose -5*d + 28 = 4*l, 3*l = -4*d - 0*d + w. Solve -5*g + 28 = -3*y - y, -2*g = d*y for y.
-2
Let v be ((-30)/18)/(1/(-3)). Solve -3*g - 4*u - 4 = v, 0 = -3*g + 5*u + 18 for g.
1
Let d be 2/7 + 48/28. Suppose f - 13 = -0*f. Suppose -f - d = -5*s. Solve -5*v = j - 7 - 3, -2*v + s*j = -4 for v.
2
Let h = 94 - 94. Solve -2*a + h*a + 5*u = -1, -11 = 3*a + 5*u for a.
-2
Suppose 0 = 5*g - 2*u - 23, -2*u + 4*u + 20 = 4*g. Suppose i - 1 + g = 0, 2*z + i = 0. Solve -3*v = -2*v + o + z, 20 = 5*o for v.
-5
Let d = -30 + 57. Let c be (-2)/3 - (-72)/d. Solve -3*k + c*k + 4*n = -13, -5*n - 17 = -k for k.
-3
Suppose a - 1 = 1. Let n(c) = 2*c**2 + c**a + 9 - 2*c**2 + 7*c. Let f be n(-6). Solve m + 7 = 5*g + f, -2*m = -4*g + 8 for g.
0
Suppose 0 = 2*j - 2*d + d - 9, 20 = 5*j - 5*d. Solve -5*p + p - 2 = j*g, 2*p = -3*g for p.
-3
Let s be -2 - (3/3 - 0). Let c = s + 5. Let n be ((-8)/(-10))/(c/5). Solve -2*b + n*w - 10 = 0, 0*w - 17 = 4*b - 3*w for b.
-2
Suppose 0*m - 5*m + 20 = 0. Let l = 2 + m. Solve -3*d - 3*n = -l*d, d + 12 = -5*n for d.
-2
Let d(k) = k**3 - 8*k**2 - k + 8. Let n be d(8). Suppose n*m - 4*m = -12. Let o be (-10)/(-2*1)*3. Solve 0 = 4*z + m*t - o, -z = -4*t + 22 - 2 for z.
0
Suppose -6*u + 14 = u. Solve 3*i - u*w + 5 = 2*i, 0 = -i - 3*w for i.
-3
Suppose -2*n - 2*t + 4 = 0, 4*t = -2*n + t. Let q(p) = -p**2 + 4*p + 2. Let u be q(3). Solve l + 3*w + n = 0, -u*l + 3*w - 8 = 4 for l.
-3
Suppose i + 7 = 5*d, 2*i - 3*d - 1 = -8*d. Let p(j) = 5*j**2 + 2*j + 1. Let t be p(-1). Let s = i + t. Solve 6 = s*k - 3*c + 2, 3*k - c + 8 = 0 for k.
-4
Suppose -12 = -i + 2*p, p = 2*p + 5. Suppose -2*m = 4*y + 4, -4*y - y - 5 = i*m. Solve -4*q + 2*z - 18 = m, 2*q = -2*q + z - 13 for q.
-2
Let m(k) = -k**3 + 6*k**2 + k - 4. Let f be m(6). Solve f = -5*v + 3*p - 16, 3*p = 3 for v.
-3
Let b be (-8)/(-2) + (-6)/3. Let x = 2 - b. Let t = x + 1. Solve 0 = m - 4*i - 10 - t, -4*m + i - 1 = 0 for m.
-1
Let b(c) = c**2 - 15*c - 42. Let t be b(18). Solve -4*i - t = 4*j, -2*i = -2*j + 3*j + 4 for i.
-1
Suppose -2*h + 14 = 4*p, -h + 2*p + p = -2. Suppose 2*g = -l + 4, 3*g + h*l - 2 = -g. Solve -3*i + 8*j = 3*j, -4*j = -g*i for i.
0
Suppose 3*k = 6*k. Suppose 8*h + 74 = 3*n + 4*h, 4*n - 2*h = 102. Suppose -4*t = -2*t - n. Solve 2*r + g + t = 0, -r + k = -g - 1 for r.
-4
Let d be (1 - 0/2) + -1. Suppose -3*q + 41 - 2 = d. Let k = q + -8. Solve 35 = 5*m - k*t, t + 4 = -2*m - 3*t for m.
4
Let h(n) = n**3 + 3*n**2 - 7*n - 5. Let b be h(-4). Let q(z) = z - 3. Let x be q(b). Solve -15 = -4*o + j, x*o + 4*j - 27 = -7 for o.
4
Let w = 46 - 42. Solve -w*p = d - 7, 0 = 5*p - d - 2 - 18 for p.
3
Suppose -w = -3*x - 1, -w + 2*w = -5*x - 15. Let v be (-3)/((x - -3) + -2). Solve -2*m = 6*p - v*p + 18, 15 = -m - 3*p for m.
-3
Let l = -36 + 38. Solve -3*s - 3 = -l*w, 3*w + s + 5 = 5*w for w.
3
Let d be 12/7*14/2. Let x be (-68)/(-5) + d/30. Let a(y) = -y**2 + 7*y - 6. Let b be a(6). Solve 3*j + 16 = -2*j + 3*u, -2*j + 5*u - x = b for j.
-2
Suppose -4*a + 2 + 10 = 0. Let f = -18 - -33. Solve 3*j - 4*n + 0*n = -20, 0 = a*n - f for j.
0
Suppose 3*p = -33 + 12. Let y(v) = v + 7. Let t(l) = 4*l + 27. Let i(z) = -2*t(z) + 9*y(z). Let q be i(p). Solve -q*w + 6 - 16 = 0, -w - 5 = 2*b for b.
0
Suppose 0 = -3*g + 2*g + 2. Suppose 0 = g*y + 3*y - 20. Let u be y/(12/39) - 3. Solve -2*j - u = -2*h, 5*h + 8 = -j + 3 for j.
-5
Suppose -97 = 4*l + 3*x, 3*l = 4*l + 2*x + 23. Let n = 35 + l. Suppose -5*u + 10 = 0, o + 2*u - n = -o. Solve 5*f - 8 = -4*t, 2*t - 4*f = 1 + o for t.
2
Let s(o) = 3*o - 9. Let v(f) = -6*f + 1. Let w be v(-1). Let m be s(w). Solve -5*z + 4*j - 1 = 0, -2 = -2*z + 4*j - m for z.
3
Suppose -z = -0*z. Let h = 15 + -9. Suppose z = m + m - h. Solve -2*v - 14 = -4*x, -m*v - 27 = -2*x + 2*v for x.
1
Suppose r - 3*x = -15, 3*r = 9*x - 7*x - 10. Solve r = -4*t - 2*p + 18, -1 = 2*t + p - 2*p for t.
2
Suppose -w - 10 = -5*b, b = w - 0 - 2. Solve -j - 4 = 5*i - 0*i, -4*i = -w*j + 9 for i.
-1
Let u = 12 + -10. Suppose x - u = 1. Solve 5*b - 28 = -v, -19 = -2*b - 0*v - x*v for b.
5
Let s = 11 - 6. Solve o = -s*i + 17, -5*o - 2*i - 7 = -0*i for o.
-3
Let w(t) = -t**3 + 2*t**2 + 4*t + 1. Let u be w(3). Solve 5*d = -a, -1 = 4*d - u*a - 25 for d.
1
Let n(x) = 4*x**2 + x. Let a be n(-1). Let z(m) = m**2 + 4*m - 4. Let g be z(-5). Let d be (3 - 4) + g + 9. Solve 3*w = 2*p - d, -2*p - 3*w + a = -0*w for p.
3
Suppose -6 = 2*x - 46. Let w = 35 - x. Solve 5*k + 25 = -3*f, f - 3*k - w + 0 = 0 for f.
0
Suppose -2*p + 8 - 2 = 0. Solve 0 = -3*d - 8*q + 3*q + 10, -2*q - 17 = -p*d for d.
5
Let m(q) = -2*q - 10. Let a be m(-7). Let n(w) = w - 6. Let j be n(6). Let s be j/(2/(-2) - 1). Solve -5*r - 4*y + 16 = s, -18 = -r - a*r - 2*y for r.
4
Let k(h) = h**3 + 8*h**2 + 2. Let v be k(-8). Solve -2*c - 8 = -4*n - 2, v*n - 6 = 2*c for n.
0
Let i(l) = -l**2 + 3*l + 7. Let a(g) = 2*g**2 - 6*g - 14. Let j(k) = -4*a(k) - 9*i(k). Let p be j(6). Solve -5*x = 3 - 8, 2*q + 5*x - p = 0 for q.
3
Let r be (2/4)/(1/(-4)). Let q = r - -7. Solve 0*d + d - q*t = 2, 3 = -3*t for d.
-3
Let i be -3*(0 + (-1)/1). Let w be (-1)/i + (-39)/(-9). Solve -5*f = -3*x + 5, 2*f + 2*f = 5*x - w for f.
-1
Let q(f) = -f**3 + 7*f**2 - f + 10. Let i be 76/10 - (-3)/(-5). Let b be q(i). Solve 4*s - 2*x - 23 + 3 = 0, -4*x - 7 = b*s for s.
3
Suppose -252 = -22*q + 56. Solve 2*m - 3*j + 0*j = -4, 0 = 4*m - 3*j + q for m.
-5
Let l(x) = -2*x + 8. Suppose -2*h = -5*i - 13, -h + 3*h - 8 = 4*i. Let q be l(h). Let y = -1 + q. Solve -k = 5*r - y, k + 2 = -2*r + 3*k for r.
3
Let r = -73 - -78. Solve -3 = -2*d - 5*a + 8, r*d = -3*a + 18 for d.
3
Let r = 52 - 21. Suppose f + 5 = 2*c, -4*c = 3*f + 2*f - r. Solve -6 = 3*v, -4*j + 1 = f*v - 1 for j.
2
Let y(p) = -14 - p**2 + 12 - 9*p + 5. Let x be y(-9). Solve -4*f + 6 = 3*n, -5*f = x*n - 4*n + 2 for n.
2
Suppose -2*c = 