= 2*t, -u*t + 6 = -t - n*q. Solve t + 3 = b for b.
4
Let m = 2641 + -2638. Solve -z = -m*z for z.
0
Let t(q) = -20*q. Let w be t(-1). Let j = -16 + w. Suppose -j*f = p - 25, -2*p - 7 = -2*f + 3*p. Solve -2*m - m - f = 0 for m.
-2
Let l = 26 - -39. Let t = -63 + l. Solve -o = 2 + t for o.
-4
Suppose 11*j + 10 - 43 = 0. Solve -j*k + 3 = -4*k for k.
-3
Let z = 19 - 11. Let q be (20/z - 2)*34. Suppose -q = -5*i - 4*g, -i + 0*i + 15 = -5*g. Solve -i = 4*u - 5*u for u.
5
Suppose 0 = 8*m - 56 - 96. Solve 4*c - m = -15 for c.
1
Let a = -5 - -41. Suppose a = 20*t - 16*t. Solve -2*x + t = -5*x for x.
-3
Let z be -3 - (0 + (-6 - 2)). Suppose 0 = -z*c + 12*c. Solve 0*i - i = c for i.
0
Let r be (-9)/(-27) + 299/3. Suppose 5*k + r = 5*x, -3*k + 2*k = -3*x + 30. Let w(g) = g**2 + 15*g. Let o be w(k). Solve o*h = -h for h.
0
Suppose 2*c - 5 = -r + 4, -r + 5*c + 30 = 0. Suppose -17*t + 22*t - r = 0. Let g(u) = u - 4. Let y be g(6). Solve h + y = -t for h.
-5
Suppose 0 = 5*m + 11*i - 10*i + 3, i = 5*m - 3. Let z be (-4)/6 - (-2)/(-6). Let r = 5 + z. Solve m*t - 2*t - r = 0 for t.
-2
Suppose 0 = -c + 5*y + 20, 7 = -4*c - 2*y - 1. Suppose p - 5*p + 8 = c. Let n(z) = 2*z**3 - 3*z**2 + z. Let w be n(2). Solve p = -2*l + w for l.
2
Suppose -b + l = 1, -4*b - l = 4*l - 32. Suppose b*o - 38 = -4*x + o, -2*x = 3*o - 21. Solve 5*f - x = 2*f for f.
3
Let w = 5 - -14. Let g = w - 40. Let v = g + 29. Solve 0 = 5*y + 12 + v for y.
-4
Let s be (-4)/14 + 136/(-14). Let t(r) = r**3 - 9*r**2 - 10. Let i be t(9). Let y = i - s. Solve y = -5*v - 20 for v.
-4
Suppose -2*n + 2*z = -1 - 1, 0 = -3*n - 2*z - 2. Suppose -w + 0*w + 2 = q, 3*w + 2*q - 5 = 0. Suppose -w + n = -a. Solve -r - 1 = a for r.
-2
Let m(x) be the first derivative of x**2/2 + 22*x - 8. Let p be m(-14). Suppose -10 = -p*r + 6. Solve -i - 12 = r*i for i.
-4
Suppose 2*g + 2*m = g - 3, g = -5*m + 12. Let a(y) = -2*y + y - 7 - 3. Let t be a(g). Solve -2*q - t*q = -20 for q.
4
Suppose 25 = -5*o, -2*g - 4*o = 2*g + 12. Let z be (51/6 + -2)*g. Let p = z + -11. Solve v + p*v = 15 for v.
5
Let k = -260 - -263. Solve k - 28 = 5*t for t.
-5
Let g = -15 + 18. Let z be g*2/8*4. Solve w + z = -2 for w.
-5
Let l = 2545 + -2467. Solve 20*i + l = 18 for i.
-3
Let h(m) = m**3 - 14*m**2 + 14*m - 8. Let q be h(13). Suppose 3*w + 5 = q*t, 0 = -4*t + 3*w - 2 + 6. Let j be 3 + 1*(t + -2). Solve -f + j*f = -2 for f.
-2
Let j(a) = -4*a. Let v be j(-5). Let s = -172 - -174. Solve -s*u + v = -6*u for u.
-5
Let r = 11 - 11. Suppose -4*a = -2*a. Suppose a - 6 = -3*k. Solve -3*z - k*z + 5 = r for z.
1
Let d(q) = 3*q - 4 + 2 + 7 - q**2 - 3. Let x be d(-1). Let u be (3 - (1 + x)) + 1. Solve u*p + 3 = -7 for p.
-2
Suppose 8*q - 19*q - 55 = 0. Let k(a) = a**3 + 5*a**2 - a - 3. Let r be k(q). Solve -o + r = -0*o for o.
2
Let y(u) = -4 + 18*u - 21*u - 12. Let w be y(-8). Solve -m = m - w for m.
4
Let x = 60 - 56. Suppose -m + x + 0 = 0. Solve 6*k - m*k = 4 for k.
2
Suppose -18 = -3*j - 4*v, 4*j = 5*j + 2*v - 8. Suppose x - 8 = 5*q + 23, q - 7 = -j*x. Solve -1 = -m - x for m.
-5
Let o(n) = -21*n - 35. Let u be o(-2). Solve u*s = 5*s for s.
0
Let h = -42 - -37. Let m(x) = -4*x - 10. Let v be m(h). Let f be 5*(44/v + -4). Solve 0 = f*i + 2*i for i.
0
Suppose 3*k = -0*k + 36. Suppose -2*a - 18 = -4*q, 4*q + q - k = a. Let u = a - -15. Solve 0 = 7*s - 3*s - u for s.
2
Suppose 3*a - 3 = -0. Suppose -7 = 5*j - 6*j - 1. Solve -u + j = a for u.
5
Let r = -160 + 177. Solve -r*h + 21*h + 16 = 0 for h.
-4
Let u = 98 - 77. Solve 4 = u*y - 20*y for y.
4
Let l(y) = -y**3 + 5*y**2 - 4*y + 2. Let m(s) = -3*s**2 - 2*s - 1. Let h be m(-1). Let q be h*(-1)/((-2)/(-4)). Let p be l(q). Solve 1 = -i + p for i.
1
Suppose 102 - 66 = 3*v. Solve -33*i - v = -39*i for i.
2
Suppose -26*q = q - 81. Solve -2 = q*m + 13 for m.
-5
Let j be ((5130/(-133))/(-18))/(1/35). Solve -12*v = 15 - j for v.
5
Suppose -2*i + 0*i = 3*u - 2, 0 = -3*i + 3. Suppose u = -15*h + 11*h + 16. Solve 0 = -7*l + h*l - 12 for l.
-4
Let p = 16 - 12. Solve k - p*k = -15 for k.
5
Let y = -4 + 3. Let r(q) = -q**3 - q**2 + q. Let u(x) = -4*x**3 - 2*x**2. Let j(m) = y*u(m) + 5*r(m). Let v be j(-5). Solve -4*g = g - v for g.
5
Suppose 3*p - 5*p = 0. Suppose 3*b = -4*a + 39, p = 3*a - b - b - 25. Solve 0 = 8*k - 11*k - a for k.
-3
Let g(u) = 0*u + 0*u - 9*u - 8. Let n(f) = -f - 1. Let p(y) = 3*g(y) - 24*n(y). Let c be p(-1). Solve 0*j - c = -3*j for j.
1
Let b(r) = -r**3 - 9*r**2 - 16*r - 5. Let y be b(-7). Solve 4*x = 7*x + y for x.
-3
Suppose 91 = -4*c - 3*d, -6*c + 5*d - 70 = -c. Let y = -10 - c. Solve 0 = -4*s + y*s - 10 for s.
2
Let s(d) = d**3 + 5*d**2 + 2*d + 1. Let q be s(-5). Let k(c) = c**2 + 9*c + 9. Let t be k(q). Suppose 0*l - t = -w - 3*l, 2 = l. Solve w*i = i for i.
0
Let b = -22 + 24. Suppose 7*u - 20 = b*u. Suppose -12 = -2*t - u. Solve t*a + 10 = -2 for a.
-3
Let w(f) = f**2 + f + 3. Let r be w(1). Solve -3*l + 2*l + r = 0 for l.
5
Suppose 4*w = -w. Suppose w = 3*z + x - 1, -2*z + 0*x + x = -9. Suppose z*f + 3*h + 27 = 3*f, -f - 1 = 4*h. Solve -3*v = -0*v + f for v.
-5
Suppose -22*p + 25*p - 15 = 0. Solve -4*f + p = f for f.
1
Suppose -2*f + 294 = 214. Solve -4*b + f = 4*b for b.
5
Let d = 29 - 22. Suppose 2*p = 17 - d. Solve 0 = -j + p - 2 for j.
3
Let j = -9 + 73. Suppose 3*o + 16 - j = 0. Solve -o = -5*k + 9 for k.
5
Suppose 0 = 5*c + 18 - 128. Suppose -6*v = -2 - c. Solve -5 = -v*w + 7 for w.
3
Let h(r) = -r - 10*r + 24 + 9*r. Let p be h(12). Solve 3*b = -p - 3 for b.
-1
Let u = 183 + -178. Solve -u = 5*f - 10 for f.
1
Let z(a) = 6*a. Let t be z(1). Solve t*x - 5 = 7*x for x.
-5
Suppose 0 = -3*p + p + 4. Suppose r - p*n - 10 = 0, 0 = 3*r + n - 10 + 1. Solve -6*l = -r*l for l.
0
Suppose -145 = -5*u - 24*u. Solve i - 6*i = u for i.
-1
Let y be ((-290)/(-220) + (-2)/(-11))*2. Solve 0*v + y = 3*v for v.
1
Let s = 2 - 2. Suppose 0 = -4*w + 4 + 12. Suppose 3*n - 3*o = 63, -4*n - 3*o = -318 + 206. Solve f + w*f + n = s for f.
-5
Suppose 0*x + 56 = 8*x. Suppose -3*t = -7*t + 72. Solve 0 = 5*z - x - t for z.
5
Suppose 8*a + 22 = b + 10*a, 3*b + 3*a = 60. Solve 15 = 21*p - b*p for p.
5
Let o(z) = 2*z**3 + 69*z**2 - 36*z - 29. Let b be o(-35). Solve -b*j + 2 - 20 = 0 for j.
-3
Suppose 3*v - 1 = -4. Let g be (1 + v + 1)*2. Suppose 7*s + 898 = 933. Solve s*l - 12 = g*l for l.
4
Let b(c) = -c**2 - 14*c + 10. Let x(h) = 4*h**2 + 42*h - 30. Let o(t) = -10*b(t) - 3*x(t). Let z be o(6). Solve 2 = z*k - 0 for k.
1
Let n(p) = -p - 31. Let m be n(-36). Solve 11*v = 10*v + m for v.
5
Let s be -5*7/(70/(-6)). Suppose -5*j = s*c - 4 - 11, 0 = -j. Suppose 0 = -2*y - y. Solve y = -2*b + c*b + 9 for b.
-3
Let n(j) = -j**3 - 4*j**2 + 13. Let g be n(-3). Solve 84*s + g = 83*s for s.
-4
Let p(d) = 2 + d - 5*d + d. Let i be p(3). Let c = -5 - i. Solve -c*a = 3*a + 5 for a.
-1
Suppose 2*y + 8*g = 6*g + 2, 0 = -5*g - 15. Solve -2*k = y*k - 12 for k.
2
Let w(l) = -2*l**2 + 14*l + 8. Let m(r) = -r**2 + 14*r + 9. Let o(k) = -3*m(k) + 2*w(k). Let u be o(-13). Solve -u*s = 5 - 15 for s.
5
Let o be 8/20 + 146/10. Suppose -23 = -4*p - o. Solve -2*w = p*w + 16 for w.
-4
Let g(l) = l**2 + l + 2. Let c be g(0). Suppose c*x + 2*x - 12 = 0. Solve -20 = f + x*f for f.
-5
Let y(f) = 11*f**2 + 3*f - 2. Let t be y(1). Suppose -t*m + 80 = 20. Solve -m + 0 = i for i.
-5
Let k be (-5 + 8)/(((-18)/(-8))/3). Suppose -s = k*s - 20. Solve -s*j = -j for j.
0
Suppose 5*h + 0*m = -2*m - 63, -m = h + 15. Let y = -10 - h. Let q be -2 - (y + 2 + -9). Solve -q*l = -12 - 0 for l.
3
Let d be (0 - -18)*39/(-26). Let v = 32 + d. Solve 0 = -v*x + 1 - 6 for x.
-1
Suppose 0 = 9*l - 7*l - 4. Solve -2*d - l*d = 16 for d.
-4
Suppose -54 = -3*k - 0. Let y be 86/k + 28/126. Let s be 0 - (0 + 0/(-1)). Solve r - y*r = s for r.
0
Suppose 6 = 3*m - 9. Suppose 10*b - m*b = 20. Suppose -2*o - j - 3*j = 0, -j - 9 = -b*o. Solve 0 = -o*g - 2 - 2 for g.
-2
Suppose 0 = -x - 2*g + 2 - 4, x + 4 = -3*g. Solve 0 = x*y + 1 + 5 for y.
-3
Let i(j) = 11*j**2 - 2*j + 1. Let t be i(1). Let n = 16 - t. Let q = -3409 - -3415. Solve -3*b = -n - q for b.
4
Suppose -5*r + 259 = 2*g, 41*g + 394 = 44*g + 2*r. Solve -5*o = -g + 107 for o.
5
Let w(y) = 3*y**2 + y + 3. Let j be w(-2). Suppose 12*b - j*b + 2 = 0. Solve 0 = -b*u - u for u.
0
Let z(o) = o**3 + 12*o**2 + 6*o + 13. Let k be z(-11