15?
False
Let q be (-591)/(-9) - 2/(-6). Let f(o) = -o**3 - 7*o**2 + 7*o - 7. Let z be f(-9). Let u = z - q. Does 7 divide u?
False
Suppose -15*c = 3*c - 2448. Let b(l) = -3*l**3 + 2*l + 6. Let q be b(-4). Let j = q - c. Is 8 a factor of j?
False
Let v = -694 - -1123. Is 4 a factor of v?
False
Suppose -3*p + 3*o = -54, 3*o = 4*p - 0*p - 67. Is p a multiple of 3?
False
Suppose 3*b + 6 - 384 = 0. Let h = -4355 + 7785. Is 8 a factor of h/b - 2/9?
False
Let c = -2305 - -4462. Is 68 a factor of c?
False
Let t = 9 - -1. Is t - (-2 + (-6)/(-2)) a multiple of 2?
False
Let y be (20/6)/(148/(-24) - -6). Does 4 divide 5/y - (-321)/4?
True
Suppose -444 = 8*t - 4*t. Let z be t/(3 + (-27)/6). Let l = z + -42. Does 16 divide l?
True
Let m be -16*(4 - 0)/8. Let t = m + 10. Suppose -10 = t*w - 4*w. Does 5 divide w?
True
Let b(x) = -10*x - 49. Let d be b(-21). Suppose 3*h = d - 56. Does 7 divide h?
True
Is 48*5 + (-10)/(-160)*16 a multiple of 55?
False
Let l(o) = -5*o**2 + 6*o - 2. Let n be l(4). Let y = -4 - n. Is 6 a factor of y?
True
Let p be 5/10 + (-18)/(-4). Suppose 6*f - 2*f = -4*g - 528, 372 = -3*g + p*f. Let n = g + 181. Is n a multiple of 21?
False
Let v(q) = -q**2 - 11*q - 2. Let g(b) = -2*b**2 - 22*b - 3. Let n(x) = -2*g(x) + 5*v(x). Is 4 a factor of n(-8)?
True
Let f(g) = 22*g - 8. Let n be 1 - (-3 - 8/(-2)) - -4. Is 20 a factor of f(n)?
True
Suppose -3*u = -5*j + 212, -2*j - 4*u + 33 = -31. Suppose -t + j = 5. Is t a multiple of 5?
True
Suppose -10 = -3*u + u. Let a be -5 + 2 + -28*u. Let f = a - -224. Does 27 divide f?
True
Let i = -1 - -2. Let w(a) = -a**3 + a**2 + 1. Let x(u) = 5*u**3 + 5*u**2 + 4*u - 8. Let o(k) = i*x(k) + 4*w(k). Does 14 divide o(-8)?
True
Suppose 2*q = 5*w + 4, -2 - 4 = -3*q. Suppose -2*m + 4 = w, 0 = -3*b - 3*m + 90 - 24. Is b a multiple of 14?
False
Suppose -21*c + 27*c = 5508. Is c a multiple of 66?
False
Suppose f + f = -38. Let i = f - -19. Suppose i*a - 4*a + 75 = 5*x, -4*a = -3*x + 45. Does 7 divide x?
False
Let r(m) be the third derivative of -m**5/30 - 7*m**4/12 + 4*m**2. Let a(v) = v**3 - 13*v**2 + 11*v + 6. Let t be a(12). Is r(t) a multiple of 4?
True
Suppose 15 = -2*g + 17. Let n(q) = 3*q + 2. Let o be n(-2). Is o*g/(-4)*11 a multiple of 7?
False
Let p = 15 - 13. Suppose 3*y - 2 = -p*g - 2*y, -3*y - 45 = -3*g. Is 3 a factor of ((-8)/(-4) - g)*-1?
True
Suppose 5*o + 60 + 180 = 0. Let p be (-20)/o*33*4. Suppose 0 = 4*y + 5*k - p, 2*k = -k - 15. Is 8 a factor of y?
False
Suppose 2*o = 64 - 4. Suppose 4*u - 2*u - o = 0. Suppose -a = -x + 27 + u, 5*a = -5*x + 190. Does 20 divide x?
True
Let u be 6*(-1)/2 + 5. Suppose h = -u*h + 12. Suppose 5*k = b - 33, 0*b + h*k - 36 = -4*b. Is 10 a factor of b?
False
Suppose 9*o = 5*o + 564. Is o a multiple of 47?
True
Let z = -131 + 192. Let h = 111 - z. Is 13 a factor of h?
False
Let z(n) be the second derivative of -n**8/6720 + n**7/2520 + 37*n**5/120 - n**4/6 + 4*n. Let s(x) be the third derivative of z(x). Is s(0) a multiple of 13?
False
Let t = -1 + 2. Let j be 1 + 42/(-9)*(4 + -7). Let q = j + t. Does 4 divide q?
True
Let j(o) = -o**2 - 4*o + 3. Let r be j(-3). Does 4 divide r/2*(-232)/(-24)?
False
Let j = -116 - -108. Let d(s) = -2*s**2 - 18*s - 1. Is 5 a factor of d(j)?
True
Let q be (-1)/(-1)*(6 + -4). Suppose 4*j - q - 14 = 0. Suppose 3*d + 5*u + 20 = 4*d, -3*u - 80 = -j*d. Is 5 a factor of d?
True
Suppose -o = -4, 5*x - x - 12 = o. Suppose -602 = -x*d - 122. Let a = -58 + d. Is a a multiple of 16?
False
Let p(t) = t**3 + 40*t**2 - 80*t - 51. Is p(-41) a multiple of 129?
True
Let a(y) = -y + 12. Is a(9) a multiple of 3?
True
Let z = 154 + -157. Let y(l) = -l + 0*l + 2*l - 7 + 2*l**2. Is y(z) a multiple of 4?
True
Let f = -776 - -1238. Is f a multiple of 21?
True
Let a = -76 + 320. Is 4 a factor of a?
True
Let o(s) = -4*s**2 + 9*s + 1. Let l be o(8). Let q = l + 362. Does 13 divide q?
False
Let r(k) = -8*k - 5. Let z(h) = -7*h - 6. Let w(l) = -5*r(l) + 4*z(l). Let o be w(1). Does 11 divide 8/24*o*3?
False
Let w(m) = -m**2 + 20*m - 5. Let n(b) = -b + 19. Let u be n(0). Let k be w(u). Is (1/3)/(k/4872) a multiple of 29?
True
Let c = -167 - -425. Suppose 0 = 3*a - 0*a - c. Is 25 a factor of a?
False
Let r be 7/1 + (-15 - -14). Is 501/4 + r/(-24) a multiple of 25?
True
Let t(a) = a**2 - 2*a + 1. Let q be t(3). Suppose q*c - 24 = 56. Is 6 a factor of c?
False
Let k = 1685 - 1033. Is k a multiple of 16?
False
Suppose -3*j = 9, -2*x - j - 207 = -6*x. Is x a multiple of 3?
True
Let g = -11 + 17. Suppose -u - i = -108, 2*i + 2 + g = 0. Is u a multiple of 14?
True
Suppose 14*z - 58 = 12*z. Let v = 76 - z. Is 5 a factor of v?
False
Let k(u) = -u**3 + 13*u**2 - 5*u + 3. Suppose h = 3*h - 24. Is k(h) a multiple of 29?
True
Let p = 578 - 571. Let y(u) be the third derivative of -u**6/120 + 7*u**5/60 + u**4/6 - u**3 + u**2. Is y(p) a multiple of 12?
False
Let l be (-2 + 3)*-9 - -2. Let c(n) = n**2 + 5*n - 7. Let u be c(l). Let b(y) = -y**3 + 9*y**2 - 8*y - 7. Is b(u) a multiple of 11?
False
Let p = -131 - -187. Does 4 divide p?
True
Let n = -34 - 40. Let j = 2 - n. Is 12 a factor of j?
False
Let s(o) = 4*o + 3. Let j be s(0). Suppose 443 = j*r + q, -3*r + 4*q + 300 = -r. Is r a multiple of 29?
False
Let l be (-1 + 3/(-6))/(6/(-424)). Let h = l + -70. Is 12 a factor of h?
True
Let t(k) = 3*k + 26. Let x be t(-8). Is 35 a factor of (x + 3 + -3)*35?
True
Suppose w + w - 28 = -2*h, 5*w = -4*h + 68. Is 6 a factor of w?
True
Let q(o) = -2*o**3 + 8*o**2 - 7*o + 4. Let n be q(5). Let b = n + 182. Does 17 divide b?
False
Let w(n) = -4*n + 33. Let u be w(12). Does 11 divide 33 - (6/u)/(2/(-10))?
False
Let o = 403 - 202. Does 26 divide o?
False
Suppose 4*f = 66 - 2. Suppose 0 = 2*g - 4, 2*l + 2 - f = g. Suppose 3*o + 60 = l*o. Is 4 a factor of o?
True
Let a(s) be the second derivative of s**4/12 - s**3/6 - s**2/2 - 4*s. Let o be a(3). Suppose o*f - 374 + 124 = 0. Is 13 a factor of f?
False
Let z(b) = b**2 - 5*b. Let p be z(9). Let u = -13 + p. Let y = u - 17. Does 6 divide y?
True
Suppose 17*a - 14747 = 10107. Is a a multiple of 59?
False
Suppose -12 = 4*d, -140 = -3*b + 2*d + 742. Is 4 a factor of b?
True
Let t = 44 - 14. Let c = 55 - t. Does 9 divide c?
False
Let v = 47 - 47. Suppose -3*r + 5*r - 70 = v. Is r a multiple of 9?
False
Let c(t) = -t**3 - 8*t**2 + 26*t + 3. Let o be c(-11). Does 11 divide 27 - (o/30 - (-4)/(-6))?
False
Suppose -6 = -n - 3. Suppose 3*m + 16 = -j - 11, -4*m = -n*j - 16. Let u(k) = -6*k + 14. Is 27 a factor of u(j)?
False
Suppose -6*b - 9 = -39. Suppose 3*p = b*n - 126, 4*p = 5*n - 0*n - 123. Is 9 a factor of n?
True
Let c = 27 + -15. Suppose 0 = 3*y - 2*y - c. Suppose 4*k = y, -3*x + x = -2*k - 6. Is x a multiple of 2?
True
Let j(a) be the third derivative of a**5/12 - a**3/6 - a**2. Let i be j(4). Let z = 139 - i. Is 15 a factor of z?
True
Suppose 470*l - 483*l + 7397 = 0. Is l a multiple of 9?
False
Is 72/(-32)*-2*154 a multiple of 30?
False
Let q(y) = 6*y + 12. Let n be q(-2). Suppose -c - 5*z + 35 = n, 4*c + 5*z = -0*c + 200. Does 11 divide c?
True
Let m = -854 + 1342. Is m a multiple of 61?
True
Let x = 0 + -12. Let s be -39 + 3/(-3 + 2) + 2. Let m = x - s. Is 14 a factor of m?
True
Suppose -4*p + 6*k + 32 = 2*k, 5*k = -25. Suppose -239 = -2*o - p*n, 5*o - n - 443 = o. Is 28 a factor of o?
True
Suppose -32*s + 1800 = -20*s. Is s a multiple of 6?
True
Suppose -203 = -9*c - 77. Suppose 0 = 8*r - c*r + 540. Is 45 a factor of r?
True
Is 459 + (6/(-11))/(17/(-187)) a multiple of 31?
True
Let d(q) be the second derivative of -q**5/10 - q**4/6 - q**3/3 - q**2/2 - 6*q. Let g be d(-1). Does 2 divide g/2*(-2 + 6)?
True
Let f be (5 - 78/15) + 122/10. Is (1*(-1)/3 + 2)*f a multiple of 2?
True
Let b(a) be the second derivative of a**7/1260 + a**6/120 + a**5/60 + a**4/2 - 3*a. Let u(f) be the third derivative of b(f). Is u(-6) a multiple of 17?
False
Suppose -22*h + 0*h + 1408 = 0. Is 32 a factor of h?
True
Let a be 10/(-5)*2 - -14*1. Does 6 divide (-25)/a*-2 - -19?
True
Suppose 4354 + 4886 = 11*d. Is d a multiple of 56?
True
Let n(o) = 2*o + 2. Let h be n(6). Let s be 76/10 - h/(-35). Suppose r - 2 - s = 0. Is r a multiple of 5?
True
Let s = 287 + -177. Let c = 154 - s. Let m = c + -22. Does 12 divide m?
False
Let g(t) = -3*t**3 + 3*t**2 - 27*t - 31. Is 58 a factor of g(-