*x - 2*x - 2*t = 6, x = -5*t + 8 for x.
-2
Let p be -4*(3 + 3 + -7). Solve -x = 3*a + 2, 3*a = -p*x - 3 + 4 for a.
-1
Let q(h) = -h**2 + 8*h - 8. Let n be q(8). Let l(t) = t**3 + 9*t**2 + 5*t + 11. Let a be l(n). Suppose 11*v - a = 4*v. Solve v*y + 5*w = y, -w - 11 = 3*y for y.
-5
Suppose -s - b = b - 31, 0 = 2*b. Let y = s + -29. Suppose 2*c - 5 = r + 3, -y*c + 18 = 4*r. Solve 2*z - 6*z = 4*t, 0 = -t + r for z.
-2
Suppose -58 = -2*l - 2*j, 3*j + 365 = 374. Solve 2*w + 5*u = u + 6, 2*w + l = 4*u for w.
-5
Let z = 9 - 9. Let y(x) = 2*x + 17. Let r be y(z). Solve m = 5, -4*k - 5*m + 4 + r = 0 for k.
-1
Let a(g) = -g**3 + 17*g**2 + 39. Let d be a(17). Let v = -37 + d. Solve f + 6 = -5*r, -v*f + 15 + 3 = -5*r for r.
-2
Let q = -311 - -315. Solve -4*k - k = q*r - 41, 4*k - 20 = 0 for r.
4
Let y(t) = t**3 - 11*t**2 - 10*t - 15. Let g be y(12). Let d be (3/6)/(85/20 + -4). Suppose -s - 3 = -2*s. Solve g = -2*z - s*c, -d*z + c - 2*c = 7 for z.
-3
Suppose -d + 4*d = -12. Let a be 3/12 - (-1)/d. Let c = a + 2. Solve 5*p + 6 = c*m - 2, -2*m + 4 = -3*p for p.
-2
Suppose -3*t + 37 - 31 = 0. Solve -t*y - 1 = -x, 5*y - 15 = -4*x + 3*x for y.
2
Suppose -3*b + 17 = z, -z + 8 = 3*z. Suppose 2*q = -5*w - 5, w + b*q - 2*q = 12. Let a be 26/w*(-21)/14. Solve -4*o + 3*u - a = 0, 6 = 2*u - 0*u for o.
-1
Suppose -48 = 38*r - 44*r. Solve -l - 4 = 3*z + 2, 2*z = -2*l - r for l.
-3
Suppose -5*b - 3*m = -13, 2*b - 7 = -b - m. Let d = 348 - 345. Suppose d*z = b*k - 4*k + 5, 0 = 5*z - 5*k. Solve 0 = -2*g + 2*r - 2, -z = 2*g - 4*g - r for g.
0
Let x = 213 - 209. Solve 3*s = 3*k - 27, -x*k = 2*s - s - 11 for k.
4
Let o be 352/(-56) + (-2)/(-7). Let r(i) = i**3 + 7*i**2 + 4*i - 8. Let f be r(o). Solve -4*h = 4*a + f, 2*a + 9 = 6*h - h for h.
1
Let u = -240 - -245. Solve 2*p = u*w - 6, -2 - 13 = 5*p - 5*w for p.
-3
Let q be -19*(-3)/(15/5). Suppose 8 + 5 = 3*n + 2*a, 0 = -4*n - a + q. Solve 0 = -n*r + j + 4, 0*r = 3*r + 3*j + 12 for r.
0
Suppose -93 + 51 = -7*j. Solve 0 = -z - 4*d - j, 3 = -z - z + d for z.
-2
Suppose 50 = 4*m - 2*p, 8*p - 12*p + 40 = 2*m. Solve 3*z - m = 2*c - 2, 3*c + z = 4 for c.
0
Let r(j) = 2*j - 35. Let i be r(20). Solve 0 = -i*f - 2*q + 1, -6*q - 2 = -5*q for f.
1
Let g(l) = -4*l + 11. Let f = -8 + 13. Let h be g(f). Let u = h + 13. Solve -c = -u*d - 13, 0 = -0*d - 3*d - 6 for c.
5
Let x be 0 + 0 + -2 - 18. Let q be 452/x - (-12)/20. Let w = -17 - q. Solve -2*g - w*l + 14 + 4 = 0, 28 = 5*g + 4*l for g.
4
Let r be (-30)/(-7) - (-106)/(-371). Solve y + r*y = 5*z - 30, -5*y = -2*z + 15 for z.
5
Suppose 2*p - 6 = -2. Let v be 126/4*(-2)/(-3). Suppose 3 = -2*c + 3*x, 6*x = -c + 9*x - 6. Solve 12 = -2*j + p*r, 5*j = c*r - 1 - v for j.
-2
Suppose 7*o - 12 = 2. Solve 3*b - 2 = -5*v + o, -3*b + 13 = -4*v for v.
-1
Let l be -8 + (5 - (-2 + -4)). Solve -i + 0*i = -3*d - 8, 2*i = -l*d - 11 for d.
-3
Let x(n) = -n**2 - 9*n + 12. Let u be x(-9). Let w be 504/(-3726) + (-2)/(-9) - 136/(-23). Solve u = -4*k, 2*g + k + w = 3 for g.
0
Let h be 4/6 + (-5)/3. Let j be h/(-2) - (-20)/(-8). Let k be (-10*(-2)/(-2))/j. Solve -k*l - 26 = -n, -5*l - 10 = 4*n + 11 for n.
1
Let j(h) = -6*h + 42. Let r be j(7). Suppose 2*w = -w + 24. Solve -2*n - 4*v - 16 = -r*n, 5*n - 2*v = w for n.
0
Let m(t) = 33*t**2 + 3*t + 2. Let k be m(-1). Solve -2*v = -3*i + v - 24, -k = 5*i - 3*v for i.
-4
Let r(m) = m**2 + 2*m - 3. Let p be r(-5). Let l be (-376)/(-7) - p/(-42). Let s = 82 - l. Solve -5*w + s = 3*o, 2*o - 6 = -w + o for w.
5
Let l(t) = -2*t**2 - 13*t - 12. Let f be l(-5). Solve f*g - 3*x + 18 = 0, 3*g + g = 5*x - 25 for g.
-5
Suppose 32 = -6*k + 10*k + 12*k. Let a be 3/6 + 31/(-2). Let m be (5 - 0)*(-6)/a. Solve -2*h - 26 = m*h + 2*v, k*h + 5*v + 33 = 0 for h.
-4
Suppose 9*o - 75 = -6*o. Solve o*h - 5 = -5*z, 4*z - 7 = h + 7 for h.
-2
Let m be ((-320)/(-48))/(2/24). Suppose 9*s = 13*s - m. Solve -3*l - 3*n = 2*n - s, l + 3*n = 8 for l.
5
Let z be 1*((5 - 15/5) + 3). Solve 0 = -m - d + 6, -5*m + 10*d - 20 = z*d for m.
1
Let g be (-8)/10*155/(-62). Solve g*f = -5*q + 4*f, -2*f = -3*q for q.
0
Let d = -82 - -129. Let j = -45 + d. Solve 0 = -j*w - 2*w + c, 0 = -c - 4 for w.
-1
Let u be 2/(-3) + 78/9. Suppose 4*f = u*f - 3*p - 27, -5*f + 4*p = -35. Suppose 1 = 4*w - f*w. Solve 4 = 4*x, -3*h + 3*x - 2 = w for h.
0
Suppose a - 18 = -j - 3*j, -3*a - 1 = j. Solve 3*w - j*s + 3*s + 3 = 0, w - 3*s - 6 = 0 for w.
-3
Suppose 0 = -4*f + 8 + 4. Let n = -480 + 480. Solve 2*j + 2*i - f - 3 = 0, n = -j + 5*i + 15 for j.
5
Let k(j) = -j**2 + 20*j + 54. Let o be k(22). Solve 2*x - o = -5*v, 0 - 8 = -4*v + 2*x for v.
2
Suppose -3*z + 6 = -3. Let r(m) = -4 + 0*m**3 + 4*m**2 + 2 - 1 - m**z. Let x be r(3). Solve -5*v = -2*j + x, 4*v + 9 = -0*j + 3*j for j.
3
Suppose -4*r - 10 = -9*r + 5*t, r - 2*t = 0. Suppose -42*m + m = -574. Solve -17 = -3*h - 2*h - r*a, 5*h = -3*a + m for h.
1
Let p = 20 - 16. Suppose 5*t + 8 = 4*t - 2*w, -p*w - 26 = -3*t. Let b be t + 9/3*1. Solve -4*h - 4*o + 1 = -15, -b*o + 20 = 4*h for h.
0
Suppose -3*z = 2*z. Suppose z*v - 2*v + 4*u + 22 = 0, u = 4*v - 9. Solve 2*i - i + 5 = 2*c, -i - 2*c - v = 0 for i.
-3
Let w = -102 - -29. Let o(k) = -k**3 + 5*k**2 + 26*k - 15. Let h be o(6). Let t = w + h. Solve -4*d + 7*d - 24 = 3*j, 3*j - 5*d = -t for j.
-4
Let a(b) = 27*b - 140. Let v be a(5). Suppose -4*t + 15 = 5*x, -3 = x - t + 3. Let l be (x + v + -2)/(-2). Solve 3*j + j = -l*g - 24, -12 = 4*j - 2*g for j.
-4
Suppose -4 = -l + 29. Let m = 8 - l. Let k be (m/5)/(2/(-4)). Solve 0 = 5*f + 4*s + 11, f + f = 4*s - k for f.
-3
Let t(l) = l**3 - 7*l**2 + 8*l - 7. Let x be t(6). Suppose x*n + 2 - 17 = 0. Solve 6*b = n*b + 15, 4*v + 10 = -2*b for v.
-5
Let r = -13 - -7. Let h be 1*(r + 4 - -4). Let g be 2/(-1*2) - -1. Solve h*o = -g*o - 10, 5*m = 3*o for m.
-3
Let t be 4 - (1 + 0)/(11/44). Solve 2*k - 6*k + 12 = 0, t = q + 2*k - 8 for q.
2
Let f be (7*1)/(5 - 4). Let v = -2 + f. Suppose v*q - 2 = -4*d + 36, -2*d + 22 = 3*q. Solve -2*i + 6 = 2*z, -5*z - q*i + 9 = -4*i for z.
1
Let g be (-9)/15 - 291/15. Let x = -18 - g. Solve -4*j = -5*r, x*r - 15 = j - 3*r for j.
5
Let s = -338 - -475. Let v = -134 + s. Solve -9 = 2*r - v*y + 1, 0 = 4*y - 16 for r.
1
Let l be ((-7)/(-14))/(1/4). Let b = -3 + 3. Suppose b = -5*g + 6*g. Solve f + g = -l*u - 2, f - 2 = 0 for u.
-2
Let g = -100 - -120. Let p(u) = u**3 - 4*u**2 + 2*u - 5. Let d be p(4). Let j = 0 + d. Solve -j*b = 4*m + 10 + 2, 5*b = -5*m - g for m.
0
Let k be 6*(-8)/(-48)*2. Let a = -16 - -28. Solve 5*h = -5*p + 15, -2*p - k = -2*h + a for h.
5
Suppose -5*u + 29 = 4. Suppose -2*o + u*y = -4*o - 16, 6 = 5*o + y. Let r be 3 - (0 + 2/o). Solve 2*j = 5*v + 25, -19 = -r*j - 0*j + 3*v for j.
5
Suppose 3*k - 110 = 4*q + 8*k, -3*q - 2*k - 79 = 0. Suppose 2*h + u = -2*u - 43, 19 = -h + u. Let v = h - q. Solve 0 = -v*o + a - 6, -3*a = o - a + 10 for o.
-2
Let d(s) = -16*s + 24 + 30*s - 16*s. Let f be d(7). Solve y = 3*y + f, 2*j + 15 = -3*y for j.
0
Let b be 16/(-3) - 8/12. Let i be (-5)/(((-2)/(-6))/(2/b)). Solve 4*v - 5*c = -i, -5*v - 3*c = -13 - 27 for v.
5
Let w(l) = -l**3 + l**2. Let h be w(2). Let c be 6/h*(-5 + 3). Suppose a - d = -1 - 4, 25 = -c*a + 5*d. Solve s + 3*b = -a + 12, -2*b = -10 for s.
-3
Let g = -11 + 2. Let w(t) = -t**3 - 10*t**2 - 11*t + 12. Let r be w(g). Suppose 2*y = 5*y - r. Solve -1 = -f + 3*x - 2, y = -2*f - 2*x for f.
-4
Let s be (0 - -3)*(-3 + 0 + 4). Suppose 0 = 3*g + u + 3*u - 28, -3*u = s*g - 27. Solve -4*q - 20 - g = 4*k, 3*k + 18 = -2*q for q.
-3
Let j = 17 - 8. Suppose -j*x - 4 = -5*x. Let z be 0 + 3 + (-4 - x). Solve 0 = -4*f - 4*y - 24 - 0, z = 3*y + 12 for f.
-2
Suppose 2*j = -5*n + 35, 3*n = -2*n + 4*j + 35. Let w(v) = 2*v - 10 + n + 9. Let k be w(3). Solve 5 = 2*q - 2*y - 7, -k = -4*q - 2*y for q.
4
Suppose -2*n - 108 + 110 = 0. Let a be (n - -1)*((-72)/(-6))/6. Solve -a*p = v - 25, 3*p - 63 + 23 = -5*v for v.
5
Let p(u) = 4*u**2 - 2. Let j be p(1). Let v = -2 + j. Solve 5*c + 4*z = 17, v*z - 8 = -5*c - z for c.
1
Let v = -15 - -1. Let s(w) = 14 + 4*w - w + 5*w - 7*w + 0*w. Let x be s(v). Solve 9 = -3*f, 2*j + 4*f + 2 + 0 = x for j.
5
Let u(w) = -w**3 - 11*w**2 - 10*w + 4. Let q be u(-10). Suppose 2*s + p + 4*p = -10, q*s = p + 24. Solve 2*z - 10 = m, -7 = 4*m + s*z - 32 for m.
0
Let k(w) = w**2 + 6*w + 5. Let h be k(