/c). Solve n = q + 1 for q.
2
Suppose 0 = 2*n + 2*s - 16, 351*s - 346*s - 30 = 0. Let o(r) = -r**3 - 5*r**2 - 6*r - 6. Let t be o(-4). Let k = 11 - t. Solve i + n*i = -k for i.
-3
Let n(w) = 15*w**2 - 19*w - 69. Let p be n(-4). Suppose -p + 239 = -4*j. Solve -j*i - 3 + 5 = 0 for i.
1
Let g be -2 + 948/19 - (-22)/209 - -9. Solve 0 = -8*d + g - 9 for d.
6
Let i be 1/((-33)/(-352)) - (-3)/((-27)/6). Solve -i*d - 19*d = 145 for d.
-5
Let u = -161 - -297. Let l = u + -136. Solve 2*f = 8 - l for f.
4
Suppose -2*l - 3*l + 5*c - 10 = 0, -3*c + 14 = 5*l. Let b be (l/(3/9))/(3/3). Solve -b = -2*a - a for a.
1
Suppose 2*h - 297 = -7*h. Suppose 3*a - h = -3*n, -4*n + 48 = 6*a - 3*a. Solve 5*t = 5 - n for t.
-2
Let o = -556 + 558. Suppose l - 27 = -f, -2*l - 2*l + o*f = -90. Solve 6*b = 14*b + l for b.
-3
Let x(q) = 7*q - 39. Let l be x(6). Let w be (-12)/36 - 13/(-3). Suppose 6*m - 11 = -d + w*m, 5*m = -l*d + 35. Solve -n + d = 4*n for n.
3
Suppose -1023 = -21*g + 27. Let o = g - -31. Let x = -77 + o. Solve 7 - 19 = x*v for v.
-3
Suppose 5*h - 3 = -4*g, -3*g + h - 3*h = -4. Let x = -51 - -55. Suppose 0 = -3*o + 8*o + x*o. Solve o = -3*d - 1 - g for d.
-1
Let r(a) = 4*a**2 + 19*a + 38. Let x(o) = 13*o**2 + 58*o + 117. Let q(z) = 7*r(z) - 2*x(z). Let k be q(-2). Solve 7*w = -29 - k for w.
-5
Let z(x) = -2*x**3 + 5*x**2 - 44*x - 162. Let r be z(-3). Solve -l - r + 73 = 0 for l.
4
Let l(g) = -g**2 + 22*g + 106. Let u be l(25). Solve 8*i = -u + 7 for i.
-3
Suppose 3*y + 26 = 41. Suppose 2*d - 28 = 4*u, 17 = y*d - 2*u - 13. Suppose 0 = -11*q + d*q + 105. Solve 0 = 2*s - 5*s - q for s.
-5
Let h(r) = 4*r + 27. Let b be h(-7). Let p be 3 + 1 + 0/(-1) + b. Solve -23 = -p*c - 8 for c.
5
Let x be (1 - -2)*1 + 0. Suppose m + 56*v - 47 = 55*v, v = -1. Suppose 13*l - 17*l + m = n, n + 43 = 3*l. Solve -x*j = 1 - l for j.
4
Suppose -3*z + 4 = 4*y - 15, 3*z + 1 = y. Suppose 7 = b + z. Solve 0 = 5*g - 2*g + b for g.
-2
Suppose -3*k + 65 = -2*o, -o + 114 = -k + 136. Let y = -7 + 15. Solve -y*z + k = -z for z.
3
Let j = -16279 - -16279. Solve 19*x + 51*x - 630 = j for x.
9
Let h = -24304 - -24304. Solve 76*n - 89*n + 39 = h for n.
3
Let n = 110 + -108. Suppose n*s - 31*s = -580. Solve -15*b = -s*b - 5 for b.
-1
Suppose -k + 16 = -2*o, -4*k - 311 = 3*o - 309. Solve -275 + 255 = k*u for u.
-5
Let m = 69 + -71. Let d be (-88)/(-4) - 6*m/(-4). Suppose -6*y = -d + 1. Solve 0 = -6*i + y*i + 12 for i.
4
Let g = 85 - 61. Let y be (5 - 3)*(2/(-1) + 3). Suppose -y*b - 20 + g = 0. Solve 0 = -b*v - v for v.
0
Let i(a) = a**3 + 28*a**2 - 33*a - 38. Let s be i(-29). Let n be ((-16)/(-3) + -5)*s/2. Solve 2*d - 3 + n = 0 for d.
-5
Let z = 182 - 132. Let a = -21 - -21. Suppose a = -q + z - 48. Solve 2*y - q = -0 for y.
1
Suppose -4*b - 7 = 4*i - 47, -4*i - 2*b + 48 = 0. Suppose 0 = 3*r - i + 2. Suppose -r*f = f - 15. Solve -k - f*k = 12 for k.
-3
Let p(y) = -y**3 + 4*y**2 + 22*y + 17. Let l be p(7). Solve -l = -2*q - 6*q for q.
3
Suppose 3*g + 2 = 8. Suppose 3*h - 3*z + 2 - 35 = 0, -5*z = -4*h + 43. Solve 2 = -g*d + h for d.
5
Suppose 0 = -30*s + 34 + 86. Suppose s - 16 = -3*u. Solve -u*g - 7 = 1 for g.
-2
Let g be ((-3)/3 + 0)*-2. Suppose 28 = 5*a - g*o, -a - o = 3*a - 12. Suppose 4*f - 2 = 5*u, -3*f + 6*f - 17 = -a*u. Solve -u*p + 6 = p for p.
2
Suppose -4*a = -5*h + 155, -3*h + 106 = -17*a + 12*a. Suppose 0 = 11*j - h*j. Solve j = -2*c + 5 - 3 for c.
1
Let k(m) = -2*m**2 - 33*m - 21. Let q be k(-13). Suppose 0 = q*x - 69*x - 3. Suppose -8 = x*u - 29. Solve -6*v + 3 = -u*v for v.
-3
Let p be 3/(-2)*98/(-21). Suppose -16 = -4*s - 0*s. Suppose 22 = p*w + s*w. Solve -w*f + f - 2 = 0 for f.
-2
Let k be (-411 - 19)*(-1)/(-2). Let h = -204 - k. Solve h = -5*y + 21 for y.
2
Suppose 0 = -99*j + 110*j - 99. Suppose 0 = v + 2*v - j. Solve 10 = v*f - f for f.
5
Let o = 145 - 57. Let f be o/1 + 0*(4 + -5). Suppose 3*b = -8*b + f. Solve -2 = 3*d - b for d.
2
Let z = 166 - 120. Let c = z + -32. Solve -11 = 5*h + c for h.
-5
Let o = -106 - -85. Let n(z) = -z**3 - 21*z**2 - 3*z - 43. Let j be n(o). Solve -f - j = 3*f for f.
-5
Let n be (35 + -54)/((0 - -1)/(-4)). Suppose 3*l + n = 79. Solve 0 = -11*q + 10*q + l for q.
1
Suppose 5*i - 801 - 719 = -2*k, 4*k - 1510 = -5*i. Let d = i + -306. Suppose 0 = 5*s - 2*r - 60, -2*s + 3 + 2 = 3*r. Solve s = 5*t - d for t.
2
Suppose s + 3 = 2*w + 3*w, -5 = 3*w - 4*s. Solve w = -i + 5 for i.
4
Let m be (59 + -4 + 3)/2*(8 - 7). Solve 0 = 12*v + 43 + m for v.
-6
Suppose 2*c + 3*q - q = 6, 3*c - 5*q = -23. Let n be (13 + -3)/(2 + c). Suppose w = 3*k - n, 2*k + 2 + 3 = 3*w. Solve 0 = -2*p + w*p for p.
0
Let h = -6115 - -6121. Solve -27*z - h*z - 99 = 0 for z.
-3
Let t(z) = z**3 - 4*z**2 + 5. Let b be t(4). Suppose 0 = 10*p - 5*p - b. Let m(k) = 3*k + 1. Let j be m(p). Solve 0 = -h + j*h - 15 for h.
5
Let l be (4/6)/(((-2)/6)/(1739/(-74))). Solve l = -7*f + 12 for f.
-5
Suppose 0*r - 3 = -r. Let m = 3 - r. Suppose 0 = -70*s - 53361 + 53431. Solve s = -m*w + w for w.
1
Let i = -2 + 8. Suppose -1599*k + 1600*k - 28 = -q, -5*q + 32 = k. Solve k = i*w + 3*w for w.
3
Suppose 4 = r - 2*s, 5*r - 13 = 4*s - s. Let v = 1531 - 1528. Solve -v*q - 5 = -r*q for q.
-5
Let w(c) = 2*c**2 - 48*c + 36. Let o be w(22). Let p be (-96)/o - (3 + (-164)/52). Solve -5*l - l - p*l = 0 for l.
0
Let v(n) = 26*n + 128. Let d(u) = -5*u - 26. Let c(z) = -14*d(z) - 3*v(z). Let g be c(-3). Solve -18 = g*o + 2*o for o.
-3
Let q = 207 + -201. Suppose 0 = u + 3, -5*f - 2*u - q = -15. Solve -f*h = h - 12 for h.
3
Let o be (-3)/12*(-5 - -937). Let k = 246 + o. Let w be 10/2 - (0 + 1). Solve k = w*t + 1 for t.
3
Let c(a) = -a**2 - 3*a - 5. Let u be c(-2). Let y(w) = -w**2 + 1. Let z(i) = -i**2 - 2*i + 9. Let m(f) = -y(f) - z(f). Let n be m(u). Solve 2*d = 8 + n for d.
5
Suppose -5*b + 1 = -9. Suppose 2 = -x - 3*j - 3, 0 = -b*x + j + 11. Let h be 280/(-98)*(-4 + (-2 - 1)). Solve 0*u - x*u + h = 0 for u.
5
Suppose -4*b = 2*u - 2, -b - 3*b + 3*u = -27. Suppose 4*t - 4*m + 1 = 13, 3*m - 9 = -b*t. Suppose 0*o + 12 = t*o. Solve 7*d - 6 = o*d for d.
2
Let v(u) be the first derivative of -2*u**3/3 + 53*u**2/2 - 26*u + 96. Let i be v(26). Solve -a - 3 = -i*a for a.
-3
Let j = -420 - -425. Suppose -j*p = 44 - 54. Solve 3*l = -p*l - 4*l for l.
0
Let h be (4/(-3))/(5 - 144/27). Suppose o - h*m - 8 = 0, -4*m - m = 0. Solve -13*w = -o*w - 10 for w.
2
Let r(o) = 2*o**2 + 41*o + 231. Let h be r(-5). Solve -26*w - 28 = h for w.
-4
Suppose -587 = -17*b - 536. Let a = 13 + -13. Solve -8*t + b*t = a for t.
0
Suppose 26*b = 12*b. Let q be 43 + b/(5/((-15)/6)). Solve -q*u + 38*u + 5 = 0 for u.
1
Let g be (-1 - -2)/(3/30). Suppose 0 = -11*h + 2*h - 72. Let r(z) = -2*z**3 - 16*z**2 + 3. Let p be r(h). Solve c + g = p*c for c.
5
Suppose 7*r - 4*r - 2*c = 17, -5 = -c. Let v be 4*3/r*-1*-3. Solve -v = 2*t - 0*t for t.
-2
Let v be (-16)/28 + ((-14232)/14)/6. Let y = v - -176. Solve o - 2 + y = 0 for o.
-4
Suppose -4*k + 21 = c, 2*c + 2*c - 3*k - 8 = 0. Let d = -109 - -35. Let v = -70 - d. Solve c*o - 3*o = v for o.
2
Let c = 4318 - 4318. Solve -n - 15 + 18 = c for n.
3
Let t be 0*(5 - (-45)/(-10)). Solve 15*k - 37*k = t for k.
0
Let i be 3226/45 + 70/350 - (-2)/18. Solve 10*j - i = -32 for j.
4
Let n be (-4 + 3)/((-1)/4). Suppose n*f - 426 = -414. Suppose 0 = 2*t - 8 - 2. Solve t + 10 = f*d for d.
5
Let k be (-154)/(-44) + (-9)/(-2) + -2. Let a(t) = -t**2 + 11*t - 26. Let f be a(k). Solve -3*y + 11 = -f for y.
5
Suppose -109 = 3*u - v, -5*u + 3*v + 2*v - 185 = 0. Let a = 42 + u. Suppose 6 = -4*t + a. Solve 25 = -5*l - t*l for l.
-5
Let m be (4/(-2))/(-2) + -8. Let b be (0 - -1)*(4 - (-7)/m). Solve -b*f = 2*f for f.
0
Let g = 6 - 1. Let y = 303 - 618. Let z = -307 - y. Solve g*p - p = z for p.
2
Let q be 4123/21 + 1/(-3). Let x = q - 195. Solve -3*h + 4*h = x for h.
1
Let g(w) = -w**2 + 14*w + 73. Let q be g(16). Solve -34*o = -q*o for o.
0
Suppose -5*o - 16 = y, -2*y + 32 = 2*y - 4*o. Suppose 24 = 352*p - 346*p. Suppose 8*q - 12 = 5*f + 12*q, f - p*q = 12. Solve -y = -f*u - u for u.
4
Let p be 330/11*98/49. Solve -q = p - 64 for q.
4
Let g be (-26 - (-51 - -25))/(5/1 - 1). Solve 2*i - 3*i + 3 = g for i.
3
Let i(g) = -g**2 + g + 19. Let u be i(6). Let p(c) = c**3 + 11*c**2 - 17*c - 176. Let n be p(u). Solve n*s = 10*s for s.
0
Let i(h) 