*o + 0*o + 8 = -m for m.
-4
Let z = -222 + 318. Suppose -3*k + 171 = z. Solve 5*t + k = b, 5*b - 3*t - 20 = t for b.
0
Let p be 12/7 + 4/(-14)*-1. Solve n + p*g = 5, -2*n - g = g for n.
-5
Suppose 73 = 8*m - 239. Suppose z = m - 34. Solve -q - 3 = -c - 10, 5 = 5*c + z*q for c.
-3
Let t(w) = w**3 - w**2 + 6. Let g be t(0). Suppose -2*a = a - g. Suppose 0 = -7*q + a*q. Solve 0 = 2*k - h + 1, -k + 2*h + 0 - 2 = q for k.
0
Suppose 4*h + 3*i - 5*i - 12 = 0, 0 = i - 2. Suppose 3*v - 2*g = 6, 18 = h*v - v + 2*g. Solve 2*f - 5*z = -0*z + 12, 0 = v*z + 8 for f.
1
Suppose 4011*x + 6 = 4012*x. Solve 0 = l + 3*q + 1, 0 = 5*l + 3*q + q - x for l.
2
Let n be ((-357)/(-34))/((-2)/(-4)). Solve -5*h - 4*w = 25, 2*h + 4*w = h - n for h.
-1
Suppose 3*i = -5*y - 72, -3*i + 6*i = -12. Let b = 17 + y. Suppose l - 4*l - 15 = r, 0 = 3*r - l - b. Solve r*n - 4*n - 14 = 2*w, -5*w = 2*n - 5 for w.
3
Let z be (-3)/(0 + 1)*(-8)/6. Let o = 12 + -3. Suppose 2*d = 5*g - 8 - o, -3*g = 5*d - 35. Solve d*m + m = 3*t + 18, m = t + z for m.
3
Let i be (18/(-8))/(4/(-16)). Suppose 0 = 4*w - i*w - 15. Let j be w/(-4) - 6/8. Solve -2*m - m - 4*a - 14 = 0, j = 4*m - 3*a + 2 for m.
-2
Let b(x) = 3*x**2 + 6*x - 3. Let t be b(-5). Suppose 0 = 7*g - 16 + 177. Let o = g + t. Solve 2*q = u + 2, o = u - 5*u - 3*q for u.
-4
Let q = -13 + 13. Let r(a) = -2*a - 4. Let n be r(-7). Let v = 14 - n. Solve 0 = -v*c - 5*x + 15, 3*c - 2*c + 2*x - 3 = q for c.
5
Let v(x) = 9*x - 34. Let d(o) = o. Let w(h) = -6*d(h) + v(h). Let g be w(13). Solve -2*m - g*j = 3*m - 5, -5*j + 32 = -4*m for m.
-3
Suppose 5*g = -44 + 14. Suppose 0 = 4*u + 20, -5*r + u + 35 = 2*u. Let y = r + g. Solve 5*q - y*q = 4*s + 4, 1 = -3*q - s for q.
0
Let m be 3 + 2/2 - 3. Let t be 14 - 14 - (5 - m). Let v be (-7)/((-7)/4) + t. Solve 0*q + 3*j = -2*q - 12, v = 4*q + 5*j + 20 for q.
0
Let s be (-12 - -14)*2/2. Suppose 11*f + 13 - 68 = 0. Solve l - g = 5, 0 = -f*l + s*g - 3*g + 25 for l.
5
Suppose 2*j - 16 = -5*p, 5*p - 2*j - 1 = j. Suppose -c + p + 3 = d, -3*d = 5*c - 21. Solve d*l + 5 = -x - 8, 2*x - 4*l = 6 for x.
-5
Let s be 0 + -3 + 3 + 3 + 0. Suppose 2*m + 2*d + 2*d - 26 = 0, 0 = 2*m + 5*d - 29. Let z = m - s. Solve 0 = -2*q - 3*i - 2*i - 4, 0 = -5*q - z*i + 7 for q.
3
Suppose j + 4*f = 4, 2*j - 5*f - 35 + 1 = 0. Suppose -30*i = -32*i + j. Solve i*w - w + 10 = 0, a = 3*w + 4 for a.
-2
Let w = -7 + 9. Let o(t) = t. Let x be o(7). Let l = x + -3. Solve l*i + 2*j = -w, -i + j + 0 = -7 for i.
2
Let r be ((-2)/(-7))/((-3)/(-21)). Suppose 0*p - p - r = -y, -4*p + 8 = 4*y. Solve 0*h - 2*s = -3*h - y, 2*h - 8 = -s for h.
2
Suppose -t = -2*s + 10, 3*t - 3*s + 5*s - 10 = 0. Let b = 509 + -351. Let q = -156 + b. Solve t = q*u + 4*y + 18, 2*y + y + 10 = -5*u for u.
1
Suppose -105*w + 356 = -16*w. Solve 0*u - 3*u + 22 = 5*y, 3*y = w*u - 10 for u.
4
Let o = 21 + -27. Let m be -17 - (o - -2)/(-2). Let p = -19 - m. Solve 3*v = -12, p*i + 2*v = i - 3 for i.
-5
Let z(r) = 37*r**2 - 4*r - 4. Let l be z(-1). Let w = l - 20. Solve -w = 5*s - 2*v - 2*v, 0 = -v + 3 for s.
-1
Suppose 9*j = 14*j - 95. Suppose j = 5*t - 11. Solve -4*y = -4*a - 7*y + t, -y + 13 = 5*a for a.
3
Let a(o) = 10*o - 2. Let p be a(1). Let r(y) = 2*y - 12. Let t be r(p). Suppose -7*n = -8*n + t. Solve 0 = -5*s + n*g + 22 - 2, 5*s + g = 20 for s.
4
Suppose 11*j + 0*j = -11*j. Solve -5*g - 5 = j, g = 4*r + 6 + 9 for r.
-4
Suppose 0*k = -3*k + 15. Suppose -5*g + 12*i - 5 = 9*i, 3*i = -2*g + 19. Solve -d = -5*s - 19, -s = g*s + d + k for s.
-3
Let i be 1 - (-4)/(8/6). Let q = -30 - -28. Let s be 1 - (0/q - 2). Solve -3*j + 9 = -i*w - 8, -10 = -5*j + s*w for j.
-1
Let b(l) = -l. Suppose 5*p + 5 = 3*v, -5 = 5*v - 3*p - 2*p. Let c be b(v). Suppose 0 = s - 2*s + c. Solve 0 = -5*j - 5*x - s, -3*x + 2 = j + 3 for j.
-1
Suppose 0 = -10*r - 1314 + 1334. Solve -20 = 2*b + r*h - 22, 0 = b + 3*h - 9 for b.
-3
Let u be 2 - (81/9 + -7). Solve -4*l - 3*b + 15 = u, b = 5*l + 6*b - 20 for l.
3
Suppose 3*i + 9 = 0, 5*i - 61 = n - 79. Solve 0 = -n*p + p - 3*g - 13, -1 = -4*p + 3*g for p.
-2
Let i = -221 + 221. Solve i = n + 2*t, 0 = -n - 3*t + 3 - 4 for n.
2
Let a = 89 + -87. Solve 0 = -a*r - 4*l - 16, -2*r = -7*r + 5*l + 20 for r.
0
Suppose 5*a + 1 = 6*o - 5*o, -4*o + 4 = -5*a. Solve a*l - 4*l = 2*k - 8, -4*k + 4*l + 4 = 0 for k.
2
Let d(s) be the first derivative of s**4/4 - s**3/3 + 3*s**2 - 4*s + 15. Let r be d(2). Solve -8 = -2*o + 4*c - 6*c, c = -3*o + r for o.
4
Suppose 0 = -4*t + 4*i - i + 5, 4*i = 4*t - 4. Let d be 0 + 1 + -2 + t. Solve 5*c = -5*m + d - 16, 16 = -5*m - 4*c for m.
-4
Suppose 0 = -69*g + 60*g + 333. Solve -11 + 32 = -c + 4*u, -g = 5*c - 3*u for c.
-5
Suppose 0 = -4*j + 100 - 92. Solve -3*g + r = -1 - 4, -j*r - 4 = -3*g for g.
2
Suppose 38*f = 24*f + 266. Solve 0 = -2*s - 5*h - f, -5*s - 4 = -2*h - 0*h for s.
-2
Let r(z) = -4*z + 9. Let s be r(4). Let n be 5/(-20) + s/4 + 2. Solve -3 = -3*g - 3*j, n*g = -3*g - 4*j for g.
4
Let g = 115 - 107. Solve 4*a = -r, g*a - 4*a = -5*r for r.
0
Suppose 5*t + 2*f - 14 = 0, -3 = t + 2*f - 1. Let y be -3 + ((-48)/(-4) - t). Suppose -y + 17 = 4*c. Solve -w - c = o + w, 3 = -3*w for o.
-1
Let j = 241 - 237. Solve -2*s - 4*k = -12, 5*k - j = 3*s - 11 for s.
4
Let g = 262 - 258. Solve v + 4*v + 26 = g*o, 5*v = -o - 6 for v.
-2
Let r(w) = -w + 2. Let l be r(0). Let n(u) = u**2 - 7*u - 13. Let g be n(9). Suppose g*o - 5 = -5. Solve -l*p + 10 = v - o, v + 2 = p for p.
4
Let g be 27/45 + 42/30. Let k = 27 + -19. Suppose -2*f + k = 2, 4*f - 22 = -5*d. Solve a + g = d*p, -4*a + 12 = 3*p - 2 for a.
2
Suppose -3*u = u - 224. Suppose -u = -9*l + 2*l. Solve 0 = -3*j - 3*f - 16 - l, 25 = -2*j - 5*f for j.
-5
Let t(v) = v**3 + 3*v**2 - 5*v - 1. Let w be t(-4). Let s = 6 - 1. Suppose -s*i = -w*i. Solve i = -4*y - 2*r - 24, -3*y = y - 4*r + 12 for y.
-5
Let a(d) = 2*d**3 - d**2 + 2*d - 1. Let y be a(1). Let h = 1426 + -1414. Solve -2*j + 4*q + h = 0, y*j - 2*q + 5*q = -9 for j.
0
Suppose y - 5*d - 7 = 0, 34*y - 32*y = -2*d + 2. Solve y = -o - 2*s, -3 + 10 = -3*o - 5*s for o.
-4
Suppose 0 = 5*x - 5*l, -2*x = -0*x - 4*l. Let q(j) = 4 - 5 + j + 4. Let b be q(x). Solve -3*n - a - 17 = 0, n - 5*a = -b*n - 10 for n.
-5
Suppose -3*b - 15*b = -72. Solve -f + 5*f = -3*n + 26, -b*f + 5*n + 10 = 0 for f.
5
Let s = -30 + 32. Let q = 6 + -9. Let a = q - -5. Solve -10 = -2*f + 3*f + a*w, -5*f - 14 = -s*w for f.
-4
Let k be 4/(-26) + (-33)/39. Let r be (k - -4)/(6/10). Solve -r*d + 4*d = -4*o + 12, 0 = 5*o + 4*d - 36 for o.
4
Let w(y) = 2*y + 45. Suppose 3*c + 4*g = -75, 4*g + g - 69 = 4*c. Let z be w(c). Solve -4*n = -4*t, 3*n = 4*t - 2*n + z for t.
3
Suppose 3*a - g = 17 - 6, -a + 3*g = -1. Let o be 0 + a + 0/(-9). Solve -m + 3*w + 4 = 0, m + 0*w = o*w + 5 for m.
1
Suppose -2*q + 4*i = 0, 0 = -4*q + 8*i - 9*i. Solve q = -a + 3*k + k + 21, 0 = -2*a + 4*k + 22 for a.
1
Let p(h) = -h + 13. Let o be (22/(-4))/(3/(-6)). Let f be p(o). Solve -g - f*m = 3, -5*m - 12 = 5*g - 2 for g.
-1
Let g = 778 + -776. Solve 0 = -2*y + l - 12, y = l - g*l for y.
-4
Suppose 0 = -4*b - 507 + 519. Solve 0 = -3*f + 5*k - 16, f = 5*k - b - 9 for f.
-2
Let z(r) = -33*r - 349. Let t be z(-11). Solve -2*j - 2*g = -t, -4 = 4*j - 3*g - g for j.
3
Suppose 3*n - 7 = 3*s + 26, -4*n = -5*s - 52. Let u be 6/s - 24/(-32). Solve 5*t + 4*a - 6 = 0, u*a - 4*a = -4*t - 24 for t.
-2
Suppose 0 = -3*y - 3 - 3. Let u be -1 + y - (0 - 8). Let b(l) = 3*l - 22. Let d be b(9). Solve u*r = 3*q, -d*q + q = 2*r for r.
0
Let l = -197 + 211. Solve 0 = 3*q - y + l, 4*q - 2*y + 13 = -7 for q.
-4
Suppose -55*j + 0*j + 1100 = 0. Solve -3*h = -5*r + j, 2*r - 6*r - 6 = 2*h for r.
1
Suppose 4*n + 2 = 30. Suppose 3*z - n = 2. Solve -z*f + 14 = -8*f + 2*v, -3*f - 5*v = -4 for f.
-2
Let r = -29 + 32. Suppose 3*g - r = 2*g. Solve v - g*l = 10, -5*v = l - 2*l + 6 for v.
-2
Suppose 4*o = -o + 25. Suppose 19*c = -13*c + 160. Solve 0*v - 2 = o*v - 4*n, 5*n = c*v + 5 for v.
2
Let b(m) = -3*m + 3. Let l(u) = -u**3 - 5*u**2 - u. Let p be l(-4). Let c = p + 9. Let x be b(c). Solve 4*d + 22 = 3*o, -d + 5*d + 2*o + x = 0 for d.
-4
Suppose 3 = -g - 5*m, 0 = -4*g + 4*m - 0*m - 132. Let u = -25 - g. Solve -u*j + 12 = 3*f, j - 4*f + 4 = -3*f for j.
0
Let u(p) = -p + 2. Let b = 20 - 22. Let j be u(b). Let h be (32 + -4)/j - 0. Solve -g - s = -0*g