r h.
3
Let f be (-6 - -1)*(-8)/(-10). Let z = -12 - f. Let u = z - -8. Solve u = 3*q - 2*d - 3 - 3, -d - 3 = -4*q for q.
0
Suppose -5*v + 3 = -7. Suppose -21 = 4*k + 2*x + 33, 4*k + 36 = 4*x. Let f be ((-15)/k)/(2 - (-14)/(-8)). Solve 25 = 5*m + o, v = -5*m + f*o - 3 for m.
4
Suppose 14 = f - 2*h, -3*h - 10 = -h. Suppose -2*u = 3*o - 16, -8 = -f*u - 0. Let r be 6/2*38/57. Solve -o*q + 1 = -g, 6*q + 3 = r*q - 3*g for q.
0
Let y(d) = -d**2 + 6*d - 1. Let w be y(4). Let s = 383 + -365. Solve 0 = m + 2*b - w, -2*m + s = m + 5*b for m.
1
Let d = -6 - -8. Let t be (-286)/(-10) - (-30)/(-50). Let u = t - 23. Solve -4*p - 5 = u*s, 2*s + 2 = -d*p + p for s.
-1
Suppose 37*c = 18*c + 266. Solve c + 7 = -t - 5*l, -t - 5 = l for t.
-1
Let u be (-6)/3 + (-1 + 2)*52. Suppose 3*m = 5*j - u, 6*j - 2*j = -m + 23. Solve -5*f = -s, -4*f + j*f = 0 for s.
0
Let u = -52 - -52. Suppose 5*y + 18 - 33 = u. Solve t = l + 2*l - 5, 0 = y*t - 2*l - 6 for t.
4
Let s be 324/78 + (-4)/26. Suppose 0 = s*k + 4 - 52. Solve 0 = 3*c - 5*c - b - k, -4*c - 32 = 4*b for c.
-4
Let t = -1915 + 1950. Solve 4*o + 5*a = 0, -3*o - 16*a + 21*a + t = 0 for o.
5
Suppose o + 13 = -2*l - l, -3*o = 4*l + 19. Let m be 136/12 - l/6. Let r = m + -9. Solve 0 = -5*z + 4*g + 25, r*z + 4*g - 3*g = -2 for z.
1
Suppose v - 1 = 5*q + 5*v, -3*v = 12. Suppose -5*i = -11 - 4. Let a be ((-5 - -2) + 0)/(6/(-4)). Solve 0 = a*n - i*b, -q*b = n - 5*b for n.
0
Suppose 3*i = -4*r + 52, -12 = -5*r - 2*i + 46. Solve 2*u = -2*m + r, 3*u + 5 = 2*m - 0 for m.
4
Let r(p) = -p**2 - 7*p - 14. Let o be r(-6). Let b(t) = -2*t - 13. Let f be b(o). Solve f*a - 20 = -5*y, 3*y = -2*a + 3 + 10 for a.
5
Let m(i) = -7 - i + 7 + 3*i**2 - 4*i**2. Let x be m(0). Solve -2*f = -q + 10, 3*q + x*f + f - 9 = 0 for q.
4
Let d be 8*(27/6)/(-9). Let u(p) = p**3 + 3*p**2 - 6*p + 2. Let z be u(d). Solve 0 = -2*a - 0*a + 2*g - z, -a - 5*g + 19 = 0 for a.
-1
Suppose 0 = 5*q - 20, 4*i + 2*q - 24 = -0*q. Solve -i*u + 8 = -0*r + 2*r, -r + 4*u = -4 for r.
4
Let p be -1 + 0 - 1*(-3 + 2). Suppose p = f + f - 8. Solve -f*h = -3*t + 35, 6 = -3*h - t - 4 for h.
-5
Suppose -3*r + 3 + 28 = -4*a, -26 = -2*r + 4*a. Let s = r - 2. Let n be 2 - 5 - (-4 + -8). Solve 4 = s*v - 4*b, -4*v + 4*b = -n*v - 36 for v.
-4
Let p be (-10 + 14)/(2/3). Suppose -730*f = -725*f. Solve 12 = -h - f*h - 4*j, -5*j = -h + p for h.
-4
Suppose 5*t + 25 = 0, -2*q - 4*t - 50 = -7*q. Suppose 5*c + q = 16. Solve 0 = 2*l - z + c, 0 = -2*l - 3*z + 14 for l.
1
Suppose 0 = -5*x - s + 38, 6*x = x - 3*s + 34. Let g(c) = c**2 - 6*c - 14. Let u be g(x). Solve 0 = -3*o - 4*h + 6, -u*o = -5*h + 12 + 7 for o.
-2
Let i be 44/385*(-10)/(-4)*7. Solve i*u - 3*k = k, 4*k = 4 for u.
2
Let m = -9 - 10. Let c = m + 21. Solve 2*l = c*h + 6, -3*h = -2*h + 2*l for h.
-2
Let b(l) = l**2 - 5*l + 9. Let d(v) = -2*v**2 + 10*v - 17. Let p(x) = 11*b(x) + 6*d(x). Let r be p(3). Solve 2*n = k + r, 0*k - k = -5*n + 12 for k.
3
Let l = -67 + 108. Let s = l + -39. Solve 0 = -2*r + 2, -2*r + 0*r = s*t + 6 for t.
-4
Let t(b) = b**3 + 2*b**2 - 13*b - 26. Let v be t(-3). Solve 0 = 3*h + p + 11, -v*h - 24 = p - 2*p for h.
-5
Let k = -8 - -53. Let c be 21 + (-30)/k*18/(-4). Let q(u) = -4*u. Let a be q(-1). Solve 3*f = -0*f - 4*m - 7, -c = a*f - 2*m for f.
-5
Let o(a) = a**2 + 7*a + 9. Let s be o(-6). Let r(v) = -71*v + 570. Let l be r(8). Solve -u = s, 6 = 2*t + l*t - 2*u for t.
0
Suppose 9*o - 47 = -11. Suppose 5*z - o = -2*d, -3*d = -d + 4*z - 4. Solve -2*s + 4*p = 3*s - 12, 16 = d*s + 4*p for s.
4
Let s be 0 + (-494)/(-14) + 8/(-28). Suppose -20*d + 13*d = -s. Solve -15 = -3*n, 3*o - o + n = -d for o.
-5
Suppose 3*t + 59 = -79. Let g = -30 - t. Suppose -g = -c - 5*y, 5*c + 4*y - 73 = 7. Solve 0*z - j + c = 4*z, -5*z + 5*j = 5 for z.
3
Let d = 188 - 54. Let m = -131 + d. Suppose k = 4*c - 3 - 1, -2*c = 5*k - 2. Solve h + k*h = -2, 3*h = m*f - 12 for f.
2
Suppose -9*u = -8*u - 12. Suppose -4*m + 3*m + 3 = 5*o, 4*o = -3*m + 9. Solve -2*b - 5*n + 28 = -o*n, 5*b = 2*n + u for b.
4
Let a be -14*20/70 + (-6)/(-1). Solve -o + 5*p = -24, -a*p = -0*o + 2*o + 12 for o.
-1
Let j(g) = 3*g**2 - 5*g + 3. Suppose 0*a + a - 5 = c, 4*c + 4 = -4*a. Let q be j(a). Solve h + 7*n - 2*n = 12, q*h - 2*n = 6 for h.
2
Let c = 536 + -536. Solve -2*u + 3*v + c*v = 5, -v = 4*u - 25 for u.
5
Let i be 14*4*4/8. Suppose i = -3*l - 5*f, -12 = l + 3*f + 4. Let n be (-7 - l)/(2/(-5)). Solve 5*b + 0 = 3*y + n, 3*b - 20 = 4*y for b.
0
Suppose -9*k + 12 = -6. Solve 3*c = k*g + 4*c + 6, 5*c = -2*g - 14 for g.
-2
Let o be (1/3)/(4/(-24)). Let c be -1 + (o - -13)*2. Suppose -6*f + c = f. Solve 11 = -4*a + 3, 2*u + f*a = -16 for u.
-5
Let u be 0 + -1 + 5 + -2. Let o = 355 + -348. Solve -3*m + 1 = 2*r, 0 = 2*m - o*m - u*r - 1 for m.
-1
Let m be (35/(-175))/((-1)/10). Solve -4*a + 2 = -2*t - m, -4*a = -8 for t.
2
Suppose -g - 1 = -3. Suppose -g*z - 5 = 4*l - 17, -4*l = z - 16. Let y = 5 - l. Solve -2*d = -d - 2*t + 3, y = 5*d + 3*t + 2 for d.
-1
Suppose 5*a + 4*j - 28 = 0, a + 4*j - 1 = -5. Suppose x + 2 = 2*i, 3*x = -11*i + 6*i + 27. Solve 4*l = i*s - 15, l + 3*s - a = 7 for l.
0
Suppose -14*q = -q - 104. Suppose -d = -8 - q. Solve 3*w = -5*s + d + 10, -w + 4*s - 14 = 0 for w.
2
Let m be -3 - (297/(-55) - (-4)/10). Solve 4 = -2*w - 4*t, -2 = m*w + 5*t + 3 for w.
0
Let v be (-51)/(-4 + 0/(-4) + 3). Let y = -37 + v. Suppose 0 = -0*u + u - 6. Solve -4*h + n + 8 = 0, -u = -5*n + y for h.
3
Let a = -142 - -147. Solve -a*u - 3*q = -0*q + 6, 3*q = -6 for u.
0
Let p = 0 - -4. Suppose 0*s - 3*s + 3*v = -18, 4*s + p*v - 8 = 0. Solve 2*r - 1 = 5*c - 2*r, 5*c + s = r for c.
-1
Suppose 0 = -b - 1561 + 1566. Solve 3*i - 5*a - 3 = 12, 2*i = b*a + 15 for i.
0
Suppose 1 = m - 5. Suppose -m = -0*y - 3*y. Solve -f - 4*a + 13 = 0, -3*f = y*a - 23 + 4 for f.
5
Let o be 0 + 4 + -1*2. Let l = -39 + 28. Let q be l/66 + (-2)/(-12). Solve o*m + 5 = -0*m - 5*v, -m + v - 6 = q for m.
-5
Let z = 5 + -1. Suppose 0 = -5*k + 612 - 87. Suppose -h - z*h = -k. Solve y + 4*y = -4*g - h, 4*y - 5*g + 25 = 0 for y.
-5
Suppose 0 = 4*u + 3*x + 15, -3*u - 5 = u + x. Let f = 29 - 27. Suppose 4*s - 8 = -0. Solve -j - 2*k - 10 = u, -j + s*k + f = -0*k for j.
-4
Let p(o) = 25*o - 135. Let u be p(6). Solve -x - 3 = 4*f - 6*x, -5*x + u = 0 for f.
3
Let k(n) = n**3 - 7*n**2 - 9*n + 11. Let g be k(8). Let a be (-21)/28*4*1. Let y be (-4 - a/(-6))*-2. Solve w = -w + m + 7, -2*w = -g*m - y for w.
3
Suppose 3*w - 4 = -13. Let n be -1 + 2/(-2)*w. Solve 5*s - f = f + 25, 2*f = -n*s - 4 for s.
3
Let z(t) = t**2 + 5*t - 5. Let a be z(-6). Let r be (a + 0)/(2/18). Let d be (-42)/(-8) - (-9)/(-36). Solve -d*q = -3*v - 28, -q + r = -3*v + 1 for v.
-1
Suppose -2*l = 5*y - 21, -l = -5*l + 12. Solve 4*h = -3*n + y, -3 - 1 = -4*n - 4*h for n.
1
Let t = -200 + 214. Solve 17 = -w + 4*q, w - 3*q = -w - t for w.
-1
Let q = 330 - 327. Solve 3*h = 5*c + 10, q*h = -2*c + c - 2 for h.
0
Suppose -6 = -x - 2*x. Let g(t) = t**3 - 6*t**2 + 6*t - 3. Let h be g(5). Suppose 3*b = -h*b + 10. Solve b*f + x = d - 1, -f + 2 = -4*d for f.
-2
Let s be ((-2)/(-3))/(8/48). Let l be (-7 - (0 - s)) + 6. Suppose -5*w = 5*h - 20, -4*w - l*h = 1 - 14. Solve -w + 4 = n - 2*t, -3*n + 5*t + 7 = 0 for n.
-1
Suppose 0 = -7*g + g + 24. Suppose 43 = g*a - 5. Let d be 31/11 - a/(-66). Solve 5 = -5*x + 3*o, -x + 11 = -0*x - d*o for x.
-4
Suppose 3*t = 6*t. Suppose 2*g + g + 14 = f, 5*g + 55 = 8*f. Solve 2*z + t*d = 4*d - 12, -40 = -f*z - 4*d for z.
4
Let h = 83 + -77. Suppose 4*t + 8 = -20. Let u(m) = -m**2 - 8*m - 7. Let c be u(t). Solve c = -3*r + 3*p + 18, 2*r = h*r + 2*p for r.
2
Let j(y) = -y - 38 - 8 + 20*y - 3*y. Let r be j(3). Solve 23 = -3*z + r*v, 5*z + 55 = 5*v + 10 for z.
-5
Let m = -841 + 846. Solve m*q - 5*n + 15 = -6*n, -4*q - n - 11 = 0 for q.
-4
Suppose 2*z + 2*z = 12. Suppose z*j + 4*u = 12, 0*j + 4*j - u = -3. Let h = j - -8. Solve -2*d = -g + 6, -d - 4*g - 4 - h = 0 for d.
-4
Suppose -29 = 3*v - 140. Let t = v - 20. Suppose -4 = -2*g + 4. Solve -g*w + t = l, 3*w - 3 = -3*l + 3 for l.
-3
Suppose 3*h = -13 - 2, 4*h + 45 = 5*x. Solve 0 = x*g + 3*d + 29, 3*d = g + g - 1 for g.
-4
Let y = -1853 - -1855. Solve j - 6*j - 22 = y*s, j - 3*s = -1 for j.
-4
Suppose 14 = 3*v + 4*v. Let z(t) = -t**3 - 6*t**2 + 4. Let p be z(-6). Let h be 5/((-18)/(-4) 