 + 300. Let w = 103 - n. Is 9 a factor of w?
False
Let w be 1 + 1/(-1)*0. Let l = -8969 + 9003. Is w + l - (-1 - -6) a multiple of 10?
True
Let g(i) = -10*i**2 + 10*i + 24. Let s be g(-3). Let k = s - -168. Is k a multiple of 6?
True
Let g be (-218*(-3)/(-9))/((-5)/(-15)). Let l = -48 - g. Suppose 3*h + l = 8*h. Is 17 a factor of h?
True
Let h(n) = 42*n + 1194. Is 24 a factor of h(15)?
True
Let h(k) = -2 + 2*k - 11 - 11*k + 7*k. Let z be h(-8). Suppose 3*n - 75 - 45 = -z*i, 2*n = 4*i + 98. Is n a multiple of 17?
False
Let m = -208 - -214. Is 23 a factor of (-11143)/(-33) + -1 + 2/m?
False
Suppose 3*y + 71 = 239. Suppose -2*w = -s + 478, -3*w + 108*s = 103*s + 717. Let z = y - w. Is z a multiple of 23?
False
Suppose -2*y + 20 = 2*a, -4*y - 2*a + 44 = -0*a. Suppose 3*v - 2*o - 615 = 312, 0 = -4*o - y. Does 24 divide v?
False
Is 6 a factor of (-1)/(-4) + (-2684)/(-16)?
True
Let w(o) = -o**2 + 16*o + 28. Let i be w(16). Let h = i - 30. Does 34 divide -37*3*h/6?
False
Let o be 7/(7/6) - (0 + -1). Suppose 4*q - 16 = -z, o*q - 2*q - 41 = -3*z. Let b = 33 - z. Does 3 divide b?
True
Let l(t) = 14*t**2 - 2*t - 12. Let c(a) = 16*a + 4. Let v be c(3). Let h = 49 - v. Is l(h) a multiple of 30?
True
Suppose 1369 = 4*p + s, 2*p = -p + 3*s + 1038. Suppose 10*d = 557 + p. Does 14 divide d?
False
Let m be -1 + 3 + -7 - -2. Let a be 984/18 + m/(-9). Let i = -17 + a. Does 38 divide i?
True
Does 18 divide (2 - -1 - (-24 - -869))/(4/(-10))?
False
Let o = 51 - 37. Suppose -10*j + o*j = 812. Does 21 divide j?
False
Let z = 7417 - 5170. Let l = 3443 - z. Does 19 divide l?
False
Suppose -1162430 = -102*b + 969778. Is 134 a factor of b?
True
Let j(s) = s**3 + 7*s**2 + 5*s + 3. Let r be j(-4). Let y = r + -28. Suppose y*n + 92 = 5*n. Is 12 a factor of n?
False
Suppose 145*v + 866088 = 86*v + 82*v. Does 181 divide v?
False
Let m = 151 + -21. Let g(x) = 2*x**2 + 13*x + 39. Let q be g(-5). Suppose 5*r - 91 = -p, -4*r - q = -2*p + m. Is 9 a factor of p?
True
Suppose 67*q - 18824 - 25731 = 0. Does 7 divide q?
True
Let j(f) = -19*f**2 - 2*f - 1. Let z be -2*(0 - (-1)/2). Let c be j(z). Does 15 divide (-151)/(-2) + 9/c?
True
Suppose 38*u = 57*u - 67731 + 19167. Is 71 a factor of u?
True
Suppose -137*w + 200070 = -107*w. Does 13 divide w?
True
Let z = -31059 - -45957. Is z a multiple of 17?
False
Is ((-27)/(-18))/((-3)/(-49))*(-1416)/(-12) a multiple of 23?
False
Suppose 2*l + 3*t + 76 = 0, -l = -2*l - 5*t - 45. Is 30*-3*4*l/75 a multiple of 3?
True
Suppose -3*j + 4*o - 2*o + 130 = 0, -216 = -5*j + 3*o. Suppose 10*r - 12*r + j = 0. Let x = r - -25. Is 24 a factor of x?
False
Let v(c) = -372*c + 2376. Does 72 divide v(-24)?
True
Is 66 a factor of 66/((-2547)/(-318) + -8)?
True
Suppose 484*k - 36300 = 479*k. Is 121 a factor of k?
True
Suppose 2*f - 42 = -2*k, -k + 3*f - 2 + 11 = 0. Suppose -x + k = 119. Let v = x - -143. Is 21 a factor of v?
True
Let t(c) = 1123*c - 2028. Does 2 divide t(7)?
False
Suppose -4*g + 185 = g + 3*j, 185 = 5*g - 4*j. Let p = g + -35. Is 255/((-12)/(-4)) + p a multiple of 7?
False
Let o = -199 - -206. Suppose -7*q = o*q - 8736. Is 16 a factor of q?
True
Suppose 0 = -28*x + 11 + 913. Suppose -f - 5 = 0, 5*n - 308 + x = 4*f. Is n a multiple of 5?
False
Is ((2 - 6) + 8539)*12/10 a multiple of 18?
True
Let o be 4/(-18) - (-8)/(-108)*-3. Suppose o = -4*a - 5*a + 5598. Does 19 divide a?
False
Let v(z) = z**2 + 14*z + 48. Let r be v(-6). Suppose -4*y + 382 + 1246 = r. Is 37 a factor of y?
True
Is 12 a factor of (-75558)/(-20) - ((-860)/200)/43?
False
Let p(n) = 88*n - 455. Let m be p(-10). Let k = m - -2927. Is 46 a factor of k?
False
Let s(r) = -r**3 - 10*r**2 + 9*r + 210. Let j = 799 - 809. Is s(j) a multiple of 10?
True
Let m be (4 - (-53)/(-3))*-3. Suppose -44*d = -m*d - 2946. Is 14 a factor of d?
False
Let v = 6377 - 4463. Suppose -11*s + v = 11*s. Is s a multiple of 6?
False
Let v be 6*(-4)/(6 + -18). Suppose c - 369 = -3*u, -3*u + v*c = 6*c - 378. Is 6 a factor of u?
False
Suppose -2572 + 912 = -2*h. Suppose -4*q = -4*g + 3388, 2*q - 5100 = -5*g - h. Is g a multiple of 42?
False
Suppose 106324 = 3*i + 40243. Is i a multiple of 8?
False
Let c(q) = 6*q + 60. Let p be 15/(-4)*(-512)/96. Is c(p) a multiple of 30?
True
Let g(z) = -3*z**3 + 11*z**2 - 6*z. Let r(x) = -18*x + 34*x**2 - 9*x**3 + 0*x**3 + 5*x**3 - 6*x**3. Let n(c) = 7*g(c) - 2*r(c). Does 24 divide n(6)?
True
Let p(k) be the first derivative of 7*k**3 - 25*k**2/2 - 57*k + 61. Is p(-7) a multiple of 43?
False
Suppose -3*j + 56457 = 3*a, a - 589*j + 585*j = 18819. Does 59 divide a?
False
Suppose -1688*p + 1703*p = 207735 + 49470. Does 281 divide p?
False
Let r be 117 - (0 - (0 + -1)). Let i = r - 92. Suppose 0 = 22*c - i*c + 564. Is 14 a factor of c?
False
Suppose -5*l - 211 = 174. Let w = 7 - l. Suppose -4*p + 0*p - 92 = -4*u, -4*u = -2*p - w. Does 13 divide u?
False
Let u be 11/(-143) - (-313)/13. Suppose -u*f = -f - 8303. Does 19 divide f?
True
Suppose 0 = -q + 208 + 23. Let p(h) = 10*h + 110. Let v be p(-15). Let t = v + q. Is 14 a factor of t?
False
Let w = -14977 - -15427. Does 10 divide w?
True
Suppose 60*z = 62*z. Suppose -4*c - c = z, -f = 5*c - 389. Is f a multiple of 11?
False
Suppose -5*t = 4*a + 36, 2*a + 0*t + 18 = t. Is (-10 - (a + -3))/(2/419) a multiple of 39?
False
Let a(o) = o**3 - 25*o**2 - 5*o + 269. Is 12 a factor of a(25)?
True
Let o = 66 - 61. Let v(r) = 3*r**3 + 3*r**2 - 17*r + 5. Is v(o) a multiple of 27?
False
Suppose -9*h + 366272 = 12079 + 52342. Is h a multiple of 20?
False
Let d(t) = 1227*t**3 - 6*t**2 - 58*t + 124. Is 56 a factor of d(2)?
True
Let t = -28778 - -29189. Does 18 divide t?
False
Let x(g) = 4*g**2 - 5*g + 6. Let o(q) = -4*q**2 + 4*q - 5. Let b(j) = 2*o(j) + 3*x(j). Suppose 3*t - 4*d - 4 = -0, t - 2*d = 0. Is 31 a factor of b(t)?
False
Let m = 964 - 64. Is 27 a factor of (m/120)/((-2 - -5)/54)?
True
Let u = 5264 + -588. Is u a multiple of 28?
True
Does 177 divide (-598435)/84*(0 - 4) - (-160)/1680?
True
Suppose 0 = 3*f - 4*k, -5*k = 5*f - 3*k. Suppose f = -4*a + 1439 + 577. Is a a multiple of 14?
True
Let q(b) = b**3 + 4*b**2 - 2*b + 4. Let w be q(0). Suppose 3*c + w*z = 959, -5*c + 3*z + 1539 + 69 = 0. Does 39 divide c?
False
Suppose d = -4*m - 553 + 185, -368 = d - 3*m. Let o = d - -622. Does 38 divide o?
False
Let f = -143 - -148. Suppose 0 = f*i - 4*s - 296, -5*i + 0*s + 3*s + 297 = 0. Is 3 a factor of i?
True
Suppose 0 = -2*g - 5*r - 242, 100 = -3*g + 5*r - 263. Does 43 divide (-42 + -1)/(-5 + (-594)/g)?
True
Let v be (2/3)/(((-96)/(-378))/8). Let r = -12 - -229. Let p = r - v. Is 24 a factor of p?
False
Let y(v) = -v - 3. Let t be y(-7). Suppose 4*j = -t*o - 8, -4*j - 5 - 5 = 2*o. Does 8 divide (o*-2)/(9/(-36))?
True
Let f = -23464 + 66616. Is f a multiple of 28?
False
Suppose -6308 - 340 = -2*y. Is 32 a factor of y?
False
Let i = -6884 - -8092. Is i even?
True
Let a(o) = 159*o - 6. Let y be (-1)/((-3 - -2)/(5 + -1)). Does 27 divide a(y)?
False
Suppose -8*z + 8 = 2*o - 9*z, 0 = -2*z. Suppose 3*d - o*g = 546, 6*g - 728 = -4*d + 5*g. Does 8 divide d?
False
Suppose 149*t - 389005 = 99417. Is 11 a factor of t?
True
Let u = -483 - -1065. Let z = -177 + u. Does 15 divide z?
True
Let l = -11437 - -43772. Is l a multiple of 9?
False
Let b = -304 + -20. Suppose 1092 = -5*k + 4*g, 4*k + 4*g - 89 = -941. Let o = k - b. Is o a multiple of 27?
True
Let b = -1548 + 1725. Suppose -5*o + 3*m + 18 = -144, -2*o = -4*m - 76. Let u = b + o. Is 36 a factor of u?
False
Suppose -55*n - 81*n - 31*n = -804606. Is n a multiple of 33?
True
Let z(r) be the second derivative of -17*r**3/3 - 135*r**2 - 191*r. Does 27 divide z(-18)?
False
Let k(v) = -8*v - 36. Let z be k(-5). Let t be (z + -68)/8 - (-4 - -1). Does 42 divide (-21)/(-2)*(-130)/t?
False
Does 24 divide 2099983/166 - 5/2?
True
Suppose 40*t - 366 = 34. Suppose -4138 = -4*a - o, 5*a + 8*o - 5179 = t*o. Is 45 a factor of a?
True
Let r(t) = t + 31. Let f be r(-14). Suppose -19 = 4*l + f. Is 35 a factor of (-703)/(-5) + l/15?
True
Let z = -19 - -21. Suppose 4*c = 5*g + 244 + 172, z*g - 226 = -2*c. Is 5 a factor of c?
False
Let p(f) = -f**3 + 24*f**2 - 22*f - 22. Let w be p(23). Let q be (-411)/(-24) - w - (-2)/(-16). Let g = 26 - q. Is g a multiple of 3?
False
Suppose 25*s - 88 = 3*s. Suppose s*r = 4*j + 1888, r = -9*j + 