r q.
-2
Let z(h) = -h**2 - 7*h - 3 + 2*h + 2. Let s be (-2)/(-6)*2*-6. Let f be z(s). Solve 3*u = -f*b - 18, -1 = b - u - 5 for b.
-1
Suppose -9*x = -8*x - 5. Solve 3*n = -5*z - 37, 0 = x*n - 7*n + z - 3 for n.
-4
Let y(j) = -8*j + 45. Let r be y(5). Solve -r*u + 3 = -4*k, -u - 4 - 2 = -3*k for k.
3
Let s(v) = v**2 - 9*v + 10. Let f be s(8). Solve -f*n + 14 = -2*q, 6*n = 2*n - 2*q + 10 for n.
4
Let l be 146/(-6) - 1/(-3). Let i = -12 - l. Solve t = -f + 6, -2 = t + 5*f - i for t.
5
Let v be (-2)/9 - 8/(-36). Suppose v = -n + 3. Solve 11 = 4*q - 3*z, -n*q = 2*z + 15 - 2 for q.
-1
Suppose 91 = 5*k + 76. Let a(y) = y**3 + 5*y**2 - y - 4. Let i be a(-5). Solve -4*o + 12 = -f, i = -4*o + 5*f - k for o.
4
Let s(o) = o**3 + 7*o**2 - 2*o + 1. Let n be s(-7). Solve l + x + 9 = -l, -l - 4*x = n for l.
-3
Let o = 0 - -8. Suppose 0 = t - o - 0. Solve 0 = -3*d - j - j + t, -3*d = -3*j - 3 for d.
2
Let r be (7/(-14))/(2/8). Let w be (1/3)/(r/(-12)). Solve -4*z - w*s - 4 = 0, 3*z - 3*s + 4 = -z for z.
-1
Let d(o) = -o**2 + 6*o + 9. Let u be d(7). Solve u*v + r = -12, 5*r - 4 = -14 for v.
-5
Suppose 2*c - 5*c - 9 = 0. Let s = 1 - c. Solve 0 = -0*i + i - 4, 2*i = s*h + 20 for h.
-3
Suppose -3*x = 7 - 1, 5*x + 60 = 5*g. Solve -5*w - 5*n - g = 0, -w = -5*w - 2*n - 8 for w.
-2
Suppose -4 = -2*f - 2*b, 5*b + 23 = 8. Solve 5*l = f*i + 5, -l + 1 = -5*i - 20 for i.
-5
Let g = 15 - 14. Let c be (-3)/(18/(-4))*18. Let u be 9/c*g*4. Solve -5*k - 7 = u, z - k - 2 = 0 for z.
0
Suppose 5*a + 7 = 32. Solve o + 3 = -a*c + 3*o, -4*c + 5*o = -1 for c.
-1
Let k = -3 + 2. Let m = k + 4. Suppose m*f - 14 = 1. Solve -2*b = 3*i - 4*b, -2*i = -3*b + f for i.
2
Let o(b) = b**3 + 2*b**2 + b + 2. Let h be o(-2). Let g(f) = -f**3 - 5*f + h*f**3 + 2*f - 3*f**2. Let j be g(-3). Solve 2*z + 6 = p - 3, z + j = 5*p for p.
1
Let v = -16 - -11. Let h = 0 + v. Let o = 11 + h. Solve t = -5*u + 10, -t = 2*u - o + 2 for t.
0
Let r(p) be the first derivative of -p**3/3 + p**2 + p - 2. Let b be r(-1). Let c be b/(-2) + -1 + 24. Solve -n + 1 = 5*h - 23, -2*h = 4*n - c for n.
4
Let v = -20 + 24. Solve -5*u + 2*c - 19 = 0, u - v*c - 7 + 0 = 0 for u.
-5
Let q = 7 - 4. Solve c = q*b - 1, 2*b - 5*b + 3*c + 9 = 0 for b.
-1
Suppose -87 + 7 = -16*x. Solve m = -2*j + 13, -x*j - m + 10 = -6*m for j.
5
Let p = 67 - 54. Solve -2*s + 2 = 0, p = 3*r - r + 3*s for r.
5
Suppose 7*o - 13 = 1. Solve -4*y + m = 20, 0 = 2*y + 3*m - 2 - o for y.
-4
Let s = -20 + 23. Solve p - s*t = -2*p - 27, -4*t + 21 = -p for p.
-5
Let u(s) = s**3 - 5*s**2 - s + 2. Let n be u(5). Let f be 0 + -2 + 9 + n. Solve -3*t = f*i + 7, 4*t - 2 = 2*t + 4*i for t.
-1
Suppose -d = -1 - 1. Suppose -i + o + 4 = 0, o - 5 = -d. Solve -j - 5 = 3*n, -3*n = -0*j - 5*j - i for j.
-2
Suppose 3*c + 0*c + 17 = u, 16 = 3*u - 2*c. Solve q + 7 = 5*g - 3, 5*q - u = -g for g.
2
Suppose 0 = -t + 2*t - 4. Suppose 0*h + 8 = t*h. Let y = 6 - 3. Solve -22 = 2*o - 5*p, 0*o - y*p = -h*o - 14 for o.
-1
Let c be (-27)/6*2/(-3). Solve -4*f = 2*s - 4*s, c*s + 5 = f for f.
-1
Suppose 0 = -4*w + 22 - 6. Suppose -2*f + 6 = 3*j, -4*f = -w*j + f + 31. Solve -4*n - 2*r = 0, -5*n - 8*r = -j*r for n.
0
Let z be ((-4)/6)/1*-6. Let c(o) = o**2 + 9*o + 22. Let g be c(-5). Solve 2*i - 18 = -4*b, 2*i + 0*b - z*b = g for i.
5
Let l = -188 + 193. Let j = -7 + 11. Let n = -1 + j. Solve -5*d = n*k + 10 + 2, 5*d + l*k + 10 = 0 for d.
-3
Let q be 12/2 - (3 + -2). Let a be 23/6 - (-2)/12. Solve a*z = 20, z + 19 = m + q*z for m.
-1
Suppose 10*n = 12*n - 4. Solve 0 = -2*l - 3*c + 12, -n*l + 5*c = 3*l - 5 for l.
3
Let r = 10 + -8. Suppose 3*s - 11 = -2*k + k, k = 2*s - 4. Suppose -p - 3*p = 5*p. Solve -5*c + r*y = -31, s*y + p*y + 19 = 2*c for c.
5
Suppose 8 = 4*h - 0. Suppose -3*u + 2*b + h = 4, 0 = -3*u + 5*b - 5. Solve k - 3*a = -2*k - 3, -2*k - 2*a - 6 = u for k.
-2
Let f be 4/8*2 - (0 + -3). Solve x - f*x + 15 = 0, -2*h - 5*x = -27 for h.
1
Let k be 47/(-9) - (-2)/9. Let g = k + 14. Solve 4*h = 2*w - w + g, 2*w = -4*h - 6 for w.
-5
Let t(n) = 6*n**2 + n + 3. Let h be t(-2). Solve 0 = 5*q + 5*s - h, -4*q - 21 = -5*s + 4 for q.
0
Let q(g) = 6*g - 2. Let y be q(1). Suppose 2*p - 4*p = -y. Solve p*x + 3*c = -6, -2*c = -3*x - c + 2 for x.
0
Suppose -k + 4*x - 22 = 0, -7 = -x - 2. Let r be 2*7 + -2 + k. Let z = r + -7. Solve -z*t + l = 0, -2*t + 2*l = -6*t + 10 for t.
1
Let r = 3 + 2. Let g(w) = -w**2 + 7*w + 4. Let j be g(6). Suppose -r*y - 4*d = -17 + 4, 0 = 5*y + 5*d - j. Solve -3*z - l = 0, y*z - 25 = 5*l - 5 for z.
1
Suppose -5*z - d = 2*d - 6, -4*z = -2*d - 18. Let o = z - -2. Suppose 0 = -5*u - 2*c - 0*c + 7, -u - 17 = o*c. Solve 2*v + 2*k = -1 - 1, 17 = -v + u*k for v.
-5
Let r = -1 - -2. Let c be 1*(1 - -1 - r). Let n be (1 + -2)*c + 6. Solve 3 = 5*d + 4*x - 2, n*d + x + 10 = 0 for d.
-3
Let s = 4 - 2. Let i = 4 - s. Suppose 3*g + i*o + 2*o - 31 = 0, 4*g + 3*o - 32 = 0. Solve m - 24 = -5*w, 5*m - 20 = -0*m - g*w for m.
-1
Let w(v) = -v**3 - 14*v**2 - 14*v - 5. Let x be w(-13). Solve -a + 5*a = -j - 2, -4*j - x = 3*a for a.
0
Suppose 3*q + 2*q - 5 = 0. Suppose 3 - q = b. Let t = b + 0. Solve -t*v + 15 = -5*f - 9, 0 = 3*f - 4*v + 20 for f.
-4
Let x = 7 + -3. Suppose -3*v = -2*h - h + 60, 3*v = -5*h + 92. Solve -u + 2*r - 6*r - h = 0, 0 = x*u - 3*r for u.
-3
Suppose 0 = 5*b - 3*z - 11, -z - 7 = -3*b + 2. Suppose -4*w + 3*j + 4 + 9 = 0, -4*j = -b*w + 12. Solve d + 0*d + 9 = w*a, 12 = 4*a - 4*d for a.
2
Let b(y) be the second derivative of y**4/12 + y**3/6 + 3*y**2/2 + 4*y. Let t be b(0). Solve 0 = 3*w + t*f - 12 - 3, -w + 17 = 4*f for w.
1
Let u be ((-3)/6)/1*0. Solve 3*l + 7 = -5*b, u = 5*b - 3 + 13 for l.
1
Let r(g) = g - 2. Let n be r(-9). Let c = 14 + n. Solve 0 = -m + c, -v + 6 - 1 = 2*m for v.
-1
Suppose 0 = -2*p + 4*p - 12. Suppose 0 = 5*m - z + 14, 5*m = 2*z - 3*z - 16. Let b be (p/m - -2)/(-2). Solve 3*j = 3*s + 18, -3*s - 2*j - 13 = -b*s for s.
-5
Let s = 8 + -3. Solve -8 = -2*t, -s*h + 3*t - 2 = -0*h for h.
2
Let q be -1*(0 + 0/(-1)). Suppose 7 + 5 = 3*n. Solve 0 = -3*h - 0*c + n*c, h + 5*c = q for h.
0
Let q = -8 - -11. Let h = 5 - -1. Suppose h*l = -0*l + 6. Solve 0 = 2*p - 10, -4*w - q*p + l - 6 = 0 for w.
-5
Let i(s) = -s**2 - s + 23. Let u be i(0). Solve -6*r + 3 = 2*y - r, 3*r + u = 5*y for y.
4
Let i be 2*2/(-12)*-15. Solve i = p - h, -5*p - 2*h = -10 - 15 for p.
5
Let i be -1*3/9*-15. Suppose -7*u = -i*u. Solve 0 = -3*r - 4*t - u*t, 0 = 4*t for r.
0
Suppose -4*k = 2 + 14. Let b = k + 11. Solve -2*i - 15 = -5*j, -b*i + 4*i = -j + 3 for j.
3
Let u(p) = p**3 - 17*p**2 + 14*p + 35. Let t be u(16). Solve -6*k = 4*c - k - 12, t*c + 2*k = 9 for c.
3
Suppose 3*h = -h - 12, 4*a - 3*h - 9 = 0. Suppose -3*w + 20 = w. Suppose -w*s + 15 = -a. Solve -5*o + 2*l = -20, s*o - 3*l - 19 = 2 for o.
2
Let k be 4 + 10/2 + -4. Suppose 2*b + k*s - 3*s + 2 = 0, b + 5 = -5*s. Solve b = -2*p + 6*p - 5*h + 35, 0 = p - 5*h + 20 for p.
-5
Let o(k) = -2*k - 23. Let s be o(-14). Solve 2*d + s = -2*t + 5*d, -2*d = -t - 3 for t.
-1
Let f(r) = r**3 - 5*r**2 - 4*r - 7. Let g be f(6). Suppose -4*z + 3 = -g. Solve 3*m = -z*i + 7, 5*i - 3*i + 23 = 3*m for i.
-4
Suppose -2*z + 4*z - 228 = 0. Let p = z + -49. Suppose f = -4*f + p. Solve 0 = 2*y - 2, u + 2*u - f = -y for u.
4
Let b(l) be the first derivative of -9*l**2/2 + l - 1. Let j be b(-1). Solve 5*z + 4*g = z - 24, 0 = -5*z - g - j for z.
-1
Let c be 8/(-20) + (-17)/(-5). Suppose -31 - 23 = -c*m. Suppose -2*b = -0 - 4. Solve -m = 4*s + 5*x, -4*s - 4 = -b*x - 0 for s.
-2
Let k(f) = f**3 + 6*f**2 - f - 1. Let u be k(-6). Let s = -2 - 8. Let v(c) = c**3 + 9*c**2 - 9*c + 10. Let m be v(s). Solve z + m = -2, 5*z + 35 = u*x for x.
5
Let k = -4 - -6. Suppose -6 + 16 = 5*f. Suppose -f*a + 48 = -0*a. Solve 4*v = x + 16, x = -2*v - k*v + a for v.
5
Let b(x) = 8*x**3 + 2*x - 1. Let j be b(1). Suppose 0 = -0*d + 3*d - j. Solve n = 6*n + 2*s - 9, -d*s = -4*n + 21 for n.
3
Let h be 12/(-4)*(-26)/6. Suppose 0 = -w - w + 4*y - 16, -3*y = -w - h. Suppose 10 = -0*i + w*i. Solve 4*j + u = 15, i*j - 6 = 2*u + u for j.
3
Let z be 3 - (0 + 1 + -6). Let n be 4/14*(7 + 0). Solve -n*t = -3*k + 16, -2*t + k = 2*k + z for t.
-5
Let r(t) = -3*t**2 - 3 - t + 2 - t**2 - 2*t**3 - 2*t. Let s be r(-2). Solve 6 = -s*a - 2*n, 4*a + n + 0 = -6 for a.
-2
Let j be (-2)/(-3 + 53/18). Suppose j