)?
True
Let o be (6 + -5)/(1/2). Suppose -u + 4*u - 3*s - 3 = 0, -2*s = o. Is 9 a factor of (-76)/4*(-2 + u)?
False
Suppose 3582203 = 116*g - 1393138 + 1350573. Is 248 a factor of g?
True
Let s(h) = -h**3 + 7*h**2 + 10*h + 6. Let t be s(9). Let b = -183 - t. Let w = 1 - b. Is 23 a factor of w?
False
Let t(x) = -16*x**3 + 9*x**2 + 2*x - 3. Let o be t(3). Let h = 1 - o. Is h a multiple of 15?
False
Let q be (0 + (-7)/(-14))/((-2)/32). Is 4/2 + (-488)/q a multiple of 9?
True
Suppose -46360 = -5*x + 5*a - 6*a, -37088 = -4*x - 2*a. Is 61 a factor of x?
True
Let d = -49 - -53. Suppose 0 = -5*x, d*x - 4 = -4*n + 2*x. Let b(g) = 73*g**3 - g**2 + 3*g - 3. Is b(n) a multiple of 18?
True
Suppose 6*k = -2*k + 10048. Suppose 4*x - 4*f - k = 0, 0*f = -4*f. Let t = x + -156. Is 28 a factor of t?
False
Suppose 0*j - 2601 = -4*j - p, 0 = -2*j - 2*p + 1302. Suppose -51*q = -56*q + j. Let l = q - 71. Is l a multiple of 15?
False
Suppose 4*g - 107 = 5. Suppose g = 9*r - 620. Does 8 divide r?
True
Does 57 divide 6/4*(-3 - -2625)?
True
Suppose -50*u + 1131195 = 31*u - 16*u. Does 33 divide u?
False
Let f(k) = -3*k + k**3 + 65 - 39*k + 37*k**2 + 9*k - 3*k**3 + k**3. Is 7 a factor of f(36)?
False
Suppose 2603*l - 424746 = 2561*l. Is l a multiple of 166?
False
Suppose -x = 5*w - 3173, -4*x + 196*w + 12760 = 199*w. Is 2 a factor of x?
False
Let g(j) = 116*j - 669. Does 87 divide g(12)?
False
Suppose 5*g - 17025 = 3*d - 5838, 0 = -g + 5*d + 2211. Is 9 a factor of g?
True
Suppose 0 = -3*n - 2*g + 57834, 4*n - 77112 = 92*g - 97*g. Does 42 divide n?
True
Let n = 61 - 61. Suppose n = 4*w - 22 + 14. Is 21 a factor of (-22 - 8)/(-1 + -2 + w)?
False
Suppose -153*v = -273*v + 147*v - 152928. Does 24 divide v?
True
Suppose -6*j = -383 + 329. Let c(g) = -17*g + 22. Let u(t) = 34*t - 44. Let w(y) = 5*c(y) + 3*u(y). Is w(j) a multiple of 14?
False
Suppose v - 6*v + 5*q = -35, 0 = 2*v - 5*q - 20. Let u = v + 0. Suppose -3*s = 5*r + 3 - 34, 0 = 2*s + u*r - 19. Is s a multiple of 4?
True
Suppose 5*d = 4*d + 2. Suppose -d*f - 18 = -m, -5*m - f = -25 - 10. Is (2 - (-14)/(-2))*(-4 - m) a multiple of 14?
False
Suppose 4*h = -h - 4*q + 3792, -5*h + 3795 = 5*q. Suppose 6*c = h + 1164. Is 8 a factor of c?
True
Let f be 30/3 + ((-3)/(-3))/1. Let y(j) = j**3 - 9*j**2 - 23*j + 39. Is 14 a factor of y(f)?
True
Suppose 152*d = 1954677 + 876323. Is d a multiple of 248?
False
Let w(i) = -3*i**2 - 3*i - 20. Let a(b) = -b**2 - 2*b - 10. Let g(z) = 5*a(z) - 2*w(z). Let u be ((-82)/8 - (-17)/68) + 3. Is g(u) a multiple of 8?
False
Let d(s) = 244*s - 109. Does 20 divide d(28)?
False
Let i be ((-1)/3)/(1/(-3)). Let n be i - 3/((-3)/173). Suppose -4*j + 2*c + n = 0, -2*c = 3*j + j - 186. Is 15 a factor of j?
True
Suppose -26*i + 114 = -23*i. Suppose i*d = 27943 - 8905. Is 32 a factor of d?
False
Let r(i) = 1291*i**2 + 19*i - 48. Let l be r(3). Suppose 28*j - 9*j - l = 0. Is 51 a factor of j?
True
Suppose 1063 = 9*k + 145. Suppose -2*n = 2*u - k, -2*n + 3*n - 55 = u. Is n a multiple of 4?
False
Suppose p = 5*s - 148878, 0 = 3*s - 5*p + 16079 - 105375. Is 11 a factor of s?
True
Let z = 28913 - 28895. Does 18 divide z?
True
Suppose 0 = 41*k - 5*k - 7114 - 24782. Is k a multiple of 7?
False
Suppose b - 6526 = -o + 5*o, 0 = 3*b - 4*o - 19594. Is b a multiple of 18?
True
Let u(g) = -66*g + 161. Let n(j) = 264*j - 647. Let t(p) = -2*n(p) - 9*u(p). Is 13 a factor of t(12)?
True
Let z = 10866 - 6211. Is z a multiple of 95?
True
Suppose -8*p = 4*j - 6*p - 170, 70 = 2*j + 4*p. Suppose -j*b + 16*b = -986. Is 2 a factor of b?
True
Let j = -7696 + 18749. Is 116 a factor of j?
False
Let s be 13/((-130)/(-25))*(0 - -12). Is (6/15)/(12/s)*377 a multiple of 56?
False
Let s(k) = k**3 - k**2 - 15*k - 8. Let c be s(5). Suppose -2*q = z + 1, 4*z - c = z + 4*q. Let b(j) = 34*j + 28. Does 10 divide b(z)?
True
Let z = 203 + -208. Suppose -3*w + 6*w = 3*s - 90, 0 = -w - 3*s - 30. Is 2/z + (-2472)/w a multiple of 41?
True
Is ((-3)/(-12)*-26)/((-4)/1872) a multiple of 78?
True
Let b(x) = -x**3 + 3*x**2 + 17*x + 10. Let n be b(6). Suppose -n*o = 3 + 1, -4*w = o - 3971. Is w a multiple of 13?
False
Suppose 3*v - 4588 - 4223 = -o, 4*v = -4*o + 35292. Is 109 a factor of o?
True
Let u = 128 - 133. Does 10 divide ((-744)/(-15) - 0)/((-2)/u)?
False
Suppose 4*f = -4*a + 35220, -42*a + 43*a + 26435 = 3*f. Is f a multiple of 10?
True
Is 40 a factor of (((-1)/(-7))/(20/10990))/(3/108)?
False
Suppose -754 = 5*p - 4*t, -t - 4 = -0*t. Let z = 235 + p. Does 2 divide z?
False
Suppose 3*l - 16 = 5*l - 2*p, -20 = 4*l - p. Let f(i) = -2*i**3 - 4*i**2 + 6*i - 6. Let w be f(l). Suppose -2*d + w = -126. Is 10 a factor of d?
True
Suppose 4*a - 3*h = 464, 95 = 3*a - h - 253. Let c = a - 113. Suppose c*m = -m + 308. Is 11 a factor of m?
True
Let d(i) = 3*i**3 - 9*i**2 + 50*i - 344. Is 11 a factor of d(18)?
True
Let k = 34 - 31. Suppose 3879 = 3*l + 3*y, -4*y + 3884 = k*l - 0*y. Suppose 4*f + l = 12*f. Is f a multiple of 29?
False
Suppose -a + 294 = 4*w, 0 = -3*a - w + 990 - 141. Let p = -135 + a. Does 15 divide p?
False
Let s(w) = -2419*w + 10. Is s(-2) a multiple of 53?
False
Suppose 2*u - 18 = 2*x, -17 = -u + 6*x - 3*x. Suppose -5*i + u*p + 27 = 9*p, -5*p = -5*i. Suppose i*z = l + 35, 0*z - 3*l = 3*z - 27. Is 6 a factor of z?
False
Let d(k) = k**3 + 8*k**2 + 2*k - 17. Let u be d(-7). Let i = -13 + u. Is 14 a factor of 38 + (-2 - (3 - i))?
False
Let x(g) = g**3 - 6*g**2 - 2*g - 9. Suppose 6*s = 10*s + 8. Let i be (-90)/(-12) + (-1)/s. Is 16 a factor of x(i)?
False
Suppose -2*n - 4689 = -11*n. Suppose 3*f - 4*w - n = 0, -3*f = -0*w - 5*w - 520. Is 27/18 - f/(-2) a multiple of 38?
False
Let o(w) be the third derivative of 7*w**4/24 + 49*w**3/3 - 3*w**2 - 2. Is o(-8) a multiple of 17?
False
Let c(f) = f**3 + 31*f**2 - f + 1320. Is c(-25) a multiple of 50?
False
Suppose 9*y - 50 = 11*y. Let w = 31 - y. Suppose s - w = -s. Is s a multiple of 6?
False
Let m(d) = -141*d - 228. Let k = 730 + -739. Is 41 a factor of m(k)?
False
Suppose 36962 = 2*q - 4*j, 3*q + 4431 - 59868 = 3*j. Is q a multiple of 11?
False
Let y = 91016 - 53216. Does 20 divide y?
True
Let z = 24190 + -8420. Is z a multiple of 166?
True
Suppose -25*c - 5356 = -29*c. Suppose -3*t + 6*t = -r + 443, -3*r = -t - c. Is r a multiple of 30?
False
Let d = 27 + -3. Suppose 0 = d*a - 25*a + 2. Does 22 divide 8/(-10)*((-289)/a + -3)?
False
Let x(k) = -5*k**3 - 4*k**2 + 11*k - 2. Let z be x(-5). Let c = z - 281. Is 5 a factor of c?
False
Let d = 212 + -124. Suppose -z + 3 + 58 = 0. Let s = d - z. Is s a multiple of 9?
True
Suppose -27835 + 2612 = -8*q - 3*q. Does 8 divide q?
False
Let q = -7 + 24. Let s(y) = y**2 - 17*y + 62. Is s(q) a multiple of 10?
False
Let q be 2*3*(2 + (-15)/9). Suppose -q*p - 4 = -2, 2*m + 3*p - 3659 = 0. Does 17 divide m?
False
Suppose 75 = 8*v + 7*v. Suppose 4*o = v*t + 993, 15 = 3*t + 18. Does 13 divide o?
True
Let t(n) = -n**3 - 9*n**2 - 25*n + 14. Let b be t(-14). Suppose -3*y + 3*j = -1077, 491 = 5*y + 3*j - b. Does 26 divide y?
True
Let m(d) = -21*d**3 - d**2 + 93*d + 589. Is 12 a factor of m(-7)?
True
Let q = -8526 + 8690. Does 41 divide q?
True
Let v = -3952 + 6018. Suppose -5*w + v = -3*c, -895 = -4*w - 3*c + 747. Is w a multiple of 61?
False
Let k = 33843 - 23067. Does 8 divide k?
True
Is (-2 + 248)/(91/35 - 2) a multiple of 44?
False
Let w(k) = 725*k**2 + 189*k + 6. Is 42 a factor of w(-3)?
True
Let j(z) = -5*z + 15. Let q be j(0). Let i = q - -79. Is 11 a factor of i?
False
Suppose 0 = 5*d - 3*v + v + 2693, -d = -3*v + 536. Let c = -44 - d. Is c a multiple of 19?
False
Suppose -4*p + 4351 + 23001 = 2*t, -3*p + 4*t + 20547 = 0. Does 9 divide p?
False
Let d(b) = -b**3 + 5*b**2 + 2. Let h be d(5). Suppose -7*y = 5*k - 3*y - 1226, 2*k - y = 480. Suppose k = h*f - 2*v, f - 3*v = -v + 125. Does 13 divide f?
True
Let k(u) = u**3 - 23*u**2 - 11*u + 14. Let y be k(23). Let s = y + 436. Is 28 a factor of s?
False
Let x = -327 + 693. Does 40 divide x + (-2 - 4) - 0?
True
Suppose -91 + 5 = -v. Let u be (-244)/(-8)*(-2 - -4). Suppose 3*r - v = u. Does 3 divide r?
False
Is 23 a factor of ((-19428)/(-36))/((-14)/(-124)) + 2/21?
False
Let x(n) = n**2 + 28*n + 54. Let w be x(-26). Suppose -2*l + 434 = j, 0 = -3*l - 0*j - w*j + 649. Does 7 divide l?
False
Let y(z) = 65 + 17*z + 5*z**2 -