82). Does 49 divide 49*10/6*d?
True
Suppose -113*m + 72541 = 5*l - 116*m, -4*l - 3*m = -57995. Does 14 divide l?
True
Let j(i) = 5*i - 13. Let h be j(3). Suppose 4*q - 64 = t, 0 = 3*q + h*t - 0*t - 59. Suppose 0*y = -d + 2*y + q, 0 = 2*d + 4*y - 42. Is d even?
False
Let p(d) = 14*d + 26. Let o be p(-3). Is 4/o + (-3316)/(-16) a multiple of 23?
True
Let g = -19 + 24. Let i = 13 - g. Suppose -3*w = -i*w + 910. Does 38 divide w?
False
Let x(j) = -2*j + 6. Let p = 40 + -38. Let w be x(p). Suppose 5 = -w*k + 45. Is k a multiple of 4?
True
Let u = 13 + -6. Suppose u*v = 3*v + 336. Is v a multiple of 6?
True
Let l(p) = -3*p**2 - 4. Let r be l(3). Let s = r + 87. Suppose -s = -4*g + 4. Is 8 a factor of g?
False
Suppose 5*f + 12 - 24 = -4*a, -3*f + 4 = 4*a. Suppose -f*h + 5292 = 14*h. Is h a multiple of 11?
False
Let w(l) = l**2 + 5*l - 3. Let y be w(1). Suppose y*k = 9, -4*k + 9*k = 4*h - 1281. Does 12 divide h?
True
Let f = 18426 - 12360. Is 18 a factor of f?
True
Let d = 33 + 183. Let m = d - 66. Suppose -m = -3*r - 3*r. Is 15 a factor of r?
False
Is -10551*17/(6/12*-6) a multiple of 17?
True
Is 9*((-41)/(-164) - ((-403)/4 + 1)) a multiple of 10?
True
Let n(j) = -8*j**3 + 5*j**2 - j - 3. Let s(c) = -9*c**3 + 5*c**2 - c - 3. Let x(l) = 6*n(l) - 5*s(l). Does 21 divide x(-4)?
True
Let q be -2 - ((-96)/(-30))/((-3)/15). Is 384/q*(-33)/((-297)/126) a multiple of 48?
True
Suppose 0 = 5*z - 10*z + 15. Let p be ((-12)/10)/(-3) - (-348)/(-145). Does 6 divide (125/z - p) + (-1)/(-3)?
False
Let n be 30/(-4) - (6 - 26/4). Let d(y) = -y**3 - 6*y**2 - 11*y - 8. Is d(n) a multiple of 25?
False
Let y = 2397 + -567. Is 30 a factor of y?
True
Let x(j) = 9*j**3 + 26*j**2 + 55*j - 229. Is x(15) a multiple of 114?
False
Suppose -56 = -3*p - 2*j, 3*j = p - 41 + 4. Does 21 divide p*(0 + (-15)/20*-14)?
True
Suppose 9498 = 3*n + 3*t, 30*t + 6330 = 2*n + 33*t. Is n a multiple of 88?
True
Suppose -21*j + 16*j = 320. Let d = j + 69. Does 7 divide (53 - (d - 8)) + 2?
False
Suppose 87791 = 8*a - 59562 - 14175. Is 10 a factor of a?
False
Suppose -868 = 2*h - 6*h. Let k be 4876/23*(-1)/(-2). Let v = h - k. Is v a multiple of 21?
False
Let y(g) = 91*g**2 + 4*g - 7. Suppose 7*k - 28*k = -42. Does 25 divide y(k)?
False
Suppose 26*t = -q + 25*t + 3820, -7664 = -2*q + 4*t. Suppose -5*j = 4*w - q, 4*j - 3056 = -6*w + 2*w. Is 64 a factor of j?
True
Suppose -10*w + 37*w = 162. Suppose 2*m - 962 = -5*j, 0 = -w*m + m + 4*j + 2438. Does 18 divide m?
True
Let i(x) = 12*x**3 + 15*x**2 - 69*x + 2. Does 23 divide i(16)?
False
Let g(n) = -1120*n - 5264. Is g(-14) a multiple of 28?
True
Let k be (1/(4/3))/(157/74732). Does 3 divide (k/4)/(84/224)?
False
Suppose 4*k = 96 + 84. Suppose 0*v - 4*v + 3*u - 28 = 0, 2*v + 3*u - 4 = 0. Is 13 a factor of (200/(-3))/((-15)/k) + v?
False
Suppose -143*f + 151*f = 48. Let p(a) = 2*a + 235. Is p(f) a multiple of 7?
False
Let n = -170 + 15495. Is n a multiple of 15?
False
Is (3*(-9)/54)/1*-4586 a multiple of 8?
False
Let p(n) = -n**2 + 6*n + 7. Let m be p(7). Suppose 5 = -u + 2*o, -4*o - o + 20 = m. Suppose -2*y + 4*r + 144 = -0*r, y = -u*r + 97. Does 27 divide y?
False
Let l = 85 + -63. Let b(d) = -2*d + 49. Let o be b(l). Suppose 6*f - o*s = 4*f + 600, f = 5*s + 290. Is f a multiple of 62?
True
Suppose -5*p + 512 = -d - 3541, -d - 1620 = -2*p. Is p a multiple of 16?
False
Let k be (-3)/5 + 1179/15. Suppose -k - 52 = -g. Is 26 a factor of g?
True
Let m = 36898 + -24834. Does 116 divide m?
True
Is 2/(-5) - (26 - (-156123)/(-95)) a multiple of 5?
False
Let k(w) = -2757*w + 3108. Does 78 divide k(-12)?
True
Does 14 divide 272/(8 + 271/(-34))?
False
Suppose 36 = -3144*c + 3148*c. Is (-802)/(-4) - c/18 a multiple of 20?
True
Let d be (1*(-6)/(-7))/(12/252). Let b(m) = m**3 - 15*m**2 + 54*m + 68. Is 35 a factor of b(d)?
False
Let l = 8374 + -2214. Is l a multiple of 56?
True
Let s be (1/4)/(7/(-644)). Let l(g) be the first derivative of g**4/2 + 46*g**3/3 - 3*g**2/2 + 19*g + 2. Is 22 a factor of l(s)?
True
Suppose 4656 = 34*i - 386514. Is i a multiple of 59?
True
Suppose -12*i + 12529 = a, -25196 = 2*a - 4*a - i. Is 192 a factor of a?
False
Let y(d) = -d**3 - 3*d**2 + 18*d + 1. Let m be y(5). Let u = m + 108. Is -1 + -1 - u*219 a multiple of 22?
False
Let b = 281 - 323. Let v = 558 - b. Is 25 a factor of v?
True
Let a = 213 + -213. Let m(k) = 16*k + 211. Does 17 divide m(a)?
False
Let d be -1262*((-30)/12 + 2). Let q = d + -36. Is 52 a factor of q?
False
Let r(a) = a**2 + a + a - a - 2 + 1. Let m be r(1). Is m*3 + (-6)/(-2) + 50 a multiple of 18?
False
Let u(r) = 4*r**2 + 267*r - 178. Does 129 divide u(-70)?
False
Let z(g) = g**3 + 4*g**2 + 21*g - 154. Does 11 divide z(16)?
True
Let l(c) = 383*c - 359. Is l(10) a multiple of 39?
True
Let u(z) be the third derivative of 0*z - 17*z**2 - 7/24*z**4 - 10/3*z**3 + 0. Does 14 divide u(-13)?
False
Let u = 85 - 154. Let x = u - -70. Is 4 a factor of (-1 + (0 - -12))/x?
False
Suppose 3*s + 111 = -1041. Let k = -186 - s. Is 9 a factor of k?
True
Let u = -93 + 90. Let w be (10/(-20))/(u/198). Suppose 4*a - 170 = -3*r, 2*r + w = a + 161. Does 9 divide r?
False
Let y = -23 + 28. Suppose -4 = a, a = 4*z + y*a + 80. Let k(u) = u**3 + 17*u**2 + 11*u - 20. Is k(z) a multiple of 7?
False
Suppose -2*s - 126 + 22 = 0. Let l be s/(-1) - (-11)/(55/(-10)). Let w = l + -42. Does 4 divide w?
True
Let a = 3071 - 1656. Does 16 divide a?
False
Let m = 1808 + -684. Suppose -4*j + 2*u + m = -2*u, 0 = 4*j - u - 1139. Is j a multiple of 13?
True
Let y = 63 + -73. Let k be y/(-45) - (-114)/(-27). Is 21 a factor of (k/(-4) - -8)*(7 + 0)?
True
Suppose i + 5 = 21. Let o(j) = j**2 - 24. Let x(h) = -h**2 - h + 23. Let g(s) = -3*o(s) - 4*x(s). Is g(i) a multiple of 20?
True
Let k(q) = q**3 - 5*q**2 + 8. Let r(y) = y**2 + 16*y + 33. Let h be r(-14). Let g be k(h). Is 410/g + 24/32 a multiple of 26?
True
Let a(m) be the third derivative of 5/6*m**3 - 2*m**2 - 1/3*m**4 + 0*m + 1/20*m**5 + 0. Is a(-5) a multiple of 40?
True
Let k = 374 + -211. Let s = k - -175. Is 11 a factor of s?
False
Let n be 0 + 0*(-1)/2. Suppose 328 = 2*s - 4*b, -10*b = -3*s - 7*b + 471. Suppose n = 5*t - 3*m - s, -3*t = -2*m - 3*m - 106. Does 27 divide t?
True
Does 13 divide 2395/50*-5*-26?
True
Let p(y) = 158*y + 53 - 99*y - 81*y. Does 82 divide p(-32)?
False
Let q(m) = -m**3 + 4*m**2 + m - 16. Let p be q(4). Let j = 58 - p. Let x = j + -7. Is x a multiple of 9?
True
Suppose 0 = -4*z + 4*m + 12740, -4*z - 110*m = -112*m - 12742. Does 120 divide z?
False
Suppose 26343 + 13141 = 2*x + 4*r, -3*x = 4*r - 59230. Does 18 divide x?
True
Suppose 5*f = 2675 + 3050. Does 8 divide f?
False
Let l(q) = -11*q + 405. Let b be l(7). Suppose -3*k + b = -1592. Does 80 divide k?
True
Suppose 94*l + 18*l = 705824. Is l a multiple of 26?
False
Let x be (26/(-8))/((-3)/12). Suppose 0 = -11*t + x*t - 4. Suppose 0 = 5*y + 3*h - 508, -3*y + 320 = -0*h - t*h. Does 28 divide y?
False
Let t = -194 + 216. Let r(x) = x**2 - 19*x + 63. Does 10 divide r(t)?
False
Let r be 2 - -942 - (4 - (0 - -4)). Suppose 3*n - r = 286. Does 32 divide n?
False
Let p(j) be the first derivative of 7*j**3/3 - 19*j**2/2 + 12*j - 44. Is p(9) a multiple of 12?
True
Suppose -5*u + 25 = -0*u. Suppose 9*a - 4*a - 480 = -5*k, 0 = 3*k + u*a - 294. Suppose -5*y + 977 = -k. Is 24 a factor of y?
False
Let o(b) = 14*b**2 - 2*b - 14. Suppose -4*y + 5*j - 38 = 0, y = -y + 5*j - 24. Let w be o(y). Suppose -5*h = -w + 126. Does 14 divide h?
True
Suppose -189*s + 19008 = -197*s. Is 11 a factor of ((-1)/(1 + 1))/(9/s)?
True
Suppose 95*m - 533526 + 51971 = 0. Is 37 a factor of m?
True
Let w = -56849 - -104209. Does 28 divide w?
False
Let g = 313 - 308. Suppose 14 = a - 4*v - 35, 196 = 4*a - g*v. Is 8 a factor of a?
False
Let k(z) be the third derivative of -z**6/120 + 11*z**5/60 - 7*z**4/12 + 5*z**3/3 - 17*z**2. Let v be k(10). Is 4 a factor of v*(-2)/3*1?
True
Let v = -19934 + 34379. Is v a multiple of 19?
False
Is 318/5*((-55)/33 - -5) a multiple of 6?
False
Let b(f) = -f**3 + 3*f**2 - 28*f - 436. Is b(-14) a multiple of 4?
True
Suppose 344429 = 36*b - 4663. Does 98 divide b?
False
Is ((-5)/(-50)*-18)/(2/(-19210)) - -1 a multiple of 27?
False
Does 27 divide 8658*(5 + 26/(-3) + 5) + -1?
False
Let l(z) = 3418*z + 230. Is l(7) a multiple of 22?
True
