2 = -t*u + l*u for u.
1
Let c be 3490/8 + 5 - (-5)/(-20). Let p be c/((-35)/5)*3/(-9). Solve -p = i - 26 for i.
5
Suppose 5*f - 24 = 9*f. Let z be 9/(-2)*4/f. Suppose -z*u = u - 0*u. Solve u = 5*o + 7 + 8 for o.
-3
Let o = -28 - -2. Let r = 38 + o. Suppose -r = -f + 1. Solve -3 = 2*l - f for l.
5
Suppose 0 = 15166*l - 15167*l + 24. Solve -13*t + 22 = -l*t for t.
-2
Suppose -5*l + 64*s + 13 = 50*s, 2*s - 61 = -5*l. Solve -l*v + 300 = -86*v for v.
-4
Let v(i) = -i**3 + 18*i**2 - 18*i + 24. Let t = 155 + -138. Let b be v(t). Solve 2*d - 1 = b for d.
4
Let z(b) = 6*b - 3. Let x be z(2). Suppose 2*r - 40 = -3*i - 5, 42 = 3*i + 3*r. Solve u + x = i for u.
-2
Suppose -3*a - 5*m = 30 - 11, 17 = a - 3*m. Let u(c) = 3*c + 15. Let q be u(-4). Let s be 1/(-2) - ((-26)/4 + q). Solve s*z - 10 = -a*z for z.
2
Let q be 0/((72/16)/(3/4) + -4). Solve q = 8*p + 9*p + 85 for p.
-5
Let h = 13 + -8. Let p(l) = 2*l**2 + 57*l + 92. Let c(f) = 5*f**2 + 115*f + 185. Let d(x) = -4*c(x) + 9*p(x). Let v be d(28). Solve -v*t = -3*t - h for t.
5
Let m(p) = -p**2 + 20*p - 83. Let u(f) = f**3 + 14*f**2 - 51*f + 12. Let r be u(-17). Let k be m(r). Solve -4 = k*w - 14*w for w.
4
Let q(i) = -2625*i + 2625. Let o be q(1). Let v be ((-4)/3)/((-2)/6). Suppose 0 = k - 3*h + 6, 3*k + 5*h - 12 = v*k. Solve l - k = -o*l for l.
3
Suppose -3*w = -3*q - 96, 12*q - 17*q + 106 = 2*w. Solve -w*j + 183 + 159 = 0 for j.
9
Suppose 0 = 77*l - 78*l + 2. Let u(y) = -3*y - 8 + 26*y**2 - 25*y**l + 3*y - y. Let t be u(4). Solve 0 = p - t*p for p.
0
Let d be 0*(-4 + (-38)/(-10)). Suppose 0 = -d*y - 36*y + 108. Solve -2*f + y*f + 1 = 0 for f.
-1
Suppose 364*m + 100 = 369*m. Suppose 28*f - m*f = 96. Solve -2*o + 8*o - f = 0 for o.
2
Let x be (114/12 + -9)*-8. Let t be ((-8134)/(-63))/14 + x/18. Solve -53*c + t = -56*c for c.
-3
Suppose -5*w = 20, c + 17*w - 14 = 20*w. Suppose c*m - 10 = 0, -3*m + 0*m = 2*o - 55. Let k = 0 - -3. Solve 7*r = k*r - o for r.
-5
Let x(y) = -27*y + 413. Let v be x(15). Solve -v*g = 25 + 23 for g.
-6
Let y be (3 + 19)*(3 - 25/10). Let x be ((-20)/(-2))/(-1 - (-9)/6). Solve -16*w - x = -y*w for w.
-4
Let f(b) = -10*b**3 - 5*b**2 + b + 11. Let k be f(-2). Solve 0 = 15*a - k + 144 for a.
-5
Suppose 6*h - 67 = 29. Suppose -8*a - h = -16*a. Solve a*n - 4*n = 8 for n.
-4
Suppose -q + 2 + 1 = 0. Let h = 858 - 858. Suppose -419*i + 404*i + 75 = h. Solve 7 = i*b - q for b.
2
Suppose -17*g - 9*g = -2*g. Suppose g = f + 27*f. Solve f = 5*p - 2*p + 15 for p.
-5
Suppose 36*g = -69 + 537. Solve -16*a - g = 19 for a.
-2
Suppose 0 = y - 0*y - 13. Suppose y = 3*j + 4. Suppose -j*k + 4 = -2*k. Solve d + k = 2*d for d.
4
Let a be ((-3)/5)/(1/(-5)). Let h = -74132 + 74132. Solve h = v + a*v - 20 for v.
5
Let t be 1/((1 - -2) + 55/(-15))*-14. Solve 205*o - t = 208*o for o.
-7
Suppose 16363*b - 16354*b - 270 = 0. Solve b = 29*z - 24*z for z.
6
Let g(c) = 1 + 42*c**2 + 43*c**2 + c**3 - 88*c**2. Let i be g(0). Solve 0 = -4*j + 5 - i for j.
1
Suppose 25*v - 25*v + 15*v - 12165 = 0. Solve 800*d = v*d - 88 for d.
8
Let k = -40 - -43. Let y(j) = j**2 - 2*j - 3. Let x be y(k). Solve x = -v - 4*v + 5 for v.
1
Let v(g) = -43*g + 49. Suppose 5*r = -2*u - 3, 0 = 20*r - 18*r + 2. Let j be v(u). Solve 0 = -j*n + 3 + 9 for n.
2
Let f(u) = 456*u + 52903. Let v be f(-116). Let d(j) = j - 2. Let c(i) = -i**3 + 8*i**2 - 7*i + 4. Let x be c(7). Let w be d(x). Solve -v*q = -w*q - 25 for q.
5
Suppose 4514 = -2*a + 4524. Let x(m) = m**2 - 8*m + 12. Let l be x(2). Solve -5*t + l = -a for t.
1
Suppose 5*u = -5, 4*g - 2*u + u = 417. Let w = -64 + g. Solve -4*p = 4*p - w for p.
5
Let r(s) = -2 - 15*s - 4*s**2 + 3*s**2 + 3 + 6*s. Let m be r(-9). Solve x = 3 + m for x.
4
Let d(c) = -c**3 - 20*c**2 - 12*c + 136. Let q(l) = l**3 + 6*l**2 - 10*l - 40. Let i be q(-7). Let a be d(i). Solve 0*v = a*v + 3 for v.
-1
Suppose 0 = c + 609 - 614. Suppose -36 = -4*h - 4*d, -3*d + 31 = c*h - 14. Solve -4 + h = -o for o.
-5
Let v(q) = q**2 - 29*q + 43. Let j be v(28). Let r = -1297 - -1297. Solve r = 9*a - j*a for a.
0
Let h(g) be the first derivative of g**4/4 - 4*g**3/3 - 15*g**2/2 + 18*g - 19. Let u be h(6). Solve -o + u = -2 for o.
2
Let f = -98 - -111. Suppose 25 = -18*a + f*a. Let b be (0 - -2) + (a - -8). Solve -b*p - 2 = -3*p for p.
-1
Let k = -36 + 38. Suppose 3*g + i = -75, -g = 3*i + k + 31. Let j = g + 30. Solve 5*h - 2 = j*h for h.
-2
Let g(x) = x**3 + 11*x**2 + x + 14. Let v be g(-11). Suppose 0 = -4*s - 72 - 12. Let h be 6*((-6)/s)/((-4)/(-7)). Solve 6*u - h*u = -v for u.
-1
Let s be (-2)/3*-3*2. Suppose 0 = u - 518 + 522. Let v = s + u. Solve -3*m + 12 - 3 = v for m.
3
Suppose -2*d - 5*v + 571 = 0, 176 = 4*d + 5*v - 1001. Solve 0 = -62*u + 7 + d for u.
5
Let u = 179 - 93. Let q = -84 + u. Suppose q = 6*y - 5*y. Solve -y*f + 6*f + 8 = 0 for f.
-2
Let f be 2/(-9) + (-116)/(-36). Suppose 0 = f*s - 8 - 1. Solve -s*j - 2*j = -25 for j.
5
Suppose 4551*i - 4524*i - 499 = 635. Solve -i*q - 32 = -46*q for q.
8
Suppose -3*j + 30 = -5*n, 3*j = 4*j - 4*n - 3. Suppose -2 = -18*m - 2. Solve m = -26*w + 21*w - j for w.
-3
Let b = 29999 + -29989. Suppose -x + 7 = 1. Solve -13*z - x = -b*z for z.
-2
Let h be 2*(4 - 2/((-16)/(-20))). Suppose -s - 5*f = -4*f - h, 5*f + 17 = 3*s. Let p = -6 - -12. Solve s*v + p + 2 = 0 for v.
-2
Let h be (-876)/(-180) - -1*(-2)/(-15). Solve 14*g - h = 9 for g.
1
Suppose s + s + 160 = 3*d, -5*s = -5*d + 260. Let v = 57 - d. Let k be 22/(-26) + v + 30/(-195). Solve k = -2*u - 2 - 2 for u.
-2
Let x be (-4)/((-1183)/(-133) + -9). Solve x*s - 6*s = 32 for s.
1
Let z(q) = -5*q - 2*q - 13*q - 20*q + 5*q - 313. Let g be z(-9). Solve 5*u = g + 18 for u.
4
Suppose 0 = 6*h + 15427 - 15571. Solve 8*d + 0*d - h = 0 for d.
3
Let q be (-8 - -2) + (18 - 5) - -44. Solve q - 47 = l for l.
4
Let v be (-42)/(-7) - -2*4/(-8). Solve 0 = -v*j - 167 + 137 for j.
-6
Let i = 1523 + -1454. Solve 77*p - i*p = -8 for p.
-1
Suppose 4*m - 2*m = -2*u + 28, -u - 3*m = -24. Let z = -122595 - -122605. Solve 13*d - z*d = -u for d.
-3
Suppose -39 = -x - 4*f, -3*f + 95 = 5*x - 8*f. Let m = -22 + x. Let l be 0/(5 - 2 - m). Solve l = -3*z + z - 8 for z.
-4
Suppose 5*x = -u - 8, -3*u + 5 = -1. Let t be 6/(-14) - (-3)/(-14)*x. Let m = 22 - 20. Solve -m*f - f = t for f.
0
Suppose x - 3 = 4*r + 2*x, -r - x = 3. Suppose r*y + 7 = k - y, 4*y + 4 = 0. Suppose -23*i + 20*i + k = 0. Solve -b + 4 = i for b.
2
Suppose 53 = 2*j - i, -79 = -6*j - 3*i + 134. Solve 21*s = j - 73 for s.
-2
Suppose 0 = -72*z - 932 + 1436. Solve -z = 4*w - 27 for w.
5
Suppose 31 - 166 = -5*p. Suppose 68 = 3*t - q, 4*q = -t + 20 + 20. Suppose t*w - p*w = 0. Solve w*f + 2*f = 0 for f.
0
Suppose 5*n + 84 = -3*r, r + 6 = -r. Let l(z) = -12 - 17*z - 2*z**2 + 8*z - 3 - 22*z. Let h be l(n). Solve h = 3*u - 5*u for u.
0
Let f = -11299 + 19276. Solve 10*s - 7987 + f = 0 for s.
1
Let v(j) = 2*j**2 - 9*j + 36. Let r be v(3). Suppose 8*i = r*i. Solve 0 = -6*g - i*g + 3*g for g.
0
Let t(k) = -14*k**2 + 5*k - 1. Let r be t(-4). Let x = r - -254. Solve 0 = 14*j - x*j for j.
0
Let c be ((-14)/4 - -1)*-6. Let n be ((16/72)/(4/66))/((-28)/(-84)). Solve 2*w = n - c for w.
-2
Suppose 1655 = 5*l - 5*z, 3*z - 34 + 31 = 0. Solve l = -9*v + 287 for v.
-5
Let z = -20302 + 20347. Solve 0 = -9*t - z for t.
-5
Suppose -21 - 13 = 2*n + 3*h, 2*n - 3*h + 34 = 0. Let z = -44 - n. Let w = z + 29. Solve w*j + 4 = 2 for j.
-1
Let b be 46*(-1)/2 - (3 + 0). Let t = b + 38. Suppose 5*z - 2*u - t = 0, 4*u = -u + 20. Solve z*p = -p for p.
0
Let z = -1 + 9. Suppose -449*a + z = -445*a. Solve -a*f - 2 + 2 = 0 for f.
0
Let n(w) be the second derivative of w**5/20 - 13*w**4/12 - 5*w**3/2 + 8*w**2 + 25*w. Let o be n(14). Let a be -1 - (-9 + 4 + o). Solve 5 - 1 = a*q for q.
2
Let t(h) = h**3 - 6*h**2 + 4. Let x be t(6). Suppose 5*z - 9*z + 29 = 5*j, x*j - z - 19 = 0. Solve -8 - 2 = j*n for n.
-2
Let y(f) = 2*f**2 - 49*f + 72. Suppose -15 = -x - 2*l, -x + 77 = 2*x - 2*l. Let a be y(x). Solve -a*d + 8*d = -5 for d.
-1
Suppose -31 + 91 = 4*t. Suppose 5 = p + 2*g, 0 = -p - 7*g + 10*g + t. Let b(n) = -3*n + 4. Let m be b(0). Solve 3 = m*i - p for i.
3
Let h = 2 - -1. Suppose -4 = -h*c + 11. Let t be (-8)/(c/5*-2). Solve -t*x + 12 = -x for x.
4
Let t = -135 - -141. Let u be (-3)/(-9) - 2/t. Solve u = -0*j - 4*j for j.
0
Let s(w) =