
Suppose 6*c - 3*c + 2*u = 9, 0 = 5*c + 5*u - 15. Let m(a) = -20*a**2 - c + 31*a**2 + 2. Let h be m(1). Solve h = -y - y for y.
-5
Let p(k) = k**2 + 9*k - 28. Let z be p(3). Solve -13*a + 9*a = z for a.
-2
Let u(l) = -l**3 + 2*l**2 + 6*l - 3. Let x be u(4). Let z = x - -15. Suppose z*g - 16 = -4. Solve -4*o + g*o = -3 for o.
3
Suppose 58*g - 53*g - 35 = 0. Solve -2*t = 1 - g for t.
3
Suppose -k = -2 - 3. Suppose -4*m + 3*m - 3*b = -7, k*b = 15. Let c = m - -4. Solve 5*t - c*t + 12 = 0 for t.
-4
Let i be 9/12*2*2. Suppose h + 1 = a, -4*h - 7*a + 28 = -i*a. Solve 4 + 2 = -h*j for j.
-2
Let p be 9*-2*(4 + 36/(-8)). Solve -4 = -p*f + 8*f for f.
4
Let p = 61 + -50. Let r be ((-6)/4)/(p/(-22)). Solve -r*x + x = 6 for x.
-3
Let i = -2852 + 2864. Solve 0 = i*b - 46 - 14 for b.
5
Let n = 637 + -635. Solve -u = 3 - n for u.
-1
Suppose 3*l - 30 + 6 = 0. Suppose 59 = -7*c + 73. Solve 0*d = c*d - l for d.
4
Suppose 5*t = 2*r - 107, -43 = 3*t - 5*r + 25. Suppose 4*s - 4 - 4 = 0. Let c be 7/(t/(-6)) + s. Solve 0 = -4*j - 0 + c for j.
1
Let n(v) = v - 9. Let w be n(5). Let s be (10/w)/(1/2). Let h be 3 + 0 + -6 - s. Solve 5 = d + h for d.
3
Let d(y) = -2*y**2 - 9*y - 2. Let a be d(-4). Suppose -q + 5*p = -2*q - 6, -5*q = -a*p - 24. Solve q*m = -0 + 4 for m.
1
Let f be 8/(-20) + (-16)/10 + -1. Let i be -2 - (f - 2 - -1). Solve i*j = -3*j - 15 for j.
-3
Let h = 6 + 6. Let c(x) = -x + 5 + 4 - h - 3. Let w be c(-6). Solve -2*m + m + 4 = w for m.
4
Let a(o) = 2*o + 1. Let n be a(5). Solve 0 = v + 15 - n for v.
-4
Let r be 3*28/(-8)*(-28)/21. Solve 41 = r*j + 111 for j.
-5
Let n be 22 + 1*4/2. Suppose 0 = -4*p + 8*p - n. Solve -y = y - p for y.
3
Suppose 0 = 4*m + 8 - 28. Suppose -5*d = -l - 57, m*d - 5*l + 10*l - 75 = 0. Solve 7*s - 3*s - d = 0 for s.
3
Let y be (-19 + (-2046)/(-110))/((-4)/50). Solve y*r + 3 = -12 for r.
-3
Let f(s) = -44*s**2 - 8*s + 0 + 11 + 46*s**2. Let m be f(3). Solve m*j + 1 = 6 for j.
1
Let z be 3*(-1 + 15/9). Suppose 0 = -z*k - 2*k + 8. Suppose -k*d = 3*q, 2*d + 2*q = 4*d. Solve d*o = -2*o - 4 for o.
-2
Suppose -4*f = -2 - 6. Suppose -3*g + f*g + 2 = 0. Solve r - g = -3 for r.
-1
Let p(t) = -2*t - 18. Suppose -r - 2*r = c + 30, -r + 2*c = 3. Let i be p(r). Solve 2*y + 2 = -i*y for y.
-1
Let r = -170 + 176. Solve -11*d = -r*d for d.
0
Let k = -69 + 73. Let a be k/7*(0 + 21/6). Let n(c) = c**3 + c**2. Let q be n(0). Solve a*t = -2 - q for t.
-1
Let f(l) = l + 28. Let r be f(-23). Solve -r = 3*j - 2 for j.
-1
Let c be (-6 + (46/(-3))/(-2))*9. Solve -c = 15*y - 20*y for y.
3
Suppose 0*l + 2 = l. Suppose 4*h - 28 = 3*t, -4*h - l*t + 3 = -5. Solve 0 = -h*q + 3*q for q.
0
Suppose -14*h + 9*h = 20. Let y be (-284)/(-14) + h/14. Solve -5*z = -z - y for z.
5
Let m = 13 + 8. Suppose 4*w - 2*w = -4*j + 14, -4*w - j + m = 0. Solve 2*a + 3 = -w for a.
-4
Suppose -r + 1 + 29 = 2*k, -3*r + 30 = 2*k. Solve -l - 10 = -k for l.
5
Let v = -144 - -161. Suppose 5*c = 2*w + 48, 2*c - v = -0*w + 3*w. Solve -4*f + c = f for f.
2
Let a = 29 - 27. Suppose 0 = -4*n - 8, -3*o - 3*n - 10 = a*n. Let l(r) = r + 21. Let q be l(o). Solve 3*h = -q + 9 for h.
-4
Let k = 233 - 233. Solve k = -3*s + 6 for s.
2
Let z be (-6)/(-4) - (-35)/14. Suppose -v - v + 12 = -2*i, 0 = -z*i - 16. Solve -4*j - 2 = v for j.
-1
Let w(s) = s - 4. Let j be w(6). Suppose 0 = -j*c - 6. Let t = c - -5. Solve -t*b = b - 12 for b.
4
Let r = -1118 + 1130. Solve -r = 7*j - 19 for j.
1
Let l be (-8 - -2)*(-3)/6. Solve -3*o = l - 6 for o.
1
Let v(c) = -8*c**3. Let j be v(-1). Solve 12*b = 14*b + j for b.
-4
Let h = 13 + 8. Suppose 0 = -2*i + 2*j + 12, 0 = -5*i + 2*i + 2*j + h. Suppose c + i = 4*c. Solve -2 = u + c for u.
-5
Suppose 4*n - 44 = 4*u - 4, 2*n = u + 13. Suppose -4*a + 23 = -5. Let c = a + u. Solve -b = -c*b for b.
0
Suppose 0 = 5*x - 172 - 163. Suppose -x*p = -65*p - 8. Solve -p*b = -6*b - 4 for b.
-2
Let y(k) = 3*k**2 + 49*k + 95. Let d be y(-2). Solve 7 + 2 = -d*q for q.
-1
Let w be (9/(-2))/(14/(-4) - -2). Solve w*i = -3*i + 18 for i.
3
Let t(x) = -x**2 + 2*x - 1. Let f be -2 + 5 - (2 + 0). Let q be t(f). Solve q = 5*b - 4 - 16 for b.
4
Let d(z) = z**2 - 10*z + 15. Let f be d(10). Solve 7*b = 2*b + f for b.
3
Let h be ((-20)/12 + 1)*-9. Let y = h - 1. Suppose -n = -y*n. Solve -k - 5 = -n*k for k.
-5
Let f(y) be the second derivative of -y**5/20 + y**4/2 + 4*y**2 - 10*y. Let l be f(6). Let s(n) = -n**2 - 7*n - 3. Let a be s(-6). Solve a*r + 25 = l*r for r.
5
Let m be (-9)/(180/(-88))*5. Suppose -v = -2*i - m, 0 = 3*v + i + 2*i - 48. Suppose z - 30 = -3*q, 2*q - v = -q - 5*z. Solve -4*f + 5 = -q for f.
4
Suppose -2*g - 4 + 64 = 0. Suppose 25 = y + 5*m, -5*y + 3*m + 67 = -g. Let r = 1 + 2. Solve -r*n = n + y for n.
-5
Let u(m) = 6*m - 35. Let c be u(10). Suppose 8*l = 3*l + c. Solve l = 3*z + 2*z for z.
1
Let r(j) = 3*j - 10. Let h be r(4). Suppose h*s = -k + 6*s - 6, 0 = -2*k + 5*s - 6. Suppose 3*m + 3 = 0, 3*g = k*g - m + 1. Solve 0 = -o + g*o for o.
0
Let c = -438 - -487. Solve 44*h - c*h + 10 = 0 for h.
2
Suppose 5*b + 0*d + 2*d - 170 = 0, 4*d - 148 = -4*b. Solve 1 = b*t - 33*t for t.
-1
Suppose 0 = -20*v + 13*v. Let c be (-4 - 78/(-18))*(v - -9). Solve -c*d - 6 = -d for d.
-3
Let o = -6930 + 6951. Suppose -3*w + 4*w = 0. Solve w = -5*f + 4 + o for f.
5
Let o(g) = g**2 - 5*g + 6. Let c be o(4). Solve -8*x = -c*x + 24 for x.
-4
Let z = -316 - -322. Solve -4*c - 14 - z = 0 for c.
-5
Suppose -1 = -2*z + z, -n - 5*z + 26 = 0. Let l = -16 + n. Let d = 5 - 5. Solve -b + 3 - l = d for b.
-2
Suppose -5*h + 3*h - 1 = 5*q, -11 = -3*h + 5*q. Let g(z) = z + 1. Let f(j) = -3*j - 2. Let r(u) = h*f(u) + 5*g(u). Let t be r(-1). Solve 0 = m - t - 1 for m.
3
Suppose 1 = 9*a - 8. Solve 8*n + a = 9*n for n.
1
Suppose 8*a - 1195 + 483 = 0. Solve 65 - a = -6*y for y.
4
Suppose 12*v - 92 - 148 = 0. Solve 63*q + v = 68*q for q.
4
Let g(y) = -7*y**2 - 15*y - 8. Let o(b) = 3*b**2 + 7*b + 4. Let q(p) = -2*g(p) - 5*o(p). Let n be q(-3). Let w be (-5 + 3)/(-2)*3. Solve -w*i = n*i for i.
0
Let o(g) = -g**3 - 2*g**2 - 2*g - 2. Suppose -2*u = -3*p, 2*p + u = 3*p - 1. Let w be o(p). Solve 2*b + 6 = w for b.
-2
Let w be 1*((-2 - -4) + 6). Let i be (-57)/4 + 2/w. Let c = i + 17. Solve 2 - 5 = c*f for f.
-1
Let m be (-11)/(-77) + (-13)/(-7). Solve -k = -m*k - 1 for k.
-1
Let i(u) = -5*u - 44. Let q be i(-13). Let o be (-2)/(-14) - (-18)/q. Solve -3 = -2*n - o for n.
1
Let c = -2209 + 2247. Solve 0 = c*n - 18*n - 80 for n.
4
Let y(b) = b**3 + 13*b**2 + 30*b + 2. Let z be y(-10). Solve z*f = -0*f - 6 for f.
-3
Suppose -3 = 2*w - 15. Let f be 1 + w/((-8)/(-4)). Solve f*s + 9 - 1 = 0 for s.
-2
Let a(j) = j**2 - 9*j - 4. Let l(o) = o. Let m(u) = -a(u) + 2*l(u). Let q be m(11). Solve f - q = -f for f.
2
Let k be (-14)/(-2) - (-3 + (-18)/(-6)). Solve -22 + 8 = -k*l for l.
2
Let q(s) = s**3 + 13*s**2 + 11*s - 6. Let c be q(-12). Suppose -c*n + 40 = -n. Solve n = -4*t + 20 for t.
3
Let l = 2 + -2. Suppose 7*a - 2*a - 4*x - 13 = 0, 2*a - 2*x = 4. Suppose 0 = -5*m + a, 5*m - 3*m = -3*c + 14. Solve l = c*j + j - 20 for j.
4
Suppose 11*l + 72 = 14*l. Solve 0*d - l = -12*d for d.
2
Let h(o) = -o**2 + 7*o + 11. Let z be h(8). Let u(m) = -2*m**2 + 6*m + 4. Let t be u(z). Suppose g - 9 = 4*j, -3*g - g = 4*j + t. Solve 0 = -c - g - 4 for c.
-5
Suppose -5*c + 5*k + 120 = 0, c + 3*k + 0*k - 28 = 0. Solve 5*h + c = 5 for h.
-4
Let k(z) = -z**2 + 17*z - 63. Let x be k(6). Let m be (-1 - x)/2 + 4. Solve 2*c = 4*c + m for c.
-1
Let h(j) be the second derivative of -j**3/2 - 9*j**2/2 - 4*j. Let a be h(-5). Suppose -3*f + a = -2*f. Solve f*n = n for n.
0
Suppose -2*l = 3*u - 11 - 101, 0 = -5*u + 3*l + 155. Suppose -36 = -4*b + 6*b. Let m = b + u. Solve 3*d = -d + m for d.
4
Suppose 5 = -2*f + f, -3*f - 17 = -d. Suppose 8 = 5*u - c - 21, 2 = d*c. Suppose 2*k - r = -1, -19 = -2*k - 3*r - 0. Solve 0 = k*x + x - u for x.
2
Suppose -12*o + 61 = 13. Solve 6*f + 6 = o*f for f.
-3
Suppose 7*m = 10*m - 27. Suppose g + 13 = 2*q + 2*q, g + 1 = q. Solve q*k = k - m for k.
-3
Suppose 2*x = -15*x + 10*x. Solve x = s - 24 + 22 for s.
2
Let q = -605 + 615. Solve 0 = 3*g - q*g - 14 for g.
-2
Let w = -28 - -27. Let t be (0 - (w + 1))/(-1). Solve o = -t - 2 for o.
-2
Let p = 0 + 2. Suppose 3*m + 3*n - 33 = 0, 58*m + 14 = 56*m + 4*n. Solve -p*o = -o + m for o.
-5