s for y.
-2
Let l(t) = -t**3 + 5*t**2 + 7*t - 1. Let a be l(6). Let x = 9 - a. Solve 2*o + 0*o + x*r - 22 = 0, 5*r = 25 for o.
1
Suppose 21 = 3*o - 0. Solve -g + 2 + 3 = 2*q, -g - o = -2*q for q.
3
Suppose 3*j - 4*j + 2*x = -20, -4*j + 15 = 5*x. Suppose 0*q - j = -2*q. Solve 5 = z, -q*t = -3*t - z + 11 for t.
-3
Let w be 2 - 0 - (1 - 11). Let q be (-2)/4 - (81/(-6) + -5). Let v = q - w. Solve -2*m + v = 0, -y + 2*m - 1 = -0 for y.
5
Let t be 6/21 - (-46)/(-14). Let f = t - -7. Let l be (0/(-2) - -1) + f. Solve 2*k - m - m = 4, 4 = 2*k + l*m for k.
2
Suppose -2*q = a - 18, 5*q - q - 30 = a. Suppose -u - 14 = -0*u + 2*z, -5*z - 50 = 5*u. Let f = u + q. Solve -4*k + f*x + 20 = -0*k, -22 = -4*k + 3*x for k.
4
Let a be 434/8 + (-1)/4. Suppose 2*l = 3*l + 21. Let i = l + a. Solve -2*z - 5*t + 5 = i, -t = 3*z + 16 for z.
-4
Let j be (-2)/4*(-5 - -1). Suppose -5*m + 45 = 5*k - 2*k, 0 = m - 3. Solve -j*o = 2*q - k, 5*o = -3*q + 19 - 4 for q.
5
Let a(n) = n**3 - 3*n**2 - 3*n - 1. Let w be a(4). Solve 18 = g + w*g + 3*i, -g - 5*i = -13 for g.
3
Suppose -7*s + 15 = -6. Solve -s*j = 4*n - 10 + 1, j - 3*n + 10 = 0 for j.
-1
Let a = 53 - 37. Suppose -2*m - 4*s = -a, -5*s - 10 = -3*s. Solve z - 4*z - f + m = 0, -z + 20 = 5*f for z.
5
Let g(c) = -c**2 - 9*c - 6. Let h(f) = -f**3 + f**2 - f - 8. Let p be h(0). Let l be g(p). Solve 6 = -2*q - 4*o, -5*q - 3*o = l*o for q.
3
Let t(g) = g**2 - 9*g - 10. Let b be t(10). Solve m + m = -4*k + 18, 2*m + 5*k - 22 = b for m.
1
Let c = -7 - -9. Suppose 2*d - 3*j - 5 = 15, -24 = -4*d + 2*j. Solve -c*p - 6 = l - p, -d*l - 2*p = 16 for l.
-2
Let g be (-2 - -2)*4/(-8). Suppose 7*h - 2*h - 20 = g. Suppose -2*x = -r + 3, 0*x = 2*r + h*x - 14. Solve 3 = r*b - 2, -5*f + b - 16 = 0 for f.
-3
Let f(s) = 18*s + 1. Let y be f(1). Solve -3*b + y = -5*h, 5*b - 5*h - 22 + 7 = 0 for b.
-2
Let y be (4/(-6) - 0)*-12. Solve 2*x - y = 5*a - 23, 3*x + 4*a = 12 for x.
0
Let a be 38/(-4) - (-1)/2. Let j = -4 - a. Suppose 25 = 5*o + d, d + 31 = 4*o + 4*d. Solve j*g - 26 + 9 = -v, 4*v = -4*g + o for g.
4
Suppose 3*o - 16 = -4. Solve -4*t - 12 = -2*a, 26 = -o*t - 0*t - 5*a for t.
-4
Suppose -4*o + 0*o = -84. Let l be -2 + -2 + o/3. Let z(j) = j**3 - 2*j**2 - j - 4. Let k be z(l). Solve -r + 4*r + k*x = -1, 0 = -2*x - 10 for r.
3
Let p be 2*6/(-4) + 5. Solve 4*r - 5*z = -25, -r + 20 = p*z + 2*z for r.
0
Let c = 70 + -46. Suppose -b = -5*n + 16, -3*b + 2 = 2*n - 18. Solve 0 = 4*s + b*a - c, -5*s + 5*a = 2 - 12 for s.
4
Let l be 4/6 + (-14)/21. Solve 2*u + 4*k - 13 = -43, l = 4*k + 20 for u.
-5
Suppose -20 = -4*j - 4. Let g(o) = -7*o - 5. Let w(p) = 6*p + 5. Let y(l) = 5*g(l) + 6*w(l). Let d be y(j). Solve 4*h + 5*a + 1 = 13, -3*h - 4*a = -d for h.
3
Let h(f) = -f**3 - 7*f**2 - 2*f - 9. Let g be h(-7). Suppose 13 = g*w - 12. Suppose -1 + 4 = z. Solve 2*n = -z*m - 1, 0*m + w*n + 28 = m for m.
3
Suppose 3*w + 5 = 11. Solve 2*c - 7 = m, 4*m - w*c - 12 = -4*c for m.
1
Suppose -f = -1 - 1. Suppose -5*b + 19 + 15 = -3*c, -14 = -f*b + c. Let x = 15 - b. Solve 2*m - x*m = -10, -4*p - m = 2 for p.
-1
Let c be 10/25 - (-72)/20. Solve 24 = 5*b + j, -c*b = 2*j - 4*j - 8 for b.
4
Let w = 4 + -4. Suppose w = 5*m - 10*m. Suppose m = -0*o + o. Solve 5*p + 15 = -c + 2*c, o = -2*p + 4*c - 24 for p.
-2
Let w(d) = d**2 + 8. Let o be w(0). Suppose 4*t + 12 = o*t. Solve 5*x + 0*x + 20 = 5*s, 0 = -t*s + 15 for x.
1
Let k = 19 - 13. Solve 3*j - 2*z - 14 = -3*z, -j + k = -z for j.
5
Suppose 3*y + 6 - 3 = -3*r, 0 = -3*y + 5*r + 5. Solve c - 2*v = y, 2*c - 2*v - 3 = 1 for c.
4
Suppose -2*y + 6 = -2*s, 4*y - 2*s - 32 = -10. Suppose -4 = -3*j + k, 0*j + 4*j = 4*k - y. Solve 2*p - 4 = 0, -j*o + 1 = -p - 0*p for o.
1
Let r = -23 + 48. Suppose 2*j + 10 = 0, 5*v - v = -5*j - r. Solve 0 = -4*m + 3*u + 4, -2*m - 2*u + 2 = v for m.
1
Let u = 46 + -66. Let a = 25 + u. Solve t - 7 = -4*d, 0 = 2*d - 0*d - a*t - 9 for d.
2
Suppose z - 19 = -4*a, 3*a - 2*a = -3*z + 13. Suppose 4*i - 8 = 12. Suppose i*t = 2*t + 6. Solve t*s - 8 = -4*m + z*m, 5*m = -s + 4 for s.
4
Let m be (6/(-12))/((-1)/6). Suppose -k = 4*j - 53, 3*j = -5*k + m*k + 46. Solve 7*c - 4*c + b = -2, j = 2*c + 4*b for c.
-2
Suppose -3*z = 4*o - 4, -2*z + z + 4*o = 4. Solve -4*s + 4 = 4*q, z*s + 4*s - 4*q + 20 = 0 for s.
-2
Let i(x) = -x**2 - 16*x - 10. Let n be i(-15). Suppose -n*d = -c + 22, -5*d - 5 = 5. Solve 0 = -2*u - 3*t - c, -4*u + 3*t = -6 - 6 for u.
0
Let g = -3 + 3. Let l(j) = -2 + 4*j - j + 4 + j**2 + 2*j. Let o be l(-5). Solve o*r = -0*m + 5*m - 5, -2*r = g for m.
1
Let d(s) = s + 2. Let u be d(-2). Solve -4 - 1 = q - m, u = 5*q + 3*m + 25 for q.
-5
Suppose 6*r = r + 40. Let h = r - 6. Solve -j = 4*b - 0*j - 14, b - h*j = -1 for b.
3
Suppose 5 = -0*z + 5*z. Suppose l + z - 5 = 0. Solve 4*u = o - 15, 22 - 2 = -l*u for o.
-5
Let x = 0 + 3. Suppose -4 = -4*i + g, 2 + 2 = 4*i - 4*g. Let b be i + 0 + 2 - -1. Solve y - 1 = -r, x*r - 14 - 17 = b*y for y.
-4
Suppose -5*q = -q. Solve 2*i + r - 7 = 0, -3*i + 4*r = 6 - q for i.
2
Let g = 12 - 12. Suppose 0 = -c + 3 - g, -15 = -4*h - c. Solve 2*a = h*t + 8, 2*a = a - 3*t + 4 for a.
4
Let z(t) = -t - 8. Let h be z(-11). Suppose -2*l = h*l - 25. Let u = 3 - 1. Solve -u*o = 5*m + 9 + 4, -l*m + o - 16 = 0 for m.
-3
Suppose -5 = -y - 3. Solve -2*f + 4 = -0*l + l, -2 = -y*f - 2*l for f.
3
Let g(y) = -2 + 4 + 3*y - 3*y**2 + 4*y**2. Let j be g(-3). Solve j*z - v = 5, -2*z = -6*z + 4*v for z.
5
Let k be 7/(-5) + 6/15. Let b = k + 19. Suppose 0 = -y + 2*s + 12 - 3, 0 = -4*y + 2*s + b. Solve 3*n + n = -3*o + 6, 0 = -5*n - y*o + 9 for n.
3
Let r be 3 - 1 - -1*2. Suppose 2*y - 5 - 1 = 0. Suppose -o = -4*t + y*t + 2, -r*o = t - 2. Solve -3*b - 2*b + 4*u - 18 = 0, t*b = 2*u - 8 for b.
-2
Suppose -2 = c - 2. Solve -3*n = 3, d - n + 0*n - 6 = c for d.
5
Let g = 28 - 23. Solve -2 - 5 = g*m + 2*a, -3*m + 2*a - 1 = 0 for m.
-1
Suppose -4*g - 21 = -k - 2, 5*g + 20 = 0. Let c be (-1 - 8)*2/k. Let w = 6 + c. Solve -3*p + w*p - b - 20 = 0, -p - 30 = 5*b for p.
-5
Suppose -5 + 47 = 2*p. Let s be 72/p + 3/(-7). Solve 0 = -s*m + 3*a - 3, 0*m - 4*a + 3 = -3*m for m.
-1
Let q be (-3)/(-12) + -1 - (-35)/20. Solve -t + 2 = 3*i + q, -2*t + 3 = 5*i for i.
-1
Let z be (-206)/(-6) - (-1)/(-3). Suppose -5*s - 9 = -z. Let r = 3 - -25. Solve -2*m - r = -5*x + s, 3*m = -4*x + 8 for m.
-4
Suppose -9 = -3*x, 4 = -2*s - 2*s + 4*x. Solve 2*c = o - s + 7, -4*c = 5*o - 31 for o.
3
Let m(k) = -k**3 - 5*k**2 - 2*k - 1. Let b be m(-5). Solve b + 6 = -j + 4*u, -5*j + 5 = -4*u for j.
5
Suppose -3*q = 4*w, 5*w + 3 = -3*q - 0. Solve -4*h - 2 + 6 = -4*k, -q*h - k + 9 = 0 for h.
2
Let g be (2/4 + -1)*-42. Let v = g - 17. Solve 4*l - 12 = -5*w, l = 2*w - 14 + v for w.
4
Suppose -32 = -u + 4*k, 1 = -3*u - 4*k + 17. Suppose -2*v + 4*s = 0, v - 3*s + 0*s = 3. Let t = u - v. Solve -t = 4*q - 2*h, -14 - 2 = 3*q + h for q.
-5
Let o be 10 - (5 + (-3)/1). Let x be (6 - o)/((-2)/4). Solve -2*z + c = -c + x, -11 = 4*z - c for z.
-3
Suppose -2*x = -5*x + 12. Suppose 8 = -x*s - 4*v, 7 = 4*s - 5*v - 3. Solve -5*q + s + 7 = 2*a, -4*a - 19 = -q for q.
3
Let g be (-3 - 0)*10/(-6). Suppose -u = -3*u. Let y be ((-6)/(-4))/(2/4). Solve 3*p + 1 + 33 = -g*m, y*p - m + 4 = u for p.
-3
Suppose -1 = -k - 0. Let i = k + 0. Solve 3*r - 5*w + 22 = 0, -r = -4*w - i + 20 for r.
1
Let m be 2 - (6/3 + -4). Solve -5*f + k = -6, -15 - 1 = -m*k for f.
2
Let g be (-4)/(-3)*9/2. Suppose -5*x + 10 = -5. Suppose -9 = -q - 2*l, 4*l = 1 - 21. Solve 3*f + 20 = -5*v, -x*f + 2*v - g*v = q for f.
-5
Suppose -5*q + 0*q = 0. Let g be 0 + q/(-2) - -3. Let c = -318 - -321. Solve -4*i = g*y - 6*y - 22, 4 = c*i + 4*y for i.
4
Let v(y) = -y**2 + 7*y. Let w be v(7). Let o = -47 - -50. Solve w*j + 5*j = -5*c - 5, -17 = j - o*c for j.
-5
Let q(d) = -d**2 - 13*d - 11. Let o be q(-11). Solve -j - o = -3*a, -a - 30 = 4*j - 6*a for j.
-5
Let u = -2 - -4. Let n = 26 + -19. Solve u*r + n = 2*h - 1, r = -5 for h.
-1
Let q be (-4)/5*285/(-6). Let j = q + -26. Solve 0 = 3*u + a + 3*a - 21, 0 = 4*a - j for u.
3
Let f(o) = o - 6. Let c be f(4). Let s be (-8)/c - (0 - -1). Let m = -1 - -1. Solve -p + 4*b = 4, 0 = -s*p - m*p + 2*b + 8 for p.
4
Let q be (3 - 2)/(2 + -1). Solve q = -2*x - a + 6, 3*a - 15 = x for x.
0
Suppose 0 = 10*f - 14*f + 20. Solve x = -f*c - 13, -3*x + 5*c = -2*x - 17 for x.