-t**3 + 34*t**2 - 100*t + 223. Let s be v(31). Solve 5 = s*q + 17 for q.
-2
Suppose -12*x - 6 = -14*x. Suppose 0*a - a + m + 8 = 0, -20 = -x*a + m. Solve a*f + 14 + 16 = 0 for f.
-5
Let x = 11 + -9. Suppose -g - 3*g = -20, -4*f - 4*g = -40. Suppose 5*j - 15 = x*w - 2, -5*w - 10 = -f*j. Solve -j*b + 6*b + 15 = 0 for b.
-5
Suppose 4*p - 2*p + 24 = 0. Let r be ((15/4)/1)/((-9)/p). Solve 0 = -r*w + 2*w for w.
0
Let q be 56 + 2/9 + 24/(-108). Let m = q + -51. Suppose 0 = 5*n - 10 - m. Solve -v = -2*v + n for v.
3
Let d be (-21)/336 - (-738)/32. Solve 25 = -2*h - d*h for h.
-1
Let h = 48 - 46. Suppose 0 = h*z + 38 - 50. Let l(q) = -q**3 + 6*q**2 + 2*q - 10. Let b be l(z). Solve b*c + 2*c = 4 for c.
1
Suppose 5*o = -5*j - 15, -2*o + 0*o = -5*j - 29. Suppose -4*b = -2*z + 60, 4*b - 76 = -3*z + z. Let p = -30 + z. Solve -p*k = 14 + o for k.
-4
Suppose 240 = -64*m + 104*m. Solve 3*x = m - 15 for x.
-3
Let b = 92 + -90. Suppose 0 = j + o - 14, -5*j + 10 = -b*j - 5*o. Solve 2*t = -0 - j for t.
-5
Suppose -14 - 78 = -2*k. Let z = -93 + k. Let m = -22 - z. Solve m = c + 4*c for c.
5
Suppose -971*f = -965*f + 48. Let s be 6/f - (-1728)/256. Solve -8*m - s = -6*m for m.
-3
Suppose 149*r - 151*r = -8. Suppose 0 = 4*g + 7*d - 5*d - 18, 0 = -4*d + r. Solve -g*l = -0*l - 8 for l.
2
Suppose 273 - 207 = 11*p. Solve -50 = -11*z - p for z.
4
Suppose -2*j = 4*o - 1176, 0 = 3*o + 4*j - 2*j - 882. Let v = o - 291. Solve v*p - 2 = 5*p for p.
-1
Suppose -2681 - 2653 = -14*y. Solve -376*n = -y*n + 25 for n.
5
Let y = 12 + -12. Let o = 83 - 74. Suppose -d + h + 2*h + 17 = y, 3*d = -3*h - o. Solve -d*l = -6 - 2 for l.
4
Suppose 2*t + 3*x = 14355, -206*t + 14358 = -204*t + 4*x. Solve t*r - 7182*r = 45 for r.
-5
Suppose w = 4*k - 1, k + 28*w - 27*w = -1. Solve -15*x - 16 - 29 = k for x.
-3
Suppose -j - 1 = -3. Suppose 0 = 28*c - 23*c - 30. Suppose -4 = c*n - 10. Solve -g = -j*g - n for g.
-1
Let o(z) = -z - 6. Suppose 14*v + 160 = 18*v. Suppose -v = -6*l + 11*l. Let n be o(l). Solve 5*w = 22 - n for w.
4
Suppose -4*w = -5*k - 174 + 131, -3*k = -5*w + 70. Let s = 0 - -5. Solve w = s*v - 3 for v.
4
Let t = 318 - 543. Let b = t + 225. Solve -11*c + 8*c - 9 = b for c.
-3
Let b = 1773 + -1769. Suppose -3 = 5*o - 28. Suppose o*z - 3*z = 0. Solve z = -k + b*k - 9 for k.
3
Let p = 111 + -41. Suppose p = -15*s + 190. Solve 0 = 3*y - s*y - 10 for y.
-2
Let o = -2378 - -2454. Solve -13*c = -24 + o for c.
-4
Suppose 0 = -3*b + 6, -5*t + b + 52 = -116. Suppose 3*q = -5*j - 0 + t, -4*q = -2*j - 2. Solve j*c = 19 - 14 for c.
1
Let h be (-6 + 4)/((-6)/1086*1). Suppose h - 382 = -5*g. Let c = 1 + -1. Solve c = -u - 0*u - g for u.
-4
Let a(l) be the first derivative of 2*l**2 + 24*l - 10. Let p be a(-6). Let x be (-1 - -3) + 0 + p + 0. Solve x*h + 1 = -7 for h.
-4
Suppose -2*j + 4*g = -46, 5*j - 150 = g + 2*g. Let o be (-1)/(2/j)*(-284)/213. Solve -o = -5*y - 2 for y.
4
Suppose -2*g + 4*r + 2700 = 0, 3484*g + r - 6783 = 3479*g. Solve -g*x - 55 = -1345*x for x.
-5
Suppose -3*o + 0 = -3, -3*t - 2*o = -1124. Solve 0 = t*z - 384*z + 20 for z.
2
Suppose 3*b + 4*o + 20 = b, -3*b + 5 = -o. Let y(m) = -7*m**2 - m - 2. Let n be y(-1). Let v be 8*(-18)/(-12)*(-2)/n. Solve -v*l = -b - 6 for l.
2
Suppose -t = c - 14, t - 2*c - 16 = -5*c. Solve t = -7*g + 27 for g.
2
Suppose 0 = -19*r + 16*r. Suppose 10 = 10*x - r. Solve -2*o - 3 = x for o.
-2
Suppose 116 + 16 = m. Let p be (-26)/65 - (m/(-10))/3. Suppose 16*h = 15*h + p. Solve h - 9 = -x for x.
5
Let n(q) = -q**2 - 40*q + 229. Let m be n(5). Suppose 3 - 19 = -b - 3*d, -3*d = 4*b - 28. Solve -4 = -b*y + m for y.
2
Suppose 37 = 4*n + 45, -n = -4*f + 10. Let j be ((-17)/(-2)*4)/f. Solve -2 + j = -3*h for h.
-5
Let y(r) = 2*r**3 - 12*r**2 + 24*r - 11. Let d be y(2). Suppose -2*i + 62 = 4*x, 4*x = 8*x + i - 63. Solve w - x = d*w for w.
-4
Suppose 4 = -h, -y = -6*h + 3*h - 131. Let b = -115 + y. Solve -b*z = -z for z.
0
Let y(g) = -8*g + 5 - 66*g**2 + 34*g**2 + 33*g**2. Let l be y(8). Solve -5 = -0*p + l*p for p.
-1
Suppose f - 4*n = -0*n - 28, -f = -5*n + 32. Let k be (f/(-8))/((-2)/(-4)). Suppose 4*d + 5*s - 32 = 0, 0*d - 4*s = k*d - 25. Solve -2*j + d + 3 = 0 for j.
3
Suppose -7*s + 21*s = 2758. Let x = 199 - s. Solve -3 = x*c - 9 for c.
3
Let c = 14475 + -14385. Solve 0 = -18*u - c for u.
-5
Let v = -13 + -387. Let j = v - -405. Solve 12*t - j = 13*t for t.
-5
Let r = 24 - 18. Suppose -u + 15 = -95. Let y = -99 + u. Solve -y*z - 20 = -r*z for z.
-4
Suppose -11*j + 46*j = 1085. Solve 53 = 28*w - j for w.
3
Let m = 336 - 348. Let v be -2*(-42)/m + 11. Solve -2*w = -v*w - 0*w for w.
0
Suppose q - 2*p = -11, -p - 8 = 35*q - 37*q. Let a be 10/8*-2*2. Let w = 7 + a. Solve t + q = -w*t for t.
-3
Suppose -10*g = -11*g + 19. Let h = -16 + g. Suppose -6 = 2*t - h*t. Solve t*p - 2*p = 8 for p.
2
Let y(t) = -13*t - 24. Let h be y(-2). Let a be (2 + -4)*(-1)/(h/15). Solve 6*g = g + a for g.
3
Let s(w) = -w - 6. Let a(m) = m + 5. Let j be a(5). Suppose 42 = -j*y + 3*y. Let o be s(y). Solve -2 = 2*n - o for n.
-1
Suppose -14*h + 10*h = -2*x - 2, 4*x = -h + 14. Suppose -h*c + 4*p = -14, 2*p + 41 = 5*c - 2*p. Solve 2*k = c*k for k.
0
Let w(z) = -20*z**3 - z**2 + 3*z - 2. Let f be w(1). Let g be 0/(f/4) - 0. Solve g = 2*v + 3 + 3 for v.
-3
Let t(c) = 3*c**3 - 23*c**2 + 59*c - 4. Let x be t(6). Solve 171*k + 2 = x*k for k.
-2
Let s = 13970 + -13834. Solve -15*l + s = 226 for l.
-6
Suppose 2904*k = 2923*k - 76. Solve 0 = k*v + 49 - 33 for v.
-4
Suppose 0 = -j + 3*h + 8, -j = 3*h - 10 + 32. Let r be ((-2)/(-3))/(j/126). Let b be (1 - r/(-9)) + (-112)/(-21). Solve 3 = -2*d + b for d.
1
Suppose 5*m + 4*d + 19 = 0, -2*d = 3*m - m + 8. Let l be 15/(-9) + (-1)/(m/14). Let y be ((-6)/(-4) - 2)*0. Solve -l*c + 8*c = y for c.
0
Let y(m) = 2*m**2 - 2*m - 130. Let s be y(-8). Solve -12*t + s*t - 4 = 0 for t.
2
Suppose 52*h = -4*l + 49*h + 55, -l + h = -26. Let n = 19 - 3. Solve -3*k + l = n for k.
1
Let l(n) = n**3 + 2*n**2 - 4*n - 1. Suppose 5 = -3*v + 2*z, z + 2 = -2*v + 3*z. Let i be l(v). Let y = 26663 - 26658. Solve -y*c = -i*c - 12 for c.
4
Let n be (0 + 0)*(-12)/336*-14. Suppose 8 = 4*w + m - 13, n = 5*w - m - 15. Solve 0 = -w*v - 11*v - 60 for v.
-4
Suppose 357*r = 327*r + 60. Solve r*g - 28 = -26*g for g.
1
Let m = 5163 - 5121. Solve 11*y = -10*y + m for y.
2
Suppose -27*y - 120 = -11*y - 31*y. Solve -y*f - 22 - 42 = 0 for f.
-8
Let v(g) = 5*g**2 - 37*g - 62. Let h be v(9). Solve -6*o - 32 = h*o for o.
-2
Let h(k) = -5*k - 175. Let q be h(-38). Suppose -5*s + q*s + 0*s = 0. Solve s = -3*w + 5 + 1 for w.
2
Suppose d + 60 = 16*d. Solve -2 = -d*p + 2 for p.
1
Let x = 664 - 1414. Let l = x - -755. Solve 0 = l*h - 31 + 11 for h.
4
Suppose 0 = -35*f - 29*f + 9*f + 2255. Solve -f*u = 4*u for u.
0
Suppose 1435 = 5*s - 5*h, 2*s + 2*h - 625 = -63. Solve 48*k + s = 92 for k.
-4
Let l be (3633/28)/(5/20). Let a = l + -517. Solve d + a*d = 5*d for d.
0
Suppose 539*j + 73 = 544*j + 2*z, j + 2*z = 13. Solve 33*l + 81 = j for l.
-2
Let s = 118 - 165. Let g = 74 + s. Let b be (-2 + g)*(27/15)/3. Solve -l - b = 4*l for l.
-3
Let g be 15*(-14)/35 + 27. Solve 1909*j = 1906*j + g for j.
7
Suppose -6*x + 4*s + 147 = -67, s - 128 = -4*x. Solve 7*t + x = 68 for t.
5
Suppose 0 = 13*o + 115 + 106. Let j(m) = -7*m - 36. Let h(v) = 3*v + 18. Let k(y) = 5*h(y) + 2*j(y). Let z be k(o). Solve 3*g = 4 - z for g.
1
Let q = 8 - 8. Let v(w) = -38 - w**3 - 12*w + 48 + 8*w**2 + 3*w - w**2. Let t be v(5). Solve 3*m = -q*m + t for m.
5
Let s(j) = -j**2 + 16*j + 221. Let k be s(19). Solve k*v + 104 = 138*v for v.
-4
Let n(v) = v**2 - 4*v - 6. Let r be n(5). Let j be 1 + r/3*0. Suppose -6 = -20*h + 17*h - t, t = -9. Solve -2*y = j - h for y.
2
Suppose c - 4582 = -176*c + 4268. Solve -145*b + 135*b - c = 0 for b.
-5
Suppose 16978*n - 16964*n = 154. Solve 6*b = n - 23 for b.
-2
Let s(c) = 84*c**3 + 8*c**2 - 9*c + 1. Let b be s(1). Solve 0 = -35*k + 7*k + b for k.
3
Let y be (16/2)/(-10 - -12). Suppose 0 = 2*j - 3*f + f + y, 3*j = -2*f + 14. Suppose -251 = 5*m - 256. Solve -u = -j + m for u.
1
Suppose -3*o + 0*b = 5*b - 154, 3*o - 150 = -3*b. Suppose 2*y - 2*z + 89 = 7*y, -3*y = 3*z - o. Let x be -4 + y - 10/(-2). Solve -5*d + x = -10*d for d.
-4
Let h = 2 - 3. Let z(y) = 17*y - 25. Let s(m) = -73*m + 106. Let f(u) = 