*s = -2 - 2 for s.
-1
Let g(u) be the second derivative of 1/6*u**3 - 4*u + 0 - 7/2*u**2. Let o be g(9). Solve o*r = r for r.
0
Suppose 3*h + 0*h - 12 = 0. Suppose 3*a + a - 40 = 0. Suppose -19*r = -14*r - 10. Solve -h*p - r = a for p.
-3
Let d be -2*(-1 - -1 - -17). Let b be (-3)/(-9) - d/6. Solve -b = -t + 3*t for t.
-3
Suppose -l + 1 = -2*m, 0*l + 4*l - 40 = -4*m. Suppose 0 = 17*y - 2 - 32. Solve l = n + y for n.
5
Suppose -12*b + 12 = -8*b. Suppose -15 = -b*u - 2*u. Solve -7 - 8 = -u*c for c.
5
Suppose 3*p - 4 = 2*p. Let h(u) = u**3 + 2*u**2 + u + 2. Let t be h(-2). Solve -y + t*y = p for y.
-4
Suppose -2*g + 5 = -17. Let u = g - 9. Solve u*s + 0*s + 4 = 0 for s.
-2
Suppose -17*j = -20*j + 24. Solve 2 - j = -2*c for c.
3
Suppose 0 = -0*a - 2*a + 16. Suppose 0 = 3*k - 5 - 7. Suppose k*g - 2*g = a. Solve s = -g*s for s.
0
Let i(g) be the second derivative of -g**3/6 + g**2/2 + 5*g. Let p be i(-2). Solve 4 + 8 = -p*s for s.
-4
Let j(s) = s**3 + 3*s**2 - s. Let u be j(-3). Let r = 5 - u. Suppose l = -5*n - 4 + 7, 5*l = 5*n - 15. Solve 0 = f - r - n for f.
3
Let d be 9 - ((-2)/1 + 3). Let z = -13 + 7. Let n = z + d. Solve -n*s - 6 = -14 for s.
4
Let m(r) = r + 1. Let x be m(3). Suppose j - 10 = -x*j. Suppose 4*v + w = 56, 8 = 4*w - 6*w. Solve -j*u = u + v for u.
-5
Let m be 25/(-7) + 4/7. Let q(d) = d**3 + 4*d**2 - 2*d - 3. Let u be q(-4). Let y = m + u. Solve y = n - 1 for n.
3
Suppose -5 = -2*o + 1. Let f(z) = -z - 15. Let b be f(-7). Let s = 14 + b. Solve -3 = -s*j + o*j for j.
1
Suppose 0 = -3*d - 4*o + 17, o + 1 - 12 = -3*d. Solve -16 = -r - d*r for r.
4
Let b(o) = 2*o - 5. Let i(g) = g - 1. Suppose 3*r - 6 = r. Let z(c) = r*i(c) - b(c). Let q be z(-2). Solve q*m = -m for m.
0
Suppose 0 = -0*n - 5*n + 85. Solve -8 = -5*x + n for x.
5
Suppose 2*r = -5*m + 16, -6*m = -4*m + 2*r - 10. Solve 1 = m*o - o for o.
1
Let f(v) = v**3 - v - 2. Let n be f(2). Suppose n*i - 12 = -0*i. Solve i*r + 2 = -7 for r.
-3
Let l = 7 + -8. Let r be (1 - (-1 + 2))*l. Solve 2*u - 3*u = r for u.
0
Suppose 0*s + 4*s - 24 = 0. Suppose -o = -3*w + 16, -w + o + 0 + s = 0. Solve 0*y + 5*y = -w for y.
-1
Suppose 4*z + 72 = -5*b, -2*b - b - 2*z - 44 = 0. Let g = -28 - b. Let i = g + 30. Solve 4*r - i + 2 = 0 for r.
4
Let s(r) = 2*r**2 + 8*r + 6. Let k be s(-5). Let d = k + -4. Let u(f) = f**3 - 7*f**2 + 6*f + 3. Let m be u(6). Solve m*c = -3 - d for c.
-5
Let h = -9 + 6. Let u be 4 + (3 + 0)/h. Let q be -5*(-1 + (-1 - 1)). Solve -u*c + 6*c = q for c.
5
Let r(j) = -j - 3. Let d be r(-6). Suppose -4*p - p = 0. Solve p = d*l + 1 + 2 for l.
-1
Let a be 4 - 85/20 - (-29)/4. Solve -a*s + 12 = -3*s for s.
3
Let q(b) be the third derivative of b**6/120 + b**5/60 - b**4/24 + 3*b**2. Let j be q(0). Let t be (-1)/(-1)*4 + j. Solve s - 3 = t*s for s.
-1
Let y(g) be the second derivative of g**4/3 + g**2/2 + 2*g. Let t be y(-1). Let c = 10 - t. Solve 0*o - c*o = -5 for o.
1
Suppose -l + 0*n = 5*n - 27, 4*n - 12 = 4*l. Solve -t = -2*t + l for t.
2
Suppose -4*x - 13 + 25 = 0. Solve -x*s = -s + 8 for s.
-4
Suppose -a + 6*a = -2*t + 17, 3*a - t - 8 = 0. Solve 0 = w + a*w + 16 for w.
-4
Suppose 8 = -3*m + 20. Let g = m - 2. Solve 8 = -g*x - 0*x for x.
-4
Let s be (-45)/(-5)*3/9. Let p be 1/s*0/1. Solve 3*j = -p*j - 3 for j.
-1
Let b be -51*(-1 - (-2)/6). Solve -5*g - 9 = -b for g.
5
Suppose -5 = 4*x - 3*i, 2*x = -3*x - 2*i - 12. Let r = x - -7. Solve 0 = c - r*c for c.
0
Suppose 29 = 3*d + 5. Suppose -i - 3 = -d. Solve -5 = -i*k + 20 for k.
5
Let k be 12 - 16 - 5*-1. Solve 5*g + 14 = -k for g.
-3
Suppose -2*q - 5*j - 17 = 0, 0 = 5*q - q - j - 21. Solve q = h - 5*h for h.
-1
Let s(b) = -2*b - 2. Let r be s(-3). Let z be (3 - 1)*(-2)/r. Let l = 1 + z. Solve 4 + l = -4*i for i.
-1
Suppose -12 = 3*d - 6*d. Solve -3*v = 1 - d for v.
1
Suppose -4*q - 3*v - 13 = 0, -3*q + 7 = -3*v + 1. Let h be q - 15/(-1*3). Solve -2 = -h*t - 10 for t.
-2
Let w(y) = y**3 + 6*y**2 - y - 6. Let t be w(-6). Solve t = -2*i - i for i.
0
Let g be 4 + (2 - (3 - -1)). Let h(m) = -m**3 + 15*m**2 + 15*m + 16. Let n be h(16). Solve 8 + n = -g*o for o.
-4
Let b(z) = -z**3 - 12*z**2 + 1. Let m be b(-12). Solve 2*r + m = r for r.
-1
Suppose 1 = 3*g + q, q - 3 = 2*g - 2. Solve 2*z - 13 + 5 = g for z.
4
Let v(q) = q + 14. Let o be v(-11). Solve m - 4 = o*m for m.
-2
Suppose 5*f - 4*f = -1. Let r = f - 4. Let u be (2/r)/(2/(-10)). Solve 0*i + 2 = u*i for i.
1
Suppose 3*q - 20 = -d + 2, 8 = 4*q. Solve -4*m = -0*m + d for m.
-4
Suppose 3*d = 2*m - m + 9, -5*d - m = -15. Solve -d + 15 = -4*x for x.
-3
Suppose -10 - 2 = -3*d. Suppose -d*o = o - 20. Solve 0 = -6*i + 2*i + o for i.
1
Suppose -6*g + 2*g + 29 = -3*a, 26 = 4*g - 2*a. Suppose -g*j + 62 = k, 0*j + 4*k = j - 4. Let f = j - 7. Solve f*c = 4*c for c.
0
Let f = 2 + 3. Solve f*l - 20 = l for l.
5
Let c = 36 - 32. Solve 4*y - c = 5*y for y.
-4
Let o(d) = d**2 - d + 2. Let b be o(2). Suppose -h + 5*h + b = 0. Let w = 1 + h. Solve 0 = l - w*l for l.
0
Suppose -5*o - 19 = n, -o + 2*o = -4. Let g(t) = 13*t**2 - t. Let h be g(n). Solve 2*w = h - 4 for w.
4
Let v be (-459)/15 + 9/15. Let l be (v/(-12))/((-2)/(-16)). Solve -4*m + l = m for m.
4
Suppose -c + 9 = -1. Solve -5 = -5*b + c for b.
3
Let x(p) = 2*p**2 + 9*p - 9. Let o(k) = k**2 + 5*k - 5. Let s(u) = -5*o(u) + 3*x(u). Let t be s(-8). Let z = -31 + t. Solve 3 - z = 3*v for v.
-4
Suppose -25 = 8*m - 13*m. Solve 4*o - 2 = m*o for o.
-2
Suppose -2*h + 5*h - 129 = 0. Suppose -13 = 5*q - h. Solve -q = -3*t - 3 for t.
1
Let a(b) = -2*b**2 - 12*b - 14. Let z be a(-4). Solve -3 = v - z*v for v.
3
Let d be 10/4*(-4)/(-5). Suppose 9 = 3*p - d*p. Let l be 1 + (2 - p/3). Solve 0 = z - l*z for z.
0
Suppose -4*b + 8*b = 24. Suppose b*d = d + 20. Solve -x = d*x - 15 for x.
3
Let n = -196 + 199. Solve -v - n*v + 4 = 0 for v.
1
Let f(d) = d - 2*d - 1 - 4. Let n be f(-4). Let z be (-4 - 1 - 0)/n. Solve 0 = z*r + 17 + 3 for r.
-4
Let n be 12/8*(-8)/(-3). Suppose 0*y + 4 = p - 3*y, 3*p = -n*y + 12. Solve -p*i + 7 = 3 for i.
1
Suppose -2*i + 2*q = -3*i - 6, 6 = i - q. Solve i*s + 5 = -3 for s.
-4
Suppose 0*p + 4*i - 22 = 2*p, 0 = 5*p + 3*i + 55. Let q = p - -15. Solve -3*u - 11 = q for u.
-5
Let g(h) = -h**2 + 3*h + 4. Let d be g(3). Solve 0 = 2*v - d*v for v.
0
Suppose -4*z = -0*z. Let t = 28 + -25. Solve i + z = t for i.
3
Let k(t) = -t**2 - 6*t - 3. Suppose 4 = 2*d - 2*a, 4*a - 10 = -3*d + 8*a. Let i be k(d). Solve i*v = -0*v - 10 for v.
-2
Let x = -42 - -44. Solve 2 = 2*n - x for n.
2
Let k be (-3)/(-1 + 1/4). Suppose u = 6*u - 15. Let l be 3/k + u/12. Solve -l = -s + 1 for s.
2
Suppose -2*l = 5*y - 35, -5*l = -0*y + 5*y - 50. Suppose -l*o + i + 3 = -12, -10 = 2*i. Solve o*z - 3*z + 5 = 0 for z.
5
Let z(t) = -5*t. Let f be (-13)/2 + 2/(-4). Let a = 4 + f. Let g be z(a). Solve 6*k - k + g = 0 for k.
-3
Suppose -2*q - 2*q = -40. Let m be ((-4)/q)/((-1)/10). Solve -m = -5*g + 16 for g.
4
Let f be -1*(-5)/(-35) - (-1)/7. Solve 2*u + 3*u - 10 = f for u.
2
Let s be (-8 - (-3 + -2))*-1. Solve s*q - 4 + 19 = 0 for q.
-5
Suppose -2 = 4*l - 22. Solve -l = -3*f + 1 for f.
2
Let a = -16 + 20. Suppose 60 = 4*p - 2*p. Let m be p/a*(-4)/(-6). Solve -m*k + 6 = 1 for k.
1
Let t = -6 - -6. Solve t*u - 3 = u for u.
-3
Let t = -12 - -23. Let n(r) = -r**3 + 11*r**2 + r - 9. Let b be n(t). Solve 1 = -3*j - b for j.
-1
Let o(m) = m - 12. Let g be o(7). Let i = -5 - g. Suppose 0 = -a + 5 + 1. Solve i = -p + a*p for p.
0
Suppose 0 = 3*m + 2 - 8. Solve -4 - m = 2*z for z.
-3
Let j(h) = 5*h + 0*h**3 - 4*h**2 + 0*h**2 + 2 - h**3. Let q be j(-5). Suppose 0 = 11*r - 6*r. Solve 7*i - q*i = r for i.
0
Let s(k) = -k**3 + 8*k**2 + 8*k + 9. Let j be s(9). Solve -p = -j*p + 3 for p.
-3
Let c(g) = -g**2 + 4*g. Let t be c(4). Suppose t = -3*w - 3 + 6. Solve -5*m + w - 11 = 0 for m.
-2
Let t(w) = w**2 - 7*w + 5. Let v be t(7). Suppose -i = -v*h - 3 + 6, -4*i + 3*h + 39 = 0. Solve 3*y + y = i for y.
3
Let v be ((-24)/10)/(6/(-15)). Solve -5*y + 19 = -v for y.
5
Let o(j) = -j**3 - 6*j**2 + 11*j + 10. Let v be o(-7). Let c = 21 + v. Solve 0 = c*z - 0*z + 15 for z.
-5
Suppose -2*r = -2*l - 10, 4*r + 3*l + 15 = -r. Suppose r*z + 35 = 5*z. Solve -5*c - 8 = z for c.
-3
Let h = 7 + -5. Suppose m + h*m = 30. Solve 0 = -6*o + o - m for o.
-2
Let o(r) = -2*r - 27. Let n be o(-16). Solve -n