 0 = 2*p - 20 + t for p.
-4
Let y(h) be the first derivative of -h**3/3 + 19*h**2/2 - 16*h + 34. Let u be y(17). Let k = u + -14. Solve o + k = 5*o for o.
1
Suppose -24*k + 385 = -29*k. Let x = k - -71. Let c be ((-9)/x)/3 - (-5)/(-10). Solve j + c + 3 = 0 for j.
-3
Suppose -3 = k - 5. Let m be -4 - -7 - k - -1. Let a be 4 + -8*1/m. Solve a*u = 4*u for u.
0
Suppose 20*j - 299 + 919 = 0. Let t(u) = -2*u - 37. Let z be t(j). Solve 0*n - z = 5*n for n.
-5
Suppose 1 = 4*t + c, 11 = -17*t + 16*t + 11*c. Solve t = 17*b - 23*b + 42 for b.
7
Let i be 2*(-1 + -1) + 2. Let h(p) = -2*p**2 - 3*p. Let x be h(i). Let o be (-3 + 5 + x)/(-2 + 3). Solve o*w = 2*w + 4 for w.
-2
Suppose -b + 6 = 4*t, -5*t + 5*b = -t - 18. Suppose -m = -w + t*m + 85, 0 = 5*w - 3*m - 485. Suppose -104*r + w*r = -8. Solve r*q - 4 = -0*q for q.
2
Suppose -4*f + 8*f - 108 = 0. Let b(w) = 20*w - 183. Let m be b(8). Let a = f + m. Solve 0 = -a*v - 14 + 2 for v.
-3
Let y = -5893 + 5898. Solve 0 = y*w - 153 + 148 for w.
1
Let w be (0 + -2)/(4/(-6)). Suppose 2*k = -2*k + 160. Let g = k - 33. Solve w*d - g*d + 4 = 0 for d.
1
Suppose 196 = 3*y + 4*n, -148 = -2*y - 2*n - 16. Let q = 72 - 7. Let x = y - q. Solve 0*p + p - x = 0 for p.
3
Let z be (-177)/2 + (-2)/4 - -5. Let b be (-1)/((-2)/8*z/(-63)). Solve a = 6 - b for a.
3
Let w be 4697/143 - (-30)/195. Solve 3*z + w = 42 for z.
3
Let g = -44 + 41. Let k be 0/((-3)/(-6)*-2) - g. Let h be 8/(2*(-1)/(-3)). Solve -k*w + h = -0 for w.
4
Suppose 38*p + 2897 = 6120 + 6619. Solve 29*q + 56 = p for q.
7
Let l(j) = j**2 + 101*j + 1114. Let d be l(-11). Solve -66 = 38*y + d for y.
-5
Let j be (-4166)/6 + (-484)/33 + 16. Let m = j - -702. Solve -5*h = -2*h + m for h.
-3
Let t = -2028 + 2238. Solve 35*z = -35 + t for z.
5
Let n(j) = 25*j + 15. Let b be n(6). Suppose -4*h - b = z, z + 3 = 6. Let y = 45 + h. Solve 6 - 18 = y*u for u.
-4
Suppose 0 = -19*o - 1564 - 2635. Let s = -220 - o. Solve -25*g + s = -24*g for g.
1
Let t(s) = -16*s**2 - 23 + 22 - 5*s - 3*s**3 + 4*s**3 + 19*s**2. Let h be t(-4). Suppose -4*q + c = -15, h*q - 18 - 6 = 5*c. Solve q*w = -0*w + 6 for w.
2
Suppose 0 = -0*t + 12*t - 120. Suppose t*x = -2*x. Solve x = -0*m - 3*m - 15 for m.
-5
Suppose 4*b = 7 + 25. Let l be ((-13)/((-585)/(-54)))/((-2)/5). Suppose -6*o + l = -5*o. Solve -o*t = -b*t - 10 for t.
-2
Suppose 5*r + p + 4 = 0, 0 = 3*r - 18*p + 20*p + 8. Solve r = 6*k + 6*k + 36 for k.
-3
Let y = 9620 - 9494. Solve y*i - 66 = 137*i for i.
-6
Suppose 30 = 2*h + 8. Suppose 1 + h = 3*y. Suppose -140 = -y*f - 3*f. Solve 5*l = l - f for l.
-5
Let x(t) = 32*t - 40. Let n be x(7). Let b = 184 - n. Suppose 5*p = a - 21, -a - 2*p - 6 = a. Solve u - 2*u + a = b for u.
1
Let t(j) = 15*j - 22. Let r be t(6). Suppose r = 8*b - 308. Let l = -46 + b. Solve -5*d + 26 = l for d.
5
Let j(z) = z**2 + 9*z + 9. Suppose -5*i + 5*p + 20 = 0, -25 = 5*p - 0*p. Let n be j(i). Let o be ((-26)/(-8))/((-8)/(-32)). Solve n = -4*x + o for x.
3
Suppose 16 = 7*w - 3*w. Suppose 3*c = -w*i + 33, 24 = c + c + 2*i. Let r(t) = -t**3 + 14*t**2 + 17*t - 21. Let m be r(c). Solve -f + 4*f + m = 0 for f.
-3
Suppose 0 = 20*y - 113 + 33. Suppose -2*r - 7 = -3. Let v be (1 + r + 9)/2. Solve -v*u = -0*u + y for u.
-1
Let u = -10095 - -10102. Solve -68 = -u*q - 96 for q.
-4
Suppose 0*n = -s + 3*n - 91, 2*n - 2 = 0. Let b = 91 + s. Solve -9 = 6*j - b*j for j.
-3
Let b(t) = t**2 - 2*t - 23. Let q be b(-6). Suppose 27*d + 12 = q*d. Let a be (-3*(-12)/9)/(d/(-3)). Solve a*p = -1 + 3 for p.
1
Suppose -o + 94 = -3. Let s = 51 - o. Let k be s/(-14) + (-2)/7. Solve -k = -5*i + 2 for i.
1
Suppose 5*c - 367*k + 369*k - 499 = 0, 602 = 6*c + 2*k. Solve 42*g - 191 = c for g.
7
Suppose -14 = -15*b + 14*b. Suppose b = -4*j + 4*y + 54, -25 = -4*j + y. Let r be 7/((-14)/j)*(-8)/10. Solve -4 = -2*i - r for i.
1
Let z(o) = -o**2 + 7642*o + 53554. Let x be z(-7). Let w = 13 + -7. Solve 0 = -x*p + w*p + 20 for p.
4
Let u(w) = -2*w**2 - 18*w + 4. Let l be u(-9). Suppose 3*a = -0*d - l*d - 10, -5*a + 6 = d. Suppose -5*q + a = -18. Solve 5*n = -q + 24 for n.
4
Let k = -642 + 643. Let w be 6 + -12 + k + 5. Solve -8*f - 5*f + 39 = w for f.
3
Let f be (-700)/(-30) + 33/9 + -3. Let m be (28/12)/(1/f*4). Solve -m = 4*w - 2 for w.
-3
Let j = 743 - 412. Let u = 335 - j. Solve 5 = u*m - 7 for m.
3
Let f = 460 + -453. Suppose -f*j = 494 - 501. Solve 2*i + j = 3 for i.
1
Suppose -3*d + 2*d = 0. Suppose 3*k - 117 = 5*r, -2*r + 128 + 2 = 4*k. Let z = 46 - k. Solve d*u = 4*u + z for u.
-3
Let c = -5090 - -5132. Solve 0 = 14*k + 28*k - c for k.
1
Suppose 3*n + 780 = 780. Solve -39*u + 52*u = n for u.
0
Let w(m) = 5345*m + 5350. Let p be w(-1). Let c = 5 + -16. Let q = c - -16. Solve q*o - p = -0 for o.
1
Let u(v) = -v**2 + 2*v + 9. Let k be u(-3). Let x be ((-472)/12)/(k/(-18)). Let q = x + 124. Solve -q*m = -2*m - 8 for m.
2
Let y(m) = m**3 + 14*m**2 - 141*m - 1979. Let u be y(-12). Suppose 0 = 4*z - 5*j + 2 + 38, 3*z + j + 30 = 0. Let q = -6 - z. Solve -17 = q*a - u for a.
-4
Let t = -28 - -32. Let d be (3 - (-18)/(-10))*10/t. Let b be (d/(-5))/((-2)/(-10)) + 7. Solve -4*w - b = -0*w for w.
-1
Let p = -155 + 166. Let i be 6 + 5/5*-2 + p. Solve 13*h = 8*h - i for h.
-3
Let c = -9994 - -10001. Solve -c*o + 88 = 109 for o.
-3
Suppose -5*m - a = -226, -3*m - 3*a + 134 = -4*a. Let h be -1 + m/39 + 444/156. Solve -3*z - h = -15 for z.
4
Suppose 0 = 76*w + 39*w + 2*w - 1521. Solve -432*r = -445*r + w for r.
1
Let r = -17902 + 17918. Solve -r*j - 79 = -47 for j.
-2
Let c(z) = -z**2 - 10*z - 22. Let l(o) = -10*o + 15. Let r be l(2). Let g be c(r). Let s(y) = 3*y - 14. Let u be s(9). Solve u - g = -5*b for b.
-2
Let d be (-2 + 3/1)/(21/63). Solve x + d = -0*x for x.
-3
Suppose 0 = 4*p - 16, 5*r + 22*p - 103 = 25*p. Solve 5*k - r - 7 = 0 for k.
6
Let d = -7 + 17. Let l = 4297 + -4292. Solve -d*v = -l*v - 5 for v.
1
Suppose s = -2*s + 3. Suppose -3*n + 0*n = 3. Let j(p) = -5*p**3 - 2*p - 2. Let w be j(n). Solve s - 11 = w*g for g.
-2
Let v be (10/(-8))/(1 + 26/(-24)). Suppose -4*y + 3*y + v = 0. Solve -4*u + y = u for u.
3
Let y(l) = l**2 - 18*l + 32. Let v be y(16). Suppose v*q + 55 = 3*j - q, -5*j = 2*q - 99. Solve -3 = 4*t - j for t.
4
Suppose -8*j + 12*j = 0. Let z = 7 - j. Solve 6*v - z - 17 = 0 for v.
4
Let m = -1601 - -2439. Let l = 843 - m. Solve 0*o + l*o = -10 for o.
-2
Suppose 3*m - 27 = -2*r + 4*m, -r + 9 = 4*m. Suppose r*h = 219 - 193. Solve 3*p + h*p - 5 = 0 for p.
1
Let u = 50 - 45. Suppose -2*a - 19 = n + 3*a, -u*a = 3*n + 107. Let l = n - -44. Solve l*d - 4*d - 20 = 0 for d.
-5
Let r = 530 - 530. Let t be (-3)/(-12) + (-117)/(-12). Let j = 14 - t. Solve r = -3*i - j + 13 for i.
3
Let w be (6 - 2) + (1 - 1). Suppose -3*d + w*y = -4*d + 38, -y = 3*d - 81. Suppose -5*z - 4*x + 72 = d, 0 = -x + 4. Solve -t - t = z for t.
-3
Let s be (-1066)/10 - 10/25. Let u = s - -107. Solve u*w + 2*w - 6 = 0 for w.
3
Let l = 9927 + -9695. Solve -79*d + 50*d - l = 0 for d.
-8
Let l be 6/10*(3 - 132/(-36)). Solve -5*w - 11 = l for w.
-3
Let r be 251*(126/54 - 7)*(-3)/2. Solve 6*h - 1799 = -r for h.
7
Let u be (8/3)/(10/15). Let r be 4 + -2 - (-16)/u. Let w be 5/(25/10)*7. Solve -2*g + r - w = 0 for g.
-4
Let j be ((-33)/12)/(13/(-676)). Solve -j = -37*k + 5 for k.
4
Let h(s) = 2*s**3 - 84*s**2 - 22*s + 1064. Let x be h(42). Solve -69*o = -104*o - x for o.
-4
Let x be (-14)/7 - (-155)/1. Suppose 4*w + x = 161. Solve -w*h - 20 = -14 for h.
-3
Suppose 10*v - 29 = 11*v + 5*b, 4*v = -3*b - 31. Let l be (-16)/(-7) - 7*v/(-98). Solve 6 + l = -2*y for y.
-4
Suppose 0 = 116*o + 12*o - 16384. Solve -3*i = -o + 137 for i.
-3
Let p be 0 + (0 - -2) + -8. Let i be 56/p*(-4)/(32/42). Suppose -3*j + 5*w = -i, -2*w = -2*j + 2*w + 32. Solve 3*a - 6 = -j for a.
-4
Let w = -12929 - -12951. Solve -18 = w*h - 16*h for h.
-3
Let d be (-6)/15 + 142/5. Suppose 3*u = 5*u - d. Let v = 17 - u. Solve v*g - 12 = -g for g.
3
Let h = 78 + -65. Let l be ((-30)/(-9))/(52/78). Solve -l + h = -2*c for c.
-4
Suppose 0 = 2*p + 4*o - 396, 5*p - o - 739 = 284. Suppose j - 2*j + 4*d + 41 = 0, 0 = -4*j - 4*d + p. Let g = -49 + j. Solve 0 = x - 1 - g for x.
1
Let x be (115/(-69))/(30/(-72)). Suppose 5 = 3*c - 1. Suppose c*h = -14 + 34. Solve -x*k + h = 2 for k.
2
Suppose 71*x = -d + 70*x + 3, 9 = 2*d - x. Let j be 10