-3*x for x.
-4
Let h be (-2 - 10/7)*-14. Let t = -44 + h. Solve s = t*v + 21, 2*v = -3*s + 6*s - 13 for v.
-5
Suppose 3*k - 3*h = 12, -2*k - 5*h + 5 = -4*h. Suppose 2*d - 95 = -k*d. Solve -2*x - 4*y = -7*x + 21, 4*x - d = y for x.
5
Let k be (-1)/((-2)/8*(-60)/(-165)). Solve -w = 4*t + 7, -2*t + 0*w - k = 3*w for t.
-1
Suppose -5*p = 2*a - 13, -3*a - 15 = -5*p + 3. Suppose 5*b - 16 - 4 = 0, 3*b + p = 5*l. Let z be (14/2)/(l/3). Solve -13 = d - 2*h, 2*h + z + 5 = -4*d for d.
-5
Let g(c) = -27 + 13 + c + 23 + 0*c. Let u be g(-4). Solve -25 = -u*f, 4*m = 4*f - 15 + 3 for m.
2
Let q = -3 - -7. Suppose 2*i + 4 = 5*h, -5*i = 3*h - 18 - 3. Solve q*y + 5*l - 16 = i, 2*l = -3*y + 9 for y.
1
Let v(f) = -6 + 6 - f - 8. Let i be v(-5). Let x be 9 - (-8)/(1 + i). Solve -2*g = 4*q + 16, -q - 5 = -2*q - x*g for q.
-5
Let j(h) = -h**3 + 6*h**2 - 3*h - 7. Let x be j(5). Let b = -66 - -32. Let w = 37 + b. Solve 2*k - 2*p = -w*p, -k = -p - x for k.
1
Let p(a) = -8*a - 133 - a**2 - 7*a + 88. Let n be p(-5). Solve -5*k = 2*q - 7*q, 16 = q - n*k for q.
-4
Let v(h) = 6*h - 22. Let y be v(6). Solve 4*o - y = -i + 4*i, 3*i = -4*o + 26 for i.
2
Let s be -1 - ((-1)/(-6) + 1221/(-198)). Solve y = -4*j + 19, 15 - s = 2*y + j for y.
3
Let q = -20 + 25. Suppose q*m - 9*m = 0. Solve -z = 3*g - 11, m = z - g - 2*g + 19 for z.
-4
Suppose 3*x - 7*x = -12. Let f be (-7)/3 + 3 + 110/6. Suppose 0 = -w + 3*w + 5*s - 16, -3*w - 5*s + f = 0. Solve x*p + 6 + 18 = 3*l, -5*p = -w*l + 32 for l.
4
Let o(r) = r**3 + 4*r**2 - 6*r + 5. Let y be o(-5). Solve 4*d - y = -z, -4*d - 1 = -13 for z.
-2
Suppose -4*p - 17 = k, 4*k - 3*p - 1 = 26. Suppose 27 = -2*c + k*z, c - 2*c - 11 = -2*z. Let v = -13 - c. Solve -v = -3*a + d, -2*a - 5*d - 6 = -0 for a.
2
Suppose 0*m = -d - 4*m + 10, 2*m = -4. Suppose 12*y = 15*y - d. Let k be 6/(-4)*(-32)/y. Solve 2*t = -2*n + k, n - 3*n - 7 = -3*t for n.
1
Suppose 9 = v + 5. Suppose -10 = -3*y - v*d, -4*y - 3*d + 5*d + 6 = 0. Solve y*f = 3*z + f - 7, 4*f + 4 = 4*z for z.
3
Let z(b) = 8*b - 19. Let x be z(3). Solve -5 = -5*v, p - 3 = -p - x*v for p.
-1
Let d = -1 + 6. Let z be d/20 + (-45)/(-12). Let y(r) = 20*r + 1. Let o be y(1). Solve -z*t - o = -f, 2*f + 13 = -2*t - t for t.
-5
Suppose -36*j = -37*j - 4, -5*u + 4*j = -31. Solve -u = 2*d - d + 3*n, 6 = -2*d - n for d.
-3
Let t(g) = -4*g - 4. Let l be t(-4). Let x be (-13 + 120/8)*15/6. Solve -w + x*q + 11 + l = 0, -4*w + q = 3 for w.
-2
Let z = -473 - -473. Solve -5*u + 8 + 20 = -4*p, z = -p - u + 2 for p.
-2
Let b(f) = f**3 - 13*f**2 + 11*f + 12. Let y be b(12). Let z be y + 12/3 - 4. Solve z = 4*v - 5*c - 28, -2*v - 16 = 3*c + 2*c for v.
2
Suppose 316*r - 313*r - 12 = 0. Solve 2*w + 0*p + 3*p + 20 = 0, -3*w = -2*p + r for w.
-4
Suppose p - 3*g - 23 = 0, 4*g - 58 = -2*p - 3*p. Let n be p/77 + (-20)/(-11). Let f be 2 + -1 - 2*-7. Solve -2*u + 8 = -2*s, -n*u = 4*s - 7*u + f for s.
-5
Let k = 20 - 16. Let j be (16/(-6))/(k/(-6)). Solve 4*m + 8 = 2*f + 2*m, j = 4*f - m for f.
0
Suppose -3*h = 2*b - 8, -5*h - b + 0*b + 18 = 0. Solve -5*x - h = -3*s, 2*s - 5*x = 5*s + 16 for s.
-2
Let k(z) = -2*z**2 + 11*z + 35. Let s be k(7). Solve -a = -5*y - 4, a - 12*y + 3 = -s*y for a.
-1
Let v be 4 - -3 - (-2)/2. Let t = v - 5. Suppose t*a = 4*o - 106, 2*o + 0*a = -4*a + 42. Solve -3*h + p = 20, 4*h = h + 2*p - o for h.
-5
Suppose 12*p = 13*p. Let m be 23 - ((-2 - -2) + p). Let c = m - 21. Solve 0 = c*i - 10, i = -x - x - 3 for x.
-4
Suppose -5*m - 2*n = 2, m + 5*n = -3*m + 12. Let b be -4 - 18/(-4 - m). Solve 3*y + 16 = -2*p, 3*p - 2*p + b = 0 for y.
-2
Suppose 0 = 4*j + 26 - 50. Solve 0 = 2*c - 2*k + 8, 5*c + 2*k = j*k - 19 for c.
-3
Suppose 4*o + 22 = 34. Suppose -c = -d + o*c - 12, -4*d + 4 = -3*c. Solve 3*z - d*a - 13 = 0, 0 = -0*z - 4*z - 3*a + 9 for z.
3
Suppose 0 = -23*a + 4*a - 1976. Let w = 111 + a. Solve -5*z + w*y - 4*y + 19 = 0, 0 = -4*y - 12 for z.
2
Let g = -20 + 26. Suppose -z = -2*q + 16 + 4, -2*q + g = 0. Let i = z - -14. Solve i = 3*t + 2*t - 2*a - 25, -25 = -5*t + 5*a for t.
5
Let b(v) = -v**3 - 3*v**2 - 9*v + 2. Let p be b(-4). Let g = -50 + p. Solve -12 = -3*m, 5*m - 28 = 2*a - g*a for a.
4
Suppose -4*j - 4 = 0, p + 3*j = j + 7. Suppose 2*q - q = p. Let a = -7 + q. Solve 5*w - a*z - 11 = 0, 4*z = -w - 0*w + 11 for w.
3
Let m = 18 - 18. Suppose m = 4*w - 0 - 20. Suppose b + 2 = 3*t, 3*t - 15 + 5 = w*b. Solve -1 = -k, t = 6*r - r + k - 26 for r.
5
Let a(n) = -n**3 + 7*n**2 + n - 8. Let s be a(6). Let l = s - 29. Suppose p = -c + 27, -1 = -p - l*c + 46. Solve -5*h - p = j - 4*j, 24 = j - 5*h for j.
-1
Let o = -41 + 44. Suppose 2*l + b = 0, 3*l = -2*l - o*b - 2. Solve 0 = 3*a + l*g + 8, -4*g - 11 - 3 = 5*a for a.
-2
Suppose 0 = -7*a + 92 - 8. Suppose -2*m = 2*f + 2*f - a, 4*m - 49 = -3*f. Solve r = c + 2, 2*r + 3*c - 8*c = m for r.
-2
Let a be 4/(-6) - (-176)/48. Suppose 0 = 5*u - 0*u + 2*m - 71, a*u = 3*m + 30. Suppose -14 = -p - u. Solve -d - 4*n = p - 25, 0 = 2*d - 2*n + 2 for d.
4
Suppose -q - 18 = 5*g, 0*q + 4*g + 10 = -3*q. Let b(s) = -3*s - s**q + 7 - 2*s + 0*s**2 - 5*s. Let c be b(-9). Solve 4*n = k + 15, 0 = -3*k + c - 1 for n.
5
Let r(q) = q**2 + 12*q + 4. Let w be r(-15). Suppose -3*h - 4*j + 77 = j, 2*h + j = w. Let b = h - 13. Solve -z + 3 = -3*k, -3*z + b = -4*k - 4*z for k.
-2
Suppose -4*k - 4*h = -12, -6*k + 18 = -7*h + 2*h. Solve 10 = 3*l + x, -3*x + 1 + 5 = -k*l for l.
2
Let i = -353 - -393. Solve 0 = -5*t - 2*s - s - i, -30 = 4*t + 2*s for t.
-5
Let o = 10 + -9. Let v(g) = 4*g**2 - 3*g + 3. Let z be v(o). Solve -z*i + 6 = 2*h, -2*h - 2*h - i = 2 for h.
-1
Let k be (9/(-6))/(63/(-84)). Solve -u - 5*q = -25, -k*q - q + 7 = -u for u.
5
Suppose -6*m + 415 = 391. Solve 10 = 5*w, m*y - 8*y - 5*w + 2 = 0 for y.
-2
Let x = -820 + 841. Solve 2*d - 19 = -3*q, q + 2*q + 3*d - x = 0 for q.
5
Let b = 18 - 16. Suppose -5*u + 2*m - 2 = -0*u, 2*m - 2 = 2*u. Let r = -25 + 28. Solve b*p + r*t = 4, u*p - 9 = -3*p - 3*t for p.
5
Let y be ((-2)/(-3))/((-8)/(-60)). Let j be ((-4)/y)/(4/(-10)). Let t(w) = 4*w + 80. Let z be t(-19). Solve -4*i - 16 = -j*o, -z*o + 3 = 5*i + 23 for i.
-4
Let y be (4 + -15 - -25)/(-1 - -2). Solve 3*t - 4*i = y, -3*t - 3*i + 7 - 28 = 0 for t.
-2
Suppose 2*k - 14 = -4*f, -4*k - 3*f = -6*f - 50. Solve 6*n = 7*n - 2*u - k, 4*u = -12 for n.
5
Suppose -3*c = -2*m + 3, -m + 0*c - 1 = -c. Let k = 11 + m. Suppose -k*x = -2*u - 10, 1 + 7 = -2*u + 4*x. Solve u = 3*i - 4*s + 1, -i = 2*i + 3*s - 6 for i.
1
Let v be (32/6 + -4)*3. Suppose r = 5*s + 5 + 9, -35 = -v*r - s. Solve 0 = -4*w + r*w - 4*a - 10, 5*w = 5*a + 10 for w.
2
Let n(z) = z**3 + 5*z**2 - z + 1. Let x be n(-5). Suppose l = -x*l + 14. Solve -13 = l*f - 6*f + 5*h, 0 = 4*f + 4*h - 4 for f.
2
Let c = -99 + 95. Let z(d) = d + 7. Let l be z(c). Solve 0 = 2*u - 4*b + 16, 3*u - 9 = 6*u - l*b for u.
2
Suppose 2*x - 16 = -2*x. Suppose 3*h + 5*i = -23, -9 = -2*h + 2*i + 13. Suppose -2*r + 30 = r. Solve -r + h = -2*a, 2*a + x = -5*f for f.
-2
Let c be 125/(-375) + 152/6. Solve -4*k = h + 5, -k = -5*h + 2*k - c for h.
-5
Let k(l) = l**3 + 6*l**2 + 5*l + 2. Let u be k(-5). Solve 4*y = 5*x - 1 + 4, 0 = -u*y + 3*x + 1 for y.
2
Let x = -18 - -33. Suppose 4*p - x = f + 4*f, -p = -3*f - 2. Suppose -p*d + 28 = 13. Solve t - 2*o = -3, t + 0*o + d*o = -3 for t.
-3
Let y = -256 - -264. Solve 0 = -l + 4, 3*d + y = d + 2*l for d.
0
Let y be (-2)/(-8) + (-99)/(-36). Suppose -24 = -5*t + 3*b, -t = -5*t - 3*b + y. Solve 3*x - 6*x - 3 = t*f, 4*x - 20 = 2*f for f.
-4
Let a = 324 + -321. Solve a*x + 2*u - 12 = 0, 4 = 3*x - 2*u - 8 for x.
4
Suppose 17 = -0*q + q. Suppose -z - 14 + q = 0. Solve z*n - 27 = -5*p, 9 = 4*n - 2*p - 1 for n.
4
Let b = 4 + -1. Let z(f) = f**3 + 17*f**2 + 4. Let q be z(-17). Suppose q*n + 6*y - 15 = 3*y, -8 = -3*n + y. Solve 8 - 1 = 4*v - 5*t, 0 = n*t - b for v.
3
Let r be 6/(-4)*40/(-15). Suppose -5*g = -3*i - 28, 3*i - 4*g = -2*i - 51. Let v = r - i. Solve -5*t = -5*o - 10 - 5, -v = o - 4*t for o.
1
Suppose 10*m - 30 = 50. Solve -3*p - p = m, -3*p = -5*u + 6 for u.
0
Suppose -i + 2*f = 8 + 2, -f + 7 = -i. Let j be ((-5)/2)/(2/i). Solve -j*o = -3*x, o + 4*x - x = 18 for o.
3
Let o(a) = 2*a**3 - 15*a**2 - 6*a - 12. Let x be o(8). Let u be (-2)/x - (-238)/68. Solve 3*j = -3*b - 3, 10 = -u*j + 3*b + 31 for j.
3
Let q(s) = 4*s**3 - 3*s**