 Let t(d) = d**2 + 3*d + 12. Does 10 divide t(o)?
True
Let n be (40/24)/((-5)/(-6)). Suppose 10 = -n*j, 5*q + 4*j - 55 = 2*q. Is 2*q*4/8 a multiple of 11?
False
Suppose -4978 - 2649 = -29*u. Does 2 divide u?
False
Is 49 a factor of 2007 + 2 - (4 - (3 + 1))?
True
Suppose 0 = 8*n + 78 - 14. Does 54 divide n + (-8)/(-4) + -1 + 99?
False
Let v(j) be the first derivative of -j**6/360 + 23*j**5/120 + j**4/6 + 4*j**3 + 12. Let s(d) be the third derivative of v(d). Is s(12) a multiple of 27?
False
Let s = 558 + -416. Let a = s + -131. Is 4 a factor of a?
False
Let f be (-3)/((2/(-3))/(4/9)). Suppose 5*l = f*v - 31, v - 13 = l - 5. Suppose j - 82 = -2*m, -v*j - m + 0*m = -251. Is 5 a factor of j?
False
Suppose -8*x - 4*i - 372 = -4*x, i - 171 = 2*x. Let k = x - -271. Is k a multiple of 8?
False
Let w(i) = -5569*i - 157. Is 25 a factor of w(-3)?
True
Suppose j + 5*x - 4*x = 12424, 5*x - 24860 = -2*j. Is 36 a factor of j?
True
Let k be (30/(-36))/(-5) + (-2662)/(-12). Let u = k + 222. Does 37 divide u?
True
Suppose -m = -5*f + 4727, -2*f + 658*m + 1901 = 661*m. Is 43 a factor of f?
True
Let h = -307 + 463. Is 31 a factor of h/273 - (-4766)/14?
True
Let q = -1987 - -7953. Does 7 divide q?
False
Let z be 4*7/21*-87. Let p be (-2)/(-4 - (-849)/213). Let h = z + p. Does 4 divide h?
False
Suppose -5*v + 7958 = -4*d - 4514, -2*v = -4*d - 4972. Is 9 a factor of v?
False
Let u = -12613 - -66010. Is 44 a factor of u?
False
Suppose 86 = 4*a - 482. Let v = -138 + a. Suppose -5*f + 1109 = -3*n, -217 = -v*f + 3*f - n. Does 10 divide f?
True
Let l(v) = 12*v**2 - 41*v - 368. Is 27 a factor of l(-10)?
True
Let r = -173 + 675. Suppose 4*x - 12 = 0, -109*c = -107*c - 2*x + 660. Let d = r + c. Does 9 divide d?
False
Let d(i) = -265*i - 1664. Does 6 divide d(-8)?
True
Suppose -341493 - 583107 = -50*i. Does 121 divide i?
False
Let c(p) be the first derivative of p**4/4 + 29*p**3/3 + 10*p**2 - 56*p + 68. Is c(-28) a multiple of 21?
True
Let j(m) be the second derivative of 3*m**3/2 - 49*m**2/2 + 3*m. Let r be j(6). Suppose 2*p = 6, -6*b + b + r*p + 445 = 0. Is 35 a factor of b?
False
Suppose 6927*h = 6912*h + 838485. Is h a multiple of 316?
False
Let l = 477 + 1103. Suppose -4*b = 5*q - l, 0 = -4*b - 3*q + 1543 + 45. Does 40 divide b?
True
Let n(j) = 225*j**2 + 131*j - 64. Is n(-9) a multiple of 14?
True
Let m(c) = -20*c**2 - 80 - 38*c - 314 + 22*c**2. Is 10 a factor of m(-13)?
False
Suppose -3*l - w + 0*w - 224 = 0, -2*l - 149 = w. Let a = -31 - l. Is (-4 + 0)*(-231)/a a multiple of 3?
True
Is 15 a factor of (15/(-6)*-532)/(-2 + (-7)/(-3))?
True
Let q(o) = -2*o + 14. Let n = -70 - -76. Let d be q(n). Does 28 divide (d - -139) + 12 + -13?
True
Let k(o) = -7*o. Let t be k(-4). Let p be ((-147)/t)/((-2)/(-8))*-3. Let w = 83 + p. Does 42 divide w?
False
Let y be (-17 - -20 - (-3)/(-2))*20. Suppose 0 = 3*n - c - y, 3*n - 46 = -2*n + 3*c. Does 11 divide n?
True
Let r(k) = 15 + 0 - 603*k**3 + 606*k**3. Is r(4) a multiple of 6?
False
Suppose c = -5*z + 268, 15*c + 5*z = 19*c - 972. Let p = -237 + c. Does 11 divide p?
True
Let p = -6 - -88. Suppose 126 + p = 4*i. Does 4 divide i?
True
Let r(a) = a**3 - 5*a**2 - 9*a + 6. Let l(b) = b**2 - 12*b + 19. Suppose -5*u + 19 = 4*f, -1 + 21 = -4*u. Let z be l(f). Is 9 a factor of r(z)?
True
Suppose 0 = 2*o - j - 4747, -4*j + 53 = 33. Is 9 a factor of o?
True
Let o = -3751 + 20891. Does 9 divide o?
False
Is 8 a factor of ((-492361)/(-69) - 4/6) + (1 - 0)?
True
Let q(f) = -3*f - 9. Let u be q(-6). Let r be 6*((-98)/(-21) - 7). Is (72/r)/(u/(-42)) a multiple of 8?
True
Let n(z) = z**2 - 10*z - 11. Let y be n(11). Suppose y = -0*m + 15*m + 90. Is 13 a factor of (4 - 1)/(m/(-248))?
False
Suppose 14*o + 1188 = 18*o. Is (-6)/(-2) + -4 + o + 3 a multiple of 21?
False
Let w be ((-3)/(-2))/(2*1/(-4)). Let b be (30/25)/((-4)/(-10))*w. Is 178/6 - (-6)/b a multiple of 29?
True
Let p be (-260)/(30/(-3))*41/2. Suppose -2*w + 536 = w - 5*g, -2*g - p = -3*w. Is w a multiple of 30?
False
Suppose h - 3*r - 4 = 0, -2*r - 33 - 26 = -5*h. Suppose -h*l + 4984 = -3206. Is 21 a factor of l?
True
Suppose 3*y + 269 = k - 5930, 0 = k - 5*y - 6191. Does 75 divide k?
False
Let z(u) = u - 1. Let b(y) = -18*y - 37. Let c(g) = b(g) - 3*z(g). Let t be c(-11). Suppose -4*x + t = -39. Does 9 divide x?
False
Suppose -5*r - 20811 = -2*y, -1082*y + r = -1083*y + 10395. Is 6 a factor of y?
True
Suppose h + 10886 - 28118 = 5*z, -4*h + 4*z = -68800. Is 14 a factor of h?
True
Let j(v) = -302*v - 67. Let l be j(-4). Suppose -3*x + l = a, -2*x + 4*a + 512 = -244. Is 38 a factor of x?
True
Let r(q) = 1951*q**2 - 61*q - 92. Does 16 divide r(4)?
True
Suppose 5*q = 5*k + 13755, k = -q + 3*k + 2749. Does 23 divide q?
False
Let g(r) = -1297*r - 2833. Is 101 a factor of g(-6)?
True
Let w be 2/3 + 125/(-75). Let i be (12/(-48))/(w/16). Suppose -i*y + 56 = 4*n - 156, 5*y + 275 = 5*n. Does 5 divide n?
False
Let s(i) = 26*i**2 + 2*i - 2. Let n be (-8)/4 - -4 - -23. Let l = -27 + n. Does 15 divide s(l)?
False
Let h(m) = 3*m**2 + 21*m + 32. Let o be h(-2). Suppose -4*g + o*p + 3026 = 0, 126 + 618 = g - 3*p. Is g a multiple of 33?
True
Let c(j) = 399*j + 380. Does 32 divide c(12)?
False
Let j be -7 - (-8 + -454 + 6). Suppose 2885 - j = 12*v. Is 6 a factor of v?
False
Suppose 104*i - 54040 = 76*i. Is 5 a factor of i?
True
Suppose 0 = 2*n - 2*x + 64, 3*n - 4*x + 41 = -53. Let h = 372 - n. Is h a multiple of 29?
True
Suppose 3*z + 288 = 3*m + 6*z, 5*m - 2*z - 508 = 0. Does 25 divide m?
True
Let g = 2382 - 1430. Does 68 divide g?
True
Does 12 divide (2 - -10394) + (-11 + -9 - -16)?
True
Let a = 706 + -692. Suppose -19*q = -a*q - d - 3551, -3*d = 2*q - 1417. Is q a multiple of 34?
False
Let v(b) = -28*b + 88. Let k be v(10). Suppose -3*s - 888 - 48 = -3*p, -324 = -p + 5*s. Let t = k + p. Is 17 a factor of t?
False
Let h = -3545 - -6014. Is 15 a factor of h?
False
Suppose 0 = -28*b + 133617 + 174887. Is b a multiple of 7?
True
Let l be (-184)/(-44) + 10/(-55). Is (5/l - 3096/32)*-2 a multiple of 15?
False
Let b be 1605/(-18) - 1/(-6). Let k = b - -26. Let g = k + 103. Is g a multiple of 20?
True
Suppose 13*v + 321 = 10*v. Let l = v - -105. Is 1/(1/57) + l a multiple of 11?
True
Let b = 3394 - -380. Does 22 divide b?
False
Let i(b) = 9*b + 5. Let z be 0*1/3*9/12. Suppose z = -d - 15 + 17. Is 12 a factor of i(d)?
False
Let u = -64 + 36. Let m be u/(-14)*5/(-1). Does 4 divide ((-8)/m - (-108)/(-60))*-38?
False
Let u = 2666 - -19765. Does 290 divide u?
False
Let f = -18198 - -19371. Is f a multiple of 9?
False
Let h(y) = -1 + 3*y**3 - 13 - 11*y - 12 + 15*y**2 - 4*y**3. Is 24 a factor of h(8)?
False
Suppose -q - 288950 = -23*q + 163678. Is q a multiple of 18?
True
Let m be 525 + 5*(4 - 54/15). Suppose 0 = -4*c + n + m, 498 + 145 = 5*c + 4*n. Does 5 divide c?
False
Let m be (144/18)/(2/8). Let j = 23 + -25. Let a = m + j. Is a a multiple of 15?
True
Suppose 24 = 3*y + 5*y. Let l be 6*(y + 35/(-10)). Is (8/6)/(l/(-108)) a multiple of 8?
True
Let w(j) = -2*j - 6. Let t be w(-9). Suppose -i = 2*i + t. Is (i + 0 - -1)*-19 a multiple of 12?
False
Let s(x) = -20*x - 44. Let l(v) = -20*v - 44. Let d(p) = -5*l(p) + 6*s(p). Suppose -z + 4*z = 3*y + 48, -z + 5 = 0. Does 23 divide d(y)?
False
Suppose 2*f + 11314 = 4*z, -4*z - 5*f = -13238 + 1931. Does 4 divide z?
True
Let r = -73 - -76. Suppose -r*k + 15 = -4*x, -3*x - 10 = -4*x - 2*k. Suppose 3*j + 11 - 38 = x. Is j a multiple of 2?
False
Suppose -4*z = 5*m - 2*m + 13, 4*m + 12 = 0. Let u be 1 + 1/(z/3). Let j(l) = -3*l**3 - l**2 + 3*l + 2. Does 3 divide j(u)?
False
Let z(p) = -4*p + 130. Is 4 a factor of z(12)?
False
Suppose 32*k = 145543 - 47719. Let r = k + -2181. Is 12 a factor of r?
True
Let f = -4105 - -10808. Does 12 divide f?
False
Let q(r) = -r**2 - 4*r - 120. Let n be q(0). Let s = n + 203. Suppose -s = -p - 11*w + 7*w, -p + 71 = -2*w. Is p a multiple of 9?
False
Let r = 7269 + -5827. Is 56 a factor of r?
False
Let k = -13 + 7. Let u be k/33 + (1 - 1017/33). Does 27 divide u/(-2)*(-1 + 10)?
True
Suppose a = 5*i + 1008, -4*a - 3048 = -7*a + 3*i. Suppose -n - 2*b + a = 2*n, 4*n - 3*b - 1363 = 0. Is n a multiple of 5?
True
Let u(g) = -g**3 - 14*g**2 - 48*g - 7. Let r be u(-8). Does 20 divide (r/5)/((-3)/615)?
False
Let o(y) = -746*y - 181. Is 8 a factor of o(-8