0 - 0. Suppose -14 = 3*c - 4*z - 45, 4*c + 4*z - 32 = s. Let k = 14 - c. Does 3 divide k?
False
Let b be -2 - 5/((-5)/4). Suppose -8*s = -b*s - 66. Suppose 14*i = s*i + 219. Is 48 a factor of i?
False
Suppose -2*p + 98600 = 6*y - 10*y, -49286 = -p - 5*y. Does 11 divide (-3)/24 + p/128?
True
Suppose 389*t + 630 = 396*t. Is 30 a factor of t?
True
Let j be (74/(-6))/((-5 - -1)/12). Suppose 66 = -j*z + 40*z. Suppose -10 = -4*y + z. Does 4 divide y?
True
Is 65576 + (-72)/(-54)*-12 a multiple of 44?
True
Suppose 6*v + 2 - 26 = 0. Let d be ((-462)/9)/(v/12). Let u = -39 - d. Does 11 divide u?
False
Suppose -174315 = -11*r - 80099 + 177737. Is 91 a factor of r?
False
Is 34 a factor of 68688/530 - 8/5?
False
Let v(o) = -o**2 - 3*o + 33. Let j be v(4). Is 9 a factor of -30 + 33 + j*2?
False
Let f = -162 + 159. Suppose 8*c - c - 364 = 0. Is 26 a factor of (f*c/(-6))/((-1)/(-2))?
True
Suppose 2*z + 260*z - 594992 = 1268876. Is 5 a factor of z?
False
Suppose -732 = -7*x - 368. Suppose -x*p = -57*p + 315. Is 2 a factor of p?
False
Let r be -3 + -661 + -5 + (4 - 4). Let d = -165 - r. Is d a multiple of 18?
True
Let a(d) = d + 2*d**2 + 270 - 15*d - 617 + 277. Does 30 divide a(-10)?
True
Let x = -5337 + 5856. Does 2 divide x?
False
Suppose -9*u + 11757 = -6*u + 3*z, 5*z + 7796 = 2*u. Is u a multiple of 43?
True
Let k(t) = -16 - 2*t**2 + t**2 - 4 - 7 - 18*t. Let w be k(-6). Let o = -35 + w. Does 10 divide o?
True
Suppose -4*s = 5*c - 19192, 0 = -4*c + 8*c - 4*s - 15332. Is c a multiple of 12?
False
Suppose 0 = 4*h - 2 - 14. Suppose 5*m + 2*a = 84, 0 = -3*m + h*a - 42 + 108. Let k = 66 + m. Is k a multiple of 11?
False
Let c(b) be the second derivative of 3*b**4/4 - b**3/3 - 9*b**2/2 - 34*b. Let f be c(-3). Let k = 87 - f. Does 3 divide k?
True
Suppose 0 = -k - 3*p + 1583, 0*k - 4*p - 6348 = -4*k. Is 10 a factor of k?
False
Let n be (-11 - -13) + (0 - -2). Suppose 5*v = -i - 71, v - n*i = -16 + 6. Does 16 divide ((-324)/v)/(-3 + 44/14)?
False
Let n be 5/((-130)/152) - 4/26. Let y(b) = -2*b**3 - 7*b**2 + b + 6. Let r be y(n). Is 5 a factor of r/(-14)*5/(-15)*14?
True
Let y(k) be the second derivative of 2*k - 2*k**2 + 1/6*k**4 + 0 + 7/6*k**3. Does 7 divide y(4)?
True
Let x = -493 - -496. Suppose -5*w + 11 = 1. Suppose 4*k - 355 = 5*n, -w*k - x*n = -2*n - 195. Is k a multiple of 19?
True
Suppose -12*x + 9622 = -14174. Does 15 divide x?
False
Let m(c) = 9*c - 2*c - c + 75 + 11*c. Is m(17) a multiple of 29?
False
Let y(i) = 19*i**2 + 11*i - 12. Let k be (-15)/6*(-36)/30 - 0. Does 15 divide y(k)?
False
Let o(l) = 4*l**2 - 11*l + 22. Let g(v) = -9*v**2 + 23*v - 45. Let y(n) = 2*g(n) + 5*o(n). Does 40 divide y(12)?
True
Suppose 293*x - 15124 - 43476 = 0. Is 50 a factor of x?
True
Suppose 5512 + 1409 = k + 2*k. Does 108 divide k?
False
Let a(n) = n**3 + 107*n**2 - 284*n - 568. Is 28 a factor of a(-109)?
False
Let l = 147 + -142. Suppose -2*f = l*b - 357, b - 5*f - 50 = 16. Does 7 divide b?
False
Suppose 0 = 57*h - 54059 - 209509. Is 16 a factor of h?
True
Let v be ((-308)/4)/(-1) - 6/(-2). Suppose 0 = -6*i + v + 88. Let p = 49 - i. Is 21 a factor of p?
True
Suppose -3*u = -5*m - 5, -5*u - 3*m + 39 = 8. Let k be -1 + -774*(-3)/9*1. Is 32 a factor of -1 + k + (-1 - u/(-5))?
True
Let c(q) = q**3 + 9*q**2 - 23*q + 16. Let j be c(-12). Does 8 divide 0 + 0 + -1 - j?
False
Is 89 a factor of (3*(-92)/(-18))/(4/2670)?
True
Let l(r) = -4*r + 45. Let z be l(13). Is (-2 + z/(42/5826))*-1 a multiple of 29?
False
Let i be 860/(-14) - (-4)/(-7). Let s = i - -122. Is 10 a factor of s?
True
Let y(j) = -j**3 + 10*j**2 - 10*j + 11. Let b be y(9). Suppose -b*c + 22 = -218. Suppose -10*d + c = -440. Is 8 a factor of d?
True
Let a = 24 - 107. Let f = a - -189. Suppose 2*d + 2*c = -0*d + 54, -3*d + 2*c = -f. Is 16 a factor of d?
True
Suppose 2*r + 5*h - 181 = 0, 2*h + 281 = 3*r - 0*h. Let z = -89 + r. Suppose 3*o + 5*c = 38, -z*o + 3*c + 46 = 5*c. Is 3 a factor of o?
False
Let n(f) = 3234*f + 41. Is n(5) a multiple of 13?
True
Suppose -24*x + 22*x + 7482 = -5*k, 4*x = 4. Let w = k - -2145. Is w a multiple of 45?
False
Let u(a) = a**3 - 4*a**2 - 40*a + 10. Does 4 divide u(16)?
False
Let c = 419 + -411. Suppose 5*b + 137 = 5*d - 1018, 5*b = -3*d - 1131. Is b/15*(-60)/c a multiple of 19?
True
Suppose 0 = 37*r - 9*r + 3220. Let j = r - -643. Is 33 a factor of j?
True
Let n(j) = -17*j**2 + 12. Let l(d) = -2*d + 2. Let o(c) = 2*l(c) - 2*n(c). Is 26 a factor of o(-5)?
False
Let k be 129/(-8) - 4*(-4)/128. Is 13 a factor of k/(-3)*1998/36?
False
Let i(l) = l**3 - 13*l**2 + 22*l - 11. Let r be i(10). Let n = 45 - r. Does 11 divide n?
False
Let m be (-2)/6 - 13/(-3). Suppose -m*y + 288 = 4. Does 14 divide y?
False
Let i be 2/(-7) - (-164)/(-14). Let y be 201/i*(1 - -3). Let a = y - -227. Does 10 divide a?
True
Suppose -35*r = -39*r + 1664. Let w = r - -469. Is 59 a factor of w?
True
Let q = 55 - 51. Suppose g - q*i - 8 = -94, -g = -i + 77. Let b = 7 - g. Is b a multiple of 9?
True
Let u = 48612 - 24054. Is 8 a factor of u?
False
Let l(u) = -u**2 - 5*u + 10. Let q = 25 + -25. Let g be -2 - (q/3 + 3). Does 4 divide l(g)?
False
Let c = 5350 - 4848. Is c a multiple of 17?
False
Does 5 divide (-1102)/(-2) + (-1)/((-3)/9)?
False
Let u = 78 + -69. Suppose -i + 3 = 0, -u*z + 4*z + i + 1922 = 0. Is z a multiple of 11?
True
Let h(i) = -i**3 + 25*i**2 - 20*i - 119. Does 44 divide h(21)?
False
Suppose -o - 2*t = -t - 7, -4*o + 33 = 5*t. Suppose -o*y + 2*y = -2*y. Suppose y = 3*d + d - 520. Is d a multiple of 10?
True
Let k(h) = 315*h**3 - 8*h**2 - 5*h + 15. Does 201 divide k(2)?
False
Suppose y = 1, -69 = -4*d + 4*y + 35. Suppose -2*v - 33 = d. Does 24 divide 8/40*4*-1*v?
True
Let y = 422 + -1214. Let t = y + 1390. Is 64 a factor of t?
False
Suppose 25*c + 15*c = 145960. Is c a multiple of 41?
True
Let x be ((-6)/(-1) - 4) + 3. Suppose -4*f = -4*a + 6868, x*a - 5706 - 2882 = 2*f. Is 45 a factor of a?
False
Let u = 280 + -196. Let h = u + -86. Does 14 divide (-10)/h + -3 + 64 - -4?
True
Let f = 14958 - 11031. Does 15 divide f?
False
Suppose 156*q - 259376 = 602212. Is 21 a factor of q?
True
Let n be ((-2)/(-2))/(-6*(-1)/2538). Let j = -293 + n. Let c = 186 - j. Is c a multiple of 14?
True
Suppose -u = -4, 0 = -5*l - 2*u - 2*u + 6776. Suppose 5*q = -4*y - 3559, -5*q - 3*y - 2206 = l. Is (-57)/(-133) - q/7 a multiple of 34?
True
Let d(u) = 750*u - 49. Let i be d(4). Suppose 0 = 6*l + 551 - i. Is 25 a factor of l?
True
Let q(v) = 12*v - 42. Let t be q(-5). Let x be 601/5 + (-8)/40. Let h = t + x. Is 9 a factor of h?
True
Let u = -78070 + 142084. Is 94 a factor of u?
True
Suppose -5*o = 2*w + 527, o + w + 127 = 6*w. Let l = o + 258. Does 27 divide l?
False
Let k(z) = z - 1. Let o be k(-4). Is 48 a factor of (-1614)/(-15)*(150/o)/(-6)?
False
Suppose 3*j - 5*o = 358 - 1345, -5*j - 1635 = -5*o. Does 36 divide ((-28)/(-42))/((-3)/j)?
True
Suppose 0 = f + 2*p - 32 - 63, 4*f - 410 = -2*p. Is 28 a factor of (f/(-30))/(1/(-94))?
False
Let l = -3698 + 2393. Let w = -516 - l. Is 36 a factor of w?
False
Let m = 361 + -602. Let z = m + 776. Does 48 divide z?
False
Let v be -2*(-5 - 13)/3. Is ((-2)/v)/((-2)/8)*450 a multiple of 30?
True
Let x = 30325 - 5384. Is x a multiple of 60?
False
Suppose -89*j = -96*j + 10010. Suppose 3*g + 78 = 2*p + j, 12 = -3*p. Is g a multiple of 16?
True
Let r(k) = -k**2 - 11*k - 26. Let p be r(-7). Does 13 divide ((-16)/p)/32 - 5361/(-4)?
False
Let f = -61 - -41. Does 54 divide (-267 - (-1)/(5/f))/(-1)?
False
Let q(n) = -42*n - 2 - 64*n + 14 - 4*n**2 + 166*n. Is q(14) a multiple of 2?
True
Let l(u) = u**2 - 26*u - 141. Let p be l(-5). Does 41 divide (-2 - -1)/((p/(-1558))/7)?
True
Suppose 5*l + 5*m = 9*l + 56, -4*m + 61 = -5*l. Is 6 a factor of ((120/l)/(-4))/((-14)/(-399))?
False
Let h(z) = 134*z**2 + 12*z - 8. Let r be h(4). Suppose -6*j = -13*j + r. Is j a multiple of 16?
False
Let c(o) = -o**3 + 10*o**2 - o - 15. Let u be c(7). Let h = -128 + u. Does 12 divide 6/(h/(-18)*1)?
True
Let n be (-2)/(18/(-4) + 4). Suppose 2*w + 2070 = n*x, 4*x = -x + 5*w + 2585. Is x a multiple of 12?
False
Is 15 a factor of (2918/(-5))/(140/(-8800)) + 6/(-14)?
False
Suppose 12*v - 17 - 19 = 0. Suppose -n + 2 = -v*d, n - d = -0 - 2. Does 14 divide ((-28)/3)/((n + 3)/12)?
True
Let s(n) = 18*n + 106. Suppose 6 = 10*t 