 a multiple of 13?
True
Suppose 0 = -10*y + 14*y - 252. Suppose -819 = -d - y. Suppose 3*p + 4*p = d. Is 13 a factor of p?
False
Let s(p) = 14892*p**3 + 18*p**2 - 31*p + 13. Is s(1) a multiple of 38?
False
Suppose 2*j - 5 = 5. Suppose -101*x + 154 = -48. Suppose -2*o + j*g = -58, 6*o - o - 145 = -x*g. Is 8 a factor of o?
False
Let a be (-272)/3*36/(-8). Let f = 536 + a. Is f a multiple of 16?
True
Let i be ((0 - 0) + 0)/(18/(-9)). Suppose -p - 2*r + 198 = i, 2*r + 2*r - 4 = 0. Is p a multiple of 49?
True
Suppose -5*b - 12*j + 9600 = -16*j, -4*b - 3*j = -7680. Is 20 a factor of b?
True
Let z(s) be the second derivative of -77*s**4/12 + s**3/3 + s**2/2 + 9*s. Let c be z(-3). Let b = 1000 + c. Is 51 a factor of b?
False
Let y(h) = 33*h - 2. Let o(l) = -65*l + 3. Let k(v) = 3*o(v) + 5*y(v). Let u = 17 - 18. Is 16 a factor of k(u)?
False
Let c(d) = 31*d**2 - 26*d - 60. Is c(-8) a multiple of 82?
True
Suppose -2*v + 21*f - 19*f + 4328 = 0, 0 = -5*v - 5*f + 10850. Is v a multiple of 18?
False
Let p(y) = -2*y**2 + 18*y + 546. Is p(0) a multiple of 14?
True
Let i(d) be the third derivative of d**4/24 + 5*d**3/3 - 8*d**2. Let c be i(-7). Suppose 2*j = 2*r + 334, 0 = -4*j - 7*r + c*r + 676. Is 24 a factor of j?
True
Let t(y) = 3*y**2 + 38*y - 61. Let c(q) = 8*q**2 + 74*q - 122. Let a(d) = 3*c(d) - 7*t(d). Is 3 a factor of a(19)?
False
Let m(t) be the third derivative of t**5/20 - t**4/4 + t**3/3 - 93*t**2 - 4. Let q = 2 - 0. Is m(q) a multiple of 2?
True
Let q(p) = 26. Suppose -9*i = -3*i + 12. Let b(l) = l + 104. Let a(f) = i*b(f) + 9*q(f). Is 7 a factor of a(6)?
True
Let o be ((-1)/(4 - 2))/((-6)/(-864)). Let k = -71 - o. Is 11 a factor of (k/(-2))/(3/(-18)) - -41?
True
Suppose 8*n - 5672 = 4832. Is n a multiple of 52?
False
Suppose -119*x + 48205 + 185987 = 0. Is 6 a factor of x?
True
Let y = -3287 - -9998. Does 55 divide y?
False
Is 8 - (4 - 177450/(4 - -3)) a multiple of 18?
False
Let h = -1953 + 2222. Suppose -5*q = -y - 84, q + 4*q - 5*y - 80 = 0. Suppose q + h = 2*r. Does 13 divide r?
True
Is (-1 - 38/10 - 0)/(13/(-3900)) a multiple of 20?
True
Let u be (80/(-24))/(2/30). Let t = -14 + u. Let c = 76 + t. Does 3 divide c?
True
Let d(x) = 116*x**2 + x - 12. Is d(4) a multiple of 12?
True
Let m = 434 + -105. Let k be (-3 + 39/6)*(-6 + 10). Suppose -k*u - m + 2163 = 0. Is u a multiple of 42?
False
Let v(h) = 3*h**3 - 3*h**2 + h - 7. Let a = 15 + -9. Suppose -3*z - a = -5*z. Does 10 divide v(z)?
True
Let o(l) be the second derivative of 35*l**4/6 + 7*l. Let v be o(1). Suppose 0 = 3*y + 12, -2*x = 3*y + v - 268. Does 22 divide x?
False
Let g = 321 - 319. Suppose -3*k = g*j - 225, -3*j - k + 2*k = -343. Is j a multiple of 64?
False
Let d(f) = 550*f + 17277. Is 39 a factor of d(0)?
True
Let g(f) = 2*f**3 - 4*f**2 + 12*f - 27. Is 15 a factor of g(9)?
True
Suppose 0 = -121*u + 120*u + 9. Let w be (u - 1)*(68/(-16) + 5). Is (-3 - 117/w)/(9/(-84)) a multiple of 42?
True
Let k(n) = 1324*n - 976. Is k(49) a multiple of 15?
True
Let m(y) = -11*y - 10. Let z(d) = -120*d - 110. Let o(l) = -65*m(l) + 6*z(l). Let p be o(6). Let s = -19 - p. Is 21 a factor of s?
True
Is 11 a factor of 21/175 + (-16981211)/(-325)?
True
Suppose -13907 - 83510 = 158*k - 848233. Is 18 a factor of k?
True
Let i(u) = 61 - 18 + 52*u + 95. Is i(6) a multiple of 46?
False
Let c be (-1)/(7 + 47472/(-6780)). Suppose -1545 = -4*g - g. Let a = c - g. Is 32 a factor of a?
True
Let g(h) = h**3 - 23*h**2 + 24*h + 17. Let u be g(16). Let r = -793 - u. Is 46 a factor of r?
True
Let m = 596 - 577. Suppose m*i = -19*i + 3154. Is i a multiple of 44?
False
Suppose -15 = -3*g, 4*z + 6*g = 2*g + 36. Suppose -150 - 152 = -z*b - 2*j, -3*b + 229 = 2*j. Let t = -21 + b. Is 13 a factor of t?
True
Suppose -14*o + 33 + 37 = 0. Suppose -2*u + 721 = o*z, 5*z + 5*u + 700 = 10*z. Does 2 divide z?
False
Suppose 0 = -23*c - 51970 + 148248. Does 9 divide c?
False
Suppose -89 = -3*v - 2*r, 5*r - 31 = -v + 4*r. Let o = v + 642. Is 31 a factor of o?
False
Is (-8 + -1169)/11*-17 a multiple of 79?
False
Let x = -23284 - -28745. Is 14 a factor of x?
False
Is (-13562)/(-3) - -9 - 15/9 a multiple of 103?
False
Let i(a) = 13*a - 24. Let f be i(2). Suppose -4*v + 5*d = -f*v - 754, -377 = -v - 2*d. Is 29 a factor of v?
True
Suppose -4*h - 4*a + 37 = -123, 5*h + 2*a = 188. Suppose -43*b = -h*b - 2359. Is 11 a factor of b?
False
Suppose 0 = 15*i + 52034 - 184334. Is i a multiple of 10?
True
Suppose -4*g + 4 + 12 = 0. Suppose -5*o - 1880 = -5*p - 2*o, -1504 = -g*p - 4*o. Is 47 a factor of p?
True
Suppose 4*h - 80 = -h. Suppose 3*w = -2*l - 23, 17 + h = -4*w - 5*l. Is 7 a factor of (1 - (8 - -1))/(2/w)?
True
Suppose 3*u - 34410 = 4*v, -5*v + 18271 + 39044 = 5*u. Is 42 a factor of u?
True
Let s be (-2*(-6)/5)/(10/25). Suppose 5*v = 2*v + s. Let b(w) = 11*w**2. Is b(v) a multiple of 12?
False
Suppose 4*a = 5*a - 5. Suppose 0*k - k = -a*r - 22, r - 4 = 3*k. Let i(h) = 5*h**2 + 4*h + 16. Is 26 a factor of i(r)?
False
Let i(w) = -3 + 11*w**2 - 7 + 189*w - 188*w. Does 13 divide i(4)?
False
Suppose 2*u = -2*f + 18432, -11*f + 15*f - 36849 = u. Is 34 a factor of f?
False
Suppose 4*x + 6 = 5*g, -4*x = -0 - 4. Suppose -g*f - 19 = 3*f - 3*c, -2*f = 5*c - 11. Is (-1 + 3/f)/((-1)/30) a multiple of 15?
True
Let k(u) = -2*u**3 + 6*u**2 - 9*u - 3. Let i be k(6). Let o = 494 + i. Does 17 divide o?
True
Let f(n) be the second derivative of n**4/6 + 5*n**3/2 - 9*n**2/2 + 11*n. Let q be f(15). Suppose 96 = 6*m - q. Is m a multiple of 16?
False
Suppose 5*v - 13 - 7 = -y, v = 5*y - 22. Suppose -i + 3*l + 8 = -13, -2*i + 24 = v*l. Is 13 a factor of i?
False
Suppose 4*i - 3*a - 144 = 0, 5*a = -4*i + 141 + 35. Let k = 74 - i. Is k even?
False
Suppose 0 = 37*k + 2366 - 516. Does 2 divide (25 - 0)*((-480)/k)/2?
True
Suppose 0 = -n + 4*p + 18, -n - 26*p - 2 = -25*p. Suppose -3*b - 3*d = -504, n*b - 9*d - 348 = -7*d. Does 9 divide b?
True
Let r = 6503 + -6511. Let f(v) = v**3 + 5*v**2 - 6*v - 1. Let d be f(-6). Is 10 - d - r*(-1)/4 a multiple of 2?
False
Suppose q = t + 8, -4 = 4*q + 4*t - 36. Let r = q + 31. Does 33 divide 5200/r - (-8)/(-6)?
True
Let u(o) = o**2 + 0*o**2 + 0*o**2 - 14 + 15. Let p(w) = -4*w**2 - 2*w + 3. Let f(s) = -2*p(s) - 6*u(s). Is 10 a factor of f(-6)?
False
Suppose 491 = s - 197. Suppose 14 = -5*w - 4*n + s, -5*w - 2*n + 672 = 0. Let v = w - 15. Does 16 divide v?
False
Suppose 2*d + 0*d = 0, -2*c + 198*d - 200*d = -3330. Is c a multiple of 3?
True
Let k(y) = -2*y**3 - 4*y**2 - 4*y + 9804. Is 114 a factor of k(0)?
True
Suppose j + 3*j - 21 = f, f - 14 = -3*j. Suppose -j*r = 3*l - 27, 5*l - 5*r + 2*r - 11 = 0. Is 17 a factor of 1*4/l - -61?
False
Let m be -12 - ((-10)/(-5) + -2). Let k be 271 + ((-95)/(-30) - (-2)/m). Suppose -2*b + 463 = 8*f - 3*f, -3*f + k = 5*b. Is f a multiple of 31?
True
Let u be 2 - (-6)/4 - 3/(-6). Suppose 7*w - 4*w = 5*a + 1674, u*w = -5*a + 2267. Is 76 a factor of w?
False
Suppose 95*d - 35385 = -49*d + 7815. Is 3 a factor of d?
True
Suppose 2*i + 9*h - 4*h - 7530 = 0, 5*h = 2*i - 7590. Is 14 a factor of i?
True
Suppose 0*j - 2*j - r - 56 = 0, -4*r = -5*j - 140. Is 4/6*(-31836)/j a multiple of 14?
False
Let h = 727 - -401. Is h a multiple of 24?
True
Let q = -30 - -38. Let v(l) be the first derivative of 2*l**3/3 - 6*l**2 + 10*l + 26. Does 7 divide v(q)?
True
Let c be (-1)/(-7*(-6)/672)*-3. Let h(j) = -10*j**3 + j**2 - 2*j - 1. Let w be h(-2). Let m = w + c. Does 45 divide m?
True
Let l = 103 - 99. Suppose 0 = -2*c + r + 1, -5*c + 5*r + 1 = -l. Let s(z) = 2*z + 11. Is 11 a factor of s(c)?
True
Let c(z) = 41*z + 9247. Does 139 divide c(143)?
False
Let f(a) = 3*a**3 - 3*a**2 + a + 27. Let l(d) = 11*d**3 - 10*d**2 + 2*d + 82. Let j(i) = 7*f(i) - 2*l(i). Is j(-5) a multiple of 22?
True
Let l be (-184 - 5)/(6/(-54)). Let v = -841 + l. Does 40 divide v?
False
Let g(v) = 27*v + 666. Does 15 divide g(-18)?
True
Let q be (-351)/(-45) + ((-1)/(-5) - 0). Suppose 0 = -2*s + 18 - q. Suppose s*h - 236 = h. Is h a multiple of 14?
False
Let y(j) = j**2 + 4*j - 1. Let o be y(-5). Suppose -k - 531 = -3*n - 4*k, -o*n + 726 = -2*k. Suppose b = -5*b + n. Does 10 divide b?
True
Let i = 18569 - 12947. Does 84 divide i?
False
Let a be 2/14 + 2244/21 + 1. Is 3 a factor of (a/21)/((-60)/(-560))?
True
Let r(z) = 1178*z**2 - 18*z - 27. Is