t c be (-1)/(-2)*6*-2. Let a(x) = -x - 4. Let n be a(c). Suppose 5*f = -6*m + n*m, 2*m = -3*f. Solve f*u - 4*u = 0 for u.
0
Suppose -3*o = 5*r - 6 - 25, -4*r + 12 = -4*o. Suppose -28 = -2*t - 4*j, 2*j = 4*t - 0*j - 36. Solve -t = -0*y + o*y for y.
-5
Let q(f) be the second derivative of f**3/6 - f**2/2 - 3*f. Let h be q(3). Solve 2*a - h = 4 for a.
3
Let q(v) = -v**3 + 11*v**2 - 11*v + 12. Let a be -2 - 0 - 6*-2. Let j be q(a). Let s(d) = d**2 + 5*d + 3. Let m be s(-6). Solve -j*x = x - m for x.
3
Let w = -7 + 10. Let b(m) = 3*m - 4. Let l be b(w). Suppose 0 = 42*n - 3*n - 273. Solve -n = -l*k + 18 for k.
5
Suppose -3 + 13 = 2*y. Let k = y + 15. Suppose -l = 4*l - k. Solve 3*s + l = -5 for s.
-3
Let h = 6 + -2. Let o(k) = -k**3 + 7*k**2 - 5*k - 1. Let t be o(h). Let n be 117/t - (-2)/(-6). Solve -n*f = -2 - 2 for f.
1
Suppose -5*u + 7 = -13. Suppose u*v + 12 - 32 = 0. Solve -2*i = -v*i for i.
0
Let g be (-6)/4*(-80)/60. Solve g = -2*y - 2 for y.
-2
Suppose -5*b + 39 = 2*y, 0 = 2*b - 10. Solve 0 = -k - y + 2 for k.
-5
Let x(s) = -s**2 + 7*s. Let v(t) = t**2 + 2*t - 8. Let b be v(-5). Let q be x(b). Solve q = -3*w - 5 + 2 for w.
-1
Suppose -4*q - 33 = -7*q. Solve -31 + q = -4*a for a.
5
Let m(s) = s**3 - 10*s**2 + 11*s - 12. Let z be m(9). Solve -2*w + 8 = -z*w for w.
-2
Suppose 70 = 4*t - 3*q, 3*t + 4*q + 14 - 79 = 0. Let x be (-1)/(-4) - t/(-4). Suppose 5*y = 2*o, 3*y - 25 = -x*o + 6. Solve 0*v - o = -v for v.
5
Suppose -j + 6 = 2*j. Solve j*w + 3*w + 25 = 0 for w.
-5
Let o be 0 - -5 - (2 - 1). Solve -6*t + o*t - 4 = 0 for t.
-2
Let b(s) = -s + 1. Let p(q) = 4*q - 5. Let t(g) = -5*b(g) - p(g). Let y be t(3). Solve n - y*n = -6 for n.
3
Let h(p) = p**3 + 3*p**2 - 2. Suppose -6 = 3*k - 0. Let l be h(k). Let t be 8 - (2 - l - 1). Solve -2*i = i - t for i.
3
Let j = 56 - 29. Suppose 4*y - 3*z - j = 0, 4*y + 2*z = 3*y - 7. Let a be y/(-2)*(-8)/6. Solve 0 = -r + a*r - 3 for r.
3
Suppose -3*u + 2*u = -9. Suppose -3*g - 3*i - u = -4*g, -4*g - 2*i + 8 = 0. Suppose z - 1 = g. Solve z = -o - 1 for o.
-5
Suppose -2*z + 2 = -2. Solve z*j - 4 = 4 for j.
4
Let f(v) = v**2 - 5*v - 2. Let g be f(6). Suppose 3*p - 4*c - g = 0, 5*c = 3*c - 2. Solve 0 = -o - p*o for o.
0
Let x = -6 - -21. Let n = x + -11. Solve 0 = n*v - 8 - 4 for v.
3
Suppose 2*l - 6 = 2. Solve 8*a - l = 7*a for a.
4
Let y(l) be the second derivative of -l**4/12 + 4*l**3/3 - 3*l**2/2 - 2*l. Let r be y(5). Solve t = -3*t - r for t.
-3
Let c = -27 - -42. Solve c = 5*f + 5 for f.
2
Let v be 3 + (-2)/(-2)*2. Solve 5*o - v = 5 for o.
2
Suppose -2*u + 24 = 16. Solve 3*c + 1 = u for c.
1
Suppose -5*j - 80 = -3*t, -110 + 32 = -3*t + 3*j. Solve l = -4*l + t for l.
5
Suppose -2*o + 5*o = 27. Solve -3*n - 3 - o = 0 for n.
-4
Suppose 9 = r + 2*r. Suppose -r*y - y = -80. Solve -y = 3*u + u for u.
-5
Suppose -2*u = -2 - 8. Suppose -j + u*a + 30 = 3*j, -3*a + 9 = 3*j. Solve 0 = -t + j - 0 for t.
5
Suppose -d + 6 - 2 = 0. Let y be d/(-28)*(1 + -8). Solve 0 = -2*l + l + y for l.
1
Suppose 0 = -2*r + 3*r - 1. Let l = 10 - 7. Solve -w - l = -r for w.
-2
Suppose -8 = -5*l + l. Suppose -5*m - 23 = -2*n - 0*m, 0 = 4*n - l*m - 22. Suppose -4*s + 6 = -2*p + 2, 0 = -2*s - n*p - 8. Solve s = o + o + 6 for o.
-3
Let z(l) = l. Let p be z(6). Suppose -12 = -4*b, 5*b = -5*g + 9 + p. Let w = -2 + 2. Solve w = -g*h + h for h.
0
Let w(j) = -j**3 - 6*j**2 + j - 3. Let a be w(-6). Let c be -1 + (-3)/(a/12). Suppose 0*y + 2*g = 4*y - 4, -2*g = c*y - 17. Solve 3 - 12 = y*m for m.
-3
Let g = 3 + -1. Suppose 0*k = -5*n + g*k - 190, k - 5 = 0. Let v be 61/9 + (-8)/n. Solve 0 = v*b - 5*b for b.
0
Let o = 20 + -15. Solve 0 = o*v - v for v.
0
Let m = 16 - 11. Let f(x) = x**2 - 5*x - 11. Let j be f(7). Solve 0 = m*v - j*v + 10 for v.
-5
Suppose -6*b - 5 = -17. Solve -b + 0 = -d for d.
2
Let c = 4 - 1. Suppose c*z = -z. Solve -5*q - 20 = -z for q.
-4
Let k(m) = -m**3 + 4*m**2 + m + 1. Suppose 3*f = 1 + 11. Let b be k(f). Solve 0 = -5*w - b for w.
-1
Suppose -4*c + 5 = -3*r, 3*c - 3 = -4*r + 7. Solve -5*a - 3 - c = 0 for a.
-1
Let k be -1 + 14 + 1 + -1. Let d(z) be the first derivative of -z**4/4 + 4*z**3 + 6*z**2 + 16*z - 12. Let x be d(k). Solve x*i - 8*i - 15 = 0 for i.
-3
Let h be 0*1/2*2. Suppose h*j - 2*j + 160 = 0. Let b = j - 57. Solve -4*f - 3 = -b for f.
5
Let y = -2 - -2. Solve 0*c - 3*c - 12 = y for c.
-4
Let m(a) be the third derivative of -a**4/24 - a**3/2 + a**2. Let o be m(-6). Solve -c - 16 = o*c for c.
-4
Suppose -v + 4*v = 15. Suppose -p + 30 = v*g, 6*g = 4*g - 2*p + 20. Let z be (-2 + 1)*(-2 + 1). Solve -2*k = z - g for k.
2
Suppose -20 + 60 = 5*t. Suppose -3*u + t = 5*n, -4*u + 0 + 32 = -4*n. Solve 0 = 2*s - 0 + u for s.
-3
Let y = 5 + 1. Let m = 8 - y. Let g(w) = -w**3 - 2*w**2 - w - 2. Let o be g(-2). Solve o*n + 2 = -m*n for n.
-1
Let j = 6 - 2. Solve 2*a + 10 = j*a for a.
5
Let y(h) = h + 9. Let q be y(-8). Solve -6 = -c - q for c.
5
Suppose -3*w = -5*d + 8, 8 = -d - w + 4*w. Solve -d*c + 9 = -c for c.
3
Let c(b) = b + 7. Let x = -8 - -5. Let u be c(x). Solve -u*k - 25 = k for k.
-5
Suppose -5*s = -4*s - 3*r - 12, 4*s - 3*r = 12. Let j be (-2)/(-9) + 125/45. Solve j*u = -s*u + 9 for u.
3
Let c be (-2)/(-11) - 14/77. Let m(y) = y**2 + y - 2. Let o be m(-2). Suppose o = k - 3*x - 12, c*k + 2*x + 8 = -4*k. Solve k = -5*n - 0*n - 10 for n.
-2
Let m(v) = v + 6. Let d(q) = -q**3 - 7*q**2 + 8*q - 2. Let o be d(-8). Let t be m(o). Solve 2*y - t*y = -2 for y.
1
Suppose -5*v + 2*v + 12 = q, -4*v = -2*q - 6. Solve 0*u = u - v for u.
3
Suppose -2*k - t = -0 + 4, -t - 4 = 0. Suppose 0 = -2*s + 5*v - 2, -2*s + s = 2*v - 8. Suppose 0 = -s*d + 14 + 6. Solve 0*a - d*a = k for a.
0
Let f(a) = -3*a + 3. Let p be f(3). Let c = p - -12. Suppose 3*s - 6*s + c = 0. Solve -4 = -3*h + s for h.
2
Let l be 4 + 8 + 6/(-2). Solve -k - l = -4*k for k.
3
Suppose -r = -v - 5, -v - 23 = -4*r + 4*v. Suppose -3*w = 15, 28 = r*h - h - 4*w. Solve -5*z + z = -h for z.
2
Suppose -5*c + 0*c = -2*q - 19, q = -2. Solve 0 = -0*r - c*r for r.
0
Suppose 0 = 23*m + 3*m - 130. Suppose -2*d - 4*k - 12 = 0, -3*d = 5*k + 7 + 6. Solve d*a - 5*a = m for a.
-5
Let d be (2/(-6))/((-2)/(-66)). Let q(y) = y + 13. Let c be q(d). Suppose -1 = -3*w + 3*r - 4, -3*w + c = 2*r. Solve w = -0*z - z + 4 for z.
4
Suppose 22 = 2*t + q + 8, -q - 31 = -3*t. Solve -5*r = -2*r - t for r.
3
Suppose 4*b = 3*b + 15. Suppose -w + 6*w + b = 5*v, -3 = -3*w. Let y = -16 - -20. Solve 5*l + y = v*l for l.
-4
Suppose -30 = -2*p - 8*p. Solve -p*w - w - 12 = 0 for w.
-3
Let c(h) be the second derivative of h**5/20 + 3*h**4/4 + 4*h**3/3 + 3*h**2/2 - 2*h. Let n be c(-8). Suppose n*g = 4*g. Solve 4*a + 2 + 18 = g for a.
-5
Let s(t) = t**2 + 4*t + t**2 - t - 3. Let g be s(-3). Let p = 11 - 9. Solve p = 2*z - g for z.
4
Suppose 5*u + 20 = 5*x, 5*x = 9 + 11. Solve 0*y + 2*y = u for y.
0
Let s(y) = -y**3 - 5*y**2 + 6*y + 6. Let q be s(-6). Let t be q/(-2) + 3*6. Solve 4*h + h = t for h.
3
Suppose 137 = -4*q - 31. Let x be (-12)/q + 2/(-7). Solve -s + 8 - 3 = x for s.
5
Suppose -3*m + 2 = 4*o, 3*m + 4*o - 7 = -o. Let v = 11 + m. Let a = 6 - v. Solve 0 = -4*r + 9 - a for r.
2
Let b be 20/(-90) - (-76)/18. Suppose -i = -4*r - 0*r + 8, 2*i = -b*r + 20. Suppose 0*w = w - 5. Solve 8 = -r*x + w*x for x.
4
Let c(h) = 81*h - 15. Let g(k) = -5*k + 1. Let j(q) = -2*c(q) - 33*g(q). Let u be j(2). Solve 3 = -u*w - 0 for w.
-1
Suppose -5*f - 3*i - 3 = -16, f - i - 9 = 0. Suppose -5*k + 10 = -5*x - 10, -13 = 2*k + f*x. Solve 0 = q - k - 1 for q.
2
Let p = 10 + -7. Suppose 15 = 4*t + 2*m + 1, 0 = -4*t + p*m - 1. Suppose 4*z = -c - 10, 2*z + 22 = 3*c - 4. Solve -y = t*y + c for y.
-2
Suppose 0 = -3*g + 4*g + 2*k + 5, 29 = 3*g - 5*k. Solve g*o - 3 + 0 = 0 for o.
1
Suppose 4*t = 3*t + 16. Solve -s - t = 3*s for s.
-4
Suppose 5*c = c + 2*h + 18, -4 = 4*h. Solve -1 - 3 = -c*w for w.
1
Suppose 0 = 4*y - y + 3*x, 3*y - 12 = x. Solve 0*n - y*n + 15 = 0 for n.
5
Let g be -1 - (-1 + 2 + 5). Let h = 24 - 13. Let o = g + h. Solve 10 = o*j - 6 for j.
4
Suppose 0 = 5*u + 3*b - 4*b - 23, 0 = -4*u - b + 13. Solve 1 = -c - u for c.
-5
Suppose -11 = -t + 5*q, 3*t - 4*q = -0*q. Let d = t - -4. Solve d = 2*b + 4 for b.
-2
Let o = 5 + -1. Let u be 1/2 + (-1)/2. Solve 0*a + 2*a + o = u for a.
-2
Let l(x) = x**2 + x - 2. Let w be l(-2). 