ose s + 176 = u*s. Is s a multiple of 13?
False
Suppose 5*f - 47 = -2. Suppose -6*m - 93 = -f*m. Does 7 divide m?
False
Let s(c) = -18*c - 57. Let w(y) = 7*y + 23. Let b(m) = 5*s(m) + 12*w(m). Does 6 divide b(-6)?
False
Let c be ((-1)/2)/((-6)/24). Suppose c*d - 491 = -43. Does 14 divide d?
True
Suppose 972 = 2*w - 4*g, -129*g = -2*w - 132*g + 951. Is 40 a factor of w?
True
Suppose -k = 2*s - 0*k - 85, -5*s = -5*k - 235. Suppose 5*m - s = 71. Is m a multiple of 6?
False
Let i(z) = -2*z**3 - 6*z**2 - 4*z - 3. Let v(p) = p**3 - 9*p**2 + 2*p - 22. Let b be v(9). Does 9 divide i(b)?
True
Let y = -61 - -87. Let r = y + 25. Is r a multiple of 17?
True
Let k = -537 + 831. Does 21 divide k?
True
Let j = -22 + 26. Is 26 a factor of -27*((-8)/3 - j/(-6))?
False
Suppose 5*b = -2*l + 5*l - 564, b = 3*l - 564. Does 47 divide l?
True
Suppose 11*a - 1111 = 979. Does 5 divide a?
True
Let y(z) = -z**2 - 7*z + 3. Let o be y(-7). Let s(u) = -3*u + 11*u + 18*u. Is s(o) a multiple of 26?
True
Is 6 a factor of (8 - -49)/(8/8)?
False
Suppose 8 = -p + 86. Is p a multiple of 4?
False
Suppose -s + 19 = -5*p, -4*s + 3*p = -2*s - 17. Suppose s*k + 3*m = 725, 2*k + 3*m = -m + 370. Let g = k + -106. Is g a multiple of 12?
False
Suppose -l + 34 = -2*c, 2*l - 2*c - 3*c = 70. Is l/(-35)*(-28)/3 a multiple of 4?
True
Let x(g) = 13*g - 11. Does 4 divide x(7)?
True
Does 32 divide ((-12)/18)/((-1)/819)?
False
Suppose 6*y = 9*y - 9. Is 8 a factor of (-1)/y + (-175)/(-21)?
True
Suppose 67*x + 4595 - 15315 = 0. Is x a multiple of 8?
True
Let w(l) = -15*l - 2. Suppose -5*p + 28 = 3*v - 7*v, 30 = -5*v + 5*p. Does 14 divide w(v)?
True
Let j = -326 + 473. Let u = j + -105. Is 7 a factor of u?
True
Let p = -96 - -147. Suppose 0 = 3*y - 3*i + p, 5*i - 12 - 28 = 2*y. Let w = -1 - y. Does 10 divide w?
False
Let m(q) be the first derivative of 2*q**3/3 + 11*q**2/2 + 9*q + 13. Is 13 a factor of m(-14)?
True
Let j(s) = -7*s - 16. Let g(p) = 6*p + 16. Let f(h) = 6*g(h) + 5*j(h). Is f(-6) even?
True
Suppose 0*r = 5*p - r + 97, -12 = 4*r. Suppose 3*v - s + 102 = 332, -2*s - 229 = -3*v. Does 5 divide (p/(-14))/(11/v)?
True
Let z(w) = 3*w + 6*w**2 + 1 - w**2 + 19. Does 11 divide z(-4)?
True
Suppose 2*g + 4*m - 657 + 9 = 0, 648 = 2*g - 4*m. Is g a multiple of 27?
True
Let z be (-45)/2*(-18)/15. Suppose -v + z = -1. Suppose 5*q - v = q. Does 3 divide q?
False
Suppose 2*v - b = -0*b + 14, -b = v - 10. Let a be 1*-20*v/(-16). Suppose -5*u - 250 = -a*u. Is u a multiple of 25?
True
Suppose 12*g + 4*n = 8*g + 1556, -2*g - n + 773 = 0. Is g a multiple of 8?
True
Let w = -19 + 2. Let r = w - -11. Let d = r + 14. Is d a multiple of 3?
False
Let q(t) = -2*t + 10. Let m = 2 + 50. Suppose -2*i - m = 2*i. Does 9 divide q(i)?
True
Let j = 128 + 147. Is j a multiple of 11?
True
Let p = 15 + -20. Let o = p + 10. Suppose 3*h = 3*x - x - 36, 3*x = -o*h + 92. Is x a multiple of 12?
True
Let d = 124 - 106. Does 3 divide d?
True
Let h(r) be the first derivative of 2*r**2 + 2/3*r**3 - 9 + r. Is h(-3) a multiple of 5?
False
Suppose 1 = 5*f + 6. Let j be f/(-2 - (-34)/16). Let s(z) = -z**3 - 8*z**2 - 3*z + 1. Is 12 a factor of s(j)?
False
Let w(j) = j**3 + j - 7. Let q be w(0). Let k(c) = -c**3 - 6*c**2 + 6*c - 2. Is k(q) a multiple of 2?
False
Let b = -106 + 306. Is b a multiple of 40?
True
Suppose -5*w - 460 = -2*d, -3*w + 5*d - 2*d = 285. Let o = -42 - w. Let j = 69 - o. Is j a multiple of 6?
False
Let p = 45 + -54. Let t = p + 66. Is 32 a factor of t?
False
Let v(g) = -g**3 + 8*g**2 + 16*g + 19. Does 27 divide v(-6)?
False
Let g = 209 - 145. Does 4 divide g?
True
Let a(u) = 2*u + 16. Let r be a(-8). Suppose 2*x - x + 1 = -t, r = 4*x + 16. Suppose 57 = t*b + 12. Is 5 a factor of b?
True
Suppose 7*c - 13*c = 30. Let x(g) = -3 + 0 + g**2 + 4*g + 0. Is x(c) even?
True
Suppose -105*q + 1053 = -92*q. Is q a multiple of 3?
True
Is 49 a factor of -2*(3 - 349/2)?
True
Is 57 a factor of 56 + ((-5)/((-15)/9) - 2)?
True
Suppose -4*w + w + 2*a = -158, 3*w = 5*a + 143. Suppose 31*u = 23*u + w. Is 3 a factor of u?
False
Suppose d = -0*s - 4*s + 59, 82 = 2*d - 4*s. Suppose -2*f - 3*p = -193, 2*f - 234 = 3*p - d. Is f a multiple of 15?
False
Let c = 504 + -400. Is 8 a factor of c?
True
Let a(y) = y**2 + 14*y - 10. Let g be a(-11). Let h = g + 153. Is 15 a factor of h?
False
Let n(o) = -9*o**3 - 16*o**3 + 24 - 23. Is n(-1) a multiple of 6?
False
Suppose 6*r - r - 440 = 0. Suppose 4*x - r = 2*x. Does 11 divide x?
True
Let h(w) = -11*w - 3*w**2 - 3*w**2 + w**3 + 3 - 1. Is h(8) a multiple of 7?
True
Let g(n) = 1038*n**3 - n. Does 13 divide g(1)?
False
Let a = 1256 - 833. Is a a multiple of 47?
True
Suppose 0 = 3*k - 0*k - 3. Let c(g) = 8*g**3 + 1. Let h be c(k). Suppose 2*i - 22 = 5*w, -h + 42 = 3*i + 5*w. Is i a multiple of 11?
True
Let x(f) = -12*f + 9. Let w be 1/(-2)*(-10 - -2). Suppose w*h = -l - 4, 4*l + 29 = l + 5*h. Does 35 divide x(l)?
True
Let q(x) = 13*x**2 + 2*x - 2. Let m be q(1). Suppose -m = 5*j + 2. Is 11 a factor of (-729)/(-12) - j/12?
False
Let y = -8 - -11. Suppose 8*m - 10 = y*m. Suppose -5*q + f + 216 = 0, -4*f = m*q - 5*q + 116. Is q a multiple of 6?
False
Suppose 2*a - 50 = -3*a. Let u(k) = 2*k - 15. Let i be u(a). Suppose -2*y - 6 = 0, 2*t - 3*y + i*y - 14 = 0. Is 4 a factor of t?
False
Let z(o) be the first derivative of 5*o**2/2 - 23*o + 5. Let b be z(10). Let v = 2 + b. Does 16 divide v?
False
Let h = -1242 + 1965. Does 45 divide h?
False
Suppose 32 = -3*k + 7*k. Is 25 a factor of (250*(-2)/k)/(2/(-4))?
True
Suppose 2*j - 29 = j. Is 11 a factor of (-3 + 1)*j/(-2)?
False
Let d(u) = -u**2 - 3*u + 2. Let z be d(-3). Does 5 divide (20/8)/(1/z)?
True
Suppose 5*t + 9050 = 5*h, -4*h - t = -3*h - 1808. Does 9 divide h?
True
Suppose 18*v = 40384 + 8252. Is v a multiple of 54?
False
Let d be 28/4*(-4)/(-14). Let i be d/(-12) - (-2)/12. Suppose i*q - q + 60 = 0. Is 30 a factor of q?
True
Let m(i) = -i**3 + 2*i**2 - 9*i - 66. Is m(-6) a multiple of 23?
True
Suppose -18910 = 84*m - 89*m - 5*z, z = -1. Is m a multiple of 13?
True
Suppose 5*o + 3*u = 3*o + 24, 0 = -2*o + 2*u + 4. Suppose -3*d + 273 = 3*y + d, o = 2*d. Does 13 divide y?
False
Suppose 7*n - n - 6162 = 0. Is n a multiple of 13?
True
Let u be 6*(2/(-7))/(28/(-49)). Let o = 24 - u. Does 7 divide o?
True
Let h(d) = d**3 - 5*d**2 - 2*d + 10. Let x be h(5). Suppose -j + 0*j + 94 = x. Does 9 divide j?
False
Let b(n) = -28*n - 4. Suppose -7*h + 12 = -11*h. Does 16 divide b(h)?
True
Let b(r) = 5*r**2 - 8*r + 183. Does 42 divide b(-15)?
True
Let r(l) be the third derivative of l**4/12 - l**3/3 + 2*l**2 + 60. Suppose t = -0 + 5. Does 2 divide r(t)?
True
Let w be (7 + 8)/((-1)/(-18)). Suppose -3*z = 4*h - 140, w - 45 = 5*z + 5*h. Is 8 a factor of z?
True
Suppose -4*s + 9*x + 222 = 7*x, s = -3*x + 66. Does 4 divide s?
False
Let b(w) = w**2 - 6*w - 3. Let f be b(-7). Let l = f + -50. Is 38 a factor of l?
True
Does 51 divide (2/(-5) + (-40832)/(-80))*1?
True
Let g(y) = -y**2 - 8*y + 3. Suppose 0 = 2*j - 4*j + 30. Let o be (-10)/j*42/4. Is g(o) a multiple of 8?
False
Suppose -3*g - 2*o = -2510, -3*o = -9*g + 4*g + 4215. Is g a multiple of 20?
True
Let w(g) = -82*g + 2. Let v be w(2). Let i = 276 + v. Does 13 divide i?
False
Let p(f) = f - 7. Let x be p(9). Suppose 5*h - 34 = a + 2*a, 0 = -5*a + x*h - 82. Is 14/4*a/(-9) a multiple of 4?
False
Let l(t) = -t**3 - t**2 + 2. Let c be l(0). Suppose -c*z + 2 = -8. Suppose -24 = z*i - 9*i. Is 6 a factor of i?
True
Let u = -447 - -1685. Does 53 divide u?
False
Let s be 216/1*(-6)/(-12). Suppose -s = -q + 75. Is 19 a factor of q?
False
Suppose -5*t + 10 = -10. Suppose 198 = t*s - 3*v + v, 0 = -s - 3*v + 60. Is 14 a factor of s?
False
Suppose -4*j - 40 - 60 = -2*c, -250 = -5*c + 4*j. Is c a multiple of 50?
True
Let u(h) = 6*h + 16. Let n(l) = -2*l - 6. Let q be n(-5). Is u(q) a multiple of 5?
True
Let i = 59 + -33. Let c = i - 10. Is 16 a factor of c?
True
Let m = 265 - 115. Is 10 a factor of m?
True
Let h(f) = f**2 + 8*f + 89. Does 20 divide h(-7)?
False
Let p(i) = -40*i + 1130. Does 10 divide p(0)?
True
Let u be ((-27)/(-5))/(6/20). Suppose -2 = -2*l - 2*o, -5*l = -5*o + u + 17. Is 9/(l + (-22)/(-7)) a multiple of 13?
False
Let u = 1314 + -357. Does 16 divide u?
False
Suppose 1 = 5*u - 9. Let z = u + 2. Suppose 4*x = x + 3*h + 90, 