(t) = -6*t**3 + t**2 + 3*t + 2. Let a be y(-1). Solve -10 - a = -4*w for w.
4
Suppose 0 = 5*g - 15 - 15. Suppose 4*w - 12 = 3*z + z, -2*w + g = 3*z. Solve z = -2*f - 2 - 4 for f.
-3
Suppose -1 = 5*v - 4*t + 4, 0 = 4*v + 3*t - 27. Let y = 9 - 1. Solve 2 - y = -v*f for f.
2
Suppose 8 = -b + 3*b. Suppose -b*q + 60 = q. Solve -q + 37 = -5*f for f.
-5
Suppose 0 = -7*q + 24 - 3. Solve -f - q = -8 for f.
5
Suppose -4*d - 4*g = 4, 0*d + g = -4*d + 8. Solve d*f - 14 = -5 for f.
3
Let p(y) = y - 8. Let z be p(10). Suppose -3 = -z*g + g. Solve -v = -g*v for v.
0
Suppose -3*d - 12 = 36. Suppose 0 = 3*o + 2*z + 32, 2*o - 3*z = -4 - 0. Let h be (-12)/d + (-2)/o. Solve -h = y - 0*y for y.
-1
Let z(c) = -c**2 - 10*c - 12. Let x be z(-8). Solve -k = x*k for k.
0
Let w be 2/6*3 - 0. Let r be (4 - w) + -1 + 2. Solve -15 = r*m - 3 for m.
-3
Let a be 4*(5/(-4) - -2). Let x(b) = b - 3. Let g be x(7). Let n be g/2*1/1. Solve -7 = a*w + n for w.
-3
Let b = -6 + -14. Let d = -9 - b. Let f = d - 6. Solve 0 = 2*q - f*q + 12 for q.
4
Suppose -3*p - 4*g + 0 = 6, 3*p + 3*g = -3. Solve p*r - r = 5 for r.
5
Let b = -4 - -2. Let y be 0/(-2) - (-2 - b). Solve v - 4 + y = 0 for v.
4
Suppose -3*w - 3 = -12. Let r be 0 - ((-4 - -2) + 0). Solve -z + w*z = r for z.
1
Let o(d) = 12*d**3 + d**2 - 1. Let v be o(1). Let q be (-20)/3 + (-4)/v. Let h be 2/(-3)*(-2 + q). Solve -2*i - 4 = -h for i.
1
Let n(m) = -m**3 - 3*m**2 - 2*m - 4. Suppose 0 = -4*z + 3*o + 51, -5*z - 5*o = -3*z + 7. Suppose -6*d + 3*d = z. Let h be n(d). Solve 1 = h*p - 1 for p.
1
Let w(z) = z**2 - 6*z - 57 + 57. Let r be w(6). Solve r*m - m = 1 for m.
-1
Let w(c) = c**2 + c - 3. Let y be w(2). Suppose -b - 5*m + 10 = 0, 4*m - y = 5*b + 5. Solve -10 = -b*g - 2*g for g.
5
Let v be (2 - 3)/(22/(-10) + 2). Solve 24 = -v*h - 1 for h.
-5
Let h = 8 + -26. Let w be (h/(-15))/((-8)/(-20)). Suppose -1 + 5 = 2*j. Solve w = -j*l - 1 for l.
-2
Let f(s) = s**2 + 3*s - 4. Let q be 4/(-5)*(7 - 2). Let h be f(q). Solve 2*n - 4*n - 6 = h for n.
-3
Let k(w) = -w**2 - 8*w - 3. Let q be k(-7). Let a = 10 - q. Solve -2*d - d + a = 0 for d.
2
Let a = -45 - -45. Solve a = -u + 2 - 5 for u.
-3
Suppose -2*o + 0 + 2 = 0, 0 = -q - o + 2. Let t(s) = 3*s - 1. Let z be t(q). Solve h = -0 + z for h.
2
Suppose -15 = 7*w - 71. Solve 3*u - 1 = w for u.
3
Let a be 0*(1/(-2) - (-30)/20). Solve i + a = -5 for i.
-5
Suppose 0 = 2*x + 2*x. Suppose 0 = -x*l + 4*l. Solve l*v = v + 4 for v.
-4
Let q(s) = -s**2 + 7*s - 7. Let y be q(5). Suppose -2*f - 4*v + 14 = 0, 6*f - 1 = y*f + 4*v. Let a be ((-5)/f)/(2/(-6)). Solve 4 = a*n - 1 for n.
1
Suppose -5 = -n - 3*z, 0*n - z = -3*n + 15. Let o = n - -2. Suppose -3*i + 8 + o = 0. Solve 12 = t - i*t for t.
-3
Let x(u) = -18 - 3*u + 5 + 0*u. Let d be x(-5). Solve d*y = -3*y - 25 for y.
-5
Suppose -o = 5 - 6. Solve -2*q + q - o = 0 for q.
-1
Let k = 1 + -1. Solve k = -4*l + 2 + 2 for l.
1
Let a be (4 - -1)*8/(-20). Let q = a - -4. Solve q*l - l - 5 = 0 for l.
5
Let s = 3 + 2. Let f(m) = m**2 - 4*m + 3. Let d be f(4). Solve -s*x - d = -13 for x.
2
Suppose 0 = -f + 2 + 13. Suppose 0 = -5*b - 5*h + f, -3 = -4*b + 2*h - 9. Suppose b = 4*l - 3*l. Solve 2*z - 4*z - 4 = l for z.
-2
Suppose 0 = -r + 5*r - 16. Suppose 0 = i + 2 + r. Let g be (1 + -1)*(-3)/i. Solve 0*y + 3*y - 6 = g for y.
2
Suppose 0 = 3*k - 0*k - 30. Solve k = -4*t - t for t.
-2
Let x be -10*(15/(-6))/5. Suppose -x*r + 11 = -9. Suppose r*m - 16 = 0, -5*q - 6 = -6*m + 2*m. Solve 4*l + 2 + q = 0 for l.
-1
Let k be -2 + 1 - (-1 + -4 + 4). Solve k*v = v for v.
0
Suppose 10 = 3*g - 5. Suppose g*s - 19 = 5*d - 49, 5*d + 5*s + 10 = 0. Suppose -d*w = -0*w - 10. Solve -h = -w + 1 for h.
4
Let r = 0 + 4. Suppose t + 1 = -2*f - 0*f, 3*t = -3*f + 6. Suppose r*k = t*d + 15, -2*d + 4*d + 2*k - 12 = 0. Solve -d = -2*h + 3 for h.
2
Let f = -7 + 7. Let r = -28 + 44. Solve f*k = 4*k - r for k.
4
Let k = -6 + 10. Suppose -9 = 3*f, 4*f + 20 = -4*w + 3*w. Let s be w/24 + (-26)/(-6). Solve -3*i - k = -s*i for i.
4
Let o(l) = -7*l - 3. Let z be o(-1). Solve 0 = b + z*b + 10 for b.
-2
Suppose 1 = 3*y + 2*f, 2*y - 3*f = -f + 14. Solve -2*h + 3 = -y for h.
3
Suppose -5*z + 20 + 2 = q, 2*z - 2*q = 4. Solve 0*d + z = -2*d for d.
-2
Let j = -59 + 99. Suppose 0*u = -2*u + j. Let h(r) = r**3 - 10*r**2 + 17*r. Let d be h(8). Solve 3*t - u = d*t for t.
-4
Let y be ((-3)/(-9))/(3/(-63)). Let z = -10 - y. Let i(q) = -2*q - 4. Let m be i(z). Solve m*x - 25 = -3*x for x.
5
Suppose 0*d = d - 6. Solve -d*k + k + 10 = 0 for k.
2
Suppose 2*z + 0 = -4*f + 26, 0 = 2*f - 2*z - 4. Solve -2*l - f = -3*l for l.
5
Let j(p) = -p + 250. Let f be j(0). Suppose -f = -8*t + 3*t. Suppose -2*h - 3*h + o = -t, -h - 4*o + 10 = 0. Solve -h = -3*x - 25 for x.
-5
Suppose -3*y - 4*c - 10 = -5*y, 5*y - 3*c - 60 = 0. Let u be (1 + -5)*y/(-12). Solve 5*b - 20 = u for b.
5
Let b be 1 + (1 - (-2 - -2)). Suppose b*g - 3 = 31. Let d = -11 + g. Solve -2*w = -d*w for w.
0
Let w = -1 - -9. Suppose -3*j - j - 24 = 0. Let g = j - -8. Solve -g*z + w + 2 = 0 for z.
5
Let f(n) = n**3 - 3*n**2 - 2*n - 4. Let i be (-5)/((-19)/9 + 2). Suppose -5*t - 2*s + i = 3*s, -3*s = t - 19. Let l be f(t). Solve -l*u - 1 = 19 for u.
-5
Suppose 2*p - p = 0. Let v be -2 + p/2 - -4. Let l(a) = a**2 - 6*a - 4. Let m be l(-1). Solve m*g = 2*g - v for g.
-2
Let m be (2/(-2))/((-2)/4). Suppose 2*v = l + 7*v - 15, 0 = -2*l + m*v - 6. Solve l*c = -3*c - 12 for c.
-4
Suppose -4*x = -2*x - 2. Let m be x/(-5) - (-2)/10. Suppose 3*z = -m*z. Solve 5*g + z = 25 for g.
5
Let m = -10 - -13. Let q = -1 - -2. Solve -2 = -m*z + q for z.
1
Suppose 0*i = -3*i + 6. Suppose i*n + 4*c + 10 = 0, -4*c = -n - 0*c + 19. Solve 0 = n*p - 0*p - 6 for p.
2
Suppose -3*k + 4*g + 22 = 0, 0 = 5*k + 2*g - 1 - 27. Solve -k*l = -7*l - 3 for l.
-3
Suppose -p - 5*t - 6 = 2, -4 = -3*p - t. Let g(m) = m**2 + 2*m - 8. Let l be g(-4). Solve -q + l*q = -p for q.
2
Suppose -5*f = -7 - 13. Let q = f - 2. Let t be (-3 - (-2)/q) + 4. Solve j + 2 + t = 0 for j.
-4
Let y(f) = 2*f - 3. Let c be y(4). Solve x = c*x for x.
0
Let y(h) = h**3 + 3*h**2 - 2*h - 3. Let u(m) = -2*m + 1. Let i be u(2). Let n be y(i). Solve 1 + n = 4*t for t.
1
Let d be ((-6)/4)/(2/12). Let h = 2 - d. Solve 0 = 4*t - h - 5 for t.
4
Let p be 3*4/48*4. Let q(t) be the first derivative of 13*t**3/3 + t + 1. Let y be q(p). Solve -y = -4*s + 2 for s.
4
Suppose -3*b - 40 = -4*u - b, 2*u - 3*b = 28. Let s = u - 6. Solve 0 = -7*y + s*y for y.
0
Suppose -3*v = -0*v + 66. Suppose 6*m = m - 10. Let c be m/11 + (-268)/v. Solve 0 = -3*x + c for x.
4
Suppose 5*u = -57 + 7. Let g be (-4)/u + (-66)/(-10). Suppose -9 = -4*f - w - 1, -5*f = -w - 1. Solve f = -2*z + g for z.
3
Let m(k) = -2*k. Let s be -9 + 6/2 + 1. Let q be m(s). Solve 5*d = -0*d - q for d.
-2
Suppose -20 - 20 = -4*j. Suppose 2*x - q - j = 0, q - 5*q - 13 = x. Suppose -2 = -5*m + x, 3*m + 97 = 5*k. Solve 2*z + 3*z = -k for z.
-4
Let c = -17 - -1. Let o be ((-2)/(-4))/((-2)/c). Let w = -2 - -7. Solve 0 = -3*k + w*k + o for k.
-2
Suppose -2*r = 4*a - 12 - 6, r + 3*a - 11 = 0. Solve -3*u = -r - 10 for u.
5
Suppose 2*i + 21 = j, -2*j = 7*i - 3*i + 22. Let g = i - -10. Solve -2*w = g + 4 for w.
-3
Let a = -4 + -5. Let s = -5 - a. Solve -i + 15 = -s*i for i.
-5
Let s = -11 - -26. Solve 2*v + v - s = 0 for v.
5
Let z(i) = -i**3 + 7*i**2 - 5*i - 3. Let j be z(6). Suppose j*g + l - 5 = 0, -l + 0 + 5 = 2*g. Solve 3*x + 2*x = g for x.
0
Let t(z) = z - 7. Let m be t(7). Solve -6 = -m*d + 2*d for d.
-3
Let v be (-3)/(-2 - (-3)/6). Let u = 15 - 3. Let i = u - 8. Solve i = v*x + 6 for x.
-1
Let b(i) = i**2 - 10*i + 2. Let d be b(10). Suppose d*u - 5*f - 23 - 1 = 0, -5*u = 3*f + 2. Solve -u*q = -q for q.
0
Let w(x) = 7*x**3 - 6*x**2 - 15*x - 11. Let q(h) = -3*h**3 + 3*h**2 + 7*h + 5. Let a(k) = 5*q(k) + 2*w(k). Let i be a(4). Solve -i*j - 16 = -3*j for j.
-4
Suppose -5*n = -3*x - 16, 3*x + n - 24 = -2*n. Solve -4*b = -x*b - 5 for b.
5
Let w = 6 - 4. Suppose 3*c - 11 = 2*u + w, u + 17 = -2*c. Let z = -8 - u. Solve -r = z*r - 16 for r.
4
Let w = -4 - -7. Let m(f) = f**2 - 12*f + 12. Let b(p) = p. Let v(k) = 4*b(k) + m(k). Let h be v(6). Solve h = 3*l - 12 - w for l.
5
Let d(k) = 2*k**2 - 3*k - 4. Let b be d(4). Solve 0 = -6*j + 2*j + b for j.
4
Let v = 10 + -8. Let k = 3 + v. Solve 15 = k*h - 