alse
Suppose -2*k + 28 = 2*u + 2*k, -2*k + 2 = -2*u. Suppose -5*o + 36 = 2*m, m - 8 = -u*o + 19. Suppose o*p - 92 = 2*p. Does 6 divide p?
False
Let d = -13 + 144. Is 35 a factor of d?
False
Let r = 12 - 7. Suppose -o - 3*o = -r*g + 186, -5*g + 2*o + 188 = 0. Is g a multiple of 14?
False
Is 29 a factor of (-24)/60 - 584/(-10)?
True
Let r = -100 + 212. Suppose 2*w - 2*n - r = 0, 3*w + 2*n = -0*w + 173. Suppose -6 = 2*o - 5*k - 25, 0 = -3*o - 2*k + w. Does 13 divide o?
False
Suppose 9 = -v + 78. Does 23 divide v?
True
Let p(z) = z + 2. Suppose 4*o = -3*n - 3, 5*o - 2*n = -5*n. Let d be p(o). Suppose 5*t - 39 = y, 10 + 34 = d*t + 4*y. Is 4 a factor of t?
True
Let h(r) = -10*r**3 - 3*r**2 + 2*r - 1. Let k(b) = 20*b**3 + 6*b**2 - 4*b + 2. Let g(d) = -7*h(d) - 3*k(d). Is g(2) a multiple of 28?
False
Let t = -36 - -51. Let r = t + 0. Is 12 a factor of r?
False
Suppose 2*h - 4*q + 284 = 0, q - 198 - 349 = 4*h. Suppose -f + 6 = -16. Is 6 a factor of (-2)/11 - h/f?
True
Suppose 2*k - 176 = -k + i, -188 = -3*k - 2*i. Is k a multiple of 21?
False
Let c = -6 - -11. Suppose 4 = p + 5*x + 19, -c*x = 20. Suppose -p*z + z = -44. Is z a multiple of 7?
False
Let c(j) = 6*j**2 + 11*j - 8. Let s(k) = -k**2 + 1. Let w(a) = -c(a) - 5*s(a). Is 3 a factor of w(-11)?
True
Let a = -1040 + 1484. Is 24 a factor of a?
False
Let u(k) = k**2 + 69. Let l be (-22)/77 - 2/(-7). Does 23 divide u(l)?
True
Suppose 0 = -w - 0*w. Let q(m) = -m**3 + 3. Does 3 divide q(w)?
True
Is (0 + -26)/(-1 - (-1 - -2)) a multiple of 3?
False
Let f(l) = -l + 6. Suppose -2*b - 12 = g, -b + 2*b = -5*g - 33. Does 12 divide f(g)?
True
Let q(l) = -3*l**3 - l**2 + l + 1. Let d be q(-1). Suppose -2*y = 4*t, 0 = 5*t - d*y + 6*y. Suppose t*x = -3*x + 57. Is 11 a factor of x?
False
Let b be 1*4*9/4. Let q = 48 + b. Suppose 0 = -4*c + c + q. Does 10 divide c?
False
Is 12 + -15 + 5*1 a multiple of 2?
True
Let r = 19 - 11. Suppose -2*z = -0*z - r. Is z a multiple of 3?
False
Let f be 17/3 - 2/3. Is (-1)/f + (-51)/(-5) a multiple of 5?
True
Suppose 4*g + 740 = 3*b, -797 = -4*b - 4*g + 143. Suppose -4*u + 0*u = -b. Does 30 divide u?
True
Let z(u) = -2*u**3 + u**2 + 2*u - 1. Suppose 3*l - 24 = 3*v, -4*l - 1 = 4*v - 9. Let n = 3 - l. Does 15 divide z(n)?
True
Let y(b) = 5*b + 13 - 2*b - 4*b. Is 11 a factor of y(-9)?
True
Let g(h) = 2*h - 5. Let d be g(4). Suppose -d*n + n + 4*u + 14 = 0, -4*n = -4*u - 28. Is 7 a factor of n?
True
Let s(v) = -6*v - 4. Is s(-3) a multiple of 14?
True
Suppose -k - 2*k = 15. Let h(i) = -13*i + 1. Let d be h(k). Let r = d + -29. Does 13 divide r?
False
Let g be (-2)/(-6) - (-392)/12. Suppose -4*y + 3*a + 76 = 0, 5*y - 63 = 4*a + g. Does 4 divide y?
True
Suppose 0 = 2*v + 3*v. Suppose 0*o - 5*o = -w - 109, v = 2*o + w - 38. Is o a multiple of 10?
False
Is 18 a factor of (-4 + 4 - -5) + 73?
False
Suppose -13 = g + 44. Suppose 63 = -3*h + 2*j - 5*j, 4*h + 2*j + 76 = 0. Let v = h - g. Does 15 divide v?
False
Let o = 0 + 0. Let c = o + 2. Suppose -5*x + c*x + 45 = 0. Is 6 a factor of x?
False
Let f = -181 - -240. Is 59 a factor of f?
True
Suppose -6*i + 459 + 9 = 0. Does 26 divide i?
True
Let b(s) be the first derivative of -s**4/4 + 4*s**3/3 + 3*s**2 - s + 2. Does 16 divide b(4)?
False
Let k(p) = 2*p - 8. Let r be k(8). Let z(c) = 7 + 2 - c**2 + r. Is 15 a factor of z(0)?
False
Suppose -3*w - 20 = 2*w. Is 10 a factor of (-2)/(w/18) - -1?
True
Suppose 7 = 2*m + 3. Suppose -m*r + 2 = -r. Does 11 divide r/6 + 64/6?
True
Let w = 4 + -2. Suppose s = w*z + 3*z + 61, -4*s - z + 286 = 0. Does 20 divide s?
False
Suppose -3*x = -6, 4*x + 16 + 8 = 4*p. Suppose -22 = -2*u + p. Suppose 3*o - u = -0*m - 3*m, -3*m - 5*o + 13 = 0. Does 3 divide m?
True
Suppose 0 = -5*p + 3*v + 471, -5*p + 208 = -2*v - 266. Suppose -g - u + 30 = u, 3*g + 3*u = p. Is g a multiple of 21?
False
Suppose -62*y = -65*y + 987. Does 19 divide y?
False
Suppose l + 216 = 3*l. Does 31 divide l?
False
Let f = -10 + 5. Let x(l) = l**2 - 4*l - 1. Let y be x(5). Does 8 divide (y/f)/(1/(-20))?
True
Let o = -41 - -176. Is o a multiple of 27?
True
Let i(y) = 6*y + 4. Let m(l) = -l**2 - 11*l - 7. Let f be m(-10). Is i(f) a multiple of 9?
False
Let d(r) = r**3 + r**2 - 2*r + 2. Let h be d(3). Let c = h - 16. Is 4 a factor of c?
True
Let x(k) = k + 7. Let g = -13 + 24. Is 9 a factor of x(g)?
True
Suppose -4*x = -j + 4, j - 2 = 3*x + 3. Let r(s) = s**2 - 7*s - 3. Let p be r(j). Suppose p*k - 31 = 4. Is 5 a factor of k?
False
Let i(v) = 2*v**3 - v**2 + 2*v - 4. Let s be i(3). Suppose 5*u - 3*u + 10 = 0, -b = -u - s. Is 14 a factor of b?
True
Suppose 2*f - f = 4. Let v(m) = 13*m - 4. Is 13 a factor of v(f)?
False
Suppose -2 = -3*z - 11. Let p = z - -4. Suppose b - p = 6. Does 3 divide b?
False
Suppose 3 = 2*c - 1. Let f(u) = u**2 + 2*u + 1. Is f(c) a multiple of 4?
False
Let v(a) = 5*a**2 - a + 1. Let i = 5 - 4. Let n be v(i). Suppose 55 = n*x - 0*x. Does 11 divide x?
True
Suppose -4*b + 4*a - 8 = 0, 0 = 4*a - 21 + 5. Suppose -6*v = -b*v - 144. Is 16 a factor of v?
False
Let o = -1 + 6. Suppose o*j = -2*a + 154, 2*j - 62 = -0*j - a. Does 10 divide (2 + j/(-9))*-18?
False
Let n = 1 + -1. Let d = n + 1. Does 15 divide ((-2)/((-6)/45))/d?
True
Let i = 245 - 143. Is i a multiple of 39?
False
Let v = 10 + -7. Suppose 4*q + 8 = v*r - 27, -5*r + 4*q + 45 = 0. Does 2 divide r?
False
Suppose -6*j + 3*j = 0. Suppose j = -3*v - 2*v + 50. Does 3 divide v?
False
Suppose 2*z + 4 = 4*s - 12, -35 = 4*z - 5*s. Is 4 a factor of (2 + -4 + z)/(-1)?
True
Suppose 0 = 5*d - 0*d + 3*c - 70, 31 = d + 4*c. Does 4 divide d?
False
Suppose -6 = a + 3*t + 4, 10 = -3*a - 5*t. Suppose -k = -a*g + g + 357, 3*g = 5*k + 289. Suppose -3*z + x + g = 0, -z - 3*x + 36 = -2*x. Does 12 divide z?
False
Suppose -4*p + 39 = 3*n, 0*p + 20 = n - p. Let g = 166 + -106. Suppose 3*d = 3*c + 51, -c - g - n = -4*d. Is 14 a factor of d?
False
Suppose 0 = w + 2*w - 186. Let n be (1/(-1) - -1)/(-1). Suppose 0 = 5*c + 10, n = -6*f + 3*f - 5*c + w. Does 12 divide f?
True
Let o = -8 + 10. Let w be -2 - -5 - (1 + o). Suppose -t + 30 = 3*t - 2*k, w = -5*t - 3*k + 43. Is t a multiple of 8?
True
Suppose 0 = -5*x + 227 + 78. Suppose -4*v = -183 - x. Is v a multiple of 24?
False
Suppose -i = 2*m - 9, -3*m + 7 = -10*i + 5*i. Suppose -m*d = -8, -v = -0*v + 2*d - 37. Does 11 divide v?
True
Let s(x) = 37*x**2 + 5*x + 6. Is s(-2) a multiple of 36?
True
Let r = 399 + -208. Does 42 divide r?
False
Let j = 6 + -10. Is 2 a factor of 7/(2/(j - -6))?
False
Let u = 89 + -54. Is 7 a factor of u?
True
Let f be (-6)/8 + 850/(-40). Is 383/11 + (-4)/f a multiple of 25?
False
Let n = -4 - -8. Suppose -n*u + 12 = -u. Suppose -19 + 3 = -4*a, 5*a - 92 = -u*s. Does 18 divide s?
True
Let i(h) = h**2 - 7*h. Let o be i(4). Does 8 divide 44/6 - 8/o?
True
Suppose 0 = -3*y + 2*d + 29, 2*d = -4 + 2. Let j = y + -4. Is 5 a factor of j?
True
Let t(r) = -2*r - 6. Let h be t(-8). Suppose y = -y + h. Suppose -v + 5*q = -16, y*q = -3*v + 16 + 12. Does 4 divide v?
False
Let n be -2 - -92 - -1*3. Suppose -4*t + 87 = -n. Is 9 a factor of t?
True
Let s = 21 - 20. Is 18 a factor of 17 - s - (-2 - 0)?
True
Does 21 divide 280/2 + 5 + -2?
False
Let s be 440/6 + (-6)/(-9). Suppose -6*a = -5*a + 44. Let f = s + a. Is f a multiple of 15?
True
Let j(q) be the third derivative of q**6/120 + q**5/30 - 5*q**4/24 - q**3/2 + 3*q**2. Let p be j(-4). Let f = 37 + p. Is f a multiple of 11?
True
Suppose 0 = 4*m - q - 19, -3*m = 2*m + q - 35. Let p = m + -4. Suppose 4*l - 22 = 5*n, 3*n - 6 = -2*l - p*l. Is 2 a factor of l?
False
Let i(b) = 4*b + 1. Let z be i(-2). Let c = z + 4. Does 16 divide 2/c - 355/(-15)?
False
Suppose 5*o = -2*h + 351, 153 + 51 = 3*o - h. Is o a multiple of 23?
True
Let h(o) be the third derivative of o**4/24 + 3*o**3 - 2*o**2. Let z(n) = -n**3 + 4*n**2. Let t be z(4). Is h(t) a multiple of 7?
False
Let t(y) = 118*y - 1. Let k be t(-2). Does 13 divide 4/6 - k/9?
False
Let x = 26 - 19. Is 3 a factor of x?
False
Suppose 4*f - 1376 = 5*h - 180, 16 = -4*h. Is 10 a factor of f?
False
Let i be ((-1)/(-2))/((-2)/(-60)). Suppose -5*b - 2*v + 1 = -1, -16 = 4*v. Suppose b*j - i = -j. Is j a multiple of 5?
True
Let n be (-5)/2*(-10 - -8). Suppose -2*z = -2*o + 30, -21 = -o + n*z + 2. Does 13 divide o?
True
Suppose y = -2*d + 22, 2*d - 4*d = 5*y - 1