True
Let z(d) = -1 + d - d + 3*d - 2*d. Let a be z(5). Suppose -a*p = -8*p + 24. Is 6 a factor of p?
True
Let i(q) = q**2 - 7*q + 6. Let v be i(7). Suppose v*y + 20 = 7*y. Is 5 a factor of y?
True
Is 31 - (4 + (3 - 4)) a multiple of 7?
True
Let m = 8 + 6. Is 14 a factor of m?
True
Let c be 2 - (-1)/(-1)*-1. Suppose 0 = 4*i - 1 - c. Is (i*6 - 2)*8 a multiple of 16?
True
Let o = 9 + 16. Is 12 a factor of o?
False
Suppose 5*w + 6 = 7*w. Suppose 2*j = w*j - 74. Is 19 a factor of j?
False
Let b(t) = 9*t - 10. Let o be b(-11). Let x = -64 - o. Is 32 a factor of x?
False
Let f = 5 - 3. Suppose f*g + 4*y = 56, -5*y - 37 = -4*g + 36. Is g a multiple of 9?
False
Suppose q - 4*q + 51 = -3*s, -5*s = -3*q + 45. Is 14 a factor of q?
False
Suppose -5*v + 25 = 0, -2 = 3*c - 4*v + 12. Suppose -3*x = -d - 89, x - c*d = 2*d + 48. Is 9 a factor of x?
False
Suppose -6 + 7 = -v, -3*v = 2*j - 333. Is 7 a factor of j?
True
Let z(m) = -m + 16. Let s be z(8). Is 5/(1/(2 + s)) a multiple of 21?
False
Let q = -20 + 34. Is q a multiple of 14?
True
Let n = -108 + 180. Is n a multiple of 12?
True
Suppose 0 = 2*r + 4*k + 36, 3*r + 0*k + 56 = -5*k. Is (r/6)/((-11)/33) a multiple of 11?
True
Let r(s) = s**2 + 8*s + 50. Is r(0) a multiple of 17?
False
Let n(i) = 9*i - 4. Suppose -3*z - z = -24. Let g = 9 - z. Is n(g) a multiple of 20?
False
Let r(h) = h**2 + 5*h - 3. Does 9 divide r(3)?
False
Let k be ((-6)/(-9))/(4/30). Suppose -108 = -k*h + 72. Does 12 divide h?
True
Let d(u) = u - 2. Let v be d(6). Suppose 4*p + 32 = 3*w - 2*w, 30 = -2*p + v*w. Let s = 15 + p. Is s a multiple of 3?
False
Suppose -11 - 13 = 4*n. Is -2*(147/n + 1) a multiple of 17?
False
Suppose 2*m - 4*j + 10 = -6, -5*m = 2*j - 20. Suppose -10 = -4*o - m. Suppose -o*a + 3*p = -57, p - 1 = -2. Does 21 divide a?
False
Let p be (0 - -18)/(16/24). Let x = -5 + p. Is 7 a factor of x?
False
Suppose -2*x = -6*x - 176. Let q = 88 + x. Is 22 a factor of q?
True
Let p = 83 + -66. Is p a multiple of 17?
True
Let v(k) = 4*k - 3. Let c be v(2). Does 3 divide (-3)/3*(2 - c)?
True
Suppose 3*s + 3*s - 474 = 0. Does 9 divide s?
False
Let k = -46 - -64. Suppose 2*c - 14 = i - 53, 3*i + 4*c - 97 = 0. Let j = i - k. Is 13 a factor of j?
False
Let k(p) = -p**2 - 6*p - 2. Let i be k(-6). Let l = 11 - i. Does 7 divide l?
False
Let d be ((-28)/(-5))/((-2)/(-10)). Let r = d + 16. Does 19 divide r?
False
Let y be (6/(-2 + 0))/1. Is 4 a factor of 3/(-1)*16/y?
True
Let f(g) = -g**3 + 7*g**2 - 3*g. Suppose -r - r = -12. Let c be f(r). Suppose -j = -5*m + 51, 2*m = -0*m - 2*j + c. Is m a multiple of 9?
False
Suppose 7 = 3*f - 53. Is 7 a factor of f?
False
Let a(t) = 5*t**2 - 5. Is a(3) a multiple of 4?
True
Let l(p) = 2*p**2 + 4*p + 34. Does 26 divide l(-8)?
True
Let s = -9 + 19. Is s a multiple of 3?
False
Let p = 2 + -2. Suppose -3*y - 4*m + 3*m = -177, p = 5*m. Does 10 divide (-1)/(-2 + y/30)?
True
Suppose -1201 + 109 = -3*i. Is 14 a factor of i?
True
Suppose 0 = -2*i - 2*i - 2*q - 138, -2*i + 4*q = 94. Let w = -9 - i. Is 26 a factor of w?
False
Let w(y) = 2*y + 38. Does 5 divide w(5)?
False
Let k = 35 + -17. Suppose 2*z = 4 + k. Does 11 divide z?
True
Suppose 5*c + 5 = -0*c, 110 = d + 4*c. Is d a multiple of 19?
True
Suppose 0 = 4*k + 4*k - 592. Is k a multiple of 6?
False
Suppose -2*h + 0*h + 4*u = -260, -3*h - 3*u + 390 = 0. Is h a multiple of 26?
True
Let n = -34 - -169. Suppose -3*j - n = -2*u, u + 4*j - 156 = -u. Is u a multiple of 24?
True
Is 14 a factor of (-4)/(4 + -2 - (-212)/(-105))?
True
Let k = -44 + 64. Suppose 3*c - 58 = k. Does 6 divide c?
False
Let p be (3*10/6)/1. Let w(m) = m**3 + 10*m**2 + m + 11. Let k be w(-10). Let z = p - k. Is 2 a factor of z?
True
Let y be (1 + -3)*309/(-6). Suppose 4*d = y - 19. Does 7 divide d?
True
Let a(d) = -38*d - 4. Let u be a(-5). Suppose 4*c - u = -26. Does 20 divide c?
True
Suppose -3*k = z - 5*z - 23, 4*k + 2*z = 60. Does 13 divide k?
True
Let i(b) = b**3 - 11*b**2 - 13*b + 2. Does 6 divide i(13)?
False
Suppose p - 4*p - 297 = -3*u, 3*u - 2*p = 296. Let h = 16 - u. Let d = h + 118. Is d a multiple of 18?
True
Let y(q) = 9*q - 2. Let a be y(5). Let i = -19 + a. Is i a multiple of 14?
False
Suppose -27 = -4*j + 37. Is 24 a factor of ((-12)/j)/(1/(-96))?
True
Suppose h = 2*p - 219, 4*p + 3*h = -2*h + 445. Let g = p + -54. Let q = -38 + g. Is q a multiple of 9?
True
Let j = 1 + -1. Suppose 0*o - o - 2 = j. Let w = 10 - o. Does 12 divide w?
True
Suppose 2 = g + 6*l - l, 2*g + 2*l - 4 = 0. Suppose -p + 22 = -g*k, -p - k - 56 = -4*p. Does 14 divide p?
False
Let d = 6 + 7. Suppose 2*b + b = -27. Let u = d + b. Does 2 divide u?
True
Let y = 431 - 305. Let g = y + -74. Is 19 a factor of g?
False
Suppose 2*j = -2*j - 24. Let f be (-8)/6*(-72)/2. Is (j/(-3) - f)/(-2) a multiple of 11?
False
Does 19 divide ((-38)/2)/(((-9)/3)/21)?
True
Let l = -44 - 29. Let x = l + 117. Is 11 a factor of x?
True
Let f(m) = 7*m**2 + 8*m + 8. Is 21 a factor of f(-5)?
False
Let m(w) = w**3 - 2*w**2 + w - 8. Does 4 divide m(3)?
True
Suppose 4*w - 1 = -17, l + w = -2. Suppose -l*v = 2*m - 3*v - 21, -4*v + 7 = -m. Is 5 a factor of m?
False
Suppose -4*m - 28 + 172 = 0. Suppose f = 4*f - m. Is f a multiple of 8?
False
Let z(y) = -92*y - 4. Is z(-2) a multiple of 20?
True
Let x(b) = -4*b - 3*b + 0*b + 4*b + 7. Is x(-5) a multiple of 12?
False
Suppose 0 = -3*o + 5*l + 156, 0*o + 2*o + 2*l - 88 = 0. Does 14 divide o?
False
Let v(w) be the third derivative of w**6/120 + w**5/10 + w**4/6 - 2*w**2. Let b be -2*2 - 0/1. Is 14 a factor of v(b)?
False
Let l(h) = -h**2 - 2 - 2*h**2 - 1 - 1 + h**3 + h. Is 7 a factor of l(4)?
False
Let k be (-9)/6*56/2. Let y = k - -74. Is 8 a factor of (y/(-10))/((-3)/15)?
True
Let x = -29 + 92. Is 21 a factor of x?
True
Suppose 2*i - 51 = i. Suppose 3*m + m = -3*j + 29, 0 = j - 3. Suppose -i = m*y - 226. Is 19 a factor of y?
False
Suppose 6 = -2*x - x. Let a = 2 - -9. Let w = a + x. Is w a multiple of 9?
True
Let b = -9 + 14. Let i(u) = -u**3 + 7*u**2 - 2*u + 6. Let x be i(6). Suppose -30 - x = -b*r. Does 12 divide r?
True
Let w(k) = -16 - 2 + k**2 - 4*k + 4. Is w(10) a multiple of 11?
False
Suppose 6*m + c - 85 = 3*m, -4*m - 3*c = -110. Suppose n = -3*y + m, n - 33 = -n - y. Is n a multiple of 7?
True
Let a(z) = 12*z - 4. Let w(m) = -11*m + 5. Let h(u) = -3*a(u) - 2*w(u). Is 10 a factor of h(-2)?
True
Suppose -3*p + p + 2 = 0. Let l = p + 2. Is 14 a factor of l/(-15) + 213/15?
True
Let b be (9/(-12))/((-3)/24). Let k be (-2)/1*(b + -3). Is 5 a factor of 6/4 + (-81)/k?
True
Suppose b = -3*c + 5, 0*b - 4*c + 28 = -4*b. Let u = b - -2. Does 15 divide (1/u)/(7/(-266))?
False
Suppose -5 + 4 = 3*c + 2*n, -2*c + 3*n = -21. Suppose -h + 96 = c*h. Is h a multiple of 12?
True
Suppose 0 = -6*n + n. Let u = -11 - -19. Suppose n = -2*g + g + u. Does 3 divide g?
False
Let f be 6/4 - 81/(-18). Let l(t) = t**3 - 7*t**2 + 6*t. Let v be l(f). Suppose v*p - 2*p = -32. Is p a multiple of 8?
True
Suppose -m = -5*m + 80. Does 10 divide m?
True
Suppose -z = 2 - 1. Let v be z - ((0 - -2) + -64). Let j = -35 + v. Is 12 a factor of j?
False
Let v(m) = m**3 - 12*m**2 + 11*m + 2. Let h be v(11). Suppose -3 = k, 0*k + 3*k - 133 = -h*t. Let g = -13 + t. Does 18 divide g?
False
Let g = 1 - -9. Is 7 a factor of g?
False
Suppose 0 = 5*u - 2*u - 5*z + 2, -4*z + 4 = -3*u. Let p(y) = -y**3 - 5*y**2 - 6*y - 3. Does 2 divide p(u)?
False
Let d = 14 - 4. Suppose -u = 4*u - d. Suppose -5*g = -25, 13 = 3*f - u*f - g. Does 9 divide f?
True
Let c = 44 + -24. Suppose c = 4*n - 0. Suppose -5*o - 5*h = -85, -n*o - 20 + 117 = h. Is o a multiple of 10?
True
Is 32 a factor of (-1120)/(-5) + 0 + (1 - 1)?
True
Suppose 20 = 3*u + 4*y, 2*y - 3*y = -2. Suppose 5*a - 5 = 0, 5*o + 4*a - 9 = u*o. Is 5 a factor of o?
True
Suppose 5*o - 4*m = 28, 3 = -3*o - 5*m + 5. Suppose -o = k - 3*k. Let y(q) = 4*q**2 - 2*q - 2. Does 10 divide y(k)?
True
Let h = -24 - -68. Is 11 a factor of h?
True
Let y(u) = 16*u**2 + 4*u - 40. Let f(h) = 3*h**2 + h - 8. Let b(t) = -11*f(t) + 2*y(t). Let g be b(-6). Let x = -4 - g. Is 4 a factor of x?
False
Let c = 52 + -115. Let u = 88 + c. Does 12 divide u?
False
Suppose 4*j + 2*j = 1026. Does 19 divide j?
True
Let n(x) = x**2 + 2*x - 3. Let c be n(-4). Suppose 67 = c*q - 33. Is 10 a factor of q?
True
Let s(k) = k**3 - 7*k**2