. Let t(p) = h*j(p) - 2*q(p). Is 3 a factor of t(-10)?
True
Suppose -x = -312 + 81. Is x a multiple of 10?
False
Let q = 3 - -2. Suppose 4*p - q*s = 16, -5*p - 5*s + 3*s = -20. Let z(u) = -u**3 + 4*u**2 + 5*u - 2. Is 9 a factor of z(p)?
True
Let v = -127 - -430. Is v a multiple of 16?
False
Let i(d) = -3*d + 1. Let c be i(-9). Let v(x) = -8*x - 7. Let t be v(-7). Let k = t - c. Is k a multiple of 21?
True
Suppose z - 8*f = -3*f + 1779, z - 1797 = -4*f. Does 37 divide z?
False
Let v(n) = 2441*n**2 + n + 1. Is v(1) a multiple of 10?
False
Suppose 0 = 3*p + 2*p - 30. Suppose b - 2*g = p, -4*b = g - 0*g - 42. Suppose -6*o = -b*o + 140. Does 12 divide o?
False
Let u = 141 - -90. Is u a multiple of 13?
False
Suppose -3*u = -2*z - 3052, 5*u = -3*z + 5*z + 5080. Is 13 a factor of u?
True
Let h = -5 + -4. Let w = h + 14. Suppose -l = -2 - w. Is l a multiple of 7?
True
Let s(j) = -22*j - 1. Let u(o) = o - 1. Let b(k) = -s(k) + 3*u(k). Is 14 a factor of b(4)?
True
Suppose 5*h + 364 = -561. Let v = -106 - h. Suppose -11 + v = 2*n. Is n a multiple of 17?
True
Let n = -208 - -283. Is n a multiple of 25?
True
Suppose -4*k = 5*w + 4, 5*w = 3*k - 0 + 3. Suppose w = -g - 3*d + d + 31, -2*d - 39 = -g. Is 7 a factor of g?
True
Suppose 3*s = -4*m + 10, 4*m + 2*s = m + 8. Suppose m*b - 280 = -3*b. Is b a multiple of 5?
True
Is (-2)/(-4)*5*40 a multiple of 4?
True
Suppose -5*t - 14 = 141. Let k = t + 49. Is 18 a factor of k?
True
Let a(t) = t**3 - 4*t**2 + t + 2. Let o be a(2). Is 92 + (0 - o - 6) a multiple of 15?
True
Let s = -51 - -102. Suppose 2*q - q - 2*k = s, -q = 3*k - 66. Is 3 a factor of q?
True
Suppose -3*p - 2 + 8 = 0. Let m be 4/(-3)*(p + -5). Suppose -m*h + 5*h = 95. Is 14 a factor of h?
False
Let g be (-9)/3 + (-9)/(-3). Suppose 4*j + 118 = q, g + 10 = 5*j. Is q a multiple of 10?
False
Let f be (-20 + 5)*1/(-3). Suppose f*v - 3 - 7 = 0. Does 10 divide 2/6*198/v?
False
Is (-434)/93*(-90)/4 a multiple of 2?
False
Let k(q) = q + 4. Let c be k(-3). Let n be ((4 - c)/(-3))/(-1). Let z = n - -10. Does 11 divide z?
True
Suppose -5*y + 5*h = -975, 27 = -2*y - 4*h + 423. Let l = y - 113. Is l a multiple of 34?
False
Let x(d) = -d**2 - 11*d + 15. Let f be x(-12). Suppose -f*s - 5*t + 49 = 0, -4*s + 2*t = -2*t - 76. Does 7 divide s?
False
Let u(k) = -68*k - 2. Let n be u(-2). Suppose 2*j - 2*h = -j + n, -4*j - 3*h + 156 = 0. Is 17 a factor of j?
False
Let b(f) = 17*f - 5. Suppose -3*g = -7 - 8. Let i be b(g). Suppose -4*y - i = -8*y. Is y a multiple of 10?
True
Let x(w) = 2*w**3 - 14*w**2 + 35*w - 24. Is x(11) a multiple of 21?
False
Suppose -5*b - 92 = -2*c, -5*c + 8*c = -3*b + 96. Is 9 a factor of c?
True
Suppose 2*u - 5*a + 3032 = 11987, 0 = -4*u - 3*a + 17923. Is 35 a factor of u?
True
Let x = -86 + 42. Let m = -14 - x. Is 7 a factor of -2 + 2 - m/(-2)?
False
Suppose -3*f = -2*t - 390, 3*f + 411 = 6*f + 5*t. Suppose 0 = 3*k - 5*k - 4*d + 274, -f = -k + 3*d. Does 28 divide k?
False
Let p(s) = -s - 24. Suppose 32 = -3*r - 7. Let t be p(r). Let v = t + 21. Is v a multiple of 10?
True
Let c = 3 - 1. Let i(o) = 3*o**3 - o**2 + 2*o + 2. Let y be i(c). Suppose -3*d + 4 = -y. Is d a multiple of 10?
True
Is (-65 - 1)/(80/(-1400)) a multiple of 9?
False
Let i be 6/(-8) - (-3429)/12. Suppose 5*b = -3*g - i, g = -b + 4*b + 171. Let j = 97 + b. Does 10 divide j?
True
Let r be (-1 + 1)/(1 + 5 + -9). Suppose -p = 4*v - 52, 5*v = -r*p - p + 54. Is p a multiple of 11?
True
Let x be (-19 - -4)*(-5)/15. Suppose 4*u = -5*v + 8*v - 406, 0 = x*v - 3*u - 673. Does 17 divide v?
False
Let j(n) = -n**2 - 8*n + 4. Let d be j(-9). Let f = d - -1. Let z = f - -15. Does 3 divide z?
False
Let h(u) = u + 481. Let d be h(0). Suppose -4*g - d = -1321. Suppose 6*z - g = z. Is 12 a factor of z?
False
Suppose 3*s + 3*h = -15, 18 = -s - 5*h + 1. Let j(z) = 30*z**2 + 3*z + 1. Let m be j(s). Suppose -u - m = -2*u. Is 35 a factor of u?
False
Let z(x) = x**2 - 5*x + 7. Let f be z(3). Let m(n) = 74*n - 2. Is m(f) a multiple of 9?
True
Let y = 18 + -15. Suppose 93 = y*p - 84. Does 19 divide p?
False
Let f = 1 + -3. Suppose 25*q + 0*q + 650 = 0. Let c = f - q. Does 6 divide c?
True
Suppose -4*w + 150 + 22 = 0. Suppose -2*g + g + w = 3*x, 2*g + 5*x - 82 = 0. Is 24 a factor of g?
False
Let l = -175 - -247. Is 9 a factor of l?
True
Is 140 - 17/(136/(-32)) a multiple of 16?
True
Suppose -13*u = -8*u + 110. Let p = 110 - 32. Let w = p + u. Does 28 divide w?
True
Let c = 1430 + -440. Is 30 a factor of c?
True
Let p = -7 - -12. Suppose 15 = -p*y, -5*n = -n + 5*y - 185. Is (3 - (-5)/(-2))*n a multiple of 14?
False
Let p = -9 + 6. Is 22 a factor of 106 + (-3)/9*p?
False
Let l be (-7)/(147/6) - (-2664)/14. Does 50 divide 5 - l/35 - 2453/(-7)?
True
Let n(z) = 11*z - 22. Let a be -12*((-9)/(-12) - 1)*2. Is n(a) a multiple of 44?
True
Suppose 0 = -2*n + 10, -2*q - 3*q - 4*n = 0. Let j be (-11 - -1)*(-2)/q. Let z = j - -19. Is z a multiple of 14?
True
Let h = -7 + 7. Suppose h = -2*i - 2*i + 16. Suppose -i*g - 25 = -9*g. Is 4 a factor of g?
False
Suppose -2*y = 6*y. Suppose 4*m + 4*x - 244 = y, 4*m = 5*x + 146 + 116. Does 21 divide m?
True
Let u = -458 - -446. Let r(a) = -a**2 - 4. Let s be r(0). Is 18 a factor of (279/u - -1)*s?
False
Suppose -1756 = -15*y + 299. Is 18 a factor of y?
False
Let m be 2 - (352/(-2) + 0). Let u = m - 81. Is 14 a factor of u?
False
Let s(q) = q**3 - q**2 - 3*q + 256. Is 5 a factor of s(0)?
False
Let w(i) = 2*i**2. Let x be w(-1). Let t(o) = o**2 + 3*o + 2. Let q be t(-4). Suppose x*n + 4*u - 84 = 0, -q*n + u = -n - 155. Is 14 a factor of n?
False
Is (-4)/(-2)*2/4 + 183 a multiple of 15?
False
Let z = -988 + 1168. Is 4 a factor of z?
True
Let x be 21/(-2)*(-2)/3. Suppose -3*a = -2*h + 103, 2*h + 0*a - 93 = a. Suppose -x*w + 3*w = -h. Is w a multiple of 9?
False
Is (-7)/(-6 + 137/23) a multiple of 2?
False
Let h(q) = q**2 + 8*q - 14. Let i be h(-9). Let l = i + 6. Let j(r) = 13*r - 2. Is j(l) even?
False
Let q(l) = -l**3 + 15*l**2 - 11*l - 17. Let t = -81 - -93. Does 11 divide q(t)?
False
Let p be -2 + (-16)/(-4) - -36. Let b = -35 + p. Suppose b*i - k + 0*k - 375 = 0, k = 0. Is 25 a factor of i?
True
Let g be 3/2 - 603/(-6). Suppose 0*d + g = d. Is 32 a factor of d?
False
Let r be (5/10)/(1/8). Suppose -2*n - 4*j + 12 = 0, 3*n - 4 = 4*j + r. Suppose -n*u - 19 = -171. Is u a multiple of 16?
False
Let o(p) = p + 2. Let n be o(-4). Suppose 4*b = -2*q - 48, -5*q - 2*b + b = 75. Is 11 a factor of ((-60)/(-14))/(n/q)?
False
Suppose 0 = -2*k + 2*x - 28, -2*x - 10 = -7*x. Suppose 2*i + 3*b - 26 = 0, -2*i + 1 + 9 = -b. Is 4 a factor of -1 + (4 - i - k)?
True
Let l = -3 + 1. Let y be 0 + 0 - -289 - 1. Is 9 a factor of (y/27)/(l/(-6))?
False
Let u(i) = -2*i**2 - 8*i - 1. Let s be u(-3). Suppose -s*l - 170 = -5*o, 2*o + 118 = 6*o + 5*l. Is 4 a factor of o?
True
Suppose 0 = 7*c - 8440 - 7471. Does 67 divide c?
False
Let z = 565 + -253. Does 3 divide z?
True
Let k(x) = x**3 + 4*x**2 + 2*x + 12. Let g be k(-4). Does 6 divide (-12)/(-1)*(5/(-5) + g)?
True
Let v(z) = -2*z**3 - 2*z**2 - 5*z + 4. Does 13 divide v(-6)?
False
Let l = 1111 - 584. Suppose -5*t + 88 + l = 0. Is t a multiple of 22?
False
Let h be 28/21*(-1)/(2/(-372)). Suppose 11*o - 1029 = -h. Is 11 a factor of o?
False
Suppose 0 = -2*w + 8*w + 258. Let d(v) = -v**3 + v**2 + 4*v - 4. Let r be d(3). Is w/(-5) - (-6)/r a multiple of 3?
False
Let f = 2 - 7. Let u = 7 - f. Is u a multiple of 8?
False
Suppose 361 = 6*m - 2*m + 5*h, -331 = -4*m + h. Suppose x - 166 = -4*s, -2*s + 0*x = x - m. Is s a multiple of 13?
False
Let j = -2688 + 4756. Is 11 a factor of j?
True
Suppose -4*z - 4*q + 228 = 0, 2*q = z - 4 - 59. Suppose -z*j = -54*j - 210. Does 5 divide j?
False
Let j(i) be the first derivative of i**4/6 + 2*i**3/3 + 3*i**2/2 + 10*i + 2. Let q(n) be the first derivative of j(n). Does 8 divide q(-3)?
False
Suppose 31*v - 30078 = -1434. Is 19 a factor of v?
False
Let l = 1758 + -990. Does 16 divide l?
True
Let k(h) = 11 + 14*h**2 + 48*h - 44*h - 2*h**3 + 3*h**3. Is 16 a factor of k(-13)?
True
Let f(i) be the second derivative of -2*i**3/3 + i**2/2 - 15*i. Let x be f(-1). Suppose -288 = x*j - 9*j. Is j a multiple of 12?
True
Suppose -7*b = -18 - 45. Suppose -167 - b = -4*k. Is 11 a factor of k?
True
Suppose 3*g - i = -g + 357, g - 68 = -4*i. Is 