et k(n) = -n + 2. Suppose -4*m = 2*q - 48, 0 = 5*m + q - 2*q - 74. Suppose -4*t - 18 = m. Is k(t) a multiple of 5?
True
Suppose -3*n = f - 18, -5*n = -2*f - 15 - 4. Suppose -3*g + z = -39, 3*g - n*z = -3*z + 42. Does 3 divide g?
True
Suppose 0 = 5*u - 2*j - 447, 3*u - j = u + 178. Does 13 divide u?
True
Let y(i) = -90*i**3 - i**2 - i - 1. Is y(-1) a multiple of 30?
False
Let u(s) be the third derivative of -s**4/24 + s**3/2 + 7*s**2. Does 8 divide u(-5)?
True
Let p = 10 + -6. Let q be 2/p + (-1)/(-2). Suppose 0 = 2*a - 3*w - 31, 0 = -4*w - q - 3. Is a a multiple of 9?
False
Let j(x) = -x**3 + 6*x**2. Let l be j(6). Let h(g) = -g**3 + g**2 + 3*g + 2. Let n be h(3). Is 18 a factor of (l - 7)*1*n?
False
Suppose -9 = 2*m - 55. Suppose -5*v = -r - v + m, -33 = -3*r + 3*v. Is 3 a factor of r?
False
Let c(o) = -o**3 - 4*o**2 + 5*o. Let h be c(-5). Suppose -d - 2*d + 111 = h. Let k = 58 - d. Is k a multiple of 6?
False
Suppose 550 = 8*w + 86. Is w a multiple of 19?
False
Suppose -4*d = -m - 885, -4*d + m = 4*m - 865. Is d a multiple of 13?
False
Let k(y) = -y**3 + 4*y**2 - 3*y + 1. Let r be k(2). Suppose -z - o = r*o - 40, 45 = 2*z + o. Suppose -z = v - 3*v. Is v a multiple of 10?
True
Let m be 78*(-4)/(-8) + 3. Suppose 0*c - m = -3*c. Does 7 divide c?
True
Let y(t) = -5*t**3 - t**2 + 2*t - 1. Suppose -6 = 5*g - 2*g. Let w be y(g). Suppose -x - 2 = -w. Does 18 divide x?
False
Suppose 0 = 5*t - 12*t + 105. Let k = 20 + t. Is k a multiple of 26?
False
Let f be 1*(-5 + 2 + 2). Let c = f + 6. Is c a multiple of 4?
False
Let s be ((-12)/(-10))/((-3)/10). Let i be (-166)/(-8) - 1/s. Let z = -8 + i. Does 5 divide z?
False
Let r(v) = -v**3 + 10*v**2 - 8*v. Let s = 22 - 16. Let n be r(s). Suppose 0 = -3*f - 5*m + 64, -4*f + 0 = -4*m - n. Does 18 divide f?
False
Let f = -32 + 64. Does 6 divide f?
False
Suppose -3*j + 153 = 2*z + 1, 0 = -2*z - 4*j + 156. Is 35 a factor of z?
True
Let s(w) = -w**3 + 10*w**2 - 8*w - 6. Let l be s(9). Suppose 3*a + 101 = 5*r, -a = -l*r - 8 + 71. Let z = r + -8. Is z a multiple of 14?
True
Is (-418)/19*2/((-4)/3) a multiple of 11?
True
Let j = 159 + -89. Suppose -2*t = -7*t + j. Is 7 a factor of t?
True
Let r be (-1)/(-3) - (-82)/6. Suppose 3*a - r = 1. Suppose 0*c - 3*b = a*c - 5, 5*c - 5*b = 45. Is c a multiple of 4?
True
Let j = -6 + 11. Suppose -m + 30 = -3*i, 0*m - 204 = -j*m - 3*i. Is m a multiple of 12?
False
Suppose -3 = 2*r - 63. Suppose -34 = -4*p + r. Does 4 divide p?
True
Let p(r) = -2*r**3 - 6*r**2 - 5*r - 1. Is 17 a factor of p(-4)?
True
Let h = -120 - -178. Does 8 divide h?
False
Let k(v) = 5*v**2 - 3*v. Let i be k(7). Is 6/4*i/12 a multiple of 25?
False
Let m(p) = -p**2 - 1. Let w be m(7). Is w/(-3) + (-1)/(-3) a multiple of 12?
False
Let m(r) = -3*r**2 - 33*r - 23. Let x(f) = 2*f**2 + 22*f + 15. Let g(i) = 5*m(i) + 7*x(i). Is g(-8) a multiple of 6?
False
Let k be 2 - 0/(-2 - -4). Suppose -n = 4*u - 61 - 92, 5*u - k*n - 201 = 0. Is 13 a factor of u?
True
Suppose 0 = 4*u - 38 - 282. Let q = u - 38. Is 21 a factor of q?
True
Suppose 2*u + 2*u = 0. Suppose k - 53 - 41 = u. Does 24 divide k?
False
Let x be (-3)/15 - 188/10. Let q = x - -30. Does 11 divide q?
True
Is (6/(-8))/(4 + 1605/(-400)) a multiple of 6?
True
Let t be (4 - 3) + 2/(-2). Suppose -36 = -3*o + o + 4*l, t = -2*l - 10. Let j = o - -8. Is 8 a factor of j?
True
Suppose -j = -3, -z + 3*j = -4 + 2. Is z even?
False
Let g = 39 - -62. Is 23 a factor of g?
False
Suppose j = 41 + 34. Does 15 divide j?
True
Let q(w) = -9*w. Let a(i) = 45*i - 1. Let g(o) = 2*a(o) + 11*q(o). Is 15 a factor of g(-3)?
False
Suppose -2*u - 3*u = 15. Is 5 a factor of 0 + 4 + u + 15?
False
Suppose -41*o = -36*o - 1925. Does 55 divide o?
True
Let q(o) = o + 1. Let m be q(1). Suppose -3*z = m*s - s - 103, 0 = -3*s + 12. Does 33 divide z?
True
Let i(d) = d**2 - 5*d + 6. Does 3 divide i(5)?
True
Let i = 4 - -1. Suppose -10 = -n - i. Is n a multiple of 2?
False
Suppose -5*d = -3*d - 32. Does 4 divide d?
True
Let a be 2*1*(-20)/(-8). Suppose -f = -a*z + 102, 2*z - z - 5*f - 30 = 0. Is z a multiple of 4?
True
Let f be (1 - 2)/((-1)/(-7)). Let q = f + 1. Does 3 divide (q - -2)*(-2 + 0)?
False
Let f(o) = 23*o**2 - o + 1. Does 10 divide f(-1)?
False
Suppose -5*o + 2*b + 742 = 0, 3*b + 561 = 4*o - 34. Does 28 divide o?
False
Is 12 a factor of -37*(1 + 0)*-1?
False
Suppose q - 69 - 89 = 0. Does 23 divide q?
False
Suppose -4*y + 345 = 121. Is 24 a factor of y?
False
Let h be -88 - 0/2*1. Let n = -58 - h. Is n a multiple of 10?
True
Suppose 12*t = -3*t + 4425. Does 47 divide t?
False
Suppose v - 5*v + 264 = 0. Let c = 4 + -1. Suppose 2*d = c*g - v, -88 = -5*g - d - 3*d. Is 10 a factor of g?
True
Suppose -2*w + 2835 = 13*w. Is w a multiple of 63?
True
Let o be (-6)/(-4)*(-30)/(-9). Let a be (o - 4) + 2 + -1. Suppose -3*d + 46 = -a*d. Is 16 a factor of d?
False
Suppose s - 103 = -3*x, 2*s + 2*x = 5*x + 161. Is 11 a factor of s?
True
Is 6 a factor of ((-1808)/24)/((-4)/6)?
False
Suppose -3*t + 10 + 107 = 0. Is 13 a factor of t?
True
Does 16 divide 24/(-3*1/(-18))?
True
Let a be (-17)/(-5) + 6/(-15). Suppose 0 = -6*o + a*o + 99. Suppose -5*c + 87 = -o. Is c a multiple of 12?
True
Let r be 76/18 - 28/126. Let o = 10 - 5. Suppose 4*n - 2*l - 36 = 0, -o*l - 52 + r = -4*n. Does 7 divide n?
True
Suppose 3*v = -2*y + 14, 3*y - 2*v = 7 + 14. Does 2 divide y?
False
Suppose 7*t - 42 = 42. Is 12 a factor of t?
True
Let t(u) = -u**3 + u**2 + 2. Let i be t(0). Suppose i*z = -l - 2*l - 58, 0 = 5*l. Let f = 48 + z. Is f a multiple of 19?
True
Let o be 258/4 + (-2)/4. Suppose 0 = -3*r + 17 + o. Is r a multiple of 10?
False
Is (-112)/12*(-2 + -1) a multiple of 7?
True
Suppose -15 = -5*f - 4*y + 1, -5*y + 20 = -4*f. Is ((-40)/(-12) - f)*12 a multiple of 20?
True
Let f(n) = n**3 - 19*n**2 + 19*n + 7. Is f(18) a multiple of 5?
True
Let d be 141/(-21) - (-4)/(-14). Let q = d - -11. Suppose 4*t = -q*z + 44, -3*t - 1 = -2*z + 36. Is 8 a factor of z?
False
Let l = -44 + 96. Let y = l - 9. Does 17 divide y?
False
Suppose 0 = v + 3 - 6. Suppose v*a = 3 + 36. Does 4 divide a?
False
Suppose -28 = d - 5*d. Suppose d = 3*q + 1. Suppose i - q*i = -5. Is 5 a factor of i?
True
Suppose 6*x - 5 - 19 = 0. Suppose 4*d + b = 116, 5*b - 2 = x*d - 142. Is d a multiple of 10?
True
Suppose -s - 10*s = -1496. Does 38 divide s?
False
Suppose 0 = -8*h + 1507 + 477. Does 29 divide h?
False
Suppose 0 = -4*q + q - 5*r + 11, 4*q + 5*r - 23 = 0. Suppose -5*t - 12 = n, -4*n - n - 20 = 5*t. Does 12 divide q + (0 - (-2 - n))?
True
Let x(s) = -2*s - s + 6 + s + 3. Does 7 divide x(-4)?
False
Let r(v) = -v + 7. Suppose 15 + 3 = 3*s. Let f be r(s). Is 17 a factor of (f + (-123)/(-12))*4?
False
Let c(i) = 9 + 0*i + i + 8. Let t be c(-10). Is 14 a factor of (-8 - 0)/((-2)/t)?
True
Suppose i - 3*i = 0. Suppose -3*z + 3*u = 5*u - 77, -5*u = 10. Suppose -x + z = -i*x. Does 10 divide x?
False
Let u(n) be the third derivative of 2/3*n**3 + 11/60*n**5 - 1/120*n**6 - 2*n**2 + 0 + 7/12*n**4 + 0*n. Does 11 divide u(12)?
False
Suppose m - 2*m + 2 = 0. Suppose g - 83 = -4*r + m*g, 5*g = 25. Is 4 a factor of r?
False
Suppose -v = 4*v. Suppose -c + 0 + 7 = v. Let z(g) = -g**3 + 8*g**2 - 5*g - 4. Is z(c) a multiple of 5?
True
Let p(m) be the third derivative of -5*m**2 + 1/30*m**5 - 1/8*m**4 + 0*m**3 + 0 + 0*m. Is 10 a factor of p(-3)?
False
Is 8*(0 + (-2 - -4)) a multiple of 16?
True
Let k(h) = -h - 5. Suppose 5*o = -0*o + 250. Suppose o = -3*f - 2*f. Does 4 divide k(f)?
False
Let q = 235 - 128. Suppose -5*m - 3*u = -2*u - q, -m + 19 = u. Is 22 a factor of m?
True
Is 3*(-355)/60*1*-12 a multiple of 12?
False
Suppose 6*x = 2*x + 16. Suppose -x*d + 2*d = -2. Let r = 5 + d. Is r a multiple of 4?
False
Suppose 5*d = 4*f + 116, 4*d = 2*f + f + 93. Is 12 a factor of d?
True
Suppose 0*i - 3*i = -210. Suppose 5*o = -w + i, 42 = 3*o + 4*w - 17. Is 12 a factor of o?
False
Suppose -5*q = -15 - 0. Suppose 13 = q*r - 56. Is r a multiple of 6?
False
Suppose z = 3*i - 9, 3*z - 5*i - 1 = -8. Suppose 3*n - 105 = 4*r, -r + n - 8 - 18 = 0. Is 9 a factor of ((-4)/z)/(2/r)?
True
Suppose r + 9 = 1. Let z be (-1 + -1)*r - -1. Let h = z + -9. Does 8 divide h?
True
Let t be (-4)/6 + (-82)/3. Let m = -20 - t. Is m a multiple of 3?
False
Suppose 6*y - b - 410 = y, -y - 5*b = -56. Does 27 divide y