). Let k = w + 190. Does 32 divide k?
False
Suppose 42*n = 47*n. Suppose n = -6*t + 50 + 1054. Is 44 a factor of t?
False
Let i(z) = 489*z - 960. Does 8 divide i(12)?
False
Let h(k) = -44*k - 1. Let f be h(-1). Suppose -9*j + 312 = 15*j. Suppose 2*p - 5*n - f = -2*p, 4*p + 5*n = j. Is p even?
False
Let l(j) = j**2 - 38*j + 43. Is 2 a factor of l(0)?
False
Let t(v) = -1708*v + 9329. Does 46 divide t(4)?
False
Is ((-36)/(-28))/((-1)/(-7721)) a multiple of 13?
False
Suppose -3*l + 3*x + 8 - 2 = 0, 3*l - 34 = -4*x. Is -2 + 154 - (l - 7) a multiple of 13?
False
Let k(o) = -2*o**2 - 21*o - 8. Let j be k(-9). Let t = -17 + j. Suppose 40 = t*y - 48. Is 11 a factor of y?
True
Does 27 divide (-2)/(-17) - 16/204*-12366?
False
Let a(b) be the second derivative of -b**4/12 - 3*b**3 - 19*b**2/2 - 38*b. Does 31 divide a(-9)?
True
Suppose 0 = -2*v + 5*n + 25854, -48357 = -3*v + 2*n - 9565. Is 66 a factor of v?
False
Let a = 752 + 726. Suppose -a = -328*b + 326*b. Is b a multiple of 33?
False
Let j = 67 + -25. Suppose 9*y = 16*y - j. Does 22 divide 1324/10 + y/(-15)?
True
Suppose 373*m - 128*m + 2040215 = 9824355. Does 188 divide m?
True
Suppose 21*o - 29 = 76. Is 75 a factor of (-14)/((-56)/180)*o?
True
Let l be 1 + 1*(4 + -8). Does 5 divide 31 - 2/3*l/(-2)?
True
Suppose 9*c - 1315 = 4*c. Let x be (-32)/(-56)*7/2. Is (x - 1)/2 - c/(-2) a multiple of 11?
True
Let y(x) = x. Let b(a) = a**2 + 10*a. Let h be 3/(-4 + (-22)/(-4)). Let k(g) = h*y(g) + b(g). Is 16 a factor of k(4)?
True
Is (10437 - -171) + (-9 - -1) a multiple of 13?
False
Suppose -6*t + 9787 = -5*r, -t - 2*r + 1514 + 103 = 0. Is t a multiple of 18?
False
Let t(g) = 2724*g**2 - 3*g + 5. Is 36 a factor of t(-1)?
False
Suppose -241 + 243 = -x, 0 = -2*q + x + 1902. Is q a multiple of 10?
True
Let t = -6558 - -24098. Does 20 divide t?
True
Let k = -681 + 1011. Suppose -p + 4*p = 12, 2*p = 2*d - k. Is 13 a factor of d?
True
Suppose 73*g + 10*g - 673911 = 175843. Is g a multiple of 64?
False
Suppose -46558 - 83006 = -18*l. Does 61 divide l?
True
Suppose 0 = -10*y + 31 - 111. Let o(w) = -36*w - 49. Does 12 divide o(y)?
False
Let b be (-13)/(-2) + 55/(-22). Is (20934/b)/9 + (-4)/8 a multiple of 10?
False
Let i(z) be the third derivative of -z**4/24 - z**3/3 - 16*z**2. Let t be i(-8). Suppose -4*x - 32 = -t*x. Is 2 a factor of x?
True
Let k = -59 + 279. Let o = 308 - k. Suppose -2*c + 256 = 16*f - 11*f, 0 = 2*f - 4*c - o. Is 10 a factor of f?
True
Suppose -2*l - 6 = 2. Let g be (l - -3)*-2 - 2. Let y(t) = t**3 + t + 29. Does 8 divide y(g)?
False
Let m(z) = -35*z + 1049. Let j be m(30). Let h = 3 + -2. Is (3 - (j + h))*168/9 a multiple of 11?
False
Let p = 20614 + -12284. Does 17 divide p?
True
Let c be 13/(-208) + 10498/32. Does 5 divide c + 0 + (-3)/(6 - 3)?
False
Let k be (0 + 1 + (-6)/9)*-9. Let n be (1/k)/(2/(-318)). Let q = n + -3. Is q a multiple of 8?
False
Let k be (-24)/16 - 2175/(-10). Let x = k + -204. Is x a multiple of 5?
False
Let r be (70/45)/7 - 89960/(-18). Suppose 5*f + 12*f - r = 0. Does 4 divide f?
False
Let q be (68/119)/((-4)/14). Let w be 4 + -4 + 6 + q. Suppose 0 = -w*i - 8, -i + 3*i + 104 = 2*n. Does 8 divide n?
False
Let v(h) = 16*h**2 + 4*h - 17. Let u be v(-9). Suppose 10*k - 117 - u = 0. Let y = 229 - k. Does 7 divide y?
False
Let f(r) = 24*r**3 - 6*r**2 - 197*r + 1649. Is 3 a factor of f(8)?
False
Let u = -9 + 14. Suppose -4*r = -3*g - 197, -4*g - 196 = r - u*r. Let d = -23 + r. Is d a multiple of 18?
False
Let n = -97 - -101. Suppose -1 - 80 = -n*c + 3*k, 108 = 5*c + 3*k. Is 11 a factor of c?
False
Let f = 2352 + -1951. Let i(y) = 88*y + 7. Let c be i(6). Suppose -c - f = -3*t. Does 24 divide t?
True
Let s = 397 - 326. Let c be (0 + 5)*(-2 - -29). Let h = c - s. Is h a multiple of 3?
False
Suppose 5*m + 23*h = 22*h + 11525, -4613 = -2*m - h. Is 139 a factor of m?
False
Let d = -2981 - -9797. Does 12 divide d?
True
Let l(c) = 82*c**3 - 16*c**2 + 15*c + 45. Does 21 divide l(6)?
False
Let x(t) = t + 24. Let c be x(-6). Suppose 12*m = c*m - 540. Suppose m = -b + 4*b. Does 6 divide b?
True
Let a = 26 + -22. Suppose 3*h = -a*t + 7 - 25, 9 = -5*t + 3*h. Does 46 divide (-189)/12*(t + 4)*-8?
False
Let z(v) = 324*v - 1466. Is 14 a factor of z(12)?
True
Suppose q - 6*q - 10 = -m, -2*q - 4 = -3*m. Suppose 0 = 2*w - 5*i - 2, m*w - 10 = -w - 2*i. Suppose w*s - 4*s - 130 = 0. Is 17 a factor of s?
False
Suppose 600*h = 613*h - 26. Let o be (-1)/((4/(-5))/4). Suppose -3*u + 468 = 4*i - o*u, -2*i + 234 = h*u. Is 12 a factor of i?
False
Let y = 12648 - 10115. Does 11 divide y?
False
Suppose 2*a - 161 = 2*u + 683, 0 = 3*a - 5*u - 1256. Suppose 4*o = 53 + a. Does 10 divide o?
True
Let j = 299 - 271. Suppose -j*h = -36*h + 2360. Does 5 divide h?
True
Let r(a) be the third derivative of -11/12*a**4 + 0 + 3/2*a**3 + 0*a - 10*a**2. Is 25 a factor of r(-6)?
False
Let m be 61 - 7/((-7)/3). Is 14 a factor of (m/(-5))/(616/(-120) + 5)?
False
Suppose 86*x = 89*x - c - 3083, -4*c = x - 1019. Is 6 a factor of x?
False
Let j = 213 - 214. Is ((-10)/(-4) + j)*72 - 0 a multiple of 18?
True
Suppose 3*p = 4*z + 6460, 18*z + 10732 = 5*p + 20*z. Is 4 a factor of p?
True
Let w = -5643 - -5902. Does 3 divide w?
False
Suppose 2*o - 25409 = 5*u, -31*o + 26*o = -2*u - 63554. Is o a multiple of 28?
True
Suppose 20 = 2*p - 4*i, 4*p - 3*i + 27 = 6*p. Suppose -2*h = -h + p. Does 4 divide h/15*-5 + 0?
True
Let c = -11295 - -25595. Is 143 a factor of c?
True
Let q = -69 + 363. Suppose 29*p - 8*p - q = 0. Is 14 a factor of p?
True
Let v = 56946 - 7056. Is 30 a factor of v?
True
Suppose 0 = 36*k + 19*k - 43*k - 15372. Is k a multiple of 7?
True
Suppose 45 + 3 = 6*h. Does 3 divide 8/(h/5) + (1 - -1)?
False
Let y(u) = -u**3 - 7*u**2 + 6*u + 22. Let d be y(-8). Suppose 4 + d = 3*t. Does 3 divide t?
False
Does 56 divide (-2700)/(-50)*(8 + 0)*7?
True
Let q(w) = -55*w - 26. Let f be q(-5). Suppose -2*n = -3*n + f. Suppose 5*m = n - 9. Is m a multiple of 8?
True
Let c = -2019 + 3891. Suppose 0 = 7*k - 9510 - c. Is 79 a factor of k?
False
Let r(k) = 64*k**2 + 55*k - 1596. Is 18 a factor of r(20)?
False
Let i = 316 - -3425. Is i a multiple of 13?
False
Let w(t) = t**3 - 7*t**2 + 4*t + 16. Let l be w(6). Let z be 0/(-1)*(-2)/l. Suppose -19*j + 18*j + 78 = z. Is 13 a factor of j?
True
Let s be (2 + 0)*(-144)/(-18). Suppose -11*g = -s*g + 1610. Does 16 divide g?
False
Let r = 108 - 104. Let o(g) = 94*g + 16. Does 56 divide o(r)?
True
Let z(i) = i**3 + 5*i**2 + 4*i. Let f be z(-2). Let q be 236 - 12/(-7 + f). Suppose q = 7*v + v. Is 3 a factor of v?
True
Is (2 - -2)/(-2)*103650/(-300) a multiple of 49?
False
Let h(k) = k**2 - 15*k + 18. Let p be h(12). Does 16 divide (-300)/(p/6) + -4?
True
Suppose -5*v - 390 = 5*y - y, -2*v + 3*y - 179 = 0. Let w = v + 110. Is 24 a factor of w?
False
Suppose 310*y = 158*y + 11896584. Is 113 a factor of y?
False
Let m(y) = 261*y - 39. Let j(w) = w - 4. Let v be j(8). Let n be m(v). Suppose 2*t + 4*i = 424, -10*t + 5*t + i + n = 0. Does 31 divide t?
False
Suppose -36 = 3*v + 6*v. Let y(g) = -2*g**3 + 4*g**2 - 2*g - 8. Let p be y(v). Suppose -3*r = -0*r - p. Does 12 divide r?
False
Let m(x) = 2946*x**2 - 16*x - 17. Let u be m(-1). Suppose -9295 - u = -16*i. Is 70 a factor of i?
False
Suppose -16*w = -11*w - 15. Suppose -p = -w*p + 4*x + 124, 5*x - 20 = 0. Does 14 divide p?
True
Suppose -152 = -4*k + 11*n - 15*n, 3*k - 89 = 2*n. Is 6 a factor of (2 + -1)*(3 + k)?
True
Let i be (-60)/5*18/8*-9. Let z = i + -183. Is z a multiple of 3?
True
Does 2 divide 3519/276*(-236)/(-3)?
False
Suppose -4*o - 3*o - 336 = 0. Let c be 415/6 - (-8)/o. Is (c - (-4 - 0)) + 2 a multiple of 25?
True
Let f = 76 - 21. Let l = f + -51. Suppose l = t, -2*p + 214 = p + t. Does 7 divide p?
True
Let h(f) = 3*f**2 - 12*f - 50. Suppose 3*w = -47 + 41, -2*w = -o - 6. Does 72 divide h(o)?
False
Let u = 141 + -219. Let z = u - -176. Is 47 a factor of z?
False
Suppose x + 2*p - 1416 = 0, 20*x = 25*x + 12*p - 7078. Is x a multiple of 5?
False
Suppose 20*f - 4158 = 9*f. Let w = f - 108. Is 20 a factor of w?
False
Suppose 3*a - 2*k - 183 = 0, 5*k - 135 = -2*a + 2*k. Let s = -61 + a. Is 0 + 27 + 2*s a multiple of 7?
False
Is (3088776/657)/((-2)/(-3)) a multiple of 41?
True
Let g be 1 - (-3)/(18/(-30)). Is (-2 - g/(-3))/((-9)/1674) a multiple of 20