ve 0 = v*f - 906*f + 4 for f.
2
Let r be 3*(8/(-18))/(2/(-3)). Suppose 2*p = -r*t + 10, 4*t - 87 = 3*p - 67. Solve 0 = t*w - 7*w + 6 for w.
3
Let p(f) = f**3 + 8*f**2 + 20*f + 176. Let y be p(-8). Solve y = 3*q + 19 for q.
-1
Let f be (-13)/(-3) - ((-310)/(-30) + -11). Suppose 0 = 4*l - 2*n - 20, -f*l + 1 = n - 10. Solve -l = -15*j + 12*j for j.
1
Suppose 25*v = 24*v + 3*z + 198, -2*v + 389 = z. Solve 11*u + 173 = v for u.
2
Suppose -45*c = -369 - 531. Let k(i) = -i**3 - 5*i**2 - 1. Let o be k(-4). Let a = o + c. Solve 1 = 4*h - a for h.
1
Suppose 2*i = 5*i. Let m be ((481/52)/(-37))/((-1)/12). Solve -3*c + 15 - m = i for c.
4
Let t(p) = p**2 + 51*p + 60. Let j be t(-50). Suppose 0 = 10*v - 4*v. Suppose v = 5*m - 1 - 14. Solve -m*l + j = -l for l.
5
Let n be (-24)/(-10) + (-96)/240. Suppose -3*s = x - 14, -n*x = 5*s + 2*x - 14. Solve 4*u + s - 26 = 0 for u.
5
Let p(s) = 31*s + 276. Let o be p(-7). Suppose 7*y - 143 + o = 0. Solve 0 = -2*w - 6 + y for w.
3
Suppose -1109*f + 1110*f + 2 = 0, -5*z = -2*f - 169. Solve 14*t + 9 = -z for t.
-3
Let u(d) = 5*d**3 + d**2 - 17*d + 5. Let b be u(2). Solve 38*t = b*t - 69 for t.
-3
Let s(d) = d**3 - d**2 + 6*d + 12. Let i be s(0). Solve -i*n + 0*n = -60 for n.
5
Let z = -95 + 45. Let j(b) = -b**3 - 11*b**2 - 5*b + 5. Let t be j(-10). Let q = t - z. Solve -3*c = -q*c + 8 for c.
4
Suppose -22*l = -19*l - 93. Suppose -10*y - 1 + l = 0. Solve 2*w + 11 = y for w.
-4
Suppose 0 = 68*q - 547 - 541. Solve 10*h = -q*h - 104 for h.
-4
Suppose 5*d + 110 = 27*d. Suppose 0 = 3*g - o, 5*o = d*g - 6*g. Solve 2*b - 8 - 2 = g for b.
5
Suppose 51 = -6*f + 97 + 68. Solve -f*o + 6 = -13*o for o.
1
Suppose k + 5668 = 27*k. Solve 217*g - k*g = -2 for g.
2
Let o be 54/12 + (-9)/6. Let q(s) = -s**3 + 6*s**2 + 2*s - 4. Let g be q(6). Let w be (2/4)/(2/g). Solve 0 = w*v - 1 - o for v.
2
Let j be (-1 + 2/6)*(25 + (-874)/19). Solve -38*v - 100 = j for v.
-3
Suppose 3*n + 619 = -5*u, -8*n + 137 = -u - 2*n. Let j = u - -128. Solve -2 = 5*k + j for k.
-1
Let s be 5 + (3 - 20/4). Suppose 18 + s = 7*p. Suppose -6 = -2*f, -p*u - 3*f + 14 = -4. Solve 0 = -u*i - i for i.
0
Suppose 3*u - 2227 = -5*f, 485 = f - 99*u + 104*u. Solve 10*z = -45*z + f for z.
8
Let s(w) = w + 35. Let u be s(-15). Let o = u + -15. Suppose 2*l - o*l = -6. Solve -9 = l*k - 1 for k.
-4
Let s be (-4)/((-5)/((-13425)/(-60))). Solve -s = 31*t + 100 for t.
-9
Let t be ((-9375)/(-225))/((-5)/(-12)). Solve -20 = -24*l + t for l.
5
Suppose -31*w + 131451 = 45581. Solve 2778 - w = 2*p for p.
4
Suppose 237*a - 175*a = 4650. Solve -63*j = -a*j + 48 for j.
4
Suppose 65*s - 9060 = 4*s + s. Solve 58*n = -23 - s for n.
-3
Suppose 11*i - 5*v = 8*i + 414, 0 = 5*v - 30. Solve 188 - i = -10*l for l.
-4
Suppose 2*o - 20 = o. Let r(g) = 3*g**2 - 7*g + 5. Let q be r(3). Suppose 0 = k + 2*d - q, 12 = -k + d + 11. Solve 2*x + o = -k*x for x.
-4
Let f = 154 + -150. Suppose -6*a = -10*a - 16. Let q be 3/(-12) - 1/a. Solve q = -j - f for j.
-4
Suppose 3*i + y = -18, -29*i + 30*i + 2*y = -1. Let p(u) = u**3 + 5*u**2 - 17*u - 18. Let z be p(i). Solve z*v = -20 + 14 for v.
-2
Let m be (-10)/(-1) + 0 + (-9)/3. Let z be (-360)/(-100)*(-15)/(-6). Solve z*w + 4 = m*w for w.
-2
Let z = 6640 + -6410. Solve -z = -28*c - 18*c for c.
5
Let p(h) = h**2 + 3*h. Let v be p(-3). Suppose v = -t + 344 - 334. Solve g + 14 = t for g.
-4
Let m = -47 - -43. Let b(v) = 2*v - 14 - 12*v + 5*v - v**2 - 4*v. Let q be b(m). Solve -q = u - 2 for u.
-4
Let x(b) = -b**3 - 47*b**2 - 93*b - 117. Let j be x(-45). Suppose -7*w + 10*w = 2*p + 24, -4*w - 2*p + j = 0. Solve -4*k + 10 = -w for k.
4
Suppose 0 = -2*s - 3*v + 24, -2*v = -4*s + 3*v + 26. Suppose s*b = -5*b + 378. Suppose h + 5 = -2*r, 5*h - 3*r = b + 13. Solve 2*z - h*z - 12 = 0 for z.
-4
Suppose 99 = 132*v - 1257 + 168. Solve v*a - 59 = 68*a for a.
-1
Suppose 7 + 48 = -5*w. Let x = w + 19. Suppose 22*f - 276 + 166 = 0. Solve u = f*u + x for u.
-2
Let j be 108 + 3 + 567/126 + 18/4. Solve j = -8*d + 64 for d.
-7
Suppose f + 6 = q, -4*q + 6*q = -3*f - 8. Suppose s - 5*t = 5, 1 + 0 = -q*s - t. Let v = -13 + 18. Solve 6*z - z - v = s for z.
1
Let i(y) = -y**3 + 17*y**2 + 2. Let z be i(17). Suppose 3*u = -5*c + 2*u - 2, 0 = -4*c + z*u + 4. Solve -10*f + 13*f - 9 = c for f.
3
Suppose -3757 = -3*a - 3673. Solve -12*k = -20 - a for k.
4
Let i(p) = -2*p + 28. Let q be i(15). Let a(h) = -2*h**3 - 4*h**2 - 3*h - 1. Let u be a(q). Let r = -21 + 48. Solve -u*t - r = -12 for t.
-3
Let z be (40/(-750))/((-12)/30) - (-88)/15. Solve z = -10*p + 26 for p.
2
Suppose 2 - 77 = -12*p + 21. Solve -1058*w + 1059*w + p = 0 for w.
-8
Suppose -2*y + 4 = 80. Let l = 42 + y. Let z be 3 - (0 - l - -3). Solve -b = -1 - z for b.
5
Suppose -2*a - 3*a + 4 = 2*o, o = 2*a + 11. Let s be (11 + 31/(-2))*40/(-18). Suppose -s*y + o = -3*y. Solve 0 = v - 0*v - y for v.
1
Let t(d) = -42*d - 12. Let s be t(-2). Let c = s - 75. Let b(w) = -3*w - 3. Let l be b(c). Solve l + 10 = 4*n for n.
4
Let j = 423 - 181. Let o = j - 240. Solve -2*s = -0*s + o for s.
-1
Let i = -1 - -2. Let t = -441 - -445. Suppose -2*k + f + 2 = 1, -t*k = f + i. Solve k = l - 0*l - 5 for l.
5
Suppose -3*d + 7*d - 4591 = 3*u, d - 3*u - 1132 = 0. Solve 1157*q = d*q - 8 for q.
-2
Suppose 2*u = 4*u - 42. Let a be u/(-14)*20/(-6). Solve a*j = -0*j for j.
0
Let y(c) = 7*c**2 - 8*c + 5. Let z be y(1). Let m(k) = -5*k + 27. Let d be m(z). Solve 4*r - d = -19 for r.
-3
Let z = 39 + -25. Suppose -k - 1 = 4*o - z, -3*o = 3*k - 12. Let w(y) = 3*y**2 - 2*y + 3. Let g be w(k). Solve g*i - 3 = 3*i for i.
3
Let q(g) = -8*g**3 - g**2 - 3*g - 3. Let u be q(-1). Let s(f) = 8*f**3 + f**2 + f + 1. Let l be s(-1). Let v = l + u. Solve 4*z - 7 + 27 = v for z.
-5
Suppose 15*b + b = 4*b + 30*b. Solve b = -34*z + 45 - 215 for z.
-5
Suppose -40*v = 5*n - 16*v - 176, 0 = -2*n + 2*v + 140. Solve 100 - 356 = n*w for w.
-4
Let z be (-73)/(-511) - 3/21*1. Solve z = -9*o - 17*o + 2*o for o.
0
Suppose 5*z = -5*n + 2155, -n + 1549 + 175 = 4*z. Suppose 20*v = 129 + z. Solve -4*l + v = 8 for l.
5
Let g = 7607 - 7561. Solve -12*i - g = -35*i for i.
2
Suppose y + 78 - 75 = 0. Let a = 34 - 46. Let z be 3 - y*(-4)/a. Solve x + z = 2*x for x.
4
Let v be 18615/(-68) - 1/4. Let c = -258 - v. Solve 0 = -s + 5*s - c for s.
4
Let u(q) be the third derivative of q**4/12 + 23*q**3/2 - 83*q**2. Let h be u(-34). Solve 0 = -v + 3 + h for v.
4
Suppose q = 510 + 505 - 978. Solve q*y + 236 - 14 = 0 for y.
-6
Let c = -8 - -18. Let j = 2683 + -2683. Solve c = 2*b - j*b for b.
5
Let n = -419 + 429. Let p(x) = -x**3 + 6*x**2 + 37*x + 34. Let u be p(n). Solve 4*t - u = -16 for t.
-3
Let j = -27 + 26. Let k be (-39)/(j/2 - 1). Let u be 2/13 - (-48)/k. Solve 4*s - u = 14 for s.
4
Suppose -3*n + 25 = -68. Let g = n - 18. Suppose -10 = 8*w - g*w. Solve -a - w = a for a.
-1
Suppose -696*m = -694*m - 8. Suppose -2*y + m*p + 2 = -5*y, -2*p - 14 = -5*y. Solve -y*w - 9 = -5*w for w.
3
Suppose -23*f + 4288 = 11*f + 30*f. Solve -71*c + f*c + 24 = 0 for c.
6
Suppose 15765*q - 15640*q - 500 = 0. Let y(z) = z**3 + 2*z**2 + 1. Let c be y(-2). Solve 3*s - q*s = c for s.
-1
Suppose 4*t - 4*r - 228 = 0, 12*t - 14*t + 4*r = -104. Solve 26*y + t - 244 = 0 for y.
7
Suppose 3416*h - 3417*h + 16 = 0. Solve 0 = 36*d - 52*d + h for d.
1
Let b(i) = -5*i + 8. Let c = 402 + -401. Let m be b(c). Let q be 2 + (-1 - (3 + -4)). Solve -q*n - m = -13 for n.
5
Let w(a) = 52*a - 298. Let d be w(7). Solve 59*j = d*j - 21 for j.
3
Let z(m) = -m**3 - 4*m**2 + 4*m + 7. Let s be z(-4). Let g be -3 - s*8/12. Let q be 3*g/9*3. Solve 4*w + 1 + q = 0 for w.
-1
Let h(n) = -n**3 + 8*n**2 - 7*n + 6. Let d be h(7). Suppose -2*j - 3264 + 3428 = 5*v, 3*v = j + 94. Solve -v = d*p - 2 for p.
-5
Let n(m) be the second derivative of m**4/12 - m**3/6 - 6*m**2 + 15*m. Let k be n(5). Suppose -k = -4*v + d, -1 - 2 = 5*v + 2*d. Solve -2*q - v = -q for q.
-1
Suppose -27 = 7*c + 36. Let i(z) = -2*z**2 - 16*z + 30. Let d be i(c). Solve o = 5*o + d for o.
-3
Suppose -211*s + 182*s = -29. Let u = -3 - -6. Suppose 39 = u*k - 2*g, -3*k = -k - 4*g - 34. Solve -k = 3*t + s for t.
-4
Let a(j) = -94*j + 1545. Let t be a(16). Solve 19*p = -t*p - 240 for p.
-4
Let g(k) = -k**2 - 3*k + 1. Let v be g(-2). Let p = 25 + -23. Suppose p*j = -4*c + 18, 3*j + j = -4*c + 24. So