
Let t(a) = 2*a**3 + 15*a**2 - 9*a - 3. Let h be t(-8). Let n be (8/(-10))/(6/(-15)). Suppose u = -h*r + 23, -n*r = 3*r - 2*u - 29. Solve r*k = -0*k for k.
0
Suppose -4*u + d = 6*d + 426, -3*d + 333 = -3*u. Let r = u - -115. Solve -3*z + 3 = -r*z for z.
-1
Let o(m) = -m**3 - 18*m**2 + 5*m + 26. Let j(v) = -v**3 - 19*v**2 + 4*v + 25. Let y(p) = -4*j(p) + 3*o(p). Let b be y(-22). Solve b = -3*d - 3 for d.
-1
Let p(r) = 2*r**3 - 2*r + 11*r**2 - 2 + 3*r - 8*r. Let a be p(-6). Solve 0*m + a = m for m.
4
Let b = 3 + 2. Suppose 0 = 2*d + 5*t - 21, -b*d + 12 = -0*t - t. Let p(m) = m + 5. Let w be p(0). Solve -2*k = d*k + w for k.
-1
Let o(f) be the first derivative of -f**4/4 + 7*f**3/3 + 7*f**2/2 - 47*f - 31. Let l be o(7). Solve -s = -l*s + 1 for s.
1
Suppose -12*j + 14*j = 4. Suppose -18 = j*h + 12. Let k be h*((-6)/9)/2. Solve z = k*z + 16 for z.
-4
Let p be ((-1 + -1)/(-2))/((-3)/36). Let i be (-14)/(-3) - (-8)/p. Solve -1 - 7 = -i*a for a.
2
Let s = -920 + 924. Solve 10*d + 30 = s*d for d.
-5
Let o(c) = c**2 + 25*c - 22. Let h be o(-27). Suppose -12 + h = p. Solve 4*z + 0 = p for z.
5
Let j(a) = -17*a - 818. Let i be j(-49). Solve 0 = i*n + 63 + 12 for n.
-5
Let g(a) = -a**2 - 5*a + 5. Let q be g(-6). Let x be (2 - (q - -3)) + 0. Solve -2*b + 8 = -x*b for b.
4
Let l(q) = q**3 + 8*q**2 + 6*q - 5. Let p be l(-7). Solve -12*c + 20 = -p*c for c.
2
Let o be ((-920)/50)/(2/(-5)). Let m be (4 + o/(-10))*-5. Suppose 0*y - 2*y + 8 = 0. Solve -m*n + y = n for n.
1
Suppose -9 = -3*x + 2*h, 2*x - 2*h - 4 = 2. Let i = x + -4. Let v be (-1)/(i + -1)*30. Solve 2*z - 7*z = -v for z.
3
Suppose a + 2*t - 10 = 0, -2*a - 12 = 2*a - 5*t. Suppose r - a*h - 11 = -0*r, 0 = -r - 2*h - 9. Solve b + 0*b - r = 0 for b.
1
Let z = 3012 - 2978. Solve -7*u = 10*u + z for u.
-2
Let w = -1186 + 1207. Solve 6*o + w = 27*o for o.
1
Let k = 53 - 48. Suppose -7*r - 44 = -4*o - 3*r, -4*r - 50 = -k*o. Solve o = -0*s - 3*s for s.
-2
Suppose -3*q + 4*t - 134 = 0, 3*q + 5*t + 116 = -0*t. Let r = -39 - q. Let x(z) = -z**2 + 2*z + 1. Let a be x(2). Solve -4*s + r = -a for s.
1
Suppose -3*v = -3*s + 17 + 4, 0 = 2*s - 5*v - 20. Suppose 16 - 36 = -s*x. Solve -p - 20 = x*p for p.
-4
Suppose -d - 2*m = -12 + 8, 0 = 2*d - 2*m + 4. Solve -3*o + 2 - 17 = d for o.
-5
Let g = -3 + 7. Suppose 0 = 8*y - 5*y - 3. Let i be 2 + (1 + y - 2). Solve 3*k - i*k + g = 0 for k.
-4
Suppose 0*h - 5*t = 2*h - 31, 2*h = 2*t - 4. Suppose -3*l - h*p = 3, l + 0*p + 5*p - 11 = 0. Let n(v) = v**2 + v - 6. Let c be n(l). Solve -i = i + c for i.
-3
Let u be (-108)/14 - (-24)/(-84). Let o(c) = -c - 2. Let s be o(u). Let k = 26 - 24. Solve k*x = -0*x + s for x.
3
Let n(l) = -10*l - 90. Let z be n(-9). Solve z = -7*h + 4*h for h.
0
Let p(d) = d**3 + 10*d**2 + 2*d + 22. Let v be p(-10). Solve -9*u + v = 47 for u.
-5
Let q be (1 - 0)/(1/(-24)). Let a = 44 + -77. Let f = q - a. Solve 4*v - f = v for v.
3
Let o(w) = -w**2 - 7*w + 3. Let i be o(-7). Let x be 4/26*-1 - (-106)/13. Solve 0 = i*m + m - x for m.
2
Let r = 36 + -59. Let t = 35 + r. Let l = -12 + t. Solve l = 3*f + 2*f - 10 for f.
2
Let m(r) = r**3 - 7*r**2 + 14*r - 45. Suppose -12 = 8*c - 10*c. Let z be m(c). Solve -z + 18 = -3*t for t.
-5
Suppose 4*z - 3*r = -1, r - 14 = -4*z - r. Let o = -90 + 131. Suppose -38*l = -o*l + 9. Solve 0 = -z*f - l*f for f.
0
Suppose -4*g + 11*l - 5 = 6*l, 5*l = 3*g + 5. Suppose u - 4*u + 42 = g. Let k = -12 + u. Solve 3*f - k = -14 for f.
-4
Let b(g) = -7*g - 62. Let k be b(-10). Solve 8*n - 12*n = -k for n.
2
Let z = 7 - 5. Solve z = w - 2*w for w.
-2
Suppose -q + 8 = 3*q + 3*j, -3*q - j = -6. Let x be (-16)/(-3)*3/2. Suppose 2 = q*h - x. Solve h*v = 7 + 13 for v.
4
Suppose 25*c = 7*c + 486. Solve 9*u - c = -0*u for u.
3
Let z = 1 + 2. Suppose 6*g = z*g + 9. Suppose -3*o + g*f + 6 = 0, 5*f - 13 - 2 = 0. Solve 2*c - o = -1 for c.
2
Suppose 23*i - 222 = -14*i. Solve -7 = i*t + t for t.
-1
Let h = 8 - 8. Suppose h*l - 2*l - 50 = -2*g, 3*g + 4*l = 40. Solve 6*z - 2*z - g = 0 for z.
5
Suppose -48*v - 9*v = -399. Solve v*q - 5*q = 4 for q.
2
Suppose 3*z - 33 = 2*y, 2*y - 4*y - 11 = -z. Let b = 25 - z. Suppose 13*t + 11 = 10*t + 4*j, -2*t + 5*j - 19 = 0. Solve t*h = -1 - b for h.
-5
Let i be (-1)/(-3) - 364/39. Let w be 2/i - 87/(-27). Suppose 10 = w*n - 5. Solve -n = -3*c - 2 for c.
1
Suppose -2*f - 2*t = -24, 2*t = 3*t. Let b(s) = -s**3 + 10*s**2 + 23*s + 14. Let u be b(f). Solve 0*l - u = l for l.
-2
Suppose 0*z - 100 = -4*z - 2*q, -5*z = 5*q - 130. Let j = 1237 + -1231. Suppose j*b + z = 114. Solve 4*a - a - b = 0 for a.
5
Let r be 29/2 - (195/10 + -19). Solve -10*s + 8 = -r*s for s.
-2
Let a = -1086 - -1115. Solve a*w = 28*w - 2 for w.
-2
Suppose -4 = -8*w - 4. Solve w = -f + 5*f + 4 for f.
-1
Let t be (-120)/(-55) - 1/((-33)/(-6)). Solve t*p + p + 0*p = 0 for p.
0
Let u be (-4)/1 - (-1458)/81. Let z be 2/(-3) - (-14)/3. Solve z*w - u + 2 = 0 for w.
3
Suppose 2*l = 3*m - 4, 4*m = -m - 3*l + 13. Suppose -2 = -m*o + o. Let q(y) = -y**2 + 2*y + 2. Let h be q(o). Solve -w + h*w = 3 for w.
3
Let p be (279/(-155))/(9/(-30)). Solve -7 = -p*z + 23 for z.
5
Let u = -84 - -94. Solve -g + u = g for g.
5
Suppose g - 31 = -4*u, 2*g - 46 = -2*u - 14. Suppose 0 = -10*i + g + 39. Let k be 1/(2 - 3/2). Solve i - 1 = -k*l for l.
-2
Suppose 2*u = 4*w - 16, -3*u - 4*w + 5 = -11. Solve -3*h + 6*h + 15 = u for h.
-5
Let d(q) = -q**3 + q**2 + 7*q + 6. Let t be d(4). Let c be 2/(-4)*(t - (-4 + 0)). Solve 0 = -3*l - 2*l + c for l.
1
Let n = -253 - -258. Solve -1 = -2*r - n for r.
-2
Suppose -2*t = t - 6. Let c = -5 - 1. Let x be 2/(-4)*(c - t). Solve x*l = -l for l.
0
Let f be -24*(-1 - (-3)/12). Solve -f = -19*n - 94 for n.
-4
Let s be 2/8 - 228/(-48). Suppose s*m = 6*m. Solve m*j = -j for j.
0
Let b(u) = -3*u**3 + 5*u + 1. Let l be b(-2). Let c = -12 + l. Solve -3*k - c = -6*k for k.
1
Let p be 4/(-10) - (-17)/5. Let s be -4*3/p*-1. Let h = -18 + 22. Solve -h*g + 0 = -s for g.
1
Let d be (-4)/1 - ((-66)/11 + 0). Solve d*a - 22 = -16 for a.
3
Suppose 1 = 3*g - 14. Suppose -22 = -g*z - w - 0*w, 4*z = -w + 17. Solve m - z = 6*m for m.
-1
Let u(w) = w + 6. Let p be u(-4). Let t = 7 - 4. Suppose 3*j + 5*k = 40, -4 = 2*j - t*j - 4*k. Solve -j = 3*x + p*x for x.
-4
Suppose 0 = 2*t - 6, 0 = -4*b + 75*t - 78*t + 153. Solve 4*h + b = 36 for h.
0
Let m(l) = -l**2 - 6*l. Let s be m(-7). Let y(b) = -3*b - 9. Let f be y(s). Solve -r = -5*r - f for r.
-3
Suppose 1463 - 1507 = -u. Solve -6*y = 5*y - u for y.
4
Suppose -8*x - 26 + 130 = 0. Suppose 10*v + 6 = x*v. Solve -3*o = -o - v for o.
1
Let g = 94 - 90. Let s be (g - 11/2)/(4/(-8)). Solve 2*q + 5 = s*q for q.
5
Let p(u) = -3*u - 1. Let a be p(-3). Suppose 0*l + a = 2*l. Solve -2*o - 8 = -l*o for o.
4
Let x be (-1 - -3)/((-6)/(-12)). Let d(t) = -t - 4. Let z be d(-8). Suppose -3*n - 27 = -3*v - 8*n, -28 = -z*v - x*n. Solve -10 - 6 = -v*m for m.
4
Let o = -83 + 123. Suppose f = 3*f - o. Let a(b) = b + 3. Let q be a(-3). Solve q = -m - 3*m + f for m.
5
Suppose -94*j = -95*j + 40. Solve -3*g = -13*g + j for g.
4
Let b(r) = -12 + 0*r + 2*r + 2 - r**3 + 0*r + 7*r**2. Let m be (-7*1)/(-7 - -6). Let k be b(m). Solve -1 = -k*c + 3 for c.
1
Let h(t) = 2*t**3 - 2*t**2 - 3*t - 3. Let w be h(3). Let q be -1 + 3 - (-5 + (-2)/(-1)). Suppose q*a = 11 + w. Solve -4*i + a*i = -6 for i.
-2
Let j(s) = 6*s - 2. Let p be j(3). Solve -p = 3*x - 7 for x.
-3
Let d(x) = -9 - 2*x**3 + 3*x**3 - 10*x**2 - 2*x**3 + 6*x + 4*x. Let y be d(-11). Suppose 0 = -86*w + 96*w. Solve n - 2*n + y = w for n.
2
Let z = -88 + 101. Suppose -7*i + z = -2*i - p, 5*i + p - 7 = 0. Solve 0 = i*k + 2*k for k.
0
Suppose -h + 2 = -0*h. Let b(l) = l + 14. Let f be b(-12). Let u be ((-40)/12)/(f/(-6)). Solve -3*t + u = h*t for t.
2
Let a be (2 + 0 + 2)*102/136. Solve 7*l + a*l = 30 for l.
3
Suppose -4*v - 8 = -16. Solve -7*d - 10 = -v*d for d.
-2
Suppose -3*f = -4 - 17. Suppose -5 - f = -3*r. Solve 0*m = -m - r for m.
-4
Suppose -279 - 127 = -58*q. Solve -q*y + 8*y = 3 for y.
3
Suppose 2*g - 3*f = 0, 5*g - 4*f - 5 = 2. Suppose -7*j - 56 = -g*j. Let d = 16 + j. Solve 0 = -y + d + 2 for y.
4
Let m(w) = w**2 + w - 28. Let z be m(7). Suppose -22*c = -z*c + 30. Solve 5*a + c = -0 for a.
-1
Let m(y) = 3*y**2 - 5*y - 24. Let d be m(4). Solve -d*i - 20 = 6*i for i.
-2
Suppose 0 = 