 j = -5*m + k for m.
-2
Let h = 474 - 513. Let s be (-23)/3 + (-2)/(-3). Let p = s - h. Solve -4*i + 3*g + p = 7*g, 0 = i + 2*g - 12 for i.
4
Suppose 120 = -3*k + 150. Solve -4*c + k = -2*i, 3*c + i = 4*i + 15 for c.
0
Let y = -1 - 8. Let t = -12 - y. Let l = t + 3. Solve 4*u - v - 18 = 0, -v + l*v + 17 = 3*u for u.
5
Suppose 5*w = -15 - 5, 5*g + 20 = -5*w. Let q(d) = 17 - 7*d + g*d**2 - d**2 - 20. Let t be q(-6). Solve 5*l + 45 = -5*n, -t*l + 5*l = n - 6 for n.
-4
Let p(z) = z**3 - 13*z**2 + 19*z - 70. Let m be p(12). Solve -k - k + m = 5*y, 1 = -2*y - 3*k for y.
4
Suppose y - 5*s = 6*y - 25, 3*s - 15 = y. Suppose o - 6 - 10 = y. Solve -a - w = -0*w + 8, 4*w = -o for a.
-4
Let z(x) = -x - 5. Let v be z(-9). Suppose 0 = v*d + 6 - 2. Let w be d - -1 - -3 - -15. Solve u + 6 = 5*o - 0*u, -o + 5*u - w = 0 for o.
2
Let z(x) = -x + 2*x - 3 + 0*x. Let u be z(5). Suppose -2*b - u*b = -8. Solve 0 = -l + 2*o + b*o - 9, 0 = -3*l + 4*o - 3 for l.
3
Let f(p) = -p**2 + 3*p + 5. Let o be 87/29*(1 + 0). Let v be f(o). Solve 8*g - q - 17 = 4*g, -10 = g - v*q for g.
5
Suppose 47 - 12 = 5*f - 5*z, -4*f = 3*z - 7. Solve 0 = w + f - 2, 4*q = w - 18 for q.
-5
Suppose 3*z = 2*z + 27. Let s be (-2)/(-18)*25 + 6/z. Solve b = -3*j - 1, 5*j + 0*j - 1 = -s*b for j.
-1
Let b be (1 - 2/(-14))*98/28. Solve -2*s = b*x - 10, -4*x - 35 = -6*x + 5*s for x.
5
Suppose -2*c - 3*c = 345. Let a = c + 86. Solve -5*b + b = -2*x + 10, x - 5*b = a for x.
-3
Let o(f) = 4*f + 7. Let n be o(-1). Solve -5 = 2*y - 15, -2*m + n*y = 17 for m.
-1
Suppose -5*t = 0, -3*v - 6*t = -10*t - 78. Solve -5*u + u + 3*i - v = 0, -20 = 2*u - 5*i for u.
-5
Let p = 51 - 42. Suppose 10 = p*f - 4*f. Solve -d - 2*u + f = -u, 2*u + 2 = -4*d for d.
-3
Suppose 5*k - 2*a = 6, -4*a - 8 = -8*a. Solve 2*d - 8 + 18 = -k*u, 4*d - 16 = 5*u for d.
-1
Let x be 10/(60/14)*3. Solve -8*f + 5*g - 4 = -x*f, 2*f + 3 = 5*g for f.
1
Let z(k) = k**3 - 13*k**2 + 19*k - 78. Let n be z(12). Solve 4*t + 4*c - 7 = c, 4*c - n = -2*t for t.
1
Let l(j) = -j + 9. Let t be l(7). Suppose -7 - 5 = v + 5*f, -t*v = 2*f - 16. Suppose s + v = 2*s. Solve 2*c = -u - 2, -5*u = -c - 2*u + s for c.
1
Suppose -5*p + 41 = -29. Let z be -3*4/6 + -12 + p. Solve -15 = -z*n + 5*n - 4*v, 10 = -5*n + 3*v for n.
1
Suppose 7*o = 2*o + 2*o. Let g = -14 - -33. Suppose g = -o*i + i. Solve 4*s = 3*n - 25, -5*n = -4*s - 4*n - i for s.
-4
Let x be (1*(-6)/9)/((-4)/18). Let j be -4 + 21/x + 0. Solve -2*s - 17 = 3*z - 6*s, j*s + 3 = -3*z for z.
-3
Let k = 9 + -1. Let r(s) = s + 12. Let y be r(-9). Suppose -4*j = -11 - 13. Solve -y*v = p - k, -2*p - 3*v = -j - 1 for p.
-1
Suppose -k + 5 = -b - 2, 4*b + 25 = 3*k. Solve -5*u + 6*u = q + 5, k*u - 19 = 4*q for u.
1
Let l = 958 + -958. Solve l*v - 5*v = 3*h - 12, 4*h - 16 = 2*v for h.
4
Let x(i) = 4*i - 14. Let g be x(0). Let t = g - -16. Solve 2*h = -k, 2 = -3*h - t*k - 0 for h.
2
Suppose 2*y + 10 - 48 = 0. Let b = -9 + -8. Let c = b + y. Solve 3*i = 12, c*o + i - 6*i + 22 = 0 for o.
-1
Let f = -9 + 14. Let q = 8 - f. Let i = 78 + -74. Solve 5*l + 14 = q*h, l + 3 = 2*h - i for l.
-1
Suppose -v - 5*v - 168 = 0. Let j = v - -37. Solve -4*k = 5*o - 20, 4*k = 3*o - 3 - j for k.
0
Let s be 12/(-6) + (0 - -4). Suppose -6*g = -2*g + 3*m, g - s*m - 11 = 0. Solve 2*b = 5*c - 0*c + 17, g*b + 32 = -4*c for b.
-4
Let m be (3 + -3 - 2)*3/(-2). Suppose -2*x + m = -x. Solve -1 = d + x*q, 0 = d - q + 6*q + 5 for d.
5
Let k = -6 - -8. Suppose 2*i - 3 = -j + k*j, -4*i = j - 9. Let d = -15 - -29. Solve w + 4*p = d, i*w + 5 = -0*w + 3*p for w.
2
Suppose 3*r = 5*c + 30, -75*r + 76*r - 3*c = 10. Solve 0 = -t + y + 2*y + r, -4*y = -3*t + 20 for t.
4
Let b(r) be the first derivative of r**3/3 + 5*r**2/2 - 4*r - 14. Let z be b(-6). Let l = 13 - z. Solve 0 = -y - 4*x - l, -2*y - 4*x - 7 = 7 for y.
-3
Let d(l) = l - 3. Let s be d(5). Let f be 2 - 39/(-3) - 2/(-2). Let j = 19 - f. Solve c = -j*n - 17, 4*c + 20 = -c - s*n for c.
-2
Suppose -5*l - 4*r = -211 - 10, -l + r = -46. Suppose 4*i + 11*i - l = 0. Solve -i*k + 2 = -5*y - 0*k, 4*k = -5*y - 9 for y.
-1
Suppose -2*m + 4*m - 6 = 0. Suppose -m*c = 2*c - 315. Suppose -4*v + c = -5*s, -4*v - 3*s + 54 = -5*s. Solve w = -f - 0*w, f + 4*w - v = 0 for f.
-4
Let d = -102 - -105. Solve 0 = -m + 5*v - d, 5*m - 3*v = m - 12 for m.
-3
Let g be -1*(2/(-5))/(22/220). Solve 2*j = 3*p + 13, p + 2*p + g*j + 1 = 0 for p.
-3
Suppose 15 = 4*y - 5*s, -3*s - 26 = -5*y - 4*s. Let x(q) = 7 - 3 + 5 - 14*q + 13*q + 0. Let o be x(y). Solve 0 = -j - o, 0*n - n + j + 4 = 0 for n.
0
Let k = 414 - 412. Solve 2*u = -2*w - 2*u - 4, -6 = k*w + 2*u for w.
-4
Let o(t) = -t**3 - 7*t**2 + 8*t + 1. Let s be o(-8). Let h be 0 + 0 + s - -1. Suppose 37 = 106*g - 493. Solve d + g = -h*b - 0*d, -5*b + 5*d = 35 for b.
-4
Let q(p) = -p**2 - 10*p + 15. Suppose -52 = 4*g - 2*y, 4*g = 5*y - 0*y - 64. Let j be q(g). Solve -2*m + 5*h - 15 = -4*m, 4*m + j*h - 24 = 0 for m.
5
Suppose -2*o + 18 = 7*o. Solve 0 = 3*s - o*j - j, 30 = 2*s + 4*j for s.
5
Let x(b) = 24*b**2 - 3*b + 2. Let u be x(1). Solve 5*p = -t + 23, -4*p + u = -4*t - p for t.
-2
Let j be (-1)/(2 + -3)*3. Let s = -33 - -34. Let y = 19 - s. Solve j*q + 23 = -2*f - 2*q, 0 = 3*f + 2*q + y for f.
-4
Let f be (-1)/(187/51 - (5 + -1)). Solve 4*z - 3*b + 5 = -1, f*z + 2*b = -13 for z.
-3
Suppose -5*m + 2*m - 177 = 3*u, 0 = 3*u + 5*m + 177. Let a = u - -59. Solve 1 = -2*p - 5*q + 6*q, 5*p + 5*q - 5 = a for p.
0
Suppose -17*s + 20 = -14*s - x, -3*s + 5*x + 40 = 0. Solve 5*d = s - 10, 24 = 5*z + d for z.
5
Suppose -14 = -4*j + 10. Suppose 2*a + 5*n + j = 0, 2*n - 3*n = 2. Let t(m) = m + 2. Let y be t(a). Solve -c - 3*d = 4*c - 18, -2*c + 2 = -y*d for c.
3
Suppose 0 = -3*s - i + 6, -24*i + 20*i = 4*s. Solve 2*j + 12 + s = d, 4*j + 25 = d for d.
5
Let c = 586 - 575. Solve -3*p - q + 17 = 7, 5*p - 4*q = c for p.
3
Let q(j) = -j**2 - 29*j - 50. Let p be q(-27). Solve b = -4*h + 7 - 3, 4*b - 4 = -p*h for h.
1
Suppose 0 = 4*o + 3*u - 25, u + 29 = 4*o - 0*u. Solve -6 = 2*a - 3*l + 7*l, 3*a = 2*l + o for a.
1
Let w = -9 - -11. Let c be (-6)/w + 3 + 5. Let h be ((-3)/(-3))/(1 + (-6)/9). Solve 0 = -c*m + 2*j - 3 + 20, j + 11 = h*m for m.
5
Let j = -154 - -174. Let k(d) = -d**3 - 8*d**2 - 8*d - 7. Let c be k(-7). Suppose c = -a + j - 6. Solve 3*r + 2*u = 8, 0*r - a = -5*r - 3*u for r.
4
Let s be (24/(-21))/(6/(-42)). Solve 5*b = x + b + 6, 3*x + s = 2*b for x.
-2
Suppose 0 = -12*d + 8*d + 24. Let q be (-2 + 15/d)*8. Solve 5*x + f = 3*f - 11, -q*f = -x + 5 for x.
-3
Let o be (-24)/90*(-30)/4. Solve -o*x - j = 7, -4*j - 5 = -3*x - 21 for x.
-4
Let o(v) be the first derivative of 15*v**3 - v**2/2 - 3*v - 2. Let g be o(2). Suppose 65 = -5*l + g. Solve -4*i + i = 3*u + 24, 2*i + 4*u + l = 0 for i.
-5
Let d be (-18)/(-4) - 2/(-4). Let j = 128 - 123. Solve -5*z - d = -j*h, z + z + 5 = -h for h.
-1
Let v(y) = -y**3 - 16*y**2 - 29*y - 5. Let g be v(-14). Let j(c) = c - 4. Let x be j(13). Let l be (3/x + 1)*3. Solve -h = 2*z - l, 2*h = z - g - 3 for h.
-4
Let d(p) = p**3 - 9*p**2 - 10*p. Let u be d(10). Suppose 2*r - r = u. Let h(n) = -n + 27. Let l be h(r). Solve 5*q = -4*z - l + 3, 3*z + q + 7 = 0 for z.
-1
Let f = 65 - 37. Let x = -28 + f. Solve 3*b + z - 15 = -b, x = 4*z + 20 for b.
5
Let u = 0 + -1. Let r be 0 + -3 + (-22)/u. Let o be (-52)/65 + r/5. Solve 2*z = -5*j, 4*z = j + o*j + 28 for z.
5
Suppose -x + 5*x - 32 = 0. Let w be (-3)/((-30)/x - -3). Suppose 6*f = 2*f + 12. Solve -f*g - a = -w*g - 4, -4*a + 16 = 2*g for g.
0
Suppose -z = -m + 68, 262 = -0*z - 4*z - m. Let j = z + 92. Suppose 2*t = -2*l - l + 13, -j = -3*t + 2*l. Solve 4*u + 2*y - t = -3*y, -4 = -2*u + 2*y for u.
2
Suppose 2*z - 16 + 14 = 0. Suppose a - z = f - 5, 4*f = a + 22. Solve 0 = -x - y - y + 1, 2*x = -2*y + f for x.
5
Suppose 4*j - k - 21 = 2*k, -5*k - 20 = -5*j. Suppose 0 = w + 2*v - j, 5*w - 4*w - 2*v - 1 = 0. Solve 0 = 2*s - 2*c - 12, -2*s + w*c = s - 22 for s.
4
Suppose -a + 6 = a. Let w be (2/11 - 2/11)/5. Solve -7*h + a*h - 8 = w, 4*h + 14 = 2*s for s.
3
Suppose 4*s + 3*f + 0*f - 12 = 0, 0 = 2*f. Solve s = 3*c + 3*g + 6, 2*g - 2 = -3*c for c.
4
Suppose 5*h = -2*t, 17*h - 16*h = -t. Solve -5*k + 3 = 3*w - h, -k - 9 = 3*w for w.
-4
Let s(v) = -v**3 + 7*v**2 + 8*v + 4. Suppose -p + 6 = -2. Let d be s(p). Solve -d*h + o = 3*o - 10, 