v = 12 + -8. Suppose 4*r - 18 = -2*j, -j + r - v*r = -13. Suppose w - j = 4. Solve 5*k + w = -5*u, -3*u - 3 + 4 = 4*k for k.
4
Let w = -439 - -442. Let f(n) = -n + 15. Let u(r) = -3*r - 2. Let o be u(-3). Let p be f(o). Solve -w*q - 16 = -4*t, -3*q + p*q + 24 = 4*t for q.
-4
Let m(l) = -l - 25. Let o be m(0). Let v = o + 45. Solve 3*x + 15 = -4*h + h, h = 4*x + v for h.
0
Suppose p = -1, -4*m + 3*m - 1 = 3*p. Let q be 3/m*(-8)/(-6). Solve 0*a = -a + q*f, 4*f = a for a.
0
Suppose 0 = 5*a + j - 19, 4*a - 7*j + 10*j - 24 = 0. Solve -3*y = 4*d + 23, -a*y - 15 = 2*y + 2*d for y.
-1
Let u be 90/8 + (-1)/4. Let r(b) = b**3 - 10*b**2 - 10*b + 6. Let a be r(u). Solve -3*h = -0*p - p - 13, h + a = -5*p for p.
-4
Let q = 3 + -13. Let j = q - -17. Suppose h + 0*h - 2 = 0. Solve -y - 4*g = -j, -y - 2*y + 1 = h*g for y.
-1
Let c = -6 - -8. Let p be (-1)/((-4)/(-16)) + 6/1. Suppose 6*k - f - 21 = k, -c*k - p*f = -6. Solve 4*n - 3 = -3*r, -2*r + 5*n - 2 = -k for r.
1
Let q(a) = -a**2 + 3*a + 3. Let o be q(3). Suppose -p - o*p + 56 = 0. Let l = -9 + p. Solve 3*i + 0*i + 35 = l*x, -2*x - 4*i = 12 for x.
4
Let j = -4 - -2. Let n = j + 8. Solve 3*b + 4*s = n, -7*b = -2*b + 2*s - 10 for b.
2
Let a be ((-24)/15)/((-2)/5). Suppose -10*m + 60 + 100 = 0. Let b = -17 + 37. Solve m = -5*r - 4, -a*r - b = n for n.
-4
Let t = 128 - 123. Solve 5*k + 5 = -4*b - 1, t = -b - 3*k for b.
1
Let o be 0/((-3 - 0) + 4). Let q(g) = -16*g**3 - g - 1. Suppose 0*c = -5*c - 5. Let l be q(c). Solve -k = 2*k - 5*s - 14, -4*k - 2*s - l = o for k.
-2
Let f(k) = 4 + 2 + k - 4*k + 4*k. Let a be f(-5). Solve a = -g + 2*g, 9 = -4*m + g for m.
-2
Let g be 272/28 + (-2)/(-7). Solve 5*r - g = 2*q, -5 = 2*r - 3*q + 2 for r.
4
Suppose 0 = 2*u - 1 - 37. Solve 5*y - u = 1, -7 = w - y for w.
-3
Suppose -9*m + 4*m - 3*i = 0, -5*m - i = 0. Let g = m + 16. Suppose 0 - 12 = -5*o + 2*y, -7 = -4*o - y. Solve 5*h + o*t = -3, 7*t - 3*t + g = 0 for h.
1
Suppose 2*i = -0*i. Suppose i = -4*g + 2*g + 5*l + 21, -2 = -2*l. Suppose -t = 3, 5*x - 2*t - g = -6*t. Solve 3*n = -2*d, x*n = 3*d - 0*d - 19 for d.
3
Let r = -6 - -17. Solve 4*z = -5*u - 0*z + 33, u + 3*z = r for u.
5
Let q = -7 + 11. Suppose 2*y = q*y. Solve r - 26 = -5*n, n = -r - y*n + 6 for r.
1
Let j be ((-5)/(-4))/((-1)/(-8)*2). Suppose -10 - 13 = -3*n - 5*s, -3*n + 17 = -s. Let d = n + -3. Solve -3*p + t + t - 6 = 0, d*p = -j*t + 15 for p.
0
Suppose -5*o + 5 = -4*o. Solve -o*t - 9 = j, -3*t = 2*t - 3*j - 7 for t.
-1
Suppose -5*f - 25 = -10*f. Suppose 4 = j - 1. Solve f*d = -4*w + 41, 0*d = -5*w + 3*d + j for w.
4
Suppose -3*x + 3*q + 19 + 32 = 0, 4*x = -5*q + 41. Suppose -5*l = -s + 39, s + 5*l = 4*s - 67. Solve -3*t + s = -5*p, 3*p + 2*t + x = t for p.
-4
Suppose 4*h = c + 7, 0*h + 3*c - 12 = h. Solve 2*d = -h*o - 12, 2*d = -3*o + d - 9 for o.
-2
Suppose z = -4*a + 19, -1 - 23 = -3*a - 4*z. Solve a*r + 5 - 3 = 2*u, -3*u - r = -10 for u.
3
Let v = 1 - -2. Let c be 0/((-8)/(3 - -1)). Suppose -5 = i + 4*y, c*i - 5*i + 3*y = -21. Solve -2*u - i*u = -4*s - 9, v*u = -3*s + 27 for s.
4
Let i be (2/(-6))/((-2)/(-6)). Let v = i - -4. Suppose n - 2*n - 5 = -5*k, 0 = k + v*n - 17. Solve -k*p - 4*l + 11 = 33, 4*p - l + 17 = 0 for p.
-5
Suppose 7 = b + 5. Solve 4*v = -x - 17, -5*v = b*x - 6*x - 5 for x.
-5
Suppose -12*u = -14*u + 10. Let k be 9/(-6)*(-8)/6. Solve k*r + r - u*o + 3 = 0, 4*o = 4*r - 4 for r.
4
Suppose 0 = 4*c + 8, q + 14 = 2*q + 2*c. Solve 3*z - 2*b = 2*b + 20, -4*z + b = -q for z.
4
Let s(o) = -o**3 + 9. Let c = 2 - 2. Let j be s(c). Solve 0 = 5*u - 5*z - 10, -2*u - 29 = 4*z - j for u.
-2
Suppose -5*m + 27 = 5*q - 8, 11 = 2*q + m. Suppose 4*l = 2*l. Let s be l/(3/3) - -3. Solve q*i = 2*v + 2*v - 24, -4 = -4*i - s*v for i.
-2
Let z(t) = 2*t - 11. Let v be z(8). Let y(h) = -h + 11. Let i be y(-8). Let q = -3 + 7. Solve -q*r - 5*o = -32, -r + o = v*o - i for r.
3
Let f = -18 + 12. Let o = f - -24. Solve -3*q + 3*z = -o, 6*q - 5*q + 2*z + 6 = 0 for q.
2
Suppose -j - 16 = -3*x - 0*j, 5*x = 2*j + 28. Let f = 2 + x. Solve -f = -2*w, -3 = -g - 3*w + w for g.
-3
Let c(y) = 2*y + 2. Let r be c(1). Solve 3*a - a + r*j = -20, -4*a = -j + 13 for a.
-4
Suppose -2*t = -o + 3, -3*o + 12 - 3 = 4*t. Suppose 4*z = 31 + 53. Suppose f + 7 = 5*s, 0 = 3*f + 3*s + 6 - z. Solve 5*i = -4*y, 0*y + f*y + 5*i - 5 = t for y.
-5
Let o(x) = x**3 + 14*x**2 + 24*x + 2. Let p be o(-12). Solve -3*t + 4*u = p*t + 8, 4*t = 5*u - 1 for t.
-4
Suppose 0 = -v + 3 + 8. Suppose -4*i = -i - 9. Let a(y) = y**2 + y - 27. Let q be a(7). Solve 0*d + 5*w - q = -d, -d = -i*w + v for d.
4
Suppose 6*x + 19 = x - 3*q, 0 = -x + q + 1. Let y be (-2 + -4)*x/6. Let l be (0 - y) + (0 - -2). Solve l = -2*u + 4*h + 22, -u + 3*h - 4*h + 2 = 0 for u.
5
Let y(i) = -i**3 + 7*i**2 + 10*i - 12. Let k be y(8). Let c = 0 + k. Let x = 3 - 3. Solve x = -5*m - d - 11, -3*d = -c*m - d - 20 for m.
-3
Let q = 12 - 12. Suppose q*r = 2*r + 2, -5*i + 3*r = -58. Solve 0 = -4*m + 3*v - 12 - i, v - 6 = m for m.
-5
Let s(m) = m + 8. Let u = -2 - -2. Let b be s(u). Let i be b/20 + (-23)/(-5). Solve -5*n = 5*d + 10, i*d + n + 10 = -8 for d.
-4
Let m(p) = 5*p - 3. Let l be m(1). Solve -3*j - 3*x = -6, -5 = 5*j - l*x + 6 for j.
-1
Let c = -162 - 22. Let y be c/(-13) + (-2)/13. Solve -5*m = g + 1, -2*m + 3*g - y = -0*m for m.
-1
Let d be (1 - -6)*(8 + -7). Solve 3*g - 4*f = d, g = 3*f - 7*f - 19 for g.
-3
Let u = 0 + 1. Solve 4 = -5*l + 2*i, 4 + u = -l - i for l.
-2
Let x(a) = -2*a + 5*a + a**2 - 2*a. Let t be x(-1). Suppose t*d - 2 = -d. Solve o + 2 = -4*g - o, -d*o = -g + 7 for g.
1
Let r(q) = 3*q**2 - 2*q + 2. Let g = 1 - -1. Let c be r(g). Solve -3*f + 19 = -2*i, -i = i + c for f.
3
Let o be ((-24)/(-9) + -2)*-3. Let g be 10/1*o/(-4). Suppose 11 = f + 6. Solve f*q = 3*z + 3, q = -5*z + 4*q - g for z.
-1
Let o be 4/12 + (-168)/(-9). Solve -5*k + 5 - o = 4*x, 2*k + x + 5 = 0 for k.
-2
Let u be (21/(-6))/(2/(-8)). Suppose -c = 3*b + 4 - u, 4*b = 2*c. Suppose 6 = b*p - 0. Solve -o = p*o + 8, 4*o = q - 11 for q.
3
Suppose f = 2*f - 5. Let x(r) = -r**2 + 4*r + 5. Let u be x(f). Solve 5*w = -0*p + 2*p + 23, 2*p - w + 11 = u for p.
-4
Let g(h) = -2*h**2 + 14*h - 10. Let d be g(6). Solve 4*o - d*q = o - 19, -2*q - 1 = o for o.
-5
Suppose -5*x - t = 4*t - 5, 2*x - t = 11. Solve 2*a - a - 3 = -4*u, x*a + 2*u + 2 = 0 for a.
-1
Suppose -4*b - 98 = -2*o, -5*o + 0*b = 4*b - 175. Suppose -p - d = -19, 2*p - o = 2*d - 3*d. Solve -3*w = 2*i + 2*w + p, -3*w - 12 = -i for i.
0
Let x be 6*(-3)/(-6) - 0. Suppose -m = -3*c - 0 + 6, c = -x*m + 12. Solve 0 = -m*y - 2*p - 9, 4*y = -p - 2*p - 11 for y.
-5
Let y(t) = -2*t - 1. Let w be y(-8). Suppose 2*g = 7*g - w. Solve -f + 0*n - 12 = -g*n, -3*f = 5*n - 6 for f.
-3
Let l(g) = -g**2 + 6*g + 1. Let i be l(6). Suppose 24 = 5*n - i. Solve -s + 0*s - 24 = -4*w, -2*s + 17 = n*w for w.
5
Suppose -4*c + 2*d = -2, 0 = 5*c - 4*d - 2 + 4. Suppose c*s - 10 = 22. Solve -2*l + s = -3*h + 5, 2*h - 4*l + 10 = 0 for h.
-3
Let a be 0/(-2)*4/8. Suppose -f + a*f = -2. Solve 4*r + 12 = -f*g, -2*g + 0*r + 13 = -r for g.
4
Let x = -151 - -155. Suppose n + 4*n - 15 = 0. Solve -m - b - x = 0, 4*m + n*b + 1 = -10 for m.
1
Let r be (0/2 - 0)/(-2). Let u be -2 + 13 + r - -1. Solve -3*b = 5*c - 0*b - 3, 3*b = -u for c.
3
Let m(r) = r - 3*r + 0*r + r - 7. Let z be m(-7). Solve 3*n + z = -x - 14, -4*x = -n - 9 for x.
1
Suppose m - 4 - 1 = 0. Let q(v) = -v + 5. Let p be q(m). Suppose p = -8*t + 3*t + 15. Solve -t*h - 5*i = -5, h - 11 + 36 = 5*i for h.
-5
Suppose -2*w - 3*i = -4, -17 = -w + 5*i - 2. Solve 3*l = u, 7 = -w*u + 2*l + 20 for u.
3
Suppose 5*d + 8 = 4*u + 23, -d = -3. Solve 4*b + 28 = 5*h, u*b = -2*h - 4*b for h.
4
Let f(k) = k**3 + 13*k**2 + 2. Let q be f(-13). Solve 0*t - 5*t - 4*i = 23, t - 1 = q*i for t.
-3
Suppose -17 = 4*s - 1. Let i be s - ((-16)/4 + -5). Solve 3*k + 4*q = -2*k + 6, i = k - 3*q for k.
2
Let t(x) = x**3 - 7*x**2 + 2*x - 6. Let o be t(5). Let i be 6/(-21) - o/14. Solve 0 = -5*d - 2*z + 13, 0*z = -i*z + 12 for d.
1
Let r be 128/12 - (-1)/3. Suppose 0 = 5*x + 2*m - r, 0 = -3*x - 5*m + 2*m + 3. Solve -6 = -5*l + f, -l - 18 = -4*l - x*f for l.
2
Let p be (1 + 5)*2/3. Solve 5*w + 20 = -a, p*w - 5 = 6*w + a for w.
-5
Suppose 2*c - x - 36 = -2*c, 4*x = -5*c + 45. Suppose -6 = -5*s + c. Suppose -s*w - 4 = -5*