3, -3*c - 45 = 5*h. Is 36*((-16)/h + -1) a multiple of 15?
True
Let g be ((-1)/1)/(2/(-24)). Suppose 4*u - g = -0*u. Is 7 a factor of u/(-12) - 57/(-4)?
True
Let k(s) = -14*s**2 + 35*s - 12. Let i(j) = 5*j**2 - 12*j + 4. Let v(w) = -17*i(w) - 6*k(w). Does 4 divide v(-6)?
True
Let i(c) = 9*c - 6. Does 15 divide i(4)?
True
Suppose j - 68 = 2*d + 6, 0 = 4*d + 4. Let p = j + -31. Is 11 a factor of p?
False
Let v = 13 - 9. Let k(q) = q**3 - 3*q**2 - 4*q - 3. Let o be k(v). Does 5 divide o/3 + (-14)/(-2)?
False
Suppose -3*b - 2*b = -15. Is 13 a factor of 0 + 13 + -3 + b?
True
Let f = -33 - -16. Let u = f + 39. Does 19 divide u?
False
Let x be 140/(-8)*28/(-5). Suppose 2 = 4*h - x. Is h a multiple of 10?
False
Let k(r) = -22*r**2. Let m be k(-1). Let b be ((-320)/24)/((-4)/90). Is b/44 - 4/m a multiple of 4?
False
Let l be (-15)/(-5)*4/6. Let u(g) = -3*g - g + 4 + l*g. Is u(-3) a multiple of 7?
False
Is 10 a factor of 1050/10*4/10?
False
Is 13 a factor of (-3)/(10 - -2) - 3125/(-20)?
True
Is (-1590)/(-40) - (-2)/8 a multiple of 10?
True
Suppose 3*x = 122 - 5. Does 13 divide x?
True
Is 9 a factor of 316/28 + (-6)/21?
False
Suppose -76*m = -77*m + 122. Is 36 a factor of m?
False
Suppose -8*w = -6*w - 160. Does 16 divide w?
True
Let c = -232 - -352. Does 15 divide c?
True
Let u = 8 - -14. Let k = -32 + u. Let r = 14 + k. Is 4 a factor of r?
True
Let y(a) = 5*a + 12. Let z(d) = 6*d + 11. Let t(v) = 2*y(v) - 3*z(v). Is t(-6) a multiple of 11?
False
Suppose -2*b = -2*z - 4, -3*z = 4*b - 21 - 1. Let q(j) = j**2 + 2*j. Is q(z) a multiple of 4?
True
Is 14 a factor of 56*(-10)/(-4) + 3?
False
Does 7 divide 15 + (-1 - 0/3)?
True
Let x be (6/(-9))/((-2)/3). Suppose b + x = 14. Does 9 divide b?
False
Suppose 0*f - 4*f - g + 16 = 0, 3*f = 4*g - 7. Suppose -2*d + 3*p + 107 = 32, -f*p = -3*d + 114. Does 13 divide d?
True
Let m be 1/(((-8)/(-6))/4). Suppose -4*f - f + 128 = -4*a, -3*a = m*f - 66. Is f a multiple of 10?
False
Is (-2 - 536/(-4))/1 a multiple of 25?
False
Let b(w) = -11*w - 2. Let k(q) be the first derivative of -q**3/3 + 4*q**2 - 9*q + 2. Let v be k(7). Does 16 divide b(v)?
False
Let o(d) = d - 5. Let l be o(5). Let f = l - -26. Is 13 a factor of f?
True
Let k = -31 + 47. Does 15 divide k?
False
Let v(y) = y - 5. Let j be v(9). Suppose -56 = -j*g - 0*g. Does 6 divide g?
False
Let o be -1 + -1 - (-10 - 4). Suppose -o - 6 = -n. Is 8 a factor of n?
False
Let d(c) = -4*c - 3. Let o(v) = -9*v - 5. Let a = -23 + 16. Let q(l) = a*d(l) + 4*o(l). Is q(-4) a multiple of 16?
False
Let r(s) be the second derivative of -s + 9/2*s**2 + 0 + 4/3*s**3 - 7/12*s**4 - 1/20*s**5. Is r(-8) a multiple of 9?
True
Let q = 25 - 42. Let s = q + 45. Is s a multiple of 14?
True
Suppose 3*f + 0*x - 122 = x, -2*f = 2*x - 68. Is 13 a factor of f?
True
Let x(r) be the third derivative of 0*r**3 + 0*r + 0 + 4*r**2 - 1/12*r**4. Does 10 divide x(-5)?
True
Let d(x) = x**2 + 4*x + 7. Let v(f) = -f**3 + 8*f**2 + 10*f + 3. Let s be v(9). Suppose s = q - 4*q, 0 = -4*c + 5*q. Is d(c) a multiple of 12?
True
Let y(k) = -2*k**3 - k**2 - 1. Let u(j) = -j**3 + 1. Let b(d) = u(d) - y(d). Let l be b(-3). Is 19 a factor of 306/8 - (-4)/l?
True
Suppose -75*c - 980 = -79*c. Is 35 a factor of c?
True
Suppose 3*i + 183 = 3*k, 0 = -3*k + i + 93 + 92. Does 31 divide k?
True
Suppose 76 = l + 3*l. Is l a multiple of 19?
True
Let n(u) be the second derivative of -u**5/15 + 7*u**4/24 - 2*u**3/3 + 3*u. Let s(b) be the second derivative of n(b). Is 16 a factor of s(-7)?
False
Let g(v) be the third derivative of -1/24*v**4 + 0 - 2/3*v**3 + 1/60*v**5 - 4*v**2 + 0*v. Is g(4) a multiple of 8?
True
Let d = -242 + 357. Suppose -2*g + d = 3*g. Does 13 divide g?
False
Suppose 2*n = -4*v + 24, 5*n = -v - 8 - 4. Does 5 divide 40/(-14)*(-28)/v?
True
Let w(f) = -f**3 - 4*f**2 - 5*f - 5. Let q be w(-3). Let o(c) = 12*c**2 + c. Is o(q) a multiple of 5?
False
Suppose -n - 3*v - 8 = 0, 4*v - 2 - 4 = 2*n. Let q(h) = h**3 + 7*h**2 + 5*h + 7. Does 8 divide q(n)?
True
Let w = 2 + 0. Let h be (-3)/(-6)*0/w. Suppose -5*m - n + 74 = h, 3*m - 26 = 3*n + n. Is m a multiple of 10?
False
Suppose -3*c + 4*c = 21. Let d = 41 - c. Is d a multiple of 7?
False
Suppose 3*p - 44 = -2*u + 96, -2*p = -4*u - 72. Let t = p - 23. Is t a multiple of 7?
True
Suppose 0 = -4*u - 35 + 3. Let l(q) = -q**3 - 9*q**2 - 7*q + 7. Let n be l(u). Is (2*-1)/(n/3) a multiple of 6?
True
Let s(h) = -5*h**2 + 9*h + 1. Let c(z) be the third derivative of z**5/60 - z**3/6 + z**2. Let f(g) = 4*c(g) + s(g). Does 7 divide f(7)?
False
Let i(w) = -w**2 - 6*w + 9. Let r be i(-8). Let o(y) = -y**3 - 7*y**2 - 5*y - 3. Is o(r) a multiple of 16?
True
Suppose 3*s + 88 = 478. Does 13 divide s?
True
Suppose 0*n + 5*n + 2*p = 890, 3*p - 719 = -4*n. Is n a multiple of 16?
True
Let g = 20 + -6. Let d(o) = o**2 - 2*o - 4. Let l be d(3). Let b = l + g. Is b a multiple of 13?
True
Let z(u) = u**3 + 8*u**2 - u - 3. Let c(a) = -a**2 + 10*a. Let s be c(10). Suppose 2*p + s*p = -16. Is z(p) a multiple of 4?
False
Is 17 a factor of 20 - 1 - 3/(-9)*0?
False
Let b = 344 + -42. Is 28 a factor of b?
False
Suppose 5*k - 22 = 2*d, 0 = 3*k - 5 - 7. Let r be d/((-5)/(-2) + -3). Is (r/4)/(2/24) even?
True
Let v(n) = -2 + 2 + 1 - 8*n - 2. Is 12 a factor of v(-4)?
False
Let w = 16 - -2. Suppose -f = f + w. Is (16/6)/((-2)/f) a multiple of 12?
True
Suppose -5*w + g = -62, w - 4*g - 4 = -3. Is w a multiple of 13?
True
Let q(l) = 3*l**2 - 9*l - 13. Is q(9) a multiple of 33?
False
Suppose -3*q = -5*t - 129 - 117, -157 = -2*q + t. Does 13 divide q?
False
Suppose -5*w = -0*w + 20, -3*q + w = -13. Suppose q*a + 0*a - 18 = 0. Is a a multiple of 3?
True
Let c be (-4)/(-6) - (-76)/3. Suppose -4*n + n = -g + c, 4*g - 104 = 4*n. Does 12 divide g?
False
Suppose 4*m - 134 = -54. Suppose 2*s = s + 2. Suppose -t - m = -s*t. Is 20 a factor of t?
True
Let x = 168 - 136. Is 31 a factor of x?
False
Let h(t) = -16*t - 4. Let z be h(-2). Suppose -5*m - 15 = 0, -3*f + 3*m - 12 = -0*m. Let v = z + f. Does 7 divide v?
True
Let k be -1 + (-3)/(2 - 5). Suppose k*b - 2*b + 4 = 0. Suppose 65 = 4*f - r, 3*f + b*f - 3*r = 83. Is 15 a factor of f?
False
Suppose -62 = -5*y - 302. Let m be (y/(-40))/(6/20). Suppose 0 = m*n - 15 - 13. Is n a multiple of 5?
False
Suppose 4*c + 26 = z, -2*z - c = 3*z - 25. Is z a multiple of 4?
False
Let d = -214 - -388. Is d a multiple of 22?
False
Suppose 2*z - g = 2 + 2, 0 = -5*z + 4*g + 10. Let v = 5 + z. Is 4 a factor of v?
False
Suppose 2*c + 1 = 9. Suppose -5*w - 2*s = 3*s - 100, c*w = -5*s + 84. Is 6 a factor of w?
False
Suppose -2*s + 17 = -97. Is 18 a factor of s?
False
Let g be (0 - 0) + 6/3. Suppose 0 = g*k - 37 + 93. Let i = k + 48. Is i a multiple of 10?
True
Let v(p) = -11*p**3 + 5*p + 3. Let a be v(-3). Suppose 0*s - a = -5*s. Is 22 a factor of s?
False
Let v(g) = -3*g**2 - 26*g + 3. Is v(-4) a multiple of 7?
False
Let w be 2*5/(-6)*-3. Suppose w - 37 = -2*o. Is 8 a factor of o?
True
Let j = 316 + -153. Let v = j - 73. Is v a multiple of 25?
False
Let r be (0 - 2)/(-3 - -2). Suppose -r*w + 27 = w. Is 9 a factor of w?
True
Let z(p) = -14*p + 14*p + 7*p**2 - 4. Is 12 a factor of z(-2)?
True
Let o be (2/(-4))/((-3)/30). Suppose -5*z = -3*z - o*q + 27, -4*z + 2*q = 14. Does 16 divide 80/5*(z - -2)?
True
Does 20 divide (-6)/4 + 728/16?
False
Suppose k - 216 = -2*z, -3*z = -z + 3*k - 220. Let h = z + -61. Does 20 divide h?
False
Let m be 48/40*(-5)/(-2). Suppose b + 0 = m. Is b even?
False
Let z be (0 - 30/(-9))*-3. Let a(j) = -j**2 - 10*j + 3. Let n be a(z). Is 12 a factor of (-14)/21 + 137/n?
False
Let i(w) = 2*w**3 - 10*w**2 + 6*w - 28. Is i(7) a multiple of 11?
False
Let l(u) = -3*u**3 + 2*u + 1. Let s be l(-1). Suppose s*z = -z + 57. Suppose -5*v + 31 = -z. Does 8 divide v?
False
Let d = -10 + 13. Suppose d*m - 70 = 68. Is 16 a factor of m?
False
Let d = 149 - 88. Let i = d - 42. Is i a multiple of 19?
True
Is 111*(-4 - (-39)/9) a multiple of 10?
False
Does 27 divide (-3)/(19/(-9) + 2 + 0)?
True
Suppose 7*p - 2*p = 255. Let m = 94 - p. Is m a multiple of 12?
False
Does 5 divide (0 - 3) + (-14)/((-70)/165)?
True
Let b(w) = -w**2 + 6*w + 10. Is b(7) a multiple of 2?
False
Let i(d) = -6*d**3 - 3*d**2 - 5*d - 10. Is 35 a factor of i(-3)?
True
Suppose 7*t - 5*t - 144 = 0. Is 11 a factor of t?
