 0 = -h - f*b - 11, 9 - 30 = -h + 4*b for h.
5
Suppose -24 = -7*k + 3*k. Let y = -3 + k. Suppose y*w + 5*p = 24, 2*w - 3*p + 0 = -3. Solve -4*u + 20 = 4*z, -u + 7 = w*z - 2*u for z.
3
Let d be 70/22 + 5/110*-4. Solve -2*x - d*x = -5*g - 35, -4*g = 20 for x.
2
Let b = -12 - -17. Solve 1 = -0*d - 3*d + b*q, 8 = -2*d - 4*q for d.
-2
Let m be (1/2)/((-1)/(-24)). Let b = m - 1. Suppose -4*k + b = 3. Solve -u + 5*f = k*u, -3*f - 29 = 4*u for u.
-5
Let y(u) = u**3 - u + 165. Let q be y(0). Suppose -g + v - 30 = -2*g, -4*g + q = -5*v. Let n = -53 - -93. Solve 3*c = -5*d + n, -2*d - g = -5*c - 4*d for c.
5
Suppose 4*n - n - 2*l = -29, 0 = -5*n + 2*l - 47. Let j = n - -10. Solve -5*d - 4*m = 2, -2*d + 3*m = -j - 12 for d.
2
Let w = 23 + -23. Solve 4*x + 0*x + 5*o + 17 = w, 0 = -2*x + o - 5 for x.
-3
Let c = 10 + -7. Solve -2*g - 2*n + 2 = 4, c*g - 2*n + 13 = 0 for g.
-3
Let y = 13 - 10. Let g(f) = f**3 - 5*f**2 - 6*f - 1. Let r be g(6). Let h = r - -3. Solve -2 = -y*v + h*v + 3*o, 4*v + 5*o = 8 for v.
2
Suppose 244*g + 25 = 249*g. Solve -g*x - 5*l = 0, -5*l - 9 = -2*x - 44 for x.
-5
Let v(x) = -x**3 + 4*x**2 - 5*x + 2. Let z be v(2). Solve z = -2*m + 2*g + 2, 0 = -0*m + 4*m + g - 24 for m.
5
Suppose c + c - 10 = 0. Suppose -16 = q - c*q. Solve -4*t + f + 0*f = 19, -18 = q*t - 2*f for t.
-5
Let b be 1*(8 - (-1 + 3)). Suppose 0*o + b = 3*o. Solve 3*f = -o*c + 4, f - 1 = -0*c - c for f.
2
Let f be -6*4*(-2 + 1). Let q be 16/f*6*4. Solve 3*w - s - 4 = -w, -w = 4*s + q for w.
0
Let u be (-8)/(-44) + 156/(-11). Let n = -6 - u. Solve -3*f = -f - n, 4*q = 2*f + 4 for q.
3
Let z = -1 + 5. Solve z*f - 10 = 2*u, u - 3*f + 0 = -10 for u.
5
Suppose -z + 3 + 3 = 0. Suppose z = r + 2. Solve 0*c + 2*c - 5 = o, -3*o + r*c = 13 for o.
-3
Suppose -20 = -5*s + 10. Solve 3*v + 0 = 5*f - s, 2 = -v for f.
0
Let r = -4 - -7. Solve r*x = -2*h - 3*h, x = -4*h for h.
0
Let p = -6 - -8. Suppose p = -3*j + j. Let w be (1/(-2))/(j/6). Solve 3*m - 3 = -4*o - 20, -w*m + 2*o = 5 for m.
-3
Let j = -2 + 6. Suppose -4*g + j*k + 12 = 0, -3*g = 3*k + 7 + 2. Solve g = 4*p - 5*q - 11, -2 = 5*p - 2*q + q for p.
-1
Let y(f) = f + 10. Suppose -t + 15 = -0*t. Suppose -4*v = -v + t. Let h be y(v). Solve 3*c - h*n + 14 = 0, -3*c = -0*n - 2*n + 11 for c.
-3
Let c be (-10)/6*(-14 + 11). Solve -2*z + c*t = 23, -2*z = -4*z + 2*t - 14 for z.
-4
Let p = 5 - 2. Suppose 4*z + z - 21 = 2*g, -2*z - 2*g = 0. Let v(h) = h**3 - 4*h**2 + 3*h + 2. Let d be v(z). Solve 3*f + d*f - 2*q = -29, 4*q = -p*f - 7 for f.
-5
Let r be (-4)/(-14) + (-26)/(-7). Suppose -5*d + 3*s + 19 = 0, 3 = -r*d - 3*s + 2. Solve -d*v = -x + 9, -x + 2 = -v - 2 for x.
-1
Let q be 45/105 - (-64)/14. Suppose 4*b - 16 = -0. Suppose 32 = 5*c - 3*f, 0*f + b*f + 36 = q*c. Solve 16 = 3*v + c*u, -2*v = 2*v + u - 4 for v.
0
Suppose -5*t = -t + 4. Let r be (-1 - t)*1/1. Let u be 5 - (2 - r) - -1. Solve u*p - 20 = 0, 3*o - 11 = 5*o - p for o.
-3
Let b be (0 + 2)*3 - 1. Let c = b - 3. Suppose -c*y = 1 - 9. Solve -a - 4*s - 40 = y*a, -4*a - 3*s = 31 for a.
-4
Let j(s) = -s - 3. Let v be j(-6). Suppose 2*k = -2*p + 10, v*k + 2*p = 5 + 5. Solve -2*o - a - 1 = 0, k*o = 3*o + 3*a - 3 for o.
-2
Let t(z) = -z**3 - 3*z**2 + 3*z + 1. Let c be t(-3). Let d = -4 - c. Solve 37 = 3*j - 5*s, 4*j - 31 = -s + d*s for j.
4
Suppose -v = q - 0*v - 3, -3*q + 33 = -5*v. Let j = -5 + 9. Let x = q + j. Solve 5*y - x = 0, -4*a + 2*y = -2*y for a.
2
Suppose 13 = 5*u - x, 0*u - 7 = u + 3*x. Solve -5*i - 24 = u*s, s + 3*s = 4*i + 8 for i.
-4
Suppose 18*q - 30 = 12*q. Solve 2*w = -q*t - 2*w - 28, -5*t - 24 = 2*w for t.
-4
Let d(s) = 100*s. Let l be d(1). Suppose -2*o = -7*o + l. Suppose 0 = 4*v - 3*r - 33 - 63, 0 = 4*v - 4*r - 96. Solve -5*q - v = -3*a, 2*a - 2*q = o - 8 for a.
3
Let x be ((-196)/(-16))/(-7)*-4. Let n be (-54)/(-10) - 4/10. Solve -n*i - j = -i + 11, 0 = 5*i - j + x for i.
-2
Let p(m) = -2*m - 2. Let o(k) = -k - 2 + 3*k + 3*k + 2*k**2 - k**2. Let u be o(-5). Let i be p(u). Solve -y - 22 = -q + 4*y, 0 = -i*y - 10 for q.
-3
Let t be (2 - 6)*(-5)/4. Suppose -68 = -40*o + 6*o. Solve -2*u = t*q - 22, -o*u + 0*q - q = -6 for u.
1
Let p(t) = -t**3 + 13*t**2 - 11*t - 12. Let q be p(12). Suppose -4*d + 4 + 4 = q. Solve -5*w + d*z - z = 0, w = z for w.
0
Let x = -17 - -26. Let z = -9 + 11. Solve 2*n - 5*i + 6 = 0, 0 = 3*n - z*i + i + x for n.
-3
Suppose -4 - 6 = -a - j, 0 = -3*a - 5*j + 40. Let p(t) = -t**3 + 6*t**2 + 7*t + 4. Let z be p(7). Solve -a = -z*w + 2*m + 3, 7 = -3*w - 5*m for w.
1
Suppose 5*x - 5*y - 19 = 2*x, 4*y + 18 = x. Let l be x/8 - (-1)/4. Let k be 0*(-1)/(-1) - 0. Solve 0 = -i + 3*j + 7, l*i - 3*i + 4*j + 11 = k for i.
1
Let r = -6 - -18. Solve 2*g - 4*f - 12 = 0, -6*f - r = -4*g - 4*f for g.
2
Suppose 3 = d - 10. Let b = -9 + d. Solve -2*g - 4 = h, h - 3 = g - b for h.
-2
Let w = 10 + -6. Let v = 8 - w. Solve n + 0 = v*y - 6, -4*y + 18 = 5*n for y.
2
Let t(p) = -p**2 - 2*p + 7. Let a be t(-3). Solve 6*c = 5*b + a*c + 20, c = -4*b - 3 for b.
-2
Let s be 531/36 - 1/(-4). Solve 0 = -5*m + s, -5*i - m + 14 = -3*m for i.
4
Suppose 3*g = -3*d + 75, -3*d + 5 = 2*g - 42. Solve -5*i = -10*i - 20, -4*k + 5*i + g = 0 for k.
2
Suppose 0 = -5*c + 25, 4*f - c + 1 = -0*c. Solve 0 = y + 2*h - 0 + f, y - 3*h = -11 for y.
-5
Suppose 5*k + 6 = -j, -3*j - 3*k - 2 = -2*j. Solve -3*n = 12, j*x + 17 = -3*n + 5 for x.
0
Let c = 140 + -133. Solve -y - 2*l + 3 = -2*y, 5*y - 2*l = -c for y.
-1
Let k(j) = j**3 - 4*j**2 - 2*j - 5. Let n be k(5). Suppose 4*m - 5*v = n, 3*m + 2*v = -v - 6. Solve 2*y - 5*o + 21 = m, -5 = 5*y - o - 2*o for y.
2
Let z(t) = -t**2 - 6*t. Let s be z(-6). Solve 0*f - 1 = -5*f - 2*y, 3*y + 6 = s for f.
1
Let q be 1/((-3)/3) + 5. Solve -b + 2*n = -7, -q*b + 5 = -n - 16 for b.
5
Suppose -4*c = 3*o - c + 3, 5*o + 2*c = -2. Solve o = 3*s - 5*s + 3*h - 5, 0 = 4*s + h - 25 for s.
5
Suppose 4*l - 55 = -b, 4*l = -0*b - 2*b + 58. Let g = l - 9. Solve -2*q + g*n + 1 = -5, 9 = 3*q - 3*n for q.
3
Let w(y) = -2*y. Let o be w(-5). Suppose -2*m + 0*m = -o. Solve 0 = -m*g + 2*p - p - 26, 3 = 3*p for g.
-5
Let r(o) = -3*o - 6. Let w be r(-8). Suppose -i - 4*t = w, 10*t - 5*t = -5*i - 45. Let d = -3 - i. Solve -u = -d*u, 0 = -5*h - u + 5 for h.
1
Suppose -31*t + 26*t = -15. Solve d + 15 = -5*c, -2*d - t = c + d for c.
-3
Let h be (-2)/(5 + -5 + (-6)/9). Solve -5*x - 21 = j, 7 = h*x - 6*x - 2*j for x.
-5
Suppose -k + 3*k = 3*o - 1, -3*k + o + 2 = 0. Let c(q) = 8*q**2 - 2*q + 1. Let l be c(k). Let u = l + -4. Solve -6 = 3*x - u*f, -3*x - 2*x - 5*f = 40 for x.
-5
Let p = -2 + 4. Let h be (-4 - -1) + 1 + -3. Let u = 7 + h. Solve u*j - 4 = -c, -3*c - 5*j + p*j = 0 for c.
-4
Let f be (3 + -5)*6/(-4). Suppose 0 = -f*j + 8*j. Suppose 0*y + y = j. Solve -4*s + 14 = -y*q + 2*q, -2*s = -6 for q.
1
Suppose 0 + 10 = 5*o. Let p(x) = x**2 + 4*x - 3. Let u be p(-5). Let y be (2 - o)/(u*1). Solve -2*l - 4*c + 16 = l, y = 2*l + 3*c - 11 for l.
4
Suppose 0 = 3*s - 4*b + 7, 0*s - 5 = s - 2*b. Suppose 0 = -4*c - 16, -c + 0 = 5*x + 4. Let w be (0 - 0) + 2 + x. Solve f = -w*f - i - 2, 5*i = -s*f - 10 for f.
0
Suppose -7*p = -37 + 9. Solve 2*g + p*u + 6 = 0, 0 = 3*g - 3*u + u + 9 for g.
-3
Let g be (0 + -1)/((-1)/3). Let s(t) = 6*t - 1. Let b be s(-1). Let i = b + 13. Solve -g*z + 0*z - 4*d = i, -3*z + d + 9 = 0 for z.
2
Suppose 0 = -16*o + o + 135. Solve 6*n + o = 8*n - 5*j, 3*j = n - 5 for n.
2
Suppose -z + 10 = 4*z. Let r = z + -8. Let o = r + 8. Solve o*i + 3*t = -5, -4 = 5*i + 4*t - 2 for i.
2
Let d = -3 + 5. Let i be d + -1 + -3 + 5. Suppose 15 = 4*b + 7. Solve 2*s - 1 = i*s - b*l, 19 = -5*s - 4*l for s.
-3
Let i(n) = 9*n**2 + 1. Let p be i(1). Suppose u + 3 = 13. Solve m - u = 5*s, 2*m - 5*m + p = -5*s for m.
0
Suppose -4*v + 5*v - 13 = 0. Suppose 0 = -y - 3*y - 32. Let s = 28 - y. Solve v = -2*u - d, 4*u + 3*d + s = -d for u.
-4
Suppose -4*z + 0*y + 20 = -4*y, 3*y = -5*z - 7. Let k be 2 - z*0/2. Suppose -4 = -5*h + 6. Solve k*r - h*i = 0, 0*r + 4 = r - 2*i for r.
-4
Let m(h) = -h**3 + 9*h**2 + 9*h + 14. Let w be m(10). Solve 0 = -2*v - 2*f - 3*f + 9, 5*v = -w*f + 14 for v.
2
Let g be (1 - (-34 - -3))*1. Suppose 2*w - 3*w + 3*s - 4 = 0, 2*w - g = -2*s. Solve -2*n - 5*l + 18 = 0, -3*l - 3 + w = 4*n for n.
-1
Let n(q) = q - 6. Let c be n(6). Let w(j) = j**2 + 12*j - 8. Let l be w(-13). Solve