-4*s + 10 = -x*b for b.
2
Let a = 2 + -2. Suppose 6 = -a*i + 3*i. Suppose -5*g + i = -18. Solve -2*w + g*r + 14 = r, 22 = 5*w - r for w.
4
Suppose d + d - 3*t + 16 = 0, 2*d - 4 = -2*t. Let n = d - 2. Let v be (10/n)/(5/(-10)). Solve -11 = -4*w + 5*w + v*z, 5*w + 5*z = -15 for w.
-1
Let o be -2 + (-27)/3*-2. Let a be o - -1*4/(-4). Solve 0 = -5*r - 3*b - 21, -a = 3*r + 5*b - 2*b for r.
-3
Suppose 0 = 5*f - 3*y + 48, 4*f + 2*y - 3*y + 37 = 0. Let t = -4 - f. Solve 3*x + 2*u = -18, -3*x - x - t*u = 31 for x.
-4
Let z(q) = -q**2 + 11*q + 11. Let f be z(12). Let p(k) = -k + 12. Let a be p(0). Let w be (1/(-3))/(f/a). Solve 0 = w*h + 3*i + 2, 2*i = 5*h - 9 for h.
1
Let z(h) = h**2 + 11*h + 3. Let o be z(-11). Let c be (-4)/(-6)*(0 + o). Let t be 0/c*(-2)/4. Solve 4*d + n + 17 = t, 3*d + 2*n - 4 = -13 for d.
-5
Suppose -12*m + 15*m = 12. Solve -4*k + 13 = -m*j - 15, 0 = 2*j + 5*k for j.
-5
Let z be 418/11*2/(-4). Let v = z - -21. Suppose -3*l - 4*t + 1 = -0*l, 3 = 3*l + 3*t. Solve 3*n - b - l = 2*b, 4*n - v*b - 10 = 0 for n.
4
Suppose -c + 10 = 5*z - 6*c, 0 = 4*z + 3*c - 15. Solve -r = -2*w, -2*w + 0*w = -z*r - 4 for r.
-2
Let a = -3 - -7. Let s be (1 - -4)*(-154)/55. Let c = 17 + s. Solve a = 7*l - c*l + x, -5 = -5*l - x for l.
1
Let h = -37 + 37. Solve -4*v + 3*y = -y, 2*v + 2*y - 8 = h for v.
2
Let v be (162/45)/((-4)/(-10)). Suppose c + v = 5*o, -1 = -2*c + c. Solve 5*x + 10 = -3*h, -o*x - h + 27 = -6*h for x.
1
Suppose -4*b - 5*m = 11 + 14, -3*b + 3*m = -15. Suppose -4 = -o - b. Solve z - 9 = 4*u, 3*u + 2 + o = z for u.
-3
Let h(t) = -2*t**2 - 5*t + 7. Let k be h(-3). Solve -3*v + 0*v - 1 = -r, v + k*r - 17 = 0 for v.
1
Suppose -2*o + 15 = 3. Suppose 4 = 2*q + 2*w - o*w, 5 = 2*q - 3*w. Solve 4*u = -q*v + 4, 4*u = 2*u + v - 4 for u.
-1
Let g be -5*(-4 - (-48)/15). Suppose y + 6 = g*y. Solve y*i - 4*i + 6 = 3*x, -5*i - 23 = -2*x for x.
4
Let w(f) = -f**2 + 17*f - 14. Let i be w(11). Suppose -5*t = -23 - i. Solve 3*s + t = 0, d - 11 - 1 = 2*s for d.
2
Let n = 2 + -12. Let q = 14 + n. Suppose -3*y - q*o + 4 = -2*o, -3*y = o - 5. Solve 0*r = -r - 3*d + y, 4*r - 2*d + 20 = 0 for r.
-4
Suppose 10 = 3*h - 2*h. Let q = -7 + h. Solve -12 = -4*b - 3*i, 4*i - q - 6 = -3*b for b.
3
Suppose -7*h + 16 = -26. Solve -4*s - i = -18, 3*s = -s + 5*i + h for s.
4
Let h(i) = -3*i**2 - 8*i - 2. Let z(y) = -4*y**2 - 9*y - 3. Let r(v) = 3*h(v) - 2*z(v). Let g be r(-5). Solve 2*j + 6 = 3*w, 5*j + g*w - 29 = 6 for j.
3
Let y be 36/30*5/2. Solve -y*g = p - 17, -p - 7*g + 21 = -3*g for p.
5
Let m be 1 + (1 - -1) + -4. Let v = 4 + m. Solve -2*s + 3*s = 2*t + 5, -5*t = -v*s + 11 for s.
-3
Suppose 0 = -3*g - g. Solve 3*n + 3 = c - g, 3 = c + n for c.
3
Let t = 4 + 7. Solve -3*g = -4*i - 1 + 28, 4*g + t = -3*i for i.
3
Let t = -28 - -44. Suppose 0 = -y + 3*y - 10. Suppose -4 = -y*j + t. Solve -c + l = j, -2*c + l = -3*c + 2 for c.
-1
Suppose 6 = 2*y + 2*l, -5*y = -0*y - 2*l - 1. Solve -h - m - y = 0, -h = h + m + 1 for h.
0
Suppose -2*p + 74 = 32. Solve -5*l = -2*y + p, -8*l + 4*l = y + 22 for y.
-2
Let n be (-33)/(-7) - (-82)/287. Let y = -1 - 1. Let a = 4 + y. Solve -n*w = -a*i + 4, i - 2*w + 5 = -3*w for i.
-3
Let n be -1 + 0 + 5 + 0. Suppose -n*l + 0*r = 4*r - 4, -l + 5*r = -19. Suppose -38*k + 4 = -37*k. Solve -5*v = -6*v - 2, k*i + l*v = 0 for i.
2
Let k be -6*(-2)/(-10)*-5. Let a be 6/8*16/k. Solve -3*g + a - 17 = -3*i, 5*i = 4*g + 24 for g.
-1
Let i be (-2)/3 - 28/(-6). Solve -j - 4 - 8 = i*f, j - 3*f = 2 for j.
-4
Let v be (-2 - (21/(-9) + 0))*18. Solve 1 = 5*q + g - v, -4*q + 20 = -4*g for q.
2
Let k(h) = -h + 5. Let p be k(0). Let d be ((-6)/(-9))/((-4)/(-54)). Let f be d/15 + (-6)/10. Solve f = -5*n + p*j - 10, 2*n + j - 11 = 0 for n.
3
Let h(x) = -x**3 + 5*x**2 - 3*x - 2. Let b be h(4). Solve 3*z = -3*o, z - 6*z + 12 = b*o for z.
4
Suppose -7*b + 9*b = 26. Solve -3*x + b = -l, -2*l = -5*x + 2*l + 17 for x.
5
Let n be (9 - 8)/(1/2). Let x be 1/n*-3*-12. Solve -2*y + 8 = -3*c - 3*y, 2*c - 4*y = x for c.
-1
Let q(b) = b**3 + 8*b**2 + 4*b - 7. Let y be q(-6). Let d = 21 - 31. Let v = y + d. Solve z + 0*z - f - 1 = 0, -5*f + v = 4*z for z.
4
Suppose 0 = t + 2*t + 4*k - 30, 4*t - 5*k - 40 = 0. Solve -3*b = -4*g - 0*b - t, 6 = -2*g + 2*b for g.
-1
Let l(h) = -h**2 + 7*h - 5. Let m be (-6)/4*(-10)/3. Let f be l(m). Suppose 0 = 4*t - 3 - 13. Solve t*x - 4 - f = q, -4*x = 4*q + 16 for q.
-5
Suppose -4*j + 16 = 0, 4*o + 4*j = 2*o - 56. Let p be 6/(-4)*o/27. Solve d = -p*c + 12, 5*c - 4 = -2*d + 25 for c.
5
Let x(b) = b**2 - 8*b - 7. Let p be x(9). Suppose -p*r = -2*v - 24, -5*r + 3*v + v + 55 = 0. Solve 2*n + r = -2*u + 15, 20 = 5*u + 4*n for u.
4
Suppose 5*o = p + 26, 0 = 4*p - 2*p - o + 16. Let n be (8/p)/(2/(-3)). Let r be 0/(1 + 0/n). Solve 24 = c + 5*l, -3*c - 2*l + 6 + 1 = r for c.
-1
Suppose 4*i - 1 - 21 = -2*n, 5*i = -4*n + 32. Let j = 560 - 557. Solve 2*p - 5*w + 4 = -j*w, n*w = -3*p for p.
-1
Suppose 3*c + c - 4 = 0. Let u be 1 - -3 - (c + 0). Suppose -u*x - 45 = -5*z + x, -4*x = 20. Solve 3*t - 12 = 5*d + 11, 5*d = -z*t - 15 for t.
1
Let m be (-1)/(-4) - (-7)/4. Suppose 0 = -2*r - 2*g + 4*g + m, 9 = 3*r - g. Solve -r*n + 12 = 4*u, -22 = -n - 3*n + u for n.
5
Suppose 0 = 2*v + 5 - 13. Solve -3*l - 3 = 3*i, -i + 18 = -v*l - 1 for i.
3
Suppose -p + 4*d + 6 = 0, 3*d = -5*p + 2*d + 9. Suppose p*n - 52 = -0*n. Suppose z - 3*z + n = 0. Solve 0*s = -3*j - 4*s - z, -4 = j + s for j.
-3
Suppose -2*q + 5*c = 1, -q - 2*c - 22 = q. Let v be q/(-10)*15/2. Solve 9 = 5*b - y, -4*y - v - 9 = b for b.
1
Let j(w) = -w**2. Let r(p) = -p**2 - 9*p - 3. Let d(f) = 2*j(f) - r(f). Let h be d(9). Solve l - 3*l - 6 = 0, 0 = -h*s + 3*l + 18 for s.
3
Let l = -3 + 5. Let r(h) = 3*h + 13. Let g be r(-5). Let y(v) = 2*v**2 + v - 2. Let x be y(g). Solve l*d = 0, 12 = -x*p + 4*d - 9*d for p.
-3
Let a be 15/(-2)*(-4)/6. Let v = 1 - -22. Solve b - 5*u + 0*u = -21, v = -3*b + a*u for b.
-1
Let c be 1/(-4) - (-1323)/28. Suppose 4*a - u - c = 0, 2*a + 4*u - u = 27. Solve 0 = 5*w - 3*l - a, -4*l - 6 - 10 = 0 for w.
0
Let m = -17 - -20. Suppose w + m = l - 4*l, 2*w = -3*l - 6. Solve 0 = -3*x + v + 6, 4*x - 8 = -l*v - 3*v for x.
2
Let s = 5 - 1. Suppose -2*k = -s*l + 4, -3*k - 1 = -l - 5. Let p be (-5 + 5)/(4/k). Solve p*v - 8 = -v + 2*u, -4*u - 28 = -5*v for v.
4
Let l(u) = 33*u**3. Let z be l(1). Let p be (3 + 0)/(z/22). Suppose p = d - 3. Solve -d*y - 5*o - 25 = 0, 7 = -5*y + o - 0 for y.
-2
Let a = -12 - -17. Solve -2*i + 10 = -2*q, -2*i + q = a - 13 for i.
3
Suppose g + 0*g = 1, k + 2*g - 6 = 0. Let t = k - 0. Suppose 4*m = -0*m + 3*s + 2, -2*m = 3*s - 10. Solve -t*y - 5 = r, m*y - 2*r + r + 7 = 0 for y.
-2
Let h = 8 - 2. Let r = -5 + h. Let q = 19 + r. Solve -q = -5*x, 5*x - 16 = 3*o - 2*o for o.
4
Let n be 8 + (-5 - -2) + 0. Let p(q) = -q**3 + 5*q**2 + 2*q + 6. Let c be p(n). Solve -3*m = -2*m + 5*b + 10, -5*m = 3*b - c for m.
5
Let x be (-2 - 0)/((-8)/20). Suppose 0 = 5*q - 4*b - 40, -35 = -5*q + 7*b - 2*b. Solve -5*k + r = 2, k + x*r + q = 4*k for k.
-1
Let m be ((-3)/5)/(2/(-10)). Solve m*t = 2*x + 17, t - 2*x - x - 8 = 0 for t.
5
Let d be (-4)/(-16) - (-7)/4. Let s be 3/d + (-1)/(-2). Suppose -l - s*l = 0. Solve l = -3*t + t - 4*o - 4, 2*o = -6 for t.
4
Let x = -2 - -5. Let r(d) = d - 3. Let y be r(3). Suppose y = -x*z + 2*z + 2. Solve z*a + 4 = -3*l + 13, 3*l - 2*a - 21 = 0 for l.
5
Let i(u) = -u**2 + 5*u - 4. Let a be i(3). Let d = 0 + a. Let p be (-4)/18 - d/(-9). Solve -w + 4*n + 11 = p, 3*w + n - 2*n = 11 for w.
3
Let l be -2*1*(0 - 1). Let q be (-4)/l + 3 - 1. Solve q = 5*j + f + 6, j + 5*f - 18 = -0*j for j.
-2
Suppose -211 + 226 = 3*a. Solve 3*q = -5*i + 2*q + 17, -a*q - 23 = -2*i for i.
4
Let n = 27 + -16. Let d be 64/n - (-6)/33. Solve y = 4, -y = 2*p - d - 6 for p.
4
Let s(v) = 6*v - 3. Let k be s(5). Solve 3*i = -5*t + k, 3*i + 2*i - 8 = 4*t for i.
4
Let m(u) = -u**2 - 8*u - 8. Let z be m(-6). Solve 20 = 4*i - g, 8*i + z*g - 25 = 3*i for i.
5
Let b(t) = -25*t**3 - 2*t**2 - 2*t - 1. Let v be b(-1). Solve -5*r - 40 = 4*j, 4*j + 0*r + v = -r for j.
-5
Let r be 2/6*126/7. Let j be (-1 + -2)*(-10)/r. Solve j*t = g + 9 - 1, 2*t + 6 = 5*g for g.
2
Let a = 50 - 24. Let x be 56/a + (-8)/52. Solve -4*k - 5*n - 25 = 0, x*n = 4*k + n - 5 for k.
0
Let x = -16 + 18. Suppose -x*b + 54 = -0*b. 