k(h) = 4*h**3 + h - 1. Let m be k(1). Suppose 0*j = -j - 7. Let l = j - -19. Solve m*r = r + l for r.
4
Suppose 2*t = 5*y - 6, 0 = 5*y - 3*t - 7 + 3. Let z = 5 - y. Solve -2*n = z - 5 for n.
1
Let i(f) = -f**3 - 3*f**2 + 5*f + 1. Let o be i(-4). Suppose -4*k = -2*c + 14, -5*c = -k - 13 - 4. Let m = c + o. Solve 3*z + z = m for z.
0
Let m = 11 + -9. Suppose m*h = -h. Solve h = -2*s - 4 for s.
-2
Suppose 3*b + b = 12. Suppose -b*y = -9 + 3. Let p = 2 - 0. Solve h - y - p = 0 for h.
4
Let x(h) = 8*h + 0*h**2 + 1 + 4 + h**2. Suppose -p + 4 = 5, 3*k + p = -25. Let v be x(k). Solve 0 = v*l + 29 - 4 for l.
-5
Let q be (-2)/2 + (5 - 2). Let x be -4 + (7 - 2) + 2. Solve -x*l + 5*l = -q for l.
-1
Let x(b) = b**3 - 3*b**2. Let u be x(3). Suppose u = 3*q - 7 + 1. Solve 9 = z + q*z for z.
3
Let t be (-1)/(-2) + 3/6. Suppose 3*x - 3*d + 3 = 0, -2*d = -5*x - 3 + t. Let i = x - -2. Solve -n + i*n - 5 = 0 for n.
5
Suppose -5 = -0*g - g. Let j be (2/(-4))/(g/(-40)). Solve 0 = 9*z - j*z + 15 for z.
-3
Suppose -4*x + 22 = -5*d, -4*x = 2*d + x - 11. Let y be (6/2)/(d - -3). Suppose 4 = -3*c - 4*h + 1, 0 = h + y. Solve -4*w = -3*w - c for w.
3
Let d(x) = x**3 + 12*x**2 + 11*x + 9. Let h be d(-11). Let f be 3/h + (-33)/(-9). Solve f*p = -0*p for p.
0
Suppose 4*i = -0*i + 4. Solve i = -a + 6 for a.
5
Let v be (-1 - -4) + -1 + -1. Let n(t) = v + 1 + 1 - 1 + t. Let u be n(4). Solve 5*i + 4 = u*i for i.
4
Let d be ((-4)/(-6))/(6*5/135). Solve 8*h - d*h = 0 for h.
0
Let i(g) = -g**2 - 5*g + 8. Suppose -4*t + 3*t = 6. Let f be i(t). Suppose u - f = -0. Solve 3*o + 15 = -u*o for o.
-3
Let v = -13 + 20. Solve 2 - v = 5*t for t.
-1
Let b(v) = -2*v + 1. Let d be b(-7). Solve 0 = -5*i - d - 0 for i.
-3
Let h(y) = -y**3 + 11*y**2 + 11*y + 15. Let d be h(12). Suppose 2*j = v + 12, v = j + d*v - 1. Suppose j = 4*f - 3*f. Solve 3*r - 10 = f*r for r.
-5
Let a(r) = 2*r + 2*r + r. Let i be a(1). Let j be 0 + 4 - (-2 + 1). Solve 0*l - j = i*l for l.
-1
Suppose 0 = 4*c + 3*g - 18 - 15, -4*g = -3*c + 56. Solve 0 = -2*s - s + c for s.
4
Let t be (-6)/33 + ((-237)/(-33) - -1). Solve 0 = 4*w - t for w.
2
Let r = -5 + 5. Suppose 3*h + 18 = 3*y, -3*y = -0*y + h - 30. Solve r*q - y = -3*q for q.
3
Let y be (-3 - 0 - -4) + -1. Let l be (3 - y) + -2 - -8. Solve -l = -3*c - 0 for c.
3
Suppose 15 = -2*n + 7*n. Solve n*f = 2*f + 2 for f.
2
Let f(g) = -1 + 3 - g - 3 + 4*g. Let v = 3 + -2. Let y be f(v). Solve 6*h = y*h for h.
0
Let j = -7 - -5. Let n be (j/6*0)/1. Suppose -3*s + 15 + 6 = n. Solve 0 = 5*a + 3 + s for a.
-2
Suppose -q + r = -8, 0 = -2*q - 0*q - 4*r + 28. Let g = -2 + 3. Let u = g + -1. Solve u = -0*p - 2*p - q for p.
-5
Suppose 0 = y - 0*j + 5*j + 2, -5*y + 13 = 2*j. Solve y = 2*a - a for a.
3
Suppose 3*b - 4*n - 10 = -2*n, -b - 3*n = 4. Solve 2*i + 16 = -b*i for i.
-4
Suppose 0 = -5*y - 0 - 5. Let s be 4/(-6)*(-2 + y). Solve u - s*u + 4 = 0 for u.
4
Let i = 93 - 86. Solve -6 = -i*t + 4*t for t.
2
Let s = -1 - -2. Suppose -5*k + 10 = 0, 0*t + 4*k + s = 3*t. Suppose 2*b + t = 5*r + 8, 0 = -5*b - 2*r - 2. Solve b = 2*p - 7*p - 15 for p.
-3
Suppose -7 = -17*u + 10. Let z be 0/2 + 2 - 2. Solve -n + z - u = 0 for n.
-1
Suppose -p + 12 = 3*p. Let n be (-14)/(-4) + p/6. Suppose 0*i + 64 = n*i. Solve 3*r + i = -r for r.
-4
Let m = -8 + 13. Suppose -m*w = -2*j - 17, 0*w = 3*w - j - 10. Solve -5 - 7 = w*u for u.
-4
Let s be -2 - -4 - 2*2. Let j be (-1)/2*s/(-1). Let n = j - -2. Solve n + 1 = o for o.
2
Let z(a) = a + 6. Let n(j) = j + 7. Let o(m) = 4*n(m) - 5*z(m). Let d be o(-5). Solve -4*h = 17 + d for h.
-5
Let b(t) = t**3 - 2*t**2 - 3*t. Let p = 0 + 3. Suppose -4*r - f - p = -10, 0 = -5*r + f + 20. Let c be b(r). Solve c + 4 = 2*u for u.
2
Let w(h) = -2*h + 5. Let u be w(0). Let n(y) = 3*y - 6. Let m be n(6). Solve -u*r - 3 = m for r.
-3
Let z be 4/6 + (-4)/6. Suppose -5*u + 5 = -z, -5*b = 3*u - 18. Solve 5*t = b*t - 6 for t.
-3
Suppose -3*z = 15 - 21. Solve 5*n = -12 + z for n.
-2
Let k(q) = -q**3 + 7*q**2 - 5*q - 4. Let v be (12/(-10))/((-3)/15). Let j be k(v). Let s(y) = y**3 - y**2 - 3*y - 3. Let p be s(3). Solve -p*w = -j*w for w.
0
Suppose 2 = -h + 4*t - 16, -19 = 3*h - 5*t. Solve -2*q - h = -4*q for q.
1
Let v = 0 - 0. Suppose -5*w + 30 = 5. Suppose -4*r - 5*t = 5, 2 - 7 = -r + w*t. Solve v = b - r*b + 2 for b.
-2
Let b(q) = -q**3 + 3*q**2 + 4*q + 3. Let k(s) = -s**2 - 5*s. Let y be k(-4). Let r be b(y). Solve 0 = -r*p + 8 + 7 for p.
5
Let o(k) = -k**2 - 6*k - 7. Let t be o(-3). Solve -a + 3 - t = 0 for a.
1
Suppose 0 = 7*d - 11*d + 16. Solve d*y + 2 - 14 = 0 for y.
3
Suppose -5*p - 37 = -12, 25 = 4*f - 5*p. Suppose 3*i = -2*z + 20, -5*z = 5*i - 0*z - 40. Solve -3*o - 11 - i = f for o.
-5
Let i = -3 + 0. Suppose -5 = 5*k - 2*x, k - 5*k - 3*x + 19 = 0. Let y be -2 + (-5 - k)/i. Solve -5*o - 25 = -y*o for o.
-5
Let z be (6/(-9))/(1/(-3)). Let b be 1*z*10/4. Suppose p = -3*q + 1, b*q + 0 = -5*p + 5. Solve -s + 3 - 2 = q for s.
1
Let h be 3 + (-6 - -2)/2. Let n be (21/12)/(h/4). Solve n - 2 = -l for l.
-5
Let w(f) = -f + 9. Let g(s) = s**2 + 5. Let c be g(0). Let k be w(c). Suppose k*d + 10 = 2*l, 5*d + 2 = 4*l - 21. Solve 2*a = l*a for a.
0
Let m(a) be the third derivative of a**6/120 - a**5/20 + a**3/6 - a**2. Let h be m(3). Solve h + 9 = -2*k for k.
-5
Let j be (2 + 1)/(3/(-33)). Let l be j/(-2) - (-4)/(-8). Suppose 3*k - 9 = -0*k. Solve -k*y - y = l for y.
-4
Suppose r + 14 = 17. Solve -x + r = -2 for x.
5
Let a = 53 - 51. Solve a*c + 5 = 3 for c.
-1
Suppose 5*z + 4*v = 6*v, -5*z - 15 = -5*v. Let o be 3*(-2)/(-4)*z. Solve c - 20 = -o*c for c.
5
Let d be 5*1*(-2)/(-5). Suppose -6 = 4*i - d*i. Let a = 3 + i. Solve -h + 2 = -a*h for h.
2
Suppose 0 = 3*z - 0*g - 5*g - 41, 2*z = -4*g + 20. Solve z = r + 3*r for r.
3
Let u(z) = -z**3 + 7*z**2 - 8*z + 8. Let v be u(6). Let r be v/6 - (-2)/3. Suppose 0 = 4*k - 3*k - 6. Solve r = -k*i + i + 5 for i.
1
Let b(q) = 2*q**2 + q. Let i be b(1). Let h be i/12 - (-19)/4. Solve h*k = 1 + 4 for k.
1
Suppose -3*c - 13 = -4*r - 0*r, 0 = 2*c - r + 7. Let j(n) = n**2 + n - 1. Let q be j(c). Suppose -5*f + 3*f = q*m - 14, -4*f = 12. Solve -20 = d + m*d for d.
-4
Let x(p) = -19*p + 3. Let c(s) = -56*s + 8. Let z(l) = -3*c(l) + 8*x(l). Let a be z(2). Suppose 0 = 3*w - 5*w + a. Solve 4 + w = 5*v for v.
4
Let q be 3 + (-6)/2 - -2. Let g(v) = -1. Let a(n) = n. Let t(z) = q*a(z) - g(z). Let c be t(2). Solve 0 = c*o - 4*o for o.
0
Let q = 0 + 4. Solve 6*p - 5*p = q for p.
4
Let s be (2 - 2)/2 + 1. Let b be 8 + s/(3/(-9)). Solve 4*q - b = -1 for q.
1
Suppose 0*f + 5*f - 60 = 0. Solve -5*g = -9*g - f for g.
-3
Let r be (4/(-16))/((-1)/4). Solve -5*m + 4 = -r for m.
1
Suppose 3*n - 9*n = 0. Solve n*k - k = -4 for k.
4
Let h = 4 + -1. Let d(i) = 0*i + 1 + 0 + i. Let x be d(h). Solve o = x - 0 for o.
4
Let y be ((-28)/21)/(2/(-6)). Let i = 4 + -1. Solve -j = i - y for j.
1
Let z be (6 - 9) + (0 - -10) + -2. Solve z*i + 3 = -7 for i.
-2
Let l(s) = -s + 2. Let k be l(2). Suppose k = 2*o - z - 5, 5*o - 12 = 2*z. Let m(u) = 6*u - 2. Let j be m(o). Solve c = -c - j for c.
-5
Let x(i) = 11*i - i**2 - 6 - 3*i + 0. Let s be x(6). Let m(z) = -z + 1. Let v be m(-1). Solve -v*f - f = -s for f.
2
Let h(p) = 2*p**2 - 45*p + 26. Let l be h(22). Let k = 27 - 40. Let d = -1 - k. Solve -4 = -l*z - d for z.
-2
Let t be (8/2)/(0 - -1). Solve 0 = -l - t for l.
-4
Suppose 4 = 2*r + 3*u, 4*r - 6*u - 26 = -3*u. Solve 4 = -3*k - r for k.
-3
Let o be 11*(-2 - 9/(-3)). Solve -1 = -5*t - o for t.
-2
Let u(o) = 4*o**2 + o - 2. Let k(j) = 11*j**2 + 2*j - 7. Let m(x) = 3*k(x) - 8*u(x). Let z be m(4). Solve 0 = -z*t + 8*t + 20 for t.
-4
Suppose 3*c = -2*c. Suppose c = -0*h + 4*h - 96. Let q be (h/15)/(6/15). Solve -2*t = -q*t + 6 for t.
3
Suppose -4*j = 4*u - 424, -2*u + 5*j = -3*u + 126. Suppose -2*h - u - 3 = -5*o, -o + 12 = 4*h. Solve 7*b + o = 2*b for b.
-4
Suppose -22 + 4 = 3*t. Let p be (-94)/(-18) - t/(-27). Solve -p*m + 1 = -6*m for m.
-1
Let k be 4/(-6) - (-20)/(-6). Let x = k - -4. Solve 0 = m - 1 - x for m.
1
Suppose -2*s + 3*h + 2*h = 0, s = -3*h. Let l(x) = -x**2 - x + 2. Let i be l(s). Solve i + 3 = f for f.
5
Let a(p) = 2*p**2 - 16*p + 2. Let f be a(8). Solve -f = 2*k - 8 for k.
3
Let j(d) = d**2 - 3*d. Let n be j(4). Let z = 0 + 0. Solve -c - n + 1 = z for c.
-3
Let n(b) = 4*b 