4*l = -6 - 12, 5*l + t = 4*m for m.
5
Let r = 7 + -1. Solve 5*h - 17 = f, 2*h = f + r*h - 10 for f.
-2
Let v(q) = -q**2 - 11*q - 8. Let j be v(-10). Solve 4*c - 6 = 2*k + j*c, k = 4*c for k.
-4
Suppose -u = 3*u + 12, -u = k + 61. Let d = k + 96. Let o be 4/14 + d/14. Solve 0 = -3*w + 12, o*q + w - 2 = 2*w for q.
2
Let v = 47 - 46. Solve 3*b + 2*g + 1 = 0, -g - v = -b - 3 for b.
-1
Let r = 0 + 4. Suppose b + 0 = r. Solve k - 11 - 19 = -5*n, -b*n - 5 = -5*k for n.
5
Let l be (-8)/36 + 453/(-27). Let r = 21 + l. Solve m = -r*n - 4, 3*m + n = m + 6 for m.
4
Let o be (-3)/(-6) + 18/4. Solve 5*b = -0*r - 2*r + 5, -5*b - 4*r - o = 0 for b.
3
Let q be ((-16)/10)/(4/(-10)). Suppose 0*k = k - q. Solve 0 = -t - 5*z - 4, -5*t + k*z - 20 = 2*z for t.
-4
Let k be 1/(-2) - (-74)/4. Solve 5*t - 3*h = 10 + k, -4*t + 17 = 3*h for t.
5
Let d = -25 - -29. Solve d*n = o - 20, 4*n - 1 = -3*o - 5 for n.
-4
Let c = -7 - -16. Suppose 69 = -8*a + 31*a. Solve -5*r - 3*j + a + 14 = 0, -3*j = 3*r - c for r.
4
Suppose -k = k - 42. Suppose 0 = -2*u - 6, -5*u - 60 = -3*n - 2*n. Solve 0 = -4*a + 5*h - k, 3*a = 5*h - 8 - n for a.
-4
Let f(y) = -4*y - 13. Let u be f(-4). Solve -3*g + 2*g = -n - u, 2*n = -3*g + 19 for g.
5
Let n = -1 + 6. Let j = 0 + -1. Let d = j + n. Solve d*i - 18 = 2*f, 3*i + 2*i = 3*f + 25 for i.
2
Suppose 3*y = 5*u, -5*u = -3*y + 4*y. Let w be -5*(y + (-14)/5). Solve 3*s = 4*t + w, -3*s + 4 = 4*t - 6*t for s.
-2
Suppose 0 = -5*c + 52 + 38. Let q be (c/(-4))/3*-2. Suppose w + 5 - 1 = 0, -q*w = 5*n + 7. Solve -b - n = 2*h - 7*h, -3*b - 5*h + 17 = 0 for b.
4
Let b = 20 + -14. Suppose 5*s - 9 = b. Suppose w - 16 = 16. Solve 3*h - 5*v + 2 = -s, 4*h = -3*v + w for h.
5
Let p be (-1)/1*(-2 - 1). Solve 4*d = v - 16, -p*d = 2*v - 9 + 32 for v.
-4
Let r = 44 - 41. Solve 0*z - 3*z + 3*s + 15 = 0, 3*z + r = -3*s for z.
2
Suppose 0 = -9*g + 7 + 11. Solve 0*a - 3*t = -3*a - 9, -5*a + g*t = 0 for a.
2
Let q = -60 + 63. Solve t - 8 = -0*y - q*y, -5*t - 5*y = -10 for t.
-1
Let i = -13 + 16. Suppose -2*c - 3 = -i*c. Solve -c*v + 2*v + 1 = 2*u, 3*v - 17 = u for u.
-2
Suppose -s - 2 = -3*r + 1, -15 = -5*s. Solve -r*v - 2*v - 5*q + 22 = 0, 0 = -5*v + 2*q + 11 for v.
3
Let u = -6 + 6. Let c be 3 + 1 + u/4. Solve -20 = c*q - 0*j - 3*j, -5*j + 26 = -3*q for q.
-2
Let k(p) = -2*p + 17. Let o be k(7). Solve 2*v = 7*v + o*h + 22, -2*v = -5*h - 16 for v.
-2
Let a be 1*(-2 - -2 - -8). Suppose o - 2*o + 2 = 0. Solve -o*l - 15 = 5*j, 0*l - l = 3*j + a for l.
-5
Let p(d) = -d**2 + 2*d. Let i be p(2). Suppose k + 5*c = 4 - 0, 5*k - 20 = 5*c. Solve 0 = 2*a + o - 1 - i, -k*a = -5*o + 5 for a.
0
Let d = -9 + 9. Suppose d = 3*r - 19 + 7. Solve -3*b + 2 + 4 = -r*o, -1 = 2*b - o for b.
-2
Suppose 0*c + 2*c - 4*k + 12 = 0, c + 9 = 3*k. Suppose 2*i = 2 - c. Let x be 29*i - (-3 + 4). Solve 5*o + n = -0*n - x, -4*n = -o + 7 for o.
-5
Let l(y) = -y**2 + 7*y - 3. Let k be l(6). Let j be (k - 14/4)*0. Solve 5*r + 5*u + 5 = j, -4*r + 0*u + 14 = -2*u for r.
2
Let w = -34 - 56. Let u be (-4)/(-18) + 290/w. Let m = u + 5. Solve -4*f - 3 = 2*q - 7, -q = -m*f + 6 for q.
-2
Suppose 6*s + 35 = 131. Solve 2*f + 3*y = -y + s, 20 = -4*f + 5*y for f.
0
Suppose 2*k - 3*k = -4. Solve -4*m + 0*u + 8 = 2*u, 2*m + k = u for m.
0
Let c(z) = 4*z**2 - 2*z + 1. Let h be c(1). Suppose -a - 44 = -h*p - 16, 3*p - 3*a = 18. Solve -4*i + 2*i = 6, p = 4*q - i for q.
2
Let q be (-1)/((-8)/18)*4. Let m be (-2 + -3)*(-2 - -1). Suppose -m*k = -0*k. Solve -q = -2*o + w, k*o - 4 = -o + w for o.
5
Let b(x) = -3*x + 4. Let j be b(7). Let c = j - -17. Solve 0 = 3*t + 2*m - 7*m - 1, -4*t - 4*m - 20 = c for t.
-3
Let n(o) = o**2 - 5*o + 8. Let j be n(4). Solve -k - j = -4*g + 11, -3*g + 12 = 0 for k.
1
Let v be (-1)/2*(-11 - -11). Solve 0 = -5*l + 5*i, v = -3*l + l - 5*i for l.
0
Let a be 2*-1*16/(-4). Let x(p) = -p**2 + 7*p - 4. Let c be x(a). Let w be c/8 - 18/(-4). Solve 3*f = -4*k + 20, -4*f = w*k - 0*f - 15 for k.
5
Let g be 48/9*(3 + 0). Suppose 0 = -4*c + g, 3*y = -y + 3*c + 196. Let d = -17 + y. Solve -5*h + 7*m - 2*m = -d, -11 = -h + 3*m for h.
5
Suppose 4*g - 2*u = 62, 12 = -3*g - 3*u + 63. Solve 5*i = 4*s + 13 + 3, 0 = -4*s - 2*i - g for s.
-4
Let f be (24/21)/(-4)*-7. Solve -3*j + 3*u - 3 + 0 = 0, 5*j + f*u = -33 for j.
-5
Let l = -3 + 6. Let b(v) = -4*v + 1. Let z be b(-1). Suppose 0 = z*p - 3*p - 6. Solve -k + l*k + 5*a - 15 = 0, -k + p*a = -2 for k.
5
Suppose 4*i = -4*p - i - 7, -2*i - 8 = -p. Suppose 0 = -5*y - 5*d - 5, y + p + 1 = -3*d. Solve 4*o - 4*x - 20 = -o, y = 5*o + 3*x + 15 for o.
0
Let o(t) = t**3 - 2*t**2 - t + 4. Let w be o(2). Suppose k = -w + 7. Solve -3*g = 4*c + 20, 15 = -k*g + g - 3*c for g.
0
Suppose -1 = -3*g + 8. Let q be 13/(1/(3/g)). Solve -2*h + 0 + 3 = m, -q = -2*h + m for h.
4
Let l be (3 + (-20)/6)*0. Solve 3*c + 5*h + 7 - 31 = l, c + 5*h = 18 for c.
3
Let y = -6 + 8. Let q be (-46)/(-14) - y/7. Solve -7 = 2*u - 2*z - z, z + q = -2*u for u.
-2
Let l be (-1 - -1) + 0/10. Suppose -44 = -4*f + 20. Solve f = -g - 3*r, l = -7*g + 4*g + 2*r - 4 for g.
-4
Let o = 5 - -9. Let b be (o/(-2))/(-1*1). Solve -28 = -4*p + 4*j, p + b*j + 11 = 2*j for p.
4
Let o(w) = 4*w**2 - 13*w - 6. Let z(s) = -3*s**2 + 12*s + 6. Let f(v) = -4*o(v) - 5*z(v). Let y be f(-5). Solve 7 = -4*a + 3*q, -4*q = -5*a - y*q - 35 for a.
-4
Let g = 1 - -3. Solve 4*h - 5 = -g*t + 3, -h = -t + 2 for h.
0
Let n(j) = -j**2 + 7*j + 12. Let q be n(8). Solve -4*i + q = -4*g, 10 = -4*g - 2 for i.
-2
Suppose -17 = -7*m + 18. Solve m*l = -4*o + 4, o - 1 = -l - 0 for o.
1
Suppose 4*g - 14 = -2. Suppose -2*a = -g*a. Let s = a - -2. Solve 4*z = -3*d + 13, 4*z - 4*d + s + 6 = 0 for z.
1
Suppose 3*o = 3*s - 30, -o + 2*o = -3*s - 6. Let r = o - -7. Let v be r*(-2 + 34/(-4)). Solve -45 = 5*c + 5*z, -3*c - 4*z = 10 + v for c.
-5
Let r = -21 - -12. Let z = r + -9. Let k be (-5)/(-25) + z/(-10). Solve -5*c + w - 15 = 0, c - 3 = k*c + 4*w for c.
-3
Suppose 6 = -3*w - 4*a, 3*w - a - 7 = 2. Solve 0 = -2*m + j - 0*j - 3, w*j = 2*m for m.
-3
Suppose 4 = 5*v - 1. Let w = 4 + v. Solve -1 = 2*l + a, 4*l - w*a - 13 = 6 for l.
1
Let a = -1 + 0. Let h = a - -5. Let l be ((-2)/3)/(4/(-42)). Solve h*r + 2*w = -14, -3 = -r - w - l for r.
-3
Let b(x) = 2*x**2 - 7*x + 6. Let f be b(4). Let k(m) = -m + 8. Let g be k(3). Solve h + g = 2*t, h + 3*t - f = -0*h for h.
1
Suppose l = -b + 6, -27 - 6 = -2*l + 5*b. Suppose -4*v = -h + 6*h - 19, -4*h - l = v. Solve -5*p - v = -4*o - 26, -3*o + 2*p = 13 for o.
-5
Let v be 1/(2 + (-13)/7). Suppose -3*f - 28 = -v*f. Suppose -y + f = 2. Solve -5*n = -4*i - 7, -4*n + 10 = -y*i + n for i.
-3
Suppose 0*z - 3*z = 9. Let a = -41 - -34. Let u be a*(0 + z - -1). Solve 4*k + 34 = -k - 3*b, -4*k = -2*b + u for k.
-5
Let j be (-7)/(5 + -2 + -2). Let o = 30 + j. Solve -2*i + 2*k + 14 = 0, -k - o = -5*i - 0*k for i.
4
Suppose 0 = -4*v + o + 34 - 10, 4*v + 2*o - 36 = 0. Let z(x) = -2 - 2 + 1 - v*x + x**2. Let n be z(8). Solve 5 = -5*t + n*a, -2*t = -3*t - 4*a + 24 for t.
4
Let c = 39 + -8. Solve 3*k + c = 4*z, 3*z - 12 = -0*z for k.
-5
Suppose 5*b - 3 = -4*q, 0 = 2*q - 2*b + 4*b - 2. Suppose q*t = t. Solve t = -4*z + n + 3, 3*n - 8*n = 3*z - 31 for z.
2
Let v be 8*(-3)/(-6)*(-1 - -2). Solve -1 = -2*o - c - 6, v*o - 3*c = -35 for o.
-5
Suppose 4*i = 5*t + 5*i - 15, 2*t = 3*i - 11. Solve -o - 6 = t*g + 2*o, -4*g - 2*o - 4 = 0 for g.
0
Suppose 3*o = -5*s + 2, 2*s + 55 = 3*o + 2*o. Solve -4*a = -5*j + 3, 3*j - o = -2*j + 2*a for j.
3
Let p = 95 + -78. Solve -3*n = -5*s + 18, 5*s + 0*n - 2*n - p = 0 for s.
3
Let a be (3 + 1)/(14 + -13). Suppose 0 = -a*d - 0*d + 72. Solve -d = -c - 4*z, -z + 6*z = 4*c + 33 for c.
-2
Let g be ((-7)/((-63)/(-15)))/(1/(-3)). Solve -g*f + 40 = -5*c + c, 3*f = c + 17 for c.
-5
Let f(j) = -4*j - 2. Let v be f(-6). Let b = -22 + v. Solve -3*l - 2*q - 6 = b, l + l + 2 = -2*q for l.
-4
Let h = -7 + 12. Solve 5*z - h*a + 25 = 0, a = z - 3*a + 17 for z.
-1
Suppose 0 = -3*m - m + 20. Solve m*r + 2*w = -9, 3*r + 3 = -2*w - 0 for r.
-3
Let q be 10/6 + (-20)/12. Solve q = -x, -2*w + w - x = -5 for w.
5
Let h be 1/(-5) + 48/(-10). Let w(a) = a**3 + 5*a**2 - 5. Let c be w(h). Let f = c + 5. Solve 0 = 4*r, q + r + 3*r - 3 = f for q.
3
Let v(c) = -c**2 - 5*c + 3. Suppose 0*w - 5 = w. Let l be v(w). Solve m + 0*j + 14 = 4*j, 3*j - 3 = -l*