e 21/2*34/(-51). Let c = 1 + k. Is 164/6 + (-3)/27*c a multiple of 7?
True
Let y be 1/(220/(-72) + 3). Is (14/y*3)/((-2)/48) a multiple of 8?
True
Let d = 439 + -393. Suppose -d*s = -54*s + 552. Is 17 a factor of s?
False
Let u(c) = 7*c + 19. Let m(v) be the first derivative of 30*v**2 + 162*v + 3. Let s(i) = -5*m(i) + 42*u(i). Does 27 divide s(-11)?
True
Suppose -17*f = -15*f - 34. Let s(n) = 6*n - 12. Let i be s(f). Suppose -i = -z + 3*x, x - 693 = -5*z - 179. Does 17 divide z?
True
Let t = 12488 + -10583. Is t a multiple of 4?
False
Does 15 divide -6345*((-156)/(-18) + -9)?
True
Suppose 5*v - 11916 = 2*g, 3*v + 0*v - 2*g - 7148 = 0. Suppose 0 = -2*t - 14*t + v. Let c = -41 + t. Is 7 a factor of c?
False
Suppose -28*p + 33627 - 9213 + 34834 = 0. Is 13 a factor of p?
False
Let t(n) = 27 + 13*n - 13*n + 3*n**2 - 111 - 3*n. Is t(13) a multiple of 16?
True
Let q(g) = -24*g**3 + g**2 + g. Let v be q(-1). Suppose 7*y - v - 200 = 0. Suppose 2*m - 16 = y. Is m a multiple of 5?
False
Let m(w) = w**3 + 51*w**2 + 11*w + 102. Is 147 a factor of m(-32)?
False
Let k = -452 - -915. Suppose -455*v - 8640 = -k*v. Does 18 divide v?
True
Suppose -38*n = -530973 + 197333 - 270066. Is n a multiple of 12?
False
Let k be (134/28*-4)/((-28)/196). Suppose 0 = 7*q - k - 41. Does 16 divide q?
False
Suppose 0 = -2*s + s. Let r be -2*((-30)/12 + -3). Let n = r + s. Does 2 divide n?
False
Suppose -30 = 6*i - 42. Suppose 4*m = 5*q + i - 62, 0 = 5*q - m - 75. Does 8 divide q?
True
Suppose 163319 = 288*t - 242*t + 51539. Does 5 divide t?
True
Suppose -3*v + 3*t + 105 = 0, 5*v + 4*t + t - 165 = 0. Suppose 15232 = v*r + 22*r. Is 16 a factor of r?
True
Let z(p) = 25*p + 1. Let u = -39 + 44. Does 14 divide z(u)?
True
Let z be (16*-34)/(-5 + 6). Let j = -187 - z. Is j a multiple of 21?
True
Let p(z) = -119*z - 2108. Does 5 divide p(-32)?
True
Let x be 2496/160 + 2/5. Let f(u) = -u**3 + u + 1. Let r(p) = -3*p**3 - 16*p**2 + 4*p + 29. Let c(o) = -4*f(o) + r(o). Is 5 a factor of c(x)?
True
Suppose -10 = 4*h - 126. Let f = -2 + h. Let k = 45 - f. Does 6 divide k?
True
Let g(q) = 130*q - 2308. Let f be g(18). Suppose 0 = 3*v + 13 + 5. Is 29 a factor of f/20*(-585)/v?
False
Let y(x) = -8*x**2 - 8*x - 3. Let a be y(-3). Does 29 divide 26/221 - (-3177)/a*-3?
False
Suppose -h + 2*a = -18, 0 = -4*a + 9 - 1. Let s = h - 20. Suppose s*z = 3*z - 28. Is z a multiple of 28?
True
Let y = -463 + 478. Suppose -2*n + 187 = y*n. Is 8 a factor of n?
False
Let l = -12592 + 18277. Does 15 divide l?
True
Let i(m) = -m**3 + 16*m**2 - 7*m - 32. Suppose -p - 34 = -3*b, 0 = -5*b + p - 2*p + 46. Is i(b) a multiple of 12?
False
Let l = 3092 + 1154. Is l a multiple of 11?
True
Let j be 65/(5/20*4). Suppose 0 = 78*h - j*h - 2574. Does 9 divide h?
True
Suppose -5*o - 3*c + 3138 = 0, 638 = 4*o - 3*o - 2*c. Let m = 1070 - o. Is 0 - m/(-6 + 2) a multiple of 13?
False
Suppose 46*x - 2 = 44. Is 1*x/2*402 a multiple of 6?
False
Let i(l) = -l - 1 + 13 - 3 + 3. Let t be i(8). Suppose -3*m - d = 4*d - 223, 0 = 5*m + t*d - 376. Does 13 divide m?
False
Let d(q) = -4*q**3 - 21*q**2 - 35*q - 5. Let h be -8 + (-8 - (-15 + 8)). Is 14 a factor of d(h)?
False
Suppose 0*t + t + 4*a - 1332 = 0, -3*t + a + 4035 = 0. Suppose 13*d = 7*d + t. Suppose 0*q - d = -3*q + 2*l, 3*q = 5*l + 236. Is 12 a factor of q?
True
Let b be 1*(-2 + 31) + 2. Let a(n) = -9*n**3. Let t be a(-1). Let i = b - t. Does 6 divide i?
False
Let z = 8 - 8. Let c be ((-16)/(-3))/(4 - 294/63). Is 4 a factor of (1 - z)/(c + (-678)/(-84))?
False
Let y(q) = 9*q**2 - 30*q + 3. Let g be y(3). Is 13 a factor of 10/30 + (-5062)/g + 1?
True
Let s be -5*(-7 + 8) + 149. Let c be (-4)/6*-3*1. Suppose 4*z = -12, -2*x + 4*z + s = c*x. Does 5 divide x?
False
Suppose 5*m - 2*h - 31630 = 0, -20*m = -18*m - h - 12651. Does 57 divide m?
False
Let c be (13 - (-440)/(-33))/(2/(-4716)). Let f = c - 594. Does 8 divide f?
True
Let v = 700 + -300. Let a(m) = 2*m**3 - 16*m**2 + 12*m - 2. Let s be a(8). Suppose -176 = -3*l + 2*n, -5*l + v - s = 3*n. Does 20 divide l?
True
Suppose 5*t + 5*h = 25490, -14508 = -4*t - 3*h + 5882. Is t a multiple of 17?
False
Suppose 0*t - 70 = -5*t + 2*b, -t + 3*b + 27 = 0. Let m(p) = 19*p + 37. Let s be m(t). Let y = s - 121. Does 16 divide y?
True
Let v = -180 - -166. Does 22 divide 114 - (-2)/1*(v + 12)?
True
Suppose 4*u + 113 - 329 = -4*o, -207 = -4*u - o. Let z = -1749 + 1912. Let c = u + z. Is 43 a factor of c?
False
Let q(o) = -o**2 - 6*o + 32. Let l be q(-9). Suppose 484 = -l*b + 2*w, 5*b = -w + 5*w - 478. Let d = -96 - b. Is 2 a factor of d?
True
Let g = -1363 + 5083. Is g a multiple of 30?
True
Suppose 24 = -6*f + 2*f. Suppose 554 = 5*q + g - 384, 2*g - 6 = 0. Is 26 a factor of -1 - (q/(-3) + f/(-18))?
False
Let b(d) be the first derivative of 2*d**3/3 + d**2/2 + 61*d + 105. Is 4 a factor of b(6)?
False
Let q(j) = -3*j**3 - 25*j**2 + 16*j + 21. Let r be q(-10). Let x = 707 - r. Does 32 divide x?
False
Suppose -126*i + 57460 = -116*i. Is 13 a factor of i?
True
Let c(p) = -p**3 + 9*p**2 - 19*p - 1. Let k be c(5). Suppose -3*g = -g + n - 1684, 4184 = 5*g - k*n. Does 30 divide g?
True
Suppose g - 4*g + 2*g = 0. Suppose 7*o = -3*a + 2*o + 640, g = -o - 4. Is 20 a factor of a?
True
Let c = -8730 + 20764. Is c a multiple of 22?
True
Is (0 + 0 + 11 + -7)/(18/53946) a multiple of 148?
True
Let s(j) = -2*j + 6. Let b be s(3). Suppose b = -5*a + 802 + 1398. Does 38 divide a?
False
Let n(s) be the first derivative of -15*s**4/2 + 4*s**3/3 + 4*s**2 + 8*s - 42. Let v be n(-3). Is 5 a factor of 14/91 - v/(-13)?
False
Let d = -15 + 24. Let z be (3 - 8) + 5 + 3. Suppose v + 63 = 2*v + 5*s, 0 = z*s - d. Is v a multiple of 31?
False
Let t be 7/(-2)*8/(-14). Suppose p - 5*a = -t*p + 3147, -4*p + 4182 = -2*a. Suppose -5*k - 264 = -p. Does 10 divide k?
False
Let o = -46 - -48. Suppose -3*p = m + o*p - 14, -4*m - 2*p + 20 = 0. Suppose 0 = -3*z - m*w + 83, 4*w + 103 = 3*z + 3*w. Is 11 a factor of z?
True
Let r be (142/3)/(2/3). Suppose 660 = 5*x - 2*a, -45*a + 44*a = -5*x + 665. Let s = x - r. Is s a multiple of 7?
True
Let r be (1/(-3))/(((-4)/(-2))/12). Does 34 divide 5 - (r/9 + 19279/(-117))?
True
Let g(l) = -42*l - 1199. Is 29 a factor of g(-32)?
True
Is 10775 - ((-9 - -15)/((-6)/8) + 2) a multiple of 73?
False
Let x(i) = -3252*i + 7915. Is 49 a factor of x(-4)?
True
Let m(r) = 27 - 48 + 33 + 29*r. Let n(j) = -28*j - 11. Let w(a) = -6*m(a) - 7*n(a). Is 14 a factor of w(3)?
False
Suppose 0 = 2*b + 3*g - 22, 2*b + 14 - 4 = 5*g. Suppose -104 = -3*s - b*s. Suppose -1680 = p - s*p. Is 35 a factor of p?
True
Let s(m) = 152*m**2 + 9*m + 6. Let q be 3/(-2)*64/(-48). Is 43 a factor of s(q)?
False
Suppose 9*h - h - 24 = 0. Let s be 6/h*3*(-8)/(-12). Suppose 0 = 4*g - 5*y - 821, -s*y + 572 = 3*g + y. Does 37 divide g?
False
Suppose -15*c + 52972 - 15247 = 10*c. Is c a multiple of 2?
False
Let v(c) = 31*c + 3. Let g be v(-3). Let q = -33 - g. Suppose 30 = r - q. Is 17 a factor of r?
False
Let a(n) = 330*n**2 - 43*n - 66. Is 37 a factor of a(-5)?
True
Let k = 151 + -163. Does 35 divide (-415)/(-6) - 10/k?
True
Suppose 0 = 26*n - 22*n + 2*j - 8, 4*j = -5*n + 7. Is (n*(-1)/6)/((-1)/244) a multiple of 27?
False
Let y(a) = a**2 - 10*a - 115. Let w be y(13). Suppose 0 = 3*u + 4*m - 176 - 265, 588 = 4*u - m. Let l = w + u. Does 9 divide l?
False
Let x(l) = 77 + l - 2*l - 5*l - 24. Is x(4) a multiple of 26?
False
Let z = -77548 + 133374. Does 22 divide z?
False
Let w be -866*(-1 - ((-196)/8)/7). Let o = -1461 - w. Does 42 divide o?
False
Suppose 3*l - 11*r - 2799 = -8*r, 4*r = -l + 923. Is 22 a factor of l?
False
Suppose 0 = m - y - 2*y - 1680, -m - 3*y + 1680 = 0. Is 8 a factor of m?
True
Let w = 8273 - 5007. Does 23 divide w?
True
Suppose 12*x = 26072 + 11800. Suppose -x = -5*t - 3*h, 3*h = 2*t + h - 1256. Suppose -5*v + t = -0*v. Does 20 divide v?
False
Suppose -12196 = -7*g + 3554. Suppose 2*m - g = -23*m. Does 10 divide m?
True
Let x = -5553 + 8225. Is x a multiple of 40?
False
Does 25 divide (-103562)/(-38) - 270/855?
True
Let h(t) = 68*t**2 + 31*t + 537. Does 29 divide h(-18)?
True
Let p(n) = 5*n**3 + 7*n**2 + n - 1. Let u be p(4). Suppose u + 1413 = 8*w. Suppose 3*f = -4*c + 196, -5*f - 49 = -5*c + w. Is c a multiple of 26?
True
Is 16411 - (-1)/(-5*3/135) a multiple of 26?
Fals