p = n - 7. Let y = 11 - 7. Solve 0 = y*z - p - 5 for z.
2
Let y(p) = 3*p + 1. Let q be y(5). Let z be (-4)/(4/5) + 3. Let f be z*(-3)/3*2. Solve -f*x - q = -0*x for x.
-4
Suppose -z + 3*z + 5*m = 25, -3*m = -2*z + 1. Suppose -z*i + 0*i = 0. Solve 2*r + r = i for r.
0
Let f(k) = k**2 + 4*k + 3. Let j be f(-2). Let c(w) = -4*w**3 - w**2. Let n be c(j). Let x be (33/27 - 1)*9. Solve -7 - x = -n*v for v.
3
Let y(n) = -n**3 - 8*n**2 - 8*n - 7. Let l be y(-7). Solve -v = -l*v + 1 for v.
-1
Let n(l) = l. Let h(s) = 6*s - 15. Let q(c) = -h(c) + 5*n(c). Let p be q(15). Solve p = j - 2 + 4 for j.
-2
Suppose 0 = -2*d + 5*n - 25, -2*d - 5 = d - n. Let t be 8 - ((-24)/(-3))/2. Solve 8 = t*z - d for z.
2
Suppose -5*o - 1 = -r, -2*o = 4*r - 2 - 2. Let k be (-4)/14 + 18/14. Suppose 2*c + 19 = i, k = 3*c + 16. Solve f + 2*f + i = o for f.
-3
Suppose 2*k = -3*r + 10 - 38, -2*k + 3*r - 4 = 0. Let c = 15 + k. Solve c*l + 5 = 2*l for l.
-1
Suppose 0 = -3*p + 12, w = 2*w - 3*p. Solve -5*d + 3 = -w for d.
3
Let t = 1 + 3. Suppose -t*c - c = 0. Solve 0*o + 3*o + 12 = c for o.
-4
Suppose -2*u - 48 = -6*u. Solve 4*y - u = y for y.
4
Let p = -26 - -30. Solve -9 - 7 = -p*o for o.
4
Let t be 12 + -1 + (6 - 7). Suppose t = 5*x - 5. Solve -x*n - 2 = -5 for n.
1
Suppose 2*g = 3*n + 5*g - 6, 2*g - 4 = 2*n. Solve 4*m = -n*m for m.
0
Suppose -3*l = s - 17, 4*s + 3*l = 4*l + 16. Let k = s + 0. Suppose -4*x - 9 = 3*z, -k*z - 2*x = -1 + 2. Solve 3 + z = -o for o.
-4
Let t(a) = -4*a. Let w be t(3). Let d be 18/8 - (-3)/w. Solve 1 + d = -3*y for y.
-1
Suppose -11*t + 16*t = -3*i - 10, 2*i = -5*t - 10. Solve i = 3*c + c for c.
0
Let w be (11/(-44))/(-2 - 46/(-24)). Suppose m = 4*m. Solve m = 2*i + w*i - 15 for i.
3
Let g(n) = 2*n**2 + 2*n + 8. Let r be g(0). Solve 0 + r = 2*c for c.
4
Let n be 3 + (1 + 3 + -2 - 1). Solve -n*p = 3 - 11 for p.
2
Let q be 5/2*(-24)/(-15). Suppose 0 = -n - q*n + 45. Solve 4*l - n = 7 for l.
4
Let t be (-2)/(-7) + (-69)/21. Let f be 0/(-3 + (-6)/t). Solve -4*u + f*u = 12 for u.
-3
Let o be (-77)/(-5) - 2/5. Suppose 3*w + 4 = -5, -4*l + 2*w = -6. Solve 4*c - c + o = l for c.
-5
Let d = -53 - -87. Suppose -4 = 5*t - d. Let v(x) = x**2 - 5*x. Let g be v(5). Solve t*l - l = g for l.
0
Let x = 57 - 54. Solve 2 = y - x for y.
5
Let z be 9/15 + (-21)/35. Let b be (3/4)/((-1)/(-12)). Solve z = -5*i + 2*i + b for i.
3
Suppose 2*r - 9 - 3 = 0. Let n(a) = a**2 - 6*a. Let c be n(r). Suppose c*z = -z + 10. Solve -5*i + z = -0 for i.
2
Let h(p) = -p**3 - p**2 - p - 1. Let w be h(-2). Suppose 8 + 12 = s. Let m be (-4)/(-10)*s/8. Solve -w = j - m for j.
-4
Let s be (0/(-3) - 0)*1. Let h = 0 - s. Suppose h = d + 4*a, -4*a = -2*d + 10 + 14. Solve 3*b - d = -b for b.
2
Let g be (0 + 0)/(0 + (-3 - -5)). Solve -y + g = 1 for y.
-1
Let w = 73 - 61. Solve -3*f + w = -0 for f.
4
Suppose 3*t = -0*o - 2*o + 14, -5*t = -5*o + 10. Solve -f + o = -0*f for f.
4
Let b = -4 + 0. Let u be (-74)/(-4) - b/8. Solve 4 = -5*y + u for y.
3
Let u = -27 + 29. Solve u*n = -1 - 1 for n.
-1
Let b be (-3)/12 + 68/16. Solve 14 + 2 = b*p for p.
4
Let x be (-1 - 0) + 0 + 2. Let d = x + -1. Solve d*u = 5*u + 10 for u.
-2
Let b = -6 - -6. Solve 2*k - 4*k + 6 = b for k.
3
Let w(l) = 6*l**2 + 2*l + 2. Let m be w(-2). Suppose 2*r - 4*u - 36 = -0*r, 0 = r + 3*u - 8. Let y = m - r. Solve -17 = -5*z + y for z.
5
Let j(y) be the second derivative of -y**3/6 - y**2/2 + y. Let v be j(-8). Let g(z) = z**2 - 5*z - 10. Let w be g(v). Solve -3 = -w*d + 5 for d.
2
Suppose -5*v = -4*d + 29, 6 = 2*d + 4*v - 28. Solve -4*b = -3 + d for b.
-2
Let a be (15/9)/(1/3). Let s = 13 - a. Solve -4 = -s*o + 4*o for o.
1
Let b(x) = -x**3 - 2*x**2 + 4*x + 3. Let c be b(-3). Let j = c - -4. Solve 8 = j*o - 12 for o.
5
Suppose 2*m - 7 - 1 = 0. Suppose -m*s - s = -25. Solve s*f + 2 = 12 for f.
2
Let r = -25 + 27. Solve r*v = v - 2 for v.
-2
Let q = -7 - -13. Suppose 0 = i - q*i + 2*a + 5, 7 = -i + 2*a. Let r(t) = 2*t**2 - 8*t + 5. Let d be r(5). Solve -d = i*y - 0 for y.
-5
Suppose -2*r + r + 2*v + 5 = 0, 0 = 2*r + 5*v - 10. Solve 3*g - r - 4 = 0 for g.
3
Let p = 41 - 39. Solve p - 6 = 4*l for l.
-1
Suppose 0 = 3*z + 5*j - 6, 3*j - 11 = -2*z + 2*j. Solve -2 = -3*r + z for r.
3
Let w = 4 + -2. Let c = 5 + -1. Suppose n + n - c*d - 20 = 0, -4*d = 3*n. Solve -n*h = -2 - w for h.
1
Let b(r) be the first derivative of r**2/2 - 5*r - 2. Let o be b(10). Solve 0*w + 20 = o*w for w.
4
Suppose 2 = 4*m - 2. Suppose 0 = -k + m + 2. Solve -1 = c + k for c.
-4
Let o(d) = -d**3 - 5*d**2 + 5*d - 4. Let h be o(-6). Solve -3*u + h = -u for u.
1
Let v(o) = -o**2 - 8*o - 2. Let r(s) = -5 + 4 - 19*s + 17*s. Let a be r(3). Let j be v(a). Solve 0 = j*i - 3*i - 4 for i.
2
Let x be ((-8)/6)/(2/(-6)). Let h be ((-4)/(-14))/(3/42). Let g be (-2)/(-3) + h/(-6). Solve 2*u - x*u = g for u.
0
Let g = 105 + -90. Solve 5*y - g - 10 = 0 for y.
5
Let q(v) = v + 4. Let m be q(3). Solve 2 + m = -3*j for j.
-3
Let q = 5 + -1. Let w(p) = -p**3 + 5*p**2 + 6*p + 2. Let k be w(6). Suppose -k*d - 4 = -q*d. Solve -2*m + d = 4 for m.
-1
Suppose -5*z - 4 + 24 = 0. Solve -z = -f - 0 for f.
4
Suppose 0 = 2*s - 18 + 10. Solve h = -0*h + s for h.
4
Let f(b) = b + 10. Let t be f(-4). Solve -4*c - t - 6 = 0 for c.
-3
Let c be (7/(-2))/(1/(-2)). Let p = -9 + c. Let q be ((-8)/3)/(p/3). Solve 4*v - 4 = q for v.
2
Let o(m) = m**3 + 6*m**2 - 6*m + 10. Suppose 3*d + d = -2*f + 22, 0 = -4*d - 3*f + 17. Let a = 1 - d. Let l be o(a). Solve 2*y + l*y = 25 for y.
5
Suppose 0 = -3*l + 2 + 1. Let f be (-2 - -4) + l*3. Solve 0 = 4*k + f + 11 for k.
-4
Suppose l = 9 - 1. Suppose 0 = 3*i + k - 16, i - l = -k - 0*k. Solve 0*s + i*s = 8 for s.
2
Let g = -16 + 19. Suppose -2*r + 5*r + 2*o = 10, g*r = -3*o + 12. Solve -2*t = r*t + 12 for t.
-3
Let o(n) = -2*n**2 + 2. Let h be o(2). Let l = 44 + h. Let z be l/8 + 1/4. Solve -z*g + 3 = -2 for g.
1
Let q be (-18)/(-96)*-4*(1 - 13). Solve 0 = q*o - 10*o + 5 for o.
5
Let x be (-4)/(-3)*(-21)/(-14). Suppose -c = x*c - 24. Solve 0*u - c = -2*u for u.
4
Let q be (-35)/(-4) + 9/36. Let h be (4 - q)*6/(-10). Solve 0 = -a + h*a + 6 for a.
-3
Suppose 2*b = 4*f + 7*b - 41, 2*f = 2*b - 2. Solve f*z - 3 = 7*z for z.
-1
Let w = -5 - -8. Suppose -w*p = -12 - 3. Solve p*s + 23 = 8 for s.
-3
Suppose -4*w + 48 = -7*w. Let b be (10/6)/(1/(-6)). Let v = b - w. Solve 2*m - v*m - 16 = 0 for m.
-4
Let t = -28 - -46. Let j = 18 - t. Solve -5*h = -j*h for h.
0
Let r(q) = -q - 4. Let j(z) = -3. Let t(k) = -2. Let f(b) = -5*j(b) + 8*t(b). Let g(y) = -4*f(y) + r(y). Let s be g(-5). Solve s*l = 1 - 6 for l.
-1
Suppose -3*h - 15 = 5*a + 2*h, 5*h + 29 = 2*a. Solve q - 15 = -a*q for q.
5
Let s(w) = -w**2 + 9*w + 1. Let r be s(7). Suppose -a + r = 4*b - 14, -a = -5. Solve -d = -b*d + 15 for d.
3
Suppose -3*u + 2 = -4. Solve 2*j + u = -0 for j.
-1
Suppose 4*c + 2 = 3*c. Let t be 0 - -1 - 2 - c. Solve -t - 15 = -4*d for d.
4
Suppose 2*c - 14 = -4*g, -2*c - 17 + 56 = -g. Suppose 7 = -3*x + 2*j, 4*x + 3*j - c = 2*x. Solve -3 = n - x for n.
-2
Suppose -29 - 1 = -6*q. Solve 0*g - 25 = -q*g for g.
5
Let j be -3 + (-3 - -1) + 5. Let x be 6 + j*3/(-6). Let d = 0 + x. Solve 5*f + d = -4 for f.
-2
Suppose j + 3*n = 2*j - 6, 0 = 3*n + 3. Suppose -2*i - 2*k + 28 = 0, 0 = 2*i - 0*i - j*k - 3. Solve 3*v - 6*v - i = 0 for v.
-3
Let j(s) = s**3 + 9*s**2 + 7*s - 4. Let b be j(-8). Solve b*u - 16 = -0*u for u.
4
Let x be (0 - 2) + 32/8. Let r(y) = -y**2 - y + 3. Let d be r(0). Solve -d*p = -x*p for p.
0
Let j(d) = d**3 - 2*d + 1. Let s be j(2). Let l = -1 + s. Let t = 4 - l. Solve a + t*a = -2 for a.
-2
Suppose 2*k - 2*p - 4 = 0, -6 = -3*k - 5*p + 8. Solve k*g - 8 = 1 for g.
3
Let f = -7 + 16. Let i = f - 6. Solve -i*g = -5*g + 4 for g.
2
Let q = -48 - -50. Solve -h + q*h = 0 for h.
0
Suppose 0 = 4*b - 16, -6*b = -m - b - 20. Solve m = f - 5*f for f.
0
Let k(f) = f - 1. Let o be k(7). Solve -o*d = -3*d - 12 for d.
4
Let w be (81/(-36))/(3/(-8)). Let d be (4 + -6)*w/(-4). Solve d*p = -p + 16 for p.
4
Suppose 2*a + 103 = 4*w + a, 0 = 3*w + 3*a - 66. Let q(f) = -4*f**3 + f**2 - 2*f - 1. Let i be q(-1). Solve z + w = i*z for z.
5
Suppose 3*p = -0*p - 9. Let z = p + 5. Let r be (-6)/(-33) - 2/11. Solve 5*g - z*g - 3 = r for g.
1
Let z(t) = t**2 - 6*t - 1. Let s be z(5). Let d(b) = -7*b + 7. Let w(l) = 3*l - 