t m = 3 + x. Solve 2*y - 12 = -f, 5*f - 9 = -m*y + 23 for y.
4
Suppose 0 = -t - 4*t. Let q = t - 0. Solve -3*l - c - 3 - 9 = q, 0 = 3*l + 3*c + 6 for l.
-5
Let r(t) = 4*t + 8 - 4*t + t. Let o be r(-8). Solve o = -5*y - 3*l - 2 - 1, 1 = 4*y - l for y.
0
Let j be 8/6*3/2. Let w = 18 + -17. Suppose 5 = 2*f + w. Solve -4*i + 5*a = -j, a - 4*a = -f*i for i.
3
Let k = -9 - -6. Let g be (2 + (k - -1))/(-1). Let q be -2 - ((-4)/2 - g). Solve -5*l + 3*v - 2*v - 8 = q, 5*v = 5*l for l.
-2
Suppose m - 3 = 13. Let l be 1/(3/9 - 0). Let d be ((-1)/l)/((-1)/9). Solve 4*g = -d*n - m, 0*n + 2*g = -2*n - 8 for n.
0
Suppose 8*l - 6*l = -86. Let c = -24 - l. Let s = 1 + 3. Solve 35 = -5*a - 5*m, 0 = -s*a - 2*m + m - c for a.
-4
Let r = -5 - -10. Suppose 5*m = 6*c - c - 5, r*m = -2*c + 23. Solve 0 = -2*g - b + 1, -g = c*b - 11 for g.
-1
Let r be 0 + 0 + -1 + 0. Let y be 15/10 + r/(-2). Suppose 5*m + 0*w + 2*w + 6 = 0, -y*w - 6 = 0. Solve m = -j - 5*p - 19 - 1, -5*p - 25 = 0 for j.
5
Suppose 13 = -2*s - 17. Let m = s - -20. Solve 0*f - 5*w + m = 3*f, 0 = 5*f - 4*w + 4 for f.
0
Let t = 1 - 1. Suppose -8 = -t*r - 2*r. Solve -7 = 2*g + 5*h, 2*g - 8 = 6*g + r*h for g.
-1
Let r = -22 + 28. Solve -2*p - 2 = -7*u + 3*u, 5*p = -u + r for p.
1
Let o be -2 - (2/2 + -23). Suppose 0 = 6*q - 2*q - o. Solve q*y - 2*y = 5*u + 25, 6 = -3*u for y.
5
Let b = 4 + 0. Solve b*w + c - 4*c = 20, 5*w - 2*c - 18 = 0 for w.
2
Let q(c) = c**2 + 16*c + 28. Let r be q(-14). Solve 4*w = 0, r*w - 3*w = 5*y - 25 for y.
5
Suppose 7*u - 58 + 2 = 0. Solve 2*s = -4*t + 30, 0 = -3*t - 3*s - u + 38 for t.
5
Suppose -o = -2*o + 25. Suppose 0*s - 5*s = -o. Solve 0 = 4*d + u - 5, 4*d = s*u - 14 - 11 for d.
0
Let w(c) = -5*c - 8. Let q be w(-2). Solve -q*j - j + 5 = -4*k, -j = k + 10 for j.
-5
Let j = 70 + -60. Solve 6*f = f + 5*d + j, 24 = -4*f - 4*d for f.
-2
Suppose 3*z - 9 = 0, -4*q = -4*z - z + 3. Solve 5*u - 1 = 6*u - 5*t, 2*u - 11 = -q*t for u.
4
Let m(p) = -p**2 - p + 2. Let b be m(-2). Let u = 3 - b. Solve 2*g = 2*a, 0 = g - u*g + 5*a + 3 for g.
-1
Let s = 20 - 15. Solve s*h + 2*k = -5, -h + 0*h = -3*k - 16 for h.
1
Let l = -12 + 27. Suppose 5*s = 2*s - 3*y + 33, -5*s = -3*y - l. Solve 3*v + s = -4*f - 3, 0 = 3*f + 4*v + 12 for f.
0
Suppose 0*t - 12 = -3*t. Suppose 0 = 3*c + 5*k - 5, 2*c + 2*k - t = -k. Solve 3*n = -2*n + 20, 0 = 5*v + 5*n + c for v.
-5
Suppose q - p - 6 = 0, 5*p = -12 - 8. Let k be 5/15*(-2 + q). Solve -12 = j - 2*f, k*f + 18 = -4*j + 2*f for j.
-2
Suppose -4*f + 0*f = 32. Let s = -2 - f. Suppose 10*t - 8*t = s. Solve 0 = -z - 5*o + 4, -t*z + 6*z - 4*o - 12 = 0 for z.
4
Let a(u) = -3*u - 11. Let o be a(-5). Solve -k + 2*k + 17 = 4*l, 2*l = -o*k + 4 for k.
-1
Suppose -4*d - 9 + 21 = 0. Solve 5*v + i - 5 = -13, -i = d for v.
-1
Let q = 18 + -33. Let t be ((-16)/6)/(10/q). Solve 2*n - 4*d + 4 = 3*n, d = -t*n - 14 for n.
-4
Let w(j) = -j**2 + 7*j - 7. Let h be w(5). Suppose 8 = -2*q, -h*q - 24 + 10 = -2*t. Let s be (-3)/(t/(-2)*2). Solve 3*l = 2*n + l + 2, -l + 13 = s*n for n.
3
Suppose -1 - 11 = -c - u, -5*c + u = -72. Let k be 4/14 - 4/c. Suppose f - 2 = -0. Solve -f*s + 3*s - 6 = -4*w, k = -4*s + w + 7 for s.
2
Let i(o) = -10*o**2 + 6*o**2 + 6*o**2 - 1 + o. Let b be i(-2). Solve 4*k - 10 = -c, b*k - 14 = 3*c + 7 for k.
3
Suppose -16 = -5*b + 24. Let s be b/2 + 2 - 4. Solve -i - 21 = 5*z, -s = -5*i + 4*z + 9 for i.
-1
Let t = 32 + -27. Solve -2*n + 17 = -3*m, -t*m + 0*m = -4*n + 31 for n.
4
Let c = -38 - -91. Suppose -1 + c = 4*u. Solve -4*k + 12 = 0, 2*q + 2*q - k - u = 0 for q.
4
Let i be 2/5 + 13/(195/24). Solve s = -x + 7, -31 = -i*x - 5*s - 8 for x.
4
Suppose -4*k + 176 = -2*l, 2*k - k - 5 = 0. Let m be ((-4)/(-3))/((-4)/l). Solve -3*o - c - m = 4*c, 4*o + 4 = c for o.
-2
Let d = 2 + 1. Suppose 0 = -m - d - 2. Let j = 10 + m. Solve -5*x = -i - j + 21, -4*i - 36 = 5*x for x.
-4
Suppose -5*u = m - 0*u + 11, u + 7 = m. Let a be (0 - -4)*2/m. Suppose -5*n + 6 = -a*n. Solve 3*j - x - 12 = -j, -5*j + 15 = n*x for j.
3
Let k = 17 - 17. Solve n = 2*x + 8, k*n + 5*x = 2*n - 18 for n.
4
Let n be (-8)/6*9/6. Let l = n + 4. Solve l*k + d + 6 = 0, 0 = 5*k - 4*d - 7 + 22 for k.
-3
Suppose 0 = -3*i + 2*i + 3. Let n = i + 0. Let l = -4 - -7. Solve 0 = -2*f + 8, -l*x - 6 = -0*x - n*f for x.
2
Suppose -1 - 5 = 2*x. Let w be x/(-2) - 2/(-4). Suppose -7 = -5*j + 38. Solve 0 = f + 2, -n + w*n + j = -2*f for n.
-5
Let w(p) = p**3 - 3*p**2 + p. Let x be w(4). Suppose x = -4*b - b. Let o = 6 + b. Solve -4*v = -g + 2, v - 5 = 4*g - o*v for g.
-2
Let p(t) = 2*t**2 - 3*t + 1. Let b be p(2). Let s = 1 + -1. Solve s = -4*l - 4, 2*l - 1 = b*r - 0 for r.
-1
Suppose 2*z = o + 7, 3*z + 2*o = -0*o + 7. Solve 19 = -w + z*w - 5*p, w - p = 2 for w.
-3
Let n(p) be the second derivative of -p**4/12 + p**3 + 7*p. Let c be n(6). Solve -4*j + c = -3*r + 23, -1 = r + 3*j for r.
5
Let v be 2/(-8) - (-402)/(-24). Let t be v/(-2) + 3/6. Solve 3*u = 3*h - t, 5*u + 16 = 3*h - 1 for h.
-1
Suppose 4*t = -o + 24, 2*o = 5*o - t - 7. Solve 7*s = 2*s + o*l - 3, -2*s - 6 = -4*l for s.
1
Let n = 80 + -76. Solve n*k - 3*j = 8, 4*j + 22 = -2*k - j for k.
-1
Suppose -3*j = 2*j. Let u be 128/5 + 1 + (-2)/(-5). Solve 3*d - 5*x = d - u, j = 4*d + 5*x - 21 for d.
-1
Suppose 0*h - 2*c - 28 = -4*h, 4*c + 21 = h. Solve -5*r + 20 = -3*w, 4*w = -5*r - 10 - h for r.
1
Let a = 27 + -12. Solve -a = 3*n, -n - 13 = -t + 2*n for t.
-2
Let r = 3 + 1. Solve -r*w + y - 5 = -1, 12 = -w + 3*y for w.
0
Let t = -8 - 6. Let y = t + 20. Suppose 5*r - y = 2*r. Solve d + r*d = -2*z + 2, -z - 2*d = 0 for z.
4
Let u = 45 + -27. Solve -2*f + 2*t = -0*t + u, 5*f = t - 29 for f.
-5
Let u = 1 + -1. Let k = u + 4. Solve -4*l - k*c = l + 11, -l - 3*c = 0 for l.
-3
Suppose 0 = -0*l + 2*l - 4*g - 12, 0 = -3*l + 2*g + 14. Solve -5*y + 25 = 4*n - 0, l*n + y - 21 = 0 for n.
5
Let j be (-4)/2 + 20*2. Let g = -23 + j. Suppose 0 = 3*w - 4*r + 3, r = -w - 2*r + 12. Solve 4*l - 20 = -2*m, 2*m - g = -0*l - w*l for l.
5
Let g = 26 + -10. Let i = 35 - g. Solve i = -5*u - 4*r, 0*r = u + r + 4 for u.
-3
Suppose -t = -3*b - 4 + 9, b + t + 5 = 0. Let z = 1 + -1. Solve z = -i - 4*k - 17, b - 7 = -4*i - k for i.
3
Let j = -1 - -6. Solve 0 = -2*o - n + j, -o + 3 = n - 0 for o.
2
Suppose 0 = -3*i - g + 3, 18 = 3*i - 0*i - 4*g. Let f(r) = r**3 + 2*r**2. Let o be f(i). Solve 3*d - 3*y - y - o = 0, 4*d - 4*y = 16 for d.
0
Let b = -13 + 13. Solve 4*p = -4*f + 8*f, b = 5*f - 25 for p.
5
Let k(l) = 161*l**3 + 4*l**2 + 2*l - 2. Let f be k(-2). Let d be 2/(-7) + f/(-63). Solve 4*s - d = 0, -4*q = -s + 4*s - 23 for q.
2
Let h = 3 + 12. Let u(g) = -g + 15. Let v be u(h). Solve v = -4*j - 2*p - 2, -2*j + j = 3*p - 2 for j.
-1
Let l be 210/(-18) + (-1)/3. Let a be (-4)/l*(11 + -2). Solve -a*u = -s + 8, 2 = 4*s + 5*u - 2*u for s.
2
Suppose 29 + 13 = 3*t. Let u = 102 + -97. Solve 3*b = 5*d - 5, t = -u*d + 4 for b.
-5
Let b be 16 - 3/(-3) - 2. Let d be (-5)/(b/(-12)) - -1. Solve 5*f = 3*i - d - 0, 4*f + 4 = -i for f.
-1
Let s(r) = 2*r**3 + r + 1. Let x be s(1). Solve -16 = 4*v, 3*k + 4*v + 20 = x*k for k.
4
Suppose 5*o + 2*w - 35 = 4*w, -2*o + 3*w = -14. Let t = -5 + o. Solve 4*r - 8 = 0, 0 = 3*i - t*r + r - 10 for i.
4
Suppose 9*u - 1 = 10*u. Let x(d) = -d - d**2 - d**3 + 0*d + 0*d. Let g be x(u). Solve g = y + w, -19 = -5*y - 3*w + 5*w for y.
3
Let w(i) = -i**2 + 12*i + 15. Let j be w(13). Solve 0 = -j*c - 4*u + 6, -2*c + 6 = 3*u - 1 for c.
5
Let z be (-48)/(-15) - 2/10. Suppose 0*f + z*f - 18 = 0. Solve -4*d - 8 = 4*q, 4*q = f*q for d.
-2
Let f(b) = b**2 - 4*b + 3. Let t be f(5). Let k(i) = -i**3 + 9*i**2 - 8*i + 3. Let q be k(t). Solve l + 2 = q, 3*l - 15 = -3*v for v.
4
Let u be 1/(-6) + (-245)/42. Let w be (-9)/u - (-1)/2. Let m be (2 + -2 - 0)/w. Solve t = -m*t - 4*i - 2, -5*i = 0 for t.
-2
Let r be 30/2*6/18. Solve r*j = 5*w, 6*j - j + 40 = -3*w for w.
-5
Suppose -2*l + 0*v + 28 = 2*v, 3*l - 44 = -v. Suppose -k + 3*k - 8 = 0. Suppose -2*x + k*x = 0. Solve 3*m = 3*d - l, -5 + x = 4*m - d for m.
0
Suppose -5*t = 23 - 3. Let a be 22/6 + 2/(-3). Let v be a/(-12) + (-13)/t. Solve -6 = 2*q - 4, -v*g - q = -14 for g.
5
Let b be 3 - 0 - 4 - -12. Solve b = 5*s - x, s + 0*x = 2*x - 5 for s.
3
Let r(q) = -q**3 - 6*q**2 + 6. Let n be r(-6). Solve 5*b = 5, n*b - 2*b = 4*y + 24 for y.
-5
Let o = -3 - -6