= -1. Let v(n) = -n - 3. Let m(o) = -3*k(o) - v(o). Let b(q) = -6*f(q) + 5*m(q). Is b(4) a multiple of 10?
True
Suppose -3*m - 1 - 11 = 0. Let j be 2/8 + 369/m. Let r = j - -139. Does 24 divide r?
False
Let z be -9*(2 - -2)*4/(-3). Suppose 4*s = -4*s + z. Is 6 a factor of s?
True
Let d be 12/(-2*(-2)/4). Let q be (-185)/74 + 2*1/4. Let k = q + d. Is k a multiple of 3?
False
Let k(f) = -3*f**3 - 2*f**2 - 3*f. Suppose a - 4 = -2*y + 3*a, 0 = y + 3*a - 10. Let l = y + -6. Is 13 a factor of k(l)?
False
Let d = -15 - -21. Suppose 480 = -d*h + 12*h. Is 8 a factor of h?
True
Let f be (-3)/(-12) - 870/(-8). Suppose 0 = -5*l + 2*l + 561. Let r = l - f. Is 26 a factor of r?
True
Let f(c) = -4*c + 22. Let t be f(5). Suppose -t*j = 2*j + 3*o - 241, -5*o - 25 = 0. Is j a multiple of 8?
True
Let j(o) = 35*o**3 + 2*o**2 - 2*o - 1. Is j(1) a multiple of 7?
False
Let a = -35 + 42. Is (1/(-3))/(a/(-294)) a multiple of 7?
True
Let y = -7 + 3. Let a be -75 - ((4 - 1) + y). Let t = 2 - a. Is t a multiple of 15?
False
Let a = -26 - -5. Suppose 5*h - 451 = 3*x, -4*h - 3*x - 2*x = -383. Let i = a + h. Is i a multiple of 12?
False
Let d be (1 - -2248) + (-5 - -1)/4. Is (d/20 - -3) + 4/(-10) a multiple of 11?
False
Suppose 4*a + 2*y = -214, 5*a - 25 + 295 = -5*y. Let c = a - -337. Is 21 a factor of c?
False
Let k(x) be the third derivative of -71*x**4/8 - 3*x**2 - 3. Is 17 a factor of k(-1)?
False
Let a = 6 + -12. Let p be 4/(-12) - 2/a. Suppose -l + 7 = -p. Is l a multiple of 6?
False
Suppose 5*n + 8055 = 8*w - 4*w, 3*n + 9 = 0. Is 94 a factor of w?
False
Suppose 0 = -5*x + 7*x. Is (-954)/(-10) - 8/20 - x a multiple of 5?
True
Let b(a) = a**3 - 16*a**2 + 14*a + 16. Let q be b(15). Is 3 + 2/(q*(-4)/(-108)) a multiple of 19?
True
Let t(k) = k**2 - 16*k + 3. Let d be t(16). Suppose 0 = 2*o - 2*x - 4, -4*x = 5*o - 10*o + 10. Suppose 0 = -o*f - d*f + 150. Does 15 divide f?
True
Is (174/(-24)*-10)/(1/66) a multiple of 33?
True
Suppose 203 = c - 19. Suppose 4*w - c = -2*a, 108 = -0*w + 2*w + 2*a. Is w a multiple of 13?
False
Let i(p) = -p**2 - 26*p - 32. Is 7 a factor of i(-8)?
True
Let s be 1 + 0 + 286/2. Is s/2 + 8/((-24)/(-9)) a multiple of 10?
False
Suppose -2*o - 64 = 2*o + 2*t, t - 87 = 5*o. Let m = o - -20. Suppose -x + m*x = 26. Does 13 divide x?
True
Let f be (-36)/(-12) + 2*1. Suppose 2*n - 5 - 3 = k, -f*n - k = -6. Suppose r + n*h = -3*r + 98, 2*h = -2. Does 25 divide r?
True
Let p = -117 - -545. Is 20 a factor of p?
False
Let r(a) = 4*a**3 + a**2 - 2*a + 1. Let i be r(1). Let p be (0/(-2))/(8/i). Suppose p = 4*g - g - 126. Does 14 divide g?
True
Let s(x) = x**3 - 11*x**2 + 10*x + 5. Let q be s(10). Suppose -q*y + 3*k + 783 = 0, -2*y + 4*y = 4*k + 302. Is y a multiple of 53?
True
Suppose -2*f - 2*f + 1862 = j, -2*f = 2*j - 934. Is 15 a factor of f?
True
Let y = -103 + 273. Does 5 divide y?
True
Let h(p) = -68*p + 57. Does 7 divide h(-4)?
True
Suppose h = 6896 - 88900. Is 33 a factor of h/(-323) - 4/(-34)?
False
Suppose -2*k + 43 = 2*k - 3*o, -5*k = -3*o - 50. Suppose 12*b - 100 = k*b. Is 4 a factor of b?
True
Suppose 5*c = 3*a + 1458, -886 = 26*c - 29*c - a. Is 14 a factor of c?
True
Let s(h) = -h**3 - 4*h**2 - 4*h - 1. Let o = 40 + -36. Let d = -8 + o. Is s(d) a multiple of 15?
True
Let y(q) be the first derivative of -q**3/3 - 7*q**2/2 + 5. Let r be y(-5). Let j = 43 - r. Is 11 a factor of j?
True
Let m(j) = j + 17. Let v be m(-14). Suppose 0 = -4*n + 4*l + 268, 0*n - v*l = 3*n - 183. Is 9 a factor of n?
False
Suppose 22*t + 25*t = 36519. Does 21 divide t?
True
Let r = 422 + 209. Is 26 a factor of r?
False
Let h(x) = 24*x - 27. Let j(q) = 74*q - 56. Let l(p) = -15*p + 11. Let f(k) = -3*j(k) - 14*l(k). Let v(i) = 5*f(i) + 3*h(i). Is 10 a factor of v(5)?
False
Let x(b) = 2*b**2 + 11*b + 17 - b**2 - 3*b. Is 12 a factor of x(-12)?
False
Suppose 4*g + 24*g - 3360 = 0. Is g a multiple of 64?
False
Let k = 198 - 141. Suppose -2*l = -5*o + o + 6, -4*l - o = k. Let w = l - -28. Is w a multiple of 5?
True
Suppose 0 = -9*m - 54*m + 46683. Is 3 a factor of m?
True
Suppose 5*y + 117 = 4*f, 5*f = -2*y - 2*y + 177. Suppose 4*m + 14 = 2*x, 2*x - f = -m + 1. Is 3 a factor of x?
True
Suppose l = -0*l + 4. Let z(a) = 4*a - 6. Does 2 divide z(l)?
True
Let i(u) = u**3 - u + 7. Let y be i(0). Let j be (-1)/2 + y/2. Suppose j*k - 67 + 13 = 0. Is 9 a factor of k?
True
Let q be (-1)/2 - (-289)/34. Let m(a) = 5*a - 25. Does 3 divide m(q)?
True
Suppose 0*j + 2*j = -202. Let q = j + 153. Suppose -3*y - 2*z = -32, -5*z + 0*z = 4*y - q. Does 2 divide y?
True
Let s(l) = 281*l**2 + 2*l - 1. Is s(1) a multiple of 6?
True
Suppose 6*p + 10875 = 31*p. Is 15 a factor of p?
True
Let y = -41 + 57. Let q = y + -18. Let b(a) = 12*a**2 - a + 1. Is b(q) a multiple of 17?
True
Let h(n) = 24*n - 6. Let a = 21 - 19. Is h(a) a multiple of 7?
True
Let g = 144 + -96. Let l = 57 + g. Does 21 divide l?
True
Suppose 0 = -3*n - 196 - 236. Suppose -4*c - 1102 = 5*h + 222, 4*h = -2*c - 1058. Let u = n - h. Is u a multiple of 20?
True
Let p(c) = c**2 + 16*c + 2550. Does 64 divide p(0)?
False
Suppose 14*m - 21*m = -42. Suppose m*z - 66 = 156. Does 9 divide z?
False
Let b(a) = -2 - a + 4*a + a**2 - 2*a**3 - 2*a**2 + 3*a**2. Let w be b(2). Is 7 a factor of (-9)/18 + (-58)/w?
True
Let v(a) = -a**3 - 5*a - 40. Does 45 divide v(-8)?
False
Let t be ((-92)/(-8))/((-2)/16). Let z be 0 - (141 - 6/2). Let v = t - z. Does 9 divide v?
False
Let z(y) = 65*y - 22. Is 9 a factor of z(2)?
True
Suppose -4*g - 198 = -5*r - 57, r - 2*g = 27. Let x = 53 - r. Is x a multiple of 8?
True
Suppose 0 = -8*p - 289 + 13057. Is p a multiple of 21?
True
Suppose -3*k = 3*k - 18. Suppose -k*n + 2*g = 170, n + 4*g + 28 = -10. Let v = n - -129. Is 16 a factor of v?
False
Let m(u) = u**3 - 7*u**2 - 12*u + 6. Suppose l - 31 + 7 = 5*g, -5*g = -5*l + 60. Is 14 a factor of m(l)?
False
Suppose 2 + 2 = 2*p. Suppose 0 = p*x - 6*x + 92. Does 22 divide x?
False
Let v(m) = 29*m**2 + 46*m + 17. Is v(-4) a multiple of 25?
False
Suppose 0 = -3*c - 4*j + 14, -2*j + 10 = 5*c + 2*j. Let x be ((-2)/(-4))/(c/(-16)). Suppose 3*g = -s + 94, 2*s + 134 = x*g - 8. Does 9 divide g?
False
Let a = 3 - 1. Suppose a*f = 7*u - 2*u - 4, 0 = 4*u - 5*f + 7. Suppose -u*x - 13 = -53. Is 14 a factor of x?
False
Suppose 9*v = 19 - 316. Let x = v - -103. Is x a multiple of 21?
False
Let u(i) be the second derivative of 91*i**4/12 - i**3/3 + i**2/2 + i. Suppose 0 = -2*c - 2*c + 4. Is u(c) a multiple of 24?
False
Let a(m) = -m**3 + 14*m**2 + 16*m - 17. Let b be a(15). Is 4 a factor of -3 + 0/b - -16?
False
Suppose -x + 2*o + 2 = 0, 4*x + 3*o - 24 = 7*o. Does 6 divide x?
False
Let d be (-62)/(2 + (2 - 2)). Let o = d + 155. Does 18 divide o?
False
Let m be -9*((-4)/(-12) - 0) + 58. Suppose -2 = -3*q + m. Does 2 divide q?
False
Suppose -188 = 5*y - 908. Does 7 divide y?
False
Let h be 0 - (9*-2 + 3). Suppose 0 = a - 2*k + 4, 0 = -4*a - k + h - 4. Suppose -74 = -a*m - 30. Is 22 a factor of m?
True
Suppose 500 = 6*a - 2584. Let l = -284 + a. Is l a multiple of 12?
False
Suppose -16*g + 13*g = -9. Suppose g*j - 11*j = -992. Does 31 divide j?
True
Suppose -7*n + 5*n = 8*n. Suppose -3*y = -c - 8 - 108, 5*y - 3*c - 188 = n. Is 10 a factor of y?
True
Let c be (-2)/(-6)*13/((-13)/(-6)). Suppose -6 = -u - c*u, -3*t + 2*u + 41 = 0. Is 10 a factor of t?
False
Let d(h) = -h**3 - 6*h**2 + h - 2. Let f be d(-7). Let i = f - 23. Does 17 divide i/2*(1 + 1)?
True
Is 11 a factor of 88/48*-3*-194?
True
Let t = -104 + 592. Is 73 a factor of t?
False
Let k(g) = -13*g + 1 - 3 + 14*g. Let y be k(3). Let d(f) = 11*f**3 - f**2 + 2*f - 1. Is d(y) a multiple of 2?
False
Let s(n) = n**3 + 4*n**2 + 4*n + 2. Let d be s(-3). Let g be 3/(-1)*(d + 124). Is (-6)/8 + g/(-12) a multiple of 6?
True
Suppose 0 = 2*q - r - r - 156, -5*q + 390 = 4*r. Is 13/(26/8) + q/1 a multiple of 4?
False
Suppose 0 = -5*w + 2*u + 7525, 0*w + w - 1523 = 4*u. Is 67 a factor of w?
False
Let y be (-15)/(-40) + (-25335)/40. Let l = -408 - y. Does 25 divide l?
True
Let s(n) = n**3 - 9*n**2 + n - 10. Let i be s(9). Is 19/1*4 - (i - 3) a multiple of 16?
True
Let v(a) = 2*a - 34. Let f be v(-16). Let o = 98 + f. Does 4 divide o?
True
Suppose -13*a + 46 = -19. Does 12 divide (1 - 109)*(-3 + a + -3)?
True
Suppose -k + 403 = -5*d, 0 = -7*d + 3*d + 5*k - 