*c = -0*c + 4*h + 8 for c.
-2
Let u = -2 - -15. Suppose -5*p = -3*g - 137, -u = -p - g - 2*g. Let q be 330/p - (-2)/(-10). Solve -z + 0*z = 4*d - 7, -4*d - 3*z = -q for d.
1
Let g = -458 - -458. Solve g = 3*w - 4*x + 5*x - 6, -6 = -w + x for w.
3
Let h = -14448 + 14453. Let q be (5/(-3))/(2/(-6)). Solve -h*v - n = 4*n - 5, 5*n = 5*v + q for v.
0
Let g be 5 - (10/16)/((-3)/(-24)). Solve -3*u - m - 10 = -2*m, g = u + 4*m + 25 for u.
-5
Let o be 6/12*-6 - -7. Solve o*d + 1 = c + 3, 4*d = -2*c - 4 for c.
-2
Suppose 4*c - 1 - 7 = 0. Suppose 8 = -2*y - 5*m, 2*y - 4 + 6 = -c*m. Solve -y = -i - k, -5*k + 0 = 4*i - 5 for i.
0
Let r be 82/(-7) + 2/(-7). Let i = -10 - -24. Let n = r + i. Solve 3*w - 5*m = 6, 0 = -5*w - m - n*m + 10 for w.
2
Let k(q) = -2*q - 3. Let n be k(-9). Solve 3*b + 0 = -g - 6, -4*g = 3*b + n for g.
-3
Let d(g) = -5*g - 12. Let f be d(-5). Let q = f - 19. Let u be q/4 - (-9)/2. Solve -4*k + 8 = 0, -u*z + 3*k = -k + 11 for z.
-1
Let z be (-10)/(-120) + 26/(-24) + 5. Solve -z*h = -4*l - 4, -7*l + h + 1 = -4*l for l.
1
Suppose 12 = -10*w + 7*w. Let k be (1/(-2))/(1/w) + 0. Solve -3*s + 2 - 5 = 2*t, k*t + 6 = 0 for s.
1
Suppose 13*p + 37 - 154 = 0. Solve -p = -2*s + 3*r - 21, -r = 4*s + 10 for s.
-3
Suppose -326 = -2*f + 5*s, -5*f - s = 2*s - 877. Let w = f + -171. Solve 2*r + 2 + 6 = -2*i, -w*i - 3*r = 9 for i.
-3
Let h = 8 - 8. Suppose h = -6*i + 2*i. Let k be i - (3 + -3)*1. Solve 3*d - 4*g = -24, k = -4*d - 4*g - 6 + 2 for d.
-4
Let z be (-4)/10 - (176/154 - 795/175). Suppose 0 = -3*x - 2*x + 15. Solve -z*t = 0, -3*a = a + x*t - 20 for a.
5
Let w(j) = -j**2 - 2*j. Let u be w(-2). Let q be -1 + u/4 + 4. Solve 3*h + 2*g = -5, -h - 9 = -6*g + q*g for h.
-3
Let h = -2 + 2. Suppose 0 = -h*r + 5*r. Suppose r = -3*f, 3 = 2*g + 5*f - 3. Solve -g*v + 13 = 2*d, -4*v + 6 + 12 = 3*d for d.
2
Suppose 55 = -2*n + 65. Solve k - z = -4, -n*k = 4*z - 7 - 9 for k.
0
Let k be (-16)/56 - (-38)/(-14). Let g be 3 + k/(-4 - -1). Suppose 3*t + g*x - 3 = 0, -3*t + 2*x = -t - 16. Solve n - 2*s = -t, -4*n + 2 = 2*s + s for n.
-1
Let z = 60 + -67. Let k be (-19 - 1)/(4 + (z - -1)). Solve 0 - 2 = 2*g - t, 2*g + 5*t = k for g.
0
Suppose 20*o - 74 - 26 = 0. Solve -3*a + 15 = 4*y, 0*a + o*y = -2*a + 10 for a.
5
Suppose 0 = -9*q - 10*q + 133. Solve -q + 1 = -3*j - 3*h, 3*j - h = -14 for j.
-3
Let d = 11 + -11. Let r(q) = 3 - 4 + q**2 + 3. Let l be r(d). Solve l*k - 4 = -0*v - v, -5*k + 9 = 3*v for v.
-2
Suppose -4*d = 10*d - 112. Solve 0 = -4*s - s + 3*x + 31, -4*x - d = 0 for s.
5
Let j(i) = i**3 - 9*i**2 - 70*i + 4. Let r be j(14). Solve 0 = -g + 3*n + r, -5*n = 10 for g.
-2
Suppose -33 - 84 = -39*a. Let t be 6/(-10) + 264/15. Solve h - 8 = -5*z + t, -8 = a*z - 4*h for z.
4
Suppose 3 = -5*l - s, 8*l - 2*s = 3*l + 6. Solve 10*b - 5*b + 15 = l, 6 = c - b for c.
3
Let w(t) = 7*t - 19. Let i be w(3). Suppose i*y + 6*y - 136 = 0. Solve -3*j + 2*l = y, -4*l + 15 = j + 2 for j.
-3
Let l be (35/42)/(4/24). Solve p = 2, 2*p = l*d - 0 + 9 for d.
-1
Let u(y) = -y**2 + y + 2. Let o(m) = m + 1. Let h(a) = 4*o(a) + u(a). Let f be h(6). Suppose 3*j + 2 - 11 = f. Solve -4*p + 28 = 2*x, -2*p + 3 = -j*x + p for x.
4
Let o = -1 - -11. Suppose -6*t + 34 = o. Solve p - t = -2*b, -5*b + 0*b = 3*p - 10 for b.
2
Suppose 5*f - 17 = 2*p, -13 = -0*p + 3*p + 5*f. Let o(r) = -r**3 - 6*r**2 - 2*r. Let j be o(p). Solve 0 = 4*y + 2*k - 3*k - j, -k = 2*y - 6 for y.
3
Suppose 2*r - 4*r + 30 = -3*o, 2 = -o. Let b = r - 10. Solve 0 = -5*u - 0*u + 3*x + 11, 1 = 5*u + b*x for u.
1
Suppose -11 = 31*a - 32*a. Solve -2*n - 13 = c, -3*c + 2*n + 2*n + a = 0 for c.
-3
Let u be 3*1*(-136)/(-102). Solve 4*w - 12 = -x - 1, 0 = 2*w - u*x - 10 for w.
3
Let o = 65 + -62. Solve 2*n = 5*k + 1 - 2, -3*k - 3 = -o*n for k.
1
Let q = 138 - 130. Solve -4*n + 8 = -2*x - 3*n, 4*n - q = 0 for x.
-3
Let u = -12 + 9. Let a(r) = 7*r - 15. Let d(c) = 4*c - 8. Let z(q) = u*a(q) + 5*d(q). Let v be z(3). Solve -4*i - 4 = -3*t - t, 2 = v*t + 3*i for t.
1
Let l(f) = -f**3 + f**2 + 23*f - 47. Let r be l(3). Solve 3*g = -3*c - 3, -r*c + 2*g + 2*g = -4 for c.
0
Suppose 5*x + 8*p - 4*p - 3 = 0, 3*x + 3*p = 0. Solve -14 = 2*m + 5*l, 2*m + 18 = 4*m - x*l for m.
3
Suppose -2*i + 18 = -4*h, 9 = 18*i - 16*i - h. Solve 0 = -4*n + f + f + 10, i*n - 14 = -5*f for n.
3
Let h(s) = -s**3 + 15*s**2 - 3*s + 36. Let r be h(15). Let f = -7 - r. Solve -f*d - d - 2*m = 0, 2*d = -m for d.
0
Let k be 13/(10/4 + -3). Let g = 44 + k. Solve -v + 8 = -4*i - 7, 2*v - 5*i - g = 0 for v.
-1
Let p = 14 + -9. Suppose 0 = -p*l + l + 40. Suppose -2*x = -l, -3*x = -3*z - x - 4. Solve 5*m + 15 = -2*h, z*h + 0*m - 6 = 2*m for h.
0
Let y = 2 - -1. Let c = 7158 + -7155. Solve -c*m + 4*j - 20 = -7, -5*m - y*j = 12 for m.
-3
Suppose 3*i + 20 = 2*i. Let w be (-5)/i + (-2)/8. Solve -5*h + 4*g = 2 - 1, -3*h + 4*g + 1 = w for h.
-1
Suppose 5*i + 30 = 5*o, -4*i - 14 = 3*o + i. Solve 2*f = -o*f + 2*g + 18, 23 = 4*f + 3*g for f.
5
Let n(j) = -79*j - 932. Let a be n(-12). Solve -2*z - 6 = 2*f, -a*z + 6 = -2*f - 20*z for f.
-3
Let z(m) = m**3 + 3*m**2 - 2*m - 1. Let x be z(-3). Suppose 0*g = 12*g - 36. Solve l + 3*t = -1, l - 4*t = -g*t - x for l.
-4
Let v be (-12 - -12)*(-1)/(-5). Solve 3*w + v*f = 2*f - 15, 6 = -w + f for w.
-3
Suppose 4*p - 2*c - 8 = -2, -p + 3*c - 11 = 0. Suppose -5*u - 14 + 1 = -4*f, -4 = p*u. Solve 7*q - f*q = -j - 11, -2*j + 23 = -5*q for q.
-3
Let o(q) = -q**2 + 34*q + 4. Let u be o(34). Solve -s + b + 5 = 0, -4*s + 2*b = -5*s - u for s.
2
Let p be -14 + (-146)/(-10) + (-12)/(-5). Solve 11 = -2*z + 3*g, -z + p*g - g = 6 for z.
-4
Let a(g) = -3*g + 6*g**3 - 3 + 10*g + 7*g**2 - 7*g**3. Let j be a(8). Let t = -6 - j. Solve t*n + l = -22, 0 = n - 0*l + 2*l - 1 for n.
-5
Let p(r) = r**3 - 16*r**2 - r + 34. Let x be p(16). Solve -4*b - 4*s = 0, 0*s + x = -2*b + 4*s for b.
-3
Suppose 5*o - 5 = -5*z, 0*o + 1 = -z + o. Solve -4*b - 4*a = z, -4*a = -4*b - a - 14 for b.
-2
Suppose 4*d - 16 = 0, -2*b + 3 = -3*b + 2*d. Solve 5*g + b = p - 0*p, -p - 3*g - 3 = 0 for p.
0
Let q = 461 - 457. Let n = -27 + 19. Let o be (6/(-4))/(6/n). Solve -o*g + 16 = -5*x, -x - 12 = -0*g + q*g for x.
-4
Let d(c) be the second derivative of c**3/2 + 23*c**2/2 + c. Let b be d(-6). Solve -3*x - 35 = b*l, -3*l + 5*l - 2 = 2*x for x.
-5
Let i(n) = -5*n + 24. Let w be i(0). Let u be 7 - w/(5 + 1). Solve 0 = -u*o - 2*o + 3*z + 40, 2*z = -o - 5 for o.
5
Let o(q) = -q + 49. Let m be o(25). Solve -3*g - 3*i = -m, 3*g + 0*i - 6 = 3*i for g.
5
Let m be (-64)/24*(5/(-2) + 1). Suppose 2*y = -5*w + w + 46, -2*y = -w + m. Solve w = -2*d - 4*z, -z - 5 = -0*z for d.
5
Let j(l) = -l**3 - l**2 + l + 17. Let x = 25 + -25. Suppose x = -32*w + 28*w. Let a be j(w). Solve -2 = -2*n + 4*i, -a = 5*n + 3*i + 17 for n.
-5
Let p = 1099 - 1096. Solve 4*d + 20 = -7*j + 3*j, 0 = -3*d + j - p for d.
-2
Let b(p) = p**3 - p**2 + 4. Let k be b(4). Let f = k - 37. Solve 0 = 2*y - 4*u + 11 + 3, 0 = 3*y + 3*u - f for y.
1
Let t be 40/(-18) + 2/9. Let m = t - -4. Suppose 0 = -m*o + 10 + 6. Solve l - 10 = -0*l + 2*d, d + o = 2*l for l.
2
Suppose 2*x + 3 = 5*p + 48, -2*p - 9 = x. Let t = -4 - p. Solve -t*j + 5 = r, 0 = 4*j - j - 5*r + 7 for j.
1
Let k(i) = 7*i. Let q be (2/4)/((-3)/(-24)). Let m be k(q). Let v = m - 23. Solve a + a = -v*t - 3, -2*a = t - 1 for a.
1
Suppose a - 5*b + 30 = 6*a, -2*b - 2 = -5*a. Solve -6*r - 19 = -r - 3*x, -5 = -a*r - 3*x for r.
-2
Let k = 26 - 19. Solve -4*p - k = 3*g, 2*p - p = -5*g - 23 for p.
2
Let d be ((-375)/(-15 + 30))/(-1*1). Solve 5*c + d = 0, i - 2*c - 2*c = 20 for i.
0
Let g = 24 - 24. Let o = g + 5. Solve -o*b - 4 = -5*x + 1, -7 = -3*x + b for x.
3
Let s = -2 - -7. Let r(v) = 5*v - 12. Let n(l) = -6*l + 12. Let f(p) = -6*n(p) - 7*r(p). Let i be f(-9). Solve -1 = -i*c + 4*c, -s*a - 24 = -c for a.
-5
Suppose 0 = -126*g + 113*g. Solve 2*m + 31 = 5*n, -4*m + g*n - 17 = -n for m.
-3
Let t be (3/5)/(3/165). Suppose v + 10*v = t. Solve 4*o - 10 - v = 3*j, -16 = -4*j - 3*o for j.
1
Let t = 489 - 485. Solve -z + 6*z - t*d = 0, 5*d = 5*z for z.
0
Let n(b) = -b**3 - b**2 - 3*b - 3. Let z be n(-1). Solve -2*p - l = 10, 2*p - 2*l - 2 = -z for p.
-3
Let b(j) = -4*j**3 - 19*j**2 + 2*j - 12. Let w be b(-5). Suppose -w*f = -3*a - 45, -4*f + 10 = -a - 50. Solve 3*x + 0*x = 5*d + f, -3*d = -x + 9 fo