3)/s*2)?
False
Let l(b) = -12*b**3 + 18*b**2 + 7*b - 28. Does 39 divide l(-8)?
False
Let o(w) = w + 9. Let n be o(-6). Does 9 divide (n - -1) + 9 + -9 - -13?
False
Suppose i - 4*i = -12. Let p(r) = -2*r + 40 - i*r - 2*r**2 + 7*r. Is p(0) a multiple of 20?
True
Suppose 5*m = 12 + 3. Suppose -m*d + 15 = 0, -2*d - 2*d = -2*y - 16. Is 11 a factor of ((-83)/(-2) - 3)*y?
True
Suppose -11*a - 2391 = -213. Let i = a - -355. Is i a multiple of 28?
False
Let m(j) = -6*j - 8. Let t be m(3). Let b = t - -28. Does 8 divide ((-9)/b)/((-5)/10)?
False
Let p(j) = -3*j + 27. Let w be p(8). Suppose 0 = w*t - 12 + 39. Does 12 divide (-224)/36 + 6 - 110/t?
True
Let u be -2 - -30*6/3. Suppose u*h = 66*h - 3520. Is 55 a factor of h?
True
Let y = 5 - -31. Let v = 49 - y. Suppose -v*m = -8*m - 40. Does 4 divide m?
True
Let n be (1/((-28)/16))/(2/(-7)). Let h(m) = -19*m**n + 46 - 5 - m**3 - 32*m + 11*m. Is h(-18) a multiple of 19?
True
Let q = -1308 + 2141. Does 98 divide q?
False
Let g be 34/4*9/(63/10388). Is 32 a factor of (g/(-8))/(-7) + 5/(-4)?
True
Let k(p) = p**2 + 14*p - 23. Let f be k(5). Suppose g - f = -u + 6, -g + 378 = 5*u. Does 3 divide u?
True
Let b(t) = t**2 + 11*t - 155. Suppose -56*s = -47*s - 270. Does 43 divide b(s)?
True
Suppose 3*i + 4*d = 20445 + 5420, -24 = -3*d. Does 62 divide i?
False
Suppose 994*l - 297 = 991*l. Is 2 a factor of l?
False
Let c(y) = -y**3 - 6*y**2 - y - 2. Let d be c(-6). Suppose 4*q - 1700 = -4*h - h, -1736 = -4*q + d*h. Is 10 a factor of q?
True
Let s(k) = -k**2 - 11*k + 4. Let l be (-1610)/16 - (-30)/(-80). Let w = l - -96. Is s(w) a multiple of 3?
False
Suppose -5*t = -2*d - 2*d - 50, -6 = 3*t. Let y be d/(-12)*(4 + -3 + 3). Is 13 a factor of 4698/45 + (-2)/y?
True
Let y be 6/14 - 301535/(-91). Suppose 0 = -5*k - s + 4139, -k = -5*k + 2*s + y. Does 46 divide k?
True
Suppose -17*o + 3*o + 1260 = 0. Suppose 0 = -16*t + 19*t - o. Is t a multiple of 10?
True
Let r(y) = -y**3 - 5*y**2 - 6*y - 8. Let c be r(-4). Does 12 divide 36/(-5)*(c - 5)?
True
Suppose -113 = -5*v + 82. Suppose -5*l = v + 6. Let z = l + 12. Is z a multiple of 3?
True
Let w = 20288 - 15982. Does 5 divide w?
False
Suppose 23*r = 22*r + 3. Suppose -170 = r*l + 2*l. Let p = -6 - l. Is 14 a factor of p?
True
Suppose -5*v - 5*x + 40 = 0, 3*x = v - x + 17. Let p(z) = z**3 + z**2 + v - z**2 + 3 - 17*z + 4*z**2. Does 6 divide p(-6)?
True
Suppose -14*c + 57 = -391. Suppose 39*x - 945 = c*x. Is x a multiple of 27?
True
Let q(w) = -w**3 - 3*w**2 - 4*w - 20. Let b be q(-5). Let c be 42*(b/12 + -4). Is (-3 - 12)*1/(-3)*c a multiple of 3?
False
Suppose -4*i = -3*c - 465, -5*i - 2*c = -c - 567. Suppose -4*g = 5*u - 372, -g + 3*u + i = -u. Suppose -2*n + 5*t = 2*n - g, 3*t + 72 = 3*n. Does 5 divide n?
False
Let i(s) be the first derivative of -s**4/2 + s**3/3 - s**2/2 + s - 12. Let v be i(1). Does 28 divide v - (2 - (-1 - -32))?
True
Let l(n) = -355*n + 5. Let m be l(1). Is 8 a factor of (16/5)/((-10)/m)?
True
Let y = 7432 - 11887. Is 11 a factor of ((-6)/2)/(45/y)?
True
Let q(w) = -w**3 - 2*w + 4. Let a be q(0). Let o be (3 + 25)*a + -5. Does 11 divide o - (1/2)/((-4)/24)?
True
Suppose -4*l = 3*s - 81279, -38*s = 3*l - 37*s - 60968. Is l a multiple of 166?
False
Suppose 5*x - 21716 = -2*d + 7*x, 4*d - 43438 = x. Does 30 divide d?
True
Suppose -h + 19783 + 1634 = -3*a, 4*a - 3*h + 28551 = 0. Is 20 a factor of (a/(-816))/(1 + 30/(-32))?
True
Let c(u) = -u**2 + 6*u + 36. Suppose -4*k = -3*i + 2*i + 6, 0 = 5*i + k - 9. Suppose -6 = -i*b + 12. Is c(b) a multiple of 2?
False
Let z = -15519 + 39829. Does 187 divide z?
True
Let z(j) = -8*j + 312. Let a(b) = -3*b + 104. Let n(x) = 7*a(x) - 2*z(x). Suppose 4*u = -u. Is 13 a factor of n(u)?
True
Let c(y) = y + 30. Let a be c(-30). Suppose 0 = -2*o + 2*z - a*z + 548, 0 = -3*z + 15. Is 36 a factor of o?
False
Let c(s) = -3*s + 13. Let f be c(2). Suppose -2*w + 99 = -2*z + f*z, z - 23 = -2*w. Suppose 0 = -14*h + z*h - 150. Does 15 divide h?
True
Let j(b) = 42*b - 6. Let s(y) = 41*y - 6. Let t(u) = 6*j(u) - 5*s(u). Let p be t(4). Suppose p = 4*o - 50. Does 18 divide o?
False
Suppose 19 = 2*d + 21. Suppose 5*u + 0*u = -5. Is 15 a factor of d/(u/63) - 3?
True
Let y(j) = -4*j**3 - 3. Let z be (-1)/3*(-6 - -12). Is 2 a factor of y(z)?
False
Let b = 13087 - 11215. Is 12 a factor of b?
True
Suppose -26 = v + 1275. Let u = -355 - v. Is 8 a factor of u?
False
Suppose 3744 = -15*c + 31*c. Is c a multiple of 13?
True
Let f = -13319 + 20863. Does 8 divide f?
True
Let h be 3/(-6) - 329/2. Suppose 5*c = -4*q - 691, -2*c - 560 = 2*c + 5*q. Let u = c - h. Does 30 divide u?
True
Suppose 5*g = -2*w + 35000, 0 = -3*w - 3*g + 11134 + 41384. Is 85 a factor of w?
True
Suppose -g - 2*g = 3*w - 30, 0 = 2*g + 5*w - 32. Suppose -1296 = 3*b - g*b. Does 54 divide b?
True
Let z(u) = -u**3 + 3*u**2 + 10*u + 42. Let f = -157 - -152. Does 6 divide z(f)?
True
Let v = 699 - 427. Let l = 527 - v. Is 23 a factor of l?
False
Let h(d) = 78*d**2 + 3*d + 17. Let u be h(-3). Let g = u - 227. Is g a multiple of 23?
True
Suppose -7*m - 48 - 78 = 0. Does 42 divide 1291 - 2 - (m - -13)?
False
Suppose -2581 = -3*i + 1262. Is i a multiple of 21?
True
Let z(x) = -3*x**2 - x - 1. Let g be z(2). Let w be (10/g)/(1/(-6)). Suppose -w*a = n - 120, 27 = a + n - 3. Is 6 a factor of a?
True
Suppose 3*k - 24 - 75 = 0. Suppose -3*t - 3*c = -k, t = 4*t - 5*c - 25. Suppose 8*v = t*v - 254. Does 15 divide v?
False
Let q(j) = j**2 + j + 1. Let d be q(-2). Suppose p - 1 = -3, 135 = w + d*p. Suppose -17*n - w = -20*n. Is 5 a factor of n?
False
Let f(g) = -g + 1. Let l be f(-27). Suppose 2*h + l = 9*h. Suppose 3*m + h*j - 39 = -0*j, -15 = -5*j. Does 3 divide m?
True
Let b(x) = x**3 + 17*x**2 - 9*x + 5. Let z be b(-17). Let l = -64 + z. Is 47 a factor of l?
True
Let i be 2/11 - 4/22 - 34. Let d = -60 - -138. Let v = d + i. Is 22 a factor of v?
True
Let d(l) = l**3 - 10*l**2 + l**2 + 14*l**2 + 3*l. Suppose 2 = -m - 0. Does 3 divide d(m)?
True
Let s = -7517 - -17081. Does 13 divide s?
False
Let m(s) be the second derivative of s**5/20 - 13*s**4/6 - 25*s**3/6 + 3*s**2 + 78*s. Is 21 a factor of m(27)?
False
Let f = -7184 - -7710. Does 48 divide f?
False
Let o be (-5 - 0)*(2 + (-40)/(-25)). Is 2 - 2074/(-18) - (-4)/o a multiple of 39?
True
Suppose -3*p + 32 - 26 = 0. Suppose 2*g = p*o + 136, -2*g = -4*o + 8*o - 148. Is g a multiple of 14?
True
Let m(r) = -61*r**2 + r - 27. Let b be m(-4). Let w = 2013 + b. Is w a multiple of 32?
False
Suppose -3*w = 2*n - 5*n + 9, -2*w - 12 = -5*n. Suppose 2*j + 177 = -5*c, n*j + 31 = -c + 6*j. Is 5/(c/(-602)) + -1*3 a multiple of 24?
False
Suppose -3*r + 118 = -5*r. Suppose 15*u = -1205 - 70. Let s = r - u. Is 3 a factor of s?
False
Let t(v) = -8*v + 5. Let r(a) = -a**2 + a + 27. Let q be r(6). Let c be t(q). Suppose 24*j + 280 = c*j. Is j a multiple of 17?
False
Is 138 a factor of 7984715/145 + (-2 + 2 - (4 + 1))?
True
Suppose 3*t = -407 + 2267. Suppose -9*y = -t - 199. Does 17 divide y?
False
Suppose -4*r + 19 + 1 = 0. Suppose -5*c + 15 = 0, -1456 = -5*d - r*c + 1639. Is d a multiple of 14?
True
Let o(z) = z**3 - 10*z**2 + 18*z + 103. Let t be o(13). Suppose 0 = -5*q - 9 - 41. Is 12 a factor of 20/(-50) - t/q?
True
Suppose -4*z + 2*y = -10, 0 = 5*z - 2*y - 24 + 11. Suppose -2*f = -4*g - 564, -z*f + 5*g = -f - 560. Is 58 a factor of f?
True
Let l = -170 + 732. Suppose -5*h - 3*y = -l, 0 = 4*h + y + 99 - 543. Does 9 divide h?
False
Is 246*392/21*1 a multiple of 16?
True
Is (-2 + (-128)/(-10))/(-17 + (-39527)/(-2320)) a multiple of 12?
True
Let s(r) = 10*r**2 - 8*r + 2. Let a be s(-3). Let v = 336 - a. Does 59 divide (-7)/(2 - v/108)?
False
Suppose 44 = 8*u + 4. Suppose -5*q - u*v = -45, 0*q = q + 2*v - 12. Does 2 divide q?
True
Let b(g) = g**2 + 13*g + 176. Let r(o) = 6*o + 87. Let i(l) = 2*b(l) - 5*r(l). Is 16 a factor of i(-18)?
False
Suppose -22*t + 14607 - 1583 = 0. Suppose -4*i + 5*f + 597 = -3*i, 0 = -i + 4*f + t. Is i a multiple of 13?
True
Let b be 6/3*1 + (-10)/(-2). Suppose -5*k + 3*o + b = 0, -3*k + o = 2*o - 7. Suppose -215 = -k*u + 49. Is u a multiple of 25?
False
Suppose 4*n + 1194 = -m, -4*m - 5*n = 4140 + 592. Let a = m - -2362. Is 32 a factor of a?
True
Let w = 39 + -34. Suppose -321 + 71 = -w*u. Let x = 114 - u. Is 11 a factor of x?
False
Suppose -4*