 16, -d = 4*b + 10. Suppose d*u - u = 0. Solve u*v - v = 0 for v.
0
Let h(i) = -2*i - 2. Suppose 3 = -q - 2*q. Let x be h(q). Solve x = 2*c - 1 - 3 for c.
2
Let d(l) = 4*l**3 - 3*l**2 - 6*l + 2. Let o(y) = 7*y**3 - 5*y**2 - 11*y + 3. Let t(u) = 5*d(u) - 3*o(u). Let v be t(-2). Solve 2 - 14 = v*i for i.
-4
Suppose -4 = 5*g + 16. Let h = 8 + g. Solve -8*k + 8 = -h*k for k.
2
Suppose -8 = -2*z - 2*z. Suppose -2*p = -3*q, 0 = -5*q + z*p + p. Solve 2*j + 2 = -q*j for j.
-1
Let h be 13 - (-4)/((-4)/(-3)). Suppose 2*z = -2*z + h. Solve -7 - 9 = z*i for i.
-4
Suppose 5*i - i = 5*a + 1, 2*i - 17 = -3*a. Solve -b - a = -8 for b.
5
Let q(p) = -p**2. Suppose -c - c = -2*b - 4, 4 = -c - 2*b. Let n be q(c). Solve -3*l - l = n for l.
0
Suppose -2*m + 2*w - 4*w = 0, -9 = -4*m - w. Solve -m*q = -0*q for q.
0
Suppose -136 = -0*g - 4*g - 4*k, 0 = -2*g + k + 59. Solve 5*x - g = -6 for x.
5
Let t(j) be the third derivative of j**4/24 - 5*j**3/3 + 5*j**2. Let z be t(12). Solve 0 = -s - z*s for s.
0
Let b(w) = 4*w**2 - 2. Let p be b(-1). Solve -2*h = -p - 6 for h.
4
Let w(c) = -c - 1. Let k be w(-3). Let y be (1/(-3))/((-10)/60). Let i = y - k. Solve -2*n - 8 = -i*n for n.
-4
Suppose -w - 9 = 2. Let u(t) = -t**3 - 10*t**2 + 12*t + 15. Let p be u(w). Solve 9 = -p*a + a for a.
-3
Suppose 4*b + 2*y - 6 = 0, -3*y = 3*b + b - 7. Solve -3*c = b + 8 for c.
-3
Let r = -12 + 7. Let o be 0 + -3*(r + 1). Suppose -4*y = -0*y - o. Solve y*g - 12 = -g for g.
3
Let x = -21 + 30. Solve -5*t = -x + 34 for t.
-5
Suppose 0*i - 28 = -4*i. Suppose 4*y - 9 = -3*w, -5*w + 3*y + 8 + i = 0. Solve w*o = 2*o for o.
0
Suppose -4*t + 24 = 3*u, 0*u - u + 4 = 0. Suppose 7*y - 11*y = -40. Suppose 0 = -2*s - 4*a + 24, -4*a + 2 + y = -s. Solve -s*o - 1 = -t*o for o.
-1
Let f be 12/(4/(-1)) - -3. Solve 3*p - 16 + 4 = f for p.
4
Suppose -8*t - 56 = -15*t. Solve -4*h = -6*h - t for h.
-4
Suppose x - 2 = 3. Let r = -1 + x. Solve -r = 3*j - j for j.
-2
Let b = -20 - -27. Solve 0 = -5*i + b + 8 for i.
3
Let k = -12 - -22. Solve 2*m + 3*m = k for m.
2
Suppose 22 = 5*j - 8. Let s = -3 + j. Let g be ((1 - s)/1)/(-1). Solve g*f - f = -5 for f.
-5
Suppose 0 = -7*q + 3*q + 16. Let o(a) = -a + 4. Let p be o(q). Solve 12 = -p*s + 3*s for s.
4
Suppose -2*k - 12 = -5*k. Let h = 1 - 1. Suppose 12 + h = 4*g - 2*c, -c = -g + 3. Solve -g*y + k = -y for y.
2
Let x(r) = 8*r - 4. Let o(g) = -g**2 - 6*g - 5. Let p be o(-4). Let w be x(p). Solve -3*y - 2*y - w = 0 for y.
-4
Suppose 0*g = -4*g. Let n = 1 + g. Let b = 7 + n. Solve 3*d - 1 = b for d.
3
Suppose -3*y + 6*y + 6 = 3*h, -5*h - 4*y = -19. Suppose -7 - 1 = -4*j. Solve -j*w - h*w = 20 for w.
-4
Suppose o = -4*o. Let t = -75 - -119. Let z be 21/35 - t/(-10). Solve o = -z*p - 8 - 2 for p.
-2
Let h be ((-2)/(-2)*0)/(-2). Suppose 0 = f + u + 2*u + 1, h = f + 2*u. Solve -f*w - 3 = -3*w for w.
3
Let d(b) = b**2 - b - 3. Let t be d(3). Suppose 0*l - 9 = -3*l - t*a, -3*l + 3*a + 3 = 0. Solve h - l = 1 for h.
3
Let s be ((-9)/(54/52))/((-2)/3). Solve -s = -2*h - 15 for h.
-1
Suppose 3 = 3*u - 2*u. Solve t = u*t - 4 for t.
2
Let i(p) = -2*p**3 + p**2 + p. Let j be i(-1). Let n(z) = z + 3. Let k be n(5). Solve -k = j*a - 0*a for a.
-4
Let i be (-3 - (-57)/6 - 3)*2. Solve 2*g - 3 = i for g.
5
Let o(n) be the first derivative of -n**2/2 + n - 1. Let c be o(2). Let z be c/(-2) + 15/6. Solve z*b + 3 = 2*b for b.
-3
Let a(r) = -r**3 - 12*r**2 - 12*r - 11. Let u = 16 + -27. Let n be a(u). Solve -4*g - 21 + 5 = n for g.
-4
Suppose -h - 3*k = -2*h + 12, -16 = -h + 5*k. Suppose -5*x = -h*x. Let t be (1 + 0)*3*1. Solve -2*u + u + t = x for u.
3
Let l be (14 - 3) + 5 + -1. Solve -i - l = -4*i for i.
5
Let l be ((-3)/(-2))/3*42/1. Solve 16*u - l*u - 10 = 0 for u.
-2
Let j = 9 + -5. Solve 0 = -2*u - 14 + j for u.
-5
Suppose 2*g - 12 + 4 = 0. Suppose -4*w + 12 = -4*i, -2*i + 3 = 4*w - 3. Solve -6*v + w*v = g for v.
-1
Let f be (-34)/(-9) + -6*(-6)/162. Solve 7*l = 6*l - f for l.
-4
Let n(o) = o**3 - 8*o**2 + 9*o + 6. Let u be n(7). Suppose -x + u = 4*x. Suppose x*z = -4*t + 52, -t = -3*z - 1 + 8. Solve -3*c = c + t for c.
-2
Let b(a) = a**2 - 5*a + 2. Let w be (-1 + -2)/(-1 - -2). Let x = w + 8. Let u be b(x). Solve 3*q + u*q + 25 = 0 for q.
-5
Let s(q) = 2*q**2 + 3*q - 1. Let h be s(-3). Let b(l) = -l**3 - l. Let f(g) = -g + 5. Let d be f(5). Let x be b(d). Solve h = 2*i - x for i.
4
Let n(c) = 3*c**2 + c. Let i be n(-1). Let m(o) = o**2 - 8*o + 7. Let x be m(7). Suppose x*g = -i*g. Solve -4 = f - g*f for f.
-4
Suppose x = -x + 10. Suppose 9 = 2*s + x. Let h(k) = -k + 5. Let f be h(0). Solve -p + s*p = -f for p.
-5
Suppose -6*m = -4 - 14. Solve m + 1 = 4*j for j.
1
Let o be 1*(-7 + 3)*-1. Suppose -4*z = o*y, -2 = 2*y - 4*z - 14. Solve -2*g + 10 = y for g.
4
Let z = 22 + -19. Solve z*i = -0 + 3 for i.
1
Let k(j) = -j**2 - 4*j + 4. Suppose 0*m - 16 = 4*m. Let z be k(m). Suppose -5 = -i - v + 1, -20 = 5*v. Solve i = z*y - 2 for y.
3
Suppose 5*y + 1 - 11 = 0. Suppose p + 0*p = y. Solve 3*h = -p*h for h.
0
Let a(r) = -r**2 + 2*r + 8. Let p be a(0). Let h = -1 + 1. Solve h = -5*g + 28 - p for g.
4
Let a be 2/(-8) - 68/(-16). Suppose -a*b + 17 + 19 = 0. Solve -2*h - b = h for h.
-3
Let t(k) = k + 13. Let q be t(0). Let r be 1 - 0 - 6 - 4. Let w be r/(-12) + (-91)/(-28). Solve w*u - q - 3 = 0 for u.
4
Suppose -3*j - 2*j - 40 = 0. Suppose 90 = r - 6*r. Let n = j - r. Solve -3*w + 1 - n = 0 for w.
-3
Let s(c) = c + 2. Let b be s(7). Let k = -6 + b. Solve -k*q + 3 = -0 for q.
1
Let t be 1/(-3) + 96/18. Suppose 0 = t*n - 15 - 0. Solve 0 = -5*d + n*d - 10 for d.
-5
Suppose 2*p - 2*r = 12, 5*r + 15 = -5. Suppose -4*q + 6*q = -3*s + 2, -23 = -2*s + 3*q. Solve -s = -p*y - 2*y for y.
1
Let x = 1 + 7. Solve 2*p + x = -2 for p.
-5
Let o be 4*116/144 - (-4)/(-18). Solve -o*i - 19 = -4 for i.
-5
Let u = -10 + 26. Let s = u + -10. Solve -s*n = -5*n for n.
0
Suppose 26 = -3*r - z + 90, -108 = -5*r - 2*z. Solve r = h + 17 for h.
3
Let x = 6 + -4. Suppose -b + x = -1. Suppose -2 = -b*t + 4. Solve -2*g = t*g for g.
0
Suppose 0*x + 14 = 4*c + 5*x, c - 4*x - 14 = 0. Solve -2*j + 16 = -c*j for j.
-4
Let q(f) = 3*f - 6. Let y be q(5). Let i = y + -9. Solve i = -b + 1 for b.
1
Let o be (-9)/3*(-84)/9. Let d = -18 + o. Solve -j - 4*j - d = 0 for j.
-2
Suppose 3*o + 8 + 7 = 0. Let m be ((-4)/(-5))/((-1)/o). Solve 10 = m*n - 2 for n.
3
Let h(l) = l - 6. Let m be h(8). Suppose v + 0*v + 6 = 0. Let g = v - -9. Solve 0 = -d + g*d - m for d.
1
Let i = -5 + 8. Suppose 4*u - i*o = -u - 5, -10 = 5*u - 4*o. Suppose -4*h = -2*g + 19 + 21, -5*g - 5*h + 40 = 0. Solve u - g = 5*x for x.
-2
Suppose 2*q = -0*q + 10. Suppose -4*x = u - 1, 4*x + 20 = q*u - 9. Suppose -u*l = -4 - 11. Solve 8 = -w - l*w for w.
-2
Let q be (-6)/15 + (-2)/(-5). Solve s + 0*s + 3 = q for s.
-3
Let a be ((-8)/5)/(8/(-20)). Solve a*l - 9 - 3 = 0 for l.
3
Let h(a) = a**2 - 9*a + 7. Let u be h(7). Suppose z = -l + 2*z + 12, -z + 15 = 2*l. Let o = l + u. Solve o*t = -t for t.
0
Let w(n) = -n**2 + 7*n. Let s be w(7). Suppose -4*t = -2*t + 2*i - 12, -3*t = -3*i - 6. Solve s = -t*v - 9 + 29 for v.
5
Let b(f) = f**3 - 9*f**2 + 8*f + 6. Let u be (-54)/(-8) - 1/(-4). Let m be b(u). Let w be ((-1)/(-3))/((-4)/m). Solve 16 = -w*x - x for x.
-4
Let p be 7 + -4 + 0/2. Solve 2*c = 1 + p for c.
2
Let p(v) = v**3 - v**2 + 4. Let a be p(0). Let k be a*-2*9/24. Let x = k - -5. Solve 4 = c - x*c for c.
-4
Let v be (2/(-6))/(6/36). Let y be (-2)/3*(v - 4). Let s = -9 + 15. Solve 2 + s = -y*z for z.
-2
Suppose -53 = -3*z - 47. Solve -z*q - 8 + 18 = 0 for q.
5
Let f(m) = m**2 - 7*m - 15. Let d be f(9). Solve -a + d*a = 0 for a.
0
Suppose -40 = -2*c + 3*k, -2*c - k = k - 40. Solve -c + 0 = -5*p for p.
4
Suppose c - 5 = 6*c, 0 = 5*q - 3*c - 13. Solve -q*x - 8 + 2 = 0 for x.
-3
Let x = 22 + -14. Solve -15 = -x*h + 3*h for h.
3
Let g(c) = -c**2 + 7*c - 7. Let k be g(5). Let h = k + -2. Let y be h + -3 + 3 + 1. Solve -4*w - 10 = -y*w for w.
-5
Let g(f) = 3*f**3 - 2*f**2 + f. Let j be g(2). Let q be 284/j - 8/(-36). Suppose c + 3*c = q. Solve z - c = 2*z for z.
-4
Let r be 4/(-2) + 2 + -6. Let c be 2/(-3) - 34/r. Let y = -1 + c. Solve y*p + 5 = -3 for p.
-2
Suppose k + 5 = 7. Solve -k*c + 8 = -0*c for c.
4
Suppose -3*y + 0 + 3 = 3*r, -y + 9 = -3*r. Let z = 18 + r. Solve -z = 6*h - 2*h f