t o be d(5). Let b = 16 - 59. Let p = -27 - b. Solve -o*k - 2*k = -p for k.
4
Let m = -33 - -33. Solve k + 0 - 3 = m for k.
3
Suppose -l + s = -6 + 4, -5*s = -l - 6. Suppose -5*u = -14 + l. Solve 1 - u = -d for d.
1
Suppose 0 = -0*i - 8*i. Solve -8*n + 3*n - 20 = i for n.
-4
Let i = -9 + 6. Let s be i + 2 + -1 + 8. Let v = 8 - s. Solve -7*r = -v*r + 10 for r.
-2
Let c = 1 - 1. Let d = -1 + 1. Suppose f = -4*i + 7, d = -2*f + 4*i - 3*i + 5. Solve c = f*h - 8*h for h.
0
Suppose 0 = -a - 34 + 8. Let l = a + 60. Let r be 10/(-25) + l/10. Solve -i = -0*i - r for i.
3
Suppose 0 = c + c + 4. Let i be 2/4 - (-11)/2. Let z = i + c. Solve 0*d = -d - z for d.
-4
Let g be (0 + 1)*(3 - -1). Solve -5*k = -k + g for k.
-1
Let g(p) = -4*p. Let b be g(-1). Solve -c + b = -5*c for c.
-1
Suppose 2*p + 2*m + 1 = m, 4*p = -m - 7. Let i = -1 - p. Solve -4 = 6*f - i*f for f.
-1
Suppose 117 = 5*s + 32. Let l = s - 3. Let w = l - 7. Solve 3*r = w*r + 12 for r.
-3
Let k(v) = -v**3 + 9*v**2 + 9*v + 10. Let t be k(10). Suppose -3*r + 8*r = 10. Solve 2 = r*d - t for d.
1
Let q = -23 + 25. Suppose 3*y + 5 - q = 3*n, n - 9 = -y. Solve y*c = -c - 5 for c.
-1
Let m = -4 - -8. Solve -m*g - 13 = 7 for g.
-5
Suppose -4*y - 7*q + 6*q = -4, 4 = q. Solve 2*p = -y*p + 10 for p.
5
Let w = 9 + -4. Let b be 2/(-5) + 2/w. Suppose -2*m - 3*i + 6 = b, -m - 2*i + 6 = 2. Solve m = 2*n - 6*n for n.
0
Let l(x) = -3*x - 20. Let t be l(-8). Solve 24 - 8 = t*v for v.
4
Let u be 33/6 + 2/4. Solve 5*y = 3*y - u for y.
-3
Suppose -3*m = 12, k + 2*m - 2 = -10. Let v = k - -6. Suppose 3*g = v - 0. Solve -1 - g = -b for b.
3
Let q(d) = 2*d + 2. Let g be q(10). Suppose g = u - 5*k, 2*u = -u - k + 2. Solve -6*n + u*n = 0 for n.
0
Let w be 9/(-15) + 36/10. Solve -10 = -w*z + 2 for z.
4
Let h = -174 - -179. Solve -h*r = -10*r + 5 for r.
1
Suppose 3*n = -0*n - 5*w - 28, 2*w = -5*n - 34. Let i(c) = -3*c**2 + 4*c. Let s be i(3). Let z be (s/10)/(n/8). Solve -z*f + 4*f - 8 = 0 for f.
4
Let o be 6/15 + 26/10. Suppose -m - 45 = -6*m. Suppose 5*u - 11 = m. Solve b - o = -u for b.
-1
Suppose -2*x = -0*x. Let s(l) = l**2 + 4*l - 3. Let k(y) = -6*y**3 + 1. Let j be k(1). Let p be s(j). Solve -p*w + 0 + 4 = x for w.
2
Let a = -2 + -1. Let n be 3/(1/((-1)/(-1))). Let r = n + a. Solve m - 1 = -r*m for m.
1
Let c = 4 - 1. Suppose 1 = 2*h + h - 5*u, c*u - 1 = h. Solve 0 = -0*a + h*a + 10 for a.
-5
Suppose 0 = x - 9*r + 4*r + 18, 4*x + 2*r - 38 = 0. Let u = 7 - 5. Suppose 1 - x = -u*p. Solve -p*c - 2 = -c for c.
-1
Let g(x) = -x + 1. Let j(v) = v**2 - 6*v + 5. Let u be j(5). Let f be g(u). Solve 5*c - 14 = f for c.
3
Suppose 2*a - 47 = -13. Let d = a + 3. Solve 5*l - l = d for l.
5
Let a(v) = v**2 + v - 2. Let f be a(-3). Suppose 9*b = f*b + 135. Let c = 2 - -5. Solve 0 = 4*g - c + b for g.
-5
Let d(a) = 2*a + 2. Suppose -3 = -3*p + g, -g + 6 = g. Let x be d(p). Let v(i) = i**3 - 7*i**2 + 6*i. Let l be v(x). Solve -2*f + l = -6 for f.
3
Let o = -3 + 2. Let u be ((-3)/(-4))/(2/(-8)). Let h = o - u. Solve -h = m - 3 for m.
1
Suppose 3 - 18 = -3*g. Solve 0 = -3*l - 14 + g for l.
-3
Let u = -51 + 54. Solve -1 = -u*z + 2 for z.
1
Let w(u) = -u**3 - 7*u**2 - 6*u + 6. Let d be w(-6). Solve 4*m - d = -26 for m.
-5
Suppose 0 = 4*i - 12, 3*j + 3*i - 3 = j. Let q be 2/j - 2/(-3). Solve 8 + q = -2*t for t.
-4
Let w(i) = i**2 - 13*i + 12. Let h be w(12). Suppose 5*y = -2*d - 0*y - 10, h = -4*d - 5*y - 10. Solve d*s - 3*s = 0 for s.
0
Suppose -g - 1 = 5*i + 4, 0 = i. Let d be g/(-10)*16/2. Solve -a - 5 = -d for a.
-1
Let a be -2 - 26/(-6) - (-13)/(-39). Solve 0 = -a*u + 3 - 1 for u.
1
Suppose -16 = -4*d + 4. Suppose d*k = 2*f - 25, -4*f - 3*k + 5 = 20. Solve f = x + 2*x for x.
0
Let w be (2/(-10)*0)/(-5). Solve 0 = -w*y + y + 4 for y.
-4
Suppose 0 = k + 2*k - 5*r + 13, 5*r = -3*k + 37. Solve 2 - 10 = k*a for a.
-2
Let n(w) = 15*w**2 - 2*w - 2. Let x be n(-1). Let l = x + -8. Solve -l = -3*z + 8 for z.
5
Let m = -5 + 8. Suppose -p - m = 5*k - 4, -5*k + 3 = 3*p. Solve 0 = z + p - 5 for z.
4
Let q(c) be the second derivative of c**3/2 - c**2/2 - 3*c. Let g be q(3). Solve -4*v + g = -2*v for v.
4
Let w(c) = c**2 + 5*c - 4. Let p be w(-6). Let r be 6*p/(8/2). Solve -5*n + r = 8 for n.
-1
Suppose -4*x - 5 = 3. Let m be 3/(x + (-1)/(-2)). Let c = m + 4. Solve -3 = -c*g + 3 for g.
3
Let f be 2/(-4)*16/(-4). Solve f*s = -0*s + 4 for s.
2
Suppose -80 = -6*h + h. Suppose -8 = -v + 4*g, 0 = 2*v - 2*g - 3*g - h. Solve -v = -x - x for x.
4
Let l(k) = 36*k**3 + k**2 - k. Let i be l(1). Let a be (i/30)/((-6)/(-20)). Solve -2*c + 4 = -a*c for c.
-2
Suppose -3*r + 3 = -2*r. Let u = 24 - 19. Solve -2*y = r - u for y.
1
Let r = 19 - 15. Solve 4*h + r = 12 for h.
2
Let p be -2 - (-15)/3 - 0. Let y = p + -1. Solve 11 = y*r + 1 for r.
5
Suppose p + 3*z - 2 = 3*p, 0 = -2*p + 2*z. Solve p = -4*m - 6 for m.
-2
Suppose 0 = 5*h - 9 - 6. Suppose h*z - 7 - 8 = 0. Solve z = q - 0 for q.
5
Let q(y) = y**3 - 9*y**2 + 7*y + 5. Let h be q(8). Let u be h/6*5*16. Let v be (-184)/u + 4/10. Solve 6*m = m + v for m.
1
Let o(l) = l**3 - 4*l**2 + 5*l - 3. Let n be o(3). Solve 0 = 7*w - n*w - 16 for w.
4
Suppose 2*y = -3*y + 5. Suppose -4*f + 2*f + 6 = -2*x, 1 = -f + 5*x. Let g(b) = b**2 - 3*b - 1. Let d be g(f). Solve d = 2*c + y for c.
1
Suppose -2*t - 12 = 2*m, -2*m = -5*t - 15 - 8. Let u(c) = 2 + 4 + 10*c - 4*c + c**2. Let q be u(t). Solve 2*a + q = -5 for a.
-3
Suppose 14*k - 7*k - 21 = 0. Solve 0 = -k*o + o - 4 for o.
-2
Let d be 4/(-10) - 27/(-5). Let z(y) = -y**3 - 7*y**2 - 6*y + 2. Let k be z(-6). Suppose -k*n = 3*n - 75. Solve -n = -5*x - d for x.
2
Suppose -5*k = 15, -3*l - 7 + 22 = -3*k. Suppose -l*a + a = 0. Suppose 11*f - 12*f = -2. Solve -j + a - f = 0 for j.
-2
Let q be 13*(-2)/(-2) - 3. Suppose -q = 4*g - 9*g. Suppose -4*p + 8 = 3*h + 1, -4*h = -g*p - 24. Solve 14 = -h*n - 1 for n.
-3
Suppose 0 = -5*p + 4*f - 7, -f + 8 = -2*p - 2*f. Suppose 2*a - 18 = -5*l, 7*a = -3*l + 3*a + 8. Let m = p + l. Solve -4 = s - m for s.
-3
Let d = 25 - 20. Solve -2*z + 7*z = d for z.
1
Let d be 0*(1 - (-12)/(-8)). Solve d = 5*y - 1 - 4 for y.
1
Suppose 20 = 5*q, -4*l - q - 1 + 5 = 0. Suppose 26 = -2*o - 5*v, l = -0*o - 2*o + 4*v - 8. Let m = -5 - o. Solve -5*p - m = -4*p for p.
-3
Let v(u) = -u**2 + u + 1. Let k(g) = -5*g**2 + 12*g + 12. Let q(x) = -k(x) + 6*v(x). Let d be q(-4). Solve d - 7 = -h for h.
5
Let x(j) = -j**2 + 19*j - 23. Let s be x(16). Suppose 5*u = s, 4*z - u - 15 = -4. Solve -z = 4*t - 0 for t.
-1
Let p be 2/7 + 378/49. Solve 3*q + p = -q for q.
-2
Let j(h) = h**2 + 6*h - 7. Let s be j(-7). Let n be s - (-4 + -3 - -3). Solve -n*i - 14 = -2 for i.
-3
Let f(j) = -10*j + 81. Let r be f(8). Solve -5*q - 4 - r = 0 for q.
-1
Let s(h) = -h - 5. Let j be s(-10). Solve 0 = -6*k + k - j for k.
-1
Let w = -12 - -16. Let r(u) = u**3 - u + 34. Let k be r(0). Solve 14 - k = -w*j for j.
5
Suppose 3*p - 1 - 2 = 0. Let a be (1/p - 1)/(-2). Solve a = 7*u - 4*u - 9 for u.
3
Suppose v + 2*q - 3*q + 27 = 0, 0 = -4*v + 3*q - 113. Let t be ((-15)/(-2))/((-12)/v). Solve -t = -g - 3*g for g.
5
Let u = 5 + -4. Let s(b) = 10*b**3 + 1 - b + 0 - u. Let f be s(1). Solve 2*q + q - f = 0 for q.
3
Suppose 2*q = 2*v - 0 - 2, 5*v + 1 = 2*q. Let a(c) be the second derivative of -c**3/6 - c**2 + 5*c. Let h be a(q). Solve 4*o = -h + 4 for o.
1
Let b(w) = 4*w - 71. Let i be b(25). Solve -5*s + 4 - i = 0 for s.
-5
Let j be 0/(5/15*6). Solve j = -2*h + 5*h for h.
0
Let w be (-21)/63 - (-64)/3. Solve -3*d - w + 9 = 0 for d.
-4
Let u be (4 + -1)/((-3)/(-2)). Suppose 4*h + u*b = 6 + 10, -4*h + 30 = -5*b. Let i be (0/h)/(0 + 1). Solve -4*v - v = i for v.
0
Let a(j) be the first derivative of -2*j**2 + 4*j + 1. Let u be -1*12/8*2. Let m be a(u). Solve 4 = -4*n + m for n.
3
Let c = 10 + -7. Let g = 11 - 15. Let r be g/7*14/(-4). Solve -1 = -r*a - c for a.
-1
Let a be 4/(-38) - (-160)/76. Solve 14 + a = -4*b for b.
-4
Let s(t) be the second derivative of t**5/20 + 5*t**4/12 + 5*t**3/6 + 3*t**2/2 - 3*t. Let l be s(-4). Let c = l - -1. Solve c = 2*r - r + 2 for r.
-2
Let m = -5 - -17. Let u(j) = j**2 + j - 2. Let b be u(1). Solve b = a + 3*a + m for a.
-3
Let v = 27 + -18. Solve v*u - 4*u = 5 for u.
1
Let p = -1 + 3. Let u = 5 - p. Solve -u*q - 15 = -0*q for q.
-5
Suppose 2*i = -2*n + 28, -2*n - 4 = -0. Sol