 = -10. Solve -4 = v*y + 4*a, -5*y - a - f = -6*a for y.
-1
Suppose -5*n - y + 21 = 0, 2*n = 3*y - y + 6. Let h = n + -4. Suppose -5*m + 0*m + 20 = h. Solve q - m*s - 5 = -5*s, -s = 4*q - 5 for q.
0
Let x be ((2 - -5) + -1)/1. Let n = x + -4. Solve 5*m - 20 = 0, -2 = -g - n*g - 2*m for g.
-2
Let k be (72/(-20) - -3) + (-46)/(-10). Solve -2*n = -k*r + 3*r + 11, 4*r - 4 = -2*n for r.
3
Suppose -2*a + 3 + 1 = 0. Let j be 48/(-40)*(-5)/a. Let y = -2 + 3. Solve -d + u = -0 + j, 3*d = -5*u - y for d.
-2
Let a = 0 - -11. Let z = a - 8. Let b(f) = f**2 + 3*f - 6. Let y be b(-5). Solve y*g = z*v - v, -2*v = -2*g for g.
0
Let r(o) = 21*o. Let i be r(2). Let b be (-2)/7 - (-12)/i. Solve 5*c - 22 = g, b + 8 = 4*c + 4*g for c.
4
Let n = -15 + 28. Solve 5*k + 22 = -g, 5*k + n + 18 = 2*g for g.
3
Let z be 2/(-14) + (-5)/(-35). Suppose -2*i + z*i = -h + 6, 5*i = 2*h - 14. Solve -5*t - 5 = -h*s, 3*s + 12 = -3*t - 12 for t.
-3
Suppose 0 = p + 3*a - 45 - 47, -3*p + 4*a = -224. Suppose 0 = 2*u - p + 8. Solve 4*o = -2*g - 8, -5*g = -3*o - o - u for o.
-4
Let f(s) = -s - 3. Let d(l) = l + 1. Let v(o) = 5*d(o) + 2*f(o). Let n be -2 + 2*(-9)/(-6). Let w be v(n). Solve 5 = -g - 2*m - 2, -g + w*m = -13 for g.
3
Let o = -21 - -24. Let v be 1 + 2 - 6/(-3). Solve 0 = -v*t - o*y + 28, -t + 6*y = y for t.
5
Suppose -4*o + 5*i + 25 = o, 6 = 2*o - i. Suppose x - o - 4 = 0. Solve 4*g = x*s - 3, 0*g + g = -2 for s.
-1
Let z(x) = -x**3 + 5*x**2 + 2*x - 6. Let r be z(5). Suppose -q + m + 7 = -1, 17 = -q - r*m. Solve 2*c = -n, 2*c = 6*n - q*n - 8 for c.
-1
Let x = -4 - -7. Let d be (-225)/(-63) + (-3)/(-7). Solve 0 = u - 0*m - m - d, -x*u = 4*m - 12 for u.
4
Suppose 0 = 5*u - 0*u + 10. Let z = u + 6. Solve -3*v - 4*t - z - 18 = 0, -t - 4 = 0 for v.
-2
Suppose -5*b = -2*z + 37, 5*b = z - 3*z + 7. Let a = 15 - z. Let c = -29 + 29. Solve -18 = 3*r - a*f, -5*r - 2*f - 3 - 1 = c for r.
-2
Let y be (-8)/20 - (-34)/10. Suppose 3*f + f = 20. Suppose v - 2*v = -f. Solve b = y*p + v, -p + 9 = 2*b + 3*b for p.
-1
Suppose 3*b - 10*b = -14. Solve 0*t = -4*h + b*t + 16, 2*h = 2*t + 8 for h.
4
Suppose 2*n = 3*n. Suppose 14 = 4*m + u, 0*u + 4*u - 8 = n. Suppose 2*z - 23 = -m*q, 0*z + 4*q = -z + 24. Solve z*g + r = g - 1, r + 1 = -5*g for g.
0
Suppose 0*k - k = 3*y - 2, 2*y + 22 = 4*k. Let v = 8 - k. Solve v*n + 2*n = -2*m - 20, 16 = -2*m - 3*n for m.
-5
Let z = 25 - 22. Let n = 15 - -24. Suppose -2*u = 5*w - 3*u - n, -1 = -u. Solve -2*x - w = -3*s, z*s - 9 = -x + 4*x for s.
2
Let f be 5/(-2)*12/(-10). Suppose -4*o = 4*p - 96, 4*o - 108 = -o - 2*p. Solve 0 = -4*b - 4*j + o, -f*j + 6*j + 1 = b for b.
4
Let h(g) = -3 - g**3 - g**3 + 4*g - 4*g**2 + 4*g**3. Let i be h(2). Solve -x - 8 = i*w, 3*w - 4*w = -3*x + 8 for w.
-2
Suppose 9 = 2*g + 1. Let i(d) = d + 1. Let q(z) = -2*z - 7. Let r(o) = -3*i(o) - q(o). Let w be r(g). Solve -c = 4*a - w*c + 10, 5*c = 3*a + 19 for a.
-3
Suppose -2*h + 4*y - 2 + 0 = 0, 5*y - 15 = 0. Solve -4*p - 3*n + 4 + 27 = 0, 25 = h*n for p.
4
Suppose 3*z + 7 = b + z, 7 = 2*b + 3*z. Suppose 3*v + 31 = 5*x - 30, b*v + 65 = 5*x. Solve 13 = 3*h - t, -4*h + x = -5*t + 1 for h.
5
Let z = 2 + 8. Let k = -1 + 2. Let s be k + 1 + -1 - -2. Solve s*n - 1 = -5*g - 20, 5*g + z = 0 for n.
-3
Suppose -a - 3*y = -4*a + 45, -65 = -4*a + 5*y. Suppose -3*q + o + a = 0, 3*o + 3 - 5 = q. Solve -4*k - 8 = -2*n - 2, 4*n - q*k = -4 for n.
-5
Suppose -2*h - 1 + 13 = 4*l, 3 = l - 5*h. Solve -5*q - 6*j = -2*j - 11, -l*q + 6 = 3*j for q.
3
Suppose 3 = -w - 1, -3*k = -5*w - 38. Solve 3*x + 2*h + k = 0, 0*x + 4*x - 3 = h for x.
0
Let p be (4/(-8) + -1)/((-4)/8). Solve s - 5*s - 33 = 5*c, p*s + 1 = c for s.
-2
Suppose 0*v = -v. Let k(m) = -3*m + 6*m + v*m - 3. Let u be k(2). Solve -3*i - i - 2*b + 10 = 0, -u*b = 9 for i.
4
Suppose -r + 6 = 2*r. Let y be (20/(-8))/(2/(-4)). Suppose 7 = -4*t - y*n, 2*n = t - 5*t + 2. Solve -r*z + 16 = 2*x + z, t = z for x.
5
Suppose -3*w + 15 = 0, 2*y + 2*y - 11 = w. Solve 3*m + 1 = 5*z - 19, z = -m - y for m.
-5
Suppose 21 = -3*g - 0*g. Let l(k) = k**2 + 6*k. Let r be l(g). Solve -3*q - r + 22 = 2*t, q - 3*t = -6 for q.
3
Suppose 0 = -4*u - 5*p + 40, u + 2*p + 7 = 4*u. Solve h = -u*w - 30, 3*w + 2 = -13 for h.
-5
Let x = 16 + -5. Solve c = 4*l - x, -22 = -2*c - 0*c - 3*l for c.
5
Suppose -y = y + 2, 1 = -2*g - 5*y. Suppose 54 = 4*r + 2*x, -g*r + 6*r + x - 57 = 0. Solve -7 = -4*s + 4*p + 5, r = 3*s - 5*p for s.
0
Suppose -2*w + 3*w - 7 = 0. Let f be (-16)/w + 8/28. Let v be 2 - (f + 1 + -1). Solve -10 = -o + v*t, -o - 5 = -t + 2*t for o.
-2
Suppose 3*g = -3*g. Solve g = -3*j - 3*u + 7*u + 13, -3*u = 5*j + 17 for j.
-1
Suppose -3*x - 2*j + 24 = -13, 4*x = j + 42. Let f = x + -1. Solve -t = 3*k + f, -5*k + 3*k = -5*t + 35 for k.
-5
Suppose 0 = p - 3 - 2. Solve -w = p*o + 17 + 1, 2*o = 5*w - 18 for o.
-4
Let g(u) = 12*u - 8. Let x be g(2). Suppose 3*p + 3*i = 6, 0 = 3*p + 2*i - 3*i - 6. Solve 4*m + 12 = p*l - 2, -4*l + 5*m + x = 0 for l.
-1
Let h(l) = -l**2 + 6*l. Suppose q = 8 - 3. Let s be h(q). Suppose -z - 15 = -4*z - 3*y, -y + 17 = s*z. Solve 0 = -5*r + 4*x + 33, z*r = 3*x + 6 + 15 for r.
5
Let z(g) = -g + 4. Let u = -9 + 11. Let x be z(u). Solve -x*r = -3*p, -4*p - 3 = -3*r - p for r.
3
Let m be (8/14)/(8/28). Solve -2*g + 2*j = 6, -j + 7 = -5*g + m*j for g.
1
Suppose -2*r + 19 = 11. Solve r*l = q + 15, 8*q = -5*l + 3*q for l.
3
Let s be (6/(-10))/((-1)/5). Suppose j - 6 = -s. Let l be 1 + (2/(-2))/(-1). Solve j*d + 23 = -2*z - l*d, 5 = -2*z + d for z.
-4
Let n(t) = -2*t - 8. Let l be n(-5). Solve -7 = -l*q + 2*o + 3*o, -5*q - 11 = -3*o for q.
-4
Suppose -4*p - 4 = -4*y - 76, 3*p + 3*y = 48. Solve 3*r + p = -z + 3, 2*r + 18 = -5*z for z.
-2
Let i be ((-45)/(-10))/((-6)/88). Let w be i/(-8) - 3/12. Let k be 4/w - 18/(-4). Solve 0 = t - 4*o + k, -t - t = 2*o for t.
-1
Let p be -1 + 16/14 - 3/21. Solve -q - 1 = -4*z - p, -5*q - 26 = z for q.
-5
Let m = 96 - 88. Solve 3*o + b + m = -1, o + 4*b + 3 = 0 for o.
-3
Let v = 17 - 12. Solve 0 = 5*f + v*o - 45, 0*o + 20 = 4*o for f.
4
Let z(v) = v**2 - v + 10. Let o be z(0). Suppose o = 5*u - 2*d, -4*d + 1 = 2*u - 3. Solve -1 + 0 = -x - 5*s, u*s - 3 = -3*x for x.
1
Let u(v) = v. Let g(l) = -5*l + 9. Let m(z) = g(z) + 4*u(z). Let k be m(6). Solve -t + 2 = -k*f, 3*t = 6*t + 5*f + 8 for t.
-1
Let h be (-51)/(-15) + 2/(-5). Solve 4*j - h*t = -9, -2*j = 3*j + 2*t + 17 for j.
-3
Let r = -170 - -173. Solve -r*n = -5*t - 7, 0*t + 10 = -3*t - 4*n for t.
-2
Let j be 3 - 2 - (-1)/1. Let h(r) = r**3 + r**2 - r + 1. Let c be h(1). Let d = c - 1. Solve j*w + 6 - d = -o, -2*o - 7 = 3*w for w.
-3
Suppose 5*q - 5 - 15 = 0. Solve -2*t + 4*r = 10, q*r - 25 = t - 4*t for t.
3
Suppose 3 = -o - 1. Let u = 6 + o. Solve -v - 5 - 4 = -u*y, -5*v - 33 = -4*y for v.
-5
Let h(t) = 1 + 5*t - 4*t - 2*t. Let f be h(-1). Let s = 4 - 0. Solve -s = -f*a + c - 3*c, a - 10 = -5*c for a.
0
Suppose -2*z + 11 + 5 = 0. Let x = 10 - z. Solve 4*c + c - 20 = 0, -c + x = q for q.
-2
Let p(g) = g**3 + 14*g**2 - g - 7. Let n be p(-14). Suppose 8 + 20 = 4*v - 2*k, v = -4*k + n. Solve v = -2*z - t + 4*t, 0 = -3*z - 5*t - 1 for z.
-2
Suppose -4*f = 2*o - 3*o - 17, 0 = o + 5. Suppose 0 = -4*u + h + 14, 0 = -3*h + f + 3. Solve 4*q + 3*a = -8, -14 = -u*q + 2*a - 2 for q.
1
Suppose 0 = 3*z + z - 20. Let o(c) = 11 - c**3 + 4*c**2 - 14 + 0*c**3 + 6*c. Let y be o(z). Solve 3*g = t - y, t - g + 1 = 3 for t.
2
Suppose -24 = -3*o + 7*o. Let s be 3/o*2 + 4. Solve s*p = 5*z + 1 - 2, 5*p = -z - 11 for z.
-1
Let s be (46 - -2)/3 + -2. Suppose 5*r + s = -3*a, -4*r - 23 = -4*a + 1. Suppose -a*k = k - 3. Solve -24 + k = 5*y + p, -5*y = 2*p + 26 for y.
-4
Let k(j) = 3*j + 54. Let h be k(-18). Solve r = -2*a - 3, h*r - 18 = -r + 5*a for r.
3
Let s(b) = b**3 - 5*b**2 + 4. Let r be s(6). Let o = 7 + -7. Solve -4*z + r = 4*f, o*f + z + 15 = 4*f for f.
5
Let y be (-7 - -11)*1/2. Solve -1 = 4*n - n - 2*z, -y*n + 3*z = 4 for n.
1
Let k(s) = s - 4. Let v be k(7). Let w be (-5 - -2)/((-4)/4). Suppose -2 = -w*b - v*f - 5, -17 = -b + 5*f. Solve 0 = -4*g - d - d - 6, b*g = -5*d - 15 for g.
0
Let r = -1 + 18. Solve 2*m - 5*o - r = 0, 10 = -4*m - m + 2*o for m.
-4
Let u(w) = w**2 - 4*w + 3. Let m be u(4). Suppose 2*l - 3*k - k = 0, -l = m*k. Let f be (-1)/2 - 13/(-2). Solve 5*b = -5*o, 4*o = -2*b - f - l for b.