*q - 2. Let n be o(3). Suppose 4*y - n = -0. Solve -y = k - 6 for k.
5
Let s be (-4)/6*(-4 + 1). Solve 2*w + 20 = -s*w for w.
-5
Suppose -2*p + 14 = -2*y, -3 = y - 0. Solve c + 1 = p for c.
3
Let s(h) = -h**3 - 6*h**2 - 6*h + 6. Let m be s(-5). Suppose 3*u = -u + 212. Suppose -u + m = -3*w. Solve w = -5*n + 4 for n.
-2
Let t = -6 + 11. Suppose -4*p + 4*b - 12 = 0, 2*b + 0 = -t*p + 6. Solve p = -3*z - z - 20 for z.
-5
Let f(b) = b**3 + 10*b**2 - 11*b + 5. Let n be f(-11). Solve 0*a + n*a - 5 = 0 for a.
1
Suppose 2*a + 17 = x + 4, 0 = 3*x + 2*a + 1. Solve x*v + v = -8 for v.
-2
Suppose 0 = -c - 3, 3 = -2*h + 3*h + c. Solve 4*x - 10 = h for x.
4
Suppose 0 = -i - 4 + 1. Let n = i - -6. Solve -n = 3*k - 12 for k.
3
Let d(l) = -l**2 - 18*l - 76. Let n be d(-9). Solve -20 = -5*z + n for z.
5
Suppose -2*u + 7 = -17. Suppose -l + u = l. Solve l = 3*w - w for w.
3
Let k(d) = -3*d**2 + 3*d - 9. Let j(t) = -2*t**2 + t - 4. Let w(m) = 5*j(m) - 3*k(m). Let h be w(-5). Solve -3*u + 10 = h*u for u.
2
Let m(z) = -2*z**2 + z + 2. Let i be m(0). Solve -3*j - 25 = i*j for j.
-5
Let s(r) = r**2 + 2*r + 3. Suppose 2*u = 2*k - 0*u + 2, -k - 5*u = 13. Let h be s(k). Let o = 7 - h. Solve 0 + o = -y for y.
-1
Suppose -5*x - 1 + 41 = 5*f, -2*x - f = -11. Suppose x*u + 2*u + 50 = 0. Let i be (-4)/10 - u/25. Solve c + i = 5 for c.
5
Let q = 10 - 6. Suppose -3 = -3*i + 2*i - q*t, i = 2*t - 3. Let f = 1 + i. Solve f = -2*d - 3 + 7 for d.
2
Let f be 7 + -3*(4 - 3). Suppose -3*o = -2*o - f, -5*i - 3*o = -92. Solve -i = -5*b - 1 for b.
3
Let z(d) = 2*d + 11. Let i be z(7). Solve -2*t - i = -7*t for t.
5
Let x(l) = -3*l**3 - 17*l**2 + 7*l + 6. Let j be x(-6). Solve 2*z - z + 4 = j for z.
-4
Suppose -6*o + 2*o = -12. Let t(d) = 3*d - 3. Let i be t(2). Let a = i + -3. Solve -o*n + 4*n = a for n.
0
Let d(y) = -3 - 4*y + y**2 + y - 2*y. Let z(p) = -6*p**3 + p**2 - 1. Let a be z(-1). Let u be d(a). Solve 2 = -s + u for s.
1
Let a(d) = d**3 + 4*d**2 + d - 3. Let p be a(-3). Suppose 2*t - t = p. Solve l + 8 = -t*l for l.
-2
Suppose -4*p = -10 - 6. Suppose c - 2*c = -p. Suppose 4 + 4 = c*t. Solve -t*a - 9 = -5*a for a.
3
Let m be (2 + -1)/(5/175). Suppose 2*g = -4*d + 6, 4*g = 3*d + m + 10. Solve -g = -5*a + 16 for a.
5
Let a = -493 - -495. Suppose -15 = 3*o, -2*f = o - 0*o + 1. Solve 0 = f*g + a*g + 16 for g.
-4
Let i = 4 - 4. Suppose 3*f + 0*f - 12 = i. Suppose 0 = 2*j - 2*n - 16, -4*j - f*n = -7*n - 28. Solve 2 = -2*b - j for b.
-3
Let k = 0 - -4. Let l(b) = b**2 - 3*b - 2. Let w be l(k). Solve 0 = -2*t - 0*t + w for t.
1
Suppose 4 = 3*g + 2*f - f, 2*g - f = 1. Solve 9 = 2*u + g for u.
4
Let g be -2 - (2 + -2) - -8. Let r(d) = d**2 - 4*d - 6. Let f be r(g). Solve 4 = 5*h - f for h.
2
Let k(c) = -c**2 - 7*c - 8. Let j be k(-6). Let y be 12/j*(-1)/2. Let m = y + 1. Solve -5*d + m = -21 for d.
5
Suppose -5*f + 3*k - 6 + 1 = 0, 5*f - 2*k = 0. Suppose 9 = r - f*y - 8, -3*r - y + 23 = 0. Let t be 2 - (0 - -1)*-19. Solve -3*s - r + t = 0 for s.
4
Let k(o) = o**3 + o**2 + o - 5. Let x be k(0). Let c be (2*x)/(-3 - -1). Solve -c*p - 2 = -22 for p.
4
Let b be (-4)/10*(-615)/3. Let n = b + -59. Suppose 3*s - 6 = h - n, -20 = 5*s. Solve -2*r = 1 - h for r.
2
Suppose 25*g = 20*g + 15. Solve -r + g = -2 for r.
5
Let d = -10 + 12. Suppose 0 = d*k + k - r - 17, k + 5 = -5*r. Solve 4*a - 15 - k = 0 for a.
5
Let r be 2/8 - (45/20 + -3). Solve -3*z + r = -14 for z.
5
Let r(l) = -10*l + 20. Let g be r(2). Solve 3 + g = a for a.
3
Suppose 3*j + 3*o = 6, -4*j - 2*o + 3 + 5 = 0. Let q be j*(-1)/(-2) - -12. Solve q - 5 = -2*s for s.
-4
Let i = 4 - 4. Suppose i = -3*n + 4*c - 12, 0*c + 2*c - 6 = 0. Solve n = 2*u - 12 + 4 for u.
4
Suppose -1 = 2*r - 7. Solve 2*b = r*b - 3 for b.
3
Let t(m) = m**2 - 5*m - 4. Let o be t(6). Suppose n = -2*n - o*a + 56, 2*a - 72 = -4*n. Let i = 22 - n. Solve -20 = -x + i*x for x.
-4
Let i be (16 - 1)*(-6)/(-18). Solve -3 - 2 = -i*r for r.
1
Suppose -x = -i + 4, 0*x + 12 = -3*x - i. Let m(z) = -z**2 - 4*z + 3. Let o be m(x). Suppose -o = -3*w + 2*w. Solve -w = -2*h - 7 for h.
-2
Let d(h) be the first derivative of -h**2/2 + 4*h + 1. Let o be d(4). Solve o*q + 5 = -q for q.
-5
Suppose 6 + 4 = -r. Let w = 10 + r. Solve -q - 3*q + 16 = w for q.
4
Suppose -161 = -19*g + 124. Solve 5*k - g = 2*k for k.
5
Let l(m) be the first derivative of -m**4/24 - m**3/3 + m**2/2 - 1. Let h(r) be the second derivative of l(r). Let p be h(-2). Solve 15 = 3*w - p for w.
5
Let q(s) = -3*s**2 - 7*s + 2. Let d(n) = 3*n**2 + 6*n - 1. Let l(w) = 4*d(w) + 3*q(w). Let j be l(-2). Solve j*b = 3*b for b.
0
Suppose -6*k + 16 = -2*k. Solve p = k*p + 6 for p.
-2
Suppose -17*d - 23*d + 80 = 0. Let v be (-2 - -2)/(-1 + 3). Suppose j + 4*u + 2 = -2, v = -5*j + u + 1. Solve j = 4*w - d*w - 8 for w.
4
Let z be 12/66 + (-18)/(-22). Solve 16 = -5*a + z for a.
-3
Suppose 4*j = 3*j. Suppose -5*q - 2*g + 13 = j, 2*q = -q - g + 8. Let a(w) = 3*w - 3. Let v be a(3). Solve -3 - v = q*h for h.
-3
Suppose -2*y = -m - 7, -6 = m + 2*m - 3*y. Let l(z) = -z**2 + 5*z - 5. Let i be l(4). Let d = i + m. Solve 0*n = -n - d for n.
-2
Let g = -122 + 126. Solve 12*u = 11*u + g for u.
4
Suppose -5*x + 2 = 3*p - 17, 0 = -5*p - 5*x + 25. Solve p*f - 4*f + 1 = 0 for f.
1
Let b(k) = 8*k - 4. Let r be b(3). Solve 0*c = -5*c + r for c.
4
Suppose 4 = -5*m + 7*m. Suppose m = 4*u - 6. Solve 3*z + u = -10 for z.
-4
Suppose 2*p + 25 - 5 = 4*n, 4*n + 4*p = -4. Solve n*m - 4 = -m for m.
1
Suppose 4*p + 7 = 23. Let d = 74 - 73. Let x = p - d. Solve -3 = 3*t + x for t.
-2
Let w be -4 + 3 - (-3 - (2 + -2)). Solve -w*i = -i for i.
0
Let q be (-10)/40 + 74/8. Solve a - 4*a - q = 0 for a.
-3
Let b = -152 + 158. Suppose -75 = -3*l - 2*l. Let q = l + -11. Solve q*d + b = d for d.
-2
Let c be 5 + -6 + (0 - -4) + 1. Let p(o) = -o**3 - 3. Let r be p(0). Let q = r + 3. Solve q = 3*x + c + 8 for x.
-4
Let s(w) = -w - 6. Let l be s(-11). Suppose -2*i - l*g = 2, -4 = -0*i - 2*i - 2*g. Solve i*y - 14 = -6 for y.
2
Suppose 5*c - 4 = 51. Let g(q) = -q + 8. Let x be g(4). Solve -3*a + x = -c for a.
5
Let u(i) = -i**2 - 9*i - 10. Let q be u(-7). Suppose 5*d + q*o - 190 = 0, 152 = 4*d - o - 0*o. Solve -5*c = -13 + d for c.
-5
Let x be (-2)/(-4) + (-1)/2. Solve x = 3*a - 5*a for a.
0
Suppose -5*s + 5 + 5 = 0. Solve 0 = s*n - n + 3 for n.
-3
Let y(w) = w**3 - 6*w**2 + 7*w - 7. Suppose -24 = -4*p + 2*d - d, 2*p - 4*d = 26. Let o be y(p). Let x be 10 + (2 - 3) - -3. Solve 0*a + x = o*a for a.
4
Let h be 6/(4 - (-2 - -4)). Solve -h*x + 7 = -8 for x.
5
Let b = 6 + 14. Suppose -2*q = -0*q - b. Solve u = -4*u - q for u.
-2
Let o(u) = u**3 - 6*u**2 + 5*u + 7. Let r be o(5). Solve -4 = r*m - 3*m for m.
-1
Let g be (3 + 1)/(-5 - -6). Solve 5 = g*p - 15 for p.
5
Let g be 12/10*(-40)/(-12). Let y be 2/(14/g - 3). Solve 2 = -y*f - 6 for f.
-2
Let r be -2*(-4)/((-20)/(-5)). Let x(d) = d - 2. Let v be x(r). Suppose -p + 3 + 8 = 2*k, -3*k - 5*p = -34. Solve v + 3 = k*w for w.
1
Let j(b) = b**3 + 10*b**2 - b - 4. Let m be j(-10). Suppose -l = 2*l - 9. Let u(d) = d**3 + 5*d**2 + 3*d + 2. Let a be u(-4). Solve -a*g = -l*g - m for g.
2
Let s be 0*-2*(-2)/8. Suppose -v - 23 = -7*d + 4*d, -2*v - 4 = s. Solve d*q - 4 = 3*q for q.
1
Let t be 3 + 4*1/2. Suppose -2*h + t*s = 2*s - 6, 3*s + 6 = 0. Let x be (h - 2)/(2/(-15)). Solve 3*p = 6*p - x for p.
5
Suppose -5*n = l - 7, -2*l - 3*n = -3*l + 7. Solve l*q - 3*q = 20 for q.
5
Let q(b) = 6*b - 16. Let g be q(4). Solve -9 = -g*h + 5*h for h.
3
Let a(r) = 2*r**3 - 2*r**2 + 1. Let b be a(1). Let y be 10*(-2)/4*b. Let v = y + 7. Solve -4*t = -v*t for t.
0
Let n(k) = -k**3 - 8*k**2 - 8*k - 7. Let q be n(-7). Suppose q = -3*b + 2*x, 2*b - 6*b - x = 0. Solve b = 2*z - 7 - 3 for z.
5
Let a be -2*((-39)/(-2))/(-3). Let m = 5 + -3. Suppose 3 + 2 = 5*d - m*b, 0 = 4*d + b - 17. Solve -a = 2*p - d for p.
-5
Suppose 0 = -0*v + 5*v - 5*d - 10, 3*v + 3*d - 12 = 0. Suppose 7 - 4 = 3*m. Let z = m + v. Solve -6*u = -z*u for u.
0
Suppose -2*u - 4 = -4*u. Solve -4 = u*i - 2 for i.
-1
Let a = 8 - 6. Suppose -2*o - a*o = 0. Solve -i - 3*i - 8 = o for i.
-2
Let p = -1 + 1. Let u(s) = -5*s - 5. Let f be u(-5). Suppose -3*z - f = -2*g, g - 2*z - 12 = -0*g. Solve v + g - 1 = p for v.
-3
Let q be 0 + 0 - (-4 - -13). Let o = 9 + q. Suppose -12 = -4*c - o*c. Solve -2 = -i 