or of c?
True
Let x = 557 - 566. Is 29 a factor of (((-126)/5)/x)/((-1)/(-145))?
True
Suppose 4*d + 5*t - 6610 = 21500, -35106 = -5*d - t. Is 10 a factor of d?
True
Let u(r) = -r**3 + 3*r**2 - 16*r + 51. Let g be u(4). Let v be (-10)/8*2*-74. Let j = g + v. Does 15 divide j?
False
Let l = 3186 + -2991. Is 108 a factor of l?
False
Let q = -2375 + 3269. Is q a multiple of 121?
False
Suppose -x + p = -7394, 2*x - 4*p - 9801 = 4991. Does 14 divide x?
True
Is 79 a factor of (-85)/20*-1146 + 5/2?
False
Let s = 45 - 54. Let i be (-22)/(-99) - 15442/s. Suppose 0 = 6*v - 18*v + i. Is 13 a factor of v?
True
Suppose 3*y + 2*q = 2*y + 573, -568 = -y - 3*q. Let s be 412 + (-3)/(3/(-2)). Let n = y - s. Is 15 a factor of n?
False
Is -4 + 74792/40 - (-8)/40 a multiple of 8?
False
Let c(k) = -2*k**3 - 26*k**2 - 11*k + 2. Let j(o) = -2*o**3 - 24*o**2 - 10*o + 1. Let a(z) = 5*c(z) - 6*j(z). Is 23 a factor of a(-6)?
True
Let j be ((-6)/3)/((-38)/(-171)). Does 30 divide -899*j/((-27)/(-3))?
False
Is 11 a factor of (1616/24)/((-2)/(-33))?
True
Let p = 287 - 249. Let m = 7 - 10. Let t = p - m. Is t a multiple of 7?
False
Let h(f) = -23*f + 37*f + 26*f + 3. Let m be h(1). Suppose -4*z + 3*t = -130, -3*z + m = -5*t - 49. Is 11 a factor of z?
False
Suppose 5*q - 5*i - 182835 = 0, 397*i - 36543 = -q + 401*i. Does 55 divide q?
True
Let c = 3943 - 2565. Is 4 a factor of c?
False
Let b be 1*284*(-56)/(-32). Suppose -b = -7*w + 3*w + 3*x, 5*x - 107 = -w. Is 28 a factor of w?
False
Let j be (-25)/(-15) + (-2)/(-6). Let g(o) = 2*o**2 - 2*o - 2. Let a be g(j). Suppose -a*q - 5*q = -329. Is q a multiple of 18?
False
Let y(q) = q**3 - 30*q**2 + 34*q - 21. Let z be y(29). Suppose 2*p - 4*p + z = 0. Does 3 divide p?
False
Let q(z) = -z + 4. Let x be q(-2). Suppose -14*i + 16 = -x*i. Suppose -u + 11 = -i*c + 51, -2*u - 8 = 0. Is 7 a factor of c?
False
Suppose -4*f + 127052 = 5*g, -11*f + 6*f = g - 25402. Does 21 divide g?
False
Let u(a) = -4*a**3 - 5*a**2 - 9*a - 14. Let b be u(-3). Suppose b*q = 73*q + 825. Is 39 a factor of q?
False
Let b be -3 - ((-8)/4)/2. Let z be (-17)/b*(-3 - -7). Suppose -2*u - h = h - z, 0 = 3*u - 2*h - 56. Does 14 divide u?
False
Suppose 2*q = 2*b + 11726, 0 = 3*q - 19*b - 14537 - 3132. Is q a multiple of 58?
True
Does 235 divide (917/21)/((-87856)/12552 - -7)?
False
Let l = -2886 - -3652. Is 9 a factor of l?
False
Let k = -79 + 79. Suppose k = -2*t - 8, 2*t + 48 = 4*j + j. Is 5 a factor of 88/14 - -3 - j/28?
False
Suppose -372*g + 241*g = -583212. Does 14 divide g?
True
Suppose -23*u + 6 = -26*u. Let l be (u/2 + 3)/((-1)/(-151)). Let p = l - 185. Is 11 a factor of p?
False
Let f(z) = 2*z - 8. Let r(d) = -2*d + 7. Let j(c) = -6*f(c) - 5*r(c). Let m be j(0). Suppose -s + 46 - m = 0. Is 26 a factor of s?
False
Is (-3606)/(-10)*160/96 - 1 a multiple of 8?
True
Suppose -3*s + 664 = 3*u - 284, 0 = -2*s - 5*u + 638. Suppose s = i + 3*v, 5*v - 322 + 1932 = 5*i. Is i a multiple of 35?
False
Suppose 2*k - k + 16915 = 2*h, 2*h + 2*k - 16930 = 0. Suppose -9*z - 2187 = -h. Does 13 divide z?
False
Suppose 77*p - 80*p = -3, 5*m - 18442 = -2*p. Is m a multiple of 11?
False
Is 18 a factor of (-696)/(-120) + -7 - (-123032)/10?
False
Suppose -2*a + 4 = -3*a, 3*a + 92 = -4*h. Let u = -20 - h. Suppose -n = -4*x + n + 488, x - n - 122 = u. Is x a multiple of 23?
False
Suppose 0 = 20*s - 18*s + 34. Let n = -13 - s. Suppose 0 = 2*l - 3*l + n. Does 2 divide l?
True
Let r(v) = 2*v**3 - 12*v**2 - v + 10. Let k = 36 - 30. Let x be r(k). Suppose a - 900 = -x*a. Is a a multiple of 36?
True
Suppose 5*p - 161*g = -164*g + 51444, 0 = -4*p - 2*g + 41156. Is 30 a factor of p?
True
Suppose 116742 = 3*i - 1172*g + 1169*g, i = 5*g + 38890. Is 28 a factor of i?
True
Let b = -462 + 480. Is 4 + 1606/10 + b/(-30) a multiple of 2?
True
Suppose -9*v = -21*v + 48. Suppose -112 = v*f + 3*m - 2937, 0 = -2*f - 2*m + 1414. Is 16 a factor of f?
True
Suppose -4*o = -5*j + 89768, -37*j + 40*j = -o + 53854. Does 136 divide j?
True
Suppose 3*d = 3*h + 33, -d - 11*h + 31 = -7*h. Suppose -14*r + d*r - 65 = 0. Does 5 divide r?
True
Let n(a) = -7*a + 40. Let j be n(-7). Let q = -84 + j. Suppose -q*c - 2*u = -59, -3*u + 6 = -0. Does 11 divide c?
True
Suppose -7*s + 0*s = -35. Suppose -1489 = -s*w - 129. Is 16 a factor of w?
True
Suppose -5 = -g + 2*a, 2*g + 4*a = -3 + 5. Suppose 22 = -x + 2*b, 3*b - 2*b = g*x + 51. Let l(w) = w**3 + 17*w**2 + 3*w + 12. Is l(x) a multiple of 11?
True
Suppose 0*m + 15*m = 462240. Is ((-18)/8)/((-216)/m) a multiple of 12?
False
Does 16 divide (-280 - -2)*126/90*-5?
False
Suppose 103 + 347 = -5*t. Let u be 2/8 + t/(-24). Suppose -5*q = -0*q - 3*x - 540, 3*q + u*x = 295. Does 21 divide q?
True
Let w = 14 - -112. Suppose 3*s + w = -24. Let f = 115 + s. Is 24 a factor of f?
False
Suppose -5*u = -4*v - 1186 + 3598, 0 = -4*u. Let z = 1009 - v. Is 12 a factor of z?
False
Let p(k) = 4*k**2 - 12*k + 9. Let m be p(9). Suppose m = f + 8*f. Suppose 2*h = f + 19. Is 15 a factor of h?
False
Suppose -3*t + 68 = 2*i, -2*t - 4*i + 60 = i. Suppose 0 = 5*d - 0*d - t, -d = -2*c. Suppose -3 = c*q + q, -507 = -4*s + 3*q. Does 18 divide s?
True
Let o be (9/(-6))/((-12)/112). Is 7/o*35*76 a multiple of 19?
True
Let i(k) = -k**3 + 13*k**2 - 11*k - 8. Let d be i(12). Suppose 0 = -d*j + s + 4488, 41*s - 46*s = 0. Does 66 divide j?
True
Suppose -8*z + 1760 = -320. Is -4*2067/z*(-4 - 1) a multiple of 15?
False
Does 4 divide (6 - -2) + 0/(-5) + 1884?
True
Let n = -464 + 842. Let s = 1357 - n. Does 18 divide s?
False
Let f = -16 - -19. Suppose -3*x + 2*z + 51 = -287, -f*x + 341 = -5*z. Is 5 a factor of x?
False
Suppose -51*u + 60*u = 27. Suppose u*s - 564 = s. Is s a multiple of 15?
False
Suppose -g = -4*w - 3927, -53*g + 57*g - 15708 = -5*w. Does 51 divide g?
True
Let r(n) = 34*n**2 - 99 + 0*n**2 - 9*n**2 - 7*n**2 + 2*n**2 - 9*n. Does 15 divide r(-6)?
True
Let u(t) = t**3 + 2*t**2 + 2*t + 3. Let x be u(-2). Suppose -45*p = -68*p + 16100. Is 7 a factor of p/15*-6*x/4?
True
Let l = 28251 - 4360. Is l a multiple of 47?
False
Let t(w) = 366*w + 392. Does 8 divide t(4)?
True
Suppose 11*f - 5*q - 1162 = 9*f, -3*q = -5*f + 2905. Does 36 divide f?
False
Let d(w) = 179*w + 1024. Does 142 divide d(55)?
False
Is 12670416/1488 - (-26)/(-403) a multiple of 5?
True
Suppose -4*g = 5*o - 190, 0 = -2*g - g - 5*o + 145. Suppose 10 = -43*d + g*d. Suppose -d*c + 49 + 71 = 0. Is c a multiple of 13?
False
Let k(c) = 26*c**2 - 10*c + 5. Let z be k(5). Let y = 1560 - z. Does 51 divide y?
False
Suppose -15*j = -65*j + 349600. Does 19 divide j?
True
Suppose -280 = 141*g - 134*g. Is 17 a factor of (51/(-4))/(10/g)?
True
Suppose -2*f - m + 3 = 2, -5 = 5*f - 5*m. Suppose f = -2*v + 1956 + 634. Suppose 215 = 5*g - v. Does 16 divide g?
False
Suppose 427 = -b - 324. Let u = -400 - b. Suppose 0 = -4*h - 4*k + 320, 5*h - 43 = -2*k + u. Does 5 divide h?
False
Let q be (-14 - 3/3) + 4. Let x = q + -101. Is -1*(-3 + x) - 2 a multiple of 15?
False
Let c = 7028 + -3134. Does 11 divide c?
True
Let o(r) = -r**3 - 52*r**2 - 109*r - 155. Is 26 a factor of o(-50)?
False
Let d(h) = 4*h**2 + 36*h + 6. Let c(f) = -f**2 - 2*f - 1. Let r(t) = 10*c(t) + 2*d(t). Is r(21) a multiple of 53?
True
Let b be (-5)/(60/(-3)) - 8566/(-8). Suppose 108*k - 101*k = b. Is 47 a factor of k?
False
Let v(r) be the third derivative of -r**5/60 + r**4/3 + 21*r**3/2 + 34*r**2. Is 3 a factor of v(11)?
True
Suppose 5*s - 25 = 5*a, 43 = 5*s - a + 2*a. Suppose -3*k = 4*h - s*h + 175, 4*h = 4*k + 176. Let l = h - -44. Does 7 divide l?
False
Let f = 25304 + -16733. Is 4 a factor of f?
False
Suppose -2 + 103 = n. Suppose 6 = -2*m, -2*m = y - n - 168. Does 25 divide y?
True
Suppose -2*c + 40 = 3*q - 62, -5*c + 170 = 5*q. Let x = 208 - q. Does 3 divide x?
True
Suppose 0 = -22*j - 10 - 276. Let y(t) be the second derivative of -t**5/20 - 11*t**4/12 + 17*t**3/6 - 8*t**2 - t. Is 14 a factor of y(j)?
False
Suppose -4*j = 8*j. Suppose -3*y + 6 = -j. Suppose -y*a = -x - 72 - 90, -4*a - 5*x + 310 = 0. Is a a multiple of 16?
True
Suppose 4*l - 8*v + 13*v - 2357 = 0, 2 = 2*v. Is l a multiple of 3?
True
Let d(w) = -748*w - 119. Is 49 a factor of d(-6)?
False
Let f be ((-100)/(-15))/((-10)/(-15)). Suppose -o + 282 = -5*d + 2*d, -2*d - f = 0. Is o a multiple of 13?
False
Let r(z) be the second d