- 31377 = -3*w, l = -5*w + 52281. Does 17 divide w?
True
Let y(i) = -3*i**3 - 6*i**2 - i + 3. Let t be y(-2). Suppose t*p - 83 = -j, -p - 332 = j - 5*j. Does 3 divide j?
False
Let x(d) = -d**3 + 19*d**2 + 21*d - 9. Let j be x(20). Let k(a) = a**2 - 24. Let q be k(j). Suppose 2*l = 5*y - 2*l - q, 3*y - 4*l = 63. Does 3 divide y?
False
Let q(f) = -f**3 - 83*f**2 + 166*f + 16. Does 4 divide q(-85)?
True
Let y = -42771 - -53811. Does 15 divide y?
True
Suppose -72200 = -49*h + 9*h. Is h a multiple of 19?
True
Does 55 divide (-4)/(-6) - (-1)/(164175/(-20523) - -8)?
False
Let l(r) = -r**2 + 38. Let i be l(-6). Let k be (6/(-4))/((-2)/4). Suppose -k*o = -i*o - 80. Does 40 divide o?
True
Let z = 481 - -1094. Does 7 divide z?
True
Let n = 193 - 177. Suppose -n*r + 468 = -13*r. Is 6 a factor of r?
True
Let k(c) = -8*c**2 - 7*c + 19*c**2 + 19 + 0*c**3 + 3*c**3 - 4*c**3. Is 5 a factor of k(9)?
False
Suppose n + 4*a - 9381 = 5*a, -n = a - 9387. Suppose -19*m + n = 15*m. Is m a multiple of 42?
False
Let r = -1179 + 1878. Let x be 4 + r - -1*(-1)/(-1). Suppose 2*n = 4*l + x, 4*n + 4*l - 1399 = 3*l. Is n a multiple of 14?
True
Is 32 a factor of (-536220)/(-42) + 1 - (8 - (-55)/(-7))?
True
Let w = 3197 + -1416. Is 13 a factor of w?
True
Let n(o) = -o**3 + 59*o**2 - 215*o + 24. Does 122 divide n(55)?
False
Let k = 94 - -414. Let o = k + -212. Is o a multiple of 24?
False
Let c = -182 + 394. Let s = c - -248. Suppose 5*l - s = 5*p, 0 = -3*l - p + 109 + 159. Is l a multiple of 30?
True
Let s be 2/4 - (-27)/18. Let d(x) = 35*x - 20*x + s*x**2 - 21*x + 10. Is d(8) a multiple of 16?
False
Suppose -2190 = -w - 5*r, -3*r + 13140 = 6*w - 7*r. Does 6 divide w?
True
Suppose -111 = 9*z - 3. Let d be 20/(32/z - -2). Let p = -7 - d. Is p a multiple of 6?
False
Suppose 4*y = -5*k + 21531, y = 4*k + 5025 - 22254. Is 83 a factor of k?
False
Let k = 17495 + -9385. Is 5 a factor of k?
True
Let j be 6*((-6)/4)/(-3). Let r(f) = -5*f**2 + 2*f - 5. Let t be r(j). Is 5 a factor of 256/26 + t/(-286)?
True
Let n(m) = -5*m**3 - 85*m**2 + 5*m - 39. Is 22 a factor of n(-19)?
True
Let x = 307 + -217. Suppose -l - x = -258. Is 11 a factor of l?
False
Let v = 18 - -32. Suppose x - v = 46. Suppose -74 = -2*j + 4*t - 2*t, 0 = -3*j - 2*t + x. Is 34 a factor of j?
True
Let v = 380 + -390. Let m(q) = -7*q + 37. Is 2 a factor of m(v)?
False
Does 34 divide (27 + 279)*28/8?
False
Let b(p) be the second derivative of 5*p**4/12 + 5*p**3/6 + 2*p**2 - 43*p. Let k be b(-1). Suppose -12*u - 222 = -k*i - 10*u, 4*i = -u + 219. Does 55 divide i?
True
Let k(l) = l**3 + 25*l**2 + 33*l + 9. Let j be (-16)/(-12) - (158/6 + -2). Does 14 divide k(j)?
True
Suppose -6*j = 236 - 308. Does 26 divide (j*3)/3*(-264)/(-11)?
False
Let y(s) = 1917*s + 1869. Is y(23) a multiple of 20?
True
Suppose 4*c = -2*h - 24, -30 = -0*h + 5*h + 4*c. Let w be h/10 - (-808)/40. Suppose 0 = w*s - 26*s + 972. Is 27 a factor of s?
True
Suppose 76*s - 79*s + 15714 = 0. Is s a multiple of 13?
False
Let f(d) = -44*d + 62. Let i be f(7). Let h = i - -263. Is h even?
False
Is -414*9/(297/(-3938)) a multiple of 85?
False
Is 193528/24 + (-21)/(-63) a multiple of 56?
True
Let z(h) = 3*h**2 + 4*h - 16. Let b(j) = -3*j**2 - 5*j + 17. Let n(f) = 5*b(f) + 6*z(f). Let a be n(4). Suppose 4*i = 3 + a. Is i a multiple of 9?
True
Is (81 - 0)*8*(-9)/(-9) a multiple of 12?
True
Let m = 448 + -443. Suppose -3*w + 994 = -4*g - 2616, 3*w + m*g - 3628 = 0. Is w a multiple of 63?
False
Let x(t) = -t**3 - 4*t**2 + 7*t + 16. Let g(p) = -4*p - 1. Let a be g(1). Let j be x(a). Let i(h) = h**2 + 4*h + 10. Is i(j) a multiple of 10?
True
Does 73 divide 41115/6 - (3 + (-66)/12)?
False
Let l(g) = 4*g**2 + 21*g - 110. Let a be l(13). Let m = a - 503. Is m a multiple of 14?
True
Let v(h) = 8*h**3 + 4*h**2 - 4*h. Let i be v(2). Does 19 divide (-1384)/(-36) - 32/i?
True
Let v(t) = -2609*t**3 + 8*t**2 + 12*t - 3. Let w be v(-3). Suppose 0 = 34*a - w + 16382. Is 42 a factor of a?
False
Let z = -5 - -7. Suppose -k + 4*w - 25 + 8 = 0, -z*k = -4*w + 42. Let f = k + 65. Does 3 divide f?
False
Let x = -39312 + 41954. Is x a multiple of 11?
False
Let d(a) = 34*a + 30. Let o be d(7). Let t = o + -170. Is t a multiple of 17?
False
Let t(p) = 4*p**2 - 17*p + 10. Let d be t(4). Suppose 2*m + d = -m, 5*s + 3*m - 6859 = 0. Does 78 divide s?
False
Let p = 85 - 158. Let o = 73 + p. Let u(z) = z**2 - 2*z + 255. Does 51 divide u(o)?
True
Does 4 divide (-1)/(1*4*(-8)/70624)?
False
Let d(i) = 150*i + 1 - 537*i + 257*i + 241*i. Does 28 divide d(1)?
True
Let q(d) = 1055*d**2 + 119*d - 490. Does 8 divide q(4)?
False
Suppose 0 = 14*k + 16*k - 120. Let c be ((-3)/(-6))/((-1)/(-56)). Is -60*(k/28 - 102/c) a multiple of 10?
True
Let w = 62542 - 43912. Is 46 a factor of w?
True
Suppose 86*s = 62*s - 2784. Let p(x) = 8*x**2 + 6. Let o be p(-5). Let m = o + s. Is 9 a factor of m?
True
Let i(g) = 26*g + 13. Let c be (-2*9/8)/(5/(-20)). Let q be i(c). Let y = q + -111. Is 34 a factor of y?
True
Does 4 divide ((-147)/4 + 2)/((-72)/1152)?
True
Suppose -3*h - 6 = 0, 4*h = -k + h + 142. Suppose 5*u = 20, c - 4*c = u - k. Is 4 a factor of c?
True
Does 4 divide (-1*(4 - 5))/(4/7144)?
False
Let y = 113 - 484. Let s = -189 - y. Is s a multiple of 13?
True
Let h(x) = -x**2 + 3*x - 2. Suppose 0 = -172*z + 167*z - 30. Let t be h(z). Let r = t - -126. Is r a multiple of 14?
True
Let m be ((96/15)/(-2) - -3)*0. Let r(g) = 78*g**2 + 2*g + 4. Let s be r(-3). Suppose -a - 4*a + s = m. Is a a multiple of 35?
True
Suppose -2*y + 2*c + 1766 = 2*y, 3*c = -3. Let l = y + -283. Let q = l - 50. Is q a multiple of 23?
False
Suppose -10*v + 584778 + 46102 = 0. Does 117 divide v?
False
Suppose -4*g - 3*c = -29, -g - 5*c + 3 = -0*g. Suppose 10*k - g*k = -360. Is 15 a factor of (166/(-6) - -1)*k/40?
True
Let n(p) = 199*p - 1110. Is 34 a factor of n(13)?
False
Let q = 561 + -985. Let a = q + 557. Is a a multiple of 3?
False
Let w be -953*(24/2)/(-4). Is 18 a factor of -4*(-1)/24 + w/18?
False
Let p(i) = 9*i + 21. Let h(f) be the third derivative of -13*f**4/24 - 31*f**3/6 - 24*f**2. Let k(d) = -5*h(d) - 8*p(d). Does 8 divide k(-3)?
True
Let j be (-16)/64*0/(2 - -1). Let y(l) = -62 + 153 - l + 0*l - 2*l**2 + l**3. Does 7 divide y(j)?
True
Is 14 a factor of 29177/4 + (((-81)/(-4))/(-9) - -2)?
True
Let w(p) be the first derivative of 107*p**4/4 + 2*p**3/3 - p**2/2 - 40. Is w(1) a multiple of 3?
True
Let y be (8 - 7)/(1/10). Suppose 56 = -5*w - 44. Is 8 a factor of (-158)/w + y/100?
True
Let d(g) = -g**2 - g + 5. Let r be (-1 - -1)/(12 + -11). Let x be d(r). Suppose -x*u - 140 = -5*c, u - 36 = -c - 2*u. Is 5 a factor of c?
True
Suppose 13245*n - 34104 = 13238*n. Does 28 divide n?
True
Let z(f) be the first derivative of 5*f**3/3 - 15*f**2/2 + 192*f + 78. Does 28 divide z(8)?
True
Let j(u) = -311*u - 1282. Is j(-10) a multiple of 109?
False
Suppose 307*g - 310*g + p + 14963 = 0, 5*g = -3*p + 24915. Is g a multiple of 15?
False
Let v(z) = 66*z - 31. Let w be v(3). Let d = 243 - w. Is d a multiple of 19?
True
Suppose -18*j + 16*j + 9390 = 0. Does 3 divide j/50 - (-1)/10?
False
Suppose 4*a = 25 - 13. Suppose 6*g - 2*g + a*l - 1059 = 0, 2*l = 2*g - 526. Is 44 a factor of g?
True
Let i(z) = 610*z**2 + 146*z - 17. Does 36 divide i(4)?
False
Suppose -5*v + 61323 = -f, 5*v + 3*f = 6*v - 12273. Is 23 a factor of v?
False
Suppose 17*r - 3005 = -4*a + 18*r, -2355 = -3*a + 21*r. Is 4 a factor of a?
False
Suppose 3*q = -2*s + 14620, 4*q + 177 = 193. Is 11 a factor of s?
True
Let o = 67 - 70. Let d(u) = 2*u**2 + 5*u + 15 + u**2 + 3*u**2 + 0*u**2. Does 6 divide d(o)?
True
Let j = -28947 - -48459. Is j a multiple of 12?
True
Let s(j) = 8*j**2 + 6*j. Let l = -112 - -100. Let z be (((-231)/l)/11)/(1/(-4)). Is 50 a factor of s(z)?
True
Suppose -3*m + 4*z - 40 = m, -z + 24 = -3*m. Let n(s) = -13 + s**3 + 17 + 3*s + 8*s**2 - 3*s + 2*s. Is n(m) a multiple of 39?
True
Let x = -5240 + 15405. Does 107 divide x?
True
Suppose -3*v - 5*g - 3559 = 0, g + 49 = 53. Let j = 2489 + v. Does 18 divide j?
True
Let u(z) = 2048*z - 314. Does 30 divide u(5)?
False
Let r = 3472 - 2192. Is r a multiple of 10?
True
Let l be (1*(-2 + 4))/(-4)*-6. Suppose -2*m + 92 = -f, -32 = l*m - 4*f - 160. Is m a multiple of 48?
True
Let b = -70 + 189. Let k = 295 - b. Suppose -5*x - g = -182,