 0 for c.
2
Let g(d) = -d**2 + 8*d + 12. Suppose -6 + 51 = 5*n. Let q be g(n). Solve 0*x + 9 = -q*x for x.
-3
Suppose -3 = r - 5. Let f(s) = 2*s**2 - 5*s + 4. Let y be f(r). Solve -n = -y*n for n.
0
Let a(f) = f**3 - 2*f + 1. Suppose 2*c = -4*h + 18, 3*c + h = -4*h + 27. Suppose 8 = -2*j + 2*m, 3*j - c = 4*j - 2*m. Let t be a(j). Solve -g + 5*g = t for g.
0
Suppose -18 = -8*h + 6*h. Suppose -5*d - h = -0*s + 3*s, d - 15 = 5*s. Let a(q) = -q**2 + 2. Let m be a(d). Solve -y - m = -0*y for y.
-2
Let o(x) = -2*x - 20. Let m be o(-11). Suppose -m*q + 8 = 0, 4 = 4*y - 3*q - 0*q. Solve -1 - 3 = -y*t for t.
1
Let m be (-30)/(-21) + (-44)/(-77). Solve m + 13 = 3*d for d.
5
Let j = -149 - -89. Let k = j - -64. Solve -k*v = 10 + 10 for v.
-5
Suppose -y = 4*f - 12, 4*y = -2*f + y - 4. Solve 0*n + 4 = f*n for n.
1
Let y(v) = -v**2 - 3*v + 3. Let i be y(-3). Let j(h) = h**2 - 32*h + 24. Let k be j(32). Suppose 4*d + k = 4*f, -2 = -0*f + 5*f + i*d. Solve -f = 2*z - 0 for z.
-1
Let o(l) = -l**3 - 11*l**2 + 12*l + 2. Let y be o(-12). Suppose 2*s + 2*s = -2*a + 50, 0 = -y*s - 4*a + 40. Solve 5*h + 0 = -s for h.
-2
Let j = 110 - 95. Let q(z) = -z**2 + 9*z - 4. Let s be q(8). Solve j = -s*m + m for m.
-5
Suppose 15 + 25 = -5*n. Let g be 4 + n/(-2) + -6. Solve -i + g = 1 for i.
1
Suppose -175*a - 140 = -195*a. Solve -11*u = -a*u - 8 for u.
2
Suppose -10*g - 72 = -72. Solve o = -g*o for o.
0
Let n = 17 + -20. Let g(l) = 1 + 4*l - 5*l + 0*l. Let x be g(n). Solve -o - 6 = -x*o for o.
2
Let j be (-111)/74 - 3/(-2). Solve j = -5*p + 3*p - 4 for p.
-2
Suppose 0 = -7*w + 2*w. Suppose w = 2*c - 13 + 5. Suppose -5*x - 3*s + 4 = -2, 0 = -3*x - 3*s. Solve c + 2 = -x*b for b.
-2
Let r = 222 - 220. Let c(v) = 3*v - 1. Let y be c(1). Let b = -1 + y. Solve b = -r*l - 9 for l.
-5
Suppose 4*d + 124 = 4*c, 27 = 2*c + 5*d - 56. Suppose c = z + 1. Let s = z + -20. Solve -3 + s = 5*x for x.
2
Let c(s) = 2*s - 3. Let d be c(4). Let l(a) = -a**2 - a. Let n be l(d). Let y = -28 - n. Solve 0 = -y*h - 0*h - 4 for h.
-2
Let a = 6 + 1. Let l(s) = -8*s**2 - s**3 + 16 - 31 + 15 - a*s. Let i be l(-7). Solve i = v + 5 - 0 for v.
-5
Let z(f) = -3*f**3 + f**2 - f - 1. Let h be z(-1). Suppose 3*g = -y + 59, -11*g + 13*g - 36 = -4*y. Solve g = h*q - 8*q for q.
-5
Let f be -2 + ((-2)/(-2))/1. Let v be (5/(-4) - f/4)*-3. Solve v*s = -4 + 1 for s.
-1
Let m(s) = s**3 + 3*s**2 - 4*s + 5. Let x be m(-4). Suppose 3*k - x - 1 = 0. Solve -k*o = -2 - 2 for o.
2
Let d(i) be the first derivative of i**4/2 - i**3 + i**2 - 4*i + 8. Let l be d(2). Solve 0*k = l*k for k.
0
Suppose -y + 3*s + 1 + 8 = 0, -s - 23 = -2*y. Let i = y - 7. Suppose -4*x + i*p + 9 = -7*x, 7 = -4*x - 5*p. Solve 2*z = z + x for z.
2
Let j(h) = h - 7. Let k be j(13). Let o = k + -4. Let y(s) = s**2 - 3*s + 4. Let a be y(o). Solve -4 = -a*b + 4*b for b.
-2
Suppose 0 = c + 4. Let a(l) = -l**2 - 2*l + 8. Let b be a(c). Solve b = 2*r - 11 + 5 for r.
3
Let l = -32 - -39. Suppose 9*i = l*i + 16. Solve 0 = -s - s + i for s.
4
Let w be 55/20 - (-1)/4. Suppose -w*i + k + 15 = 0, 10 = i + k - 3*k. Solve g + i = 7 for g.
3
Suppose 0 = 156*l - 161*l + 60. Solve l*u - 2*u = 0 for u.
0
Suppose 0 = -5*r + 4*u - 0*u + 33, 0 = 2*r - 4*u - 18. Let i = 103 + -229. Let k be 2/18 - (-14)/i. Solve k*a = -r*a for a.
0
Let g = 13 + -19. Let h be (-40)/g - 8/12. Let b(m) = 2*m + 1. Let p be b(1). Solve 0 = -p*k - 3 + h for k.
1
Let g be (4 - -1)*(-4 - -5). Suppose x = 4, -g*x + 30 = -5*q - 0*x. Let h be (q - -1)*0/(-3). Solve -5*n = -h*n - 5 for n.
1
Let f be (-4)/36 + (-136)/(-9). Suppose -9 = -3*q + f. Solve 0 = -4*v + q - 24 for v.
-4
Suppose 5*o + 3*q = 22, 0 = -5*q + 20. Suppose 5*k - 18 = o*k. Solve 0 = 3*b - b + k for b.
-3
Suppose 5*p = b - 88, 4*b = 2*p - 0*b + 46. Let o = p - -20. Suppose o*j + g = 6*g + 20, 0 = -g - 4. Solve -w + j*w = -2 for w.
2
Let j(l) = l**3 - 3*l - 3. Let z(b) = 6*b**2 - 2*b + 1. Let u be z(1). Suppose t + 17 = 5*t - i, -u*i = -4*t + 37. Let m be j(t). Solve -5*c + 35 = m for c.
4
Let c = 135 + -130. Solve c*i + 16 = -9 for i.
-5
Let z(m) = m**3 - 29*m**2 + 28*m + 4. Let t be z(28). Solve 2 = 6*x - t for x.
1
Suppose 3*m + 3*h + 15 = 0, -2*m - 5*h - 19 = 3. Let x be (-2 - -2) + 6/(m - -4). Solve x*t = 6*t for t.
0
Suppose -k - 4 = -1. Let o(p) = -p. Let v(n) = -2*n**2 + 4. Let x(m) = -2*o(m) - v(m). Let q be x(k). Solve -q = -0*y + 2*y for y.
-4
Let g be 9/12 + 4/16. Suppose 5*o + g = 2*w, 0 = w - o - 5 - 0. Solve y + w - 3 = 0 for y.
-5
Suppose f - 19 = 4*q, 4*f + 7*q - 3*q = 16. Solve -f = -4*r + 9 for r.
4
Let r(m) = 2*m + 61. Let x be r(-26). Solve 16*a = x*a - 35 for a.
-5
Suppose 8*f = 4*f + 24. Let h be 0/(6/(-3 + f)). Solve 0 = r - 3 - h for r.
3
Suppose -n + 5*j + 37 = 0, 6*j = -5*n + 5*j + 55. Solve -n = 17*o - 13*o for o.
-3
Let o be (30*(-8)/32)/(6/(-4)). Solve -j + o = 6 for j.
-1
Suppose 5*j = 2*w + 4*j + 1, -3*w - j - 9 = 0. Let x(m) = 12*m**2 + 3*m + 3. Let g be x(w). Suppose -3*q + 0*q = -g. Solve -3*u = 2*u - q for u.
3
Suppose 27 - 47 = -2*n. Let w(h) = 9 - 2*h + 14 + 0*h. Let p be w(n). Solve 5*z - p = 2 for z.
1
Let w(h) = 4*h + 44. Let t be w(-9). Suppose 0*q - t = -3*s - 2*q, -2*s - 5*q = -9. Solve -3*n = -11 + s for n.
3
Let k = 20 + -2. Let j = k - 11. Let n be (-2)/(-7) - (-40)/j. Solve -x - 5 = -n for x.
1
Let s be 69/12 + 3/(-4). Suppose -3*r - 8 = -u, 2*r + 10 = -2*u + 5*u. Let o be (2/s)/(u/10). Solve -1 = -o*d + 3*d for d.
-1
Let f = -64 + 69. Suppose -44 = -f*i - q, 2*q + 22 = 3*i + 7*q. Solve i = -4*j - 3 for j.
-3
Suppose 21 + 99 = -5*v. Let y = v - -29. Let z be 11 + 2/((-4)/2). Solve -z = -y*x - 35 for x.
-5
Let s(u) = 7*u**3 - 5*u**2 + 4*u + 4. Let h be s(2). Solve -10*i = h - 18 for i.
-3
Let r = 9 - -1. Let y = r + -5. Let m = y + 0. Solve m*h + 8 = h for h.
-2
Let c = -7 + -5. Let n(a) = -9 + 913*a - 912*a + 6 + 19. Let d be n(c). Solve d = -v + 5 for v.
1
Let d be 3 + 30/(-5) + 0. Let w be d/2 + 4 + 6/4. Solve 6*a - w*a = -4 for a.
-2
Suppose -7*d - 153 = -10*d. Let r = 52 - d. Solve -m + 0 - r = 0 for m.
-1
Let g be 5*(-24)/(-15) - 3. Solve 2*i - 3*i = -g for i.
5
Let w(y) be the first derivative of y**4/4 + 8*y**3/3 + 11*y**2/2 + 31*y - 50. Let c be w(-7). Solve -2*d + c = -3*d for d.
-3
Suppose -16*i = -20*i + 144. Solve -3*t - 48 = -i for t.
-4
Let b(j) = -j**3 + 8*j**2 - j - 1. Let v = -21 + 30. Let r be b(v). Let u be r/(-6) + (-4)/24. Solve x = -2*x + u for x.
5
Let k(t) = 13*t - 593. Let p be k(48). Solve m + p = 26 for m.
-5
Suppose -2*t + 5 - 7 = 0, -t = -2*j + 21. Let o be (-8 - -3) + 1 - (-4 - j). Solve 0 = q + q + o for q.
-5
Let v be (-2 + 5/2)*0 + -3. Let g be (4 + v)/((-4)/8) + 2. Solve g = -3*p + 5 - 2 for p.
1
Let h(j) = j**2 - j + 1. Let u be h(3). Let d be (u/14)/((-1)/(-2)). Let c be 3/1 - (-1 - d). Solve -3*l + c*l = 6 for l.
3
Let x = -355 - -360. Solve -2*s = -3 - x for s.
4
Suppose 0 = -h + 2*h - 39. Let s = h + -37. Suppose -18 = -4*f - 2*m, -2*f + 4*m - 4 = s. Solve -4*a = -f - 1 for a.
1
Suppose 2*n = -j - n + 49, -5*j - 5*n + 205 = 0. Suppose 0 = 11*p - 5*p + 210. Let w = j + p. Solve w*c - 4 = -0*c for c.
2
Suppose -2*k = 3*k + 4*t + 20, 5*k - 3*t - 15 = 0. Let o = 4 - k. Solve -x - o = 1 for x.
-5
Let h(m) = -m**2 + m + 5. Let t be h(0). Let g(r) = 2*r**2 + 4*r - 1. Let y be g(-3). Solve y*c + 0*c = t for c.
1
Let r(f) = -12*f - f - 1 + 3*f + f**2. Let u be r(12). Solve 4*j + u = 3 for j.
-5
Suppose 16 = 7*o - 40. Solve -3*z = -o*z + 25 for z.
5
Let r be ((-16)/14)/((-64)/336). Solve -r*j = -24 + 6 for j.
3
Let u(j) = -j - 4. Suppose -24 = 5*x + 6. Let l be u(x). Let a = -2 + 2. Solve a*q + l*q - 10 = 0 for q.
5
Let j(b) = -41*b + 37*b - 7 - 9 + 4. Let f be j(-3). Solve -2*w + f = -2 for w.
1
Let q(n) = n**3 + 26*n**2 + 144*n + 8. Let v be q(-8). Solve v*k = 5*k - 6 for k.
-2
Suppose 4*g + 5*x = -17, 0*g - 3*g + 2*x + 16 = 0. Suppose -c + 6 = i, -2*i + 3 = c - 4*i. Solve -c*b = -g*b for b.
0
Suppose -9*y = -12*y - a - 3, 0 = 2*y - 5*a - 15. Solve -3*m + y - 15 = 0 for m.
-5
Let r be (17 + -3)*2/4. Let l = -5 + r. Let j be (61/366)/(2/24). Solve j*o - 4 = l for o.
3
Let t(f) = f**3 - 4*f**2 - 5*f - 1. Let n be t(-2). Suppose 6*i + 12 = 2*i, -2*i - 66 = -4*u. Let h = n + u. Solve 5 = -y - h*y for y.
-5
Let y be (2 - 2)/(-30 - -29). Suppose 2*w + 7*x - 1 = 2*x, 