. Let y be v(0). Solve 0 = y*t - t for t.
0
Let p = -286 + 303. Suppose 0 = 3*u + p*u. Solve u = -6*w + 18 for w.
3
Let c be 9/21 + 0 - 44/(-28). Let z be (131/c)/((-2)/(-2 - -6)). Let q = -121 - z. Solve -6*r = -q*r for r.
0
Let g be 1 + (-12)/21 + 230/35 + 11. Solve -g*q + 56*q - 228 = 0 for q.
6
Let a be 1 + (4 - 6 - 3) + 1. Let y be a + 0 + 6 - 1. Solve 3*v = -y*v + 20 for v.
4
Let r be (-1)/((6/(-7))/6). Suppose -8 = -5*i + r. Solve 6 = i*l - 5*l for l.
-3
Let b(w) = -2*w + 30. Let o be b(14). Suppose -9 = -q - o. Suppose -5*i + q*i = 4. Solve 0 = -0*z - i*z - 10 for z.
-5
Suppose -11*m + 214 - 170 = 0. Let v be (24/30)/((-4)/(-10))*2. Solve -2*t = -m - v for t.
4
Let s(m) = 110*m + 882. Let i be s(-8). Solve 11*f = 2*f + i*f for f.
0
Suppose 0 = 10*v - 44 + 24. Suppose -2*a = 3*a + 4*m - 58, 0 = 3*a + v*m - 36. Solve 6*p + a = 2 for p.
-2
Suppose 0 = 5*l + 5*o, 0 = 4*l + 2*o - o. Suppose -3*n + l*n = -12. Let y be 1*n/((-8)/(-6)). Solve -2*c = y*c for c.
0
Let k(u) = 106*u + 2906. Let q be k(-27). Solve -33*m + 44*m = q for m.
4
Let y = 8589 - 8589. Solve 9*t + 8*t = y for t.
0
Suppose 0 = 3*j + 3*v - 0*v + 33, -j = 2*v + 6. Let u be j/12 - (-528)/(-9). Let f = 64 + u. Solve -4*r - 16 = f for r.
-5
Let k = 461 - 459. Suppose -4*z + k*i + 10 = 0, 6*z - 4*z - 3*i - 3 = 0. Solve -z*h = -0 + 12 for h.
-4
Let t = -17622 - -17658. Solve 0 = 23*u - t - 79 for u.
5
Let w(t) = -t**2 - 38*t - 26. Let k be w(-37). Solve -k*y = 9*y + 100 for y.
-5
Suppose -10 = -3*i + 2*z, -2*i + z - 25 = 6*z. Suppose -5*d + 2*b + 65 = 0, 0*b + 10 = -d + 5*b. Solve -10*o + d*o - 20 = i for o.
4
Suppose -4*q = -4*m - 193 - 3, -3*q + 2*m = -147. Let f = q - 37. Let s be (-1)/(44/f - 4). Solve 0 = -2*c - s*c - 5 for c.
-1
Let v(l) = -7*l**3 - 35*l**2 - l + 1. Let z be v(-5). Let n(i) = -i**2 + 12*i - 16. Let j be n(z). Solve 0 = -g + 6*g - j for g.
4
Let h be -5*-7*(-5)/(-25). Suppose -4 = h*g - 9*g. Solve -3*x = g*x for x.
0
Let z be 12288/(-36) + (-4)/(-12). Let q = -329 - z. Solve 4*o + 4 = q for o.
2
Let x(d) = -d**3 + 7*d**2 + 10*d - 10. Let i be 340/(-17) - (-6 - -1). Let c(m) = -m - 7. Let z be c(i). Let h be x(z). Solve h*g - 12 = 3*g for g.
4
Let i = -1653 - -2411. Solve l = -752 + i for l.
6
Let u be 2/((-8)/(-504)*636 - 10). Solve -9*v = -16*v + u for v.
3
Suppose 0*g = -3*g - g. Suppose g = 5*s - 2*s. Suppose 5*t + 5 = s, 3*t + 3 = c - 0*t. Solve c*v - 3*v = 9 for v.
-3
Let y(u) = -6*u**3 - 77*u**2 + 49*u + 79. Let z be y(-15). Solve 12*f + 2185 - z = 0 for f.
7
Suppose 106 = -g + 3*o + 136, 0 = -2*o - 2. Solve -g*d + 25*d = -8 for d.
4
Let s be (2 - -4)/1 - 4. Suppose -4*g = -p - 65 - 51, 58 = s*g - 4*p. Solve g*x - 6 = 32*x for x.
-2
Suppose -14*u - 3*b = -17*u + 342, 5*b = u - 134. Solve 101 = -8*x + u for x.
1
Let x be (85/75 - 9/(-45)) + 16/(-12). Solve 20*v + 124 + 36 = x for v.
-8
Let i be 10575/150*(-6)/(-9). Solve -64 = -31*h + i*h for h.
-4
Let i(k) = 28*k - 387. Let n be i(14). Solve 0 = 233*r - 238*r - n for r.
-1
Let v(g) = 4*g - 36. Let u be v(9). Suppose -344*f + 333*f + 264 = u. Solve -4*s - 4*s = f for s.
-3
Suppose -5780 = -105*d + 95*d. Let z = 594 - d. Solve -z = 3*g - 11*g for g.
2
Suppose -c - 4 - 1 = 0, -35 = -5*v + 2*c. Suppose -v*s = 2*q - 5, -6*q + 3 = -3*q + 3*s. Solve -5*k = -q*k + 25 for k.
-5
Let w(q) = q**3 - 3*q**2 + 2*q - 4. Let o be w(3). Suppose -2*n + o = -4. Suppose 0 = -4*s - z + 10, 4*s - n*s + 2*z = 6. Solve -s*j = -3*j - 4 for j.
-4
Suppose -14*u = -18*u + p + 62, 4*u - 68 = -2*p. Suppose u - 16 = -22*t. Solve t*d = -9*d - 2*d for d.
0
Suppose -5*v + 71 = q, 3*v - 56 = -q + v. Solve q*k = 18*k + 140 for k.
5
Let u be ((-385)/(-22) - 17)*(0 + 1076). Solve u*z = 537*z + 3 for z.
3
Let r = 78 + -90. Let a(k) = -k**3 - 12*k**2 - k - 2. Let c be a(r). Suppose 5*x - 3*g = 7*x - 31, 3*g = -4*x + 47. Solve -6*p = -x*p + c for p.
5
Let z be ((-28)/(-5))/(11/(-10) + 1). Let r = -51 - z. Suppose r*u - 5 = 5. Solve k = -u*k for k.
0
Suppose -5*u - 296 = -4*v, 0 = -2*v + u - 71 + 213. Let o be -58 - (0 + 0 + 1). Let f = o + v. Solve -4*a - a = f for a.
-2
Suppose 17*v = 68, 0 = -3*o - v + 20 + 137. Solve -15*f - o = -6 for f.
-3
Let z(i) = -22*i + 122. Suppose 0 = -6*y + 31 - 1. Let h be z(y). Solve -h*l - 12 = -16*l for l.
3
Suppose 4*z = -3*y + 97 + 120, -5*z = 2*y - 154. Solve y*r = 64*r for r.
0
Suppose 9*u - 89 = -44. Let r be (12/20)/(u + 47/(-10)). Solve r*b = 11 - 9 for b.
1
Suppose 12*a = -34 + 394. Let q be 10/4*7/(175/a). Solve 2*i = q - 11 for i.
-4
Suppose -56 = -3*i - 2. Suppose 32*j - 4980 = -219*j + 2*j. Solve -22*y - j = -i*y for y.
-5
Let t(d) = -3*d**3 - 206*d**2 + 68*d + 180. Let b be t(-69). Solve 245*w - 4 = b*w for w.
-1
Let t(m) = -5*m**2 - 65*m + 110. Let y be t(-12). Solve -y = 41*b + 158 for b.
-8
Suppose 2*r = 2*l + 64, -510*r + 507*r = -l - 92. Solve 44*g = 29*g + r for g.
2
Let r be ((-3 - -1) + 11)*10/(-6). Let w = r - -17. Suppose 3 - w = i. Solve -p + 3 + i = 0 for p.
4
Let r be (7 - (-81)/(-18))/((-2)/(-112)). Solve r - 144 = 4*h for h.
-1
Let m(v) = -12*v**3 - 121*v**2 - 23*v - 125. Let u be m(-10). Solve 0*g + u*g = -5*g for g.
0
Let n = 919 + -916. Let p be (2 + -3)/(-2 - -1). Solve a - p = n for a.
4
Suppose -15 = -5*c - 0*c. Let g(q) = 11*q - 86. Let l(j) = -9*j**3 - j - 2. Let w be l(-1). Let o be g(w). Solve -o*x + 5 = c*x for x.
1
Suppose 0 = -4*s + 63 + 29. Suppose -29*k = s - 110. Solve -4 = k*l - 5*l for l.
2
Suppose -14*w - 154 = -28*w. Solve w*i - 20 = 2 for i.
2
Suppose 198*u + 58*u = 15104. Solve -39*j - 120 = -u*j for j.
6
Let j = -477 + 485. Solve -j = -11*d + 7*d for d.
2
Let v(l) = 280*l + 6184. Let p be v(-22). Let u be 1 + 3 - 112/(-7). Solve u*x - 12 = p*x for x.
-3
Suppose 463*f - 467*f - 4*n + 56 = 0, -5*f = -3*n - 54. Solve 0 = -106*h + 112*h - f for h.
2
Let r = 101 + -88. Suppose -8 = 5*l - r. Solve 0*k - k = -l for k.
1
Let f = -275 - -275. Let h = -52 - -55. Solve -h*v = 3 - f for v.
-1
Let h = 209 - 282. Let q = -67 - h. Solve -2*t - q + 4 = 0 for t.
-1
Let d(c) = 78*c**2 + 4*c - 28. Let n be d(3). Let w = n - 680. Solve w*k - 3 = 5*k for k.
3
Suppose -13*s - 32 = -15*s + 3*b, -b = 5*s - 80. Suppose 3*p + 4*w - s = 0, -5*w = -0*p + 2*p - 20. Solve p = 2*l + 5*l - 8*l for l.
0
Let o = 994 - 1028. Let w(n) = -n**3 - 34*n**2 + 2*n + 68. Let b be w(o). Solve b = -9*d - 39 + 12 for d.
-3
Suppose -15*q + 980 + 134 = -1211. Solve -8 = 163*c - q*c for c.
-1
Suppose 0 = -2*g - y + 63 - 17, 5*g - 137 = 3*y. Solve 30*n + g = 25*n for n.
-5
Let p be 3/2*(2 - (-132)/9). Let x(a) be the third derivative of -a**5/60 - 13*a**4/24 - 7*a**3/6 + 10*a**2. Let g be x(-12). Solve p = -0*t + g*t for t.
5
Let h be (80 + 0 - 0) + 5. Let b = -77 + h. Suppose 0 = -b*s + 20*s. Solve -2*d + 6*d = s for d.
0
Let y(k) = -k**3 - 10*k**2 + 4. Suppose 6*j - 15*j = 90. Let w be y(j). Solve 1 + 3 = w*z for z.
1
Let u(z) be the first derivative of -3*z**2/2 + 12*z - 2. Let c = -594 - -597. Let b be u(c). Solve n + b = -0 for n.
-3
Let w(o) = -24*o - 43. Let d be w(-2). Suppose -6*n + 3*n + y = -5, -d*n + 7 = -3*y. Solve 3*h + n = 5 for h.
1
Let n(g) = -6*g**3 + 12*g**2 - 13*g - 8. Let f be n(4). Let b be f/(-90) + 1/((-10)/(-2)). Solve b*i + 10 = 8*i for i.
2
Let x(g) = -14*g**2 - 12*g + 3. Let y be x(0). Solve 3 = y*o - 12 for o.
5
Let q(a) = -a**3 + 40*a**2 - 43*a + 157. Let z be q(39). Let s(b) = b**2 + 7*b + 10. Suppose -26 = r - 21. Let o be s(r). Solve -w + z = -o*w for w.
1
Let s(g) be the first derivative of g**4/2 - 5*g**3 + 3*g**2 + 10*g + 224. Let o be s(7). Solve -l + 1 + o = 0 for l.
4
Let t be (1 - 0)/1 - -3. Suppose -183*f = -187*f + 12. Let a = -10 + 10. Solve -f*b + b + t = a for b.
2
Let n be (0 + 1)*(-17)/(-17). Let d be n/(-6) + (-854)/(-84). Let u(a) = -2*a + 23. Let o be u(d). Solve -o = -3*y - 0*y for y.
1
Suppose -z = -d + 2, -2*z = 2*z - 2*d + 6. Let n be ((-6)/8)/(14/16 + z). Let i be (18/12)/(n/16). Solve -3*l - l + i = 0 for l.
1
Let a be -2*(6 + -5 - -5). Let t be (165/a)/(-11)*(1 + 3). Solve 16 = t*i - i for i.
4
Let b(c) = 6*c + 9. Let a be b(0). Suppose 6*y = 9*y - a. Solve 28 - 34 = -y*m for m.
2
Suppose 0 = -4*c + 15*c - 44. Suppose -1 = -4*x + 4*j + 27, -24 = -c*x + 3*j. Solve 1 + x = w for w.
4
Let o(k) = k**3 + 27*k**2 - 27*k + 16. Let m be o(-28). Let r be -2*1