 -43 - -66. Suppose -2*c - 5 = -m + 4, -5*m - c = -a. Solve 3*k - m*d = -11, 4*k + 0*d - 20 = -2*d for k.
3
Let s be (10 - 12)/((-2)/17). Suppose 6*l - t = 2*l + 23, 0 = 4*l + t - s. Let k = -1 - -6. Solve -4*z = -6*o + o - k, -l*z = -25 for o.
3
Let h = -11 - 3. Let t be h/(-63) + 4/(-18). Solve 3*v + 3*n = -t*v + 12, -3*v = 2*n - 12 for v.
4
Let a be (0/1)/6*(-2)/6. Solve 11 = -3*y - 4*r, a = -4*y - 0*y - 3*r - 10 for y.
-1
Suppose -u + 0 - 10 = 3*a, -20 = 2*a - 2*u. Let m = a + 9. Solve -2*r - r + 6 = -s, m*r + 4*s = -8 for r.
1
Suppose 42 = -0*h + 14*h. Let n(f) be the first derivative of f**2 - 4*f - 2. Let t be n(h). Solve 3*b + 7 = t*k - 6*k, b + 17 = -5*k for b.
3
Suppose 60*o - 140 - 160 = 0. Solve 0 = -4*x + 20, 5*k - o*x + 14 = -31 for k.
-4
Let a = -49 - -46. Let q be (4 - 3)*a/(-1). Solve b - 2 = 4*h + 12, -2*h - q*b = 0 for h.
-3
Let o = 970 - 966. Solve 4*g + 3*w - 5*w + 20 = 0, 0 = o*w for g.
-5
Suppose -4*s = -19 - 17. Let c = s + -6. Solve i + 7 = -2*x, -5*i - x + c*x = -1 for i.
-1
Let b be (-4)/10*((-2 - 4) + 41). Suppose 4*g - 3*w - 34 = 2*g, 51 = 3*g - 5*w. Let j be 4 - 0 - (b + g). Solve c = -3*k - 0*k - j, 2*c - k = 12 for c.
5
Suppose 0 = -3*i + p + 62, 2*i + 3*p + 91 = 6*i. Suppose 12 = -i*x + 69. Solve m = 2*t - 4*m - 13, 0 = x*m + 3 for t.
4
Let f = -4 + 21. Let p = f + -13. Solve -s + 4*b = -4, -2*s - 4*b - p = -0 for s.
0
Let w be 18/(0 - -6)*76/3. Suppose 3*n = 5*r - w, -4*r + 5*n + 24 = -3*r. Solve -4*l = 6 + r, v - 7 = l for v.
2
Let b(l) = -4*l + 31. Let r be b(7). Suppose 3 = 2*m - 1. Let o be -2*(m + 14/(-2)). Solve 4*j + r*f + o = 0, 4*j - 5*f - 6 + 0 = 0 for j.
-1
Let w be 6*-8*2/(-12). Let a(h) = 3 + h + 7 - 2*h. Let c be a(w). Solve c*k - 2 = 2*m, k + k = 5*m + 8 for k.
-1
Let g(v) = -6*v**2 - 4*v - 1. Let y be g(-3). Let q = y + -7. Let h = -30 - q. Solve 0 = -5*a + h, 2*a = 2*u - a + 4 for u.
4
Suppose 13*o - 171 = 89. Let u be (-4)/16 + (-18)/(-8). Solve x - u*x - 4 = 4*w, -2*w - 5*x = o for w.
0
Let x = -2 - -6. Let z be -6 + 2 + (-4)/x. Let p(j) = -j**2 - 7*j - 8. Let k be p(z). Solve -n + k = w + w, 5*w = 3*n + 16 for n.
-2
Let q be (-11)/(132/116)*-3. Solve 4*d - 2*g + q = 1, 5*d + 5*g = -5 for d.
-5
Suppose 2*r = -2*h + 34, 8 = r - h - 13. Suppose r*g + 55 = 549. Solve 2*o + 3*i - 2 = 0, -2*o - 2*i = -6*i + g for o.
-5
Let z be 3 - (1/(-1) - -1). Suppose -z*f = f - 72. Let o = f + -17. Solve -o = 3*p + 4*y, -4*y = p + y - 7 for p.
-3
Suppose -g + 34*t + 1 = 37*t, 0 = 5*g - 2*t - 39. Solve -f - 2*f - 13 = -4*c, -4*f - 5*c = g for f.
-3
Suppose -10*n + 30 = -5*n. Let a be (15/n + -1)*312/36. Solve 5*c + 11 = -5*s + 1, s - 2*c = a for s.
3
Let k be 2/10 - 1/5. Suppose c - 4*q = 8, -q + 3*q = -2*c - 4. Suppose p + 0*p - 4*d - 5 = 0, -d = c. Solve 4*u - p = x - 2, k = -3*u for x.
-3
Let s = -167 - -170. Suppose 10 = o + s. Solve -5*u + 15 = -0*v - 5*v, -3*v + o = 5*u for u.
2
Suppose 9 = -4*m - 3*c + 8, 4*m - 5*c = 23. Solve m*b + 12 = 2*y, 4*y - b + 3*b + 6 = 0 for y.
1
Suppose -18 = -45*f + 162. Solve -3*n + 2*u = 21, 7 = -4*n + f*u - 25 for n.
-5
Suppose 0 = 2*f - 10, 5*m + 3*f - 13 = 6*m. Let v be (-304)/(-20) + (-2)/10. Let i = -13 + v. Solve -m*o = -0*o - 10, 0 = s + i*o - 5 for s.
-5
Suppose 3*m + 15 + 0 = 0. Let g = m + 16. Let i be (g/22)/(2/24). Solve 0 = -4*v + v + w + 9, -2*v = 5*w - i for v.
3
Suppose 5*t - 3*t = -50. Let j = 28 + t. Suppose 6 = -2*p + 32. Solve 8 = c - l, -p = -c + j*l + 3 for c.
4
Suppose -48*o + 1280 = 368. Solve 0 = -q - 5*x - o, -6*q + q - 4*x - 11 = 0 for q.
1
Suppose 5*j = -5*r - 10, 2*j = -3*j + 3*r - 10. Let p be 7 + (j + 1 - 2) + 1. Solve 35 = -2*x - p*z, 5*z = 6 - 31 for x.
-5
Let b = -240 - -242. Solve 6 = -3*s, -4*l + 6 + 2 = b*s for l.
3
Suppose 19 = 5*i + 2*r, 2*r + 2 = -2*i - 2*r. Solve i*t + 7 = c, -4*c = -5*t + 6 - 4 for t.
-2
Let d(q) = -3 - 9 - 1 + 3*q - 2. Let b be d(6). Let f = 2 - -3. Solve 4*j + j - 5 = 0, -g - f*j = -b for g.
-2
Suppose -5*s = -0*s + 185. Let l = 60 + s. Suppose 0 = -5*o + 57 + l. Solve 0 = -f - 3*g - 10, 4*g + o + 24 = 4*f for f.
5
Suppose 14*l - 18 = 10*l + u, -5*u = -3*l + 22. Solve 4*k - 28 = 2*q + 2*q, 2*q = -l*k - 2 for k.
2
Let j be ((-6)/2)/(12/(-8)) - -17. Let p be 5/(5 - j/4). Solve -2*r = -m, -4*r + 6*r + p = -4*m for m.
-4
Let n be (4/5)/(8*12/240). Solve 25 = 3*i - 4*r, 2*r + 5 = -n*i + i for i.
3
Let y be 0 - 0 - 2/(-1). Suppose 2*g = -6*g + 264. Let d = -17 + g. Solve 2*i + d = y*s + s, 2*i + 5*s - 16 = 0 for i.
-2
Suppose 6 = -9*y + 51. Solve -3*h = -5*s - y, 5*s = 4*h + s - 12 for h.
5
Let l = -4 + 8. Let x be ((-8)/12)/(-2) - (-14)/3. Suppose -4*s = 4*p - 24, -2 = -x*p + 2*s - 0. Solve -f = -i - 1, 0*f - l = p*f - 5*i for f.
3
Let c(d) = 4 - 2 - d**3 + 0*d**3 - 7*d**2 - 6*d. Suppose -2*q - 11 = 1. Let r be c(q). Solve r*z + 2*m - 2 = -12, 5*z + 9 = -m for z.
-1
Suppose 3*d + 7 = 4*d - 2*r, -3*r + 7 = 2*d. Suppose -d*p = -5*h, -2*p - 3 = -3*h + 1. Solve -2*k + 5*o = -p, 2*k + 4*o = -9 - 5 for k.
-3
Suppose -3*f = -0 + 9, 2*f - 17 = -k. Suppose 5*v + 2*n - 130 = 0, -5*v + 0*n + 135 = 3*n. Let h = v - k. Solve w = -4*u + h, 1 + 3 = 4*w + u for w.
1
Let v(i) = -2*i - 6. Let u(l) = l**3 + 7*l**2 - l - 6. Let o be u(-7). Suppose 2*b - o = -9. Let x be v(b). Solve 0 = x*q + k + 12, q + 0 - 1 = 3*k for q.
-5
Let m = -143 - -122. Let g = 2 - m. Solve 3*r - 8*r + g = -2*t, 4*r + t = 8 for r.
3
Suppose -n + 5 = 3*p + n, 5*p + 5*n = 0. Solve -4*i + 13 = -p*s, -4*i = -i - 4*s - 10 for i.
2
Suppose 11*d - 14 = 13*d. Let u(z) = z**3 + 9*z**2 + 15*z + 10. Let t be u(d). Solve 4*m - l + 17 = 0, -t*m + 4 = l + 15 for m.
-4
Suppose v - 10 = -4*f + 14, -3*f + 3*v + 3 = 0. Suppose f*m + 16 = 41. Solve 3 = -3*p + 3*d, 2*p + m*d - 32 = -2*p for p.
3
Let y be (-17)/136*(1 + -1). Solve -3*i + 0*i - 3*l = 0, y = 5*i + 3*l + 6 for i.
-3
Let m(p) = -424*p**3 + 423*p**3 - 19*p - 9 - 12*p**2 + 7*p. Let n be m(-11). Let b = 11 - 9. Solve -6*j + 3*j - z = -14, n*z = -b*j + 12 for j.
4
Let f = -292 + 296. Solve 5*i + 10 = -2*o + 2*i, -f*o + 4*i = -20 for o.
1
Let r = -17 - -38. Let l = 173 + -146. Let c = 30 - l. Solve -5*n - 3*b = r, 5*b + 9 + 10 = -c*n for n.
-3
Let d be -1 + (4/1 - 1). Let b = 10 - 8. Let q = b + 2. Solve -d*p = -0*h - 4*h - q, -3*h - 6 = 0 for p.
-2
Let y(m) = m**2 + 7*m + 7. Let q be y(-5). Let a be (q/2)/((-3)/18). Solve 0 = -3*n - 3*x - 12 - 9, 2*x = -n - a for n.
-5
Let a = -2 - 5. Let d = a + 8. Solve m + y - 3 = d, -2*m + 2 = -y for m.
2
Suppose u + 4*d + 12 = -0*d, 5*u - d + 18 = 0. Let g be (6/12)/((-1)/u). Solve 2*t = 2*c - 0*c, 5*t - g*c - 12 = 0 for t.
4
Suppose f + 2 = -2*b - 3, -40 = -4*f + 4*b. Let x be (1 + -2)/((-5)/15). Suppose 0*p - 21 = -x*p. Solve -t - 9 = -f*u, -u + p = 3*t + 2 for u.
2
Let d = 1373 - 1328. Solve 5*k + d = -4*j, 4*k + 2*j - 3*j + 15 = 0 for k.
-5
Let z(t) = t**3 - 10*t**2 - 3*t + 33. Let y be z(10). Let l = y + 6. Solve 5 = m + 2*d, d - l = -2*d for m.
-1
Let s be 3/45 + (-445)/(-75). Solve -6*n = a - 4*n - s, -3*a - 3*n = -6 for a.
-2
Suppose -21*n + 28*n + 651 = 0. Let t = n - -96. Suppose 0 = a - 6*a + 20. Solve 0 = -t*m - 4*d + 35, 45 = a*m - d + 6*d for m.
5
Let i be 32/(-112) + 69/21 + -3. Solve 4*m - 2*o - 26 = i, 3*o = -o - 20 for m.
4
Let z = 673 - 663. Solve -2*h + 2 = 2*t - 2, 3*h - z = -5*t for t.
2
Let y = 284 + -282. Solve -v = y*u + 1, v + 8 = -u + 2*v for u.
-3
Suppose 5*b + 4*h - 9 = 0, 0*b + h = -4*b + 16. Let x be 82/b - 3/(-5). Solve 3*j - 2*m + x = 0, -9 = 5*j + m + 15 for j.
-5
Suppose -f + 22 = -4*q, -5*f - 3*q = -0*f - 64. Let m(p) = 4*p. Let w be m(-6). Let o = -21 - w. Solve -2*z = -u - 10, 5*u - o*z + f = -5*z for u.
-4
Suppose 5*k + 4 + 1 = -4*c, 5*k + 5 = 0. Suppose -77 = -11*q - c*q. Solve 3*b - 11 = -4*m, 0*b + b = -2*m + q for m.
5
Let n(o) = o**2 + 13*o - 87. Let r be n(5). Solve 4*y = -a, -2*a - r*y = 2*y for a.
0
Suppose -y = -1, 13*y - 10*y - 11 = -2*p. Solve 2 = t - 2*t + p*h, -5*t = 2*h + 10 for t.
-2
Suppose -4*d = 5*v - 62, 2*v - 3*d = -7 + 18. Let b be 4*-1*(-3)/6. Solve v = -5*r, 0 = -b*p - r + 7 - 15 for p.
-3
Let y = 45 + -23. Suppose -3 = x + 4*j - y, -20 = -4*x - 2*j. Let l(c) = 3*c**3 + 2*c**2 - 1. Let d be l(1). Solve -x*h = d*w + 11, 0*h + 5*h + 3*w = -22 for h.
-5
Let b(i) = 21*i - 79. Let z be b(4). Solve z*n = 4*x + 10, -2*x - 8 = 