 = -12 for y.
-3
Let u be ((-8)/10)/((-2)/30). Suppose 2*k - 4 = u. Solve a - 2 = p, 6*p + k = 5*a + 2*p for a.
0
Suppose -u - 1 = -3. Solve -u*f + 0*n - n - 5 = 0, -2*f - 2*n - 8 = 0 for f.
-1
Let r = -3 - -4. Suppose -1 - r = -2*k. Let a be 24*((-3)/(-3))/k. Solve -2*b - 5*h = 5, -5*b = 5*h - 4 + a for b.
-5
Let x(r) = -r + 8. Let p be x(7). Let k be (4 + (0 - 2))*p. Solve 0 = -k*u + 2*w, 0 = -6*u + u - 4*w + 9 for u.
1
Let v = -9 + 23. Let x = v - -11. Suppose -2*q = 3*q - x. Solve -5*b = 4*y + 7 + 13, -y + 20 = -q*b for y.
0
Let y = 31 - 27. Solve 4*r - 12 = r - 3*m, -y*r = -2*m + 14 for r.
-1
Let u be (-4)/14 + (-60)/(-14). Let c be (-721)/(-49) + 2/7. Solve 5*s - c = -5*w, -7 = -u*s - 3 for w.
2
Suppose 4 = -4*y - 5*k, -4*k = 9*y - 10*y + 20. Let v be -2 + -2*(-7 + 1). Let q = 2 + v. Solve -o - 3*n - y = -18, -3*o + n + q = 0 for o.
5
Let a(h) = 2*h**2 + h - 2. Let c be a(-2). Let g be c*3 + (1 - 0). Let f = g - 8. Solve u = f*b + 3*u + 10, 5*b + 10 = u for b.
-2
Suppose -3*b = 3*b. Suppose b*z = -6*z + 30. Solve -1 = 2*k - 4*o + 5*o, -2*k + z*o = 31 for k.
-3
Suppose x + 16 + 4 = 3*m, -2*x - 12 = -2*m. Let t = -7 - 1. Let s = t - -10. Solve 0 = -f + 2, -u = -s*f + m - 2 for u.
-1
Let o(y) = y + 2. Let n be o(-3). Let z be n/(-4) - (-93)/12. Solve -4*a + 16 = 0, -5*a + 2 = 2*g - z for g.
-5
Let u be (5/10)/(1/4). Let w be ((-1)/((-2)/4))/u. Solve 3 = 2*v - 4*j - w, -5*v - j - 1 = 0 for v.
0
Let z(p) = -p**2 - 3*p + 4. Let v be z(-4). Suppose -2*g = 4*m + 6, v = -3*g + 5*g - m - 9. Solve g*x - 7 = 2*n, 5*n - 15 = 3*x - 2*x for x.
5
Let x = -18 + 20. Solve b - 1 = -x*s + 4*b, -2*s - 2*b = -16 for s.
5
Let s be (-1)/3*-15*2. Solve -4*m + 1 = m + y, -2*m - s = 3*y for m.
1
Let c = 9 - 7. Let b be 5 - c - 10/5. Solve 0*h - h + b = -r, -h - 2*r + 13 = 0 for h.
5
Let b = 87 - 85. Solve 4*w - 8 = -3*a, -w - 2*w - 11 = -b*a for w.
-1
Let q be 15/9 - (-2 + 15/9). Solve n - 7 = -q*k + 3*k, 23 = -5*k + n for k.
-4
Suppose 0 = -0*d + 3*d. Solve d = j + 5*b, j + b + 5 = 1 for j.
-5
Let k be 1 - ((-9)/6 - (-2)/(-4)). Solve -k*s + j = -4, 2*j = -2*s + s - 1 for s.
1
Let b(c) = -c + 10. Suppose -3*k + 14 = -16. Let l be b(k). Suppose l = -3*i + 8 + 13. Solve 0 = -2*a - 4*z - 4, i*a - 2*a - 4*z - 32 = 0 for a.
4
Suppose 0 = 19*w - 23*w. Let i = 4 - 2. Solve w*t + 5*m + 18 = -i*t, 4*t = 2*m + 12 for t.
1
Let m be 3/(-3 + 2) + 25. Let h be -2 + (-1)/((-2)/(-14)). Let d be (-4)/18 - 47/h. Solve 6*k + m = 4*k + 4*g, -d*g + 25 = 0 for k.
-1
Let h be 12/5 + (-7 - (-198)/30). Suppose -2*x + 0*k - 5*k = 10, -3*k - 2 = 2*x. Solve s - 2 + 3 = -x*b, 5*b + h*s = 3 for b.
-1
Suppose 0 = -4*h - h - 10. Let i be (-15)/(-3) - (2 + h). Solve i*f + 2*s - 4 = 3, -f + 4*s = -19 for f.
3
Let b be 14/28 + 10/4. Let k(q) = q + 2. Let a be k(b). Suppose -2*v = -7*v + 5*y + 35, 0 = -4*v + y + 13. Solve v*f + 17 = 3*p + 3, a*f - p + 9 = 0 for f.
-1
Let u be 5/3 - (-3)/9. Suppose -3*b = 12, u*p - 2 = -0*p - b. Suppose -p*f + 10 = l, 3*l - 3 = -18. Solve -f*k = -t - 6, k + 0*t = -3*t - 2 for k.
1
Let q be -2 - (-7 + (2 - 1)). Solve d = -5*c, -2*c - 2*d = -q + 12 for c.
1
Let k = 33 + -23. Solve -d - 4 = -3*u, -4*u + k = 2*d - 2 for d.
2
Let i be 2 + 4 - (-20)/10. Let n = -2 - -2. Solve -x - 3 + 4 = -k, -3*x - 2*k + i = n for x.
2
Let v(j) = 8*j**2 - 13*j - 9*j**2 + 2*j - 4 + 0*j. Let a be v(-9). Solve -5*i + 2*i = -5*c + 9, -2*c - 4*i + a = 0 for c.
3
Suppose 6*t = 2*t. Suppose -4*c - 6 = -3*l, -l + 2*l - 2 = c. Solve -2*q + t*q - 4*s + 14 = 0, -3*q - s - 4 = c for q.
-3
Let d = -68 + 92. Suppose 0 = -5*f - 0*f - 5*q + 5, 3*q = 5*f - 45. Let o be (-4)/f*(-8 + -1). Solve -l + h = 6, -o*h + d = -3*l - h for l.
-3
Let h(z) = -z - 7. Let l(m) = -1. Let q(v) = h(v) - 5*l(v). Let o be q(-8). Solve f = -3*n - o, 5*n + f - 3*f = -10 for n.
-2
Suppose -2*q + 4*q - 14 = 0. Let z(x) = x**3 - 8*x**2 + 8*x - 3. Let s be z(q). Suppose 30 = s*f - 6. Solve 0*m - 2*m - 4*h = 6, 3*m + h + f = 0 for m.
-3
Let q be (4/(-6))/((-2)/(-6)). Let a be 3/(-6)*(-2 - q). Solve -2*j - 4*m = 12, -3*m = -j - 1 - a for j.
-4
Let p be (0 - -7) + -2 + -3. Let g(i) = i - p*i + 5 + 2. Let k be g(7). Solve t + 2*h - 8 = 3*t, 2*t + h - 1 = k for t.
-1
Let i = -1 + 1. Let l = -12 - -10. Let n be l + (24 - 3/(-3)). Solve 5*q = b - n, i*q - 33 = 4*b + 5*q for b.
-2
Let l be (-3 - (-75)/27) + (-664)/(-72). Solve -3*d + 2*t - l = 0, -t = 5*d - 5*t + 15 for d.
-3
Suppose 5*n = -6 - 9, -3*f - 5*n = 6. Solve f*g - 18 = 3*p, 10*g = 5*g + 5 for p.
-5
Suppose 4*k - n = -27, -8 - 4 = -4*n. Let b be (0 - 1)/((-1)/11). Let u = b + k. Solve 3*l = 2*p + 9, 13 = u*p + 5*l - 2 for p.
0
Let l = -94 + 99. Solve -3*r + 4 = -t, -l*r - 2*t + 16 = t for r.
2
Let o be (0 + -3)*12/(-9). Suppose 1 = -o*s - 4*d + 5, 0 = 5*s - d - 29. Solve 0 = -f + s*g - 20, 2*f + 3*f - 20 = g for f.
5
Suppose -4*j - 12 = -4*o, 3*j - 22 = -5*o + j. Suppose -p + 2 = -o. Suppose -3*y + p*y - 90 = 0. Solve -2*f = 3*r + 9, y = 4*f - 4*r - 2 for f.
3
Suppose -5*o - 3*r = r - 116, 0 = 2*r - 8. Let q(i) = -i**3 + 7*i**2 - i + 10. Let h be q(7). Solve -3*s - 2*s + v = o, -12 = h*s - 2*v for s.
-4
Suppose -75 = -9*i + 15. Solve -5*r - i = 3*c, 3*r - 3*c = -7 + 1 for r.
-2
Let k = -129 + 130. Solve -5*n = -4*b, -b - 8 - k = n for b.
-5
Suppose 3*a = -2*a. Suppose 2*o + 3 - 11 = a. Solve 9*w = 4*v + 4*w + 6, o*w = -v - 12 for v.
-4
Let v be (-5)/(-3) + (-9)/(-27). Suppose 6*t - v = 4*t. Solve -4*h = 2*n, -6*n = 5*h - 3*n + t for h.
1
Let k(l) = -l**3 + 4*l**2 + 3. Let s be k(4). Solve 0 = n + 5*c - 15, s*n - 2*c + 1 = -5 for n.
0
Let b be 5*(36/10 + -3). Suppose -2*q + 5 = b*q. Solve -3*a - 4*g + 1 = -q, 0 = -a - 2*g for a.
2
Let v = 0 - 1. Let y be (0 - 8)/(-2) + v. Let m = 32 - 14. Solve -14 = -x + y*u, -m = -2*x + u - 5 for x.
5
Let p(q) = 2*q**2 - 9*q + 9. Let b(y) = y**2. Let j(f) = b(f) - p(f). Let u be j(7). Solve 3 + 12 = -u*w, 5*w = -v - 20 for v.
-5
Let v be (-24)/(-84) + (-12)/(-7). Suppose m = 1 + v. Let t be 6*(-2)/4*-1. Solve 17 = p + 5*y, 3*p + m*y - 6 = -t for p.
-3
Let g(u) = -u - 5. Let r be g(-6). Let f be 1 + (-4)/r + 4. Solve -v - 5 = -2*x, 4*x - f = 3*v + 10 for x.
2
Suppose -5*v = -2*v + 2*y - 4, 2*v - y - 12 = 0. Suppose 0 = 4*s + 3*b - 13, -13 = 4*s - 2*s - 5*b. Solve -h = -5*x - 12 - 3, 0 = -v*x + 3*h - s for x.
-4
Let j(m) = 9*m - m - 9 + 2 - m**2. Let w(s) = s**3 + 9*s**2 - 2*s - 12. Let h be w(-9). Let o be j(h). Solve 5*g + o*x = -10, 5*g + x + 0*x = -18 for g.
-4
Let s(w) = w**3 - 9*w**2 + 16*w - 4. Let m be s(7). Suppose 0 = -k + 5*k + 12. Let d be 2 + k + 0 + 5. Solve -3*y + 5*r - d = 6, -5*r + m = 2*y for y.
0
Suppose -3*l + 5*w + 5 = -2*l, -l - 5*w - 5 = 0. Solve 3*b - 2*r = l, 0*r = 5*b + 2*r + 16 for b.
-2
Let b = 21 + -14. Solve -7 = -4*v + h + b, 5*v - 12 = 4*h for v.
4
Let s = 6 + -1. Suppose 0*j + 5*j + 25 = 3*k, 50 = 2*k + 5*j. Solve s*n - m = n - 21, 5*m = 2*n + k for n.
-5
Let i = 20 + -15. Let m(w) = w**3 - 4*w**2 - 5*w + 4. Let l be m(i). Solve -q + 1 = -4*q + l*n, -5 = q + n for q.
-3
Suppose -6*l + 20 = -l. Suppose 15 = 2*o + 3*o. Suppose -h + o*h = 26. Solve l*x = 3*y + 4 + h, -2*x = -4*y - 6 for x.
5
Let u(p) = p - 2. Let q be u(3). Let j = 4 - q. Solve -s - 2*s = -2*o - j, 5*s - 5 = 4*o for s.
1
Let r(z) = 0*z - 2*z - z**3 - 4*z**2 - 4 - 3*z. Suppose 0 = -4*l - l, -2*a + 5*l - 6 = 0. Let c be r(a). Solve -c*q - 9 = 3*k - 5*q, k + 2*q - 3 = 0 for k.
-1
Suppose b - 6 = 4*f - 7*f, -3*f = -4*b - 6. Suppose f = 2*c - 0. Let t = 1 + c. Solve -t*a = 6, a = 2*l - a for l.
-3
Suppose -4*s + 318 = -382. Suppose 2*u - 5*v - 215 = -3*u, -4*u = -v - s. Let h = -31 + u. Solve 2*l + 11 = -3*a, -3*a + 6*a = -4*l - h for l.
-1
Suppose -7 = l - 4. Let h = 5 + l. Suppose 3*y = 2*y + h. Solve -13 = -5*m + s + s, -5*s = -y*m + 22 for m.
1
Suppose 23 = 5*x - 5*w + 3, w = 5*x - 20. Suppose 3*m - 60 = -0*m. Let c = m - 13. Solve -x*t = 5*q - 26 - c, 3*q = 15 for t.
2
Let s = 1 - 7. Let o = s + 6. Solve -l - k + 2 = -0*l, o = 2*l + 3*k - 6 for l.
0
Suppose -10*m + 8 + 22 = 0. Solve 4*c - 3*x - 3 = 5, c - m*x = -7 for c.
5
Let w = -9 + 13. Let k(c) = 2*c**2 + 5*c - 9. Let b be k(-4). Solve -3*j + j + b*a = -8, a - 2 = -w*j for j.
1
Suppose 0 = 2*o + n - 4, -16 = o + 5*n. Suppose -o + 5 = i. Solve -2*u - i = v, 5*u + v = 4*u - 1 for u.
0
Suppose k