n.
5
Suppose -5*t = -4*t - 5. Let a(f) = -2*f + 5*f - 6 + f**2 - 8*f. Let u be a(6). Solve u = -3*h + t - 2 for h.
1
Suppose 2*r - 4*i - 5 = 7, 1 = -r - 5*i. Let o(c) = 3*c**2 - 5*c - 2. Let k be o(r). Suppose 1 - k = -5*t. Solve 0 = t*h - 2*h for h.
0
Suppose -63*x = -1285 - 164. Solve 2*m = -x + 19 for m.
-2
Let x be (3 + -1)/(-4)*0. Suppose 4*i - 4 = 5*r - x*r, -2*r = 4*i - 4. Suppose -i = o, 2*b - 2*o - 11 = o. Solve b*f = f for f.
0
Let g = -76 + 78. Suppose 0 = 5*b - 3*w - 11 - 2, g*w = -2. Solve 3*j + 10 = -b*j for j.
-2
Suppose 772*l + 204 = 789*l. Solve l*g = 31 + 29 for g.
5
Let p be (-2)/(21/119*(-2)/3). Solve 12 = -p*w + 5*w for w.
-1
Let x be (4 - (-44)/(-8))*-4. Let c(k) = k**3 - 11*k**2 + 11*k - 7. Let y be c(10). Suppose -y*n = -2*a - x, -2*n = 5*a - 5 + 1. Solve 4*d - 3*d + 1 = a for d.
-1
Suppose p + p = 24. Suppose -22 = -5*k - p. Suppose -4*m = -4*y + 12, -2*y - k*m + 50 = 3*y. Solve q + 3 = y for q.
5
Suppose 0 = -14*z + 56*z - 210. Solve z*u + 0 = -10 for u.
-2
Let v(z) = z**2 + 5*z + 6. Let j be v(-5). Let p be 16/(-28) - (-4)/7. Let b be 4/16*p + 20. Solve j*i - i = b for i.
4
Suppose -o - 154 - 2 = -2*z, -5*z - 4*o + 390 = 0. Let v = z + -77. Solve 2*c = -5 - v for c.
-3
Suppose -4*v - f - 2 + 12 = 0, -20 = -4*v + 4*f. Let o = 25 + -25. Solve q - v = -o*q for q.
3
Let x = 1176 - 1164. Solve -31*m + x*m + 38 = 0 for m.
2
Let r(f) = f**2 - 7*f - 13. Let t be r(-2). Suppose 7 + 13 = t*v + 2*c, 5*v - 35 = -5*c. Solve v*h = 3*h + 2 for h.
-2
Suppose 163*v = 158*v + 10. Solve -8 = -2*w + v for w.
5
Let u be 40/18 - (-8)/(-36). Suppose 0 = 3*w + 5*j - 27, 0 = 2*w - 2*j - 1 - 1. Suppose 3*d - w - 11 = 0. Solve -u*z - 6 = -d*z for z.
2
Let l = 6 - 3. Let f be (-1)/2 + 21/6. Let b = f - l. Solve b*c + 20 = -4*c for c.
-5
Suppose -2*y = -4*y + 3*m - 74, 0 = 4*m. Let s = -34 - y. Solve -s = -4*n + 13 for n.
4
Let g be (15/4)/(-2 + 66/24). Solve -8 = g*j - 33 for j.
5
Let p be 6/7 - 342/399. Solve 6*h - 5 + 35 = p for h.
-5
Let r(x) = x**2 + 11*x - 15. Let g be r(-12). Let b(d) = 8*d + 5. Let o be b(g). Let a be -3 - -2*o/(-2). Solve -u + 5*u = -a for u.
-4
Let x be 7 + -4 + 2 + -2 + -3. Suppose -3*z + 2*s = -x*z - 6, -2*z - s + 11 = 0. Solve -3 = z*v - 15 for v.
3
Let x be ((-24)/(-22))/(102/561). Solve x*t - 5*t = 2 for t.
2
Let h(r) = 8*r + 24. Let b be h(-5). Let t be (48/(-15))/(-8) - b/10. Solve 2*n = -t*n - 8 for n.
-2
Let n be -2 + 225/15*3/9. Let z be 0/(5/(5/2)). Solve -x = n - z for x.
-3
Suppose 0 = 19*t - 22*t + 9. Let q(y) = 3*y**2 - 2*y - 1. Let p be q(t). Solve -3*i - i + p = 0 for i.
5
Let q(i) = 2*i**3 + 8*i**2 - 3*i**3 - 4 + 2*i**3 + 8*i - 4. Let d be q(-6). Solve -3*o - o = d for o.
-4
Let g be 12/(-5) - (-64)/10. Solve 46 - 30 = -g*f for f.
-4
Suppose -4*f - 4 = -2*f. Let x be (-12)/f + 0/20. Let m(l) = -l**2 + 5*l + 7. Let v be m(x). Solve v = 2*w - w for w.
1
Suppose -4*y + 23 + 61 = 0. Suppose -13*b + 76 = -9*b. Let a = y - b. Solve -3 = -f + a*f for f.
-3
Suppose g - 21 = 4. Let t = -15 + g. Let p be ((-4)/t)/((-4)/20). Solve -p*z + 7*z + 5 = 0 for z.
-1
Let l = -25 - -26. Suppose -11 = -2*q + l. Solve 3*d + q = d for d.
-3
Let q = 4 + 6. Suppose 3*o + 2*o = b + 25, 2*o - q = 2*b. Let r(d) = 2*d - 2. Let a be r(o). Solve 7*c = 3*c + a for c.
2
Let w be 21/6*(-36)/(-21). Suppose 0 = -y + 2*p - w, y - 2*p = -y - 2. Solve -2*d + d - y = 0 for d.
-4
Suppose 4*q = -4*t + 52, -4*q + 3*t = 4*t - 49. Solve -q + 6 = -2*x for x.
3
Suppose 9*k - 41113 = -41104. Suppose 2*g - g - 30 = 5*i, 2*g + 4*i = -10. Solve -g = -d - k for d.
4
Let j = -8 + 12. Suppose -11*g - 147 = -202. Solve 0 = -j*p + g*p - 1 for p.
1
Suppose 18*r - 5*r = 4*r. Solve -2*u - 4 - 6 = r for u.
-5
Let x(n) = 2*n**3 + 3*n**2 + n. Suppose 4*m + 3 = -1. Let b be x(m). Solve 4*u + b*u + 20 = 0 for u.
-5
Let l be (20/8)/(1/2). Solve -f = -6*f - l for f.
-1
Suppose 3*k - 4*k + 3 = 0. Suppose u = k*b, 2*u - u = -3*b. Let l be 4/8*4 - b. Solve -4 + l = -2*j for j.
1
Let s be -2 + (-348)/2 - -4. Let x be s/(-16) + (26/8 - 3). Solve 4*w = -x - 1 for w.
-3
Let x(s) = -s**2 + 5*s + 5. Let i be x(5). Let b = -86 + 89. Suppose b*m - 24 = -m. Solve m - 16 = -i*k for k.
2
Let w = 15 - 10. Suppose -w*s - d = -58, 3*d = 4*s - 33 - 21. Solve 0*u - 3*u = s for u.
-4
Let q be (-4)/16 - 18/(-8). Let f be (0/(-1 - 0/(-2)))/q. Solve 0 = -f*v - v for v.
0
Let d = -120 - -123. Solve -z - d = -4*z for z.
1
Let f = 2 + -2. Suppose -4*v + v + 30 = f. Suppose 3*l - l + v = 4*t, -4 = 4*l. Solve t*g = -g for g.
0
Suppose 0 = -7*x - 0*x - 154. Let j = -18 - x. Solve 0 = 4*s - 4 - j for s.
2
Let t = 2 + -8. Let c be ((-20)/t)/(11/((-33)/(-2))). Let f be (0 - (-30)/4)*2. Solve c*k - 10 = f for k.
5
Let b(m) = -3*m**3 - 46*m**2 - 54*m - 63. Let i(z) = -2*z**3 - 31*z**2 - 36*z - 42. Let x(c) = 5*b(c) - 8*i(c). Let g be x(-17). Solve 1 + 3 = -g*d for d.
-1
Suppose -1000 = -51*w + 11*w. Solve w*t - 20 = 29*t for t.
-5
Let n(p) = p**3 - 10*p**2 + 9*p + 4. Let l be n(9). Suppose 3*q = 6, -3*k + 13 = -l*q + 3. Solve 2*v - k*v = 0 for v.
0
Let t(g) = g**3 - g**2 + 2*g + 2. Let l be t(3). Suppose l = -5*u - 4. Let v be (3/u)/(1/(-6)). Solve -v*w = -2*w + 2 for w.
-2
Let r = -249 - -252. Let h be 2 - -3*(-4)/6. Suppose -5*m + s = 3, 4*m - m - 2*s + 6 = h. Solve m = -2*p - r*p + 25 for p.
5
Suppose 0 = -v + 4*h + 17, -3*h - 12 + 0 = 0. Let r be 6/6*(4 - v). Solve -d + 8 = r for d.
5
Let w(l) = -l**3 + 2*l**2 + 5*l - 6. Let v(r) = -r**2 - 4*r - 1. Let a be v(-2). Let d be w(a). Solve d = 2*o - 4 - 6 for o.
5
Let f(n) = -9*n**3 + n. Let a = -18 - -17. Let k be f(a). Let m = k + 3. Solve -4*w = m - 3 for w.
-2
Let t(h) = -h**3 + 7*h**2 + h + 8. Let j be t(5). Let f be -4*(j/(-6) - -3). Suppose -5*o + w + f - 10 = 0, 0 = 5*w. Solve o*q - 11 = -3 for q.
2
Let m(c) = -c + 6. Let f(h) = h**2 + 13*h - 3. Let b be f(-13). Let q(y) = -y + 7. Let j(n) = b*m(n) + 2*q(n). Let d be j(7). Solve 0 = d*z + 3 - 9 for z.
2
Let c(i) = 3*i + 23. Let p(r) = -2*r - 12. Let h(j) = 3*c(j) + 5*p(j). Let k be h(8). Solve -f + k = 4 for f.
-3
Let t be (41/(-4))/(47/(-752)). Solve -163*z - 2 = -t*z for z.
2
Let z = 9 + 24. Suppose b = -v + 4 - 1, 5*v = 3*b - z. Solve -3*n + 9 + b = 0 for n.
5
Suppose -3*v + f = 7, -5 = 4*v - 2*f + 1. Let k(u) be the second derivative of -u**4/6 - 4*u**3/3 + 3*u**2/2 + 3*u. Let r be k(v). Solve r*b - 2 = -17 for b.
-5
Suppose 25*n + 224 = 29*n. Let l = n - 36. Solve -6*w + 2*w = -l for w.
5
Suppose -5*q = -5*t - 0 - 5, -5*q = -4*t - 5. Suppose -3*r + r = -2*f - 6, 3*f + 5*r - 23 = t. Solve 2*l - 3*l = f for l.
-1
Suppose -100 = -67*p - 33. Solve 7*s = 8*s + p for s.
-1
Let i(a) = 4*a - 4. Let k(m) = 5*m - 5. Let c(y) = 4*i(y) - 3*k(y). Let s be c(6). Suppose -2*q + 21 = s. Solve -3*o + q = -o for o.
4
Let k = -364 - -367. Solve k*b - 16 = -1 for b.
5
Let q(r) = -r**2 - 19*r - 13. Let v be q(-18). Suppose v = -2*o + 7*o. Solve -1 - o = -f for f.
2
Suppose -2*t = 15*t + 3*t. Solve z + 4 - 2 = t for z.
-2
Let h be (2/(-4)*-5)/(24/1104). Suppose h = -o + 118. Solve k - o = 2*k for k.
-3
Let l = -9 + 11. Let f be l + 0 + -1 + 1. Suppose i + 0*b - 4*b - 25 = 0, -f*i + 35 = -5*b. Solve v - i*v + 16 = 0 for v.
4
Let g = 718 - 711. Solve 0 = -q + g*q + 18 for q.
-3
Suppose 10 = 2*c, 2*c = -o - c + 14. Let b be ((-3)/(-2))/(o - (-14)/8). Solve 0*v - b*v = 0 for v.
0
Let o(a) = -a**2 + 10. Let q be (-2 - -2)*1/(-2). Let g be o(q). Suppose 6*s - s = g. Solve -w + s = -1 for w.
3
Let i = 8 + -12. Let u(o) = 7*o + 14. Let h(f) = -6*f - 13. Let j(t) = -6*h(t) - 5*u(t). Let n be j(i). Solve -r = -n*r + 12 for r.
4
Let g = 32 + -34. Let w be (g + 11 - 3)/2. Solve 4*x - w - 9 = 0 for x.
3
Let t(z) = z + 10. Let b be t(0). Let j be 2/(-14) + (-3615)/(-1687). Solve j*l + 0*l + b = 0 for l.
-5
Suppose 0 = -g + 1. Suppose -90*z - 42 = -97*z. Solve -z = -f - g for f.
5
Let h = 3 + -3. Suppose 4*g - 2*g = h. Suppose g = -9*w + 2*w + 21. Solve 7 = -f + w for f.
-4
Suppose 3*x + g = -2*x + 22, -2*g - 11 = -x. Solve -x = c - 2 for c.
-3
Let h(m) = 2*m + 1. Let l be h(1). Suppose -18*x = -5*x - 39. Suppose x*f - l - 6 = 0. Solve 4 = -f*n - 5 for n.
-3
Let c be (-4)/(-16)*-1 + 51/12. Let u be (-2)/(c/(-3) - -1). Solve -f + u = 3 for f.
3
Suppose 5*v + 3*y = 3 + 9, 3*v = -2*y + 8. Let z be (-13 + 13)/(v - 1). Solv