0 = -6*b for b.
-4
Let g = -91 - -161. Let j be (-14)/g - 62/(-10). Let k(o) = -o - 2. Let v be k(-4). Solve 2*i - v = j for i.
4
Let x(d) = d - 2. Let v(r) = -r + 2. Let t(h) = 3*v(h) + 2*x(h). Let y be t(2). Solve y*p + 5 = -5*p for p.
-1
Let z(q) = 3*q - 33. Let s be z(12). Suppose -13*a = -s + 3. Solve 3*k + 10 + 2 = a for k.
-4
Suppose 2095*p - 2080*p = 15. Solve u - 2 = p for u.
3
Let v(t) = 18*t - 87. Let k be v(5). Solve 0 = 4*q - k*q for q.
0
Let v(q) = 8*q**2 - 10*q - 1. Let l be v(-1). Solve -l*h + 15 = -14*h for h.
5
Let q(a) = 66*a + 861. Let u be q(-13). Let x be (-4)/10 + (-22)/(-5). Solve 0 = u*i - 4*i - x for i.
-4
Suppose t - 4*m = -9*m - 7, -17 = -t + 3*m. Let o be 2/4*t/2. Solve 0 = -3*q - 1 - o for q.
-1
Let u = 9 + -4. Let b be ((-6)/(-4))/((-6)/(-36)). Suppose 22 = 2*p + 4*n, -35 = -4*p + 4*n - b*n. Solve p*s = -20 - u for s.
-5
Suppose 17*f - 65 = -5*i + 22*f, 5*i - 59 = 3*f. Suppose 0 = -4*x + 22 - 2. Solve -a = -i + x for a.
5
Suppose -2*v = -7*v + 240. Let q be -6*(-4)/v*2. Suppose 4 + q = f. Solve 4*t = 3*t - f for t.
-5
Let m be ((-8)/2)/(0 + -2). Let t = m + 14. Let a = 17 - 14. Solve -a*g + t = g for g.
4
Let f(s) = -s + 3. Let u be f(7). Let i be 4/8 - (-7)/2. Let d = u + i. Solve d*o + 3 = o for o.
3
Let m(q) = q**2 - 7*q - 2 - 1 - 3 + 6*q. Let g be m(3). Let s(h) = -h**2 + h. Let l be s(g). Solve l*w + 2*w = -4 for w.
-2
Suppose 6 - 20 = -2*u. Suppose -8*d + 3 = -u*d. Solve 4*q - 1 = d*q for q.
1
Suppose 2*a = -2*s - 2*s + 654, 0 = a + 3*s - 328. Solve 330*f - 15 = a*f for f.
3
Suppose b + 3*b = 3*c + 3, -b = 4*c + 4. Solve b = k + 2*k for k.
0
Let r(s) = -66*s + 9. Let i be r(0). Solve -i*v + 9 = -6*v for v.
3
Let k be ((-3)/(-2))/(8/(-64)). Let i = -15 - k. Let v = 6 + i. Solve -8 = -5*a - v for a.
1
Let f = -124 + 124. Solve f*v = -5*v for v.
0
Let l = 7 + -51. Let z = l - -54. Solve z - 1 = -3*c for c.
-3
Suppose -6*b - 4*y + 36 = -2*b, -2*y = 5*b - 39. Let m(n) = 10 + 12403*n + 2*n**2 - 3*n**2 - 12397*n. Let z be m(b). Solve v = 4 - z for v.
1
Let h be (-3)/((-2 - 1)/1). Solve 3*w = h + 14 for w.
5
Let z be 5/40*-4*0. Solve l - 4*l = z for l.
0
Let c(z) be the first derivative of z**3/6 + 5*z**2 + 4*z - 2. Let i(f) be the first derivative of c(f). Let w be i(-7). Solve w*r - 1 = -16 for r.
-5
Suppose 7 = -x + 17. Let d(k) = k**2 - 13*k + 30. Let t be d(x). Solve t*j = -j for j.
0
Let p = 1351 - 1328. Solve 8*a - p - 17 = 0 for a.
5
Let i(g) = -36*g + 120. Let x be i(3). Solve -26*s + 29*s = x for s.
4
Let h = 302 + -300. Solve -h*y = -6*y + 20 for y.
5
Suppose 4*i - 38 = -2*k, -19 = -k - 3*i - 1. Let r = -7 + k. Let u be (-2)/(-7) - 4/r. Solve 0 = -u*t - 2*t + 4 for t.
2
Suppose 144 = -5*n + 154. Let o(p) = 2*p. Let m be o(2). Solve m*q = n*q - 6 for q.
-3
Let n be ((-36)/20)/((-21)/(-70)). Let i be (6 + n)/((-4)/(-2)). Solve 0*q - q = i for q.
0
Suppose 2*f + 2*m + 4 = -f, -f + 6 = -3*m. Solve 3*r - 7*r + 12 = f for r.
3
Suppose 4*o - 12 = 0, -o = -2*n + 4*o + 15. Suppose 0 = -3*q - z - 3*z + 27, 5*z - n = 0. Solve -q*g + 2 = -8 for g.
2
Suppose -25*t + 62 = 6*t. Solve 6*s = -t - 16 for s.
-3
Suppose r = -3*r + 16. Let x be ((-2)/r)/((-7)/14). Solve -x = q + 4 for q.
-5
Suppose 581 - 2503 = -62*q. Solve 0 = -22*h + q - 9 for h.
1
Let c = 24 - 15. Let s be (-1)/(((-18)/4)/c). Suppose -5*o = -5*w - 5, -4*o + w + 1 = -o. Solve -2*u + 2 + s = o for u.
2
Let k(o) = o**3 - 7*o**2 + 16*o - 103. Let n be k(7). Suppose -5*j + 2*j = 0. Suppose 3*g - 4*g + 4 = j. Solve -3 = -g*q + n for q.
3
Suppose 0 = 3*n - y - 31, 2*n - 23 + 4 = -y. Solve -n + 16 = 6*h for h.
1
Suppose 33*v - 296 = -32. Solve v*s - 5 = 13*s for s.
-1
Suppose 12*k = -5*k + 5*k. Solve -7*a + 11*a + 12 = k for a.
-3
Let b = -38 + 40. Let x be -2 + 2/(2/5). Solve -5 + x = b*c for c.
-1
Suppose 9*v + 25 = 14*v. Solve -1 - v = -6*b for b.
1
Let x = -1973 - -1975. Solve -9*p - 11 + x = 0 for p.
-1
Suppose x = 2 + 7. Let m(q) = -q**2 - q. Let d be m(2). Let v be x/6*(-8)/d. Solve 3*u + 14 = v for u.
-4
Let v be (-64)/6 + (-1)/3. Let f = -8 - v. Suppose -f*l + s - 4 = -3*s, -l - 4 = -2*s. Solve -n = l*n + 20 for n.
-4
Let k = 30 - 16. Let d(j) = -j**3 + 15*j**2 - 15*j + 15. Let u be d(k). Let n be 2/(0 - 2)*-3. Solve -x - n = u for x.
-4
Suppose 25 = 3*o + 2*o. Let s = -2878 + 2880. Solve o*v = -s + 27 for v.
5
Let m = 726 - 726. Solve m = -3*b + 4*b - 4 for b.
4
Let k be (21 + -21)*(-2)/(-6). Let x be 2 - -2 - (1 - 1). Suppose -4*i + x = -2*i. Solve i*v - 2 + k = 0 for v.
1
Let t(h) = h**2 + 42*h + 581. Let y be t(-16). Solve -166*l + y*l = 1 for l.
-1
Let x(s) = 2*s**3 + 7*s**2 - 3*s + 18. Let n be x(-4). Let c(y) = y**3 - 9*y**2 + 9*y - 3. Let o be c(8). Solve o*u - 1 = n for u.
3
Let j(h) = h**2 + 11*h + 20. Let f be j(-10). Suppose -6*z - 2 = -80. Suppose z = q + 3*x, q + 0*q - 2*x + 2 = 0. Solve q*l + l = f for l.
2
Suppose 0 = 52*h - 174 + 18. Solve h*n = 8 - 14 for n.
-2
Let i(c) = c + 11. Let w be i(-9). Let s(v) be the second derivative of -v**5/20 + v**4/6 + 17*v. Let l be s(w). Solve l = -k - 2*k for k.
0
Suppose -21*y = 1917 - 2043. Solve y = 43*d - 37*d for d.
1
Let m be (-342)/(-17) + (-2)/17. Let n be (-3 - 0)/((-30)/m). Solve 4*x = 6 - n for x.
1
Let b = 42 + -39. Suppose -24 = h + 3*z, -5 = b*h + z + 59. Let c = h + 24. Solve -x + c - 5 = 0 for x.
-2
Let j = 442 + -434. Solve -j*r - 2 = -6*r for r.
-1
Let k = -42 - -70. Let n = 36 - k. Solve -3*u + 1 = -n for u.
3
Let x = -2 - -4. Suppose -x*f - 5*c - 19 = -0*f, f = -2*c - 7. Solve 2*g = -f*g + 25 for g.
5
Let j = 92 + -90. Let c(t) = 5*t - 5. Let o be c(j). Solve o = -0*q - q for q.
-5
Let v = -15 + 17. Suppose 0 = -z + 2*z - v. Solve -x = -0*x - z for x.
2
Suppose 7 = q + 2. Suppose u = -2, 2*c - 14 = -2*c + q*u. Suppose 5*n - 2*r - 16 = -0*n, r + c = -n. Solve -n*y + 3 = y for y.
1
Let o(x) = x**3 - 18*x**2 + 15*x + 34. Let w be o(17). Solve -4*p + 6 - 10 = w for p.
-1
Let b = -28 + 28. Suppose 3*o = -f - 7 - 4, b = 4*f + 5*o + 9. Solve -1 - 11 = f*d for d.
-3
Let f(l) be the second derivative of -2*l**2 + 0 - 5/6*l**3 + 5*l - 1/12*l**4. Let d be f(-4). Solve -4 = -4*c - d for c.
1
Let g = -834 - -834. Solve -25 + g = 5*u for u.
-5
Let r = 1604 - 1567. Solve -r*g = -31*g + 18 for g.
-3
Suppose -3*p - 3*q = 33, 5*q - 85 = p + 4*p. Let a be 1 + 9/(-7) - p/49. Solve 5*v + a*v = 10 for v.
2
Let z be (0*9/(-18))/(-3*1). Solve 2*b + 0 - 8 = z for b.
4
Suppose -5*f = 1 + 4, -5*l = -2*f - 82. Solve 0 = -2*o + l - 12 for o.
2
Let h = -7 - -2. Let a = h - -10. Suppose 27 = 5*x - 4*w - 8, -17 = -4*x + w. Solve a = x*o - 7 for o.
4
Suppose 88 = -2*y + 92. Suppose -y*u + u = 4, 0 = -i + 2*u + 10. Solve -2*v - i*v = 4 for v.
-1
Suppose b + 148*v = 146*v + 10, 0 = -3*b + 5*v - 3. Let o = -1 - -4. Suppose -f + 14 = f. Solve -f = -o*y - b for y.
1
Suppose -8*s = -0*s + 72. Let x = s + 15. Solve -l + x = -3*l for l.
-3
Suppose -185*g - 54 = -187*g. Solve -32*l - 15 = -g*l for l.
-3
Let c(g) = -g**3 - 7*g**2 + 12. Let u be c(-7). Let x = -14 + u. Let d = x + 5. Solve -d*q = q - 12 for q.
3
Let g be (4 - 0 - 2)*2. Suppose -g*u = -5*u. Suppose -26 = -4*t - 10. Solve u = -t*r - 2 + 18 for r.
4
Let d be 2/1 + -2 + 3. Suppose p = d*p - 6. Suppose 4*r - 77 = -w, r - 2*r = 4*w - 23. Solve 4*t = p - r for t.
-4
Let t(a) = a**2 + 21*a + 121. Let i be t(-12). Solve 2*v = -15 + i for v.
-1
Let u be (-8)/(-84)*3*119. Let l = u + -26. Let h(g) = -g**2 - 4*g - 3. Let f be h(-3). Solve -v + 5*v - l = f for v.
2
Let z(p) = 3*p + 68. Let x be z(-20). Solve 6 = -7*t - x for t.
-2
Let z(a) be the third derivative of -a**6/120 + a**5/15 + a**4/24 - a**3/3 - 2*a**2. Let q = -1 - -5. Let v be z(q). Solve 2 = -v*s - 6 for s.
-4
Let r(b) be the third derivative of b**4/24 + b**3/6 + b**2. Let g be (-6)/2*(-4)/6. Let f be r(g). Solve 8*a = f*a - 5 for a.
-1
Suppose 4 = -2*c + 6*c, -3*y + c + 53 = 0. Let s = y + -10. Suppose -7*q = -s*q. Solve q*z = z for z.
0
Suppose -l = 4*x - 16, -x + 5*x - 16 = -3*l. Solve -z + 2 = -l*z for z.
2
Suppose l + 1 = 2*l. Suppose -4*u - l = -13. Solve -6 = -u*p - 3 for p.
1
Let s be 2/(((-10)/(-100))/((-2)/(-8))). Solve 4*q = -q + s for q.
1
Let i be 1/(15/6 + -2). Let t(s) = s**3 + 3*s**2 - 2*s - 1. Let r be t(-3). Suppose 0 = -2*z + 2, -3*y - r*z + 14 = 0. Solve -i*a = y*a for a.
0
Suppose