*q + 0*v - 3*v = -1, q = -d*v + 5 for q.
1
Suppose 0 = d - 4*d + 96. Let s be d/(-40)*(-10)/4. Solve 4*c - 5*m = -9 + s, 3*m + 9 = -2*c for c.
-3
Suppose 1272*u - 156 = 1266*u. Suppose -10 = -3*p + 4*c, 0 = -4*p - 5*c - 0*c + 34. Solve -a = -0*w - w - p, u = -w + 5*a for w.
-1
Suppose -3*m = 5*n + 2*m + 5, 4*m - 12 = 0. Let z = -2 - n. Solve -3*p = 3*l, -z*p = 5*l - 3*p for l.
0
Let n be 36/21 + (-4)/(-14). Suppose 0 = -2*z + 10, n = -4*s - 3*z + 5*z. Solve -s*u = -2*t + 4 - 0, 2*u + 10 = 0 for t.
-3
Let k = 388 - 205. Suppose 2*m - 63 = -3*j, k = 5*m + 5*j + 38. Solve -5*d + 2*i - 32 = -i, m = -d + 5*i for d.
-4
Let t be 1*(1 + -4)*2. Let g = 0 - -45. Let x be (-4)/6*g/t. Solve 7*l + 3*j = 3*l + x, 4*j = -l - 2 for l.
2
Let n(t) = 5*t**2 - 1. Let d be n(-1). Suppose 4 = 2*p - 2. Suppose p*c + 0*c - 6 = 0. Solve c*x + 5 = -r + 2, -d*x + 12 = -4*r for r.
-3
Let c = -60 + 73. Solve u - c = 4*q, 0 = -5*u - q - 16 - 3 for u.
-3
Suppose 4*f = 5*r - 13, -4*r = -5*f - 0*r - 5. Suppose 20 = -4*z + 4*x, 2*z + x - 2 = f. Solve -2*m = -1 - 3, z = -5*p - 5*m for p.
-2
Let u be 1/(-2 - -5 - 178/60). Solve -5*k - u = 5*v, -v - 2*k - 22 = 3*k for v.
-2
Let k(j) = -j + 6. Let t be k(5). Solve -g + 1 + 4 = 0, 4*u = g - t for u.
1
Suppose -2*x - 2*z + 2 = 0, -4*x = -7*z + 2*z + 5. Suppose x = -5*p + 18 + 47. Solve 4 = -4*b - 4, 2*b + p = 3*s for s.
3
Suppose -4*k = -k - 12. Suppose 0*c = -4*f + 2*c + 6, 2*f = 3*c - 3. Let y be 3/f*3 + 2. Solve k*u + q = -y, -3*u - 7 = q + 3*q for u.
-1
Let z(w) = -w**2 - 9*w + 14. Let t be z(-10). Let c be ((-6)/4)/(3/(-8)). Let h be c + -1 + 0/(-2). Solve 4 = 3*s + y + 5, -y - h = t*s for s.
-2
Let z(f) = -f**3 + 8*f**2 + 10*f - 5. Let o be z(9). Suppose 5*x - 28 = -o*d, d - x = -3*x + 10. Solve i + 18 = -d*i + 3*t, 10 = -3*i - 5*t for i.
-5
Suppose -2*n - 2*o = 3*n - 50, -4*n + 3*o = -63. Let r = 16 - n. Solve -r*u + a = -a, -4*u + a = 0 for u.
0
Let k = -12 - -3. Let s be (3/k*-3)/(-1). Let n be s/(0 - (-1)/(-5)). Solve -q + 5*q = n*w + 11, 0 = 4*w - q for w.
1
Suppose -g = -4*g. Let y = 2 + g. Solve -16 = -4*r + y*q, 2*r - 12 = q + 2*q for r.
3
Let j = -11 - -11. Suppose -2*u + 4*c = -30, j = 4*u - u - 4*c - 35. Solve -a + 3*b = 15, 3*b = u*a - 2*b + 35 for a.
-3
Let c(r) = 2*r**3 - 8*r**2 + r + 4. Let k be c(4). Solve 2*b + k = q, 0 = -3*q - b - 6 - 5 for q.
-2
Let p(i) = i**2 + i - 2. Let d be p(-3). Let n(a) = -a**2 + 5*a + 2. Let o be n(5). Solve 5*b - q = -1, -o*b - d*q = b - 4 for b.
0
Suppose 3 = 2*f - 5. Let n(s) = s + 11. Let w be n(-8). Solve 0 = f*l + 2*a - 10 - 10, 0 = -w*a + 6 for l.
4
Let p(h) = 19*h**2 + 3*h + 2. Let x be p(-1). Solve 4*r = 3*d + 19, 2*d - r = 3*r - x for d.
-1
Let m = 50 - 16. Solve 0 = 5*h - 4*o + 7*o - m, 13 = 2*h + o for h.
5
Let g be 5/1 + (-15)/5. Suppose 5*i = 4*b, 5*b - 40 = -g*i - 7. Solve 5*m = 5*z + 15, i*m = z + 2*m + 8 for z.
2
Let a = -11 - -19. Solve a = -3*q - h, 3*q = q + 4*h + 18 for q.
-1
Suppose -2*u = -3*n + 14, 9*u + 16 = 5*u. Solve 4*h - 8*h + n*y = -2, 4*y = 5*h + 5 for h.
3
Let u = 0 - -1. Solve 4*z + 3*p = -0*z + 11, p = z - u for z.
2
Let v be (-1*5/5)/(-1). Solve 0 = -4*k - 3*j - 14, 4*j = -k + 2*j - v for k.
-5
Let g(y) = -y**2 - 10*y - 9. Let h be g(-7). Suppose h = 2*t + 2*t. Solve 2*k - 1 = -3*s + 6, -t*s = -2*k - 11 for s.
3
Let v be (-3 - -4) + -3 - 0. Let b be (6 - v)*(-1)/(-2). Suppose s + 6 = -5*a, 3*s + 2*a + 16 - 50 = 0. Solve -5*n = -4*w + s + 5, 2*n + 10 = b*w for n.
-3
Let t(a) = -a**2 + 8*a + 5. Let w be t(8). Let s be 1/((-15)/(-12) + -1). Solve o - w = -s*x, 0 = 4*x - 5*o + 1 for x.
1
Suppose -4*x = -3*x - 2. Suppose -x*i + 9 + 1 = 0. Solve 0 = -2*n - 5*q + 4 + 17, -i*n - 4*q = -10 for n.
-2
Let n = -43 - -45. Solve 2*a + 3*a - 20 = 0, 6 = 2*o + n*a for o.
-1
Suppose -2*d - 3*a - 2*a + 124 = 0, 3*a - 120 = -2*d. Let p be (-4)/(-14) + d/21. Solve 5*b - 9 = 2*s, -9 = -b - 2*b + p*s for b.
1
Let q(t) = t**2 + 2 + 14*t**2 + 0 - 3*t. Let k(u) = 7*u**2 - u + 1. Let x(c) = 7*k(c) - 3*q(c). Let r be x(-2). Solve 5*w + r = m, 3*m + 5*w + 17 = 2*m for m.
-2
Let t(m) = -m**2 + 9*m + 5. Let r be t(9). Suppose 0 = -r*l + 13 + 2. Let g(q) = q**2 + 2*q - 5. Let j be g(-4). Solve 3*x + 15 = l*h, 1 = -x + j*h - 4 for x.
-5
Let r(c) = -c**3 + 5*c**2 - 4*c + 5. Let v be r(4). Suppose 0 = -a - 2, -3*a + 1 = -4*n + 5*n. Suppose v*t - 8 = n. Solve 11 = -t*b + y, -3*y + 5*y = -2 for b.
-4
Let u = -6 - 3. Let h = u - -15. Solve 3*a - 5 = 2*s, -3*a - s = -5 - h for a.
3
Let c(w) = -w**2 - 16*w - 23. Let u be c(-12). Solve 2*l = -4*p + u - 9, 0 = 4*l - 5*p + 7 for l.
2
Let v = -101 - -144. Let u = v + -76. Let b = -23 - u. Solve 0 = -3*f + 8*f + 4*r + 20, -2*r - b = 0 for f.
0
Suppose 0 = 4*o + 4, -2*s - 3*s - o = 21. Let w be ((-3)/4)/(1/s). Solve -4*r - 3 = w*f, -4*r + 5*f - 35 = -8 for r.
-3
Let b = -250 + 250. Suppose -4*p = p - 20. Solve -p*u = 0, -5*l + b*l - 5 = -4*u for l.
-1
Suppose 0*i + 3*i + 15 = 4*f, -5 = -f + 2*i. Suppose -6*a = -2*a + 3*o + 4, 3 = -3*a - f*o. Let r = a + 4. Solve 5*j = 3*v + 4 - r, v - 3*j = 1 for v.
-2
Suppose 4*a + 14 = 3*u, -3*u + 3*a + 16 = 4. Solve -2*p = -u*h + 5 + 7, 3*p = -5*h - 10 for h.
1
Suppose 4*a + 10 = v + a, -5*v = 5*a - 150. Solve i = -5*b + 2*i - v, 3*b + 15 = i for b.
-5
Let i = -15 - -19. Suppose i*d = d + 12. Solve 3*u = 4*p + 16, d*p + 0 - 4 = -2*u for p.
-1
Let i(j) = -j**2 + 14*j + 1. Let v be i(13). Let s = -12 + v. Solve p - s = 3*p + 2*r, -5*p - 26 = -2*r for p.
-4
Suppose -7*l = -2*l. Let u = 0 - l. Suppose s + 0*z + 3*z = 12, u = 2*s + 2*z - 12. Solve 3*i - 5*q = -26, -s*i + i - 4*q + 12 = 0 for i.
-2
Suppose 33 = 2*h - 4*q + 11, -2*h - 3*q = -36. Suppose 0 = w + 5*d - 0*d + h, -3*d + 8 = 4*w. Solve 3*z = w*k - 0*z, -5*k - 2*z - 25 = 0 for k.
-3
Let j be 5 + (2 + -2)/3. Solve -b - 2*v + 7 = 3, -j*b - 3*v + 20 = 0 for b.
4
Suppose 10 = y - 12. Let v = y - 18. Solve 3*j - 3*l = -9, 4 = v*j - 3*l + 18 for j.
-5
Let d(t) = -t**3 + 13*t**2 + 2*t - 19. Let z be d(13). Solve -3*i = -3*b - 21, 20 = z*i - 2*i - 2*b for i.
2
Let k = 135 + -131. Solve -8 = k*u - 3*y - 40, 0 = -5*u - 5*y + 5 for u.
5
Let j(f) = f**2 + 6*f - 6. Let p be j(-7). Let n = 18 - 19. Let c = p - n. Solve -4 = -w - 2*a, 5*w + 13 = -c*a + 3*a for w.
-2
Suppose r - 6*r = -25, 5*o - 5*r = -35. Let h be (0 + 4 + o)/1. Solve -2*z = 10, 3*p = z - h*z - 11 for p.
-2
Let d(u) = 3*u**3 - 3*u**3 + 5*u**2 + 2*u**3 - 3*u**3 + 3. Let o be d(4). Solve -c - 5*r = c - o, -r = -5 for c.
-3
Let p = -3 - -4. Solve 0 = -4*r + 5*h + p, -2*h - 8 = 5*r + h for r.
-1
Let u(i) = -2*i**2 - 25*i + 17. Let t be u(-13). Solve -3*h + 7*o - t*o - 6 = 0, -h + 14 = 3*o for h.
2
Let z = -80 + 83. Solve 2*w - 3*f = 10, 2*w + z*f = -f - 18 for w.
-1
Suppose 5*d + 12 - 32 = 0. Suppose 10 = d*f + 2*t, 5*t + 1 - 15 = f. Let m = 5 - f. Solve m*y + 4*q = -28, 5*q + 5 + 28 = -4*y for y.
-2
Let x = 8 + -5. Suppose -5*i + 77 = x*a, 0*a - 3*a = i - 13. Solve -4*f = -5*v - 29, -3*v + 4 - i = 3*f for v.
-5
Suppose -r = 5*r. Solve -l + 4*h - 32 = 2*l, -4*l + h - 21 = r for l.
-4
Suppose -5*t + 2 = 4*l - 25, 4*l - 3*t - 3 = 0. Suppose -l*y + 8 = -1. Solve -7*u = -y*u - 2*a - 10, -5*u = -2*a - 13 for u.
3
Suppose -n + 4*n = 27. Let x be 1*2 + (-5 - -16). Let u be n/12 - x/(-4). Solve w = -2*d + 1 + 8, 3*w - 17 = -u*d for d.
5
Let q(h) = -h**2 + 4*h + 7. Let y be q(5). Suppose -12*u = -5*u - 3*u. Solve u*p + 18 = y*z - 4*p, -16 = z + 3*p for z.
-1
Let s be 0*3/(9 + 0). Suppose y = 2 - s. Suppose y*b + 2 = 3*b. Solve 0 = 2*x + 5*w + b + 4, 0 = x + w for x.
2
Let g(t) = 2*t**2 + 0*t + t - 2 - t**2 + 2*t. Let c be g(-4). Solve -2*r + 3*r + 5*q = 29, c*r - 13 = -q for r.
4
Let l(a) = 2*a**3 - 2*a**2 - a + 1. Suppose 3*b - b - 4 = 0. Let g be l(b). Solve -2*c + g*p = 2*p - 1, -4*p = c - 7 for c.
3
Let t = -47 - -49. Solve -2*m + 2 = 2*m + t*f, -m + 8 = -f for m.
3
Suppose -4*q - 5*v = -7, -2*q - 30 = -7*q - 2*v. Solve 0 = 2*f + 2*l + q + 6, 0 = 2*l + 6 for f.
-4
Suppose -1 = -2*f - 3. Let g be (6 - f)*8/14. Solve -26 = g*s - 5*h, -4*s - 1 = 2*h + 11 for s.
-4
Let i(z) = -z**2 - 6*z. Let s be i(-5). Suppose 12*a = 10*a + 4. Solve -s*c + 0*h + a = 2*h, 0 = 3*c + 4*h + 10 for c.
2
Let t be ((-10)/(-6))/(10/30). Solve -f + 6 = g, g + 3*f + 17 = t*g for g.
5
Let x(c) = -c**3 + 9*c**2 + 10*c + 4. Let y be x