 for n.
-4
Suppose -5*q - 4*v = -104, -104 = q - 5*q + 2*v. Solve -2*j + q = -4*n, 0 = -9*n + 4*n + 5*j - 40 for n.
-4
Let g(y) = y**2 + 4*y + 6. Let s be g(-6). Suppose 0 = 2*k + k + s. Let l be (2/k)/(3/(-36)). Solve 0 = -3*c - 3*b + 9, 0*b = -2*c + l*b + 6 for c.
3
Suppose 49 - 9 = 5*l - p, 0 = -2*l + 3*p + 3. Solve 0 = -n - 6*g + 2*g + 24, -5*g = -4*n - l for n.
4
Suppose s = 4*s - 3. Let g = s - -7. Suppose 0*t = 4*t - g. Solve -2*b - 4 = 2*v + b, t*v - 16 = 2*b for v.
4
Suppose 8 = -0*p - p. Let d be (2/(-6))/(p/72). Solve d*r = -3*l - 3 - 0, 2*r = 4*l + 22 for l.
-4
Suppose 0 = 4*l - 32 + 4. Let d(q) = -q**2 - 9*q - 7. Let g be d(-8). Let n be (l - g) + -7 + 6. Solve -w - f - 8 = w, 2*w + 8 = -n*f for w.
-4
Let o(v) = v**2 - 8. Let g be o(6). Suppose -2*d - 2*d = -8. Suppose -2*a = a - d*q - 11, 5*a + 5*q = 35. Solve -4*p + 3*w - 4 = 0, p + p = -a*w - g for p.
-4
Suppose 3*i - 5*y + 19 = 0, -5*i - y + 4*y - 5 = 0. Suppose i*j = -j + 15. Solve 5 = 2*s + c, -38 + 6 = -j*s + 4*c for s.
4
Suppose 3*t - 14 = 1. Solve 4*b - t*b = -5*j - 22, 5*b = 3*j for b.
-3
Let v be 220/(-35) + (-6)/(-21). Let k be (-12)/(-8) - 3/v. Solve k*y + 3*u - 6 = 0, 3*y - 8*y = 3*u - 6 for y.
0
Suppose -5*i - 25 - 50 = 0. Let u be 22/10 - 12/i. Solve 2*t - u*k = -2*t + 21, -t - 3 = 2*k for t.
3
Suppose -4*c + c + 9 = 0. Suppose 0 = u + i + c, u - 3 = 4*u + i. Suppose 0 = 4*a - 0*o + 3*o - 11, o = -3. Solve u = k - 4, a*k - 24 = 2*v - v for v.
-4
Let t(x) = 9 - 2 + 1 - 2*x + x. Suppose 2*d - 6 = d. Let p be t(d). Solve -8 = -p*q - q - g, 0 = 2*q + 3*g - 3 for q.
3
Let u = -8 + 9. Let s = u - 1. Solve 4*h + s*w - 2*w = -2, 0 = 2*w + 2 for h.
-1
Let p(k) = -3*k - 1. Let t be p(-2). Let s(a) = 11*a**3 + a**2 - 2*a + 2. Let b be s(1). Solve -3*n = 4*c - t, 2*c + b - 2 = -4*n for n.
-5
Let q(i) = -i + 14. Let y be q(10). Solve y*s = 4*t - 7*t, -3*s - 4*t = 7 for s.
3
Suppose 0 = -4*q + 15*q - 22. Solve -2*k - i - 2*i = -3, 0 = -q*k - 5*i + 9 for k.
-3
Suppose 0 = -4*f + 2*k + 84, 0*k = 3*f - 5*k - 70. Solve 3*o = -2*o + 25, -5*h + 5*o - f = 0 for h.
1
Suppose 10 = 3*q - 2. Suppose -q = -2*y + 2. Solve 6*l - 2*m + 3 = y*l, -5*m = 5*l - 20 for l.
1
Suppose 7*j + 2*o - 13 = 2*j, -2 = 2*o. Solve -w + 5 = w + 3*h, 0 = -2*w - h + j for w.
1
Let b(p) = -p**2 + p + 1. Let y(s) = s**2 + 12*s. Let k be y(-12). Let f be b(k). Let w be (2 - f) + 5 + -3. Solve t = -4*x - w, 6 + 3 = 3*t + 3*x for t.
5
Let y be -4*(-1)/8 + 10/4. Solve 4*l - b - 12 = b, -y*b + 6 = 0 for l.
4
Let a be (-2 - 8) + 1 + 2. Let k = a - -15. Suppose l + 3*l = k. Solve 3*v = 3*g - 3, 5 = -l*v - 5*g - 18 for v.
-4
Let m(f) = 2*f**2 + 7*f + 5. Let s be m(-5). Solve -s + 5 = -5*b + 5*i, -5*b - 3*i + 31 = 0 for b.
5
Let n be -6*(2 + 21/(-9)). Solve -3*g = -2*j + 12, 4*g - n*j + 20 = 2*j for g.
-2
Let j = 114 - 110. Solve 2 = -2*z, -2 = j*n - 5*z + 5 for n.
-3
Let n be 3 + (-4)/(4/(-5)). Let v = 14 - 10. Solve -2*p - n = -5*h + 2, 0 = -v*h - 4*p + 36 for h.
4
Suppose -3 = -i + 3. Suppose 3*k - i = -0*k. Solve 0 = -4*v - 4*c - 8, 2*v + 3*c + 9 = -k*v for v.
-3
Let n(u) = -u**2 - 10*u - 2. Let v be n(-8). Solve -3*r - 3 + 1 = 4*f, 4*f = 3*r - v for r.
2
Suppose 0*j = 2*j - 4. Solve -3*h - 5*p - 15 = -5, -12 = j*h - 2*p for h.
-5
Suppose 0 = 5*c + 5, -13 = -2*y + 5*c + 12. Solve 3*b + 2 = -2*l - 4, 3*l + 5*b = -y for l.
0
Let n(p) = -p**3 - 2*p**2 + 7*p - 3. Let t be n(-4). Solve -2*a = -5*m - 5, -a - m - 2 + t = 0 for a.
0
Let x(b) = -b + 12. Let z be x(10). Solve 4*q - z = g - 16, 2*g + 20 = -4*q for q.
-4
Let n(z) = -z**2 - z + 2. Let r be n(-2). Let c be (-3 - r) + (0 - -1). Let d be (10/6)/(c/(-6)). Solve -2*y = 2*k + 10, -d*k - y = -4*y - 7 for k.
-1
Suppose 0 = -36*w + 32*w + 12. Solve 4*x = 2*x - 2*p, x + w*p + 6 = 0 for x.
3
Let i be (2 + (-8)/4)/1. Solve i = -5*r + 5, 3 = 4*s - 3*r - 2 for s.
2
Suppose -2*s + 3 + 7 = 4*p, 0 = 2*p + 5*s - 9. Solve 6*k - 18 = k + 3*y, -p*y - 8 = -2*k for k.
3
Let k = 16 + -10. Suppose 3*p + i = k, 3 = -5*p + p - 5*i. Suppose -p*a + 3 - 2 = -t, 2*t = a - 2. Solve -3*d - 2*l = a, -3*d - 2*d + 4*l - 22 = 0 for d.
-2
Let q be -4*(-4)/(-88) + 68/11. Solve 0 = 5*b + 4*s + q, b - s + 4 = s for b.
-2
Suppose 1 = -3*k + 4*c + 4, -3*c = 4*k - 29. Suppose k*o - 10 = -0. Let y be (-18)/(-45) - 246/(-10). Solve -y = -2*f + 5*u + 3, 3*u + 20 = o*f for f.
4
Let m = -4 - -8. Suppose 0 = x + 3*x - 12. Suppose -x*n - 3*f - 2*f = 15, -5*n + 3*f + 9 = 0. Solve -m*v + 4*i = n, i - 3 = -5 for v.
-2
Let n be 2*1/(-6)*1*-9. Solve n = -w + 1, -14 = -4*o - w for o.
4
Suppose -20 = 3*d - 77. Let x be 1 + (d + -2 - 2). Solve -2*m - 3*u = -4*u + 13, 2*u - x = 2*m for m.
-5
Let g(z) = z**3 - 11*z**2 + 24*z + 6. Let r be g(8). Solve 0 = -r*f + 3*f + h - 8, 4*f = -4*h for f.
-2
Suppose -20 = -2*n - 0. Let p(d) = d**3 - 5*d**2. Suppose -4*t = -7*t + 15. Let i be p(t). Solve 2*s + 5*j + 26 = i, -s - 1 = -3*j - n for s.
-3
Let v be 1*(-4 + 5)*0. Solve 2*r + 3*p - p = 0, p + 4 = v for r.
4
Let q = 3 + -2. Suppose 0 = 2*b - 5 + q. Solve 5*r = 4*o - o - 29, r - b*o + 10 = 0 for r.
-4
Let t = -14 + 20. Let f = 11 - t. Solve 2*i + 4 = -m - 1, 3*i - 3 = -f*m for m.
3
Suppose -3*l - 10 = 3*j + l, -l = -2*j + 8. Solve -p + 2 = j*p + 2*q, -q - 2 = 0 for p.
2
Suppose -5*y - 4 = -6*y. Suppose -5*p + 2 + 3 = 0. Suppose -b + p = -y. Solve 2*z - 4*z - 17 = b*s, 2*z + 2 = -2*s for s.
-5
Let j(r) = -r - 3. Suppose -4*w + 4*z + 8 = 0, -2*z + 2 = -3*w - w. Let d be j(w). Solve d = 5*b - 5*s, -2*s = b + 2*b + 5 for b.
-1
Let n be 11 + 3/(-1) + -4. Solve 0*s + i + n = s, -3*i - 12 = s for s.
0
Let i be -5 - -2 - 16/(-2). Suppose 5*c = i*w + 45, 3*c + 4*w + 3 = 2. Solve -c*r - 28 = -2*u, -5*u + 20 = -0*u for r.
-4
Let z be ((-3)/(-2))/((-3)/(-6)). Let x be (-2)/(-3) + 13/z. Solve -5*n = r - n - 4, 4*n = x*r - 20 for r.
4
Let v = 14 + -13. Solve -w = -x + 5 + v, 3*w + 2*x + 8 = 0 for w.
-4
Let h(i) = -i**3 - 11*i**2 + 2*i + 25. Let w be h(-11). Solve k + 3*z + 0 = -7, -w*k - 2*z = 0 for k.
2
Let z(s) = -2*s + 12. Let h(y) = -y**2 - 10*y + 5. Let c be h(-10). Let k be z(c). Solve 2*n - 4*x - k = 0, -2*n + x = -0*x - 5 for n.
3
Let c be (1 + -2)*12*-1. Let m be 4/c - 22/(-6). Solve m*w = -4*d + 24, 0*w = -2*d + w for d.
2
Let r(b) = -b - 2. Let k be r(-4). Let z be k + (3 - 1/1). Suppose -h + 2 = -z. Solve 3*p = -3*g - 9, g - 4*p = 2*g + h for g.
-2
Let f be 2 - (3 - 3/1). Let g = 0 + f. Solve g*a + 4*h - 26 = 0, a - 13 = -3*h + 5 for a.
3
Let z = 15 + -9. Suppose -3*v = 3*p + p - z, -5*v + 10 = 4*p. Solve -v = 3*t + 4*q, 6 = 2*t - 4*q + 3*q for t.
2
Let g(f) = -f**3 + 9*f**2 - 8*f + 4. Let a be g(8). Solve -j - c = -0 + 3, -24 = -a*j + 5*c for j.
1
Let t = -140 - -145. Solve 4*q = -t*y + 5, -q - q = -3*y + 25 for y.
5
Suppose 5*i - i = 4*b - 12, 5*i + 5*b - 35 = 0. Solve 2*k = 10, -3 = -2*w + i*k - 3*k for w.
-1
Let s be (-1)/(-4) - 2/8. Solve -3*c = -2*r - 1 - 6, -4*r - 20 = s for c.
-1
Let f be (-4)/22 + 272/44. Let m = 0 - f. Let s be (m/9)/(2/(-15)). Solve -g + x = -3, -5*g - s*x = 5 - 0 for g.
1
Let q be (2/2)/(((-20)/(-5))/16). Solve -b + 8 = 4, -q = 4*p + 4*b for p.
-5
Let b(n) = 6*n**2 + 11*n + 17. Let c be b(-2). Solve 8 = -5*a - 3*f, a - 5*f + c = -5 for a.
-4
Let t be (-94)/(-18) + (-2)/9. Let z be 58/18 + 2/(-9). Suppose 2*s = 3*s - z. Solve 3*o - 21 = -2*r + t*r, -r = s for o.
4
Let g be (-85)/(-25) + 2/(-5). Suppose 0 = 4*j - 7 - 29. Solve 3*z = u - j, -u - 3*u - g*z - 9 = 0 for u.
0
Let t = 2 - 0. Suppose -2*g - 4*l + 30 = 0, 16*l - 5 = -2*g + 17*l. Solve -n + t*p = 2*n - 5, -p - 13 = -g*n for n.
3
Let b = -5 - -5. Solve 2*x - 5 = 5*w + x, b = -x for w.
-1
Let c be 0*((-1)/2 + 0). Suppose -2*t + 6 = -c*t. Solve -5*b - 1 = 4, 0 = t*j + 3*b + 3 for j.
0
Suppose 3*z + 5*y = z + 3, 3*z + 3*y = 9. Let h(u) = u**2 - 7*u - 3 - 2*u**2 - 1. Let c be h(-6). Solve z*j = 3*r + c + 6, -4*j = -5*r for r.
4
Let t(r) = 4 + 1 - 3*r + 3. Let z be t(-6). Suppose 4*d = z + 6. Solve 0 = 2*u - 4*j - 12, 4*u - j + d = 4 for u.
-2
Let w = 10 - 4. Let q be w/(-4)*2/1. Let u = q - -8. Solve a - 16 = -u*l, -5*a + 0*l + 2*l - 1 = 0 for a.
1
Let i be (-4)/(-2)*6/2. Let a = 1 - 1. Let x(g) = -g - 6. Let r be x(-10). Solve -3*p = -3*n - 2*p - i, a = 5*n + 3*p - r for n.
-1
Suppose -16 = -3*g + 5*x, 5*x + 1 = 2*g - 13. Suppose 3*r + 2*n = 21, -3*