 2*b = -10 for a.
4
Suppose 0 = -4*a + 3*a. Suppose a*c + 2 = -2*c, 4*s - c - 13 = 0. Suppose -s*x = -7*x + 16. Solve -5*k + n = 5, 4*k + x - 6 = 2*n for k.
-2
Suppose 2*i = 3*i. Suppose 2*c + i = 4. Solve -4*j - 2 = -4*x - 14, 2*x + c = j for x.
1
Let m be -6 - (-2 + 0) - -8. Solve 5*c = -5*w, -5*w - m*c = -0*w + 5 for w.
-5
Let o(a) = -a**3 + a**2 + 2*a + 99. Let b be o(0). Suppose b = 3*g + 21. Solve q = 4*q + 5*c + g, q - 3*c - 10 = 0 for q.
-2
Suppose -h + 4*h + 2*g + 5 = 0, 3*g = h - 13. Let b be 1/(-3) - h/(-3). Solve 5*f + j = -2, b*j - 3*j = -5*f - 14 for f.
-1
Let i be (1 + -1)*(-3)/(-6). Let j(p) = i + 5*p**2 + 1 - p**2. Let l be j(1). Solve -4*d = 5*z + 1, -l*z - 3*d - 1 = 1 for z.
-1
Let w = 3 - 5. Let l be (w - -1)*3*-1. Solve -3*p + 8*p = l*b, 5*p + 4*b = 0 for p.
0
Let q be (1 + 5)/(-3) - -2. Solve q = -2*j - 5*w + 7, 5*j + 0*w - 3*w = 2 for j.
1
Suppose 41 = -3*c + 53. Solve -3*d - 15 = 0, -2*d + d = c*a + 17 for a.
-3
Suppose 0 = -s - b - 1, -5*s - 3*b - 15 = -0*s. Let o = s + 10. Solve 0 = -o*c - 3*z + 23, -z - z + 18 = 4*c for c.
2
Let h be ((-6)/9)/(2/(-9)). Let m be -2 + 3 - (-1 + 0). Suppose -m*f = -1 - 3. Solve -y + f*y - 19 = -h*w, -w + 4*y - 11 = 0 for w.
5
Let r(v) = v**2 + 5. Let q be r(-4). Let g be 2/7 + 36/q. Suppose 4*t = g + 6. Solve t*a - 5*h + 15 = a, -16 = -4*a + h for a.
5
Let d(o) = -4*o - 14. Let s be d(-4). Solve -5*m + 15 = -2*w, -2*w + w + s*m - 6 = 0 for w.
0
Let h(r) = 3*r + 14. Let a(p) = -8*p - 43. Let l(u) = -4*a(u) - 11*h(u). Let s be l(16). Solve -s = -x - 3*k, 3*k = 3*x + 4*k + 10 for x.
-4
Let y be -2 - 5/((-10)/8). Suppose -36 = -y*m + 28. Solve 6 = -3*g - 2*z, -4*g + 4*z - m = g for g.
-4
Let j be (-60)/(-14) + (-4)/14. Let k be -6*-5*(-2)/4. Let i be (k/10)/((-2)/4). Solve 2*u + 20 = -2*l, -j*l + i*l = 5 for u.
-5
Let a be -3 + 7 + 0 - 0. Suppose -5*r + 5*i - 10 + 80 = 0, -3*i = 4*r - 21. Suppose 5*y - 2*y - 33 = 0. Solve 6*f + 4*t + y = 3*f, a*t + r = -f for f.
-1
Let q(j) = j + 5 - 7 + 10. Let r be q(-4). Solve -2*o = -r*n + 28, -3*n + 24 = -o + n for o.
-4
Let w be (-20)/12*-3*2. Suppose -w = -5*s + 5. Solve s*i = -3*t - 6, 2*t - 4*t - 9 = 3*i for t.
3
Suppose -2*g = g - 2*z - 14, -4 = z. Suppose -g*s = -7 - 9. Solve -6*b = 5*d - 2*b - 37, 0 = d + b - s for d.
5
Let x(f) = -f**2 + 5*f - 4. Let q be x(3). Solve -2*y - 2 = 2*c, 3*y = y + 3*c - q for y.
-1
Let o be (1 - (8 + -2))*21/(-35). Solve -4*w - s + 20 = -o*s, -3*s = w + 9 for w.
3
Suppose 3*z - 56 = -11. Solve 4*t + 24 = -4*x, 4*t - x + z = -2*x for t.
-3
Let l = 12 + -9. Solve -4*z - 6 = -2*q, -2*z + 0*q = -l*q + 5 for z.
-1
Let t(v) = v + 5. Let x be t(-3). Let s = -8 + 5. Let q be 1*(-1 - 0)*s. Solve 3*d - 2*u + 11 = -q*u, 2*d + 18 = x*u for d.
-5
Suppose 5*w = 8*w + 51. Let d = 22 + w. Solve 3*s + 4*n - 7 = -0*n, 0 = -s + d*n - 4 for s.
1
Suppose -9 = -0*y - y. Let n(k) = -k**2 - 5*k. Suppose -5*o + 4*s - 13 = 3, 2 = -o + 2*s. Let m be n(o). Solve -4*c = -m*d - 20, -3*c = -5*c + d + y for c.
4
Let n(k) = 13*k + 18. Let c be n(-1). Suppose 4 + 4 = 2*j. Suppose t = -j*g + 5, 0 = t + 7*g - 2*g - 5. Solve -l + 2*l + t*u = -7, -l + 13 = -c*u for l.
3
Let z(m) = -m**3 + 10*m**2 - 8*m - 4. Let k be z(9). Let u = 38 - 25. Solve 5*o - k*g + 5 = 0, -o - g = o - u for o.
4
Let j = -18 - -23. Solve -5*d - x = -11, j*d = -0*x + x + 19 for d.
3
Let t be (-10)/(-6)*6/5. Let k(l) = -l - 12. Let i be k(-12). Solve -t*u + i*u = -4*v + 10, v + u - 10 = 0 for v.
5
Let c be ((-45)/(-18))/(5/4). Solve 0 = -2*j - 4*q + 4, 3*j + 5*q + c = 7 for j.
0
Let w = -5 - -10. Suppose 0 = v + 2*v + l - 8, -w*l - 8 = -v. Solve 0 = -4*s - 4, s = -5*a + v*s + 22 for a.
4
Suppose -2*f = -3*i + 25, -10*i + 5 = -11*i - 2*f. Solve -1 = -i*c - 2*n - 11, 0 = -c - 5*n - 2 for c.
-2
Suppose 0 = 6*x - 2*x + 4, 0 = -3*d - 2*x - 26. Let p be (-40)/(-18) - d/(-36). Solve -5*g - h = -10, p*h - 6 = -3*g - 0*h for g.
2
Suppose b = -b. Let n(z) = -14*z - 50. Let d be n(-4). Solve 2*t + 6 = -4*i, 2*t + d + b = 2*i for i.
0
Let j(l) = 8*l + 64. Let i be j(-8). Solve i*c - c - p = 4, c + 3*p + 14 = 0 for c.
1
Let z be (1 - 0)/(1/2). Suppose 0 = 3*i + c - 5, z*i - 3*c + c = 14. Suppose -i*b = -b. Solve -3*f - v + 2*v = b, 0 = 5*f + 4*v for f.
0
Let r(j) = -j**2 + 4*j + 2. Let l be r(4). Suppose -2 = l*a - 26. Solve f - a = -3*s + 7*s, -5*s - 15 = 0 for f.
0
Suppose o = 3*s - 0*o + 35, 4*s + 4*o + 52 = 0. Let j be (-4 - s)/(4/2). Solve v = -t + 2*t - 2, -6 = 2*v - j*t for v.
-1
Suppose -5*b = -4*z - b, -b = -3*z. Suppose 4*n = -z*n. Suppose n = 3*v - 5 - 10. Solve 14 = v*f - 3*x, -f + 1 = x + 3 for f.
1
Suppose -5*s - 28 = -12*s. Solve -5*o + 1 - 4 = 3*c, -4*c - s*o = -4 for c.
4
Let i be 3/(-4) - 3/12. Let v be 0 - -1*(-3)/i. Let a be 6*(-7)/((-84)/8). Solve 3*f - a*f = -2*l - 5, v*l = -4*f - 24 for l.
-4
Suppose 3*o + o = -12. Let p = o - -6. Solve 5*f - 21 = m, 0*m = -m - f + p for m.
-1
Let w(c) = c**3 - 8*c**2 + 12*c + 4. Let x be w(6). Solve -2*l - x*i + 0*i = -30, 15 = -2*l + 5*i for l.
5
Let q = 9 - 0. Solve -2*p + 5*h = 35 - q, p + 7 = h for p.
-3
Suppose 2*u - 8 = -2*a, 5*a = -4*u + 2*u + 32. Solve 5*v - 3 = 4*i, -4*i + 2*v - a = i for i.
-2
Suppose 2*n + 35 = -f - 2*f, 5*f = -3*n - 55. Let s be 0 - n/(4/2). Solve s*j + 4*w = -3, 2*j + 5*w - 6 = w for j.
-3
Suppose -w - w = 3*b + 1, -w = -4*b + 6. Solve 0 = -p + 5*v + 4, 5*v = -p - 5 - b for p.
-1
Let o(t) = t**3 - 7*t**2 - 17*t - 9. Let z be o(9). Solve -g + 2 = 5*w, 10 = -3*g - z*w + w for g.
-3
Let w = -7 + 7. Suppose w = y + 4*y - 40. Solve -5*j = -x + y, -2*j + 0*j - 8 = -2*x for x.
3
Suppose -4*h = 5*i - 49, h + 0*i - 21 = -3*i. Suppose h*q = 4*q + 82. Let f = 59 - q. Solve 3*u + 3*g + f = -0*u, 0 = -2*u - 5*g - 15 for u.
-5
Suppose -4*k = 3*i + 261, -212 = 3*k - 3*i + 2*i. Let j = -47 - k. Suppose -2*w = -3*w + j. Solve 19 = 4*f - l, -5*l - 13 - w = -5*f for f.
4
Let k = -25 - -27. Suppose -k*w = 4*j, 2*w + w = -2*j - 8. Solve -3*x + j*g = 1, 2*x + 2 = -0*x + g for x.
-3
Let i = 93 - 91. Solve 3*r + 6*w = i*w + 8, -w = -2 for r.
0
Suppose 4*k + 3*l - 67 = 0, 2*k - 4*k = 4*l - 26. Solve -3*v = 2*n + 18, 2*v + k - 5 = -2*n for n.
-3
Let s(u) = 2*u + 1. Let t(f) = -4*f - 1. Let j be 1 + (1 + -2)*6. Let p(y) = j*s(y) - 2*t(y). Let n be p(-4). Solve -3*a = n*x - 12, 5*a + x = -x + 20 for a.
4
Suppose 2*c + 3 = 4*o - 3*c, 5*c - 9 = -2*o. Suppose -o*d - 6*s + 14 = -2*s, 5*d - 25 = -5*s. Solve 0 = d*w - w + 4*g + 22, -g = 4 for w.
-3
Let g be -1*(-1 - (0 + 3)). Solve 5*f + 2*s + 0*s + 12 = 0, 2*f + g*s + 8 = 0 for f.
-2
Suppose 3*f - 20 = -4*g, -g + 12 = f + 3*g. Suppose -3*l + 5*l = f. Let u = l + 1. Solve -u*x = 4*n + 13, 0 = x - 5*x + 5*n + 24 for x.
1
Let w(p) = -p**3 + 4*p**2 + 5*p + 2. Let y be w(5). Solve 2*l + 0 = 2*u + y, 2*l + 4*u = -16 for l.
-2
Let a be 0 + 4/(-2) + -2 + 4. Solve -3*u + 5*o + 26 = a, -u + 2*o = 2*u - 14 for u.
2
Let h = -3 - -7. Solve -5*f + 5*p = p + 45, -2*f - 30 = -h*p for f.
-5
Suppose 0*t - 2*t + 20 = 4*p, 3*t - 22 = -4*p. Solve -p*d + 16 = -d + 5*o, 4*o = 3*d + 29 for d.
-3
Let q be (15/(-6)*2)/(-1). Solve -1 = 4*k - q*i, 4*i - 1 = -3*k + 6 for k.
1
Let q be 1/((-8)/6 - -1). Let j = -3 + q. Let i be (-30)/(-4)*j/(-9). Solve -o + 0*o = -2*y + 6, -i*y + 10 = -5*o for y.
4
Suppose -5*f + 2*g = -13, 8*g - 5*g + 6 = 3*f. Solve -f*y + l + 2 = 0, 0 = -y + 4*l + 27 - 8 for y.
-1
Let z(l) = l**3 - 5*l**2 + 4*l + 2. Let x be z(4). Suppose -1 - 11 = -6*c. Solve -c*k + 5*n - 3 = x*k, -k - 2*n - 4 = 0 for k.
-2
Suppose 0*t + t - 5 = 0. Solve -w + 8 = 2*f - t*w, 4*f - 4*w = 4 for f.
-2
Let l = 17 + -14. Suppose -l = n - 5. Solve h = 5*d, 0*d - 2*d = -n*h for h.
0
Let u(j) = j - 13. Let k be u(10). Let r = -3 - k. Solve 10 = -5*g - r*g - 2*p, p = -3*g - 6 for g.
-2
Let r(g) = 31*g**2 - g. Let q be r(1). Solve 2*m = -w + 5*w - q, 4*m - 4*w + 40 = 0 for m.
-5
Suppose 0*p - 4 = -p. Let w = 1 - -4. Solve 0 = -4*b - p*a, -w*b = 2*a - 10 - 2 for b.
4
Let n be (-416)/(-65) + 2/(-15)*3. Solve 0 = 3*j - 2*d + 13, 2*d = -4*j + n*j + 10 for j.
-3
Let k be (58 - 60) + 0 + 8 + -1. Solve k*r - x = -0*r - 22, 0 = 2*x + 6 for r.
-5
Let m(y) = -y - 1. Let o be m(-4). Suppose c = -4*c. Solve 0 = -r + 4*z - o, -4*r + c*r = z - 22 for r.
5
Let h = 3 + -1. Suppose -h*v + 2*z + z = 0, 2*v = -z + 8. Solve 0 = 3*d + 5*s - v, 