c.
-2
Let q(w) = w + 2. Let r be q(0). Let v(g) = 2*g + 1. Let h be v(r). Suppose 3*y - 16 = -4*a, 3*y - h*a = -3*a + 10. Solve 0 = -k - y*k + 15 for k.
3
Suppose 0*f + f = 3. Suppose -1 - 2 = f*h + 3*y, 0 = 3*h + 5*y + 11. Solve -h*m = -13 - 2 for m.
5
Let c be 0/1 + 1 + 3. Let i be 10/(-45) + c/18. Solve 0*x + x + 5 = i for x.
-5
Let p(w) = -2*w - 4. Let x be p(-3). Solve 4 = x*b - 3*b for b.
-4
Suppose -2*l - 60 = -3*n + 2*l, 3*l + 89 = 5*n. Solve 0 = -5*h + h - n for h.
-4
Let q = 5 - 0. Let v(a) = a**3 - 4*a**2 - 4*a - 5. Let y be v(q). Let o = y - -3. Solve -o = -2*t - 5 for t.
-1
Suppose 54 = 15*h - 9*h. Solve 25*j - 28*j - h = 0 for j.
-3
Let i = 4 - 4. Let t = i + 5. Solve -t = s - 4 for s.
-1
Let f(d) = d**2 + 6*d - 4. Let j be f(-6). Let x = 8 + j. Solve -x*g - 16 = 4 for g.
-5
Let c = -4 - -7. Let o(n) = n**3 + 6*n**2 - 9*n - 8. Let k be o(-7). Solve -j = -k + c for j.
3
Let i(l) = -l**3 + 6*l**2 - 5*l. Let k be -3 - (-3 - 3 - 2). Let g be i(k). Solve g = -3*d + d - 2 for d.
-1
Suppose -3*d + 7*d = 0. Solve d = -5*f + 3 - 8 for f.
-1
Let i = -3 + 2. Suppose -2*u - 3*w - 100 = 0, 0*w - 3*w = -2*u - 124. Let j be u/(-6) - i/(-3). Solve -5*c + 6 = -j for c.
3
Suppose 3*b - 30 = 12. Suppose 5*v - b = 6. Let p = 6 - -9. Solve p = -v*q - 5 for q.
-5
Let v be -2 + -6 - (3 - 3). Let g = v - -23. Solve 2*r - g = 5*r for r.
-5
Let s(i) = -i**2 - 6*i - 1. Let p be s(-5). Suppose -p*u - 5*v + 2*v = -2, 2 = -4*u - 5*v. Let b be (-2 - -1 - -1)/u. Solve b = -0*c - 5*c + 10 for c.
2
Let z = -3 - -6. Let a(p) = -2*p - 4. Let h be a(-3). Suppose -h*d = z*c - 12, -c + d = c - 8. Solve -3 = c*g + 17 for g.
-5
Suppose -4*b - 4*o + 24 = 0, -o - o = -b + 6. Let y = -4 + b. Let v be (-15)/9*(-5 + y). Solve -3 = v*n + 7 for n.
-2
Let d = -10 - -13. Suppose -d*l + 0*l = -18. Solve -2*y + l*y - 16 = 0 for y.
4
Let a = -9 + 30. Suppose r + a = 2*l, 2*r = l - 0*r - 18. Let w be 15/12 + (-2)/l. Solve 0 = q - w for q.
1
Let n be 6/21 - (-2)/(-7). Suppose n = 2*d + 4 - 12. Let t = d - 1. Solve t + 2 = -5*v for v.
-1
Let b = 27 + -27. Suppose b = -26*z + 30*z - 4. Solve -z = -r - 0 for r.
1
Let g = -1 - -3. Suppose l = g*l. Suppose -n = -l*n - 3. Solve -12 = -c - n*c for c.
3
Let n = -18 + 23. Solve 2*t = n*t for t.
0
Suppose -8*w = w. Solve -a = -w*a + 4 for a.
-4
Suppose -z = -2*s + 3, -5*s + 30 = -z + 3*z. Suppose -s*c = -3*c. Solve -4*o + 2*o = c for o.
0
Suppose 3*p + 6 = f, 3*f - 12 - 6 = -2*p. Let o be -2 + 0 - f/(-2). Suppose 4*v = -o + 17. Solve -3*l = -v - 8 for l.
4
Suppose o = 2*n - n - 1, -15 = -5*n. Let g = 2 + 0. Let k = g - 1. Solve o*z = k - 11 for z.
-5
Let o(j) = j**3 + 4*j**2 - j. Suppose 0*p - 2*p = 6. Let n be o(p). Solve n = -2*s - 2*s for s.
-3
Let n(w) = w + 5. Let a be n(7). Suppose -5*g = -3*g - a. Solve 0 = t - g + 4 for t.
2
Let q(x) = x**3 + 4*x**2 + 2. Let f be q(-4). Solve -f = 3*z - 2*z for z.
-2
Suppose -4*p - 4 = 0, 0 = -a - p - 2*p + 1. Solve 10 = 2*h + a for h.
3
Let w be 1/(-3) - (-65)/15. Suppose -30 = -w*z - 10. Solve 0 = 4*g + 7 + z for g.
-3
Suppose -3*a + 36 = -a + 5*h, 5*a = 3*h + 121. Let d = a + -13. Solve 3*g = -2*g + d for g.
2
Let v(d) = 9 - 12*d - 2 + 13*d. Let y be v(-6). Solve 0 = -5*l - y + 6 for l.
1
Let m(a) = a**3 - 2*a**2 - a + 2. Let y be m(2). Solve y = -0*w + 4*w for w.
0
Let k(o) = o**2 - 8*o + 7. Let b be k(9). Let i be b*((-3)/(-2) + -3). Let d = -13 - i. Solve d - 3 = 2*s for s.
4
Suppose -1 + 12 = v. Solve 1 - v = -2*p for p.
5
Let f = 10 - 2. Solve -4*g + f = -2*g for g.
4
Suppose 3*n - 8 = 16. Let o = n + -4. Suppose -3*v + 2*v = -o. Solve 0 = -h + 3*h + v for h.
-2
Suppose 5*u + 2*v - 11 = 0, -u - 11 = -4*u + v. Solve -2 + u = h for h.
1
Suppose 0 = 4*r - 8 - 52. Suppose 3*m - r = 3*f, 15 = -0*f - 3*f. Solve m = -6*n + 2*n - 8 for n.
-2
Let t be 1 - (0 - 4 - -2). Solve -z = t*z for z.
0
Let q be 27/(-6)*4/(-3). Solve -6*f + 3*f - q = 0 for f.
-2
Suppose 4*w + 36 = -4*g, 2*w = 2*g - g - 9. Let u = 10 + w. Solve -f + 7 = u for f.
3
Suppose 0 = -2*k + 2 + 4. Suppose -4*h + 36 = -x + k*x, 22 = 2*h + 2*x. Let q = -2 - -4. Solve h + 3 = q*c for c.
5
Let w(i) = 2*i**2 - 3*i + 2. Let j be w(2). Suppose -2*v - 2*o = -10, -j*o - 1 = v - 9. Suppose -14 = -v*r + 2. Solve 0 = r*q - 5 + 17 for q.
-3
Let l be (-364)/(-18) + 4/(-18). Suppose 2*g = 6*g - l. Let f be 10/8 + g/(-20). Solve f - 3 = 2*k for k.
-1
Let r be (-6)/(5/(15/(-6))). Let i be (-9)/r - -1 - -5. Suppose -i*m + 2*m + 8 = 0. Solve m = 5*p - 17 for p.
5
Suppose 0 = -3*p - 0*p - 12. Let c(k) = k**3 + 3*k**2 - 4*k + 4. Let j be c(p). Let v be (0 - -1)/(-1)*0. Solve -b + 2 - j = v for b.
-2
Suppose 5*m - 195 = 5*c, c + 164 = 5*m - 15. Let v be 21/m - 3/5. Solve -2*h - 3*h = v for h.
0
Suppose 6*u - u = 25. Let x = 14 - u. Solve 3*j + x = -6 for j.
-5
Suppose 0 = -3*b + 5*r - 36, -5*b - 41 = -4*r + 6. Let d = b + 12. Suppose d = 3*l - 7. Solve -l*k = -7*k for k.
0
Let b = -2 - -8. Suppose 5*p = -10, -3*d + 3*p = -b*d + 42. Solve -d = -5*n + n for n.
4
Let i be 0/((-3 - -2)/(-1)). Let g = 2 - 2. Solve r - 2 + i = g for r.
2
Suppose p + 5*x = 9*x + 28, -12 = 3*x. Solve u = p - 14 for u.
-2
Suppose -5*s + s = -2*n - 2, -n = -s - 1. Solve -s*d + 4*d = 4 for d.
2
Let k(x) = 10*x**2 + 2*x + 1. Let q be k(-1). Let r be (4 - (2 + -2 + -1)) + 3. Suppose -17 = -5*j + r, q = m + j. Solve -4*b + 6*b = -m for b.
-2
Let r(g) = 40*g. Let z be r(-1). Let w = 65 + z. Solve -4*t - t = -w for t.
5
Let w(o) = -o**2 + 5*o. Let p be w(4). Let i(v) = v - 4. Let k(c) = 3*c**2 + 2*c - 1. Let a be k(1). Let u be i(a). Solve -2*s - 4 - p = u for s.
-4
Suppose 16*s = 24 + 40. Solve -5*q - 1 = -s*q for q.
-1
Suppose -l + 0*l + 17 = 0. Let r = 11 - l. Let m = r - -6. Solve m = -k + 3 for k.
3
Suppose -20 + 35 = 5*m. Solve -m*s + 11 + 1 = 0 for s.
4
Let o = 12 + -10. Solve 5 = -o*u - 1 for u.
-3
Suppose -2*t - 10 = 4. Let l = t - -13. Solve -l*w - 5 = -w for w.
-1
Let y be (-21)/((-3)/(-12)*6). Let t be (y/21)/((-1)/3). Solve t*s + 2 = 4 for s.
1
Let l(z) = z**2 + 13*z - 11. Let b be l(-14). Suppose 0 = -k + 4*u - 0*u - 7, 3*k + b = 3*u. Solve 2*j - 3 = -k for j.
1
Let p = -5 - -9. Solve -15 = -7*o + p*o for o.
5
Let p be 2/8 - 44/(-16). Solve a = -0*a - p for a.
-3
Suppose -z - 4*l + 0 = 4, -2*z - 2*l + 10 = 0. Solve -z + 3 = -q for q.
5
Let f = 10 - 8. Let c(t) = t**3 + t**2 - t - 4. Let d be c(0). Let l be f + d/(-2) - 1. Solve l*b - 1 = 4*b for b.
-1
Let s(q) = q**2 - 3*q + 2 + 0 + q**3 + 4 + 2*q. Let m be s(0). Let i be 6*(1/2 - 0). Solve i*p = p + m for p.
3
Let f(y) = 3*y**2 + 11*y + 13. Let a be f(-3). Solve q + a = 2 for q.
-5
Let f(r) = -r**3 + 9*r**2 - 7*r - 5. Let b be f(8). Suppose -3*u - b*d = 2 + 4, -2*u + d = 10. Let s be u/10 + 186/15. Solve -m = 2*m + s for m.
-4
Suppose -3*p = 3*q, -5*q - 21 = 4. Let d = -52 + 25. Let r be 6/d + (-56)/(-9). Solve t + p = r*t for t.
1
Suppose 0 = -5*o + v - 5, 3*o + 3*v - 12 = 3. Solve o = -5*l + 9 - 4 for l.
1
Suppose 0 = 2*f - 5 - 7. Solve f = 4*y - 2 for y.
2
Let u(t) = 2*t**3 + 5*t**2 - 17*t - 8. Let o(g) = g**3 + 3*g**2 - 9*g - 4. Let b(f) = -11*o(f) + 6*u(f). Let s be b(4). Solve -k = -s*k + 5 for k.
-5
Let i(x) = -x**3 - 6*x**2 - 6*x - 2. Let b be i(-5). Let g be (0 - -1)/((-5)/(-10)). Suppose -j + p = -p, -4*p - g = -3*j. Solve -j = n + b for n.
-5
Let k be (-2)/(-4)*(-1 + -3). Let r be (k - 1)/(-3)*4. Solve -1 - 3 = -r*s for s.
1
Suppose 6 = -p + 3*p. Suppose -5*q + 5 = -2*h, -h - q + 0 = -1. Solve z = -h - p for z.
-3
Let l be (-3)/(3/75*-3). Solve -5*h - l = -0*h for h.
-5
Let j be (-1)/(-14)*8*28/4. Solve v = -v + j for v.
2
Let j(q) = -q**3 - 4*q**2 + 3. Let z be j(-4). Suppose 1 = -d, 2*d - z*d = 2*x - 23. Solve 4*f - x = 7*f for f.
-4
Let f = 22 + -21. Solve f = 2*p - 3 for p.
2
Let h be 1/4*(0 - -8). Solve r + 0 - h = 0 for r.
2
Let b(r) = r + 2. Let g be b(1). Solve -g*f + 16 = f for f.
4
Let s be (-2)/(-8) - (-240)/64. Solve 5*k = -16 - s for k.
-4
Let r(g) = -8*g**2 + 3*g + 11*g**2 - 7 + 32*g**2. Let v(y) = -18*y**2 - 2*y + 4. Let a(w) = 3*r(w) + 5*v(w). Let k be a(-1). Solve -4*t + k - 7 = 0 for t.
2
Suppose -k - 5*l = -26, -2*k + 5*l = 3*k - 190. Suppose -d = 3*d - k. Solve 3*f - d = 6*f for f.
-3
Let t = 2 + 0. Suppose -3*u - t*c = -3, 2*u - 4*c + 2 - 20 = 0. Suppose 2*z - 16 = -5*a + u*a, 4*z - 72 = 4*a.