4*x - 5*n = 29, -2*x + 4*n = u - 27 for x.
1
Let m(o) = o**3 - 6*o**2 + 12*o - 67. Let w be m(6). Solve 2*y = -2*v - 4 - 6, 25 = -w*v for y.
0
Suppose -20 = 5*q, 3*o - q - 2 = q. Let l be (-7)/2*(o/(-2) - 9). Solve -23 = -b - 5*p, 4*b + l = -0*b + 4*p for b.
-2
Suppose -69 = -m + 4*m. Let q = m + 28. Solve 0 = q*f + 2*g + 17, 0*f + 2*f + g + 7 = 0 for f.
-3
Let q(l) = 6*l + 3. Let w be q(-1). Let b be 1*w*(-35)/15. Solve 10 = 5*v + g, 2*v - g = 4*v - b for v.
1
Let g(f) = f**2 - 14*f + 41. Let s be g(10). Solve u - 9*p + 4*p = -6, p - s = 0 for u.
-1
Let x = -22 + 35. Suppose x*q + 20 = 18*q. Solve 7*i - 12 = q*i - c, 3*i - 2*c - 3 = 0 for i.
3
Suppose -3*u - 2*d + 25 = 13, 3*u - d = 3. Solve -2*t = 3*t - u*b - 10, -5*b - 25 = 3*t for t.
0
Let a(g) = -g**2 + 8*g + 4. Suppose -5*b + 1 = -39. Let w be a(b). Solve 8 = -y - w*d, 0 = 5*y + 3*d - 0 - 11 for y.
4
Let g be ((-4)/14)/((-2)/14). Let z be ((-75)/125)/(1/15). Let m be 6/z + (-2)/(-3). Solve m = -5*p + 2*b - 8, 2*p - p = g*b for p.
-2
Suppose -2*g - s + 9 = 0, 0 = 4*g - 5*g + 4*s - 18. Solve -g*j = 2*y - 7*j + 28, -3*j + 12 = 0 for y.
-4
Suppose 3*n + l - 15 = 0, -6*l + 2*l - 12 = 0. Suppose -4*x = -2*x - n. Solve 3*v = -4*c + 7, -2*c + v = 2*c - x for c.
1
Suppose 3*a + 13 = 5*d, -5*a + 11*d - 10*d = -15. Solve 3*y - a - 9 = 2*r, -3*r - 3*y + 18 = 0 for r.
1
Let d be 6 - -3 - (-5 + 11). Solve 2*p - d*r = -8*r + 22, 2*r - 11 = -3*p for p.
1
Let j(r) = r**3 - 4*r**2 - 4*r - 2. Suppose 0 + 25 = 5*w. Let k be j(w). Solve -k*u - 4 = p + 3, 3*u = -5*p - 23 for p.
-4
Let r = 49 + -44. Solve 2*g = -0*g, 4*g + r = 5*m for m.
1
Let v be (0 + -1 - 0/(-17)) + 1. Suppose 0 = -2*f + f + 5*m + 7, -3*f + 3*m + 21 = v. Solve -5*a = 2*k + f + 3, -k = 2*a + 5 for a.
0
Suppose -55*j = -58*j + 18. Solve 3*z = -g + j, -2*z - 6 = g - 5*z for g.
0
Suppose -10*s = -6*s - a + 1, 5*s + a = 1. Solve -2*q - 3*g - 7 = s, -q - 9*g - 3 = -8*g for q.
-2
Let c(k) = k**3 - 14*k**2 + 12*k + 17. Let g be c(13). Solve g*r + 1 = -i, -4*i + 4 = 5*r - i for r.
-1
Let b be 450/55 - (-4)/(-22). Let j = b - 3. Solve j*y + 15 = 0, -5*k + y + 3 = -0*k for k.
0
Suppose -3*g - 2 = -r, -5*r + 0*r - 4*g = 85. Let z = r + 13. Solve 5*q + 4*f - 3 = z, q + 2*f = 3*f - 3 for q.
-1
Suppose -646*x + 4*z = -644*x - 18, 6 = 4*x + 2*z. Solve -5*r = -m + 2*m + 29, -4*r = x*m + 32 for r.
-5
Let z = -22 - -40. Let b be (-22)/(-6) - z/27. Solve -2*a - 5*v + 21 = a, -b*v = -4*a - 1 for a.
2
Let b(k) = -16*k - 12. Let p be b(-1). Solve -2*j = p*h - 18, -5*h + j = -5 - 0 for h.
2
Let h(q) = -2*q**2 - q + 1. Let n be h(2). Let b = n - -12. Suppose -b*l - u + 22 - 5 = 0, 5*u + 5 = 3*l. Solve l*r = 4*a + 32, 4*a - 2*r = -a - 23 for a.
-3
Let n be (1/1 - -2) + -25 + 32. Let l(g) = g**3 - 8*g**2 - 18*g - 17. Let a be l(n). Solve -3*d = -2*r + 9, -5*r + a*r - d - 11 = 0 for r.
-3
Let l(a) = 3*a - 36. Suppose 4*s - 7*s = -36. Let j be l(s). Solve j = -2*n + 3*v + 11, 2*v + 9 = 2*n + v for n.
4
Suppose -4*d + 2*j = -16, -3*d - 2*j + j + 12 = 0. Solve 2*h + d*w = -0*w + 4, 2*w + 6 = -5*h for h.
-2
Suppose -35 = -8*k + 7*k. Let j = k + -31. Solve j*i = -4*n - 16, -2 = 5*n - 3*n - 4*i for n.
-3
Let t(d) = -d**3 + 5*d**2 + 4*d + 12. Let v be t(6). Suppose x = 3 - v. Let y be x - -1 - 8/8. Solve 0 = 4*g - 2*z - 0*z, -3*g - y*z = 18 for g.
-2
Suppose -3*c = -8*c + 25. Let r(a) = -a**3 + 2*a**2 + 3. Let n be r(2). Solve -2*z - n*g + 0 = 1, -5*z + c*g + 10 = 0 for z.
1
Let x = 29 - 21. Solve -2*d + 2*r + 6 = 0, -3*d + r + x - 1 = 0 for d.
2
Let u(w) = -10*w - 3*w**2 + 2*w**2 - 5 + 3*w. Let t be u(-5). Solve -5 = -3*h - t*n, -4*n + 8 - 4 = 4*h for h.
0
Let h = 78 + -108. Let r be 235/75 - (-4)/h. Solve 9 = -l - r*z, 0*z - 2*z - 6 = -3*l for l.
0
Let n be (-627)/121*-1 + 4/(-22). Solve -n*i + 2*c - 4 = 0, 4*c + 0 = 3*i - 6 for i.
-2
Suppose 3*r - 2*k = 98, -3*r - 3*k + 23 + 70 = 0. Solve -5*z + y = 19 + 5, -4*z = -4*y + r for z.
-4
Let r = -4 - -2. Let w be (r/(-4))/(11/440). Let g = w + -15. Solve 2*u - 4*i = 5*u - 17, -g*u - 10 = -i for u.
-1
Let v be ((-144)/6)/(-3) + (-6)/2. Solve -v*c + 13 = -m, -4*c + 3*m = -7 + 1 for c.
3
Let q = -36 - -40. Suppose -5*u = 5*b, -b = u + u - q. Solve -2*k + 3*p - 6 = 0, k + 2*k - 8 = -u*p for k.
0
Suppose -5*c + 73 = 4*z, -6*c + 3*c = -4*z - 31. Solve d + 4*m - 4 = 7*m, 0 = -2*d - m - c for d.
-5
Let w(d) = -4*d**2 + 11*d + 83. Let m be w(6). Let i(k) = k**3 + 4*k**2 + k - 2. Let v be i(-2). Solve -4*t + y = -3*y - v, -23 = -m*t - 4*y for t.
3
Suppose -2*i + 4*l + 7 + 7 = 0, -2*i - 2*l + 2 = 0. Solve -5*t - i*u + 0 = 19, u + 3 = -t for t.
-5
Let l(r) = -r + 21. Let m be l(17). Suppose 2*n + 15 = -h - 4*h, -4*n - m*h - 12 = 0. Solve -3*j - 8 - 4 = -a, n = -j - 3 for a.
3
Let u(w) = 6*w**2 - 4*w + 2. Let f be u(1). Suppose 8*j - f*j = 32. Solve 5*n + 2*i = -16, -3*n + 4*i + 22 = -j*n for n.
-2
Suppose 3*v = 4*o - 17, -3*o - 16 = o. Let r be (v + (-2 - -3))/(-2). Suppose m - w = 2 - 0, -w = -r*m + 10. Solve l = -m*j - 0*j - 9, 3*l = 3 for j.
-5
Let s = 74 + -69. Solve 0 = -s*z - 2*k - 13, -4*z + z = 5*k + 4 for z.
-3
Let q be 9 - ((-6)/9)/(4/(-18)). Let p be 0 + (0 - (-4)/(-2)). Let v = p + q. Solve -3*r - v*g - 25 = 2*r, -5*r + g = 0 for r.
-1
Let o be ((-39)/(-9) + -4)/((-1)/3). Let f be 0/(-2 - 3/o). Solve 4*q + 3*y + f = -5, -5*y = -5*q + 20 for q.
1
Suppose 0 = -5*q + 8 + 2. Let p be 438/14 - q/7. Solve -p = -5*u - o - 10, u - o - 3 = 0 for u.
4
Suppose 0 = -2*s + 3*r + 103, -2*s = 3*r - 31 - 90. Let q be 104/14 + 4/(s/(-6)). Solve -2 = -3*h + 2*g, q - 2 = g for h.
4
Let c be 311/(-6) - (-4)/(-48)*2. Let m = c - -54. Solve 3*n + 6 = -3*x - 3, 0 = m*x - 3*n + 16 for x.
-5
Suppose 0 = b + 4*b - 70. Let u = -10 + b. Solve 0 = 2*d + 5*i + 3, u*d + 2*i - 6*i = -20 for d.
-4
Let f = 67 + -44. Let h = f - 20. Solve -j + 3 = -p, 2*p - 8 = -h*j + 11 for p.
2
Suppose 2*w + 2*t - 2 = 0, 2*w - w - 3*t = -3. Solve 3*a - 5*i + 6 + 0 = w, i = 3*a - 6 for a.
3
Let h(y) = -y**3 + 6*y + 1. Let c(t) = t**3 + t**2 - 6*t. Let v(l) = 5*c(l) + 4*h(l). Let r be v(-6). Solve -b = -j + r*j + 11, b - 1 = 0 for j.
-4
Let c = -48 + 9. Let g = c + 27. Let z be ((-3)/g)/(2/16). Solve -2*q + 3*r - 14 = 3, 0 = q + z*r - 9 for q.
-1
Let d = 1 + 1. Suppose 4*z + 4 = 28. Suppose 0 = g - z + 1. Solve -d*p - g*f = -p + 9, 3*f = 5*p + 17 for p.
-4
Let k = 5 - 18. Let j(t) = t**3 + 14*t**2 + 13*t + 5. Let m be j(k). Solve 2*s - 7*s = -2*g - 17, 2*s + m*g = 30 for s.
5
Let k(t) = t**2 + 4*t + 7. Let s be k(-4). Suppose -2 + 16 = s*i. Solve i*o = 6*x - x - 19, 2*x = -3*o + 19 for x.
5
Suppose -4*t + 109 + 12 = f, -3*t + 86 = -4*f. Let j = t - 30. Suppose 0 = 5*h - h - 8. Solve -5*g - h*b + 16 + 17 = j, -3 = g - 2*b for g.
5
Let c = 844 - 840. Suppose 0 = k - 5*k + 16. Solve 13 = c*b + 5*a, -4*a + 27 = -k*b - a for b.
-3
Suppose -4*f = 0, 0*f + 3*f - 6 = -3*s. Suppose -v = -4*d - 21, -s - 4 = 2*v + 4*d. Solve 3*n = -z + 5*z - 35, 5*z - 50 = v*n for n.
-5
Let g = -458 - -460. Solve 0 = -g*s + 2*c + 14, -c + 6*c = s - 27 for s.
2
Suppose 7*n - 3*n = 0. Let y = 628 - 625. Solve -3*k - 30 = -y*b, -k + 5 = -n*k + 2*b for k.
-5
Let q(l) = -l**2 - l + 23. Let u(y) = -y - 9. Let o be u(-9). Let k be q(o). Solve -5*h - 2*t + k = 0, -3*t + 20 = 4*h - t for h.
3
Suppose -6*s + 1260 = -18*s. Let x = -101 - s. Solve k + 3 = 2*t, -k + 3*t = 2 + x for k.
3
Let t be ((-10)/10)/((-2)/(-12)). Let o be (42/(-35))/(t/20). Suppose -4*u = -o*x + u + 27, 4*u = -x - 9. Solve -y + 3 = j, -x*j + 18 = 2*j + 2*y for j.
4
Let p = 169 - 2. Suppose -170*k = -p*k - 12. Solve -2*u - 2*o - 6 = 0, -2*u - 5 = 5*o - k*o for u.
-2
Suppose -4*z - 19 = -7, 0 = 2*x + 4*z + 26. Suppose -3*s + 8*s - 75 = -5*m, 4*s = -3*m + 41. Let c = x + m. Solve 4*t - 1 = -5*q + c, -2*q = t - 7 for t.
-3
Let j = -19 - -22. Suppose 26 = -4*t + 4*l + 2, 4*l = -j*t - 32. Let y be (t/10)/((-7)/35). Solve -y*h + u + 7 = 0, 3*u = -2*h + u + 16 for h.
3
Suppose -12*m = 178 - 202. Solve 4*n = -4*v + 16, 3*v - 13 = -m*n - 0*n for v.
5
Suppose -m - 4*f - 18 = 0, -4*f + 32 = -4*m - 20. Let p = -1 - m. Let c = p - 11. Solve -2*z + 20 = c*u + 2*z, -4*u = 4*z - 28 for u.
4
Suppose 36*l = 32*l + 28. Solve -5*u - 14 = 4*s - l, -2*u = -3*s + 12 for u.
-3
Let s be (5/(70/8))/((-30)/(-105)). Let i(y) = -12*y**3 + y**2 + y + 1. Let p be i(-1). 