 Let o be (4 - -1) + 2 + g. Solve -o*j - 2*d = 3, -4 + 3 = 5*j + 2*d for j.
1
Let i = 0 - 0. Solve -3*m = d - i*m + 12, -2*d - m = 9 for d.
-3
Suppose -b - 3*t + 6 + 6 = 0, 6 = 4*b - 2*t. Solve 4*u + 3*m + 6 = 0, 6*m + b = -3*u + 3*m for u.
-3
Suppose 0 = -9*x + 12*x - 6. Solve 0 = -5*u - 3*t + 23, 2*u - 10 = -x*t - 0 for u.
4
Suppose -r = 3*o + 9, -5*o - 4 = 3*r + 7. Solve 4*i + 0*i = -z + r, 0 = 3*z - 9 for i.
0
Suppose -3*k + 3*h + 2 = -7, 4*h - 16 = -3*k. Suppose -2*n + k*n - 4 = 0. Solve -5*f - 18 = -n*g, -6 = f - 0*f - g for f.
-2
Let a(r) = -r**2 + 8*r + 4. Let p be a(10). Let k = -14 - p. Solve -2*i = -3*i - 4, 0 = k*q + 3*i + 6 for q.
3
Let j be (-5)/20 - (-1)/4. Let n = j - -5. Solve n*l + 36 = 4*d, -6*d + 2*d + 24 = -2*l for l.
-4
Let n be (-66)/(-21) - 2/14. Solve -n*l + 0*l + k = 0, -5*l + 5*k = 0 for l.
0
Suppose 2 = -2*n + 3*n. Suppose 3*r - n = 13. Solve g = r*k + 20, -4*g - k - 2 - 2 = 0 for g.
0
Let y(a) = 2*a - 6. Let b be y(4). Solve -3*z - 5 = -2*m, 0 = b*z - 0*z - m + 3 for z.
-1
Suppose 0 = -2*c + 22 - 6. Suppose c*a - 4*a - 8 = 0. Solve 1 = 3*k + 5*s, -a*s - 3*s = 5 for k.
2
Let p(d) = -d**2 - 10*d - 7. Let k be p(-9). Suppose -5*o = 24 + 1. Let v be (2/o)/((-2)/10). Solve 4*z + 4 = -5*l + 3, v*z + k = -2*l for z.
-4
Suppose -x = -6 + 4. Let i be -1*(-4)/(-4)*-11. Suppose 7*o + 8 = i*o. Solve s - o*b = -3, -4*s - x*b - 3 = -7*b for s.
3
Let u = -12 + 6. Suppose 0 = -4*k - 0*k + 24. Let x = k + u. Solve 2*t - 2*p = -x*t + 6, -p = 3*t - 13 for t.
4
Suppose -43 = -5*l - 2*z + 12, 5*l = 4*z + 25. Let n(b) = 2*b + 3. Let g be n(3). Let k = l - g. Solve k*j = -4*u - 4*j - 16, 0 = -3*u - 5*j - 10 for u.
-5
Suppose v - 4 = 5*g, 5*g - 47 = -5*v + 3*g. Let k = v - 6. Solve 3*q - 2*a = 5, 2*a - k*a = -5*q - 1 for q.
-1
Let s(i) = -6*i**2 + 3 - 4 + 28*i**3 - 29*i**3 - i + 2*i**2. Let y(x) = -x - 1. Let b be y(3). Let u be s(b). Solve 2*c - u*n + 0 = -2, c + 3*n - 17 = 0 for c.
5
Let g be 2*(5 + 0 + -3). Suppose g*j = -0*j. Solve j = 4*m - 5*o + 9, 0 = -3*m - o - 2*o for m.
-1
Let f be 4/(-10) - 24/(-10). Suppose -18 - 12 = v - 5*g, v + 3*g - 2 = 0. Let x = -6 - v. Solve -4*y = -3*n - 2, -7*n = x*y - f*n - 18 for y.
2
Suppose -2*p = -4*p. Let l = p + 2. Solve -27 = 2*n - 0*n - 5*q, -n + l*q - 11 = 0 for n.
-1
Let q = -9 - -29. Solve -4*f - v + q = 0, 3*f - 28 = -2*v - 2*v for f.
4
Let l(t) = -t**2 - 8*t + 7. Let m be l(-9). Let a be (-2)/4*(m + 2). Let o = 3 + a. Solve -o = -5*r - 3*b - 14, 4*r - 3*b = -25 for r.
-4
Let c = 26 - 46. Let f = -20 - c. Solve f = -4*b - 5*n - 35 - 5, -4*b - 16 = -n for b.
-5
Let b = -86 - -91. Solve 3*i + i = -b*h + 33, -4*i = h - 13 for h.
5
Suppose 10*d - 5*d = 2*x - 16, 11 = 3*x - d. Solve 0 = -5*l - x*s + 18, 2*l - 5*l = 2*s - 11 for l.
3
Let d = 113 + -109. Solve -3*l - 22 = -4*f, -d*l - 10 = -l - f for l.
-2
Let z(r) = 3*r**3 + r**2 - r + 1. Let y be z(1). Suppose -2 = -y*q + 6. Solve a + 2 = -q*i + 4, -3 = a - 3*i for a.
0
Let z = -9 + 14. Let i = 11 - z. Let h(p) = 2*p - 7. Let u be h(i). Solve 3*s - 4*q = 4, 0 = s + 3*q + 2*q + u for s.
0
Let d be ((-7)/28)/((-2)/24). Solve 4*q - 4 = 3*q - 2*i, -8 = -d*q - 2*i for q.
2
Let f(k) = -k**3 + 18*k**2 + 5. Let c be f(18). Solve 0*s + 35 = -5*h + c*s, 19 = -4*h + s for h.
-4
Let i = -5 - -7. Suppose 4 = i*d - 0. Solve -k - d*l = -3, -5*k + l - 29 = -0*l for k.
-5
Let f be 1/((-1)/(-80)) + 2. Suppose s - 76 - f = 0. Let d be 16/(-56) - s/(-14). Solve -2*b = -5*j + d, -5*b = -0*b - 3*j - 1 for b.
2
Let v(q) = -q**2 + 6*q + 3. Let n(m) = -m**2 + 8*m + 6. Let s be n(8). Let o be v(s). Solve 15 = 3*u, 19 + 0 = -c + o*u for c.
-4
Let q = -9 + 13. Let h(m) = -m**2 + 4*m. Let j be h(q). Solve j*s + 2*s = -6, 5*c - 5*s - 20 = 0 for c.
1
Let j(p) be the third derivative of -p**6/40 + p**5/60 + p**4/24 + p**3/6 - 5*p**2. Let y be j(-1). Solve 2*f + t - 1 = -0*f, 0 = -y*f - t + 1 for f.
0
Suppose -5 = 2*v - 13. Let k = 209 - 149. Suppose k = o + v*o. Solve 0 = -0*h + 3*h, -o = 4*f + 4*h for f.
-3
Suppose 4*p - 5*p = 5. Let i be -1 + (-3 - p - -4). Solve 3*q - z + 13 = 0, 5*q + z = -22 - i for q.
-5
Let n(c) = -c**3 - 14*c**2 - 3*c - 13. Let m be n(-14). Solve -3*y = -f + 5, 5*f - 4*y = -7*y - m for f.
-4
Suppose a = -7 + 5. Let v be a/(-6) + (-42)/(-9). Solve v*j = -3*t + 5, -5*t - 19 = -5*j + 26 for j.
4
Let i = 10 + -9. Solve q = -t + i, -9 = -2*q - q for t.
-2
Suppose -3*z + 19 + 19 = 4*w, 3*w - 16 = 4*z. Suppose -j + 5*h + 39 = 0, w = 2*j + 4*h - 28. Solve 4*b - 13 + 31 = 2*q, 3*q - 5*b - j = 0 for q.
3
Suppose -2*l - 1 = -11. Let f be (l + -2 - 0)*1. Suppose -25 = -2*y + 3. Solve 5*a - x + 18 = x, -f*a = 2*x + y for a.
-4
Let v = 24 + -19. Let d(c) = c**2 + 5*c - 1. Let a be d(-4). Let z be 0 - (2 - 0) - a. Solve -s = -z*o + 3, 4 = 2*o - v*s + 15 for o.
2
Suppose 0 = -i + 2*q + 156, -2*i + 339 = 3*q + 2*q. Let b be ((-2)/3)/((-9)/i). Solve -31 = 4*s - 3*m, -m = -4*s - 9 - b for s.
-4
Let q(h) = -h**3 + 3*h**2 + 1. Let a be q(2). Solve 0 = a*l - 15, -c - 7 = -l - 0*l for c.
-4
Suppose 7 = -3*a + 4. Let g be 25/(-3 - -3 - a). Solve -4*k - 5*x = -2*k + 21, g = -5*x for k.
2
Let p be (-3)/6 - (-5)/2. Suppose 5*g - 3*g = 0. Let y(r) = r**3 - r**2 - r + 3. Let i be y(g). Solve 11 = -p*f + 3*k, -k - 10 = 2*f - i*k for f.
-4
Let s(t) = -2*t**3 - 4*t**2 - 3*t. Suppose 4*n + 8 = -0. Let r be s(n). Let q be 2 + 7 + r/2. Solve p + q = 4*v - 0, -4*p = -3*v + 22 for v.
2
Let q(o) = -o**3 + 6*o**2 + 2*o - 7. Let d be q(6). Solve -5*f = 10 + 10, 32 = -3*n - d*f for n.
-4
Suppose 0*t = 5*t. Let h(i) = 0*i + 2*i + 25 - 10. Let f be h(-6). Solve t = -2*y - 2*v - 14, 4*y - f*y + 2*v + 12 = 0 for y.
-2
Let m(d) = d**2 - 2*d. Let y be m(2). Suppose y = 4*l + 8 + 16. Let z(o) = o**2 + 7*o + 6. Let w be z(l). Solve -5*a = 3*c + 19, 0*c - 5*c - 4*a - 10 = w for c.
2
Suppose -2*i = -3*i + 2. Suppose 0 = -5*s + 4*d - 49, 2*s + i*s + 3*d = -33. Let y = 10 - s. Solve 0 = 4*l - g - y, -3*l - 5*g + 25 = l for l.
5
Let m(z) = -2*z - 4. Let j(n) = -3*n - 5. Let o(s) = -3*j(s) + 4*m(s). Let h be o(5). Solve 5*p + h*i - 21 = 0, p + 0*p - 3*i + 11 = 0 for p.
1
Let s = 179 + -119. Let k(d) = 4*d**2 + 3. Let b be k(3). Let a = s - b. Solve 3*l - 23 = 5*f, 0*f + 5*l = 4*f + a for f.
-4
Suppose 17 = -3*g + 26. Suppose -5*h + 42 + 13 = 0. Solve -f = 2*k + h, -k - g*k = -f + 7 for k.
-3
Let r be (4/1 - (-11 + 15)) + 5. Solve f - 1 = -r*a + 5, -5*a = 3*f + 2 for f.
-4
Suppose -4*t + 21 = 3*t. Solve -5*f = -3*p - 8, t*p + 2 = -f - 0*p for f.
1
Let w be (6/5)/(4/30). Solve r + 2 = -v, -r - 2*r - 2*v - w = 0 for r.
-5
Let a(d) = 2*d**2 - 3 + 2 - d**2 + 5*d. Let r be a(-4). Let z be 10*1*r/(-10). Solve z*g = 5*t - 5, 2*g - 3*t + 6 = -2*t for g.
-5
Suppose 2*j = z + 8, 2*j - 25 = -3*j. Let a = 1 + -1. Let s = a - 0. Solve z*p = -3*w - 22, -p + s = w + 9 for w.
-4
Let u = -37 + 40. Solve -r = -0*r + u*s + 5, 3*r - 2*s + 4 = 0 for r.
-2
Suppose 2*f + 2*f = 16. Solve 4 = -f*s + 5*m, 2*m = -s + 6*s - 12 for s.
4
Let j(h) = 2*h**3 + 20*h**2 + 19*h + 12. Let g be j(-9). Solve 3*q - g*d + 3 = d, 0 = 4*q + d + 23 for q.
-5
Let x be (3 - 1)*(-7)/(-2). Let g be (-4)/14 + 86/x. Solve g = 2*t + 2*i, t + 2*i = 2*t + 6 for t.
2
Let o be ((-16)/10)/(6/15). Let x be (-50)/o - (-1)/2. Solve 4*s - b - x = 0, -6*s = -5*s - 2*b - 5 for s.
3
Let i = 14 + -11. Suppose -i + 2 = -p. Solve -3*b - p = -4*m, 6*m - 16 = 2*m for b.
5
Let c = -48 - -68. Suppose 0 = -5*h - 2 + 37. Let t(f) = -f**2 + 6*f + 4. Let j be t(6). Solve -5*p = 5*m + c, -2*m + h*m + 17 = -j*p for m.
-1
Let y(j) = j**2 + 4*j - 3. Let c be y(-5). Let t be 6/12*(-3 + 1 + -10). Let w = c - t. Solve -3*a + w = -2*x + 20, 0 = -2*x for a.
-4
Let r = 7 - -2. Suppose 2*k - r = -5*n - 2*k, -5*n + 21 = k. Solve q = 2*g - 3*g - n, 8 = -4*g - q for g.
-1
Let l = -36 - -54. Suppose 4*t - 2*w - 8 = 0, 3*w - 8 = t - 0. Suppose -78 + l = -t*a. Solve 5*d - a = -4*z, 2*d - 17 = -5*z + 6 for d.
-1
Suppose 60 + 10 = 10*q. Solve -l - 5*w = -q, l - w = 3*w - 2 for l.
2
Suppose 3*g + 3*h - 12 = 0, -3*g - 2*h + 0*h + 10 = 0. Solve q + 0*q - 4*z = 10, -3*z - 5 = -g*q for q.
-2
Suppose 1 = w - 9. Suppose -2*s = 2*s. Suppose -4*h + 8 = -s. Solve -5*z + o - w = 0, -h*z - o - 14 = z for z.
-3
Let q(w) = 2*w - 16. Let d be q(10). Solve -18 = -2*c + d*r, 3*c + 3 = -0*r - 4*r for c.
3
Let