Let f be a(-8). Suppose -32 = -4*z - f*p - p, 4 = p. Solve 0 = -z*s + 2*s + 3 for s.
1
Let a(k) = k - 5. Let h be a(4). Let m be (3 - (86 - 0))*h. Suppose -3*t - 23 = -x, 3*t = -0*x + 4*x - m. Solve -l = 4*l - x for l.
4
Suppose 22 = 3*u + 2*f, -u - f = u - 14. Solve -2*k = -u*k + 12 for k.
3
Let l(c) = -c**2 - 2*c + 9. Let f be l(-8). Let i = f - -59. Solve 0*y = -4*y - i for y.
-5
Suppose -4*f - 9 = -5*d, 2*f + 5*d = -0*f - 27. Let i(x) = -x + 2. Let t be i(-7). Let m = t - f. Solve -10 - m = 5*j for j.
-5
Let i(q) = -q**2 - 4*q + 1. Let m be i(-3). Suppose d - 1 = -l + m, -2*l = -10. Solve 0 = -d*o + 3*o - 3 for o.
1
Suppose 4*f - 15 = -4*w - w, 0 = f + 3*w - 2. Let r = f + 0. Solve -b = -0*b + r for b.
-5
Let i be (-4)/16 + (-217)/(-4). Let z = -38 + i. Let a be (2 + -5)/((-3)/z). Solve -2*c - 2*c = a for c.
-4
Suppose -3*k - 10 - 2 = 2*g, 4*k = -g - 16. Let r = k + 9. Suppose -5*m + 3*l = r, -2*m = 4*l - l - 19. Solve 5*j - m*j = 3 for j.
1
Let w = -75 - -79. Solve -2 + 22 = w*m for m.
5
Let s be -2 + (-4 - -2 - -3). Suppose 0 = 6*l - 2*l - 40. Let v = l + s. Solve 4*b - b + v = 0 for b.
-3
Suppose -8*q + 5 = -3*q. Solve -n - 5 = -q for n.
-4
Let b(u) = -19*u**3 - u. Let x be b(-1). Let o(k) = k**2 + 14*k + 4. Let c be o(-14). Solve 0 = c*f - 0*f - x for f.
5
Let k be 6*4/6 - 2. Suppose -k*y + 5*y - 12 = 0. Suppose -a - y*a + 15 = 0. Solve -x + a*x + 10 = 0 for x.
-5
Suppose 3*u - 31 = -22. Solve -u*f - 8 = -f for f.
-4
Let g(u) = -u + 2. Let v be g(-3). Solve 0 = 3*j + 2*j + v for j.
-1
Let h(b) = -2*b**3 - 2*b**2 + 3*b + 2. Let m be h(-2). Suppose 4*i - 32 + 0 = -2*o, 3*i - 59 = -m*o. Solve -5*k = -6 - o for k.
4
Let a(x) = 19*x - 3 - 10 - 2*x**2 - 8*x + x**2. Let g be a(9). Let k = 2 + 3. Solve g*s - 25 = -k for s.
4
Suppose 3*y = 3*q, -3*q - 2*y - 1 = -6*q. Solve -q = a - 0*a for a.
-1
Let i(q) = -q**2 - 8*q - 3. Let o be i(-6). Suppose -4*u = -4*c - u + 3, 5*c = 5*u + 10. Let a = c - -8. Solve -a*p + 11 + o = 0 for p.
4
Let i(p) = 2*p - 11. Let g be i(10). Let f(j) = -j + 12. Let z be f(g). Let q = 3 - z. Solve -2*h + 10 = -q*h for h.
5
Let x be 1 - 6/(4 - 6). Solve -4*q + 5*q = x for q.
4
Suppose -5*n + 9 = -6. Solve p - n = -7 for p.
-4
Let r be 15 + -12 - 6/2. Solve 0 = -2*s - r*s + 8 for s.
4
Let h(j) = -3*j**3 - 2*j**2 + 1. Suppose 0*c = -5*c - 5. Let m be h(c). Let o be (-48)/(-56)*7*1. Solve 2*b + m = o for b.
2
Let a = 25 - 22. Solve -5 = a*c - 11 for c.
2
Let g(f) = 1 - f**2 + 2*f - f**3 + 2 - 1. Let d be g(-2). Suppose 2*y = 5*p - 21, -4*y + 0 = -d*p + 2. Solve -1 = p*m + 9 for m.
-2
Let l = 3 - -2. Solve -l*s + 4*s = -1 for s.
1
Suppose 0 = 5*d + 5, -6*d - 5 = -q - d. Let f be -6*(8/(-3) - -2). Suppose f*t + 2*c - 14 = q, -2*c - 2 = -4*c. Solve -2*i + 25 = t*i for i.
5
Let p(a) = -a**3 - 8*a**2 - 9*a - 4. Let k be p(-7). Suppose 0 = 2*l - 0 - k. Let v(o) = -4*o**2 + 13*o - 1. Let h be v(3). Solve h*c + 6 = l*c for c.
2
Suppose -4*j + 83 = m, m = -2*m - 3. Suppose 2*t - 205 + j = 0. Suppose -5*s + 2*s + 72 = 3*r, -t = -5*r + 2*s. Solve -u - 3*u = r for u.
-5
Suppose 0 = -14*n + 17*n - 6. Solve -4*m - 10 = -n*m for m.
-5
Suppose 0 = 4*k + 3 + 5. Let q = k + 9. Solve 2 = 5*s + q for s.
-1
Let q be (-1)/(-3)*0*1. Suppose 5 + 4 = 3*u - w, -w + 3 = q. Solve g + u - 5 = 0 for g.
1
Suppose -i = -0*i. Suppose 212 = w - 0*w + 2*k, 20 = 4*k. Let p be w/8 - (-3)/(-12). Solve i = -j + 6*j + p for j.
-5
Let l(x) = x**3 - 2*x**2 - x - 3. Let o be l(3). Suppose 0 = f - 2*a + 6, 5*f - 3*f + 3*a - 9 = 0. Let n = 0 + f. Solve n = o*g - 5*g for g.
0
Let o(p) = -p**3 + 7*p**2 + 7*p + 10. Let c be 36/(-30)*40/(-6). Let t be o(c). Solve 0 = -2*l + t - 8 for l.
-3
Let w = -37 + 38. Solve -w = -x - 0 for x.
1
Let k(j) = -4*j - 3. Let o be k(12). Let n be (o/(-15) - 3)*10. Solve 0 = -7*c + n*c - 3 for c.
-1
Let x be 171/21 - (-2)/(-14). Suppose -x = -5*y + y. Solve -a + y = 4 for a.
-2
Let n(h) = -h**2 + 4*h - 4*h - 3*h. Let i be n(-3). Suppose -4*c + 10 = 2*p - i, p - 3*c = 0. Solve -2*k = p*k - 5 for k.
1
Let u = -2 - 0. Let m(b) = b**2 + 2. Let p be m(u). Let z be 68/12 + 2/p. Solve -4*f - 2 = -z*f for f.
1
Let w = 85 + -82. Solve 9 = -w*x + 3 for x.
-2
Let d(q) = 6 - 4*q - 5*q + 4*q - 1 + 5*q**2 - q**3. Let p be d(4). Suppose -4 = 2*x - 6. Solve 2*c = -p - x for c.
-1
Suppose -28 = -4*y - 4*d, y = 2*y + 5*d - 23. Solve -y*c - c = -16 for c.
4
Let m be ((-6)/(-30))/(4/(-10))*-26. Solve 0 = -4*r - 3 - m for r.
-4
Let d be (-1 - -2)/(1/(-5)). Let p = d - -11. Let i be p/(-9) - 8/(-3). Solve -i = h - 3 for h.
1
Let d(y) = 2*y + 12. Let g be d(-6). Solve g = 2*h - 2 for h.
1
Suppose 0 = -5*r - 3*u - 2*u + 35, 0 = 4*u - 4. Solve 3*s - r = s for s.
3
Let z(j) = j**2 + j. Let g be z(-2). Solve -f = -g*f - 3 for f.
-3
Suppose 3*x - 19 - 2 = 0. Let f = -7 + x. Solve f = z + 4*z + 15 for z.
-3
Let k(r) be the first derivative of r**3/6 + r**2 + 2*r + 2. Let f(h) be the first derivative of k(h). Let y be f(2). Solve n = y*n - 12 for n.
4
Let o(l) = -l**3 + 5*l**2 - l - 2. Let v be o(3). Suppose 3*i = 3*s - 3 - 12, 0 = -3*s + i + v. Let k be (3 - 1)/(1 - 0). Solve 4 + s = k*m for m.
4
Let z = 5 - 3. Suppose z*j - 18 - 2 = -2*d, -j = 3*d - 10. Solve -j - 10 = 4*a for a.
-5
Let d be (-23)/(-5) - 2/(-5). Let z(w) = -w**2 + 3*w - 1. Let j be z(2). Suppose -y - j = -5. Solve -3*v + y + d = 0 for v.
3
Let f(v) = v**3 - 4*v**2 - 4*v - 5. Let n be f(5). Suppose n*i - 24 = -5*x - i, 0 = x + i - 8. Solve 2*h = -2*h + x for h.
1
Let g = -7 + 12. Suppose -4*l + 4 = -z, -5*l + 4 = g*z - l. Solve 2 = -z*p - 2*p for p.
-1
Suppose 44 = 5*g + 2*m + 2*m, g - 32 = 5*m. Let q = 0 - -8. Let k = q + -6. Solve -k*a = -6*a - g for a.
-3
Let w be 3/(-15) + 24/(-5). Let m = w + 1. Let p = m - -7. Solve -p*y + 6 = -3 for y.
3
Let a be 0*((-7)/(-2) - 3). Solve -9 = -a*r - 3*r for r.
3
Suppose -3*y + 2*n + 6 = 0, 5*y - 4*n + 0*n = 12. Suppose x - 4 = -2. Let m = x - y. Solve -m*q - 5 = -q for q.
-5
Let b(g) = -4*g**2 - 3*g + 5*g**2 - 7 + 0*g**2. Let o be b(5). Suppose o*r - j - 13 = 0, 2 = -r + 5*j + 25. Solve r*t = -0*t + 12 for t.
4
Let p be ((-24)/(-9))/(2/6). Suppose p*j = 3*j. Suppose -u + 0 + 7 = j. Solve u*b - 3*b = 16 for b.
4
Let t(v) = v**2 - 3. Suppose -p = -3*k - 3*p + 3, -k = 5*p + 12. Let m be t(k). Let f be ((-20)/m)/((-4)/30). Solve 2*j = -3*j - f for j.
-5
Let s(f) = -f + 16. Let b be s(13). Suppose q = -5*k + 29, 5*k - k - 23 = -q. Suppose 4*x - k = x. Solve -x*z = -b - 1 for z.
2
Suppose 5*j = -0*j + 10. Let a be 5 + -2*1/j. Suppose 0 = 75*k - 71*k - 56. Solve k - 2 = -a*q for q.
-3
Let w be 0*(9/6)/3. Suppose 5*o = -2 + 7. Suppose 3 - o = y. Solve -3*p - y*p = w for p.
0
Let c(z) = -2*z**2 + 8. Let x be c(9). Let j be ((-1)/2)/(7/x). Solve -4 = 3*r + j for r.
-5
Let b = 0 - 0. Let v(u) = u + 10. Let g be v(-7). Suppose g*d + 5 = -2*s + 3, b = -d + s + 6. Solve 2 = d*p + 10 for p.
-4
Suppose 5*z - q - 30 = 0, z + 10 = 2*z - q. Solve -z*s - 8 = 7 for s.
-3
Let w(u) be the first derivative of -u**3/3 + 4*u**2 - 7*u + 2. Let x be w(5). Let n be ((-1)/2)/((-1)/x). Solve 2*q = n*q for q.
0
Let p = 3 - 0. Suppose -p*m + 6*m = 0. Let g = -693 - -727. Solve 4*r + g - 14 = m for r.
-5
Suppose -5*d + 20 = -d. Let t be (-15)/(-2)*2/3. Solve 0*b - d*b = t for b.
-1
Suppose 5*u - 10 - 11 = -4*m, -2*m + u + 7 = 0. Solve h + m = -0*h for h.
-4
Let s(q) = -3*q - 3. Let n be s(-2). Solve -n*y - 7 = -19 for y.
4
Let y(g) = -2*g - 3. Let p be y(-4). Let z be ((-14)/(-4))/((-4)/(-8)). Let w be (6/18)/(2/78). Solve -p*r + z = -w for r.
4
Let u = -6 + 7. Suppose g = 11 - u. Let j(f) = f + 11. Let t be j(-8). Solve -g = -t*s - 4 for s.
2
Let r(x) = -3*x**2 - 12*x + 1. Let n(q) = -16*q**2 + 6*q**2 - 37*q + 1 + 6 - 3. Let u(k) = -2*n(k) + 7*r(k). Let s be u(-7). Solve 0 = -z + 5*z + s for z.
-5
Suppose 0 = -2*g + 17 - 67. Let k = g - -27. Solve k*n = -n for n.
0
Suppose 10*m = 11*m - 2. Solve m*d - 4*d = 4 for d.
-2
Let p be 7/(-14)*(0 + -4). Suppose -5*d = -p*b - 6, d + 5 + 4 = -3*b. Solve -2*j - 1 - 3 = d for j.
-2
Let o = 11 + -4. Solve 0 = o*z - 3*z + 12 for z.
-3
Let s(l) = 2*l**3 - 3*l**2 - 3*l - 3. Let o be s(3). Solve 6*u = 3*u - o for u.
-5
Let j(k) = -2*k - 2. Let c be j(-2). Suppose c*b + 4*m = -16, -12 = 5*b - 0*m + 3*m. Solve -4*u + 0 - 4 = b for u.
-1
Let s(p) = -p**2 + 4*