
Suppose -12 = -b - 2*b. Suppose 3*s + 87 = -2*s - b*a, 4*a = -4*s - 72. Let n be (-80)/s + 1/(-3). Solve g + r + 11 = n*g, -r = 3 for g.
2
Suppose -9*n + 70 = 25. Suppose -n*r - 18 = -8*r. Solve -6 = -2*q, 3*b - 3 = r*b + 2*q for b.
-3
Suppose 3 = -t + 11. Solve -d + t = 2*y, 2 + 8 = -3*y + 4*d for y.
2
Let f be 2/(-4)*(-12 + (2 - -2)). Solve f*i = 5*w - 20, -3*w + 4*i - 16 = -7*w for w.
4
Let w(r) be the third derivative of -r**6/120 + r**5/5 - 5*r**4/12 + r**3/6 + 3*r**2. Let t be w(11). Solve 0 = 2*i + 3*o + t, i + i - 8 = 2*o for i.
0
Let b be (1 - -3)/((-14)/(-7)). Suppose -b*k + k + 4 = 0. Suppose 0 = 2*q + 5*i - 5, i - 29 = -5*q + 5*i. Solve 2*l - 23 = -k*v - 5, -q*l - 5*v + 25 = 0 for l.
1
Let c be (2 + 1)*(5/(-15) - -5). Solve -5*b - 15 = -5*n, c*n - 10*n - 16 = 2*b for n.
5
Suppose 6*o + 0*o = 12. Suppose -u + 2 - 14 = -5*y, 2*y = -o*u + 12. Solve 4*p - u - 8 = -5*s, 17 = 4*p - s for p.
4
Let i be ((-30)/6)/(5/(-2)). Suppose -3*m = i*m + 2*h - 12, -3*h + 11 = 4*m. Solve -4*u + 4*c + 28 = 0, 2*u = -c + m*c + 11 for u.
4
Suppose 11*a = -15*a + 40*a. Solve -3*g = -2*f + 4*f + 14, a = -4*g + 2*f for g.
-2
Let l be 2/7 + (-28)/98. Suppose l = -s - 2*m + 24, 0 = -2*s + s + 4*m. Let w be ((-2)/(-6))/(s/864). Solve -2*j + w = 4*r, 0*j = 3*j - 4*r + 3 for j.
3
Let l(k) = k**2 + 19*k + 2. Let c = -62 + 43. Let s be l(c). Solve 5*d = -4*q + 5, -4*q - s*d + 35 = -7*d for q.
5
Let z(f) = f**2 - 3*f - 7. Let t be z(5). Suppose -t*u + 8*u = 0. Let j be -6 + 11 - (u - -1). Solve j*h + 11 = p, 2*h + 3*h + 4*p = -19 for h.
-3
Let v be (-2 + 6/4)/((-12)/24). Suppose 0 = -u - z + v, -2*u + 5*z = -3*u - 3. Solve -4*d = -u*m - 4, -3*m - 2*d + 8 + 10 = 0 for m.
4
Suppose 306 = 5*i + 4*n, 2*n = i - 0*i - 50. Suppose -i + 18 = 5*t. Let a(c) = -c**2 - 11*c - 20. Let r be a(t). Solve -2*s + 5 = u - r*s, 2*u = 5*s + 10 for u.
5
Let m(j) = 4*j - 52. Let l be m(14). Solve -5*t = 3*p, -t - 3*t = l*p - 8 for t.
-3
Let m(i) = 11*i. Let y be m(-3). Let k = -22 - y. Suppose -k = -6*b + 1. Solve 3*o - 3*c + 30 = b*c, 0 = 3*o + c + 12 for o.
-5
Let d(m) = -m**3 + 5*m**2 + 4*m + 17. Let w be d(6). Let k be (2 - (-1 + 4))*-10. Solve -2*c - b = k, -3*b = -w*c + 2*b + 5 for c.
-3
Let c be (0 + 2)/((-2)/(-4)). Let z = c + -1. Let v be 6*2/6 + z. Solve -4*u + 0*u + v = -i, 4*i - 12 = 0 for u.
2
Let w = -1903 + 1922. Solve -4*i + w = -3*g, g + 10 - 4 = i for i.
1
Suppose 3*x - 2*g + 8 = 3*g, -4*g = -4*x. Suppose l - x*l = -12. Suppose -16 + l = -4*n. Solve 0 = 3*v + v + 5*s - 17, -2*s + 4 = n*v for v.
-2
Let k(m) = -11*m + 13*m - 6 + 4 - 5. Let d be k(5). Solve -5*y + 4*x + 3 = 0, y = -0*x + 2*x - d for y.
3
Let o be 40/(-160) + 2/8. Solve -r - 1 = -2*m, m + m + 3*r + 19 = o for m.
-2
Suppose -3*b - u - 102 = 2*u, -5*b - 143 = -4*u. Let j = b - -37. Solve 4*c - 12 = 4*f, f = j*f + 4*c - 12 for f.
0
Let a(i) = -2*i - 7. Let x be a(-8). Suppose -4*h = -x + 1. Solve -5*m = 2*k + 8, -h = 3*k - 2*m + 10 for k.
-4
Let i be (-1)/(-5) - (-24)/5. Let h = 179 - 177. Solve 2 = -2*j + h*a, 0 = a - 2*a + i for j.
4
Suppose -9*a - 4 = -11*a. Suppose 39 = a*n + 33. Solve n*j = 2*m - 25, 2*m + 3*j + 10 = m for m.
5
Let i(s) = 17*s - 828. Let l be i(49). Solve 2*c + 3*x - l = 0, 0*c - 2*x = -3*c + 14 for c.
4
Let u(g) = 2*g**2 + 13*g - 19. Let b be u(-8). Solve q + 3 = b*i + 1, 2*i + 10 = 4*q for i.
1
Let g(o) = -6*o**2 + 41*o - 15. Let x be g(6). Solve 4*y = -4*a - y + 33, -5*y + x = -5*a for a.
2
Suppose 30 - 17 = 5*t - 2*m, -5*m = -5. Solve 0*p - 2 = 2*p - t*x, 2*x - 4 = 4*p for p.
-1
Let r(d) = -d**3 - 2*d**2 + 7*d + 7. Let b(i) = -i**2 - 10*i - 13. Let g be b(-9). Let w be r(g). Solve -7 + 2 = c - 2*a, -w = -2*c - 3*a for c.
1
Suppose -6*y + 11 = -4*a - y, 2*y = 4*a + 26. Let j be (2 + a/6)*-1*0. Solve 3*w = -6*l + 4*l + 6, -3*w = j for l.
3
Suppose 6 = -5*a + 8*a. Suppose -5*c + 16 = a*b, -5*b + 2 = 2*c + c. Solve -c*h + 3*w = 2, 2*w = -4 + 8 for h.
1
Suppose p - 6*m - 2 = -2*m, -3*p + 76 = 2*m. Suppose -14 = -5*y - 2*q, -q + p = 5*y + 5. Solve 0*r - 3 = y*o - 3*r, -2*r - 5 = -5*o for o.
3
Let o = -30 - -33. Let t be (o - (-22)/(-6))/(6/(-27)). Solve t*s = 2*s + 4, -5*x + s + 1 = 0 for x.
1
Let l(j) = -j**2 - 24*j + 342. Let t be l(-34). Solve 4 = 2*i - 4, 5*h = t*i - 18 for h.
-2
Let m(l) = -l**2 - 4*l + 46. Let x be m(5). Let u = -5 - -8. Solve 0 = -3*i + 4*v + 13, v + u + x = i for i.
3
Suppose -6*r + r - 10 = 0. Let o be ((-2)/r*0)/(-2). Let q be 130/52*(-3 - -15)/6. Solve 5*u - 2*w - 14 = o, 2*u + q*w - 11 = 3*u for u.
4
Suppose -4*d - d = 0. Let h be -4 - (3 - -9 - d). Let j = -16 - h. Solve 2*o + 5*y - 12 = j, 0*o - 3*o + 7 = 2*y for o.
1
Suppose -15*a + 8 = -13*a. Solve 4*q - 8 + 2 = -2*k, 0 = -a*q for k.
3
Let f = 48 + -45. Suppose 2*j - 7 = -f*h + 6*j, 4*h + 4*j = 0. Solve -3*u = -2*u - 5*s - h, -2*u = -s - 2 for u.
1
Let v be (-2)/((-76)/(-12) - 7). Solve 0 = k - 0*k - v*f - 3, 3 = 2*k - 3*f for k.
0
Suppose -2*b = -3*b + 2. Let o = -22 - -24. Suppose 4 = -o*u, -u + 3*u - 20 = -3*q. Solve -4*y - b*d - 7 - 5 = 0, 0 = 4*y + 4*d + q for y.
-4
Let z be (27 - 23)*(-4)/(-8). Solve -z*x - 11 = 5*k, -6*k + 5*x - 19 = -3*k for k.
-3
Suppose -4 = -2*v + 22. Solve 0 = -2*b - 3*y + v, -b + 4 = 3*y - 4 for b.
5
Let r(j) = j**3 + 8*j**2 + 23*j + 115. Let l be r(-7). Solve l*y + 12 = 0, 2*y = 3*n + 2*n - 18 for n.
2
Let w = 521 - 518. Solve 4*h = -x - 5 - 2, -h = w*x + 10 for h.
-1
Let b = 319 + -315. Solve -l + b = 2*j + j, 0 = -2*l - 2*j for l.
-2
Suppose -d - 4*d = 5*s - 35, 2*d = 3*s + 34. Suppose -o + 4*z = 2*o + 6, -d = -4*o - z. Solve x - 10 = 2*n - x, -3*x = o*n for n.
-3
Let z(q) = -q**3 - 11*q**2 - 14*q - 6. Let g be z(-9). Let t = -40 - g. Solve 2*v = t*a, v + a = -3*v + 5 for v.
1
Let l = 0 - -1. Suppose 0 = x - 2 - l. Solve 0 = 5*v + 2*c + 35, -5 = 5*v - x*c + 5 for v.
-5
Let f be (4/(-16))/((-2)/72). Let x(q) = -q**2 + 1. Suppose 3*j + 5 = -2*j. Let r be x(j). Solve -w + f = 4*v, w = v - r*w - 1 for v.
2
Let k be (-3)/(-2) + (-2)/(-4). Let j(r) = -r**2 - 14*r - 11. Suppose -3*c + 91 = -10*c. Let y be j(c). Solve p - 10 = 3*o, y*p - 3 - k = o for p.
1
Let k(a) = 2*a**2 - 11*a + 7. Let p be k(5). Let s be 1/p - 90/(-20). Solve y - 2*j - 2*j = 0, s*y = 3*j for y.
0
Let o = 10 - 1. Let p(k) = k**2 - 8*k - 5. Let w be p(o). Suppose -4*z - w = -12. Solve 2*n + 3 = -z*m + m, 0 = 2*m - n - 9 for m.
3
Let k(j) = 4*j + 47. Let v be k(-15). Let m be (v + 4)*(2 + (-14)/6). Solve 2*q + b = -6, 2*q - 6*b - 2 = -m*b for q.
-2
Suppose 0 = 2*c - 4*m - 20, 4*m - 2*m = -8. Solve 0 = -3*n - 2*s - 16, 0 = -2*n - c*s - 2*s - 24 for n.
-2
Let t be ((-6)/(-9))/(1/6). Suppose -4*m + 5*s + 31 = 0, 0 = -2*m - s - t*s - 7. Solve -5*c + 12 + m = -y, -3*y + 24 = 3*c for y.
4
Suppose 6*a + 20 = 50. Solve -5*c = a*b - 10, 0*c = 5*c + 3*b for c.
-3
Suppose -37*o + 36*o = 0. Solve -n - w = 4*n + 2, o = -5*w + 15 for n.
-1
Suppose 3*v - 38 = -d + 6*d, -3*d = -3*v + 30. Solve -3*u = -3*j + 9, -j + v*j = -5*u + 15 for j.
3
Let o be 16/32*1*4. Suppose -3*n + o*m + 2*m = 16, 3*n = -5*m + 20. Solve -4*u + 4*l - 4 = n, 5*u + l + 18 = 1 for u.
-3
Let o(h) = 4*h + 1. Let s be o(6). Let l be (s/(-10))/(-5)*24. Solve -4*x + d = -d + 8, -l = -2*x - 3*d for x.
0
Let v be 1/4 - (-574)/8. Let n(c) = -c + 1. Let h be n(1). Suppose h = -0*a - 3*a + v. Solve -12 = -3*g + 2*z + 1, g + 5*z + a = 0 for g.
1
Let d(v) = 3*v**2 + v**2 - 3*v**2 + 21. Let o be d(0). Suppose 7 = 4*k - o. Solve -5*i - 3*q + 35 = 2*q, -5*i = -2*q - k for i.
3
Suppose -3*u - 2*u - 3*d = 79, 4*d + 68 = -4*u. Let l(b) = -b**3 - 13*b**2 + 13*b - 3. Let q be l(u). Solve -3*n - 21 = -3*m, 3*m + n = -4*n - q for m.
3
Suppose -3*m = a - 2*a + 8, -4*a = 3*m - 2. Suppose 4*t + 4 - 56 = -2*g, -3*g = t - 83. Solve -4*l - 6*c + a*c = g, 5*c = l - 11 for l.
-4
Let t(o) = 4*o**2. Let n be t(1). Suppose 3*h - n*h + 7 = 0. Suppose 3 = 5*l - h. Solve 2*c - 8 = -a, 2 = l*c - 5*a + 6 for c.
3
Let y be ((-30)/20)/(1/(-2)). Let w = 28 - y. Solve 45 = -4*j + 5*u, 0*j + 2*u - w = 3*j for j.
-5
Let u = -1000 - -1000. Let w(m) = 2*m + 6. Let k(q) = q - 1. Let i(y) = 4*k(y) - w(y). Let o be i(8). Solve 2*v + f - o = -f, 3*v + 4*f - 10 = u for v.
2
Suppose 162 = -30*z + 222. Solve 12 = 6*o - 3*o, -z*v - 4*o + 22 = 0 for v.
3
Let b(y) = -y - 31. Let j be b(-13). Let i = -16 - j.