*3) + 9533 a multiple of 318?
True
Let c = -87 + 91. Suppose 3*s - c*a + 10 = 0, -5*a = -s - 4 - 14. Suppose 384 = s*f + 4*f. Is 32 a factor of f?
True
Suppose 3*f + f = -5*p - 121, -3*p = -2*f - 33. Let s = 33 + f. Does 8 divide (1 - 8*s/(-6)) + 1?
False
Is (-258592)/(-112) - 8/(-7) a multiple of 105?
True
Suppose 462*o = 465*o - 18777. Does 114 divide o?
False
Let d(m) = -6*m + 12. Let u(n) = -5*n + 12. Let g(y) = -2*d(y) + 3*u(y). Suppose -3*k = -0*k + 30. Is g(k) a multiple of 12?
False
Let s(t) be the third derivative of -t**4/4 - 2*t**3 - 919*t**2. Let y = 2 - 7. Does 4 divide s(y)?
False
Is (3858/(-135) + (-60)/270)/(2/(-440)) a multiple of 8?
True
Suppose 26384*q = 26368*q + 144480. Is 86 a factor of q?
True
Let q(i) = 2*i**2 - 6*i + 24. Suppose 3*y + 36 = 4*b, 4*b = -3*y + 5*y + 32. Is q(b) a multiple of 4?
True
Let z(y) = -11*y - 69. Let a be z(-19). Let n = a + -64. Suppose 4*r + 4*g - n = 0, -2*g - 19 = -r - 0. Is 13 a factor of r?
False
Suppose -4*o - 4*m = -2268, o = -3*o + 5*m + 2295. Is o a multiple of 95?
True
Is 258 a factor of ((-2)/(-13) - (-44540172)/754) + 10?
True
Suppose 45*z = 41*z + 172. Suppose 5*m - 214 = -0*m - 4*d, -d + z = m. Is m a multiple of 42?
True
Let h(t) = 2 + 1748*t + 5*t**2 - 3*t**2 - 1742*t. Is 11 a factor of h(-5)?
True
Let d(z) be the first derivative of -17*z**4/4 - z**3 - 9*z**2/2 + 3*z - 55. Is d(-3) a multiple of 66?
True
Let m be 28/(-126) - (-38)/9. Suppose m*z = 11*z. Suppose 0 = -0*r + 4*r - 20, b + 4*r - 68 = z. Is b a multiple of 12?
True
Suppose 8*c = -g + 4*c + 20, c = g. Is (9384/36)/((g/(-6))/(-2)) a multiple of 34?
True
Suppose -4*u = -25033 - 14859. Does 124 divide u?
False
Let l = -3513 + 10313. Is 25 a factor of l?
True
Let s(d) = 2*d - 2. Let n(o) = -o**2 + 2*o - 3. Let c(h) = -6*n(h) + 7*s(h). Suppose 2*r = 6*u - 2*u + 10, -2*u - 23 = 5*r. Is 13 a factor of c(r)?
True
Let q(n) = -n**3 + 5*n**2 - n + 7. Let i be q(5). Suppose -i*r + p + 331 = 0, -4*p - 10 = -4*r + 646. Is 9 a factor of r?
False
Suppose 29*a - 79*a - 6 = -106. Let b = -320 - -464. Suppose 4*g - a*g - b = -4*d, g - 4*d - 84 = 0. Is g a multiple of 13?
False
Let k be 4220/34 + ((-1176)/(-119) - 10). Suppose 2*d + 0*d = k. Is 5 a factor of d?
False
Suppose 613 - 549 = 4*j. Suppose -j*m + 3786 = 1050. Is 7 a factor of m?
False
Let g(v) be the first derivative of -v**4/4 - 16*v**3/3 - 8*v**2 + 14*v + 40. Let c be g(-15). Let i = 39 + c. Is i a multiple of 8?
False
Suppose -3*j = 26*u - 24*u - 60, 5*u - 80 = -4*j. Is j a multiple of 7?
False
Let z = 75333 + -23698. Is 14 a factor of z?
False
Suppose 7*b - 84 = -5*b. Suppose 4*f - b*f = 0. Suppose f = -10*h + 6*h + 164. Is h a multiple of 8?
False
Suppose 3*r = 5*a - 6, 4*r - 1 = 2*a + 5. Let d(c) = -7*c**3 + 6*c**3 + 4*c**a + 2 + c**2 + 17*c**3 + c. Is d(2) a multiple of 42?
True
Let m(i) = -35*i - 10. Let y be m(-1). Let z(k) = k**3 - 3*k**2 - 2*k + 3. Let h be z(3). Let l = y + h. Is 22 a factor of l?
True
Let j(z) = -3*z + 70. Let b be j(22). Suppose -2*s - b*t + 513 = 3*s, 3*t - 411 = -4*s. Is s a multiple of 31?
False
Suppose 0*i + 126 = 21*i. Suppose i*o + 0*o - 1170 = 0. Is o a multiple of 13?
True
Let b = 38674 - 16897. Does 119 divide b?
True
Let p(a) = 6 + 3*a + 21*a**2 + 19*a**2 - 7*a**2 - 6*a. Let o be p(-2). Suppose -o = -10*d + 7*d. Is 3 a factor of d?
True
Let f(i) = -i**3 - 5*i**2 + i + 7. Let t be f(-5). Suppose -2*b + 0*b - 17 = 5*d, 3*d + 23 = t*b. Suppose -j + b*j = 348. Does 29 divide j?
True
Let b be 2445/6 + 6/12. Let s = b + -160. Is s a multiple of 21?
False
Suppose 356*y - 83109 - 2601843 = 0. Is 57 a factor of y?
False
Let f = -1396 + 1460. Is f a multiple of 35?
False
Suppose -4*w - 2*r + 8238 = 0, -w + 0*r + 2076 = -5*r. Is w a multiple of 3?
True
Let h(u) = 4*u**3 + 18*u - 31. Let w be h(9). Suppose -6*s = -3577 - w. Is s a multiple of 69?
True
Let d be ((-3)/9)/((-3)/36). Suppose -10 = 4*w + i + 4, -5*w = -d*i + 28. Let b(x) = x**2 + x + 6. Is 10 a factor of b(w)?
False
Let w = 313 - 277. Suppose 4*p + 5*i + 13 = -47, -2*i - 8 = 0. Let r = p + w. Is 10 a factor of r?
False
Suppose -2*k + 280 = -4*k. Let x = k + 603. Does 26 divide x?
False
Suppose 189976 = 10*h - 99914. Does 9 divide h?
True
Suppose 4*l = 6*l - 4*s + 1280, -5*l - 3200 = 5*s. Let b be (-6 - -8)*1/(-1). Does 6 divide l/(-24)*(-3)/b?
False
Let r be (-6)/(-1)*((-34)/4 + 9). Suppose 0 = -2*x + 5*o + 582, r*x - 873 = -0*x + o. Is x a multiple of 34?
False
Suppose -3*k + 6*r - 11*r + 15304 = 0, 5*k = 4*r + 25556. Does 37 divide k?
False
Is ((-52)/(-6))/(34/6171 - 0) a multiple of 121?
True
Let c(b) = -94*b**2 + 4*b. Let z be c(-1). Let n = z - -306. Does 8 divide n?
True
Suppose 36*w - 1064 = 8*w. Suppose -10400 = 18*q - w*q. Does 52 divide q?
True
Suppose -272*u + 24 = -266*u. Suppose -u*v + 2*l + 220 = v, l = -4*v + 176. Does 44 divide v?
True
Suppose 1 = -2*k - 15. Let v be 16/k*(-174)/4. Suppose -4*d + 391 = v. Is 19 a factor of d?
True
Suppose 4*y - 6*d + 4*d = 11172, -2*d = 2*y - 5586. Does 49 divide y?
True
Let o(p) be the third derivative of p**5/10 - p**4/12 + 2*p**3 - 10*p**2. Let q be o(7). Suppose -z - i = -152, q = 2*z - 2*i - 2*i. Does 30 divide z?
True
Let b(r) be the second derivative of r**4/4 - 5*r**3/3 - 5*r**2/2 - 49*r. Is b(5) a multiple of 10?
True
Let g = 3017 + -3016. Let d = 9 + 9. Is d/14 - g - (-9129)/119 a multiple of 11?
True
Let y(j) = 37*j**2 - 7*j + 4*j + 2*j - 2*j - 8. Let x be y(-2). Suppose d - 146 = -2*t, 3*d - 4*d + x = -4*t. Is d a multiple of 21?
False
Suppose 0 = 2*w + w - 4*f - 63, 4*w = f + 71. Suppose -w + 5 = -4*o. Suppose d + 58 = o*d. Does 7 divide d?
False
Let r = 538 - 272. Let a be 0 - ((-2)/(-1) + -448). Let m = a - r. Does 15 divide m?
True
Let b be 1 - (8 - 25872/(-8)). Is 15/6 - (b/2)/7 a multiple of 13?
True
Let g be -3 - (3 - 1)/((-12)/1590). Let w = g - 225. Is w a multiple of 7?
False
Suppose -58*w + 164421 = -112*w + 63*w. Is w a multiple of 62?
False
Let w(i) = 24*i**2 + 20*i - 6. Let v be w(-4). Let l = -248 + v. Does 5 divide l?
True
Let g be (3/5)/(7*8/280). Suppose -4*s - 194 = -g*a + 186, -595 = -5*a - s. Is 6 a factor of a?
True
Let j(n) = -n**3 - 6*n**2 - 23*n - 27. Let f be j(-12). Suppose -k - 565 = -3*m, 5*m + k - f = -166. Is m a multiple of 12?
False
Is (-603)/2*(9 + (-1442)/42) a multiple of 57?
True
Suppose -69460 = 244*y - 1461724. Is y a multiple of 52?
False
Let w be 3 + -1 + 4 + -1. Suppose 1 = -2*v + w. Suppose -16 = -v*q + 60. Is q a multiple of 15?
False
Let u(v) = -v**3 + 34*v**2 - 76*v + 2. Let p be u(32). Let l = -310 - p. Is l a multiple of 8?
True
Let k = -67 - -182. Suppose k*h = 119*h - 164. Does 5 divide h?
False
Suppose -y = -h + 8, -5*y - 2 = -h + 6. Suppose -6 = -3*j - 2*l, -6*j + j - 5*l + 15 = 0. Suppose -11*p + h*p + 33 = j. Does 11 divide p?
True
Let z(a) = 5*a**2 + 59*a - 2964. Is 12 a factor of z(-55)?
True
Suppose 3301 = 3*d - 4*u, 5*u - 6*u = 5*d - 5494. Suppose 5*w = -2*h + 420 + 1772, w - d = -h. Is h a multiple of 12?
False
Let w(p) = -11*p - 43. Let c be w(-3). Let b(k) = -19*k + 50. Is 18 a factor of b(c)?
False
Suppose 15*k = 10*k + 10. Suppose -2 = k*u - 4, -5*u = p - 7. Is 16 a factor of 28 + (16/p)/(2 - 0)?
True
Let a = 19907 - 16808. Does 3 divide a?
True
Let g(f) = -f**3 - 18*f**2 - 16*f - 4. Let i be g(-17). Let w be 2578/(-10) - (i/(-5) + -4). Let a = w + 367. Is a a multiple of 11?
False
Let f(n) = -2470*n - 3006. Does 82 divide f(-7)?
False
Let c = -9543 + 13873. Does 10 divide c?
True
Suppose 0 = -5*v + 5*j + 2 - 7, 0 = 5*v - 4*j + 1. Suppose -v*a + 932 = 557. Is a a multiple of 25?
True
Is (-1)/7 - (6/6 + (-45578)/7) a multiple of 10?
True
Let u(j) = -54*j**2 + j + 1. Let m be u(-1). Let r = m - -44. Does 9 divide (-1295)/r - 1/2?
False
Suppose 4*u = w - 8844, 8*u = 3*u - 5. Does 35 divide w?
False
Let t(y) be the second derivative of -y**4/12 + 3*y**3 - 53*y**2/2 - 8*y - 5. Is t(9) a multiple of 6?
False
Suppose 4*a + 3*q - 26328 = 2*a, 5*q = 5*a - 65845. Is a a multiple of 63?
True
Let t(x) = -75*x**2 + 40*x + 4*x - 70*x**2 - 164 + 144*x**2. Is t(37) a multiple of 21?
False
Let p = -190 - -182. Is (p/2)/(50/(-325)) a multiple of 26?
True
Let x(s) = 3509*s - 1469. Is x(14) a multiple of 121?
False
Let o = -5657 + 8556. Does 33 divide o?
False
Suppose 4*q = -2*r 