= 5*l**3 + 2*l**2 + 13*l - 8. Let s(a) = y*z(a) - 3*i(a). Is 17 a factor of s(-3)?
False
Suppose 5*y - h - 35 = 0, 0 = -3*y - 0*h + 3*h + 9. Suppose 0 = -5*g + y*g - 123. Does 17 divide g?
False
Let v be ((-39)/6)/(1/8). Suppose 0 + 3 = b, -b = -x. Does 13 divide (-5)/(30/v)*x?
True
Let s(q) = -q**3 - 3*q**2 + 5*q - 2. Let n be s(-6). Suppose 5*z - 4*r + n = 0, r = -z + 3*r - 20. Is (-4)/z - 71/(-3) a multiple of 12?
True
Suppose 2*c + 10 = -3*y, 2*y - c - 6 = -1. Suppose -2*j + w + 31 = y, -j + 28 = -3*w - 0*w. Is 7 a factor of j?
False
Let k(j) = 7*j**2 + 2*j - 1. Let t be k(2). Let m = t - 20. Is m a multiple of 4?
False
Let z(k) = -k**2 + 6*k + 3. Let q be z(5). Let l be 26/q - (-2)/(-8). Suppose 2*h = m, -l*m - h + 7 = -0*m. Is m a multiple of 2?
True
Let b be (-26)/(-6) - 3/9. Suppose -b*k - 46 = -418. Suppose -2*j + k = j. Is j a multiple of 12?
False
Suppose -4*k + 308 = 2*c, c - 4*c + 228 = 3*k. Suppose 4*x - k = x. Does 13 divide x?
True
Let i(v) = 2*v**2 + 4*v - 3. Is 11 a factor of i(2)?
False
Suppose o = -2*m - o, 5*m + 4*o = 5. Let g(i) be the third derivative of i**5/20 - i**4/4 + i**3/3 - i**2. Is g(m) a multiple of 16?
False
Let s = 155 + 7. Does 27 divide s?
True
Is 38 a factor of (-268)/(-7) + (-24)/84?
True
Let l(a) = 2*a - 6. Let t be l(5). Suppose p - 3*p = -z - 84, 0 = t*p - 5*z - 180. Suppose -5*j - 22 = -o, 2*o = 2*j + p - 4. Does 11 divide o?
False
Suppose 0 = -5*h, 0*h - h = p - 6. Let i be (p/(-5))/(1/(-5)). Is ((-30)/(-9))/(2/i) a multiple of 10?
True
Suppose 28 - 12 = 5*h + 4*o, 4*o = -2*h + 4. Suppose h*l - 2*v - 42 = 0, -28 = -4*l - v + 23. Is l a multiple of 6?
True
Suppose -x - 4*x = 30. Does 7 divide x/(-4) + (-55)/(-10)?
True
Let g(h) = 2*h**2 + 17*h + 1. Is g(-9) a multiple of 5?
True
Suppose 0 = 3*o + 15, -7*o = s - 3*o + 32. Let h = 5 - 12. Let v = h - s. Is 3 a factor of v?
False
Let u(s) = s**3 + 7*s**2 - 9*s - 6. Does 2 divide u(-8)?
True
Let m = -4 + 79. Does 15 divide m?
True
Suppose 0 = 8*o - 19*o + 44. Is o a multiple of 2?
True
Suppose -4*d + 19 = 7. Suppose 0 = -2*y + r + 1, -4*y - y + d*r = 0. Suppose -9 = -0*c - y*c. Is c a multiple of 3?
True
Let s(c) = -c**2 + c + 35. Is 4 a factor of s(0)?
False
Let b be ((-8)/12)/((-4)/18). Let r be 9/b + 0 + 111. Suppose -5*v = 3*j - r, v = -3*v - 3*j + 90. Is v a multiple of 8?
True
Suppose -3*w + 2*k - 5*k + 63 = 0, 4*w - 2*k - 108 = 0. Does 12 divide w?
False
Suppose c = 2*i - 3, -4*c + 3*i + 18 = i. Let d = c + -4. Is d a multiple of 3?
True
Let z(y) be the first derivative of -y**2/2 + y - 2. Let a be z(6). Let b = a - -32. Is 17 a factor of b?
False
Let r = -4 + 2. Let z = r + 7. Is z even?
False
Does 9 divide 11/((4 + -2)/14)?
False
Suppose 0 = -2*r + 5*r. Suppose z + 2*z - 9 = r. Suppose 2*h - 14 = z*a - 70, h = -4*a + 93. Is 22 a factor of a?
True
Let y be 10/(-5) - (-46 - 1). Suppose -4*p - y = -9*p. Is 3 a factor of p?
True
Let y = 28 - 16. Is y a multiple of 5?
False
Let n(z) = -13*z**3 + 2*z**2 + 2*z. Let o be n(-2). Suppose 3 = -r - 5*p - 2, 5*p + 30 = 4*r. Suppose -2*i - o + 12 = -r*v, -v + 2*i = -16. Does 11 divide v?
False
Suppose -4 + 1 = -f - 4*o, -5*f - 21 = 2*o. Let k(g) = -4*g + 6. Is 13 a factor of k(f)?
True
Let j(x) = -x**2 + 6*x + 9. Let h be j(7). Is 3 a factor of (h - -25)*4/12?
True
Let d(p) = -3*p**2 + p - 2. Let c be d(2). Let q be (-5)/(45/c)*24. Suppose -2*i = -6*i + q. Is i a multiple of 8?
True
Let d(v) = v**2 + 2*v - 1. Let k be d(1). Suppose -5*z - p + 18 = 0, p - 6*p + 15 = 0. Suppose k*s - 9 = z. Is 6 a factor of s?
True
Suppose -3*w + 16 = 2*g - 18, 0 = 5*w + 20. Is 12 a factor of g?
False
Let q = -6 - -15. Suppose q = -3*n + l, -n + 2*l + 5 = -l. Let u(c) = -3*c - 2. Is u(n) a multiple of 10?
True
Does 7 divide 11 + 0 + 15/(-5)?
False
Let h be (-56)/9 + (-10)/(-45). Is 12 a factor of (3/h)/((-1)/26)?
False
Let l(w) = -w**2 + 6*w + 1. Let g be l(5). Let x be (-2)/((-1)/g*-3). Let m(n) = n**3 + 8*n**2 + 4*n. Does 14 divide m(x)?
False
Suppose -680 = -y - 2*y - 4*g, -g - 1095 = -5*y. Is 22 a factor of y?
True
Suppose 4*h = -4*a + 28, -3*a + 6*h - 4*h = -26. Is 8 a factor of a?
True
Suppose 0 = o - 2*d - 31, -3*d = -4*o - o + 141. Does 14 divide 56*(o/12)/3?
True
Suppose 5*h - 6 = 3*h. Suppose 3*a + 5 + 2 = -4*k, 3*k + h*a = -6. Let n = k + 24. Is n a multiple of 8?
False
Suppose 0 = 4*a - 3*k - 432, -436 = -4*a - 0*k + 2*k. Does 9 divide a?
False
Is 13 a factor of 4/2 - (-801)/36*4?
True
Let j be ((-1)/2)/((-3)/(-12)). Let u = j + 1. Is (-1)/u*(-35)/(-7) a multiple of 2?
False
Let c(n) = -3*n - 2. Suppose -g = q + 3*g, -5*q + 25 = -5*g. Suppose -q*a - 18 - 18 = 0. Does 13 divide c(a)?
False
Let x(a) = -a**2 + 12 + a - 8 + 2*a. Let v be (-5)/(-2)*12/10. Is 2 a factor of x(v)?
True
Let g(v) = 51*v**3 + 2*v**2 - v. Is 17 a factor of g(1)?
False
Let a(o) = -o**3 - 7*o**2 - 10*o + 2. Let q(n) = n. Let m(j) = a(j) + 4*q(j). Let g be m(-6). Is -10*(42/(-15) + g) a multiple of 5?
False
Suppose 198 = 5*g + 2*r + 25, -5*r + 185 = 5*g. Is g a multiple of 21?
False
Let a be (1 - -2) + (3 - 1). Suppose 0 = a*o - 18 - 22. Does 8 divide o?
True
Let z = -1 - 0. Let u(q) = 6*q**2 - 2*q - 1. Let n be u(z). Suppose 3*d - n*j = -3*j + 124, 0 = 5*d + 3*j - 168. Is 18 a factor of d?
True
Is 4 - 5 - 3 - -8 a multiple of 4?
True
Suppose 923 = 2*t + 245. Suppose 5*k - 5*l - t = -64, -175 = -3*k - 2*l. Is 11 a factor of k?
False
Let o = 12 - 5. Suppose -o*k + 6*k = -38. Does 13 divide k?
False
Let a(y) = -3*y + 13. Is 6 a factor of a(-2)?
False
Let f(y) = -y**2 - 5*y + 7. Let x be f(-7). Suppose -20 - 40 = 4*a. Let b = x - a. Is b a multiple of 4?
True
Suppose -2*p + 6*p - 4 = 0. Let o(d) = -11*d**3 + 0 + 41*d**3 - 1. Is o(p) a multiple of 17?
False
Let k be 0/(-2) - (-1)/1. Suppose 0 = -w + 1 + k. Does 10 divide (1/2)/(w/104)?
False
Let g = 54 - 18. Is 30 a factor of g?
False
Let k(g) = 23*g + 28. Is k(7) a multiple of 30?
False
Let g(f) = -f + 7. Let o be g(7). Let v(j) = -j**2 + 17. Let p(y) = y**2. Let c(h) = 2*p(h) + v(h). Does 17 divide c(o)?
True
Suppose -s - 3*s - 2*n + 128 = 0, -4*s = 3*n - 126. Is s a multiple of 12?
False
Let t = 139 + 56. Is 15 a factor of t?
True
Let j be -3*-3*5/(-9). Is 13 a factor of j/((-10)/(-34))*-3?
False
Let p(w) = -3*w**3 + 9*w**2 - 10*w + 11. Let v(a) = -7*a**3 + 19*a**2 - 21*a + 23. Let o(q) = -5*p(q) + 2*v(q). Does 13 divide o(7)?
False
Suppose -85 = -g + 15. Suppose 2*v + 3*v - g = 0. Is v a multiple of 13?
False
Suppose -2*n - 346 = -4*o, -4*o + 271 + 93 = 4*n. Is 44 a factor of o?
True
Does 5 divide 42 + (-2 - -1 - -1)?
False
Let d = 1 - -6. Is d a multiple of 3?
False
Let u = 12 - 7. Suppose -o = f + 4*f - 21, u*o = -2*f + 13. Suppose -f*g + 32 = -2*g. Is 8 a factor of g?
True
Suppose j + 3*j = 0. Suppose j = v - 0*v - 5. Let k = 16 - v. Is k a multiple of 11?
True
Suppose -3*c + 9 = 0, -2*u + 227 + 34 = 3*c. Is u a multiple of 12?
False
Let j(l) = l**2 + l + 13. Is j(-18) a multiple of 50?
False
Suppose 2 = x + 1, 2*k - 21 = 5*x. Suppose -3*b - 6 = y, k = -5*y + 2*b + 51. Does 12 divide (2*2)/(2/y)?
True
Let c be (-1 - -1)/(-2 - -1). Suppose c = 3*b - 5*i - 49, -4*b + 77 = 6*i - i. Is 8 a factor of b?
False
Suppose -y = -5*g + 334, y + 190 = 3*g + 3*y. Is 33 a factor of g?
True
Suppose 0*c - 12 = -3*c. Suppose c*d = -4*g - 20, -3*d + 5 = -0*d - g. Suppose d = -3*i + 45 + 3. Does 8 divide i?
True
Let t be (-89)/((-3)/(3/1)). Suppose -t - 16 = -5*s + 3*j, -2*s + 4*j = -28. Is 8 a factor of s?
True
Let y be -1*(1 + -2)*-5. Let o be (y/(-3))/((-4)/(-12)). Let g = o + 0. Is g even?
False
Is 4 a factor of (24/(-14))/((-5)/35) - 2?
False
Suppose -3*u + 0*o + 287 = 4*o, 5*u = 3*o + 459. Does 11 divide u?
False
Is 18 a factor of -1 + (-5)/(10/(-38))?
True
Let u(i) = -5*i**3 + 2*i**2 + 16*i - 6. Let r(y) = -y**3 - y**2 + y - 1. Let p(l) = -6*r(l) + u(l). Let s be p(-7). Let m = s - -35. Does 7 divide m?
True
Let t = 11 + -8. Suppose 0 = t*x - 0*x. Suppose 4*q = -3*k + 53, x = -3*k - 2*k + 5*q + 65. Does 5 divide k?
True
Does 28 divide -20*((-217)/4)/7?
False
Suppose 13 = b + 3*o, -4*o + 25 = 4*b - 59. Does 6 divide b?
False
Suppose 0 = -6*u + 3*u. Suppose 2*g + 2*h + 2 = u, 5*h = 4*g - 0*h - 23. Is g a multiple of 2?
True
Let x(q) = 38*q**2 - q - 2. Let f be x(-2). Suppose t - f = -4*o, -2*t - 177 = -6*