i - 15, k - 2*i - 9 = 0 for k.
-1
Suppose 0 = r + 2*h + 7, 3*r - 1 + 10 = -3*h. Suppose -3 + r = -2*g. Solve -1 = 2*x + 2*y + g, -2*x - y + 3 = 0 for x.
4
Let w(u) = u**2 + u - 10. Let s be w(-4). Solve 5*x = 5*k - 5, s*k + 5*x = 6*x - 3 for k.
-4
Suppose -8 = -2*o - 2. Solve -2*f + 5 = 4*n + n, -3 = -o*n - f for n.
1
Let t(s) = 2*s - 8. Let w be t(5). Solve 4*c + 2*o + 5 = -19, 0 = -w*c - 5*o - 20 for c.
-5
Let h = -2 - -1. Let z be -1 + 1 - 15/h. Suppose -x + 4*j - 7 = 0, 2*x + 2*j + 3*j - 25 = 0. Solve 5*g + 15 = 4*s - z, -5*g + x*s = 35 for g.
-2
Let s(f) = -3 + 3 + 3*f + 0*f. Let o be s(1). Solve q + 3 = l, 2*q + l = 5*q + o for q.
0
Let z(k) = k + 16. Let a be z(12). Let g = a - 23. Solve 0 = 3*c + m - 13, g*c + 2*m = -3*m + 25 for c.
4
Let a = 12 + -12. Solve f - 5*t = -14, 6 = 3*t - a for f.
-4
Let x be -1*(4 - 3) + 1. Solve x = -4*c + 3*r + 16, -2*r - 10 = -3*c + 1 for c.
1
Suppose s = -5*b + 28 + 14, 0 = 5*s + 3*b - 188. Solve -s = -5*h + 4*a, -2*a = -2*h + 19 - 3 for h.
5
Suppose 3 = -j + 5. Let g be 3/9*1*9. Solve z + 5*r = 13 + j, z + r - g = 0 for z.
0
Let u be 0 + 7 + 20/(-10). Solve -5 = -v + 2*v + 2*k, -u*k + 15 = -3*v for v.
-5
Suppose -3*d + 0*d = 6. Let l be d/2*0/3. Solve 5*h + 0*h - 20 = l, 4*h = -4*g + 4 for g.
-3
Let z(o) = o**3 + 6*o**2 - 7*o - 5. Let u be z(-7). Let g be 26/10 + (-2)/u. Suppose 17 = -2*a + 65. Solve 5*n = -g*y - 0*y - 5, a = -4*y + 2*n for y.
-5
Suppose 2*m + 8 - 3 = p, m - 22 = -3*p. Let u = p + 1. Let v(q) = -q**3 + 5*q**2 + 3. Let k be v(5). Solve 4*w - u = -5*b + 3*b, 5*b + k*w = 6 for b.
0
Let o(d) be the third derivative of -7/6*d**3 - d**2 + 0*d + 0 - 1/24*d**4. Let f be o(-7). Solve -2*a = -4*a - 4*w + 28, -4*a + w + 11 = f for a.
4
Let d = 7 - 3. Solve 4*x - 25 = -d*u - x, 0 = 4*x - 20 for u.
0
Suppose 1 + 14 = 5*w. Solve w*h = -3*b - 0*b + 3, 2*b = h - 10 for b.
-3
Suppose -7 = -2*c + 31. Let y = c - 17. Let k = 3 - 1. Solve 0 = -6*n + 4*n + k*l + y, -l + 3 = -5*n for n.
-1
Let t(r) = 4*r - 8. Let u be t(6). Suppose -3*c - 5*l + 7 = 0, -3*c = 4*l - 10 + 2. Solve -f - c*g = f - 6, 3*f - g = u for f.
5
Let w(y) = -y + 34. Let o be w(33). Solve c + 2 - 18 = 5*l, 0 = -c + o for l.
-3
Suppose 0*f + f + 150 = 3*o, -4*o + f + 200 = 0. Suppose 5*v - 5 = o. Solve 3*n = -3, -2*t - t - v = -4*n for t.
-5
Suppose 4*t + 2*c - 18 = 0, 0*c + 15 = 3*c. Solve -6 = 4*k + 5*d, 0*k - t*d - 9 = -5*k for k.
1
Let f be 5*3*(-1 + 2). Let v = 9 - f. Let c be ((-10)/(-3))/(v/(-9)). Solve 5*s + c*j + 15 = 0, 3*j - j + 2 = 2*s for s.
-1
Suppose -4*k - 3*r + 18 = 0, -2*k + 5 = -2*r + 3. Solve 0 = 2*f + k*h - 15, f + 8 = 5*h - 4 for f.
3
Suppose 2*g = -2*h + 26, -3*h + 3*g + 33 = -0*g. Let k = 1 + 3. Solve -4*c + 3*x = 4*x + h, k*c + 5*x = -28 for c.
-2
Suppose -6*z + z - k = -26, z - 2 = -k. Let j be -1*(-3 - z)*3. Solve 8 = -5*s + 3*b - 14, 2*b + j = -5*s for s.
-5
Suppose -5*h + 15 = -5*c + 5, 3*c = h + 2. Solve 2*q + 2*k = 0, 5*q - 4*k - 10 = h*q for q.
2
Suppose -m - 7 = -y, 3*y - 3*m - 13 = 2*y. Solve 5*t + 36 = -y*q, t - q + 5*q + 20 = 0 for t.
-4
Let b(q) = -q**3 + 17*q**2 - 16*q + 2. Let k(l) = -l**2 + 16. Let y be k(0). Let d be b(y). Solve 12 + 5 = -5*t + s, -d*t + 3*s = 12 for t.
-3
Let l = 10 + -15. Let p be 2 + 0 + (0 - -8). Let n = p + l. Solve -n*w - 15 = 5*i, 0 = -i + 4*w + 9 + 13 for i.
2
Let r = -19 - -29. Suppose 16 = 4*h + 2*l, -2*l + 3*l = 4*h - r. Solve 2*d = 5*b - 2 - 10, -3*d = h*b - 3 for d.
-1
Let o be (-2*1 - -3)*-21. Let d be (-27)/o + (-4)/14. Let b be d*(0 - 0)*1. Solve -4*f + 1 = j, 3*j + b*j = 3*f + 18 for j.
5
Let t(x) = -x**2 - 4*x + 4. Suppose 0 = -4*r + 4 + 4, -8 = 3*u + 2*r. Let d be t(u). Suppose -2*y + d = -4. Solve -k + q + 7 = 0, -y*k - 2*q + 7 = q for k.
4
Suppose 3 = -3*m + 15. Let a = -5 + 13. Suppose 2*b - 4 = 2*g, -4*b = -5*b - 2*g + a. Solve b*u + 5*c - 26 = -0*c, 2*u = m*c for u.
4
Let s(r) = r - 3. Let c be s(6). Suppose -5 + 17 = c*k. Solve -4*d = j - 1 - 7, 2*j + 20 = k*d for d.
3
Let u(q) = q + 8. Let v be u(-6). Let p(f) = -3*f + 7*f + 5 - 5*f. Let h be p(4). Solve 15 = 4*g + 3*d, v*g - 4 - h = d for g.
3
Suppose -2*f - 8 = r, 0 = 3*f - 3*r - 2*r - 1. Let c = 9 + f. Suppose c*i - i - 25 = 0. Solve -3*g = 5*q - 15, -g = -0*g + i*q - 5 for g.
5
Suppose -b + 7 = -4*c, -c + 1 = 2. Suppose -b*f - 2 = -8. Solve -f*u + 2 = 5*t, 13 + 5 = 3*t - 3*u for t.
2
Suppose l + 2 = 4. Suppose l*k + 20 = 7*k. Solve -3*c - 7 = 5*s, -7*s + k*c - 14 = -2*s for s.
-2
Suppose -22 = -b - z + 5*z, -b = 2*z + 8. Solve k + 3*k - 3*m = 5, -b*k - 4*m - 14 = 0 for k.
-1
Let w be 6/5*(-10)/(-4). Suppose w + 5 = 4*n. Solve 3 = n*t - x - 3, 0 = -3*x - 12 for t.
1
Suppose -3*a + 5*a = 8. Solve a*t + l = 5, 0 = -5*l - 2 - 13 for t.
2
Suppose -5*c = -5*p - 45, 0 = -2*c + 4*c + 4*p + 6. Let y = 136 - 66. Suppose 0 = 4*a - y - 18. Solve c*q + 7 = -3, -4*i - 3*q = a for i.
-4
Let c be (2/(-6))/(3/9). Let q(p) = 4*p**3 + p**2. Let d be q(c). Let j(k) = -k**3 - 3*k**2 - 2*k - 3. Let a be j(d). Solve 6 = a*o, -10 = -3*n - 5*o + 9 for n.
3
Let z be (-3 + 12/8)*-2. Let x = 7 - z. Solve 8 = 2*a - x*q, 2*q + 16 - 4 = -3*a for a.
-2
Suppose -9 = -2*f - f. Let v = 75 - 54. Suppose 0 = -4*y - r + v, y = f*r - 2 + 4. Solve c + 29 = 5*u, y*c + 7 = -u - 8 for u.
5
Suppose 0 = 2*v - 18 - 86. Suppose 0 = -4*d - h + 60, d - 5*h = -d + v. Suppose 10 = 2*p - 3*s, -3*p + 6*s = s - d. Solve x + 6 = 2*u + p, 5*x - 13 = -u for x.
2
Let c be (-1*2 + 3)*47. Suppose -c = -5*i - r + 85, -120 = -4*i + 4*r. Solve w = -4*t + 8, -6*w + 3*w + 5*t = i for w.
-4
Let a be 4/(-14) + (-144)/(-63). Solve -3*m = y - 5*y + 29, -a*m = 4*y - 14 for y.
5
Suppose b = -b + 2. Suppose -b = 4*c - 13. Solve 5*z + 2*r - 6 - 15 = 0, -4*z + 3*r = -c for z.
3
Suppose 3*i - o - 14 = -2*o, 3*o + 23 = 4*i. Suppose 0*u + 70 = i*u. Solve 0 = -2*s + 2*m + u, 1 = -s - m - 2*m for s.
5
Let j be (1 - -1 - -1) + 17. Solve j = 5*l - 0*w + 5*w, -4*w + 8 = -4*l for l.
1
Let y be 54/4 + 5/10. Let m be 126/4 + 7/y. Suppose -u = w - 21, 0 = 5*w - m + 7. Solve -g + 6*g = -4*v + u, -16 = -4*g for v.
-1
Let z be 4/(-14) + 8/28. Let y = -7 + 13. Solve 0 = 4*d + 16, z = 2*m + d + 2*d + y for m.
3
Let d = -6 + 8. Suppose 0 = 2*m + x - 9, m - d*x - 16 = 1. Let c be (-6)/(-4) + 2/4. Solve -m = -4*w - c*s + 5, -2*s - 4 = 0 for w.
4
Suppose -15 = -5*i + 2*i. Suppose -2*z = -7*z + i. Let l be (-1 + -1)*1*-1. Solve 10 = -l*o, -2*o - z = x + 5 for x.
4
Suppose 0 = -5*r + 2 + 13. Let q be (-16)/3*r/(-2). Let b be 36/q + (-6)/4. Solve -4*p - 6 = 4*v + 14, -p - b*v - 5 = 0 for p.
-5
Let l(s) = -8*s + 9. Let w be l(6). Let x be (-630)/w - (-2)/(-13). Solve -4*c = -4*v - x, 5*c - v - 4 = 6*c for c.
0
Let f(z) = 2*z**2 - z**2 + 7*z**2. Let k be f(1). Let q be (-2)/k - (-54)/24. Solve 2*s = i - 3*s + 14, -2*i - q*s - 4 = 0 for i.
-4
Let i be 2*(-2 + (-9)/(-2)). Let y(a) = -a**3 + 5*a**2 + 4. Let k be y(i). Let b be (-5)/(-3) - (-26)/78. Solve 5*s + b = l, -k*s = -0*l - l + 2 for s.
0
Suppose -32 = -6*a + 2*a. Suppose -11 = -s + a. Let q = -5 + 8. Solve 0 = -l - z - q, 5*l - 3*z = -4*z - s for l.
-4
Let o be -2*1/3 + (-17)/(-3). Solve 13 = o*t + 4*m, 4*t - 2*m - 17 = -3*m for t.
5
Let j(s) = 3*s**3 - 1. Let r be j(-1). Let z be 14/49 - r/(-14). Suppose z*x = 3*x. Solve 0 = -3*c + 5*d + 14, 0*d + 3*d + 12 = x for c.
-2
Let c be 6/(-4) - 6/(-4). Let v be c/(1*16/4). Solve 5*m - 5*p = -v*m, 0 = -4*p for m.
0
Let o = 14 - -1. Suppose -4*a - 2*j = -28, 2*j + 2 = 2*a - 0*a. Let s be (1/(-2))/(4/(-200)). Solve -5*l = s, a*z - o = -l + 5*l for z.
-1
Suppose 3*a + 0*a = 0. Let b(c) = c**3 + c + 3. Let g be b(a). Let s = 13 - 10. Solve s*y = 5*v, -3*y + 0*v + g*v = -6 for y.
5
Suppose u + u = 0. Let g = u + 20. Suppose -3*k + 4*c + g = -11, -2*k + 30 = -5*c. Solve i + 2*a - 2 = 0, -2*a = -i + k*i + 4 for i.
-2
Let i = 9 - 9. Let c be i*(-4 + 5 + 0). Solve c = 3*s - 6*s - 3*v, 5*s = 5*v - 50 for s.
-5
Suppose 4*u - 3*u - 3 = 0. Solve r = -u*a, -2*r + 7 = -4*a - 3 for a.
-1
Let p(s) = -24*s - 4. Let h be p(-1). Solve b - 12 = 2*b - 4*g, -h = -2*b - 3*g for b.
4
Let l = 28 - 17. Suppose 3 = -4*a + l. Solve -2*u + 6 = -a*m + 14, 3*u - 2*m + 9 = 0 for u.
-1
Suppose 5*h = -2 - 28. Let d(i) be the first derivative of -i**4/4 - 2*i**3 - i**2/2 - 4*i + 4. Let p be d(h). Solve -11 = -s - 5*q, -2*s + p - 4 = 