+ -10 + -14. Let i = f - -26. Solve 2 = -i*k + 8 for k.
3
Suppose 5*c - 6 = -16, -16 = -4*n + 2*c. Suppose 3*x + 221 + 13 = 3*a, -308 = -4*a + 2*x. Suppose -a*q + 80*q = 32. Solve -q = -n*k + k for k.
4
Let x be 4 + 0*4/(-16). Suppose f = -f + x. Solve -4*k + f = -2*k for k.
1
Let h = -6 - -7. Let n = 132 + -116. Solve h - n = -5*u for u.
3
Let r be 30/10 + (-12 - -9). Solve -5*d - 18 + 18 = r for d.
0
Let l be (0 - 1)*82/(-82). Solve 0 = -7*f - 22 + l for f.
-3
Suppose -b - 3*b - 4 = 0, q - 8 = 2*b. Suppose -y + a = 1 - q, -3*y = 3*a + 15. Solve -g + 2*g = y for g.
0
Suppose 3*u + 3*g = 21, 0 = 5*g - 6 + 1. Solve -4*q = -u + 10 for q.
-1
Let w = 703 - 696. Solve 4*y = w*y for y.
0
Let q = 64 - 66. Let d = q - -4. Solve -d*f = -7 + 5 for f.
1
Let s be (0 - 6)*42/(-63). Let t = s + 6. Solve t = -10*o + 8*o for o.
-5
Let l(g) = -10*g - 4. Let r be l(-3). Suppose -6 = 5*v - r. Solve -v*b + 13 - 1 = 0 for b.
3
Let g = -9 + 23. Solve l - g = 8*l for l.
-2
Let k be (-3 + -4 + 7)/3. Let j(b) = -b**3 + 4*b**2 - 3*b. Let a be j(3). Suppose -5*w + k*w = a. Solve -n - 3 = -w*n for n.
-3
Let t(r) = 2*r + 2. Let f be t(0). Suppose -2 = -f*n + 2. Suppose -n*p = -6*p. Solve p = -4*k + 12 - 4 for k.
2
Let a(k) = k**2 + 7*k - 2. Let v be a(-9). Let x = v - 13. Solve -x*q = q for q.
0
Suppose 3*i + 4*d + 59 = 0, 2*i = -d + 2*d - 32. Let t = i + 20. Solve 4 = q + t*q for q.
1
Suppose -j + m = -5, -5*j = -7*j + 3*m + 7. Solve 2*g + 16 = j for g.
-4
Suppose -5*w + 2*u = -130, -17*w + 4*u + 64 = -14*w. Solve -62 = 18*s + w for s.
-5
Let c = 216 + -215. Solve -s = -2*s + c for s.
1
Let r(w) = 2*w + 1. Let f be r(2). Let n(v) = 14*v**2 - v**3 - 1 - 5*v - 8*v**2 + 4. Let d be n(f). Solve -d*k = -5*k for k.
0
Let k(a) = -2*a**3 + 7*a**2 + 6*a - 4. Let c be k(4). Suppose c*q - 4*q = -7*q. Solve 0 = -5*l - q*l for l.
0
Let s(z) = -z**3 - 5*z**2 + 4*z + 15. Let k = 24 - 30. Let b be s(k). Let f = 27 - b. Solve 3*h + 6 = -f for h.
-2
Let s = 26 + -21. Suppose 4*z = 2*b + 16, 3*z = s*z - 3*b - 4. Solve z*u + 0 = 10 for u.
2
Let y = -826 - -835. Solve -y*o + 5 = -4 for o.
1
Let w be (-4 + 120/5)*1. Solve -6*n + 2 = w for n.
-3
Suppose -a + 13 = 4*o, o - 42*a - 17 = -45*a. Solve 6 = o*h - 4 for h.
5
Let g(a) = 6*a**2 + a - 2. Let o be g(-2). Let j be 64/14 - 423/(-987). Solve -l + j*l = -o for l.
-5
Let m(c) = -c**2 + 6*c + 2. Let r be m(5). Suppose 0 = -u - w + 3, -11 = -5*u - 2*w + w. Let y be ((-15)/10)/((-3)/6). Solve -y*d = -u - r for d.
3
Let u(x) = x + 18. Let t be u(-13). Suppose t*y - 6 - 2 = -s, -y - 2 = -s. Solve i - y = 2 for i.
3
Suppose 0 = -b - 2*i + 6, i + 2 = 4*b - 13. Let g be (0 - b) + (-184)/(-23). Solve g*w - 26 + 6 = 0 for w.
5
Let p = 65 + -25. Suppose 5*x = 7*x - p. Suppose -c - x = -5*c. Solve -c = -2*g + 1 for g.
3
Let b(p) = -p**2 + 14*p - 11. Let d be (26/2)/(-6 - -7). Let l be b(d). Solve -g = l*g + 6 for g.
-2
Suppose 0*q = 2*q - 2*c - 52, 4*c - 106 = -3*q. Suppose 2*l = -4*v - 14 + 120, 0 = v + 5*l - 13. Let r = q - v. Solve -r*g + 15 = 3*g for g.
3
Let l(z) = -3*z**2 + 4*z + 7. Let h(s) = 2*s**2 - 3*s - 5. Let p(j) = -7*h(j) - 5*l(j). Let d be p(-1). Solve -v - v = d for v.
0
Let v be 32/(-2*4/(-8)*2). Solve 0 = -3*i - v + 4 for i.
-4
Let p(s) = 8*s - 24*s + 14 + 14*s + 4. Let w be p(7). Let o = 7 + -4. Solve -w = j - o*j for j.
2
Suppose 213 = 3*c + 3*t, 3*c + c - 285 = -5*t. Let f be 1730/c + 6/21. Solve f = -5*u - 0*u for u.
-5
Suppose 12*r - 40 = 10*r. Let k = -19 + r. Solve 2*i = 3*i - k for i.
1
Let n be -8 + 5/5 + 4. Let t be 2 + n - (11 + -12). Solve -2*s + t*s = 6 for s.
-3
Suppose 3*q - q - 6 = 0. Let v(o) = -o**3 - 22*o**2 - 22*o - 17. Let s be v(-21). Suppose -5*c = 5*u - 15, 3 = s*u - 4*c - 25. Solve -u*l + 2*l + q = 0 for l.
1
Suppose -2*y + 12 = -6*y. Let m be (2 + 19)/(y/(-2)). Suppose 0 = -3*n + 23 - m. Solve -3*k = -0 - n for k.
1
Let y be 3*(-3)/(-9)*3. Suppose -5*g + 23 = -y*a, -5*g - 5 = 5. Let l = a + 14. Solve 11 - 2 = l*j for j.
3
Suppose 2*z + h = 2, -4*z + 0*z = -h + 2. Suppose y - 6*y - 175 = z. Let s be (-161)/y + 2/5. Solve s*m = -0*m for m.
0
Suppose -x + 4*v + 13 = 0, -x - 5 = -0*v + 5*v. Suppose 0*n - w + 9 = 4*n, -n = 3*w - x. Solve 0 = -n*l - 0*l for l.
0
Suppose 36 = 5*l + 3*a, 3*l - 18 = -2*a + 4. Let u be l + (0 + -3)*1. Suppose 0*v = u*v - 12. Solve 0 = 4*w - 8 - v for w.
3
Let c(o) be the first derivative of -o**3/3 - 2*o**2 + 2*o + 3. Let r be c(-4). Solve -r*n + 5*n = 0 for n.
0
Let g = -459 - -463. Solve -22*o = -26*o - g for o.
-1
Let a be (-1 - 1/(-2))/((-1)/2). Solve 2*h - a = 7 for h.
4
Let v(z) = z**3 + 9*z**2 - 3*z - 7. Suppose -30 = g + 2*g + 3*f, 4*g + 5*f + 41 = 0. Let m be v(g). Solve 3*l + m = -2*l for l.
-4
Suppose -2*q + 0*q + 3 = -3*i, -5*q - i = -16. Solve -q*j = -8 + 2 for j.
2
Let s = -143 - -146. Solve 16 = s*g - 7*g for g.
-4
Let m(p) = 6*p**2 + 123*p - 60. Let w be m(-21). Solve 3 = -2*u + w for u.
0
Let u(d) = -d**2 - 6*d + 3. Let t be u(-6). Suppose 0 = 3*j + 5*a + 6, a + 0 = -t*j + 6. Suppose -j*v = v - 12. Solve p + 2 = v*p for p.
1
Let g(x) = -x**2 - 8*x - 10. Let r be g(-6). Suppose z - 4*z - 2*h = 0, -2*h = r*z + 2. Solve 3*f - 2*f = -z for f.
-2
Let z = 444 + -437. Solve -7 - 21 = z*b for b.
-4
Suppose -4*z - 5*z = -4*z. Suppose 5*l + 4*w - 8*w - 15 = 0, l + 3*w = -16. Let t = l - -4. Solve t*m + 1 + 2 = z for m.
-1
Suppose -13*o - 46 = -3*q - 9*o, 2*q - 32 = 4*o. Solve -19*n - q*n + 11*n = 0 for n.
0
Suppose -2*p - j = -17, -3*p + 4*j = -5 - 4. Solve -p*c = -3*c for c.
0
Suppose 9*f = 6*f + 18. Solve f = i + 8 for i.
-2
Suppose -12*k + 54 = -9*k. Suppose 0 = -k*q + 11*q + 14. Solve q*o - 7*o - 5 = 0 for o.
-1
Let k(i) = i**3 + 3*i**2 - i - 4. Let g be k(-2). Suppose -5*v + 7 = -z, -3*v + 3 + 4 = -g*z. Solve -2*r - v = -r for r.
-1
Suppose 0 = 4*z + 5*l - 34, 7 + 1 = 2*z - 2*l. Solve 7*m - z - 22 = 0 for m.
4
Suppose -3*p = v + 6, -2*v - 22 = -5*v + p. Let z(f) = f - 4. Let g be z(v). Suppose -k + 9 = 7. Solve -g - 4 = k*n for n.
-3
Let j = -334 + 383. Solve 11*h - 5 + j = 0 for h.
-4
Suppose -5*r - 255 = -255. Solve r = -3*j + 4*j - 5 for j.
5
Suppose 6*a - 2*a - 4 = 0. Suppose a = -2*o - j + 19, -26 = -3*o - 2*j. Solve -2*q - 3*q = -o for q.
2
Suppose 25 = 3*g + 19. Solve 7 = -3*n - g for n.
-3
Let i(y) = y**2 - y - 4. Let b be i(0). Let q be ((-2)/b)/((-19)/(-190)). Solve 2*s = q*s + 3 for s.
-1
Suppose 3*n + 0 + 59 = 4*b, 3*b - 3*n - 48 = 0. Suppose -l + 5*r = -3*l + 12, -b = -l - 5*r. Solve -1 = d + l for d.
-2
Suppose -9*b = -4*b - 3*f - 10, -4*b + 5*f = 5. Solve 6*c + b + 7 = 0 for c.
-2
Let a be 7/((-21)/90)*(-4 + 0). Solve -a*y - 4 = -121*y for y.
4
Let w = -720 - -720. Solve w = -y + 35 - 36 for y.
-1
Let i(g) be the second derivative of -g**6/240 - g**5/20 - g**4/6 + g. Let d(t) be the third derivative of i(t). Let u be d(-6). Solve -2*q - u = -4 for q.
-4
Suppose n - 2 = 2*p, -4*n - 5*p = -29 + 34. Solve -2*v + 30 - 32 = n for v.
-1
Suppose 0 = a - 5*x - 56, -260*a = -264*a - 3*x + 132. Solve 6 = 33*f - a*f for f.
-2
Suppose 0 = -5*i - 3*g + 4, 2*i + 2*g = -i + 3. Let v be 36 + i*(2 - -2). Let z be 3/5 + v/80. Solve 3*u = -7 + z for u.
-2
Let l = -606 + 618. Solve -l + 24 = 4*o for o.
3
Suppose -p - 4*a = 3*p + 20, -4*p + 2*a = 8. Let i be 1/(-2)*6 - p. Solve i = -h - 3*h for h.
0
Suppose 0 = 5*k - 13 + 3. Suppose 0 = 4*c - 3*h - 22, k*h - 3 = c - 3*h. Let f be (-2)/(-4)*8 - 2. Solve -c*y = -f*y for y.
0
Let l(q) = -q + 7. Suppose -3*n - n = -16. Let h be (2/n)/(2/12). Let u be l(h). Solve 11 + 5 = u*o for o.
4
Let k = 67 + -55. Let o be (-4)/38 + 40/380. Solve o = 3*w + w + k for w.
-3
Let w be 1/3 + (-2)/6. Let r be 1 + -1 + (14 - 16). Let g be (0/(-3) - 4)/r. Solve -l - g = -w*l for l.
-2
Let v(w) = -w**3 + 9*w**2 - 14*w + 1. Let c be v(7). Suppose 0 = 4*b - 13 + c. Solve d = b + 2 for d.
5
Suppose -20*y - 60 = -26*y. Let g(j) = j**3 - 10*j**2 + 3*j - 6. Let o be g(y). Solve 5*z = o - 4 for z.
4
Let i(g) = -25*g - 123. Let b be i(-5). Let z(r) = -r - 9. Let j be z(-6). Let w be 1/(-1)*(j + -3). Solve 0 = -b*o + w*o + 12 for o.
-3
Suppose -7*z = 6*z - 91. Solve -9 - z = 8*w for w.
-2
Let b be 4 - ((-20)/5)/(-2). Let x = 144 - 119. Solve -3*n = b*n + x for n.
-5
Let j = 36 - 41. Let s be 15/j*(-15)/9. Solve 0 = s*x - 0*x for x.
0
Let s = 1451 + -1448. Let o 