Let w be r(-11). Let c = w + 245. Solve 3*k - 18 = -c for k.
4
Suppose 6*x = -x + 644. Let n = -80 + x. Solve -2*c - n = -5*c for c.
4
Let j = 66 + -66. Suppose -9*k - 9 + 81 = j. Solve k*h + 24 = -0 for h.
-3
Let f = -4274 - -4343. Solve f = 4*p + 45 for p.
6
Let u = -227 - -256. Let q(s) = -s**3 + 3*s**2 + 5*s + 30. Let y be q(5). Solve 0 = y*o - 34 + u for o.
1
Suppose -2*p - 3*o = -5*p + 252, 2*p - 168 = -3*o. Suppose -p = m - 92. Suppose r = m*r - 28. Solve r*w = -w for w.
0
Let v be 46/2 - (1 + 0). Suppose j - 3*l = 10, 4*j - l = 2*l + v. Suppose -133*p + 8 = 5*n - 130*p, 5*p = n - 52. Solve -j*y + 3 = n for y.
-1
Let v = -21415 - -23353. Solve -v*t = -1946*t + 16 for t.
2
Let a(g) = -6*g - 16. Let q be (15 + -14)/((-2)/(-12 + 2)). Suppose 3*t + v + 9 = 0, -4*t - 8*v = -q*v + 12. Let y be a(t). Solve y*f = 5*f + 3 for f.
-1
Let t(r) = 138*r - 2750. Let i be t(21). Solve -15*w - i = 22*w for w.
-4
Let t = -26 - -23. Let u be (-4)/(-7)*(t + 165/6). Solve u = -5*b - 6 for b.
-4
Let n(u) = u**3 - 32*u**2 + 48*u + 400. Let f be n(30). Solve -f = 22*x + 92 for x.
-6
Suppose -6*z - 38*z - 64*z + 23*z = 0. Solve z = -p - 22*p + 23 for p.
1
Suppose 4*q = -2*y + 50, -27*q + 22*q + 70 = 3*y. Solve 8*b - y = -7 for b.
1
Let m be 0*((-14)/4 + 4). Solve 2*k - 7*k + 10 = m for k.
2
Let y be ((-12)/9)/4*9. Let d(b) = -28 - 2*b**2 - 3 - 7*b + 34. Let s be d(y). Solve 20 = -s*p + p for p.
-4
Let l = 5364 - 5179. Solve -192*k = -l*k - 21 for k.
3
Let z(d) be the first derivative of d**3/3 - 3*d**2/2 - 12*d - 16. Let p be z(-5). Suppose 4*n + p = 44. Solve -n - 1 = -g for g.
5
Let m be 108/8*(-12)/(-9)*(-2 + 3). Solve 19 = -m*q + 37 for q.
1
Let v(g) = 132*g - 1374. Let r be v(11). Solve r + 24 = -34*h for h.
-3
Suppose 5 = -l, -4*w + 3 - 1 = 2*l. Let m be 7 - (6 + (w - 6)). Solve m*y = y - 6 for y.
-2
Let g be (0 - 0/(-1)) + 0. Let u be (-7)/(-24 - -10)*32. Suppose 3*s + h = -2*h + 12, -5*s - 4*h + u = 0. Solve s = -3*t - g*t - 12 for t.
-4
Let g(z) = 14*z + 11. Let i be g(5). Suppose 4*l + 4*w = 104, -3*w = 3*l + w - i. Suppose -17*a - 12 = -l*a. Solve 0*s + 6 = -a*s for s.
-3
Let n(m) = -m**3 - 121*m**2 - 349*m + 639. Let r be n(-118). Solve 4*o + r = 45 for o.
-1
Let u be (-1365)/12*120/(-75). Solve -33*v = u - 50 for v.
-4
Suppose 864 = -49*z + 2334. Solve z*s + 113 = 53 for s.
-2
Suppose 489 - 495 = -2*b. Suppose -2*q - 3*k = -b, 5*k = 2*q - 0*k - 27. Let z = -1 - -3. Solve -q = -2*l - z for l.
2
Suppose -2*g - 2*g = 4. Let k be (-40)/(-4) - 2*(g - -2). Suppose -2*i + 4 = -4. Solve -2*z - k + i = 0 for z.
-2
Let x(d) = 11*d - 51. Let m = 88 - 83. Let s be x(m). Suppose -4 = 4*f + 3*k - 27, -6 = -2*f + s*k. Solve -f*g + 20 + 0 = 0 for g.
4
Suppose 58*k - 35122 = 117*k - 139257. Solve -1772*m + 42 = -k*m for m.
6
Let t = 611 + -589. Suppose -8*w + t = -58. Solve 4*c + w = 14*c for c.
1
Let z(m) = -m**2 + 354*m + 1829. Let g be z(-5). Solve 62*r = g*r + 224 for r.
8
Let j = 426 - 414. Suppose -j*r - 5*r + 476 = 0. Solve 3*w + 31 = r for w.
-1
Suppose 4*w - 2 = 3*k, 1 = 5*k - 3*k - 5*w. Let u be (3/k)/(3/30). Let a be (6/(-4))/(u/10). Solve -3 = 2*p + a for p.
-2
Suppose 129*a - 56 = -q + 130*a, 0 = -2*a. Solve -8*y - q + 88 = 0 for y.
4
Let x = -326 + 356. Suppose 3*l - 15 = 0, -7*s - 4*l = -2*s - x. Solve 15*n = 16*n + s for n.
-2
Suppose 6*f + 120 = f. Let y = 33 + f. Suppose -12*u = -9*u - y. Solve 3*i + 0 + u = 0 for i.
-1
Suppose -335 - 159 = -19*c. Solve 70 = -24*k - c for k.
-4
Let d(t) = -t**3 - 60*t**2 - 223*t + 86. Let g be d(-56). Solve 23*f + 7 = g for f.
1
Let k(u) = 360*u + 2198. Let g be k(-6). Solve -g = -6*o - 32 for o.
1
Suppose 103 + 97 = 5*g. Let i be 9/(45/g) + 2*-1. Let r(h) = h**2 - 4*h - 6. Let p be r(i). Solve p*y - y = 25 for y.
5
Suppose 29 + 61 = 3*d + 3*g, 5*d - g = 186. Solve 96*z = 90*z - d for z.
-6
Suppose 0 = -0*t - 22*t + 110. Suppose -t*x + 38 - 3 = 0. Solve -x*u - 38 + 17 = 0 for u.
-3
Let u be ((-76)/(-12) + -3)*-3. Let z be (6/u)/((-71)/2130). Solve -8*y + z = -14 for y.
4
Let l(o) = o**2 + 14*o - 65. Let g be l(-17). Let a be (-14 - g)*2/8. Solve a = -c + 41 - 40 for c.
1
Let s be (-3)/(-15) - (20 + 3204/(-30)). Solve -s*c + 72*c + 30 = 0 for c.
2
Let y = 3 + -2. Let g be 2 + 0 + -2 + y. Let k = 14166 + -14162. Solve -k = -t + g for t.
5
Let l(c) = 8*c**2 + 4*c - 4. Suppose p = 5*p - 8. Let a be l(p). Let o be (12/18)/(3/a). Solve -o*y = -4*y - 4 for y.
1
Let r(m) = 84*m - 56. Let u(y) = y**3 + 11*y**2 + 8*y - 19. Let i be u(-10). Let g be r(i). Solve -g = -8*a + a for a.
4
Let n(l) = -1 + 3 - l**2 + 1 + 18*l - 8. Let a be n(17). Let u be (-2 + 15/3)*8/a. Solve u*f + 2*f + 20 = 0 for f.
-5
Let t be (-6)/54 - (-80)/72. Let l(x) = 2*x**3 + 2*x**2 - x. Let p be l(1). Solve -o - t = -p for o.
2
Let o(j) = j + 6. Let s be o(-2). Suppose 4 = 4*c - 4*q, s*q + 7 = 6*c - c. Solve p = -c*p for p.
0
Suppose -71*a + 2286 + 11442 = 17*a. Solve 154 - a = u for u.
-2
Let n(v) = 12*v + 10 + 17*v - 25*v. Let l be n(-2). Solve 7 - l = x for x.
5
Let q = -5 + 8. Let k(x) = 8*x - 564. Let s be k(71). Solve 1 = s*o - q for o.
1
Suppose 0 = -5*h - 10*h + 4*h. Suppose p + 3*j - 12 = h, 5*p - 16 + 4 = j. Solve 3 = -p*v - 12 for v.
-5
Let u(q) = -8*q - 25. Let r(z) = -7*z - 24. Let c(g) = 4*r(g) - 3*u(g). Let s be c(-4). Let h(a) = -a**2 - 4*a + 10. Let l be h(s). Solve -6*o = -o + l for o.
-1
Suppose -o + 148 = 4*r - 3*r, 5*r - 4*o - 731 = 0. Let w = 158 - r. Solve -10 = w*z - 6*z for z.
-2
Let i(b) = b - 5. Let t be i(8). Let p(w) = -17*w**2 + 5*w - 1. Let q be p(2). Let x = 59 + q. Solve x = -t*d - 2*d - 20 for d.
-4
Suppose 0 = -2*u + 2*m + 4, 274*u - 277*u - m = -38. Solve -53 = u*f - 43 for f.
-1
Let p = -6276 + 6314. Solve 19*n - p = 76 for n.
6
Suppose 4*f + 464 - 275 = 253. Solve f*l = 79 + 1 for l.
5
Suppose 4*y + 7*h - 4*h = 37, -47 = -5*y - 4*h. Let k(l) = 3*l**3 - 34*l**2 + 8*l + 45. Let f be k(11). Suppose -y*t = -7*t + f*t. Solve 3 = -3*v - t*v for v.
-1
Suppose -47 = -2*p + 5*f - 18, -2*f + 34 = 3*p. Suppose q + 20 = -5*l, 4*q + p = 2*l - 5*l. Let j(u) = 8*u - 2. Let y be j(1). Solve g - y*g = q for g.
0
Let n(z) be the second derivative of -z**4/12 + z**3/2 - z**2 - 8*z. Let k be n(1). Suppose k*b = -2*b + 30. Solve -2*h - b = -7*h for h.
3
Suppose -17*s + 12479 = 4608. Let h = s - 463. Solve 5 = -u - h for u.
-5
Let u be (-21)/35 + (-56)/(-10). Let b be (-2)/3 - 16/(-6). Suppose -28 = -u*c - b*c. Solve -y = c*y + 20 for y.
-4
Let j(d) = -3*d + 85. Let w be j(23). Suppose -t = 2*t + 5*r - 31, 0 = -2*t + 4*r - w. Suppose 0 = t*f + 14*f - 320. Solve s - f = 6*s for s.
-4
Let q be (-27664)/(-1235) - 9/(-15). Solve 28*t - 201 = q for t.
8
Let f(n) = n**2 - 79*n - 27. Let m be f(14). Let o = m + 940. Solve o*t - 14 = -11 for t.
1
Suppose 2*t = 6 + 2. Suppose 2*m + 5*p - 17 = -m, 4*p = t*m - 12. Let l be (-12 - -12)*(21/(-6) + 3). Solve r = -m - l for r.
-4
Let b = -10100 + 10637. Solve -x = 536 - b for x.
1
Let u(o) = -o. Suppose 0 = -3*y + 8*y. Let v be u(y). Suppose 3257 = 342*i - 3583. Solve -4*d - i = -v*d for d.
-5
Suppose 0 = 34*k + 3201 - 9389. Solve 13*v = 39*v - k for v.
7
Suppose 2*p = -5*n + 1043, n - 2619 = 6*p - 11*p. Suppose -624 = -4*s - p. Solve 44*f = 39*f + s for f.
5
Suppose 561 = 89*w - 78*w. Suppose 0*m - 2*m = -2, 42 = -l - 5*m. Let c = l + w. Solve -c - 21 = 5*d for d.
-5
Let v be ((-4)/6 - 1)/(3/(-9)). Let f(r) = -r**2 + 13*r + 16. Let o be f(14). Suppose -10 = -5*i, q - o*i - 8 = -2*q. Solve -v*l + q = -7*l for l.
-2
Let x = 591 + -473. Suppose -100*a + x*a = 54. Solve -5 = 8*l + a for l.
-1
Let a(i) = -10*i + 213. Let d be a(20). Let x be (d/39)/(2/60). Solve 2 = -2*s + x for s.
4
Suppose 146 = -4*p + 3*w + 214, 0 = -w - 4. Solve p*i - 68 = -3*i for i.
4
Let l(x) = -2*x**2 - x + 396. Let f be l(0). Suppose -2*a + f = 4*a. Let j = a + -59. Solve 4*i + j + 5 = 0 for i.
-3
Let u(z) = -55*z**3 + 2*z - 1. Let m be u(1). Suppose 2*t + 218 = 4*s + 4*t, 0 = -s + 3*t + 51. Let i = s + m. Solve k + k = i for k.
0
Let g = -1 + -38. Let k = g + 39. Suppose -y - l + 7 = k, 2*l - 8 = -y + 3. Solve -7*h + y*h - 8 = 0 for h.
-2
Let u(m) be the third derivative of -7/12*m**4 - 1/30*m**5 + 0*m + 4/3*m**3 - 34*m**2 + 0. Let t be u(-7). Solve 2*x + t = -2*x for x.
-2
Suppose 0 = -701*y + 686*y + 345. Solve 8*n - y = 