36 + 66627/12?
False
Let k(h) = 3*h**3 + h**2 - 11*h - 9*h**2 - 14*h + 113. Does 25 divide k(7)?
True
Let p(j) = 3*j**3 + 17*j**2 + 7*j - 2. Let c = 158 + -163. Is p(c) a multiple of 13?
True
Suppose -x - 169 = 5*o, -4*x + 5*o = 95 + 706. Let z = x - -629. Does 15 divide z?
True
Let t(n) = n**3 - 80*n**2 + 19*n + 11. Is 45 a factor of t(82)?
False
Let r be -1 - -3 - 0/(-5). Suppose -5*j - 104 = -r*f - j, 0 = f + 2*j - 68. Let q = f - 41. Does 3 divide q?
False
Let a(o) be the third derivative of 13*o**5/6 + o**4/12 + 2*o**3/3 - 81*o**2 + 1. Does 59 divide a(3)?
True
Let z(m) = 2*m**2 - m**3 + 7*m - 4*m**2 + 8 + 8*m**2. Let l be z(8). Let w = 100 + l. Is w a multiple of 12?
True
Is ((-117)/135 + 2/(-6))*446420/(-39) a multiple of 101?
True
Suppose -219*n + 5377883 = -58*n. Is n a multiple of 97?
False
Is 15*((-398)/(-4))/(-1)*550/(-825) a multiple of 90?
False
Suppose 5*n - 2 = 18. Is 12 a factor of 4 + (-2)/n*-1192?
True
Let c be (-2)/(-2) - (-304 + 6). Let h = -203 + c. Is 15 a factor of h?
False
Let h = -51609 + 100664. Is h a multiple of 91?
False
Let t be (3 - 5)/(-2*1). Suppose -5*p - 4 = t, -5*i + 4*p + 29 = 0. Suppose -i*x + f + 66 = 0, 3*f - 10 = -x - 0*x. Does 4 divide x?
False
Let a(q) = -q + 11. Let l be a(-8). Suppose 2*n = -11 + l. Suppose 0 = x - n*z - 108, 2*z - 3*z = -2*x + 195. Is 12 a factor of x?
True
Suppose -7 - 11 = -6*t. Suppose -5*v = 4*c - 78, -c = t*v - 0*c - 44. Is 16 a factor of (4 - 8/14)*v?
True
Let x(t) = 4*t**2 + t - 1. Let p be x(1). Let a be 1/((p/(-112))/(30/(-8))). Is 4*(-1)/1 + a a multiple of 27?
False
Let z be -1 + 2 + (-128)/(-4). Let v = z + -29. Suppose i + v*i = 200. Does 10 divide i?
True
Let n be (3/4)/((-8)/(-32)). Let d(l) = -23*l**3 + 224*l**3 - 31*l**n + l - 2. Is d(1) a multiple of 14?
False
Let m = -1958 + 6758. Does 8 divide m?
True
Let t = 35 + -35. Suppose 0*j = 2*j + 4*a - 168, t = 3*a. Suppose -6*d + 30 = -j. Is d a multiple of 3?
False
Suppose -2 = -x - 5. Let g be x/7 - (-1 - (-120)/(-35)). Suppose -5*a - 4*l = -129, g*a - 105 = -5*l - 0*l. Is a a multiple of 6?
False
Let w(s) = 532*s - 76. Let z be w(7). Is ((-4)/12)/((-4)/z) a multiple of 8?
True
Let q(v) = 27*v + 29. Let g(x) = 5*x + 6. Let h(o) = 11*g(o) - 2*q(o). Let z = -23 + 37. Does 9 divide h(z)?
False
Suppose 0 = 4*c + 7*c - 154. Suppose c*v + 12 = -184. Is 10 a factor of (v*2)/(10/(-60))?
False
Is (4/8)/(7/((-490)/(-7))) - -15903 a multiple of 34?
False
Let v = 49694 + -35342. Does 46 divide v?
True
Let j be (-29 - -32)/(3/2). Suppose -2*n - n + 2536 = -2*x, -j*n + x + 1692 = 0. Is n a multiple of 16?
True
Suppose 12*f + 1 = 1. Suppose 1416 = 4*t - u, f = -t - 4*t + 4*u + 1759. Is t a multiple of 21?
False
Suppose -7*h + 10366 = 2281. Let y be h/(-28) + (-1)/(-4). Let v = 31 - y. Does 8 divide v?
True
Let p be -6 + (-19)/((-38)/2796). Suppose p = 2*h - 98. Is 66 a factor of h?
False
Let h(l) = 16*l**2 - 3. Let f be h(-4). Let g = 600 - f. Is 25 a factor of g?
False
Let r = -10 + -3. Suppose 8874 = -35*j + 44*j. Does 12 divide 24/156 - j/r?
False
Let p(v) = -v - 2. Let i be p(-4). Let o be (5/i - 1) + 42/84. Suppose -539 = -o*k - 5*k. Is k a multiple of 11?
True
Let f = 2432 + 710. Does 9 divide f?
False
Suppose 0 = 11*b - 10*b - 3. Let j(v) = v**2 + 11*v + 29. Let p be j(-5). Is 5 a factor of ((-5)/b)/(p/24)?
True
Let f(k) = 23 + 41*k**2 - 163*k**2 + 80*k**2 + 2*k**3 + 15*k. Is f(21) a multiple of 8?
False
Is 37853/13 + 573/2483 a multiple of 57?
False
Suppose 2*v = c - 591, 3*c - 589 = -2*v + 4*v. Let b = v - -761. Is 31 a factor of b?
True
Suppose 0 = -2*t + 57 - 5. Suppose -32*f + t*f + 30 = 0. Suppose 4*q = 5*o + 105, f*q - 130 = o + 4*o. Is 21 a factor of q?
False
Suppose -3*y + 4*k + 1262 = -2*y, k = 5. Let j = 1902 - y. Is j a multiple of 13?
False
Let c = -117 - -229. Is 23 a factor of -3*(-6)/9*(c + 1)?
False
Let d be (4/(-6))/((-10)/(-135)). Let v be (-723)/d*3 - 1. Suppose 6*j - v = 2*j. Is j a multiple of 15?
True
Suppose 2*i - 540 = -0*i + 3*o, -i + 259 = 4*o. Let g = i + -107. Is 20 a factor of g?
True
Suppose 6*t = 3*t - p + 2977, -t - 3*p = -979. Suppose -12*o + t = -5*o. Is o a multiple of 17?
False
Let f = -6307 - -6544. Is 5 a factor of f?
False
Let j(y) = y**3 - 3*y**2 + 3*y - 1. Let p = 2 - 1. Let v be j(p). Suppose v = 7*t - 30 - 12. Is 6 a factor of t?
True
Let v be 7*6/(-12)*(-2 + 0). Is 11 a factor of v/((-35)/(-4))*790 - -6?
True
Let t = -579 + 584. Is 43 a factor of t + -2 - -400*3?
False
Let z = 5715 - -1544. Is 15 a factor of z?
False
Let b(w) = 9*w**3 + 4*w**2 - 14*w - 16. Let n(r) = -8*r**3 - 5*r**2 + 13*r + 16. Let u(f) = 6*b(f) + 7*n(f). Is u(-8) a multiple of 40?
True
Suppose 852 = 7*z - 13*z. Let v = 61 - z. Is v a multiple of 26?
False
Suppose 2*c + 6 = -2*i, -i - i - 4*c = 12. Suppose 4*w - 29 - 3 = i. Is 3 a factor of ((-6)/w)/(12/(-720))?
True
Let v = 69131 - 35477. Does 6 divide v?
True
Suppose -616*j + 25353 = -607*j. Is j a multiple of 45?
False
Let w be (-60)/((8/20)/((-4)/(-15))). Is 35 a factor of (w/(-70))/(-2) - (-9312)/7?
True
Suppose 1364023 = 18*x + 168*x + 111499. Does 14 divide x?
True
Let p = 43 - 2. Let b = -9 + p. Suppose -29 = i - b. Is 3 a factor of i?
True
Let c be 2454/15 + ((-18)/5 - -4). Suppose -5*j + 3*q + 21 = 0, 2*q = 5*q + 6. Suppose -4*u = 4*g - c, 2*g + j*u - 135 = -57. Is g a multiple of 7?
False
Suppose -3*t = 3 + 9. Let r be (t/6)/(2*4/(-12)). Is 96*-1*(r + -2) a multiple of 10?
False
Suppose -2*f + w + 8 = -w, 5*f - 4*w - 17 = 0. Suppose f = -3*z - 8. Is 22*(2/z + 48/18) a multiple of 14?
False
Let l(z) be the third derivative of z**5/30 - z**4/12 + 17*z**3/3 - 49*z**2. Does 11 divide l(-5)?
False
Let q = 959 - 543. Is q a multiple of 26?
True
Let d = -60 + 63. Let p be (d*(-262)/12)/(2/(-4)). Let a = 198 - p. Does 5 divide a?
False
Suppose -v - 30 + 3 = 0. Let i be 54/v + 3*2. Suppose -p + 109 = -0*p + 5*y, 3*y - 385 = -i*p. Does 29 divide p?
False
Let b be -2*5/10*0 - -11. Let c(v) = -v**3 + 11*v**2 + 28*v - 27. Does 7 divide c(b)?
False
Let k be (18/12)/(3/(-6)) - -11. Is 23 a factor of (-689)/(-2) + 4/k?
True
Suppose 40572 = 3*j - 21*s + 18*s, 0 = 3*j - 4*s - 40578. Is j a multiple of 12?
False
Let c(x) = 4*x - 106. Let v be c(36). Suppose -29*d - 288 = -v*d. Is 5 a factor of d?
False
Let r = -16 + 31. Let x(g) = -20 - r + 59*g + 36. Is 17 a factor of x(2)?
True
Let v(u) = -2*u - 16. Let m be v(-9). Suppose 2*r = -m*r + 16. Suppose -31 = -r*p + 865. Is 28 a factor of p?
True
Suppose -5*k = -5*y - 265, -y - 63 = -5*k + 190. Is 4 a factor of (-2)/10 + -7 + 6060/k?
False
Suppose 0 = -m - 4, -3*j = m + 5 - 1. Let h = j + 94. Is h a multiple of 10?
False
Suppose 53*r - 96979 = 33242. Suppose 0 = 7*f - r - 5999. Does 43 divide f?
False
Let t(b) be the third derivative of b**6/60 + b**5/5 + 3*b**3/2 + 16*b**2. Let h be t(-6). Suppose h = -5*i + 14, -5*i = -3*d + 196. Is d a multiple of 8?
False
Suppose 2*z = -1 + 5. Suppose 4*m = x + z*m - 30, -4*x + m = -113. Let i = x + 24. Is i a multiple of 12?
False
Suppose -33*k = -32*k + 2*d - 1404, -3*d + 1402 = k. Is 44 a factor of k?
True
Let c be (4 + (-8 - 0))*-2. Suppose -2*v = -b + 1, c = -4*v + 3*b - 7*b. Is (20/(-25))/(v/60) a multiple of 12?
True
Suppose -w - w - q = -11, 0 = -w + 5*q - 11. Suppose w*j = 4*o - 468, j = o + 3*j - 102. Does 3 divide o?
False
Let x be ((-16632)/45)/(2/95). Let o be ((1 + 0)/1)/((-33)/x). Suppose 4*b - 24 = o. Does 24 divide b?
False
Suppose -5*d + d + 4147 = s, 16 = 4*d. Is 27 a factor of s?
True
Let r(x) = 45*x**2 - 17*x + 448. Is 300 a factor of r(29)?
True
Suppose 22*b + 5*b + 45*b = 365904. Is b a multiple of 22?
True
Is 16 a factor of ((-384)/(-40))/(-3)*5*-46?
True
Let b(d) = 15*d**2 + 9*d - 26. Let s be b(-9). Let q = s - 16. Does 84 divide q?
True
Suppose 5*g = 11*g + 24. Let m(v) = -14*v**3 - 3*v**2 + v - 21. Is 33 a factor of m(g)?
False
Let s(u) = u**3 - 8*u**2 - 3*u + 26. Let p be s(8). Let x(k) = 34*k**3 - k**2 - 3*k + 3. Does 20 divide x(p)?
False
Suppose 425*v - 429*v = 0. Let w(d) = d**3 + d**2 + d - 1. Let s(h) = -2*h**3 + h**2 + 3*h - 57. Let y(l) = -s(l) - w(l). Is 11 a factor of y(v)?
False
Suppose -3*k + 46 - 67 = 0. Let v(l) = -l**3 - 4*l**2 + 7*l + 12. Is 13 a factor of v(k)?
False
Suppose 131 + 89 = 2*v. Let s = -22 + v. Let t = 136 - s. Is t a mult