 - 3*v. Solve 0 = -x*y - 1 - 3 for y.
-1
Suppose 5*u - 12 = -2. Let a(q) = 3*q**2 - q - 1. Let j be a(-1). Suppose -4*k = j*p - 9 + 3, -5*k + u = p. Solve p*w + 2 = 3*w for w.
2
Let v = 20 - 14. Solve -4*l + 10 = -v for l.
4
Let s = 38 + -34. Solve -s*j + 0*j = 16 for j.
-4
Let w(g) = g**2 - 1. Let y be w(0). Suppose 0*t - 1 = t. Let o = y - t. Solve o = 3*x + x for x.
0
Let o = 8 - 5. Solve -c + o = -0 for c.
3
Suppose -6*t = -3*t - 6. Solve 0 = -3*f + t + 1 for f.
1
Let k(u) = 10 + 9*u**2 + 6*u + u**3 + 3*u + 0*u. Let z be k(-8). Solve 4 = z*t - 4 for t.
4
Let f(a) = a**2 - 3*a - 5. Let b be f(-4). Let l = b + -7. Suppose -3*x - 1 = -l. Solve 3*o + 4 = -x for o.
-3
Suppose -11*s + 7*s = -40. Solve 0 = m - 6*m - s for m.
-2
Let t be ((-76)/(-10))/((-2)/(-5)). Solve 5*y + 6 + t = 0 for y.
-5
Let j be (-2)/5 + 2/5. Suppose j = z + z. Suppose -2*b = 2*m - 26 + 2, -4*m - 5*b + 43 = z. Solve m + 3 = -4*x for x.
-5
Let d = 7 + -4. Solve -2 = -d*q + q for q.
1
Let t(f) = f**2 + 4*f - 3. Let q be t(-5). Suppose 5*o + 14 = -w, -w = -6*w - o + q. Solve -w = 5*p - 11 for p.
2
Suppose 3*o = 6*p - 3*p + 177, 0 = -5*o - 4*p + 259. Suppose k - o = -4*k. Suppose 5*z - 4 - k = 0. Solve 7*w - z*w = 8 for w.
2
Let u = 24 - 14. Let h be (-1 - -6)*8/u. Solve -h*c = -3*c + 2 for c.
-2
Let p be 5/(-5) - (-2 - -4). Let o be 2 + 0*p/(-6). Solve -4 = o*a - 14 for a.
5
Let g be (9/(-5))/((-11)/55). Solve 3*n + 0*n - g = 0 for n.
3
Let t be 10/2*(-8)/(-5). Let g be 1 + 8*5/10. Solve g*y + t = 3*y for y.
-4
Let f(u) = u - 2. Let x be f(4). Let r be (x/(-6))/(-1)*12. Solve -r*c + 0 = 4 for c.
-1
Suppose -5*g + 3*g = 0. Solve -a = 4 - g for a.
-4
Let p be 20/12*3 + -3. Suppose 0*s - s + 2 = -p*j, 2*j + 6 = 3*s. Solve 4 = c - j*c for c.
4
Let l be 3/(-12) - 13/(-4). Solve -r + 4 = l*r for r.
1
Let a be (-1)/5 + (-22)/(-10). Suppose -3*o - a + 35 = 0. Let v = -8 + o. Solve -v*c = c - 12 for c.
3
Suppose -3*r - 4*r + 70 = 0. Solve 7*g + r = 2*g for g.
-2
Let g(d) = -d - 3. Let k be g(-12). Suppose -4*a - 10 = -k*a. Suppose 0*s = 4*s. Solve s*y + 6 = a*y for y.
3
Let k = 5 - -1. Suppose 4*a + 2 + k = 3*z, 3*z = -2*a - 4. Solve q + 0 - 3 = z for q.
3
Let g = 16 - 9. Solve 5*c = -g + 2 for c.
-1
Let p = 3 + -1. Suppose 4*j = 2*j - p. Let l be ((-6)/4)/(j/2). Solve l*c - 1 = 8 for c.
3
Let g(t) = t**2 + 6*t - 7. Suppose -z - 14 = z. Let l be g(z). Let x be -6*(l + 6/(-9)). Solve p - x = -1 for p.
3
Let x be 3/(-1) + 5 - -2. Solve -x*k = -8*k - 12 for k.
-3
Suppose 4*o - 17 - 7 = 0. Let m = o + -3. Solve -m*p = -0*p + 6 for p.
-2
Suppose -2*m - 40 = -4*a - a, 49 = 4*a - 5*m. Let h = a + -6. Solve h = -7*v + 3*v + 12 for v.
3
Let o(h) = -h**2 + 9*h + 7. Let q be o(6). Suppose 0 = -6*v - v + 28. Solve -5 = -v*x - q for x.
-5
Let w(j) = j**3 - 4*j**2 + 4*j - 1. Let l be w(3). Solve l*h = -2*h + 20 for h.
5
Let y = -31 + 34. Solve 2*t = -y*t - 10 for t.
-2
Suppose 5*r - 3*r = 0, s + 10 = 5*r. Let t = -5 - s. Solve -2*g + g = t for g.
-5
Suppose c + 10 = 4*b, 3*b - 18 = -2*b + 4*c. Let v be (4/5)/((-10)/(-100)). Solve -b*u - v = -0*u for u.
-4
Let p = 3 - 1. Suppose 0*m - p = -m. Solve 3*y + 5 - m = 0 for y.
-1
Suppose 4*p - p + 5*t = 51, 2*t = 0. Let n be (-1 - -3 - 1)*p. Suppose 13 + n = 2*y. Solve 0 = 2*a + 3*a - y for a.
3
Let y(b) = b**2 - 3*b - 2. Let k be y(4). Solve k = -w - w for w.
-1
Let p = 52 + -49. Solve 2*g = -p*g for g.
0
Let j(n) = n**2 + 2. Let a be j(-3). Suppose -3*h - h = -12. Let q = -14 - -16. Solve h*v + q = a for v.
3
Suppose -n + 10 = 16. Let r be ((-48)/(-9))/(n/(-9)). Solve r*k - 4*k + 16 = 0 for k.
-4
Suppose -4*w - m + 29 = 0, 2*w + 14 = -5*m + 51. Let b be (w/(-24))/(2/(-16)). Solve -3 + b = -r for r.
1
Let w = -11 + 15. Suppose 3*h = s - 18, s + 17 + 0 = -w*h. Solve -l - s = -0 for l.
-3
Let j be (-7 + 1)/(2/(-1)). Let i(a) = 2 - 6 + 10 - a. Let l be i(6). Solve -d + l = j for d.
-3
Suppose 36*z = 33*z + 9. Solve -20 = -m - z*m for m.
5
Suppose 8*p = 3*p + 10. Suppose 5*w - 6 = 2*w - 5*o, 26 = 5*w + 3*o. Let h = -3 + w. Solve p = 2*t - h for t.
3
Suppose -10 = -4*h + 38. Solve 3*x = -0 - h for x.
-4
Let j be 5/(5/2) - 0. Let s(n) = -n**3 - n**2 + 2*n - 1. Let q be s(j). Let d = -5 - q. Solve -r - 12 = -d*r for r.
4
Suppose -3*w - 2 = -4*w. Solve -5*v + w*v + 15 = 0 for v.
5
Let j = 66 + -46. Solve 0 = -0*c + 5*c - j for c.
4
Let o = -11 + 17. Let j(f) = -o + 0*f + 0*f - f. Let h be j(-8). Solve -2 - h = i for i.
-4
Let y be 2/(-7) + (-214)/(-14). Suppose 0 + 5 = b + x, 4*b - x = y. Solve 0 = -b*f + 15 + 5 for f.
5
Suppose 4*v = z + 4*z + 65, -3*z = 2*v + 17. Let x be (-8)/(-6)*z/(-2). Solve -t + x*t = 0 for t.
0
Let g = -2 + 6. Solve -u + 5 = g*u for u.
1
Let k be -1*(1 - (-1 + 7)). Solve k*s + 15 = 2*s for s.
-5
Let w(n) be the third derivative of -n**4/24 - 4*n**3/3 - n**2. Suppose -5*s = -4*q + 5*q + 55, 0 = -4*s - 3*q - 55. Let f be w(s). Solve -f*p = 2*p - 16 for p.
4
Suppose 36*a - 2 = 35*a. Solve -a*r - 2 = -10 for r.
4
Suppose -25*u = -21*u - 20. Let d(v) = -v**2 - 9*v + 11. Let p be d(-10). Solve -p = 2*r - u for r.
2
Let y(g) = g**2 - 5*g + 3. Suppose -v + 5*v + 5*w = 19, -4*v - 3*w = -21. Let r be y(v). Let c(i) = 2*i - 16. Let m be c(10). Solve 7*p + r = m*p for p.
-3
Let a(r) = -3*r + 17. Let k be a(4). Solve 0 = k*m - 0*m - 10 for m.
2
Let j be (-8)/(-28) + 74/(-14). Let l = -3 - j. Let f = 19 - 11. Solve 0*s = -l*s + f for s.
4
Suppose m = -3*f + 1, 5*f - 3*m - 4 - 7 = 0. Let c = 128 + -121. Solve -2*h = c + f for h.
-4
Let x be 6/4*(-40)/(-12). Let o(y) = -y**3 + 6*y**2 - 5*y + 2. Let k be o(x). Let w = k + 2. Solve 4*h - 6*h = -w for h.
2
Let k(d) = 14*d**3 + 18*d**2 - 8*d + 14. Let b(n) = -5*n**3 - 6*n**2 + 3*n - 5. Let o(q) = -11*b(q) - 4*k(q). Let l be o(-6). Solve l*v - 12 = v for v.
3
Let y = 16 + -24. Let g(o) = -2*o**3 - 3*o**2 + 4*o. Let m be g(-3). Let b = y + m. Solve 4*x - b - 9 = 0 for x.
4
Let x be 0*2/(-4)*(-2)/(-4). Solve 3*f + 15 + x = 0 for f.
-5
Suppose -4*i + 24 = 2*f, 4 = 3*f - 2*i - 0. Solve -f*m + 0*m = -12 for m.
3
Suppose 8 = 2*f - 12. Solve 6*z = z + f for z.
2
Let f(w) = w**3 + 6*w**2 - 7*w. Let v be f(-7). Suppose 2*z - 34 - 50 = v. Let q = z + -27. Solve -4*g + q - 3 = 0 for g.
3
Let f be 4/(-18) + (-141)/(-27). Let p(d) = d**3 + 3*d**2 - d - 4. Let t be p(-2). Suppose -r = o - 5, -3 = 3*o - r + 2. Solve o = t*u - f*u - 15 for u.
-5
Suppose 4*k + 16 = 0, 3*g + 4*k = -g. Solve 5*j - g = -29 for j.
-5
Let n be 80/3 + (-1)/(-3). Let d = n - 19. Solve -4*k - d + 0 = 0 for k.
-2
Let l(q) be the first derivative of -q**4/4 - q**3/3 + 3*q**2/2 + 3*q + 1. Let d be l(-3). Let z = d - 7. Solve 0 = z*p + 4 - 29 for p.
5
Let w(a) be the second derivative of a**4/12 + 4*a**3/3 - 7*a**2/2 - a. Let p be w(-9). Suppose -2 = 4*m - p*x, -8 = -5*x + 7. Solve -2*d - m = 3 for d.
-2
Let i(a) = -13*a**3 - a**2 + a + 1. Let s be i(-1). Let y be (-1)/((-2)/s*-2). Let q = y + 5. Solve 0*p = -q*p for p.
0
Suppose -r + 15 = -3. Suppose -j - 2*j = a - r, -4*j + 24 = -3*a. Let z be 15 - (-3)/j*0. Solve -2*y + z = y for y.
5
Let o(l) = -8*l**2 - 2*l + 2. Let s(a) = a**2. Let z(q) = -o(q) - 6*s(q). Let y be z(-2). Let w be (-57)/(-5) + 3/5. Solve y*i + i = -w for i.
-4
Suppose 5*d - q = 2*q - 7, -2*d - 5*q + 22 = 0. Suppose -3*y + d = -8. Solve y*l - 2*l = 5 for l.
5
Let h be 10/15*6/(-4). Let p be 1 - h*(3 + -3). Solve 3*x - p = -13 for x.
-4
Suppose 1 = -u - 4*c - 3, -4*c - 28 = -5*u. Solve -u*y = y for y.
0
Suppose -6*m = -m - 5*o, 0 = 4*m - o. Solve -k = -m*k - 1 for k.
1
Let s be 2/((-2)/(-6) - 11/(-165)). Solve -s*k + 3*k + 10 = 0 for k.
5
Let u be (4 - 1) + 1 + -1. Solve 3*l + 6 = -u for l.
-3
Let v(i) = i**2 + i + 2. Let f be v(0). Let b be (f/(-4))/(4/8). Let c be (-6)/(-12)*0/b. Solve c = p + 2*p - 6 for p.
2
Suppose -3*t - m = 0, -t - 4 = 2*m + 1. Let d(z) = 8*z**2 + 1. Let a be d(t). Solve 4*w - w - a = 0 for w.
3
Let p(c) be the first derivative of c**2/2 + 6*c - 2. Let w be p(0). Suppose -r = -w*r. Solve r = -3*j + j + 10 for j.
5
Let y = -36 + 42. Solve 2*d - 2 = y for d.
4
Suppose 2*j = 3*j. Solve j*t + 5*t = -20 for t.
-4
Let a(l) = 9*l**2 + 1. Let x be a(1). Let g be (-6)/((-2)/(-1 - -3)). Solve -g*u = -u - x for u.
2
Let j = -7 - -12. Suppose -j*h + 22 = q + 2*q, -5*q = -5*h + 30. Suppose -h*t + 10*t - 30 = 0. Solve 