(c) a multiple of 4?
False
Suppose 0 = -w - 0*w + 31. Does 15 divide (0 - -1)*w/1?
False
Suppose 428 - 48 = 4*b. Does 30 divide b?
False
Suppose 2*l - 4 = 0, -3*l - l - 530 = -2*s. Does 30 divide s?
False
Suppose -97 = 5*l - 37. Let o = l - -24. Is 6 a factor of o?
True
Is 236/8 - ((-3)/(-2) + -2) a multiple of 10?
True
Let k(n) be the third derivative of -n**6/60 - n**5/20 - n**4/6 - n**3/2 - n**2. Does 18 divide k(-3)?
True
Let k be ((-146)/(-2))/(2 + -1). Let t = k - 34. Does 14 divide t?
False
Let a(n) = n**3 + 4*n**2 - 4*n - 3. Let o be a(-5). Let r = -1 - o. Is r a multiple of 7?
True
Suppose -51 = 9*i - 12*i. Does 4 divide i?
False
Let i = -36 - -119. Is 11 a factor of i?
False
Suppose -4*p - 305 - 19 = -2*x, 0 = -3*x + 4*p + 482. Is 16 a factor of x?
False
Let m = 140 + -100. Suppose -3*b - 4*u = -2*b - m, 0 = 5*b + 5*u - 185. Is 10*(-2 - b/(-15)) even?
True
Let z = 65 + -42. Suppose 0 = 5*y + 4*c - 11, -3*c - 2 = y + 2*c. Suppose -y*k + 155 = z. Is 17 a factor of k?
False
Let z(c) = c**3 - 2*c**2 + 3*c - 3. Let y be z(2). Suppose -125 = -y*w - 2*w. Does 14 divide w?
False
Suppose -3*j + 10 = 1. Suppose -j*h - 2*t + 3*t = -42, 5*h = -t + 78. Does 8 divide h?
False
Suppose -21 = -4*x + f - 7, 4*f = -5*x + 28. Is 2 a factor of x?
True
Suppose x + 8 = 3*x, 5*l + 5*x = 65. Suppose -l = 3*j, -4*j - 14 = -p - p. Suppose -31 + p = -5*m. Is 5 a factor of m?
False
Let x(w) = -w**3 - 3*w**2 + w - 3. Let n be x(-3). Let z(u) = u**2 - 7*u - 13. Let g be z(12). Let y = n + g. Does 16 divide y?
False
Let b(n) = -4*n**2 - 3*n + 6. Let d be b(4). Let q = -112 - d. Let y = 82 + q. Is 19 a factor of y?
False
Suppose 5*f - 100 = 4*f. Does 9 divide f?
False
Suppose 5*p - k - 19 = 0, 2*p - 3*k - 13 = 5. Suppose -10 = -p*m + m. Is m even?
False
Let x(a) = -7*a - 3. Let g be x(-3). Suppose -6 = -3*p + 2*v - v, 2*v = -4*p + g. Suppose w = 11 - p. Is 8 a factor of w?
True
Let x(f) = f**3 - 2*f + 4. Is 2 a factor of x(2)?
True
Let m = -54 + 229. Does 35 divide m?
True
Let p be 34/((-1)/(-1 - 0)). Suppose -p = -5*o + 6. Does 4 divide o?
True
Suppose -4*o + 6*o = 160. Is o a multiple of 8?
True
Let d(f) = -3*f - 39. Is 2 a factor of d(-17)?
True
Let y(r) = -r**2 + 6*r - 8. Let l be y(6). Let g(n) = -n**3 - 7*n**2 + 8*n + 10. Is 4 a factor of g(l)?
False
Suppose -5*h + 3 = 3*q, 0*q = 5*q - 3*h - 39. Let g = q + 9. Is g a multiple of 5?
True
Suppose 4*x = -5*u + 194, 4*x + 58 = u - 0*u. Let w = 63 - u. Is 7 a factor of 6/w - 47/(-7)?
True
Let f = 64 - -20. Does 7 divide f?
True
Suppose -18*v + 6*v + 1164 = 0. Is v a multiple of 21?
False
Let d = -49 - -121. Is 24 a factor of d?
True
Let b be (-26)/(0 + 6/(-75)). Let s = b - 173. Suppose 0 = 5*y - s + 2. Is 15 a factor of y?
True
Let s = -162 - -288. Is s a multiple of 18?
True
Let z be 2/4 - 9/(-6). Let v(w) = 30*w**3 - 4*w**2 + 6*w**z - w - 14*w**3 + 15*w**3. Is v(1) a multiple of 16?
True
Suppose 6*q + 33 = 129. Does 15 divide q?
False
Let n(j) = j**3 + 8*j**2 + 5*j. Let x be n(-6). Suppose h + x = 3*h. Is h a multiple of 7?
True
Let x = -54 + -16. Let k = -13 - x. Does 16 divide k?
False
Suppose -4*l = 4*c + 24, 4*l = c + 3*c + 56. Suppose -191 = -2*u + 3*u. Is 2/c + u/(-5) a multiple of 13?
False
Is 18 a factor of 3/((-51)/27 + 2)?
False
Let n be (4/6)/(6/(-27)). Does 14 divide n + -2 + 35 + -2?
True
Let f = -44 - -101. Is f a multiple of 17?
False
Let h(j) = -j**2 + j + 1. Let y be h(2). Is (13 + y)/((-18)/(-135)) a multiple of 30?
True
Let g(k) = k**3 + 26*k**2 + 23*k - 11. Does 14 divide g(-25)?
False
Let w be -2*51/3 + -1. Let m = w - -98. Let d = -31 + m. Is 16 a factor of d?
True
Suppose -4*p - 8*p = -456. Does 16 divide p?
False
Let c(q) be the first derivative of 5*q**2/2 - 8*q + 3. Does 15 divide c(6)?
False
Let z = -67 + 97. Is 6 a factor of z?
True
Let i(f) = 11*f - 1. Let v be i(2). Suppose -v = -2*l - l. Let k = 2 + l. Is k a multiple of 5?
False
Suppose 36 = 5*m + 2*z, -3*z + z = -4*m + 36. Does 4 divide m?
True
Suppose 4*h = 5*f + 254, h + 2*f = 3*f + 64. Is 11 a factor of h?
True
Suppose 0 = -0*o - 4*o - 16, -3*x + 5*o + 35 = 0. Suppose -x*q = -2*q - 102. Is 17 a factor of q?
True
Let q(z) = 9*z**2 - 13*z - 12. Is 13 a factor of q(5)?
False
Suppose 3*h = -1 + 190. Suppose h + 154 = 7*f. Does 17 divide f?
False
Suppose 5*m = 10, -2*j + 36 = 2*m - 5*m. Let a = 30 - j. Suppose -o - 22 = -2*f + 35, 0 = -3*o - a. Does 14 divide f?
False
Suppose 5*v - 351 = 3*o - 886, 20 = 5*v. Suppose p = -4*p + o. Is p a multiple of 12?
False
Let k = -53 + 100. Suppose 2 + 2 = -2*t, -2*t = m - 19. Let h = k - m. Does 9 divide h?
False
Suppose -4*j - 2*s + 53 = -205, 2*j + 2*s = 126. Does 11 divide j?
True
Let q(f) be the second derivative of -f**4/12 + 8*f**3/3 - 7*f**2 - 4*f. Does 17 divide q(11)?
False
Suppose 0 = 5*r + 3*a + 176, -2*a - 34 = r - 3. Let j(i) = -i - 5. Let b be j(-6). Is 8 a factor of (r + b)*(-4)/6?
True
Let a be (-3)/5 + 26/10. Is 11 a factor of 594/55 + a/10?
True
Let u be 1*(0 - (-1 + 2)). Does 3 divide -2 + (u - 1) + 14?
False
Suppose 5*n - 16 = -4*y, 5*y = 4*n + 11 - 32. Let p be 26/3 - y/3. Let x = p - 4. Does 2 divide x?
False
Let z(f) = f**3 - 13*f**2 + 17*f + 8. Let n be z(12). Suppose 3*u - 3*s = 4*u - 22, n = 4*u + 2*s. Is u a multiple of 8?
True
Let y(k) be the first derivative of -k**4/4 - 4*k**3/3 - k - 2. Let h be y(-3). Does 3 divide (h/(-4))/(1/2)?
False
Let y = 41 + 22. Does 9 divide y?
True
Suppose -5*i - 5*d - 5 = 0, 2*d + 3*d = 5*i - 35. Suppose -j + 3*c - 51 = -2*j, -83 = -i*j + 5*c. Suppose -2*m + j = -m. Is 18 a factor of m?
True
Let s be (2 + -1)/((-1)/(-206)). Is 9 a factor of 2/(-17) + s/17?
False
Let y(d) = -d**2 - 31*d - 44. Does 11 divide y(-29)?
False
Let g(w) = -w**2 - 5*w. Let t be g(-5). Suppose -3*r - 2*u + 6 = -t, 15 = 5*u. Suppose 5*o - f - 87 = -r*f, 0 = 4*o + 2*f - 78. Is 18 a factor of o?
True
Suppose 40 = 10*q - 6*q. Is 3 a factor of q?
False
Let r(n) = -12*n + 9. Is 5 a factor of r(-3)?
True
Let d = 31 + -3. Does 21 divide d - 2*3/(-3)?
False
Suppose -25 = 3*j + 8. Let v = j - -70. Is 12 a factor of v?
False
Let u = -10 + 13. Does 10 divide 29 - (3 + u + -3)?
False
Suppose o - 88 = -22. Does 26 divide (1 - o)*(-18)/45?
True
Let y = -6 - -8. Let b be (1 + 0)/(y/16). Suppose -3*k + b*k = 20. Does 4 divide k?
True
Let t be (4/(-10))/(1/(-10)). Suppose -32 = -m - t*g, -2*m + 2*g + 24 + 10 = 0. Is m a multiple of 20?
True
Let v(s) = -s**3 - 5*s**2 - s - 2. Let w be v(-5). Is 18 a factor of 3/w + 2 + 31?
False
Suppose 160 = -h - 160. Is h/(-52) - 4/26 a multiple of 3?
True
Is -10*5/(50/(-136)) a multiple of 34?
True
Suppose -5*n - 2 = -77. Does 3 divide n?
True
Suppose -3*l - v + 130 = -0*l, 5*l = -2*v + 215. Suppose g = -5*q + l, 4*g + 3*q + 31 = 177. Is g a multiple of 13?
False
Let w = -5 + 3. Let s be 31*(8 + w)/3. Suppose 3*t + 2 = -3*a + s, -4*a + 3*t = -108. Is a a multiple of 11?
False
Let a(u) = -u**3 + 2*u**2 + u + 1. Let d be a(2). Suppose 171 = d*p + 57. Does 10 divide p?
False
Suppose 0*i + 3*i = 63. Let y = 38 - i. Is 11 a factor of y?
False
Let s be 127 - (-4 - (3 - 4)). Suppose -790 = -5*c - s. Let p = -88 + c. Does 12 divide p?
False
Is 8/(-84)*-7 - 646/(-3) a multiple of 33?
False
Let h(s) = 2*s**2 + 8*s + 12. Is h(-6) a multiple of 3?
True
Suppose -2*l = -0*l - 14. Does 2 divide l?
False
Suppose 0 = -3*l + v - 95, 0*l - 2*v - 98 = 3*l. Let h = l - -54. Does 7 divide h?
False
Let y(q) = q**3 - 4*q**2 - 6*q + 6. Let p be y(5). Does 8 divide p - 3 - (0 - 11)?
False
Let v(y) = y**3 - 8*y + 6. Let b be v(5). Let i = b - 43. Is i a multiple of 12?
True
Suppose 2*q + 458 = 4*a, 4*q = -5*a + 35 + 518. Does 23 divide a?
False
Let a be ((-6)/18)/(2/(-132)). Let h = a - -18. Does 20 divide h?
True
Let z(b) = b**2 + 3*b + 4. Let v be z(-3). Suppose -p = -x - 34, v*p + 26 = 5*p - 3*x. Suppose -4*j + p = -6. Is 11 a factor of j?
True
Suppose -4*o + 34 = -6. Is o a multiple of 5?
True
Let h(a) = -3*a + 12. Let d be h(5). Does 22 divide (25 + 6/d)/1?
False
Suppose 3*s - 8*s = 15, 9 = -3*a - 5*s. Let y(t) = -2*t**2 + 2 - t**3 + 2*t**2 - a*t**2 + 5*t + 0*t**3. Does 14 divide y(-4)?
True
Let z(n) = 3*n**2 + 14*n + 11. Let s = 1 - -1. Let c(w) = 16*w**2 + 71*w + 56. Let k(f) = s*c(f) - 11*z(f). Is k(-10) a multiple of 9?
False
Suppose z + k - 2 = 0, -2*z - 5