
Suppose -3*y + 10 + 11 = 0. Solve -y*u + 2*u = -5 for u.
1
Let x(a) = -a**2 - 3*a + 2. Let v be x(-2). Solve 0*m = 2*m + v for m.
-2
Let a(z) = -z**2 + 10*z - 19. Let j be a(3). Let o(u) = u**2 - 5*u + 6. Let x be o(6). Solve -j*i + x = 4 for i.
4
Let u(p) = -p**2 + 6*p + 6. Let y be u(5). Solve -4 = -5*x + y for x.
3
Let x be 1/(2*1/52). Suppose -4*o = -5*d - 6*o + 44, -2*d - 5*o + x = 0. Suppose 3*r - d = -r. Solve -r*z = -z for z.
0
Let d(r) = 9*r**3 - r + 1. Let k be d(1). Let t = k + -17. Let a = t - -13. Solve 5*y = -10 - a for y.
-3
Suppose 3*o + 8*y - 3*y = -25, 0 = 5*y + 25. Suppose o = -2*q + 6*q - 16, -5*q - 20 = -5*z. Let m be 8/(-2) + 72/18. Solve -5*a - 28 + z = m for a.
-4
Let j(v) = -v**3 - 15*v**2 + 17*v + 26. Let c be j(-16). Solve g - 6*g - c = 0 for g.
-2
Suppose 5*l - 77 = 43. Suppose 3*g - l = 2*s, -g + 4*s = 4*g - 42. Solve -3*z = -0 - g for z.
2
Let a = 38 - 36. Solve h + a*h = 6 for h.
2
Let x(g) = -3*g + 5*g - 3*g - 1. Let v be x(-1). Suppose v = -2*a + 3*o + 3, -2*o + 11 = 4*a - 3*o. Solve -a*i = 1 - 7 for i.
2
Let p = 65 + -63. Solve -3*k = p*k + 10 for k.
-2
Suppose -3*b - 19 = -n, -5*b + 0 = n + 21. Suppose 3*w + 35 = 3*p + 7*w, n*w - 20 = 0. Solve -p*o - 22 = 3 for o.
-5
Suppose 2*l - 8 = -2*l. Solve -l*g - 5 = -3 for g.
-1
Suppose -3*t - 4*v = -18, 4*v = -6*t + t + 22. Solve x - 6 = -t for x.
4
Let c be (-7 - -1)/(15/15). Suppose 4*z - z = 24. Let s = z + c. Solve -s*j + 3*j = 3 for j.
3
Let z be 2/((0 - -3)/(-3)). Let s be (-34)/(-8) - z/(-8). Suppose -s*q = -2*d - 2, 1 = -d - q + 6. Solve -d*o = -o for o.
0
Suppose 0 = 3*z + 2 + 1. Let b(p) be the second derivative of -3*p**5/20 - p**4/12 + 2*p. Let g be b(z). Solve 2 - 12 = g*j for j.
-5
Let r = -98 + 101. Solve -r*y + 2 = -4*y for y.
-2
Let z(b) = b**2 + 7*b + 1. Let w(s) = -s**2 - 7*s. Let p(j) = -5*w(j) - 4*z(j). Let t be p(-8). Solve -d - t*d = 0 for d.
0
Suppose 3*f - h = 1, 0 = 3*f - 4*h - 2 - 2. Let j(l) = l**2 + 16*l + 44. Let p be j(-13). Solve f = 6*w - w + p for w.
-1
Let a = -3 - -5. Suppose 0*m - 20 = 5*z - 3*m, -5*m - 11 = -a*z. Let b = 7 + z. Solve b*i - 3*i - 6 = 0 for i.
-2
Let z(r) = -4*r - 63. Let a be z(-17). Solve -a*p = 3 - 28 for p.
5
Suppose -4*w + 20 - 4 = 0. Solve -2*i = -w*i - 2 for i.
-1
Let m be (-10)/4*(-66)/15. Solve m = -5*t - 4 for t.
-3
Let f(b) = b**3 + 11*b**2 + 10*b. Let t(i) = -i - 21. Let u be t(-11). Let g be f(u). Solve -4*c + 2*c + 8 = g for c.
4
Let y(p) = 55*p**3 - 1. Let l be y(1). Let s = -19 + 21. Suppose f - l = -s*f. Solve -3*o = -f + 3 for o.
5
Let w be (-4)/10 + 12/5. Solve w*y = -0*y for y.
0
Let s(f) = 2*f**2 + 4*f + 2. Let c be s(-2). Suppose -3 = -3*g - 3*a, -2*g + 4*g - c*a = -10. Let n be 1/1 - 2/g. Solve -u - n*u + 12 = 0 for u.
4
Let m(g) = -g**2 + 11*g - 10. Let y be m(10). Solve p - 3 = -y for p.
3
Let y(k) = -k**2 - 13*k + 43. Let b be y(-15). Solve -11 = 6*s + b for s.
-4
Let v(a) be the third derivative of a**4/12 + a**3/6 - a**2. Let b be v(1). Suppose -m + 5*c = 7, b*m - 11 = c - 2*c. Solve m*q = 2*q - 2 for q.
-2
Let l(p) = p - 3. Let h be l(7). Suppose -2*y = -5*b - 24, -5*y - 3*b - 6 = -h. Solve 0 = -x - y*x for x.
0
Suppose 3*i + 16 - 19 = 0. Solve -i - 2 = w for w.
-3
Let v(s) be the first derivative of 2*s**3/3 - 3*s**2/2 + s - 1. Let g be v(2). Let f be ((-2)/3)/(13/(-39)). Solve f*t = -5 - g for t.
-4
Let z(a) = a**3 + 7*a**2 - 2*a + 8. Let i be z(-6). Suppose t + i = 5*t. Solve -5*j - t = -4 for j.
-2
Let w(f) = 7*f + 5. Let k(c) = 3*c + 2. Let a(l) = -5*k(l) + 2*w(l). Let i be a(-5). Solve -4*d + i*d = -1 for d.
-1
Let g be (-18)/5 + (-4)/10. Let p = g + 6. Let d = 0 + p. Solve y - d = 2*y for y.
-2
Suppose -5*v = -2*u - 49, 3*v + 4*u - 53 + 8 = 0. Solve -6*o + 10 = -v*o for o.
-2
Let o(k) = k**3 + 5*k**2. Let d be o(-5). Solve 0 = -d*m - 4*m - 12 for m.
-3
Let j be 2/(-7) + (-37)/(-7). Suppose -46 = -2*b - 2*b - 5*x, -5*b + 55 = j*x. Let a = -14 - -16. Solve -t - b = a*t for t.
-3
Let a(n) = -1 + 105*n**2 - n**3 - 2 - 9*n - 94*n**2. Let i be a(10). Solve -2*z - 25 = -i*z for z.
5
Let p = 18 - 14. Suppose 5*w - 2*w - 3*t = 0, 2*w = 5*t - 3. Solve w = p*s - 3 for s.
1
Let u be 6 - (-9)/(-6 + 3). Suppose 4*z + u = -3*p, z = 2*p + p - 12. Solve 0*v + 9 = -p*v for v.
-3
Let g(u) = u**2 + 13*u + 4. Let s be g(-13). Solve 3*r - 2 = s for r.
2
Let s be (33 + (-2 - 1))*1. Let k = -1 + 5. Let a be 1/k + s/8. Solve 0*j - a*j = 12 for j.
-3
Suppose 3*m - 12 = -0*m. Solve 9 = -m*g + g for g.
-3
Let b(m) = m**2 - m + 1. Let v(l) = l**3 - 2*l**2 - 14*l - 6. Let f(c) = 6*b(c) - v(c). Let t be f(9). Solve t*z = -z + 12 for z.
3
Let q(s) = 8 + 3 - 6 + s. Let r be q(0). Solve -r*v + 6*v = 0 for v.
0
Let n = -1 - -2. Let y be (-1)/(-4) - 3/(-4). Solve n = r - y for r.
2
Suppose 2*z - 2 = 3*t + 11, -t - 6 = z. Let l(i) = -3*i**3 - i**2 - 2*i - 1. Let x be l(z). Solve 0 = 2*s + x*s - 5 for s.
1
Let k(d) = d**3 + 4*d**2 - 6*d. Let l be k(-5). Suppose -6*n + l*n + 2 = 0. Let v(c) = c**2 - 4*c. Let y be v(4). Solve y = f - 2 - n for f.
4
Suppose -l + 38 = -0*u - 5*u, 3*u = 4*l - 101. Suppose -4*h + 3*d = -13, -3*h - 3*d = 2*h - l. Solve -2*t + h*t - 6 = 0 for t.
3
Suppose -4*x + 18 = -6. Let j = x - 6. Suppose -w + 3*h = -14, 5*w - 2*h + 2 = 33. Solve w*n + 0*n = j for n.
0
Let u = 5 - 0. Suppose -2*k - 12 = -6*k. Solve u*l - k*l - 8 = 0 for l.
4
Suppose 32 = -4*a + 5*t, 0*t = 5*a - t + 19. Let u be (-2)/a*6 - 0. Suppose -4*k = -0 - 12, -u*k + 80 = 4*j. Solve -2 = 3*s - j for s.
5
Suppose 3 = -o - 4*d + 17, o = -5*d + 17. Solve 0 = -o*q + q + 4 for q.
4
Suppose 3*y = -2 - 7. Let q be y/(-12) - 1/4. Let w be (-56)/(-16)*8/14. Solve q = -0*v - w*v - 6 for v.
-3
Let g(i) = i**3 + 3*i**2 - 2*i - 4. Let o be g(-3). Let k be 1/3 - (66/9)/(-2). Solve -o*n = k + 2 for n.
-3
Suppose 5*i + 3*g = 6, 2*i - 3*i - 2 = -g. Let o be 1*3/(-6)*i. Let p be ((-1)/1)/((-1)/5). Solve 2*m - p*m = o for m.
0
Let z be 4/(-16) + 13/4. Suppose -z*m + 7 - 1 = 0. Solve m*h - 2 = -0*h for h.
1
Let n be ((6*-1)/(-2))/1. Let v = n - -1. Solve v*b = -b for b.
0
Let w be 4*1 + 2/(-2 + 1). Solve -6 = -w*f + 4 for f.
5
Suppose -5*y + 25 = 5*r, -3*y = -4*y + 2*r + 5. Solve y*w - 1 = -6 for w.
-1
Let t(w) be the second derivative of 1/3*w**3 + 2*w + 1/12*w**4 + 1/2*w**2 + 0. Let h be t(-2). Solve -h = g - 6 for g.
5
Let o be ((-1)/(-3))/(3/63). Suppose o - 15 = -4*n. Solve 0 = 2*u + n*u + 8 for u.
-2
Let m(t) = t**3 + 7*t**2 + 6*t + 3. Let i be m(-6). Suppose -4*q = -0*q - c - 5, -i*q + 3*c = 3. Solve -q*s = -s + 2 for s.
-2
Suppose -4 = -5*v + 6. Suppose -2*q + 35 = -3*d - 2*d, -3*q = -v*d - 25. Solve 29 - 4 = q*h for h.
5
Let x be 16/2 - (-4)/(-4). Suppose -4*y = -5 - x. Suppose -m - 4*m = -y*s + 19, 2*s = 5*m + 16. Solve 6 = -3*z - s for z.
-3
Let j(u) = -u**3 + u**2 + 4. Let s be j(0). Suppose r - 4*f + 0*f = 59, 2*f = -2*r + 98. Let o = r + -31. Solve o = n + s*n for n.
4
Let f = 1 - 2. Let i = f + 0. Let y be i + 31 - (0 + 2). Solve 0 = 5*m + 3 - y for m.
5
Let l = 15 - 13. Solve 0 = 4*p - 2*p + l for p.
-1
Suppose -1 + 2 = -t. Let i(a) be the third derivative of -a**6/30 + a**5/60 + 3*a**2. Let m be i(t). Solve 2*l - 15 = m*l for l.
-5
Suppose 41 + 0 = 3*p - 4*b, -2*b - 17 = -p. Suppose p*h - 3*h - 16 = 0. Solve 10 + 10 = h*y for y.
5
Let i = 4 + 1. Suppose -2*n - f = -9, -i*n = 2*f - 23 + 2. Suppose -4*c + 36 = 4*l, -10 = l - 3*l + 2*c. Solve n = 2*s - l for s.
5
Suppose -6*c - 32 = -10*c. Solve 0 = -3*v + 1 + c for v.
3
Let z(f) = -f**3 - 6*f**2 - f - 7. Let i be z(-6). Let w be i/(-1 + 0 - 0). Solve -5 + w = -t for t.
4
Let m(q) = q**2 + 3*q - 5. Let i be m(-5). Suppose -5 = -i*o + 15. Suppose -3*w = -3*k - 7 - 47, -4*k + 8 = w. Solve 0*z - w = -o*z for z.
4
Let v = 4 + -2. Suppose -4 = -v*g - 5*a, 3*g - 3*a = -8*a + 16. Solve 2*s + s = -g for s.
-4
Let q be -3 - 3/((-6)/16). Suppose 4*g + 1 = 5*g, -2*f + 2*g = -8. Let s = q - f. Solve s*j = j - 4 for j.
4
Let b(i) = -3*i**3 - 12*i**2 - i + 5. Let u be b(-4). Solve 2*a - 5*a = u for a.
-3
Let o = -1 - -7. Solve n + o = 2 for n.
-4
Let d = 10 - 7. Suppose -5*v + 3*b = -11, 2*b = -d*v - v. Let y be (-1)/(-1 - 0)*2. Solve m - v = y*m for m.
-1
Suppose 2*r - 4 - 10 = -2*n, 0 = 2*r - 5*n + 21. Solve -3*l = r*l + 5 for l.
-1
Let m = -1 + 2. Let c = -4 + m. Let z be (c/(-9))/((-2)/(-24)