 9 = q*n - 2*i - i, -n + u*i = -9 for n.
0
Suppose -s + 1 = n - 1, -5*s + 10 = 3*n. Let c = s + -2. Suppose -6*p = -4*p - 8. Solve 3*w + 20 = p*q - c*w, 12 = 4*q - w for q.
2
Let p = -1 + 18. Solve -5*h + 22 = -4*r, -2*r = -4*h + r + p for h.
2
Let m = -1 + 8. Suppose -m = -4*z + 1. Let a = z - 0. Solve a*p = -4*q + 2, 3 + 1 = 4*q for p.
-1
Suppose -4*l + 2*f + 18 + 16 = 0, 4*l = 4*f + 40. Suppose u = 2 + 10. Suppose -a = -u - l. Solve -2*z = -5*v, -3*v = 3*z - v - a for z.
5
Suppose x = -x + 8. Suppose c + 3 = 5, 0 = -4*t + x*c + 4. Suppose 0*o + 2 = 5*z - 2*o, -5*z = -5*o - 5. Solve 3*y - 4*y = 4*f + 20, z = 3*f - t*y for f.
-4
Suppose 73 = 3*p - 4*b, -3*p + 3*b = -p - 49. Suppose -5*h + p = -m, -m - 3*m = 4*h - 28. Solve 0 = y - m*d - 13, 3*y + 5*d = 4*y - 25 for y.
5
Let l(m) = m**2 - 3*m + 3. Let y(c) = c + 8. Let w be y(-6). Let f be l(w). Solve 0 = 4*n + 3*r + f + 9, 4*r = 8 for n.
-4
Suppose 5*r - 8 = r. Let f(g) = 2*g + 12. Let b be f(-5). Suppose u = r + b. Solve 0 = -i + 3*d - 4, -u*d = i - 4*i + 3 for i.
5
Let v(n) = 2*n + 18. Let p be v(-9). Solve -x + 1 = 3*b, p*b + 11 = -5*x + b for x.
-2
Let x(j) = -2*j - 4. Let p(c) = 5*c + 7. Let t(h) = -3*p(h) - 7*x(h). Let r be t(6). Let v = 1 + r. Solve -2*y + 16 = -3*i, -4*y - v + 16 = 3*i for i.
-2
Suppose -5*i + 123 = 28. Solve -a + i = -4*p, -4*a - 4*p - 4 + 0 = 0 for a.
3
Let n be (17 + -19)*5/(-2). Solve 5*k = -2*s - 0*s - 24, 10 = -5*k + n*s for k.
-4
Suppose -y + 6*y = 0. Suppose y = 4*g + 12 - 44. Let h be g/(-3)*3/(-2). Solve -h*x = x + 4*j - 17, x = 3*j - 8 for x.
1
Suppose -2*t + 1 = 2*u - 3*t, 4*u + 1 = -t. Let r = 4 - u. Solve -2*b = -r*y + 5*y, -4*b = -4 for y.
-2
Let d = -30 - -32. Solve 2*m - 5*m + d*w + 6 = 0, 4*w + 12 = -2*m for m.
0
Let q(y) = -9*y - 2. Let d be q(-2). Suppose -x = -0*x - 4*l - 30, x = -3*l - 5. Let m = 13 - x. Solve 5*n - 3*b + 17 = 0, 0*b + d = -4*n + m*b for n.
-1
Suppose 125*a - 127*a = -50. Solve 0 = -2*i + 3*v - 8*v - a, -4*v - 20 = 0 for i.
0
Suppose n + w + 2 = 0, w + 2*w + 13 = 4*n. Solve 0 = 2*s - s - n, 4*s = 2*q + 14 for q.
-5
Suppose 4*g - 5 = 3*r + 3*g, r + 15 = 3*g. Suppose 16 = 4*i - 0*i. Solve -i*l - 4 = -r*a + 2*a, -a + 3*l + 13 = 0 for a.
4
Let w(g) = 5*g**2 + 2*g + 1. Let h be w(2). Solve -5*p - 2*a = -3*p, 5*a = -h for p.
5
Let m be -1 + -1 - 32/(-4). Suppose 0*x = 2*x - m. Solve 4*b = x*a + 3*b + 4, 0 = -2*a + b - 4 for a.
0
Let a = -9 + 5. Let n be (-6)/a + (-3)/(-6). Solve -4*z + 2*i - 10 = 0, 3*i - 1 = 4*z - n*i for z.
-4
Suppose -x = 2*x - 3. Let p be 1/x - (4 - 7). Solve -4*v = -5*r + 17, p*r + 0*r + 4*v + 8 = 0 for r.
1
Let p = 12 + -12. Solve -14 = -g - 5*o, p = -5*g + o + 1 + 17 for g.
4
Let d(q) = 3*q - 2*q - 3*q + 2*q**2 - 1 + 4*q. Let i be d(1). Solve -j = -5*n - 29, -i*n - 5 = 2*n + 5*j for n.
-5
Let d(a) = 3*a**2 - 7*a - 3 + 1 - a - 4*a**2. Let i be d(-7). Suppose 4*l - i = 7. Solve f - 15 = -3*q, 6*q - 15 = 5*f + l*q for f.
0
Let h(r) = 2*r + 3*r + 1 - r - 2*r. Let q be h(2). Solve -4*f = 4*p - 4, 0 = -q*p - 2*f + 12 - 1 for p.
3
Let j = 15 - 11. Solve 2*t + j*r = -2, -t = t - 3*r - 12 for t.
3
Let q(h) = -2*h**2 - 28*h + 4. Let u be q(-14). Solve 0 = n - 3*n + 8, -3*g - 2*n = u for g.
-4
Let k(u) = -u**3 - 10*u**2 - 9*u + 3. Let s be k(-9). Solve -r + 9 = -3*l, -5*r + s*l = 4 - 1 for r.
-3
Suppose 4*u + 29 = j, 5*u + 0*u = 4*j - 83. Solve -5*y - 4*p - 25 = 0, j + 3 = -5*y - 3*p for y.
-1
Let x be (1 - 0)*(-3 + 8). Suppose x*l + 3*j - 34 = 0, -4*l - 3*j - 6 + 35 = 0. Solve 0 = -3*s + 3*h + l + 7, 5*s + 4*h = 2 for s.
2
Let c = -69 - -72. Suppose -5*j + 3*u + 0 = -9, -u = 4*j + 3. Solve 3*h + 14 = k, j = 4*h - c*k - 3 + 25 for h.
-4
Suppose -27 = -6*l + 3*l. Suppose -12*c = -l*c. Suppose c*b + 32 = 4*b. Solve -q + 4*w = 2*q - b, -29 = q + 5*w for q.
-4
Let q be 0*(-1)/(-4) - -4. Solve 0 = -k - a + 2, -q*k + 11 + 15 = -2*a for k.
5
Suppose -28 = 4*m - 8. Suppose -6 + 20 = -2*w. Let q = m - w. Solve 4*f = 5*x - 3, q*f + x + 0 = -5 for f.
-2
Let k = -3 + 5. Suppose 18 = 5*u + l, -2 = -2*l - 6. Let j(h) = h**2 - 3*h + 2. Let x be j(u). Solve 0*r - 3*m - 4 = 2*r, -4*m = k*r + x for r.
1
Suppose i + f = 5*i + 28, i - 5*f + 26 = 0. Suppose 4*l = -h + 35, 6*l + 4*h - 14 = 4*l. Let s = i + l. Solve r + 1 = -s*k + 2*r, 4*k + 3*r = -10 for k.
-1
Suppose 0 = -2*h - 0*h. Let n be 1 - h - (-18)/9. Let s = -2 - -4. Solve -q + l - 4 = 0, -s*l + 4 - 1 = n*q for q.
-1
Suppose 0*b = 2*d + 3*b + 7, 2*d - 5*b - 33 = 0. Solve 3*v + v - d = g, -5*g + 5*v + 10 = 0 for g.
4
Let l(w) = w**2 + 7*w + 1. Let d be l(-9). Solve -b + 0*k = -2*k - 6, b + 3*k + d = 0 for b.
-4
Let p be (-8 - -1)*10*(-1)/2. Solve -l + 3*x = 3*l, 0 = -5*l - 5*x + p for l.
3
Suppose -2*k - 1 = 3*w - 84, -2*k = -5*w - 123. Solve 5*b - 4*j + k - 4 = 0, b = -3*j + 10 for b.
-5
Suppose -4*z - z = -25. Let i = z + -2. Solve -4*t + 3*s - 8 = 0, -i*t - t - 4*s = 36 for t.
-5
Let t(q) be the second derivative of q**4/12 + q**3/3 + q**2/2 + q. Let v be t(-2). Solve -2*w + 8 = s, 2*s = -3*s + 3*w + v for s.
2
Let u = 380 + -256. Suppose u - 44 = 4*c. Solve -i = 2*t + t + c, 4*i + 40 = -4*t for i.
-5
Suppose k + m - 2 = 2, 2*m = 0. Solve -5*i - 5*b = 45, k*b = -3*i + 6*i - 1 for i.
-5
Let s = 0 + 2. Suppose 0 = s*u - 1 - 3. Solve -r = -o + 5, 5*r + o + 3 - u = 0 for r.
-1
Suppose -5*b = -4*u + 2*u + 54, -b + 30 = 2*u. Solve -5*o - u = w + 13, -o - 20 = 3*w for w.
-5
Let y be 4 - 6*3/6. Let v = y + 6. Solve 3*g = 9, 0*g = 4*t + 3*g + v for t.
-4
Let d be 42/(-8) + (-2)/(-8). Let l = d + 8. Let j = 3 - l. Solve -2*z = w - 7, j*w - 3 = 2*z - w for z.
1
Suppose 5*w = 3*r - 47, 40 = -4*w - 2*r + 5*r. Let i = 7 + w. Solve -2*f + 6 = -5*d + 2, i = -4*d + 2*f - 4 for d.
0
Suppose 13 + 7 = 5*z. Solve x - 5*r - 18 = -2*x, z*r = -4*x - 8 for x.
1
Let v(b) = 2*b + 19. Let z be v(-7). Let j be 238/22 - 4/(-22). Let g = j - 7. Solve -1 = 3*a - 2*t, a - z*t + g = -5 for a.
1
Let y(l) = l**2 + 6*l + 5. Let a be y(-6). Let d(w) = -1 + 2 - 4*w + 5*w. Let j be d(1). Solve j*h + 11 = -3*f, -f + 5*f - 16 = a*h for f.
-1
Let d be 40/12 + (-1)/3. Solve 2*b + 1 = -5*z + 25, -26 = -d*b - 5*z for b.
2
Let m(o) = -o**2 + 6*o + 7. Let d be m(6). Let x = d + -6. Solve -5*a = 2*f + 23, -2*f + 1 + x = 0 for a.
-5
Let b = 39 + -29. Solve m - i = b, 0*m + 5*i = m - 30 for m.
5
Let q = -1 + 3. Let l be (-1)/(-2 + (-21)/(-12)). Let f be l/10 - 36/(-10). Solve q*z = -5*j - 23, -j + 4*j + f*z = -11 for j.
-5
Suppose -5*t - 15 + 315 = 0. Suppose t = 3*a + a. Solve 0 = -5*z - 0*c - 2*c - 11, 3*z - 3*c + a = 0 for z.
-3
Let f(t) = -t**2 + 3*t - 4. Let s(o) = -o**2 + 4*o - 4. Let i(x) = 2*f(x) - 3*s(x). Let j be i(6). Suppose -7 - 5 = -j*m. Solve m*v - 3*h = -3, h - 4 = 1 for v.
4
Suppose -5*q + 46 = -w, 0 + 1 = -w. Solve -j - 2*j + q = 0, o - 2*j + 2 = 0 for o.
4
Suppose 0*m + 2*t = -4*m + 10, 5*m = 2*t + 35. Solve 3*u + u = -5*a - 22, -5*u = m*a + 25 for u.
-3
Let d be (3 + 4)*(2 + 1). Let z be d*1/3 + -3. Solve -4*b + z*t = 4, 2 + 2 = t for b.
3
Let g be 7 - (3 + -1 + 1). Let i(a) = -a + 5. Let v be i(g). Solve 2*o + 5*x + v = 0, -2*o + 3 = -4*x + 13 for o.
-3
Let w(h) = -h - 11. Let j be w(-15). Let m = 12 - 7. Solve 0 = 4*c, -j*c - 15 = -m*d - 0*c for d.
3
Suppose -5*m + x + 2 = 0, -5*m - 4*x = -0*x + 8. Suppose -4*y + 8 = 2*k - m*k, k + 3*y = 6. Solve 0 = -2*d - k*z - 3*z + 20, 3*d = -4*z + 28 for d.
4
Let b(d) = -2*d**3 - 4*d**2 - d + 2. Let f be b(-2). Solve 0 = f*i + 8, 2*i = -9*z + 4*z - 19 for z.
-3
Suppose -4*n - 2*i = -3*n + 6, -n + 9 = -i. Let q be (n + -1)/(1/30). Let u be q/25 + 2/5. Solve 0 = -4*z + 8, -5*k + z + z - u = 0 for k.
0
Suppose -p + 3*k = 33, 2*k = 3*p - 0*k + 92. Let r be -1 + -1 + p/(-6). Suppose s = 5*s - 16. Solve -u - 4*u = s*i - 21, u = -r*i + 13 for u.
1
Suppose 0 = 5*t + 290 - 60. Let f = 29 + t. Let u be f/(-5) - (-4)/(-10). Solve 0 = 4*q + u*w - 13, 0 = -4*q - q + 4*w + 24 for q.
4
Let h(a) = 7 - 18*a + a**2 + 24*a + 0. Let g be h(-5). Solve 8 = 5*z - 2*n - 16, 0 = -3*z - g*n + 8 for z.
4
Let g(i) = -i + 11. Suppose -28*v + 23*v + 55 = 0. Let c be g(v). Solve 20 - 5 = -3*m + 3*y, c = m - 4*y + 17 for m.
-1
Let g(i) = -i**2 - 11*i + 17. Let p be g(-12). Solve p*f = -4*b + b + 6, -10 = 5*f - 5*b for f.
0
Let l be 4/(-20) - (-206)/5. Suppose 11 = -5*j + l. Suppose 0 = 4*i + 4*c - 12