0 for t.
5
Let n be (-2)/3*(-6)/(-4). Let v be 339/21 - n/(-7). Solve v = 5*j + 2*r - 4, -12 = -3*j + r for j.
4
Let v be (-1 - -2)/(2/40). Suppose 31*a = 11*a. Suppose -v = -2*j - a*j. Solve -3*k + j = 4*m, -2*m + m + 14 = -5*k for m.
4
Suppose 0 = 12*k - 14*k + 4. Solve 2*n - 3*s + 7 = 0, -k*n - 17 + 4 = -5*s for n.
1
Suppose 40*w + 5*b + 8 = 44*w, 5*b = 5*w - 10. Let r = -8 + 10. Solve 0 = -m - r - 2, -w*m = -5*x - 17 for x.
-5
Suppose -12*g + 15*g + w - 16 = 0, 32 = 4*g + 4*w. Let p be ((-40)/12)/(2/(-3)). Solve -g*i + 6*i + 16 = 2*q, 2*q = -p*i - 19 for i.
-5
Suppose -10 = 45*x - 46*x. Solve -14*q + 20 = -11*q + 5*t, 5*t = -q + x for q.
5
Let n be (10/(-8))/(((-3)/12)/1). Solve -n*a = -4*o - 29, 3*o - 4*o + 3*a - 16 = 0 for o.
-1
Suppose -18*a = -5*y - 14*a, 4*a = 0. Solve 3*t + 10 = 5*c, 2*c + t - 3 - 12 = y for c.
5
Let o = -8482 + 8485. Let n = -15 + 6. Let s = -6 - n. Solve s*k = 2*k - o, u - k = 0 for u.
-3
Let l = 0 - -2. Suppose 2*y - 28 = -l*y + 4*m, -2*y - 21 = 5*m. Solve -y*c - 2*c = 4*v + 20, 3*c + 1 = 4*v for c.
-3
Suppose 0 = -2*f + 17 + 13. Let l be (144/(-20))/((-6)/f). Suppose -14 = j - y - 3*y, j = -4*y + l. Solve 2*n - 2*r + 7*r + 4 = 0, 0 = -j*r - 4 for n.
3
Let u(f) = f**3 - f**2 - 4*f + 3. Let i be u(0). Solve i*z = 2*d + 11, -2*z = d - 3*z + 5 for d.
-4
Suppose x - 7 + 3 = 0. Suppose 2*n - 7 = x*u - 27, -5*n + 5*u = 40. Let p be 17/5 - n/10. Solve 2*q = -r - 8, -6*r + q - 6 = -p*r for r.
-4
Let c(k) = -k**2 + 11*k - 12. Let j(o) = 6*o**2 - 54*o + 60. Let r(z) = 11*c(z) + 2*j(z). Let a be r(-14). Solve 2*y = -2*h - a - 0, -4*y + h = 4 for y.
-1
Suppose 18 = c + 3*k, 6*k - 26 = -2*c + 2*k. Suppose 9 = 3*z + c. Solve -2 = 2*u - z*s, -6*u + u - 5*s = -35 for u.
3
Suppose 7*x + 326 + 101 = 0. Let q = 63 + x. Solve 0 = -4*f - u + 17, -6 - q = 4*f - 4*u for f.
3
Let x(m) = m**3 + 4*m**2 + 3*m + 6. Let n be x(-3). Suppose -30*i = -27*i - n. Solve -4*b = 4, -i*q - b - 1 = q for q.
0
Suppose -8 = -5*r + 2. Suppose -88*t + 163 = -13. Solve -t*d = 4*s + 2, 2 = -r*d + 2*s + s for d.
-1
Let n be (-14)/(-28) - (-22)/4. Suppose -9*q = -n*q. Solve -h - 7 = s, q = 2*s + h + 3*h + 22 for s.
-3
Let f be 30/(-9 + 4)*-10. Let g be (f/42)/(2/28). Solve 5*b - 30 = z, 5*z - b + 2*b + g = 0 for z.
-5
Suppose -68*m + 62*m = -12. Solve -4*g + 3*d - 8 = -d, -m*g + d = 7 for g.
-5
Let x = -12 + 15. Suppose -9 = -x*l - 3. Suppose l*m - 40 = -2*m + 4*w, 4*m - 28 = w. Solve -3*k + 2*n + m = -n, 0 = 2*k + 2*n + 16 for k.
-3
Let u be -5 + -9 + 4 + 13. Solve -6 = j - u*d + 3, -1 = 3*j + 4*d for j.
-3
Let k be 0 - (-18)/4 - 3/2. Solve -k*i - 2*c = -11 - 2, -2*i - 4*c + 14 = 0 for i.
3
Suppose -2*z = -6*z + 88. Let n(o) = -7*o**2 + o. Let i be n(1). Let p = z - i. Solve 5*g - 10 = 0, 7*y - p = 2*y - 4*g for y.
4
Let v = 323 + -322. Solve 3*t = 2*c - 9, -2*c + 2 = 5*t + v for c.
3
Let u be 144/(-72) + 1*4. Solve -u*i = -f, 0 = 2*i + 5*f - 12 for i.
1
Let t = 10 + -4. Suppose 3*n - 4*d - 117 = 0, 4*n - t*n + 58 = 4*d. Suppose 31*i = 35*i - 16. Solve i*l = -5*k, 2*l + l - n = 5*k for l.
5
Let m be (-2)/(-8) - 95/(-4). Suppose 5*c = 3*c - m. Let l = c - -16. Solve 26 = -3*k - l*w, -3*k + 2*w + 14 = -2*w for k.
-2
Suppose 9*u = -0*u - 630. Let o be (-20)/u - 68/(-7). Suppose -1 = x - 5. Solve 6*d - d = 5*n + o, -x*n - 2*d + 4 = 0 for n.
0
Let k = -383 - -385. Solve g - 3 = 5*f, 2*f - 4 = 5*g - k*g for g.
-2
Suppose 0 = b + 3*x - 8, -7*x - 8 = -5*b - 6*x. Suppose 0 = 5*n + 8 + 17. Let s be (-38)/n - (-4)/10. Solve 3*i - 2*u - 9 = 0, -5*u - s = -b*i + 9 for i.
1
Let l(x) = 8 - 10*x + 3 - 3*x + 3 + x**2. Let d be l(12). Solve -7 = -j - d*b - 4, -5*j - 4*b + 21 = 0 for j.
5
Let s = -26 - -38. Suppose -s = p - 35. Let v = p - 19. Solve h + v*b - 8*b + 19 = 0, 15 = -h + 3*b for h.
-3
Suppose 0 = 5*j + 2*n - 15, n - 1 = -6. Solve 3*k - 14 = -5*a + j*k, 0 = -4*a + k + 13 for a.
4
Suppose 0 = -140*x + 125*x. Solve 3*k + 3*a + 3 = x, 2*k - 2*a + 3*a = -6 for k.
-5
Let f = 3 - 1. Suppose 5*d - 2*k - 274 = 0, d - 58 = -2*k + 4*k. Suppose -6 = -56*t + d*t. Solve x + 8 = -t*w - 3*x, -f*w - 5*x = 10 for w.
0
Let k(f) = 4*f**3 - 20*f**2 + 18*f - 4. Let r be k(4). Solve 20 = -5*a, -r*a = 3*w - 9*a - 14 for w.
-2
Let i(k) = k**3 + 16*k**2 - 21*k - 66. Let j be i(-17). Solve 0 = -4*p - j*a - 4, 7 = 5*p - a + 19 for p.
-2
Let a be 1*(-1)/(-1) + 12 + -11. Solve -4*z + 8 = 0, s - 3*z + a = 2*s for s.
-4
Suppose 2*p = -5*n + 26, -4*n + 5*p + 9 - 8 = 0. Solve -2*t = -4*f + 8, -5*f + 10 = n*t - t for t.
0
Let t(f) = 11*f - 8. Let s be t(3). Suppose 36 = 3*b - 0*b. Let h = s + b. Solve h = -3*y - 5*i, 2*i + i = 4*y + 1 for y.
-4
Suppose 220 = 8*h + 60. Suppose -h = -5*p - 0*p. Solve 2*z + 0*d = -d - p, 2*d = 4*z + 24 for z.
-4
Let i = 47 - 33. Solve 4*m - 2*f - i = 0, 7 = -m - 3*f - 0 for m.
2
Let q(b) = 2*b**3 - 3*b**2 + 13*b - 26. Let c be q(2). Solve 5*j + 3*d + 19 = -0*d, 3*j = c*d + 6 for j.
-2
Let t(p) = 11*p - 93. Let h be t(9). Let s be ((-9)/(-2) + -2)*12. Let d be -2 - h/(s/(-35)). Solve d*z = -2*a + 17, 4*z - 25 = -z for a.
-4
Let l(h) = -h**2 - h + 5. Let r be 1/((-1)/9*3). Let m be l(r). Let f(s) = -13*s**3 - s**2 + 1. Let b be f(m). Solve -3*d - k - 4*k = b, 3*d - 2 = -2*k for d.
4
Let d = 24 - 8. Let i be (d/6)/(4/6). Solve -v = -4*j - 15, -i = 4*j + 3*v - 1 for j.
-3
Let d = -866 - -869. Solve -2*n - 6 = -4*n, -18 = d*i - 3*n for i.
-3
Let g be (27 - 30/5) + -5. Solve -w = -4*f - 3*w - 14, -5*f - g = w for f.
-3
Let v = -16 + 2. Let f = -11 - v. Solve 0 = -5*z - 3*p - 8, -4*z + z = -f*p for z.
-1
Let i = 358 + -351. Solve -i*p - 12 = -3*p + 5*r, -5*r = 3*p + 9 for p.
-3
Let q = 11 + -7. Solve r = -q*z + 8, -3*r - 5*z = -0 - 3 for r.
-4
Suppose 0 = 3*b - 2*a - 12 + 31, -a = 2*b + 15. Let i be (-32)/112 - 23/b. Suppose c + i*c - 16 = 0. Solve l - 2*m + 10 = 0, 5*l - 5*m + 39 = c for l.
-4
Suppose -4*g + n + 140 = 5*n, -5*n + 10 = 0. Suppose 5*x - g - 7 = 0. Let s(y) = 6*y - 2. Let m be s(5). Solve -2*c + 0 = -5*i - m, 0 = -2*c - 4*i - x for c.
4
Suppose 0 = -5*b - 5*d + 5, -7*b + 5*d + 11 = -4*b. Solve -5*j + 1 = b*u, -3*j + u = -6*j + 1 for j.
1
Suppose 38*y - 8 = 43*y - 2*d, -3*y + 8 = 2*d. Solve y = -2*z + 2*c, 2*z = -3*c - 2*c for z.
0
Let u be (50/4)/((-1)/(-2)). Suppose 3*a - u = 26. Solve -4*q + y + a = -q, -20 = 4*y for q.
4
Let v be ((-2)/(-3) - -1)/((-9)/(-27)). Solve 3*o + 20 = -2*o + v*x, 0 = 4*o + 2*x - 14 for o.
1
Suppose -y - 3 = 3*c, -3 = c - 3*c + y. Suppose 5*u - 34 = -c*f + 3*f, f - 7 = -2*u. Solve u*w + 15 = -10, 25 = 4*v - w for v.
5
Let i(b) = -b**2 - 10*b - 5. Let s be i(-7). Suppose -2*m + s = -6*m, 5*u + m = 6. Solve -u*k = z - 5, 7*z = -k + 4*z for k.
3
Let z = 135 + -135. Solve -2*v - v - 3*n = z, -5*v + 3*n - 8 = 0 for v.
-1
Let p be (-8)/(-2) + 0*(-2)/16. Suppose -p*f + 46 = 2*k, f - 2*k = -f + 20. Solve 5*r - 3*x + f = x, -4*x = 4*r - 20 for r.
1
Suppose -5 = -4*l - b, 4*b + 19 = 5*l + b. Solve -3 = x - 3*t + 6, 2*x - l*t + 6 = 0 for x.
0
Let y = -111 - -114. Let p(c) = c**3 - 9*c**2 + 9*c - 5. Let x be p(8). Solve 5*u + 5 = -x*k + 3*u, -k - 4 = y*u for k.
-1
Let x = 6 + 11. Let v(j) = 2*j - 31. Let k be v(x). Solve 2*o - 2 = -5*g, -k*o - 18 = -0*o - 3*g for o.
-4
Let c = -285 + 285. Solve 3*j - 2*p - 6 = c, j + 3*j = 5*p + 15 for j.
0
Suppose 5*t + 35 - 65 = -3*n, t - n + 2 = 0. Solve -3*c - 18 = -t*s, 4*s + 0*s = -2*c + 12 for s.
4
Suppose -18 = -4*w - 2*r, 6*r + 17 = 3*w + 11*r. Let g(c) = -c**2 + c + 2. Let q be g(2). Let y be q/2*1*-1. Solve -2*b - 14 = -w*x, -2*b = -y*b - 6 for x.
5
Let t(d) = -3*d - 4. Let f be t(-5). Suppose 2*h + 16 = 4*q, 4*h - 3 = -4*q - f. Solve -3*l - q*l = 5*b + 25, -b = 4*l + 11 for l.
-2
Suppose -4*o = w - 14, 3*o - 13 = -w - 3. Solve -j - j + 4*q = 26, -2*q = o*j + 12 for j.
-5
Let m = 13 + -11. Suppose -m*i - 3 = -i, 3*w + i = -21. Let b = 11 + w. Solve 0 = c + b*g + 20, -3*c + 4*g + 6 + 10 = 0 for c.
0
Suppose j - c = -2*j + 73, -104 = -4*j - 2*c. Solve -4*a - 23 = -2*m + a, 3*a = 4*m - j for m.
4
Let y = 393 - 389. Solve -f - 2*f + n - 12 = 0, y*n = 0 for f.
-4
Let s = 5 + 19. Let y(d) = d - 12. Let j be y(15). Solve -z = j*o + 4, 4*z - 8 + s = o for z.
-4
Suppose 31 = 5*w + 4*s - 19, -5*s + 13 = -2*w. Solve 2 = -2*a + 4*l, -w*a + 3*l = -4*a for a.
3
Suppose n - 14 = 7. Suppose -2*q + 7*b = 8*b - 19,