12)?
True
Let h be (-40)/(-6) - (-2)/(-3). Let c(x) = 5*x - 6. Does 24 divide c(h)?
True
Suppose -69 = -3*p - 4*y, p - 10 = 4*y - y. Is 17 a factor of p?
False
Let w = 16 + -14. Suppose 0 = -w*t - 2*t + 56. Is t a multiple of 11?
False
Let u(v) be the first derivative of v**3/3 - 9*v**2/2 - 3*v - 2. Does 4 divide u(10)?
False
Let h be (2/1)/(-3 + 5). Suppose 0 = -a + h + 3. Suppose 5*z + 5*i = 165, -a*i - 107 = -3*z + i. Does 17 divide z?
True
Suppose 6*j - 176 = 22. Is 11 a factor of j?
True
Let k(b) = -b**2 + b + 3. Let h be k(0). Let j be (-1)/(0 - h/(-33)). Let n = j - -15. Is n even?
True
Let d(b) = b + 11. Let i be d(-11). Suppose i = r + 2*r - 168. Is r a multiple of 28?
True
Let j(t) = -3*t**3 + 2*t**2 - 1. Let p be j(1). Let s = p + 5. Suppose -s*g - 15 = -69. Is g a multiple of 9?
True
Let g = 4 - -24. Is g a multiple of 11?
False
Let l be (1 + 30)*(0 - 1). Let v = l + 49. Does 12 divide v?
False
Let k(s) = s**3 + 8*s**2 + 8*s - 5. Let m be k(-6). Let r(x) = m - x**3 - x - 6 + 3. Does 14 divide r(0)?
False
Let r be (3 + 1)*(-18)/(-8). Let c be (-6)/8 + (-3)/12. Let s = c + r. Does 6 divide s?
False
Let q be -1 + 2/(-2) + 5. Let b = -2 - q. Is 20 a factor of 732/15 + (-1)/b?
False
Let v(f) = -f**3 + 4*f**2 + 5*f + 3. Let r be v(5). Suppose -130 = -r*a + a. Does 13 divide a?
True
Suppose -7*j - 6*j + 585 = 0. Is j a multiple of 15?
True
Let p(w) = w**3 + 7*w**2 + 3. Let n be p(-5). Let s = -29 + n. Does 18 divide s?
False
Suppose 0 = 5*i + 3*x + 216, -3*x + 5*x + 46 = -i. Let v = -84 - i. Is (v + 0)*(-5)/15 a multiple of 13?
False
Suppose r + 5*a + 3 = 0, -2*r + a - 119 = 3*r. Let h be (-15)/4*(5 + -1). Let j = h - r. Is j a multiple of 4?
True
Let m = 0 + 5. Suppose -4*g + 3*v = -20, 0 = -g - g + m*v + 24. Suppose 0 = -g*j - 3*j + 70. Is 14 a factor of j?
True
Let r = 11 + -4. Suppose 0 = -5*t + r + 33. Does 8 divide t?
True
Suppose y = -0*y + 3, 3*d - 282 = 2*y. Does 12 divide d?
True
Suppose 3*f + 3*f - 168 = 0. Does 14 divide f?
True
Is 2/13 + 256/26 a multiple of 4?
False
Let p = 7 - -5. Does 11 divide p?
False
Suppose 0 = 2*m - m + 1. Let p be (76 - -1)*(2 + m). Suppose 3*z - 3*w = 48, -4*z = 2*w - p + 19. Is z a multiple of 15?
True
Let f(m) = -m + 5. Let z be f(5). Does 13 divide z + (14 - 0) + 1?
False
Let i be -3 + (-53)/3*-3. Let a = i + -19. Does 15 divide a?
False
Let z(y) = y**3 - 7*y**2 + 3*y + 1. Let u(i) = 4*i**3 - 29*i**2 + 13*i + 5. Let k(x) = -2*u(x) + 9*z(x). Is 4 a factor of k(5)?
True
Let x(y) be the third derivative of -y**6/120 - y**5/10 + 7*y**4/24 - y**3 - 3*y**2. Let k be x(-7). Let v(z) = -z**3 - 5*z**2 + 4*z + 4. Is 7 a factor of v(k)?
False
Let p(u) = -20*u - 1. Let q be p(-1). Let m = q - -18. Does 27 divide m?
False
Let n(m) = -2*m**3 - 11*m**2 - 8*m - 5. Is 47 a factor of n(-7)?
False
Suppose 5*w - 5*d = -0*d + 20, 4*w - 5*d = 16. Suppose -2 = 3*j - 2*m, -j + 2*m = 5 + 1. Suppose w = -f + j*f. Is f a multiple of 2?
True
Is 14 a factor of (2024/6)/4 - (-3)/(-9)?
True
Suppose -3*x + 4*k + 81 = 0, 3*k + 2*k + 61 = 2*x. Does 8 divide x?
False
Suppose 0 = -3*u + 2 - 8, -5*x = -4*u - 33. Suppose -2*y - 2 = 0, 1 = l - x*y - 0. Is (-47)/l - (-2)/8 a multiple of 6?
True
Let j(q) be the second derivative of q**5/20 - 5*q**4/12 - 4*q**3/3 + 3*q**2 - q. Let d be j(6). Is 4 a factor of (-8)/(-3)*(-9)/d?
True
Let y = 3 - 1. Suppose 0 = -y*s + 4*s - 108. Does 18 divide s?
True
Suppose -5*y + 340 = -5*z, 5*z - 263 = -y - 3*y. Is y a multiple of 29?
False
Let d = -34 + 32. Let i(u) be the third derivative of 2*u**5/15 - u**4/8 - u**3/6 - u**2. Is i(d) a multiple of 20?
False
Suppose -5*q + 162 + 138 = 0. Is 9 a factor of q?
False
Suppose 0*i - 5*i - 705 = 0. Let w = i - -206. Does 15 divide w?
False
Let n = 0 - -4. Let f be 150/(-22) - n/22. Let i = f + 10. Does 2 divide i?
False
Let t(m) be the first derivative of 4*m**3/3 + m**2 + 3*m + 3. Let v be t(4). Suppose 0*p + 215 = 5*p - 3*w, -w = 2*p - v. Does 20 divide p?
True
Let p(n) = -n - 3*n**2 + 1 + 3*n**3 - 2*n**2 + 2*n**2 + 2*n. Is p(2) a multiple of 4?
False
Let d be (3/(-9))/(2/(-36)). Suppose 2*i - d*i + 164 = 0. Is 19 a factor of i?
False
Suppose -2*m + 8 = -4. Suppose -i + 0*f = 5*f + m, -4*i - 7 = 3*f. Is (-447)/(-12) - i/(-4) a multiple of 15?
False
Suppose -4*u - 2*r - 2*r + 88 = 0, u + 5*r - 14 = 0. Suppose -2*f - f + u = 0. Let d(c) = 5*c - 12. Is d(f) a multiple of 14?
True
Let k = -57 + 84. Does 20 divide k?
False
Suppose -2*j + f + 54 = -61, 286 = 5*j - 2*f. Let y be (1 - 15/3) + 88. Suppose 4*v - 3*x - 29 = j, -4*v + 4*x = -y. Does 8 divide v?
False
Let n = 3 + -1. Suppose -2*z + 2 = -x + n*x, -4*z + 10 = 5*x. Suppose -80 = -2*u + 2*f, z*f - 146 = -4*u - 3*f. Is u a multiple of 14?
False
Suppose -5*y + 11 = 51. Let g(h) = -h**3 - 8*h**2 - 2*h - 11. Does 2 divide g(y)?
False
Let i = -41 + 29. Is -45*(i/15 + 0) a multiple of 9?
True
Suppose -5 = -2*c + 5. Suppose 41 + 54 = -c*d. Let i = d + 36. Is 17 a factor of i?
True
Suppose 3*z = 125 + 85. Let b be (-2)/(-7) + (-960)/28. Let g = z + b. Does 15 divide g?
False
Let r(b) = -b**3 - 15*b**2 - 16*b - 6. Let q be (14/(-10) + 1)*35. Is r(q) a multiple of 15?
False
Suppose l + 22 = 3*l. Let g = 14 - l. Does 3 divide g?
True
Let l = -8 + 14. Is l a multiple of 6?
True
Let w(h) = h**3 + 1. Let y(k) = -2*k**3 - 3*k**2 - 5. Let v(j) = -w(j) - y(j). Let r be v(-3). Suppose -c = r*c - 80. Is c a multiple of 13?
False
Let d(l) = l**3 - l**2 - l - 1. Let a be d(2). Let x be 0/(1 - 2)*a. Suppose x*g + 2*g = 2, 3*p = -g + 28. Is p a multiple of 9?
True
Let s(z) be the third derivative of z**6/120 + z**5/60 + z**4/24 - 5*z**3/6 + 3*z**2. Let c be s(0). Is (c + 2/(-1))/(-1) a multiple of 3?
False
Does 33 divide (-15)/(-25)*219 - (-3)/5?
True
Suppose -106 - 347 = -3*d. Is 21 a factor of d?
False
Suppose -w + 0 = -3. Suppose 2*m - 13 = w. Is 4 a factor of m?
True
Suppose 0 = -i - 5*f + 1, -3*f - 20 = -4*i + 7. Suppose 5*v = 3*v + i. Suppose -2*p = -2*d - 72, 4*d + 20 - 114 = -v*p. Does 23 divide p?
False
Let v = -2 - 0. Is ((-63)/27)/(v/6) a multiple of 7?
True
Let p be 1/(2 - (-20)/(-12)). Suppose p*q + k = 30, 18 + 22 = 4*q - 3*k. Is 5 a factor of q?
True
Let v(c) = c - 7. Let u be v(10). Suppose -u*n + 12 = n. Suppose -3*p = -3*b - 18, -24 = -4*p - 2*b - n*b. Does 3 divide p?
True
Let r = -5 - -8. Suppose -r*o + 50 = 4*f, 2*f - 46 = -2*o - o. Does 7 divide o?
True
Suppose 0*l = -4*l - 16. Let f = 7 - -5. Let g = f + l. Is g a multiple of 6?
False
Let n be (3 + -3)/(6/(-3)). Let k(u) = -u + 4. Let r be k(n). Suppose -r*d + 0*d = -4*z - 76, -3*z = -5*d + 97. Is d a multiple of 11?
False
Let i be 1/(-2)*0 + -1. Let s(n) = -20*n - 1. Let x(t) = -t + 1. Let g(p) = i*x(p) + s(p). Is 19 a factor of g(-3)?
False
Suppose 2*c = -0*c. Suppose -2 + c = -u. Suppose -a = u*a - 102. Is a a multiple of 17?
True
Suppose 5*r - 4*r = 3. Does 9 divide (-4 + 3)/(r/(-39))?
False
Suppose 7 = x + 1. Let p(j) = -x - 3*j**3 + 2*j**3 + 0 + 2*j**3 - 11*j**2 - 6*j. Is 22 a factor of p(12)?
True
Let m(r) = -r**2 + 4*r. Let s be m(4). Let o be -1*(-2 + (s - -1)). Does 3 divide o + 1 + 15/5?
False
Suppose 0*l + 6 = 2*l. Let p be (3 - 3)/(1 - l). Is (3 - 3) + (p - -2) even?
True
Let t = 80 - 45. Suppose 0 = 5*c + 10 - t. Suppose -3*x + 4*x = c. Is x a multiple of 2?
False
Let u be (87/(-6))/(5/(-10)). Let j = u + 33. Does 14 divide j?
False
Let r be -24 - (-2 + -3 + 1). Let n = -16 - -9. Let q = n - r. Is 13 a factor of q?
True
Let m be (1/3)/(6/54). Let d(s) = 5*s**2 - 3. Is d(m) a multiple of 14?
True
Let b be (2 - -7)*(0 + 1). Let s(t) = 2*t**2 + 0 - 14*t + 1 + 4 + 3. Does 22 divide s(b)?
True
Suppose 5*o = y + 30, 0*o - 53 = -4*o - 5*y. Does 2 divide o?
False
Let l(i) = i**3 + 13*i**2 + 8*i - 22. Does 11 divide l(-11)?
True
Let c = -3 - -6. Suppose -135 = -4*k + 3*g, -52 = -k - c*g - 7. Does 18 divide k?
True
Let h = -2 + 5. Let n be ((-6)/4)/(h/(-6)). Suppose 5*m - 52 = n*m. Is m a multiple of 13?
True
Suppose 0 = -5*a + 2*g, -4*a - g = 3*g. Suppose a*t = 3*t - 93. Does 21 divide t?
False
Suppose -k + 5 - 3 = 0. Suppose 20 = -5*u, -g + 2*u - 6 = -k*g. Is 4 a factor of g?
False
Let h be (6/(-18))/(1/(-3)). Does 2 divide (-6)/4*(-1 - h)?
False
Suppose -134 = -5*d + 16. Is 3 a factor of d?
True
Let d be -1 + -3 - 24/(-3). Let v = d - -14. Does 