 = 14*t - g for t.
4
Let y(f) = 3*f**2 + 14*f + 899. Let t be y(0). Solve s - 893 + t = 0 for s.
-6
Suppose -5*d + 16 = -2*s, -4*d = 31*s - 32*s - 11. Let l = 1 + 3. Let h(g) = -g**3 + 3*g**2 + 4*g + 5. Let z be h(l). Solve -z*t = -d + 12 for t.
-2
Suppose -8*y = 4*s - 44, 0 = 4*s - 4*y - 156 + 40. Solve -99 - 39 = -s*r for r.
6
Suppose 34*u = 27*u + 350. Let q be (u/(-15)*-15)/2. Suppose 11*j + 42 = q*j. Solve j = 4*z - 9 for z.
3
Let o be (-1264)/(-7900) - 92/(-50). Suppose 2*k - 3 = -3*i, -3*i + 5*k = -28 + 4. Solve -1 = i*u + o for u.
-1
Let m = -1 + 11. Suppose 0 = 4*o + 5*k + m, -4*k = 6*o - o + 8. Suppose -5*g + 26 = 4*x, 4*g = 2*x - o*x. Solve -3*w = -w + g for w.
-1
Suppose 16 = 6*z + 112. Let o be z/12 - (-8)/6. Suppose -2*j - j + o*j = 0. Solve v - 4 = -j*v for v.
4
Let x be 17 + (-1)/((-19)/133). Solve -x*o = 71 + 121 for o.
-8
Let y(g) = -50*g**2 + 376*g**3 + 48*g**2 + 4*g + 14 - 377*g**3. Suppose -l - 3*l = 0. Let a be y(l). Solve 0 = 4*d - a + 34 for d.
-5
Let b(i) = -i**2 - 3*i + 1. Let m be b(-2). Suppose m*t + 2*t - 90 = 0. Suppose 0 = 87*g + 120*g - 828. Solve g*a - 6 + t = 0 for a.
-3
Let o(w) = w**3 + 34*w**2 + 14*w - 624. Let d be o(-33). Solve 6*m + 15 = -d for m.
-3
Suppose -12 = 7*l - 4*l - 6*l. Solve 0 = 11*m - 7 - l for m.
1
Let l(a) = -10*a + 4. Let j(y) = -3*y + 1. Let c(p) = 7*j(p) - 2*l(p). Let f be c(-6). Let q be -2 + -1 - (0 - f). Solve -3 = -q*s - 5 for s.
-1
Let s = 32 + -30. Let d be 12 + 0 - s/2*-2. Let w = d - 6. Solve 4 = -4*u - w for u.
-3
Suppose 8*w - 32 = 4*w. Suppose 0 = 5*u + 10, 3*u + 2 = 2*f + w*u. Solve 16*a - f = 18*a for a.
-3
Let i(f) = 13*f + 6. Let r be i(13). Solve -r = 200*k - 225*k for k.
7
Suppose 8 = -37*y + 39*y. Suppose y*k = 2*w + 24, 5*k - 2*w = 6 + 22. Suppose -3*s = 3*d - 9, k*d + 0 - 2 = s. Solve -d = 5*q - 4*q for q.
-1
Let d = -10499 - -10536. Let b(r) = 37*r**3 + r**2 + r + 1. Let q be b(-1). Let i = d + q. Solve 4*p = 3 + i for p.
1
Suppose -5221 + 4232 = -34*d + 12781. Solve -59*n + d = 51 for n.
6
Suppose 5*w - 967 = -292. Suppose -4*k + 11 = w. Let n = 51 + k. Solve -n = -6*g + 2*g for g.
5
Suppose -n = 9*n - 30. Let m = 0 - -15. Solve 0 = -4*h - m + n for h.
-3
Suppose 265 = 31*q - 76. Solve 0 = 6*z - q - 1 for z.
2
Let g(b) = b**2 + 168. Let i be g(0). Suppose 5*p = -2*p + i. Suppose -p*y + 6 = -21*y. Solve -y*n - 3*n = 15 for n.
-3
Let o be 4/20 + (-332)/10. Let z be 8/28 + o/(-7). Let w = -9694 + 9694. Solve w = -3*p + 8*p + z for p.
-1
Let b be (270/36)/3*2. Solve -9 = -8*g + b*g for g.
3
Let l(j) = -3*j + 44. Let n be l(13). Suppose 5*b = n*k, 5*k = 3*b + 8*k - 6. Solve 7*o = -b - 27 for o.
-4
Let x = 122 - 122. Suppose 3*y - 12 = x, 3*v - 5*v = 2*y - 12. Solve 7*n - 9*n = -v for n.
1
Let g = -116 - -127. Suppose 2*o - f = g, 0 = -2*o + 3*f - 7*f + 16. Solve 5*p + 11 = o for p.
-1
Suppose -1 + 21 = 5*p. Let w(d) = 301*d - 1485. Let k be w(5). Solve -p*m + k = m for m.
4
Let z = -24286 - -25016. Solve -6*n - 706 = -z for n.
4
Let c(r) = 12*r**2 - 10 - r - 12*r + 14 + r**3. Let o be c(-13). Let y = 104 + -103. Solve -y = -a + o for a.
5
Suppose 0 = 5*s - 20, c + 28*s - 36 = 25*s. Let v be c/(-3 - -7) + -2. Solve i + i + v = 0 for i.
-2
Suppose 5*d + 126 = -2*c + 26, 2*d = -2*c - 40. Let y be 4 - 6/(-10)*(-25 - d). Solve -y + 11 = -5*i for i.
-2
Let v be 48/40*((-90)/(-4))/9. Suppose w - 6*w = -30. Let j = w + v. Solve 0 = -5*x + 2*x - j for x.
-3
Let o(n) = 3*n**3 + 120*n**2 - 10*n - 332. Let y be o(-40). Solve y*d = 412 - 4 for d.
6
Let l be 3580/36 - ((-93)/(-27) - 90/30). Solve 435 = -42*a + l for a.
-8
Suppose -5*v + 57*k + 60 = 52*k, -3*v - 4*k + 8 = 0. Solve 0 = -v*m + 16*m - 16 for m.
2
Suppose -4 = -2*t - 12, -t + 10 = f. Let a be (f - 15) + 1*-5. Let w be (1/(a/4))/((-6)/27). Solve -2*p + 5 = w for p.
1
Let n be 33*(-6 + 21/3). Solve 0 = -30*o + n*o - 12 for o.
4
Suppose 106*d + 15 = 651. Let g = 44 - 24. Let p be 2/(-5) - (-8)/g. Solve -6*y + 3*y + d = p for y.
2
Let i(a) = 5*a**2 + 37*a + 74. Let r be i(-5). Solve -r*v = -30*v for v.
0
Let i be -78*((-48)/(-128) - (-22)/(-16)). Solve -i*x = -60*x + 36 for x.
-2
Suppose 16*r + 28 = 18*r. Let z = r + -43. Let a = z - -29. Solve a = -2*k - k + 6 for k.
2
Suppose -t - 103 = -4*a + 21, 4*a + 2*t - 124 = 0. Solve -76 = -9*m - a for m.
5
Let b(y) = 2*y**3 - 5*y**2 - 4*y + 7. Let o be b(3). Solve -12*f + 14*f = -o for f.
-2
Suppose -4*b + 1796 = -j, -14*b - 898 = -16*b + 3*j. Let z = b + -437. Solve z*q + 10 = 7*q for q.
-2
Suppose 0 = -0*r - 2*r - 134. Let i = -54 - r. Let x = 15 - i. Solve 0*q - x*q + 10 = 0 for q.
5
Let a = -5265 + 5419. Solve 0 = -9*p - 172 + a for p.
-2
Suppose -4*u + 4 = 2*h, -10*u + 6*u = h - 2. Let x be 2 + ((-21)/(-14))/(h/12). Solve 10*a = x*a + 3 for a.
-3
Suppose -2*q = -4, -5*b - 2*q = q - 31. Let m = 133 - 133. Suppose 2*d + b*r - 17 = 0, 5*d - 5*r - 37 + 12 = m. Solve 12 = -d*k + 3*k for k.
-4
Suppose -602 = -5*s + h, 2*s - h + 17 = 256. Let k = -115 + s. Solve 0 = -c + 4*c - k for c.
2
Suppose -3*t - 4 = 2*c - t, 0 = -5*c + 4*t - 19. Let i be c/6*-4 + -3 - -5. Suppose 5 = 2*f + p, -5*p + 0 - 20 = f. Solve 24 - i = f*q for q.
4
Suppose -h - 546 = 41*o - 45*o, -657 = -5*o - 3*h. Solve -43*y = -209 - o for y.
8
Suppose a = y - 5, y + 3*a + 15 = -3*y. Solve y = w - 21*w - 100 for w.
-5
Suppose -958 - 342 = -37*f + 1068. Solve 35*l + 396 = -f*l for l.
-4
Suppose 0 = -119*d + 669 + 283. Solve -6*n = -d*n + 8 for n.
4
Let p(i) = -i**2 - 12*i - 18. Let b be p(-6). Let o be (-24)/(-15)*135/b. Solve -o = 8*s - 4*s for s.
-3
Suppose 475*z - 133 = 468*z. Suppose z*l + 2880 = 67*l. Solve l = 3*x + 75 for x.
-5
Let v(x) = 796*x + 5591. Let s be v(-7). Solve 93 = s*m + 150 for m.
-3
Suppose 0 = -4*s - 4*w, 4*s - 20 - 22 = 2*w. Solve -s*h + 328 = 293 for h.
5
Let j be ((-8)/(-6))/((-680)/(-2550)). Solve -j*p + 7 + 3 = 0 for p.
2
Let r(j) = j**3 + j**2 + 2. Suppose 14*c - 9*c - 25 = 0. Suppose -5 = -z - 4, -q + 5*z - c = 0. Let u be r(q). Solve m = -3 + u for m.
-1
Suppose n + 18 = -34. Let o be (-53 - -32) + 16 - (-74 - (-2)/2). Let i = o + n. Solve -i = 7*z - 3*z for z.
-4
Suppose -3*c - 4*d = -292, 25*c = 30*c - 4*d - 508. Solve -c*f - 135 = -127*f for f.
5
Suppose 2742*q - 2741*q - 158 = 0. Solve -4*n - 182 = -q for n.
-6
Let o be -46 - 0*(-2)/4. Let b = -37 - o. Let g = 19 - b. Solve -3*a + 1 = g for a.
-3
Let m(a) = -a**3 + 10*a**2 + 45*a + 6. Let g be m(-4). Suppose 2*l + 68 = 4*p + l, -l = -3*p + g. Solve 8*r + p = 58 for r.
5
Suppose -4*a - 3757 = -3761. Suppose 0 = m - 0*m - 21. Solve -5*d - a + m = 0 for d.
4
Suppose 64 = -2*g - 72. Let w = g + 68. Suppose 3*p - 59 = y - 17, 0 = 5*p - y - 72. Solve -5*q - p + 0 = w for q.
-3
Let q be 0 - 2/(4/(-10)). Let p be (-26)/(-39) - (-74)/(-3). Let k = p - -25. Solve -q*f = -k + 16 for f.
-3
Suppose -5*l = -4*a + 10, 2*l = a + 89 - 90. Solve 68 = a*d + 58 for d.
2
Suppose -1956*f + 1979*f = 0. Solve 49*g - 50*g + 1 = f for g.
1
Suppose -2*z - 32 = -q, -2*z = -5 - 1. Suppose v - 3*b - 21 = -b, -3*b = -2*v + q. Solve v*l = 8*l for l.
0
Suppose -3*h - 15 = 0, -5*w - 38*h = -34*h - 25. Solve -w = -10*j + 31 for j.
4
Suppose 0 = 4*p - 4*o + 192, 0*o = 2*p + 4*o + 108. Let y = p - -56. Let r(h) = -h**3 - 14*h**2 - 13*h + 15. Let q be r(-13). Solve -x = -y*x - q for x.
-3
Suppose 2*g - 10 = -3*g. Let u(x) = 2*x**3 - 11*x**2 + 5*x + 20. Let k(l) = l**3 + 8*l**2 + 7*l + 5. Let p be k(-7). Let y be u(p). Solve y = -2*q - g*q for q.
-5
Suppose 37 = 5*t + 4*l, -l - 11 = -t - 3*l. Suppose 0 = -12*r - 11 + 35. Suppose t*d - r = -2*g, -6*g + 2*d - 26 = -11*g. Solve -g = u + 2*u for u.
-2
Let x be 1/(-2)*(-408 + 16). Let u = x - 194. Solve 2*y - u + 10 = 0 for y.
-4
Suppose -323*f + 4771 = -310*f. Solve -368*g = -f*g + 5 for g.
-5
Suppose -x = x - 3*d + 21, 4*x - 28 = -4*d. Suppose 0 = 2*u - 74 + 18. Solve x = 5*k - u + 8 for k.
4
Let w(b) = b**3 + 48*b**2 - 159*b - 291. Let y be w(-51). Solve 593*x - y = 598*x for x.
-3
Let d(x) = x**3 + 12*x**2 + 12*x - 7. Let o be d(-11). Let j be (-50)/o - (-34)/153. Let p(k) = -5*k - 175. Let q be p(-35). Solve -j*f + 4*f - 2 = q for f.
2
Let t(x) = 7*x - 143. Let g = -676 + 697. Let y be t(g). Solve 6*w - 5*w = y for w.
4
Let n(v) = -4*v**3 + 3*v**2 + 4*v + 2. Let k = -97 - -96. Let a be n(k). Solve 4*x - a*x = 2 for x.