 z, 3*p - 5*d - 14 = 0 for p.
3
Let a = 17 + -9. Suppose -2*i + 0 = -a. Solve -v + t - 3 = 0, i*t - 2*t - 10 = 0 for v.
2
Suppose -w = d - 2, 2*w + 6 = 5*d - 4. Suppose -2*r + 3*q = 1, 0 = 4*r + 2*q + d*q - 28. Solve 20 = -4*n + 4*h, r*h + 14 = -4*n + 5*h for n.
-3
Suppose -4*i + 3*i + 4 = 0. Solve 3 = x + 2*m + i, m = 3*x + 3 for x.
-1
Suppose -9 = q + 2*q. Let k = q + 4. Let b = -2 - -3. Solve 2 = 4*t + 5*h, 0 = 4*t + 3*h + b + k for t.
-2
Let t = -61 + 75. Solve -4*z = 4*x + 8, 2*x + t = z + 2*z for x.
-4
Suppose -3*b + 15 = 5*m, -m - 7 + 2 = -b. Let c(l) = -l**3 - 8*l**2 + 2. Let x be c(-8). Solve -x*r = -4*v - r + 25, 0 = b*v + 5*r for v.
5
Let o = -14 - -15. Solve o = c - 2*d - 8, -2*c = d + 2 for c.
1
Let m(j) = -8*j**2 - j + 1. Let l(b) = 15*b**2 + 2*b - 2. Let g(h) = 6*l(h) + 11*m(h). Let p be g(-1). Solve -k - 4*s + 3 = p, s = -2*k + 3*k + 2 for k.
-1
Let t = -5 - -7. Suppose -d = -u + 2, t*d = 3*u + 5*d + 18. Let b be (2 + u)*2/4. Solve 2*v = x - b*v + 9, 20 = 5*v for x.
-1
Let w be (18/4)/(26/52). Solve 3*k - 5 = x + w, -5*k + 3*x + 22 = 0 for k.
5
Let p(g) = g + 6. Let n be p(-5). Suppose -2*y - 3*a + n = -10, -2*a - 10 = -3*y. Let w = -32 + 34. Solve 0 = y*s + w*l - l - 13, 0 = 4*s - l - 19 for s.
4
Let n(j) = j**3 + j**2 - j + 4. Let d be n(0). Let l be ((-2)/3)/((-10)/225). Suppose 0 = 4*r + 3 - l. Solve 0 = d*o + 20, -r*f + o + 9 = -2*f for f.
4
Let q(x) = -x**3 - 7*x**2 + 9*x + 3. Let c be q(-9). Let v be c/15 + 2/5. Let f be v*(-1)/((-9)/6). Solve -f*n + m = -19, n + 0 - 6 = -m for n.
5
Suppose 0 = 5*m - 2*m + 4*h - 26, 3*m - 24 = -3*h. Solve -3*u = -4*g + 14, -2*u + 5*g = -4*u + m for u.
-2
Let i be 6*(0 - -2)/6. Solve -2 = 3*a + 2*w, -w + 6*w - 17 = -i*a for a.
-4
Suppose -l = -3*c - 15, 3*c - 57 = -3*l - 0*c. Solve o + 3*g + l = 0, -3*o - 4*g = -0*o + 29 for o.
-3
Let n(g) = -g**3 - 8*g**2 + g + 11. Let a be n(-8). Suppose a*f = -p + 14, 6*f + p = f + 22. Solve f*q = -4*w + 28, -q + 3*w + 19 = 4*q for q.
5
Suppose -5*o - 3*y = -0*o - 121, 41 = o - 5*y. Solve -w - o = -5*w + 2*c, 4*c = -w - 7 for w.
5
Suppose 5*b - 4 = -4*v, 0 = 3*b - 0*b + 2*v - 2. Solve 0 = -5*c - 5*z, -c = -b*c - 2*z - 3 for c.
1
Let j(x) = 5*x - 2. Let m be j(4). Let t = m - 13. Solve 4*y - 3*v + 9 = 0, -v + t = -3*y + y for y.
-3
Let v(c) = c**2 - c + 15. Suppose 4*u + 9 = -3*h, 2*u + h + 3 = -0*h. Suppose u = 3*q - 2*q. Let p be v(q). Solve 0 = -3*a - r + 19, 6*r = a + r + p for a.
5
Suppose -2*v - 36 = -4*v. Suppose -4*p + 7 = j, -9 = -5*p + j + 2. Solve -p*b - 4*a = -v, 4*b + 5*a = -0*b + 24 for b.
1
Let l(t) = t**2 + 6*t - 5. Let n be l(-7). Suppose 2*w = n*v - 2*w - 4, 3*v = 3*w + 6. Solve u + 3*m + 14 = 0, -v*u = -4*u + 5*m + 16 for u.
-2
Let x(b) = -b + 4. Let u be x(4). Let p be (-119)/(-14) - 1/2. Solve -o + p = 4*n - 3*n, -4*o + 20 = u for n.
3
Let c = -3 + 3. Let u = 7 + -5. Suppose -3*h + 35 = -u*k, -2*h + 85 = 3*h + 2*k. Solve 0 = -4*a + 12, -3*r + 0*a - 4*a + h = c for r.
1
Let z be ((-4)/10)/((-2)/(-40)). Let c(b) = -b**3 - 3*b**2 + 2*b + 1. Let u be c(-3). Let n = u - z. Solve 9*f + 10 = q + 4*f, 0 = -3*q + n*f + 6 for q.
0
Let j = 10 + -7. Suppose 5*b - j*u - 2*u = 5, -4*u = -20. Suppose 3*t - b = t. Solve 0*k + 4*k + 15 = -y, -7 = k - t*y for k.
-4
Suppose -y + 1 = -4. Let p(m) = -m**2 - 7*m - 2. Let l be p(-6). Solve 4*u + 3 = 2*t - t, l*u + 15 = y*t for t.
3
Suppose -3*j + 8*j - 10 = 0. Let g = j + -5. Let v(o) = -o**2 - 3*o + 3. Let l be v(g). Solve -l*p = 4*y + 8, -4*y - 3*p - 12 = p for y.
1
Let j(i) = -i**3 - 9*i**2 - 8*i + 5. Let z be j(-8). Solve -3*a = c + z, 4*a = -c - 8 + 3 for c.
-5
Let n(s) = -2*s + 4. Let d be n(4). Let b = d - -6. Solve -b*v - 18 = -5*x + x, -4*x + 3 = 3*v for v.
-3
Let l(m) = 22*m + 10. Let c(p) = -7*p - 3. Let r(v) = 7*c(v) + 2*l(v). Let w be r(-1). Solve 3*d + s = -10, 4*s + 4 = w*d + s for d.
-2
Let o = 11 + -9. Let z(a) = 5*a**2 - 4*a + 2. Let t be z(o). Solve v - t = 3*m, 0 = 3*v - 3*m - 0*m - 24 for v.
5
Let b be ((-3)/6)/(1/2). Let z be -2 + b - (-3 - 3). Suppose z*i - 3*n = i + 49, 2*n + 46 = 2*i. Solve 0*m + m = -5*x + 5, -i = -4*m + 5*x for m.
5
Let v(s) = s + 5. Let p be v(0). Suppose 6*w - w = -p*i, 0 = -2*i. Solve -5*d + y + 13 = w, -3*y + 0*y + 6 = 0 for d.
3
Let t be ((-2)/(-4))/((-3)/6). Let c be (-2)/(-4)*-2 - t. Solve c = -3*v - 5*u - 13, 3*v - 4*u + 0*u = 5 for v.
-1
Let g be 1 - 3*2/(-6). Solve -4*m + 2 = d - g, m = 3*d + 14 for d.
-4
Let k be (-1 + -12)*12/6. Let w be (-4)/k + (-50)/(-13). Suppose -h - 3 = 1, f - 20 = w*h. Solve -f*i - 7 = 5*l, -1 = i - 2*l + 3*l for i.
2
Suppose 18 = 5*v - 3*b, -5*v + 0*b + 26 = -b. Let y = -1 + 2. Solve -x = -v*t + 3*t + y, -2*x + 5 = t for t.
1
Suppose -4*r + 36 = 14*r. Solve 0 = 5*b - f - 6, -b + 4*f - r*f + 3 = 0 for b.
1
Suppose -32 = -5*d + 4*a, -d + 2*a = 3*d - 22. Solve -2*s + 24 = -5*x, -d*x = -0*s + s + 14 for s.
2
Suppose 0 = -0*w + 3*w - 30. Suppose -3*d = 2*d + 5*u - w, -4*u = 4. Let o = -14 + 18. Solve 7*n + 4 = d*n - 3*t, -2*t = -o*n + 16 for n.
2
Let a(c) = c**3 - 8*c**2 + 7*c + 4. Let x be a(7). Solve 3*w = v, x*v + 4 = w + 15 for v.
3
Let u be 2/8 + 738/24. Let d = -25 + u. Solve -4*k + 2*y + d = 0, -k = k + 3*y - 7 for k.
2
Let n be 38/(-10) - (-2)/(-10). Let j = n + 9. Let y = 2 + 3. Solve -y*h - w = 1, 2*h + 5 = -j*w - 0*w for h.
0
Let w be 0 - -2 - (-125 - -1). Let i be (w/(-15))/((-2)/20). Suppose 4*r - i = -0*r. Solve 0*o - 3*d = 3*o - r, 5*o = 2*d + 14 for o.
4
Let x = 74 - 49. Solve -5*u + x = 0, y - 6*u = -3*u - 12 for y.
3
Let a be 4/10 - (-2)/(-5). Let o = 2 + 0. Suppose -2*k - y + 2 = -k, 0 = 2*y + o. Solve a = 5*t - 4*v - 5, k*t - 5*v - 5 = -2*t for t.
1
Let j = -3 - -6. Suppose -l = -j*l. Let i be 11/4 + (-2)/(-8). Solve 0*v - i*v = -2*p + 5, 3*p - 5*v - 10 = l for p.
-5
Let n(w) = -w - 5. Let v be n(-5). Let u(d) = 1 + v*d + 4 - d. Let l be u(5). Solve -4*a + l*a + 16 = -5*q, -q - 12 = -3*a for q.
0
Let v = 82 - 80. Solve 12 = -v*h + 4*u + 32, -3*u - 8 = 2*h for h.
2
Let t(w) = w**3 - 14*w**2 + 3. Let u be t(14). Suppose -5*g + 10 = -3*o - 1, 3*o = 9. Solve -4*i - 7 = -i - h, -g*i - 1 = -u*h for i.
-4
Suppose -3*f - 4*u = 0, -3*u = -2*f + 2*u. Let v be (-12)/2 + (2 - 1). Let t = -1 - v. Solve -4*i + 2*z - 14 = f, -4 - t = i + 4*z for i.
-4
Suppose 2*s - 18 + 6 = 0. Suppose -s = -2*k + k. Solve -3*g - 5*a + 2*a = 3, -4*g - 2*a = -k for g.
4
Let j = 18 - 16. Solve -4*w + d + j = 0, -4*d = -4*w - d + 6 for w.
0
Suppose 0 = 4*g - 9*g, -q - 3*g = -2. Suppose -t = -q*t. Let x = t - -3. Solve -5*a + 5*h = 0, 4*a + 3*h - x - 4 = 0 for a.
1
Let x be 15/((-18)/(-6))*4*1. Solve 0 = 5*y + 4*u + 25, 0 = -4*y - 0*y + 5*u - x for y.
-5
Suppose -3*c = -3 + 6. Let a be (-1)/((-2)/22) + c. Let l be (8/a)/((-4)/(-10)). Solve -4*p - 3 = i + 14, 0 = -l*i + p + 11 for i.
3
Let i be (-27)/18*(-2 + 0). Solve -3*z + 15 = -r + 2*z, -4*r - 14 = i*z for r.
-5
Let t = 22 + -10. Solve 0 = y - 4*c + 4, -5*y + t = -5*c + c for y.
4
Let m(c) = c**3 - 9*c**2 + c - 3. Let y be m(6). Let i be y/14*2/(-3). Solve 2*l = 2*o, 0*l - i*o = 3*l for l.
0
Let i = 2 - 6. Let l = i + 7. Let g(c) = c + 3. Let k be g(-2). Solve -4*r + 2*a = k + 5, -l*r + a = 4 for r.
-1
Suppose -q - q = -4. Suppose 0 = u + q*u - 18. Solve -2*c + 10 = -4*m, -c - 12 = -3*m - u*c for m.
-1
Let t(s) = 7 + 4*s + 8*s - 11*s. Let a be t(-4). Solve i + a*z = -15, -2*i - 5*z - 3 = 23 for i.
-3
Let u be 0/(-2)*2/4. Let k(h) = -7*h**3 - h**2 - 2*h - 1. Let n be k(-1). Solve u = -4*j + l - n, 3*l - 4 = -2*j + l for j.
-1
Let u = 1 - -4. Let l be ((-12)/9)/((-1)/3). Solve -3*m - 3*v = -3, 3*m - u = -v + l for m.
4
Suppose 30 = 5*c + 10. Solve -d - 5*v = -4*d + 1, -c*v - 8 = 0 for d.
-3
Let n(o) = 8*o + 8. Let d be n(1). Solve 0 = -2*y + 4*c + d, -y - 3*c + 4*c + 5 = 0 for y.
2
Let b be 1*0*(1 + -2). Let v = 3 + b. Let w = -11 - -17. Solve -v*t + w = 2*c - 2*t, -3*c + 8 = 2*t for c.
4
Let y = -10 - -5. Let w(b) = -b**2 - 6*b + 1. Let h be w(y). Suppose i - 2*i + h = 0. Solve 3*n - i = -3*p, -2*p + 3*n = -6*p + 9 for p.
3
Let c be 4 + (3/(-1))/1. Let u(a) = -a**2 + 1. Let q be u(c). Let s = q + 5. Solve 3*l - 2 = -s*j, l - j + 10 = 4*l for l.
4
Let o(y) = 2*y**2 + 3*y - 2. Let b be o(1). Solve b*h - 10 = 3*n + 4*h, 0 = -4*h - 16 for n.
-2
Let x be (-1)/(-4) + 23/4. Solve x = 3*d, y - d - 