be m(6). Let x(f) = -f + 2. Let w be x(2). Let p = w - v. Solve p*z = z - 2 for z.
-2
Suppose -23*q = 3 - 3. Solve q = -2*d - 4 + 12 for d.
4
Suppose -5 - 20 = -5*c. Solve 0 = -2*g - c*g + 35 for g.
5
Let a = -711 - -712. Solve a = -2*l + l for l.
-1
Let d(x) be the third derivative of x**6/120 - x**5/10 - 2*x**3/3 + 5*x**2. Let l be d(6). Let k be 6/l - (-21)/2. Solve 3*f + k = -0 for f.
-3
Suppose 4*k = 90 + 26. Let y = 275 + -254. Suppose -k = -2*h + y. Solve h = v + 4*v for v.
5
Suppose 5*x = -3*a + a - 3, -5*a + 4*x = -42. Suppose a*h = h + 25. Suppose 0 = -5*j, -b + j = h*j - 4. Solve b*p = -p - 10 for p.
-2
Let q be (-9)/(-3) - (5 - 2). Suppose 0*w = 3*w - 5*m - 25, q = 5*w + 2*m - 21. Suppose -5*g + 30 = w. Solve -g*c - 17 = 8 for c.
-5
Suppose 5*a = 0, 17*h - 15*h = 2*a. Solve -2*w + 6*w - 4 = h for w.
1
Let k(r) = 2*r - 27. Let s be k(15). Solve -s*j - 17 = -2 for j.
-5
Let n(v) = -9*v + 311. Let f be n(33). Solve f*t + 8 + 6 = 0 for t.
-1
Suppose -23 = 3*f + 1. Let h be ((-2)/(-1))/(44/f + 6). Solve -a - a = -h for a.
2
Suppose 85*m + 78 = 91*m. Solve -m*y - 2 = -11*y for y.
-1
Let k(g) = 3*g**3 - 2*g**2 - 3*g - 2. Let w be k(3). Suppose 5*x - w = -3*r + 4*r, -5*r + 30 = 4*x. Solve -7*v + x*v = 3 for v.
1
Suppose 2*a = -a + 24. Let x(r) = r - 6. Let t be x(13). Let q = a - t. Solve 2*g + q - 7 = 0 for g.
3
Suppose -j + 26*b = 31*b + 11, 2*j + 4 = -4*b. Solve j*f - 3 = 13 for f.
4
Let q(s) = -s**3 + 4*s**2 + 6*s + 2. Suppose 10 = 3*y + 5*a, 2*y = -5*a + 5 - 0. Let u be q(y). Solve 4*b - 9 = u for b.
4
Suppose -12*j + 3*a + 953 = -10*j, 0 = 5*j - 5*a - 2390. Solve -d - j = -479 for d.
-2
Let f be (-4)/(-2) + -24 + 4. Let r be (-4)/18 + (-4)/f. Suppose 13 = 4*n - 3*c, 3*n = 2*n + 4*c + 13. Solve i - n - 1 = r for i.
2
Suppose 5*s - 15 = 5*k, 2*k = -k - 9. Suppose s = 5*i - 17 + 7. Let n be i - -2*(0 - 1). Solve -2*x - 6 + 0 = n for x.
-3
Let q be ((-18)/(-10))/(11/(-1155)*-7). Solve -q*w = -24*w - 6 for w.
2
Suppose -32*g + 476 + 132 = 0. Solve 0 = -g*u + 24*u - 20 for u.
4
Let v(x) = 3*x + 47. Let m be v(-14). Suppose 0 = -m*f + 16*f - 165. Solve n - f = -4*n for n.
3
Let f = 731 + -730. Solve 9 = 5*g - f for g.
2
Let n(r) = -2*r + 6. Let p(y) = 2*y - 6. Let g(t) = -4*n(t) - 3*p(t). Let l be g(5). Suppose 2*a - 28 = 9*o - 5*o, -4 = -2*a - 2*o. Solve -a*v + l*v = 0 for v.
0
Let o be 1 + -1 + -2 + 3. Suppose -3*r + r + 2 = -3*u, 26 = -4*u - 2*r. Let j be 5 + 2 + 0 + u. Solve j*c - o = -13 for c.
-4
Let f be 4/(-10)*(13 - -2). Let n(q) = -3*q + 6. Let w be n(f). Let l = 40 - w. Solve l = -0*s - 4*s for s.
-4
Suppose -s = o - 10, 3*s + 0*s + o = 20. Let i(w) = w**2 - 5*w + 5. Let t be i(s). Suppose 2*q + 2*q - 31 = 3*h, -37 = -3*q + t*h. Solve -2 = -q*d - 14 for d.
-3
Let m(s) = s + 27. Let z be m(25). Let b = z + -47. Solve 8 = -3*o + b*o for o.
4
Let y(f) = -2*f - 4. Let u be y(-2). Let k(n) = 0*n + n + 7 + 3 + u*n. Let p be k(-5). Solve -p*d = -3*d for d.
0
Suppose 148 = 5*q - 37. Solve q*z - 12 = 40*z for z.
-4
Let f be (-36)/(-4) - (-54)/(-6). Solve f = -9*x + 15*x + 30 for x.
-5
Let r(u) = 2*u**3 - 2*u**2 - 1. Let n be r(2). Let d be n + 8/(-3 + 1). Solve 0 = d*q + q for q.
0
Let q = -474 + 474. Solve 5 + q = -g for g.
-5
Let v = -131 + 133. Solve 0 = -5*s - v*s + 35 for s.
5
Let z(o) be the third derivative of o**4/12 + 25*o**3/6 - 12*o**2. Let l be z(-11). Solve 2*a + l = -7 for a.
-5
Let q be 38*(-36)/(-9)*(-2)/(-8). Suppose q*j = 37*j. Solve 5*x - 5 + 0 = j for x.
1
Suppose -58*i - 42 = -64*i. Let x = 6 - 3. Suppose -4 + i = x*k. Solve -9 = 5*j + k for j.
-2
Suppose a = 4*a. Suppose 4*g - 1 + 9 = a. Let p = g - -5. Solve 0 = -p*z - z for z.
0
Let l = 206 - 202. Solve l*k + 19 = -1 for k.
-5
Suppose r - 4*d + 5 = 0, -4*r + r - 5*d = -53. Suppose x - 5*k = -0*k - 31, -x + 4*k = 27. Let s = r + x. Solve -5*f - 5 = -s*f for f.
-1
Suppose -5*s = w + 23, w + 164 = -3*w + 4*s. Let j = -32 - w. Solve 3*q - 9 = j for q.
5
Let h(u) = u**3 - 6*u**2 - u - 4. Let a(v) = -v**2 - 11*v - 12. Let o be a(-9). Let r be h(o). Let b = 15 + r. Solve 0 = -b*g - 1 - 24 for g.
-5
Suppose j = 6 - 0. Let v = 28 - 12. Suppose 2*w + 8*q = 3*q + 20, 4*w = 4*q - v. Solve s + 2 - j = w for s.
4
Suppose -3*z + 20 + 10 = 0. Let j = z + -8. Solve -7 - 1 = j*o for o.
-4
Let m = 2131 + -2131. Solve m = -5*v - 117 + 142 for v.
5
Let i = -12 - -15. Let b be (i - 0 - 2)*17. Let r = b - 9. Solve -r = 2*o - 4*o for o.
4
Let w(h) = h**2 + 5*h - 2. Let k be w(-6). Suppose -k*u + 4 = -4. Suppose 12 = u*a + a. Solve -5*t = 16 + a for t.
-4
Suppose 0 = -18*j + 27*j. Solve 6*i + 5 + 13 = j for i.
-3
Let s be 34/2 - (12 - 11). Let d(n) = n**2 - 13*n - 48. Let j be d(s). Solve 5*v - 4 - 21 = j for v.
5
Suppose i - 4 = -1. Suppose i + 0 = a. Suppose a*w = 2*w - 5, -w = -t + 7. Solve -4*q = -t + 14 for q.
-3
Suppose 0 = 4*w + n - 525, 2*w + 5*n - 136 = w. Solve -w + 134 = -k for k.
-3
Let o be ((-5)/(-4))/((-1)/(-4)). Suppose -v + o = -f + 3, 13 = f + 4*v. Solve 2 + f = 3*k for k.
1
Let r = -24 - -79. Let n = -46 + r. Solve g = -2*g + n for g.
3
Let a(j) = -j**2 - 6*j - 3. Let y be a(-2). Suppose -2*t + 10 = -2*o, 11 = -y*o - 9. Suppose -5*n - 16 = 4*s - 8*s, -5*s + n = -20. Solve -s*w = -3*w + t for w.
-1
Suppose -2*m = -3*m - 2. Let o(c) = -c**3 + c. Let z(f) = -7*f**3 + 8*f + 3. Let k(y) = -6*o(y) + z(y). Let q be k(m). Solve -4*r = -q*r for r.
0
Let h be 20/(-170) - (-2)/17. Solve -3*c + h = 15 for c.
-5
Let w = -238 - -243. Solve 4 = w*f - 16 for f.
4
Suppose 0 = 3*l + 2*s - 37 + 11, l + 2*s - 2 = 0. Let b = 559 + -555. Suppose 4*d = 5*j - 2*j - 20, 4*j - d = 5. Solve 0 = -j*g - b*g - l for g.
-3
Let k = 14 - 10. Suppose -1 = k*v - 5*o, 5*v - 16 + 6 = -5*o. Suppose 0 = -i + v - 0. Solve 3*n - i = 2*n for n.
1
Suppose 4*p = -9 + 25. Suppose -2*l + 3*l - 17 = -p*j, -25 = -5*j - 2*l. Solve 0*k + j*k + 9 = 0 for k.
-3
Let u(i) = 14*i**2 - 34*i - 3. Let z be u(3). Solve -2*h + 9*h = -z for h.
-3
Let f be 2/3*1*-3. Let m(x) = -x**2 + 17*x - 47. Let p be m(14). Let a = f - p. Solve -24 = -a*c - 9 for c.
5
Suppose -65*p = -67*p + 4, -2*p = 5*g - 64. Solve 24*w = g*w + 24 for w.
2
Suppose 0 = -9*c + 13*c + 40. Let t be ((-4)/c)/(1341/(-225) + 6). Let n(i) = -4*i - 1. Let x be n(-1). Solve t - 1 = x*d for d.
3
Let b(h) = -17*h + 328. Let f be b(12). Solve -f*y + 6 = -127*y for y.
-2
Let z(d) = -1 + 0 + 2*d**2 - d**2 + 0*d**2. Let h be z(2). Solve -u - h = -0 for u.
-3
Let a(m) = m - 16. Let o be a(15). Let n be (10/25)/(o/(-5)). Suppose 0*y + n*y - 1 = s, 0 = -3*s + 4*y + 1. Solve w = -s + 1 for w.
-2
Suppose 2*b = -4, -q - 4*b - 20 = -5*q. Let i be 756/(-252) - 12/(2/(-1)). Solve 0*y + i*y = -q for y.
-1
Let h be 35*(5 + 124/(-28)). Solve -137*q - h = -133*q for q.
-5
Suppose 0 = 5*z - m - 30, 46 = 4*z + 3*m + 3. Solve -10*i + z = -3 for i.
1
Suppose -9*v + 18 = -27. Suppose 0 = -2*z - 8, -v*z + 12 = -5*u + 47. Solve -6 + 3 = -u*n for n.
1
Suppose 0 = -0*q - 32*q. Solve q = 5*z - 12*z + 35 for z.
5
Suppose -4*a = -9*a + 5. Suppose 3*s + 2*k = 17, -s - 4*k + 19 = 2*s. Let d be a*(2 - 1)*s. Solve 5 = -d*n + 15 for n.
2
Suppose -81 + 9 = -3*x. Suppose t - x + 4 = 4*v, 3*t - 2*v - 20 = 0. Solve -t = -2*j - 2 for j.
1
Let x be -10*(2 - -9)/(-110). Solve 0 = 5*g + 21 - x for g.
-4
Let m be 5 - (-10 + 11 - 2). Solve 9*q = 11*q + m for q.
-3
Let v be (-7)/2*20/(-7). Solve -3*r + r + v = 0 for r.
5
Suppose 984*d - 987*d = -12. Solve 0 = -21*h + 20*h + d for h.
4
Let r(x) = 3*x**2 - 24*x - 25. Let a be r(-1). Solve -2*k = a - 4 for k.
1
Let x be (-1)/(-4) - (-69)/12. Suppose -7*s + 33 = 61. Let b = s + x. Solve b = -p + 4 for p.
2
Suppose 0*c + 4*z = -c - 2, 3*z = 5*c - 13. Suppose -c*t + 5*h + 0*h = -31, 5*t - 25 = 2*h. Solve t*s = 5*s + 4 for s.
-2
Let o be -1 + 6 + -2 + -1. Let k be ((-20)/6 - -4)/(o/15). Solve -5*x = -6*x + k for x.
5
Let a be -1*(1 - 6/(0 + 2)). Let k be 101/10*a - 30/150. Solve -2*t + 7*t = -k for t.
-4
Let y be (-7*5/(-70))/((-1)/(-4)). Let o be 0/y + 14 + -2. Solve -4*w = -4 - o for w.
4
Let u be (-2)/8 - (-12)/48. Let s = 3 + -3. Let c(i) = -i**2 + i + 3. Let a be c(s). Solve -12 = -a*f - u*f for f.
4
Let x be 2 + (-195)/(-27) + (-26)/117. Solve -x = 8*g - 41 for g.
4
Suppose 33*x - 38*x + 40 = 0. Suppose 0 = k - 6*k - 10, -3*v + x = -4*k. Solve v*y + 2*y - 4 = 0