 a = -12 - -16. Suppose -20 + 0 = -a*u. Solve 4*n - 4*m - 5 + 1 = 0, u*n - 5 = -3*m for n.
1
Suppose -3*z - p = -5, 0 = -5*z + 3*p - 4*p + 11. Suppose -z*b = -4*k - 12, -3*b - 2*k = k + 9. Solve -5*t - 25 = -2*r, b = -4*r - 3*t + 11 for r.
5
Suppose -q = -3*q + 66. Suppose t + q = 4*d, 4*t = 2*t - 10. Solve -5*w + 3 - 8 = 5*i, 2*i = -3*w - d for w.
-5
Suppose -5*c - 3*u + 19 = 0, -3*c + u + 9 = 2*u. Solve 3*h = x - c*x - 2, -x = -2*h - 8 for x.
4
Let y = -5 - -7. Suppose 0 = 4*o - o + 3, y*o = 5*t - 22. Solve -l - z = -7, 2*l - 3*l = -t*z + 13 for l.
3
Suppose 3*r + 48 = 2*p, -2*p = 3*p + 3*r - 120. Suppose 2*h - 8 = -0. Let g(u) = u**2 - 1. Let v be g(h). Solve -4*w + v = w, 3*f - 3*w + p = 0 for f.
-5
Let y be 3 - (-1 - (0 - -1)). Solve 2*v + 6 = -2*d, -3*d - y - 1 = 2*v for v.
-3
Let o be (-1 - 2)/6 - 2/(-4). Solve -u - 13 = 5*n, u + o*n = 4*n + 5 for u.
-3
Let d(y) = -y**2 + 6*y + 7. Let w be (15/20)/((-2)/(-16)). Let u be d(w). Solve 4*a + 2*c = 3*a + u, -c = -4 for a.
-1
Let y(q) = -q**3 + 7*q**2 + 9*q - 4. Let t be y(8). Solve 0 = 5*w - 3*k + 8, -7*w + 4*w = t*k - 1 for w.
-1
Let g = -7 - -8. Suppose 0 = 5*l - 4*i - 4, 5*l + 2 = -3*i - g. Solve 2*z + 10 = -6*f + 3*f, -3*f = l for z.
-5
Suppose 4*b - 13 = -1. Suppose -o = b*x - 14, 3*x - 7 = 2*x + 2*o. Solve 4*f + 4*l - 11 = l, -x*f - 2*l + 19 = 0 for f.
5
Suppose -p = 4*p - 10, -2*k + 4*p + 28 = 0. Suppose -k = -z - z - t, -4*z + 2*t + 28 = 0. Solve -5*j - l = -2*l - 18, 3*j = 2*l + z for j.
4
Let a(w) = -w**2 - w - 6. Let m be a(0). Let g be -1 + 2/((-4)/m). Let n(f) = f**3 - 4*f**2 + 2*f - 6. Let s be n(4). Solve 3*c = -v + c - s, g = 2*c for v.
-4
Let h be (-27)/(-12) + (-4)/16. Suppose 16 = 2*c - 4*m, 0 = -h*c - 4*m - 7 - 1. Solve -p + 3 + 1 = -3*j, c*p = -j + 1 for j.
-1
Suppose 2*a + 6*z + 21 = z, 3 = 2*a - 3*z. Let c be 18 + (-1 - (a + 0)). Solve -4*v + c = -4*w, 2*v = w - 3*v + 5 for w.
-5
Let m = 67 - 64. Solve -4*o + 0*u - 12 = -4*u, -m = -o - u for o.
0
Let u be (-1 - (-1 + 2))*-1. Suppose 4*c = -u*p - 10 - 0, -c + 5*p = -25. Let m = c + 7. Solve 4*w - l + m = 2*l, 3*w - 1 = l for w.
2
Let a be 1 - 4/(-4)*2. Let o(p) = -p**2 + 2*p + 1. Let x be o(2). Let m = x - 1. Solve 4*f + 4*k = m, 2 = a*f + 5*k - 0 for f.
-1
Let a = -29 + 45. Let z be 8/a - (-5)/2. Solve 0*l + z*l + 11 = -k, -8 = -4*k + l for k.
1
Let i = 30 - 28. Solve h = -q - h + 6, -i*q = h for q.
-2
Let x(d) = -d - 2 - 4*d**3 + 6*d**3 + 3*d**3. Let m be x(2). Suppose -g + 4*i + 21 = 0, -5*g + i = -12 - m. Solve -3*s = 5*b + g, 2*s = -3 - 3 for b.
0
Let j(m) = -1 - m**2 + 6*m**3 - 16*m**3 + 0*m - m. Let u(q) = q**2 + 6*q - 8. Let z be u(-7). Let y be j(z). Solve -3*d - p + 10 = -y, -p = -4 for d.
5
Let y be (4 + -4)/(3*1). Suppose y = -4*j - 0 + 12. Suppose -1 = 2*f - 13. Solve -f = -5*n + 4*k, -j*k + 2*k = -1 for n.
2
Let v(f) = -6*f + 33. Let g be v(5). Solve -n + 4 = w - 1, -3*n + g*w + 9 = 0 for n.
4
Suppose -5*r + 10 = 5*y, -4*r = -0*y - 2*y + 22. Solve -5*u + 3 = -3*n, 0 = -y*u + 5*n - 3 + 8 for u.
0
Let f(c) = 3*c**2. Let z be f(1). Suppose -h + 7 = z. Solve 0 = 4*a + v - 3*v + 8, -5*a = h*v + 36 for a.
-4
Suppose 5*y = 5*r + 20, r - 6*r = 0. Solve 2*m + 4*h = 6 + y, 15 = 3*m + h for m.
5
Let c = 63 + -59. Solve -3*m - 6 = 0, 2*p - 14 = -p + c*m for p.
2
Let h = -2 - -4. Solve -5*q - 12 = -h*s, 0 = 3*q + 6 - 0 for s.
1
Suppose 3*x = -x + 4. Let m be 0/2 + (1 - 0). Suppose -j + m = -x. Solve -5*n - l = j*l - 40, 3*l - 25 = -2*n for n.
5
Let g = 3 + 5. Suppose 5*v - 7 = 2*q - q, 18 = 3*v + 4*q. Solve 2*y + v*d + g = -0*d, d + 9 = -2*y for y.
-5
Let b(s) = s**3 + 22*s**2 - 2*s - 39. Let i be b(-22). Solve -4*z + 25 = 3*n, 5*z - i*n - 3 = 2 for z.
4
Let h(l) = -l**3 + 6*l**2 - 4*l - 3. Let m be h(5). Let y be ((-1)/(-2))/(m/12). Solve -4*n = 5*f - 21, 2*n + 19 = y*f + 2 for n.
-1
Let z(j) = 3*j + 43. Let t be z(-11). Solve -m + t = -2*p, -p - 4*m = p - 10 for p.
-3
Let i(u) = -2*u**3 + u**2 + u + 1. Let n = 9 + -14. Let p = n - -4. Let q be i(p). Solve 5*d = -q*b + 36 - 15, -4*b = -8 for d.
3
Let o = -6 + 9. Suppose 2*a = -o + 9. Solve -a*h - 2*l = 0, -5*l + 6 - 15 = 3*h for h.
2
Suppose 2*w - 2*l - 3*l - 29 = 0, 2*w + 3*l + 11 = 0. Solve 2*a - 3 = -w*v - 1, 0 = a - 4*v - 11 for a.
3
Let t(h) = -6*h**2 - 2*h**3 + h**3 + 0 + 1 - 5*h + 4. Let q be t(-5). Solve -l + g = -3*g + 1, q*g - 10 = 3*l for l.
-5
Suppose -2*s - 5 = 5*n - 18, 0 = -3*s - 2*n + 47. Let h = s - 17. Solve 0*b = 2*b + h*p + 10, 0 = 5*b + 2*p + 13 for b.
-1
Suppose 2*d + 3*a = -0*d + 10, -5*d = -2*a - 6. Let n = -32 - -89. Suppose 3*b - 3*g = n, -5*b + 4*g + 110 = d*g. Solve 2*v + 8 = 0, -5*v = -3*o + b + 2 for o.
2
Suppose 30 = -v + 39. Solve 0 = -5*z - 2*y + v + 14, 0 = 5*y + 5 for z.
5
Let d(f) = -f**3 - 10*f**2 + 12*f + 16. Let t be d(-11). Suppose -r - 5*m = 16 + 4, -t*r = 2*m - 15. Solve 0 = r*b - 5*o - 15, 2*b - 3*b - 13 = 3*o for b.
-1
Let w = 7 + -8. Let t = w + 6. Solve 5*i - 5*b = -5, -b - 4 + t = -2*i for i.
0
Suppose -2*a = 2*l - 6*a - 12, l = a + 5. Solve -2*v - 4 = -l*j - 0*v, -2 = -v for j.
2
Let n(t) = 2*t**2 - 3*t + 2. Let v be n(2). Suppose s + 1 = v. Solve -2*w + s*q + 1 = 0, w - 4*q - 10 + 2 = 0 for w.
-4
Let l be 16/9 + (-14)/(-63). Suppose -16 + 6 = -l*q. Solve -w + 4*w + 3 = -5*m, -2*m + q*w - 26 = 0 for m.
-3
Let o be 0 - 0*(-3)/(-12). Solve -2*g + 9 = -3*j, 0 = 2*g - j - 3 - o for g.
0
Let a be (2/(-2))/(1/(-3)). Suppose -a*l - 9 = -3*z, -l = -2*z + 3*l. Solve 3*d = k + z, 2 = k + 4*d + 1 for k.
-3
Let b be (-4)/((-1)/(-4)*2). Let v = b + 18. Suppose -p - p = -2*s + v, 25 = 5*s + 3*p. Solve -14 = -c + 5*d, 2*c - s*c - 5*d = -2 for c.
4
Let u(p) = p**2 - 8*p + 1. Let c be u(7). Let x = 11 + c. Solve x*a + 2*s - 3*s = -20, 4 = -a - 3*s for a.
-4
Suppose 0 = -2*v - 0*v - 2*l + 42, -v + 4*l = -16. Solve g + 5*j = v, g - 5*g - 5*j = -5 for g.
-5
Let i be ((-16)/(-6))/(6/9). Let p = 0 - i. Let f = p + 7. Solve f*g = -k - k + 8, -5*g = 2*k - 12 for g.
2
Suppose -3*a + 2 = -10. Suppose h + a*h - 10 = 0. Solve -h*y - k + 12 = -3*k, -5*y = k for y.
1
Let c be 0/3 - 15/(-3). Suppose 2*b - c*j = -b - 20, 2*j = -b - 14. Let w = -3 - b. Solve -5*z - 3*l - 6 = 0, -2*z + w*z = -5*l for z.
-3
Suppose 4*l - 2*k - 15 = k, 4*l + 15 = -3*k. Solve l = 4*m - p - 15, 2*p - 10 = m - 3*m for m.
4
Suppose -5*g + 22 = 4*a, 10 = -g + 4*g + 4*a. Let y(s) = -s + 10. Let j be y(g). Solve q + 2 = -2*c, j*q + 5*c - 2*c = -8 for q.
-2
Let k = 201 + -197. Solve -3*n = -5*s, -2*s - 2*s - k*n - 32 = 0 for s.
-3
Let q be 47/(-5) - (-2)/5. Let f(l) = -l**3 - 9*l**2 - 2*l - 8. Let c be f(q). Solve 8 = -2*j, 3*k + 4*j + c = 6*k for k.
-2
Let z(x) = -4*x + 35. Let s be z(8). Solve 5*f - 2*m = 15, s - 13 = -5*f + 3*m for f.
5
Suppose -c - 4*a + 13 = 0, -3*c = 3*a - 11 - 1. Let h = c - -30. Solve -5*k - 4*d = -10, 3*k + 0*d - 5*d + h = 0 for k.
-2
Let p(g) = -g + 4. Let m(s) = s**3 + s**2 + 6. Let c be m(0). Let a be p(c). Let v be 2/1*(-1 - a). Solve 0 = -2*y + 3*r - 10, v - 10 = -2*r for y.
1
Let g(u) = -u**2 + 17*u - 39. Let v be g(14). Solve v*z + y + 5 + 0 = 0, 5*z = 5*y + 25 for z.
0
Suppose 3*o + 2*y = -3 - 4, -4*o = -5*y + 40. Let p = -5 - o. Solve 5*l = p, -2*t - 2*t = -3*l - 4 for t.
1
Let s(k) be the third derivative of k**4/24 - k**3/2 + k**2. Let t be s(3). Solve t*p = 5*d + 2*p - 12, -3*p + 4 = 4*d for d.
4
Let a(x) = -x**3 + 6*x**2 - 6*x. Let d be a(4). Let f(v) = v**3 - 7*v**2 - 9*v + 8. Let h be f(d). Solve 2*r - o - 2 = h, r + r + 4*o - 2 = 0 for r.
1
Let x(i) = 2*i**2 + 34*i + 2. Let r be x(-17). Solve r*f - 18 = 3*t, -4 = 4*f + 3*t + t for f.
3
Suppose 0 = -0*s + s - 13. Let p(k) be the third derivative of k**4/4 + 2*k**2. Let i be p(1). Solve 5*b + r - s = -r, b - 3*r = i for b.
3
Let y = -3 - -10. Solve -5*x = -o + 11, 2*x = x - o - y for x.
-3
Suppose -3 = -12*m + 57. Solve p = 2, -4*p = m*d - 3 - 5 for d.
0
Suppose 0 = -4*m - 4*b, -m + 2*m - 8 = b. Suppose -60 = -3*c + j, -4*c - 3*j + 6*j = -80. Solve r + 2*o + c = -3*r, 5 = -r - m*o for r.
-5
Let l(m) = 4*m + 4. Let i(w) = 3*w + 3. Let g(z) = 3*i(z) - 2*l(z). Let y be g(0). Let a be -3 - -4 - (y + -3). Solve -5*t - a = j - 11, -5*t + 20 = -5*j for t.
2
Let l be 4 + -1*(4 - 2). Let i be l - (1 + -1) - -16. Suppose 5*w - 4 - 21 = 0. Solve 2*t - w*x + 0 = 2, 5*t - x + i = 0 for t.
-4
Suppose