0*h - p*r - 2 = 0 for h.
1
Let q = -831 - -834. Solve -w + 0*w + 12 = -4*c, -8 = 5*c - q*w for c.
-4
Let h(d) = 3*d - 8. Let n be h(7). Suppose 4 = -3*p + n. Solve -p*f + 4*f + x = -6, -2*x = 5*f + 24 for f.
-4
Suppose 0 = -2*k - 2*g - 8, -g - 1 = 2*k + 5. Let f be k/12*-9*2. Suppose -f*l = 3*l - 90. Solve -5*d - l = 5*z, -2*d - 14 = 2*z + 2*z for z.
-4
Suppose p + 45 = -4*p. Let d be 2 + (-48)/p*3. Suppose 32 = 5*w + 2*x + 2*x, 3*w - d = -3*x. Solve -3*s - s - 5*h = -w, -h + 4 = 0 for s.
-3
Let f = -27 - -19. Let g be -32 + 1*f/(-4). Let v be 5/(-2)*g/25. Solve -s = -5*u - 1 - 19, 0 = v*s + 2*u + 8 for s.
0
Suppose -12*x = -2*x - 40. Let w = -3 + 7. Suppose 0 = 2*m - w*m + x. Solve -2*q + 5 = -q + 4*j, m*j = 0 for q.
5
Suppose -7*r - 2*j - 42 = -10*r, -2*r - 4*j = -12. Suppose 2*n = 7 + 1. Solve c + g + r = -2*g, -g = n*c - 7 for c.
3
Suppose 8 = -m + 5*m. Let d be (-30)/(-5) - (m - 3). Suppose 12 = -3*n + 6*n. Solve n*o + d = 3*x, -3*o - 4*x + 2*x + 16 = 0 for o.
2
Suppose 2*r = 6*r + 2*y - 96, -2*y = 5*r - 120. Let o be 18/(-21)*(-7 + 0). Let t = r + o. Solve 22 = -5*d - v, -3*d - 4*v - t = -9*v for d.
-5
Let n(p) = -5*p - 18. Let q(z) = -z**2 - 12*z - 25. Let f be q(-10). Let y be n(f). Solve y*d + 3*j - 25 = 2*d, -10 = 5*d - 4*j for d.
2
Let d = -15 - -8. Let z = -5 - d. Let l(j) = j**3 - 13*j**2 - 12*j - 22. Let t be l(14). Solve z*k = 2*m - 0*m + t, 4*m = -5*k + 24 for k.
4
Let h be 6*(-17)/(153/(-6)). Let d(a) = 3*a**2 - a. Let u be d(1). Let b(m) = -m + 2. Let j be b(0). Solve l - 14 = u*n - 3*l, 0 = -2*n - h*l + j for n.
-3
Suppose -3*p + 103 = 2*a, 0 = 5*a + 5. Suppose p = -4*x + 43. Solve v + 1 = f, -x*f + 6*f = -v - 21 for f.
-4
Let d(t) = -t**2 - 7*t + 5. Let c be d(0). Suppose 0 = -5*j + 2*j + 9. Solve -c*u = 5*s + 25, j*u - 2*u + 5*s = -5 for u.
-5
Let v(l) = l**3 + 7*l**2 + 7*l - 1. Suppose -80 = 18*u - 8. Let z be v(u). Solve 5*t - i - i + z = 0, t = 4*i + 7 for t.
-5
Suppose 5 = -19*j + 18*j. Let z be (-6)/(-14)*(-35)/j. Solve -2*y - 7*g + 2*g = -19, z*g - 7 = y for y.
2
Suppose -5*p + 23 = -147. Let v = -4 - -18. Let b = p - v. Solve -4*c + 20 = -2*n - 3*n, -3*c - 5*n = b for c.
0
Let r(h) = 2 + 9*h**2 - 10*h**2 + h + 0*h. Let o be r(-4). Let u = o - -30. Solve -2*w - 18 - u = -4*z, 0 = 2*z - 4*w - 30 for z.
5
Let p be 4*-1 - 13/1. Let f = p - -5. Let r = f + 15. Solve -15 = -5*y, -r*y + y = -j - 7 for j.
-1
Suppose 5*n - 30 = -3*c, 0 = 4*n - 2*c - 1 - 1. Solve -n*g + 15 = -i + 4, g + 3 = -3*i for i.
-2
Let a(i) = -i - 9. Let q be a(-15). Suppose -q*y = -3*y - 12. Solve 4*c + y*d - 16 = 0, 4*c - d = c for c.
1
Suppose -56*u = -58*u + 10. Solve 0*g = m + u*g - 3, 13 = -5*m + 3*g for m.
-2
Let u = 3 + -2. Let d be (-10)/u*(4 - 6). Suppose 4*q = -5*c + 1, 0 = -0*q + 2*q - 4*c - d. Solve -k = -2*p - 2*p - q, 2*p + 2 = -k for p.
-1
Let x(b) = 2*b**2 + b - 3. Let y be x(-3). Suppose -5 = -10*t - 105. Let n = y + t. Solve n*o = 5*s - 6, 3*o - 2*o + 5*s = -3 for o.
-3
Let k(m) = 16*m**2 - m. Let a be k(2). Let u = 92 - a. Let h(g) = 5*g**2 - 34*g - 2. Let s be h(7). Solve 3*c + s*i = -10, 5*c + i = 2*i + u for c.
5
Let y(w) = -w**3 + 6*w**2 + 6*w - 1. Let i be y(7). Let k = -12 - i. Let h be 304/72 + k/18. Solve -h*u - 2*s = 4, 3 = -3*u - 2*s - 2 for u.
1
Suppose -3*b = -3*p + 90, -5*b + 81 = 3*p - p. Let q be -1 - p/(-2) - 17/34. Solve -3*n + q = 0, z + z - 5*n + 19 = 0 for z.
3
Let p = 25 + 0. Suppose p = -3*q + 31. Solve 0 = d + 2*m + 6, -q*m + 35 = 5*d - 5*m for d.
4
Suppose 15 = -5*w, -57 = -2*v - w - 52. Solve -v*j - 17 = -l, 2*j - 4*j - 19 = 3*l for j.
-5
Suppose r - 59 = -4*c, c + 3*r - 1 = -0*r. Let l = -30 - -20. Let m be l*2*(-4)/c. Solve -m*q = -4*v + 21, -2*v + 2 = 2*q - 4 for q.
-1
Let c be -1*(-3 + 4) + (22 - 16). Solve -3*x = y + 11, 4*x = -y + c*x + 1 for y.
-2
Suppose 2*u - 6 = -2*q, q + u = -u + 2. Solve 3*p - 2*c + 10 = 0, -q*p - 4*c = -0*p for p.
-2
Let u = 0 + 6. Suppose -11 = -7*j + u*j. Solve 5*c = n - 22, c = -n - j + 3 for c.
-5
Suppose -3*v + 27 = 5*k, k - 15 = -0*k - 3*v. Suppose -33 = -3*h + y + 39, k*y = 4*h - 91. Solve g = -4*g - h, -4*r + g = -13 for r.
2
Suppose 5*t - 19 = 11. Suppose 6*b = 5*b + t. Let z(q) = q**3 - 6*q**2 + 12. Let l be z(b). Solve -3*i + 13 = 4*j, 4*j - l = -2*i + 2 for j.
4
Suppose 95 = 21*t - 2*t. Let j be 1/(-2)*0 - -5. Suppose j*l - s = -3, -2*s + 3 = 5*l - s. Solve 3*u = -5*b - u, l = -t*b + u for b.
0
Let c = 110 + -111. Let b(l) = -l**2 + 1. Let y be b(c). Solve y = -f + 5*p - 12, 2*p = 9*f - 4*f + 14 for f.
-2
Let u be ((-2)/5)/((-2)/(-10)) + -57. Let g = -40 - u. Solve 4*f - y = -g, -5*y + 23 = -2*f - 0*f for f.
-4
Suppose 5*t - q - 4*q = 680, 4*q + 139 = t. Let o = t + -118. Solve -x + 5*x - o = 5*h, -2*h = -5*x + 17 for h.
-1
Let p = 5 + -8. Let g(a) = a**3 - 13*a**2 + 11*a + 6. Let n be g(12). Let w = p - n. Solve 3*j = 4*u, w*j + 2*u - 24 = -2*u for j.
4
Suppose -7*n - 171 = -185. Solve -5*a + 11 = n*g, -4*a + 3*g + 7 = -11 for a.
3
Suppose 2*o + 36*c - 32*c - 4 = 0, -21 = -5*o + c. Solve -o*t + q + 24 = 0, -3*q = 3*t - 4*q - 19 for t.
5
Let f = -531 - -534. Solve y = -v - 0*v + 5, f*y + 4*v = 15 for y.
5
Suppose -19*u = -13*u + 54. Let o(x) = x**2 + 7*x - 16. Let s be o(u). Solve n = -s*n + 4*d + 13, -5*n - 4*d = 21 for n.
-1
Let x = 33 - 28. Suppose 35 = n + x*q + 12, 0 = 5*q - 20. Suppose n*r = 14 - 2. Solve -5*t + 23 = 2*z, -t + 3*z + 28 = r*t for t.
5
Suppose 2*i + 16 = 4*y + 4, -4*y + 24 = i. Solve 4*g = 3*z + 12, 6*g - y*g + 5*z = -20 for g.
0
Suppose m = -2*y - 2, 0 = -4*y - 9 - 3. Let j be (-90 - 2)*m/(-16). Solve 5*k - 3*o = -28, -4*k = -7*o + 4*o + j for k.
-5
Let w(c) = 21*c - 37. Let r be w(2). Solve y = 2*a + 5, -4*y + 0*a - r*a = 19 for y.
-1
Suppose -10*c = -5*c - 20. Let m be -3 + 36/(c + 0). Solve x + 11 = 5*b - 0*x, -4*b - 2*x = -m for b.
2
Suppose 2*z - 7*s = -12*s - 12, s = -2*z + 4. Solve 4*c + 3*w = -0*w - 16, 4*c = z*w + 12 for c.
-1
Let w be 10/3 - (-18)/(-135)*-5. Solve -z + 4*n = 7, w = -6*z + 2*z + 4*n for z.
1
Suppose 0 = 6*h - 8*h. Let p = h - -24. Suppose c = -3*u + 4*u + 4, 0 = 5*c - u - p. Solve -4*n = 5*z + 7, 3 = c*z + 3*n + 12 for z.
-3
Suppose 9*r - 342 = -0*r. Suppose -12*z + r = -10. Solve 4*f + f - z*j - 13 = 0, -f + 3*j = 4 for f.
5
Let m = 40 - 7. Suppose -2*c + 4 = 4*y + 2, m = 5*c - 4*y. Let s be ((-3)/2)/(18/(-12)). Solve 3*l + 2*z + 3 = c*z, -3*l = z - s for l.
0
Let m(i) = i**2 - 19*i + 4. Let k be m(19). Solve -k*h = -5*y + 10, 2 = -2*y + h + 3 for y.
-2
Suppose 2*a = -a + 6. Let j(g) = 3*g + 40. Let r be j(-10). Suppose -2*m = -r*m + 24. Solve -16 = a*c - m*s, 4*c + s + 1 = -3 for c.
-2
Suppose -4*b = -4, 0 = -4*k + 4*b - 0*b + 36. Let v be (-50)/5*(6/k - 1). Solve 2*q + 2 = v*d, q + 4 = 6*q - d for q.
1
Let k(y) = -2*y**3 + 179*y**2 - 265*y + 91. Let n be k(88). Suppose 0 = m - 5 - 0. Solve 0*c + 5*c = m, -3 = 4*p - n*c for p.
0
Suppose 0 = 17*a - 20*a + 60. Solve 0*q + 2*q = 4*w - a, 3*w = 5*q + 22 for w.
4
Let q = -9 - -7. Let d be (q/6)/((-1)/6). Solve r + 4*r = -4*o + 35, 2*r + 4 = d*o for o.
5
Let b = -19 - -19. Solve b = 5*h - 5*d - 5, h = 5*d + 13 for h.
-2
Suppose 4*l - 8 = -4*r, 2*l + 21 = 6*r - 3*r. Suppose 8 = 2*n + 4. Suppose 1 = -5*s + 16. Solve -n*u = -c + 5*c + 2, s*c + r*u = 9 for c.
-2
Let r be 1 + -12*1/4*2. Let x(v) = v**2 + 2*v - 6. Let l be x(r). Solve 4*u - 1 = -k - l, -5*u = -3*k + 27 for u.
-3
Let m be (12 + 5 - 17)*(-2)/2. Solve -5 = 5*l - 4*z, m = -l + 3*z - 5*z - 15 for l.
-5
Suppose 2*j = -4*t - 2 + 10, 20 = 4*t - j. Let r be ((-5)/((-100)/(-24)))/(3/(-5)). Solve 2*v = 3*v - t*x - 13, -r*v - 26 = 5*x for v.
-3
Let n = 0 + 0. Suppose 5*m - 12 - 3 = n. Suppose 0 = -m*s + 2*s. Solve s = -2*u - 3*z + 6, 4*u = -3*z + 8 + 4 for u.
3
Suppose 5*r - 6*y + 11*y - 10 = 0, 3*r - 4*y = 34. Solve -3*v = -4*t - 2 + r, -3*v + 28 = 4*t for v.
4
Let u = 4 - 2. Suppose 4*s = 3*n + 96, -3*s + 0*n + 72 = u*n. Let v be ((-3)/(-1) - 2)*17. Solve -2*o = -4*m + s, o - 4*m = -m - v for o.
-2
Let s(m) = m**2 - 12*m + 36. Let g be s(8). Solve 4*w = -16, g*k + 11 = -3*w - 21 for k.
-5
Suppose 0 = 3*t + 2*t - 15. Suppose -4*l + t*l = -c + 9, 0 = -l - 1. Solve 4*j - c*w + 3*w = 37, -w = 3*j - 4 for j.
3
Suppose -5*p - 2*g + 55 = 0, -17*p = -12*p + 3*g - 55. Solve -3*w - 14 = -3*y + 2*y, -4*y = 3*w - p for w.
-3
Let 