*z**2 + 3*z + 2. Let n be d(-2). Does 19 divide (100/n)/((-3)/(-6))?
False
Let w be (-2)/6 - (-32)/6. Suppose -4*r = -5*f - 230, -267 = -w*r + f - 5*f. Is r a multiple of 19?
False
Let v(z) = 3*z**2 + z + 1. Let x be v(-1). Suppose -3*w - x*t = -132, 4*w + 0*w - t - 196 = 0. Is 24 a factor of w?
True
Let h be (5 - 5) + (72 - -2). Let m = h - 48. Does 14 divide m?
False
Let x(s) = s**2 - 7*s + 12. Let l be x(8). Suppose 5*t - 10 = -0, -3*i + l = t. Does 6 divide i?
True
Suppose y + 2*y = -24. Does 4 divide 8/y*1*-8?
True
Let i be ((-2)/(-2))/((-3)/45). Is 12 a factor of 198/5 - 6/i?
False
Let l = -25 + 37. Suppose 5*t + 1 = -2*q - 3, -q = -4*t + 2. Suppose 4*w = l - t. Is w even?
False
Let n be -2*3/6 - -49. Let y = -26 + n. Suppose -y = -k - 3*k - 2*v, -25 = -5*v. Is 2 a factor of k?
False
Let h(d) = 2*d + 4. Let i be h(0). Suppose i*v - 105 = -33. Is 9 a factor of v?
True
Let q(a) = -2*a**3 + 2*a**3 - 4*a**3 - 2 + 3*a**3. Let z be q(-2). Suppose -z*j + 3*j = -24. Does 4 divide j?
True
Let m = 64 - 46. Suppose i + 4*k - 76 + m = 0, -5*i + 3*k + 198 = 0. Is i a multiple of 21?
True
Suppose -4*t + 65 + 87 = 0. Suppose t + 32 = p. Does 14 divide p?
True
Suppose 4*o + 32 = 424. Is 11 a factor of o?
False
Suppose c - 3 - 1 = 0. Suppose -4*r + y - c = -0*y, 0 = 3*r + 5*y + 3. Is 4 + (r + 1 - -2) a multiple of 3?
True
Is (1 + (1 - 82))*(-1)/2 a multiple of 27?
False
Let q be -5*(-3 + (2 - 0)). Suppose 3*d + 4*j = 2*j + 130, -5*d = q*j - 210. Is d a multiple of 17?
False
Suppose -7*j + 656 = -3*j. Suppose 190 + j = 2*w. Suppose -3*a + w = -0*a. Is a a multiple of 15?
False
Is 1 - (22/4)/(1/(-24)) a multiple of 19?
True
Let d(m) be the second derivative of -3/2*m**2 + 2*m - 5/6*m**3 + 0. Is 16 a factor of d(-6)?
False
Suppose 0 = 18*o - 11*o - 287. Is 3 a factor of o?
False
Let m(k) = 2*k**2 - 6*k + 1. Let w be m(4). Let d be (8 + 0)*w/18. Suppose 2*b = -5*o + 34, b + o = d*b - 68. Is 6 a factor of b?
False
Suppose 0 = 4*k + 42 + 6. Let a = 26 + k. Let v = -8 + a. Is v a multiple of 4?
False
Suppose 0 = -5*t - 5*r - 640, 2*r = -5*t + 4*r - 640. Is 12 a factor of ((-3)/(-2))/((-8)/t)?
True
Suppose -37 = 4*p + 83. Let n be -1*(-1 - (1 - 1)). Is 10 a factor of (n*4)/((-5)/p)?
False
Let i(s) = s**3 + s**2 + s. Let m be i(0). Suppose -2*a + 8 = 2*l, 3*l + 3*a - 2*a - 16 = m. Suppose 2*o = 16 + l. Is o a multiple of 8?
False
Let u = 35 - -12. Is u a multiple of 4?
False
Let p = 51 + -34. Is p a multiple of 4?
False
Suppose -2*c = -4*z - 290, 3*c - 5*z = -54 + 490. Is 10 a factor of c?
False
Suppose j = -5*l + 453, 3*l + 39 = -3*j + 306. Suppose 5*d - l = 239. Is d a multiple of 17?
False
Suppose -1952 = 2*b - 7*b + 4*l, 3*b - 1182 = -3*l. Is 56 a factor of b?
True
Let z(p) = -p**2 - 2*p + 24. Let h(q) = -q**2 - q. Let n(c) = -2*h(c) + z(c). Is n(0) a multiple of 24?
True
Let z = -19 - -71. Does 12 divide z?
False
Suppose 12 = -2*j + 182. Is 9 a factor of j?
False
Is ((-34)/(-4))/((-4)/(-24)) a multiple of 13?
False
Suppose 33 + 4 = 3*z + 5*r, 0 = -5*r + 25. Let o be (-213)/(-12) + 1/z. Suppose 0 = y + y - o. Does 3 divide y?
True
Suppose -43*c - 292 = -47*c. Is c a multiple of 10?
False
Let a(s) = -13*s**2 - 7*s - 3. Let v(p) = -13*p**2 - 8*p - 3. Let i(o) = -5*a(o) + 4*v(o). Let x be i(-2). Let j = x + -27. Is j a multiple of 11?
True
Let m be (-8)/12*-12*14. Let s = -70 + m. Is s a multiple of 14?
True
Is (21 - -1)*(2 - 1) a multiple of 11?
True
Is 26 a factor of 4 + (-3 - 2) + 116?
False
Let o be 10/(-2) - (-7 + 6). Does 16 divide -32*((-6)/o - 2)?
True
Let f(p) = -2*p - 3 - 6 + 7*p. Is f(10) a multiple of 19?
False
Let o = -9 + 40. Does 10 divide o?
False
Suppose -4*a + 560 = 2*x, 3*x - 7*a = -5*a + 816. Is x a multiple of 18?
False
Let t = -7 + 31. Does 6 divide t?
True
Let b = 103 + -23. Is b a multiple of 16?
True
Suppose 0 = -4*z + r + 35, 3*z + r + 2*r = 30. Suppose -3*w = -x - 18, 4*w - w - 4*x = z. Does 7 divide w?
True
Let x be (-2)/9 - (-20)/9. Let s be 9*(7 + -4 + x). Let u = 85 - s. Is 20 a factor of u?
True
Let n(f) = -f**2 + 17*f - 18. Does 6 divide n(14)?
True
Suppose -r - 1 = 1. Let a = -6 - r. Let d = a - -20. Does 8 divide d?
True
Let q(s) = 35*s**2. Let f be q(1). Suppose -4*k = 5*y + 33, -k = -5*y - 6*k - f. Let o = 14 + y. Is o a multiple of 9?
True
Let q(i) = 6*i**2 + 4*i. Suppose -2*m + 7*m - u = 20, m + 2*u + 7 = 0. Let x be q(m). Suppose 5*z - x = 2*f, 5*z - 2*z = -4*f + 24. Is z a multiple of 6?
True
Suppose -20 = 2*t - 6*t. Suppose 0 = -5*c, q + 9 - 20 = t*c. Is 3 a factor of q?
False
Let i(h) be the second derivative of h**3/3 - h**2 + 2*h. Let b be i(2). Suppose 0 = -d + 2*v + 34, -4*d + 34 + 52 = b*v. Is 12 a factor of d?
True
Let a(y) = -6*y**2 + 5*y + 4. Let z be a(5). Let l = z + 194. Does 17 divide l?
False
Let j(l) = -28*l - 6. Let i be j(-5). Let y = -96 + i. Does 19 divide y?
True
Suppose 2*q - 5*q - 9 = 0. Let i be 6/(-8) - q/4. Let g = i - -7. Is 2 a factor of g?
False
Let d(h) = 12*h + 0*h**2 - 3*h + h**2. Let l be d(-8). Let i(y) = -y**2 - 9*y - 2. Is i(l) a multiple of 6?
True
Suppose -p - 88 = -5*z + z, -4*z = -2*p - 92. Let c = -33 + z. Is 13 a factor of (-3)/(-18) - 310/c?
True
Suppose 2*b + k - 12 = 0, -3*b - 2*k + 6*k = -18. Is b a multiple of 4?
False
Suppose 5*q - q = 2*c - 86, -2*q = 3*c - 129. Is c a multiple of 6?
False
Let h = -18 - -18. Suppose h*q + 88 = 4*q. Is q a multiple of 15?
False
Let g = 66 + -18. Is g a multiple of 16?
True
Let i = -5 + 5. Is i + (18 - -2*1) a multiple of 10?
True
Let l = -2 - -7. Let y be 1/1*(58 - -3). Suppose -10 = 3*z - n - y, 5*n + 85 = l*z. Is 17 a factor of z?
True
Suppose v + 2*v - 375 = 3*w, 2*v - 252 = 3*w. Let j = 339 - v. Is (-2)/(-7) + j/28 a multiple of 4?
True
Suppose -3*q + 13*q = 110. Does 10 divide q?
False
Let p(b) = b**2 - b + 625. Let a be p(0). Suppose 5*d - 520 = a. Suppose 2*f + 66 = 2*w, -4*w - 2*f + d - 73 = 0. Is w a multiple of 11?
False
Let q(v) = -v**2 - 7*v + 8. Let l be q(-7). Is l/6 - (-2)/3 a multiple of 2?
True
Let x(t) = 67*t**2 - t + 2. Is x(1) a multiple of 24?
False
Let o(b) = -b**2 + 8*b - 9. Let m be o(7). Let q be ((-16)/10)/(2/(-5)). Is 5 a factor of (9/m)/((-2)/q)?
False
Let s be (-9)/(-2) + 4/(-8). Suppose -p - s*p = -85. Is 17 a factor of p?
True
Let k(g) = -g**3 - 6*g**2 - g. Suppose 2*r + 17 = -5*q, 3*q + q = -2*r - 16. Let a be k(r). Is ((-9)/a)/(3/(-68)) a multiple of 14?
False
Suppose 2 + 5 = q. Suppose q*w = 2*w + 50. Does 10 divide w?
True
Let p(i) be the third derivative of -i**5/60 + 13*i**4/24 - i**3 - 8*i**2. Does 18 divide p(10)?
False
Let u = 107 - 61. Is u a multiple of 46?
True
Suppose 3*n + 32 = y, 2*n + 3*y = 3*n + 16. Let t = -5 - n. Suppose -5*o - l + 50 + 44 = 0, t*o = 3*l + 98. Does 8 divide o?
False
Let r = -52 + 86. Is r a multiple of 11?
False
Suppose 3*y - y - 60 = 0. Suppose 12 = -n + y. Suppose h + u - 2 = -u, -3*h + n = 2*u. Is h a multiple of 8?
True
Let h = -3 + 0. Let c be 4*(-1 + h/(-2)). Suppose 5*b - 30 = -3*o + c*b, b - 49 = -4*o. Does 7 divide o?
False
Let i(z) = -z**3 + 14*z**2 - 14*z + 4. Let s be i(12). Let k = -80 + s. Does 22 divide k?
True
Let o be -2*(249/(-6) - 2). Let x = o - 46. Is 14 a factor of x?
False
Let o(a) = a - 1. Let t be o(5). Suppose -t*l + 36 = -0*l. Is 3 a factor of l?
True
Suppose 0 = 3*u + 3*c - 945, 4*c = -3*u + u + 636. Is u a multiple of 39?
True
Suppose 4*h + 2*g = 0, 0 = 5*h + g + 4*g + 10. Suppose -h*w + 24 = -0*w. Is w a multiple of 12?
True
Let c(m) = m**2 + 5*m - 8. Let h be c(-7). Suppose -3*p - h = 0, 2*z - 3*p - 14 = 2. Suppose -6 = 3*j - 3, z*a - 88 = -2*j. Is 11 a factor of a?
False
Let w = 4 + 0. Suppose -w*o + 4*f = -0*o - 72, -4*o - 3*f = -86. Does 20 divide o?
True
Let z(f) be the third derivative of f**4/24 + 2*f**3/3 + f**2. Let b be z(-4). Suppose 5*l = 4*y - 99, b*l = 4*y + l - 129. Is 15 a factor of y?
False
Suppose -2*s = 4*l - 82, 3*l = 2*s + 2*l - 97. Suppose -3*v - s = -14. Let c = 0 - v. Is c a multiple of 11?
True
Let t = 6 - -30. Is 6 a factor of t?
True
Suppose 0*r = 4*r + 20, -r = 4*c - 223. Is c a multiple of 13?
False
Suppose -2*x + 92 = -4*k - 52, -3*k - 216 = -3*x. Is x a multiple of 24?
True
Suppose 0 = -6*b + 3*b + 126. Let r = b + -28. Is 8 a factor of r?
False
Suppose i - 49 = -0*i. Is 10 a factor of i?
False
Let a be -8*9/(-