 g*c + 10 = -0*c for c.
-2
Let s = 16 - 12. Suppose -s*n = 3*q + n, -5*q = -3*n. Let v = -25 - -27. Solve o - v = -q for o.
2
Let i(o) = o**3 + 2*o**2 - 4*o + 12. Let h be i(0). Solve -6 + h = 2*k for k.
3
Let k be (-7 + (-200)/(-24))*6. Solve -9*d + k = -d for d.
1
Suppose -l + 5 = z, -l + 6 = -2*z + 31. Let v be (-22)/(-10) + z/(-50). Suppose -3*a - 3 = -2*s + 2*a, 5*a - 33 = -v*s. Solve 7 = 4*x - s for x.
4
Let k(u) = -8*u - 23. Suppose 3*d = -10*c + 6*c - 31, -5*c - 10 = -2*d. Let o be k(c). Solve -o = -m - 2*m for m.
3
Let h(m) = -m**2 + 8*m - 9. Let c(q) = -q**2 + 8*q - 8. Let g(z) = -6*c(z) + 7*h(z). Let x be g(6). Let s be 2 - (6/x - -3). Solve s = b + 4 for b.
-3
Let k(g) = g**3 + 19*g**2 + 19*g + 18. Let n(w) = 2*w**2 + 25*w - 6. Let j be n(-12). Let f be k(j). Solve -5*x = -f*x for x.
0
Let z = 81 - 78. Suppose -5*l - 4*c - 2 = -7*c, -l + 4*c - 14 = 0. Solve -z*r = -l*r + 3 for r.
-3
Let a be (16/(-10))/(70/(-525)). Solve -a = 3*v + v for v.
-3
Suppose g + 5*k = -6, -4*g + 2*g + 4*k = -2. Let y be g/3 + 16/3. Suppose -3*z - f + 26 = 0, 2*z + 3 - 9 = y*f. Solve z = -3*r + 5*r for r.
4
Let k(f) be the second derivative of -f**4/12 + f**3/3 + 14*f. Let a be k(2). Solve -4*l - 10 - 10 = a for l.
-5
Let l = -20 - -23. Suppose l*m - m = -66. Let p = 48 + m. Solve 3*t = 8*t + p for t.
-3
Suppose 0 = -3*r + r - n + 13, 2*n - 21 = -3*r. Let h be (-5)/(0 - r) + 0. Suppose 2*l - 4*s - 8 = 0, -4*l - l - 3*s = -20. Solve -a = h + l for a.
-5
Let w be 1/(2/10 + 0). Suppose 61*x - 50*x = -1859. Let d = x + 174. Solve -d*h + 10 = -w for h.
3
Suppose -112 - 96 = -26*d. Solve -d*b + 4*b = -4 for b.
1
Let d(q) = q**3 + 3*q**2 - 5*q + 1. Let g be d(-4). Suppose f + 1 = g. Suppose -54 = 13*a - 19*a. Solve -f*y = -a*y - 20 for y.
-4
Suppose 0 = -59*d + 54*d. Solve 0*w + 3*w + 12 = d for w.
-4
Let b(y) = y - 28. Let j be b(36). Solve -j*i - 47 = -15 for i.
-4
Let q = -21 - -27. Let p = 10 - q. Solve 0 = p*j - 9*j + 15 for j.
3
Let k(o) = o + 10. Suppose 3*d = -15 - 3. Let q be k(d). Solve -i - q = 3*i for i.
-1
Suppose -5*z + 3*a + 23 = 0, -z + 8 = -5*a - 1. Suppose 6 = -z*l + 5*l. Suppose -8 = 2*q - l*q. Solve -3*x = q*x for x.
0
Suppose -3*u + 3 = -9. Let l(d) = d**3 + 2*d**2 - 1. Let i be l(-1). Solve i = u*b + 3 - 11 for b.
2
Suppose -9 + 117 = 36*p. Solve -p = 11*m - 10*m for m.
-3
Let y(s) = 5*s - 2. Let z(u) = 4*u - 2. Let d(p) = 3*y(p) - 4*z(p). Let a be d(-2). Solve w = a*w for w.
0
Suppose -43*i + 328 = -2*i. Solve -m + i = m for m.
4
Suppose 3*c + 2*z + 2*z - 79 = 0, c - 5*z = 20. Let f = c - 23. Solve 0*n - f*n = 4 for n.
-2
Suppose j + 52 = 7*l - 4*l, 0 = -2*l + j + 36. Solve 7*q + l = 2 for q.
-2
Let t be ((-320)/(-24)*6/4)/1. Solve l - 11*l = -t for l.
2
Let i be (-3 + (-33)/(-1))*(-1)/(-2). Suppose -i = -11*f + 6*f. Solve 3*g - 2*g = -f for g.
-3
Let u be ((-24)/7)/(((-143)/(-91))/(-11)). Solve 15*p = 21*p + u for p.
-4
Suppose -11 - 6 = -2*t + 5*r, 0 = 4*t - 4*r - 40. Solve -4 = -15*w + t*w for w.
1
Suppose 10 = 5*r - 5*j, -16 + 5 = -2*r - 5*j. Let u be r + -4 - -1 - -2. Solve 0 = -u*b + 2 for b.
1
Suppose -9*o - 31*o = -80. Solve -o*c - 3*c + 20 = 0 for c.
4
Let s be (-6)/(-9*1/(-6)). Let o(z) = -z**3 - 4*z**2 - z. Let n be o(s). Solve -n*b + 11 = 3 for b.
2
Let j = -30 - -30. Suppose -h - 25 = 5*u, 3*h - h + 3*u + 22 = j. Let s be h + 3 - (-12)/3. Solve 3 + 1 = -s*l for l.
-2
Let u = 17 + -17. Let x be ((-77)/(-14) + -6)/((-2)/12). Solve u*c + x = c for c.
3
Let n(v) = 36*v**2 + 11*v + 11. Let p be n(-1). Solve 12 = -6*l + p for l.
4
Let z(f) = -3*f - 12. Let v = -36 - -30. Let p be z(v). Suppose 3*g + 0 = p. Solve 0 = -5*d + g*d for d.
0
Suppose 0 = -o + 4, 107*o - 103*o = -4*g + 32. Solve 24 = -g*y + 4 for y.
-5
Let d(j) = j**2 + 12*j - 41. Let g(a) = -3*a**2 + 2*a + 1. Let x be g(-2). Let i be d(x). Solve -k = k - i for k.
2
Suppose 2*y = 7*y - 10. Suppose y*z - 28 = -5*z. Solve -3*b + z = b for b.
1
Suppose -4*c - 14*q = -13*q - 31, -q - 4 = -c. Solve 0 = -2*w + c*w + 7*w for w.
0
Let f(o) = -o**2 - 39*o + 2. Let v be f(-39). Suppose 5*s + 6 = 3*j - 0, 2*s - 4 = -2*j. Suppose 12 = 3*b - j*b. Solve v*y + b = 6*y for y.
3
Let d(n) = -n**2 - 3*n - 2. Let r be d(-4). Let w be r*(-2 + 32/12). Let x be (-112)/(-24) - w/(-6). Solve x + 8 = -4*u for u.
-3
Suppose -v + 3*u + 5 = -12, 5*v + 4*u - 9 = 0. Suppose -v*w = -9*w. Solve -6 = -2*o - w*o for o.
3
Let l(p) = -21 - 896*p + 893*p + 8. Let j be l(-5). Solve 2*d + j*d - 20 = 0 for d.
5
Let h(m) = -m**2 + 4*m + 2. Let r = 0 + 3. Let v be h(r). Let z be (-1)/(-7)*70/20*8. Solve -3*y - z = -v*y for y.
2
Let m = -434 + 437. Solve -m*y - y = 0 for y.
0
Suppose -2*z + 3 = z. Let n be 9/12*4*z. Let r be 1 - (-20)/6 - 2/6. Solve 11 = -n*d - r for d.
-5
Suppose 0 = -6*a + a - 120. Let w = 26 + a. Solve -w*z = z for z.
0
Let s be (34/153)/(11/495). Solve s = -8*q + 42 for q.
4
Suppose 0 = -2*d + 6*d. Solve -5*v - 5 = -d*v for v.
-1
Suppose 2*w - 18 = o - 5, -w + 3*o + 9 = 0. Suppose b - w = -p, -b - 5*p + 25 = 11. Solve -b*t = -9*t + 20 for t.
4
Let j = 7 - 7. Let q be (-517)/(-165) + 7 - (-4)/(-30). Solve j*u = 2*u - q for u.
5
Let x = 44 + -44. Let q be x/(-1 - 0 - 0). Solve q*m = -3*m - 15 for m.
-5
Suppose 0 = 2*i + 4*l - 16, i - 2*l - 3 = l. Suppose -5*s + 44 + 1 = 5*z, -i = 3*z. Suppose -4*k - 5*b = s, -k - b - 4*b = 14. Solve 0 = f - 2 - k for f.
3
Suppose 111 = 4*v - 5*y, -2*v + 2*y + 42 = 4*y. Suppose -3*j - v = -7*j. Solve -j*u = -3*u - 9 for u.
3
Suppose -4*f + 4*s + 12 = 0, 3*f - 18 = -5*s + 31. Suppose -33 = -19*a + f*a. Solve -a = -d + 1 for d.
4
Suppose 0 = 4*f + f - 10. Suppose -f*s - 3*s = -5*k - 20, -2*k = 4*s - 4. Solve 1 = -s*g + 5 for g.
2
Let r(f) = -8*f + 16. Let t be r(2). Solve t = 4*w - 9*w - 20 for w.
-4
Let g(k) = k**2 + 31*k - 218. Let i be g(6). Solve -31*r = -33*r - i for r.
-2
Let w(x) = 3*x**2. Suppose -n = 4*n + 3*k + 20, 2*n + k + 7 = 0. Let h be w(n). Solve h = -5*g - 2 for g.
-1
Suppose 0 = -5*m + 4*f - 12, 5*m - 2*f + 0*f + 6 = 0. Suppose -6*y + 0*y + 120 = m. Solve 5*r = -y - 5 for r.
-5
Suppose 2*w - 30 = -2*v + 4*w, 66 = 4*v + 2*w. Suppose -28*n = -32*n + v. Solve -3 + n = -i for i.
-1
Let f(v) = 3*v**2 - v. Suppose 4 = -6*b + 2*b. Let p be f(b). Let r = -3 + p. Solve 2*d + 7 = -r for d.
-4
Let h be 3/(21/14)*6. Solve 16*b - h*b = 20 for b.
5
Let q(v) = -v**3 - v - 1. Let y be q(-1). Suppose 5*d = 9*d + 16. Let a be (3 - 7 - d)/y. Solve -4*x = -a*x for x.
0
Suppose -298 = 3*d - 313. Let g be 20/6 - (-2)/(-6). Solve 8 = -g*q + d*q for q.
4
Let l(g) = 8*g + 139. Let c be l(-15). Solve c*t = -7 + 64 for t.
3
Suppose -j = -h - 2, 8*h - 4*h = 0. Solve -j*m = -0*m for m.
0
Let d be (-5)/(-1)*(0 - -1). Suppose 0 = d*z + z - 12. Solve z*b + 1 = -7 for b.
-4
Let g be (-8)/16*(-24)/3. Let i be (-63 + 3)*g/(-12). Solve 2*x - i = -2*x for x.
5
Let t = -47 - -66. Suppose 2*n - y = t, -3*n - 2*y = -25 - 0. Solve n = 4*g - g for g.
3
Let f(o) = o**2 + 6*o. Suppose 4*w = -25 - 3. Let g be f(w). Let s(k) = -k**2 + 8*k + 8. Let z be s(g). Solve z = -7*b + 4*b for b.
-5
Suppose 5*x + 3*a - 7 = 8, -4*x + 5*a + 12 = 0. Suppose 2*c + 8 = 4*c. Suppose -3*u + 8 = -l - 9, -3*u - l + 25 = 0. Solve u*k + x = c*k for k.
-1
Suppose -4 = 2*z, 3*d - 156 = -0*d + 3*z. Let i = 52 - d. Solve i*t = t + 4 for t.
4
Suppose 4*l + 10 = 6*l. Suppose -3*f + 5*r - 9 = 1, 2*f + 4*r + 14 = 0. Let i(j) = j**2 + 9*j + 25. Let w be i(f). Solve l + w = -5*t for t.
-2
Suppose 10*i - 3*s = 5*i + 24, 0 = -2*i + 3*s + 6. Let u be (-4)/i - 47/(-3). Suppose 5*h - 5 = -3*p - 0*p, -2*h + 4*p + 28 = 0. Solve 0 = h*j + j + u for j.
-3
Let d(y) = -8*y - 118. Let t be d(-15). Solve 3*b - 11 = -t for b.
3
Let v be 8 + -5 + (1 - 1). Suppose 2*w = -v*h - 2*h - 10, -w = 5*h + 5. Solve y - 1 = -h for y.
1
Let l(b) = -b**2 + 2 + 2 + 0 + 6*b. Let q(z) = -z**3 + 10*z**2 + 11*z + 6. Let a be q(11). Let r be l(a). Solve 0 = -r*t + 3*t for t.
0
Suppose 12*j + 5 = 11*j. Let k(m) = m**3 + 5*m**2 + 4. Let q be k(j). Suppose 3*a + 9 = 4*u, -u - a = -q*a. Solve -9 = -4*c + u for c.
3
Let a(r) be the second derivative of -r**3/6 + r**2/2 - 7*r. Let p be a(-2). Suppose -2*s = -s - p. Solve -5 = -s*y + 4 for y.
3
Suppose 2*x + 3*s = -6, -x + 16 = 3*x - s. Suppose -5*m = -2*k + 2, 8 = 5*k - 5*m + 3. Solve k = f - x for f.
4
Suppose 