 + 31 - 521. Is y a multiple of 14?
True
Let h = 8432 - 8386. Is h a multiple of 2?
True
Let d be (-44 + 33)*(-2)/2. Suppose 7*c = d*c - 5*w - 797, -5*c - 5*w + 985 = 0. Is c a multiple of 33?
True
Let p = 526 + -163. Let v(l) = -11*l**2 + 87*l + 22. Let t be v(7). Suppose -13*k + t = -p. Is 4 a factor of k?
False
Suppose m - 1019 = 5*w, 1028 = m + 15*w - 17*w. Is 26 a factor of m?
False
Let z(n) = -2*n**3 - 76*n**2 - 111*n + 39. Is z(-37) a multiple of 16?
True
Let v = -4162 - -5236. Is 179 a factor of v?
True
Let c(k) = 6*k + 74. Let m be c(-12). Suppose -r = 3*t + 3*r - 53, -t + m*r + 31 = 0. Is t a multiple of 5?
False
Let w = -548 - -554. Let i = 7 - 12. Does 10 divide (2 - -17) + i + w?
True
Let f(b) = 346*b - 583. Does 143 divide f(26)?
False
Let p(r) = 328*r**2 + 35*r + 7. Is 13 a factor of p(6)?
True
Let n = -678 - -1638. Is 48 a factor of n?
True
Does 2 divide 39/273 + (-88786)/(-14) - -10?
True
Let b = -42 - -62. Suppose 5*j - b = -5*j. Suppose -j*v + 5*v - 42 = 0. Is 6 a factor of v?
False
Suppose -491802 + 405572 = 42*z - 1123294. Does 9 divide z?
False
Let u(b) = 2*b - 4. Let v be u(4). Suppose -3*s - 2*s + j + 665 = 0, s - v*j = 152. Does 12 divide s?
True
Let x(u) = -11*u - 8. Let l(p) = -7*p**3 - p**3 + 3*p - 2 + 0*p. Let k be l(1). Is x(k) a multiple of 7?
False
Suppose z = -4*q + 32464, 20 = z - 5*q - 32462. Is 41 a factor of z?
True
Let n(i) = 2*i + 6. Let c be n(-4). Suppose -22*k = 397 - 353. Is 13 a factor of (k*(-429)/(-3))/(-4 - c)?
True
Suppose 20*a = 46*a + 56*a - 142680. Is a a multiple of 15?
True
Let z be (0 - -604) + (-60)/50*5. Let f = z - 163. Is f a multiple of 71?
False
Let v(i) = 5*i**2 - 26*i + 68. Let p(b) = -2*b**2 - 1. Let c(g) = 2*p(g) + v(g). Does 9 divide c(24)?
True
Let l(c) = -5*c + 154. Let x be l(30). Does 46 divide -4 - (x - (603 + 3))?
True
Is (0 + 3365)*(-26)/(-65)*(-297)/(-18) a multiple of 17?
False
Suppose 4*i + 3 = -2*d + 11, -2*d = -4*i. Suppose -4*f + 854 = -d*g - 238, 5*f - 1352 = -4*g. Is 23 a factor of f?
False
Suppose v = 2*s - 8, -16 = -4*s + 20*v - 16*v. Suppose -s*p + 0*p + 1216 = 3*k, -k = -5*p - 380. Does 8 divide k?
True
Let v = 147 - 83. Let k be -5 - v/(-12) - 2/6. Suppose k = d + 4 - 55. Is 6 a factor of d?
False
Let i = 302 - 459. Let s = 119 + i. Let c = -30 - s. Is 8 a factor of c?
True
Let r(k) = -32*k + 18. Suppose 8*y - 4 = -28. Does 41 divide r(y)?
False
Let t(v) = 6*v**2 + 8*v + 4. Suppose 0 = 3*z - 8*z + 10, 0 = -3*o + z - 197. Let g be (-178)/26 + (205/o - -3). Does 16 divide t(g)?
False
Let p be 2*(8 - 5 - 2). Suppose 0 = -2*u + 4*x + 297 + 875, 2*u = p*x + 1176. Is u a multiple of 11?
False
Is 12 a factor of -70*(-84)/14*43?
True
Let q = -653 - -704. Does 12 divide (-17)/(q/(-104))*18?
True
Let d(b) = 28*b**3 - 179*b**2 + 12. Is 21 a factor of d(8)?
False
Suppose -58422 = 5733*c - 5754*c. Does 24 divide c?
False
Suppose -31 = -2*m + 1. Let g(k) = k**2 - 15*k - 2. Let c be g(m). Is 12 a factor of 1226/c + (-21)/(-49)?
False
Suppose -2*l - 6 = -10. Let v be (400/15)/l*168/20. Let q = 125 - v. Is 7 a factor of q?
False
Suppose 0 = -4*x + 4*y + 92, -19 - 49 = -4*x - 2*y. Let o = -263 + 259. Let a = x - o. Does 3 divide a?
False
Let d(i) = -30*i + 2. Let t be d(-2). Suppose -584 = -t*k + 54*k. Is k a multiple of 14?
False
Let u = -620 - -7352. Does 12 divide u?
True
Let q = -106 + 173. Let d = q + -65. Is -4*(-1 + (0 - -1)/d) a multiple of 2?
True
Let b = -211 - -80. Let q = -8 + b. Let h = q - -235. Does 6 divide h?
True
Suppose -51*z = 69092 - 216380. Does 44 divide z?
False
Suppose 5*d = -5*w + 10535, -w - 472 + 2589 = -d. Is 48 a factor of w?
True
Let r(h) = -1 + 22*h**3 + 94*h**2 - 95*h**2 + h + h. Is r(1) a multiple of 11?
True
Let y(p) = -441*p - 100. Does 67 divide y(-6)?
True
Suppose 2219 = 2*b - 13971. Is b a multiple of 13?
False
Suppose 5*s + 3*n = -347 - 170, -3*n = 4*s + 413. Let q = 5 - s. Let x = q - 72. Is 7 a factor of x?
False
Suppose 2*j = -2*p + 11494, 0 = -3*p + 3*j - 1013 + 18290. Is p a multiple of 10?
False
Let d be (2/(-3))/((-12)/9972). Let z = d - 305. Let b = z + -145. Is b a multiple of 26?
True
Let v(l) be the first derivative of -l**4/4 + 6*l**3 - 19*l**2/2 + 38*l + 139. Is v(17) a multiple of 3?
False
Let k(u) = -461*u - 295. Does 5 divide k(-17)?
False
Suppose -28*v + 187133 + 231274 + 17301 = 0. Does 91 divide v?
True
Let p = 5057 - 4589. Is 6 a factor of p?
True
Let c = -5063 + 9772. Does 17 divide c?
True
Let x(m) = -128*m**3 - 8*m**2 - 6*m - 7. Let r(c) = -15*c + 13. Let y be r(1). Is 52 a factor of x(y)?
False
Let y(r) = -36*r + 18. Let w be y(8). Let f be (-9)/(w/12) + (-23)/(-5). Suppose h - 4 - 3 = -f*t, -4*h + 28 = t. Does 7 divide h?
True
Suppose -4*h = 4*d - 0*h + 272, -12 = -4*h. Let f = d + 74. Let c(o) = 5*o**3 - o + 4. Is c(f) a multiple of 17?
True
Let n(a) = -a**3 + 5*a**2 + 3*a + 5. Let k be n(6). Let c = -6 - k. Let p(v) = -v + 20. Does 7 divide p(c)?
False
Let f = 10712 - 7712. Is f a multiple of 11?
False
Does 38 divide 5 + -6 + -9 + 585?
False
Let h = 380 - -27. Let x = h + -176. Does 11 divide x?
True
Let r(t) = 35*t + 2840. Does 5 divide r(-61)?
True
Let w = 25833 - 11428. Is 108 a factor of w?
False
Let v(d) = -d**3 - 4*d**2 + 2*d + 13. Let a be v(-6). Suppose -27 = 4*u - 35. Suppose 179 = u*q + a. Does 11 divide q?
False
Let u = 10926 - -1499. Does 10 divide u?
False
Suppose 2*m + 4*x - 86108 = 0, 50*x = 3*m + 48*x - 129226. Does 36 divide m?
False
Let u(s) = 41*s**2 - 22*s - 534. Is 21 a factor of u(-18)?
True
Suppose -18*g - 67573 + 168395 = -139334. Is 14 a factor of g?
True
Suppose 0 = -5*y + 5*m + 2990, -24 = 5*m - 4. Is y a multiple of 6?
True
Is 79 a factor of 12/(-32) - ((-784536)/64 + 13)?
True
Suppose 3*f + 12 = a, -12 = -3*a - 2*f + 3*f. Suppose a*p - 6*p + 1778 = -5*k, 2*k = -5*p + 2953. Does 34 divide p?
False
Let u(p) = -p**2 + 36*p - 97. Let r be u(26). Let i = r - 55. Is i a multiple of 18?
True
Suppose 3*d = 119*x - 117*x + 10128, 0 = -d + 4*x + 3386. Does 14 divide d?
True
Let i be (-776)/(-12) + 2/6. Suppose -68*j + i = -73*j. Is 12 a factor of j - -9 - (-1 - 162)?
False
Let v be 4/30 - (-84)/45 - -4. Let y be 3/v + (-4)/(-8). Is 21 a factor of 59 + (y + -2 - -5 - 7)?
False
Is 4 a factor of (-5)/30*262584/(-12)?
False
Does 14 divide (359968/(-72))/((112/36)/(-14))?
True
Let t be 23/((-8050)/228872) - (-4)/(-50). Let v = -570 - t. Is v a multiple of 3?
True
Let y = 1103 + -1108. Suppose 0 = 3*b - 4*b - 3. Does 55 divide 115 + -3 + (y - (b - 0))?
True
Let s = 43 - 0. Let l = s - 41. Suppose 5*o - l*a - 122 = 0, -5*o = -0*a - a - 121. Is o a multiple of 3?
True
Suppose 501*c - 65900 = 401*c. Does 9 divide c?
False
Does 14 divide 84/(-5)*16/36*1*-1470?
True
Suppose 996*p = 997*p - 648. Suppose 11*m - p - 3048 = 0. Is 45 a factor of m?
False
Let f = -70 - 130. Let x = -93 - f. Is x a multiple of 12?
False
Let d(x) = -2*x**3 - 13*x**2 - 20*x - 6. Let f be d(-9). Let v = -254 + f. Does 13 divide v?
True
Does 21 divide (2 - 6 - 4/6)*-666?
True
Does 22 divide ((-204)/10)/(426/(-83780))?
False
Let g(c) = -184*c + 3. Let b = 38 + -39. Let z be g(b). Let y = 361 - z. Is y a multiple of 29?
True
Let c(w) = 33*w - 18. Let o be (-12 + (-1 - 1 - 1))*-1. Suppose -o = -6*x + 9. Is 15 a factor of c(x)?
False
Suppose 156 = 3*w - 9*w. Let s be 4/w - 328/(-104). Suppose -s*f + 2*i + 208 = 0, -f + 5*i + 214 = 2*f. Does 19 divide f?
False
Suppose 126*b + 79*b = -152*b + 3184797. Does 28 divide b?
False
Suppose -3*h + 3*u + 2821 = -5399, -5*u + 13660 = 5*h. Does 152 divide h?
True
Let y be -4 - ((-12)/(-2))/(-1). Let x = 2536 + -1769. Suppose -5*j + 5*v + x = -y*j, -4*v + 812 = 3*j. Is 22 a factor of j?
True
Suppose -4*k + 272 = -l, -5*k - 4*l + 417 = 77. Suppose 3*q - 13*q = -1180. Let i = q - k. Is 25 a factor of i?
True
Suppose 214*t - 864 = 218*t. Let c = -98 - t. Does 12 divide c?
False
Suppose -16 = -5*n - 3*n. Let p(d) = d. Let w be p(5). Suppose 414 = 4*y - w*g, 3*y - 330 + 8 = -n*g. Does 14 divide y?
False
Suppose -t = -11*t + 29390. Suppose 2*m + 2*m - d = 2941, 4*m + d - t = 0. Is 49 a factor of m?
True
Let s(g) = -g**3 - 16*g**2 - 31*g + 21. Suppose -3*u + 4*r = -0*u + 38, 0 = -4*r - 4. Is 27 a factor of s(u)?
False
Suppose -5*f = -5*p - 35, 0 = 2*f - p - 2*p - 17. Suppose 3*t - t - i = 11, -4*i - 8