Let z be (-488)/(-9) + (282/(-54) - r). Let b = 44 + z. Is 7 a factor of b?
True
Does 84 divide (0 - 55)/(-11) + 11*1313?
True
Let a(y) = y**3 + 18*y**2 - 64*y - 300. Does 15 divide a(-20)?
True
Let t = -14337 - -18960. Is t a multiple of 67?
True
Let o(t) = -9*t**2 + 7*t**3 - 8*t - 12*t**2 + 1 + 18*t**2 - 6*t**2. Let a be o(5). Suppose -5*u = a - 1911. Is 52 a factor of u?
True
Let j(d) = 35*d - 175. Let v be j(7). Is 25 a factor of (-5 + (-98)/(-10))*v?
False
Suppose 0 = 4*p - 12. Let t(x) = 0*x**3 + 8 + p*x**3 - 4*x**3 - 2*x - 15*x**2 + 0*x**3. Is t(-15) a multiple of 14?
False
Let g(f) be the first derivative of -113*f**2 + 6*f - 3. Let o be g(-1). Suppose 4*t - 5*b - o = 0, 4*b = 4*t - 154 - 82. Is t a multiple of 18?
False
Let m = 12 - -143. Let z = m - 116. Is 3 a factor of z?
True
Suppose -i - u + 5585 + 7902 = 0, 5*i - 2*u = 67442. Does 38 divide i?
False
Suppose 2*u + 10 = -0*n - n, -3*u - 5*n - 1 = 0. Let y(m) = 3*m**2 - 4*m - 11. Let q be y(u). Suppose 0 = -g - 3*g + q. Is 10 a factor of g?
False
Let h(y) = y**3 + 14*y**2 + 11*y - 20. Let a = -64 - -67. Suppose 2*n = -b - 2, a = -2*b + n - 26. Is h(b) a multiple of 16?
False
Let h(b) = b**2 + 9*b - 2. Let t be 186/(-3*4/(-6)). Let o = 82 - t. Is h(o) a multiple of 5?
True
Let l = 202 - -122. Suppose -3*o + l = -o. Does 27 divide o?
True
Suppose 9*o - 6*o = 9. Suppose 2*r = 5*r - 9. Suppose 2*s = -4*b + 6*b + 32, r*s - 30 = -o*b. Is s a multiple of 3?
False
Suppose -118*d - 58425 = -80*d - 63*d. Does 34 divide d?
False
Let u = 56 - 46. Is (-4*142/u)/(1/(-5)) a multiple of 14?
False
Let c(n) = 7. Let w(b) = b + 1. Let i(m) = c(m) + 4*w(m). Let g be i(-2). Suppose 4 = -t, -2*l - g*t - 53 = -3*l. Is l a multiple of 11?
False
Let p be (1 - -1) + (-1548)/(-9) + -11. Suppose 0 = -12*m - p + 1063. Is m a multiple of 2?
False
Does 25 divide 1*-6*1 + (-9 + 19 - -5894)?
False
Let y(d) = 2*d + 56. Let m be y(-18). Let n = 296 - m. Is 12 a factor of n?
True
Let w(n) be the first derivative of -5*n**3/3 + 99*n**2/2 - 10*n - 119. Does 14 divide w(15)?
True
Suppose 0 = 25*a - 23*a + 5*r - 20409, 51075 = 5*a - 5*r. Is 92 a factor of a?
True
Suppose 49*k - 18*k = 93. Suppose -c = 4*r - 2*c - 1053, 1312 = 5*r + k*c. Is r a multiple of 31?
False
Let j(d) = -d**3 - 4*d**2 - 7*d - 5. Let y be j(-2). Let x be 23 + (20/5)/y. Suppose 9 = 3*q - x. Does 2 divide q?
True
Let u(d) = -11 - 19*d + 8 + 3. Let y be u(-12). Suppose -4*v = -10*v + y. Is 8 a factor of v?
False
Let o(w) = -78*w**3 + w**2 - 9*w + 9. Let c be o(1). Let y = c - -125. Does 48 divide y?
True
Let h = 91 + -89. Suppose 1149 = -0*d + 4*d + 3*c, h*c + 1174 = 4*d. Does 6 divide d?
False
Let l(y) = -y**3 - 3*y**2 + 4*y - 1. Let m be l(-4). Let c be (-3*26/(-6))/(m/16). Does 13 divide (2 - -3)*c/(-20)?
True
Let r be (-1)/(-5) - (-3 - 186/(-30)). Let s(h) = -h**3 + 2*h**2 - 7*h - 1. Is 8 a factor of s(r)?
False
Let r(j) = j**2 - 20*j + 40. Let p be 90/25*5 - -3. Is 13 a factor of r(p)?
False
Suppose -3*j = 0, -4*b + 8 = -6*j + 4*j. Suppose -h + 1743 = -3*y, 21*h - b*y + 1733 = 22*h. Is 17 a factor of h?
False
Suppose -2*a = l - 2196, 5*a + 658 + 1510 = l. Is 32 a factor of l?
False
Let k(x) be the second derivative of -x**3/6 + 2507*x**2/2 + 6*x. Let p be k(0). Suppose 714 = -11*s + p. Does 34 divide s?
False
Suppose 0 = -3*a + 9250 + 6239. Is a a multiple of 22?
False
Let v(z) = -z**2 - 2*z + 10. Let b be v(-4). Suppose -3 + 14 = n + 4*m, 4*m = -b*n + 14. Suppose 388 = n*h - 305. Is 33 a factor of h?
True
Suppose -18*x - 5429 = -42077. Suppose -11306 + x = -45*s. Is 38 a factor of s?
False
Suppose -5*b = -50*b + 1980. Does 78 divide 50112/44 + 4/b?
False
Let a(q) = 9*q - 17*q**2 - 11*q**2 + 27*q**2. Let d be a(9). Suppose -3*t = d, 3*p - t = 47 + 217. Is p a multiple of 11?
True
Suppose 88*c - 92*c - 5*q + 5039 = 0, -3786 = -3*c - 6*q. Is c a multiple of 4?
True
Is 13 a factor of (5*(-120)/550)/((-4)/14806)?
False
Suppose 0 = -5*m + 5*u + 15, 5*m = -2*u + 5*u + 15. Let c(d) = -24*d - 544. Let a be c(-31). Suppose m*j - r = a, -2*j + r = 4*r - 126. Is j a multiple of 22?
True
Suppose -4*i + 24 = 2*w, -i + 18 = 4*w + 5. Suppose 3*t - 4*t + 115 = 0. Suppose -202 = -5*d + 3*m + t, 3*d = i*m + 187. Is d a multiple of 16?
True
Suppose 0 = -34*d + 46*d + 7150 - 99718. Is 25 a factor of d?
False
Suppose 103*a + 4*o = 106*a - 10164, 4*a = -4*o + 13552. Does 11 divide a?
True
Let z be ((-21)/(-7))/(12/2248). Let r = -195 + z. Is 25 a factor of r?
False
Suppose -n + 6*n = -g - 671, 3*g = -5*n - 1973. Let i = -547 - g. Is 8 a factor of i?
True
Suppose -108 = 11*r + 299. Let n = 7 - r. Is 8 a factor of n?
False
Let y be (-101)/3*9/(-3). Suppose -304 = 1034*s - 1042*s. Let p = y + s. Is p a multiple of 28?
False
Suppose 3*u = u + 14. Let v(w) be the first derivative of -w**4/4 + 3*w**3 - 7*w**2/2 + 4*w - 50. Is 22 a factor of v(u)?
False
Let j be 236/10 - 8/(-20). Suppose -j*p + 8367 = -25425. Does 32 divide p?
True
Let d = -4791 - -7299. Is d a multiple of 38?
True
Let q = 1453 + 23. Suppose -2*z + 4*i = -q, 0*i - 3*i = z - 733. Is z a multiple of 32?
True
Suppose -55962*s + 55980*s - 127170 = 0. Does 15 divide s?
True
Suppose -3*s - 995 = -8*s. Let w be 16/(-6)*(11/2 + -7). Suppose -w*r = -281 - s. Is r a multiple of 10?
True
Suppose 5*u + 19*d = 20*d + 115362, 4*u - 92284 = -2*d. Is u a multiple of 206?
True
Let l = 30242 + -20342. Is l a multiple of 45?
True
Suppose -4*k = -o - 222, k - 216 = -3*k + 4*o. Let q = k + -243. Let z = 422 + q. Does 47 divide z?
True
Suppose 2*s + 19 = -25. Suppose 50 = 2*m - 254. Let c = s + m. Is c a multiple of 14?
False
Suppose -47*w + 42*w + 2*j + 100 = 0, 15 = -3*j. Suppose -4*z = -16, -z + 2576 = w*y - 14*y. Does 8 divide y?
False
Let r(z) = -7*z**3 - 10*z**2 + 2*z + 8. Let y(j) = -j**3 - j**2. Let l = -9 - -4. Let m(u) = l*y(u) + r(u). Is m(-4) a multiple of 12?
True
Suppose b = 4*f + 16, 4*f + 364 = 2*b + 340. Let m be (2 - 0)*(-3)/2. Is 12 a factor of 0 + 182 - m/((-12)/b)?
True
Let a be 988/234 - 4/18. Let b = 5 - 5. Suppose -a = k, 5*z = 2*k - b*k + 488. Does 24 divide z?
True
Let c(a) = 9*a**2 + 12*a + 11. Suppose 5*x - n + 8 = -22, 0 = -x + 3*n - 6. Does 4 divide c(x)?
False
Let a(s) = -92*s**3 - 5 - 10*s - 93*s**2 + 3*s + 88*s**2. Is a(-2) a multiple of 25?
True
Let l = -413 - -933. Let a = 754 - l. Suppose j - u + 6*u - 114 = 0, 2*j + 4*u = a. Is 17 a factor of j?
True
Suppose -3*t + 8*t = 25, 0 = 3*r + 5*t - 205. Let b = 166 - r. Is b a multiple of 5?
False
Suppose 2*d - 5*z - 18155 = 0, -9*d + 4*z - 18200 = -11*d. Is d a multiple of 103?
False
Suppose -270*s + 2*d - 3278 = -275*s, 3*d - 2614 = -4*s. Does 14 divide s?
True
Let g(q) = 2*q**3 - 8*q**2 - q + 9. Let y be g(4). Suppose c - y*b = 252, -3*b + 1897 = 5*c + 497. Is 47 a factor of c?
False
Let g be ((-15)/3)/(5/1290*-3). Suppose 0 = 4*n - 2*h - g, 0*n - 5*h - 340 = -3*n. Does 35 divide n?
True
Suppose -125290 = -53*a - 57*a. Is 20 a factor of a?
False
Let o = 959 - 702. Suppose 0 = -2*z + o + 417. Is z a multiple of 4?
False
Suppose 4*m - 498 = -5*k + 8*m, 3*k + 5*m - 284 = 0. Let s = k + -84. Let b(o) = 5*o - 47. Is b(s) a multiple of 12?
False
Let r(y) = y**3 + 37*y**2 - 67*y - 206. Is 47 a factor of r(-30)?
False
Let o = -4350 - -7540. Is o a multiple of 29?
True
Let l(i) = 3*i + 5. Let k be l(-2). Let m be (k - -4)*1/(15/1205). Suppose -2*s + 3*h = -m, 11*s - 467 = 7*s + 3*h. Is 34 a factor of s?
False
Suppose 5*z + 6879 = 2*o, 932 = -o + 4*z + 4382. Is 59 a factor of o?
True
Suppose -4 = -4*l, 5*p + l + 88 = 4*l. Let n = p - -16. Is 4 a factor of 17 - (-1 + n + 3)?
True
Let o(n) = 253*n**3 - 2*n**2 + 4*n - 3. Suppose -10*f + 2 + 8 = 0. Is o(f) a multiple of 18?
True
Let j = 17 - -3. Suppose -2*n + 6*z = 3*z - 23, 0 = 2*z - 6. Suppose n*f + 420 = j*f. Is f a multiple of 26?
False
Let q(o) = 23*o + 17. Let f be q(-3). Let b = f - -56. Let i(v) = 4*v**2 + 12*v + 4. Is i(b) a multiple of 29?
True
Let a(p) = -6 - 4 + 20 + 4*p + 262*p**2 + 0. Is a(-2) a multiple of 70?
True
Suppose 2*x = 4997 + 7. Suppose -5*j + 4*k + 3044 + x = 0, 3*k = -12. Is j a multiple of 99?
False
Let j be (-12)/(-2) - (12 + -9). Suppose -4*l + j*p = -99, l = -l - 5*p + 43. Is 11 a factor of 22*4/l*6?
True
Does 74 divide 8 + 888/(-96) + 1*25563/12?
False
Let y = 2927 + -495. Is