*h + 3*y + 12. Solve h + 1 = -5*a for a.
-2
Let z be (-9 - -4 - -5)/(-3). Solve z*x - 8 = -4*x for x.
2
Suppose -i - 4*i = 0. Solve 4*y + y - 20 = i for y.
4
Let p(n) = n**2 + 4*n - 17. Let t be p(-7). Solve -2*u + 10 = -t*u for u.
-5
Let r = 20 - 14. Let t = r - 0. Let q(b) = -b**3 + 6*b**2 + 3. Let m be q(t). Solve m*d - d = 8 for d.
4
Suppose -6*t + 20 = -t. Let q = t - 1. Solve 3*u = -6 - q for u.
-3
Let s(f) = -8*f - 4. Let t be ((-6)/(-12))/((-1)/2). Let y be 6/((3/2)/t). Let o be s(y). Solve o = 5*u + 3 for u.
5
Suppose 0 = -3*k + 3*u - 6, -6 = 4*k - 5*u + 7. Solve -5 + 2 = k*v for v.
-1
Let l(m) = 0*m**2 - m + m**2 + 0*m**2. Let n be l(-1). Let i be 4*n/(16/6). Solve 0 = -5*x + 2 + i for x.
1
Let j = 11 + -19. Let s(d) = -d - 7. Let h be s(j). Let q = -10 + 10. Solve 0 = y - q + h for y.
-1
Suppose 7 = -12*x + 31. Solve 0 = -b - 3 - x for b.
-5
Let h = 41 + -33. Solve -r = 3*r + h for r.
-2
Suppose 4*m = -7 + 15. Solve -m*r + 3*r = -4 for r.
-4
Suppose 2*g = -2*g, -3*g = c + 9. Let h = -6 - c. Solve 2*w + w = h for w.
1
Let i = 12 + -1. Let n = i + -9. Solve 0 = -n*f + 6*f for f.
0
Let k(p) = 5*p**2 - 6*p + 4. Suppose 3*c + 4 = 16. Let h be k(c). Suppose t + h = 6*t. Solve 0 = -4*o + o - t for o.
-4
Suppose 15 = 2*k - 3*h, -4*k + 14 = -4*h - 14. Let r = k + -6. Solve r*n + 2*n = -6 for n.
-3
Suppose -a - 4*t + 3 = 0, 5 = 5*a + 5*t - 10. Solve -a*y = y - 16 for y.
4
Suppose 0 = v + 4*d - 2, -v + 2*d + 0 + 8 = 0. Let u = 15 - 6. Let w = u - v. Solve -w*j = -2*j + 4 for j.
-4
Let o = 16 - 11. Solve -4 = -3*k + o*k for k.
-2
Suppose 4*j - 2 - 17 = -w, -5*j + 21 = 4*w. Suppose 5*c + 5*p = -25, -j*p - 1 = -4*c + 24. Suppose -4*t + t + 2*o + 6 = c, -t = 2*o - 2. Solve -t = k + 2 for k.
-4
Let k = 5 + 1. Solve -n = -3*n - k for n.
-3
Suppose 4*z + 3 = -5. Let d be (3 - 3)*z/4. Let q be (2 + -6)*1/(-1). Solve -q*x + 2*x + 2 = d for x.
1
Suppose z = -3*z. Solve z = -4*f - 0*f - 16 for f.
-4
Let w(q) = q**2 + 4*q + 9. Let p be w(-4). Solve 4*y = y - p for y.
-3
Let a = -121 + 125. Solve u = a*u for u.
0
Suppose -2*v + 5*v = 15. Let g(i) = i**2 - 3*i - 5. Let o be g(v). Suppose 4*f = o*f - 3. Solve z - 4 = -f*z for z.
1
Let c be 34/8 + (-3)/12. Let h be c/2*(-34)/(-4). Suppose -2*s + h = -3*k, -9 = -3*s + k - 2*k. Solve 0 = -f - 3*f + s for f.
1
Suppose -5*v - i - 10 = -5*i, i + 5 = 5*v. Let p(b) = b + 4. Let g be p(0). Suppose 5*f - 14 = -3*z, -g*z - v*f - 2 = -16. Solve 0 = 2*l - 5*l - z for l.
-1
Let l be (-1 + 2)*(5 + -6). Let x be (-20)/(-10) - (1 + l). Solve 3*o - 2 = x*o for o.
2
Let z(p) = 0 + 8*p + 2 + 2*p**2 - p**2 + 2. Suppose -2*h + 0*h + 4*w = 8, -2*h = w + 18. Let l be z(h). Solve 5*g = -1 - l for g.
-1
Suppose -34 + 10 = -4*u. Suppose u = 5*r + 1. Solve 5*g - 4*g = -r for g.
-1
Let q(k) = k**2 + 4*k. Let x be q(-4). Solve -4*n - n + 10 = x for n.
2
Let o be 1 - ((-8)/4 + 3). Solve o = -3*t + t - 6 for t.
-3
Let t(i) = 6*i + 2. Let b be t(3). Suppose 3*d = 2*d + b. Solve 2*n - d = -3*n for n.
4
Let h = 7 - 5. Suppose -3*n = -0*n + 5*q - 23, -q = h*n - 13. Solve 0 = 5*l - 3*l - n for l.
3
Suppose s + 24 = -2*s. Let u be -10*(s/5)/4. Solve 0*b = u*b for b.
0
Suppose 5*y - 40 = -2*u, 5*y - 4*u = 11 - 1. Suppose 0*t + y = 3*t. Suppose 2*k + t*k = 16. Solve -q + 3*q = k for q.
2
Let a = -53 - -56. Solve a = -u - 2 for u.
-5
Suppose -x - 2*x = -15. Solve -3 = x*y - 8 for y.
1
Suppose z = 5*c - 30, -c + 5 + 20 = -4*z. Let d(f) = f**3 - 5*f**2 - f + 5. Let n be d(c). Let x be -2*(-1)/2*n. Solve -3*r - 2*r = x for r.
0
Let b be (-1)/(-4) - 11/(-4). Let h(d) = d**2 + 3*d + 2. Let n be h(-2). Suppose n = 3*q - 2*q. Solve q = -v - 4 + b for v.
-1
Let n(s) be the first derivative of -s**4/4 - s**3 - s**2/2 - 5*s - 2. Let z be n(-4). Let b = z + -11. Solve 0 = -j + b*j + 15 for j.
-5
Let w(o) be the first derivative of -o**4/4 - 3*o**3 - 5*o**2 - 11*o + 1. Let d be w(-8). Solve -4*j = -d*j + 1 for j.
1
Let l(o) = o - 2. Let c be l(3). Let s = 178 + -174. Solve c - 9 = -s*v for v.
2
Suppose 0 = -0*f + 4*f - j - 44, -11 = -f + 2*j. Let m = -9 + f. Let k be m/(-3) - (-2)/3. Solve 2*c + 6 = -k*c for c.
-3
Let k = 12 + 0. Solve -4*n = -n + k for n.
-4
Suppose -w - 12 = -3*k, 0 = 3*w - 3*k + 12 - 0. Suppose -g + d = -11, w = 5*g + d - 37 + 12. Suppose -l - 2*l + g = 0. Solve 3*s = -l*s for s.
0
Suppose 0 = -v + 4*x - 39, -5*x + 4*x + 138 = -5*v. Let c = -27 - v. Solve c = -0*g + 2*g for g.
0
Let t(u) be the second derivative of u**3/6 - 9*u**2/2 + 2*u. Let m be t(13). Suppose 2*f + 1 = -a, 3*a = -f + m*a + 7. Solve -f*l = -l - 1 for l.
1
Let y = 5 - 7. Let g be 2 + y + 2 + 2. Let n(m) = m**3 - 2*m**2 - 7*m + 6. Let i be n(g). Solve 2*a = 7*a + i for a.
-2
Let b be -6*(52/12 + -3). Let s be (-4)/b*0/2. Solve 0 = -s*u + 2*u + 6 for u.
-3
Let x(m) = -m**2 - 4*m - 3. Let g be x(-3). Suppose 3*d + 0*d + 18 = g. Let i be (-8)/10*75/d. Solve 0 = -5*c - 10 - i for c.
-4
Let q(m) = -m**3 + m - 3*m + 1 - 2. Let o be q(-1). Solve o*r - 6 = 2 for r.
4
Suppose 3 = 3*s - 0. Let f be 6/(-3)*s + 17. Solve -f = 6*w - w for w.
-3
Suppose -2 + 35 = 3*d. Solve 0 = 3*s + d + 1 for s.
-4
Suppose 0 = 5*q - 3*q. Let j(r) = -r. Let s be j(q). Suppose 2*u = -s*u + 30. Solve -4*h + 35 - u = 0 for h.
5
Let w be ((-18)/24)/(6/(-16)). Suppose n + 33 = 2*x, 3*n = -x + w*x - 29. Solve 1 + x = -5*z for z.
-3
Let x = 1 + 9. Solve 0 = w + w + x for w.
-5
Let f be (-4)/(-6) - (-280)/30. Let j = f - 0. Let a be (13 - j)/((-2)/(-2)). Solve a = 2*w + 1 for w.
1
Let h be 5/(2 + 3 + -4). Let q(k) = k**2 - 6*k + 2. Let y be q(6). Solve -h*u = -y*u + 6 for u.
-2
Let j(u) = -u**2 - u**3 + 0*u**3 + 4*u**2 - 2*u + 3 + u**2. Let y be j(3). Solve -y*g = -2*g + 20 for g.
-5
Suppose 24 = 4*h - h. Solve -2*x + 4*x = h for x.
4
Suppose 4*o - 14 = -0*o + 3*f, -3*f + 11 = o. Solve o*h + 2 = 12 for h.
2
Let k(j) = j**3 - 11*j**2 - 13*j + 1. Let u be k(12). Let q be 2/(-11) - 2/u. Let o(p) = p**3 - 5*p**2 - p + 7. Let d be o(5). Solve -d = -r - q for r.
2
Let f(o) = -o**3 - 3*o**2 - 4*o - 2. Let k be f(-2). Let q(j) = -3 + 3*j - 3*j + 6*j. Let z be q(3). Solve -c + z = k*c for c.
5
Suppose 5 = 3*p - 4. Suppose -w = 1, 3*t - 2*w + 10 = -p. Let q be (-1)/5 + (-1)/t. Solve -2*r - 5 + 3 = q for r.
-1
Suppose -37*j = -40*j. Let y be 2 - -2 - 2 - 0. Suppose 4*f = y*f. Solve 2*g + f*g = j for g.
0
Let r = -17 + 22. Solve i = r*i - 8 for i.
2
Let t(a) = a**3 + 9*a**2 - 11*a - 8. Let s be 2/4 - (-63)/(-6). Let q be t(s). Solve 2*n + q = -0*n for n.
-1
Let y(o) = -o**3 - 13*o**2 + o + 14. Let d be y(-13). Solve q - 3 - d = 0 for q.
4
Let i be 8 - 5 - 2*-2. Solve -3*t + i = -8 for t.
5
Let b be 10 + (-10)/(6/3). Solve -b*r + 0 + 5 = 0 for r.
1
Let z(l) be the third derivative of l**5/60 + 3*l**4/8 - l**3/2 + 2*l**2. Let o be z(-8). Let m = -8 - o. Solve -6 = -m*t + 9 for t.
5
Suppose 20 = 23*r - 18*r. Solve -r*d + 4 = -0*d for d.
1
Suppose -3*y - 2*b = -20, b = -5*y - 0*b + 24. Solve 0*j = -y*j - 12 for j.
-3
Let t = 1 - -3. Let j be (-2)/t + 3/2. Solve -1 = z + j for z.
-2
Suppose 2*i + i - 51 = 0. Solve i = 4*d - 3 for d.
5
Let h = 28 - 28. Solve -5*l + 3*l = h for l.
0
Let q = 0 + 7. Suppose 5*s = -6*i + i + 10, -q = -2*i + s. Suppose -v = -5*g + 9, -4*g = 2*v + g - 27. Solve -h + i*h = -v for h.
-3
Let q = 2 + -2. Suppose l + 1 + 0 = -4*y, -4*l + y + 30 = q. Let m(o) = o**2 - 6*o - 5. Let i be m(l). Solve i*w = -w - 6 for w.
-2
Let q = -9 + 3. Let b be (-7 - q)*(-3)/1. Let r be (-3)/b + 1 + 1. Solve g = 3 + r for g.
4
Suppose -18 = -r + 4*j, 4*r + 3*j = -4 - 0. Suppose y = 4*c - 15, r*c + y - 5 = 4. Solve 5*a + c + 1 = 0 for a.
-1
Suppose 4*g - 9 = 5*g - 2*p, 0 = 5*g - 3*p + 24. Let y = 7 + g. Solve -c - y = -3 for c.
-1
Let m(s) = 11*s - 17. Let z be m(3). Solve -3*w = w + z for w.
-4
Let c = 17 - -21. Suppose 0*s + 2*s - c = -3*g, 44 = 4*g + s. Solve -z = z + g for z.
-5
Let q(s) = -s - 4. Let c(l) = -l**3 - 3*l**2 + 3*l + 2. Let v be c(-2). Let k be q(v). Solve 0 = 5*j + k + 11 for j.
-3
Let z = 17 + -33. Let w be (40/z)/(2/(-4)). Suppose 14 = -h + w*h + g, -3*h + 3*g = -18. Solve -h*v + 2 - 10 = 0 for v.
-2
Let o(w) = 3*w**2 - 1. Let b be o(1). Suppose -b*d = -4*d + 6. Let j be -2 - (0/d + -4). Solve -j*g = -0*g for g.
0
Let o = 24 - 38. Let a = o - -23. Solve -h - a = -4*h for h.
3
Let n be 0 - -1 - (0 - 