5*s + 7 = -3 for a.
5
Let g be (-6)/(-5)*((-231)/22 + 13). Let r(m) = -m**3 + 5*m**2 - 3*m - 1. Let q be r(3). Suppose -q = g*n - 7*n. Solve 2*s = -4*p + p - n, 5*s - p = -5 for s.
-1
Let x be (-36)/(-20)*(-5)/(-3). Solve 2*k + 4*w + 7 = 23, -x*k - 16 = -2*w for k.
-2
Let g(w) = -3 - 15 - 12*w + 3 - w**2. Let a = -584 + 574. Let x be g(a). Solve 0 = -x*c + 41 - 16, 5*r + c + 20 = 0 for r.
-5
Let s be (7/(-14))/(1/(-8)). Suppose 0 = o - s*f, 4*o - o - 11 = f. Solve o*l - 10 = 2*d, -2*d + 0*d = 2*l - 20 for l.
5
Suppose -23*q - 35 = -28*q. Suppose 0 = -q*f + f + 12. Solve 0 = -4*z + f*k + 10, 0*z + 3*z = 4*k for z.
4
Let y(n) = -n**3 + 24*n**2 - 8*n - 342. Let w be y(23). Solve 4*f = -w*p + 6 + 9, -5*f = 0 for p.
5
Suppose 2*z = -4*i + 12, 2*z = z - i + 3. Suppose 7*r - 2*r + 2*v - 84 = 0, -4*v - 72 = -5*r. Solve -k - k - 3*j + 18 = z, -4*k = j - r for k.
3
Let x(j) = -2*j + 13. Let b = -37 - -41. Let c be x(b). Let g(l) = l**2. Let y be g(4). Solve 4*f - 3*z - y = z, f - c*z = 12 for f.
2
Let y be ((-18)/4)/((-351)/156). Solve 5*o - 4*p - 4 = 4*o, p + 8 = y*o for o.
4
Let b = 68 - 55. Let f be b + 0*2*(-3)/12. Solve 0 = -3*u - 2*i + 11, -u + 0*u + f = -4*i for u.
5
Let p be (-3)/(-6) - (-3)/2. Let l be -1 + 2 - p*1. Let m be l + 4 + 1/1. Solve 0 = 2*n + 4*o - 20, -4*n + 22 = m*o + 2 for n.
0
Let n be (6 + 18/(-1))/(-3). Solve 4*k + x = -18, n*x = 3*k + 6*x + 11 for k.
-5
Let o(c) = 4*c - 67. Let g be o(18). Solve 2*t = 2*q + 3*q - 1, 5*q = -g*t + 15 for t.
2
Let n = 52 + -31. Let s = n - 31. Let y be 4/(-10) + (-224)/s. Solve h - 3*h + 5*t = -y, -5*h + 9 = -t for h.
1
Let x be 2 + -19 + 6 - -13. Solve -x*i - 2 + 0 = -3*w, 5*w - 14 = -2*i for i.
2
Suppose 4*p - 1 = 5*p. Let v be -4*((-3)/6)/p. Let g be (4 - 3)*-2 - v. Solve -3*y - 3*a = g, 0*a = -y + 3*a - 8 for y.
-2
Let l be (66/60 + (-1)/10)*2. Solve -2*w - 4*z = -l, 5*w + 0*w = 5*z - 10 for w.
-1
Suppose 2*l = -2*l - y + 3, 3*l - 9 = -3*y. Solve l = -2*p + 4*r + 2 + 8, -3*p - 5*r - 18 = 0 for p.
-1
Suppose -q - 7 = -a, -4 = -0*q + 2*q. Solve -2*p = p - 2*o - 22, 5 = -5*p - a*o for p.
4
Let a(z) = 38*z + 248. Let d be a(-6). Let x(i) = i - 7. Let o be x(10). Let b = -3 - -5. Solve -5*c = -d, o*v - b = -5*c + 6 for v.
-4
Suppose -4*w + 0 = -16. Suppose 0 = 8*l - 0*l - 48. Solve -2*p = 2*o, -w*o = l*p - p - 5 for p.
5
Suppose 0 = 5*r - 2*m - 30, 0*r - 2*m = 2*r - 12. Suppose -2*c + r*c = 8. Solve -6 = -2*i + c*o - 4*o, -2*o + 1 = i for i.
5
Let y be (16/40)/(1/10). Let r = -1 + y. Let n be (-2 - -1)/(r/(-9)). Solve 0 = 3*i + 4*z - 0 + 5, -n*i = -4*z - 11 for i.
1
Let a be 10/5 + 4*(-9)/(-12). Solve 3 - a = -o + 3*n, 0 = -2*n for o.
2
Suppose -4*j = 3*k - 9 + 4, 3*j = -5*k + 1. Solve o + 10 = h + 2*h, -j*h - 5*o - 16 = 0 for h.
2
Let d(i) = i**3 + 10*i**2 - 2*i - 18. Let u be d(-10). Solve u*m = 5*z + 8, -4*z + 0*m - 11 = 3*m for z.
-2
Suppose 9*v - 2*v - 28 = 0. Suppose 0*q = q - 7. Let f = q - 1. Solve -a - c + v = -f*a, 2*c + 1 = a for a.
-1
Suppose 7*k - 6 = 15. Let j(f) = -f - 3. Let a be j(-6). Suppose -7 + 79 = 9*p. Solve a*r + 7 = -2*b, -p = -k*r - 4*b + 5*b for r.
1
Let j = 251 + -239. Solve 0 = -0*q + q - 4*v - j, -2*q - v = -6 for q.
4
Let c(h) = -h**2 + 25*h - 79. Let b be c(4). Solve -b*v + 4*p - 6*p = 12, v = 3*p + 1 for v.
-2
Let n be (-2)/6 + (-88)/(-12) + -5. Solve -3*o - 17 = -n*p, -p + 13 = -2*o + 2 for p.
1
Let g(z) = -9*z - 58. Suppose -2*q + 105 = -17*q. Let i be g(q). Solve -4*u = -4*f + 24, 3*u = i*f - u - 27 for f.
3
Let i(u) = u**2 - u - 17. Let q be i(-5). Solve o + 4*l + q = 0, o - 26 = -o + 5*l for o.
3
Let q be 2/(-6) + (-10)/15. Let t = 1 + q. Solve -4*v = -m + 2, t*v - 2 = -4*v - m for v.
0
Let y = 93 + -119. Let q = y + 27. Solve -2*x + 0 - 8 = 2*c, -4*c - q = -x for c.
-1
Suppose 0 = 36*b - 65 - 115. Solve 0 = -2*x + 3*h + 1, -3*x + b = -2*x + 3*h for x.
2
Suppose 5*h = x - 82, 3*h = 2*x + x - 246. Let j = x - 74. Solve -2*s + 6 = y - 0*y, 0 = -2*y + s - j for y.
-2
Let y(a) = a**3 - 31*a**2 + 29*a + 33. Let h be y(30). Solve -m - 5*b + 3 = 1, 5*b - 6 = -h*m for m.
2
Let o = 7720 - 7697. Suppose 3*l = -3*k - 3, -4*k = -2*l - 4 - 10. Solve a - 16 = 5*a - k*i, -o = 3*a + 4*i for a.
-5
Let w(o) = 18*o - 517. Let u be w(29). Solve 0 = u*c + 2*t - 13, 0 = -c - 0*c - 3*t for c.
3
Let n(i) = i**2 - 13*i + 3. Let g be n(13). Solve -4*h + 4 + 3 = -3*z, 4*h - 1 = -g*z for z.
-1
Let z = 6 - 5. Let y be 3 - (0/z)/4. Suppose -m + 4*t = m + 12, -t = y*m - 10. Solve -3*u = -m*b + 9, -5*u - 5*b = 5 - 15 for u.
-1
Suppose 3*i = 4*i + 3. Let h(p) = -p**2 - 2. Let o be h(i). Let c be (o/3)/(4/(-12)). Solve -d + 2*d + c = 3*u, 4*d = 4*u - 20 for d.
-2
Let p = 78 - 84. Let g be 4/p - 418/(-114). Solve -22 = g*z - o - 4*o, -4*z + 2*o = 20 for z.
-4
Suppose 0 = -5*g + 2*z + 40 + 16, g - 18 = -3*z. Solve 4*y + 4*b - g = 0, -5*b = -2*y + 6*y - 16 for y.
-1
Let f be (-13)/104 + 7/(-8). Let v(z) = -6*z**3 - 2*z**2 - z. Let u be v(f). Solve -8*h + 3*h = -u*q - 15, -1 = -3*q + h for q.
2
Suppose -5*c - 7 = -27. Suppose -25*v = 30*v - 1100. Solve -c*z - 5*u = -z + 12, -5*z - v = -2*u for z.
-4
Let y be 12 - ((-9)/1 + 17). Solve 4 + 0 = 3*k - y*r, -3*k = -5*r - 8 for k.
-4
Let t(v) = v. Let h be t(5). Solve 3*n = -w + 1, 0 = -h*n + n for w.
1
Let s(c) = c**3 - 13*c**2 - 14*c + 3. Let q be s(14). Solve -q*d = 4*m - 11, d + d + 2*m = 4 for d.
-3
Let b(r) = -6*r**3 - 13*r**2 + r - 4. Let a(s) = -s**3 - s**2 - 1. Let v(q) = 5*a(q) - b(q). Let c be v(-8). Solve 0 = -g - 4*z - 8 - 0, 0 = 2*g - z + c for g.
-4
Let m be (0 + 0 - 1)/(7/(-336)). Suppose -m = 3*j - 5*j. Solve -3*l = -5*w + j, 0 = 3*l - 4*w + 6 + 15 for l.
-3
Suppose -y + 1 = -7. Let n(k) = -29*k - 8. Let u be n(y). Let s be u/(-25) + (-2)/(-5). Solve -2*c = -f - 0*c - s, -3*f = 3*c - 15 for f.
0
Let s(x) = -x**3 - 11*x**2 - x - 7. Let b be s(-11). Solve b*l - 5*r = 5*l - 4, -3*l + 4*r - 7 = 0 for l.
-1
Let p(k) = -3*k + 2. Suppose -4*c + 14 - 4 = -3*s, -5*s + 2*c = 26. Let q be p(s). Let b be q/50 + 16/10. Solve -2*z - 26 = 4*w, 2 = -2*w + b*z - 2 for w.
-5
Let h(z) = 5 - z + 23 + 0 - 3. Let m be h(13). Let u be 12/8*m/9. Solve 0 = -u*v + 2*i + 20, 2*v - i = 3*v for v.
5
Let d = -94 + 98. Suppose 5 = 2*l - 1. Suppose l*r = 1 + 11. Solve r*a + d*g = -12, 5*a + 20 = g - 7 for a.
-5
Let p = -98 + 101. Solve 0 = -2*t - 2*t - 4*v + 4, t - p*v - 13 = 0 for t.
4
Let k be 8/(-6)*(390/24 + -20). Suppose 0 = 2*v - 19 - 15. Solve 3*z = -2*h - 7, k*z - 3 = 3*h + v for h.
-5
Suppose -7*b + y + 28 = -3*b, 5*y = -4*b + 52. Suppose -246 + 14 = -b*j. Solve -m + d + 7 = 0, 0*m + 2*d = 5*m - j for m.
5
Let q(g) = 4*g**3 - 4*g**2 - 4*g - 1. Let v be q(-1). Let h be (v/3)/(8/(-12*2)). Solve 13 = 3*s - 0*s - d, -h*s = -5*d - 15 for s.
5
Let w = 7 + 24. Let u = w + -29. Suppose 3*i + 4*s - 16 = 3*s, u*i + 5*s = 28. Solve 5 = i*x - 2*r - 5, -5*x - 4*r = -32 for x.
4
Suppose u = -2*w - 11, 2*u + 11 + 2 = -w. Let m be ((-10)/(-6))/(-1)*w. Let f be (-2)/1*(-9)/6. Solve -3*t + 0*b + b = -12, f*t = m*b for t.
5
Suppose -112 = -7*v - 14. Let x be (-6)/v - (-144)/42. Solve -5*c + x*p + 38 = 14, 2*c = -5*p - 9 for c.
3
Let p(o) = -o**3 - o**2 - 2*o. Let b be p(0). Suppose -2*m + 3*j = 1 - 0, j - 3 = b. Solve m*s - 3 + 1 = -2*y, 20 = 5*s - y for s.
3
Let h(w) = -w**2 + 8*w - 4. Let t be h(4). Suppose -20*k + 21*k - t = 0. Solve 0 = 3*x - 4*z - 2, 5*z = -x - 0*x - k for x.
-2
Suppose -2*r + 9 = -1. Let k = -2 + r. Let v(j) = j**2 + 6*j + 12. Let g be v(-3). Solve -k*l = -d - 9 + 2, 6 = g*d for l.
3
Suppose -5*f = 5*i - 45, -3*f + 23 = 3*i + i. Solve 16 = -4*l - n, f*n + 4 = -l + 10*n for l.
-4
Let n(u) = -u**3 - 6*u**2 + 4*u - 16. Suppose -12*y - 14 = -10*y. Let k be n(y). Solve 5*x + 0*x + 2*j = 9, -5*x - 5 = -k*j for x.
1
Let g be (-9)/3 + 150/30. Solve -5*a = 5*j, g*j + 5*a - 6 = -j for j.
-3
Let m(q) = -3*q - 16. Suppose -3*w - 5 = 2*u, -6*w + 3*w = -4*u - 37. Let b be m(u). Solve -3*l + 23 = -4*t, -t - 15 = -b*l - 6*t for l.
5
Let d = -1636 + 1648. Solve -4*c + 8*c + 3*k + d = 0, -2*k - 3 = c for c.
-3
Let f = -527 - -529. Solve 20 = 2*g + 3*r + r, f*r - 10 = 3*g for g.
0
Suppose 0 = 167*j - 144*j - 23. Solve 0 = 5*m - 4*t - t - 10, -4*m - 5*t = j for m.
1
Let h = 7 - 4. Suppose -p = -h*p - 20. Let g(k) = k**2 + 11*k + 13. Let f be g(p). Solve -f*j - 2*l = -4 