= -17065 + 26884. Is w a multiple of 9?
True
Let a = -50 - 32. Let z = a - -101. Is 262/2 - (-57)/z a multiple of 18?
False
Let j(m) = 89*m - 2563. Is j(59) a multiple of 24?
True
Suppose -j - 22*v - 15 = -21*v, 2*j = 2*v - 10. Let w(k) = -7*k - 20. Let b(t) = -36*t - 100. Let d(y) = -2*b(y) + 11*w(y). Is d(j) a multiple of 4?
False
Suppose 39*p - 747283 = -57736 + 71577. Does 111 divide p?
False
Let b = 224 - 107. Suppose -5*d + 437 = b. Is d a multiple of 16?
True
Let c(h) = 4*h**2 - 11*h. Let l be c(6). Suppose -l + 438 = 3*o. Is o a multiple of 30?
True
Suppose -2*k = -2*m + 26, 5*m + 3*k - 37 - 52 = 0. Suppose v + 734 = 3*r, -2*v - m = r - 256. Is r a multiple of 22?
False
Let i(p) be the second derivative of 2*p**3/3 + 7*p**2/2 + 37*p. Let k be (-141)/(-15) - (-2)/(-5). Is i(k) a multiple of 5?
False
Let z = 10533 - 6445. Is z a multiple of 7?
True
Suppose 5*d = -v + 3158, 11*v = 8*v + 3*d + 9510. Suppose v = -11*m + 29*m. Is 19 a factor of m?
False
Suppose -2*w - 17 = -5*j, 2*w - 3*w - 2 = 4*j. Let z be w*(-9 + 13)*1/(-2). Suppose -8*b = -z*b + 388. Is 32 a factor of b?
False
Let f(h) be the third derivative of h**5/20 - 13*h**4/24 - 2*h**3/3 - 51*h**2. Let y be f(9). Let b = y - 52. Does 11 divide b?
False
Let k(i) = -5 + 63 - 134*i**2 - 26*i + 133*i**2. Let f = -29 + 5. Is k(f) a multiple of 7?
False
Let f be (-1562)/55*(3 + (-31)/2). Let q = -95 + f. Is 10 a factor of q?
True
Let v = 57 - 41. Let h be ((-3)/(-2))/((12/v)/1). Suppose -3*a + 465 = 2*q - 23, -2*a - h*q = -328. Is 40 a factor of a?
True
Let t(n) = 1201*n**2 - 81*n - 19. Is t(-3) a multiple of 13?
False
Let z(a) be the first derivative of 1/4*a**4 - 7/3*a**3 + 4 + 18*a - 1/2*a**2. Does 11 divide z(7)?
True
Suppose 4*n + 16 = 8*n. Suppose -3*s = -n*p - 2545, 5*s - 2*p = 4688 - 437. Is 31 a factor of s?
False
Let t(m) = -2*m**2 - 28*m - 14. Suppose 30*s = -158 - 52. Does 4 divide t(s)?
True
Let v(o) = -o**3 + 1. Let q(s) = -196*s**3 + 2*s**2 - s + 3. Let f(b) = q(b) - 4*v(b). Let w be f(-1). Let n = w + -95. Is 42 a factor of n?
False
Let f be (-1 + 13 - -4) + -1. Suppose -f*c - 3*c = 3168. Let u = c - -336. Does 16 divide u?
True
Let h = 1530 - -2212. Is h a multiple of 9?
False
Is (-215 + -1)/((-294)/4872*3/21) a multiple of 32?
True
Let t(u) be the first derivative of -67*u**2 - 7*u + 1476. Let r be 1/3 + (-14)/6. Does 29 divide t(r)?
True
Let p(w) = -18*w**3 + 124*w**2 + 120*w. Let y(r) = 13*r**3 - 83*r**2 - 80*r. Let n(o) = -5*p(o) - 7*y(o). Does 4 divide n(-38)?
True
Let v = 42 + 485. Is 32 a factor of 8 + v + 0 + 2?
False
Let h(i) = -2*i**2 - 99*i + 18. Let n be h(-10). Suppose -1644 = -4*v + 7*g - 10*g, 2*v = 2*g + n. Is 8 a factor of v?
True
Let o(i) = 13*i. Let k be 4/7 + 9/21. Let v be o(k). Suppose v = 2*j - 177. Is 7 a factor of j?
False
Let o = 297 + -293. Suppose 0 = 5*m - o*s - 4330, 15*m - 3*s = 12*m + 2595. Does 30 divide m?
True
Suppose 8*f - 7*f + 7007 = 5*q, 2*f = 3*q - 4214. Does 56 divide q?
True
Is -24 + 4629 - (-13 - (3 - 6)) a multiple of 9?
False
Suppose 0 = -3*w - 10 + 1. Let b be (-2)/((-216)/52 - -4). Let p = w + b. Does 7 divide p?
False
Is 3 a factor of (-26)/91 - (-23480)/56?
False
Suppose -19*s + 730620 + 265303 = 0. Is 52 a factor of s?
False
Suppose 0 = -2955*r + 2988*r - 53031. Is 44 a factor of r?
False
Let g = -239 - -95. Let y be (-464)/g - (-4)/(-18). Suppose 5*c - 164 = y*o, -3*o - 3 - 6 = 0. Is c a multiple of 31?
True
Suppose 16215 = -89*n + 104*n. Is n a multiple of 23?
True
Suppose 3*w + 5*o + 19 = 4*w, 4*w + 3*o - 7 = 0. Suppose -1257 = -w*a + 219. Is 24 a factor of a?
False
Let g(d) = 0 - d**3 - 90*d**2 + 52 + 97*d**2 - 7*d. Let u be g(7). Suppose 3*b = t + 131, 5*b - 217 = -0*b + u*t. Is b a multiple of 4?
True
Suppose -7*v = 5*q - 5*v + 1830, q + 4*v = -348. Let n = q - -462. Is n a multiple of 4?
False
Let j = 23727 - 15303. Does 162 divide j?
True
Let p(t) = -8*t - 47. Let o be p(-5). Is 25 a factor of ((-30)/o)/((-24)/(-840))?
True
Let r(h) = 2*h**3 - 10*h**2 + 8*h - 14. Suppose -7*c + 6 = -10*c. Let w(m) = m**3 - 10*m**2 + 7*m - 13. Let u(j) = c*r(j) + 3*w(j). Does 18 divide u(-11)?
False
Let j(l) = -l**3 + 6*l**2 + 9*l - 11. Let i be j(7). Suppose -i*d - 2*v = -364, -d - v = -2*v - 113. Does 13 divide d?
False
Suppose 33220 = 2*z - 315*h + 307*h, -3*h = 5*z - 83096. Does 16 divide z?
False
Let z be ((-15)/9 + 1)*-6. Suppose -3*n - 4*w = -545, 199 + 656 = 5*n - z*w. Suppose 6*r = r + n. Does 7 divide r?
True
Let q = 16936 + 15739. Is 108 a factor of q?
False
Let v = 19232 - 15704. Is 252 a factor of v?
True
Suppose -90*t + 1176812 = -8*t + 106220. Is t a multiple of 13?
False
Suppose -14*m = -17*m - 3. Let c be 64 - (3 + (0 - m)). Does 5 divide ((-870)/c)/(((-1)/(-2))/(-1))?
False
Let n(b) = -b**3 - 5*b**2 + 34*b + 14. Let c be n(4). Let o(i) = 5*i - 4 + 3*i - 3*i**2 + 2*i**2. Is o(c) even?
True
Suppose -22*v = -23*v - 28. Let j(k) = -k**2 - 24*k + 37. Let g be j(v). Let d = g - -114. Does 18 divide d?
False
Let q = -412 - -419. Suppose -q*h - 447 = -2022. Is h a multiple of 45?
True
Let r = 8714 - -3792. Is r a multiple of 26?
True
Suppose 2*u - 3*j = 7*u - 412, 5*u - 4*j - 419 = 0. Let z(w) = -33*w**3 - u*w**2 + 41*w**2 - 2 - 3*w + 40*w**2. Is 16 a factor of z(-1)?
True
Let n(y) be the third derivative of 1/120*y**6 + 0 + 7/6*y**3 - 43*y**2 + 1/24*y**4 + 0*y - 3/20*y**5. Does 4 divide n(9)?
True
Let m = -49043 - -73223. Is m a multiple of 84?
False
Let w = -36 + 41. Let k be 10/(1/(w/((-10)/6))). Let x = k + 84. Does 18 divide x?
True
Let z = 438 + -822. Let r = z - -391. Does 7 divide r?
True
Let u = -267 - -269. Suppose u*n - 1400 = 4*m, 4*n - 2*m - 629 - 2171 = 0. Is 35 a factor of n?
True
Let v be ((-8 - -9)*1)/((-1)/(-5)). Suppose -v*h = 449 - 2199. Is 50 a factor of h?
True
Suppose 57 = -4*f + 5*p + 185, -2*f = -p - 64. Suppose f*t - 3336 = 28*t. Is t a multiple of 48?
False
Let h(z) = z**3 + 2*z**2 + z - 3. Let n be h(-6). Let q = n + 18. Let f = -79 - q. Is f a multiple of 4?
True
Suppose 2*s + 70 = 406. Suppose -s*o + 172*o = 1064. Does 38 divide o?
True
Suppose 0 = -146*k - 4*k + 748800. Is 137 a factor of k?
False
Is (-32 + 33)/(2/3514) a multiple of 6?
False
Let j = 676 - -214. Suppose 0 = -2*a + 3*a - 2, 5*b - 67 = 4*a. Suppose 10*f + j = b*f. Is 24 a factor of f?
False
Let f(c) = -c**3 - 9*c**2 - 2*c - 6. Let r be f(-9). Suppose m + 5*m + r = 0. Let j(t) = -15*t. Does 5 divide j(m)?
True
Let a be (-48)/(-40)*(1*375)/(-3). Let z = 207 + a. Is 17 a factor of z?
False
Is 46 a factor of (1 + -2)*(-124 + 125) + (-1 - -64079)?
False
Let z be -5 - ((-16)/4 + -4). Suppose -5*m + z*a + 19 = 0, 12 = -11*a + 7*a. Suppose -4 = -m*y + 8. Is y a multiple of 4?
False
Let u be (-6)/(-36) + (-1)/6. Suppose -4*z + x = -1534 + 124, u = -3*z - 5*x + 1046. Is 22 a factor of z?
True
Suppose 0 = 7*f + 13 + 29. Let n(r) = r**2 - 6*r + 16. Let d be n(f). Suppose d - 56 = m. Does 9 divide m?
False
Let m(f) = -f**3 - 4*f**2 + 15*f - 19. Let j be m(-9). Let c = j - 107. Is c a multiple of 13?
False
Let v(c) = -549*c - 13386. Does 48 divide v(-146)?
True
Let f = 77 - 60. Suppose -5*z - f = -7. Is 4 a factor of 8 + 0/(1 - z)?
True
Suppose l - 4917 = -g, -4*g - 65*l + 63*l = -19668. Is 25 a factor of g?
False
Suppose 49*c - 48*c - 109 = 0. Suppose 115 + c = b. Is 28 a factor of b?
True
Suppose 2*p = -570 + 2996. Suppose -4373 = -8*v - p. Is 23 a factor of v?
False
Suppose -14*c - 576 = -20*c. Suppose p = 2*r + 33 - 1, -3*p - 2*r = -c. Does 4 divide p?
True
Let d = -1727 + 8545. Is 134 a factor of d?
False
Let c be 86 + -141 - (-9)/1. Is 30 a factor of (-450)/3*(c/5 + 8)?
True
Let d = -319 - -324. Suppose 2*i - 31 - 2480 = -3*u, -d*i + 6245 = u. Is 13 a factor of i?
True
Let n(q) = -475*q**2 - 2. Let k be n(-1). Let a = k + 825. Suppose 1622 - a = 7*g. Does 26 divide g?
True
Suppose -57*d + 68389 = -2690. Is d a multiple of 30?
False
Let t = -473 - -4329. Does 55 divide t?
False
Let v = 19728 - 7971. Is v a multiple of 52?
False
Let u be -1 + (3 + 1 + -12 - -5). Is (21/u)/(6 - 3855/640) a multiple of 28?
True
Let j(r) = 84*r**2 + 57*r - 313. Is j(6) a multiple of 29?
False
Is 9 a factor of -12 + ((-45825)/(-13))/5?
True
Let s(v) = -v**2 + 99*v - 226. Is 54 a factor of s(52)?
False
Suppose -4 = 3*q - 5*q. Suppose -q*x + 5*x - 60 = -