 -182 = -k*j - 0*z + z. Suppose -p = -4*p + j. Is 10 a factor of p?
True
Suppose 5*g + 31 = 4*s - 0*g, 5*s + 3*g - 11 = 0. Suppose -t = -s*u - 0*u + 7, 14 = -2*t - u. Let i(w) = -w**3 - 8*w**2 - 9*w. Is 14 a factor of i(t)?
True
Suppose 0 = 3*s - 3*d - 9, 3*s - 3*d - 9 = -d. Does 12 divide (-11 - 9)*s/(-2)?
False
Is 16 a factor of (-14 - -8)/((-4)/14)?
False
Let m be (-3 - -75)*(-3)/4. Let j = m - -92. Does 26 divide j?
False
Let k = 10 - -6. Does 8 divide k?
True
Suppose 0 = -2*o - 5*r + 118, -3*r = -5*o + 2*r + 365. Is o a multiple of 13?
False
Let t = -30 - -66. Let y = 8 + t. Is 11 a factor of y?
True
Suppose n - 3*j + 9 = 0, -j + 29 = 3*n + 4*j. Suppose -5*l - 1 = -u, 1 = n*l + u - 0. Suppose r = -3*r + 20, b + r - 28 = l. Does 14 divide b?
False
Let n(f) = 7*f - 4. Let k be 1/(-2) + (-13)/(-2). Is 19 a factor of n(k)?
True
Let o(v) = 27*v + 2. Is 19 a factor of o(1)?
False
Let n(u) = u**2 + 6*u - 2. Let f be n(-6). Is (3 + f)/(1/43) a multiple of 16?
False
Let w(i) = -2*i - 1. Let x be w(1). Let u be (-84)/(-9) - (-1)/x. Let p = -5 + u. Is p even?
True
Let w be 14/6*1*9. Suppose w = 5*i - 19. Is 4 a factor of i?
True
Suppose -5*d - 3*l = -27, -2*l = d - 6*l + 13. Let g(k) = d*k - 3*k + 4*k + 6. Is 13 a factor of g(5)?
True
Let c = -2 - -2. Suppose 7 = a + 2*x, c = 4*a + 5*x - 0 - 34. Is a a multiple of 11?
True
Let u(i) = i**2 - 5*i - 9. Let o be u(7). Suppose 0 = o*g - 61 - 29. Is 6 a factor of g?
True
Let t(z) = 15*z**2 + 9*z + 7. Let n(q) = 7*q**2 + 5*q + 4. Let w(d) = -13*n(d) + 6*t(d). Let r be w(-7). Let g = -2 + r. Is 16 a factor of g?
True
Let x(a) = 5*a**3 - a**2 + 3*a - 1. Let v be x(3). Suppose -7*j + v = -258. Is j a multiple of 14?
True
Suppose -7*x + 2*x = -35. Suppose -141 = -x*o + 139. Is 8 a factor of o?
True
Suppose 0 = -4*l + 6*l + 16. Let x = l + 14. Is x a multiple of 6?
True
Is ((-20)/3)/2*1287/(-26) a multiple of 55?
True
Is 3 a factor of 12*(-2 - (-28)/8)?
True
Is (-6)/3*((-63)/6 + 5) a multiple of 3?
False
Let x = 549 + -373. Is 11 a factor of 1/(-2*(-4)/x)?
True
Let l = -32 - -95. Is 10 a factor of l?
False
Suppose 3*o = 52 - 4. Does 6 divide o?
False
Let z = 245 + -110. Suppose 3*m - 68 = m + 4*i, 5*i - z = -3*m. Suppose 5*v - 3 + m = 2*f, 2*v = -4*f + 14. Does 6 divide f?
True
Let c = -6 + 10. Suppose -v + 5*j - c = -3*v, -5*v = 3*j - 48. Does 5 divide v?
False
Let o(i) = -2*i - 1 + i - i - 2*i. Is o(-4) a multiple of 9?
False
Let z = 390 + -277. Is 9 a factor of z?
False
Let r be (-52)/(-14) + (-8)/(-28). Suppose -8*d = -r*d - 44. Let z = d + 4. Is z a multiple of 10?
False
Let y = -4 + 5. Let v = 40 - y. Does 14 divide v?
False
Let u(c) = -c**2 + 2*c + 2. Let y(w) = w**3 + 6*w**2 - 6*w + 9. Let v be y(-7). Let m be u(v). Suppose n = -m*n + 63. Is 6 a factor of n?
False
Suppose -48 = -12*y + 192. Is y a multiple of 17?
False
Let f(d) = 14*d + 4. Suppose -3*k + 4 = 4*p, 7*k - 5*p - 30 = 2*k. Let b be f(k). Suppose b = 6*h - 2*h. Is h a multiple of 10?
False
Suppose -184 = 4*d + 20. Suppose 0*w - 4*w - 124 = 0. Let v = w - d. Does 10 divide v?
True
Suppose 5*m + 2*g - 122 = 0, -2*m - 2*g + 50 = -0*m. Does 12 divide m?
True
Let g = 25 + -18. Let i = g - 2. Suppose -5*x - i*a + 165 = 0, -3*x - a - 147 = -7*x. Is x a multiple of 19?
False
Let a = 33 - 20. Is a a multiple of 5?
False
Let d = 6 - 4. Suppose d = 2*r - r. Let y(z) = 3*z**3 - 2*z + 3. Is y(r) a multiple of 13?
False
Let s(j) be the second derivative of j**4/12 + 2*j**3/3 + j**2 - j. Let f be s(-4). Suppose 0 = f*y - 38 - 0. Is y a multiple of 10?
False
Let h(u) = -2. Let r(d) = -d. Let b(q) = 3*h(q) + 6*r(q). Is 12 a factor of b(-7)?
True
Suppose 4*n - 129 = -5*v, 5*n = 14 - 34. Is 4 a factor of v?
False
Suppose -2*n - 17 = 2*r + 3*r, -9 = -3*n + 4*r. Let z be (-232)/4*(0 + n). Let t = -26 + z. Does 14 divide t?
False
Let q be (-540)/(-16) + 3/(-4). Is 15 a factor of q + 9/(-2 - 1)?
True
Let n be 42/4*(-8)/(-12). Suppose 4*v + j = 15, 4*v + n*j = 3*j. Does 2 divide (-16)/(-5) + (-1)/v?
False
Let p(h) = 2*h - 2. Suppose 2*a + 14 = -4*q, 5*a = 4*a + 2*q + 13. Suppose 0 = -a*x - 4*v + 3, x + v - 12 = -2*x. Is p(x) a multiple of 7?
False
Let r be 824/20 - 1/5. Let i = r - 20. Is i a multiple of 5?
False
Is -3 - (-70 - 4 - 3) a multiple of 13?
False
Let h be 2/(1 + (-2)/6). Suppose h*k - 458 = k. Suppose 0 = -5*y - 89 + k. Is y a multiple of 15?
False
Let d be 6/15 - (-39)/15. Suppose d*y = -2*j + 1, 7*j + y = 2*j + 35. Does 8 divide j?
True
Let h(w) be the first derivative of -w**2 + 4*w - 4. Let i be 2/6 - 19/3. Is h(i) a multiple of 8?
True
Let y = 27 - 24. Suppose 6*v = v - y*d + 18, 5*d = 3*v - 4. Does 3 divide v?
True
Suppose -2*d - 42 = -4*x, 3*d - 7*d - 3*x - 106 = 0. Let i = -43 - d. Let l = 44 + i. Is l a multiple of 13?
True
Let v be 0/(2*(0 - 1)). Suppose -2*c - 2*m + 12 = -v*c, 20 = 5*m. Suppose 0 = -5*q + 5*f + 144 + 56, -82 = -c*q + 3*f. Does 19 divide q?
True
Suppose 5*t - 9*t + 384 = 0. Suppose -6*q = -10*q + t. Is q a multiple of 6?
True
Does 13 divide (48/(-7))/(2/(-14))?
False
Let q(p) = 11*p**2 - 2*p - 1. Let u be (-24)/9*3/(-2). Suppose -2*o = u*i + 18, -28 = -2*i + 6*i + 4*o. Is q(i) a multiple of 16?
False
Let k = 98 + -86. Is 8 a factor of k?
False
Let q(t) = t**3 + t**2 + t + 84. Let h be q(0). Suppose h + 66 = 5*x. Is x a multiple of 9?
False
Is 9 a factor of (-105)/((-3)/1) - -1?
True
Let t be (-4)/(-10) + (-1494)/(-15). Suppose 0*b + 2*b = t. Is b a multiple of 23?
False
Let l(a) = a + 4. Let u be l(8). Let f = u + 16. Does 14 divide f?
True
Let c(q) = -q + 12. Let m be c(8). Suppose b = -m*b - 10. Is ((-38)/(-10))/(b/(-10)) a multiple of 8?
False
Let b(n) be the first derivative of -n - 1 - n**2 + 2/3*n**3. Is b(-1) even?
False
Suppose -5*f + 7 = -u + 38, -14 = 2*f - 2*u. Let l be 1/3 + (-262)/f. Suppose 3*w - l = -w. Is 11 a factor of w?
True
Suppose -3*u - 442 = -0*t - 2*t, 4*u + 4*t = -596. Let s = -96 - u. Is 13 a factor of s?
True
Let k be 1/5 - (-27)/15. Suppose -k*i + 1 = t - 5, 9 = 3*t + 3*i. Is 9 a factor of 15 + (t/(-3))/(-3)?
False
Let h(q) = -2*q**2 + 0 + q**3 - 4*q + 2*q**2 - 2*q**2 + 2. Does 9 divide h(4)?
True
Let d = 5 - 3. Let z(h) = h**2 - 4*h + 3. Let x be z(5). Suppose -x = -v - d. Is v a multiple of 3?
True
Let y = 16 + 2. Let a = -4 + y. Does 7 divide a?
True
Suppose -2*h - 2 = -6. Let c = -4 + h. Let f = 6 + c. Is 4 a factor of f?
True
Suppose -19 - 22 = -t + 3*x, 3*x - 23 = -t. Does 9 divide t?
False
Suppose 36 = 3*l + l. Suppose 0 = -3*f - 6*r + 2*r + l, -f + 19 = -4*r. Suppose -2*z = 5*q - f - 4, 14 = 2*z + 2*q. Is z a multiple of 6?
False
Let j = 83 - 20. Does 21 divide j?
True
Suppose -5*l + 12 = -118. Is 9 a factor of l?
False
Let g = 309 + -160. Does 16 divide g?
False
Let s = 4 - -68. Let b = s + -40. Is 16 a factor of b?
True
Suppose a + 2 = 1, -462 = -4*n - 2*a. Is 10 a factor of (-2)/(-3) + n/6?
True
Let h(r) = 5*r - 4. Suppose 5*a + 4*t - 85 = 0, 3*t + 2*t - 12 = a. Let g = -9 + a. Is h(g) a multiple of 6?
False
Let h(r) = -r**2 + r + 2. Let l be h(2). Let t = 2 - 3. Is 12 a factor of l - -44 - (1 - t)?
False
Let y(k) = k**2 - k - 2. Let t be y(3). Suppose 0 = 2*b - 3*b - 3*c - 9, -2*c + 14 = t*b. Is b a multiple of 2?
True
Suppose c + 8 = -3*w - 10, -5*w = 4*c + 30. Let s be w - (2 + (-6)/3). Does 12 divide 2 - 3/(s/44)?
True
Let o(w) = w**3 - 4*w**2 + w - 2. Let t be o(4). Suppose -t*r - 28 = -6*r. Is r a multiple of 7?
True
Suppose 4*g - 149 = 123. Does 17 divide g?
True
Let g = -63 - -80. Does 7 divide g?
False
Let v(x) = -34*x + 14. Is 20 a factor of v(-2)?
False
Let j = 269 - 141. Suppose w - 28 = 5*o, -3*w + 7*w - 4*o - j = 0. Does 13 divide w?
False
Is 32 a factor of (2 - 244/(-6))*3?
True
Let k(f) = f**3 + 7*f**2 - 4*f + 8. Does 17 divide k(-6)?
True
Is (6/(-9) + 0)*-54 a multiple of 12?
True
Let j = 9 + -9. Suppose 0 = -j*s - s + 37. Is s a multiple of 8?
False
Let u = 6 - 4. Suppose 2*x + u*x - 12 = 0. Suppose x*q = 82 - 10. Is 11 a factor of q?
False
Suppose 6*r = 4*r + 54. Is r a multiple of 27?
True
Let i = 0 + 0. Suppose y + 2*y - 9 = i. Is y a multiple of 3?
True
Suppose -5*h = -58 - 2. Let n = 21 - h. Suppose -4*x - 95 = -n*x. Does 19 divide x?
True
Let k be ((-40)/(-6))/((-6)/(-117)). Suppose -5*d = 5*a - 240, 2*d - 2*a - k = -14. Suppose 2*v - 7 = d. Is 15 a factor of v