Let f = b - n. Does 14 divide f?
True
Let u(k) = 25*k - 13. Is u(3) a multiple of 31?
True
Let l(j) = -j**3 - 3*j**2 - 6*j. Is l(-4) a multiple of 26?
False
Let y = -61 + 133. Does 15 divide y?
False
Suppose -3*x = -6*x + 12. Suppose -x*j = 4*v - 20 + 8, -3*v - j + 11 = 0. Suppose v*f = 30 + 2. Is f a multiple of 4?
True
Let y be (-15)/4*176/(-6). Let a be 8/12 + y/6. Let p = a + -12. Is 7 a factor of p?
True
Suppose 4 - 8 = -2*w. Suppose -20 = -w*y + 30. Is 6 a factor of y?
False
Suppose -5*p = -2*a + 329, 4*p = 2*p + 3*a - 125. Let i = -39 - p. Does 28 divide i?
True
Let a be (-1 - -3)/((-4)/(-8)). Suppose 3*r + 436 = 7*r - a*q, 4*q - 188 = -2*r. Suppose -4*u + 100 = 4*l, -4*l + r = 3*u + 3. Is 21 a factor of l?
False
Let o(g) = 2*g**3 - 5*g**2 + 5*g - 8. Is o(5) a multiple of 24?
False
Let b = -44 - -67. Let h = b + 3. Does 17 divide h?
False
Suppose -6*d - 32 = -2*d. Let o be d/(-12) + 2/(-3). Suppose o = p - 4*p + 21. Is 6 a factor of p?
False
Let i(k) = -2*k - 2. Suppose 2*v = -4 - 16. Is i(v) a multiple of 9?
True
Let q = 23 - 13. Let k = 1 - -4. Suppose -k*l - q = -5*d, 0 = 5*d - l - l - 13. Is 3 a factor of d?
True
Is 23 a factor of ((-22)/(-77))/(1/917)?
False
Suppose -2*t - 3*o + 77 = 0, -2*o + 75 = 2*t + 3*o. Is 16 a factor of t?
False
Let p be (-2)/(4/50)*29. Is 25 a factor of (-4)/(-5)*p/(-10)?
False
Suppose 2*z - 3 = 1. Suppose -z*x = 3*x - 20. Does 3 divide x?
False
Suppose -5*s + 5*c + 670 = 0, -s + 9*c + 140 = 11*c. Is 17 a factor of s?
True
Suppose 16 = -4*w, 2*l - 2*w - 16 + 70 = 0. Let x = 5 - l. Is x a multiple of 18?
True
Suppose 3*k = 6*k + 6. Let l = 72 + -45. Let j = k + l. Is j a multiple of 13?
False
Let z(x) = x**3 + 9*x**2 + 2*x + 11. Is z(-8) a multiple of 7?
False
Let j = 14 + -4. Let g = j - 6. Is 4 a factor of g?
True
Let z(b) = -b + 8. Let r be z(4). Suppose -69 = -4*k + r*m + 11, 4*k - 2*m - 76 = 0. Is k a multiple of 18?
True
Suppose -y + 0*y + 34 = -2*w, 0 = -y + 4. Does 11 divide 88/3 + 5/w?
False
Suppose -8*i + 12 = -4*i. Let a = 66 + -47. Let p = a - i. Does 10 divide p?
False
Suppose 0 = 5*k - 54 - 71. Let v = k + -87. Does 13 divide v/(-3) - (-4)/(-6)?
False
Suppose 0 = -4*q - 3*x - 20, -2*q - 4*x = 2*q + 24. Let m = -9 - -3. Does 4 divide q + (-1)/1*m?
True
Suppose 8*r - 3*r - 15 = 0. Suppose r*m - 6*m = 3*t + 6, -3*m = 5*t. Suppose 2*l = 4*o - 40, -4*o - t*l - 24 + 64 = 0. Is 10 a factor of o?
True
Suppose -6*p + p = 4*z + 105, 0 = -5*z - 4*p - 129. Let o be 15/z - 1076/(-10). Suppose -o = -4*w + 3*m, 2*w - 51 = -0*w - m. Is w a multiple of 13?
True
Suppose 2*j + 51 - 135 = 0. Is 9 a factor of j?
False
Let f(t) = -t**3 - 15*t**2 - 2*t - 9. Does 7 divide f(-15)?
True
Let a be -274*(1 + (-9)/6). Suppose -5*i + a = 32. Is 11 a factor of i?
False
Let z be ((-16)/(-1))/((-8)/(-24)). Let n = -10 + z. Is n a multiple of 16?
False
Let m(i) = i**3 + 4*i**2 + i + 1. Does 19 divide m(3)?
False
Is (195/9)/5 + 4/6 a multiple of 3?
False
Let x be ((-12)/8)/((-1)/(-2)). Let n = x - -11. Does 4 divide n?
True
Suppose 2*u - 7*u + 515 = 0. Suppose -5*c - g = -u, -3 = -c + 2*g + 22. Does 4 divide c?
False
Suppose -x + 3 = -27. Is 15 a factor of x?
True
Suppose 0*d - 4*d = 0. Suppose l + 0*l + 3*p - 24 = d, -l - 5*p + 20 = 0. Does 15 divide l?
True
Let t(x) = x**2 + 9*x + 2. Does 18 divide t(-13)?
True
Suppose -2*o + 4*o = -4*z - 20, 0 = 4*z + 16. Let x = o + 13. Does 8 divide x?
False
Let j = -4 + 28. Suppose -7*z + 10*z = j. Is 8 a factor of z?
True
Suppose 4*u = 15 + 9. Suppose 4*y - 4*f = 28, -u = -2*y + 3*f + 13. Is 8 a factor of 29/y + 3/6?
False
Suppose 3*n + 28 = -68. Let p = 52 + n. Is p a multiple of 11?
False
Let r = -10 + 14. Suppose 0 = -3*v - r*l + 52, -33 = -2*v - 2*l - l. Is 20 a factor of v?
False
Let h(s) = -s**2 - 7*s - 6. Let v = 4 - 9. Let q be h(v). Suppose -2*x + q*p = -46, 0*x - 4*x + p + 57 = 0. Is x a multiple of 11?
False
Suppose 0 = -4*k + 3*p + 92 + 255, 0 = -3*k + p + 254. Is 14 a factor of k?
False
Let q(u) = -3*u - 6. Let d = 4 + 2. Suppose -3*h - d = -4*o + 32, 4*h - o = -29. Is 8 a factor of q(h)?
False
Suppose 0 = 5*s - f - 75, -f - 33 = -2*s - 3. Let n be 4/18 + ((-29)/(-9))/(-1). Is 15 a factor of (-124)/n + (-5)/s?
False
Let y = -57 + 69. Does 4 divide y?
True
Suppose 5*v = 3*h + 45, h - 27 = -2*v + 4*h. Is v even?
True
Let s = 84 - 36. Is 16 a factor of s?
True
Let y = 45 - -2. Does 24 divide y?
False
Let s(r) = -r**3 + 7*r**2 + 13*r - 1. Is s(7) a multiple of 11?
False
Let h be ((6 - 3) + -5)*16. Is 24 a factor of (162/24)/((-3)/h)?
True
Let b = 0 - -2. Suppose -58 + 2 = -b*w. Is 14 a factor of w?
True
Let j(r) = -13*r**2 + 14*r**2 - 2*r**3 - 3*r**3. Is 2 a factor of j(-1)?
True
Let d(w) = -9*w**3 + 7*w**2 - 6*w**2 - 1 + w + 0*w**3 - 2*w**2. Let o be d(1). Does 6 divide ((-12)/20)/(1/o)?
True
Suppose 2*i + 3*g = 27, 0*i + 5*i + 5*g = 65. Suppose 4*c - 2*c = 6. Let l = c + i. Is 5 a factor of l?
True
Let d(q) be the second derivative of q**3/2 - q**2 + q. Does 3 divide d(4)?
False
Let s(c) = -2 + 0*c - c - 2. Let j(m) = -4*m - 15. Let y(b) = 6*j(b) - 22*s(b). Is 3 a factor of y(-4)?
True
Let k(d) = d - 11. Let a be k(7). Let t be 3/(-6)*(a + -2). Suppose -t*w + 61 = -2*n, 3*w - 5*w = 4*n - 62. Does 7 divide w?
False
Suppose -4*l + 246 = -42. Is 29 a factor of l?
False
Let x = 6 + -5. Let y = 3 - x. Is 2 a factor of y?
True
Let w(c) = -c + 9. Let j be w(6). Suppose j*t + t + 3*l - 9 = 0, 4*l + 4 = 0. Is 3 a factor of t?
True
Suppose -5*h + 2*k = -47, -4*h - k + 31 = -4. Does 5 divide (-4)/(-8)*(h - -1)?
True
Let o(a) be the first derivative of 2*a**3/3 - a - 2. Let x be o(7). Suppose x = 4*u - 47. Does 19 divide u?
False
Let i = -26 - -26. Let s(k) = 66*k - 2. Let m be s(2). Suppose i = 4*l - m + 34. Is l a multiple of 10?
False
Suppose 0*h + 5*h - 50 = 0. Does 3 divide 567/45 - 6/h?
True
Let a(f) = f**3 - f**2 - f - 1. Let k be a(2). Let o be (k/(-1) - -5)*1. Is (1 - (-2 + o)) + 23 a multiple of 11?
True
Let t(v) = v**3 + 6*v**2 - 7*v + 9. Does 9 divide t(-7)?
True
Suppose 12 = -3*l - 0*l. Let k be (0/(-3))/(l/2). Let d = k - -3. Does 3 divide d?
True
Let k(q) = 2*q + 30. Let c(o) = -o - 10. Let t(f) = -7*c(f) - 2*k(f). Is t(8) a multiple of 11?
False
Let d = 11 - 8. Suppose -d*r + 3*u + 70 - 4 = 0, -5*r + 110 = -2*u. Is 11 a factor of r?
True
Is 2 + (-2)/(-8) + 9390/40 a multiple of 20?
False
Let o(j) = 15*j - 57. Let w(q) = 2*q - 7. Let s(g) = 4*o(g) - 33*w(g). Does 8 divide s(-3)?
False
Is 47 a factor of -8*94*(-5)/20?
True
Suppose 12*y - 320 = 7*y. Suppose 5*l = y - 19. Is 6 a factor of l?
False
Let b(n) = -4*n - 8. Suppose -10 = -5*y - 45. Does 10 divide b(y)?
True
Suppose -5*v - 18 = -3*u - u, -10 = 5*v. Suppose 4*w - 105 = -b, u*w - 4*b = -w + 93. Does 9 divide w?
True
Suppose -3*f + 132 = k, -f - k + 28 = -18. Let x = f + -9. Is 17 a factor of x?
True
Let a be 3*((-66)/(-9) + 1). Let m = a - 13. Does 8 divide m?
False
Suppose 75 = -3*s + 4*p + 18, -90 = 5*s - 5*p. Let x = -9 - s. Is 3 a factor of x?
True
Let v = 5 + 0. Suppose -3 = v*h - 13. Suppose 2*x + h*n - 46 = 0, 6 = -6*n + 3*n. Is x a multiple of 12?
False
Let g = -8 + 10. Suppose -l + 72 = 3*o, -o + 15 = g*o. Is 20 a factor of l?
False
Suppose 165 = 4*n + 2*f - 199, n = -2*f + 88. Does 26 divide n?
False
Let v(q) = 2*q**2 - 6*q + 4. Suppose 2*t + 18 = -t. Let w be v(t). Suppose -2*z - 1 = 1, w = 5*k - 2*z. Is 11 a factor of k?
True
Suppose -7*a - 476 = -1736. Is 24 a factor of a?
False
Suppose -5*a - 2*n = -49, 5*n - 5 = -2*a + 2. Does 5 divide a?
False
Let q(n) = -7*n - 3. Let w = -10 - -8. Is q(w) a multiple of 11?
True
Let j = -74 + 185. Is j a multiple of 7?
False
Let l(q) = -q**3 + 12*q**2 + 6*q - 13. Is 8 a factor of l(12)?
False
Let i be 8/2*(3 + -2). Suppose 182 = 3*w + 2*w + 4*s, -i*w = -4*s - 124. Is w a multiple of 17?
True
Does 12 divide (-16)/(-12)*(40 - 4)?
True
Suppose -4*b - 159 = -7*b. Suppose -2*j - b = -2*x - x, -4*x - 5*j = -40. Is 10 a factor of x?
False
Let y(t) = t**2 + 3*t - 4. Let b(l) = 2*l**3 + 2*l**2 - 3*l - 2. Let s be b(-2). Let m be y(s). Suppose 50 = 4*g + j, -g + j + 11 + 4 = m. Is 13 a factor of g?
True
Let b be (-3)/6*0/2. Suppose d - 6*d = b. Suppose d = -r - 1, 0*z + 4*r = -z + 3. Is z a multiple of 3?
False
Let v = 13 - 9. Suppose 0 = -v*x + 14 + 82. Does 8 divide x?
True
