h = 2*h + 22 for k.
2
Suppose 15 = a - 5*c, -6*c + 19 = 5*a - 3*c. Solve m - a*q - 15 = 0, -q = -3*m - 2*q - 19 for m.
-5
Let r be 3 + ((-18)/2)/3. Suppose r = 6*n - 11*n. Solve 0 = y + 3*s - 9, 2*y - 2*s = -n*y + 2 for y.
3
Let a = -25 - -15. Let h be (4/a)/((-6)/210). Solve 5*c = -4*p + 13, 2*p = -c - 3*c + h for c.
5
Let z(g) = 2*g. Let u(t) = 3*t + 1. Let k(p) = 3*u(p) - 4*z(p). Let c be k(8). Let m = c + -11. Solve m = 2*f - j + 1, -5*j - 37 = -0*f + 4*f for f.
-3
Let i = -445 - -447. Solve i = -2*y + z, 17 = -2*y - y - 2*z for y.
-3
Suppose 38 = -8*m + 27*m. Solve -2*y = -3*k + 4, -m*y + 4*k = 2*y for y.
4
Suppose -37 = -37*h + 148. Solve -r + h*x + 15 = -0*x, x + 22 = 4*r for r.
5
Let w = 4 - 14. Let g = w - -18. Suppose -p + 5*f - 4 = -g, 2*f = p - 4. Solve 2*x + 3*a - 1 = 6, -p*x - 5*a = -9 for x.
-4
Suppose 61 - 77 = -2*q. Solve 5*s = b + 8, 0*b + 2*s = -2*b + q for b.
2
Suppose 0 = -2*t + 6*t. Let f be (-2)/(-2 + 0)*t. Let r be (-60)/(-24) - ((-15)/(-10) - 3). Solve f = -4*i + 2*k + 18, 3 = i - r*i - 4*k for i.
3
Suppose r + 4*c - 12 = 0, -2*c + 5 = r - 3. Suppose -37 = -r*d - 5. Let o(b) = -b - 2. Let w be o(-7). Solve y = -y - t + d, -y - w*t + 13 = 0 for y.
3
Let t(g) = g**3 - 6*g**2 - 6*g + 9. Let w be ((-4)/10)/(12/120). Let q = 3 - w. Let v be t(q). Solve 3*c = -5*n - 14, 5*c + v = -n - 0*n for c.
-3
Suppose -18 + 18 = 19*u. Solve -2*z + 1 = x - 6, z - x + 4 = u for z.
1
Let f(g) = g**2 + 35*g + 200. Let j be f(-28). Solve 4*m = 3*a + 10, 2*m + j*a + 4 = a for m.
1
Suppose 22*l + 212 - 344 = 0. Solve 12 = 2*i + s, l + 2 = 2*s for i.
4
Let a be 15/9*(-30)/(-25). Suppose -5*v + 9 = -4*x, -3*x + 19 = v + a. Let k be x - (-5)/(5/(-2)). Solve p + k*t = 8, -7 = p + 4*t - 5*t for p.
-2
Suppose -4*t + 22 = 3*j, -4 = -0*j - 4*j + t. Suppose q - j = 3*r - 17, 20 = q + 4*r. Suppose 3*x - 9 = -q*x. Solve x*u = -w, -w - 1 = 3*u - u for w.
-3
Let d = 8 + -5. Let i be 2 - (-7 - -4)/(-3). Solve 0 = -2*m - x - 3, d*m + 3*x + i = -2 for m.
-2
Suppose 0 = a + 3*x + 2, -18 + 2 = 4*x. Solve 3*w - 12 = 3*t, -3*t = 2*t + 5*w - a for t.
-1
Suppose 0 = -4*t + i + 38, 20 = t + 16*i - 11*i. Solve 2*j - 20 = -4*q, 2*j + q = 3*q - t for j.
0
Suppose 4*i = -j + 3, -i - 74*j - 1 = -72*j. Solve 2*x + 2 = u + i, -2*u = 5*x - 20 for x.
2
Let z = -16 - -13. Let i be ((-11)/3 - -3)*z. Suppose 26 + 4 = 4*q - i*g, -4*q = -5*g - 45. Solve 0 = -4*s - 4*n - 4, q*s - s - 5*n - 23 = 0 for s.
2
Let v(k) = 16*k**2 - 6*k + 3. Let d be v(2). Let t = d - 43. Solve c = 5*q - 6, q - 34 + t = -5*c for q.
2
Suppose 0 = g - 2*g + 12. Suppose x + 3*x = g. Solve -5*v + 2*z + 2 + x = 0, 5*z + 21 = 4*v for v.
-1
Suppose 4*b + 4 = 0, -4*b - 6 = -s + 2. Solve -2*y + 2 = 0, -s*y = 4*k - y + 9 for k.
-3
Let u be (-2 - -1*4) + 2. Suppose u*d = -2*n - 14, -4*d + d - n = 8. Let x be (-1)/((-2)/(-4)*d). Solve x*s - 3*c = 7, s + 2*s + 2*c = -22 for s.
-4
Let c = 4 + -4. Suppose 0 = 3*j - 0*p + 3*p + 99, -p = -j - 23. Let r = j - -30. Solve 0 = -r*g - b - 3, c = -2*g - 2*b - 2*b for g.
-2
Let o be (2 + 25/(-20))/((-1)/(-12)). Let g = -5 + o. Solve -5*f = -5, 3 = 5*m - g*m - f for m.
4
Let l be (-3 - (1 - 0)) + 2 + 1. Let m be ((-208)/28)/((2/7)/l). Solve v + 11 = 4*j, j = 5*v + 5 - m for j.
4
Suppose -2*l + t - 5 = 0, 7*t - 25 = l + 2*t. Suppose l = 2*d - 2*s - 3*s, -3*d = 3*s. Solve 5*z - 28 = -4*v - 8, -2*v + 4*z - 16 = d for v.
0
Let f be 5*(2 + -1) + 1*-2. Let k = 7 - 2. Suppose -15 = -5*z + 3*x + 36, 5*z - k*x = 45. Solve 5*t + n - 11 = t, -2*n + z = f*t for t.
2
Let d be 5 + (-81)/15 + (-7)/(-5). Solve 4 = 2*w - 0*w, -d = u + 2*w for u.
-5
Let u = -4 - -22. Let y(t) = t**3 - 18*t**2 - t + 20. Let d be y(u). Solve -r = d*b + 1, -3*r = -b - 8*r - 23 for b.
2
Suppose -48 = -6*n + 3*n. Let l = n + -10. Solve -4*f = 2*j - 12, -f - f - l = 4*j for j.
-4
Let c = -142 - -152. Solve -3*m + 5*o - 37 = 0, 5*m + 5*o + c = 3*o for m.
-4
Let a be (-6)/24 + (-18)/(-8). Suppose -3*k + a*k + 8 = 0. Solve -2*r - 2 = 3*f - 10, -2*r = f - k for r.
4
Suppose 0 = 4*r + 3*h - 139, 0*r - 52 = -2*r + 2*h. Suppose -3*o = -r + 7. Let v be (o/(-16))/(2/(-8)). Solve d - y = -1, y = d + v*y - 1 for d.
0
Suppose 0 = -4*y + 19 + 13. Solve 2*j - y = -0*j - 2*b, -b = 1 for j.
5
Let g(b) = -2*b + 17. Suppose -14 = -4*d + 2*n, 0 = -d + 2*n - 3 - 1. Let o be g(d). Let a be ((-8)/o)/((-2)/5). Solve 4*f + 31 = h + a*h, 18 = 2*h - 3*f for h.
3
Let p(c) = 8*c + 26. Let h be p(-4). Let u = 1 + 2. Let k be u - 3 - (h - -2). Solve k*x + 12 = -5*t, -2*t = -0*x - x - 3 for t.
0
Suppose -4*k = -3*q + 22 - 8, -4*k - 16 = -4*q. Let c = 58 + -83. Let p be ((-16)/10)/(10/c). Solve 4*w - 20 = 0, -q*y + 2 = -p*y + 2*w for y.
4
Suppose 0 = -3*m - 2*d - 48, 3*m = 5*d - 45 - 3. Let c be (-12)/m + (-39)/(-12). Solve c*u - 3*y = -6, u - 3*y + 6 = -0*u for u.
0
Let p = -25 + 2. Let x = -22 - p. Let b = 3 + x. Solve j = -1, 7*j - 7 = -5*a + b*j for a.
2
Let t(x) = -x**2 + 4*x + 4. Let k be t(4). Suppose 0 = -8*w + 4*w + k. Suppose -2*b = -5 + w. Solve 0 = s + 2*q + 12, -b*s + 3 = q + 12 for s.
-2
Suppose -3 = -4*y - 19. Let a be (-80)/(-28) + y/(-28). Let t = 5 + 1. Solve -a*i = -t, -2*g = -0*g + 2*i + 6 for g.
-5
Suppose 10*h + 2*j - 75 = 7*h, 4*h - 100 = -2*j. Solve 1 = l + g, -h = 5*l - 0*g - g for l.
-4
Suppose 5*t - 2 = q - 37, -4*t - 44 = -4*q. Let y be ((-54)/36)/(t/20). Solve -5*d = -5*j + 5, -y*j = d + 3*d + 40 for d.
-5
Let d(j) = -j**3 - j**2 + 3*j + 2. Let a be d(2). Let p be -13 + 18 + a + 2. Solve 0 = -3*l - 4*h, -4*h + 4 = p*l - l for l.
-4
Suppose 202 = 5*m + 42. Let z = 37 - m. Solve 28 = z*y + 2*s, 2*y - s + 8 = 3*s for y.
4
Let a(y) = 2*y**3 + 11*y**2 + 3*y - 5. Let p be a(-5). Suppose -8*w + 11 = -p. Solve 16 = c - 4*c + b, w*b - 17 = 3*c for c.
-5
Let r be ((-28)/(-49))/((-6)/(-42)). Solve -2*q - 4*o = 18, -3*o = -r*q + 9 + 10 for q.
1
Let a = -6 + 12. Suppose a*l - 8 = 4. Solve 4*w = -l*t - 12 - 8, 24 = -4*t - 4*w for t.
-2
Let s(b) = -15*b**2 - 134*b + 11. Let t be s(-9). Solve -2*q - t*x - 22 = 3*q, 2*x + 10 = -2*q for q.
-4
Suppose 0 = 9171*j - 9169*j - 16. Solve r + 3*r + 2*s = 2, 0 = -4*r - 4*s - j for r.
3
Let r be 7/2 - 2/4. Let t = -2445 - -2451. Solve -2*z = 2*j - 12, 2*j + r*z - t = 7*z for j.
5
Let n be 118*(27/6 - 4). Suppose -3*w - w - 3*x = -64, -n = -3*w - 5*x. Solve 5*f - k = w, -f = -5*k + 3 + 4 for f.
3
Let q be 2/(-15) - (-32)/15. Suppose q*i - 2*k - 26 = -5*k, -4*k = 0. Let m = -8 + i. Solve 0 = 5*w - 5*g, w = -w - m*g - 21 for w.
-3
Let l be (1 - 14/11)/((-43)/473). Solve -b = 2*k + 7, l*k + 13 = b - 0*k for b.
1
Suppose j = 2*g - 2, -4*j + g = -0*j - 6. Solve 3*c + 3*h - 9 = 0, 7*c - j*c - 15 = -4*h for c.
3
Let l = -34 + 37. Suppose -l*g - o = -51, 2*g - 5*o = 4*g - 47. Solve -3*z - x + g = 0, x = -z - 3 + 11 for z.
4
Let m = 23 - -26. Let y be ((-111)/(-21) - 0) + (-14)/m. Solve 3*p = -5*h - 7, y*p - h = p + 6 for p.
1
Let r be 4/8 - 27/(-6). Suppose -x + g = r, -x - 2*g = -4*x - 10. Solve 0 = -2*n + 2*f - 18, 2*n + 28 = -x*f + 4*f for n.
-4
Suppose i + 2*i - 9 = 0. Suppose -4*o = i*v - 31, -3*o + 4*o + v = 9. Let n = -23 - -60. Solve l = o*b + 17, l - n = 4*b - 4*l for b.
-3
Let i be 2 + -3 + 14/2. Suppose 0 = -3*h + h + i. Suppose 5*j + 5*f - 40 = 0, 0 = h*j + f - 16. Solve -4*q + 3*o = -0*q + 1, 4*q = j*o for q.
-1
Let b = 1 + 5. Let x = b - 2. Solve -5*w - 4*c - 25 = 0, 4 = x*c + 24 for w.
-1
Let a(c) = 29*c - 2*c**2 - 4 + 0*c**2 - 11 - c**2. Let m be a(9). Solve -m*d = -0*d - 4*l - 18, 3*d + l - 3 = 0 for d.
2
Let i = -6 - -10. Suppose 3 = -0*o + o. Suppose 5*a + o = 6*a. Solve a*t = 4*t - i, 3*t - 12 = g for g.
0
Let g(t) = -3*t - 6. Let s be g(-4). Suppose 3*a - s = -0. Suppose 5*d + 45 = b, 0 = b - a*d - 2*d - 40. Solve 5*z + b = 3*c, 4*c - 5*z = 6 + 14 for c.
0
Let y(w) = -w**2 - 14*w - 14. Let p be y(-10). Suppose 8 = 2*b - p. Solve 4*l + 2 = 2*s, -b = -5*l + 2*s - 6*s for l.
1
Suppose 0 = -0*r - 5*r + 5, 2*r - 17 = -s. Suppose 0 = -s*i - 2 + 62. Solve 0 = -i*b + 12, -2*q - 2 = -2*b - 2*b for q.
5
Let k be ((-3)/(-5))/((-78)/(-1430)). Suppose 3*d - 2*d - 5 = 0. Solve k = -3*n + 4*b + b, 0 = 4*n + d*b - 32 for n.
3
Suppose 6*h = -22*h + 700. Solve t + 15 = 3*p, -p - 4*p + 4*t = -h for p.
5
Let j be 16 + (-3)/((-6)/(-14)) - 0. Solve 2*k = 2, 0 = -j*x + 4*x - 4*k - 1 for x.
-1
Suppose 4*b