4*r - 575. Is k(64) a multiple of 116?
False
Suppose 0 = -22*h + 19*h + 9. Suppose 5*v - 3*g - 26 - 737 = 0, -4*v = -h*g - 608. Is 4 a factor of v?
False
Suppose 3224*w - 3227*w = -3, -4*z = -5*w - 57563. Is 7 a factor of z?
True
Suppose -3*d + 6347 = c - 1215, 2*c - 4*d = 15054. Is c a multiple of 7?
False
Let o = -42 - -80. Suppose -39*n + 5 = -o*n. Suppose -3*s = l - 127, -n*l - s + 622 = s. Is 45 a factor of l?
False
Let x(a) = a**3 - 15*a**2 - 101*a + 25. Let h be x(20). Suppose q = -h*r + r + 357, -4*q = -4. Is 14 a factor of r?
False
Let y be 525 + ((-1)/2)/(9/36). Let l = y - 331. Does 32 divide l?
True
Let m = 15584 - 15380. Does 51 divide m?
True
Suppose -1659*v + 1663*v - 5040 = 0. Is v a multiple of 36?
True
Let h(m) = -m + 1. Let b be h(-17). Suppose -3*d - b = -5*d. Suppose -d = -10*o + 51. Is o a multiple of 2?
True
Let x = 151 + 2357. Does 11 divide x?
True
Let i(b) = -284*b + 687. Is i(-12) a multiple of 35?
True
Let s(g) = 2*g + 6*g + g**3 - 35 - 22*g**2 + 12*g - 5*g + 10*g**2. Does 9 divide s(14)?
True
Let a = 399 - 179. Is 80 a factor of (-8 + a/15)/(3/216)?
True
Suppose 5*z - 4*d - 6176 = 0, z + 4*d + 0*d = 1216. Let m = z + -536. Is 12 a factor of m?
True
Suppose 0 = -63*n + 61*n - 5*j + 31406, 4*n = -3*j + 62784. Is n a multiple of 25?
False
Let x = 1252 + 2983. Does 2 divide x?
False
Suppose b - 3*i = 5*b + 4, 2*b + 5*i = -2. Does 17 divide b + (-632)/(-3) - (-198)/(-297)?
False
Let y = 29015 - 11975. Does 120 divide y?
True
Let q(z) = 3 - 1 - 6 + 9 - 2*z + 23. Let t be -2 - 2/(2/(-13)). Is 2 a factor of q(t)?
True
Let l = 51 + -562. Let c = l - -793. Is c a multiple of 6?
True
Let u(h) be the first derivative of h**3/3 - 3*h**2/2 - 20*h + 27. Let g be ((-15)/(-2))/((-6)/8). Does 22 divide u(g)?
True
Let u(d) = d**2 - 2*d - 486. Let v(l) = -3*l**2 + 3*l + 974. Let s(r) = -5*u(r) - 2*v(r). Does 27 divide s(0)?
False
Let g(h) = 32*h + 12*h - 23*h + 4 + 33*h. Suppose 0 = -3*a + 12 - 0. Does 22 divide g(a)?
True
Suppose 0*m + 5*m - 80 = -5*y, -60 = -3*m + y. Let l(j) = -j**2 + 17*j + 40. Let b be l(m). Suppose -4*n - 12 = 0, b*f - 486 = 3*n - n. Is f a multiple of 12?
True
Suppose -1 = 2*y - 3*y. Let w be (-2104)/(-4) - (-3 + 2)*y. Suppose 2*n - 7*n - w = -3*p, 572 = 3*p + 4*n. Does 46 divide p?
True
Let a = -14090 - -31343. Is 27 a factor of a?
True
Let m(p) = -p**3 + 9*p**2 + 39*p - 8. Let a = -63 + 73. Is 13 a factor of m(a)?
False
Suppose -2*n - 12*c + 8*c + 78 = 0, -2*c + 156 = 4*n. Suppose n*v = 30*v + 1611. Is v a multiple of 15?
False
Suppose 664 = 125*o - 121*o - 2*u, -5*o + 2*u = -828. Does 3 divide o?
False
Suppose 117 - 567 = -5*d. Let g = 51 + -47. Let o = d + g. Does 31 divide o?
False
Let k = -92 + 95. Suppose -k*u = -37 + 7. Suppose u*r - 626 = 514. Is 38 a factor of r?
True
Suppose -j = 2*f - 513, -j - 17*f + 498 = -12*f. Does 8 divide j?
False
Suppose 14*y = 41*y - 17*y - 81340. Does 49 divide y?
True
Does 58 divide (2 + 485)/(4/(-3)*63/(-252))?
False
Suppose -3*q - 230 = -74. Let u = q + -37. Is 0/(-2) + -6 + (1 - u) a multiple of 12?
True
Suppose 7448 = 22*r - 8*r. Suppose -2*v - r = -7*h + 5*h, -4*h = -2*v - 1064. Does 14 divide h?
True
Let t(v) = -180*v**2 - 5*v - 5. Let i be t(-1). Let w = i + 387. Is w a multiple of 9?
True
Suppose 11*k - 177 = -177. Let a = -6 - -11. Suppose k = -4*t + 6*o - o + 885, -3*t = -a*o - 665. Is 55 a factor of t?
True
Let q = 10479 - 125. Does 35 divide q?
False
Let o(u) = 28*u - 25. Let a be o(6). Suppose 172 = 5*r + 692. Let k = a + r. Does 13 divide k?
True
Suppose -417 = -4*t + 5*z - 47, 98 = t - 4*z. Let o = t - 61. Suppose -o = -f + 24. Does 29 divide f?
False
Suppose -27*j + 0*j + 0*j = -128925. Is 25 a factor of j?
True
Suppose -q = -3*l + 10, -5*l + 8*l = 3*q + 12. Suppose 3*g - 759 = -l*w + 5*g, -3*w - 5*g + 780 = 0. Does 17 divide w?
True
Let g(m) be the first derivative of -23*m**2 + 151*m + 69. Is g(-18) a multiple of 16?
False
Suppose -53946 = -35*g + 8*g. Let t = g + -1228. Is 35 a factor of t?
True
Let o be ((-1)/(0 + 1))/(24/(-840)). Let h = o + -33. Suppose -h*y - 2*y - 5*j = -90, -3*j = -2*y + 34. Is 4 a factor of y?
True
Suppose 5*z + 2*g = 2*z - 8, -4*g - 4 = 0. Is 15 a factor of 7/14*-8*778/z?
False
Suppose -53*w - 38*w + 189007 + 629629 = 0. Does 52 divide w?
True
Suppose -16*t = -50*t + 102. Suppose 4*a - 5*m = 4033, t*a + m + 394 = 3395. Is a a multiple of 8?
False
Let b(o) be the first derivative of -o**2/2 + 4*o - 20. Let x be b(2). Suppose 2*c = -2*s + s + 88, 5*c + x*s = 222. Is c a multiple of 9?
False
Let u = -33 - -50. Let z = -2295 - -2292. Is u - (1/3 + 10/z) a multiple of 10?
True
Let j be (14/35)/((-4)/125)*-6. Suppose -a - j = -101. Is 13 a factor of a?
True
Let y(m) = -25*m - 165. Let n be y(-25). Let j = n + -274. Is j a multiple of 62?
True
Let n(q) = 1291*q**2 - 915*q - 10. Is 301 a factor of n(-5)?
False
Suppose 0*x - 2*x + 3*s + 11 = 0, -x + 3*s = -1. Suppose 0 = x*u - 15*u + 4*m + 2028, -2*m + 6 = 0. Does 24 divide u?
True
Let l(y) be the first derivative of y**3/3 - 3*y**2/2 - 18*y - 25. Let w be l(-4). Is (-76)/w*(-5)/2 a multiple of 8?
False
Suppose 3*m = -0*m - 5*x + 2265, -4*m = 5*x - 3025. Let q = m - 512. Is 8 a factor of q?
True
Suppose 0 = -4*t + 18*t + 4*t - 11412. Is 4 a factor of t?
False
Let u = -216 + 219. Is ((-332)/(-20) + u)*5 a multiple of 14?
True
Let a(d) = -19*d + 74. Let n be a(4). Does 17 divide n/((-12)/(-6)) - -358?
True
Suppose 8*i = v - 28461, v + 5*i - 11325 = 17045. Is v a multiple of 13?
True
Let f be (-2 - 0)/((-1)/(-154)). Suppose 13*s + h + 527 = 10*s, 2*s - 2*h + 354 = 0. Let t = s - f. Does 33 divide t?
True
Suppose 6*c + c = 4291. Let v = -277 + c. Suppose -5*w + v = -w. Is 10 a factor of w?
False
Let m = -16366 - -17809. Is 23 a factor of m?
False
Suppose -3*u = -4*r + 15714, 2*u = -3*r + 7967 + 3810. Does 6 divide r?
False
Let f(n) be the third derivative of 2*n**5 + n**4/24 + n**3/6 - 5*n**2. Let s = -572 + 571. Is f(s) a multiple of 30?
True
Suppose -55*s + 59*s = 16, -5*x = -4*s - 12549. Is 13 a factor of x?
False
Suppose 0 = 2*g, 2*v - 4*v = -4*g + 82. Let t = -133 + 218. Let d = v + t. Is 44 a factor of d?
True
Suppose 3*s - 5*h - 34311 = 63159, 32550 = s + 5*h. Is 15 a factor of s?
True
Let l(i) = 20*i - 100. Let u be l(5). Suppose 21*b + 11648 - 31178 = u. Is b a multiple of 15?
True
Suppose -292*y = -287*y - 5450. Suppose 16*m - 878 = y. Is m a multiple of 17?
False
Suppose -5*h + 168*n = 170*n - 80316, 4*n + 80358 = 5*h. Does 29 divide h?
True
Let z = -289 - -294. Suppose -1067 = -z*a + 1693. Does 46 divide a?
True
Suppose 4*b - 17 + 9 = 0. Let y be ((-4)/(-5))/(b/(-15)). Does 20 divide 6/((-60)/235)*y?
False
Suppose -5*k - 2*g - 577 = 0, -k + 0*k + 5*g = 110. Let p = -24 - k. Let m = -3 + p. Does 14 divide m?
False
Let m(k) = 5*k + 30. Let q = -123 - -123. Let i be ((-45)/(-10) - 4)*q/1. Is m(i) a multiple of 6?
True
Let w(o) = -o**2 - o + 160. Suppose n = 3*f - n + 4, -21 = -3*f - 3*n. Suppose -f = -4*h - 2. Is 16 a factor of w(h)?
True
Suppose 36 = -3*l + 5*w, 4*l - w + 18 = -13. Is 13 a factor of -5 + l/(7/(-135))?
True
Let r(z) = z**3 + 4*z**2 - 15*z + 16. Does 123 divide r(9)?
False
Does 31 divide (-1)/(8 - 2) - (-2 - (-1271824)/(-96))?
False
Suppose -103*r + a = -102*r - 36651, 146685 = 4*r + 5*a. Does 14 divide r?
False
Let p(f) = -f**2 + 26*f - 46. Let j be p(24). Suppose -2*q - j*q - g = -2348, 5*q - 2936 = -g. Is q a multiple of 42?
True
Is 37 a factor of (-9591)/(-184)*-2*296/(-6)?
True
Suppose 4*j - 24546 = 49414. Does 43 divide j?
True
Let d(m) = 20638*m**2 - 134*m - 132. Is d(-1) a multiple of 16?
True
Suppose 867 = 3*q - 0*q. Let g = -172 + q. Is g a multiple of 13?
True
Let m(d) = 0*d - d + 2*d - 18 + d. Let k be m(9). Suppose k = -4*i - 0*i + 952. Is i a multiple of 30?
False
Let w = -101 - -106. Suppose -7*z + 735 = -3*z + w*p, 3*p = z - 171. Is z a multiple of 12?
True
Suppose 11*f - 5*r - 51 = 8*f, -3*r = 2*f - 53. Is 2 a factor of -70*(f/4 - 6)?
False
Let w(t) = 553*t**2 + 385*t + 2655. Is 119 a factor of w(-7)?
False
Let f = 125 + -123. Suppose -1038 = -f*s - 290. Is s a multiple of 22?
True
Let k be ((-22)/(-33))/((-1)/(-1275)) + -4. Suppose 6*b - k = 414. Is 10 a factor of b?
True
Suppose -3*d = 4 - 19, 3*y + 2*d + 146 = 0. Is 19 a factor of 26/y + (-288