y. Does 14 divide k(-6)?
False
Let y be (16/12)/((-2)/(-9)). Is 6 a factor of (y/(-4))/((-2)/24)?
True
Suppose -3*w = -5*w + 4. Suppose 35 = 4*r + 5*h - 3, 3*r + w*h - 32 = 0. Is 4 a factor of r?
True
Suppose -3*j - 40 = -4*u, -5*u + j + 16 = -34. Let m be 2/u - (-48)/(-15). Let p = 5 + m. Is p a multiple of 2?
True
Suppose -4*l - 83 = -3*d, 4*d - 3*l = 2*l + 110. Is 22 a factor of d?
False
Is (-2)/(-15) - (-3740)/75 a multiple of 14?
False
Let m be ((-118)/6)/(((-3)/(-3))/(-6)). Let p(r) = -r**2 - 4*r - 3. Let b be p(-3). Suppose -3*v - 88 = -4*y, -4*y + 2*v + m - 30 = b. Does 11 divide y?
True
Let v(j) = 5*j**2 + 2. Let u be v(-3). Suppose 5*b + 52 = -3*s, -2*b = b - 3. Let k = s + u. Is k a multiple of 14?
True
Let y(m) = -m**3 + 10*m**2 + 6*m - 16. Is y(9) a multiple of 24?
False
Let c be -3 - -2 - (-1 + 0). Suppose 4*j - 2*f - 18 = 0, 3*f = -c*j + j - 12. Suppose 5*o = j*h + 25, 3*h = 5*o - 6*o + 5. Is o a multiple of 5?
True
Suppose 3*j = 4*k - 255, -3*k + j = 4*j - 165. Is k a multiple of 12?
True
Let t = -11 + 15. Suppose t = 4*a - 3*a. Suppose 30 = -m + a*m. Is m a multiple of 8?
False
Let x(u) = u**3 + u**2 - u + 1. Let w be x(1). Suppose 5*t = w*t + 30. Is t a multiple of 6?
False
Let q(v) = -10*v + 1. Is q(-1) a multiple of 3?
False
Suppose -5*g + 149 - 39 = 0. Is g a multiple of 13?
False
Suppose 0*n = 3*g + 4*n - 63, -3*g + n = -78. Does 16 divide g?
False
Let h(i) = -30*i + 8. Is 8 a factor of h(-4)?
True
Suppose r - 17 - 13 = -5*s, 3*s - 35 = -4*r. Let p = 7 - s. Suppose 0 = -0*a - p*a + 66. Is a a multiple of 10?
False
Suppose 4*p - 240 = 168. Does 34 divide p?
True
Let v be 0 + -2 - 8*1. Let b = -2 - v. Is b a multiple of 8?
True
Let h be 18/24*(-8)/(-2). Does 32 divide 48*h/18*4?
True
Suppose 0 = -j - s - 9, 1 + 38 = -5*j - 2*s. Let a = 0 + j. Let i = a + 20. Is i a multiple of 6?
False
Does 20 divide (-290)/(-4) + (-9)/(-18)?
False
Is 26 a factor of (1/((-1)/3))/(12/(-376))?
False
Let v be (-4)/(-10) + 13/5. Let h be (-6)/3 - -5 - v. Suppose -162 = -3*m + 3*s - 66, h = 4*m + 3*s - 114. Is m a multiple of 15?
True
Suppose -6*j + 2 = -5*j. Suppose 2*v = -3*r + 2*r + 83, -j*v + 344 = 4*r. Is 26 a factor of r?
False
Let c = 1 - 16. Let k = c + 25. Is 10 a factor of k?
True
Suppose -h - 3 + 6 = 0. Suppose 0 = -h*j + 111 - 24. Does 12 divide j?
False
Let f = -2 + 10. Does 4 divide f?
True
Let m = 2 + -8. Is 10 a factor of (m/(-4))/(6/64)?
False
Suppose -m + 18 = -0*m. Does 18 divide m?
True
Suppose -4*d = -d + 6, i - 130 = 5*d. Does 30 divide i?
True
Suppose 2*m = -3*m + l + 3, 3*m + 3*l - 9 = 0. Let z be -4*(2 + m/(-2)). Let k(r) = r**3 + 6*r**2 - 5*r - 8. Is k(z) a multiple of 12?
False
Suppose 0 = 11*j - 16*j - 20. Is j - (4/1 + -36) a multiple of 14?
True
Let g(f) = f**3 - 5*f**2 + 5*f - 1. Let l be g(4). Does 20 divide 38 - 0/(5 - l)?
False
Suppose 5*j = 3*v - 15 + 1, 7 = v - 4*j. Suppose 4*c + 37 = 3*q - 83, -5*q = v*c - 171. Is 12 a factor of q?
True
Suppose h = 2*h + 2*z + 53, 4*h = -5*z - 215. Is 10/h - 167/(-11) a multiple of 15?
True
Let b(p) = p - 21. Let w be b(30). Let h(z) = -z - 4. Let d be h(-5). Does 17 divide 6/w*54/d?
False
Let w be (2 - 3)/(1/(-24)). Let k = w + -6. Is k a multiple of 9?
True
Let u(y) = -14*y**2 + 3*y + 2. Let d be u(-1). Let h(t) = t**2 + 2*t - 3. Let m be h(3). Is m*(-5)/(d/6) a multiple of 16?
False
Let r = -22 - -31. Suppose -4*f + r = -f. Suppose 0*t + f*t = 2*p + 46, 3*p - 67 = -4*t. Is 7 a factor of t?
False
Let x = 42 + 9. Let k = 7 - -18. Let g = x - k. Is g a multiple of 13?
True
Let m(d) = d**2 - 2*d - 5. Is 19 a factor of m(6)?
True
Suppose 2*g + 3*g + 80 = 0. Let d be (-25)/(-10)*g/(-10). Suppose -k = d*j - 13, -k - 3*j + 65 = 4*k. Is 5 a factor of k?
False
Suppose 5*n = 25, -3*v = 5*n - 48 + 8. Suppose -4*o - p = -17, 4*p + 21 = v*o - 16. Is 2 a factor of o?
False
Suppose n + n + 2*v - 238 = 0, -4*v + 116 = n. Suppose 0 = d - 3*d + n. Is 14 a factor of d?
False
Suppose -16 = -5*y - 56. Let f = y + 17. Is f a multiple of 3?
True
Let b be (1 + (-4)/6)*57. Suppose -1 = l - b. Is 9 a factor of l?
True
Let u(r) = r**3 + 12*r**2 + 6*r + 29. Is 51 a factor of u(-9)?
False
Suppose -5*a = 7 + 3. Let q = 0 - a. Suppose 5 = -q*c + 81. Is c a multiple of 19?
True
Suppose 9 + 0 = 3*v. Let t(l) = 2*l + 2 - 2*l - l**3 + 6*l**2 - v. Is 7 a factor of t(5)?
False
Suppose 1 = p - 11. Does 4 divide p?
True
Let j(z) = z - 3. Does 2 divide j(8)?
False
Let i = -69 - -126. Suppose 0 = -4*o + 3*f - 15 + i, 5*f = -5*o + 70. Is 11 a factor of o?
False
Suppose 2 = -5*i - 3, -2*i - 27 = -5*a. Is a a multiple of 2?
False
Let n be (-22)/(-4)*(-2)/1. Let u = 2 + n. Let c = u - -14. Does 4 divide c?
False
Let o = -190 - -574. Is o a multiple of 16?
True
Let d = -36 + 91. Does 5 divide d?
True
Let y(i) = 9*i + 3. Let h(m) = m. Let x(t) = 2*h(t) - y(t). Does 18 divide x(-3)?
True
Let p be (-76)/(-8) + (-3)/(-6). Suppose -5*u - p = 0, -4*u + 21 = 5*t - 91. Is 20 a factor of t?
False
Suppose u - 3*q - 6 = -0, -102 = -5*u - 3*q. Is u*(11/2 - 4) a multiple of 8?
False
Is 3 a factor of ((-12)/(-9))/(6/(-63)*-1)?
False
Suppose -60 = 3*w - 255. Suppose -6*z - w = -z. Is 13 a factor of (z/1)/(2 - 3)?
True
Let h(d) be the third derivative of -d**6/120 - d**5/10 - 7*d**4/24 - d**3/3 - d**2. Suppose 4*q + 44 - 14 = -3*a, -2*q = -4*a - 18. Is h(a) a multiple of 16?
False
Let f(g) = 25*g**2. Is f(-1) a multiple of 6?
False
Let u = 57 + -37. Suppose -3*v = -5*v + u. Is v a multiple of 3?
False
Let j be 2/3 + (-172)/(-3). Let w be 2504/28 - (-16)/28. Let n = w - j. Does 16 divide n?
True
Let f(v) be the first derivative of -2 - 5/2*v**2 + 5*v. Does 12 divide f(-8)?
False
Let w be (-4 + 4)/(-3 - -1). Suppose 5*g - 10 = w, 5*d - 5*g + g = 52. Is d a multiple of 7?
False
Let u(q) be the first derivative of q**3/3 + 5*q**2/2 - 2*q - 2. Let i be u(-6). Let z = i + 2. Does 5 divide z?
False
Let i(l) = -l**3 + 5*l + 2. Let d be i(-3). Suppose 8 = 2*q - 2. Is d/2 - (-2 + q) a multiple of 2?
True
Let m = -29 - -119. Suppose -f + m = 2*f. Is 9 a factor of f?
False
Let s = 461 + -239. Is s a multiple of 26?
False
Let o(j) be the first derivative of -5*j**2 - 3*j - 3. Let g(b) = -10*b - 2. Let z(q) = 3*g(q) - 2*o(q). Is 10 a factor of z(-1)?
True
Let w be 16/(-6)*(-21)/28. Let r(g) = 31*g. Let d be r(w). Let x = d - 20. Is 21 a factor of x?
True
Let b be 2/(-13) + 54/13. Suppose -b*x + 76 = 4*z, 20 = x + 3*x. Is z a multiple of 14?
True
Let u be 3 - 2/(-6)*0. Suppose -5*d = -u*d - 54. Is d a multiple of 9?
True
Let n = 46 + -14. Does 14 divide n?
False
Suppose -3*r = -2*a - 28, 2*r - 4*r + 2*a = -22. Suppose -r*n + 12 = -2*n. Let g(f) = 4*f**2 - 4*f + 1. Is 11 a factor of g(n)?
False
Let n = -10 + 75. Is n a multiple of 13?
True
Let l(r) = -r**2 - 6*r + 6. Let b be l(-6). Suppose -b*o = -o - 25. Suppose o*f - 55 - 30 = 0. Does 17 divide f?
True
Is 48 - ((-8)/(-4) + 0) a multiple of 7?
False
Let x(j) be the third derivative of -j**5/60 + j**4/24 + 29*j**3/3 - 2*j**2. Let r be x(0). Let c = r + -40. Does 9 divide c?
True
Suppose -5*d - 2*c = -2, d + 2*c + 0*c + 6 = 0. Let p(v) = 0*v - 3*v + 7 + d*v - 2*v. Does 11 divide p(-5)?
True
Let m(f) = 35*f**3 + 5*f**2 - 4*f. Let o(d) = -34*d**3 - 4*d**2 + 3*d. Let h(b) = 2*m(b) + 3*o(b). Let n be h(1). Let t = -3 - n. Is t a multiple of 15?
True
Suppose 0*p = h - 5*p - 52, 56 = 3*h + 5*p. Does 8 divide h?
False
Let f(x) = -x**3 - 2*x**2 + 6*x + 4. Let y be f(-4). Let v = y - 7. Suppose 12 = -a + v*a. Is a a multiple of 3?
True
Let t be (-58)/(-8) + 2/(-8). Suppose 0 = -c + 5 - 3. Let y = c + t. Is y a multiple of 3?
True
Let t(h) = -h**3 + 10*h**2 + 11*h + 2. Let r be t(10). Let n = r + -65. Does 18 divide n?
False
Suppose -5*l - 186 = -2*t - 7*l, 3*l = 9. Is t a multiple of 5?
True
Suppose 0*b - 20 = -4*b. Suppose 0 = 3*u + 7 + b. Does 7 divide 6/u*(-16)/2?
False
Suppose d = -d - 4*o, 0 = 2*d + 5*o + 1. Does 12 divide 2/d + (-2 - -14)?
False
Suppose -z + 0*z = d - 269, -3*d = -4*z + 1076. Is z a multiple of 13?
False
Let f(d) = d**2 - 3*d - 6. Suppose -5*m = -10 - 15. Let t be f(m). Suppose 7*b - 15 = 5*b - 5*h, -36 = -t*b - 4*h. Is 5 a factor of b?
True
Suppose 2*d - 69 = 17. Is d a multiple of 8?
False
Suppose -3*g = 2*g. Suppose 5*d + 152 = i + i, -5*d = g. Suppose i = 2*c + 2*c. Is c a mult