2 for n.
-1
Let a = -110 + 74. Let q be 4/(-14) - a/126. Solve q*t + t - 5 = 0 for t.
5
Suppose -224*f + 265*f = 2829. Solve -54 = 3*s - f for s.
5
Suppose -4*z + 3*z - 1 = 0. Let w be 6/(0 - -2) - z. Solve -4*p = 20 - w for p.
-4
Let j = -119 + 112. Let s(y) be the first derivative of y**2 + 15*y - 2. Let z be s(j). Solve -4*a + z = -7 for a.
2
Suppose 6*i = -3*t + 2*i + 32, 5*t - 30 = 5*i. Suppose 9 = 5*u + t*j - 10*j, 0 = -2*u + 2*j. Solve -u*r = 2*r + 15 for r.
-3
Let g be 18/8*64/6. Let v = 32 - g. Solve y - 3 = -v for y.
-5
Let g(q) = -q**2 + 6*q - 3. Let z(r) = -r + 17. Let y be z(15). Let a be g(y). Suppose -b + 5*b = 4, -a*b = 5*m - 15. Solve 0 = m*f - 4 - 2 for f.
3
Let d = -6 - -12. Suppose -8 = -g + q, -g = -d*g + q + 48. Solve 0 = n + n + g for n.
-5
Let g = -1263 - -1674. Solve c - g = -414 for c.
-3
Let f(b) = -b**2 - 12*b - 31. Let x be f(-6). Solve 0 = -z + x*z - 4 for z.
1
Suppose 0 = -51*t + 943 + 689. Solve 0 = -4*z - 44 + t for z.
-3
Let q(g) = -2*g + g + g + g + g**2 - 4*g**3. Let t be q(-1). Suppose -l - f = -4*l + 12, -t*f = 0. Solve 5*n = 1 + l for n.
1
Let u = -3 + 5. Suppose 7*b + 2132 - 2188 = 0. Solve 0*d + b = -u*d for d.
-4
Suppose 5*g = -2*q + 51, 0 = 5*q + 3*g + g - 136. Suppose -36 - q = -4*m. Suppose -20*i - 3 = -20 - 43. Solve h + i*h + m = 0 for h.
-4
Let f be ((-4)/(-6))/((-5629)/(-1872) - 3). Solve -f*i = -98*i + 8 for i.
4
Let i(j) = j**3 + 9*j**2. Let n = 67 + -41. Suppose 4*g + 2*k + 34 = k, -n = 2*g - 4*k. Let c be i(g). Solve 3*w + w + 8 = c for w.
-2
Suppose -25*v = 2*s - 26*v - 91, 0 = 4*v + 12. Solve 4*u - s = -52 for u.
-2
Let t(x) = x - 4. Let u be t(8). Let j be (-2)/u + (-35)/(-14). Suppose -5*w = -6*w - 2*w. Solve 0 = -w*i - i + j for i.
2
Suppose -73*b + 66*b = -70. Solve 3*m = -b*m + 13 for m.
1
Let z = 9 + 3. Solve z*k = 2*k + 40 for k.
4
Let h be (27/2)/((-15)/(-40)). Suppose 4*y - h = 4. Solve -6*l = -l + y for l.
-2
Let c be 12 + -2 + 2/(-1). Let g be -1 - (-55)/(-33)*-3. Solve c*q - 16 = g*q for q.
4
Let l(b) = 7*b**2 + 2*b - 8. Let q be l(2). Suppose -4*c - q = -n, 0*n - 5*n - 5*c - 5 = 0. Solve -8*v + n*v = 16 for v.
-4
Suppose 2*s - 4*s = -14. Let n be (0 - (-1)/(-2))/(1/(-156)). Let l = 83 - n. Solve 8 + s = l*v for v.
3
Let q = 406 + -394. Solve 0*l - q = -4*l for l.
3
Let c = 510 + -507. Solve c*h - 24 = -36 for h.
-4
Suppose 0 = -0*l + 5*l - 30. Let a be 8/10*(l - -4). Solve -3*b + b - a = 0 for b.
-4
Let v(t) = t**3 - 5*t**2 - 13*t - 7. Suppose 5*q = -2*y + 25, 5*y - 15 = 3*q - 61. Let d be v(q). Solve d*w - 3*w = -15 for w.
5
Let z(w) = -w**3 + 9*w**2 - 8*w + 1. Let m(p) = 45*p**2 - 3*p + 6. Let d be m(4). Let t be (-2)/(-13) + d/91. Let a be z(t). Solve 4*g - a = 3*g for g.
1
Let d(i) = -50*i + 157. Let v be d(3). Solve -w = 6*w - v for w.
1
Let t = 1 - -2. Let d(h) be the third derivative of -h**6/120 - 4*h**5/15 + 3*h**4/4 + 11*h**3/3 + 3*h**2. Let w be d(-17). Solve -t*b + 6 = -w*b for b.
-3
Suppose -4*v + 5*a + 94 = -56, -3*v + 2*a = -109. Suppose -3*y + 5*k + v = 0, -6*k + 4*k = -5*y + 33. Let q be 2 + (y - (2 + -1)). Solve q*i + 16 = 2*i for i.
-4
Let l(f) = f**3 + f**2 - 2*f + 2. Let o(m) = -m**3 - m**2 + 6*m + 1. Let r be o(2). Let g be l(r). Solve -2*b - g = 2 for b.
-2
Let w be 3/12 - (-3)/(-12). Suppose -3*h + w*h = 0. Suppose h = -q + 6*q - 4*s - 36, 44 = 5*q + 4*s. Solve 2*r + 2 = -q for r.
-5
Let o(s) = 4*s**2 + 24*s + 24. Let k be o(-9). Let g = -128 + k. Solve -2*q + g*q = 2 for q.
1
Let h = -6 + 10. Suppose 4*w - 31 = h*r - w, -9 = 3*r + w. Let x be (-1)/(r - 9/(-3)). Solve -g + 4 = x for g.
3
Let l(n) = -n**3 - n**2 + 3*n + 4. Let a be l(0). Solve -3*u - a = -u for u.
-2
Suppose 95*v = 40 + 150. Suppose 5*z = -2*u + 3, z + 3*u + 2 = -0*u. Let c be (z - 0)/(1/3). Solve 11 = -v*l + c for l.
-4
Suppose -r - 29 = -6*r - 2*v, -2*v - 6 = -2*r. Solve -r*h - h = 0 for h.
0
Let f be (4/(-8))/((-266)/(-268) + -1). Solve -f + 47 = 4*h for h.
-5
Suppose 4*l - 6*l - 124 = 0. Let i = 96 + l. Let d = 44 - i. Solve 0 = -4*j + 2*j + d for j.
5
Let l(p) = -5*p**2 - 4*p - 3. Let o be l(-2). Let i be o*3/(-9) - -1. Solve -i*g + g = 10 for g.
-2
Let g = -1171 + 1177. Solve 3 = -9*t - g for t.
-1
Let a be (-3 - 16/(-3))*(-18)/(-6). Suppose -5*i = -5*w + 10, -i - a = -4*w + 7. Solve -4*u - w = 4 for u.
-2
Let g = -16 - -18. Let t be 1*(1 + 5)*g. Let r = 12 - t. Solve 1 = -m - r for m.
-1
Let q = 1 - 0. Let s be ((-21)/105 - 13/(-15))*15. Solve q - s = -3*d for d.
3
Let t = 60 - 54. Suppose 18 - 6 = t*s. Solve -7 = -5*y - s for y.
1
Let v be (1 + 14/(-10))/(27/(-3375)). Let u = -40 + v. Solve -4*i + u = i for i.
2
Let w = 21 + -18. Let z be (w/(-6))/(3/(-18)). Solve -z*x + 3 = -0 for x.
1
Let n(k) = k**3 - 6*k**2 - 5*k - 3. Let v be n(7). Let o be 1 - 0/(-2) - -7. Suppose 3*f - v = -o. Solve g + 0 = f for g.
1
Suppose 112 = 25*b - 63. Solve i + b = 2 for i.
-5
Let r be (1 - 3 - 130/(-52))*16. Solve r = 16*l - 20*l for l.
-2
Let p = 11 + -8. Suppose 4*k - m - 31 = 0, -p*m - m = 5*k - 23. Let d = 8 - k. Solve -y + 0 = -d for y.
1
Suppose 5*b - 35 = -5*s, -1 + 0 = -b + 2*s. Solve b - 9 = -4*o for o.
1
Let w = -634 + 638. Solve 0 = -4*u + 5*u - w for u.
4
Suppose 6*b - 106 - 26 = 0. Let x = 24 - b. Solve 4*h = 2 + x for h.
1
Let j = 12 - 8. Solve 0 = j*w - 6*w + 10 for w.
5
Let n be (5/10 - 2)*4. Let q be 2/(-18)*21/7*n. Solve -2*t = q + 4 for t.
-3
Let j be (-2)/12 + (-91)/(-42). Let c(p) = p**3 - 6*p**2 - 5*p - 9. Let l be c(7). Suppose l*q - 6 = 2*z, -j*z + 3*q + q = 4. Solve -v = v - z for v.
1
Let s be (0 + (-6)/(-4))*2 - -5. Suppose s*k - 5 - 19 = 0. Solve k = 2*p + 1 for p.
1
Suppose 5*d - 97 = 4*y, -2*d - 16 = -2*y - 54. Suppose -2*p - 48 = 2*b + b, 3*p = 9. Let h = b + d. Solve 2*l - h = -l for l.
1
Let o(j) = -j**3 - 11*j**2 - 14*j. Let g be o(-10). Suppose -6*m = -m + g. Let z(a) = -2*a - 10. Let f be z(m). Solve -b - 2*b = -f for b.
2
Let r be (16/(-24))/((-3)/(-54)*-4). Solve 2*g - 3 = r*g for g.
-3
Let a be ((-3)/(-3))/(1/3). Let c be ((-1)/(-26))/(1/(-4)) - (-42822)/10309. Solve q = -a*q - c for q.
-1
Let x be (-4)/(-12) - ((-280)/15 - -1). Solve -2*d + x = 10 for d.
4
Let z(l) = l**3 - 20*l**2 + 17*l + 40. Let u be z(19). Solve u*w + 8 = 10 for w.
1
Suppose l = -7*l + 32. Let s = -200 + 205. Solve -l - 6 = s*v for v.
-2
Let f(o) = -o**3 - 15*o**2 - 43*o + 17. Let m be f(-11). Solve 0 = m*d - 5 - 13 for d.
3
Suppose 11*d - 13*d = -3*p + 2, -3*p = -d - 4. Suppose 5*a - 2*m = 4, -2*a - 3 = -3*m + 2. Suppose 0 = -q - 0 + a. Solve -q*z - 8 = -p for z.
-3
Let g be (-2)/((-18)/(-45)) - -18. Solve g = 16*b - 3*b for b.
1
Let u(a) = a**2 - 9*a + 13. Suppose -5*d + 3*i + 43 = 0, 3*i - 6 = -d - 1. Let t be u(d). Solve -4*f - t = 3 for f.
-2
Suppose 0 = -404*o + 95*o + 927. Let v be ((-3)/(-9))/((-1)/(-6)). Let q(j) = j**3 + 5*j**2 + 3*j + 1. Let a be q(-4). Solve v*d - a = -o*d for d.
1
Let b be (-52)/(-20) - 2/(-5). Suppose b = 3*q - 0*q. Solve q + 0 = -v for v.
-1
Suppose 0 = -5*u - 4*c + 4, -3*u - 4*c + 0 = 4. Suppose 3*i + s = 2*s + 15, u*s = -3*i. Solve x - 5 = -i*x for x.
1
Let t = -27 - -15. Let j = t + 14. Suppose j*k = 2 + 2. Solve -s = k*s - 15 for s.
5
Let n(m) = m**2 + 5*m - 95. Let d be n(8). Solve -8*v + d*v = 3 for v.
3
Let r = -64 - -67. Suppose 0 = 5*u - 3*g - 57, -4*u + 8 = -r*u - 4*g. Solve y = 5*y + u for y.
-3
Suppose -3*r + 101*s - 99*s + 67 = 0, -4*r + 51 = 5*s. Solve -23*n = -r*n + 20 for n.
-5
Suppose c - 6*c - 31 = -3*x, x - 3*c - 17 = 0. Let k be 6*-3*2/3. Let v = -7 - k. Solve 3*i + v = -x*i for i.
-1
Let p = -65 + 79. Suppose -8*f + 15*f = p. Solve 0 = -f*v + 14 - 4 for v.
5
Let l be (-4)/(-2*1/7). Suppose 16*k + 0*k + 192 = 0. Let n = k + l. Solve n*p = 4*p - 6 for p.
3
Let p = 8 - 7. Let f be -1 - p - 0/1. Let b be f*(-4)/(-8) - -2. Solve s = b + 2 for s.
3
Suppose -5*f - 4*m = -146 - 236, 0 = -4*m + 12. Solve f*p + 10 = 76*p for p.
5
Suppose -4*k + 4154 = 4126. Suppose -3 = -j + 5. Solve 0 = -j*m + k*m + 3 for m.
3
Let d be 2090/(-722) - ((-17)/19 - -1). Suppose -3*n - 20 - 4 = 0. Let i be n/2*3/d. Solve s - i*s = -6 for s.
2
Suppose -4*i - 36 = -4*s - 8*i, -3*s - 5*i = -27. Solve s*y - 3 + 30 = 0 for y.
-3
Suppose -2*i + r + 17 = 15, -5*i = 3*r - 27. Solve 2*u = -u + i for u.
1
Let k(n) = -2*n**2 + 29*n + 17. Let v be k(15). Solve 6*j - 5*j + 