t o be b(-1). Solve -d*w = w - o for w.
4
Let q = -7 - -7. Solve f + 4*f - 15 = q for f.
3
Let h be ((-4)/(-6))/(11/231). Let f be h/(-35)*(2 + -17). Solve -f*w + 3*w + 3 = 0 for w.
1
Let t(i) = -3*i - 9. Let d be t(-4). Solve d*v + 9 = -0*v for v.
-3
Suppose 21 = -3*x + 81. Solve 5*m + 0*m = x for m.
4
Let y be 150/45*(-18)/(-5). Let i = 27 - y. Solve i = -5*w + 2*w for w.
-5
Let q = 41 + -22. Suppose 1 = 4*u - q. Let v = 0 - 0. Solve v = -u*d + d + 20 for d.
5
Suppose 3*u = 17 + 1. Let v be ((-9)/u)/(3/(-6)). Solve v*n + 12 = -3 for n.
-5
Let a(k) = -k**2 + 10*k - 6. Let b be a(9). Suppose 10 = b*q - 2. Solve -q*d = -9*d - 5 for d.
-1
Suppose 2*v = 4*v - 2. Let d be -1 + v + 24 + -1. Solve d - 3 = -5*q for q.
-4
Let x be 12/(-8)*(-30)/9. Solve -x = -4*k + 11 for k.
4
Let a = -16 - -24. Solve -4*u = a + 8 for u.
-4
Let g be 3/18*-2*6. Let u(n) = n**2 + n. Let i be u(g). Let x be -3*(-2)/i*1. Solve -2*h = -x*h - 1 for h.
-1
Let d(w) = -w - 1. Let u be d(-1). Suppose u*o = 2*o - 4. Solve o*b - 8 = -0*b for b.
4
Suppose -5*o - 2*z + 202 = 0, 3*z - 80 - 83 = -4*o. Let f be ((-36)/(-10))/(16/o). Solve -4*t = -f + 1 for t.
2
Let t(j) = -3*j**2 - j + 1. Let z be t(-3). Let d = z - -53. Suppose 5*p = -0*p + d. Solve p*v - v = 10 for v.
2
Let k = -12 + 12. Let u = 15 - k. Solve -u = 5*c - 0 for c.
-3
Let o = -54 + 54. Let w(r) be the second derivative of r**4/12 + r**2 - r. Let y be w(-3). Solve o = -5*q + 1 - y for q.
-2
Suppose 0 = -4*t - 2*p + 6 - 2, 5*t - 2*p = -4. Let a(w) = w + 16. Let c be a(-12). Let j be -2*(-2 - 2/c). Solve -j = -n - t*n for n.
5
Let u = -37 + 39. Solve 3*s + u*s = -25 for s.
-5
Let g = -4 + 8. Suppose -5*k - 2*w = -5*w - 25, -g*w - 24 = -2*k. Suppose -k*q = 2*q - 32. Solve 0 = -2*x + q - 0 for x.
4
Let j be 0 + 0/(0 - -3). Suppose 2*l + 3 - 7 = j. Solve 0 = l*y - 10 for y.
5
Let j(z) = -2*z**3 + 2*z**2 - 2*z + 2. Let i be j(2). Let x be (-2)/(-5) + (-26)/i. Suppose -9 = -4*c + x*c. Solve d + 2*d = -c for d.
-3
Let a be 1/(-6) + 618/36. Suppose -b = 3*z - 5*z - 5, a = 5*b - 2*z. Solve -b = 5*k + 2 for k.
-1
Let w(u) = 4*u**2 - 2. Let b be w(2). Let j = b + -7. Suppose 4*x + 16 = 3*i, 2*i + x + 0*x - j = 0. Solve -i = -k - k for k.
2
Suppose -5*z + 16 = 6. Suppose 5 = -5*q - 4*j, -5*q + 40 = -z*j - 3*j. Suppose 2*d = 8*d. Solve q*i - i + 4 = d for i.
-2
Suppose 3*r = -0*r + 15. Suppose 52 - 2 = r*m. Let h be (-22)/(-6) + (-4)/6. Solve 1 = h*c + m for c.
-3
Suppose 0 = -h - 1, -3*q = 2*h - 8 - 2. Solve 0 = 2*t - t - q for t.
4
Let h(a) = -a**2 - 5*a - 2. Let m be h(-4). Solve 0 = m*v - v + 3 for v.
-3
Let q be 70/6 + (-3)/(-9). Let v = -18 - -18. Suppose v = 2*p + p - q. Solve 0*x - p*x = 0 for x.
0
Suppose 4*t + 67 = -21. Let h = t + 37. Let s = 22 - h. Solve 0 = 3*n + s + 2 for n.
-3
Suppose -4*d = -3*d + 2*m + 2, 2*d + 3*m + 2 = 0. Solve q = -q - d for q.
-1
Let z(t) = -t + 8. Let m be z(3). Suppose w + m = 2*w. Solve -s - w = -6*s for s.
1
Let u(o) = 67*o**2 + 2*o - 1. Let w be u(1). Suppose 5*x = w + 97. Let i = x - 20. Solve -3*s + i = 28 for s.
-5
Let k = 7 + -4. Suppose 12 = 5*x - k*r, 3*x - 7 = -r + 3. Solve x*q - 4 = -q for q.
1
Let m(h) = h**2 - 4*h**2 - 3*h**2 + 4*h - h**3 - h - 2. Let b be m(-7). Let v be (-2)/4*(0 - b). Solve 3 = -2*g + v for g.
5
Suppose -o = -5*x + o - 4, -5*x + o = 2. Suppose 1 = -3*c + 7. Let f be ((-4)/(-2))/(c/4). Solve f*t - 8 - 8 = x for t.
4
Suppose -2*u - 2 = -4, 0 = 3*m - 5*u - 40. Suppose m + 1 = -4*h, 3*h + 14 = 2*l. Solve -1 = -z + l for z.
2
Let f = 19 + -15. Solve 6 = -f*c + c for c.
-2
Let m = 24 + -3. Suppose -5*n - 6 + m = 0. Solve 6 = 6*u - n*u for u.
2
Let k = -8 + 11. Suppose k*t = q + 2*t, 5*q - 2*t = 15. Suppose -q*r + 93 = -32. Solve 0*n = 5*n - r for n.
5
Suppose 9*s - 45 = 4*s - 3*v, 0 = -2*s - 4*v + 32. Let w = s + 0. Solve 5*h = 3*h + w for h.
3
Let h(l) = l**2 - 2*l. Let u be h(5). Suppose -v = 2*v - u. Solve 13 = -v*r - 2 for r.
-3
Let m(s) be the first derivative of -s**2/2 - 5*s + 1. Let u be m(-9). Let b be (-3)/(-2) - 6/u. Solve -2*o + 4*o = b for o.
0
Let g = 14 + -9. Suppose 4*s - g*d + 0*d - 29 = 0, 5*s - 28 = -2*d. Solve 4*w - 6*w + s = 0 for w.
3
Let x be 2/(-8) + 148/16. Let u be x/2 + (-12)/8. Solve -z + u = -0 for z.
3
Let z = -14 - -9. Let x = 10 + z. Solve 4*u - x + 1 = 0 for u.
1
Let m(k) = k + 8. Let q be m(-6). Suppose -o = q*o - 12. Solve o*b + 0*b - 8 = 0 for b.
2
Let y = -26 - 4. Let l = y - -30. Solve p + l*p = 0 for p.
0
Suppose 0 = 3*b + 7 + 14. Let s be (b + 6)*(1 - 1). Let x = s - -3. Solve -12 = -x*k - 3 for k.
3
Suppose 3*f = 5*f - 5*d - 28, -4*f - 2*d + 8 = 0. Solve 13 - 5 = f*q for q.
2
Suppose 4*o = 3*z - 4, 2*o + z - 3*z + 4 = 0. Let v = 4 - o. Solve 0 = -v*c - c for c.
0
Suppose 4*c - 2*v = 30, 3*c - 19 = 5*v - 7*v. Solve c*k - 25 = 2*k for k.
5
Suppose q + 7 = 9. Suppose 9 = -3*p, 3*p = 6*y - q*y - 73. Solve 0 = -u + 5*u + y for u.
-4
Suppose -9*q + 33 = 2*q. Solve -4 = -q*k + 11 for k.
5
Let m = 3 + -5. Let c = 3 - m. Suppose 2*l - 2*g - 5 = 3*g, 3*l + c*g - 45 = 0. Solve y = 3*y + l for y.
-5
Let u be 2/(-8) + 49/4. Suppose 3*r - 5*r + u = 0. Suppose 5*o = o + 20. Solve -o*y + r + 4 = 0 for y.
2
Let c = 3 - 1. Suppose 6 = j + c. Suppose 0 = -7*o + j*o. Solve -n + o*n = 0 for n.
0
Suppose 0*g + 5*g + i - 2 = 0, 2*i = -g + 4. Suppose -2*k + k = g. Solve k = -3*t + t - 10 for t.
-5
Suppose -2*o - o = 2*h - 53, 38 = 2*o + 2*h. Suppose -4*z - o = -3. Let w = 8 + z. Solve w*c = c - 4 for c.
-1
Suppose -p + 36 = 3*a - 19, -120 = -5*a + 4*p. Let m = 83 + -80. Solve m*r = -r - a for r.
-5
Let d = 2 + 1. Suppose -6*x = -s - 3*x + 12, -d*s = -2*x - 15. Solve -s*p - 6 = -0*p for p.
-2
Let i(l) = -3*l + 9. Let t be i(1). Let w = 1 - -3. Solve 2*h + w + t = 0 for h.
-5
Let h(n) = -n**3 + 10*n**2 - 9*n + 2. Let z be h(9). Solve 4 = z*s + 6 for s.
-1
Suppose 0*s - 8 = -w - 4*s, 5*w + 3*s + 11 = 0. Let t be w/(-2) - (3 + -5). Solve -t*n = n for n.
0
Suppose 16*l = 20*l. Solve -y + l*y + 1 = 0 for y.
1
Let l be (-5 - -10) + -1 + -2. Solve 2*x - 12 = -l*x for x.
3
Let h = -7 - -11. Solve -3*l + 1 - h = 0 for l.
-1
Let g be (-3 - -9)/(-1 - 1). Let f = g + 7. Solve f + 8 = 3*w for w.
4
Let m(a) = -4*a + 4. Let g(y) = -8*y + 7. Let u(p) = 3*g(p) - 5*m(p). Let s be u(-1). Suppose -5*f = -c - 16, -4 = -c + 3*f - 2*f. Solve 11 = s*t - c for t.
4
Let d be 2 - (-2 - 2/(-1))/(-2). Solve d*i + 4 = -6 for i.
-5
Let i be (0 - -2) + 0/(-2). Suppose 3*z = -h + 6, -4*z - 72 = i*h - 6*h. Solve 0*c + h = 3*c for c.
5
Let q(c) = 4*c - 61. Let p be q(17). Solve -p + 2 = y for y.
-5
Let j = 31 + -28. Solve 4*k - 17 - j = 0 for k.
5
Suppose 1 = -2*g - 3*b, 4 = -5*g - 3*b + 15. Suppose -4 = 2*y, 0*m - 2*m - g*y + 2 = 0. Suppose -4*z - 3*p + 17 = -3*z, m = p. Solve 0 = -z*s - 8 for s.
-4
Let n = -7 + 4. Let l be 2/n*(-2 + -1). Suppose 0 = l*h - 0*h - 4. Solve 0 = -h*w - 2 - 8 for w.
-5
Let l(m) = m + 25. Suppose -c + 3*q = -q, 4*q = -4*c. Let j be l(c). Solve 2*t + 3*t = -j for t.
-5
Let o = 31 - 31. Solve o*l = -l - 4 for l.
-4
Suppose 5*h - 55 = -5*u + 4*h, -5*h - 15 = -4*u. Solve -5*o = -10*o + u for o.
2
Let y = 2 - -5. Let c(n) = n**3 - 2*n**2 - 3*n + 2. Let a be c(3). Let l be 6/15*5/a. Solve -l = -2*q - y for q.
-3
Let w be (36/42)/((-3)/(-42)). Solve -3*q - w = -3 for q.
-3
Let r be 9/2 + (-4)/(-8). Solve -r*q - 24 = -4 for q.
-4
Let f be (-50)/(-12) + 7/(-42). Let g = 7 - f. Solve -g*i = 2*i - 25 for i.
5
Let w be -3 + 2 + 2 + 6. Let a = w - 4. Suppose 2*z + 5*h = 15, -4*h + 6 = -2*z - 2*h. Solve -b - 2*b + a = z for b.
1
Suppose 0*b + b = -j + 2, -2*b - 4*j + 4 = 0. Let y = 36 - 33. Solve -y = -h - b for h.
1
Suppose 5*o + 2*i + 2 = 0, 4*o - 4 + 1 = 3*i. Solve o*b + 2*b = 4 for b.
2
Suppose 2*m - 15 = -5*i, 4*i + 2*m = 2*i. Suppose i = -0*j + j. Solve j = -d - 0 for d.
-5
Let f = 4 + -1. Suppose 6 = -3*t + 4*t. Suppose 0 = 4*d - t*d + 16. Solve -d = -f*h + h for h.
4
Suppose 4 = 6*r - 8*r. Let q(u) be the second derivative of u**5/20 + u**4/6 - u**3/6 + 2*u. Let j be q(r). Solve 3*w = j*w for w.
0
Suppose -3 = -4*k + 29. Suppose -5*d = -d - k. Solve -d*u = u - 9 for u.
3
Suppose -8 = -k + 2*y, 0 = -k - y - y - 12. Let n be 5*(-6)/4*k. Solve -5*u = -0*u - n for u.
3
Suppose 2*d - 2*c - 16 = 0, -2*d + 0*d - 14 = 4*c. Solve -2*i = -d*i - 4 for i.
-4
Suppose -5*