 + 7 for h.
-3
Suppose 5906*x = 5941*x - 70. Solve k + x = 3*f, 0 = f - 3*k + 6*k - 4 for f.
1
Let u be 1442/(-4) + 20/(-40). Let p = -359 - u. Solve 2*b + 3*v = 4*v - 6, -4*b - p*v - 12 = 0 for b.
-3
Let z(r) = -3*r**3 + 17*r**2 - 7*r - 13. Let l be z(5). Solve 4*o + l*h = 8, -2 = 8*o - 9*o - 2*h for o.
2
Let k = -15785 - -15788. Solve -21 = 7*x, k*n = 7*n + 4*x - 8 for n.
5
Let z = 35427 - 35427. Solve -339*a + 1 = -342*a + 4*l, z = 5*a - 4*l - 1 for a.
1
Let w = 277 - 249. Suppose -m - 3*m = -128. Let p = m - w. Solve -3*h = 2*z - 5, -h = 3*z - 1 + p for h.
3
Let c(i) = i**3 - 7*i**2 + 7*i - 3. Let n be (6/24*-2)/(2/(-28)). Let g be c(n). Solve -3*z - 7 = -4*j, 4*z = -4*j + g - 18 for z.
3
Let t(a) = 490*a**2 - 48 + 20*a - 241*a**2 - 250*a**2. Let q be t(17). Solve 4*k - 3*o + 2 = -5, k = -q*o + 17 for k.
2
Let f = 4530 - 4528. Solve m - 10 = -f*l, 6*m - 28*l = -32*l + 28 for m.
2
Let a = 14760 - 14757. Solve 3*w + 5*n = -24, -a*w + 17*n + 3 = 13*n for w.
-3
Let p(x) = 25*x - 1551. Let q be p(63). Solve -3*o + 3 - q = -4*f, o - 5*f = -18 for o.
-3
Let k(q) = q**2 - 54*q + 155. Let u be k(3). Solve -2 - 13 = j + 3*z, 5*z = -u*j - 25 for j.
0
Suppose -13*k + 6*k = 105. Let y = k - -13. Let w be (-8)/(3/((-1)/y + -2)). Solve 4*n + n = -15, -2*g + 2 = -w*n for g.
-5
Let l be ((-774)/(-63) + -14)/((-3)/56). Solve 0 = -m - s + 4, -l*m + 35*m = s - 8 for m.
-1
Let g = -1308 - -1312. Solve 57*w - 23 = g*a + 60*w, 3*a + 13 = 2*w for a.
-5
Let u(o) = 3*o + 3. Suppose 2*v + 2 = 4*z, v + z = -0*v + 8. Let x be u(v). Suppose -3*w + x = 3*w. Solve -w*c - 10 = 5*r, 2 = -r - 4*c - 17 for r.
1
Let l = -78 + 78. Suppose l = r + x + x - 3, -2*x + 9 = -r. Let c = r + 6. Solve 0 = c*f - 4*d + 2 + 2, 2*f - 2*d = 0 for f.
4
Let q be ((-1728)/30)/(-6) + (-2)/(-5). Let s be (-30)/4*q/(-15). Solve -j = x + 10, -8 - 37 = s*j + 4*x for j.
-5
Let d = 25096 - 25094. Solve -16 = -5*b - d*g, -5 = 2*b + g - 12 for b.
2
Let p be (-3)/(-5) - (-9900)/375. Solve 0 = -4*s + 5*f - 29, -p*s - f + 7 = -29*s for s.
-1
Let u be ((-6)/5)/((-2)/17 - 32/(-850)). Solve 7*a - 9*a + u = 5*t, -2*t = 2*a for t.
5
Let f be 1/3 - (-76)/(-12). Let a(r) = r**2 + 2*r + 28. Let o be a(f). Suppose -o = -5*j - 22. Solve 5*g + 2*z = -1, -3*g + j*g - z - 6 = 0 for g.
1
Suppose 3*h + r = 5, -h = -10*r + 5*r - 23. Suppose -3*f + 30 = h*j, -5*j = -5*f - 2*j + 18. Solve f + 2 = -w - 3*x, 5*x - 20 = 5*w for w.
-5
Let z = 7078 - 7075. Solve -z*c + 7*l - 3*l = 25, -4*c = 3*l for c.
-3
Let g be 2*(-2 - 20/(-5)). Let k = g + 0. Suppose -5*z - 16 = 4*o, 0*z - 4 = 2*z + o. Solve -5*v + z*v - k*h = -13, -v + 2*h - 3 = 0 for v.
1
Let n = 12 + -12. Let p be 0 - (-1 + -3 - n). Let l = -204 + 210. Solve p*y = 5*b - 2, y - l = -b - y for b.
2
Suppose 54*s + 4*x - 4 = 58*s, -4*s + 59 = 3*x. Solve -45 = -5*h + 5*l, s*h - l - 29 = 3*h for h.
5
Suppose 0 = -d - 4*c - 17, -15 = -3*c + 6*c. Solve -1 = -q + 5*p - 2, -d*q - 3 = -2*p for q.
-1
Suppose 11*i + 319 = 418. Solve -3*b - 6 = 2*u - 4*b, 0 = 3*u + 2*b + i for u.
-3
Let k = 8023 + -8019. Solve -3*z - 11 = -k*x, -z - 3*x - 265 = -270 for z.
-1
Let c = -136 - -116. Suppose -5*m + 169 - 39 = 0. Let s be m/6 - (-2 - c/15). Solve -b = s, -u + 2*b = 7*b + 27 for u.
-2
Let c = -198 - -208. Let m be ((-1)/(15/c))/((-2)/12). Solve 2*b - 27 = i + 4*i, b + i + m = 0 for b.
1
Suppose 0 = -21*r + 15*r. Solve r = s + 5*b - 10, 2*s - 10 = -b - 17 for s.
-5
Let h be 5/((-24)/528*-22). Suppose 5*j - 13 = 12. Solve -h*g - 20 = j*n, -2*g = g for n.
-4
Suppose 0 = g + w - 2 + 3, 2*w - 2 = -4*g. Suppose -3*z = 4*f - g*f - 20, 5*z = -2*f + 28. Solve 4*k - 2*b - z = 0, -2*k + 5*k = -3*b + 3 for k.
1
Let i = 719 - 709. Solve 0 = -4*d - 3*p + i, -6*d = -3*d + 3*p - 9 for d.
1
Let l(p) = -56*p - 137. Let i be l(-12). Let s = i - 532. Let m = -37 + 54. Solve 4 = w, o - s*w + m = -0*o for o.
-5
Suppose -524*n + 1572 = -1048. Solve 0 = -5*p + 4*w - 12, -3*p + 1 - n = -4*w for p.
-4
Let c = -30 - -35. Let v be -2 + -132 + 21 + (-2)/(-1). Let b = v - -113. Solve -b*m + 2*x - 10 = 0, -c*x + 10 = 2*m - 2*x for m.
-1
Let k(h) = h**2 - 17*h + 33. Let t be k(15). Let x be ((-5)/(-2))/(-18 + (-365)/(-20)). Solve -22 = 5*z - 4*l, 2*z = 3*l - x - t for z.
-2
Suppose -4*p + y = -37, 12 = 150*p - 146*p + 4*y. Solve 3*z = -5*t + p*z + 30, 4*t - 6 = -2*z for t.
3
Suppose 0 = -3*l - 6, -3*l + 12 = 4*p + 322. Let w = p + 78. Solve 0*h + 4*h = -w*k + 12, -3*h + 8 = k for h.
2
Let p be ((-4)/6)/((-5)/15). Let l(x) = p*x**2 - 20 - 4*x**2 - 16*x + 15. Let y be l(-6). Solve -5*n = -2*k - 0*n - 23, 4*n - y = k for k.
1
Let t(m) = -5*m**2 + 495*m + 2. Let a be t(99). Let f be 104/10 + 2/(-5). Solve a*d = -3*r + f, -4*d - 2*r + 20 = -0*r for d.
5
Suppose -5*d + 2*u + 26 = -2*u, 0 = -3*d - 3*u - 6. Suppose 0 = 4*p + 3*z - 73, d*z = -23*p + 25*p - 40. Solve w - 5*v + p = 0, 1 = 5*w + 2*v - 3*v for w.
1
Let d(r) = 4*r**2 - 16*r - 5. Let j be d(5). Suppose a - j*z + 3 = -16*z, a = 2*z + 9. Solve a + 5 = 2*y, 5*y = -2*w + 23 for w.
4
Suppose -3 = r - 3*o, -2*r - o - 4*o = -16. Suppose -2*w + 9 = r*n, -3*n = 4*w - 7 + 4. Solve 0*g + g = 2*t - 5, -2*g + n*t = 13 for g.
1
Let b = 71 + -59. Suppose 0 = b*p - 17 - 19. Solve p*j - 3*u = 15, 3*u - 7*u = -5*j + 24 for j.
4
Let b(g) = g**3 + 4*g**2 + 5*g + 9. Let z be (-6)/(-9)*-3*3/2. Let c be b(z). Let w be c/(-15) - (-11)/5. Solve 0 = -2*m + 2*f + w, 0*f = -2*f for m.
1
Let k be ((-10)/(-14) - (8 - (-348)/(-42)))*4. Solve -4*m + p + 9 = 0, -k*m - p = 6 - 21 for m.
3
Let r = 9928 + -9923. Solve 0 = 5*o + r*b - 20, -7*o - 10 = -9*o - 4*b for o.
3
Let n = 237 - 237. Suppose z + 2*i + 3 = n, z + 0*z = 2*i + 9. Solve t - 6 = z*q, -q - 3*q - 15 = t for q.
-3
Let t be -1*(-5 - (-15)/5). Suppose -t*b - 7 + 67 = 0. Suppose 18*a = 13 + 5. Solve 5*s - b = 2*y, 2*y = -2*s + a - 3 for s.
4
Let c = -11491 - -11525. Solve 3*g + c = g - 4*a, 3*g + 5*a + 45 = 0 for g.
-5
Let r = 1015 + -525. Let m = r + -486. Solve 12 = -4*n, m*t + 26 = 2*n - 4*n for t.
-5
Let c be (1 - 2) + 12/6. Suppose -t + 4 = c. Suppose h = 4*m - 16, -40 = -5*h - 16*m + 12*m. Solve 4*a = -u - 14, t*u + 0*a + h*a = -18 for u.
-2
Let n be 27/243 + (-3 - 159/(-27) - -1). Solve -3*c + 3 = 0, -7 = -o - 4*c - n for o.
-1
Let t = -1676 + 1108. Let g = 572 + t. Solve g*a - 8 = -3*r + 8, -2*r - 4*a = -16 for r.
0
Suppose -265*g + z = -263*g + 2, 2*z = 2*g + 10. Let q = 14 - 4. Let h be g - -5*(-6)/q. Solve 4*x + c + h + 5 = 0, 2*x + c + 3 = 0 for x.
-1
Let q = -84 - -132. Let f be 13/((-78)/q)*(-1)/2. Solve -3*p + 7 = -4*m, 4*m - 4*p + f = -0 for m.
-4
Let j(k) = k - 18. Let x be j(13). Let w(n) = -n**3 - 5*n**2 - 2*n - 9. Let i be w(x). Suppose i + 13 = 7*o. Solve -4*p + 24 = -4*h, -5*h - o*p - 18 = -h for h.
-5
Suppose k = 5*m - 55, -2*k = -120*m + 121*m - 11. Solve -3*v = 5*i + 31, -4*i - m*v + 9*v = 24 for i.
-5
Let p be (-8*2/(-10))/((126/(-105))/(-3)). Solve -5*m - p*r + 0*r = 1, -4 = -m - 5*r for m.
-1
Let h = 6 + -17. Let x(s) = -6*s - 61. Let d be x(h). Solve 3*p = 5*l - 13, 0*l - l + 7 = -d*p for l.
2
Suppose -o - 10 = -2*m, 24*o - 27*o = 2*m + 14. Solve m*x = -f + 3*f - 2, -32 = 5*x + 4*f for x.
-4
Let y(t) = -26 - 31 + 2*t + t + 84 - 35. Let d be y(5). Solve 2*o - d = -2*m + 5*o, 0 = m - o - 4 for m.
5
Let k be -4*2 - (131 + -143 - (1 - 2)). Let u be (-7)/(-1) - 1 - 2. Suppose -5*t + u*t + 2 = 0. Solve -4*n + t = -2*m, 2*n = -3*m - n - k for m.
-1
Let a = -284 + 543. Let m = 263 - a. Solve -2*l - 5*g = -10, -3*l + m*g - 11 = -4*l for l.
-5
Let d(y) = -3*y**3 - 19*y**2 + 12*y + 24. Let w be d(-7). Suppose 52*r - 14*r - w = 0. Let o = -1 + 3. Solve o*x = 3*c + 21 - r, 8 = -c + x for c.
-4
Let d(g) = 3*g**2 - 4 - g**2 + 0*g**2 - 2*g + 3*g. Let y be d(2). Let o(h) = -3*h + 18. Let w be o(y). Solve -5*r + 0*b - 2*b - 18 = w, -3*b - 9 = 3*r for r.
-4
Let r be 2 - (-3 + -5)/4. Solve -3*t + 7 = r*f, -4*t - 4*f + 4 = -4 for t.
1
Let i = 10 - 1. Let r(b) = -20*b**2 + 10*b - 11. Let u be r(1). Let y = u + 21. Solve 0 = -5*q + 2*g - i, 4*q = -y*q - 3*g - 21 for q.
-3
Suppose 4 = x, -4*x - 2 = -4*h + 2. Suppose -9 = 2*g - h*g. Solve -21 = 3*q - 6*q + g*w, 5*w = -15 for q.
4
Suppose 5*t + 5 = -b + 17, -2*b = -2*t. Let d(i) = -i**2 + 7*i + 6 - i**3 + 2 + 8*i**b. Let l be d(8). Solve 0*v - v + 5 = 4*y, -4*y + 4 = l for v.
1
Let j(a) 