 Let b be n(3). Let a be 2/5 + 4/(-10). Solve a = -4*u - 1 - b for u.
-1
Let k = 7 - 7. Let x(l) = l + 3. Let c be x(k). Suppose 0 = -0*q + q. Solve -2*s + c*s = q for s.
0
Let t(q) be the second derivative of -q**5/20 + q**4/2 - 2*q**3/3 + 2*q. Suppose -3*d + 22 = 7. Let h be t(d). Solve 2*k - h = k for k.
5
Let g = -74 + 74. Solve -5*m + 4*m + 5 = g for m.
5
Suppose -2*s - 6 = -4. Let a be (-203)/(-21) + s/(-3). Solve -3*w = -a + 1 for w.
3
Let i be -1 + 28 - 3 - 2. Let u = i - 22. Solve u = -g + 6*g + 20 for g.
-4
Suppose x + 3*x = -4. Let v = 3 + x. Solve 2*u - 4 = v for u.
3
Suppose -5*s + 5*u = 31 + 29, 3*u - 22 = s. Let g = -4 - s. Let b be 10/(-3)*g/(-2). Solve -b*a - 5 = -0 for a.
-1
Let n(x) = x**3 - 7*x**2 + 6. Let u be n(7). Let t = 6 - u. Solve 25 = -t*v + 5*v for v.
5
Let i be (-18)/(-14) - (-8)/(-28). Suppose i = -4*x + 29. Solve -2*q = -x*q for q.
0
Let f(c) be the second derivative of -c**5/20 - c**4/12 + c**3/6 + c**2/2 - 2*c. Let l be f(0). Suppose 7 = 2*z + l. Solve j = -z*j for j.
0
Let v = -2 + -2. Let p be v/12 - (-8)/(-3). Let q = 5 + p. Solve 4 = -q*c + 4*c for c.
2
Let w(r) = r**3 + 7*r**2 + 8*r + 12. Let v be w(-6). Solve x + 3*x = v for x.
0
Suppose -3*d - 9 = 0, -t - 4*d = 13 - 4. Let m be 21/t + 1 - 2. Solve 2*b + 2 = m for b.
2
Let c be (-8)/(-2)*1/2. Solve -4*s = -2 - c for s.
1
Let d(b) = -b**3 - 7*b**2 + 3. Let v be d(-7). Suppose 3 = v*x - 2*x. Suppose 2*j = x*w - 5 - 7, 3*j - 16 = -4*w. Solve j = 3*r - 2*r + 3 for r.
-3
Suppose 0 = -2*m - 5*c - 10, -2*m - c = -7 + 1. Solve 3*b + 20 - m = 0 for b.
-5
Suppose 0 = -3*h + 2*t - 10, 3*h + 1 = -2*t + 11. Solve h = 3*o + 5 + 10 for o.
-5
Let b be 3*(2 + (-1 - -1)/3). Solve 2*z + 4 = -b for z.
-5
Suppose -3*o + 2*o = -3. Solve 0 = o*h + 9 - 3 for h.
-2
Let d be 3 + 3/(-12)*0. Solve d*s = -2*s for s.
0
Let i be 1*(-3 - -2 - -1). Solve i*j = -j - 5 for j.
-5
Suppose 0 = -4*p + p + 15, 3*p = -4*y + 27. Solve 3 = y*b - 4*b for b.
-3
Let i be (15/(-6))/((-1)/2). Suppose f = -4 + i. Solve -f = -3*b - 7 for b.
-2
Let l be 4/(-6) - 80/15. Let n = -1 - l. Solve -n*o + 6*o - 1 = 0 for o.
1
Let v = 52 + -52. Solve -5*i + 7*i + 8 = v for i.
-4
Suppose 0 = -w - 1 + 3. Suppose -5*i + 2*n = -2, n + 1 = 6*i - 7*i. Solve -3*t - w*t - 15 = i for t.
-3
Let l(j) = 2*j - 9. Let n be l(7). Suppose 20 = -a + n*a. Solve d = -4*d - a for d.
-1
Let p = 1 - 1. Suppose y - 2 + 0 = p. Suppose 4*q + y*c - 6 = -0*q, 6 = q - c. Solve 0 = -q*w + 7*w for w.
0
Let z(c) = 2*c**2 + 4*c - 1. Let p be z(-4). Solve 0 = 4*y - 7*y - p for y.
-5
Suppose 4*d = -h - 11, -2*d - 7 + 19 = 4*h. Suppose 3*g + 2*g = 0. Suppose g*i = 5*i - 20. Solve h*b + 16 = -i for b.
-4
Let g be (-1)/(-1)*16 - 1. Let j(b) = -b**2 + 2*b - 4. Let w be j(3). Let x = w + g. Solve -4*v + 12 = -x*v for v.
-3
Let s = 10 + -3. Solve 2*o = s*o - 15 for o.
3
Let z = 672 + -667. Suppose -2*p + 7 + 43 = 0. Solve -z*r + 0 - p = 0 for r.
-5
Suppose 7*h = 8 + 20. Solve 17 = h*u - 3 for u.
5
Let r(i) = -2*i**2 + 7*i - 3. Let p be r(3). Suppose 2*d + d = 18. Solve p = -d*m + m for m.
0
Suppose -3*i - 2 = -s, -3*i + 4*s - 22 = -s. Let d be 0/i*4/(-8). Solve -4*w + 3*w + 4 = d for w.
4
Let t = -16 + 10. Let u be (-9)/t*8/6. Solve -4 = 2*w - u for w.
-1
Let o be (6/9)/((-1)/(-6)). Suppose -3*w + 6 = -9, 3*h = -o*w + 32. Suppose t + 2 = -h*y - 3, 4*y = 5*t + 25. Solve y = -2*z + 4*z - 10 for z.
5
Let u(a) = -a + 3. Let w be u(3). Let c = 11 + 4. Solve 5*l = -w*l - c for l.
-3
Suppose 11*t = 14*t - 12. Let v(d) = d**2 + 3*d + 3. Let o be v(-2). Solve c + t = -o for c.
-5
Let z be 2/6 + 11/(-33). Solve z = 5*g - 17 + 2 for g.
3
Let v be (16/(-6) + 2)*3. Let g be 2/7 - (-462)/98. Let z = v + g. Solve -z*s + 5*s = -6 for s.
-3
Let g(p) = p - 10. Let y be g(9). Let j be 15/9 - y/3. Solve 2*u + j*u = -8 for u.
-2
Let v be 14/(-3) + 2/3. Let w be v/14 + 16/7. Suppose -4*n + 10 = 5*q, -3*q = n + w*n - 9. Solve -n = -0*s - s for s.
5
Let v(b) = b**3 + 8*b**2 + 6*b - 5. Let g be v(-7). Suppose -g*o - 42 = o. Let t be 7/o + 1/2. Solve -r = -5 - t for r.
5
Let y = -56 - -64. Solve y*a = 12*a for a.
0
Let a = -1 - 0. Let h be a/4 + (-31)/4. Let r(v) = -3*v - 7. Let f be r(h). Solve f + 3 = -4*j for j.
-5
Let v(i) be the first derivative of -3*i**2/2 + i - 1. Let s be v(2). Let y = -2 - s. Solve y = -3*j - 6 for j.
-3
Let h(z) be the third derivative of -z**4/24 + 7*z**3/6 + 2*z**2. Let k be h(5). Let y be (-37)/(-7) + 8/(-28). Solve -y = -3*f - k*f for f.
1
Let u be (-20)/(-30)*9/2. Solve 0 = -0*s + u*s + 12 for s.
-4
Let x = -7 - 5. Let m = -4 - x. Solve -2*r + 4*r = m for r.
4
Let r(w) = -w - 2. Let s be r(-5). Solve -s = -3*c + 9 for c.
4
Let h(c) = -c**3 + 6*c**2 - 5*c. Let x be h(5). Suppose x = -4*a + 5*l - 25, 5*a - 3*l + 10 = -l. Suppose 0*w + 2*w = a. Solve -3*j + 5 - 2 = w for j.
1
Let b(q) = -2*q + 4. Let o be b(0). Let s(k) = k + 3. Let a be s(0). Solve -2 = -a*l + o for l.
2
Let r = 7 + -5. Let w be 6/(-30) + 16/5. Suppose 9 = w*d - 18. Solve -r*n + 3 = d for n.
-3
Let o = 43 - 38. Solve 17 = 4*h + o for h.
3
Let b = -63 + 66. Solve -3*p + 3 = -b for p.
2
Suppose 0 = t + 2*t. Suppose -3*b = -2*x + 5*x + 6, t = -2*x + 3*b + 6. Solve x = -5*s + 1 - 6 for s.
-1
Suppose l + 2*g = 18, -2*g = 2*l - 4*g - 30. Solve -6*z + 2*z - l = 0 for z.
-4
Let y(c) = -c**3 + 4*c**2 - 2*c - 1. Let z be y(2). Suppose 3*i = 5*s + 9 + 1, 5*i - 4*s = 8. Let w = z + i. Solve -w*r - 2 = 1 for r.
-1
Suppose 0*g = 4*g - 40. Let a be (10/4)/(1/g). Suppose 0 = j - j + 4*j. Solve j = -0*d - 5*d + a for d.
5
Suppose 3*k = 5*k + 5*s + 56, -4*k - 5*s = 92. Let q = k + 23. Solve b - q*b = -16 for b.
4
Let a(p) = -p**3 - p**2 + 2*p + 5. Let x be a(0). Solve 5 = -x*z - 10 for z.
-3
Let z = 124 - 122. Solve -z*v - 3 = v for v.
-1
Let y(h) = 2*h**2. Let x be y(-1). Suppose -x*u - 2*u = 0. Solve u = i + i for i.
0
Let n be -2 + 0 + 0 - -2. Suppose 0 = -4*g - 0*g + 128. Let a = g - 22. Solve n = -2*j - 3*j + a for j.
2
Suppose -2*k - 3*j = -k + 3, 0 = 5*k - 5*j - 25. Solve 6*v = k*v - 6 for v.
-2
Suppose -6*c + 6 + 108 = 0. Solve 5*r - c = 6 for r.
5
Let f = 8 + -9. Let y be 2/1 - (3 + f). Solve 5*z - 1 - 14 = y for z.
3
Let u be (1/4)/(3/12). Solve 16 - u = 5*l for l.
3
Let o(l) = -2*l + 4*l + 3*l**3 + 3 - 4*l**3. Let j be o(-2). Solve 1 = 2*n - j for n.
4
Let w = 0 - -2. Suppose -4*f = 4*q, q = w*f - f. Solve -z + f*z + 2 = 0 for z.
2
Let g(v) = -4 + v + 2 + 4. Let f be (-7 + 2)*(-4)/(-10). Let t be g(f). Solve 0*l - l = t for l.
0
Suppose 16 = 2*y + 2*y. Let m(q) = -q**2 + 3*q + 4. Let v be m(y). Solve n + 0 + 3 = v for n.
-3
Let g be (-6)/(1/(5/(-10))). Suppose 0 = -4*h, h + 2*h - 4 = -p. Suppose -2*i = i - 15. Solve -g*u + p = -i for u.
3
Let x(t) = -t**2 + t. Let c be x(1). Let v be 1 + 6 + -4 - 1. Let a = v - c. Solve a = -u + 7 for u.
5
Let j be (-3 + 2)/(-1)*2. Suppose l = -j*l. Suppose -a + l = -1. Solve a + 3 = 4*v for v.
1
Suppose 2*v + 0*y + 5*y = -16, -2*y - 14 = -3*v. Solve v*r = r - 2 for r.
-2
Let y be 0/(1/(-3)*-3). Let q(c) = c**2 - c - 7. Let i be q(-3). Solve y = i*s + 7 + 18 for s.
-5
Suppose 0 = 5*f - 25 - 25. Suppose 0 = 5*d + a - 5*a - 8, -5*a - f = -3*d. Solve d = 2*r - 3 + 5 for r.
-1
Suppose 5*z + 0 = 15. Let s(p) = p**2 + 4*p - 6. Let i be s(-5). Let d = i - -3. Solve -d = -5*c + z for c.
1
Let u be 6/(-15) + 2/5. Suppose i + 3*i - 16 = u. Solve -1 + 9 = -i*a for a.
-2
Suppose -49 = -5*n - 4*b, -4*n + 33 = -0*n - 3*b. Suppose n - 3 = 2*m. Solve 0 = m*d + 21 - 6 for d.
-5
Suppose 0*v + 12 = 2*v. Let y(o) = 9*o + 1. Suppose 2*b - 2 = 0, -3*t = -b - 2*b. Let n be y(t). Solve 0 = g - v*g - n for g.
-2
Let z(s) = 6*s + 2. Let p be z(-2). Let o be 7/5 - 6/p. Let g = 7 - o. Solve 5*y + 5 = -g for y.
-2
Let z = -3 - -9. Let t be 7/(14/8) + -1. Let v = z - t. Solve 2*p - 10 = -v*p for p.
2
Let b be ((-1)/2 - -1)*-18. Let d(n) = n + 11. Let v be d(b). Let m = v + 0. Solve m*a = a - 5 for a.
-5
Suppose z + 8 = t - 4, -2*t - z = -30. Solve 3*y = -1 - t for y.
-5
Let j be (-2 + -3 + 10)*2. Solve 0 = 2*k + 3*k + j for k.
-2
Let n = -18 + 14. Let f be (n/(-14))/((-3)/(-42)). Let t be (-1)/3 - 1/(-3). Solve f = -h - t*h for h.
-4
Let s be 0/3 - -2 - 0. Solve -6 = s*k + 2 for k.
-4
Let q = 176 - 176. Solve q = -2*n + 5*n - 15 for n.
5
Let q = -33 + 35. Solve 0*d + d + q = 0 f