-2
Let g(p) = -p**2 - p + 3. Let s be g(0). Solve -x - s = -0 for x.
-3
Suppose 4*t = t + 3. Solve -s + 2*s = t for s.
1
Let d(a) = -2*a - 1. Let f be d(-3). Let o = -37 + 43. Suppose -4*y = -5*g - 0*g + 15, 2*g - o = f*y. Solve -g*m = -4*m + 3 for m.
3
Suppose 0 = 4*u - 16 - 0. Let l(i) = -i**3 + 11*i**2 - 10*i + 4. Let a be l(10). Suppose x = 3*h + 15, 0 = -2*x + u*x - a*h - 24. Solve x = -4*n - 14 for n.
-5
Suppose 0 = -3*n + 2*v + 20, v = n + 2*v. Let s be (-2)/9 + 686/9. Suppose 4*x - s = 4*t, 59 = x + 2*x - t. Solve -n*p = -x - 0 for p.
5
Suppose 5*w + 0 = 4*i - 15, -4*i + 20 = -4*w. Solve -2*x + i = 2 for x.
4
Suppose -5*g + 7 = 2*g. Solve -w + g = -1 for w.
2
Suppose 2*n - 6 = 3*w, -n - w - 6 = 2*w. Solve n = k + 3 + 2 for k.
-5
Let w(b) = 5*b**2 - 2*b + 1. Let i be w(1). Suppose i*n = -n. Suppose n = 5*l + 3*z - 60, 2*z - 34 = -3*l + 2. Solve 3*c = -l - 0 for c.
-4
Suppose 2*u - 7 = 1. Let o be ((-3)/2)/((-2)/u). Solve -2*z + 1 + o = 0 for z.
2
Let t be 15/6*(-16)/(-20). Suppose -t*y = -0*y - 50. Solve -3*x - 2*x = y for x.
-5
Let l(i) = 2*i**2 + 4 + 0 - 6*i - 3*i**2. Let a be l(-6). Suppose a*o = 4*x + 4, 3*o - 5*o - 3*x - 3 = 0. Solve s + 1 - 3 = o for s.
2
Let j(q) = q**2 - 11*q - 9. Let t be j(12). Solve t*a = -2*a - 20 for a.
-4
Suppose -8 = 4*q - 3*y - 0, q = -3*y - 17. Let m be ((-7)/2 - -3)/((-1)/(-2)). Let t = m - q. Solve -t*d = -0 + 4 for d.
-1
Suppose 3*u = 5*c - 14, -18 = -3*u - 5*c + 2*c. Let j = 0 + u. Suppose 0*q = -q + j. Solve -3*r - q*r + 10 = 0 for r.
2
Let i be 0*2/4 + 3. Let r = i - 1. Solve -r*v = v for v.
0
Let v(a) = -2*a**3 - a**2 - a. Let f be v(-2). Let o be (2/(-4))/((-1)/4). Suppose 0*s = 5*s - 10, h - o = s. Solve 0 = 2*u - h + f for u.
-5
Let t be 0/(-2)*(-2)/4. Suppose t = 2*n - 2*f + 6, -2*n - n - 6 = -2*f. Let j be 12 + -3 + n/(-2). Solve -4*y = -y + j for y.
-3
Let s be ((-13)/(-91))/((-1)/(-14)). Let x = -14 + 21. Solve x = s*w + 1 for w.
3
Let s be -3*3/(-18)*0. Let b be (9/6 + -1)*s. Solve b*k + k - 3 = 0 for k.
3
Let n = -202 - -218. Let v(s) = s**3 - 2*s**2 - 5*s. Let o be v(4). Suppose 0 = -m - 2*p - 6, -4*p = -4*m + 2*m + o. Solve m*t = 4*t + n for t.
-4
Let f = -2 + 2. Suppose 2*m = -6 - 10. Let s = 8 + m. Solve f = 2*z - s - 4 for z.
2
Suppose 0 = 2*x, 37 = 4*g + 4*x - 35. Let c = -2 + g. Solve 6*d - 2*d = -c for d.
-4
Suppose -5*p + 115 = -0*p. Let l be 4/10 + p/5. Let a be (-1)/2 - (-11)/2. Solve -15 + a = l*n for n.
-2
Suppose 0 = -0*l + 3*l - 24. Let d = 13 - l. Solve d = 2*b - 5 for b.
5
Let j be 18 - 6/(6/2). Let g = j + -15. Solve 2*m - g = 1 for m.
1
Let s = 23 + -19. Let m be (-228)/(-15) - 2/10. Solve -w + m = s*w for w.
3
Let y(b) = -b - 4. Let n be y(-2). Let d be ((-16)/(-5))/(n/(-10)). Suppose s + 2*l = l + 12, -4*s = -4*l - d. Solve s = -7*g + 3*g for g.
-2
Suppose 4*f - i + 19 = 66, -4*i = f - 16. Solve -f = -3*q - 3 for q.
3
Let w be 5/20 + (-3)/12 + 4. Solve 11 = -5*c - w for c.
-3
Let j(p) = -5*p**3 - 11*p**2 + 11*p - 3. Let n(l) = -l**3 - l**2 + l. Let x(k) = -j(k) + 6*n(k). Let b be x(3). Solve 0 = 4*s + b - 26 for s.
5
Let x be 90/(-21) + 4/14. Let t be x/(-3)*18/2. Solve -3*o + t = o for o.
3
Let c(r) be the first derivative of -r**3/3 - 11*r**2/2 + 17*r + 1. Let z be c(-12). Solve -6 = z*w - 1 for w.
-1
Let l(c) = -c**2 - 8*c - 7. Let b be l(-5). Solve -20 = -3*z + b*z for z.
-4
Suppose 0 = 3*c + c + 5*z + 188, 2*c + 94 = -4*z. Let j = -28 - c. Suppose 4*i - 16 = 4*s, 0 = 3*s + 5*i - 1 - j. Solve s*a = 4*a for a.
0
Suppose -6*b + b = 25. Let v(w) = -2*w - 3. Let n be v(b). Solve 10 = n*g - 2*g for g.
2
Let b be 1 - 1 - 24/(-6). Suppose b*k = 9*k - 20. Solve 2*j = -0 - k for j.
-2
Suppose 2*z + 8 = 3*k, -3*k - z - z = -4. Solve 0 = -k*i - 3 + 5 for i.
1
Let f = -10 - -16. Suppose -5*s - 13 = -f*s. Suppose -s = d + 4*t, 2*d + 0*t - 2*t = 24. Solve 2*h - 3 - d = 0 for h.
5
Suppose 4*k - 20 + 68 = 0. Let o = -9 - k. Solve -o*c - 16 = c for c.
-4
Let b = 7 - 3. Let u be (2/b)/((-1)/48). Let a be 3/5 + u/(-10). Solve a*n + 6 = -9 for n.
-5
Let x(a) = a**3 + 6*a**2 - 4*a - 4. Let h be x(-6). Solve 0 = 4*f - 0*f - h for f.
5
Let p = -8 + 12. Suppose 3*x + p*f = f + 21, 0 = 5*x - 5*f + 5. Solve 1 = x*m + 7 for m.
-2
Let j(r) = -r**3 + 10*r**2 - 8*r - 7. Let z be j(9). Let x be 3 - z/(1 + -3). Solve -m = x - 8 for m.
4
Suppose 2*v - q - 18 = 0, 3*q = 3*v + q - 26. Solve 5*p + v = -10 for p.
-4
Let w be (2 - -1) + 12/(-4). Solve 5*j + 11 + 9 = w for j.
-4
Let k = -1 + 1. Suppose -z = -k*z. Suppose -12 + 37 = 5*x. Solve -w + x*w = z for w.
0
Let s = -75 + 78. Let y be (1/(-2))/(1/8). Let b be ((-14)/y)/(1/2). Solve -2 - b = -s*j for j.
3
Let m be 40/(-180) - 22/(-18). Solve -x + 0*x = m for x.
-1
Let p(v) = v**3 - 7*v**2 - 8*v + 1. Let q be p(8). Let n be q/(-1) + -5 + 13. Solve 5*a + 3 = -n for a.
-2
Suppose -3*r - 6 = -5*r. Suppose -2*x - 4 = -6*x - 3*v, -x = -5*v - 24. Suppose -2*b - 10 = -m - 0*m, -4*m - x*b = 20. Solve m*s + r = s for s.
3
Suppose 5*j - 3*v - 7 = 3*j, -3*j - v + 16 = 0. Solve -13 = -j*h + 7 for h.
4
Let p be (0 + 1)/((-2)/18). Let j be 0 - (-13 + 4/2). Let c = p + j. Solve 0*a = -a + c for a.
2
Suppose -2*i - 1 = -17. Let h be (-10)/3*(-12)/i. Solve 3 + h = -4*g for g.
-2
Let p be (6/(-4))/((-6)/12). Suppose t + p*t - 16 = 0. Solve -2*r - 2 - t = 0 for r.
-3
Let n = -2 - 0. Let w = n + -1. Let y = w - -3. Solve y*f + 2*f = 0 for f.
0
Suppose j - 4*j = -6. Solve -j*x - 4 = 4 for x.
-4
Suppose -2*a = -3*a. Suppose a = -d - d + 8. Suppose w = 3*w - 16. Solve -w = 3*h + d for h.
-4
Let v(b) = -b - 2. Let u be v(-4). Suppose -u*a + 0*a + 8 = 0. Suppose -r - 21 = -4*w, -a*w + 7 + 34 = -5*r. Solve -w = 2*i - 8 for i.
2
Let x be 1/5 + 36/20. Suppose 0 = 2*o + x*i - 10, i + 2 = 3*o + 7. Solve -5*d + d + 16 = o for d.
4
Suppose 6 = 2*w - 0*w. Let n be (-23)/(-3) + (-2)/3. Let c = n + w. Solve -v = -3*v - c for v.
-5
Let f(c) = -4*c - 8. Let b be f(-6). Suppose 59 + b = 5*p. Solve -4*s - 1 = p for s.
-4
Suppose -2 + 0 = p. Suppose -4*c = -6 + 22. Let k = p - c. Solve -2*q = k*q - 8 for q.
2
Let o = -24 + 26. Let k be 39/9 + (-1)/3. Suppose 0 = k*p - 13 + 5. Solve o*u = -p*u - 20 for u.
-5
Let q be -1 - ((3 - 2) + 0). Let k be ((-4)/(-6))/(q/(-9)). Suppose -s + p + 2 = 1, 4*s - k*p = 6. Solve 2 + 1 = -s*l for l.
-1
Suppose m - 2*x - 7 = 0, -m = x + 2 - 6. Suppose j - 41 = -2*j - m*y, j = -5*y + 27. Solve q = 2 - j for q.
-5
Let g be 76/10 - (-4)/10. Let q be ((-1)/(-3))/(g/24). Solve 0 = -5*t + q + 4 for t.
1
Suppose -3*k - 2 = -2*w, 4*w = 6*k - 3*k + 16. Solve -w = -3*c + 8 for c.
5
Suppose 2*y - y - 2 = 0. Solve -2*d = -d - y for d.
2
Let x(m) = 2*m**3 + 2*m**2 - 2*m + 1. Let p be x(1). Let t = 0 - -2. Let y(w) = w**3 + w**2 - 2*w. Let c be y(t). Solve u - c = p*u for u.
-4
Let p be ((-3)/2)/(9/(-30)). Solve p*d - 6 = 4 for d.
2
Let u be (-2)/6 + 7/3. Suppose 10 = 2*z + u*c, 2*z + c = -z + 11. Solve z*d - 6*d + 12 = 0 for d.
4
Let l = -54 - -60. Solve 10 = -4*i - l for i.
-4
Let t = -15 - -17. Solve -u = -t*u for u.
0
Suppose p + 6 = -4*d - 7, 0 = -3*d - 12. Let m(s) = s**3 + 2*s**2 - 5*s - 4. Let v be m(-3). Solve -v = -t - p for t.
-1
Suppose -5*t = -10*t + 60. Solve 0 = 2*x + 2*x - t for x.
3
Let w(g) = -g**2 - 10*g + 2. Let p be w(-10). Let j be p/3*(-36)/(-8). Solve -v - j*v + 20 = 0 for v.
5
Suppose 32 = 2*x - 0*x + 4*h, -3*x = 2*h - 28. Let r be 0*(1 - -1)/x. Solve -2 = -r*w - w for w.
2
Let r(g) = -g. Let u(p) = 3. Let o(j) = 2*r(j) - u(j). Let f be o(-3). Solve 7 + f = -5*n for n.
-2
Let b be (7*(-4)/(-8))/((-1)/(-2)). Solve -c - b = -2 for c.
-5
Let i(t) be the second derivative of -t**5/20 + t**3/2 + t**2 - 5*t. Let u be i(-3). Solve -6*p + u = -2*p for p.
5
Suppose -6 = 3*b - 3*j, -4*b + 9*j - 10 = 4*j. Solve b*d + 4 = -d for d.
-4
Let x(i) = -i**2 - 5. Let g be x(0). Let s(v) = v + 5. Let p be s(g). Solve p = 6*w - w - 20 for w.
4
Let d = -4 - -4. Suppose i + d*i = 5. Solve 6 = -i*z + 31 for z.
5
Let a(x) be the second derivative of -x**5/20 + x**4/12 - x**3/6 + x**2 + 2*x. Let w be a(0). Let d = 51 + -36. Solve 0 = c + w*c + d for c.
-5
Suppose c - 4*c = -12. Suppose 5*m = 4*r - 6*r + 6, -4*r = 5*m - 2. Solve -m*t = c - 14 for t.
5
Let k be -1 + (-2 - (-2 + -11)). Suppose r - k = b, 4*b - 5 = -5*r - 0*r. Solve 0 = -r*v + 20 for v.
4
Let w be (-2)/(