4 for c.
-3
Suppose 4*g + p + 4 = 16, 4*g + 2*p = 12. Solve -g*s = k - 3, 5 = 3*s - 1 for k.
-3
Let a be (2/(-2))/(1/(-12)). Let f = 7 - a. Let c = 7 + f. Solve 7*t = -2*p + 5*t, -c*p = 3*t + 4 for p.
4
Suppose 5*j = -2*v + 25, 2*j - 10 = v - 5*v. Let t be j/2*6/5. Solve 3*r = t*f - 18, -2*r - 6 = 2*f - 2 for r.
-4
Let r(u) = u + 3. Let a be r(-3). Let g be (-9 - -5)*(a - 1). Suppose -g*n + 20 = n. Solve -3*z - 6 = 0, -n*w = 2*z + 2 + 10 for w.
-2
Suppose 0*u = 5*u - 15. Suppose 0 = 2*c + 2, -2*c - 11 = 2*r + u*c. Let w be r/(-9)*0 + 2. Solve 6 = 3*m - p, 3*p + 13 = -2*m - w*p for m.
1
Suppose 110 = 4*v + 22. Let s(y) = -2*y - 11. Let n(j) = 2*j + 12. Let x be n(-10). Let z be s(x). Solve -i - 6 = 5*m, 2*m - 3*m - v = -z*i for m.
-2
Let d be (-180)/75*10/(-4). Let m be (0/1)/(8 - d). Solve m = 5*g - 3*i + 1 + 12, 2*g - 4*i = 6 for g.
-5
Suppose 0*r - r = -2. Suppose -4*b + r*i + 3 = 1, 0 = -3*b - 3*i - 12. Let t be (1 - b)*(-4)/(-4). Solve 2*l = -t*l - 3*m - 2, 3*m = -3*l for l.
-2
Suppose 5*h - 31 = 4*z, 0*z = 3*h + 4*z + 7. Solve n = h*p + 12, -1 = n - 4 for p.
-3
Suppose -7 + 0 = -z. Suppose -3*v + 5*x = -30, -z = -2*v - x - 0*x. Let a(b) = 16*b**2 - 1. Let d be a(1). Solve f + 8 + 3 = v*y, -y = 3*f - d for f.
4
Let x(g) = 2*g**2 - 5*g - 4. Let l be x(4). Let c = 13 - l. Suppose 5*y - w = w + 79, c*w - 35 = -3*y. Solve -h + 5*h + y = -s, -s = -2*h - 15 for h.
-5
Let d be (-3)/(-3) - (0 + 1). Let w be d/(-1) - 6/(-3). Solve -2*o + 7 = -q, 3*o + w*q - 8 = q for o.
3
Let l(s) = -4*s - 1. Let n be l(-1). Solve 0 = -4*b - 2*z - 4, -b + n*z - 1 = -0*b for b.
-1
Suppose 4*a + 5*v - 41 = 0, -4*v + 14 + 2 = -a. Solve 4*t = -2*w + a, w - t + 5*t = 0 for w.
4
Let o(w) = 5*w + 0*w**2 + 6*w**2 + w**3 + 0*w**3 - 5. Let t be o(-5). Let y = -3 - t. Solve -24 = -4*u - 4*f, u + y*f = -0*u + 8 for u.
4
Let n = 25 + -21. Suppose n = -4*q + 24. Solve -3*j - 2*z = -q*z + 21, 0 = -j + 2*z - 12 for j.
-2
Suppose 0*t = 3*t. Suppose n = -3*c + 3 + 8, -c - 5*n + 13 = t. Solve -1 = 2*k - v, -3*k + c*v + 3 = -0*v for k.
-2
Suppose -21*w + 10 = -19*w. Solve 0 = -d + 4, h + w*d = -h + 24 for h.
2
Let o = -3 - -4. Solve c = -u - 5, 4*u = -o - 15 for c.
-1
Suppose 15 = -4*y + 9*y. Solve 0*j - 3*j = -y*z + 6, -z - j - 4 = 0 for z.
-1
Let u(r) = -4*r + 2. Let b be ((-135)/6)/(-5)*2. Let s(j) = -2*j + 1. Let i(z) = b*s(z) - 4*u(z). Let o be i(-6). Solve a - 6 = -y, -2*y + o = y + 2*a for y.
1
Suppose 5*c = 2*y - 31 - 3, -2*c - 2*y - 22 = 0. Let n = c - -12. Solve 4*t = v + 11, -n*v + 2*v + 8 = 2*t for t.
3
Suppose -a = h + 2*a - 15, -a = -4*h + 8. Solve 0 = f + 5*k + 11, 0 = h*f + k - 3*k - 18 for f.
4
Suppose w - 32 = -3*w. Solve s - 2*x - w = -s, -x - 3 = 0 for s.
1
Let j(k) = -k**2 - 4*k + 2. Let m be j(-4). Solve n + 5*h = -m*n - 10, 3*h + 5 = -2*n for n.
5
Let l(u) = u**3 - 9*u**2 + 6*u - 12. Let d = 32 + -23. Let i be l(d). Let j be (-28)/6*(-108)/i. Solve -5*s = -5*p + 40, -4*p - s + 0*s = -j for p.
4
Suppose -20*w + 19*w = -4. Solve 2*g - 3 = -h, 4*h + 0*h = w*g + 24 for g.
-1
Let u = -11 - -21. Solve 6*f = f + 5*m + 30, -m = -2*f + u for f.
4
Let p = -12 - -32. Suppose 2*g - 8 = c + 1, 5*g + 4*c - 16 = 0. Suppose -g*h = -5*h. Solve 4*i - j + 2 = 6*i, -5*j - p = h for i.
3
Suppose -3*c = 9 - 99. Let x = c + -21. Solve -2*o + 0*o = -5*g + 33, 4*o + 5*g = x for o.
-4
Let c be 1 - 7/(21/(-18)). Suppose -3 + c = x. Let j be x + -1 + (2 - 0). Solve k - j*v + 8 = 0, 1 + 1 = 2*k - v for k.
2
Let s(z) = z**2 - z + 1. Let w be s(2). Solve 2*o - 3*a + 3 = 5, a + 10 = w*o for o.
4
Let p(j) = -2*j + 3 + 4 - 3*j + j**2 - 2. Let w be p(5). Solve -2*i + 5*i - w*h - 3 = 0, 0 = -5*i - 2*h + 5 for i.
1
Let f be 2/6 - (-150)/9. Suppose -3*d - 4*w = 6, -2*d + 4*w = -f + 1. Solve -4 = -5*y - 2*l, -4*y - d*l + 4 = -5*y for y.
0
Let g be (4/5)/((-2)/5) + 13. Solve -r = 4*i - 6*r - g, -4*r = 12 for i.
-1
Let x(v) = -2*v - 1. Let n be x(-3). Let l = 5 - n. Solve -d - z = -1, l*z = -4*d - 2*z + 2 for d.
0
Let t be -2 + (-40)/(-18) - 64/(-36). Solve 13 = -w - 5*l, 0 = w + t*l + 7 - 0 for w.
-3
Let i be ((-4)/(-8))/(1/26). Solve d - 3*s = -0 - i, -5*d = -2*s for d.
2
Let f(l) = l**3 + 9*l**2 + 8*l - 2. Let n be f(-8). Let t be -1 - (2 - 3) - n. Solve 2*w - 4 = -2*w + 3*z, t*w - 2*z = 0 for w.
4
Suppose 9*h - 11*h + 4 = 0. Solve -2*k + 5*a - h = 0, -2*a + 32 - 8 = 5*k for k.
4
Suppose 0 = p + 1. Let q be 2 - (-1)/p*2. Solve -2*f - i = f - 13, q = 4*i + 8 for f.
5
Let y be (-2 + 1/3)/(1/(-3)). Solve -n = -3*l - l, -y*l - 5*n + 25 = 0 for l.
1
Suppose j - 17 = 5*j - a, 4*j - 5*a + 21 = 0. Let v = j + 8. Suppose v*s = -0*s + 12. Solve -4 = -s*k + 5*f - 27, -2*k + f - 6 = 0 for k.
-1
Let f = -4 - 6. Let k = -6 - f. Solve -12 = -k*u + 4*w, 3*w = -3*u + 34 - 13 for u.
5
Let w(a) = 7*a + 12. Let o be w(-5). Let z = -11 - o. Solve -5*j + z = 4*u, 5*u + 1 = -4*j + 7 for j.
4
Let s be ((-5)/5)/((-1)/4). Solve 3*y + 2*j + 7 = -0*y, -s*y = -j - 9 for y.
1
Suppose 19 - 37 = -9*b. Solve -p - 3*t - b*t = -20, 2*p - 22 = -4*t for p.
5
Let l be (-66)/(-15) - 2/5. Let f be -4*(-5)/8*2. Let o(n) = n**2 - 4*n - 1. Let i be o(f). Solve 0 = -i*h + 16, l*h = 4*m - 8*m + 20 for m.
1
Suppose 0 = -3*b - 4*q - 2, 8 = 2*b - b - 3*q. Solve 0 = -5*i + 3*f + b*f + 10, 5*i + 2*f = -4 for i.
0
Let t(u) = 5*u - 2*u**2 + 3*u + 0*u**2 + 3. Let p be t(4). Solve -4*a + q = -5 - 5, p*a - 5*q = -1 for a.
3
Suppose 0 = 4*n - 3*u - 4, u = 3*n - 8. Let i = 12 - n. Let y(s) = -s + 6. Let x be y(6). Solve -4*g - 6 = 2*f, -2*f - 5*g - 17 + i = x for f.
3
Let d(q) = 6*q - 5. Let o be d(5). Suppose -4 = n - 4*i, 5*i = n + 4*n - o. Solve t + 0*l = -l + 4, 0 = 3*t + l - n for t.
2
Let z = -1 + 2. Let n(j) = j + 7*j**2 - 8*j + j**3 + z + 9. Let d be n(-8). Solve -d*a - 2*m = 8, -10 - 2 = 3*a - m for a.
-4
Suppose m = -m + 5*u + 1, 5*u + 17 = 4*m. Solve -5*d = -20, d = -3*j - m + 3 for j.
-3
Let u be 0 + ((-2)/2)/(-1). Let n(o) = -3*o + 22. Let a be n(6). Solve 4*w + 3*p - 7 = 0, a*w - 2*w - u = p for w.
1
Let n(y) = -y**3 + y**2 - 7. Let r be n(0). Let t = r + -2. Let l be ((-6)/4)/(t/12). Solve -32 + 14 = -4*o - 2*p, l*o + 5*p = 29 for o.
2
Suppose 0*v - 2 = -v, 0 = -4*k + 2*v + 4. Suppose 2*t - 22 = -4*x, 28 = k*x + 3*t + 11. Solve -4*f - 2 - 1 = -5*n, -2*f = -x*n for n.
-1
Suppose 4*x - 126 + 78 = 0. Solve -4*d - r = -x, 0*d + 6 = 5*d - r for d.
2
Let d be 3 + 0 - 23/(-23). Solve 0 = 5*w - 2*x - d, 0*w + 4*w = -3*x - 6 for w.
0
Let i(o) = -o**3 - 9*o**2 - 15*o - 3. Let k be i(-7). Solve -k = 2*y + s + 6, -3*s - 26 = 5*y for y.
-4
Let g(m) = m - 3. Let v be g(-6). Let o be ((-2)/3)/(6/v). Solve r - b - 1 = 0, o = -b + 2*b for r.
2
Let d(r) = -5*r - 33. Let y be d(-7). Solve 0 = 3*t + p - 12, 4 = -t + y*t + 2*p for t.
4
Let a(x) = x**3 + 12*x**2 + 9*x - 11. Let g be a(-11). Solve -2*m - 1 = -u, g = 2*m - 3*u + 2 for m.
-3
Let q = -5 + 8. Solve 2*a + 0 = 3*l - 8, -4 = -2*a - q*l for a.
-1
Let i(d) = d**2 + 5*d + 6. Let k be i(-4). Suppose v - k = a, v - 2 = -4*a + 15. Solve 0 = 3*o + v*f - 3, 2*o = o + 5*f + 1 for o.
1
Let r(k) = k**2 + k - 5. Let w be r(4). Let b be w/6*2*-1. Let p be b/2*8/(-10). Solve -2*l = o - 5, 2*l = -p*o - 2 + 4 for o.
-3
Suppose -5*w - v = -3*w - 11, -3*w + 2*v = 1. Suppose -4*y + 6 = -2*y. Solve -w*z = -2*a - 2, y = 2*z - 1 for a.
2
Let x be 27/135 + ((-48)/10)/(-1). Solve 0 = -g - 2, -o = -0*o + x*g + 11 for o.
-1
Let s = 28 - 20. Solve -2*l = -5*q - 16, l + 3 = q + s for q.
-2
Let t(d) = -d**2 + d + 3. Let l be t(0). Suppose -4*n + 6 + 2 = 0. Solve -3*b = 3*a + 3, -a = 5*b - n*b + l for a.
0
Let j = 32 + -95. Let k be 3/5 - j/45. Solve -2 = -3*f + 5*b, -f - k*b + 14 = 3*b for f.
4
Let n be (3 - 0)/(3 + 0 + -2). Solve 3*l - 8*l = -3*x + 10, l + n*x + 20 = 0 for l.
-5
Let j = -3 - -8. Suppose 3*r = -2*p + p + 22, 10 = -5*p. Solve 4*y = r, 5*f - 26 = f - j*y for f.
4
Suppose -q - 16*q = 0. Solve -8 = -2*i, -6 = -2*l - 3*i - q for l.
-3
Let v be 4/3*1*3. Let f be 192/18 - ((-10)/(-6) + -1). Solve -2*h - f = -v*w, -h - w = 3*w - 13 for h.
1
Let o(y) be the second derivative of 1/3*y**3 + 17/12*y**4 - 1/2*y**2 - 4*y + 0. Let s be o(1). Solve j + s = -2*j - 2*m, m + 7 = -j for j.
-4
Suppose 2*r - 8 = -k + 5*r, -38 = -2*k - 5*r. Let z = k + 15. Solve -g - 7 = -4*j - 23, 3*j - 5*g = -z for j.
-3
Let a(i) = -i - 4. Let y b