 - 2*v - 4*p - 12 = 0 for v.
4
Suppose i - 13*i + 48 = 0. Solve 0 = i*g - z + 2, -3*z + 6 = -6*z for g.
-1
Suppose -3*l = -l - 4. Solve -l*f + 3 = x - 6, 2*x = 2 for f.
4
Suppose -5*q + 5*u + 8 + 12 = 0, 0 = 3*q - u - 6. Let c(k) = 2*k + 2. Let y be c(q). Solve -4*z - 27 = 3*f - z, -2*f + 6 = -y*z for f.
-5
Let g = 1 + 1. Solve -3*y - b = -1, g = 4*y + b + 1 for y.
0
Suppose -4*m = -m - 9. Suppose -m*g + 0*q = -3*q + 6, 5*g - 2 = 2*q. Solve o + 4*o - 28 = c, 4 = g*c + 2*o for c.
-3
Let f be (((-1512)/(-16))/(-9))/(2/(-4)). Solve -4*n - s - 14 = 0, 3*s + f = -n - 4*n for n.
-3
Let t(x) = -x + 10. Let w be t(7). Suppose -f + 100 = w*f. Solve 5*d = -a - f, -3*d = -2*a - 3*a + 15 for d.
-5
Let u(m) = -m**3 - 4*m**2 + 3*m - 7. Let h be u(-5). Solve 11 = f - 7*y + 3*y, -h*f + 4*y + 1 = 0 for f.
-5
Let k = -10 + 13. Solve -4*q = -k*y - 19, 5*q - 18 = q + 2*y for q.
4
Let d(x) = x**3 - 2*x**2 + 4*x - 3. Let g be d(2). Solve g*o - 2*v = 3*v, 0 = 4*o + 3*v - 14 for o.
2
Suppose 4*d + 0*d + 2*u = 2, u = -1. Solve -5*k = -i + 5, -5*i = -4*k + d - 5 for k.
-1
Let d be (-1 + 7)*(-2)/(-4). Solve d*r - 5 = -2*r - 3*p, 2*p = 2*r + 14 for r.
-2
Let h be (-2)/(6 - 0)*3. Let i = 6 + h. Solve -t + 21 = -5*v, -7 = i*t + 2*v + v for t.
1
Suppose 16 = -j + 5*j. Suppose -15 = -4*g + g. Let y be 3/(-6) - g/(-2). Solve -4*n + j*z = 8 + 20, -y*n - 4*z = -4 for n.
-4
Let d be (-54)/18 + (11 - 1). Solve 2*z = -k + 7, -3*k = d + 2 for z.
5
Suppose u + 2*c - 4 = -4*u, -u - 5*c = 13. Solve 7*k - 19 = 3*k + d, 2*d - u = 0 for k.
5
Let b(k) = k**2 - 11*k + 26. Let v be b(10). Let x be 68 + (-2)/(-2)*1. Suppose m - x = -2*m - 3*t, m - 20 = 2*t. Solve g + m = 3*n + 2*n, -v = -4*n for g.
-2
Let u = -8 - -12. Suppose -2*d = -u - 4. Solve 3*r - 3 = -3*c - 15, 5*c = -d*r - 17 for r.
-3
Suppose -20 = -5*q + 5*l, 0 = -3*q + 5*l - 7 + 17. Suppose 6*o - 20 = 2*o. Solve -4*n + 20 = 2*g, q + 5 = o*g for n.
4
Suppose 0 = 4*l + l - 10. Suppose -l*z - 4 = -4*z. Solve -3*j = z*j + 2*d + 23, -5*j - 3 = -3*d for j.
-3
Suppose 3*l + 20 = -r + 7*l, -5 = 5*r - l. Solve 5*z + 2*j + 18 = -9, r = 3*z - 3*j + 12 for z.
-5
Let p = 43 - 41. Solve -5*n + 7*c = p*c - 5, 4*n + 3 = -3*c for n.
0
Suppose r - 2*r = 0. Suppose -5*v = -r*v - 15. Solve -2*m - g = -v, -3*g = -m - 0*m - 2 for m.
1
Suppose 0 = -3*k - k - l - 50, k + 2 = 5*l. Let j(u) = u**3 + 13*u**2 + 13*u + 15. Let g be j(k). Solve 4*y - 17 = -g*p - 2*p, 0 = -y + 2*p + 1 for y.
3
Let h be 2*2/(-1) + 0 + 4. Solve 5*d = 2*l - 7*l - 20, -5*l - 4*d - 15 = h for l.
1
Let d(z) = -z**3 + 3*z**2 - 4*z + 12. Let x be d(3). Solve 3*i - 5*k - 1 = x, -4*i + 11 = 4*k - 1 for i.
2
Let j(u) = 20*u**3 - 4*u**2 + 2*u + 2. Let n be j(1). Solve f - n = -5*s, -s + 8 = -4*f + s for f.
0
Let l(q) = q + 11. Let z be l(-9). Solve -4*o = 4*x, z*o - x = 2*x + 5 for o.
1
Let s(x) = -6 + 9 + x + 5. Let i be s(-6). Let u = i - 0. Solve u*h + 10 = 0, 2*h + 4 = -y - y for y.
3
Let l(x) = x**3 - x + 4. Let u be l(-3). Let s = 31 + u. Solve 2*i = 3*b - 11, -4*i - s = -3*b - 4 for b.
5
Let a(g) = -g**3 - 7*g**2 - 6*g + 4. Let j be a(-6). Let m = j - 1. Let n be (-2)/(2*2/(-22)). Solve 3*t = -3*h + 15, m*t - h - n = -0*h for t.
4
Let w(p) = 7 - p**2 - 6*p + 2 + p - 4. Let k be w(-5). Solve -2*o = k*b + 6, -2*o - 6 = 2*b - 5*b for b.
0
Let v = 23 - 13. Let a(n) = -6*n - v*n**2 + n**3 + 5 - 2*n**3 + 3*n**2. Let r be a(-6). Solve r*y - 5*f = 0, -3*f = -5*y + y + 5 for y.
5
Let q = 3 - 2. Let i be q - (3 - (-3)/3). Let b be (-20)/1*(i - -2). Solve y = 2*w - 3, b = -w - 4*w - 3*y for w.
-1
Let i(f) be the third derivative of f**5/5 + f**4/24 - f**3/6 - 2*f**2. Let t be i(1). Solve -5*p = -3*g + 12, t = p - 5*p for g.
-1
Let x(n) = n**3 + 7*n**2 - n - 3. Suppose -5*a - 35 = f, -a = 4*a - f + 35. Let w be x(a). Solve 0 = 2*z + 3*z + 4*u, -w*u = -20 for z.
-4
Suppose -5*r = 3*q - 11, -q + 3*r - r = -11. Let f be 4/10 - (-26)/10. Suppose -3*c + 9 = f. Solve -2*n = t - c, 5*t - n - q = -30 for t.
-4
Suppose i + 13 = -2. Let w(b) = -2*b - 6. Let v be w(i). Solve r = 4*u + 4, -4*u - v = -0*r + 4*r for r.
-4
Suppose 7*m - 12 = 4*m. Suppose -5*d + 45 = m*i, -3*d + 5 + 0 = -2*i. Solve 3*y - y - 2 = -i*p, 5*y = -4*p + 5 for p.
0
Suppose -3*f + 6 = -0*d - 3*d, -2 = -3*d - 5*f. Suppose -h + 20 = -5*h. Let z = d - h. Solve -2*m = x + 6, m + z = x - 5 for m.
-5
Suppose 2*r - 6 = 2. Solve -r*h + 2*k = -8 + 22, h = -4*k - 8 for h.
-4
Let j(w) = w**3 - 9*w**2 + 8*w + 2. Let r be j(8). Let s = -7 - -12. Let m be ((-1)/2)/((-2)/8). Solve -s*u = -12 + 2, -m*u - 2 = -r*v for v.
3
Let f be 1/(2 + 5/(-3)). Let s = 7 + -14. Let o be 1 + (-6)/2 - s. Solve f*r + d = 11, 3*r - 5*d = o*r - 29 for r.
2
Let z(x) = -x**2 - 7*x - 2. Let v be z(-6). Let g be 5/20 - (-11)/v. Solve -3*f + 13 = -4*o + g, -4*o = 5*f + 26 for f.
-2
Let o(i) = -6*i**3 + 2*i + 1. Let t be o(-1). Let l(p) = -p**3 + 5*p**2 + 6*p + 1. Let b be l(t). Solve -5*a + 3*z = -b, -z - 2 = -0*z for a.
5
Let v(z) = -3*z**2 - z. Let q be v(-2). Let w = q - -15. Solve 18 = -4*j + 2*f, -2*f - 2*f + 30 = -w*j for j.
-2
Suppose 0 = q - 2*q. Suppose q = -f + 2*w + 25, 2*f - f - 20 = w. Solve -3*g = 3*b + f, 4*b - 9*g = -4*g - 20 for b.
-5
Suppose -12 = -5*w + 3. Solve -z + 3 = -4*x, w*z + 2*x = 5*x - 9 for z.
-5
Let q(c) = -c**3 - 5*c**2 + 3. Let r be q(-5). Suppose -2*y + 33 = 5*f, -2*y - 2*f - 7 = -5*f. Solve -i - 15 = y*d, -r*d - 4 - 12 = -4*i for d.
-4
Let r = -45 + 49. Let l(o) = -o. Let y be l(7). Let c = y + 10. Solve -r*w + 3 = -j - 0*j, -3*j + c = 0 for w.
1
Suppose 2*h = 5*v + 9, -2*v + 48 = 5*h + 11. Solve 5 = 4*m - 4*a - 3, -2*a - h = -3*m for m.
3
Let u be (-2 + -3 + -1)/1. Let m = u - -8. Solve -2*d = s - 7 - m, 20 = 4*d + 4*s for d.
4
Let u = 0 - 30. Let d be (24/(-10))/(4/u). Solve 0*z + 2*z + d = 2*o, -4*z = -3*o + 31 for o.
5
Let l be ((-4)/(-8))/((-2)/(-40)). Suppose 3*g - 5*b + 1 = -9, 5*b + l = -g. Let n = -1 - g. Solve -q = q + 6, -5*p - 17 = n*q for p.
-1
Suppose 5*v + 2*n + 7 = 79, -3*v = -4*n - 38. Solve -2*i + 2*d = -8, -4*d + v = -2*i + 4*i for i.
5
Suppose 4*o + 2*f - 54 = 0, 2*o + 2*f - 21 = 3*f. Suppose 0 = 3*b + b - o. Suppose -2 = -b*y + 4. Solve 5*t - 6 = 3*t + u, -4 = y*u for t.
2
Let j(m) = -2 + 6 + 2*m + 0. Let q be j(-3). Let z be (-2)/q + -2 + 8. Solve -a - 3*d = -z, -5*a + a - 5*d = -7 for a.
-2
Suppose 2 - 35 = -3*s. Let h = s + -17. Let d = 11 + h. Solve -d*x + 3*w - 2 = 0, 4*x + 0*w - 20 = -3*w for x.
2
Suppose 13*g = -6 + 32. Solve -l + g*l = -5*i, 3*l = -i for i.
0
Suppose 0 = -8*x + 6*x. Solve -4*q - j + 1 = x, 0 = j + 3 for q.
1
Suppose 3*t - 6*t = 57. Let o = -13 - t. Solve -d + 4*c = -o*d + 5, -d - 2*c = -1 for d.
1
Let o = 17 - 17. Suppose 6*p - 9 - 3 = o. Solve -5*l = -3*a - 32, -l - 4*a + p = 14 for l.
4
Let u(h) = h**3 + 9*h**2 + 7*h - 6. Let b = -41 - -66. Let z = 17 - b. Let j be u(z). Solve 3*p - 3 = -3*d, -2*d = 3*p - 0*d - j for p.
0
Suppose 4*g = -3 + 15. Suppose -g*j + 0*j = -72. Solve -3*u = u + 5*x + j, 3*x + 14 = -2*u for u.
-1
Suppose 0 = -4*v + 20 - 0. Solve 2 = -v*m - a, -2*m + 8 = -7*m - 4*a for m.
0
Let r = 199 - 192. Solve n - 2*s + 6 = 0, -r*s + 10 = -2*s for n.
-2
Let s(h) = 5*h + 5. Let y be s(0). Solve -4*c - 2 = -2*p, 3*c = -c + 3*p - y for c.
1
Let p be (10/(-4))/((-30)/24). Solve -p*f = -3*q - 4, 3 - 11 = 2*f for q.
-4
Let d(q) = -q. Let p(j) = 8*j**2 + 2*j. Let i(m) = d(m) + p(m). Suppose 0 = -10*h + 18 - 8. Let w be i(h). Solve -f = 3*s - 11, -s - 2*s + w = 0 for f.
2
Let p be 1 - (-3 + 3/1). Let v be p/4 - 22/(-8). Solve -5*h - 2*k - 14 = -v*h, -3*k = h + 15 for h.
-3
Let k(x) = x**3 - 7*x**2 + 3*x - 12. Let i be k(7). Solve -2*t - 3*t = 0, 0 = 3*a - 4*t - i for a.
3
Let v = -22 - -27. Suppose q = -0*q - m - 23, -15 = 3*m. Let f be (0 - v)*q/5. Solve -2*d + 5*z = -f, -z + 8 = 4*d - 6 for d.
4
Let d be 4/(-10) - (-115)/(-25). Let q be 1/d - 672/(-35). Solve -q = l + 4*t, 3*l = 2*l - t - 7 for l.
-3
Suppose 11*o + 40 = 13*o. Solve -s + o = 3*t, -s + 5*t = -4*s + 40 for s.
5
Let f be 0 - (2 + 1 - 0). Let q be (12/10)/(f/(-10)). Solve 0*c - 14 = 2*c - q*r, -5*c + 2*r = 19 for c.
-3
Let m(k) = -k**3 + 3*k**2 - 2*k + 2. Let n be m(2). Let s be (-1)/n*-6 - 1. Suppose -2*y + 20 = s*y. Solve -5 = -h - y*d, 3*h - 15 = -0*h + 2*d for h.
5
Let t(u) = -u**2 + 5*u + 4. Suppose -3*y + 5 = 2*w + 