1, 0 = -5*b + 25 for q.
4
Suppose x = -x - 2*p + 40, 3*p = 6. Solve t = -a - 4*t - x, -t = -2*a + 8 for a.
2
Let j(z) = -z**3 + 3*z**2 + 2*z + 4. Suppose d - 10 = -3*d + t, 3*d = 4*t + 1. Let g be j(d). Solve -16 = -3*i + r, -4*r + 1 = -i + g for i.
5
Suppose 54 - 66 = -3*x. Solve 0 = 3*v + v - 5*i + 15, -3*i - 23 = x*v for v.
-5
Suppose -o - 2*o + 15 = -5*c, -4*o - 5*c = -20. Solve o = -z - 4*y - 2, 2*z + 2*y = -2 for z.
1
Let d(f) = 4*f**3 - f**2 + 2*f - 1. Let z be d(1). Solve -4*p - t + 4 = 0, -2*p - z*t + 20 = t for p.
0
Let b = -3 - -5. Let l = 29 - 4. Suppose -l = -3*x - 2*x. Solve 4*n - 2 = b*g, 17 = x*n + 5*g - 8 for n.
2
Let a be 1*(-3 + 1 + 2). Solve -4*j + 4*z - 12 = a, -2*j = -5*z + 2*z + 10 for j.
1
Suppose -56 + 8 = -12*x. Solve 4*c + 28 = x*a, 0 = 4*a + 5*c + 3 - 13 for a.
5
Let g(h) = -h**2 + 4*h + 15. Let j be g(6). Solve 2*q = -f - j*f + 24, f = 4 for q.
4
Suppose -36 = -z + 56. Let m = z - 66. Solve -3*i - 5*w - 14 = m, 10 = i - 3*w for i.
-5
Let k = 3 + -1. Let i be -6*32/(-18) - 3/(-9). Solve -2*d = -d - 2*n - i, -d - 9 = k*n for d.
1
Suppose -16*y + 9 = -15*y. Let l be ((-6)/4)/(6/(-8)). Let z be (-4)/3*3/(-1). Solve -l*f + 4*q - z = q, -f + 5*q = y for f.
1
Suppose -5*b = 2*v + 9 + 14, -2*v + 5*b = -27. Suppose 3*j + 6 - 21 = 0. Suppose v = -c + j. Solve 3*h - 7*f = -2*f - 9, -c*h = -5*f + 12 for h.
-3
Let a = -28 + 30. Solve 2*t = -4*m - a*t + 4, -4*t - 6 = 2*m for m.
5
Suppose -3*g = n + 6 + 1, 0 = 4*g - 4*n + 4. Let q be 68/12 - 2/(-6). Let f = g + q. Solve -3*h + f*d = -5, -2*d + 4 = 2 for h.
3
Let u be ((-6)/10)/(1/(-5)). Solve 0*w = t + w + 1, w = u for t.
-4
Let f be ((-12)/9)/(1/(-3)). Suppose 12 = -3*s, 0*o + o + f = -5*s. Solve 24 = -2*q - 4*p, -p - o = 3*p for q.
-4
Suppose 5*p - 3 = -2*i - 7, -3*p = 5*i - 9. Suppose -r - 8 = -11. Solve -2*k - 3*c - 9 = 2*c, -r*c + i = 4*k for k.
3
Let p = -90 + 92. Solve -6*g + 3*s = -g + 6, 4*s = p*g - 6 for g.
-3
Let j(r) = 5*r**2 + r + 5. Let d(o) = 5*o**2 + o + 4. Let q(a) = 7*d(a) - 6*j(a). Let p be q(-2). Solve 2*t - 6*t + p = 0, 3*u + 4*t = 4 for u.
-4
Let l(u) = -u + 5. Let s be l(5). Suppose 13*c - 6 = 10*c. Suppose -8 = -c*x - 2*x. Solve s*r - x*r - 4*t - 18 = 0, 3*t + 11 = r for r.
-1
Let p = -17 + 9. Let o = -4 - p. Suppose 2*j = -2*j - 4*a + 16, -o*j + 4 = -2*a. Solve 0 = -j*r - 2*d + 12, -d + 5*d - 15 = -r for r.
3
Suppose 0*m = 2*m - 6. Suppose v = m*v - 6. Let s(p) = -3*p - 4. Let y be s(-6). Solve -2*a - 3*l - 2 = y, 5*a + v*l = -31 for a.
-5
Let k be -5 + 1 - (0 - 32). Suppose 2*a + a = 6. Solve 4*t = -3*v + k, 5*v = t - a*t + 24 for v.
4
Suppose h + 18 = 2*h - 4*c, -4*h - 2*c = 0. Let i = h - -1. Solve 5*a - 4*f = 27, f + 9 = -a + i*a for a.
3
Suppose 5*p - 3 = -3*j - 5, 2*p = -3*j + 1. Let w be j - -1 - (4 + -4). Solve -4*x + 3 = -3*y + 4, -y + w*x + 1 = 0 for y.
-1
Let f(i) = i**2 + 5*i - 9. Let j = -5 - 2. Let o be f(j). Solve -3*q - 4 = 4*c, -3*q - 2*c = 3 + o for q.
-4
Let c(l) = l + 19. Let r be c(-10). Solve i + i = 4*k + 12, 3*k + r = i for i.
0
Let s = 1 - -5. Suppose s = 2*u + 2*d, -d - 2 = -3*u + 3*d. Let v be (u + -2)/((-3)/(-3)). Solve q - 4*c - 3 = v, 4*q + 5*c + 35 = -q for q.
-5
Let k = 40 + -35. Solve -23 = 3*t + 2*j, -t = -4*t - k*j - 35 for t.
-5
Suppose 0 = -4*s - 4, x + 4*s + 7 = 2*x. Suppose 5*y - 7 = x. Solve -k - 18 = -3*g, 9 + 12 = 3*g - y*k for g.
5
Suppose u + 25 = 6*u. Solve 0 = -u*m - d - 27, -d = 3*d + 8 for m.
-5
Let j(v) = -v**3 - 3*v**2 - v + 2. Let x be j(-2). Solve x = -5*m - k + 15, 4*m + 0*k - 18 = -2*k for m.
2
Suppose m = -2*s, 2*m - m = -4*s + 4. Let d be -3 - (-5)/(s + -1). Solve -1 = 3*w + 2*o - o, -d*w = o - 1 for w.
-2
Let p be (-4 - (3 + -7))*1/1. Solve -5*n = t + 1, p = -4*n - t - 0*t for n.
-1
Let k(o) = -o**3 + o**2 + o + 4. Let u(m) = m. Let x be u(0). Let z be k(x). Solve -5*b + 9 = -z*h, -4*h = h + 5 for b.
1
Suppose 2*u + 3*u = -0*u. Solve 5*d - 15 = u, 8*o + 8 = 4*o - 4*d for o.
-5
Let i = 35 - 17. Let u = i + -13. Solve 4*n = u*l - 25, -l - 5*n + 2 = -3 for l.
5
Let f(o) = -o**2 - 3*o + 3. Let w(g) = g. Let v be (-52)/20 - 2/5. Let y be w(v). Let q be f(y). Solve 0 = 3*j - q*c, -5*j + 0 + 3 = -2*c for j.
1
Let w(a) = a + 3. Let q = 3 - -4. Let p be w(q). Let b = p + -5. Solve 0 = -3*d + b*s - 19, 3*s = -5*d - s + 30 for d.
2
Let g be (8/10)/((-198)/(-45) + -4). Solve 0 = p - 3*f + 3 - 2, 4*p = g*f - 14 for p.
-4
Let p be -2 + 3 - (-3 - 0). Suppose -p*d = -0*d. Solve -3*x + 2*x - 5*a = 29, -x + 3*a + 11 = d for x.
-4
Let r(m) = m**2 - 10*m + 4. Let b be r(10). Solve -i + 1 = k, -k - b = -4*i + 2*k for i.
1
Suppose s + 5 = 2*s. Suppose s*m = m. Solve m = 3*i - 3, 2*i = 5*r - 3*i + 15 for r.
-2
Let g be 18/(-4)*4/(-6). Solve 0 = g*t + n + 7, -2*n - 4 = -n for t.
-1
Let q be ((-11)/2 - -3)*2. Let m = 9 + q. Let x(a) = 5*a - 1. Let v be x(m). Solve -10 = -2*b + t, -4*b + t + v = b for b.
3
Let g = -3 - 7. Let y be (24/20)/(3/g). Let s = 6 + y. Solve -3*p = -4*j + s*p + 28, p = -4 for j.
2
Suppose 0 = -4*n + i + 501, 86 = n - i - 37. Let l be 4/6*n/12. Solve f - l = 2*m, 4*m + 3*f = -0*f - 19 for m.
-4
Let x(i) = -i**3 + 14*i**2 + 2*i - 25. Let l be x(14). Solve -v - 5 = -d - l*v, 0 = -5*d + 2*v + 13 for d.
3
Let x(w) = 21 - w**3 + 0*w**3 + w**3 - w**3. Let i be x(0). Solve -3*f = 2*y + i, 2*f - 1 = -3*y - 20 for f.
-5
Suppose -3*k = -k - 6. Solve -3*n = 4*t + k, 4*n - 4*t - 1 = 5*n for n.
-1
Let h(m) = m**3 - 5*m**2 + 3*m - 1. Let c be h(3). Let y(d) = -d**2 + 3*d - 3. Let p be y(4). Let b = p - c. Solve -k - 1 = -2*s, 8*k - b*k + 18 = -3*s for s.
-1
Let n(f) = -f - 1. Let s be n(-5). Suppose 3*k + 9 = -s*o - 6, 0 = -5*k - 25. Solve 1 = -p - o*z + 3*z, -p - z = 5 for p.
-4
Let v(q) = 4*q + 31. Let y be v(-7). Solve 4*a - 13 = y*x, 3 = -a - 2*x - 2 for a.
1
Suppose 0 = -2*p - 3*d + 13, 4 = -4*p + d + 3*d. Solve -3*w = -4*b - p*w - 15, b + 4*w = 9 for b.
-3
Let v = 5 + -1. Let y(b) = b - 8. Let i be y(v). Let f = i + 7. Solve -2*l - f*s + 0 = 13, -3*s - 8 = l for l.
-5
Let l(p) = -p - 5. Let n be l(-6). Let z = 29 - n. Solve 0 = -5*c - 3*g + g + 21, -4*c + 4*g = -z for c.
5
Let t(w) = -2*w + 1. Let j be t(-1). Suppose j*q - 7*q = 0. Solve 4*s - 28 = -4*v, q = 4*v + 2*s - 20 for v.
3
Suppose 0 = 6*b - 17 - 31. Solve 12 = 3*y, 12 = 4*i + 2*y - b for i.
3
Suppose i - 11 = -2*y - 0, 5*y + 4*i = 20. Solve 4 = -w + l, -w - 4*l - y = -l for w.
-5
Let m(z) = -5*z + 1. Let f be m(1). Let w be 2*2/f - -4. Solve 3*y - 4*d + w = 0, -7 = 2*y + d + 6 for y.
-5
Suppose -2*g = g - 15, 3*f = -2*g + 49. Solve 3*b = 13 + 2, m + 3*b = f for m.
-2
Let l be (-10)/(-50) - 14/(-5). Solve 4*b + 4*f = -f + 5, l*b + 35 = 4*f for b.
-5
Let c(g) = g**2 - 7*g - 5. Let s be c(6). Let b = s + 15. Solve -p - 1 - 12 = -b*m, 26 = 2*p + 5*m for p.
3
Let r be 8/(-36) + (-256)/(-18). Suppose 0 = -10*z + r*z - 28. Solve 13 = 3*p + 2*n, 4*p + 3*n - 12 = z for p.
1
Suppose 3*j - 3 = 3. Solve -j = t, -3*z + 5 + 17 = -5*t for z.
4
Suppose 0 = 2*s - 6*s - 4*z + 72, 5*z = -4*s + 75. Solve 0 = h - 4*r + s + 1, 2*r = 10 for h.
4
Let y(d) = d**2 + 5*d. Let a be y(-6). Let f be (-1)/a - (-186)/36. Let j = -2 - -5. Solve -f = -i + 2*z, -i - 2*z = -j*z - 3 for i.
1
Suppose -55 = 5*o - 5*k, -o - 5 = k + k. Let d = 11 + o. Solve -m - 2*a = 3*m + 16, 2*m - 4 = d*a for m.
-2
Suppose 0 = -n + 8*n - 14. Solve -n*b + 3*t - 5 = -4*b, -2*t = -4*b - 30 for b.
-5
Let n(b) = -b + 14. Let p be n(13). Let w(l) be the first derivative of 2*l**2 + l - 1. Let h be w(p). Solve -a - 1 = 4*k, -h*k + 10*k - 10 = -5*a for k.
-1
Suppose a = 3*a - 10. Suppose -a*i + i - k = 3, -4*k - 12 = 0. Solve -d = c + 2*d, i = -5*d for c.
0
Let s = -8 + 14. Let u be -1*(-1)/(-2)*s. Let y = u - -5. Solve -2*n + 3*i + 0 = -8, -y*i + 1 = 5*n for n.
1
Let l = 4 - 1. Solve -3*o - 3*c - 2*c = -5, -3*c + l = -3*o for o.
0
Let l be 2*((-9)/(-1) - 4). Solve 0*x + 8 = -2*x - 3*v, l = -5*v for x.
-1
Let r = -171 - -194. Solve 5*a - 3*q = -q, 4*a + 3*q = r for a.
2
Let h(o) = 3*o - 1. Let x be h(3). Let m(y) = -y**3 + 12*y**2 - 10*y + 4. Let l be m(11). Let c = l + -12. Solve -4*v = x, 0 = k - 2*v + c*v + 2 for k.
0
Let o(m) = -5*m**2 + 2*m + m**3 + 3*m + 2 - m**2. Let p be o(5). Suppose -p*a = a - 42. Solve 5*j + a = -b, -2*b - 5*j + 4*j - 1 = 0 for b.
1
Let a = 76 + -53. Solve 2*l = -5*k - a, k + 2*l