 + 2. Let m be f(3). Is m - z - (-16)/2 a multiple of 3?
False
Let w be 3 - 6*(-4)/4. Suppose -4*o + 2*o + 36 = 0. Does 3 divide w/(-5)*(-60)/o?
True
Suppose -33 + 7 = 2*l. Let k(b) be the second derivative of b**4/12 + 13*b**3/6 + 5*b**2/2 - 8*b. Does 5 divide k(l)?
True
Suppose 3*u + 21 = 4*u. Suppose -4*c = 85 - u. Let m = c - -35. Does 9 divide m?
False
Let m(j) = 4*j**2 + j - 5. Is 8 a factor of m(-7)?
True
Let q(m) = -m**3 + 10*m**2 + 9*m - 23. Suppose 5*u = -5*w + 45, -11*w + 6*w + 27 = -4*u. Does 34 divide q(w)?
False
Let p(g) = g**3 - 5*g**2 + 8*g + 5. Let q(h) = h**3 - 7*h**2 + 3*h - 1. Let b be q(7). Let o be (-2 - b/(-4)) + 3. Is p(o) a multiple of 19?
False
Let j(d) = -31*d + 29. Is j(-2) a multiple of 13?
True
Let a(y) = -6*y. Let x = -27 - -25. Is a(x) a multiple of 6?
True
Suppose -14*o = -9*o - 4630. Is o a multiple of 14?
False
Suppose -2*j = 186 + 372. Let q = -123 - j. Let k = q + -106. Does 10 divide k?
True
Let r(x) = -x**3 - x**2 - 6*x. Is r(-3) a multiple of 3?
True
Let k be 3*((-11)/(-3) - -2). Let b be k + (3 - 0) + -2. Does 10 divide 1/(-6) - (-723)/b?
True
Let j(p) = -25*p - 5. Let g be j(-5). Suppose -242 = -4*r - f + 5, 2*r = -4*f + g. Is r a multiple of 19?
False
Suppose 14 = -h + 1. Let g = h + 67. Is g a multiple of 6?
True
Let u be 4 + 3 + 23*-2. Let z = u - -187. Is 20 a factor of z?
False
Let i = -9 + 20. Let c = 13 - i. Does 7 divide ((-112)/(-6))/(c/3)?
True
Let f(c) = -15*c - 16. Is 3 a factor of f(-7)?
False
Suppose 3*p - 4*d = 6, -2*d = -6*p + 3*p. Let v = 3 - p. Does 7 divide v/((-20)/(-8)) + 21?
False
Suppose -b - 4*h = -0*b + 17, b - 4*h - 23 = 0. Let p(z) = -z**2 + 7*z - 2. Let c be p(b). Let y = -4 + c. Does 6 divide y?
True
Suppose 3*q = -g - 2*q + 40, 4*g = -q + 84. Is 7/((-28)/g) - -101 a multiple of 6?
True
Let a(o) = -o**2 - 29*o + 2. Is 3 a factor of a(-18)?
False
Suppose 4*o - 6 = -5*y + 17, 2*y = 4*o - 2. Suppose -h - 2*h + 108 = o*g, -4*g + 2*h = -232. Does 19 divide g?
True
Is (1/5)/(4/10820) a multiple of 4?
False
Suppose -3*p - 26 = -5*k, 4*k - 10 = -3*p - 0. Let m be (0 - 8)/(k/(-2)). Does 31 divide -2 + 2*90/m?
False
Let i(f) = -121*f + 111*f + 13 + f**2 + 0*f**2. Let h be i(9). Does 10 divide 133/3 + h/(-12)?
False
Let r be 6*(3 + 115/10). Let z = -59 + r. Is z a multiple of 5?
False
Let l be (-6)/(-2)*2*(-48)/(-18). Is (l/(-28) - 19/(-21))*33 a multiple of 11?
True
Let z = 234 + -80. Is 18 a factor of z?
False
Let x(i) = i**3 + 6*i**2 - i + 6. Let s(r) = r**3 + 4*r**2 + 3*r + 3. Let f be s(-4). Let h = f - -3. Is 6 a factor of x(h)?
True
Suppose 61*z - 76*z = -26940. Does 3 divide z?
False
Suppose 5821 = 2*a - 2033. Does 51 divide a?
True
Let y(z) = -z**2 + 8*z - 11. Let b be y(6). Is 4 a factor of 682/22 + (5 - b)?
False
Let g = 1623 - 634. Is g a multiple of 43?
True
Let f = 182 - 26. Does 12 divide f?
True
Let d be ((-1260)/50)/((-2)/5). Let r = d - -69. Is r a multiple of 11?
True
Suppose 4*d + 11 = -5*w, -4*d - 7 = -3*w - 3*d. Let s = w - -19. Is 6 a factor of s?
False
Let s = -71 + 83. Let z(j) = j**3 - 9*j**2 - 17*j + 16. Is z(s) a multiple of 36?
False
Let y = -40 + 42. Suppose -4*w = -4*r + 20, -y*r + 7*r + w = 31. Is r a multiple of 6?
True
Let u(b) = 6*b**2 - 8. Suppose 2*y - 4*x = -26, 2*y - 14 = -0*y - 4*x. Does 27 divide u(y)?
False
Let u(r) = r**2 - 10*r + 1. Suppose 0 = 5*q - 2*q - 33. Is u(q) a multiple of 12?
True
Suppose 31 = 2*m + 23. Is 25 - 0*(-1)/m a multiple of 6?
False
Let g(u) be the second derivative of u**5/20 - u**4/12 - 2*u**3/3 - 3*u**2/2 - 4*u. Does 10 divide g(5)?
False
Suppose 81*i - 61*i = 2940. Is i a multiple of 5?
False
Let n(r) = -r**3 + r**2 - 3. Let f be n(0). Let b be (-12)/(-18) - 16/f. Suppose -9 = -p + b. Does 5 divide p?
True
Suppose -2*c = 2*q - 344, 0 = -5*c + q + q + 832. Is c a multiple of 10?
False
Does 13 divide -4 + 722/((-6)/(2 + -5))?
False
Suppose -f - 6 = f + 4*k, 0 = 5*f - 3*k - 24. Suppose 5*u + 7 = -2*w, 3*w = -f*u - u. Suppose v - 16 = -w. Does 4 divide v?
True
Let s(p) = p**3 + 13*p**2 + 13*p + 14. Let u be s(-12). Let l = -5 + 11. Suppose -n + 5 = 0, 3*n = u*r + r - l. Is 2 a factor of r?
False
Suppose -957 - 1731 = -2*s. Is 56 a factor of s?
True
Suppose 17*b - 14476 = -281. Is b a multiple of 26?
False
Let w be -7 + (-2 - (-3 - 1)). Does 20 divide (3 + 93/(-5))/(1/w)?
False
Suppose -6*t = -14*t + 32. Suppose 2*g + b = 76, 2*g + 88 = t*g + 4*b. Is 12 a factor of g?
True
Let o = 21 + 174. Does 5 divide o?
True
Let o(p) = p**3 - 20*p**2 + 5*p - 108. Let t be o(20). Let w(v) = 2*v - 13. Let c(h) = -3*h + 25. Let f(m) = -2*c(m) - 5*w(m). Is 7 a factor of f(t)?
False
Let h = -21 + 24. Suppose -4*t + 2*d = -10, 0*d - h = 3*d. Suppose -t*c + 45 + 29 = 0. Is c a multiple of 5?
False
Let h(j) = 47*j**2 + j + 30. Does 15 divide h(-3)?
True
Let x = -96 + 111. Suppose 0 = -19*h + x*h + 640. Does 16 divide h?
True
Let h = 13 - -29. Suppose 0*z = -2*z - h. Is 7 a factor of 94/14 + (-6)/z?
True
Suppose 0*o + 3*o = k + 48, 2*o - 292 = 5*k. Let m = k + 87. Is 9 a factor of m?
True
Suppose -l - 347 = 5*q, q - l + 283 = -3*q. Let s be q/(36/8 + -4). Is 14 a factor of (s/(-6))/((-5)/(-15))?
True
Suppose 0 = -6*u + 220 + 3386. Does 51 divide u?
False
Let w be 0 - 396/(-5 + 1). Suppose 0 = 2*u - w - 21. Is 20 a factor of u?
True
Let p(f) = 10*f + 10 + 2*f - f**3 + 0*f + 0*f**3 + 9*f**2. Let v = -13 - -23. Is p(v) a multiple of 10?
True
Suppose -36*m + o - 1221 = -40*m, 5*m + 3*o = 1521. Is m a multiple of 6?
True
Does 4 divide 10/4*580/25?
False
Let y = -10 - -12. Let l(g) = -9*g**2 - 29 + 28 + 32*g**y. Is 4 a factor of l(1)?
False
Suppose -h - 2*h - 22 = -u, 3*h = -u - 14. Is (-12)/h - (-161 - 2) a multiple of 35?
False
Let b(i) = -38*i - 34. Is 25 a factor of b(-3)?
False
Let w = -163 + 180. Does 17 divide w?
True
Suppose 4*r + 11 = i, -3*i + 42 = -2*r - r. Suppose -80 = -i*c + 14*c. Is 10 a factor of c?
True
Suppose 3*a = 3*x - 9, -4*a = -2*x + 3*x + 22. Let k(i) = -2*i**3 + 5*i**2 + 4*i - 5. Let c(o) = o**2 + o - 1. Let q(t) = -4*c(t) + k(t). Is 9 a factor of q(x)?
False
Let r = 4412 + -2837. Is r a multiple of 15?
True
Let g(r) = -r**2 + 14*r - 4. Let z be g(11). Let f be (-2)/2 - 0 - 34. Let s = z - f. Does 32 divide s?
True
Let k = -8 + 110. Suppose -k = 4*l - 342. Suppose 4*x + 4*u = 3*x + l, 3*u = 9. Does 27 divide x?
False
Let u(a) = a**3 - 9*a**2 - 26*a - 11. Is u(12) a multiple of 4?
False
Let v = 2156 + -940. Is v a multiple of 64?
True
Let z be ((-8)/2 - -12)/2. Suppose z*x - x = 120. Is x a multiple of 20?
True
Suppose -2*y = -4*n - y + 242, -3*y = -5*n + 299. Is 17 a factor of n?
False
Let q = -16 + 18. Suppose 2*d + q*r = 7 + 71, -d - 5*r = -47. Is d a multiple of 34?
False
Let t(g) = g**3 + 10*g**2 - 10*g + 20. Let c be t(-11). Let z(r) = 7*r + 19. Is z(c) a multiple of 15?
False
Suppose 5*i = u - 2882, -2*i - 4419 = 4*u - 15947. Does 22 divide u?
True
Let n(c) = 83*c + 515. Does 6 divide n(-6)?
False
Let x = -269 - -302. Is 2 a factor of x?
False
Let z be (-44)/3 + 8/12. Let r = 18 - z. Does 16 divide r?
True
Let a be (-3 + 1)/(7/((-343)/2)). Suppose -5*i = 4*g - 29, 0*g - 5*g - 2*i = -a. Is 2 a factor of g?
False
Let t be -34*(-7 + 0 + -1). Is 11 a factor of t/6 + -2 + 6/9?
True
Let d(j) = -j**3 - 18*j**2 + 18*j - 14. Let a be d(-19). Let t = a - -27. Does 16 divide t?
True
Let x(j) = 5*j**2 + 2*j - 4. Let s be 4 + 4/(-16)*0. Is x(s) a multiple of 21?
True
Let w = 3 - 1. Let z be 369/(-9) + 2/w. Let l = -22 - z. Is 9 a factor of l?
True
Let j = 247 + -544. Let b = -171 - j. Is b a multiple of 14?
True
Let o(t) = 0*t**2 + 2*t**2 - 8*t + 2*t**2 - 5*t**2. Suppose 4*j = -3*u - 1 - 29, -j + 5*u + 4 = 0. Is o(j) a multiple of 4?
True
Suppose 0 = -9*x - 237 + 84. Let i(h) = -1272*h - 1. Let n be i(1). Is (-4)/(-34) + n/x a multiple of 15?
True
Let o = 120 - 58. Suppose -2*z + o = -r, -4*z + 4*r - 6 = -134. Let h = -21 + z. Does 8 divide h?
False
Let d(v) = 2*v**2 + 5*v - 7. Let r be (-1 + 3 + 15/(-6))*10. Does 4 divide d(r)?
False
Suppose -6*v - 20 = -v + 5*o, 2*v - 17 = 3*o. Suppose -4*r - v = -i, -i = 3*r - 22 - 7. Is 9 a factor of i?
False
Let k = 35 - 25. Let q = k - 8. Is 2 a factor of 14*q/4 - 2?
False
Suppose -4*z + 6 = 22. Let t be 6 - (-2)/z*-2. Suppose 97 = 2*l - t. Is 20 a factor of l?
False
Suppose 0 = z + 5*w -