 + 6 for y.
4
Let w(b) = -b**2 - 8*b - 5. Let s be w(-7). Let c = 29 + -21. Let z be 32/(-2)*(-6)/c. Solve 0*d = d - f, s*d + f = -z for d.
-4
Suppose h = 2*h + 2*n + 1, -5*h + 4 = n. Solve -4*s = 2*d + 6, h = -4*d - 3 for s.
-1
Suppose 0 = -8*t + 9*t. Solve 3*w + l - 20 = t, -8 = -2*w - l + 7 for w.
5
Let q = -10 - -14. Suppose 5*y - 2 = q*t, -4*y + 5*t - 2 = -0. Solve -5*u + u - 10 = y*k, -5*u - 5 = 5*k for u.
-4
Let l be 2 + 7 + -2 - 2. Suppose l*i - 6 = 9. Solve 2*s + v = 5*s, -i*s - 4*v = 0 for s.
0
Suppose 22 - 6 = 4*i. Solve -4*p = -4*d + 16, -3*d + 16 - i = 4*p for p.
0
Let z = -21 - -11. Let n = z - -14. Solve -n*c + j = -17, 3*c + 2 = j + 15 for c.
4
Let r = -4 + -4. Let m(x) = x**3 + 9*x**2 + 8*x + 5. Let o be m(r). Let g = 8 - o. Solve 4*k = g - 19, -k = -3*w + 10 for w.
2
Let s be (1 + -3)*-1 + -2. Suppose 0 = -3*m + 15, s = 2*i + 2*m - 15 + 1. Solve 5*p - 13 = -4*o, -o - 5*p + 3 = -i*o for o.
2
Suppose -4*j + 2*n + 15 = 3*n, -3*n = -2*j + 11. Let p(q) = q**3 + 4*q**2 - 5*q. Let y be p(-5). Solve y = -5*s - j*d - 21 - 6, -24 = 4*s + 4*d for s.
-3
Suppose 11 + 19 = -5*f. Let x be (8/6)/(f/(-18)). Solve -4*q = p + x*p - 15, -5*q = -25 for p.
-1
Suppose -5*f + 18 = 4*x, -5*x - 3*f + 4 = -12. Let u be 2/(-3)*-39 - x. Suppose -3*s - 6 = -u. Solve 3*q = 2*c - 8, -3*q = s*c - 4*c - 8 for q.
0
Suppose -6 = -5*r + 4. Solve -4*s - 16 = 0, 0*k - 2 = 5*k - r*s for k.
-2
Let n(v) = 11*v - 29. Let l be n(4). Solve 0*k + f + l = 3*k, -f = 3 for k.
4
Let w(l) = -l**3 + 4*l**2 + 7*l - 3. Let p be w(5). Let n = p - 2. Suppose -f + 0 = 3, 0 = -n*y + 4*f + 22. Solve -y*r = 0, -r = -5*x + 3*r for x.
0
Let n be (-5 - 0) + 2 + 0. Let o = 6 + n. Let p = 8 - o. Solve p*k - 14 = -l, l = 2*k + 5*l - 20 for k.
2
Suppose -9*m - 15 = -42. Solve 0 = -2*o - 5*k + 26, m*o = -0*o - 2*k + 17 for o.
3
Suppose 0 = -8*x - 5*x + 312. Solve x = 3*t - 4*k, 4*t - 22 = k + k for t.
4
Suppose 5*g - 75 = 5*p, 2*g - p + 21 = 4*g. Solve 3*f + 2*t = -g, -f - 4*t - 8 = f for f.
-4
Suppose 61 = 2*o + 5*a + 23, 5*o = -4*a + 61. Solve -4*h = z + 16, h - 4*z - o = 6*h for h.
-5
Let b(h) = -h**2 + 5*h + 2. Let t be b(5). Suppose 0 = -t*u - 2*u + 240. Suppose 0*p = -p + 4, 3*p = -4*x + u. Solve -x = 4*c - i, 0*c + i = c for c.
-4
Suppose -6 - 27 = 3*z. Let k be -2 - z - (-3 + 1). Solve -14 = -2*l + 5*b + k, 4*l + 20 = -4*b for l.
0
Suppose 0 = -y - 3*l - 4 - 9, 2*l = -5*y. Solve 0 = -y*z + 2*q - 2 + 20, -4*q - 24 = -z for z.
4
Let s = -21 + -15. Let l be 5/(-2)*s/30. Solve t = -l*k + 2*k + 2, -3*t + 12 = 5*k for t.
-1
Let x = -17 - -17. Solve 4*l - 20 = 4*y, x = 4*y - 2*l + 21 - 5 for y.
-3
Suppose 0 = -4*p + 7 + 5. Suppose 3*m = p*d - 6*d + 9, -12 = 4*m. Let v = -2 - -6. Solve v*j + 12 = -4*n, 5*j - 2*n = 6*j + d for j.
0
Suppose y - 4 = 0, -3*y + 16 = -5*t - 4*y. Let c = -3 + 3. Let d = c - t. Solve -4*s + 4 = -4*z, -12 = 2*z + d*s - s for z.
-3
Suppose 0*y = -5*y + 25. Suppose 7 - 57 = -y*q. Let z = q - 5. Solve 0 = 3*d - 5*k - 23, z*d - 3*d = -k - 2 for d.
1
Suppose -x + 28 = 4*v, -2*v + 5*x - 10 + 2 = 0. Solve 4*i = -2*p + v, 0 = -p - 1 - 0 for i.
2
Let n(b) = b**3 + 7*b**2 - b - 5. Let s be n(-7). Let f be 2 + -3 + -1 + 6. Solve s*p = -5*j + 18, -j + f = 2*p - 3*j for p.
4
Suppose -2*f - 2*f - 15 = -5*q, 0 = -3*f + 15. Solve 2*j = -5*w + q*j + 10, -4*w + 8 = -j for w.
2
Let m(d) = 9*d - 22. Let b be m(3). Solve 0 = 4*z - r + 5, r - b = 2*z - 2*r for z.
-1
Let c = 84 + -74. Solve 2*y - 5*k = -35, 0 - c = y - k for y.
-5
Let b = -6 + 11. Suppose -b*y + 21 + 1 = -3*r, 0 = -2*y + 2*r + 8. Solve y*a = -k + 23, 21 = 3*a - 4*k + k for a.
5
Let g(j) = 2*j + 27. Let k be g(-10). Solve 3*i = 0, 2*y - 5*i = k*y + 5 for y.
-1
Suppose 3*c + 30 = -2*c. Let x(o) = -o. Let t be x(c). Solve -2*f - t = 4*l, 2*l + f = -3*l - 9 for l.
-2
Let f(q) = -q**3 - 3*q**2 + 4*q - 1. Let i be f(-4). Let l = 4 - i. Solve -28 = -z - l*j - 9, 3*z - 5 = -2*j for z.
-1
Let i be 0 + -3 + 13 + -9. Solve -5*g + i + 14 = -5*n, 4*n + 4 = 2*g for g.
4
Let y be 3/(-6) + 42/4. Let r(m) = 2*m - 7. Let f be r(y). Let l = f + -8. Solve k - 4*q + 6 = 2*k, l*k - 9 = q for k.
2
Let t be 2*-1*(-4)/2. Let k(y) = -y**3 + 11*y**2 - 9*y - 10. Suppose -5*d - 20 + 70 = 0. Let v be k(d). Solve v*r + r = h + 1, 0 = -4*r + 2*h + t for r.
1
Let r(x) = -x + 1. Let b(y) = -3*y + 4. Let v(o) = b(o) - 4*r(o). Let u be v(3). Solve u*l - 12 = s, 5*l - 6*s = -4*s + 19 for l.
5
Let x(h) = 2*h**3 - 3*h**2 + 6*h - 12. Let z be x(2). Let a(b) = -b**2 + 7*b - 6. Let c be a(6). Solve 2*m + 5*u - 12 = -c*u, -3 = 5*m - z*u for m.
1
Let b(i) = -i - 2. Let d be (2*(-1 - -2))/(-1). Let z be (-3 - 1) + d/(-1). Let m be b(z). Solve -4*y + 3*o - 16 = 0, -o + m*o + 5 = -y for y.
-1
Let k be 6/((-28)/(-8) - 2). Solve 0 = k*d + 2*q - 10, 5*q = -4*d + 1 - 0 for d.
4
Let k be (-2)/(-4) - (-45)/(-10). Let d be 1 - (6 - 3) - k. Solve -3*s + 37 = 5*m, -d*s - m + 28 = 3*m for s.
4
Suppose 0 = 6*h - 6 - 18. Solve -h*c + 2*v = 28, v = -2*v + 12 for c.
-5
Suppose 5*b = 10*b - 25. Solve s + v = -4, 15 = -b*s - 4*v - 0*v for s.
1
Suppose 2*w + 0 = 4. Suppose 0 = 2*y - 6, 5 = -s - 5*y + 2. Let t = s + 22. Solve -t = v - w, 22 = 4*l - v for l.
5
Let a(m) = -m**3 + 10*m**2 - 8*m - 12. Let f be a(9). Let p be 0/1*f/(-6). Let c be -4*3/(-6) - p. Solve o = -4*x - 19, -c = -x + 2*o - 0 for x.
-4
Let g(b) = b**3 - 2*b**2 + 4*b + 4. Let z be g(3). Solve -2*w + 2*a = 3*a + 5, -w + 5*a + z = 0 for w.
0
Suppose -5*s + 8*s = 6. Suppose 15 = s*z + z. Solve -i + 21 = -5*m, -z*m = 2*i + 21 - 3 for i.
1
Let r be (-2)/11 + (-4)/(-22). Let m be -5*(r - 8/5). Let j = 3 - -1. Solve j*t - p = 1 + m, -5 = -t + 3*p for t.
2
Let f(j) = j**2 + 6*j + 7. Suppose 0 = 5*w - 10, 4*t + 2*w + 10 = -3*w. Let h be f(t). Solve -h*d = 2*u + 3*u + 4, 2*u = -4*d + 8 for d.
3
Let v = 1 + 1. Let k(x) = -x**3 + 5*x**2 + 6*x + 5. Let a be k(6). Solve -v*i = -4*l, a*i - 4 = 3*i for l.
1
Let f = -11 + 13. Suppose y = f*q, -y = -5*q + 4 - 1. Solve -4*b - 8 = 4*x, 0*b - x = 4*b - q for b.
1
Let o(f) = 3*f**2 + 2*f + 1. Let w be o(-2). Let j be -8 - (-2 + 1 + -2). Let x = w + j. Solve -3*a - 13 = -x*p, p + p - 5 = a for p.
1
Suppose 5*q - 2 - 4 = -x, -5*q + 9 = 4*x. Suppose d - q = 3. Let n be 7 + ((-360)/(-6))/3. Solve -2*o + 5*g + n = 0, 5*o + d*g + 16 = o for o.
1
Suppose -10*p + 9*p = -2. Solve -p*f - 1 = i + 2, 4*f = 4*i - 12 for i.
1
Let t(k) = k**3 - 5*k**2 + 8*k - 11. Let h be t(4). Solve -h*l - 13 - 10 = -2*g, 0 = -3*l - 4*g + 7 for l.
-3
Suppose 5*h + 0*h = 0. Let z = -1 + h. Let v be -2 - -1 - z*5. Solve -v*r = u - 2*u - 2, 5*r - 13 = -4*u for u.
2
Let s(n) = -n**3 + 6*n**2 - n + 8. Let h be s(6). Suppose 0 = h*u + u - 6. Suppose -3*d + u*d = -7. Solve a - 5 = -3*b + d, 5*a = 5*b - 20 for a.
0
Let z = 80 - 35. Let d be (-32)/(-3) + (-4)/6. Suppose -10 = -4*i + d. Solve -2*l - 5*a = 2*l - z, i*a = 4*l + 5 for l.
5
Let x be 1*-1 - (-19 + 13). Solve -1 = -3*b - 0*i + x*i, 3*b + 3 = 3*i for b.
-3
Suppose -3*m - 2*m + 3 = d, 0 = -2*d + 5*m - 9. Let t = d + 11. Solve -3*u + 3*z = -0*z + 9, -3*z + t = -4*u for u.
0
Suppose 0 = b + 3 - 2. Let q be 5 + 2/b - -7. Solve -m = -3*s + 3 + q, -25 = -5*m - 3*s for m.
2
Suppose c = -3*q + 5, 4*c = -5*q + 3 + 17. Solve 4*r - 16 = -2*n - 6, q = n + r - 3 for n.
1
Let z = -6 - -14. Solve -18 = 5*k - 3*w, -z = 4*k + w + 3*w for k.
-3
Let q be (2 - -1)/((-3)/(-5)). Solve q*f + 4*y + 16 = 0, -5*f = 3*y + 7 + 10 for f.
-4
Suppose -18*f + 19*f = 10. Solve 4*b - 2 = -2*s, 5*s - f = s - 2*b for s.
3
Suppose 0 = -0*m + 4*m. Suppose 0 = -y - m*y + 3. Solve y*p = -5*l - 11 + 39, -2*p = -l + 3 for l.
5
Let r be ((-1)/(-3))/(2/30). Suppose 2*q - 4*g + 146 = 4*q, g + 354 = 5*q. Let j = q + -35. Solve 0 = r*p - 20, -3*p = 4*s + p - j for s.
5
Let a(b) = 4*b**3 - 2*b**2 - b. Let z be a(-1). Let n = z - -5. Suppose 0 = 5*g + 3*k + 8 - 3, n = -5*g - 4*k - 10. Solve -m - 15 = -2*j - g, 3*j = 15 for m.
-3
Let t = 3 + 1. Let l(k) = -k + 8. Suppose x - 31 = 4*q, -4*q - 4*x + 1 - 17 = 0. Let s be l(q). Solve t*o - s = 4*i + 5*o, -2*o = -5*i - 9 for i.
-3
Let k be (-4)/(-3)*3*1. Suppose 0 = k*h - 12 - 0. Solve -3*v + 4*x + h = 0, -5*v + 2*x + 2 = -17 for v.
5
Suppose 0 = -4*j + 7*j - 15. Suppose -19 = 3*t - j*a, -3*a + 11 = -t - 2. Solve -2*f + 2*k - 4 = 0, -4*k - k + 10 = -t*f for f.
0
Let d(s)