lve -3*z - 4*j + a = 0, -2*j - 7 = 4*z + 1 for z.
-4
Let z(f) = f**2 - 12*f - 11. Let m be z(13). Suppose -2*b + m = 0, 3*h + 4*b = 5*h + 2. Solve 2*j - p + 5 = -3*j, j + h = -4*p for j.
-1
Suppose 4*l + 4*x = 16, -5 = -6*x + x. Solve -6*q + 2*q - l = j, 9 = -3*j for q.
0
Suppose 3*u - 12 = -3. Suppose 15 = u*g - 0. Solve -4*i + i - 6 = -3*b, g*b + 40 = -5*i for i.
-5
Let c(l) = l**2 + 5*l + 3. Let a be c(-5). Let h = a + 12. Solve 4*q + h = -2*g + 7*q, 5*g - 25 = -5*q for g.
0
Let a be (8/3 - 2)*15. Let m be a/25 + 76/10. Solve -2 + m = -2*b - 4*t, 5*t + 30 = 2*b for b.
5
Let p be (-2)/(-7) - (-260)/70. Solve 0 = m + 4*l - p, -2*m = m - 4*l - 12 for m.
4
Let w(c) = -2*c + 5. Let f be w(5). Let s = f - -7. Solve 3*y + s*o + 25 = 0, -2*y + 3*o + 10 = -y for y.
-5
Let g be ((-32)/(-24))/(4/18). Let k(l) = 2*l - 4. Let i be k(g). Suppose -8 = -2*x - 0. Solve 5*t = -x*v - 22, 2*t + 0*t = 4*v + i for v.
-3
Suppose p + 0*p - 2 = 0. Suppose p*a - 10 = -0*a. Solve a*t = -3*j + 8, -4*t + 2 = -2*j - 0 for t.
1
Suppose 5*n + 49 = 114. Solve -5*c + 2*z - 17 = 0, 3*c + z + n = 5*z for c.
-3
Let h be (-2)/(-3)*(-9)/(-3). Solve 0 = 3*g - 2*g + 1, 5*g = -l - h for l.
3
Let s be -1*3/(-3)*-309. Suppose -2*f - 45 = j, -f + 5*j - 5 = 1. Let g be (-4)/(-14) + s/f. Solve -5*o = -3*d + 4*d, 4*d + g = -5*o for d.
-5
Let z(a) = -a**3 + 6*a**2 - 7*a + 4. Let j be z(4). Solve 4*r + 4*d - j = -0, 0 = 3*r - 3*d - 24 for r.
5
Suppose 3*j - 5*y - 26 - 14 = 0, -2*y = -j + 15. Suppose j*z + 18 = -7. Let u(k) = k + 5. Let w be u(z). Solve w = -2*b - 3*v - 4, 2*b + 2*v = b - 2 for b.
-2
Let c = -6 - -10. Solve 3 = b + 4*o, -c*o = -5*b - o - 31 for b.
-5
Let b(z) = -4*z**2 + z - 1. Let y = 1 - 0. Let o be b(y). Let g = 9 + o. Solve d - 4*q - 9 = 0, -q - 3*q = g*d + 3 for d.
1
Suppose -5*v = -185 - 0. Solve 2*j - 6 = 3*j + 2*l, v = 3*j - 5*l for j.
4
Suppose -4 = -3*m - 4*h, 4*h + 2 - 6 = 2*m. Suppose m*l + 21 = 3*l. Solve l*u - 3*u = 4*s + 24, 0 = -2*s + 4*u - 22 for s.
-1
Suppose -3*n - 5*r + 22 = 0, 5*n = -4*r + 32 + 9. Let x = 0 + 4. Solve -2*k - n = 3*o, o = -2*k + x*o + 21 for k.
3
Let o(y) = -2*y + 7. Let m be o(5). Let f be 3/m + (6 - 5). Solve l + 5*i = -8, f = -4*l - 2*i - 9 - 5 for l.
-3
Suppose b - 6*b = -15. Let c be 6/2*(1 - b). Let r be (-26)/(-7) - c/21. Solve r*u = -4*q - 12, 3*u + 3*q + 21 = 6*u for u.
2
Suppose -h + 5 = -0*h. Solve 3*y - 6 = -3*d, 0 = h*y + 2*d + d - 8 for y.
1
Suppose i - 17 = -3*i - 5*n, 2*n + 4 = 2*i. Let d = 1 - i. Let y be 0/(-3)*d/(-4). Solve 12 = -4*f, y*f - 4*f - 10 = 2*j for j.
1
Let q = -22 + 31. Solve 0*o - 3*m = 3*o - 9, 5*o - m = -q for o.
-1
Let x = 23 - 11. Suppose -m + x = -2*q, 0*m = 3*m - 2*q - 24. Solve 0 = -4*v + 5*z + 20, m*z + 12 = 3*v + 3*z for v.
0
Let u = -81 + 86. Solve -3*v + 4*h = u, -2*v - h = 8 - 1 for v.
-3
Let z = -20 + 30. Suppose 0 = -6*m + 3*m + 6. Suppose 0 = 3*o + m*o - 40. Solve -o = -y - 5*p, -5*p = -2*y - 3*y + z for y.
3
Let u = -4 - -4. Let w be u - (-3)/(-3)*-2. Solve y - k = -w, -5*y - 3*k - 2*k = 0 for y.
-1
Let k(p) = p - 6. Let u(z) = -10*z. Suppose 4*n + 0*n = -4. Let t be u(n). Let h be k(t). Solve -4*c = -3*j - h, 2*j + 4*c - 4 = -0 for j.
0
Let r be ((-1)/(-3))/(3/45). Let b(v) = v**2 - v + 3. Let m be b(3). Let u be 1/(-2) - m/(-2). Solve 0*q - u = -r*x - q, 4*x = -q + 3 for x.
1
Suppose 0 = f + 2*w + 1, f - 5*f + w = -23. Solve -f*a = x - 8, -5*a + 14 = -2*x - 0*x for a.
2
Suppose 3*k + 33 = 3*q, -2*k = 2*k. Solve 0 = -h + 5*u + q, -2*h + 1 = -3*u - 0 for h.
-4
Let j be 0 + 2/15 - (-28)/(-210). Solve z + 13 = 3*a - j*a, 5*z - 7 = -3*a for z.
-1
Let v = 7 + -2. Let f(o) = o**2 + 5*o + 5. Let w be f(-6). Solve -5*r + 3*x = -w, -v = 4*r - 3*x - 15 for r.
1
Suppose -8 = -0*b - 2*b. Let x = 20 - b. Solve x = 5*o - 2*o + 4*t, o - 9 = -5*t for o.
4
Let y(m) = -5*m - 8. Let q(n) = 11*n + 16. Let i(g) = -4*q(g) - 9*y(g). Let f be i(-5). Solve -2 = 5*w - v + 2*v, -f*v - 6 = 0 for w.
0
Let w = 7 + -7. Solve -5*u = -2*m + 25, 3*m - 30 = -w*u + 5*u for m.
5
Suppose -5*d = -10*d + 75. Solve -4*q = -12, -x - 2*x + 3*q - d = 0 for x.
-2
Let h be 4*1 - (-4 - -3)/(-1). Let w = 24 + -13. Solve -h*i = -0*i + q + w, i = -3*q + 7 for i.
-5
Let x(d) = 2*d + 26. Let r be x(-11). Solve -r*j - 3*h = -20, j + 7*h - 3*h - 18 = 0 for j.
2
Let r(p) = -p**2 - 8*p + 8. Let q be r(-8). Let u = -5 + q. Solve 2*z = -3*c + 10, -3*c + 8*c - 16 = -u*z for c.
2
Let c = 7 + -7. Solve 4*q + 25 = 5*l + 3*q, -4*q = c for l.
5
Suppose -3*y - 6*v + v = -14, -2*v - 4 = -2*y. Solve -y*i + 12 = -5*t, -i - 3*i = 5*t - 16 for i.
4
Let f(h) = h**2 + 3*h - 6. Let n be f(-5). Let p be 1*(-3)/((-6)/n). Let r be (-2)/9 + (760/36)/5. Solve 5*y = 3*c - r, c - 2 + 1 = p*y for c.
3
Suppose 19 = -x + 4*x + 2*k, 2*x = k + 1. Solve 3*a - a = -4*o + 8, -x*a = 4*o - 12 for a.
4
Suppose 0 = -10*n - 13 + 53. Solve 0 = h + s - 5, -h - 4*h + n*s = 11 for h.
1
Let g(y) = y**3 - 6*y**2 - 2*y + 8. Let c be g(6). Let s be 14/(-7) + c/(-2). Solve x + 1 = -4*q, -3*x + s - 3 = -3*q for q.
0
Let k(t) = t**3 - t**2 + 2*t + 5. Let y be k(0). Solve -1 - 7 = -3*i + 4*v, 0 = -5*i + 3*v - y for i.
-4
Suppose 5*u = -5*p - 50, 0*p - u = -5*p - 38. Let m = p + 11. Suppose -k + 15 = m*i, -8 = k - 5*i + 9. Solve 3*f - 9 = 2*c, k*f - 6*f - 4*c + 9 = 0 for f.
3
Let z(j) = 4*j + 1. Let i be z(1). Let r = 8 - 4. Solve 0 = -q - r, 2*q + 3 = i*v - 0*q for v.
-1
Suppose 1 = 3*j - 2*j. Let b be (-16)/(-6) + (-16)/24. Solve -g = -2*u - 13, 4*u - b*u + 3*g = -j for u.
-5
Suppose 3*c + 0*c = 36. Suppose 2*v - 3*v + 3 = 5*i, 4*v = -i + c. Suppose 0 = o + v*o - 12. Solve o*n + 0*n - 2*m = -3, -5*m + 5 = -5*n for n.
-1
Suppose 27 = 4*o - 2*x - 7, -5*o + x + 47 = 0. Solve -5*h + 0*h = -k - 2, 0 = 5*k + o for h.
0
Let b(l) = 6*l**2 - 5*l - 3*l**3 - 4 + l**2 - 2*l**3 + 4*l**3. Let w be b(6). Solve 8 = -y + 3*y - w*s, 2*s + 9 = 3*y for y.
1
Let n = 28 - 25. Solve 2*j - 5*d = 23, 0*d = 5*j + n*d - 11 for j.
4
Let r(w) = 1 - 2*w - w + 2*w. Let x(q) = q + 2. Let z be x(-8). Let i be r(z). Solve -4*y = t + 5, 0 = 5*y + 2*t - i*t + 25 for y.
-2
Suppose 0 = -4*y + 42 + 58. Let w(g) = 2*g - 5. Let b be w(4). Suppose -r = -b*d + 9 - y, 3*d = -r - 2. Solve -l = -0*l - c - r, -16 = -3*l + 2*c for l.
2
Suppose 3*p - 51 = -0*p. Suppose 3*f = -4*r - 14, -2*r + 5 - 21 = -3*f. Suppose -f*t = -3*o + o + 2, t + 11 = 3*o. Solve -8 - 6 = t*a - c, -p = 5*a - c for a.
-3
Suppose 2 = 3*b - 2*f + 1, b + 4*f - 5 = 0. Let p = b + 3. Solve -u + 2*u - q = 7, p*u + 3*q - 14 = 0 for u.
5
Suppose -5*o + 21 = -4. Solve -4*i + 5 = -i - o*v, i + 25 = -5*v for i.
-5
Let a be 3/(6/(-8))*21. Let i be (-2)/6*a/4. Solve 0 = -r + x - 6, -3*r - 3*x + i = -x for r.
-1
Let y = -12 + 17. Solve 5*v + y*k + 5 = 0, 0 = 5*v - 5*k - 28 - 7 for v.
3
Let y = 0 - 25. Let i = y + 44. Solve -p = x - 6*x - i, -9 = -3*p - x for p.
4
Let r = -28 + 30. Solve 4*b = r*p - 8, -2*p = -3*p + 5*b + 10 for p.
0
Let y be (-6)/(-9) - (-46)/3. Let t = -3 + y. Solve -4*c - 5*b - t = 0, 3*c + 1 = 3*b + 25 for c.
3
Let t be 3/(-9) - (-75)/9. Solve q = l + t, 5*q - 2*l = 11 + 17 for q.
4
Let k(c) = c**2 - 7*c - 1. Let v be k(4). Let b = v + 16. Let i = -1 - -3. Solve -4*z = -i*q - 4, -b*q + z + 2 = -z for q.
2
Let t be 6/(-10) - 6/(-10). Suppose 3*c - 3*v = -0*v - 6, 5*v - 37 = -4*c. Solve 4*u - 3*u + 1 = -c*k, t = -2*u + k + 12 for u.
5
Let u(o) = -2*o + 8. Let b be u(2). Let q = -9 - -15. Solve 5 = m + t, b*m - 3*t + 9 = -q for m.
0
Suppose 2*h + o + 5 = 5*h, 0 = 4*h + 3*o - 11. Solve 16 = -0*p - h*p + 4*g, 0 = 3*p + g + 10 for p.
-4
Let y = 24 + -21. Solve y*u = 3*k + 12, -5*u + 2*k - 3*k = -8 for u.
2
Let r(y) = -y**2 + 11*y - 8. Let u be r(9). Solve -5*v = 3*c, -4*c - u = -2*c for v.
3
Let j(g) = -g - 1. Let h be j(4). Let c be 2/h - (-4)/10. Solve w - 2 = c, -d + 2*w - 2 = -0*w for d.
2
Suppose 0 = -4*t + 8*t + 5*p + 5, 4*p = -2*t - 4. Solve -4*b - 18 = -3*f, 0 = -t*b + b + 4*f - 5 for b.
-3
Let v = 5 + -2. Solve -15 = 5*f - 2*a, -v*f - 4*a - 14 = 21 for f.
-5
Suppose -2*p - 2 = -4*s, -6*s = -5*s - 2. Suppose -2*a - a = -3*w - 57, -w = -p*a + 59. Solve 2*q + c - 5 = -1, -5*c = 3*q - a for q.
0
Let d = 76 + -74. Solve z = -i - 3, 4*z + 6 = d*z for i.
0
Let y = -17 + 21. Suppose -y*o + 2 = 3*h, 3*o - h - 7 - 1 = 0. Suppose w = -2*j - 3*w, -3*j = 3*w - 3. 