pose 4*x - 13 - 4 = -5*t, -5*x + 4*t = 30. Let o(b) = b**2 + b + 2. Let m be o(x). Suppose 0 = 5*z + 2*i - 6 - 8, 10 = m*z + i. Solve 0 = z*p + 8 + 2 for p.
-5
Let t(z) = 2*z**2 + 35*z + 37. Let m be t(-15). Let d = -38 - m. Solve d = -13*k + 16*k - 3 for k.
1
Suppose -8*h + 7824 = 91*h + 597. Solve -h*r + 62 = -11*r for r.
1
Let g(z) = 3*z - 21. Let x(f) = -f**3 - f. Let r be x(1). Let b be 15/2 + r/(-4). Let c be g(b). Solve c*s + 4 = -s for s.
-1
Let a(c) = -c**3 - 3*c**2 + 4*c - 4. Let t be a(-5). Let s = t - 5. Let w = -19 + s. Solve -m = w + 2 for m.
-4
Let o(t) = -10*t - 77. Let m be o(-8). Let b(n) = -n**3 + 4*n**2 - 3*n + 3. Let d be b(m). Solve 0 = 4*h - d*h + 2 for h.
-2
Let q = 196 - 254. Suppose -2*o = -7*o + 3*t - 290, -4*t = o + 58. Let d = o - q. Solve -4*n + d - 4 = 0 for n.
-1
Suppose 0*a + 3*a + 558 = 3*w, -2*w - 4*a = -396. Let c(m) = -26 + w*m**2 + 18*m - 191*m**2 - 3*m. Let d be c(11). Solve 5*b + 3 - d = 0 for b.
3
Suppose 2*z + 6 = 14. Suppose 32 = 4*j - 4*b, 6 = z*j - b - 14. Let m = -88436 + 88448. Solve -m = -j*f - 0 for f.
3
Let a = -12 - -16. Let t = 21489 - 21486. Solve 0 = -a*u - t + 11 for u.
2
Suppose 46 = -0*r + r + 5*d, r - d - 16 = 0. Suppose 136 = r*k + 13*k. Solve -w = -3*w - k for w.
-2
Suppose 13*l = 18*l + 12*l. Solve l = -2*b + 49 - 45 for b.
2
Let n = 1965 + -1181. Suppose 82*w + n = 98*w. Solve w = 3*q + 46 for q.
1
Let o = 217 + -211. Suppose -1 = h, 2*p - o*h - 17 = -h. Solve 0 = -4*c + p*c + 4 for c.
-2
Suppose 10*i = -17*i + 81. Suppose -2*t + 24 = i*q, -5*q - 2*t = -q - 34. Solve -2*v + q = -0*v for v.
5
Suppose 9*n - 227 + 740 = 0. Let d be 6/5 + n/(-15). Solve 3*z - d = 1 for z.
2
Let a = -13773 - -13773. Solve -12*o - 12 = -a*o for o.
-1
Suppose -4*c + 0*c = -12. Let t be ((-3)/2)/c*-8. Let q = -181567 + 181571. Solve t = q*u - 0 for u.
1
Suppose 20*i = 9*i + 352. Suppose 33*v - i*v - 3 = 0. Let h(y) = y**3 + 5*y**2 + 4*y + 3. Let f be h(-3). Solve v*z + f = -3 for z.
-4
Suppose 6*r = 3*u + 927, -35*u - 318 = -2*r - 31*u. Solve 38*f + r = -189 for f.
-9
Suppose -3*m - 2 = -8. Suppose -2*o + m*k + 162 = 0, 0 = -2*o - 0*o + 5*k + 171. Suppose -5*b - 5*x + o = 3, -4*b = 2*x - 50. Solve -2*p + 4*p + b = 0 for p.
-5
Suppose 11*m - 2 = 10*m, -4*i + 2*m = 8. Let d = 1 + i. Solve 2*k - 4 = -d for k.
2
Let m(p) = -13*p - 27. Let x be m(-3). Suppose 11*t = -x + 606. Solve -t = 3*b - 39 for b.
-5
Let n = -648 + 288. Let w = -355 - n. Solve w - 26 = -7*f for f.
3
Let q = -3652 - -3674. Suppose 4*m = 6*u - u - 370, -3*u + 195 = 3*m. Suppose u*i - 68*i = q. Solve i*d = 9*d for d.
0
Let n(c) = -4*c - 11. Let r be n(12). Let z = r - -60. Suppose 7*j - z = 13. Solve j*a - 4 = -0 for a.
2
Let t be (-132)/16*(325/(-78) + (-1)/(-6)). Solve 908*m = 897*m - t for m.
-3
Let o(k) = 2*k**2 + 28*k + 55. Let c be o(-2). Let n be c*7/196*72. Solve 9*a - n = 3*a for a.
3
Let v(p) = 8*p + 1. Suppose g + 3 = 4. Let o be v(g). Let x(f) = -f**2 + 9*f. Let d be x(o). Solve -5*b - 10 = -d for b.
-2
Let a(p) = -p**3 + 48*p**2 - 338*p + 1. Let r be a(9). Solve -84*h = -r*h + 34 for h.
1
Suppose 3*z - 47 = -5*s, -11 = 4*s + 5*z - 59. Let m(a) = 3*a - 16. Let r be m(s). Suppose 5*n = 33*v - 28*v + 5, -3*n - 4*v = -31. Solve -r = -0*y + n*y for y.
-1
Let p(q) be the first derivative of -q**4/4 - 7*q**3/3 - 3*q**2 + 18. Let h be p(-6). Let w(v) = 45*v + 137. Let n be w(-3). Solve h = -n*c + c for c.
0
Let j(a) = 2*a**3 - 36*a**2 + 31*a + 55. Let w = 46 - 29. Let d be j(w). Solve -6 = -f - d for f.
2
Let s = 79 - 68. Suppose 0 = 28*b - s*b - 17. Solve 0 = -5*d - 16 + b for d.
-3
Suppose 17*g - 21*g - 24 = 0. Let d(r) = -r**3 - 8*r**2 - r + 7. Let s be d(g). Let u = s - -59. Solve u*w = -4*w + 12 for w.
3
Suppose -n + a - 45 = -3*n, 3*a = -15. Suppose -20 = -n*h + 130. Suppose 0 = 5*s - 6 - 14. Solve h*t - s*t = -6 for t.
-3
Let h(c) = -c**2 + 36*c + 15. Suppose -72 = -2*w - 2*a + 3*a, 0 = -4*a. Let g be h(w). Solve -3*j - g = -0*j for j.
-5
Let p be (2/(-2))/((-4)/8). Let o(w) = -w**2 + 5*w + 14. Let t be o(6). Suppose -t*j = -10*j + 8*j. Solve q + p + 3 = j for q.
-5
Suppose 0 = -4*s + 7*s - 5*x + 17, -4*s + 5*x = 16. Suppose -3*z + 4*o - 3 = -1, -2*z + 4*o = 4. Solve 0 = -z*l + s - 7 for l.
-3
Suppose 119*f - 378 = -7*f. Let l = 7 + -2. Suppose -l*i = -2*i + 3*w - 27, 2*w = -4*i + 32. Solve 5*o - f = i for o.
2
Let d(y) = 7*y + 192. Let o be 1 - (-11)/((-88)/168). Let k be d(o). Solve -k*h + 53*h = 3 for h.
3
Suppose 9*f - 6*f - 57 = 0. Suppose n = 38 - f. Suppose 2*k = 3*l + 6 + 7, n = 5*k - 3*l. Solve k = o - 0 for o.
2
Let s = -318 + 298. Let i be (32/s)/(4/(-10)) - -20. Solve -2*x - 6*x + i = 0 for x.
3
Let a = -19429 + 19429. Solve 13*k + 15 - 2 = a for k.
-1
Let h = 2 - 9. Let j(v) = -5*v - 33. Let t be j(h). Suppose -3*c + 5*o = 8 - t, c - 5*o + 12 = 0. Solve -c*g - 4 = 2 for g.
-2
Let c be (12/10)/(100/250) + -2 + 3. Let z(y) = -2*y**2 + 5*y - 4. Let l be z(5). Let j = -9 - l. Solve -4 + j = -c*i for i.
-4
Let d(r) = -2*r. Let q be d(-4). Let g be 62/8 + q/32. Suppose 2*o - 3*w - g = 0, o = 5*w + 5 - 15. Solve -4*k = -o + 30 for k.
-5
Suppose 13*u - 19*u + 111 + 237 = 0. Solve -u*o - 198 + 24 = 0 for o.
-3
Let p(f) = f**2 - 12*f - 6. Let d be p(9). Let r(u) = -2*u**3 + 2*u**2 - 5*u + 11. Let o be r(3). Let a = d - o. Solve -3*w - a = -22 for w.
5
Let x(z) = -140*z - 2648. Let g be x(-19). Solve 52*u - 40*u = g for u.
1
Let d be (-13 + -2)*(3 + (-17)/5). Suppose -k - d*k = -28. Solve 0 = -k*a - 2 - 18 for a.
-5
Suppose -3*p = 0, 66 + 4 = 2*d - 3*p. Solve -69 = d*a - 279 for a.
6
Suppose -4*u = 4*u - 544. Let s = u - 68. Suppose -18 = 2*q - 5*n, 0 = -s*q + 4*q - n. Solve -i = 3 + q for i.
-4
Let q(o) = 125*o + 73. Let w be q(0). Solve 115 = 14*f + w for f.
3
Let n(p) = -199*p - 1354. Let o be n(-7). Solve 0 = -o*x + 18*x - 42 for x.
-2
Let d(l) = 2*l**2 + l + 1. Let y be d(1). Suppose -5*o - 2*o = 0. Suppose -3*t + 2*t - 5*p = -15, -p - 1 = 0. Solve o = b + y*b - t for b.
4
Let b be (-2)/8 + 396/48. Solve -40*d - b = -44*d for d.
2
Suppose 5*s - 4*g = 136, -16*s - 70 = -18*s - g. Solve -s*i - 13 + 141 = 0 for i.
4
Let c(h) = 7*h**2 + 2*h - 1. Suppose 2 = 2*f - 0*f. Let s be c(f). Suppose 4*k - 4*v = -v + 33, 3*v = -21. Solve -k*p + 1 + s = 0 for p.
3
Suppose 8*o - 6*o - 2*y = -14, -3*o = 2*y + 16. Let j = -3 - o. Solve 9 = j*b - 3 for b.
4
Suppose -2*j + 112 = -3*w, -9*j = -12*j - 3. Let v be 80/(-760) - 384/w. Solve h - 5 = -v for h.
-5
Let u(o) = o**3 + 8*o**2 + 15*o + 8. Let c be u(-4). Let f = 4 + c. Solve 29 = 9*m - f for m.
5
Suppose 22*w + 70 = p + 21*w, -4*p + 259 = 3*w. Solve -126 = -p*i + 75 for i.
3
Let q = -206 + 542. Let g = q - 328. Solve -13*c - 25 = -g*c for c.
-5
Let h = -194 - -350. Suppose -v = -5*d - 20, 57 = -4*v + d + h. Let c = 28 - v. Solve 6 = -0*x - c*x for x.
-2
Suppose 11*a = 3*n + 16*a - 21, -n - a + 9 = 0. Let j be (-14 + 5)*1*-1. Solve -5*v - n = -j*v for v.
3
Let j be (1 - 19)*44/(-88). Let b = 6 + 0. Solve j*c = b*c for c.
0
Suppose 2*a + 12 - 18 = 0, 2*h - 159 = -3*a. Suppose 71*m - h*m + 8 = 0. Solve 15*n - 16*n = -m for n.
2
Let w(u) = -u**3 - 9*u**2 + u + 5. Let b be w(-8). Let c = 64 + b. Let m = c + 3. Solve x + 4 = -m*x for x.
-4
Let j(f) be the third derivative of 0*f - 2/3*f**4 + f**3 + 3*f**2 + 0 - 1/30*f**5. Let z be j(-8). Solve 7*o - 1 = z*o for o.
1
Suppose -9306 - 29088 = -318*b + 103434. Solve -b + 462 = 2*x for x.
8
Let p be (-4)/2*(236/(-8) - -6). Suppose -p = -4*m - 11. Solve 3*q + 3 - m = 0 for q.
2
Let x be 10/95 + (-224)/(-38). Let f(g) = 3*g - 14. Let b be f(x). Suppose b*z = -0*i + 3*i + 70, 44 = 3*z + 2*i. Solve 0*t = -4*t + z for t.
4
Let l be -1 + -10*(154/(-35) + 4). Solve 10*w + l*w + 26 = 0 for w.
-2
Let x(i) = i**2 - 3*i - 2. Let w be x(-2). Let k be (-3 - w/(-2))*3. Suppose 2*v - k*v = -4*t + 17, t - 3*v = 7. Solve -t*q + 12 = -q for q.
4
Let k(c) = c + 2. Let o be k(-2). Suppose 4*f - 8 = -2*m, -3*f + 0*m = 3*m - 6. Suppose -11991*a + 11964*a + 27 = 0. Solve o = f*q + a + 1 for q.
-1
Let f(r) be the first derivative of -7*r**3/6 - 32*r**2 - 14*r - 5. Let v(n) be the first derivative of f(n). Let w be v(-10). Solve -w*z = -z - 20 for z.
4
Suppose 3216 = -104*p + 10808. Solve 31 + p = 13*w for w.
8
Let i(a) = -23*a - 17. Let t be i(-1). Solve -8 - 10 = t*f f