d + 3. Let h = -12 + 6. Is z(h) a multiple of 10?
False
Let k(v) = v + 3. Let h be (0*1/3)/3. Let l be 9 + (-1 - h) + 2. Does 8 divide k(l)?
False
Let g(u) = -u**3 - 9*u**2 + 27*u - 1. Is 18 a factor of g(-13)?
True
Let m = 7 - 5. Suppose -3*f - 2 = -2*d, 2*d + 4*f - m*f - 22 = 0. Is 7 a factor of d?
True
Let y be (-1386)/15 + 9/(-15). Let d = y - -159. Is d a multiple of 21?
False
Suppose 0 = -i + 3 + 1. Suppose i*m = -4*k + 20, 39 = 5*k - 4*m + 2*m. Is 7 a factor of k?
True
Let h = 9 + -7. Let i(l) = -10*l - 2. Let k be i(h). Let b = -16 - k. Is 6 a factor of b?
True
Let f be -5 + 2*2/(-2). Let w = f - -13. Is 2 a factor of w?
True
Let a(d) be the third derivative of d**6/120 - 3*d**5/20 + 13*d**4/24 - 5*d**3/3 - 4*d**2. Does 11 divide a(8)?
False
Suppose -3*x = 5*n - 264, -4*n + 117 = 3*x - 96. Does 17 divide n?
True
Does 38 divide (-6)/(-2) - (37 + -300)?
True
Let g be (13/2)/(5/(-110)). Let x = 200 + g. Is x a multiple of 19?
True
Let i = -7 - -12. Suppose i*l = 5 + 15. Suppose -4*s + 40 = -l. Is s a multiple of 7?
False
Let n(l) = -l**3 + 9*l**2 - 9*l - 7. Let r be n(7). Let v be r/(-6) + (-3)/9. Does 6 divide (2 + v/3)*33?
False
Let j = 5 + 1. Is (261/j)/((-3)/(-4)) a multiple of 14?
False
Let z be 130/(4/(1 - -1)). Suppose 0 = 3*p - z - 178. Does 27 divide p?
True
Suppose 6*g - 4*g - 132 = -4*w, -265 = -5*g + 3*w. Does 10 divide g?
False
Suppose -5*z = -0*l + 3*l + 1, -z - 11 = -3*l. Let w = z + 7. Suppose 212 = w*k - k. Does 18 divide k?
False
Let n = 45 - 26. Is 18 a factor of n?
False
Let h be (2/8)/((-4)/(-80)). Suppose 0 = 3*m - 4*m. Let x = m + h. Is x a multiple of 2?
False
Let t(u) = u - 5. Does 7 divide t(19)?
True
Suppose -5*d - 1 + 6 = -2*z, z = -3*d + 14. Suppose -3*a + z*g + 40 = 2*a, -4*g = 5*a - 76. Does 12 divide a?
True
Let o = 17 + -16. Let k(t) = 9*t + 4. Let n(i) = 27*i + 11. Let v(g) = -11*k(g) + 4*n(g). Is 9 a factor of v(o)?
True
Let k = 20 - 8. Let n = 24 - k. Does 4 divide n?
True
Suppose q - 217 = -2*q - 4*l, 0 = -q - l + 74. Is 12 a factor of q?
False
Suppose 3*p - 21 = 3*z, -2*p - 3*z - z = -8. Suppose 0 = 2*n - p*n + j - 17, -j = -5. Does 21 divide (4/n)/(4/(-126))?
True
Suppose 3*h = -q + 5*h + 40, 0 = 4*q + 2*h - 210. Is q a multiple of 7?
False
Suppose -4*w + 0*w - 2*l - 34 = 0, 2*w - 3*l = -5. Is (2 - 15)*(w - -4) a multiple of 13?
True
Let j(u) be the first derivative of u**3/3 - u**2/2 - u + 1. Is 5 a factor of j(-2)?
True
Suppose 3*j - j - 114 = 0. Does 4 divide j?
False
Let z(b) = b**2 - 3. Let h be z(-5). Suppose 4*a = h + 54. Is 8 a factor of a?
False
Suppose 180 = 3*h + 4*b, -h - 4*b = -3*h + 120. Is h a multiple of 15?
True
Let i(p) = -15*p**3 - p**2 + 1. Is 15 a factor of i(-1)?
True
Let o(u) be the third derivative of u**5/60 + 5*u**4/24 - 4*u**3/3 - u**2. Let d be o(-6). Is (-1)/(-1*d/(-8)) even?
True
Suppose 2*y = -y + 30. Suppose y - 63 = r. Let q = -35 - r. Does 18 divide q?
True
Let m be 2 + 2 + 0 + -2. Suppose -4*w = m + 2, 5*a = -w + 74. Is 15 a factor of a?
True
Let y(h) = -h**2 - 10*h - 9. Let c(k) = 7*k + 1. Let n be c(-1). Is 15 a factor of y(n)?
True
Suppose 5*c - 25 = 0, c - 15 = n - c. Let q = -2 - n. Suppose -5 = -g + q*v, 3*v = 2*g - 3 - 16. Is 13 a factor of g?
False
Suppose w = -4*w - p + 272, -232 = -4*w + 4*p. Is 9 a factor of w?
False
Let n = -12 - -17. Suppose -20 = -n*b - 5. Suppose -2*k = b*k - 95. Is 7 a factor of k?
False
Suppose 167 - 7 = 2*h - 2*f, -4*f - 83 = -h. Suppose -3*k + 32 = -h. Let c = -22 + k. Does 5 divide c?
True
Let z = 3 - 0. Let p(c) = c**2 - 2*c + 2 + 6*c + c - 2*c. Is 9 a factor of p(z)?
False
Suppose -10*l + 4*l + 96 = 0. Is l a multiple of 7?
False
Let g(w) = -w + 77. Does 3 divide g(25)?
False
Let z be (-3558)/(-9)*(-6)/(-4). Is z/7 + (-10)/(-35) a multiple of 34?
False
Let h = 12 - 0. Is h a multiple of 11?
False
Let h = -41 + 7. Let c = -25 - h. Does 5 divide c?
False
Let k = 178 + -114. Does 16 divide k?
True
Let j(d) = 78*d - 1. Let u be j(2). Suppose -u = -3*r - 26. Suppose 5*p - 82 - r = 0. Is p a multiple of 14?
False
Suppose 5*a + 2 - 17 = 0. Let v(h) = -h**2 - 2*h + 12. Let w be v(0). Suppose 0 = a*z - w - 3. Is z a multiple of 2?
False
Suppose 0 = 2*d - 5 - 1. Let s(r) = 0*r**d + 2*r - 6*r**2 - 9 - 4*r**3 + 5*r**3. Is 2 a factor of s(6)?
False
Let y(z) = z**2 + 7*z + 15. Let k(m) = -6*m**2 - 34*m - 76. Let x(r) = 2*k(r) + 11*y(r). Let i be x(10). Suppose b - i = 3. Is b a multiple of 6?
True
Is (-9)/(-15) + -1 + (-3348)/(-20) a multiple of 29?
False
Suppose q = -4*o + 10, -2 - 10 = -o - 5*q. Suppose 2*g = -3*h - h, -o*g = -2*h. Suppose -2*t + 0*t + 64 = g. Is 16 a factor of t?
True
Suppose 0 = 2*t - 5*t + 450. Is t a multiple of 30?
True
Let m(n) = n**3 + 7*n**2 + 5*n - 1. Let q be m(-6). Let z = q - 8. Does 17 divide z*((-37)/3 - -1)?
True
Let p(w) = w - 6. Let c be p(8). Suppose -c*g + y = -134, 2*y = -3*g + y + 211. Let f = -28 + g. Is f a multiple of 14?
False
Suppose 0 = -s + 5*s + 16, -8 = -r + s. Suppose 3*a - 97 + 5 = -r*o, 4*o - 5*a = 92. Does 22 divide o?
False
Suppose 38 = -4*i + 2*w, w + 2 = -1. Let s = 28 + -54. Let y = i - s. Is 4 a factor of y?
False
Suppose 3*j = -a + 23, 0 = -4*a - 2*j - 0*j + 142. Is 7 a factor of a?
False
Let n(k) = -k + 10. Is 2 a factor of n(5)?
False
Suppose -5*x = -9 - 16. Suppose 0 = x*d - 17 - 13. Is 3 a factor of d?
True
Suppose 4*s - 512 = 136. Is s a multiple of 18?
True
Let h = -3 + 6. Suppose 0*n - h*n = 312. Is (n/(-16))/(2/12) a multiple of 13?
True
Let k = -62 - -92. Is 2 a factor of k?
True
Let k = 12 - -13. Let u = -17 + k. Is u even?
True
Let f(i) be the third derivative of -i**6/120 + i**5/20 + i**2. Let r be f(3). Let l(o) = o + 20. Does 10 divide l(r)?
True
Suppose 2*j + 3 - 11 = 0. Is 6/(-4)*j/(-3) even?
True
Let y(h) = -h**3 + 9*h**2 + 5*h - 3. Let l be y(9). Suppose w - 38 = l. Is 20 a factor of w?
True
Is 3 + -6 - 2*31/(-2) a multiple of 24?
False
Let u(x) = x**3 - 10*x**2 - 11*x + 21. Does 12 divide u(11)?
False
Let k(a) = -a**3 + 7*a**2 - 3*a - 4. Let i be (-32)/(-12)*(-6)/4. Let z = 10 + i. Is 5 a factor of k(z)?
False
Let c be ((-2 - 1) + 0)*1. Let a be c - -2 - (-21)/(-3). Is 8 a factor of ((-10)/a)/((-2)/(-32))?
False
Let z(i) = i**3 + i**2 + i. Does 12 divide z(4)?
True
Suppose -3*i = 2*d - 147, 3*d = 4*i - 0*d - 196. Is 12 a factor of i?
False
Let h(c) = -6*c**2 + 3*c. Let g(b) = -b**3 + b**2 - b. Let a(k) = 4*g(k) + h(k). Does 7 divide a(-2)?
False
Suppose -i = 2*i - h - 15, -i + 5 = 2*h. Suppose 2*m - 52 = i*o, o - 6*o = -m + 26. Is 7 a factor of m?
False
Let y(k) = -3*k**3 - 4*k**2 + 17*k + 8. Is y(-5) a multiple of 21?
False
Let d(g) = 24*g - 16. Is 21 a factor of d(5)?
False
Suppose 16 + 64 = 5*i. Suppose 0 = 2*q - 5*h - 39, -q + h = -10 - 2. Let d = q + i. Is 19 a factor of d?
False
Is 18 a factor of (4 - 6)/((-1)/29)?
False
Suppose 2*a = 5*v - 51, 5*a = 5 + 5. Is v a multiple of 3?
False
Let l(m) = -m**2 + 2*m + 4. Let q be l(3). Is ((-3)/9)/(q/(-129)) a multiple of 11?
False
Let z(n) = 20*n - 46. Let g(o) = 7*o - 15. Let d(m) = 14*g(m) - 5*z(m). Does 15 divide d(0)?
False
Let n(j) = -j**3 + 13*j**2 - 2*j + 6. Let t be n(13). Is 10 a factor of 63*(t/(-6) + -3)?
False
Suppose 7*c - 8*c = -18. Is c a multiple of 9?
True
Let p(o) = -3*o - 5. Let d be p(-4). Let h(y) = -y**2 + 9*y + 7. Is h(d) a multiple of 10?
False
Let d(i) = i**3 - i**2 + i + 1. Let r(a) = -3*a**2 + a - 1. Let j(g) = d(g) - r(g). Let x be j(-2). Is 22 a factor of (44/5)/(x/10)?
True
Is 3 a factor of ((-468)/(-30))/((-3)/(-10))?
False
Let q(j) = j**2 + 6*j + 18. Is q(-8) a multiple of 21?
False
Let c(s) = s**3 + 7*s**2 + 4*s + 13. Is c(-6) a multiple of 13?
False
Suppose 6*l = 5*l + 42. Is l a multiple of 8?
False
Suppose 264 = 7*y - 3*y. Is y a multiple of 11?
True
Let f(b) = -b - 2. Let z be f(0). Let x = z + 6. Is x a multiple of 3?
False
Suppose -s = -56 + 9. Let g = s + -28. Is g a multiple of 10?
False
Let c be (-135)/20 - (-1)/(-4). Let a(s) = -3*s - 10. Is a(c) a multiple of 11?
True
Let i(a) = -a**3 - 3*a**2 - 3*a - 1. Let w be i(-2). Is (0 - -3)/(w/6) a multiple of 9?
True
Suppose -2*f - 3*r + 55 = 0, 4*f + 4*r - 112 = -0*r. Let n = 58 - f. Is n a multiple of 11?
False
Suppose 7 = 3*w - 8. Suppose 3*l = w*n - 60, -5*l + 36 = -2*n + 5*n. Is 9 a factor of n?
False
Is (-4)/((-12)/613) 