tiple of 9?
True
Let j = 43 + 47. Suppose -2*s + 480 - 100 = 0. Suppose 0 = -3*t + t - w + j, 3*w = 4*t - s. Is t a multiple of 17?
False
Let v be 16/(-6)*18/(-12). Suppose 2*o + v*o = 162. Is o a multiple of 13?
False
Suppose 5*o = -5*s + 35, -3*s + 17 = -3*o + 4*o. Let p(h) = 1 + 32*h**2 + 4*h**o - h - 4*h**2. Does 16 divide p(1)?
True
Suppose 6*a = 16*a - 90. Is a even?
False
Suppose -68 = -3*w + 16. Is 10 a factor of 8/12 + w/3?
True
Suppose 2*b + 0*b - 2 = 0. Is 6 a factor of (-210)/(-36) - b/(-6)?
True
Let p(b) = b**3 - b**2 - 2*b - 4. Suppose 0 = 3*u + u - 44. Let c = -8 + u. Does 4 divide p(c)?
True
Let p = -9 - -14. Let f = 35 - p. Is f a multiple of 15?
True
Let k be (-2)/4 - 2/4. Does 14 divide (-2)/(((-1)/(-20))/k)?
False
Suppose -15 = b - 4*b. Suppose -b*c + 2*v = -3*c - 112, -4*c + 239 = -v. Does 11 divide c?
False
Suppose -50 = -5*n + h, -n - 20 = -3*n + 4*h. Suppose -2*o - n = -3*s + 30, 3*o - 60 = -3*s. Does 8 divide s?
True
Suppose -2 = -5*q - 4*p, -16 = -4*q + 3*p - 2. Suppose -q*j = 2*j - 60. Is j a multiple of 15?
True
Suppose -n - 20 = 3*j + n, 2*n = 4*j + 8. Let d = 7 + j. Suppose d*x + x = -3*h + 64, -4*h + x + 79 = 0. Is 7 a factor of h?
False
Let q = -20 - -37. Is 7 a factor of q?
False
Let a(k) = -k**3 - 3*k**2 + 4*k + 2. Let d be a(-4). Suppose -3*p - g + 135 = 0, 7*p - 4*p - d*g - 126 = 0. Does 17 divide p?
False
Suppose 2 + 15 = 2*o - 5*l, -3*o - 37 = 5*l. Does 11 divide o - (-9)/(36/280)?
True
Suppose -3*n = -776 + 116. Does 8 divide n?
False
Suppose 0 = -5*n + 39 + 61. Is n a multiple of 8?
False
Let g be (1/3)/(2/12). Suppose g*m - 125 = -5*f, m - 128 + 25 = -4*f. Is f a multiple of 10?
False
Let w(q) = -4*q**3 - 7*q**2 - 6*q - 4. Let n be w(-4). Suppose -n = -5*h + 3*m, 6*h + 2*m - 174 = h. Does 17 divide h?
True
Suppose -4*g + z + 855 = 0, 236 = 4*g + 3*z - 607. Is 21 a factor of g?
False
Let h be (-2)/6 - (-380)/6. Suppose -5*r - 4*t = -h, 2*r - 3*t = -6*t + 21. Does 15 divide r?
True
Let c be -2 - (1 + -3) - 20. Let j = c - -33. Does 13 divide j?
True
Let d(b) = -b**3 - 6*b**2 - 7*b - 6. Let a be d(-5). Suppose 5*u = -a*m, -5*m = 2*u - u. Suppose u = 3*y - 17 - 46. Is y a multiple of 12?
False
Let b be 3/(4/(-2*2)). Is 16 a factor of 12/(-8)*128/b?
True
Suppose 2*n - 91 = -5*l, 5*l = -n - 5 + 43. Is 14 a factor of n?
False
Let q(a) = 6*a**2 + 5*a. Let z(g) = -7*g**2 - 4*g. Let i(w) = -3*q(w) - 4*z(w). Is 9 a factor of i(-1)?
True
Suppose -o = q + 5, 5*o - 12 = 4*q + o. Let u be ((-6)/q)/((-2)/(-4)). Suppose 8*n - u*n = 40. Does 4 divide n?
True
Let i be -1*1*(3 + 1). Suppose 5*s + 195 = -0*s - 5*r, -4*s - 156 = 5*r. Is 13 a factor of i*(s/6)/1?
True
Suppose 2*d - 5*d = -2*y + 358, -d - 366 = -2*y. Is y a multiple of 37?
True
Suppose 3*m = 3*z + 327, -2*z + 342 = 3*m - 0*m. Does 28 divide m?
True
Let h = 0 + 2. Suppose -h*q + 54 = q. Is q a multiple of 12?
False
Let g = -6 + 25. Suppose -4*f + g = -3*c, -30 = -3*f - 2*c - c. Let s = f - 0. Is 7 a factor of s?
True
Let n(l) = l - 5. Let d be n(5). Let v be d + -3 - -1 - -6. Suppose 60 = v*m - 28. Is 11 a factor of m?
True
Let f(j) = 4*j**2 + 19*j - 17. Let t(i) = 2*i**2 + 10*i - 9. Let m(h) = 6*f(h) - 11*t(h). Is 13 a factor of m(-4)?
True
Suppose -3*j + 4*j = 7. Suppose t - 2 = j. Is t a multiple of 3?
True
Suppose -3*l - 5 + 47 = 0. Does 8 divide l?
False
Let j(k) = -9*k**2 - k. Let s(h) = 4*h**2 + h. Let y(d) = 3*j(d) + 7*s(d). Is 15 a factor of y(-7)?
False
Suppose 5*t - 6 - 4 = 0. Suppose -6 = -t*s + 26. Is s a multiple of 8?
True
Suppose 4*r - w = 7*r - 118, 50 = r - 5*w. Is r a multiple of 20?
True
Let v be (4/12)/(2/30). Suppose v*g = 10 - 0. Is g even?
True
Let y(h) be the second derivative of -11*h**5/10 + 2*h. Does 14 divide y(-1)?
False
Let n = -45 - -71. Does 4 divide n?
False
Let d be (48/10)/((-2)/(-60)). Does 24 divide (-1)/(-8)*4*d?
True
Does 10 divide 35/14*(-1 + 11)?
False
Suppose -4*j + 5 = -3*p, 2*j = -4*p + 4 + 4. Let d = j - 2. Suppose 0 = 2*n - d*n - 32. Is n a multiple of 8?
True
Let c(z) = 1 + 5*z + 12*z + 0. Does 9 divide c(1)?
True
Let v(k) = -k + 2. Let p be v(0). Let f(x) = 3 + x**2 - x**p + 5*x + x**2. Is f(-6) a multiple of 9?
True
Suppose -3*y - 66 = -3*f, -3*f - f = 4*y - 120. Suppose -2*j - 8 = 0, -6*t - j + f = -3*t. Is t a multiple of 3?
False
Suppose -19 + 4 = -5*t. Suppose 3*j - 55 = 3*g + 29, t = g. Is j a multiple of 15?
False
Suppose -9*m + 10*m = 191. Is m a multiple of 22?
False
Let i(v) = v - 2. Let m be i(6). Suppose 5*k - 3*x = -19 + 77, k - 15 = m*x. Is 11 a factor of k?
True
Suppose -2*j + 75 = 3*j. Let k = j + -10. Is k even?
False
Let b = 13 - 27. Suppose -s + 2*s = -31. Let u = b - s. Does 16 divide u?
False
Let v(a) = -a**3 - 6*a**2 + 2*a + 6. Is 9 a factor of v(-7)?
False
Suppose 3*q - c = 5, -4*q - c + 16 = -0*c. Is q a multiple of 2?
False
Suppose -5*c + c = 5*j + 1, j + 3*c + 9 = 0. Suppose -6 = j*r - 3. Does 10 divide 1*10*-2*r?
True
Let k(r) = 15*r**3 + r**2 - 3*r + 7. Is 11 a factor of k(3)?
False
Let f(p) = 2*p**3 - 12*p**2 - 6*p + 4. Is f(7) a multiple of 12?
True
Let x be (-1 + 3)*(-6)/(-4). Suppose 5*l = x*l. Suppose l = 5*a - 0*a - 210. Does 14 divide a?
True
Suppose z + u - 25 = -0*u, -3*u = 3. Is z a multiple of 13?
True
Let v be (2 + -1)/(-6*(-4)/72). Let a(z) = z**3 - 3*z**2 - z + 4. Let r be a(3). Is 2 - ((-27)/v)/r a multiple of 11?
True
Let m(y) = -5*y**3 + y + 2. Let d be m(-2). Suppose -196 = -4*v - d. Does 13 divide v?
True
Suppose -5*z = -4*z. Let b be -1 + z - 5/(-1). Suppose 4 = l - 2*q, -4*q + 2 + 2 = b*l. Is 2 a factor of l?
True
Suppose 65 - 320 = -5*k. Is 17 a factor of k?
True
Let i = -4 - -12. Let v = i - -1. Is 4 a factor of v?
False
Let o be ((-2)/(-4))/(2/4). Let r be o/(-3) - 62/(-6). Suppose -m - 3 = -r. Is 7 a factor of m?
True
Suppose 2*m - 6*m = -3*p + 13, 4*p + 2*m = 10. Suppose -123 = -p*v + 3. Is 14 a factor of v?
True
Let u = -21 - -49. Does 15 divide u?
False
Let n(j) = -25*j - 2. Is 24 a factor of n(-2)?
True
Let r(z) = -z**2 + 9*z - 6. Let c be r(8). Suppose -3*n + 28 = -n - c*u, -3*n + 47 = 2*u. Does 7 divide n?
False
Let t be -25*8*2/(-4). Suppose t - 10 = 5*x. Is 9 a factor of x?
True
Let o = 61 + -12. Is 7 a factor of o?
True
Suppose 2*w - 15 = w. Let b(u) = 2*u - 4. Does 13 divide b(w)?
True
Let g be (-30)/(-18) - 2/3. Is 104*(g + 2)/6 a multiple of 11?
False
Let h(a) = 2*a**2 - 3 + a**3 - 2*a**3 - a + 3*a. Let n be h(3). Let r(d) = -4*d + 5. Is r(n) a multiple of 10?
False
Suppose -5*i + 5*c + 110 = 0, i = -2*i - 5*c + 42. Suppose 0 = -3*r + i + 38. Suppose -r = -3*j + a + 25, 0 = -4*j + 3*a + 62. Does 6 divide j?
False
Let v be (-128)/20 + 3/(-5). Let w = 21 + v. Is w a multiple of 10?
False
Let k(z) = z**2 - 8*z + 7. Let m be k(7). Suppose 0 = 5*s - 5*a + 18 - 3, m = -5*s + 4*a - 10. Suppose 37 = 2*n + i - s*i, -5*i = -3*n + 59. Is 8 a factor of n?
False
Suppose 0 = 2*l, -4*t + 4*l + 10 = -10. Let b(s) = 5*s - 6. Let a be b(t). Suppose -2*v - 3*m + 0*m + a = 0, -v = -4*m - 15. Does 4 divide v?
False
Suppose -2*i = -20 - 52. Is i a multiple of 9?
True
Let o = 42 - 29. Does 11 divide o?
False
Let s(d) = 38*d - 2. Is s(2) a multiple of 15?
False
Suppose -14 - 7 = -5*v - s, s = 1. Let c(m) = 2*m + 6. Is 3 a factor of c(v)?
False
Let b = 70 - 26. Does 9 divide b?
False
Suppose -102 = -2*p - w, -3*p - w + 6*w + 166 = 0. Is p a multiple of 9?
False
Let r(k) = -k**2 + 18*k - 2. Suppose -31 = -7*u + 3*u - 5*j, -23 = -2*u - j. Is 25 a factor of r(u)?
False
Suppose -51 = -2*d - 2*d - 3*x, 3*x + 57 = 5*d. Does 6 divide d?
True
Let l(q) be the third derivative of q**6/120 + q**5/6 + q**4/6 - q**3/6 + q**2. Does 13 divide l(-9)?
False
Let r(p) be the second derivative of p**5/20 - p**4/2 + p**3 + 2*p**2 + 2*p. Is 3 a factor of r(5)?
True
Suppose -126 = -3*m - r - 4*r, 3*m - 117 = -2*r. Is m a multiple of 37?
True
Suppose 0 = o - 4*t - 13, 0*o + 3*t - 19 = -5*o. Suppose -g - o*j - 16 = -5*g, -3*g + 2*j + 19 = 0. Does 7 divide g?
False
Let l(u) = u**2 - u. Let a(q) = -4*q**2 - 5*q + 10. Let z(c) = a(c) + 3*l(c). Is z(-7) a multiple of 15?
False
Let v(j) = -j**3 - 7*j**2 - j - 6. Let k be v(-7). Suppose -k = -z + 3. Suppose -3*i + 18 = -z*g + 5*g, 5*g - 25 = -2*i. Is 2 a factor of i?
False
Let f be 26/6 - (-2)/3. Suppose 3*t = 152 - 32. Suppose -f*l + 85 = -t. Is l 