 + 7 = -4*k for t.
3
Let i = 14 + -12. Solve 0 - 3 = -i*x + k, -10 = -5*x + 3*k for x.
-1
Suppose -4*g = -5*u - 5*g + 24, 0 = -u - 5*g. Let i = -10 - -15. Suppose -2*o = -l + 9, 0 = -8*l + 3*l + i*o + 30. Solve 2*v = -3*m, 2*v = l*v - u*m for v.
0
Suppose 0 = -30*y + 26*y + 16. Solve -y = -2*a - 0*a, 4*t = 3*a + 14 for t.
5
Let k(y) = -y**2 - 4*y + 1. Let j(n) = n**3 + 10*n**2 + n + 7. Let d be j(-10). Let c be k(d). Solve -2*f + 2*q = -6, 2*f - c*q + 4 - 12 = 0 for f.
2
Suppose 4*r = 5*t - 6 - 11, -16 = -3*r - 2*t. Suppose r*s - v - 7 = 0, 6*s = 2*s + 5*v + 11. Solve -s*u - p - 20 = 0, 5*u = p - 8 - 8 for u.
-4
Let y be ((-28)/42)/((-2)/9) - -1. Solve -y*f + 8 = 0, 29 = 5*n + 2*f - 0*f for n.
5
Suppose 0 = 5*b - 6 - 9. Solve 5*j - 24 = -4*c, 4*c - b*c = -4*j + 17 for j.
4
Let v be 34/4 - 6/4. Suppose 2*w = r + v, -2*r - 3*r = -2*w + 19. Solve -j = 3*b + 2*j, -5*j = -w*b - 7 for b.
-1
Suppose 3*m - 17 = 16. Let h = 11 - m. Solve h = 4*f - 2*z + 13 + 15, -4*f - 4*z = 4 for f.
-5
Let l = 26 + -18. Let j(a) = -a**3 + 7*a**2 + 7*a + 11. Let s be j(l). Suppose s*k - 6 = -0. Solve -k*g - 9 = 3*g + 4*w, g = 2*w + 1 for g.
-1
Let v be 0/(4/(-8)*6). Suppose -2*c + 7*c = v. Solve -19 = -3*j + 5*w, -5*j - w + 6 - 21 = c for j.
-2
Let g(x) = -x**2 + 4*x - 1. Let t be g(3). Solve -2*q + 17 = -3*j, 5*j + 7*q = t*q - 20 for j.
-5
Suppose 10*t = 297 - 117. Solve -4*g = 5*r + 16, -t = 2*r + 5*g + 2 for r.
0
Suppose 0 = -41*p + 36*p. Solve -7 = o + 5*w, p = o - 4*w - 2 for o.
-2
Let u = 131 - 128. Solve 3*m + 4*j = -u - 4, 0 = m - j - 7 for m.
3
Let q be 8 + (-2 - (-2 + 3)). Suppose 0*l + 19 = q*a + 2*l, -12 = -3*a - l. Suppose -4*x = a - 9. Solve -3*r + 3*d + 18 = 0, 4*r - x + 2 = -d for r.
1
Let k = 7 - 5. Suppose k*d = -2*d. Let o be (3 + 1 - 1) + d. Solve o*f - 15 = 0, -3*w + 3*f - 32 = -f for w.
-4
Let n be (3/9)/(2/12). Solve h + n*h + 4*a = 0, -5*a = 2*h - 7 for h.
-4
Suppose -7 = -y - 4. Solve 5*k + 21 = -y*p, -5*p + 2*k - 2 = 2 for p.
-2
Let h(p) = p**2 + 3*p + 5. Let n be h(-3). Solve -4*j + w = -0*j - 11, 41 = 4*j + n*w for j.
4
Let x be -1 + (-1)/(2/(-14)). Let z = -3 - -9. Let u be 190/z - (-1)/3. Solve 2*t + i - 1 = -x, -4*i + u = -5*t for t.
-4
Let c(y) = -y**2 + 3*y + 5. Let r be c(4). Let v be (4/(-3))/(-1*(-8)/(-36)). Suppose -5*g - r = -v. Solve 2*k = -2*s + g - 5, -s = 5*k + 18 for k.
-4
Let p = 0 - -1. Let i = 3 + p. Let s be (-18)/(-30) + (-24)/(-10). Solve -2*y + 3*y + 4 = s*z, -i*y = -2*z - 4 for z.
2
Let j be (-74)/14 + (-6)/(-21). Let l be 32/5 - 3/j. Solve -5*x = 3*q - 13, -q = -0*q - 4*x + l for q.
1
Let n(s) = s**2 - 7*s + 2. Let c be n(6). Let z(m) = -m + 2. Let a be z(c). Solve 3*g = 15, a = -3*b + g - 5 for b.
-2
Suppose -a + 0 = -3. Suppose 1 = a*l - 14. Solve 7 - 2 = l*c, 3*k - 12 = 3*c for k.
5
Suppose 3*q = 5*f - 13, 2*f + f - 9 = 3*q. Suppose 6*a = 4*a + 36. Suppose -1 = -d + 2. Solve 5*w + a = 2*g, f*g + d + 3 = -w for w.
-4
Suppose -3*h + 4*h = -2*s - 6, 4*s = 3*h - 22. Solve -5*r = o - 11, -h*o + r = 2*o - 2 for o.
1
Suppose 0*y - 20 = -y. Let g be (-148)/(-5) + 8/y. Solve 4*r = 3*s + g - 6, 2*r + 2 = -2*s for s.
-4
Let q = 0 + 3. Suppose q*d = 1 + 11. Solve -3*b = -l + 15, -5*b - 25 = -d*l + l for b.
-5
Suppose 0 = -11*k + 6*k + 50. Let i be (-13)/(-5) + (-6)/k. Solve 2*j = -2*j + 4*q - 8, i*q = 4*j + 4 for j.
0
Let i be ((-27)/12)/((-6)/80). Let x = i + -12. Solve 0 = -3*o + 4*l - x, 3*o + 23 = -o + 5*l for o.
-2
Let j(x) = -x**2 + 10*x + 14. Let l(m) = m**2 - 5*m - 3. Let i be l(7). Let c be j(i). Solve -c = -s + 2*y - 3*y, 4*s - 3*y + 2 = 0 for s.
1
Let u(w) = 2*w**2 - 2*w - 2. Let l be u(2). Solve x = -l*r - r + 15, 4*x = -2*r + 10 for r.
5
Let y(d) = 6*d + 7*d**3 - 4*d - 2*d**2 - 6*d**3. Let c be y(2). Solve -q + 4 = 5*m - 3*q, -3*m = c*q + 8 for m.
0
Suppose r + 0 + 3 = 0. Suppose 0 = -5*v, 0 = k - 0*k - 4*v + 7. Let y = r - k. Solve -2*c + y*b = 5*b + 10, -3*c = 5*b + 22 for c.
-4
Let r(d) = d**3 - 4*d**2 + 4*d - 1. Let s be r(3). Suppose 5*t - 6 = s*t. Solve 5*q - 20 = -5*g, -5*g + 2*g - t = -4*q for q.
2
Suppose 0 = -2*z + 4 - 0. Suppose -z*n + 53 = 3*s, s = 4*n + 18 + 9. Solve 3*u = y + s, -y - 5*u + 16 = -u for y.
-4
Suppose -39 = 4*f - 3*u, -4*f - 23 = -u + 22. Let o be 1/(((-9)/f)/3). Solve -28 = -5*p - w, o*w + 8 = 6*p - 2*p for p.
5
Let u be 1 + 2 - 0/(-4). Suppose 0 = -4*v + u*v + 2*y, -y = -v + 2. Solve 3*o = -a - 0*o + 1, 4*o + 4 = v*a for a.
1
Suppose -3*r = 0, -r - 5 = -3*a + 2*a. Suppose a*l + 32 = 187. Solve -4*w = 4*o + 32, -4 = -4*o - 3*w - l for o.
-3
Let a(q) = -q**3 + 3*q**2 - q - 1. Let n be a(2). Let b = -4 + n. Let m be 0 - -1 - (b + 2). Solve -j = -x + 2, 2*j - m*x - 3*x = -1 for j.
-3
Suppose 2*b + 4*c - 28 = -0*b, -4*b + 3*c = -1. Suppose 0 = b*m - 1 - 3. Let y be (2/2)/(m/5). Solve 5*z + 22 = 3*a, -5*z = 4*a + 24 + y for a.
-1
Suppose 3*y - 4 - 8 = 0. Let d(k) = 2*k - 3. Let u be d(y). Solve 0 = 6*b - b - 2*h + 19, 0 = -u*b + h - 22 for b.
-5
Suppose 2*g = 4*m - 36, -2*m + 3*m - 9 = 2*g. Suppose -2 = 5*t + 8, 0 = 4*q - 2*t - 4. Solve 0 = l - 3*r + 3, -3*l + q*l + 3*r - m = 0 for l.
-3
Let s(x) = -x - 1. Let o be s(-4). Suppose 3 = -2*a + o*a. Suppose 0*i - a*i = -3. Solve -4*w + 4*m = -20, -2*w - 4*m + i + 3 = 0 for w.
4
Let x(i) = 4*i - 31. Let z be x(9). Solve 2*d - 2*p = 4, -p = 2*d - 18 + z for d.
5
Let r(a) = 18*a + 8 + 7 - 17*a. Let k be r(-7). Solve 2*t + n - k = 0, 0 = -5*t + n - 0*n + 13 for t.
3
Suppose c + c - 5*f = -9, -f + 11 = -5*c. Let m be c + (1 - -1) + 5. Let i = -3 + m. Solve 0 = i*v + 8, 5*w - 21 = -0*v + 4*v for w.
1
Let o be ((-1)/2)/((-7)/182). Suppose 3*v + 2*s - 15 = 0, 3*s - 6 - 6 = -v. Solve -3*p - o = 4*h, -p - 1 - v = h for h.
-1
Let s(r) = -r**3 + 6*r**2 - 3. Let o be s(6). Let d(v) = -v - 1. Let n be d(o). Suppose -4*u + 9*u = 10. Solve 5*h + n*a - 25 = 0, 0*a = -h + u*a + 5 for h.
5
Let q be (-4)/1*54/4. Let f be 12/q - (-2)/9. Suppose 5*l + 20 = 0, -5*l - 26 = -3*k - f*l. Solve -4*j + 3*s = -6*j, -k*j = -s for j.
0
Let y be (2 - (-12)/(-7)) + 12/7. Solve -2 = 5*i - o + 2, i + y*o - 8 = 0 for i.
0
Let d = -6 - -16. Let c = d + -16. Let r = c - -9. Solve 0 = -2*a + j - 2, r*j = 5*a + j + 7 for a.
-3
Suppose x - 5*x + 72 = 0. Let r = x - 11. Suppose 5*a - 3 = r. Solve 3*u + 5 = -a*s, s - 9 = 5*s + 5*u for s.
-1
Suppose -p = 4*p - 20. Let h(q) = q. Let z be h(p). Let k be (z/(-3))/(4/(-6)). Solve -2*s + 20 = k*j, -5*s - 2*j + 40 = j for s.
5
Suppose 0 = 3*m - 0 - 6. Suppose -4*n - 3*l = -24, -2*n - 3*l + 8*l + 12 = 0. Suppose 3*a = n + 6. Solve -4*s - 1 = 3*g - m, a*s = -g - 5 for s.
-2
Suppose 0 = 4*a + 12, -2*p = a + 2*a + 9. Suppose 36 = -3*k + 6*k. Let s = -9 + k. Solve -t + 1 = -5*i, -2*t - 5 = -s*i - p*t for i.
-1
Suppose 30 = 34*c - 28*c. Solve 4*x + 0*i = c*i + 15, -4*x + 4*i = -12 for x.
0
Suppose -64 = -5*p - 2*v, 0 = p - 3*v - 2*v - 29. Solve -5*c - p = -2*s - 2, 5*s = -20 for c.
-4
Suppose 2*o = k - 156, 2*o = -2*o - 5*k - 326. Let g = -45 + -9. Let s = g - o. Solve 4*h + s = -h, -3*l + 3*h = -30 for l.
5
Let n(v) = -3*v + v + 3 + 5*v**2 + 3*v. Let j be n(3). Let o = -30 + j. Solve 12 = -2*y - 4*p, 4*y = -2*p - 3*p - o for y.
-4
Suppose 0 = -4*h + 3*h + 15. Suppose -h - 5 = -4*u. Solve 2*o - 4*a - 20 = 7*o, u*o - 3*a = -20 for o.
-4
Suppose 3*t = 4*k + 19, 0*k - 18 = -3*t + 3*k. Solve 2*w = -0*w - t*h - 10, 4*w + 20 = -2*h for w.
-5
Let f(i) = 6*i**2 + 2. Let s be f(1). Solve -2*z - d + s + 2 = 0, -18 = -4*z - d for z.
4
Suppose -3*i + 0*i + 21 = 0. Suppose 0 = -4*h + 15 + 1. Suppose h*m = 19 - i. Solve 0 = -3*z - 2*k - 16, -2*z - k - 22 = m*z for z.
-4
Suppose -n - 62 = 3*q + 2*q, 2*n - 20 = 2*q. Let j be (-6)/(-2)*q/9. Let c be 0 + 4 + (-4)/j. Solve -3*s - 4 = 5*k, 0*k - c*s - 19 = -4*k for k.
1
Let z(q) = q**3 + 5*q**2 - q + 3. Let m be z(-5). Let l be 1*5 + (-12 - -9). Solve -d + 11 = -5*t - m, -5*d - l*t - 13 = 0 for d.
-1
Let t(d) = -d**2 - 8*d - 7. Let a be t(-6). Let c = -102 - -147. Suppose 3*i - 5*q = 8*i - c, -4*q + 11 = -i. Solve 4*f - 6 = -0*n - 5*n, -i*f - a*n = -5 for f.
-1
Suppose -2*j - 12 = -4*g, 5*j + 0 + 2 = 3*g. Let t(w) = -g + 3*w + 0*w - 3 - w. Let x be t(5). Solve -3*s + x*p + 10 = 4, 5*s = -3*p + 2 for s.
1
Suppose 5*t = 5*n, 3*t + 3*n - 35 = -t. Solve -2*i - t*b = -b + 12, 2*b - 4 = 4*i for i.
-2
Suppose 5 = w - 1. L