 n.
-3
Suppose l = -0 + 5. Let a = 153 - 153. Suppose -25 = -5*x + 5*n - a*n, 4*x - 14 = -2*n. Solve k = -l + x for k.
-1
Let f = 31 + -44. Let z = -9 - f. Let u = 14 - 10. Solve -z*h + 5*h = -u for h.
-4
Let z = -43 + -5. Let g be (-8)/(z/30) - 0. Solve 1 + g = 2*t for t.
3
Let s(g) = 280*g + 18. Let m be s(0). Solve -m = -12*l + 3*l for l.
2
Suppose -p - 3*p + 3*z = -9, -p + 12 = -4*z. Solve p = d + 285 - 277 for d.
-8
Suppose -269 - 116 = -80*d + 95. Solve 0 = -d*k + 2328 - 2370 for k.
-7
Let l be (-1 - -6) + (3 - 6) + 4. Let t(a) = -l + 21 - 2*a - 10. Let i be t(-2). Solve -i = 4*d + 7 for d.
-4
Suppose -5*o + 62 = 2*k, -2*k = 27*o - 28*o + 10. Solve a - o = -3*a for a.
3
Let v(k) be the first derivative of -7*k**2/2 - 130*k - 86. Let m be v(-19). Let i = 1 - 1. Solve -3*p + m = -i*p for p.
1
Let b be (-6 + 2 + 4)/2. Suppose b = 2*f - 3*n - 8, -3*f + 4 = -4*n - 6. Let k be 21/(f - -5) - 1. Solve k = -0*r - 3*r for r.
-2
Suppose 38*f + 111*f = -5*f + 17248. Solve -f*b + 109*b = 15 for b.
-5
Suppose 0 = 21*b - 26*b + 80. Let t be (4 + -5 + 4)*b/3. Suppose d + t = -5*y, 3*y = -d - 6 - 2. Solve 0*q + d*q + 4 = 0 for q.
-1
Let k(t) = t**2 + 9*t + 70. Let u be k(0). Suppose u*v - 72*v + 8 = 2*r, 3*v - 12 = 4*r. Solve -2*y + r*y = -6 for y.
3
Suppose -5*l + l = 4, -5*t - 2*l = 877. Let a = -173 - t. Let q = -16 - -22. Solve a*f - 2 = q for f.
4
Let j be 20/(-16) - ((-1403)/4)/(-1). Let r = 352 + j. Solve r = -t - 13 + 8 for t.
-5
Suppose 5229 = 212*f - 1343. Solve f = -2*m + 23 for m.
-4
Let k be (1/(-2) - (-3978)/(-12))*1. Let x = k + 337. Solve p = x - 6 for p.
-1
Let a = -9418 - -9422. Solve -37*m - a = -36*m for m.
-4
Let j = -70 - -103. Suppose 0 = -11*n + j - 11. Solve 2 = n*s + 6 for s.
-2
Let g(m) = m**2 - 2*m - 11. Let w(z) = 13*z - 41. Let r be w(6). Suppose 3*h - 52 = -r. Let l be g(h). Solve -l*c + 9 = 21 for c.
-3
Let n be (46/12 - 3) + 55/(-66). Solve 40*s + 49 + 151 = n for s.
-5
Let i(x) = -x**2 + 4*x + 5. Let u(s) be the third derivative of -s**4/24 + 19*s**2. Let z(j) = i(j) + 4*u(j). Let m be z(0). Solve 0 = -m*f - 12 - 8 for f.
-4
Suppose b + 5*q = 32, -5*b + 6*q + 70 = q. Let v = b - 24. Let u be v/(-3) + (3 - 14/6). Solve 2*s + 1 = u*s for s.
1
Let f(u) = -u**3 - 18*u**2 + 125*u + 1703. Let q be f(-20). Solve -q*j + 98 = 95 for j.
1
Let g be (-5)/65 - 1251/(-39). Suppose 3*x + 7 - g = -z, -5*x - 45 = -5*z. Solve 3*h - 2 = z for h.
5
Let g be 30/(-8)*(-6272)/672. Solve -g = -14*x - 91 for x.
-4
Let j be 9/2 + 17/(-34). Suppose 54 = j*y + 3*n, -3*y - 2*n - n = -39. Let t = 51 - 47. Solve u = t*u + y for u.
-5
Suppose a - 4*d - 70 + 4 = 0, a + 3*d - 73 = 0. Solve -75*c + 61*c = a for c.
-5
Let y = 35 + -15. Let g be 0 + 2 + y/2. Let q = g + -12. Solve -l = -q - 4 for l.
4
Let r = 248 - 63. Let g = 196 - r. Solve 12*w - g*w = 3 for w.
3
Let p = -326 + 561. Let w = p - 232. Solve -2*h + 5 = w for h.
1
Let p(u) = -u**3 + 27*u**2 - 58*u + 200. Let q be p(25). Solve -5*a + 8 + 7 = q for a.
3
Let a be (-2 + 1 + 5 - 8) + 9. Suppose -3 + 13 = a*i. Solve -i*p - 8 = 2*p for p.
-2
Let f(a) = -a**3 - a - 6. Let l be f(0). Let n(b) = -2*b**3 - 13*b**2 - 5*b + 8. Let t be n(l). Solve 2*y + 6 = -t for y.
-4
Let t = 176 + -22. Suppose 9*w + 559 = t. Let g = w + 55. Solve -u + g = -3*u for u.
-5
Suppose 2399 = 204*t - 96337. Solve 0 = t*u - 486*u - 12 for u.
-6
Let n be (-30)/(-7) + (-4)/14. Let b(u) = 17*u + 158. Let g be b(-8). Let o = -17 + g. Solve -o*w + 3*w + n = 0 for w.
2
Suppose 0 = 3*t + t - 4. Let z be (0/(-4))/(t + -3). Suppose -23*k - 10 = -79. Solve k*s - 1 + 7 = z for s.
-2
Suppose -5*h + t - 42 = -38, -5*t = -5*h - 20. Solve h = 13*k - 18*k - 10 for k.
-2
Suppose -6 = -3*u + 15. Suppose 5*v + 2*o - 11 = 0, -4*v - 35 + 51 = -2*o. Solve v = -u*b - 4 for b.
-1
Let z = -95 - -46. Let f = -4539 - -4595. Let h = f + z. Solve -23 + h = 4*w for w.
-4
Let c be 2/3*(-204)/8. Let n be (17/c)/((-1)/3). Suppose 0 = -n*m + 2 - 2. Solve m = 2*k - k for k.
0
Suppose -1984 = -116*b + 124*b. Let p = b + 253. Solve 0 = f - p - 0 for f.
5
Let i be 35*(-250)/350*(3 - 2)/(-1). Solve -62 = -i*d + 38 for d.
4
Let l(p) = -p**3 + 17*p**2 + 18*p + 2. Let m be l(18). Suppose -m = x - 4. Let r be (x/6)/(5/150). Solve -k - r = -3*k for k.
5
Let v be (-388)/((-5)/(2/2) - -4). Let b = 395 - v. Solve b = 6*y - 5 for y.
2
Let z be 7/(10 - 3) + (1 - -3). Let o be z/((9 - 4)/5). Suppose o*t = -5, -2*t + 6 - 23 = -3*m. Solve 16 = -m*l + 6 for l.
-2
Let d(f) = 2*f**2 + 16*f + 14. Let x be d(-7). Suppose 2*r + x*r - 4*o = 16, -o = 1. Suppose m = 3*n - r, 4*m - 7*m - 2*n + 4 = 0. Solve l + m = 1 for l.
1
Let f(t) = t**3 + 11*t**2 + 12*t - 11. Let y be f(-9). Let r = 43 - y. Let j be (2 - r)*2*2. Solve 3*m + 20 = j*m for m.
4
Let x(d) = -112*d**3 + 9*d**2 - 3*d - 2. Let i be x(-2). Let n = i - 936. Solve n = 4*j + 2*j - 30 for j.
5
Suppose -3*m - 3 = 0, f - 46 = -59*m + 62*m. Solve 55 = -2*a + f for a.
-6
Let j(f) = -2*f**2 + 2. Let h be j(2). Let i be h/(1 + -3) + 0. Let c(g) = -12*g + 90. Let l be c(7). Solve -i*x = l + 6 for x.
-4
Let n(v) = v**3 - 2*v**2 - v - 2. Let j = -34 - -8. Let l = j - -29. Let f be n(l). Solve -f = -2*p + 4 for p.
4
Suppose 24 = 4*m, -8*r + 19 + 109 = 4*m. Solve -r*d + 9 = -4 for d.
1
Let q = 8 - 6. Suppose -2*l = -w - 15, w - 8 = -q*l + 1. Suppose 0 = -f - 157*n + 156*n + 9, 4*f + 5*n = 36. Solve -f = 3*z - l*z for z.
3
Let r(q) = q**3 + 6*q**2 - q - 26. Let f be r(-4). Suppose -f*z - 7*z = -85. Solve -9*d + 14*d = z for d.
1
Let r(l) = l**2 - 811*l + 5628. Let g be r(7). Let m = 1 - -2. Suppose 24 = 2*h + m*v + 8, 0 = -v. Solve g = -3*b + h*b + 20 for b.
-4
Let l(j) be the third derivative of j**6/60 - j**5/15 - j**4/12 + j**3/2 - 144*j**2. Let d be l(3). Solve -7*w = -d - 6 for w.
3
Let c(l) = -3*l**2 + 38*l + 41. Let x be c(13). Solve 34*t + x = 62 for t.
1
Let b be 14 - (0 - (3 + 2)). Solve 6*m + 13 = b*m for m.
1
Suppose -3*i = -0*i - 21. Let x(b) = -28 - 63*b + 26*b - 68. Let f be x(-3). Solve -f = -i*v + 2*v for v.
3
Let f(z) = z + 12. Let o be f(-6). Let r = 118 - 115. Suppose 5*j - 33 = 2*h, -r*j + 4*j - 5*h = 25. Solve -j*w = -16 + o for w.
2
Let i(g) = -g**2 - 23*g + 24. Let l be i(-24). Suppose -3 + 7 = v. Suppose -k + 0 = -v. Solve l = -k*n + n for n.
0
Let u be (1 + 1)/(1/2). Let h(w) = -w**2 + 7*w + 2. Suppose 0*v = 12*v - 60. Let s be h(v). Solve u*n = -0*n - s for n.
-3
Suppose 0 = 5*r + 5 + 10, -4*r = 2*c - 16. Suppose -m + c = 6. Solve -m = -4*n - 4 for n.
1
Suppose -63*m + 66 = -41*m. Suppose m*k - 15 - 15 = 0. Solve -k*n = -5*n - 20 for n.
4
Let j be 27/(-1 - (-6)/4). Suppose j = 4*l + 18. Solve -5*z = 34 - l for z.
-5
Suppose 0 = -33*u + 28*u. Suppose u = 5*c - 4 - 21. Suppose 6 = -c*o + 7*o. Solve -o*s + 4*s = 3 for s.
3
Suppose -3 = 2*j + 5, j = -l + 1. Suppose 2*h + 5*g + 25 = 0, 4*h - 13 = 5*g + 12. Suppose -p = 5*o, 2*p + 2*o - l*o = h. Solve 2*x + 6 = -p*x for x.
-3
Suppose 134*l + 1196 = -144*l + 304*l. Solve 0 = -l*c + 64*c - 108 for c.
6
Let q be -3 + 14 - (-3)/1. Suppose -224 = 3*f - 17*f. Suppose q*l + 2 = f. Solve s - 2*s - l = 0 for s.
-1
Let a(j) = 56*j**3 - 4*j**2 - 11*j + 8. Let k be a(1). Solve -1159*t + 1166*t = -k for t.
-7
Let k(o) = o + 21. Suppose -173*x + 172*x = 15. Let u be k(x). Solve -u*s = -9 - 9 for s.
3
Suppose 2*h - 6 = -p - 1, 0 = -p + h + 5. Suppose 2*d = -0*d + p*m + 81, -4*d + 157 = -5*m. Let s = d + -33. Solve -2*x + s*x = -6 for x.
-2
Let u(s) = -s**2 + 11*s - 30. Let h be u(8). Let d be (1 - (-1 + h)) + (-16)/(-8). Solve 5*k - 15 = d*k for k.
-3
Let v(y) = -y**2 + 12*y - 31. Suppose 2*x - 8 = -2*m, 0 = -m - 2*m - 2*x + 10. Suppose 3*i = -m*i + 35. Let g be v(i). Solve g*b = b - 15 for b.
-5
Let h(a) = a**2 - 6*a + 4. Let l be h(6). Let s be (12/10)/(l/30). Let w be s/2 + 3/(-6) - 0. Solve w = -5*n + 9 for n.
1
Let o(g) = 9*g - 34. Let w be o(5). Let h(u) = 6*u**2 - 3*u - 1. Let y be h(-3). Suppose -y = -v - v. Solve 4*t - v = -w for t.
5
Suppose -4*w + 42 - 29 = p, 3*p + 3*w - 21 = 0. Suppose 2*u - 61 - p = -5*v, -3*u + 64 = 5*v. Solve -4*j = -18 + v for j.
1
Let l = 102 + -92. Suppose 0 = -2*a + 10, 7*a = -5*m + 11*a + l. Solve 6*g = 4*g - m for g.
-3
Let w = -14334 - -14786. Solve w - 412 = -10*f for f.
-4
Let x = -683 - -689. Solve 20*v = 23*v + x for v.
-2
Let y be (24 - 