1, 3*h + 7 = 5*x. Suppose -2*u - 2*o = -0*o + 6, x*u + 6 = 4*o. Let i be 2 - (u + (-6)/(-3)). Solve -j + i*j + 6 = 0 for j.
-3
Let u(j) = 2*j**2 - 6*j - 5. Let y be u(4). Let w be (-2 - -1 - 0) + 1. Solve w*g = y*g for g.
0
Suppose 2*v - 9 = -v. Let r = 10 + -7. Solve 2*c = v + r for c.
3
Let i(m) = m**2 - 3*m - 4. Let r be i(4). Let w be 3/(-2 + (-3)/(-6)). Let h be 1*3 + (-1 - w). Solve 4*x - 2*x - h = r for x.
2
Let f(p) = -6*p - 9. Let v be f(-2). Solve v = a - 0 for a.
3
Let t(s) be the third derivative of s**6/120 - s**5/30 + s**4/24 + s**3/2 - s**2. Let p be t(3). Suppose -2*y = y - p. Solve y + 3 = 2*b for b.
4
Let n be (-40)/15*3/(-2). Solve 3*v - n = v for v.
2
Let z be 1 + 13 - (0 + -1 + 0). Solve 4*d - z = -d for d.
3
Suppose 0 = z + 4*z + 25. Let h(i) = i + 5. Let f be h(z). Solve f = -5*b - 0*b - 25 for b.
-5
Suppose -3*f - 23 = -4*n, -n + 6*n - 2*f - 27 = 0. Let y = n + -1. Let l be y/(-10) + (-2)/(-5). Solve 0 = -l*a - 4*a for a.
0
Let x(l) = -7*l + 30. Let m be x(4). Solve 4*g + m = -18 for g.
-5
Suppose -16*b = -11*b - 25. Solve -z + 2*z = -b for z.
-5
Let h(v) = 41*v**2 + 1. Let m be h(-1). Suppose y + m = -2*y. Let z be -1 + 0 - y - -1. Solve -5*u - 6 = z for u.
-4
Let z = -7 - -12. Suppose w = -l + 12, -z*w = -3*l - 0*l - 44. Solve 5*i + 0 = w for i.
2
Let n be (9 - 13)*(-9)/12. Suppose -f - 2*f = 0. Solve f = -3*v - 0 - n for v.
-1
Let h(j) be the third derivative of j**6/120 + j**5/10 + 7*j**4/24 + 7*j**3/6 - 2*j**2. Let n be h(-5). Let o be (-12)/(-9)*n/(-2). Solve u + o*u = 0 for u.
0
Suppose 0*s - 5*s + 100 = 0. Solve f + 3*f = s for f.
5
Suppose -f - 4*i = -51 + 3, 2*f - 123 = i. Let s be f + 1 - 3/(-3). Let z be 1/2 - s/(-4). Solve 0 = -j - 3*j + z for j.
4
Suppose 4*v = 1 + 3. Let c = 3 + v. Solve 0 = -c*w - 0*w - 12 for w.
-3
Let r(x) = 9*x**3 - 1. Let p be r(-1). Let w = -2 + p. Let f be 1/((1*-3)/w). Solve -m - 5 = f*m for m.
-1
Let k be 0/(-2*1/2). Suppose s - 5*u - 12 = 0, 3*s - 4*u - 10 = 4. Let t = s + k. Solve -w = t*w - 3 for w.
1
Suppose 5*m = 10, -1 = -3*w + 3*m + 20. Suppose -z + 4 + w = 0. Suppose -3*k - 4*p = -16, 4*k + 2*p + z = 51. Solve l + k = -2*l for l.
-4
Suppose 1 = -i + z - 10, 47 = -5*i - 3*z. Let f be (-6)/i - 188/(-20). Suppose -3*h - 2*h + f = -5*g, -4 = 4*h + 2*g. Solve -r + 1 = -h for r.
1
Suppose 0 = -5*n + 5*c + 10, n = c + 2*c - 8. Solve -n = -r - 10 for r.
-3
Suppose 0*g - 1 = -g. Let f be 0 + (3 - (-2 + g)). Solve -u - u = f for u.
-2
Suppose -9 = -4*i + 3. Solve -6 - i = 3*d for d.
-3
Let f be (3 - (-46)/(-14))*-7. Solve -p - f - 3 = 0 for p.
-5
Suppose o + 1 = 0, -2*q - 2*o = -3*q + 5. Suppose 3*n = g, -n - 33 = -q*g - g. Let s = -6 + g. Solve -2*y + 1 = s for y.
-1
Let a be 7*(2 - (-48)/(-28)). Solve 2*t + a - 8 = 0 for t.
3
Suppose 5*r + 4*g - 5 - 7 = 0, -2*r - 5*g + 15 = 0. Let u(m) = m**3 + 6*m**2 - 8*m - 1. Let z be u(-7). Let x = -1 - -3. Solve r*b = x*b + z for b.
-3
Suppose -6 - 34 = -u. Let h be u*(-3)/(-7 + 1). Solve 0 = -0*a + 5*a + h for a.
-4
Let t be 130/39 + (-1)/3. Let p(w) = -9*w**3 - 2*w**2 - w. Let z be p(-1). Solve -n + z = -t*n for n.
-4
Let r be 2/(1/(-2) + 1). Suppose -9 = 2*m - 3*y, 3*m + y - 2 = r*m. Solve 0 = -0*x + m*x for x.
0
Let t = 6 + -5. Let r be 9/12*8*t. Suppose -3*d + r*d - 9 = 0. Solve 8*q - 10 = d*q for q.
2
Let n(v) be the second derivative of v**3/6 + 7*v**2/2 + v. Let a be n(7). Solve -4*g + a + 6 = 0 for g.
5
Suppose 7*b - 26 = 2*b - 3*n, -2*b = -3*n - 2. Let q be (-2)/5 - (-44)/10. Suppose i - 25 = -q*i. Solve b*y - i*y = -5 for y.
5
Suppose 3 - 1 = 2*h. Let p be (-3 + (0 - -3))/h. Solve 0 = -b - p*b - 5 for b.
-5
Let h(v) = -v**3 + 8*v**2 + 9*v + 2. Let n be h(9). Solve -n*w = 1 + 1 for w.
-1
Let x(n) = -5*n - 7*n + 2*n. Let q(g) = -g**2 - 4*g + 4. Let p be q(-5). Let o be x(p). Solve -6*w + o = -w for w.
2
Let n(m) = m - 12. Let p be n(11). Let y(j) = j**2 + j. Let g be y(p). Solve g = a - 3 + 1 for a.
2
Suppose -5*b + 0*b = -b. Solve b*m = -4*m for m.
0
Suppose 8*f - 5*f - 9 = 0. Solve f*p - 4 = p for p.
2
Let x = 1 + 7. Suppose 12 = 5*n - x. Solve 8*w = n*w for w.
0
Let a be (-2)/(-6) + (-17)/(-3). Let u(k) = 2*k + k**3 - 1 - k - 4*k**2 + a*k**3 + 3*k**2. Let g be u(1). Solve 0 = 5*d - 1 + g for d.
-1
Suppose 3*p - 2*p + 3*c - 16 = 0, 4*c - 18 = 2*p. Solve 3 + p = 4*j for j.
1
Let n = -32 + 52. Solve -6*b + b = n for b.
-4
Let z be 15/8 + 25/200. Solve -25 = 3*u + z*u for u.
-5
Suppose -8 = 5*x - 28. Suppose 0 = -x*c + 5*t + 17, 4*c = -0*c - 2*t - 18. Let a be c/9*-3*9. Solve -4*g - 6 - a = 0 for g.
-3
Let v = -9 + 12. Solve -2*o = -v - 3 for o.
3
Suppose -z + 15 = 2*z. Solve -4*c = -z*c - 2 for c.
-2
Suppose 0 - 6 = -2*n. Let t(u) = u - 10. Let f(l) = l**3 + 4*l**2 - l - 2. Let b be f(-3). Let d be t(b). Solve j + 7 - n = d for j.
-4
Let o be 5 - (0 + -1 + 3). Suppose 6 = o*v - v. Suppose -5 = 2*j - 3*a - 24, 0 = 5*j - 3*a - 43. Solve -i = -v*i + j for i.
4
Let c be (109/(-2))/((-5)/10). Suppose -c = -5*j - 29. Solve -5*h = -j + 1 for h.
3
Let q(y) = 2*y - 2. Suppose -4*v + 6 + 6 = 0. Let m be q(v). Solve 0 = -2*c + m for c.
2
Let d(l) = l**2 - 2*l. Let r be d(3). Solve r - 8 = g for g.
-5
Let w be 5 - (-25 + 0)/(-5). Solve w = -b - 3*b - 16 for b.
-4
Let h = -87 + 94. Solve -2*v = -1 + h for v.
-3
Let a = -16 + 17. Solve -5 = 3*u + a for u.
-2
Let k be (2 - 3)*(1 + -1). Suppose 5*v = -2*q + 17, -2*v - 4 + 10 = k. Suppose -3*t + l = -9, -5*t - 4*l - 1 - 1 = 0. Solve -7 = t*w - q for w.
-3
Let h(u) = u - 3. Let x be h(5). Suppose 6*z - z - 75 = 0. Suppose x*d + 3*d + 5*w = -z, d + 5*w = -23. Solve 0*y = y + d for y.
-2
Let d(b) = b**2 + 7*b - 5. Let s be d(-8). Solve -s*w + 2 = -1 for w.
1
Let p(g) = g**2 - 9. Let u be p(5). Solve f = -3*f - u for f.
-4
Let y(a) = -2*a + 4. Let h be y(3). Let s = h - -2. Solve -3*x + 11 - 2 = s for x.
3
Let f be (-116)/(-16) + 3/(-12). Let x be 8*1 + -11 + f. Solve 5*b + 3 = x*b for b.
-3
Let l(u) = u**2 - 2*u - 5. Let x be 8*(10/4 - 2). Let q be l(x). Solve 0 = -q*g - g for g.
0
Suppose s = 3*i - 21, -4*i + 3*i + 3*s + 15 = 0. Suppose -4*g + 74 = -3*f + f, -2*g + 74 = -2*f. Let q = f - -41. Solve -6 - i = q*u for u.
-3
Suppose -4*w + 18 + 14 = 0. Let p = w + -5. Suppose 0 = 2*v + p*v. Solve v*o = o for o.
0
Suppose -t + 45 = 2*t. Solve -o + 6*o = t for o.
3
Let b be 390/33 + (-6)/(-33). Solve 6*q - 2*q + b = 0 for q.
-3
Suppose 20 = 4*r - 4*m - m, 16 = -2*r - 4*m. Solve r = -2*b + b for b.
0
Let p(i) = -i - 7. Let n be p(-8). Let w be (3/n)/((-3)/(-2)). Solve -8 + w = 3*d for d.
-2
Let k be 3/(-2) - (-21)/6. Solve -2*b - k*b + 8 = 0 for b.
2
Let u = 13 - 9. Suppose -13 = -3*p - 2*l, l + 4*l + 25 = u*p. Suppose a + 8 = p*a. Solve -3 = a*d - 5*d for d.
1
Let b(t) = 3*t**2 + 1. Let l be 1/(1 + -2 + 0). Let c be b(l). Solve c = 4*s - 8 for s.
3
Suppose -5*r + 3*w = -34, -4 = -2*r + 3*w + 6. Suppose 0 = r*c - 5*c - 15. Solve -c*n + 6 = 31 for n.
-5
Let a(n) = 2*n**2 + 4*n. Let o be (-4)/10 + (-13)/5. Let r be a(o). Let f(k) = -k + 2. Let b be f(2). Solve -3*y + r = -b*y for y.
2
Let m = 2 - -7. Let y = m - 9. Solve y*h = 2*h for h.
0
Suppose -2*h + 1 = 5*w - 30, 0 = -4*h + 5*w - 13. Let r be (5 - 3)*(-9)/(-2). Solve r - 24 = -h*k for k.
5
Suppose 3*d - d + 12 = 0. Let l = d + 10. Solve -l*v = v + 10 for v.
-2
Let x = -6 - -9. Suppose -4*p + 1 = -x*p. Suppose 0 = b + i + p, -2*b - 2*b = i - 5. Solve -3*h = b*h + 25 for h.
-5
Let i = 32 - 23. Solve -4*a + i*a = -10 for a.
-2
Let w = 5 - 1. Solve 0 = -w*r - r for r.
0
Let d(i) = i + 4. Let g be d(-6). Let h = g - -4. Solve 0 = 2*s + h*s for s.
0
Let d be (-4 - -3)/(2/2). Let w be -2*(2 + 0)*d. Solve -b + 0 = -w for b.
4
Suppose -9 = -5*s + 6. Let f be s - 3/(5 + -2). Let t = 11 - 7. Solve -t = -2*m - f*m for m.
1
Let x = -11 + 15. Solve 0 = -5*t + 9 - x for t.
1
Suppose -3*f - 3*i = -12, -3*f + 4*i = -4*f - 5. Solve -4*l + 15 = -f*l for l.
-5
Suppose 3*l = 4*o + 32, 2*l = -l + 5*o + 37. Solve -3 - 1 = -l*p for p.
1
Let d(w) = -w**3 - 5*w**2 - 6*w - 4. Let l be 3/(-1) + (-3 - -2). Let x be d(l). Let r = 4 - 3. Solve -x = -3*s - r for s.
1
Let b(k) = -k**2 - 6*k - 8. Let s be b(-4). Solve s = 4*j - 6*j - 8 for j.
-4
Suppose -118 = -5*v - 28. Suppose 2*h - 4*q = -4, 5*h - v = -2*q - 2*q. Suppose -3*b + h = -10. Solve 0 = 3*n + 13 - b for n.
-3
Let a(v) = 