
4
Let p = -121 + 124. Solve -s + q = 6*q - 3, -p*s - 5*q = -9 for s.
3
Suppose 3*b + 6 = 6*b. Solve 2*m - 20 = -0*m - 2*w, -b*m - w + 15 = 0 for m.
5
Suppose 0 = -22*d + 24*d - 32. Solve 0 = 2*k - 3*r + 14, 2*r + 3 - d = 5*k for k.
-1
Suppose 0 = 2*z - 23 + 7. Suppose 5*x = x + z. Solve x*s = 3*k + 7, -k + 4*k + 1 = -s for k.
-1
Let q(a) = a**3 - 2*a**2 - a + 2. Let w be q(2). Suppose 2*s + s = w. Solve s = 2*z + 2, -2*z - 2 = -0*o - 3*o for o.
0
Let t(o) = -5 + o**2 + 1 - 5*o + 6. Let a be t(5). Solve 2*d = q - 13, a*q - 2*d - 18 = -2 for q.
3
Let a be 2 - (-1)/(2/10). Suppose -a = b - 5*n - 0, -b = 5*n - 13. Solve 3*m - 1 = 2*g, b*m - 1 = 4*g - 2 for m.
1
Let f be ((-9)/6 + 0)*-4. Let b = f - -4. Suppose -2*k - 3*l + 9 = -2, 4*l = -12. Solve a = s + 4*a - b, 2*a - k = s for s.
-2
Suppose f - 3*z = 13, -7*z + 3*z + 8 = 5*f. Let i(j) = -13*j + 8 + j**2 + 3*j + 4. Let c be i(9). Solve -f*x = -3*w - 31, 14 = 4*x + w + c for x.
4
Let g = -63 + 68. Solve 5*b + g*n = 20, -2*b + n - 2 = -2*n for b.
2
Suppose 0 = -2*j - 4*g - 0*g + 20, -4*j + 28 = 5*g. Solve -3*t - j*b - 16 = 0, t - b = -6*b - 14 for t.
-4
Let s = 16 - 11. Suppose -s*z + 34 + 3 = 4*c, 22 = 4*c + 2*z. Solve -5*y = -5*f - y + 7, 2*f + c*y = 12 for f.
3
Suppose 57 = -5*r - c, -2*c = 3*r + 28 + 2. Let s = -9 - r. Solve s*h - 5*m + 1 = 0, h + 6 = -m - 3*m for h.
-2
Let k be 0/(2 - 0) - 1. Let v be k/(-1*3/15). Suppose 0 = v*j - 8 - 12. Solve -5*s + 20 = j*p - 0, -s - 5*p = -4 for s.
4
Let s be (-3)/(-12)*(14 + 3 - 1). Solve -3*b = -12, -4 - s = -2*j - 3*b for j.
-2
Let d(w) = w - 4. Let r(y) = y - 5. Let x(o) = 4*d(o) - 3*r(o). Let f be x(4). Solve -5*s - 9 = f*u, 4*u + 4*s + s = -7 for u.
2
Let l(a) be the first derivative of a**3/3 - 6*a**2 + 3*a - 5. Let g be l(12). Solve 21 = 5*z - 2*m, -5*z - g*m + 11 + 20 = 0 for z.
5
Let i be (-2 + 0 + 0)*-1. Suppose -4*p - p + i*j + 2 = 0, 0 = p - 3*j + 10. Solve -n - p*n + 12 = 3*v, 14 = -4*n + 2*v for n.
-1
Let a(k) = -k + 4 - 4. Let l be a(-3). Let i(y) = -6*y - 240. Let v be i(-40). Solve -l*u - 5 - 1 = v, 0 = -3*p - 2*u - 4 for p.
0
Let x = -66 + 86. Let v be (-43)/(-9) + (-4)/(-18). Solve x = -v*b - 5*j, -j = -b + 3*j + 11 for b.
-1
Let w(c) = 3*c**2 - c. Let r be w(1). Suppose 0 = -2*o + 6 - r. Solve 0*i - 5 = 5*q - 5*i, 0 = -o*q - 5*i + 5 for q.
0
Let n = -16 + 18. Suppose 5*w - n*w = 63. Let y(z) = z**3 + 3*z**2 + 3. Let q be y(-3). Solve 2*l + l + w = -3*t, q*t = l - 5 for t.
-3
Let m be (-4)/2*(-27)/3. Let d(p) = p**2 - 2. Let o be d(3). Suppose 5*t = -2*j + o + 4, -5*j = 3*t - m. Solve -3 = j*x + 4*h - h, 3*x - 3*h + 9 = 0 for x.
-2
Suppose 4*t - a = -5*a + 44, -16 = -4*a. Solve l = -3*c - 4, -2*l + t = -c - 6 for c.
-3
Let a = 8 - -1. Let x be 1/(-3) - (-21)/a. Solve x*g = -4*b - 16, 5*b + 0*b = -2*g - 19 for b.
-3
Let b be 2 + 4/(-1 - 1). Suppose b = 3*f - 7 - 5. Let w = 1 + f. Solve 10 + 0 = -5*n + 5*i, -4*n = -w*i + 9 for n.
-1
Let c = 40 - 22. Solve -z = -3*z - 2*s + 10, -2*z - 4*s + c = 0 for z.
1
Suppose x - 7 = -x + 3*b, -2*b + 10 = 0. Let r = -10 + x. Let m(z) = z - 6. Let u be m(6). Solve -2*t = 2*j - 5*j - r, u = 2*j + 2 for t.
-1
Let c be (1 - 5)*-1 - -1. Suppose 0*u - u + 24 = c*p, 0 = u - 4. Solve -3*w - 20 = w + p*o, o = 4*w for w.
-1
Let v(u) = -u + 11. Let i be v(8). Solve -2*w = 2*f - 5*w - 14, 2*f + i*w = 2 for f.
4
Let a = -41 + 54. Solve 0 = 4*t - t - 4*m + a, 4 = 4*m for t.
-3
Let y = 6 - 3. Suppose -y*m + 7 = -n, 3*m - 3*n + 6*n - 15 = 0. Let s be ((0/2)/m)/(-2). Solve 8 = 2*q - q + u, -5*u + 15 = s for q.
5
Suppose 0 = -14*t + 10*t + 12. Solve -z + 2*z - 2*h = t, -5*h = 15 for z.
-3
Suppose 0 = 2*k - 10, -4*k + 2 = -3*i + 6. Let r = 0 + 2. Let g(b) = -b - 7. Let u be g(-7). Solve u = r*q - 3*n - i, -4*n = -2*q + 10 + 2 for q.
-2
Suppose 4*k - 10 = -38. Let v(x) = -x**2 - 6*x + 10. Let b be v(k). Solve 0 = -f - b*f - 5*t, -4*f = -4*t - 36 for f.
5
Suppose -4*w + 20 = 4. Suppose -4*u - 3*k + 64 = -0*k, 0 = w*k - 16. Solve -3*q + u = 5*a, -3*a + 2 = 4*q + 3 for a.
5
Let f be (-3)/2*14/(-3). Let d be 2/(-2*(-2)/40). Suppose 0 = 4*z + o - d + 7, -5*o = 2*z + f. Solve j - z*y + 16 = 0, 2*j - y + 2 = y for j.
4
Let i be 3*3/((-9)/8). Let w be (-2)/i - (-14)/8. Let x be (-230)/(-55) - 2/11. Solve u + 2*t = 10, -u + x*u - w = t for u.
2
Let l(t) = -t**3 + 6*t**2 + 4*t - 6. Let s be l(6). Solve 18 = 4*k - 2*v, -3*v = 5*k - 4*v - s for k.
3
Suppose -2*h - 3*l = -7, l - 7 = -5*h + 4*l. Let o be -3 + h/2*8. Suppose 0*d - 1 = -2*r - d, -5 = 5*r + o*d. Solve 3*t = -r*j - 13, 5*j - 15 = -4*t - 37 for j.
-2
Suppose 0 = 4*v + 4*r - 48, 0 = -v + 2*r - 1 + 7. Suppose 9*y - v = 4*y. Solve 2*c - 1 - y = -3*g, 5*c = 5*g - 5 for g.
1
Suppose -5*l - 21 = p, 0*p + 2*p = 4*l. Let g(d) = -d**3 - 5*d**2 + 7*d + 6. Let o be g(p). Solve -5*x + 7 = -h - 8, 2*x - 2*h - 6 = o for x.
3
Suppose 0 = 2*x + 4*x - 156. Suppose 2*g + 0*g - 12 = 0. Suppose 0 = -0*w - w + g. Solve 0 = -5*q + 5*f - 5, w - x = -4*f for q.
4
Let a = 3 + 0. Solve 2*w + 16 = -2*s, s + 20 = -a*w - w for w.
-4
Let n(z) = z**3 - 7*z**2 + 8*z - 9. Let y be n(6). Solve 8 = -y*g + g - 2*h, 12 = -3*h for g.
0
Suppose 2*b - 2*h - 20 = 0, -b + 5*b - 26 = -3*h. Solve -w - 3*z - 14 = 2, -z = -3*w - b for w.
-4
Let y be ((-25)/(-15))/((-5)/(-6)). Solve -h + 37 = 5*d + 3*h, d - h = y for d.
5
Let r be 10/4*(64/(-20))/(-4). Solve -2*m = -t - 5, t = -4*m - r*t + 25 for m.
4
Suppose -5 - 40 = -9*l. Solve 0 = -c + 2*m + 7, -3*c - 9 = l*m + 3 for c.
1
Let n(h) = h**2 + 7*h + 4. Let w be n(-6). Suppose 0 = 3*c + 4*c - 21. Let k be 6/c + (-4)/w. Solve l = 1, -k*d + 3*d - 5*l + 5 = 0 for d.
0
Let r(p) = -3*p - 7. Let j be r(-5). Let t be (-1 - -2) + 0 - 4. Let b be 2 - (2 - 2)/t. Solve 4 = -3*m - 4*o, -j = -m - 3*m - b*o for m.
4
Let k = -2 + 4. Suppose -10 = -k*m, -d = -2*d - m + 9. Solve -q - 4 = 2*f - 0*q, -d*f - 4 = 4*q for f.
-3
Let l(s) = -7*s. Let z(y) = -8*y + 1. Let m(b) = 6*l(b) - 5*z(b). Let n be m(-4). Solve 0 = 5*c + 5, -n = -0*p - 2*p + c for p.
1
Suppose 2*s = -o - 2, 4*o - 1 = s - 18. Let v be 1/o - (-5)/4. Let i be (-3 - -4 - 4) + 14. Solve -4*w = 0, -4*y + i = 3*w - v for y.
3
Let i be (-2)/4 - 1/2. Let n be i + (-2 - -19) + -3. Suppose -3*z + l = -11, 5*z + 2*l - n = 9. Solve 4*g + z + 8 = 0, -x = 5*g + 15 for x.
0
Let a = 6 + -4. Suppose 2*b - 5 = 3*u - 13, -a*b = 3*u - 4. Solve 4*p + 3*w + u*w - 18 = 0, -2*w = -4 for p.
2
Let p = -214 + 219. Solve -p = 5*x, -2*x + x = -5*q + 16 for q.
3
Let z be (4/(-6))/(2/(-6)). Suppose -d = -z*d. Let g = 3 + d. Solve -g*p - 13 = -5*t + 2, 4*t = -2*p + 12 for p.
0
Let q = 12 + -13. Let t be 5/(-4) + (-6)/8. Let b be t - q - (-8)/2. Solve -p + 11 = -b*d, p + 3*d = -2*p - 27 for p.
-4
Let k be (15/12)/((-2)/8). Let z be k*(-2 - -3)*-1. Solve -5 = z*l, -w + 3*w = -l - 3 for w.
-1
Let o be 8 - 2*1/2. Let l be 1/4 + 57/12. Suppose -4*b - k + 35 = -1, -5*b + 45 = l*k. Solve -2*n - 18 = 3*y - o*y, y = -4*n + b for y.
5
Let v = -73 - -77. Solve o - 17 = v*x, -2*x + 2*o = -7*x - 31 for x.
-5
Let w = 110 + -107. Solve w*j - 2*j + 6 = 2*h, -3*j = -5*h + 14 for j.
2
Suppose 8*h - 3*h = -30. Let q = 10 + h. Suppose -4*y + 4 = -0*m + 2*m, -3*m - q*y = -6. Solve 2*x + 11 = -x - r, -5*x = -m*r for x.
-2
Let n be (-15)/(-6)*(3 + -5). Let g = 0 - n. Solve -2*z + 5 = g*u - 14, 7 = 3*u - z for u.
3
Let f(u) = -26*u**3 + u. Let n be f(-1). Suppose 3*t + 2*t = n. Solve -20 = -5*a - x, -5*a + a + 45 = -t*x for a.
5
Suppose -h = -5*h - 16. Let l be 10 + 4/2 + h. Suppose 3*c - 2*t - 3*t - 20 = 0, c - t = l. Solve -3*i = -c - 5, d - 2*i = -13 for d.
-3
Suppose -2*h + 3*y = -2*y + 19, -2*y = 6. Let t = -12 - h. Solve -t*a = d + 11, -5*d + 2*a = -d for d.
-1
Let m(c) = c - 3*c + c**2 + 1 + 0*c**2. Let u be m(5). Let d be 10 + -13 - (-9 - -1). Solve o - 5*o + 8 = 0, 0 = -3*h - d*o + u for h.
2
Suppose 0 = u - 4*u - 48. Let n be 6/27 + u/(-9). Solve -4*z + v + 25 = 0, -n*v - 3*v = 25 for z.
5
Let p be 49/(-6) - (-4)/24. Let r = p + 11. Solve 0 = r*c + 3*h - 3, -4*c + 0*c - 1 = -h for c.
0
Let p be ((-6)/2)/(3 - 4). Suppose -p - 3 = -3*q. Suppose 3*s = 3*z + 9, -s + 2 = 3*z + 7. Solve -l = -2*l + n + s, -q*l = -4*n + 2 for l.
3
Suppose 0 = 2*l + 4*o + 6, -3*l + 2*o = -o - 18. Let t(q) = -q**2 + 1. Let u be t(-1). Solve -4*j + 23 = -l*z, j - 2 + u = -3*z for z.
-1
S