4*q - 54 + j = 0, 4*q = -4*s - 4 for s.
-5
Let j be (-7 - -6 - (-2 - 0)) + 2. Solve -j = i, 9 = 3*c - 5*i - 0 for c.
-2
Let g = -51 - -52. Solve 3*h - g = 2*m, 3*m + h = 2*m - 3 for m.
-2
Suppose -16 = -u - t, -2*t = u - 6*t - 21. Solve -6 = -3*j, 2*j + u = 5*a - 4 for a.
5
Let v(m) = -m**2 + 10*m - 11. Let c be v(8). Solve 0 = g + 4, c*j + 11 = 2*g - g for j.
-3
Let z be 0/(0 + -3) + 4. Suppose -z*y + l + 56 = -3*l, 5*y + l = 46. Solve 3*p = -j + y, -9 = -3*j - p - 3 for j.
1
Let j = 10 - 10. Suppose -y - y + 4*t + 26 = 0, 5*t + 10 = j. Solve -u = 3*v + y, -3*v = -8*u + 3*u + 9 for u.
0
Let i = 15 - 11. Suppose 2*k + 4*t = -i - 0, 3 = 2*k - 3*t. Solve -8 = -4*w, z + 4*w - 13 + 3 = k for z.
2
Let u = 52 + -49. Suppose 5*v = 4*v + 2. Suppose -7 = v*y - 3*y. Solve 2*z - 3*z + 7 = u*a, 2*a + 3*z = y for a.
2
Let h = 27 + -22. Solve h*b - p = p - 11, 5*b - 3*p = -9 for b.
-3
Let r(w) = 5*w + 3. Let l be r(5). Let x = -12 + l. Let n(s) = s**2 + 6*s + 2. Let a be n(-6). Solve 6 = -2*k + 2*j, 0 = 2*j + a*j - x for k.
1
Let u be 2/6 + (-15)/(-9). Let z be (-32)/(-12) + u/6. Solve 0 = -5*c + r - z - 10, 5*r = 2*c - 4 for c.
-3
Suppose -5 + 0 = -r. Let k(i) = i**3 - 6*i**2 + 5*i + 2. Let v be k(r). Solve 2*p - 6 = v*u, -4*p - p + 12 = -2*u for u.
-1
Let y(i) = i**2 + 7*i + 6. Let g be y(-7). Suppose 0*z = 2*z - g, 2*b + 2*z - 10 = 0. Solve -3*c + 6*c + 3*p = -6, 0 = -2*p - b for c.
-1
Let k(z) = 3*z**2. Let n be (-28)/36 - (-4)/(-18). Let m be k(n). Solve 0 = -5*u - 2*d - 13, -u - d = -m*u + 2 for u.
-1
Let p = -1 + 5. Solve 7 = -q + p*n, n + 3 = 2*n for q.
5
Let n be ((-10)/(-4))/(4/8). Solve 2 = -z - 3*w + 16, 0 = -z + n*w - 26 for z.
-1
Suppose 4*q - 16 = 64. Suppose -o + 10 = -2*g + o, q = -5*g + 4*o. Let h be (-1)/(-1 - g) + 0. Solve -4*a - h = 2*r - 3, a = r + 5 for r.
-3
Suppose -8*u + 4 + 28 = 0. Solve 0 = -4*r - u*o + 4, 5*o + 3 = -2*r + r for r.
2
Let y = -72 + 77. Solve y*i + 3 = 4*n, 4*i - 3*n + 1 = -2 for i.
-3
Suppose a = 4*a + 21. Let p = a - -12. Suppose -2*w - 5*m + 10 = -6, -5*m + 19 = 3*w. Solve -p*x - 9 = 4*q + 7, -5*x = w*q + 12 for q.
-4
Suppose t + t - 33 = -3*x, 5*t - 5*x - 45 = 0. Let d be (6/8)/(3/t). Solve -w + 4 = -3*o, -d = -w - 5*o - 7 for w.
1
Let k(v) = 4*v**2 - v - 1. Let l = 7 - 8. Let q be k(l). Suppose 3*w = 5*m + 10, -q*m - 3 = -5*w + 18. Solve 3*n - 2*a - 27 = a, -w*a - 13 = 3*n for n.
4
Suppose 5*r - 5 + 0 = 0. Let w be r/1 + (-3)/(-1). Solve -2*g + 2*j = -14, -w*j + 15 = 5*g - 5*j for g.
2
Let m(s) = s**2 - 5*s + 12. Let x be m(5). Suppose g = -3*g + x. Solve 0 = -g*f - f + 2*p + 16, 3*f = 3*p + 15 for f.
3
Let w be 5 + 2/(1 + -2). Let p be (2 + (-3)/w)*27. Let t = p - 11. Solve 2*l - 6 = -2*k, -l + t = 3*l for k.
-1
Let l(m) = -m + 2. Let w be l(3). Let b be (6 + -2 + w)/1. Let o(h) = h - 15. Let j be o(17). Solve -j*g + 5*y - 7 = 2*y, -3 = -b*y for g.
-2
Let y(u) = 5*u**2 + 4*u + 2. Let l(h) = 11*h**2 + 7*h + 5. Let i(r) = -6*l(r) + 13*y(r). Let c be i(9). Solve 4*v = 4*d - 16, -5*d + v + 7 = -c for d.
2
Let s(n) = 3*n**3 - 2*n**2 + 1. Let k be s(1). Let l(a) = a**2 + a - 4. Let h be l(-3). Solve 2*g - 13 = h*w - 5*w, 5*w - 11 = k*g for w.
3
Suppose b - 4*v - 17 = 0, 3 = 2*v + 9. Let r(w) = w + 14. Let c be r(-11). Solve -b*d = 3*y - 7, c*d - y = -0*d - 7 for d.
-1
Suppose 0*a + a = 6. Suppose 0 = 4*n - a + 2. Let l be 1/((-3)/(-2) - n). Solve -2*p + 0*z = z + 10, 0 = p - l*z - 5 for p.
-3
Suppose 27 = 4*o + 15. Solve -6 = -4*c + c, o*c - 11 = w for w.
-5
Let x be 10/35 + (-19)/(-7). Suppose -4*v + x - 19 = 0, -5*v = -5*z + 70. Solve z = 5*c - 5*y, -4 + 38 = 5*c + 3*y for c.
5
Let v be 27/6*(-6)/9. Let l be 11 - (6 + v - 3). Solve -4*k = h + 11, 5*k + l = -4 for h.
1
Let q = 25 + -21. Solve 0*h = 2*h - 5*m - 8, -4*m = -h + q for h.
4
Suppose 0 = -2*a + w + 2, -3*a - 5*w = 2*a + 10. Solve 3*x - 28 = -4*i - 0*x, 2*i - 2*x = a for i.
4
Let q(l) = -4*l + 0 - 2 + 2*l. Let s be q(-4). Let t = s - 1. Solve -5*u = t*x, -x + 5*u = 3*x + 27 for x.
-3
Suppose -9 = -0*y - 3*y. Let w be (-1)/3*6/(-1). Solve -2*b = -4*j + 10, y*j = -w*b - 8 - 2 for j.
0
Let q(s) = 4*s**3 - 2*s + 1. Let v be q(1). Suppose b = -v*b. Suppose b = f - 5*f + 4. Solve -2*a - 4*w - f = w, 0 = -3*a - w - 8 for a.
-3
Let l be 1*(42/(-98))/((-1)/7). Solve 8 - 23 = -2*z - 3*b, 4*z - l = 3*b for z.
3
Let o(b) = -b**2 - 4*b + 1. Let k be o(-3). Suppose -4*a - 11 = 5*w, -w + 1 + 1 = 5*a. Let q = -1 - w. Solve q*t + 3 + 3 = -k*n, t = 5*n + 25 for t.
5
Let u = 0 - -4. Let f be (80/(-6))/(24/(-36)). Solve -2*z = -u*w - f, -2*z - 3 = 4*w + 9 for w.
-4
Let o(a) = -a**2 + 10*a - 11. Let i(g) = -g**3 - 4*g**2 - 2*g - 1. Let z be i(-3). Let m = z + 12. Let j be o(m). Solve -j*b - 10 + 32 = 2*k, 4*k = b for b.
4
Let a = -10 - -14. Solve -5 = w - 2, -a*w = 5*y - 3 for y.
3
Suppose -2*z + 0*z + 56 = 0. Suppose 0*v = 3*q - v - z, -65 = -5*q - 2*v. Solve 0 = 5*s, 3*d + 1 + q = -2*s for d.
-4
Suppose 2*p - 2 = -2*q, 2*p - 4 + 8 = -4*q. Suppose -3*g + 0*g = -6. Solve 25 = p*x - g*r + 7*r, -5*x + 15 = 3*r for x.
0
Suppose 0 = 6*f - 2*f - 8. Let v be ((-8)/12)/2*-12. Solve -f*d + 6*q - 5*q = -3, 0 = v*d - 3*q - 5 for d.
2
Suppose -46 = -5*p + 14. Solve -3*x - p = -8*x + 2*k, 16 = 5*x - k for x.
4
Let j(m) = -m**2 + 8*m + 2. Let y be j(8). Solve -4*q = -4, -3*p - 5*q = -6 - y for p.
1
Suppose 6 = b + i - 3*i, 3*b - 2*i - 10 = 0. Let s(z) = 5*z - 3 - 2*z + z**3 - 2*z + 8 - z**b. Let x be s(0). Solve 5*c - 15 = -x*w, -w + 5*c - c + 3 = 0 for w.
3
Let v = 33 + -33. Solve v*c - 2 = -g - c, 4*g + 17 = c for g.
-3
Let w = 7 + -7. Solve a - 10 = -a, w = 3*l + 4*a - 26 for l.
2
Let z = -6 + 10. Let w be 2 - (-5)/(5/2). Suppose -5 = -w*j - j. Solve 3*y - j = -z, 1 = 5*h + 4*y for h.
1
Suppose -5*c + 20 = -30. Let y = -8 + c. Solve -b + 0*n - n = -8, 5*n = y*b + 5 for b.
5
Suppose -3*u + 1 + 55 = -c, 3*c = -3*u + 48. Solve 4*j = 4*d, 0*j + 5*j = -4*d + u for d.
2
Let n be (18/27)/((-4)/(-42)). Solve -3 = -3*h - b + n, 2*b = 4*h - 30 for h.
5
Let m(c) = -c**2 - 2*c + 12. Let x be m(2). Solve 0 = -3*v + 3*z - 6, -v - 4*z - 3 = x for v.
-3
Suppose g = 6*g + 20. Let k be (2 - g)*(-8)/(-12). Suppose 2*x - 8 = 4*u + 2, 20 = k*x + 5*u. Solve 8 = 3*j + j + 5*c, -x*c = -4*j - 32 for j.
-3
Suppose 0 = -3*i + 2*o - 3*o + 379, -4*o = -5*i + 626. Let m be i/35 + (-6)/(-15). Solve -2*t + 0 = -m*l + 2, -17 = -4*l + 5*t for l.
-2
Suppose -2*q - b = 33, q - 4*b - b = 0. Let o = q + 19. Solve 2*i - 6 = 5*x + 2, -o = -5*x - i for x.
0
Let t(o) = -o**3 - 6*o**2 - 5*o + 4. Let l be t(-4). Let d = 12 - 22. Let s = l - d. Solve -z - 5*g - 6 = 0, g - s = 2*g for z.
4
Suppose 0 = -4*c + s + 2, s = 2*c + 4*s - 8. Suppose 4*m + 1 = 17. Solve 2*n - 2*x - 3 = -c, m*x - 26 = -2*n for n.
5
Suppose -2*q = 5*d - 5*q - 32, -d + 12 = 5*q. Let y = d + -3. Suppose 0 = -x - 2*b + 3, -4*x + 30 = b + b. Solve -o = 5*i + 15, -i + y*i + x = -o for o.
0
Let p(z) = -z**2 + 1 - 2 - 2*z - z + 3. Let j be p(-2). Solve 0 = -3*y + h + 10, 0*y + 15 = -y + j*h for y.
5
Suppose 2*m = -k - 3, -3*k + 0*m - 3 = 4*m. Solve 3*j + 2*j + k*t = 18, 0 = -2*t + 2 for j.
3
Suppose 0 = -5*y + 21 + 79. Suppose 5*q - 18 = -2*c, 2*q - 7 = -2*c + c. Let g = 1 - -4. Solve -g*a = -y, -d - q*a + 11 = -3 for d.
-2
Suppose -160 = 7*k - 3*k. Let s be k/6*(-12)/8. Solve -28 + s = -3*j - 3*b, 16 = 2*j + 4*b for j.
4
Let c(t) = t**3 + 4*t**2. Let r be c(-3). Let p be 190/45 - 2/r. Solve -a = -p*h - 12, 0*a + a + 5*h = -24 for a.
-4
Let d be 25/(-10)*(-4)/5. Solve -5*t = x - 6, 4*x = -d*t - t - 10 for x.
-4
Let g be ((-6)/10 - -1)*5. Let f(k) be the third derivative of -k**5/60 + 5*k**2. Let l be f(0). Solve l = 5*z + 3*w + 31, -g*z + 4*w = -w for z.
-5
Suppose 0 = -3*y - 4*j + 18, y - 1 = -3*j - 0*j. Solve -5*b = q - y, 4 = 3*b - b for q.
0
Let w(s) = s**2 - 7*s - 2. Let p be w(8). Let u = p - 5. Let c be -1 - (62 + u)/(-3). Solve -2*m + 5*x + c = 0, 0 = -x - x - 8 for m.
0
Suppose -4*w + 8 = -d, -2*w - 4*d = -4*w + 18. Let k = 1 + 3. Let x = k - w. Solve -4*j = -q - 11, x*j + 2*j - 30 = -2*q for q.
5
Let j(i) = i**2 + 6*i + 5. Let q be j(-6). Let k(b) = b**2 - 6*b - 6. Let t be k(8). Let g = t - 6. Solve 0 = -g*m - s + 13, -3*m = q*s - 0*s - 31 for m.
2
Let b be (-116)/(-14) + 4/(-14). Let i = -4 + b. Suppose 0 = -w - 4*a + 4 - 10, -i*a - 16 = -4*w. Solv