 - 822 = -n, -3*i + f = 0. Is 32 a factor of n?
False
Let p = -118 + 121. Suppose 0 = -p*u + 742 - 133. Is 11 a factor of u?
False
Suppose -13*k = -14*k + 2. Suppose -k*f + u = -288, 2*f - u + 6*u = 288. Does 24 divide f?
True
Let b(w) = 13*w + 7. Let o = -80 - -85. Is 23 a factor of b(o)?
False
Let j(a) = 56*a**3 - a**2 + a - 1. Let l be j(1). Suppose -l = 2*k - 5*k + 5*z, 3*z = -3*k + 15. Let i = -1 + k. Is 9 a factor of i?
True
Let v be ((-2)/7)/((-2)/6)*-7. Let o be ((-3)/2)/(6/(-40)). Does 4 divide -3*o/v*1?
False
Suppose -5*t = -3*k - 14 - 16, -4*k + 2*t = 54. Is (-20)/6*846/k a multiple of 47?
True
Let h = 119 + -15. Is h a multiple of 5?
False
Let o be 0 + -1 - (-29 + 4). Suppose -4*p + p = -o. Does 2 divide p?
True
Suppose 5*q - 250 = -5*x, -5*x - 3*q = -7*q - 286. Is 9 a factor of x?
True
Let r be (-1)/(-5) + 114/30. Suppose 4*n - 804 = r*f, -302 + 100 = -n + 2*f. Is n a multiple of 40?
True
Does 13 divide (-22795)/(-35) - (-18)/(-63)?
False
Let l(d) = 10*d + 2. Suppose 10 = -3*g + 4. Let x be l(g). Is 15 a factor of ((-18)/4)/(3/x)?
False
Suppose -8*l - 18 = -17*l. Suppose -l*t = 2*t - 224. Does 9 divide t?
False
Suppose -5*f + 55*n + 11599 = 56*n, 0 = 5*n - 20. Does 37 divide f?
False
Let g(l) = -58*l - 3. Let u be g(2). Let i = 147 + u. Is i a multiple of 4?
True
Let b = 383 - -97. Does 32 divide b?
True
Suppose 4*n - 76 = -4*k, -4*n = k - 12 - 79. Suppose 0 = -n*x + 29*x - 315. Is 21 a factor of x?
True
Suppose 4*n - 2*n = n. Suppose 3*k - 101 - 379 = n. Is 19 a factor of k?
False
Let k(n) = 13*n**2. Let s be k(1). Let w(c) = -2*c**2 + 7 + 13*c - 10*c**2 - 2*c**2 + c**3. Is w(s) a multiple of 4?
False
Let k = -546 + 836. Is k a multiple of 5?
True
Let a = -12 + 14. Suppose 0 = -k + a*k - 3*u - 8, 30 = 2*k + u. Does 7 divide k?
True
Let p(s) be the second derivative of -91*s**5/10 + s**4/12 + s**3/3 + s**2/2 - 52*s. Does 16 divide p(-1)?
False
Let f = 28 + 243. Let d = f + -127. Is 18 a factor of d?
True
Let n(t) = -t**3 + 12*t**2 + 13*t - 25. Suppose -4*l + 63 = 3*r, 5*r + 5 = 6*r. Is n(l) a multiple of 7?
False
Suppose -2*t + 3 = -3. Suppose -t*h + h = -488. Suppose -4*x = -8*x + h. Is 10 a factor of x?
False
Let w(f) = -5*f**2 - 6*f - 3. Let b(h) = -h**3 - h**2 + 1. Let z(d) = -b(d) - w(d). Let g be 6*6/(-9)*1. Does 7 divide z(g)?
False
Let o = -34 - -54. Suppose 7*h = 2*h + o. Suppose 0 = 2*s - h*p - 44, -2*s + 4*s - 42 = 3*p. Is 4 a factor of s?
False
Let d(y) = y - 6. Let z be d(-9). Does 18 divide 5410/75 - (-2)/z?
True
Suppose -2*m + 27 = -m + 5*a, 5*m = 5*a - 15. Suppose 0 = -m*z - 4*p + 16, 3*z + z - 2*p = -8. Let q(u) = u + 26. Is q(z) a multiple of 7?
False
Let t(s) = s**3 + 6*s**2 + 2*s + 9. Let h(x) = x**2 + 19*x - 5. Let a be h(-19). Does 4 divide t(a)?
True
Is 30 a factor of 2 - (-4)/(-2) - (-239 + -10)?
False
Let s = 0 - -5. Let d = 45 + -7. Suppose 7*j - 5*j - d = -2*c, s*c - 104 = -2*j. Is c a multiple of 4?
False
Let t = 133 + -50. Let v = t - 19. Is v a multiple of 14?
False
Let d be (-1)/(2*(-1)/(-98)). Let p = d - -61. Is 6 a factor of p?
True
Suppose z + u = -4*z + 620, 0 = -3*z + 4*u + 395. Suppose -4*x = -z - 127. Is x a multiple of 9?
True
Suppose 0 = 2*a - 5*j - 108, 31*j - 35*j = 3*a - 162. Does 3 divide a?
True
Let h(c) = -176*c**3 - c**2 + c. Let k be h(1). Let n = -111 - k. Let w = n - 1. Is 16 a factor of w?
True
Let o = 535 - 165. Suppose -j + 5*j = 388. Suppose k - f = j - 5, 5*f = 4*k - o. Is k a multiple of 15?
True
Suppose 3*d + 328 - 878 = -2*b, b - 926 = -5*d. Suppose -f = 2*f + d. Is 31 a factor of (-1 + -1)/(4/f)?
True
Let a(h) = -3*h**2 + h**2 - 4*h - 5*h**2 + 9*h**2 + h**3. Let f be a(-3). Suppose -4*p + d + 142 = 25, f = -3*d. Is p a multiple of 8?
False
Does 49 divide (4/(-3))/((-4)/(-5880)*-10)?
True
Suppose 4*x + 3*v = 2984, 4*x - 2672 = -4*v + 308. Is x a multiple of 16?
False
Let r be (-46)/(-3) + 7/(-21). Let u(c) = c - 15. Let k be u(r). Suppose k = -0*v + v - 3*n - 9, -4*v + 2*n + 36 = 0. Does 3 divide v?
True
Suppose -3*r + 5*s = -r - 10, 0 = 2*r + 5*s + 30. Is (r/25)/(-1) - (-558)/10 a multiple of 8?
True
Suppose 0 = -3*v + 5*u + 152, -v + 3*u + 9 + 47 = 0. Does 6 divide v?
False
Does 10 divide 9244/4 - -12 - -7?
True
Suppose -5*c = 3*m - 3465, 26*m - 28*m + 3*c = -2291. Is m a multiple of 19?
False
Let d = -52 + 55. Suppose d*a + 3 = 0, z + 4*a - 3*a = 132. Is 19 a factor of z?
True
Suppose -6 = -3*a, -3*f - 4*a + 139 = -445. Is f a multiple of 29?
False
Let q = 6 + 0. Let v be 60/(-8)*(-4)/q. Suppose 4*m + 47 + 45 = 2*u, -v*m - 235 = -5*u. Is 16 a factor of u?
True
Suppose -86*o + 80*o = -498. Does 14 divide o?
False
Let n = 7 + 5. Is 36 a factor of (5/(25/(-6)))/(n/(-1800))?
True
Let y(d) be the third derivative of d**6/120 - 17*d**5/60 + 5*d**4/6 - 4*d**3 - 31*d**2. Is 20 a factor of y(16)?
True
Let h(g) be the third derivative of g**6/120 + 3*g**5/20 - 5*g**4/6 + 2*g**3 + 4*g**2. Does 16 divide h(-10)?
True
Does 6 divide (-905)/(-4) + -3*(-9)/(-108)?
False
Suppose 0 = 3*u + 2*v - 484, 163 = -2*u + 3*u - v. Suppose -a = 2*a - u. Let f = a - 21. Does 5 divide f?
False
Suppose -18*f - 15*f + 462 = 0. Does 7 divide f?
True
Let j(l) = -l**3 - 9*l**2 - 22*l + 59. Is j(-15) a multiple of 37?
True
Let v = 871 + -617. Is 10 a factor of v?
False
Suppose -4127 = -4*q + j, -3*q + 3*j = 1533 - 4635. Is 76 a factor of q?
False
Let t(s) = -s**3 + 3*s**2 + 5*s + 1. Let d be t(4). Suppose -109 - d = -6*m. Is m a multiple of 19?
True
Suppose 348*b - 342*b - 1854 = 0. Does 19 divide b?
False
Suppose 2*l + 32 = -26. Let u = l - -41. Suppose u*i - 90 = 7*i. Does 14 divide i?
False
Suppose 11 = 5*w - 14. Suppose 48 = -3*o + 5*o + w*z, z = -3*o + 98. Is 7 a factor of o?
False
Let u(w) = 8*w**2 - 2*w + 102. Is u(14) a multiple of 7?
False
Let u(r) = -10*r + 169. Does 8 divide u(8)?
False
Let w = -216 + 891. Is 45 a factor of w?
True
Let i(h) = h**3 - 2*h**2 + h - 3. Let q be i(3). Suppose 0 = -4*r + 3*y + q, 0 = -3*r + y + 7 + 6. Is 2 a factor of r?
True
Suppose 72*c - 908 = 68*c - 4*t, 2*t - 232 = -c. Is 6 a factor of c?
True
Let k = -446 + 888. Is k a multiple of 12?
False
Suppose -4*z = -3*y + 11552, -y + 2638 = -2*z - 1214. Does 85 divide y?
False
Suppose 0 = -86*k - 15*k + 71811. Is k a multiple of 14?
False
Suppose -28 = -5*d - 2*d. Is 51 + (4 - 16/d) a multiple of 19?
False
Let p = 72 - 43. Suppose 0 = 3*w - 25 - p. Is 12 a factor of w?
False
Let l(x) = -x**3 - 2*x**2 + 2*x + 1. Let h be l(-3). Suppose 5*u - 3*f = 158, 2*f = -9*u + h*u + 153. Is 9 a factor of u?
False
Let h(n) = n**3 + 40*n**2 - 107*n + 257. Is 7 a factor of h(-42)?
False
Let q = -112 - -79. Suppose -86 = -i + 4*j, i - 2*i - 5*j + 50 = 0. Let p = q + i. Is p a multiple of 17?
False
Suppose 97*r - 6873 = 10781. Does 26 divide r?
True
Let k(n) = 29*n - 13. Let o be k(6). Let c = o - -31. Is 32 a factor of c?
True
Is (-17)/119 - ((-7652)/7 + -4) a multiple of 15?
False
Let x = -8 + 0. Is (225/10)/((-6)/x) a multiple of 7?
False
Does 18 divide -10*10/(-75) + (-6680)/(-12)?
True
Suppose 2*w + 3*z = 51, 4*w + z + 3*z = 92. Let t(r) = -22*r**3 - 3 - 2*r - 2*r**2 - 4 + w*r**3 + 3. Is 24 a factor of t(-2)?
True
Let m(n) = 14*n + 164. Is m(9) a multiple of 29?
True
Let z(q) = 36*q**3 - 4*q**2 + 3*q + 4. Does 44 divide z(2)?
False
Suppose -4*u - 5*g + 333 = -387, 5*u + g - 921 = 0. Does 7 divide u?
False
Suppose -p = 4 - 5, 5*s + 54 = 4*p. Does 27 divide (-1544)/s + (-6)/15 + 4?
False
Suppose -661*c = -664*c + 693. Is 77 a factor of c?
True
Let y = 24 - 3. Suppose 5*p - 12 + 32 = 0. Let u = p + y. Is 17 a factor of u?
True
Let i(m) = 5*m**2 - m - 14. Does 19 divide i(11)?
False
Suppose 353*r - 341*r = 8820. Does 28 divide r?
False
Let j be (-9 + 9/3)/1. Let k(v) = -v**2 - 6*v + 2. Let w be k(j). Suppose h + 4*n = -0*h + 11, 13 = w*h - n. Is 7 a factor of h?
True
Let c(m) = -m**2 - 10*m + 6. Let o be c(-10). Suppose -2*x = -o*x - 3*y + 1303, 1297 = 4*x - 3*y. Is x a multiple of 25?
True
Suppose -8*n = 76 - 100. Is 3 a factor of n?
True
Let z be 2/(-2)*5/(-1). Let f be 34/10 + 3/z. Suppose -b = 3*n - 19, 6*n - f*n - 10 = -2*b. Is n a multiple of 2?
False
Suppose 103 = -5*y - c, 5*y = 3*c + 15 - 106. Let t = 35 + y. Does 6 divide ((-48)/30)/((-2)/t)?
True
Let y(j) = -j**3 + 4*j**2 - 2*j + 8. Let b be y(4). Suppose -4*a + a - 5*o +