.
1
Let a(f) = f**2 - 10*f - 16. Let s be a(12). Let q be 4/s*6 + -3. Suppose q = 5*r - 3*r - 8. Solve -3*d - 17 = r*v, -v - 2*d - 4 = 4 for v.
-2
Suppose k - 5 = 4*t + 11, -4*k + 2*t = -36. Suppose 3*r - k = 1. Suppose -3*h - 10*h + 39 = 0. Solve r*s + 12 = 0, h*s + 4 = -3*d + 2*s for d.
0
Suppose -2*v = -103 + 95. Solve 2*k = u - 1 - 12, 4*k + 32 = v*u for k.
-5
Suppose 13*b = -22 + 61. Suppose 2*t - 4 = -t - 5*p, 2*t + 3*p - 3 = 0. Let s be -1 + (b - -2) - t. Solve 5*c = r - s, -3*c + c = -2*r - 6 for c.
-1
Let d be 1 + (-1)/(4/(-32)). Suppose t + 18 = 2*t. Solve -3*l + f = 4 + d, -2*f + t = -4*l for l.
-4
Suppose 0 = j - 26 - 10. Suppose 3*a - 3*x + j = 0, 4*x = 5*a + 2*x + 69. Let c = -8 - a. Solve 8 = -r - 3*r, -i + 2*r + c = 0 for i.
3
Let z(s) = 3*s - 6. Let c be z(2). Suppose c = -4*d - 45 + 65. Solve d*h + 23 = 2*u, 2*h - u - u + 8 = 0 for h.
-5
Suppose -2*d + 7 + 19 = -4*h, 11 = 2*d - h. Solve d*z + 4*i - 17 = -0, 4*i - 23 = 3*z for z.
-1
Let t(q) = -2*q**3 - q**2 - 2. Let w be (-297)/(-63) - 2/(-7). Suppose 4*z = -3 - w. Let h be t(z). Solve 2*o - 2 = -3*n + 6, o = -3*n + h for o.
-2
Let z = 66 + -64. Solve -z*t - 4*f + 14 = 0, -2*t + 8 = 5*f - 10 for t.
-1
Let o = -4 - -7. Suppose -o*u - i + 4 + 2 = 0, 0 = -u + 5*i + 18. Solve 2*y - 11 = -u*w, 0*w + 4*w = y + 11 for y.
1
Let l(u) = u**3 + 8*u**2 - u - 8. Let n be l(-8). Suppose 15 = 8*d - 3*d. Solve -d = z + 2*g, -5 = -5*g - n for z.
-5
Suppose -2*z = -0*z - 10. Suppose 16 = -2*q - z*g, -3*q - 3*g = -4*q + 14. Suppose -k - 10 = -q*k. Solve f - a - 3*a = -10, -2*f + 3*a = k for f.
-2
Let z = -14 - -28. Suppose -14 = -4*y - p + 14, -2*y = 3*p - z. Suppose 4*f - y*f + 3 = v, -11 = -4*f + v. Solve -f*k + 5 = -3*o, 0 = 3*k + 4*o + 1 for k.
1
Let i be 0 + -57 + 1 + (-18)/(-6). Let s = -29 - i. Solve -a - s = 5*p, 5*p + 19 = -2*a - 9 for p.
-4
Suppose 4*f + 21 - 1 = 0, 2*o = -f + 1. Suppose o*m - 5*d = -11, 5 + 10 = m + 3*d. Solve -4*a - m*u = -14, u - 6 = -2*a - u for a.
5
Let i = 17 + -29. Let b(t) = t**3 + 12*t**2 + t + 13. Let q be b(i). Solve q = -2*x + 5*n, 0 = -2*x + 5*n - n for x.
2
Let u(o) = -20*o**2 + 10*o**2 + 5*o**2 - 7*o + 6*o**2 + 17. Let j be u(4). Solve 2*l - l = -3*x + 15, 25 = j*x + 4*l for x.
5
Suppose -3*d - 3*g = -9, 3 + 15 = 4*d - 2*g. Solve 3*n + 3*q = 9, n - 6*q + d*q = -6 for n.
0
Let p = -73 + 76. Solve -3*y - 3 = p*l, -y = -0*y - 4*l + 16 for y.
-4
Let k = -349 + 354. Suppose -2*s = s - 6. Suppose -s*x + k = 1. Solve 2*j + x*p = -2, 4*p - 2 = -2*j + p for j.
-5
Let j = -13715 - -13719. Suppose 0 = a - 9 - 24. Solve -2*u = -5*l - 0*u - a, 4*l + 36 = j*u for l.
-5
Suppose -26*m + 20 + 162 = 0. Solve 0 = 2*t - m*t + 5*a, -25 = -5*a for t.
5
Let a(t) = -3*t + 12. Let v be a(6). Let w = v - -18. Solve -5*m + m = -k, 0 = -4*m + 4*k - w for m.
1
Suppose r = 1 + 3. Let v be (r/(-8))/((-1)/28). Solve 2*g = -5*o + 2 + 11, -5*o - g = -v for o.
3
Suppose -270 = -2*a - 278. Suppose -2*g = 5*i - 57, i = -i - 4*g + 26. Let w = i + a. Solve 0 = -u - x - w, 0 = -3*u + 2*u + 4*x + 18 for u.
-2
Suppose 0*w = w - 5. Suppose -2 = 4*n - 4*p + 2, 5 = 5*n + w*p. Suppose n = o + 3 - 12. Solve -6*m + g - 19 = -2*m, -3*g = -o for m.
-4
Let g = 802 + -800. Solve -2*h - 6 = g*i, -3*i - 2*h - 3 = 2 for i.
1
Suppose 5*t = 2*d + 7, 24 = 5*d + 4. Suppose -t = -6*s + 5*s. Suppose 0*h = -4*h + 2*r + 10, 0 = h - s*r. Solve v = u - v + 1, -u + h*v - 2 = 0 for u.
1
Let t(w) = w**2 - 5*w - 21. Let u(s) = -s**2 + 7*s + 3. Let l be u(6). Let g be t(l). Solve -2*d + 15 = -4*n - 11, -d = 5*n + g for d.
5
Let g = 15 + -61. Let n = -26 - g. Solve n = 4*b + 5*z, 0*b - 5 = -b + z for b.
5
Let f = -358 - -211. Let q = 156 + f. Solve 5*t - 3*u = -6*u + q, -3*t + 15 = 5*u for t.
0
Suppose 28*o - 19*o - 108 = 0. Solve -2*t + 3*f = 3*t - 8, 2*t + o = 5*f for t.
4
Let b = 31 + -19. Suppose -7*w + 4*w = -b. Let o(f) = f**2 + f - 15. Let u be o(4). Solve 5*g - 16 = w*h + 3*g, -u*h - 20 = 3*g for h.
-4
Let l(z) = -3*z**2 - 24*z + 29. Let o be l(-9). Solve 4*x - 3*t = 8, -5*x + 4*t + 3 = o*t for x.
-1
Suppose -5*l + 11 - 3 = 3*i, 5*i - 2 = 3*l. Let j be (0/l)/(6/3). Solve 7*x = 5*x + 4*z - 18, j = -5*x + z for x.
1
Let i(p) = -p**3 + p**2 + 5*p + 1. Let h be i(3). Let s be (h + 14/4)*(-88)/(-33). Solve -t + z = 4, -3*z - s - 4 = 2*t for t.
-4
Let j = 11 + -5. Let n be 0/1*(-7 + j). Suppose 4*p + 7 - 27 = n. Solve z = -3*b - 2*b - 10, 4*b + p*z = 13 for b.
-3
Let y(i) = i**3 - 6*i**2 - 2*i + 14. Let n be y(6). Let u(j) = -2*j + 6. Let t be u(n). Solve -3*o + 3*z + t = 7*z, -z = -o - 4 for o.
-2
Suppose -18*j = -1319 - 1561. Let o = -155 + j. Suppose 5*d - 2*d - 3 = 0. Solve a = 2*w - 1, o*w - 8 + d = a for w.
2
Let z(n) = 2*n**2 - 48*n - n**2 + 40*n + 1. Let j be z(8). Solve -s = q + 2*s - 5, -2*q - 3*s = -j for q.
-4
Suppose 0 = 63*b - 68*b. Solve 4*y - w + 8 = -b*w, -3*y - 1 = -2*w for y.
-3
Let r be -1 - 5/((-15)/6). Suppose -u = -9 + 8. Suppose -r = -j + u. Solve -1 + 3 = -4*c - 5*i, -3*c = 2*i - j for c.
2
Let b(m) = -2*m**3 + 42*m**2 + 45*m - 17. Let x be b(22). Solve -w - v - 9 = -0*w, -5*w = -x*v - 5 for w.
-4
Let b(f) = f + 9. Suppose -4*j = 5*x + 59 - 14, 2*j = -10. Let g be b(x). Solve 6 = 2*k, -4*k + 18 = u + g for u.
2
Let a(g) = -4*g - 1. Let r be a(-2). Suppose 0 = 5*j + 25, 0*j - j + 25 = 5*p. Let u = p - -17. Solve -3*t + 7 = 5*m - u, t = 4*m - r for t.
5
Let v = 189 - 136. Suppose 0*o + i = 5*o - v, -22 = -o + 4*i. Solve 3*m + 2 + 4 = -2*p, 0 = -5*m - o for p.
0
Let m = 54 - 30. Let d = m + -22. Solve -d*s + p = 13, -6*s + p - 21 = -2*s for s.
-4
Suppose -4*i - 3*v + 32 = 0, 3*i + 5*v - 23 = 12. Solve i*k = 5, 2*m - 3*k = 2 - 1 for m.
2
Let w(c) = -38*c - 641. Let a be w(-17). Solve 5*t - 8 = -2*z + 4, -2*t + 9 = a*z for z.
1
Let a be 20/3*(-24)/(-10). Suppose -4*g + 7 = 3*s - 2*g, 4*g = -a. Solve 5*c = 2*j - 35, -4*j - 2*c = -s*c - 35 for j.
5
Let m(w) = -w**2 + 10*w - 39. Let k(p) = -3*p**2 + 21*p - 79. Let c(d) = 2*k(d) - 5*m(d). Let j be c(-11). Solve 0 = a + 3*q - 4, 4 = j*q - 8 for a.
-5
Let l be (-10)/(-4) + (31/2 - 16). Solve 5*y = 5*w + 13 + 2, -l*y = 3*w - 11 for w.
1
Suppose -2*h - 2*d = -10, h - 4*d + 0*d = 0. Suppose 0*u - h*u - 3*r = -7, -3*r = -2*u + 17. Solve -u*p = 2*a, -8 = 5*p - 2*a + 1 for p.
-1
Let y = -19 - -19. Suppose y = -3*k + 2 + 4. Solve 2*v - k*q = 5*v - 13, 2*v - 2 = 2*q for v.
3
Suppose -4*j - 16 = -2*g, -149*j + 18 = 5*g - 148*j. Solve 0 = -5*i + 3*n + 8 - 33, -5*n + 17 = g*i for i.
-2
Suppose 20 = 2*m - 4*w, 0 = 2*w - 3*w - 4. Let d(t) = 6*t**2 + t - 1. Let g be d(m). Solve -k - 1 = r, -2*k - g = 3*k - 5*r for k.
-3
Suppose 4*u + 0*u = 8. Suppose u*n = -n + 15. Suppose -n*z = -2 - 3, 3*w - 5*z = 4. Solve -v - 2*v + 23 = 4*k, -w*v - 17 = -4*k for k.
5
Suppose -f = -2*d - 8, 3*f + d + 21 = 24. Solve 27 = -f*w + 5*b, -w - 21 = -2*b - 2*b for w.
-1
Suppose -2*f = -24 + 18. Solve 16 = 3*w - 2*h, 6*w - 5*h - 22 = f*w for w.
4
Let f(q) = -33*q + 168. Let k be f(5). Solve -s = 2*d - 7, 2*d + 3*s - k = 2 for d.
4
Let f be 455/(-10) + (-1)/(-2). Let u be 2/10 + (-171)/f. Solve -4*x + 4*r - 8*r - 16 = 0, u*r = 5*x + 2 for x.
-2
Let j = -28 - -49. Let x = j - 18. Solve 2*f + b + 12 = -4*b, x*f + 7 = -2*b for f.
-1
Let u be 4*42/(-24) - -9. Solve -2 = -u*c - 2*l, 2*l - 5 = -5*c - l for c.
1
Suppose 2*a + 11 = d - 25, 0 = 5*a - d + 93. Let n be ((-1)/(-3))/(a/(-57)). Let b be (2 - 6)*(-1)/n. Solve -f - 2*g = 3*f + 16, -b*f - g - 12 = 0 for f.
-2
Let m be 90 - 2*3*3/18. Suppose 5*z - m = -3*x + 69, 4*z + x = 125. Solve 4*v - l + 4*l - z = 0, 2*v = -2*l + 18 for v.
4
Let i(b) = -b**3 + b**2 + 11*b + 7. Let r be i(-3). Solve 0 = 4*m + 3*p + 15, -3*m = -0*m + p + r for m.
-3
Let w = -1 - 5. Let z = w + 8. Let j be -4*((-8)/z - -3). Solve 2*s + 0*r - j*r = -14, -14 = -2*s - 3*r for s.
1
Let m(q) = q**3 - 12*q**2 + q - 7. Let n be m(12). Let i = 3 - 1. Solve d = 3*s + n*d + 5, i*s = 5*d - 11 for s.
-3
Let g(o) = -o**2 - 2*o. Let a be (2 - (5 - 2)) + -1. Let j be g(a). Let h be j*(-3)/(-12) + 3. Solve -5 + 1 = 4*n, 4*r - 3*n = h for r.
0
Let m = -1273 - -1276. Let b be (3/2)/3*14. Solve m*v - b = -4*q, 4*v - 3 = 2*q - v for q.
1
Let m = 488 + -486. Let p be 0 - (-3 + (-1)/1). Solve 4*r - r + 21 = m*z, 2*r = -2*z - p for r.
-5
Let i = 659 - 659. Solve -2*x = -2, -5*d + i*d - 5*x = 0 