0. Solve 6 = -5*n + s*m, 0 = -4*n + n + 3*m - 6 for n.
2
Let j be (-1)/2 + (-28)/(-8). Solve 3*c = -3*h - 6, j*h - 5*c - 6 = 12 for h.
1
Suppose 73*w + 60 = 79*w. Solve 2*q + 4 - w = k, -2*k + 2 = 3*q for q.
2
Let r(i) = 3*i**3 + 2*i**2 - 1. Let j be r(1). Suppose -4*w = -3*y - y - 64, 24 = 2*w - j*y. Solve 3*n = -3*d + 4*n + w, 3*d - 25 = 2*n for d.
5
Let m = 17 - 15. Solve m*g + 2*b + 4 = 0, 5*g + 1 = 3*b - 1 for g.
-1
Let k(q) = -3*q - 17. Let z be k(-7). Solve z*u = 3*x + 16, -x + 6*u = 2*u + 8 for x.
-4
Let a(q) = q**3 - 6*q**2 + 7*q - 7. Let n be a(5). Let h be (-6)/(-9) - (-30)/9. Suppose h*x = x + 6. Solve -7 = -0*u - u + x*o, 20 = n*u - 5*o for u.
5
Suppose -3*c = c + 2*s - 84, 4*c - 64 = 3*s. Solve -5*y = -r + c, 0*y - 2*y + 3*r = 5 for y.
-4
Let y be (-2)/(-2) - (-1 + -1). Suppose 4*u = 2*q + 4, 1 = -4*u + q + 7. Suppose -3*a + u = -4. Solve 4*f = -a*o, -2*o = -3*o + y*f for o.
0
Suppose -5*a - 7 + 2 = 5*u, -3*a - 2*u + 2 = 0. Let b be 2 + 2 + -2 + 2. Suppose -3 = -b*m + 9. Solve -i = -a*d + 7 + 8, 2*d + i = m for d.
3
Let t(g) = g**2 - g**2 + 12 - g**2. Let b be 0*2/(-8)*-2. Let v be t(b). Solve v = -2*d - m, 4*d - 3*m + 11 = -3 for d.
-5
Let r = -2 + 11. Solve 2*c + 2*s = 7*c - r, 9 = -c + 4*s for c.
3
Let g = -28 - -48. Suppose 0*y - g = -5*y. Suppose r - y = -0*r. Solve 5*c = -4*w + 2*c, 0 = -r*w + 2*c + 20 for w.
3
Let j(a) = a**2 - 7*a - 5. Let i be j(7). Let l = i - -7. Solve -l = 2*s + 4*x, -3 = -2*x - 9 for s.
5
Let x(w) = -23*w - 7. Let z(j) = 4*j + 1. Let b(v) = 6*x(v) + 34*z(v). Let o be b(-6). Solve -o*f - 2 - 1 = 3*m, 0 = -2*f + 4*m + 4 for f.
0
Let y be (-3)/(((-45)/(-105))/(4/(-14))). Solve 16 = -4*a - 0*h + 3*h, 0 = 4*a + y*h + 16 for a.
-4
Let z = 6 - 3. Let b(q) = -3*q**z + 7*q**2 + 4*q**3 + 7 + 0*q**3 + 0*q**3. Let n be b(-7). Solve 0*g - n = 2*t - 3*g, -7 = -3*t + g for t.
4
Let f(z) = 47*z. Let c be f(-2). Let y be (-4)/(-14) - c/14. Let x = 10 - y. Solve x*o = t, 5*t + o + 0 = 16 for t.
3
Let n(x) = x**2 - 8*x + 15. Let t be n(5). Let h = 2 + 0. Solve -u + 5*g + 17 = 0, -11 = h*u + 5*g - t for u.
2
Let h(i) = 2*i - 7. Let j be h(5). Let s = -253 + 257. Solve j*o = s*a + 24, 2*o - 15 = 2*a - 1 for o.
4
Suppose 2*h = -0*g + 3*g - 23, 0 = -h - 1. Suppose -g*m = -2*m - 60. Suppose 5*n - m = 2*n. Solve 0 = n*s + 20, -5*i = 4*s + 24 + 6 for i.
-2
Let i be 1/((-3)/(-9))*1. Solve i = 5*g + k - 14, 4*g - 10 = -2*k for g.
4
Let h(m) = -2*m**3 - 4*m**2 - 2*m + 1. Let f be h(-2). Let t = f - 2. Solve -3*p + 5*s = 40, t*p = -0*p - 5*s + 10 for p.
-5
Suppose 0 = 2*s - 3*l - 64, 0 = 2*l - 3*l - 4. Suppose -2*a + s = -0. Solve -5*d - 3*r = 5, 8*r = -3*d + 3*r + a for d.
-4
Suppose 3*u = 7 + 2. Suppose 0 = 2*s + w, u*s + 2 = -5*w - 5. Let h be ((-1)/s)/((-1)/2). Solve -20 = -4*t + 4*g, h*g + 1 + 6 = -t for t.
1
Suppose -8 = 2*i - 36. Solve -5*y - t = -i, 2*y + 2*t - 3 = 1 for y.
3
Suppose 0 = 5*k - k - 36. Suppose 2*j = k + 7. Suppose -3*b + j*b = 15. Solve -3*l + 2 + 1 = b*v, -v = 4*l + 11 for v.
5
Let d = -25 + 27. Solve 4*m = -d*a + 12, -2*m + 6*m = 2*a + 20 for m.
4
Suppose -2*u - 12 = 4*z, 5*z - 4 + 16 = -4*u. Suppose -2 = u*p - 10. Let j be p/2*2/1. Solve 12 = -j*m, 2*c - 15 = 6*m - m for c.
0
Suppose 4*b - 25 = -13. Solve -2*h - 5*p = -7*h + 20, -b*p = -4*h + 16 for h.
4
Let q(n) = 0 - n + 6*n - 4*n + n**2 + 2. Let t be q(0). Solve t*b - h + 5 = 4*b, 25 = 4*b + 5*h for b.
0
Suppose 4*s + 2 + 2 = 0. Let y(j) = 6*j**2 - j - 1. Let u be y(s). Solve 2*b = 5*p - 15, u*b - 2*b = -p - 19 for p.
1
Let d = 31 - 28. Solve 4*m = 3*s, d*m - s + 0 = -5 for m.
-3
Suppose 0*v = 4*v + 4. Let r be 2 - (1 + -2 + v). Let f be 27/r*(1 + 3). Solve 2*b + 3 - 16 = -3*t, 5*b - f = -2*t for b.
5
Suppose 0 = -z - 0 + 4. Let a(x) = -2*x + 0 + 5*x - 7. Let f be a(3). Solve -5*t + t - 2 = -f*i, -z*t = -8 for i.
5
Let d(b) = b. Let n be d(0). Let c(f) = f**3 - 3*f**2 + 2*f. Let o be c(3). Let l = 11 - o. Solve n = -3*r - g + 15, -2*r - 2*g + l*g + 10 = 0 for r.
5
Let d be (-30)/(-8) + 54/(-72). Solve -d*m - 2*m + 37 = 4*q, 0 = 4*m - 20 for q.
3
Let u be 15/2*40/25. Suppose t = m + u, t - 2*m - 23 = -7. Solve -3*b - 5*j = -t + 24, 4 = -3*b + j for b.
-2
Let z be (-7)/(-21) + 3/(-9). Solve 3*q - 9 = z, -a + 0*a + 7 = 3*q for a.
-2
Let c be (-2 - -1)*(19 + -18) - -1. Solve 9 = 5*f - m, 5*f + 5*m = -c*m - 15 for f.
1
Suppose -m - 2*v = -3*v, -5*m = -v + 16. Let g be 0/(6/(-5 - -2)). Let u = g - m. Solve -4*l = -3*b + 5*b - u, -l - 13 = 4*b for l.
3
Suppose 0 = -3*y + 20 + 16. Let p = y - 9. Solve -6 = 2*x + 2*l, x + p*l = -0*x - 3 for x.
-3
Suppose 0*k = -k + 13. Let x = k + -2. Solve -3*w - 5*c + 14 = 0, -5*w + 4*c - 15 = x for w.
-2
Let a be (44 - 44)/(1 + -2 - 1). Solve 5*u = -r + 14, 5*r + u = -a*r + 22 for r.
4
Let a(f) be the first derivative of 3*f**2/2 + 3. Let l be a(1). Solve 0 = j + l*b + 1 - 4, -b = -1 for j.
0
Let o = 13 + -9. Suppose -2*v + 4*n - 4 - o = 0, -3*n + 1 = -4*v. Solve r = 4*b + 21, 5*b + v*r - 2 = -25 for b.
-5
Suppose 4*m + 55 = 3*q, -q - m + 2 = -21. Solve 2*n = 5*r + q, -4*r + 7*n - 2*n - 27 = 0 for r.
-3
Let l(h) = h - 2. Let j be l(6). Suppose -2*x + 2*d + 6 = 3*d, d + 18 = j*x. Solve -3*s + 20 = 2*a, 5*s = 2*a + 4*s - x for a.
4
Let c = -15 - -9. Let w be (-14)/(-4) + (-3)/c. Solve 0 = 4*r - 5*r + z + w, 0 = -5*r - 4*z - 16 for r.
0
Let m be (-2)/5 + (-204)/(-10). Let t be (-1)/3 + m/6. Let v = -1 + t. Solve 0 = -r + 6*r - y + 5, 10 = -2*r + v*y for r.
0
Let g = 9 - 4. Solve 2*r = -2*w + 12, -g*r + w + 20 + 4 = 0 for r.
5
Suppose -l + 0*l + 2*b = 0, -3*b - 7 = -5*l. Suppose l*i = i. Suppose -22 = -x - 5*z, 5*x + i*z = -2*z + 87. Solve -5*h - 5*n + 2*n = -x, -3*h + 4*n = 13 for h.
1
Suppose 27 = 4*h + 3. Suppose -h*i - 10 = -4*i. Let u be (-46)/(-3) + i/15. Solve -3*f - 4*w - w = 25, 3*w + u = -f for f.
0
Let y(k) = -k - 3. Let u be y(-6). Suppose 0 = -2*l - 0*v + u*v + 67, -5*v = 5*l - 180. Solve 4*i - l = -5*d, -40 = -5*d - i - 4*i for d.
3
Suppose -b = -5*b + 8. Let o be b + 3/(-6)*-2. Suppose -5*h = 5*y - 10, -8 = -4*h - 3*y + 3. Solve -v + l - 17 = -o*l, -h*v = 4*l - 35 for v.
3
Let p be 3 + 1 + -2*1. Let v(g) = 0*g**2 + 4 - 5*g**p - g**3 + 1 - 4*g. Let q be v(-4). Solve -3*n + 6 = -3*l - 6, -q*n - l - 10 = 0 for n.
-1
Let d = 64 - 38. Suppose z + z = d. Solve -5*i + 2*h = 17, -4*i - z = -3*h - 5 for i.
-5
Let t = -71 - -73. Let n = 5 + -2. Let k(g) = 5*g. Let z be k(n). Solve d + z = 5*b, -d + t - 5 = -2*b for b.
4
Suppose -4*y + 0*x + 26 = -5*x, -5*y + 14 = 3*x. Let w be y/(-6) - (-86)/3. Suppose -52 + 56 = h. Solve h*i - 2 - 1 = -k, 4*k = 4*i - w for i.
2
Let s(m) = m**2 - 5*m + 2. Let z be s(5). Suppose p - 2*i - 11 = 0, i = -5*p + z*i + 10. Solve -4*j = -w - 3 - p, -2*w - 8 = -j for j.
0
Suppose 2*i - 4 = 4*i, 2*l + 4 = -i. Let c = -1 + 4. Let m = l + c. Solve 2*k - 10 = -m*q - 0, -5 = q - k for q.
0
Suppose p - 5*p = 0. Let m = 10 + -6. Suppose -3*d + d = -2*b + 50, -2*d = 4*b - 106. Solve -4*t + 3 = -3*w - p, m*w + 2*t = -b for w.
-5
Suppose -6 = -3*l + l. Suppose 4*c + 5*x - 5 = 0, 3*c - 5*x = -c - 5. Suppose -5*z = c, 5*z + 0*z - 8 = -2*p. Solve -4*a - p = -n, l = -2*a - n + 1 for a.
-1
Let u(v) = 6*v + 1. Let p be u(-1). Let m be (-413)/(-35) - 1/p. Let l(r) = r**2 + 4*r + 3. Let y be l(-3). Solve -2*i = 3*c - 2 - 19, 4*i - m = y for c.
5
Suppose 5*n + w - 101 = 0, 72 = 5*n - n + 3*w. Solve -k + 2*z + 0*z - 9 = 0, 4*z - n = 3*k for k.
-3
Suppose -10*x = -8*x + 6. Let h(n) = n**3 + 4*n**2 + 3*n. Let o be h(x). Solve -3*z + s + 3*s - 17 = 0, o = -2*z - s + 7 for z.
1
Suppose 139 = 45*y - 41. Suppose -d = -0*d - 24. Solve j - 4*r - r = 11, -y*r = 3*j + d for j.
-4
Let m(q) = -q + 5. Let i be m(0). Solve -3*y = -3*u - 18, y + 3*y + i*u - 15 = 0 for y.
5
Let m be -4 + -3 + 5 - 0. Let x be m/8 + (-171)/(-12). Solve -4*o - q + 3*q = -x, o = -4*q - 1 for o.
3
Let w(o) = -o**3 + 4*o**2 - 2*o + 1. Let n be w(2). Let s(l) = -l + 1. Let x be s(-2). Solve 0 = n*m + c + 13, 4*m - 2*c = x - 19 for m.
-3
Let m be (59/(4/(-4)))/1. Let w = m - -83. Solve 7*r - 3*r - 4*d = -8, 5*r + 2*d + w = 0 for r.
-4
Suppose -22 = -3*g + 4*b + b, -22 = -5*g + b. Let p(z) = z**2 - 2*z - 3. Let h be p(6). Suppose -3*r - 3 = -h. Solve 3 = 5*t + g*s, -2 = 2*s - r for t.
-1
Let c = -5 - -5. Let k = c - 0. Let r = 3 + k. Solve r*t - 2 = 4*i