o + 30 for m.
3
Let t = -1 - 3. Let d be (10/t)/(2/(-4)). Solve 13 = -d*a - 4*u - 17, 4*a - 2*u = 2 for a.
-2
Let o be 174/10 + 8/(-20). Suppose -7*h + 27 = s - 2*h, 4*s - 5*h + o = 0. Let i = 6 - s. Solve -3*v - 21 = 3*g, i*v - 4*g = 4 - 0 for v.
-3
Let a = 4 - 4. Let p be -2*(-2)/4 - -4. Solve -p*j + j - 20 = a, -5*v = j - 10 for v.
3
Let f(h) = h**3 - 8*h**2 - 7*h - 13. Let x be f(9). Let d be x/5 - 1*7. Let p be (-14)/(-21)*d/(-1). Solve -3*r + 0*r + 3 = 5*y, p*y - 16 = r for r.
-4
Let v(l) = -7*l - 2*l**3 - 4*l + 5*l**3 - 2*l**3 - 6 + 8*l**2. Let u(f) = -8*f - 1. Let x be u(1). Let i be v(x). Solve n - 4*c + 4 = 0, 2*n + n = -c - i for n.
-4
Suppose 19 = 4*c + 3. Suppose 5*g + 5*m - 20 = 3*m, -c*m = -4*g + 16. Solve 15 + 10 = -3*j + 5*t, -g*t = 4*j - 20 for j.
0
Let x = -64 + 66. Solve -4*r + 23 = 5*k, -2*k - x*r + 12 = r for k.
3
Let q be (-6)/(-27) - (-150)/54. Solve 0 = -4*u - q*v - 17, 3*u - 2*v + 12 = -5 for u.
-5
Let p(v) = -v**2 + 6*v. Suppose 5*s = 8 + 2. Suppose -3*z - 3*j - 10 = s*j, -4*z - 5*j = 5. Let k be p(z). Solve -4*r = -6*r - l - 1, -3*l - 25 = -k*r for r.
2
Suppose 3*b - 5*l = 5*b + 50, 5*b + 3*l + 87 = 0. Let m = b + 19. Solve m*w = 2*w - t - 6, -2*w - 6 = -5*t for w.
-3
Let s(t) = t**3 + 3*t**2 + 3*t + 5. Let w be s(-2). Solve -4*x + 3*c + 10 = -9*x, 6 = -w*x + 5*c for x.
-2
Suppose -2*i + i = 0. Suppose -2*t + 2 + 8 = i. Solve -3 = t*j - 0*c + c, 5*c + 15 = j for j.
0
Let w = -21 - -27. Let a(y) = -y**3 + 6*y**2 + 2*y - 9. Let c be a(w). Solve -2*q = 3*x + 2, c*x + q - 2*q - 10 = 0 for x.
2
Suppose 5*r = 2*r - k, -5*r = 2*k. Suppose r = z - 4 - 0. Solve -4*q - i - z = 0, -4*q = -3*q - 3*i + 1 for q.
-1
Let n(x) = -x**3 - 8*x**2 - 3*x - 6. Let f be n(-8). Let c = f - 13. Solve 2*t = t - 4*w - 20, 0 = -c*t - 2*w - 10 for t.
0
Let i(x) = 2*x - 5. Let h be i(4). Suppose 2*v - 3*r = -9, 1 = 2*v + 3*r - 20. Let l be 2 + v + 2 + -2. Solve 0 = 5*g + l*c + 20, 5*c + h = g + 1 for g.
-3
Let w(f) = 2*f - 9*f - 8 - 11*f**2 + 12*f**2. Let g be w(9). Solve 3*a + g = 4*c, 3*a + 4*c = -2 - 0 for a.
-2
Let z(i) = -i**2 - 15*i - 10. Let u be z(-14). Solve -13 = 5*m - 3, d + 3 = -u*m for d.
5
Suppose -5 - 1 = -2*b. Suppose 0 = 4*z - 2*z. Suppose 2*m + 5*m = z. Solve -h + 2*k - 8 = m, 0 = -5*h + b*k - 27 + 1 for h.
-4
Suppose 6 = 23*p - 21*p. Solve -c + 2*r + 14 = -0*c, p*c + r - 7 = 0 for c.
4
Suppose 5*l = -5*n + 85, 10 = -4*l - 2. Solve 4*h = -n, -4*r + 0*h = h + 21 for r.
-4
Suppose 99 = 3*m + 3*w, 0 = 4*m + w + w - 124. Let v = m - 9. Solve -4*y - 20 = -g + 2*g, 4*y = 4*g - v for g.
0
Suppose -3*a + 25 = 2*a - 5*c, -4*a - c + 10 = 0. Solve 0 = a*s - 4*b + 13, -3*b + 10 + 5 = 3*s for s.
1
Suppose -3*s + 3 = 5*b, 5*s = -3*b + 4 + 1. Suppose -2*f + 0*f + 4 = b. Suppose -f*o + 3*o - 20 = 0. Solve 5*p = -4*k + 26, -4*k - 2*p + o = -0*p for k.
4
Suppose 23 = 2*i - 17. Suppose 5*u - i = u. Solve 3*z + 3*n - 6 = 0, -2*n + 3 = u*z + 2 for z.
-1
Let i(x) = -x**2 + 11*x - 23. Let u be i(8). Solve 23 = 3*y - 5*h, 5*h + 21 - u = 0 for y.
1
Suppose 3*f = 2*f. Let q(l) = l - 5. Let k be q(6). Suppose u = m + k, 3*u + 5*m - 16 = u. Solve 0 = -t + u*d + 5, -3*t - 4*d + 9*d + 7 = f for t.
-1
Let i(u) = u**2 - 3*u. Let p be i(3). Suppose 5*y - 3*j - 98 = p, -5*y + y + 4*j + 80 = 0. Solve -2*x = -2*t - x - 6, t - y = -5*x for t.
-1
Let m = -8 + 7. Let i be m*(-4)/(-6)*-3. Solve i*x + 5*q - 30 = 0, x + q - 4*q + 7 = 0 for x.
5
Let k be ((-8)/(-24))/((-1)/(-9)). Solve 4*j = 3*r + 1, 37 = -0*j + k*j + 5*r for j.
4
Suppose -5*p + 4*p = 3. Let s = p + 6. Solve 10 = 2*t + 4*u, -3*u - u + 13 = s*t for t.
3
Let s(w) = w**2 + 4*w - 6. Let z be s(-5). Let l = z + 3. Solve -o = -2*i - 4, l*o + 11 = -3*i + o for i.
-3
Suppose -4*k = 12 - 24. Solve -a + k*o = -5*a + 1, 0 = a + 5*o + 21 for a.
4
Let b = -24 - -9. Let a be (10/b)/((-1)/3). Solve -2*y + 4 = 4*v - a*v, -y = -5*v - 8 for y.
3
Let h(i) = -i**2 + 5*i - 1. Let b be h(4). Let z be (8/(-10))/((-2)/5). Suppose 0*m - 4 = -z*m, -16 = -2*p + m. Solve 5*g - p = -0*y + b*y, 0 = 5*g for y.
-3
Let o be -36*(2/(-4) - 0). Let s = -13 + o. Solve 1 = g - p, s*g + 19 = -3*p - 0*p for g.
-2
Let w be -3 - (1 + 0)/(3/(-21)). Solve 0 = -4*t - w*h - 28, 0 = 2*t + 4*h - h + 18 for t.
-3
Suppose 15 = s - 3*b, 5*s - 8 = 3*b + 7. Suppose z + s - 2 = 0. Solve x + z*x - a = -5, -5*a = -5*x - 15 for x.
-1
Suppose -30 + 26 = -r. Solve r*c = 6*c + 8, 5*t = 2*c + 28 for t.
4
Suppose -2*j + 2*f + 6 = 0, -5*j - 5*f + 18 - 3 = 0. Solve -k - 11 = -j*y, 3*k + 4 = -y + 1 for k.
-2
Let w = -8 - -14. Let j be 1/((-2)/(-8)) - 0. Solve -4*c = -u + 3*u - w, j = u + c for u.
5
Let n(s) = s**3 + 11*s**2 + 4. Let w be n(-11). Let y be (-3)/(-3)*(1 + w). Solve -5*j = 25, y*v + 3*j + 30 = -2*j for v.
-1
Suppose -3*j - 3 = -4*z, 3*z = 3*j - 0*z. Solve -3*g + 25 = b + b, -j*g = -4*b + 5 for g.
5
Suppose -4*w + 2*w = 4*l - 20, 3*l = -2*w + 16. Let v = l - 4. Solve 0 = 5*t - 2*r - v*r + 24, -r + 18 = -4*t for t.
-4
Let n be (3 + 6)*(-3)/(-9). Solve 2*y - 12 = n*x, -y - 5 = x - 1 for y.
0
Suppose -2*x - 11 + 3 = 0. Let h = -3 + x. Let f = 10 + h. Solve -3*d + f*t = 0, 0 = 2*d - 0*d + 4*t - 6 for d.
1
Suppose h - 3*a + 1 = 0, 4*h - 3*h - a - 5 = 0. Suppose 2*n = -3*v + h, 2*n = -n + v + 12. Solve 2*s - r = n*r, 4*r = 8 for s.
5
Let g be (1/3)/((-1)/(-36)). Solve -6*m + m + 20 = -x, 3*x + g = 3*m for x.
0
Let c = -25 + 13. Let q(s) = -s**3 - 12*s**2 + s + 15. Let r be q(c). Solve 3*x + 11 = 4*o, -2*x + 4 - r = -o for x.
3
Suppose 7 = -5*h + 27. Solve 2*w + 2 = 4*v, -h*v - 2*w + 1 = -5*v for v.
1
Let m be 183/21 - (1 - (-27)/(-21)). Suppose 0 = z - 5*l + 2*l + 9, -3*z + 5*l - 43 = 0. Let y be (2 - 2 - 1)*z. Solve 0 = -v - 2*d - 6, 4*d = -y + m for v.
0
Suppose -2*m - 4 = -2*l - 2, 5*m - 7 = 2*l. Let f = -7 + 10. Solve -w + 5 = -l*b + 2*w, f*b = -5*w - 40 for b.
-5
Suppose 5*j = 131 + 94. Let m = -3 + j. Suppose 4*y - m = 74. Solve 5*i = -3*d - y, 5*i + 4*d = -11 - 21 for i.
-4
Let k be 8/(-2) - (-1 - 1). Let i be k/2 - (-4 - 2). Solve g + 21 = -i*f, -3*f = g - 6*g + 35 for f.
-5
Let c(n) = -n**2 + 7*n + 2. Let o be c(9). Let r be (-56)/o + 1/(-2). Suppose -2*x + 18 = -14. Solve d = -4*b + x, -5*b + 2*b + 12 = -r*d for b.
4
Let a(r) = 12*r + 1. Let n be a(6). Let o = -34 + n. Let u = -27 + o. Solve -i + 2*i = p + 3, -4*i - 4*p - u = 0 for i.
0
Suppose 0 = -m + 4*m + 5*y - 14, -4*y + 14 = m. Suppose -6*b - 8 = -4*b. Let d = m - b. Solve 3 = -h - 2*h - 5*v, -d*h + 2*v + 14 = 0 for h.
4
Let h = 13 + -8. Suppose 3*i - 5 - 12 = -w, 3*w - h*i - 51 = 0. Solve -4*q + w = o, -4*o - 4*q + 1 = -7 for o.
-3
Let m(x) = -x**3 - 3*x**2 - 5*x - 2. Let l(h) = -h - 3. Let r be l(0). Let o be m(r). Solve o = -3*q + 4*j, 3*q - 1 = -2*j + 10 for q.
1
Suppose -s = -2*o + 7, -4*o - 2*s - 1 = -11. Let i = o + -3. Let b(z) = -2*z - 1. Let v be b(-2). Solve i = -5*d - 2*l - 5 + 28, v*l - 12 = 0 for d.
3
Suppose 5*l - 6*l = -8. Solve -4*q - l = 4*u, 10 = 4*u - 2*q - 3*q for u.
0
Suppose -2*u - 13 = -243. Let f be u/15 + (-1)/(-3). Solve -2*s = t + 9, 4*s + 5*t + f = -19 for s.
-3
Suppose -2*x + 10 = -0*x - 4*i, 3*x + 2*i = 15. Suppose 0 = y + 4*y + 5*n - 20, -2*y + 15 = -5*n. Solve -x*u + y = -4*l, 3*u - l = -4*l + 30 for u.
5
Let r = 14 - 22. Let z = -4 - r. Solve 3*m - b + 7 = 1, z*b - 7 = -5*m for m.
-1
Suppose 0 = -c + 1, -17 = -5*o + c + 7. Solve -5*f + 3 = -2*b + 4*b, 0 = o*b - 5*f - 25 for b.
4
Let q(n) = n**3 - 2*n. Let z be q(-2). Let h(c) = -c**2 - 5*c + 1. Let l be h(z). Solve -5*j = -2*j + l*u - 5, 0 = 2*j + 3*u - 2 for j.
-5
Suppose -35 = -5*s - 3*u - 6, -6 = -3*s + 2*u. Suppose 4*t - 6 = -2*b + 2, 5*b - 20 = -s*t. Solve 5*h - j - 16 = b, -2*h + 3*j = -21 for h.
3
Let l be (-1)/1 - (-2 - -13). Let h = -8 - l. Solve -20 = -h*z, -2*s - 3*z = -7*s for s.
3
Let m(i) = 2*i**2 - i. Let k be m(-1). Suppose 9*f = 11*f - 6. Solve p = n - f, -k*p + 4*n - 4 = 5 for p.
-3
Suppose 0 = 4*o - 5*w, 4*w = 4*o - 2*o. Solve o = 2*t - 5*i - 15, 0 = -t - 8*i + 3*i - 30 for t.
-5
Let u(l) = l**2 - 12*l + 3. Let f be u(12). Solve 0 = -f*w - 4*a + 1 - 0, 4 = a for w.
-5
Suppose -6*b + 5*b - s + 2 = 0, s - 6 = 3*b. Let p be (1 + b)*(4 - 3). Let u(d) = d**3 + d**2. Let q be u(p). Solve -i + 3*t = t + 14, q = 5*i + 4*t for i.
-4
Let p = -12 - -14. Solve -p*z + 5*h = 15, -4*h + 13 = -z - 2 for z