- 16*w**2 - 25*w + 48. Let k be u(-14). Is (71 + 5)/((-17)/k - -3) a multiple of 12?
True
Let v be 30/(-9)*(-320 - -5). Let f = v - 723. Suppose 26 = 5*m - x - f, -341 = -5*m - 3*x. Does 10 divide m?
True
Let x(c) = 20*c**2 + 13*c - 132. Does 18 divide x(13)?
False
Suppose -3*w - 4*f = -63326, 2*w - 18*f - 42220 = -22*f. Is w a multiple of 61?
True
Let y = 368 + -365. Does 2 divide -1 - (y + -4) - -22?
True
Suppose -444373 - 535640 = -213*n. Is 5 a factor of n?
False
Let s(p) = -929*p - 1215. Is s(-4) a multiple of 4?
False
Let v(r) be the second derivative of 3*r**5/10 - r**4/12 - 4*r**3/3 + 7*r**2/2 + 48*r. Let t = -22 - -25. Is 8 a factor of v(t)?
True
Suppose w - 4*w = 2*o - 31, 2*w - 54 = -3*o. Let s = 5 + o. Let u = s + 23. Is 6 a factor of u?
True
Suppose 0 = -c, -c + 4*c = -2*h + 8. Suppose h*n - 36*r + 32*r - 1328 = 0, n = -2*r + 323. Is 31 a factor of n?
False
Let w(d) be the second derivative of d**4/4 + 13*d**3/6 - 2*d - 1. Is w(5) a multiple of 8?
False
Suppose -3*j + 42474 = -0*c + 3*c, -c + 14146 = -3*j. Is c a multiple of 22?
False
Suppose 3*m + 4*r + 11 = 3*r, 10 = 2*m + 5*r. Let j(x) = -2*x**3 - 8*x**2 - 10*x - 1. Let t(y) = -y**3 + y. Let l(h) = -j(h) + t(h). Is l(m) a multiple of 2?
False
Is ((-273)/(-49) - 6)*-35357 a multiple of 13?
False
Let v = -539 + 539. Is 16 a factor of v + 0 + 3 + 203 - -2?
True
Let y(n) = 67*n**2 + 140*n - 217. Does 46 divide y(11)?
True
Let l be 0*(-2 + -5 - -6). Suppose 28*n - 927 - 81 = l. Is n a multiple of 12?
True
Let j be ((-35)/(-20))/((-3)/(-24)). Let v be 2/18*6 + j/6. Suppose 3*t = -2*x + 76 + 3, v*x = -5*t + 117. Is 22 a factor of x?
True
Let a(w) = 116*w**2 + 15*w + 1. Let h(p) = 57*p**2 + 7*p. Let f(v) = -2*a(v) + 5*h(v). Does 11 divide f(-5)?
True
Let i(y) be the second derivative of -y**5/20 - y**4/3 - y**3/3 + 17*y**2/2 - 24*y. Let u be i(-9). Suppose 0*l - u = -4*l. Is 10 a factor of l?
True
Let g(x) = -193*x + 250. Let a be g(-8). Suppose 4*b + 2*k - a = 0, 5*k + 1326 = -0*b + 3*b. Is 11 a factor of b?
False
Suppose -3*s - 29329 = -5*x - 4798, 0 = 5*x + 2*s - 24521. Does 15 divide x?
True
Let k(q) = -q**3 - q**2 + 266. Suppose 2*l - 6*l = -l. Let o be k(l). Let h = -175 + o. Is 12 a factor of h?
False
Let h(f) be the second derivative of 9*f**5/10 + f**4/12 + 31*f**3/6 - 42*f**2 - 8*f + 1. Does 28 divide h(3)?
True
Let q(n) = 19*n**2 + 164*n - 180. Is q(-36) a multiple of 30?
True
Suppose -16*z + 162 = -13*z. Let q = 10 - 40. Let k = q + z. Is k a multiple of 3?
True
Suppose 33 = -19*l + 20*l. Suppose l = -5*d + 8, 4*c + 4*d = 4. Suppose 4*i = c + 118. Is 9 a factor of i?
False
Suppose 3*j - u - 25 = 2*j, 0 = 5*j - 3*u - 115. Suppose 20*m - 25*m - j = 0. Is 1/(m/(-116)) - 3 a multiple of 26?
True
Let h(y) = 18*y**3 - 3*y**2 + 9*y - 28. Let k be h(5). Suppose 6*b - 2*b - k = 2*l, -548 = -b + 5*l. Does 24 divide b?
False
Let b(h) = 20*h**2 + 7*h + 2. Suppose 1 - 41 = -10*y. Is b(y) a multiple of 10?
True
Let z = 11143 - 7327. Does 9 divide z?
True
Suppose k - 42 = -j + 19, -5*k + 302 = 2*j. Does 12 divide k/(-40) - 730/(-4)?
False
Let s be (-4)/5*(-15)/6. Let q(w) = -w**3 + w**2 + w. Let m(x) = 3*x**3 - 11*x**2 - 13*x - 9. Let z(f) = s*q(f) + m(f). Does 26 divide z(11)?
False
Suppose -3*t + 3*w = -78, 5*w + 81 = 4*t - 22. Let a = 191 + t. Does 30 divide a?
False
Let n be 2*2 + (-585)/(-3). Let u = n - 78. Suppose -l = 3*a - u, a + 2*a = 4*l + 101. Does 24 divide a?
False
Let g(l) = 3*l**3 + 15*l**2 + 2*l - 9. Is 39 a factor of g(-3)?
True
Suppose -25*o = 52 - 352. Let t(a) = 108*a - 81. Is t(o) a multiple of 45?
True
Let b = 273 - 273. Suppose b = 5*q + 5*y - 935, -2*q + 3*y = q - 561. Does 11 divide q?
True
Suppose -8*v - v = -855. Let q = 292 - v. Is q a multiple of 33?
False
Let u be (-1092)/(-72) - 1/6. Suppose -4*v - u + 43 = 0. Does 2 divide (2/v)/((-4)/(-28))?
True
Let l(v) = -v**2 + 5*v + 26. Let r be l(8). Suppose -2197 = -r*g - 289. Is g a multiple of 14?
False
Let u(k) = 21*k**2 + 69*k - 1446. Does 79 divide u(33)?
True
Let a(j) = 21*j + 251. Let s be a(5). Let p = 392 + s. Does 11 divide p?
True
Suppose -4*v + 2505 = 3*s, 2*s + 637 + 619 = 2*v. Is v a multiple of 19?
True
Let l = 79 + -70. Suppose -11 = -2*r - l. Does 5 divide r/(-3) + 456/18?
True
Let z = -4720 - -6420. Is 3 a factor of z?
False
Let w(m) = 2*m**3 + 58*m**2 - 4*m - 23. Let v be w(-29). Suppose -2*g + 131 = -v. Is g a multiple of 8?
True
Let p(k) = 4*k**2 - 26*k + 100. Let n be ((-26)/104)/((6/112)/(-3)). Does 10 divide p(n)?
True
Let l be 2/5 - (-11)/((-495)/1278). Does 35 divide (-4)/(-14) - 972/l?
True
Let r be (-15)/7 + (-3)/(-21). Does 25 divide (-371)/r + 36/24?
False
Let h(m) = -611*m - 477. Is 41 a factor of h(-14)?
True
Suppose 5*w = -2*m + 10747, 3*m - 4*w - 2201 = 13908. Is m a multiple of 9?
False
Does 33 divide 2784/290*(-1270)/(-3)?
False
Let d(l) = 17*l**2 - 25*l + 514. Does 138 divide d(22)?
False
Suppose 0 = -52*t - 1363 + 68235. Is t a multiple of 25?
False
Let f be ((-22)/(-3))/(14/357). Let w = 26 + f. Suppose 5*m - 87 = w. Does 16 divide m?
False
Does 23 divide (-63250)/165*(2 + -2 + (-15)/2)?
True
Suppose 0 = 6*y + 208 - 202. Does 24 divide y/4 + (-2808)/64*-6?
False
Let r(m) = -7*m**2 + 7*m - 4. Let a be r(4). Let d be 2/4*(-362 - 0). Let j = a - d. Is j a multiple of 31?
True
Suppose k = -t + 82, 5*t - 294 = k + 86. Does 7 divide t?
True
Let n(r) = r + 0*r + 13 + 64. Is n(31) a multiple of 16?
False
Suppose -301*i = -143*i - 2197306. Does 41 divide i?
False
Suppose 0 = 3*o - o, -45 = -3*i + 61*o - 66*o. Suppose -v - 165 = -6*v. Suppose -i*f + 12*f + v = 0. Is 11 a factor of f?
True
Let x = -285 - -309. Suppose 0 = -3*a - x*a + 5346. Is a a multiple of 25?
False
Let m(r) = 25710*r + 3048. Is 178 a factor of m(2)?
True
Let l be 38/(-133)*21*15/(-2). Let o = 4 - -30. Let k = l - o. Is k a multiple of 3?
False
Let w(f) be the third derivative of 35*f**4/24 - 7*f**3/2 + 4*f**2. Let r be w(8). Suppose j + 4*j - 5*v - 425 = 0, 3*j - r = 4*v. Does 27 divide j?
True
Let s(k) = -1187*k - 2996. Is s(-12) a multiple of 11?
False
Let h(c) = 3321*c**2 + 33*c - 37. Is 165 a factor of h(1)?
False
Suppose 27 = -6*l - 21. Let t = 2 + l. Does 25 divide (-2453)/(-33) + (-4)/t?
True
Let w = -5228 - -5232. Let a be (2 - 73/5)*-5. Suppose -2*l - 45 - a = -r, w*r - l = 453. Is 22 a factor of r?
False
Let f = 1034 + -80. Let w = f + -2734. Is 38 a factor of 6/(-9) + w/(-15)?
False
Suppose -5*y + y - 8 = r, 12 = 4*r + 5*y. Let q be 3/4 - (-2)/r. Suppose 3*f - q = 8. Is f even?
False
Let v = 6787 - 4989. Is v a multiple of 29?
True
Let i be (-528)/10*30/9 - 4. Let k = i - -485. Is k a multiple of 50?
False
Let o(m) = -313*m - 140. Let l be o(-7). Let b = l + -1416. Is b a multiple of 53?
False
Suppose -16*o - 2025 = -21*o. Let g = o - 228. Let u = g - -4. Does 11 divide u?
False
Let p(t) = t**3 - 6*t**2 + t + 1. Let w be p(8). Suppose 99 = b - w. Suppose -b = -6*v + 46. Does 4 divide v?
False
Let m = 8 - 13. Let g(w) be the third derivative of -7*w**4/12 + 64*w**2. Is g(m) a multiple of 10?
True
Does 200 divide 37333*6/16 + (-10)/(-80)?
True
Suppose 244*n - 303*n = -619854. Does 102 divide n?
True
Suppose 2870 = 5*b + z, 0 = 497*b - 500*b - 5*z + 1722. Does 6 divide b?
False
Is 78 a factor of 1 + 9371 + (-18)/(-30)*15?
False
Let v = -423 - -923. Suppose 2*s + 104 = v. Suppose 0*o - 2*o - s = -4*q, -5*q - 5*o = -255. Is q a multiple of 10?
True
Let d(y) = 2*y**2 - 42*y + 53. Let a(n) = 21*n - 2 + 3 - 22 - 6 - n**2. Let m(j) = 5*a(j) + 2*d(j). Is 4 a factor of m(19)?
False
Let d(a) = 23*a - 5. Let b be d(3). Let h = -54 + b. Suppose -h*s + 229 = 29. Does 2 divide s?
True
Let h be 2 - (1 + (-6)/3 + 1). Suppose -457 - 199 = -h*m. Let i = m - 155. Is i a multiple of 27?
False
Let h = -18 - -20. Suppose 3*q + h = 5*q. Is (5 - q) + (92 - -2) a multiple of 14?
True
Suppose 0 = 5*q + 2*u + 400, -4*q + 7*q + 3*u = -240. Let f = q - -80. Suppose f = 4*l - 713 + 69. Is 34 a factor of l?
False
Let q(g) = -3*g - 34. Let o = -58 - -56. Let m(s) = 5*s + 67. Let n(u) = o*m(u) - 5*q(u). Is 25 a factor of n(7)?
False
Let u be 4*3/6*4/(-8). Let x be (-65)/(-9 + 4) - (-3)/u. Suppose -15 - x = 5*y, -167 = -2*d + 3*y. Does 19 divide d?
True
Let x be 155880/(-130) - (-3)/39. Let h = x - -1682. Is h a multiple of 7?
True
Let 