 = 10 - -2. Is 26 a factor of (-210)/f*(-24)/15?
False
Suppose 4*z = 9*z - 4*p - 1030, 2*z + 3*p = 435. Is z a multiple of 13?
False
Suppose 0 = -5*x + 21 - 156. Let b be x/(-12) - (-2)/(-8). Suppose -4*g + f + 28 = 6*f, -b*f = -g + 20. Is 6 a factor of g?
True
Let a(f) = -f**3 - 5*f**2 + 2*f - 8. Is 4 a factor of a(-6)?
True
Let q be -2 - (4/2 - 4). Suppose q = -x + 4. Suppose -x*j + 20 = 4*t, -j = -3*j - 5*t + 16. Does 3 divide j?
True
Suppose 0 = -n - 5*x, 4*n = -2*x - x. Suppose -5*k + 0*k + 105 = n. Does 15 divide k?
False
Let q(t) = -3*t**2 - 17*t - 3. Let z(w) = w**2 + 8*w + 1. Let l(r) = 2*q(r) + 5*z(r). Let s be l(5). Is 5 a factor of (16/(-6))/s*-21?
False
Suppose -4*p + 86 = 4*w + p, w - 17 = p. Is w a multiple of 4?
False
Let t(m) = 0 + 3 + m**2 + 0. Does 14 divide t(-5)?
True
Let w be ((-4)/6)/(4/(-6)). Suppose 2*a - 3 = 1. Does 4 divide 0/a*w - -8?
True
Suppose -4*y = 16, 3*m = -5*y + 237 + 349. Is m a multiple of 31?
False
Suppose 0 = 3*a - 5 + 14. Let s be -2 - (1 + a)/1. Suppose -9*p + 4*p + 90 = s. Is p a multiple of 13?
False
Let h be 6/33 - (-60)/33. Suppose -h*t - 5*n = -75, 0 = 3*t + n - 31 - 88. Is 16 a factor of t?
False
Let s(o) = 23*o - 11. Is s(4) a multiple of 27?
True
Let g = 158 - 106. Does 9 divide g?
False
Let p = -87 - -133. Let a = 64 - p. Does 6 divide a?
True
Let v(d) = 5*d**3 - 6*d**2 - 6*d - 8. Let j(y) = -y**3 + y**2 + y + 1. Let l(n) = -6*j(n) - v(n). Let f be l(0). Suppose -3 = -f*k + 13. Is k a multiple of 4?
True
Let l = -2 + -3. Does 13 divide (-164)/l + 14/70?
False
Let w(m) be the third derivative of 1/60*m**5 - 2*m**2 + m**3 - 1/6*m**4 + 0 + 0*m. Is w(4) a multiple of 6?
True
Let i be (3 + (-26)/10)*-15. Does 7 divide -6*(i - (0 - 3))?
False
Suppose 4*z - 6 = 130. Let a = z - 22. Is 12 a factor of a?
True
Suppose -3*g = -7*g + 168. Suppose 0 = f + 5*i - g, -2*i + 0 = -8. Does 10 divide f?
False
Suppose 2*w - 100 = 12. Is w a multiple of 14?
True
Let x = -2 + -3. Let s(t) = t**3 + 5*t**2 - t. Does 5 divide s(x)?
True
Suppose -l + 3*j = 2, -5*j - 3 = -6*j. Let h = l + 17. Does 12 divide h?
True
Let n be ((-2)/(-5))/(1/(-5)). Let b(w) = 4*w**2 + 2 + 0*w**2 - 3*w**2. Does 6 divide b(n)?
True
Suppose -184 = 6*r - 454. Is 5 a factor of r?
True
Let c be ((-12)/(-18))/(4/(-66)). Let h(z) = z**3 + 10*z**2 - 13*z - 12. Does 10 divide h(c)?
True
Suppose 2*l = -i + 73, 0 = -3*l - 0*l + 4*i + 126. Is 11 a factor of l?
False
Suppose t + h = 230, 2*h = 2*t + 5*h - 460. Is t a multiple of 46?
True
Let r = 0 + -4. Let t = 3 - r. Suppose 12 = l + c, -9 = -2*l - 4*c + t. Is l a multiple of 7?
False
Suppose -2 = -3*x + 13. Suppose 0 = x*l + 2*c - 266, -c - 32 + 139 = 2*l. Is l a multiple of 13?
True
Let p(k) = 8*k - 23. Is p(22) a multiple of 51?
True
Suppose -r + 63 = 2*r. Is r a multiple of 21?
True
Let f be (-56)/8 - 1*2. Let k = 13 + f. Is 4 a factor of (-13)/((-3)/(k - 1))?
False
Let m(p) = p**2 - 3*p - 6. Let z be m(5). Suppose 2*u - 36 = -z*v, -4*v + 2*u - u = -24. Does 7 divide v?
True
Let b = -12 + 12. Suppose b*p + p = 30. Is p a multiple of 21?
False
Let f be 10/45 + 50/18. Let w be (3/(-2))/(f/(-42)). Let h = w + -14. Does 7 divide h?
True
Suppose 3*o - 40 = -3*v + 23, v = 5. Suppose -5*a - o = -171. Is a a multiple of 12?
False
Is 2/(-2)*-2 + 28 + -13 a multiple of 10?
False
Let j = -5 - -8. Suppose j*h - 12 - 9 = 0. Does 7 divide h?
True
Let v(i) = -i**3 + 4*i**2 + 6*i - 2. Let n = 12 + 7. Suppose 0 = -5*p - c + n, 2*c = -p + 1 + 1. Does 11 divide v(p)?
True
Let w = 212 - 139. Is w a multiple of 13?
False
Is 3 - -13*(3 + -1) a multiple of 29?
True
Suppose -8 = -3*m - m. Suppose m*i - 38 + 8 = 0. Does 11 divide i?
False
Let c be 4*-1*1/2. Let f be 18/4 - (-1)/c. Suppose 60 = a + 3*a - f*o, 4*o + 15 = a. Does 15 divide a?
True
Is 50 a factor of (-225)/(-12)*(224/12)/1?
True
Let f be 2/11 - 1365/(-55). Suppose -3*u - 4*j + f = 0, 2*u + 0*j - 17 = -3*j. Does 3 divide u?
False
Let i = 3 + 0. Suppose 57 = 3*x + 3*n, i*x - 2*x - 5*n = 1. Does 14 divide x?
False
Let i = -52 + 29. Let y = 38 + i. Is y a multiple of 4?
False
Suppose -x + 3*x - 10 = 0. Suppose 4*f + 45 = x*f. Is f a multiple of 25?
False
Let h(v) = 3*v + 32. Is h(-6) a multiple of 4?
False
Suppose -4*u + 5*u = -13. Let s be 1*4*u/4. Let t = 19 - s. Is 13 a factor of t?
False
Let t be 126/15 - (-4)/(-10). Suppose 2 = 4*g + 5*s, -4*g + 2 = s - t. Is g even?
False
Suppose -14 = -4*w - 2. Suppose -4*l = -w*j + 23, -2*l + 2 = 6. Suppose -4*i + j*a + 6 = -63, -a + 31 = 2*i. Is i a multiple of 16?
True
Suppose 2*r = 2*c - 10, -11 = 3*r + 2*c - 6. Is 11 a factor of 110/4 - r/6?
False
Let b = -13 + 21. Let t(w) = w**3 - 14*w**2 + 8*w. Let h(r) = -r**2 + r + 1. Let n(i) = -6*h(i) + t(i). Is 7 a factor of n(b)?
False
Let l(z) = 3*z - 1. Let v be l(1). Suppose 3*f = -v*f + 10. Does 14 divide f/(-7) - (-508)/14?
False
Suppose -3*s - 180 + 720 = 0. Does 20 divide s?
True
Let l(b) be the first derivative of -b**4/4 + b**2/2 + 12*b - 3. Suppose -3*t - 5*z = 7 + 3, 3*z = -3*t - 6. Is l(t) a multiple of 6?
True
Suppose -4*a - 5*h = -221, 103 = 2*a - 7*h + 2*h. Let m = -34 + a. Is 10 a factor of m?
True
Let n = 61 + 46. Is n a multiple of 12?
False
Let d(j) = -j**3 + j**2 + j + 29. Let l be d(0). Let i = l + -21. Is 8 a factor of i?
True
Let v(n) be the first derivative of n**3/3 + 36*n + 10. Suppose 2*i - 3*i = 0. Is v(i) a multiple of 18?
True
Let m(y) = 2*y**3 - 11*y**2 + 11*y + 5. Is 18 a factor of m(6)?
False
Suppose 5*g = -3*t + 27, 0 = -4*g - 3*t - 2*t + 32. Let u(l) = 4*l - 3. Is u(g) a multiple of 9?
True
Suppose -3*w = -4*w + 20. Suppose w = 3*s + 2. Does 6 divide s?
True
Let z(b) = 4*b**2 - b - 1. Let r be z(-4). Let o = r + -46. Is 6 a factor of o?
False
Let p(q) = -q**3 + q + 5. Let x be p(0). Suppose -c = 2*g + 2*c - 5, -32 = -x*g - c. Is g a multiple of 7?
True
Let s = 5 + -3. Does 9 divide 88/12*9/s?
False
Suppose 64 = -3*g + 13. Let l be -12*(2 + (-18)/4). Let q = l + g. Is q a multiple of 11?
False
Suppose -120 = -j - 3*a, 6*j - 2*a - 125 = 5*j. Is j a multiple of 28?
False
Suppose -186 = -4*s + 18. Is s a multiple of 22?
False
Let b(p) = -29*p + 43. Does 31 divide b(-6)?
True
Suppose -5*x + 4 = 19, 0 = 3*g - 2*x - 162. Is g a multiple of 21?
False
Let i(a) be the second derivative of -a + 5*a**2 + 0 - 1/6*a**3. Is 10 a factor of i(0)?
True
Let n = -16 - -19. Suppose n*c - 12 = 0, f + c = -3*c + 21. Is 5 a factor of f?
True
Let b = -51 + 123. Let n = b + -50. Is 22 a factor of n?
True
Is 2 a factor of (-1290)/(-70) - (-6)/(-14)?
True
Suppose -j = j. Suppose 2*k + 76 = -j*k. Let z = -21 - k. Is z a multiple of 8?
False
Let n = 12 - -27. Let s = 57 + n. Let f = s - 64. Does 17 divide f?
False
Suppose -3*z - 2*z - 186 = -f, 2*z = 5*f - 976. Is f a multiple of 28?
True
Suppose -125 = -4*i + 207. Does 25 divide i?
False
Let r be (-1)/(-3) + (-50)/6. Let d(m) = m**3 + 9*m**2 + 7*m + 4. Does 6 divide d(r)?
True
Let y = 83 + -76. Is y a multiple of 6?
False
Suppose 54 = 3*y - 60. Let n = 67 - y. Does 9 divide n?
False
Let c be (0 - 6)*(-4)/3. Suppose -o - 4*s = 2, 0 = -4*s + 4 - c. Suppose 0 = o*p - 4, 0*h + 10 = 2*h - 5*p. Is h a multiple of 5?
True
Let s(z) = -z**3 - z**2 - 2*z + 6. Does 10 divide s(-3)?
True
Let c = 334 + -224. Does 13 divide c?
False
Suppose -5*p = -p - 12. Suppose -2*j - 2*c + 91 = 5, j + 4*c = 40. Suppose 7*f = p*f + j. Is f a multiple of 4?
False
Let w = -27 - -20. Is 20 a factor of 2 + w/(28/(-232))?
True
Let l(j) = 4*j**2 - j + 1. Let o be l(1). Is 23 a factor of -18*o/(16/(-6))?
False
Let s = 6 + -6. Suppose 3*n - 14 = -2*x + 2, 4*n + x - 28 = s. Does 6 divide n?
False
Suppose -4*w = -108 + 424. Let k = w - -115. Is 12 a factor of k?
True
Let o(x) = -7*x**3 + 3*x**2 + 3*x. Let d be o(-2). Let z = 42 + -39. Suppose -z*l + d = -1. Does 12 divide l?
False
Suppose 2*a - 180 = -7*a. Is 13 a factor of a?
False
Is (-6454)/(-49) - 6/(-21) a multiple of 5?
False
Let m be (-4)/(-6) + 627/(-9). Let l = m + 110. Suppose -6 = -i + 3*r, -4*i - 4*r = -129 + l. Does 9 divide i?
True
Let p = -9 + 13. Is 3 a factor of p?
False
Suppose -2*w + 5*j = -149 + 41, -3*w + 4*j + 148 = 0. Does 13 divide w?
False
Does 36 divide (305 - (-4)/(-4)) + 8/2?
False
Is 12 a factor of -4*7/((-84)/195)?
False
Let c = -64 - -90. Is 7 a factor of c?
False
Let p = 