s - 16. Is y(4) a multiple of 15?
False
Let n(h) = -h. Let i be n(-2). Let c be (4 - i)/((-2)/(-5)). Suppose c*w = -r - 0*r + 134, -2*w + 64 = 3*r. Does 13 divide w?
True
Suppose -4*u - 5*x + 120 = 0, -60 = -2*u + 2*x - 5*x. Is 2 a factor of u/7 - 8/28?
True
Let s be (-105)/(-28) - 1/(-4). Is s/16 + 71/4 a multiple of 12?
False
Suppose s = 4*s. Suppose 0 = -s*x - 5*x + 10. Is x/8 + (-134)/(-8) a multiple of 17?
True
Let b = 1 + -2. Let k = b - -5. Does 4 divide k?
True
Suppose -20 = 5*o - 6*o. Is 20 a factor of o?
True
Let h(q) = -q - 3. Let x be h(-7). Suppose -100 = -2*d + x*y, 3*d + 0*y - 145 = y. Is d a multiple of 12?
True
Suppose -9 = -0*m - 4*m + x, 3*m + 3*x = 18. Does 12 divide (m - -15)/(2/4)?
True
Let h(p) be the first derivative of p**3/3 + 5*p**2 - 4*p - 3. Let b be h(-11). Let m = b - 3. Is 4 a factor of m?
True
Suppose 2*u - 52 - 138 = 0. Suppose 4*r - 65 = u. Does 20 divide r?
True
Let m(u) = -u**2 + 11*u + 7. Does 31 divide m(8)?
True
Let b be 5*(2 + 24/(-15)). Suppose -g = r - 74, -5*g + 350 = b*r - r. Does 20 divide g?
False
Let r(z) = -3*z. Let n be r(-1). Does 25 divide 5/1*(n - -7)?
True
Let n(m) = 44*m. Let u be ((-3)/1 - -2)*-1. Does 22 divide n(u)?
True
Let w be 1 - -1 - 1*-97. Suppose f = 151 + w. Does 24 divide 5/(-20) + f/8?
False
Let w = 44 + -7. Is 4 a factor of w?
False
Suppose 4*i - 8 = -0*i. Does 15 divide i/(-7) - 428/(-28)?
True
Let d(z) = z**2 + 8*z + 3. Let g be d(-5). Does 12 divide 2/(-2 + (-26)/g)?
True
Let i = 44 + -87. Let s = i - -71. Does 8 divide s?
False
Let t = -13 + 16. Suppose 0 = -t*b - 0 + 6. Is 2 a factor of b?
True
Let x(r) = -r**3 + r**2 + 40. Is 17 a factor of x(0)?
False
Let l = -2 + 8. Suppose 0 = l*f - 2*f - 144. Does 17 divide f?
False
Let h(k) = 3*k**2 + 5*k - 5. Does 30 divide h(-5)?
False
Let z(g) = -6*g**2 - 5*g - 21. Let y(b) = 22 + 4*b**2 + 3*b + 3*b + 3*b**2. Let f(q) = -5*y(q) - 6*z(q). Is 8 a factor of f(0)?
True
Let l(z) = 7*z**3 - 3*z**2 + 8*z - 2. Is l(3) a multiple of 35?
False
Suppose 152 + 284 = 4*b. Is 23 a factor of b?
False
Let a = 221 - 70. Does 35 divide a?
False
Let t be -53*3/6*-2. Let j be (0 - 1) + -4*4. Let y = t + j. Is 18 a factor of y?
True
Let d(p) = 8*p**3 + p**2 - p. Let k = -3 - -3. Suppose -5*w - 4 = -4*g - 1, k = -2*w - 5*g + 12. Does 4 divide d(w)?
True
Suppose 2*z + 60 = 6*z + 3*k, -z + 2*k = -4. Is 3 a factor of z?
True
Let m(a) = -a**3 + 9*a**2 + 11*a - 11. Let s be m(10). Is 12 a factor of ((-1)/2)/(s/52)?
False
Let t = 4 + -2. Suppose -w + t*w - 38 = 0. Is 10 a factor of w?
False
Let u = 272 - 84. Does 26 divide u?
False
Let i = 5 + -12. Let f(u) = u**3 + 7*u**2 + u + 10. Is f(i) a multiple of 3?
True
Suppose -5*c + b = -70, 7*b - 70 = -3*c + 2*b. Does 4 divide c?
False
Suppose 53 = s - 10. Does 10 divide s?
False
Let y be 4 + -2 - 0 - -5. Let o(t) = -t**3 - 4*t**2 + 5*t + 2. Let a be o(-5). Suppose a*c - 6 = -2*l, -5*c = 4*l - y - 2. Is l a multiple of 6?
True
Let s be 93 + 0 + -1 + 4. Suppose 5*z + 2*b - 21 = s, 4*b + 111 = 5*z. Does 10 divide z?
False
Is 48 a factor of (1 + 2)/(6/366)?
False
Let x = 68 + -66. Is x even?
True
Suppose -63 = -d - 2*d. Is 7 a factor of d?
True
Let o(p) = p + 1. Suppose 5*d - q - 56 = 0, -2*d + 0*q = 3*q - 36. Does 5 divide o(d)?
False
Is ((-12)/(-15))/((-3)/(-120)*1) a multiple of 32?
True
Let a = -6 + -2. Let w = -4 - a. Suppose y = w + 2. Does 3 divide y?
True
Let k(x) = x + 10. Let g(j) = -9*j + 1. Let i be g(1). Let y be k(i). Suppose -2*c - 5 = -3*q, 12 = y*q + 2*q. Is 2 a factor of c?
True
Let l be (4 - -2)*3/6. Suppose 3*o = -l, -5*z + 3*o + 0*o = -113. Is z a multiple of 8?
False
Let v(y) = y**3 + 7*y**2 + 2*y - 7. Is 4 a factor of v(-6)?
False
Suppose -5 = -4*x - x. Suppose 0 = 5*g + 2*d + 2*d - 16, 0 = -d - x. Suppose -9 = g*h - 49. Is h a multiple of 10?
True
Let w = 1 - -2. Suppose 36 = w*d - 2*d. Suppose t - d = 5*x, 4*x + 1 = 3*x. Does 17 divide t?
False
Let t(o) = -o**3 - o - 7. Let n be t(0). Is 24 a factor of 63 - 2 - (-14)/n?
False
Let f(b) = b**2 - 12*b + 17. Let y be 28/2 - (-10)/(-5). Is f(y) a multiple of 6?
False
Let c = 117 - 51. Is c a multiple of 10?
False
Let x(h) = -9*h + 3*h**2 - 4 - h - 6 - 2*h**2. Is 14 a factor of x(12)?
True
Let x(d) = 3*d**2 - 4*d - 10. Does 10 divide x(-2)?
True
Let l(b) = -4*b + 40. Is l(0) a multiple of 8?
True
Suppose -3*q + 72 = -45. Is q a multiple of 13?
True
Let m = 84 - 31. Does 9 divide m?
False
Let t(o) = -2*o + 6. Let w be t(-8). Let f = w - 10. Does 5 divide f?
False
Suppose 2*k + j = -13 - 6, 0 = -4*k + 4*j - 44. Let h = 37 + -17. Let t = h + k. Is 9 a factor of t?
False
Let y(v) = 11*v**3 - v**2 + 2*v. Suppose -4*l + 12 = -4*d, 4*l = -5*d + 4*d + 17. Is 6 a factor of y(d)?
True
Let o = 73 + -26. Does 10 divide o?
False
Let g be (-3 - -1)*20/(-8). Suppose 12 = g*w + 2. Does 2 divide w?
True
Let b be 6 - -1 - (2 + 0). Let a(h) = -1 + 3*h + 10*h - b*h + 2*h. Is a(5) a multiple of 15?
False
Is 2 a factor of (44/(-33))/((-8)/54)?
False
Let x = 4 - -13. Suppose -3*j = 5*q - 54, -2*q - x = -2*j + q. Is 13 a factor of j?
True
Suppose 2*x + 3*x = 4*c - 69, c - 21 = 2*x. Does 6 divide c?
False
Suppose 0 = -2*g + 5 + 31. Suppose m - 2*m = -g. Is 4 a factor of m?
False
Does 6 divide 2/(-4) + (-157)/(-2)?
True
Let a = -29 + 20. Does 18 divide -1 - -4 - 621/a?
True
Let c = 67 - 40. Suppose b + c = 4*b. Is b even?
False
Does 19 divide (1078/(-66))/(2/(-6))?
False
Let n(d) = -d**3 + 3*d**2 + 2*d. Is 9 a factor of n(-3)?
False
Suppose -21*z + 75 = -18*z. Is 6 a factor of z?
False
Suppose -4*w + 3*n + 6 = 0, -4*n + 3 = w - 8. Suppose 0 = 2*l - 3*b - 31, -3*l - w*b - 54 = -6*l. Is l a multiple of 6?
False
Let p = 28 - 5. Is p a multiple of 4?
False
Let v(t) be the first derivative of t**4/4 + 7*t**3/3 + 5*t**2/2 + 4*t - 2. Is v(-6) a multiple of 4?
False
Let q = 64 - 46. Is 5 a factor of q?
False
Let g = 41 - 85. Suppose -5*i - 253 = 3*c, 5*i = 4*c + 217 + 62. Let n = g - c. Is n a multiple of 16?
True
Is 20 a factor of 3 + (-44)/14 + 701/7?
True
Suppose -5*t = 6*a - 7*a - 600, 4*t = -a + 480. Is t a multiple of 40?
True
Let j(m) = -3*m**3 - 2 + 2*m**2 + 0*m + 2*m + 0*m**3. Suppose 0 = -5*z - 3*k - 18 - 4, 0 = -5*z + 3*k + 2. Does 13 divide j(z)?
True
Suppose 3*m + u = 198, -3*m - 66 + 282 = -5*u. Does 7 divide m?
False
Suppose -i + 3*j + 45 = -20, 3*i + j = 205. Does 30 divide i?
False
Let v be 34/(6/(-10) - -1). Suppose 4*p = v + 11. Does 7 divide p?
False
Suppose 0 = -0*w - 5*w - 5*n + 40, -n - 22 = -5*w. Suppose -3*d + 14 = l - 0*l, -w*l + d = -54. Is l a multiple of 9?
False
Suppose 3*n + 10 = 5*n. Is 4 a factor of n?
False
Suppose -5 = -3*x + 40. Is x a multiple of 5?
True
Let a(b) = -b**3 - 5*b**2 + 7*b + 5. Let d be a(-7). Let s = -20 + d. Is s a multiple of 14?
False
Let j be (-15)/(-5) + (0 - 0). Suppose 0*u + u + 10 = 0. Is -1*(u - 3/j) a multiple of 10?
False
Let p be 4/(-6)*(-18)/4. Suppose -p*n - 29 = -143. Is n a multiple of 16?
False
Suppose -4*m = 8, 0*m = o - 2*m - 9. Suppose 2*x + 66 = p + 4*p, -o*p = -5*x - 60. Is p a multiple of 7?
True
Let c be 15*-1*(-1)/3. Let h be c*3/(-15)*6. Is (0 - h)*(-2 - -4) a multiple of 12?
True
Suppose f - 91 - 28 = 0. Is f a multiple of 41?
False
Let t(k) be the second derivative of -4*k**3 + k**2/2 + k. Is t(-1) a multiple of 25?
True
Suppose -9*b + 2*b + 840 = 0. Does 40 divide b?
True
Let a be (-138)/(-30) + 2/5. Suppose 0*m + m = a*p - 54, 0 = 4*p - m - 44. Is p a multiple of 6?
False
Let f(x) be the second derivative of x**4/3 - x**3/3 - x**2 + 3*x. Is f(-2) a multiple of 18?
True
Suppose 5*q - 94 = -3*b + 47, 2*q - 62 = -4*b. Is q a multiple of 6?
False
Let c(z) = 2*z**2 + 16*z - 6. Is c(-9) a multiple of 6?
True
Let s(r) = 17*r - 14. Is 18 a factor of s(4)?
True
Suppose -6 - 10 = -4*l. Is 9 a factor of (l/(-5))/2*-40?
False
Let h(z) = -z**3 - 8*z**2 - 7*z - 2. Let j be h(-7). Let s be (j - 0 - -2)/2. Let m(r) = r**3 + r + 6. Does 6 divide m(s)?
True
Suppose 2*p + 2*w = -p + 616, 5*p = 5*w + 1010. Is p a multiple of 17?
True
Let l = 97 + -63. Is 12 a factor of l?
False
Suppose -6 + 33 = -4*c - s, 27 = -5*c + s. Let m be (-1 - -1)/(c/3). Suppose w = -m*w + 7. Is 3 a factor of w?
False
Let s(k) = 2*k + 3. Let v be s(-9). Let n(l) = -l**3 - 16*l**2 - 17*l - 16. Is n(v) a multiple of 12?
False
Suppose -4*d + 2