 = -3*o for o.
1
Suppose 40 + 40 = 4*r. Let v(w) = w**3 - 11*w**2 + 2*w - 17. Let s be v(11). Solve 3*n - 7*n - 20 = -s*p, 0 = n - 5*p + r for n.
0
Let f = -423 - -426. Suppose -5*k + 5 + 15 = 0. Solve 5*b = 3*j + 26, -16 = -k*b + f*j + 6 for b.
4
Let d(c) = -5*c - 63. Let g be d(-13). Solve 2*k = 2*m - 0*k + 10, -5*k = -g*m - 10 for m.
-5
Suppose 50 = 5*g + 4*n, -g + 10 = -n + 3*n. Suppose 3*f - 3*i = 0, 5*f - 17 - g = -4*i. Solve -3*l = -0*a + f*a - 3, -a - 3*l + 11 = 0 for a.
-4
Let h be (3 - 2/2)/1. Suppose -5*z + i - 5 = -4, -h*z = i - 1. Let u be 1 + z - (2 + -3). Solve -20 = -2*g + u*o, 0 = 5*g - 10*g + 4*o + 45 for g.
5
Suppose 2*g - 19 = 3*a, 5*a - 83 + 88 = -2*g. Solve -2*t + 9 = -g*t, q + 10 = -2*t for q.
-4
Suppose -43 = 4*z + 65. Let x be (-5)/(-20) + z/(-4). Suppose -x*k + 8 = -3*k. Solve -3*h = -k*s - 7, 1 = s - 3 for h.
5
Suppose 36*b - 540 = -9*b. Solve -4*d = -3*k - 4, b*k = 13*k for d.
1
Suppose l - 1 = -s, -12*s = 4*l - 11*s - 10. Solve 17 = -l*b + d, -b + 3*d - 26 = -7 for b.
-4
Let l = -171 + 26. Let b = -110 - l. Let u be -1 - 2*1*-3. Solve w = -4*w + u*k - 45, 3*w + b = 5*k for w.
-5
Let w be (-4)/48 - -73*(-2)/(-24). Solve w = k - 6*z + z, 2*k = 3*z - 2 for k.
-4
Suppose 4*i = -5*r + 13, -3*r = 4*i - r - 10. Solve -3*m + i*g - 4 = -2*g, -g = 2 for m.
-4
Let y be 1 + 2/(-2) + 8. Let l = 38 - 27. Suppose -l*g = -7*g. Solve 4*o + y = -v, -2*o + 2*v + v + 10 = g for o.
-1
Let c be (20 + -25)/(4/(-4)). Solve 0 = s + 3*l - 0*l - 19, c*s = l + 15 for s.
4
Suppose -54*d + 101 = -7. Solve b = -5*u - 5, b - 11 = 2*u - d for b.
5
Let w be -5 + (7 + -37)/(-5). Solve -3*f = -w + 7, -4*k - 10 = f for k.
-2
Let s be 1/4 + (-126)/(-8). Suppose -5*i + 26 = s. Solve -i*l = -3*r - 16, l - 5 = 4*r + 8 for l.
5
Let g = 4 + 11. Let h = g + -5. Solve 0 = y + 3*a - h, -2*y + a + 10 = 2*a for y.
4
Suppose -h + 0*h = -4. Suppose -33 = -4*k + 3*v + 12, 5*k + 4*v = 33. Suppose -4*f = r - 8, k*r - 4*r - f = -2. Solve 6 = h*z + 2*d, -2*z + r*d - 3 = 3*d for z.
3
Let l = 1 + -1. Suppose a + 4*w - 14 = 0, -9*a = -4*a - 2*w - 158. Solve 0 - 11 = 3*k - 2*s, 4*k + 5*s + a = l for k.
-5
Let x = 62 + -58. Suppose -2 = x*t - 10. Solve 14 = 5*l - 0*c - 3*c, -t*c = -5*l + 16 for l.
4
Let f(y) = 5*y + 21. Let h be f(4). Suppose 38*q = h*q. Let u(j) = -j + 6. Let c be u(4). Solve -c*s = -s + d, 2*s - 2*d + 12 = q for s.
-3
Let w(q) = -3*q + 1. Let p be w(-1). Let t be (-76)/(-12) + p/6. Suppose t*d - 2*d - 15 = 0. Solve d*f + 3*y = -1 + 4, -5*y + 11 = 3*f for f.
-3
Let u(g) = -g**3 - 2*g**2 + 3*g + 4. Let l be (-3)/(-3)*(-3 - 0). Let d be u(l). Let q = 1 + d. Solve q*s + 22 = f, 3*f = 6*f - 3*s - 18 for f.
2
Suppose 0 = -6*m + m + 240. Let s be (-15)/(-2)*m/18. Solve 4*r + a = 3*a - s, -r + 4*a = 5 for r.
-5
Suppose 0 = -5*q, 5*q = 2*u - 0*q - 22. Suppose 18 = -2*z - 3*y - 0, -4*z + 4*y - 16 = 0. Let j = z + u. Solve 2*s + 10 = -2*p, 3*p - j*s - 5 = 12 for p.
-1
Let r = 804 + -801. Solve -7*q - b = -2*q, -r*b = q + 14 for q.
1
Let x = -270 + 274. Solve 3*a = -a - 5*f - 11, 5 = -x*a - 3*f for a.
1
Suppose -77 = -21*l + 28. Solve 3 = -3*s - z - 5, -z = -l*s for s.
-1
Let p(s) = 6*s**2 - 27*s + 26. Let w be p(1). Solve 7 = -v + k - 3*k, 17 = -w*v - k for v.
-3
Suppose 67 = 3*c - 14. Let b be 186/45 + (-2)/15. Suppose -4*q + 5*s + 62 = 0, c = b*q - 4*s - 33. Solve -q = -h - 4*d, -3*h - 51 + 22 = -5*d for h.
-3
Let g = -249 + 255. Solve -q - 2 = -3, -k - 5*q = -g for k.
1
Let n(b) = -3*b**2 - 17*b - 6. Let g be n(-5). Solve 10 = -2*p, g*t + 7*p = 4*p - 7 for t.
2
Suppose 0 = 2*t - 4*t. Suppose 5*g - 7 = -4*q + 2*g, t = 3*q + g - 4. Solve 2*i = -4*x + 9 - q, 3*i = -x - 3 for x.
3
Let j(a) = -a**3 + 6*a**2 + a - 5. Let u be j(6). Let l be 3 + -1 - -1 - (u - 0). Solve -l*r = -f - 8, -5*f - 4*r + 2 = -0 for f.
-2
Let v(c) = -2*c**2 + 28*c + 34. Let p be v(15). Solve 3*o - p*x = -3 + 14, 2*x = 2 for o.
5
Suppose 16 = 6*x - 2. Suppose 2*f - m - 1 = 5, -5*f + x*m = -13. Solve -3*u = -f*d - u - 6, -5*u - 10 = 0 for d.
-2
Suppose 7 = -b - 3. Let u be (168/(-40))/(1/b). Solve -2*x - 4*r - 18 = 0, -5*x - u = r - 15 for x.
-5
Let m = -7 - -25. Suppose 3*i - 8*i - 15 = -3*c, 4*c = 2*i + 20. Suppose l - 2*l = -c. Solve -l*y - n = -11 - 7, -2*y - 4*n + m = 0 for y.
3
Let b(a) = a**3 - 19*a**2 + 21*a - 50. Let f be b(18). Solve 0 = -3*l - 2*s - 2, 0 = -3*l + 8*l + f*s for l.
-4
Suppose 4*i + l = 7, -5*i - l + 7 = -3. Suppose -4 - i = -z. Suppose z = 3*m + 1. Solve 0 = 4*s + m*a - 4, s - 2*a = -3*s - 12 for s.
-1
Let o(u) = 7*u + 2 - 1 - 3*u + 1. Let x be o(-2). Let z be (-2)/x - 8/24. Solve -4*k - 4*b - 16 = z, -3*b - 2*b - 26 = -k for k.
1
Let m be ((-2)/(-7))/((-2)/(-14)). Suppose -m*s = -7*s + 4*z + 2, 3*s = 5*z - 4. Suppose 3*n = -s*n. Solve 4*j + 12 = 0, -3*j - 18 = -3*b - n*b for b.
3
Let n = -4 - -7. Let i(y) = -3*y + y**2 + 2 + y**2 - n*y**2. Let c be i(-3). Solve 2*b = c*g + 14, -b - b = -3*g - 16 for g.
-2
Suppose -2*k - 2*r = 3*r - 276, -5*k + 690 = -4*r. Let y = 138 - k. Solve 3*d = -y*b - b + 8, b - 12 = -4*d for d.
4
Let p(x) = x**2 - 11*x + 21. Let k be p(10). Suppose -n - 44 = -3*n + 4*q, -88 = -5*n - q. Solve -2*c - k = -g, n = 2*g - 3*c - 0 for g.
3
Let c(s) = s**3 - 11*s**2 - 12*s + 4. Let q be c(12). Let x(t) = -4*t - 9. Let v be x(q). Let d = v + 48. Solve 5*b - 2*r - d = 0, -2*b + r = -7 - 3 for b.
3
Suppose 4*s - 25 - 3 = 0. Solve -s = 2*j + 4*b + 1, -2 = 2*b for j.
-2
Let p = 30 + -27. Suppose f = -p*a + 10, a - 3*f = -a - 8. Solve -2*x + 4 + 6 = 2*g, -x - 7 = -a*g for g.
4
Let u(i) = -2*i**2 - 13*i + 8. Let k be u(-7). Let g be (1 - -5)*(-1)/(-3)*k. Solve z = -g*n + 12 - 5, 0 = -3*z - n + 11 for z.
3
Suppose 0 = -4*t + 118 - 110. Solve -g - m = 0, -4*g - t*m = -m + 3 for g.
-1
Let w = 185 + -183. Let d(c) = c**3 - 3*c**2 + 2*c - 3. Let r be d(2). Let z(o) = o + 3. Let g be z(r). Solve -5*s + 4 = 4*a, -3*a + g = -w*s - 3 for s.
0
Let d be 46/(-207) - 56/(-9). Suppose d*f + 4 = -4*k + 2*f, -5*f - 5 = k. Solve k = -5*h - i - 15 + 4, -3 = 3*i for h.
-2
Let r(z) = -z**3 + 7*z**2 + 4*z - 23. Let y be r(7). Suppose 5*d - 3*h = 12, 2*d - y = h - 1. Solve j - 4*m - 3 = d, m = 5*j + 3*m + 7 for j.
-1
Let w be 12/(-30)*-10*1. Suppose -5*s = 4*b - 33, w*b = 2*s + 5 - 7. Solve b*k = 6*f - 4*f + 2, 5 = -k - f for k.
-2
Suppose -9*d = -12*d + 90. Suppose j - 12 = 2*a - 3*a, -2*a + d = -j. Solve -i = 3*r + 6, -3*i + 0*r - a = 5*r for i.
-3
Suppose -w + 4*c = 16, 5*c - 20 = 5*w - 4*w. Suppose 2 = -3*t - 4*v, w = -t - 3*t - 4*v. Solve 2*g + k + 11 = 0, 4 + 10 = -5*g + t*k for g.
-4
Let z(n) be the second derivative of n**4/12 - 11*n**3/6 + 3*n**2/2 + 7*n. Let y be z(11). Solve 0 = -2*g - 5*r - 1, g + y*g - 12 = 4*r for g.
2
Suppose 5*b = -15, -2*n + 0*n - 8 = -2*b. Let r be 2 - (-5 - n)*(-6)/4. Solve 4*t + 4*j - 8 = 0, j - 2 = -t + r*j for t.
2
Let v be (-140)/(-1470) + (-103)/(-21). Solve 11 = 3*o + 2*n, -2*o + 10 = 3*o - v*n for o.
3
Let m be (-146)/(-30) - 244/(-1830). Solve -5*a - u = 1, 2*u + 4 - 2 = m*a for a.
0
Let z = -1239 - -1243. Solve 0 = -p + z*p - 3, -s = -3*p + 6 for s.
-3
Let b(t) = t**3 - 7*t**2 + 4*t + 14. Let s be b(6). Suppose y - 8 = -h, h = s*h - 5. Solve 4*q + w + 5 = -y, 3*q = -w - 7 for q.
-1
Let h be ((-23)/((-46)/(-6)))/(-1 - 0). Solve 5*m - 13 = 2, h*g + 2*m - 3 = 0 for g.
-1
Let n be 1/2 - (-3)/(-6). Let i(o) = -o**3 + 23*o**2 - o + 21. Let w be i(23). Let a be (-3 - w)*(3 + -9). Solve -3*t - a = n, -2*k + 3*k = 3*t + 10 for k.
4
Let k be 1*11/(0 + -1). Let i = -6 - k. Suppose 10 = -i*n, -5*j = 3*n - 6*n - 21. Solve 4*a - 5*o + 26 = 0, 17 - 3 = -2*a + j*o for a.
-4
Let p be (-27)/15 + 1/(-5)*1. Let v be (-6)/(-4) + 1/p. Solve 2*u + 4 = -5*l, 0*u - 3*u - 4*l = -v for u.
3
Let g = 46 - 76. Let r be (12/g)/((-33)/30 - -1). Solve 4*m - 3 = -r*o - m, -4*m = 4 for o.
2
Suppose 2 = -i + 6. Let s(r) = r**3 - 13*r**2 + 12*r - 12. Let z be s(12). Let h = -12 - z. Solve -8 = u + 3*n, h = -4*u + u + n - i for u.
-2
Let z(v) = v - 5. Let h be z(8). Suppose -58 = -21*a - 16. Solve -h*y + i + i = -1, -a*y - 5*i + 26 = 0 for y.
3
Suppose 0*a + 4*d = 4*a - 84, 3*a = -d + 63. Suppose -3*v + 3*h = -a, 4*h + 11 = v - 2. Solve 2*y + 8 = 0, 0 = 4*x + v*y - y - 4 for x.
5
Suppose 0 = 2*m + 3*m - 25. Let r be -2 + ((-12)/1)/(-6). Solve -m*t + 3*b = -r + 5, -2*b = 