olve -j = -2*x + 5*x for x.
-2
Suppose 0 = 12*c - 301 + 25. Solve 10*h = 63 - c for h.
4
Let f(z) = 165*z - 1995. Let i be f(19). Solve 1137*v - i*v - 12 = 0 for v.
-4
Let y(g) = -g - 4. Let u be y(-18). Suppose 2*v + 2*v = -2*h + u, -v - 2*h - 1 = 0. Suppose -2*r + v = -5. Solve r = -3*b - 10 for b.
-5
Let l(i) = -2*i**3 + 135*i**2 + 68*i + 18. Let g be l(68). Solve g*m - 32 = -86 for m.
-3
Let h(l) = -7*l + 99. Let i be h(12). Let d be (3/(-7))/((i/21)/(-5)). Solve -d*a - 10 = -a for a.
-5
Let s = 7214 + -7227. Let g(o) = -2*o - 4. Let x be g(5). Let y = s - x. Solve -5*a + y = -14 for a.
3
Suppose -r = -14*q - 28, 14*r + 2*q - 86 = 12*r. Solve -r*o = -9*o - 264 for o.
8
Suppose -m = k - 3*k + 1, 3*k + 4*m = 29. Let h be (-10)/((-4)/k*21/14). Suppose -h = -x - 3. Solve -4*y + x = -18 for y.
5
Let f(a) = a**3 - 4*a**2 + 4*a. Let w be f(3). Let u be 1/16 + 396023/26512. Solve w*s = -2*s + u for s.
3
Let k(w) = -2*w + 4. Let n = 49 + -52. Let i be k(n). Suppose 0*t - i = -5*t. Solve -t*z = z for z.
0
Suppose 4*h - 45 = 15. Suppose 4*b - 55 + h = 0. Let n be (4/6)/((-36)/(-162)). Solve n*s + b = s for s.
-5
Let l(n) = -8*n**3 + 2*n + 2. Let b be l(-1). Suppose f = 5*s + 33, f + 4*s + 0*s = 24. Let p = f - 25. Solve r = b - p for r.
5
Let v = 23 + -21. Let t be 10/12*v*(10 + -13). Let o be (3/t)/(-5 - (-96)/20). Solve 8 = -o*j - 4 for j.
-4
Let t = 758 - 706. Suppose 3*l - t + 19 = 0. Solve -l*j = -9*j + 4 for j.
-2
Let h = -6812 + 6923. Solve -27*a + h = 10*a for a.
3
Let t = 10980 - 10964. Solve 0 = 10*w + 44 + t for w.
-6
Let z = 67 - 67. Suppose z = -w + 9*c - 14*c + 8, -4*c = 3*w - 13. Solve -4*n - w = 1 for n.
-1
Let b be ((-1)/1)/(90/2250). Let v(s) = s**3 + 24*s**2 - 25*s + 20. Let z be v(b). Solve -z = 5*p - 30 for p.
2
Suppose -p - 3 = -5*t - 15, -3*t = -p + 10. Solve -29*u + 66 = -p*u for u.
3
Suppose 0 = -975*k + 1000*k. Solve k = 4*g + 116 - 104 for g.
-3
Let q be 1/(10/8)*5/2. Suppose -3*x + 2*p + 19 = 89, 0 = q*x - 3*p + 45. Let j = x + 25. Solve -3*o + 2 = -j for o.
1
Let m be ((-30)/20)/(6/(-28)). Suppose -23 = -34*c + 113. Solve m*h + 15 = c*h for h.
-5
Let i(o) = o**2 + 159*o + 2662. Let j be i(-19). Solve 0 + j = -y for y.
-2
Let x = -2059 - -2066. Solve -x*c + 5*c = 2*c for c.
0
Let l be 388*(104/(-2912) + 2/7). Solve 474 = l*y + 86 for y.
4
Let r(m) = m**2 - 8*m - 52. Let s be r(14). Suppose -53*u = -45*u - s. Solve -u*v = 20 - 4 for v.
-4
Suppose -r - 3*n + 563 = n, -13*r - 4*n = -7511. Solve -3*x + 585 = r for x.
2
Let h(q) = -q**3 + 5*q**2 - 7*q + 11. Let b(i) = 2*i**2 + 15*i + 11. Let d be b(-7). Let g be h(d). Let r be g*((-10)/5 + -18). Solve 0 = -2*n - 2*n - r for n.
-5
Let s(t) = -t**3 + 2*t**2 + t. Let f = 66 + -64. Let a be s(f). Suppose -a*h + 2 = -0*h. Solve -5 = -2*k - h for k.
2
Let i(n) = -n**3 + 18*n**2 - 16*n - 15. Let d be i(17). Let p(v) = v**3 + 6*v**2 - 3*v + 5. Let h be p(-7). Let y = 23 + h. Solve y*s = d*s for s.
0
Let v(h) = h**3 + 7*h**2 - 7*h + 9. Let j = -491 + 483. Let s be v(j). Solve 10*o + s = -19 for o.
-2
Suppose 765 + 2337 = 66*h. Solve -45 = -h*o + 96 for o.
3
Suppose -104*h + 107*h = -2130. Let i = -700 - h. Solve -i*d + 24 + 6 = 0 for d.
3
Suppose 0 = 25*f - 31*f + 36. Suppose -3*p - f*t + 7*t = -6, p + 8 = -3*t. Solve -y + 0*y - p = 0 for y.
-1
Let g(r) = r**3 + r**2 - r - 1. Let w be g(-1). Let k = -39 + 24. Let n = 18 + k. Solve w = -2*j + n*j - 5 for j.
5
Let z = -145 - -141. Let l be (11 - (-2 - z))/(4 - 1). Solve 7*s - 4*s + l = 0 for s.
-1
Let k = -66 + 67. Let s(y) = 25*y - 21. Let n be s(k). Solve 0*t - 20 = -n*t for t.
5
Let r(y) = -7*y**3 - 30*y**2 - 41*y + 40. Let s be r(-6). Solve 0 = -16*a - s + 638 for a.
-5
Suppose -7 + 15 = -2*q - 3*a, 0 = -5*q + 3*a + 22. Suppose -c - 4*g = -4, q = -3*g + 5. Solve c*l + 12 = -3*l for l.
-4
Let d be (226/(-4))/((-5)/10). Suppose -121 = -p - d. Solve p*o - 8 = 4*o for o.
2
Suppose -16 = -m + 4*m - 5*s, 25 = 5*s. Suppose -3*x - 2*f + 8 + 20 = 0, 4*f = m*x + 2. Suppose x*c + 40 = 10*c. Solve 9*y = 4*y + c for y.
2
Let r(j) = j**3 - 8*j**2 + 19*j - 39. Let h be r(6). Suppose 0 = -5*l + k - 4*k + 17, 13 = 5*l + 2*k. Solve l + 8 = h*w for w.
3
Let q = -47 + 31. Let k be (-4)/q - (-355)/20. Solve 10 = 2*o + k for o.
-4
Let s = 110 - 107. Let i be 3 + 1 - -1 - s. Solve -4 = -i*g - 0 for g.
2
Let r(c) = 19*c**2 - 19*c + 24. Let d be r(1). Solve -p = 3*p + d for p.
-6
Let r(p) = -p**2 + 4*p + 43. Let w(f) = 10*f**3 - 2*f**2 - f + 1. Let c be w(1). Let v be r(c). Solve -v*i + 14*i + 6 = 0 for i.
-2
Suppose -2*j - 4 = -p, -20 = -507*p + 502*p - 5*j. Let l = -5 - -1. Let x = -2 - l. Solve -p*w + x*w - 10 = 0 for w.
-5
Let j(s) be the third derivative of 0 - 18*s**2 + 5/24*s**4 + 0*s - 1/120*s**6 + s**3 - 1/20*s**5. Let q be j(-4). Solve 2*w + 8 = -q*w for w.
-2
Let g = 208 + -113. Suppose -24*b + 241 = -g. Solve 0 = 15*j - b*j for j.
0
Suppose 0 = -37*c + 55453 + 27538. Solve -c + 2251 = -j for j.
-8
Let r be 104/(-13) - (-3 - 0). Let m be 5 + (0 - -1)*r. Solve m = 5*c - 1 + 1 for c.
0
Let m be (-6)/4*(-4)/3. Let w = -102201 - -102210. Solve -w*f + 7 = -m*f for f.
1
Let k(o) = o**3 + 3*o**2 - 8*o - 15. Let c be k(-3). Suppose -c*l + 7*l = -z + 3, -4*z = 3*l - 23. Solve -12*j + 7*j + z = 0 for j.
1
Let u be (132/594)/(2/18). Suppose -2*k = 2*o - 12, o - 22 = -4*o - k. Suppose o*s - 16 = u*a + 14, 3*s + 2*a = 5. Solve s*b = 6 + 9 for b.
3
Let q be 14/49 - 66750/(-350). Solve -34*a - q + 21 = 0 for a.
-5
Let b(r) = -r**2 - 19*r - 42. Let p(x) = x**2 + 18*x + 41. Let l(z) = -3*b(z) - 4*p(z). Let i be l(-7). Solve 5*d + d = i for d.
3
Suppose 4*c = -3*b + 2, 0 = b - 2*c - 15 + 1. Suppose 0 = -3*p + 4*m + 28, 3*m = -4*p + 10 - b. Solve -p = i - 9 for i.
5
Let l(n) = 4*n + 20. Let q(x) = -4*x - 10. Let v be q(-4). Suppose -3*o = -4*r - 35, 5*o - 21 + v = -2*r. Let g be l(r). Solve 5*j - j + 20 = g for j.
-5
Let v(x) be the second derivative of x**4/12 - 11*x**2/2 - 2*x + 461. Let i = 9 + -5. Let d be v(i). Solve -6 = -3*f + d*f for f.
-3
Let k be 39/8 - (-1)/8. Suppose -f = 1, k*q - 121 - 28 = -f. Solve 5*r - 25 = -q for r.
-1
Let j = 1717 + -1717. Solve j = 16*p - 6*p + 40 for p.
-4
Let k = -8 + 60. Suppose -k = -2*t + 78. Let w = t + -61. Solve -3*u - w = -u for u.
-2
Let w = -61 + 277. Suppose 0 = -3*f + w - 201. Solve -f*s + 6*s - 3 = 0 for s.
3
Suppose 5*m - 3*f - 42 = -9, 0 = -3*m - 3*f + 15. Solve 3 = m*w - 3*w for w.
1
Let o(p) = 6*p**2 - 80*p - 473. Let g be o(18). Solve 0 = -26*c + g*c + 30 for c.
-6
Suppose 3*r - 3*k - 24 = 0, -11*k + 6*k + 20 = 0. Solve -3*l = -3 + r for l.
-3
Let n = 280 - 275. Suppose n*w - w - 9 = -5*d, -2*w = 8. Solve -7 = d*s - 32 for s.
5
Suppose 0*f - 7*f = 154. Let y be 12/10 + f/110. Let w be y + -5 + (-77)/(-11). Solve -w*p = -0*p - 6 for p.
2
Let c(r) = r**3 - 6*r**2 + 5*r - 5. Let m be c(7). Let b = m + -75. Solve -b = -3*y + 8 for y.
4
Let q(b) = 2*b**3 + 157*b**2 - 241*b + 37. Let s be q(-80). Solve -8*d + 77 = s for d.
-5
Let o = -5912 - -5918. Solve o*s + 4 = 10 for s.
1
Let t be (-5)/(-40)*-4 - (-279)/18. Solve -7 - t = -22*k for k.
1
Let g be -8 + (7 + -6 - -7). Suppose 82*m - 84*m = g. Solve m = 8*a - 9*a - 5 for a.
-5
Let f be (-402)/(-15) + (-8)/(-40). Solve 27*m = 54*m + f for m.
-1
Let a(x) = 5 + 2*x**2 - 4 - 1 - x. Let q be a(-1). Suppose 0 = -2*m + q*m + 2, 16 = z - 5*m. Solve -u - z + 2 = 0 for u.
-4
Let g(l) = 15 - 7 + 1 - l**2 + 2*l**2 - 19*l. Let h be g(18). Let f be ((-3)/(-9))/(h/(-81)). Solve f*d = -d for d.
0
Let i = -3 + 6. Suppose i*o - o - 6 = 0. Let t be (16 - (21 - (19 + -8))) + (-1)/1. Solve -o*n + t = 14 for n.
-3
Let r(j) = j**2 - 7*j - 2. Let m be r(7). Let s be (-8)/(-5) + m/(-5). Let p be (s - -5)*18/63. Solve 0 = -3*c - p*c - 10 for c.
-2
Let w(m) = -7 + 6*m + 5*m**3 + 55*m**2 + 0*m**3 - 6*m**3 - 50*m**2. Let t be w(5). Let r = 23 - t. Solve c = -r*c for c.
0
Let i = -4 + 13. Suppose 0 = v - 3 + i. Let y be 3/9 + 2/v. Solve -4*t = -y*t - 16 for t.
4
Let m(c) = 2*c**2 - 18*c + 19. Let l(o) = -o**2 + 5*o + 8. Let v be l(5). Let u be m(v). Solve q - u*q = 8 for q.
-4
Let d be (6/(-10) - 0)*-10. Let x(b) = b**3 - 6*b**2 + b - 3. Let w be x(d). Suppose -118 + 310 = 96*o. Solve 0 = o*y + w*y + 5 for y.
-1
Suppose 3*d + 5*a - 5 = 0, 86*a - 82*a = 5*d - 70. Solve -d = 24*n - 14*n for n.
