= s*z - z - 11. Does 11 divide z?
True
Suppose 3*f - 3188 = -5*c, -3*c + 3*f + 2016 = 108. Does 13 divide c?
True
Let o(d) = d**2 + 7*d. Let q(g) = -g**2 - 8*g. Let l(j) = 5*o(j) + 4*q(j). Let w = -4 - 2. Is l(w) a multiple of 7?
False
Let x = -123 + 13. Let a = -62 - x. Does 8 divide a?
True
Let p be -38*((-12)/8)/3. Suppose 0 = -17*y + p*y - 34. Is 3 a factor of y?
False
Suppose d = 4*m - 19, 0 = 3*m - d - d - 18. Suppose -m*a - 4*n - 51 + 691 = 0, -480 = -3*a + 3*n. Does 35 divide a?
False
Let y(x) = -91*x - 252. Is 32 a factor of y(-9)?
False
Let t(n) = n**3 + 29*n**2 + 26*n - 25. Does 4 divide t(-28)?
False
Let n = -13 + 15. Suppose 6*r - 2*r - 80 = -4*d, n*d = 2*r + 36. Suppose 5 = 3*y - d. Is 8 a factor of y?
True
Let u(i) be the second derivative of i**4/12 + i**3/6 + 50*i**2 - 2*i. Let c be u(0). Suppose 0 = x - 0*x - 3*z - 42, -2*x + 2*z = -c. Is 18 a factor of x?
True
Is (((-9)/(-15))/(-1))/(3/(-90)) a multiple of 5?
False
Let i(o) = 3*o**2 - 26*o + 116. Is 32 a factor of i(6)?
False
Suppose -7*h = -5*v - 8*h + 1093, -v + 230 = 4*h. Does 21 divide v?
False
Let o(u) = -u**2 - 9*u + 12. Let s = 12 + -21. Is o(s) a multiple of 5?
False
Let w = -9 + 12. Suppose -6 = -w*p - 0. Is (p/4)/(4/56) a multiple of 3?
False
Suppose -6*z + 2*z = 0. Let o be z + (0 + -1)*-139. Let l = o - 86. Does 21 divide l?
False
Let d = -6 + 3. Let p(s) = -s - 2. Let r(w) = -4*w**3 - 2*w**2 + 6*w + 2. Let i(q) = p(q) + r(q). Is i(d) a multiple of 15?
True
Suppose 9*z + 60 = 10*z - 3*s, 0 = 5*s - 25. Is z a multiple of 20?
False
Let v be 6/(-9) + 8/12. Suppose h - 4*h + 30 = v. Is 18 a factor of (h/(-4) - -3)*106?
False
Let j be (-30)/3 + -2 + -2. Let a = j - -19. Suppose -a*b + 73 = -12. Does 15 divide b?
False
Suppose 2*o + 3*o + 3*h = 10, 5*h = 0. Let d be 3/2 - (325/26)/25. Is 17 a factor of (d/o)/((-7)/(-1190))?
True
Let a(k) = 8*k**2 + 115*k - 22. Does 10 divide a(8)?
True
Let u(o) = -16*o + 15. Let q be u(-5). Is q/4 - 1/(-4) a multiple of 12?
True
Suppose -3*t + 6 = -2*t. Let c(z) = 11*z - 8. Let d(y) = -39*y + 23. Let m(f) = -7*c(f) - 2*d(f). Is 8 a factor of m(t)?
True
Suppose 7*r + 16*r - 4669 = 0. Is 39 a factor of r?
False
Let i be 1 + -1 + 6 + 18/3. Suppose -2*z + 32 = -i. Is 10 a factor of z?
False
Suppose 6*m = -2*m + 1664. Does 13 divide m?
True
Let x = 6 + 0. Suppose 0 = -3*a - 3*a + 12. Suppose a*z - x = 6. Is z a multiple of 6?
True
Let b(x) = -x**3 + 6*x**2 + x + 1. Let i be b(6). Suppose -m + i + 23 = 0. Is m a multiple of 10?
True
Does 10 divide -4 - 1*144/(-4)?
False
Is 14 a factor of 4/(-1)*(15 + 1775/(-4))?
False
Let p(i) = -2*i**2 + 31*i - 18. Is 12 a factor of p(7)?
False
Let z = 812 - 557. Is z a multiple of 15?
True
Let i(l) = 12*l**2 - 15*l**3 - 7 + 14*l**3 + 16*l + 20. Let r be i(13). Suppose 56 = z + 4*k, -2*z - 5*k + 161 - r = 0. Is z a multiple of 17?
False
Let y(s) be the first derivative of 65*s**2 + s - 7. Is 7 a factor of y(1)?
False
Let r = 3 + -1. Suppose 3*z - 2*z + r*o = 0, 0 = -3*z - o + 10. Suppose 16 = z*c - 24. Is c a multiple of 5?
True
Suppose 4*d - 3*t - 1395 = 0, -52*t + 56*t + 1396 = 4*d. Does 6 divide d?
True
Suppose n + s + 0*s = 286, -4*n + 1184 = -4*s. Is n a multiple of 34?
False
Suppose 4*h = -3*x + 1437, -x + 1947 = 3*x - 5*h. Is 23 a factor of x?
True
Suppose -4 = 5*x + 3*h, 2*h = h - 3. Let a be 1/((-3)/(-111)*x). Suppose 3*v + a = 4*v. Is v a multiple of 29?
False
Let n(v) = -v**3 + 5*v**2 + v - 4. Let x be n(5). Suppose -4 + x = -w. Suppose w*h - 5*h + 12 = 0. Is h a multiple of 6?
True
Let y = -188 + 420. Does 8 divide y?
True
Does 36 divide (-6)/(270/(-20305)) - (-8)/(-36)?
False
Let o = -54 + 127. Suppose 4*k + 3*z - 311 = 0, -4*z + 235 = 4*k - o. Suppose -4*x - 3*n + k = 0, 0*x = 5*x - n - 100. Is 5 a factor of x?
True
Suppose 5*p - 5*r = 1235, 5*r - 1219 = -5*p + 2*r. Is 5 a factor of p?
True
Let y(z) = z**3 - 10*z**2 - z + 5. Let j be y(9). Let u = -78 - j. Is u a multiple of 7?
True
Suppose 4*w + 1084 = 4*y, -4*y = -7*y + 2*w + 810. Is 4 a factor of y?
True
Let p(c) = 2*c**2 - c + 9. Let d = -69 - -62. Does 12 divide p(d)?
False
Let f = 5 - 1. Suppose -f*q = -0*q + 3*a - 17, -4*q = a - 19. Suppose -3*o - y + 6*y + 75 = 0, 125 = q*o + 4*y. Is 7 a factor of o?
False
Suppose 35 = 7*r - 2*r. Let s = r - -15. Is s a multiple of 11?
True
Is 18 a factor of -12*(-334)/22 - 156/858?
False
Let o(s) = -s**3 - 18*s**2 - 27*s - 36. Let m be o(-17). Suppose 13*p + m = 14*p. Does 11 divide p?
False
Let h(v) = -v**2 - 8*v - 14. Let b be h(-6). Let o = b - -54. Is 11 a factor of o?
False
Suppose 0 = -15*m + 22*m - 2296. Is 4 a factor of m?
True
Let u be ((-56)/10)/(10/(-50)). Let c be 1239/u + 3/4. Let q = 64 - c. Is 5 a factor of q?
False
Suppose 0 = -3*v + i - 131, 4*v - 52 = 5*v - 2*i. Let y = -36 - v. Is 2 a factor of y?
True
Let q be ((-1024)/(-8))/(1/(-10)*-4). Suppose -q = -n - 4*n. Is 17 a factor of n?
False
Let z(g) = -2*g**3 - 92*g**2 - 108*g - 79. Is 17 a factor of z(-45)?
True
Let x(a) = 5*a**3 - a**2 + 33. Is x(7) a multiple of 45?
False
Let x(c) = 6*c**2 + 20*c - 70. Is x(6) a multiple of 14?
True
Suppose -34 = -9*j + 47. Does 14 divide (-2)/j + (-8688)/(-216)?
False
Let j be 32635/40 - (-2)/16. Let k be (-5)/(-2)*j/40. Suppose 0 = 8*d - k - 133. Is d a multiple of 23?
True
Let l(o) = 2 - 6 + 10 + 7. Let u(p) = -p - 13. Let t(x) = -4*l(x) - 5*u(x). Is t(10) a multiple of 21?
True
Let a(m) = 1. Let s(l) = -210*l + 30. Let u(f) = 36*a(f) - s(f). Is 54 a factor of u(1)?
True
Suppose -11*j + 59 = -29. Is 6 a factor of j?
False
Suppose -444 = 5*b - 1544. Suppose b = 6*d - 4*d. Is 37 a factor of d?
False
Is 0 - ((-11341)/66 - (-2)/(-12)) a multiple of 3?
False
Suppose 5*q - k - 2382 = 0, 4*q - 7*q + 3*k = -1434. Does 2 divide q?
True
Suppose 0 = 4*f + 4*u - 0*u + 44, -25 = 5*f - 5*u. Let y(p) = p**2 + 3*p - 16. Is 6 a factor of y(f)?
True
Let u be (16/(-6))/(40/60). Is 9 a factor of (-2)/(-4) - 106/u?
True
Suppose -2*j - 303 + 1455 = 0. Does 19 divide j?
False
Let j = -223 + 147. Let y = 43 + j. Is 9 a factor of (-6)/y - (-788)/22?
True
Let j(t) = t**2 + 5*t - 17. Let d be j(-7). Let b(m) = 4*m**2 + 4*m - 3. Is b(d) a multiple of 5?
False
Suppose 4*x = -10*s + 14*s - 716, 4*s - 5*x - 716 = 0. Does 27 divide s?
False
Let z(g) = -32*g - 23 - g**2 + 2*g - 49. Does 6 divide z(-21)?
False
Let q(x) = 8*x**2 + 94*x + 4. Is q(-19) a multiple of 79?
True
Let s(q) = 3*q**2 + q + 6. Let b(t) = -7*t**2 - 3*t - 11. Let j(f) = -4*b(f) - 9*s(f). Does 15 divide j(7)?
True
Let d = 288 - -30. Does 53 divide d?
True
Does 9 divide (-21869)/(-76) - 2/(-8)?
True
Let w(d) = 2*d - 14. Let t be (-195)/(-27) + 10/(-45). Let b be w(t). Is 7 a factor of 1 + 1 - (-11 - b)?
False
Let r = 1 + -1. Suppose d - 4*h = 4*d - 444, -h = -2*d + 285. Suppose r*q = -4*q + d. Is q a multiple of 9?
True
Let r(j) = -j**3 + 6*j**2 + 5*j + 14. Let h be r(7). Suppose -2*a = -h*a + 2*b - 6, 3*b + 31 = 5*a. Is 4 a factor of a?
False
Suppose 6*d - d + 320 = 0. Suppose 0 = -2*r + 472 - 104. Let q = d + r. Does 40 divide q?
True
Let n(t) = -2*t**3 - 5*t**2 - 9*t - 18. Let m be n(-6). Suppose 0 = -8*k + 2*k + m. Is 8 a factor of k?
True
Suppose 101 - 42 = a. Let w = -35 + a. Does 6 divide w?
True
Let w = -251 - -361. Is 12 a factor of w?
False
Let p(q) = -q**3 + 4*q**2 + 6*q + 9. Suppose 10 = -3*y + 5*y. Is p(y) a multiple of 13?
False
Suppose 0 = 20*y - 2284 - 7796. Is 14 a factor of y?
True
Let c = -124 + 1400. Is 18 a factor of c?
False
Let y = -78 + 198. Is y a multiple of 30?
True
Let w(a) = -827*a + 2*a**2 - a**2 + 831*a + 8. Is w(-16) a multiple of 10?
True
Suppose 2*x = 2*z, 0 = -2*z + 5*z - 4*x. Suppose 2*y - 190 = 5*j, -475 = -z*y - 5*y + 2*j. Suppose -32 = -i + 4*h - 6, -3*i + y = 5*h. Is i a multiple of 7?
False
Let v be ((-9)/6)/((-3)/84). Suppose -3*c = -8*c - 30. Let j = v + c. Is 17 a factor of j?
False
Let y be (-1*(2 + 3))/(-1). Let v be y - (-4)/(-5 - -3). Is (-1)/v*(-16 - -1) a multiple of 3?
False
Let p = -2623 + 7753. Is 19 a factor of p?
True
Let k = 9 + 11. Is (112/k)/((-4)/(-70)) a multiple of 14?
True
Let o = -708 + 1898. Is o a multiple of 70?
True
Let h = 1 + 3. Suppose -h*r = -v - 19, 2 = -3*r - 5*v - 1. Suppose 2*n = -4*b + 28 + 48, -n = -r*b - 56. Is 22 a factor of n?
True
Let f = -110 + 178. Is f a multiple of 8?
Fals