e 2*s = -2*g + l, -3*g - 3 + 0 = d*s for s.
-3
Suppose 0 = 3*k - 0*k + 3. Let m be k - (-3 + 2) - -15. Suppose -2*c = c - m. Solve 4*j - 4 = c*j + q, -4*j + 4*q = 16 for j.
-4
Suppose -12 - 4 = -4*l + 4*z, 0 = 2*l + z + 4. Solve 0 = -5*t + 3*u + 2, l = -0*u + u - 1 for t.
1
Suppose 0 = z - 5 + 2. Suppose -1 = z*j - 10. Let y be (3 + -2 + 0)*5. Solve -5*b = -j*h - 12, 2*h + 6*b - y*b = 5 for h.
1
Let s be -1 + 7/28 + 23/4. Solve -z = -q + 2*z + s, -2*q - z + 3 = 0 for q.
2
Let t = 0 - -3. Suppose 2*r - z - 3 = -0*r, -t*r + 2*z = -5. Let j be (-1 + 5)*r/2. Solve j*n + u = -1, 5*n + u + 3*u = -7 for n.
1
Suppose 2*x + 61 = 3*p, 32 = -2*x + 5*p - 23. Let q be (6/(-10))/(7/x). Solve 0 = 4*v - 16, f - 13 - 1 = -q*v for f.
2
Let s = 30 - 28. Let b be (-1 - -7)/(s + 0). Solve -3*g - 3*t = 0, b*t - 2*t = 4*g + 10 for g.
-2
Suppose -y + 25 = 2*z, -7*y - 3*z = -2*y - 104. Let m be 7 + -2 + (-1 - -4). Solve 5*g = -3*p - 11, -m*p + g = -3*p - y for p.
3
Suppose 3*l + 0*l - 15 = 0. Let z(f) = f**2 - 2*f - 5. Let d be z(l). Solve -3*c - d = -2*t, 2*c - 1 = -4*t + 19 for t.
5
Suppose -5*v + 3*n - 8 = 0, 0 = v - 5*n - 11 - 5. Let o be 2 + v/(5 - 3). Solve 0 = -4*h, c + 2*c - h + 6 = o for c.
-2
Let o = 12 + -7. Suppose -2*v = o*u + 22, -8 = -0*u + 2*u. Let d be 188/10 - v/5. Solve -2*x - j - j = -2, -x = -4*j + d for x.
-3
Let l = 15 - 13. Suppose 0 = -3*f - 9 - 9. Let w be 60/14 + f/21. Solve -6 = -l*q + 2*o, w = 2*q + o + 1 for q.
2
Suppose -14 = -2*l - 4. Suppose 2*f = -3*o + 7*f - 5, -5*o + l*f = -5. Suppose -6 = -2*g + u + u, 51 = o*g + 4*u. Solve 2*q + q + 4*p + g = 0, 2*q = 2*p for q.
-1
Let b(l) = -2*l**2 + 3*l - 5. Let s(o) = -o**2 + 2*o - 2. Let y(x) = 2*b(x) - 5*s(x). Let h be y(5). Solve -h*u + 6*j - j + 10 = 0, 10 = -2*u - 5*j for u.
0
Let o(b) = -b**2 - 5*b + 5. Let v be o(-5). Suppose 4 = v*a - 6. Solve -5*q + 5 = -a*p, -4*p - 15 = 5*q + 10 for p.
-5
Suppose 3*j + 2*b = 4 + 4, 3*j - b - 23 = 0. Suppose j*a = 2*a + 8. Suppose -a*p - 4 = -4*p. Solve -2 = i, -p*d + 5*i - 1 = -15 for d.
2
Suppose 0*c = -3*c + p, -2*c - 4*p = 0. Suppose c = -6*m + 3*m. Suppose -2*b + m*b + 4 = 0. Solve 0 = 5*h + 4*y - 3, -4*y = -b*h + 18 for h.
3
Suppose 3*w + 6 = 3*n - 0, 3*n - 5*w - 2 = 0. Suppose 2*q + 7 = 3. Let i be q - (-1)/((-4)/(-16)). Solve i*h + 18 = n*g, -2*g - 3*h = -2*h - 7 for g.
4
Let r be (16 + -1)*(2 + 20/(-12)). Solve -g + r*o - 23 = 0, 0*g - g - 2*o + 12 = 0 for g.
2
Let l = -42 + 45. Solve -2*h = -2, 2*h - 7 = 2*w - l for w.
-1
Let y(x) be the first derivative of x**4/4 - x**2 + x + 3. Let k be y(1). Let b = -8 - -11. Solve -4*f + k = -b*q + 5, -3*q + 13 = 4*f for f.
1
Let z = -10 + 12. Solve z*w + w = v - 10, -5*w + 2*v - 17 = 0 for w.
-3
Let v(i) = -6*i + 122. Let s be v(20). Solve -5*f - 25 = 5*l, s*l - 11 = 3*f + 2*f for l.
-2
Suppose 0 = 4*u - 7*u - 8*u. Solve -3*k - k + 5*v + 36 = 0, -3*k - 2*v + 4 = u for k.
4
Let c = 5 + -3. Suppose -15 = s + c*s. Let f be ((-2)/s)/(1/10). Solve -3*r + 3*a - 1 = r, -2*r - f = 2*a for r.
-1
Suppose -4*s + 16 = -4. Let h be 4*(-1)/s*-20. Suppose l = -l + h. Solve 3*r - 2 = c, -r + 3*r + l = -4*c for r.
0
Let n(i) = -i + 8. Let l = -1 + 8. Let v be n(l). Solve -15 = 5*s, -p + 6*p - 3*s = -v for p.
-2
Suppose 0 = 4*v - 8, -4*d - 3*v + 6 = -16. Suppose d - 24 = -4*j. Solve 0 = 4*m + 3*x - 13, -4*m = -0*x + j*x - 19 for m.
1
Let l = 3 + -1. Let o = l - 6. Let v = o - -6. Solve -4*p + 12 = v*b, 2*b - 4*p - 15 = -9*p for b.
0
Suppose -1 = 2*o - 11. Solve 10 = -2*d + y - o*y, 6 = -2*d - 3*y for d.
3
Suppose 3*t + 2*t = -50. Let k(x) = -x - 5. Let a be k(t). Solve 0*g - 1 = a*c - 3*g, -3*g = 3*c + 15 for c.
-2
Let m(y) = -2*y - 6. Let c be m(-8). Let g be (-3 - (-18)/c)*-10. Let b be (150/g)/((-2)/(-4)). Solve 5*t = -5*f + b, -6*f - 3*t + 19 = -2*f for f.
4
Suppose -4*l = -0*l - 12. Suppose -m = -4*a + 15, 4*m - l*a - 16 = -6*a. Let p(s) = 3*s**3 + s. Let i be p(m). Solve -i*c - 12 = 0, 5*w + 0*w - 2*c = 6 for w.
0
Suppose -2*k + 11 = 2*b + 1, -2*b + 1 = -k. Solve 20 = -4*q, 5*q - k*q = -3*y - 4 for y.
2
Let v be (2 + -2 + -2)*-1. Solve -3*k + v*p = -k - 12, -5*k + 2*p + 21 = 0 for k.
3
Let o be 2*(22/4 + -4). Solve o*g - 8 = -0*i + 4*i, 4*g - 16 = 0 for i.
1
Let t(p) = -p + 6. Let r be t(8). Let k be r*(0 + 1*-7). Let f be 2/9 - 172/(-36). Solve 0*h - 2*h - k = 2*v, -f*v = 2*h + 29 for h.
-2
Suppose -2*l - 3*d + 7*d + 30 = 0, 0 = -4*l + 2*d + 30. Let p(m) = m**2 - 5*m + 4. Let i be p(l). Solve -2*b + 4*b + i*v + 6 = 0, 2*b - 3*v = 15 for b.
3
Suppose -5*r - 5*y + 20 = -10*y, -6 = -3*r - 3*y. Solve 0 = 3*c + 3*l - 15, 0*l - 6 = r*c - 4*l for c.
2
Suppose n - 4*i = 21, 2*i - 17 = -4*n - n. Solve -2*f - 13 = -4*b + 9, 4*f = -5*b - n for b.
3
Suppose 8*j = 3*j. Solve j = 3*a + 2*k - 2 - 4, 0 = -2*a - k + 4 for a.
2
Let q(j) = j**3 - 6*j**2 + 3. Let k = 4 - -2. Let h be q(k). Suppose 0*z + h = 3*z. Solve -3*x = -2*m - 5, -5*m + z = 4*x - 21 for m.
2
Let s be 1/((1/(-1))/(-6)). Let t be 14/s + (-4)/(-6). Solve 5*v = t*p + 3, 3 = -2*p - p + 3*v for p.
-1
Suppose 4*v = -o + 3, -4*o + 3*v + 13 = 1. Let f(n) = -n - 6. Let m be -7 - (0 + (-2)/2). Let q be f(m). Solve q = 3*s + d + 3*d + 27, -o*s = -5*d for s.
-5
Let p(a) = -a**2 - 6*a - 3. Let k be p(-4). Suppose 7 = 5*y + 2. Let h be ((0/y)/(-3))/1. Solve -4*m + k*l - 2 = h, m + 4*l - 4 = 5*m for m.
-3
Let f(a) = a**3 - 3*a**2 + 3*a. Let k be f(2). Let p(y) = 3*y + 3 - k - 8 - y. Let h be p(6). Solve -14 = -h*m - 2*l, -2*m - 3*l = -2 - 8 for m.
2
Suppose 0 = 4*i + 5*t - 20, t - 25 = -5*i - 3*t. Solve o = 3*m - 17, 5*o - i = 3*m - 42 for m.
4
Suppose -20*k = -23*k + 12. Solve -2*i + 6*i + 36 = -k*s, 5*i - 5 = 5*s for s.
-5
Suppose -4*s + 0 = -4*c - 4, -c = -5*s + 13. Let n(h) = h**2 + 6*h - 5. Let r be n(-7). Let d = 5 + r. Solve d*j + 13 = -p + 3*j, s*j = 3*p - 6 for p.
-1
Suppose 0 = 5*w - 40 + 15. Solve -p - 6 + 4 = -2*b, -5*p + w*b - 5 = 0 for p.
0
Suppose 0*k + k - 20 = 0. Suppose 0*m + k = 4*m. Let s be -2 - -3 - 3/(-1). Solve -4*o - p = 18 + 3, m*o = s*p for o.
-4
Suppose 0 = 9*l - 4*l + 45. Let j(d) = -d**2 - 8*d + 11. Let s be j(l). Solve h = 4*n - s*h, -2*n + 4*h + 10 = 0 for n.
-3
Suppose -2*y - 2*y + 12 = 0. Let j = y - 1. Suppose 2*m = j*d - 0 - 2, d - 1 = -m. Solve 3 + 4 = k - 5*u, -3*u - 3 = m for k.
2
Let c = 18 + -22. Let q be 4 + 3 + 16/c. Solve 1 = -2*n + f, 6*f = q*n + 4*f - 1 for n.
-3
Let w be 15/(3 + 2) + 1. Solve -3*c = -6*v + 3*v, 12 = w*c - v for c.
4
Suppose 3*b = 3*g + 15, b + 2 + 8 = -4*g. Suppose b*m - 3 = m. Solve 3*f + 6 = -m*v, -v - 4*v + 2*f - 10 = 0 for v.
-2
Suppose 20 = -5*t - 3*y, -y = -2*t - 2*y - 9. Let k(n) = n + 9. Let v be k(t). Solve 2*r - 5*u = -2*u + 3, 3*u = -v*r - 3 for r.
0
Let k(g) = -g - 4. Let y be k(-6). Solve -5*n + 34 = 5*l + 4, y*n = 4*l - 18 for n.
1
Let m = 9 - 5. Suppose -m*l + 6 = -2*l. Solve 2*d - 4 = l*f + 4, 3*f - d = -10 for f.
-4
Suppose -8*q = -11*q. Solve q = -2*j - 2*v + 10, -5*j + 2*v + 7 = -2*v for j.
3
Suppose 5*t = 4*r - 10, -t + 4*t - 6 = 0. Solve -6*j - u = -j - 2, -5*j - r*u = -10 for j.
0
Let z be 16/10*(-5)/(-2). Let k be (2 - 0) + (4 - z). Suppose v = -p - k - 1, 4*v = 4*p + 28. Solve -2*m = -3*m + v*g + 11, -12 = 3*g for m.
3
Let p(u) = u**3 + 2*u**2 - 3*u + 3. Let l be p(-3). Let i = 0 - -2. Solve -i*o - l*q + 19 = 3*o, 2*q + 9 = o for o.
5
Let s = 15 + -12. Solve s*t - k - k = -4, 0 = 4*t - 5*k + 3 for t.
-2
Let h(s) = -s**3 + s**2 + 4*s. Let w be h(3). Let d be (-25)/w - (-2)/(-12). Suppose 2*n - 6*n = 0. Solve n*u - 2*u = -a + d, 0 = -a - 2 for u.
-3
Suppose -2*a = -4*k + 34, 5*a + 4 = -3*k - 3. Let m = 8 - k. Solve s - 15 = -4*q, s + m + 11 = 3*q for q.
4
Suppose -8 + 0 = -2*v, -4*c + 5*v - 20 = 0. Solve 4*g - o = c, -2*g + 5*o = -4*g for g.
0
Let m be ((-18)/8)/((-9)/48). Suppose 0 = -0*h - h + 4. Suppose 2*o + 12 = -o - 4*y, 3*o - 12 = h*y. Solve -3*b - 3 = -c - m, -c = o for b.
3
Let i(n) be the first derivative of -n**3/3 - 7*n**2/2 - n + 1. Let a be i(-6). Solve -10 = 5*f - 2*x, 0*x + a*x + 33 = -2*f for f.
-4
Suppose -b = 5*m - 13, -4*b - m + 30 = -3*m. Let y = 11 - b. Suppose 2*c - 8 = 2. Solve 0 + 11 = -3*f - c*t, y*f + t + 7 = 0 for f.
-2
Let r = -5 + 3. Let y(h) = h**2 - 1. Let v be y(r). Suppose v*b - 3*w = 9, -b - 3*b + 2*w = -8. Solve -5*j = -l + 25, j + b + 4 = 4*l for l.
0
