8*d. Let p(l) = -4*l**2 - 7*l + 1. Let m(o) = -5*p(o) - 4*u(o). Let z be m(2). Let j = z + 15. Does 12 divide j?
True
Suppose -t = -2*u + 732 + 11682, 43427 = 7*u + 2*t. Is u a multiple of 12?
False
Let w(o) = o**3 - 8*o**2 + 8*o - 3. Let i be w(7). Let q be ((-5)/2)/(18/i - 5). Suppose 4*k = -5*c + 605, 4 = q*c - 1. Is 30 a factor of k?
True
Suppose -2*f + z - 13001 = -33106, 5*z - 20111 = -2*f. Does 160 divide f?
False
Let s(d) = -5*d**2 + 73. Let c be s(-12). Let n = c + 1548. Does 53 divide n?
True
Suppose -466440 = 37*q - 38*q - 11*q. Is q a multiple of 120?
False
Let m(p) = 2*p**2 + 17*p - 2. Let n be m(-9). Let i = -7 + n. Is (-1 - i) + (111 - -8) a multiple of 15?
False
Let y be (14/4 - 4)/(5/(-30)). Suppose -y*p - p - 1875 = -5*k, 0 = -2*p. Is 6 a factor of k?
False
Suppose 0*j + 2*j = 5*s + 644, 2*j - 3*s - 636 = 0. Suppose u + 3*f = 146 + 16, -2*u = 3*f - j. Does 25 divide u?
True
Suppose 0 = 8*t - 5*t + 6. Does 11 divide (t/(-6))/((-9)/(-4266) + 0)?
False
Let y = -83 + 49. Let a = y + -90. Let h = -54 - a. Does 15 divide h?
False
Suppose r - 5*h = -15, -2*r + 6 = -0*r + 2*h. Let p(g) = g**2 - 20*g + 67. Let m be p(16). Is 20 a factor of m - -34*4/8 - r?
True
Let y = -6236 - -11030. Is 5 a factor of y?
False
Let l(p) = 151*p + 1713. Is l(-10) a multiple of 7?
True
Let p = 29 + -23. Suppose 5*n = -4*g + 2830, g - 4*n = p*g - 3542. Does 100 divide g?
False
Let z(i) = 20*i**2 + 5*i - 32. Let n be z(5). Let q be n + -4 + 7 + -1. Suppose -20*j + q = -15*j. Does 12 divide j?
False
Suppose -32*q - 6*q - 152 = 0. Does 31 divide (-2)/q + 0 - (-14326)/76?
False
Suppose -7*j + 2*j = -20, 0 = -4*v - 2*j + 12. Let m(x) = 2 + x**3 - 3 - v + 11*x**2 - 2*x + 0*x**3. Is 35 a factor of m(-5)?
False
Let g(p) be the first derivative of -p**3/3 - 20*p**2 - 159*p - 161. Is g(-13) a multiple of 32?
True
Let a(t) = 39*t**2 - 10*t - 50. Does 14 divide a(12)?
True
Let b(l) = -7*l**2 + 15*l - 22. Let g(h) = -h**2 + h - 1. Let m(f) = -b(f) + 6*g(f). Let z be m(7). Is 34*z/(16/(-12))*-2 a multiple of 34?
True
Suppose -8 + 60 = -13*w. Is 46 a factor of (0 + -230)*6/w?
False
Let b(w) = -w**2 - 32*w + 110. Let l be b(-35). Suppose l*z - 2070 = -5*g, -5*z - 864 = -4*g + 837. Is g a multiple of 61?
False
Let u(t) = -28*t + 35. Let a be u(-8). Is (a/(-28))/(4/(-192)) a multiple of 36?
False
Let d = 355 + -366. Let q = 176 + d. Does 15 divide q?
True
Suppose -q + 7*q = 12. Suppose -4*z + q*z = 3*j - 193, 102 = 2*j - 4*z. Let v = j - -14. Is v a multiple of 17?
False
Let t(k) = -2*k**3 - 6*k**2 + 7*k + 9. Let x be t(-7). Let i = -188 + x. Let q = i + -86. Is q a multiple of 10?
False
Let n be 0/(3 - (3 - 2)). Let p be -21*2/(-3) - n. Suppose p*g - 364 = 10*g. Does 13 divide g?
True
Let o = 25096 - 6352. Does 14 divide o?
False
Let w be ((-174)/(-36) - (-2)/12)*1. Suppose -t - w*q + 22 = -8, 0 = -2*t + 2*q. Suppose -t*u = -25, -70 = -s - 5*u - 9. Is 9 a factor of s?
True
Suppose -11*a = -2*g - 6*a - 24, 4*g + 28 = 5*a. Let t be ((-3 + 3)/(3 - 2))/g. Suppose t*x - 225 = -9*x. Is 20 a factor of x?
False
Suppose 0 = -2*i + 4*y + 36, 4*i - 6*y - 56 = -2*y. Let b = i + 58. Suppose b + 132 = 3*n + 2*o, -3*o = 4*n - 266. Is 7 a factor of n?
False
Let j(x) = x**2 + 12*x - 22. Let k be ((-144)/84)/(1 + (-27)/21). Does 11 divide j(k)?
False
Suppose 0 = 27*q + 844 - 4489. Suppose -133*i = -q*i + 882. Is 7 a factor of i?
True
Let r(b) = -27*b**3 - 8*b**2 + 17*b - 12. Is r(-4) a multiple of 80?
True
Let s(x) = 46*x**2 - 5*x - 2. Let z = 34 - 19. Let p be -2*2/12 - 10/z. Does 7 divide s(p)?
True
Suppose 3*n + 0*n = 39. Suppose 3*l - n = 3*x + x, 5*l - 3 = 2*x. Is ((l + 3)*-11)/(-3 + 1) a multiple of 11?
True
Suppose 4*v - 4*b - 47476 = 0, -34*v + 5*b - 35615 = -37*v. Does 70 divide v?
False
Let p be (-3 + -2473)*2/(-8). Let x = -473 + p. Is 7 a factor of x?
False
Suppose -4*o + 2*y - 14 = 0, -2*o - y + 1 - 6 = 0. Let q be 1373 + -1*(-5 - o). Suppose -q = 43*f - 48*f. Is 55 a factor of f?
True
Let u(n) = -3*n**2 - 3*n + 13. Let i be u(2). Does 70 divide 155/62*((-2362)/i + 2)?
False
Suppose 3*f + v + 82 = 0, 0*f - 3*v + 90 = -3*f. Let w be -1 + -1 - (f/7 + 0). Suppose -4*t = -5*t - 5*i + 45, -180 = -4*t + w*i. Is 15 a factor of t?
True
Suppose c + 176 = 5*s, -3*s + 12*c = 7*c - 88. Is 23 a factor of -8 - s/(-4) - (-681)/1?
False
Let d = 25168 + -13520. Is d a multiple of 112?
True
Suppose 5*c - 15*s - 63073 = -17*s, c = 2*s + 12617. Does 81 divide c?
False
Suppose -3*u - 2*x = 2*u - 48944, -5*u + 5*x + 48895 = 0. Is u a multiple of 128?
False
Suppose -9*z = -4*z + 20. Let i be (5 + z)*4 - 58. Let c = i + 198. Is 17 a factor of c?
False
Let b(p) = 0*p**3 - 6*p**3 + 2*p**3 + 25*p**2 + 5*p**3 + 2. Let w be b(-25). Suppose -w*r = -5*z + 82, -z + 4*z + 2*r = 46. Does 2 divide z?
True
Suppose 0 = 7*f - 62 - 155. Let k = f + -3. Suppose w + k = 150. Does 6 divide w?
False
Let x = -199 + 402. Suppose 0 = 3*t + i - x, -t - 40 + 121 = 3*i. Does 11 divide t?
True
Suppose 0 = 207*q - 188*q - 30970. Is q a multiple of 184?
False
Let w(a) = 5*a**2 - 6*a + 5. Let l be w(-3). Suppose -2*j + 4*j - l = 4*x, -5*j - 4*x = -156. Is j a multiple of 16?
True
Suppose -5*w - 44 = 391. Suppose -18*a = -1040 - 1606. Let m = w + a. Is 13 a factor of m?
False
Suppose 3*v + 1269 = 2*s + 11114, -5*v + 16405 = -4*s. Does 73 divide v?
True
Let b be (34/(-8))/((-9)/36). Let t = b - 30. Let f = 16 - t. Does 8 divide f?
False
Suppose -202 = -3*z + 539. Does 27 divide z?
False
Let k = 49 + -44. Let u be (-1)/(k/210 - 2/(-14)). Is (72/(-10))/u*160 a multiple of 14?
False
Suppose -29*l + 31*l - 88 = 0. Let a be l/55*(7 - 2). Suppose -3*w = a*x - 3*x - 742, 498 = 2*w + 4*x. Is w a multiple of 13?
True
Let s = -21061 + 49543. Is 31 a factor of s?
False
Suppose -7 + 49 = -7*j. Does 33 divide (-592)/j + (12/(-18))/(-2)?
True
Is (-217392)/(-96) + 2*3/4 a multiple of 7?
False
Let x(h) = -2*h**2 + 95*h - 89. Is 25 a factor of x(27)?
False
Suppose 63*i - 60180 = 43*i. Is i a multiple of 59?
True
Let q be -4 + (-56)/6 + (-6)/9. Let a = q + 2. Is 6 a factor of a/(((-6)/(-20))/((-42)/35))?
True
Let k = 356 - 350. Suppose f + 4*g - k*g - 332 = 0, 3*f + 3*g - 1014 = 0. Is f a multiple of 24?
True
Suppose 0 = 10*c - 2*c - 72, -4*x - 4*c + 46612 = 0. Is x a multiple of 142?
True
Let n = 9323 + 2894. Does 19 divide n?
True
Let k(o) = -5*o**2 - 2*o + 17*o**2 - 3*o + 20*o**2 + 3. Is 22 a factor of k(3)?
False
Let y = -806 - -776. Let u = y + 202. Is u a multiple of 12?
False
Suppose 0 = -3*l + 4*k + 18, -2*k + 36 = l + 2*l. Let z be 1068/(-10)*(-25)/l. Let g = z - 124. Is 20 a factor of g?
False
Let w = -2430 - -2500. Is 7 a factor of w?
True
Suppose 0 = -113*a + 100*a. Suppose -3*q = 2*h - 5*h + 240, a = 5*h + 5*q - 390. Does 5 divide h?
False
Suppose 9*k - 8*k - 16 = 4*d, -4*d - 16 = -3*k. Let b(w) = 38*w**2 + 2*w + 19. Does 56 divide b(d)?
False
Let m(w) = -w - 2*w**3 + 5 - 69*w**3 - 6 - 52*w**3. Let b be m(-1). Suppose -5*p - b = -6*p. Is p a multiple of 31?
False
Does 23 divide 28 - (-2291884)/98 - (-8)/(-14)*1?
True
Let s = 16030 - 3605. Is 88 a factor of s?
False
Let v(r) = -r**2 - 7*r + 30. Let n be v(-10). Suppose n = 3*c - 9, -3*h + 144 = -6*c + 5*c. Does 49 divide h?
True
Is 16 a factor of ((300 - 0)/((-3)/12))/(228/(-152))?
True
Suppose 47*u - 36550 = -9149. Does 14 divide u?
False
Suppose 73 - 76 = o. Does 9 divide (225/(-2))/15*40/o?
False
Suppose -4*x + 3*t + 242 = 0, 2*x - 56 = x + 3*t. Let i(v) = 6*v**2 - 5*v - 13. Let g be i(6). Suppose -p + g = x. Is 37 a factor of p?
True
Suppose 62 = 2*t + 56. Suppose 0 = -t*y + 2206 + 902. Suppose -y = -113*v + 109*v. Does 37 divide v?
True
Suppose -57*r = -54*r + 108. Suppose -5*h = -9*h + 296. Let k = h - r. Is k a multiple of 28?
False
Is 190 a factor of ((-3245)/22)/(21/(-1596))?
True
Let z = 4311 - 265. Is 21 a factor of z?
False
Suppose 5*z - 24*b + 20*b = 23499, -z - 4*b = -4695. Is 15 a factor of z?
False
Let b(d) = 11*d**3 - d**2 - 3*d - 13. Let z(n) = 23*n**3 - 3*n**2 - 5*n - 27. Let g(x) = -7*b(x) + 3*z(x). Is g(-3) a multiple of 10?
True
Let c(i) = 36*i**2 - i - 6. Let t be c(-5). Suppose -412 = -3*h - 4*u, 4*u = -5*h - 215 + t. Suppose 32 - h = -4*f. Is f a multiple of 10?
False
Is 9 a factor of -1 - -4896 - (-208 + -8)/(-27)?
True
Suppose -2*c - 2*c = -5*x - 38, c = 