+ 7 = 0, h = y - a*g + 3*g - 4 for y.
1
Suppose -7*f = -20 - 15. Solve 5*h - 2 = -o + f*o, -11 = h + 3*o for h.
-2
Let c(r) = -r**3 + 7*r**2 - 4*r - 4. Let x be c(6). Let g be ((-4)/3)/(x/(-24)). Solve -4*q = 5*h + 1, -g*q + 0*h - 3*h - 7 = 0 for q.
-4
Suppose 0 = 5*n - 1 - 14. Suppose n*m + m = 1296. Let q be m/30 + (-1)/(-5). Solve 2*f = -a - q, -4*f + 0*a = -2*a + 18 for f.
-5
Suppose -4*x = -j + 2, 4*x - 5*j + 17 = 7. Solve -2*s = -h - 3, x*s - h = -4*s + 7 for s.
2
Let w be 0 + 1 + 4 - 1. Suppose -1 - 7 = -p + 2*z, -3*p = -3*z - 9. Let y be (-1)/p + 10/w. Solve -2*g = 8, y*v + 4*g + 1 + 30 = 0 for v.
-5
Let y = 5 - 10. Let u be (2*y)/(2 - 4). Solve -4*v - 6 = -2*t, 4*v - t + u - 2 = 0 for v.
0
Let l(q) = -5 + 2*q + 0 + 0. Let c be ((-10)/(-4))/((-1)/(-2)). Let t be l(c). Solve -2*r + 3*v - 2*v = 6, 4*r + t*v + 26 = 0 for r.
-4
Let w(x) = -x**2 - 8*x + 1. Let a be w(-3). Solve -v = -5*c - 8 - 0, 3*v = -5*c - a for c.
-2
Let i = 60 + -50. Solve 2*o + 4 = 2*j - 3*o, -o = -4*j - i for j.
-3
Let r = 48 + -33. Let u be 1/5 - (-27)/r. Let n(w) = -w**3 + w. Let h be n(-2). Solve 0*j - h = -4*a + 3*j, j + u = a for a.
0
Let t(g) = g**2 - 11*g - 4. Let y be t(12). Solve -2*p = 4*m + y + 2, -5*p - 10 = 5*m for p.
1
Let m(h) = -2*h + 0 + 2*h**2 + 1 - 3*h**2. Let x be m(-3). Let d be 2/(1*x/(-7)). Solve -d = -5*b - 2*r + 3*r, -4*r = -4*b + 12 for b.
1
Suppose 3*u + 6 = 6*u. Let m(z) = -6*z - 1. Let g be m(-1). Solve 0 = g*y - 5*d + 15, -u*d + 9 = -3*y - 4*d for y.
-3
Let w(b) = 6*b**2 + 2*b + 1. Let m be w(-1). Let c be -3 - 4/((-4)/m). Solve 4*n - 5*j = -3*j, c*j = 8 for n.
2
Let b be (-4)/(-6)*(2 - -1). Let r(t) = -t**2 + 4*t + 3. Let n be r(4). Suppose -b = -c + n. Solve 4*m - 20 = -3*q, c*m - 20 = 4*q + m for q.
0
Let u = 6 + 3. Let l be (-4)/(-18) - 2/u. Solve 5*k + 2*s + 31 = 0, -k - 4*s - 17 = -l*k for k.
-5
Suppose 3*i - 4 = 4*y - i, 4*i - 40 = -5*y. Solve 3*c = -3*v, -4*c - y = -c - v for c.
-1
Let w = 141 + -137. Solve w*f + 4 - 2 = 2*t, -5*f + 3*t = 2 for f.
-1
Let g be 44/12 + (-4)/6. Let d = 3 + -3. Suppose 3*w - 5*w - 5*v = -19, 2*w - 2*v - 40 = d. Solve 0 = g*x - p - 3 - 6, 0 = x - 5*p - w for x.
2
Suppose -2*i + 5*f = -13, 4*i + 3*f - 6 = 7. Solve -n = i*t - 19, 3*t = t + 5*n - 7 for t.
4
Suppose -3*r = -221 - 13. Suppose -3*f + 76 = -4*p, -3*f - p + r = -4*p. Suppose -4 = -2*k - 0. Solve k*m + f + 3 = -5*j, j = -m - 8 for j.
-5
Let f(s) = s**2 + s + 1. Let r be f(-2). Suppose -3*a = -v - 2*v + 6, r*a - 2 = -5*v. Let u be (2/4)/(a/(-6)). Solve 5*y - 2 = -5*q - 22, -u*y - 16 = -q for y.
-5
Suppose -4 = 3*a - 16. Suppose 4*n + m - 2 = 2, -a*n - 3*m = 4. Suppose 3*h + 17 = 44. Solve h = -3*k - 3*l, 4*l + 8 = -5*k - n for k.
2
Suppose 2*c - 8 = 6. Solve a = -u + c, 4*a - u - 2 = 2*a for a.
3
Let k(r) = -r - 3. Let b be k(-5). Solve 0 = -g - b*m + 3*m - 5, g = 5*m - 9 for g.
-4
Suppose 3*o = 4*n + 77, -4*n = 6 + 14. Let h = -8 + o. Let s = h + -8. Solve 0 = d + d - 4*b + 20, -3*b - s = 3*d for d.
-4
Suppose -2 = 2*f, -4*b + f + 19 + 2 = 0. Solve -3*p + 2*i + 2 = -7*p, -5*p - b = 5*i for p.
0
Suppose 5*m = 3*m + 3*f + 2, f = -2*m - 14. Let g(y) = -y - 4. Let p be g(m). Solve -h = -3*x + p - 6, -11 = 5*x + h for x.
-2
Suppose 5*c + 94 = -6. Let z be (4/(-8))/((-1)/c). Let r(k) = -k**3 - 10*k**2 - 2*k - 15. Let o be r(z). Solve 0 = -4*v - o*y - 0*y, 0 = -2*v - 2*y for v.
0
Let h be -4 + -3 + 1 + -2. Let n = h + 14. Suppose -n = -3*t - 0*t. Solve 3*u = -5*v - 2, 5*v + 4*u + t + 4 = 0 for v.
2
Let g(i) = 6*i - 3*i + 0*i - 2 - i. Let a be g(3). Solve -x + 6*x - q + a = 0, -12 = -3*q for x.
0
Let g = -10 - -22. Suppose 2*d + d = g. Let x be ((-8)/(-10))/(22/165). Solve 5*m - x = -d*w - 37, -w - 7 = m for m.
-3
Suppose c - 70 = -2*c + 5*l, -3*l + 45 = 4*c. Let w = 50 + -46. Suppose w*o - c = -o. Solve 2*d + 3*d + 18 = -o*n, -4*d - 12 = 0 for n.
-1
Let n = -35 - -39. Solve 0 = 4*q + z - 1 - 22, -5*q + 37 = n*z for q.
5
Suppose -3*s - 8 = s, -4*s = -4*w + 24. Solve w*d + 4 + 21 = -5*b, 2*d = -5*b - 15 for b.
-1
Let z = -5 - -2. Let d be ((-4)/(-6)*z)/(-2). Solve 3*y - 6 = -3*p, 0 = 5*p + d + 4 for y.
3
Let h(f) = f**3 - 3*f**2 + 3*f. Let j be h(2). Let k(l) = -3*l - 4. Let w be k(2). Let b = w - -12. Solve 4*s - 5*g = 18, -2*g + b + j = 4*s for s.
2
Suppose -8 = -o + 5. Let i = o - 10. Solve i*w - 7*w + 12 = -r, -12 = w - 4*r for w.
4
Let u(l) = -2*l - 5. Let o be u(-8). Let s = o + -7. Solve 0 = 3*d + w - s*w, 0 = -d - 2*w + 15 for d.
5
Let i(f) = f**2 - 22*f + 45. Let h be i(20). Solve 6 = -0*s + 2*s, 2*g = -s + h for g.
1
Let g(m) = -m + 3. Let f be g(1). Solve 0 = -f*y - h + 8, y + 2*y - h = 2 for y.
2
Suppose -5*f + 16 = 2*o - o, -3*o = -3. Solve -2*m + 9 - 3 = 4*u, -f*m + 9 = 0 for u.
0
Suppose -4*r + 13 = -3*m - 7, 0 = -2*m + 5*r - 25. Solve m*n - 11 = -2*n + 3*c, -17 = -4*n + c for n.
4
Let t be (-4)/(0/2 + -1). Let r(i) = 3*i - 5. Let g be r(t). Suppose 2*o = -3*f, 5*o + 0*f = 3*f. Solve -3*m + 5*d = g, 3*d + 15 = -3*m - o for m.
-4
Let d(r) = -9*r + 8*r + 7 - 2 + 5. Let v be d(7). Suppose -12 = -l - v*l. Solve p + 10 = -4*a + 4*p, 4*p - 4 = l*a for a.
-4
Suppose 6*n = 4*n + 4. Solve -n*q = 3*l - 1 - 6, -5*l + 25 = 0 for q.
-4
Suppose -6 = p + j + 2, -5*p + 2*j - 5 = 0. Let x be (p - (4 - 4)) + 5. Solve 14 = 2*z + 2*r - x, -r - 2 = -z for z.
5
Suppose 3*c - 5*r - 29 = 0, 2*r = -5*c + 3 + 4. Suppose -4*q + 1 = -3. Let j = 0 + q. Solve -y = j, y = -b - c - 3 for b.
-5
Let z(d) = -d + 12. Suppose -g = -v - 6 - 8, -g - 5*v = 16. Let r be z(g). Solve r*b - b = -2*y - 12, 3*b + 2*y + 16 = 0 for b.
-4
Let o be 4/(-8)*(-1 - -1). Solve o = 2*n - 5*n + b + 16, 5*b = -5*n for n.
4
Let g be -6 - 3/(-1) - -3. Let l be (0/1)/(g - -1). Solve l = 3*j - 5*q + 1 - 15, -3*j + 3*q = -12 for j.
3
Suppose 5*w - 33 = -3. Suppose w = 3*f + 3*j, 4*j = -5*f + 14 - 3. Solve y = -5*q + 4*y - 12, -f*q = y + 10 for q.
-3
Suppose 15 = -5*h, h - 2 = -j - 0*h. Solve k - j = 3*q, -3*k - 2*q = -2*k + 5 for k.
-1
Let u(y) = -y**2 - 5*y + 2. Let s be u(-5). Let q(x) = x**3 - x**2 - 2*x. Let w be q(s). Solve w = -5*i - 4*k + 6, 0*i = i + 2*k for i.
2
Suppose 3*o + 2*c = -7, 2*c + 14 = -o - c. Suppose h - 2*l - 5 = 0, -l = -5*h - 6*l + 25. Solve 3*m - 13 - o = -5*i, 0 = -5*m + h*i - 30 for m.
-2
Let c = -258 + 260. Let z be (-3 - -1)*4/(-8). Let j be 0/1*(z - 2). Solve -b = 2*s - 0*s + 7, j = 3*s + c*b + 13 for s.
-1
Let u(a) = -2*a**2 - 16*a - 10. Let t be u(-7). Solve 4*s = -3*m + 17, t*s + 4*m - 15 = 1 for s.
5
Suppose 0 = 3*n - 5*c + 8, -5*c = -2*n - 12 - 0. Suppose -g = n*g. Solve 3*w - 5*q - 6 = g, 4*w - 8 = -q + 2*q for w.
2
Suppose -s = -4*v + 18, 5*s = 2*s + 6. Let u(y) = 0 + 7*y**2 - 2 - 2*y - y. Let l be u(-2). Solve 4*n + l = f - v*f, -2*n - 22 = 4*f for n.
-5
Suppose -10 = -4*g + 2. Suppose -3*r - 3*s + 3 = 0, g*s = 5*r + 3 - 24. Solve -5*h + 2 = y, y = r*h - y + 4 for h.
0
Suppose -5*f - 19 = g, -2*g = -0*g + 2*f + 6. Solve g = -z - 4*b, 2*z + 20 = -z + 5*b for z.
-5
Let z(a) = a**2 + 5*a + 4. Let d be (4 - 1)*(-12)/9. Let i be z(d). Solve t + 8 = -4*j - i*t, -j + 19 = -5*t for j.
-1
Let o be 3/((-6)/(-18) - 14/(-12)). Solve 5*y + 3*f - 9 = 0, 1 = o*y - 5*f - 15 for y.
3
Let f(l) = 15*l + 30. Let q be f(-2). Let d = 2 + 0. Let t be d/(-8) + 1/4. Solve 2*z - 3*o - 7 = t, -z + 4*z + 5*o + 37 = q for z.
-4
Let i = 74 + -71. Let u be (-2)/(-3) + 4/3. Solve -u*q = -i*b - 25, 10 = 5*q + 6*b - 3*b for q.
5
Let c be (-76)/(-18) + 14/(-63). Let h(d) = -d + 4. Let j be h(c). Let g(q) = -q + 4. Let y be g(j). Solve 2*b + b - 5*s = 22, 3*b - y*s = 20 for b.
4
Let f(p) = p**2 - 11*p - 22. Let i be f(13). Solve -3*n = 4*a + 2 + 1, n + i*a = -9 for n.
3
Let g = 29 - 24. Solve -2*q + q + 23 = g*n, 3*q - 5 = n for n.
4
Let b = -22 - -37. Suppose 3*v + 2 = -2*h + b, 5*h + 25 = 4*v. Let k(f) = 10*f**2 + f + 1. Let l be k(h). Solve -d - l = -4*d + 5*r, 4*d = -4*r + 24 for d.
5
Let s = 28 + -14. Solve -2*i - 5*j = -0*j + 18, 2*i + 3*j = -s for i.
-4
Let t(r) = r**2 + 8*r + 29. Let x be t(-8). Solve -2*m + m = -2, -2*m = -5*d - x for d.
-5
Suppose -2*v + 60 = -24. Suppose -v = 5*p - 2*p. Let f be 37/7 - (-4)/p. Solve 5*t - 3*h - 8 = 0, 0 = 3*t - h - f - 3 for t.
4
Let v(j) = -j**3 - 8*j**2 - 7*j + 4. Let p be v(-7). Solve 36 = -5*w + 4*s, -2*s + s = p*w + 12 for w.
-4
Let w(n) = 10*