= -5*s - m - w, 2*m - 2 + 6 = 0 for s.
0
Suppose 2 - 6 = -2*k. Let b be (-5)/7*(5 + -12). Suppose 0 = 3*h - 0*f + 3*f - 9, 15 = b*h + 2*f. Solve 3*l = -3*c + k*l + 2, -4*c = l - h for c.
1
Suppose -5*w + 12 = 5*g - 28, 0 = -w + 2. Let t be (-104)/(-40) - g/(-15). Solve -t*l + 4*h + 22 + 3 = 0, 5 = 3*l + h for l.
3
Suppose 5*w - 26 = -p, -14*p + 8 = -13*p - 4*w. Solve v = 1, v = -0*r + 5*r + p for r.
-3
Let f = 10 - 9. Suppose -14 = 5*g + f, 0 = -5*n + 3*g + 24. Suppose -16 = -3*t - 4*r + 6, 4*t = -n*r + 20. Solve 3*p = 4*j + t*p + 11, 3*p - 12 = 5*j for j.
-3
Let a = -817 - -825. Solve l = 3*s - 0*s - a, 3*l - 20 = -2*s for s.
4
Suppose 3*i - 5 = 4*m - 2*m, 3*m + 10 = 5*i. Solve s - 7 = 4*f + i, 0 = 2*s + 8 for f.
-4
Suppose -37*b + 195 = 84. Solve 2*p + 5*a = 14, -4*p - b*a = -0*p for p.
-3
Let u(r) = r + 1 + r - 6 - 4. Let n be u(6). Suppose -n*d + 4*q = -12, 3 = 5*d - q - 0. Solve -g - s = d, -5*g = -2*s - s + 32 for g.
-4
Let c be 16/(-20) - 58/(-10). Suppose c*l = l + 80. Solve 35 = -2*z - 3*z - 2*o, z = 5*o + l for z.
-5
Suppose -16 = 13*s - 29*s. Let q = 7 + -5. Solve -z + q = -4*r - 1, -3*r = -2*z + s for z.
-1
Let s(r) = -4 + 0*r**2 + 6 - r**3 - 5*r**2 + 6*r. Let q be s(-6). Solve 4*j + 7 = -3*v, q*j + 2*j + 10 = -2*v for v.
3
Let a = 20 - 17. Let y(d) = -3*d - 6. Let h be y(-4). Solve -h*i + i + 5 = -5*p, 3 = -a*p - 5*i for p.
-1
Let i = 40 + -35. Suppose 20 = -i*s + 35. Solve -2*c - 8 = 0, -s*r + c - 12 = r for r.
-4
Suppose 4*r - r = -2*a + 12, -3*r = 5*a - 21. Suppose r = -3*s + 11. Solve s*g = w - g + 15, w + g = 0 for w.
-3
Suppose 0*r + 4*r = -2*l + 26, 4*l = -2*r + 4. Solve 5*v - r = j, -v + j = 2*j - 4 for v.
2
Suppose 5*j - 180 + 160 = 0. Solve -j*v = -3*c + 31, -9*c + 4*v = -4*c - 41 for c.
5
Let w = -10 + 16. Suppose 8*n - 8 = 6*n. Let f(u) = -u**2 + 7*u - 6. Let l be f(6). Solve -3*k + w = l, -2*b + 2*k + n = -6*b for b.
-2
Let m(d) = 2*d**3 + 9*d**2 + d + 3. Let v be m(-4). Suppose 0 = 5*y - 0 - v. Solve o + c = y*c - 2, 3*c - 6 = 0 for o.
2
Let s(q) = q**2 + q - 2. Suppose 2*p - 4 = -0*p. Let m be s(p). Suppose 1855*o - 10 = 1853*o. Solve m*v - 3 = v, -5*d - 30 = -o*v for d.
-5
Let x(w) = 2*w**2 + 16*w + 2. Let v be x(-8). Let n = 376 - 361. Solve -3*m = 3*l + 9, -v*l - 5*m + n = -3*l for l.
-5
Suppose -28*q = -19*q. Solve 3*z + 0*t + t - 15 = q, -t = -z + 5 for z.
5
Let n be (-18)/54 + 39/9. Solve -n*l - 3*s = 11, 0 = -9*s + 4*s - 5 for l.
-2
Let b(t) = -12*t - 260. Let k be b(-22). Solve -l - 13 - 1 = -3*d, k = 2*l + 2*d for l.
-2
Let b(f) = -f - 1. Let r be b(-6). Suppose 3*g + 4*l = 0, 2*g - r*g + 9 = l. Solve 0 = 4*s + 3 + 5, -12 = 2*d + g*s for d.
-2
Let t be (-10)/7 + 1600/140. Solve j + 19 = -5*k, -k + 4*j + t = -3 for k.
-3
Let w(z) = 2*z**2 + z. Let c be w(-2). Let u be 23 - c*1/2. Suppose m - 5*f = -2*f - 10, 5*m = f + u. Solve y = -m*d - 25, 0 = 3*y + d - 0 + 19 for y.
-5
Let z = -12 - -14. Suppose 2*d + d = z*p + 6, 3*d - 12 = 0. Suppose -4*y - o + p = 0, 3*o = -4*y - 4 - 3. Solve 5*t + y*c + 4 = 0, -3*t + 0*c + 4 = -2*c for t.
0
Suppose 6 = -3*r + 21. Suppose 3*l - 4 = -r*n - 6, 5*n + 5*l + 10 = 0. Solve -2*i - 5 = n*a + 3*i, 4*a + 3 = -3*i for a.
0
Let a(k) = 2*k**2 - 3*k - 19. Let x be a(5). Solve -2*n + x = 3*n + 3*m, -4*n + 29 = -3*m for n.
5
Let b(p) = p - 4 + 1 + 1. Let j(x) = x**2 - 9*x + 22. Let c be j(4). Let m be b(c). Solve 5*f = -2*k + 12, -k + m*f = -5*f + 24 for k.
-4
Let a be (1*(-6)/18)/((-1)/6). Let v be 2 + (a - 3) + 24. Solve 9*z + v = 4*z, -2*z - 15 = -5*s for s.
1
Suppose -5*j - 4 - 13 = 4*b, 4*j + 14 = -3*b. Let c = 32 + -41. Let q be (c/(-18))/(2/12). Solve b*m - 10 = -4*d, -d + 0*d - 5 = q*m for d.
4
Suppose 10 = -9*h + 4*h. Let u be h/(7 - 5) + 1. Solve -i + 0*t + 5 = -2*t, 2*i + 4*t + 6 = u for i.
1
Suppose -12*t + 15*t - 2*o = 9, -2*t + 2*o + 6 = 0. Solve -3*g + 10 = 3*c - 11, 2*c - 4 = t*g for c.
5
Let l be 60/25 + (-2)/5. Suppose -l*t = 2*t - 4. Suppose -1 = -b + t. Solve -g = -0*i - b*i - 1, 0 = -4*g - 4 for i.
-1
Let a be 2054/(-52)*4/(-2). Suppose a = 5*k + 54. Suppose 4*f - 155 = -55. Solve -2*h = 0, -3*h = -k*q - 8*h + f for q.
5
Let i be (0 - 2)*(-200)/16. Let k = -33 + i. Let f = 14 + k. Solve -2*a - l = 2*l + 9, 0 = -a - 3*l - f for a.
-3
Suppose -4*m + 63 = 3*l - 0, 4*l = 4*m - 28. Solve -m = -4*d, 2*d - d = -2*z - 5 for z.
-4
Let p(h) = 15*h**2 - 10*h + 11. Let t be p(1). Solve q + 3*m = 12, -3*q + m + 3*m - t = 0 for q.
0
Suppose 0*o = 3*o - 5*h + 26, -2*o - h = 0. Let b be (-4)/14 + (o - (-16)/7). Solve 3*f - 3 = 3*z, b*z + 2*z - 1 = -f for f.
1
Let y = -3 + 5. Let h be (1 - (-11 + 18)) + 9. Solve b - h*r + 8 = -3*b, -y*b + 2*r - 2 = 0 for b.
-5
Suppose -44 = -4*q + 76. Suppose q = 5*w - 10. Let s(x) = x**2 - 7*x - 4. Let r be s(w). Solve 15 = y + 3*p, 3*p = r*y - 0*p + 15 for y.
0
Suppose 0 = -4*t - 0*p - 2*p, 5*t + p = 6. Suppose -20 = -3*u + 4*x, -u - x + 6 = -t*x. Solve u*l + 3*m = -11, -8 = l + 3*l + 4*m for l.
-5
Let m be (-4 + (-28)/(-8))/((-1)/10). Let x be 62/12 - (0 + m)/30. Solve -x*c = -5*l + 30, l = 5*c - 3*l + 27 for c.
-3
Let q = -23 - -74. Let f = -48 + q. Solve r - 18 = -4*c, -6*c = -f*c - 4*r - 4 for c.
4
Let g(y) = -2*y**2 + y + 4. Let l be g(-2). Let h = -4 - l. Solve w + 17 = 5*f, 4*w = 4*f - 18 - h for w.
-2
Let c be (-4 - (-322)/(-35))/(4/(-10)). Solve 2*w = -a - 1, -2*w + 6*w - c = 5*a for a.
-5
Suppose -50*o = -10*o. Solve o = 15*y - 20*y + 5*p + 15, -9 = 3*p for y.
0
Let c(j) = -j + 12. Suppose -4*y - 88 = -15*y. Let o be c(y). Solve -7*r + 2*u - 12 = -2*r, o*u - 12 = 4*r for r.
-2
Suppose 4*b + d - 12 = -4*d, -5*b - 2*d = -15. Suppose 4*w - 15 = b*w. Solve 2*z - 8 - 2 = 0, 2*f - w = -5*z for f.
-5
Let m(v) = -2*v + 18. Suppose -s - 6 = -3*q + 44, 4*q = 5*s + 85. Let c = -7 + q. Let a be m(c). Solve a*z + 2*b = -8 + 4, -3*z = 5*b for z.
-5
Let g = -1040 - -1043. Solve -g*i - 15 = 2*l + 4, 4*i + 18 = l for i.
-5
Suppose 8*d - 4*v = 5*d - 7, -v = -3*d - 22. Let u be (0/d)/(-2 - -1). Let c(i) = i - 5. Let z be c(5). Solve u = -r - 5*o, 2*r - 2*o = -z*r for r.
0
Let l be (-27)/18*(-1 + -1). Solve 3*w - 3*u = -l, -4*w + 3*u - 11 = w for w.
-4
Let f = 235 - 232. Solve 4*m = -5*p + 10, -3*m + 4*m = -p + f for m.
5
Suppose 0*u = -5*z - u, 0 = -z + 2*u. Let p = 3 + z. Solve -o - 5*g = 19, -3*o + p*g = -6 - 9 for o.
1
Suppose -3*h + 4*w = -13, 4*w - 2*w + 2 = 0. Solve 2*s - h*n = 9 + 8, 0 = 4*s - n - 19 for s.
4
Let j(s) = -3*s**2 - 2*s + 3. Let b be j(-4). Let n = 12 + -19. Let t be b/n - 4/14. Solve 0 = -t*v - 0*v - 4*h - 25, -5*h = 4*v + 29 for v.
-1
Suppose 37 = -22*r + 103. Solve 5*n = 5*d - 10 - 0, 0 = r*d + 5*n - 14 for d.
3
Let g be (-72)/(-20) - (-2)/5. Let x be (-363)/(-18) - (-2)/(-12). Suppose -3*b = 15, -4*z - 4*b + 0*b = x. Solve -3*r + 6 = -r, z = -3*f - g*r for f.
-4
Let x be -3*1/(-9)*3. Suppose 37 = 7*l + 2. Let p = -6 + 10. Solve -p*m = z + l, m + m = -z - x for z.
3
Let b = -211 - -233. Solve n - 4*n - 4*p = 1, -b = -2*n + 3*p for n.
5
Let n(g) = 3*g - 55. Let s be n(14). Let l = s - -13. Solve -x - o = l, -4*o = 10 - 30 for x.
-5
Suppose -4*v - 12 = -4*h, 2*h = -4*v + 7 + 11. Let p be (v/(-3))/((-10)/(-75))*-1. Solve 3*i + 5*x = -10, -2*i - p*x = 2*i + 15 for i.
-5
Suppose 9*d = 13*d. Let k be 1/(-5) - (-166)/5. Solve -3*x - 3*p = 27, d = -3*x + x - 5*p - k for x.
-4
Let o = -27 - -11. Suppose 10*r + 21 = -109. Let y = r - o. Solve -5*d + 25 = -10*d, y*x - 11 = d for x.
2
Suppose -2 + 3 = w, 5*r - 14 = w. Suppose 67 - 16 = r*p. Let a = p + -15. Solve -5*s - d - 6 = -1, 18 = -4*s + a*d for s.
-2
Suppose -158 = o - 160. Solve 14 = -5*w + o*y, w - 4*y = -y + 5 for w.
-4
Let x = -12 - -14. Suppose -2*v + 32 = x*m - v, -4*v - 12 = -2*m. Suppose m + 6 = 5*j. Solve 4*h + i + j*i + 9 = 0, -5 = 5*i for h.
-1
Let n = 2 - -1. Suppose -27*b + 29*b = 0. Solve i + v + 1 = 0, n*i - 21 = 3*v - b*v for i.
3
Let h = 4 + 0. Suppose 2 = -a + h. Solve -28 = 4*w - 4*g, -3*w = -a*g - 7 + 25 for w.
-4
Suppose -h - 3 = 5*g, -2*h + 5*g - 1 = -5*h. Let x be 7/((-21)/(-9)) + h. Solve -k - 6 = -2*o, -6*o = -3*k - x*o - 3 for k.
0
Let j be -2*4/(-1 + 0). Suppose 0 = 5*w - 5, 5*q + 48 = w - j. Let x = 13 + q. Solve -x*i - 8 = 4*y, -2*y - 11 = -y + 5*i for y.
-1
Let x be -4 + (-3)/(12/8). Let m = 11 + x. Suppose m*f = -4*t - 5, 4*t = 4*f - 8*f - 8. Solve -