 + 2 = -3*k for k.
2
Suppose 4*o - 11 = 1. Solve 5*u + 5*k = o*k - 26, -5*k - 27 = 3*u for u.
-4
Let a(b) = -b**2 + 7*b - 4. Let w(l) = -l**3 - l - 12. Let c be w(0). Let s = -6 - c. Let q be a(s). Solve -q*i + 7*i - 4*h + 19 = 0, -3*i - 5 = 4*h for i.
-3
Let v = -18 - -28. Suppose 5*n = 3*m - v, 0 = 2*m + 2*n - 0*n - 12. Solve d - 16 = -d - 5*g, -3*d = -m*g + 26 for d.
-2
Let u(y) = 9*y**2 - y + 2. Let k be u(3). Let p be k/7 + (-33)/77. Solve 0 = c + 2*g - p, 15 = -c - 4*c + 4*g for c.
1
Let z be ((-1)/2)/(5/(-10)). Let t be 3/(1*(2 - z)). Suppose t*b + 4 = 13. Solve -a + 3*a - 3*n = -3, -3 = a - b*n for a.
0
Let y(k) = -14*k - 1. Let m be y(-5). Let s be 1 + 35 - (2 + -3). Let w = m - s. Solve -3*p - 24 = -3*b, 5*p - 4*b = -b - w for p.
-4
Suppose -8 = 2*r - 12. Suppose -10 = -s - 0*s + 5*d, 0 = r*s + d - 9. Solve -5*j - 5*h - s = -15, 3*j + 2*h = 9 for j.
5
Let t be (1 + (-15)/(-6))*2. Solve 2*u - q = -t, -5*u + u + 21 = 5*q for u.
-1
Suppose -4*r - r + 75 = z, 5*r = 4*z + 75. Suppose -2*y + 3 = -r. Let u be (-20)/(-3) + (-6)/y. Solve 2*q - 2*b = 6, -q - u = 3*b + 11 for q.
-2
Suppose 4*k + 5 = 17. Let f = k - -26. Solve 3*p = -t - 3*t + 8, -5*t + f = -p for p.
-4
Suppose -l = 3*a - 3, -2*a = 2*l - 0 - 10. Solve 5*t - 30 = x - l*x, 0 = -4*t + 5*x - 12 for t.
2
Let r(o) = o**2 + 4*o + 2. Let a be r(-4). Let w(b) = 2*b**3 + 1. Let c be w(-1). Let z be 1/((-3)/(-6)) - c. Solve 4*f + z*m = -7 + 1, m = -a for f.
0
Suppose -5*n + s - 26 = 0, -n + 2*s + 20 = -3*n. Suppose -4*o + 5*h = 49, 8*o = 3*o + 3*h - 58. Let p = n - o. Solve b = -5*x + p*b + 12, -4*b - 4 = -3*x for x.
4
Suppose -4*l + 22 = 2*o, 2*l - 6 = -4*o + 20. Solve 5*r - 15 = 4*j, -r + 2 = -l*j - 1 for r.
3
Let s = 23 + -23. Solve 19 = -3*r - s*r + k, -5*k + 20 = 0 for r.
-5
Suppose -r + 2 = -2. Let p be ((-26)/8)/((-1)/r). Solve -5*u + 5*l = 0, -4*l = -u + 1 - p for u.
4
Let s(x) = -5*x + 1. Let p be s(1). Let n be (-4)/14 + p/(-14). Solve -5*j - 5*b + 0 - 5 = 0, n = 5*j - b - 19 for j.
3
Let q(x) = x**3 + 2*x**2 - 3*x + 2. Let s be q(-3). Solve 4*a = s*j - 5*j + 9, 3*j - 4*a + 15 = 0 for j.
-1
Let u = 50 + -50. Solve 3*g - g - 6 = -m, u = -3*m + 3*g for m.
2
Let l(o) = -o**2 - 6*o + 6. Let a = -7 + 1. Let b be l(a). Suppose -t - 2 + b = 0. Solve -t*q + 4*r = -40, -3*r - 9 - 6 = 0 for q.
5
Suppose -3*d = 12, 2 = g - 2*d - 11. Solve -4*s + 0 - 5 = -g*h, 5*h + s + 20 = 0 for h.
-3
Let n(b) = b**3 - 22*b**2 + 43*b - 45. Let z be n(20). Solve z = 2*m + h, 2*m + 11 = 5*h - 4 for m.
5
Suppose 1 + 3 = 2*p. Solve 2*w + 26 = 6*w + p*u, 16 = -w + 4*u for w.
4
Let i(r) = -r**2 - 5*r - 1. Let b(s) = -2*s + 4. Let y be b(3). Let w be i(y). Solve 3*n - 7*n = -w*p + 11, -p + 1 = -2*n for n.
1
Let f(s) = s**2 + 7*s - 10. Let z be f(-8). Let r be (z + 4)/(4/10). Solve -r*x - 25 = -5*o, 2*x - 10 = -2*o - 2*x for o.
5
Suppose -5*s + 0 + 15 = 0. Let v(d) = 5*d**2 + 6*d**2 - 6*d**2. Let c be v(-1). Solve 3*p - c*z - 4 = p, -s*z = -2*p for p.
-3
Let c be 3/2 - (-7)/14. Suppose 5*s + r - 6 = 2, 0 = -c*s - 4*r - 4. Solve 0 = s*d - 3*m - 8, -4*d + m = -2*m - 16 for d.
4
Let q be (-2)/8 + (57/4 - 4). Solve -5*o + 4*f - 21 = 0, 3*o + q = f + 4*f for o.
-5
Suppose 24 + 16 = 8*n. Solve -7 = -n*s - 2*r + 5*r, 4*s + 3*r + 16 = 0 for s.
-1
Let j = -41 - -42. Solve d - j = -5*w, d - w + 17 = -3*d for d.
-4
Let l = -15 - -33. Let o = l - 15. Solve o*m + 5*w - 9 = 2*w, w = -4*m + 6 for m.
1
Let q be 8/36 + (-75)/(-27). Solve -3*u - 3*h + 5 = 2, -3*u + 4*h = -q for u.
1
Let n be 2/2*(2 + 1). Solve 0 = -4*w + n*c + 31, -3*w = c + 3 - 10 for w.
4
Let b = 5 + -11. Let r be 7/(-2) + (-2)/(-4). Let p = r - b. Solve -6 = -a - 2*c, -p*a + 0*c = -2*c + 22 for a.
-4
Let w(q) = 3*q - 4. Let r be w(6). Solve -o - r = 3*o - 3*z, -z = -3*o - 13 for o.
-5
Let f(q) = 2*q - 1. Let y be f(-3). Let d = -4 - y. Suppose r + d*r = 0. Solve n - 13 = 3*b, -19 = -n - r*b + 5*b for n.
4
Let g be (4/(-1))/(-4) + -5. Let q be 2/(-4) - 18/g. Solve 0 = 2*f + 4*i - 24, -3*f - 4*i + 22 = -q for f.
2
Let q = 17 - 24. Let g = q - -10. Solve -z - 4*p = 3*z - 24, -2*z + p = -g for z.
3
Let c = 59 - 47. Solve 8 = 3*h - 4*z, c = -5*z - 13 for h.
-4
Suppose 30 = 2*f + 3*x, -3*f + 2*x = -15 - 4. Let k = f + -5. Let a(p) = 2*p + 13. Let u be a(-6). Solve -3*y - 12 = -4*b - u, -14 = 2*y - k*b for y.
3
Let b be 3*(-2)/(-6)*3. Solve -5*k - 3*y = -25, 4*k + b*y = 6*y - 7 for k.
2
Let w(c) = 9 - c - 15 - 3. Let l be w(-12). Solve -4*t + 5*z = l*z + 8, -5*z = -4*t - 8 for t.
-2
Let w(c) = 2*c. Let x(i) = -i. Let v(u) = w(u) + 5*x(u). Let j be v(-2). Solve t + 2*l - 6 = -2*t, -2*l - j = 0 for t.
4
Let f(g) = -2*g - 10. Let q be f(-7). Let k = 6 - q. Suppose 3*o - 4*a + k - 6 = 0, -a = 2*o - 10. Solve o*v - 2 = -5*t, -t - 2*v - 2*v = -10 for t.
-2
Let d(w) = 5*w - 3*w + 0 - 2. Let q be d(3). Solve 5*j = j - 4*s, -q*j + 5*s = 18 for j.
-2
Suppose -s - 36 = -7*s. Suppose 2*f = -f + s. Let p(k) = 3*k**2 - 3*k + 2. Let m be p(2). Solve 3*z - 3*r - 12 = 0, -f*r = 3*z - r + m for z.
-1
Let m = 0 - 3. Let r be m*(3 - 2) + 7. Solve r*z = 2*o - 22, z = -z - 5*o + 19 for z.
-3
Let f(z) = 2*z + 6. Let i be f(-7). Let s = i - -8. Suppose s*w = w - 5. Solve 0 = 2*j + 6, 0 = 4*n - 0*j + w*j + 35 for n.
-5
Let q be 0 - (4/1 + -8). Solve -q*r = -j + r + 19, 2*r + 11 = -3*j for j.
-1
Let x = -12 + 10. Let w be (-54)/(-12) + x/4. Solve 3*n + t + 10 = n, -t = -w*n - 8 for n.
-3
Let b be (-6)/21 + (-8)/(-28). Suppose -2*c + 2 + 14 = b. Solve 4*p = 3*p + s - c, p + 16 = 3*s for p.
-4
Let p be (-156)/(-15) + 2/(-5). Suppose 5*o = -i + 4*i - 6, 5*i - p = 2*o. Suppose 6 = 2*k - i. Solve 0 = -4*j + 3*v + 9, -k = -3*j + 5*v - 0*v for j.
3
Suppose -2*z = -4, -3*d + z + 9 + 61 = 0. Suppose 6*g = 2*g + d. Suppose 84 = -2*u + 92. Solve 4*m = u*j - j + g, -m + 5 = j for m.
3
Let u(y) = -y**2 - y. Let b be u(-1). Let w = -4 - -4. Let t = w + 5. Solve b = 3*z - 4*j + 24, -z - t*j - 1 = -4*j for z.
-4
Suppose c = 3*o + 27, 3 = c + 6. Let g be (-7)/(-5) - o/(-25). Solve g = -3*a + 7, 4*z + 14 = a for z.
-3
Suppose 3*u = 6*u - 15. Solve 2*z + 28 = 2*i - 2*z, 9 = -4*i - u*z for i.
4
Let h be 5*((-34)/(-10) + -3). Suppose -h*b = 5 - 13. Solve 0 = -2*p + 5*y + 15, b*p - y = -4*y + 17 for p.
5
Let k be (3 - 4)*0 - 28. Let c = 43 + k. Solve u - 5*p = c, -9 = -u + p - 2 for u.
5
Let g(m) = -m - 6. Let l be g(0). Let j = l - -11. Let d be 3 - (2 + 0)*-1. Solve j = -s + d*y, s + 2*y + 0*y - 2 = 0 for s.
0
Suppose 3*b - 2*b = 0. Let j = b + 5. Solve 2*r = r + 5*s + 9, -4*r + 6 = -j*s for r.
-1
Let a be (2 - 0 - -1)*1. Suppose -16 = -a*d - d. Solve 4 = -4*c, 2 = 3*r - d*r + 2*c for r.
-4
Let v(b) = 2*b + 5. Let r be v(-6). Let a(d) = -2*d - 6. Let y be a(r). Solve -y = m + w + 1, m - 7 = 3*w for m.
-5
Suppose -a + i + 3*i = -5, -2*i - 25 = -5*a. Let d = -12 - -15. Solve d*r + 2*r - 5 = 5*g, 0 = 4*g - a*r + 2 for g.
-3
Let s be ((-3)/2)/(3/(-12)). Let w = s + -2. Suppose 0 = -5*q + 2*o + 16, -q + w*o + 14 = -0*q. Solve -4 = -q*d, 2*g + 5*d = -2*g + 6 for g.
-1
Let j = 44 - 18. Solve -7*c + 2*c - 29 = -3*n, 0 = -2*n + 5*c + j for n.
3
Let p(c) = -c + 20. Let m be p(10). Solve 4*u - 7 = -y + m, y + 2*u - 7 = 0 for y.
-3
Let d(w) = 4*w - 11. Let p be d(4). Solve -4*k + p*z = 24, -15 = 4*k - k - 3*z for k.
-1
Let m = 31 - 8. Suppose 3*a - 15 = -0. Let b = 5 - 2. Solve 11 = -a*g + b*v + 38, -5*v - m = -g for g.
3
Let j = -8 + 12. Suppose -3*l - 4*i = -14, 3*i - j*i = -3*l - 11. Let b = l + 6. Solve 3*v + b*r = 7, -2*r + 6 = v + 3 for v.
1
Let t = 18 + -33. Let h be (-6)/(1 + t/6). Solve -2*p + 4*v = 12, -25 = -h*v - v for p.
4
Suppose 0 = 4*n - 148 + 8. Suppose 2*v + 6 = -6. Let o = v + 7. Solve o + 1 = d - p, -4*d = 5*p - n for d.
5
Suppose 0*t + 2*m + 24 = 4*t, -5*t + 28 = -3*m. Solve 0 = y + 3*v - t, -2*y - 3*v = 2*y + 4 for y.
-4
Let u(m) = -2*m - 2. Let h be u(-2). Solve -w + a = h, -8*a = -3*w - 3*a - 14 for w.
2
Suppose 6*y - 3*y = 9. Solve -7*u = -y*b - 3*u - 7, -4*u + 5 = -b for b.
-1
Let s(k) = k**3 - 2*k - 3. Let c be s(3). Solve 5*g = 2*t - c, 0 = 5*t + 6*g - 2*g + 21 for t.
-1
Let o be 5 - (-4 - (1 + -3)). Let i be (-78)/3 - 3/3. Let c = -13 - i. Solve -2*z + 0*z + c = -2*f, 4*z + 3*f = -o for z.
2
Let g(w) = w**3 - 6*w**2 + 4*w + 5. Let p be 0 + 0 + (-5)/(-1). Let x be g(p). Suppose 0 = -2*a - x*a.