
Let l be (-2)/(-5) + 591/(-15). Let v = l + 42. Solve -v*i = -2*i - 4 for i.
4
Let i(c) = c**3 - 6*c**2 - c. Let s be i(6). Let d(o) = o**3 + 5*o**2 + 6*o + 6. Let h be d(-4). Let g = h - s. Solve 4*m + g + 4 = 0 for m.
-2
Let w be (-561)/(-77) - (-4)/(-14). Let h = w - 7. Solve -3*y + h*y - 9 = 0 for y.
-3
Suppose -41 + 116 = -5*s. Let n be s/25 - 17/5. Let h be (n - 0)/(-12)*3. Solve -h + 6 = g for g.
5
Let a(g) = -g**3 + 2*g. Let h be a(-2). Suppose h*j = 3*j + 3. Suppose -w + j*w - 4*i = 20, -16 = -4*w + 2*i. Solve -w*q - 3 = q for q.
-1
Let w(f) = 2*f + 4*f**3 + f + 4*f**2 - 6 - 7*f - 3*f**3. Let r be w(-4). Suppose -2*o - o + 2*j = -r, -5*o + 2*j = -14. Solve -2*n = o*n + 12 for n.
-3
Let z(t) be the second derivative of -t**5/20 + t**3/6 + 2*t**2 - 13*t. Let u be z(0). Solve 2*o = 3*o + u for o.
-4
Let p be -95*-2*5*18/60. Solve 280*l = p*l - 25 for l.
5
Let h = 12 - 10. Let s be h*4/(-8)*6. Let l be (-4)/s + 2/(-3). Solve 3*p + 0*p = l for p.
0
Let a = 121 - 32. Let f = a - 85. Solve -f*x - 2 = -14 for x.
3
Let n be 5 - ((-2 - 3) + 4). Suppose -n*t - 30 = -8*t. Solve 0 = x + 4*x + t for x.
-3
Suppose -4*t + k = 3*k - 26, 29 = 4*t + 3*k. Let h(i) = i**3 - 5*i**2 + i - 4. Let x be h(t). Suppose 0 = 2*n - o - 7, n + o - x = 1. Solve n*w = 2*w - 5 for w.
-5
Let m be ((-15)/20)/((-9)/24). Suppose 3*x + w - 47 = 0, 2*x - 34 + 1 = w. Solve -x = -6*g + m*g for g.
4
Let i = 229 + -219. Solve 7*f - 2*f = i for f.
2
Suppose -374*x = -369*x - 25. Solve x*t - 31 = -6 for t.
5
Let w(p) = -p**3 + 3*p**2 - p - 3. Let l be w(3). Let r be ((-5)/15)/(2/l). Solve 17 = 4*y + r for y.
4
Let p(b) = -14*b**2 - 55*b + 7. Let w be p(-4). Solve w*n - 33 + 18 = 0 for n.
5
Let f be 4/18 - (-5723)/531. Suppose i - x - 8 = -1, -13 = -2*i + x. Let d(j) = j**3 - 5*j**2 - 6*j + 5. Let n be d(i). Solve -9 = -n*r + f for r.
4
Let k(i) = 2*i - 8. Let q be k(5). Let v(a) = -a**3 + a**2 - a + 3. Let s be v(0). Solve -q*l = -3*l + s for l.
3
Suppose 2*d - 2 = 6*i - 5*i, 2*d - 12 = -4*i. Solve 3*k = d - 17 for k.
-5
Let x be (4/(-2) - -2) + 4. Let t = 517 - 517. Solve 0 = -w - t + x for w.
4
Let a(o) = -13*o + 149. Let c be a(10). Solve 9*h - 26 = c for h.
5
Let c = -9 + 11. Let x(r) = r**3 - 2*r**2 + 2*r - 3. Let a be x(c). Suppose -5*w = n - 10, 7 - a = 3*w + 3*n. Solve 0 = -0*s - 2*s - w for s.
-1
Suppose -19 + 3 = -4*p. Let l(h) = h**2 - 23*h - 24. Let g be l(-1). Suppose -p*s + 0*s = g. Solve w = -s*w - 4 for w.
-4
Suppose 0 = -23*c + 105 - 105. Solve -26*t + 19*t - 14 = c for t.
-2
Let r be 40/(10 - 18)*(1 - 0). Let k(a) = 11*a + 57. Let f be k(r). Solve -11 = f*i - 7 for i.
-2
Suppose 5*c + 38 = 83. Let h be -3*(c + -10 + 0 + -1). Solve 3*d - d = -h for d.
-3
Suppose 0 = 2*z + 43 - 59. Solve z - 13 = 5*w for w.
-1
Let t = 2 - 2. Let h = -312 - -308. Let m = t - h. Solve m = -5*d - 16 for d.
-4
Let t = -333 - -339. Solve 3*r + 12 = t*r for r.
4
Let m be (6/16)/(132/3168). Solve -43*g = -m*g + 68 for g.
-2
Let x be (-2 + 10)*2/4. Suppose 5*p = -3*k + 2*p, 0 = -4*k - p + 9. Solve 2*y = k*y - x for y.
4
Suppose -g + 2*g = 0. Let z be -15*((-2)/6 + g). Suppose z*x - 7 = -m, 5*m - 4*x + 0*x = 6. Solve -m*s + 7*s - 15 = 0 for s.
3
Suppose h = 3*m - 3, 4*h = h - 3*m + 15. Solve -h*c - 2*c = -10 for c.
2
Suppose -26 - 92 = -5*g + 2*v, 0 = -5*v + 5. Solve 7*n + g = n for n.
-4
Suppose -4*o = -q - 8 - 3, 4*o = -q + 21. Let a be (-1846)/65 - (1 - (-14)/(-10)). Let v be (16/a)/((-4)/14). Solve v = o*j - 6 for j.
2
Let t(a) = 6*a**2 + 84*a - 90. Let x be t(-15). Let k be -3 + 6 + -1 + -1. Let b = k - 1. Solve b = 2*j - x*j for j.
0
Suppose 5*y = 12*y - 21. Solve -2*z + y + 1 = 0 for z.
2
Let t be (-3)/(-9) - (-2 - 3/(-9)). Let y be (t/6*3)/((-3)/(-6)). Solve 6 = y*n - 2 for n.
4
Let w(a) = -a**2 - 2*a - 1. Let r be w(-1). Suppose 2*v + 8 = 4*v. Solve v*i - i = r for i.
0
Let b = -5 - -3. Let x be 12/(b + (-33)/(-12)). Solve -3*l - l + x = 0 for l.
4
Let o(v) = 6 + 0 + 4 - v - 2. Let g be o(0). Let d be (-5)/(20/g) - -27. Solve 0*k + d = -5*k for k.
-5
Suppose -5*k + w = -51, 0*w = k + w - 9. Let p(u) = 5*u**2 - u. Let i be p(1). Solve i*v = 2*v + k for v.
5
Suppose -3*o = -8*o + 70. Suppose 5*b - 50 = 3*c, -2*c + 3*c + 5*b = 10. Let x be (-6)/c - o/(-10). Solve 20 = -x*w - 2*w for w.
-5
Let h(v) = 74*v - 1284. Let b be h(18). Solve 0 = -25*g + 13*g + b for g.
4
Suppose 5*v = -s + 23, 2*v - 4*s + 8 - 4 = 0. Solve v = -x + 5 for x.
1
Let c = 22 - 20. Let d(k) = -k**2 + 6*k - 3. Let w be d(c). Solve w*x = x + 4 for x.
1
Let y(i) = i**2 - 6*i + 15. Let x be y(6). Solve -x = -4*h - h for h.
3
Suppose -6*q = -q + r, -5*q + 15 = -2*r. Let x(z) = z**2 + 6*z - 11. Let g be x(-8). Solve -i + g = q for i.
4
Suppose y - 9*y + 256 = 0. Solve y = -5*u + 12 for u.
-4
Suppose 3 = 2*r - 1, -5*n - 2*r = -134. Let x = n - 12. Suppose 3*m + b = 2, x = -5*m + 4*b + 6. Solve m*c = -4*c + 4 for c.
1
Let p be (2/6)/(2/30). Solve p*v - v = -8 for v.
-2
Let f(t) = -2*t**3 - 3*t**2 - t + 31. Let r(w) = -w**3 - 2*w**2 + 15. Let v(k) = 3*f(k) - 7*r(k). Let g be v(-5). Solve 4 = -g*u - 5 for u.
-3
Let p(n) = -12*n - 9. Let k(j) = 25*j + 17. Let t(b) = 4*k(b) + 9*p(b). Let v be t(-2). Solve 0*g - 15 = v*g for g.
-5
Let n(f) = f**2 - 7*f + 4. Let l(k) = k**2 + 2*k - 1. Let r be l(2). Let x be n(r). Suppose 21 = x*t + 5. Solve 0*w - t = -w for w.
4
Suppose -a + 5*m + 5 = 0, 0*a + 2*m - 40 = -a. Suppose -5 = -7*k + a. Solve 4*x - 3 = k for x.
2
Suppose -3*s - 5*p + 31 = 0, p + p = 5*s. Suppose 1 = -2*j + s*q + 13, 0 = j + 2*q + 6. Solve j*d = -d + 3 for d.
1
Suppose 2*n - 6 = -5*w + w, 0 = n + w - 5. Solve -n*t + 67 = 60 for t.
1
Suppose -4*i + 2*l - 6 = 4*l, 2*i + 5*l = -15. Suppose 18*y = 16*y + 4. Solve i*m - y*m = 10 for m.
-5
Let m = -32 - -56. Suppose 12*d = 9*d + m. Suppose -6*v = -d*v. Solve v = -5*x - 1 - 4 for x.
-1
Suppose u + 121 - 12 = 0. Let h = -109 - u. Solve h = 5*r + 25 for r.
-5
Let d(c) = 3*c**3 - 7*c**2 + 2*c - 3. Let h be d(3). Solve 4 = 5*j - h for j.
5
Let y be 6/21 + 54/7. Let f be (-1)/3 - y/(-24). Solve -3*u - u - 4 = f for u.
-1
Let b(y) = -y**3 - 14*y**2 - y + 18. Let c be b(-14). Let z be 12/c*-2*4. Let q be -4 - (-4 - (z + 3)). Solve q*t - 6 = 2*t for t.
-3
Suppose -4*f + 12 = -3*f. Let k(j) = 2*j - 24. Let r be k(f). Solve r = 4*p + 5 + 7 for p.
-3
Let o(j) = -j**3 - 12*j**2 - j - 9. Let h be o(-12). Suppose 0*g + 2*g - 8 = 0. Let t(a) = -a**2 + 7*a - 6. Let b be t(g). Solve -h*w + 9 = -b for w.
5
Let r(n) = -15*n**3 + 3*n - 1. Let f be r(-1). Solve -f*u + 15*u - 4 = 0 for u.
1
Let v(n) = 10*n - 95. Let s be v(11). Solve 6*b - s = 3*b for b.
5
Let w(l) = 19*l + 115. Let j be w(-6). Solve -b + j = -1 for b.
2
Let d(v) = v**2 + 5*v - 4. Let l be d(-6). Suppose 4*q + 0*o = -3*o + 55, -2*q + l*o + 10 = 0. Solve q = 4*m + 30 for m.
-5
Let a = -9 - -7. Let u = a + 3. Solve 3 = -q - u for q.
-4
Suppose 2*v + 3 = 2*i + 29, 2*v = 3*i + 36. Suppose -3*n - 2*m - 13 = -2*n, 0 = -5*n - 5*m - 45. Let l = n - i. Solve l*u + 2 + 8 = 0 for u.
-2
Let w = 48 - 31. Let t = w + -13. Suppose 5*i + 5*r - 55 = 0, 0 = 4*i - 3*i + t*r - 14. Solve -i = -5*c - 0*c for c.
2
Suppose 5*c + 1034 = 52*c. Solve 32 = -6*r + c*r for r.
2
Let r = 207 + -186. Suppose 0 = 3*j - 91 + 19. Let q = j - r. Solve 5*s - q = 2 for s.
1
Let m(x) = -x + 1. Let y(h) = -2*h - 7. Let p(a) = -6*m(a) - y(a). Let b be p(1). Solve -2*f - f = b for f.
-3
Suppose 19*j = -4*i + 18*j, -i = -3*j. Suppose -20 = -z + 3*f, 5*z + 2*f - 8 - 7 = 0. Let d = 9 - z. Solve 3*a + d + 5 = i for a.
-3
Let p = 123 + -118. Suppose -3*n + n - 16 = p*t, 0 = -3*n - 3*t - 6. Solve 2*m = n + 4 for m.
3
Suppose -9*t = -13*t + 80. Suppose 4*a - 12 = 4*o + t, -5*a = -2*o - 37. Solve -3*y + 16 = -a*y for y.
-4
Suppose 0 = 161*k - 158*k. Solve 64*o - 63*o - 2 = k for o.
2
Let c = -2 + 2. Suppose c*d - 5*s - 74 = 3*d, -d - 38 = 5*s. Let y = -18 - d. Solve y = l - 5*l - 4 for l.
-1
Suppose q + u = -4*u + 35, -173 = -3*q + 2*u. Solve 5*i = 45 - q for i.
-2
Let j be (-8)/8 + 6 - -22. Solve 2*u = -7*u + j for u.
3
Let b(k) = 5*k**3 - 85*k**2 - k + 18. Let f be b(17). Solve 7*z + 29 - f = 0 for z.
-4
Let s be 3 - (-1 + 6/3). Suppose 2*n + 3*t = -0*t + 2, -s*n + t + 2 = 0. Suppose -3*r + 31 = 2*w, -3*r + w = -3*w - n. Solve o + 6 = r for o.
1
Let y be -2 - (-4 + 1) - -3