 z - 2, 0 = 4*z + 3*u - d. Solve -z*r + 3*n - 10 = 0, r = 6*r + 4*n + 2 for r.
-2
Suppose -a + 3 = 1. Suppose 0 = u + 3*m + 27, 5*u + 72 + 63 = 2*m. Let z be u/(-12) + a/(-8). Solve -3*v = -z*r, 2 = -4*r + 4*v + v for r.
-3
Suppose -18 = -4*m + g, 4*g - 1 = -4*m + 7. Let s(v) = -v**2 - 5*v - 2. Let p be s(-3). Let z be (7/(-14))/((-1)/6). Solve w = z, -m*r + 3 = p*w + 11 for r.
-5
Suppose 4*b - 3 - 21 = 0. Solve u = -2*l - b, 4*u + l = -3 - 7 for u.
-2
Let v(z) = 3*z - 6. Suppose -2*j = 2*i + 2*i - 2, -4*i - 4*j - 8 = 0. Let b be v(i). Solve 5 = -b*p + x, 4*p + 3*x - 1 + 25 = 0 for p.
-3
Suppose 54*c - 24 = 48*c. Solve -h + 7 = c*r, -5*r - 4*h = -2*h - 11 for r.
1
Suppose 8 = -4*g + 24. Solve -3 = -2*n + 3*w + 4, g*w - 4 = -4*n for n.
2
Suppose 4 = 2*y - 0. Solve -3*n = -2*r + 2, 3*r + y*r + 17 = 2*n for r.
-5
Suppose 31*t - 25 = 26*t. Solve 0*p = -5*b - t*p, 4 = -b - 2*p for b.
4
Let k be 0 - (4/(-2) - 0). Let s be 2/(-4)*-19*k. Solve -2*c + 2*i = -3*i - s, 0 = -2*c - i + 1 for c.
2
Suppose 6*d + 3 = 7*d. Solve 2*i = d*c + 4*i, -3*i = 0 for c.
0
Let u = 26 + -38. Let x = u + 6. Let m be (-3)/x + 34/4. Solve 4*a + 28 = 2*q, 3*q - m = 3 for a.
-5
Suppose -4*t + 3*o = 6, 5 = 3*t - 5*o + 15. Solve 2*j - 4*d + 2 = t, 2*d + 4 = -4*j - 0*d for j.
-1
Let i(w) = -w**3 + w + 2. Let l be i(0). Suppose -4*v + l*v + 6 = 0. Solve 4*q + 7 = -4*u + v, -q = -2 for u.
-3
Let z = 19 - 15. Suppose 0 = 4*t + z*w - 12, -t + 0*t = 4*w + 3. Solve 4*p = -p - 2*g + 1, 5*p = -t*g - 5 for p.
1
Let n(z) = z**2 + 9*z + 3. Let d be n(-9). Let h be (1*6)/(d/2). Solve 5*x - 5*g - 15 = 0, -2*g + 6 = -5*x - h*g for x.
0
Suppose 12 = 3*k + 3*k. Suppose j + 5 = 6*j. Let l be j - (-1 - 0) - k. Solve 2*x + 2*x - o = 19, o - 1 = l for x.
5
Suppose -1 = 3*c - 25. Suppose -2*t = -2*f + 15 - 5, -4*f = 5*t - 65. Suppose -2*o + c = -f. Solve 7 = -j + 3*w, 0 = 4*j + 3*w - 41 + o for j.
5
Suppose -3*g + n - 2*n = -19, 0 = g - 2*n - 18. Let p be 8 + -2 + g + -3. Solve -3*o - 4*z = 8, -p + 0 = 4*o + 5*z for o.
-4
Let o(c) = 2*c - 1. Let b = 22 + -19. Let q be o(b). Let h be (-1)/(0 + 2/(-8)). Solve 3*a = -q*z + 20, 2*a + 16 = h*z - 0*a for z.
4
Suppose -13*m + 6*m = -119. Solve 10 = -3*q - 3*a - m, 21 = q - 5*a for q.
-4
Let s(t) = -t**2 - 9*t + 11. Let z = 15 - 25. Let f be s(z). Let x = 1 + f. Solve -x*g + 6*g - 3*c - 22 = 0, -2*g = -c - 10 for g.
4
Let x(u) = -u**3 - 6*u**2 - 7*u - 7. Let l be x(-5). Solve 3*m = -l, -5*t - m = -23 - 1 for t.
5
Let v be ((-10)/6)/(2/(-6)). Suppose 0*r - 5*r + 75 = 0. Solve 0 + r = 3*y - 5*c, v*c = y - 15 for y.
0
Suppose -n = -4*r + 29, -167 = 5*n + 4*r - 2*r. Let q = n - -66. Solve 5*z = -5*x - 35, 0 = 2*z + 5*x + q - 10 for z.
-4
Suppose -7 = g - 3. Let o(s) = -5*s + 5. Let j be o(g). Solve 3*h + 3*r + 10 = 5*h, 5*h - 4*r - j = 0 for h.
5
Let i be (1 - -29)*5/15. Solve 2*t + 3*t = 5*c - i, -5*t - 2 = -c for c.
2
Suppose 10 = -q - 3*m - 19, 2*m + 28 = -q. Let d = -16 - q. Suppose -3*b = -4*x - d, b = 6*b - 4*x - 14. Solve -b*v = -2*z + z, 16 = 4*v + 2*z for v.
2
Let r(p) = 5*p - 61. Let z be r(18). Solve z = 4*y - 3*b, -7*y + 5*b = -2*y - 40 for y.
5
Let k = -67 + 70. Solve 3*o - 5 = -o + 5*w, k*w = -3*o - 3 for o.
0
Let u = -29 - -58. Suppose u = 3*x - 22. Solve -x = -q - 3*b, 3*q = 2*q + 3*b - 13 for q.
2
Let g(s) = -s**3 - 9*s**2 - 2*s - 7. Let a be 2*12/8 + -12. Let r be g(a). Solve -v = 3*d + r, -3*d + 5*d - 5*v = -30 for d.
-5
Suppose 4*n = -3*o + 26, n = 5*o - n. Solve -s = o*j - 13, -2*j = s - j - 9 for s.
5
Suppose 0 = d + 2 - 6. Let v = -1 - -4. Suppose v*l - d = l. Solve 4*y - 5*g = 35, -l*g + 2 = y - g for y.
5
Suppose 2*j - 42 = i, 0*j + i = -3*j + 73. Let x(a) = a**3 + a**2 - 5*a + 3. Let g be x(-3). Solve 3*y - u - 1 = g, 3*u - j = -4*y - 0*u for y.
2
Let k = -1 - -4. Let p be 9/2 - (-1)/2. Suppose 20 = -p*l, -4*l + 2 - 15 = u. Solve v - s = u*s, 4*v - 13 = k*s for v.
4
Let q(u) = -u**3 - 11*u**2 + u + 8. Let a be q(-11). Let z = a - -4. Let s(c) = 3*c**2 - c + 1. Let b be s(z). Solve 6 = -4*d + y, -b*y = -d - 3*d - 10 for d.
-1
Let j = -76 + 80. Solve -4*d + 0*t = -3*t + 20, d + j*t = 14 for d.
-2
Let n(r) = 8*r + 4. Let d be n(0). Solve -4*p - 6 = 3*q, -d*q - 5*p - 2 = 5 for q.
2
Suppose -5*z = 2*p - 29, 5 = 5*z - 2*p - 16. Solve z*i - 2*f + 19 = 0, -2*i + 5*f - 25 = 3*i for i.
-3
Let l(n) = -5*n - 2. Let u be l(-3). Let c = u - 10. Solve -t + x + c*x = -25, 3*t - 3*x = 30 for t.
5
Let k be -7 - (9/3 + -5). Let x = -1 - k. Solve -x*d - r = 1 + 2, -2*d + 4*r - 24 = 0 for d.
-2
Let y = -12 - -17. Suppose -y*u + t + 34 = 0, 4*u - u - t = 22. Solve -u*h + z + 24 = -2*h, 2*z - 17 = -5*h for h.
5
Let j be (-3)/6 - (-82)/4. Suppose j = 2*y + 2*y. Solve 0 = 5*c - 3*b + y, -c - 2*b = 10 + 4 for c.
-4
Suppose 2*k = 4*m - 6, 5*k - 47 = -m - 18. Solve -m*x + 5*r = -12, -3*x - 6*r = -3*r + 18 for x.
-2
Let y = -21 + 29. Suppose 3*j - 1 = y. Let c = 0 - -3. Solve 0 = -w - c*w - j*s - 16, -16 = 4*w + s for w.
-4
Let m(n) = -n**2 + 10*n - 11. Let t be m(8). Suppose 2*h + 46 - 52 = 0. Solve 31 = 2*f + 5*p, -f + t = p - h for f.
3
Let r = 2 + 3. Let h(z) = -z**2 + 6*z + 3. Let c be h(5). Let w be (0 - -1)/(2/c). Solve -2*t + w*b = 3*t - 6, r*b - 9 = -2*t for t.
2
Let r(i) = i**3 - 9*i**2 - 10*i + 2. Let y be r(10). Suppose 0 = y*v + 3*v - 25. Solve -2*z = -4*c + 16 - 2, 4*c = v*z + 5 for z.
3
Suppose b + 4*n = 3*n + 8, 3*n = 5*b. Suppose g = -m - b, 2 = -2*m - 3*g - 8. Solve c - 4*w - m = 0, 4*c = 3*w - 5 - 4 for c.
-3
Let h = -146 - -149. Solve 2*p = 0, 2*o = o - h*p - 2 for o.
-2
Let u be (-8)/(-20) - (-123)/5. Solve -2*m - 3*y - 5 = 0, 3*m = m + 3*y + u for m.
5
Suppose -18 + 34 = 4*u. Solve 4 = -y, -3*o + u*y = 3*y + 11 for o.
-5
Suppose 1 = s - 1. Suppose 0*y + 2*y = 2*u + 6, 4*y + 4*u - 36 = 0. Let b be (-2)/(-6) - s/y. Solve 3*r = -5*f + 4, b = -f + 2*f + r for f.
2
Let v be 0 + 8/((-4)/(-2)). Suppose 0 = -4*c + v*n + 4, -2*c + 11 = 2*n - n. Solve u + c = 0, -4*u + 7 - 3 = -4*d for d.
-5
Suppose 0 = -3*j + 4 - 1. Let o be j/(-5) - 142/(-10). Solve -y - o = 4*x, 2*x - 1 = 3*x - y for x.
-3
Let a(d) = -d**2 - 2*d + 4. Let p be a(-3). Suppose -2 = z - 5. Let q(v) = -29*v. Let g be q(-1). Solve -4*t + 3*u = -g, -t - z*u - p = -u for t.
5
Let d = -3 + 8. Let k(u) = u**3 - 5*u**2 - 2*u - 1. Let n be k(d). Let r = -6 - n. Solve 0 = -r*c - 5, 0*m - 4*m + c + 1 = 0 for m.
0
Let s(p) = p**2 + p - 5. Let f be s(-5). Suppose 0 = -2*k - 5 + f. Suppose 0 = k*x - 25 + 5. Solve g = x*a - 9, -5*a = -0*a - 5 for g.
-5
Let l = -88 - -90. Solve -3*h = -3*a + 3, -l*h - 2*a + 3 = 5 for h.
-1
Let k = 167 - 80. Suppose -66 = 3*u + k. Let s = u + 71. Solve 0 = 4*q - 3*z - s, 3*q = 2*q - 2*z + 5 for q.
5
Suppose -2*k = t - 15, 2*k - 10 = 2*t - 2*k. Suppose 4*d - 40 = -t*a, 4*a - 32 = -4*d + a. Solve -4*n = 5*z - 10, -2*z + 6 = d*n + 2 for z.
2
Let x(j) = -j - 1. Let z be x(-4). Suppose -3*i - 2*t + 11 = 0, -z*i - 3*t + 6 = -6. Solve -2*w + 3 - 23 = 3*f, -i*f = w + 16 for f.
-4
Let o = -8 + 13. Let s = -3 + 8. Suppose -d - s = -2*d. Solve 5*a + 30 = o*m, 0 = d*m - 7 - 3 for a.
-4
Suppose 0 = -4*y + 18 - 6. Solve 12 = 2*t - 0*t - 4*j, t + 4 = -y*j for t.
2
Suppose 5*a - 23 + 3 = 0. Suppose -p - 3*y = 11, 27 = -p + a*p - 3*y. Solve u + 2*d - 6 - 6 = 0, -2*u + d = -p for u.
4
Suppose -4*t + 11 + 5 = 0. Suppose 3*f - 38 = 7. Suppose 4*u - 5*w - f = 0, 9 = -u - 3*u - 3*w. Solve -4*l + 5 = -t*i + 17, u = 2*i for l.
-3
Let m = 1 - -2. Let t be (-1 - 24/(-4)) + m. Solve 2*j + 2*i = -i - t, -j - 5*i - 4 = 0 for j.
-4
Let h be 33*(-2 + (-7)/(-3)). Let b = h + -5. Solve -3*t = 4*u - 3*u - 6, 3*u = -t - b for u.
-3
Suppose -5 = -b + 2. Solve -b*k + 7 = c - 6*k, -5*c - k + 15 = 0 for c.
2
Let v(g) = 9*g + 5. Let s(k) = 14*k + 8. Let i(n) = -5*s(n) + 8*v(n). Let q be i(-1). Let d be 3 + (q - 3/(-1)). Solve m + 2*m = 4*x - 23, 25 = d*x - 5*m for x.
5
Suppose 2*s + 1 - 9 = 0. Let t be (s/(-3))/(2/(-6)). Suppose t*c - 6 = -2*a, -3*a + 13 = 3*c - 2. Solve a*n + 17 = d + 3*n, 5*n + 13 = 4*d for d.
-3
Let x = -11 + 16. Solve 3*i - a + 0*a = 10, -x*a + 50 = 5*i for i.
5
Suppose -2*j - 2*j = 2*s, 0 = -2*j + 3*s. Solve -4*k = j, 2*q = -2*q + 5*k - 8 for q.
-2
Suppose j = 6*k - 2*k - 18, -k = -5. Solve n = -j*z + 6 + 4, 4*z = -5*n + 26 for n.
2
Suppose -3*x = -1 - 8. Solve 0 = -l - z + 1 + 1, 