t a(w) be the third derivative of -w**4/6 - w**3/2 - 5*w**2. Is a(-3) a multiple of 4?
False
Let f be -2*(-2)/3*3. Suppose 4*p - 16 = 0, -190 = -f*t + 4*p + 254. Suppose -3*i = 2*i - t. Is i a multiple of 6?
False
Suppose -5*z = 3*y - 1394, -3*y + 4 = 10. Suppose -5*v = -4*r - 380 - 82, 3*v - r - z = 0. Let s = v - 66. Is 10 a factor of s?
False
Suppose 2*x = -4*g - g + 95, 101 = 2*x + 3*g. Is x a multiple of 28?
False
Let w be 3*(80/(-6))/(-4). Let u = 29 - w. Is 19 a factor of u?
True
Suppose -2*b + 59 = k - 5*b, -367 = -5*k - 3*b. Let z = k - 39. Is z a multiple of 16?
True
Suppose -2*j + 144 = -2*r, -2*r - 2*r - 87 = -j. Let h = j + -48. Is 8 a factor of h?
False
Let m = -81 + 85. Is m even?
True
Suppose 3*z + z - 16 = 0, -3*m + 3*z + 15 = 0. Is m a multiple of 8?
False
Suppose 2*z + 5 - 64 = -3*r, 3*z + 48 = 2*r. Is r a multiple of 2?
False
Let l = -86 - -449. Is 33 a factor of l?
True
Let u(r) = r - 3. Let j be u(5). Is (6 + -2)/j - -23 a multiple of 12?
False
Let o = -353 + 736. Does 14 divide o?
False
Let t(c) = 2*c**2 - 7*c - 2. Let a(x) = 4*x + 1. Let i(q) = 9*q + 2. Let p(b) = -7*a(b) + 3*i(b). Let r be p(-7). Does 12 divide t(r)?
False
Let y(m) be the second derivative of -m**5/60 + 7*m**4/24 + 7*m**3/6 - 3*m**2/2 - m. Let z(i) be the first derivative of y(i). Is z(5) a multiple of 6?
False
Let p(z) = 3*z**2 - 13*z + 15. Let r be p(10). Is (-1)/4 + r/20 a multiple of 4?
False
Let z(d) = d**2 + 8*d + 9. Does 6 divide z(-9)?
True
Let h(y) = y - 1. Let v be h(6). Suppose v*r - 11 = 9. Is r a multiple of 2?
True
Does 23 divide (-1624)/(-42) + (-2)/3?
False
Let m(k) = -3*k**3 - 4*k**2 - 15*k - 8. Is 12 a factor of m(-4)?
True
Suppose 0 = 5*q + 42 - 222. Is q a multiple of 3?
True
Let p(g) = -g**2 + 8*g + 2. Let y be p(8). Suppose 0 = -y*f + 3 + 3. Suppose 0 = f*a - 21 - 9. Is 10 a factor of a?
True
Suppose 5*m - 120 = -3*k - 8, k = -2*m + 44. Does 10 divide m?
True
Let u(q) = 27*q**2 + 2*q + 2. Is u(-2) a multiple of 53?
True
Let a(u) = -u**3 - 4*u**2 - 3*u + 3. Let h be a(-3). Let f(w) = -10*w**2 - 3*w - 12. Let p be f(-3). Does 15 divide 1*(-1)/h*p?
False
Let n(p) = -p**2 + 7*p + 3. Let h be n(7). Let z = h + -4. Is -4*(14/(-8) - z) even?
False
Let u be (1 + -2)*1*28. Is (-1 - u)/((-6)/(-4)) a multiple of 9?
True
Suppose -4*z = -5*g - 125, g - 5*z = -23 - 2. Let n = 49 + g. Is 11 a factor of n?
False
Let y be 1/(-2 - (-30)/14). Let t = y + -4. Suppose 3*j - m = 32, 0 = j - t*j + 2*m + 16. Is j a multiple of 10?
False
Suppose 3*a - 21 = -3*j, 6*a = a - 2*j + 32. Is ((-134)/3)/(a/(-9)) a multiple of 18?
False
Let u = 7 - 5. Suppose -3*f = 9, -v = -4*v - u*f + 33. Is 12 a factor of v?
False
Let d(w) = w**3 + 10*w**2 - 5*w + 14. Let x be d(-10). Suppose 3*p = 5*o + p - 151, -2*o = p - x. Does 12 divide o?
False
Let t be 1 + -1 + (1 - -3). Suppose 5*n - 7 = t*n. Does 2 divide n?
False
Let t(g) = -g**3 + 8*g**2 - 1. Let k = 10 - 3. Is t(k) a multiple of 12?
True
Let j(t) = t**3 + 6*t**2 - 9*t - 10. Let a be j(-7). Is 279/21 + a/(-14) a multiple of 6?
False
Suppose m = -5*d, -d - 32 = -6*m + 3*m. Does 10 divide m?
True
Suppose 5*i - 26 = -221. Let l = i + 61. Suppose -v + 2*v = l. Is v a multiple of 11?
True
Suppose -l = -5*l + 84. Does 18 divide l?
False
Suppose 13*p - 18*p + 255 = 0. Does 15 divide p?
False
Does 6 divide (37/(-3))/(-1)*3?
False
Suppose 944 - 144 = 5*g. Is g a multiple of 10?
True
Let k be -2*2*(-1 + -4). Let i = 24 - k. Is 3 a factor of i?
False
Is 1/((-308)/104 + 3) a multiple of 8?
False
Suppose 8 = 3*n - 25. Is 2 a factor of n?
False
Let h(k) = k**2 - 13*k - 7. Is 4 a factor of h(15)?
False
Let h(g) = 22*g + 7. Let w(l) = 23*l + 6. Let c(f) = 4*h(f) - 5*w(f). Is 14 a factor of c(-2)?
False
Let s be 2/(-4)*0/(-4). Suppose s = -0*g - 3*g + 36. Is g*(1 + 1/(-2)) a multiple of 5?
False
Let l be (-6)/9 + (-4)/(-6). Suppose -5*z + 2*n + 157 = 0, l*z + 3*z - 2*n - 95 = 0. Let h = z - 18. Is 13 a factor of h?
True
Let y = 4 - 0. Suppose y*f - 2*i = -6, -f - 5*i = -0*i + 7. Is 11 a factor of f/6 - (-165)/9?
False
Let l = -9 - -36. Does 5 divide l?
False
Suppose 0 = 2*v - 4*v + 30. Let i be 4/(1 + 1) - -10. Does 9 divide (-2 - v/i)*-4?
False
Let c be 2/(-3) - 32/(-12). Suppose c*u = -3*r + 86, 0*r + 5*r - 4*u = 158. Is 8 a factor of r?
False
Let n(h) be the first derivative of 3*h**2 + 2. Let u be n(1). Suppose -l = u*s - s - 215, -2*l - 172 = -4*s. Is 18 a factor of s?
False
Let g(s) = s**2 + s + 0*s**2 + 2*s - s**3 - 1. Let t be g(2). Does 7 divide 0 - -12 - t/1?
False
Let f(r) = r**2 - r + 2. Let h be f(0). Suppose 0 = -h*w + 7*w - 50. Suppose 2*c - 3 = 5, 2*c + w = 2*q. Does 7 divide q?
False
Suppose 0 = 5*x - 67 - 63. Is 9 a factor of x?
False
Let a be 3 - 2 - (3 + -2). Suppose a = -3*z + 2 + 7. Suppose 2*h - 19 = z. Is h a multiple of 6?
False
Suppose -3*c = -9, 8*n - 63 = 3*n - c. Let g = 26 - n. Is 8 a factor of g?
False
Suppose 3*d + 222 + 34 = 5*a, -242 = -5*a - 4*d. Does 50 divide a?
True
Suppose -19 = -3*r + 2*n + 137, -4*r + 208 = -2*n. Does 13 divide r?
True
Let v(z) = z + 1. Let q be v(2). Suppose 3*p - q*l - 177 = 0, 4*p - 2*l - 22 = 204. Does 18 divide p?
True
Suppose 0 = 5*m - 58 - 2. Is (3/m)/((-3)/(-84)) a multiple of 3?
False
Is 21 a factor of -4 + ((-2332)/(-12) - (-8)/(-6))?
True
Let k(o) = 6*o + 11*o - o**2 - 6*o - 2. Is 10 a factor of k(8)?
False
Let p = 208 + -135. Is p a multiple of 9?
False
Suppose 3*n - 4*g = 45 + 42, 3*g = -3*n + 108. Is n a multiple of 33?
True
Suppose -b + 5*b + 4*q = -4, b = -3*q - 5. Does 8 divide (20 - 5) + 1/b?
True
Let i(r) = r**3 - 4*r**2 - 3*r + 6. Is 22 a factor of i(7)?
True
Let u = 5 + -4. Let i be (7*u)/((-4)/24). Let k = -20 - i. Is k a multiple of 11?
True
Suppose -7*k = -2*k - 245. Is k a multiple of 18?
False
Suppose 0 = -2*q + 43 + 7. Let g = q + -3. Suppose 0 = -5*r + 3*c + 142, -5*r + g = 2*c - 100. Is r a multiple of 10?
False
Suppose -i - 3*b = -243, 2*i - 338 = -b + 123. Does 22 divide i?
False
Suppose 3*h + 3*g + 54 = 0, 8*h - 3*h + 72 = 4*g. Let v = -9 - h. Is 4 a factor of v?
False
Let i = -7 + 1. Let g be (86/6)/((-2)/i). Suppose -3*j + 0*j + g = -2*q, -5*j + 79 = 4*q. Is 6 a factor of j?
False
Suppose 0 = -2*y - 5*m + 162, 97 = -4*y + m + 377. Let c = -9 + y. Is c a multiple of 16?
False
Let p be 26/5*(5 - 10). Let j = p + 38. Suppose -2*z - 3*k = -4*k - 60, -z = 4*k - j. Is 11 a factor of z?
False
Suppose -4*w = -7*w + 51. Suppose r - 85 + w = 0. Is r a multiple of 34?
True
Let v = -12 + 15. Suppose v*s - 18 = -0. Is 2 a factor of s?
True
Suppose 2*s + 0*s = -2*b + 52, -2*b - 4*s = -62. Is 13 a factor of b?
False
Let c = 0 + 0. Let x = 7 - c. Suppose -q - 4*h + x = -7, -3*h = 9. Is 13 a factor of q?
True
Suppose 55 + 15 = 2*m. Is 7 a factor of m?
True
Is 20 a factor of (4 - 1) + 121 - 4?
True
Let y(q) = -q**2 + 5*q - 2. Let o be y(5). Let r be (-613)/5 - o/(-5). Is 7 a factor of r/(-9) + 1/3?
True
Let z(b) = -11*b - 5. Is z(-6) a multiple of 6?
False
Let b(x) = 25 - 7*x - 2*x**2 - 3*x + 3*x**2 - 7. Is b(8) a multiple of 2?
True
Suppose 127 = -2*w + 405. Does 32 divide w?
False
Is (-4)/(-6) + (-924)/(-18) a multiple of 9?
False
Suppose 2*x + 20 = 2*r, 4*r - 52 = x - 6. Suppose -2*d = d - r. Is d even?
True
Suppose 5*i + 100 = 10*i. Is i a multiple of 10?
True
Suppose 2*n + 2*n - w - 7 = 0, 4*n + 3*w = 27. Suppose 3*y = n*k - 0*y + 9, 12 = 3*y. Let m(q) = 12*q + 1. Does 6 divide m(k)?
False
Does 7 divide 16/(-10)*(-14 + -1)?
False
Suppose 30 = 6*f - 210. Is 5 a factor of f?
True
Let k = 173 + -74. Is k a multiple of 30?
False
Let n(d) = -d**3 - 6*d**2 + 6*d - 7. Let l be n(-7). Suppose k - 3*k + 16 = l. Is 8*(90/k)/5 a multiple of 9?
True
Let m(n) = -n - 1. Let p be m(-5). Suppose p*k + 35 = 5*k. Suppose -115 = -5*o + k. Is 14 a factor of o?
False
Suppose 0 = -9*y + 10*y - 3. Does 2 divide y?
False
Let u(j) = 5*j + 2. Let p be u(2). Let s(x) = x**3 - 9*x**2 + x - 8. Let z be s(9). Is 13 a factor of 1*(p + 0 + z)?
True
Suppose -3*b + 8 = -1, -5*b - 53 = -4*p. Let i be (-9)/(-15) + (-94)/(-10). Let c = p - i. Is 7 a factor of c?
True
Suppose 5*o = 3*o. Let i be 44 + (-1)/5*0. Suppose o = 5*v - 156 - i. Is v a multiple of 20?
True
Let p(i) = 42*i**2 + i - 2. Does 12 divide p(-2)?
False
Let a(o) = 25*o**2 - 3*o + 2. Let l be a(1). Suppose 0 = r - 3*r + l. 