 Let p = 3 - j. Is 2 a factor of 0 + p - (-10)/2?
False
Let q(c) = c**2 - 5*c - 11. Does 13 divide q(8)?
True
Suppose -4*a - 41 = 3. Does 12 divide 2*(-2)/(-4) - a?
True
Suppose -d = 0, 2*c = -2*c - d + 208. Suppose 2*h + c = 142. Is h a multiple of 15?
True
Let r be ((-24)/28)/((-2)/(-14)). Is 10 a factor of (2 + 30)/(r/(-9))?
False
Let p be (-2)/1 + -5 + -88. Let v = p - -25. Is 11 a factor of ((-12)/(-15))/((-4)/v)?
False
Let m = 12 + -10. Suppose -z = 4*j - 135 - 75, -2*j - m*z + 108 = 0. Is 26 a factor of j?
True
Let z = 17 + -9. Is z a multiple of 8?
True
Let l(k) = -44*k - 2. Let x be l(-3). Suppose p = -4*p + x. Is 13 a factor of p?
True
Is 23 a factor of (-183)/(-4) + (-7)/(-28)?
True
Let h(n) = 7*n**2 + 3*n + 5. Let x be h(6). Suppose 5*s = 70 + x. Does 23 divide s?
True
Let y(p) = -3*p - 7. Let t(d) = -5*d**2. Suppose -3 = 5*v + 4*k, -2*k - 2*k = -2*v + 10. Let f be t(v). Is y(f) a multiple of 5?
False
Let g = -11 + 11. Is -2 + (2 - g) + 63 a multiple of 19?
False
Let r = 147 + -119. Is r a multiple of 7?
True
Does 11 divide 6/((-8)/4) - -23?
False
Suppose 0 = -k + 1 + 34. Does 7 divide k?
True
Does 14 divide (-1 + 148/(-8))*-2?
False
Suppose -3*c + 2*c = 2, -2 = l + 3*c. Suppose -l*d - u = -3*u - 74, d - 5*u - 23 = 0. Is 11 a factor of d?
False
Let m be ((-15)/(-20))/(1/64). Does 3 divide (-34)/6*m/(-16)?
False
Let j(r) = 4*r + 8. Let x be j(10). Let b = -29 + x. Does 9 divide b?
False
Suppose 2*p = -0*p + 4. Let m be (54/21)/(1/7). Suppose c = m + p. Is 9 a factor of c?
False
Let m = -13 + 17. Does 15 divide 141/m + (-3)/(-4)?
False
Let n(o) = -5 + o - o**3 + 0*o**3 + o - 3*o**2. Is n(-4) even?
False
Let w(k) = k**2 + 2*k. Let m = 8 + -13. Let r be w(m). Is 73/3 - (-10)/r a multiple of 16?
False
Suppose -2*k - 21 = -127. Is k a multiple of 26?
False
Suppose -t - 4 = -2*t. Suppose g + t*w = 74 + 27, w + 247 = 2*g. Suppose 43 = -2*l + g. Is 16 a factor of l?
False
Let u(p) = -6*p**2 + 1 + p**2 + 6*p**2 + 41*p**3 - p. Does 17 divide u(1)?
False
Suppose -2*l + 12 = l. Suppose -l*g = -8 - 4. Is g a multiple of 2?
False
Let s(n) = -26*n - 101. Is 11 a factor of s(-6)?
True
Suppose -q - 13 = -5*t, 0 = 3*t - q - 0*q - 9. Suppose 0 = t*x - 1 - 41. Is x a multiple of 10?
False
Let k(w) = 2*w + 15. Let x(o) be the second derivative of o**3/3 + 7*o**2 + o. Let h(m) = 2*k(m) - 3*x(m). Is h(-10) a multiple of 4?
True
Suppose -15 = -4*s - 3*c, 5*s + 3 - 18 = -3*c. Is 10 a factor of (-9)/3 + s - -13?
True
Let y = -27 + 53. Suppose 4*b - 45 = -u, y + 4 = 2*b + 2*u. Does 10 divide b?
True
Suppose -10 = -2*a + 5*w, -5 - 5 = -2*a + w. Suppose g - c + 28 = -4*g, -a*g - 2*c - 19 = 0. Let p = 12 + g. Is p a multiple of 3?
False
Suppose -g + 14 = g - 4*b, -6 = 3*b. Suppose g*s = -9, 3*s + 41 + 0 = 2*x. Does 8 divide x?
True
Let m(l) = 2*l**2 - 9*l + 12. Let i be m(9). Let k = i + -32. Is 27 a factor of k?
False
Suppose 0 = -c - 2*u + 10, -5*c + 3*u = -0*u - 89. Suppose 6*b - 7*b + c = 0. Is 8 a factor of b?
True
Let j(u) = -u**3 - 4*u**2 + 6*u + 7. Let k be j(-5). Suppose 3*s = 9, -k*d - 3 = 3*d - s. Suppose d = 3*i + 6, r - 5*i - 22 - 14 = 0. Does 9 divide r?
False
Let l = 10 - 6. Let k = l - 4. Suppose k*t + 2*t = 34. Is 13 a factor of t?
False
Let v be 1 - (3 - (-2)/(-2)). Let r(w) = -w + 1. Let p be r(v). Is 4/p + 3 + -1 a multiple of 2?
True
Let t be 2 + 1 + 3*-1. Suppose -3*z = -t*z. Suppose z = -j + 7 + 11. Is j a multiple of 7?
False
Let w = -30 - -87. Is 19 a factor of w?
True
Let j(w) = -w**3 - w**2 + 4*w - 2. Is 6 a factor of j(-4)?
True
Let u(s) = -2 + 3 + 21*s + 2 - 1. Let b be u(3). Suppose 4*c - b = -1. Is c a multiple of 10?
False
Let o be -25*1*-2 - 0. Let r = o - 7. Is 15 a factor of r?
False
Is 322/21 + (2 - (-12)/(-9)) a multiple of 8?
True
Let m(g) = g**3 - 8*g**2 - 6*g - 5. Suppose -4*k - 143 = -3*s, -s - 2*s = -k - 137. Suppose -6*c + c + s = 0. Is 6 a factor of m(c)?
False
Let x = 14 - 10. Suppose z + 21 = x*z. Is 3 a factor of z?
False
Let y(m) = -37*m + 21. Is y(-2) a multiple of 19?
True
Does 19 divide 0/2 - (2 + -5)*19?
True
Suppose 4*g + g + o = -2, -2*g = o + 2. Suppose g = -3*q - q + 128. Is q a multiple of 16?
True
Suppose g + 4*g = 20. Let q(o) = o**2 - 2*o - 5. Let s be q(g). Suppose -2*n = s - 29. Does 13 divide n?
True
Suppose 0 = 7*n - 6*n - 5*d - 182, -5*d + 10 = 0. Is n a multiple of 32?
True
Suppose 3*r = 13 + 17. Let g(n) = -n**2 + 10*n + 4. Is g(r) even?
True
Let w = -8 - -8. Suppose 3*t - 111 = -3*u, w*u - 3*u - t + 117 = 0. Does 10 divide u?
True
Let k be 3/2*(-8)/(-3). Let i be (-2)/k + 7/(-2). Let q(v) = v**3 + 6*v**2 + v - 2. Does 11 divide q(i)?
False
Suppose 5*t - 7 = 3. Suppose 4 + 0 = t*c. Is c a multiple of 2?
True
Let n = 14 - 14. Suppose x + 2*x - 117 = n. Is x a multiple of 14?
False
Let d be 5/((-15)/9) - 21. Let o = d + 46. Is o a multiple of 11?
True
Let o(n) = 5*n**3 - n**2 - 7*n + 4. Is 13 a factor of o(3)?
False
Suppose f - 88 - 33 = 0. Is 11 a factor of f?
True
Let a = 4 - 1. Suppose a*m = -12, 4*i + 5*m + 7 + 13 = 0. Suppose -5*f + i*y = -4*y - 78, 2*y = -4*f + 78. Is 9 a factor of f?
True
Let h be (-2)/(-2*(-2)/(-4)). Suppose -h = -3*n + n, 3*n = -2*p + 117. Is p a multiple of 19?
True
Suppose 3*f - 3*n + 0*n - 99 = 0, 2*f = -2*n + 82. Is f a multiple of 19?
False
Does 35 divide 3 + -1 - -1 - -102?
True
Suppose n + 5*m = -0*n + 15, n = 3*m - 1. Let a(h) = 2*h**2 - n*h - 1 + 8*h + 0. Is a(3) a multiple of 13?
True
Let u = 0 - -20. Does 15 divide 225/(-6)*(-48)/u?
True
Suppose -16 - 12 = -2*q. Let n(g) = g**3 - 5*g**2 + 5*g + 3. Let z be n(4). Suppose 0 = -r + z + q. Is 7 a factor of r?
True
Suppose 0*k = 3*k - 9. Let o(a) be the first derivative of a**4/2 - 4*a**3/3 - a**2/2 + 1. Is o(k) a multiple of 7?
False
Let p(n) = -n**2 - 20*n - 22. Is 21 a factor of p(-16)?
True
Let m(j) = j - 5. Let a be m(8). Suppose -2*d + 63 = -5*g + 21, -g = a*d - 63. Does 9 divide d?
False
Let o = 4 + -2. Let g(l) = 5 - l**2 + 2*l - o + 9*l**2. Is g(-2) a multiple of 13?
False
Let j(f) = f + 2. Does 7 divide j(6)?
False
Suppose 4*n - 282 - 102 = 0. Is n a multiple of 32?
True
Let x = -20 - -30. Let o(n) = -n**2 + 13*n - 10. Does 10 divide o(x)?
True
Does 2 divide (-2 - -8)/(-6 - -8)?
False
Does 33 divide -1 - 12/4 - -133?
False
Suppose 3*f - 16 = 2*o, 4*f - 65 + 13 = -5*o. Does 4 divide f?
True
Suppose 120 = -0*d + 4*d - 4*h, 195 = 5*d + 4*h. Suppose d = -5*n + 640. Suppose 0 = 5*k - 164 - n. Is k a multiple of 20?
False
Let x = -38 + 89. Let i = x - 27. Let u = i + -14. Does 5 divide u?
True
Let n be -159*(2 - 3)*4. Suppose 116 = -5*a + n. Let w = 146 - a. Is w a multiple of 15?
False
Let d(v) = -v**3 - 5*v**2 + 15*v + 15. Does 34 divide d(-9)?
True
Suppose 0 = -0*j + 2*j. Suppose z + 0*z - 3 = j. Suppose -54 + z = -l. Is l a multiple of 18?
False
Suppose -2*k = 5*g - 1 - 19, 3*k = 0. Let u = -5 - -4. Let y = u + g. Is y a multiple of 3?
True
Let x(z) = -z**3 + z**2 + z - 7. Let y be x(0). Let d = y - 3. Is 8/(-5)*1*d a multiple of 6?
False
Let b = 53 - -30. Suppose -5*c + b + 7 = 0. Does 7 divide c?
False
Let x = 295 + -173. Suppose -4*s - s - 3*y + 270 = 0, -2*s = 4*y - x. Is 17 a factor of s?
True
Let k(w) = -w**3 - 7*w**2 - w - 7. Let r be k(-7). Suppose -3*y + 6 = r, -5*t = -0*t - 5*y - 10. Is 4 a factor of t?
True
Suppose -q = 0, 2*d = 3*q - 6*q + 12. Suppose d*j = j + 45. Is j a multiple of 9?
True
Let h(v) = -2*v - 16. Let b(c) = -c - 8. Let y = -3 + 8. Let g(u) = y*b(u) - 3*h(u). Is g(8) a multiple of 8?
True
Let w be 1*4 - 4/4. Suppose 0 = -w*o + p + 34, 2*o - 2*p = 18 + 10. Is o a multiple of 5?
True
Suppose 4*d + 0*d - 3*z = 484, -2*d + z = -244. Is 62 a factor of d?
True
Suppose 10 = 3*a + 2*a. Let o be (-1)/((a/(-30))/(-1)). Is ((-9)/o)/(2/110) a multiple of 11?
True
Let c be ((-2)/6)/(3/(-963)). Let o = -29 + c. Suppose 2*s = -s + o. Is 13 a factor of s?
True
Let x(r) = 2*r**2 - 3*r - 2. Suppose 5*c - 3 = 12. Is x(c) a multiple of 7?
True
Let f be 10*(-3 - -2) - -3. Is 35/f*(-62)/10 a multiple of 8?
False
Let d(q) = 22*q**2 + 5*q - 5. Let f(j) be the first derivative of -7*j**3 - 3*j**2 + 6*j + 3. Let w(s) = 6*d(s) + 5*f(s). Is w(1) a multiple of 9?
True
Suppose -4*u - 6 = 6, 0 = -l + 5*u + 15. Suppose -v - 2*v + 144 = l. Suppose v = -3*c + 7*c. Is 5 a factor of c?
False
Is 14 a factor of (-