ide w?
False
Suppose 3*g - 45 = -5*j - 2*g, 15 = 3*g. Suppose 0 = -j*y - 3*o + 273, 5*y - 343 = -o - o. Is 15 a factor of y?
False
Suppose 11*p = 8*p. Let r be 12/2 + p + -2. Suppose -t = r*w + w - 61, -5*t - 2*w + 190 = 0. Is t a multiple of 12?
True
Let c = 22 - -42. Is 13 a factor of c?
False
Suppose -c + 43 = 5*h, 6*c = -2*h + 2*c + 10. Let l = -7 + h. Suppose -2*a - l*a + 48 = 0. Is 12 a factor of a?
True
Let b(m) = 11*m**3 - 2*m**2 + 7*m - 5. Let v be b(4). Suppose 2*g - 3*g - v = -3*t, 4*t - 927 = g. Suppose 3*p - t = -73. Does 20 divide p?
False
Let t = 30 + 33. Is t a multiple of 7?
True
Let p = -7 + 7. Suppose -2*c + p*k + 79 = -k, -4*c - 3*k = -143. Is c a multiple of 11?
False
Suppose -5*z = -5*r - 0*r + 15, 2*r - 4 = z. Let d be 9/z*4/(-6). Suppose 0*m + 36 = d*m. Does 6 divide m?
True
Let t be (-425)/20 - 2/(-8). Let c be ((-39)/9 - 2)*t. Suppose 3*v + 42 = 5*v + 2*y, -5*v + 2*y = -c. Does 13 divide v?
False
Let d = -6 - -8. Let s(p) = -4*p**3 + p**2 - 1 - 5*p**2 + 0*p**d + 2*p**2 - 2*p. Is s(-1) a multiple of 2?
False
Let f(r) = r**3 - 21*r**2 + 23*r - 5. Is f(20) a multiple of 11?
True
Let x(n) = 3*n + 3. Is 9 a factor of x(8)?
True
Suppose 4*d - 25 = -d. Suppose d*u - 30 = 85. Does 8 divide u?
False
Suppose 0 = -5*r - 5*n - 85, 0 = -r + 7*n - 6*n - 11. Let q = -41 + r. Let b = -37 - q. Does 9 divide b?
True
Does 5 divide 37/((-3)/15*-5)?
False
Let z(w) = 11*w**2 + 3*w - 3. Does 29 divide z(-3)?
True
Is 1*(-5 + 2) - -173 a multiple of 23?
False
Let h be 1 + 0 - (-1 - 0). Let s(k) = -4*k**3 - 2*k**2 - 2*k - 1. Let m(j) = 2*j**3 + j**2 + j. Let p(d) = 5*m(d) + 2*s(d). Does 10 divide p(h)?
True
Suppose 5*j - 4*w - 612 = 0, 3*w = 7*w + 12. Is j a multiple of 50?
False
Let g(x) = 14*x**3 + x - 1. Is 4 a factor of g(1)?
False
Let b be (4/10)/(1/(-10)). Let s = b - -3. Is 13 a factor of (5 - 7) + (s - -16)?
True
Suppose -5*f - 13 = -3. Let y = f + 2. Suppose -5*w - 6 + 211 = y. Is 14 a factor of w?
False
Let i = 20 + -16. Does 4 divide i?
True
Let u(n) = 3*n**2 - 9*n - 17. Is u(-5) a multiple of 19?
False
Let i(u) = -4*u**2 + 3*u - 1. Let p be i(2). Is 4 a factor of (-1 - 1)/(1/p)?
False
Let r(w) be the first derivative of -w**3/3 - 3*w**2 - 2*w + 1. Does 6 divide r(-4)?
True
Suppose -6*i = -k - i + 50, -4*i = -5*k + 271. Does 16 divide k?
False
Suppose -123 - 217 = -5*m. Suppose -3*o + m = o. Is 17 a factor of o?
True
Let a = 2 - 2. Suppose a = -10*i + 5*i - l + 30, 3*i + 5*l + 4 = 0. Suppose -156 = -i*m + 3*m. Does 13 divide m?
True
Let k = 7 + 2. Let n = 6 + k. Is n a multiple of 15?
True
Let j(w) = 25*w - 24. Is 22 a factor of j(8)?
True
Let k(t) = 2*t + 54. Is k(0) a multiple of 6?
True
Suppose -1 + 67 = 3*w. Is (-4)/w + 4135/55 a multiple of 25?
True
Suppose 13 = 5*l - 12. Suppose a - 102 = 4*i, 3*a = -l*i + 60 + 195. Is a a multiple of 29?
False
Suppose -3*h - 2*c = 112, -2*h - 69 = -c + 8. Let u = -20 - h. Is 14 a factor of u?
False
Let a(b) = 2*b**2 + 5*b + 15. Is a(-5) a multiple of 14?
False
Let l be (-1)/(-1) + 2 + 0. Is (-1)/(l/(-42) + 0) a multiple of 13?
False
Suppose -3 + 18 = 5*q. Suppose 3*z - 63 - 51 = -q*y, -y + 3*z = -30. Is y a multiple of 18?
True
Let a = -11 + 15. Does 4 divide ((-3)/5)/(a/(-60))?
False
Let h = 42 - 23. Is h a multiple of 9?
False
Let s(x) = -7*x - 5. Let f be -39*2*2/(-12). Let c = 6 - f. Does 19 divide s(c)?
False
Let z = 25 - -6. Suppose -2*k + 2*g = -z + 3, 4*k - 62 = -2*g. Does 6 divide k?
False
Let u = -253 + 55. Is ((-2)/(-3))/((-12)/u) a multiple of 3?
False
Let r(o) = 3*o + 11. Let f be r(-6). Let g = -2 - f. Is 5 a factor of g?
True
Suppose 4 = f + 3. Does 8 divide 20 + -2*1*f?
False
Let l(d) = 17*d + 5. Is 30 a factor of l(8)?
False
Suppose -2*q + 8 = -q - r, -3*q - 5*r = 16. Let b be 3/(-9) + 16/q. Suppose j = 2*t + 13, 83 = b*j + t - 5*t. Does 12 divide j?
False
Suppose 5*s - 10 = c + 3, 0 = 2*s + 3*c - 12. Let v = s - -5. Is v a multiple of 3?
False
Suppose 2*z = 2*f - 420, 838 = 4*f - 6*z + 3*z. Suppose 2*c + 5*r - 19 = 0, r = 4*c - 3 + 20. Does 13 divide (c/(-2))/(12/f)?
True
Let b = -3 + -2. Let z = b + 5. Suppose h - 36 = -z*h. Is 18 a factor of h?
True
Let p(i) = i**3 + i + 1. Let a be p(0). Is 9 a factor of ((-11)/(-3) + a)*3?
False
Suppose s + 10 = 2. Suppose 0*p = -4*p + 64. Let z = p + s. Is z a multiple of 8?
True
Let n be 2/(-3) + (-46)/(-6). Let l(c) = -c**3 + 6*c**2 + 6*c + 1. Let s be l(n). Does 21 divide 0 - (-63)/s*-2?
True
Let h be 14/(-10) - (-4)/10. Let b = h + 10. Is 3 a factor of b?
True
Suppose -2*p = 5*b - 50, 14 = -0*b + 3*b - 2*p. Suppose b = 2*n - 0*n. Let o = n + 0. Is o a multiple of 3?
False
Suppose -7 + 37 = 2*w. Does 19 divide 759/w + 2/5?
False
Suppose -4*i - i + 15 = 0. Suppose -i*b + b = -32. Does 6 divide b?
False
Let d be ((-3)/(-2))/(3/6). Let x be 12*((-5)/d + 3). Is 4 a factor of 28/x*(0 + 4)?
False
Let x = -124 - -154. Is 10 a factor of x?
True
Let f(n) be the second derivative of n**3/6 - n**2 + n. Is f(6) even?
True
Suppose 4*y + 5*g = 18 + 47, -4*y + 77 = g. Suppose a - 24 = -u - a, -u = 4*a - y. Let t = -15 + u. Is t a multiple of 13?
True
Suppose 0 = 4*z, -5*o + z + 87 = -188. Is o a multiple of 11?
True
Suppose 4*g - m - 853 - 184 = 0, -2*m = -6. Is 14 a factor of g?
False
Suppose -5*p + 37 = -163. Is p a multiple of 5?
True
Let d(u) = -2*u. Let s be d(-2). Let j = 4 - s. Suppose -v + 5 = j, -4*a + 120 = v + 3*v. Is a a multiple of 25?
True
Suppose f + 5*d = 78, -3*f - 3*d = -6*d - 288. Is f a multiple of 25?
False
Let w = -5 + 7. Let l(j) = 2 + 0*j + w*j**2 + 2*j - j. Does 10 divide l(3)?
False
Let n = -16 + 11. Let r(l) = -3*l**2 - 6*l - 3. Let j be r(n). Does 10 divide (j/(-28))/((-2)/(-35))?
True
Let k be -42 - -5*(-4)/10. Is 6/33 + (-3996)/k a multiple of 13?
True
Let y(d) = d**3 - d**2 - d - 4. Let w(v) = v**2 - 4*v + 3. Let s be w(4). Let z be y(s). Let t = 20 - z. Is t a multiple of 6?
False
Let u(p) = -3*p - 7. Let r(c) = -c**3 - 5*c**2 - c + 4. Let n be r(-4). Is 11 a factor of u(n)?
False
Let h = -1 - 5. Let u(x) be the second derivative of -x**5/20 - 7*x**4/12 - 5*x**3/3 - 9*x**2/2 + x. Is 8 a factor of u(h)?
False
Suppose -i + 3*i - 42 = 0. Suppose -9 = -3*j + i. Is 10 a factor of j?
True
Let y(l) = 6*l**3 - 3*l**2 - 8*l + 2. Let r(g) = 7*g**3 - 2*g**2 - 9*g + 2. Let h(f) = 5*r(f) - 6*y(f). Suppose 5 - 29 = -3*b. Does 22 divide h(b)?
True
Let h(g) = 4*g + 18. Let c be h(-12). Let d be 49/(-4) + (-1)/(-4). Let o = d - c. Is o a multiple of 7?
False
Let o be 0 + 2 + (-2 - -2). Suppose 6 = -o*a - 2. Let y = 14 - a. Does 11 divide y?
False
Suppose -3*o - 14 = -5*o. Suppose -3*v + o*v = -5*y + 90, 2*y - 121 = -5*v. Suppose -j = 2 + 3, 2*p + j - v = 0. Is p a multiple of 6?
False
Suppose 50 = -2*s + 3*s. Does 20 divide s?
False
Suppose 0 = l - 0*l + 148. Let w = l + 440. Is 8 a factor of w/18 + (-2)/9?
True
Let y(u) = u**2 + u - 1. Let p be y(2). Suppose 5*o = 4*m + 116, -2*m + p - 3 = 0. Is o a multiple of 8?
True
Suppose 2*i = 179 - 11. Let y be (20/15)/((-1)/(-3)). Suppose 0*f - 4*f - y*b = -i, 3*b = 2*f - 32. Is 7 a factor of f?
False
Suppose -x = -2*x, -5*x = 3*b + 24. Let t(y) = 2*y**3 + 9*y**2 - 3*y**3 + 6*y + 2*y**3 - 8. Does 8 divide t(b)?
True
Let u = 0 + 3. Let f = u + 1. Does 3 divide f?
False
Suppose 0 = -5*q + 15, -4*k + q = 34 - 7. Is 10 a factor of (26/6)/((-2)/k)?
False
Let g be ((-4)/(-3))/(-4)*-606. Suppose 2*k - 72 = f, -5*k - 3*f + 0*f = -g. Does 11 divide k?
False
Let i(r) = 4*r**3 + r**2 - 5*r - 2. Let t(l) = 5*l**3 + l**2 - 6*l - 2. Let d(v) = -6*i(v) + 5*t(v). Let k be d(2). Does 11 divide 87/k + 3/6?
False
Let g(u) = -u**2 + u + 20. Does 9 divide g(0)?
False
Let w = 0 - -4. Is 190/w + 4/8 a multiple of 24?
True
Let x(k) = k + 7. Let d be x(-4). Let s = d - 1. Is 2 a factor of s?
True
Suppose -3*s + 297 = -0*s. Is s a multiple of 28?
False
Let m(x) = x**3 - 6*x**2 - 7*x + 4. Let u be m(7). Suppose -4*a - 27 = 3*v + 1, 2*v + u = a. Let w = a + 16. Is 7 a factor of w?
False
Let x(h) = -h**2 + 7*h + 10. Let b be x(8). Suppose b*a + 21 = -2*v + 77, -a + 4*v = -8. Suppose 0 = -j + 2*j - a. Does 12 divide j?
True
Suppose 11*h - 105 + 39 = 0. Is 3 a factor of h?
True
Let f = 23 - -76. Is 33 a factor of f?
True
Is 3/(-6)*-3*18 a multiple of 27?
True
Let n(h) = 3*h**2 + 27*h + 10. Is n(-11) a multiple of 19?