?
True
Let o be (4 - 1)/3 - -2. Let z(s) = -s**3 + 3*s**2. Let r be z(o). Suppose -5*w - 2*m + 221 = r, -4*m - 106 = -4*w + 82. Is 9 a factor of w?
True
Let z(r) = r**2 + r - 13. Let x be z(-8). Suppose -s - i - i = -x, 3*i + 117 = 4*s. Is 5 a factor of s?
False
Suppose 125 + 4 = 3*w. Does 20 divide w - (2 + 2/2)?
True
Let v(s) = 6*s**3 - 25*s**2 + 2*s + 3. Is v(5) a multiple of 52?
False
Let g be -2 - 1 - (207 + -6). Let f = -134 - g. Is f a multiple of 14?
True
Suppose 3*d - 12 = 3*o, -2*d = -0*d + 5*o - 36. Suppose -2*i + t - d = -4*i, 22 = 3*i + 4*t. Suppose q - i = 0, 5*g = g + q + 114. Is g a multiple of 29?
True
Let k(a) = 7*a - 17. Let w(o) = 3*o + 13. Let d be w(-2). Does 4 divide k(d)?
True
Let p(a) = -2*a**3 + 11*a**2 + 2*a - 3. Suppose 3*t - 22 = -2*l, -5*l + 3*t = -13 - 0. Is p(l) a multiple of 9?
False
Suppose -3*s - 3 = -4*s. Suppose -4 = 2*c + 3*o, 2*c + 4 = s*o - 0. Let j = 13 + c. Is 11 a factor of j?
True
Suppose 0 = -61*b + 13962 + 190. Is 6 a factor of b?
False
Let b(k) = -k**2 + 3*k + 6. Let c be b(5). Let d = -482 - -508. Let l = d - c. Is 15 a factor of l?
True
Let i be 10/(-25) + 34/10. Let h be 171/(-3)*(-4)/i. Let f = h + -39. Is 23 a factor of f?
False
Let n be 16/(-104) - (-4)/26. Suppose n = -c + 2*c - 17. Is c a multiple of 3?
False
Suppose -36*d = -59*d + 69092. Is 78 a factor of d?
False
Let l(q) = q**3 - 4*q**2 - 5*q - 7. Let d be l(5). Let k be 42/98 + (-11)/d. Suppose -k*t = p + t - 2, 3*t - 58 = -5*p. Is p a multiple of 4?
False
Let r be (-694)/4*(0 - 2). Suppose -5*s = -93 - r. Does 10 divide s?
False
Suppose -2*s + n = -7*s - 100, 4*n = -3*s - 77. Let o = -16 - s. Suppose 0 = o*x + 13 - 46. Is x a multiple of 4?
False
Let f(v) = 4*v**2 - 7*v - 8. Let w be f(4). Does 32 divide (2 + -13)/((-4)/w)?
False
Let s = 1259 - 1190. Is 3 a factor of s?
True
Let q(v) = v**3 - 6*v**2 - 8*v + 15. Let n(y) = 4*y - 21. Let r be n(7). Is 6 a factor of q(r)?
False
Let n = -9 + 128. Let z = n - 56. Is z a multiple of 7?
True
Suppose 0 = 3*y - 58 - 56. Let n = y + 24. Does 10 divide n?
False
Suppose -30 - 68 = -7*v. Suppose 4*h - v = -2*i, h + 3*i - 11 = -0*h. Suppose 0 = 4*r + h*u - 40, 5*r + 2*u - 4*u = 50. Does 3 divide r?
False
Let w = 1 + 10. Suppose i + w = -9. Let o = -12 - i. Is o a multiple of 2?
True
Let f(g) = -g - 6. Let a be f(-8). Suppose a = 3*h + 5. Is h/(-5) - (-158)/10 a multiple of 13?
False
Suppose -3*v = -3*f + v + 744, -4*f + 2*v = -982. Suppose -f = -5*r + 76. Does 13 divide r?
False
Suppose -2*m + 310 = 2*p, 5*p + 2*m - 507 = 265. Does 22 divide p?
True
Let q = 3341 + -1202. Is 24 a factor of q?
False
Let d = 1 + 2. Let u = d - 10. Is 21 a factor of (-22)/77 - 282/u?
False
Suppose -3*o = -3*s - 29 - 91, 2*s = o - 37. Let y = o + 155. Does 18 divide y?
True
Suppose -205 = 20*a - 5. Let v(s) be the second derivative of s**5/20 + 11*s**4/12 + 2*s**3/3 + 15*s**2/2 - 2*s. Does 13 divide v(a)?
False
Suppose -3*r = 4*n - 28, 0 = -n + 6*n - 2*r - 12. Suppose -n*w + 60 = 3*v - 4, -3*v = -w + 31. Does 3 divide w?
False
Let o = -7 + 7. Suppose -2*f + 4*r - 330 = -7*f, 5*f + 3*r - 335 = o. Is f a multiple of 25?
False
Suppose -a - 4*q = 3*a - 1516, 1930 = 5*a - 2*q. Does 12 divide a?
True
Let l(h) = -8*h + 11. Let o(w) = 16*w - 21. Let c(i) = -11*l(i) - 6*o(i). Does 19 divide c(-3)?
False
Let t(v) = 415*v**2 + 56*v + 57. Is 48 a factor of t(-1)?
False
Suppose -3*w - w = -2*i + 14, -2*i - 40 = 5*w. Let g = 55 + w. Is 7 a factor of g?
True
Let r(o) = -4*o + 9. Let x(j) = 5*j - 9. Let g(i) = 2*r(i) + 3*x(i). Let c be g(9). Let b = 96 - c. Is 13 a factor of b?
False
Suppose -4*b + 963 = -2205. Suppose -9*z + 513 = -b. Is 8 a factor of z?
False
Suppose -3*b = -5*b + 56. Suppose -b = -2*l - 0. Does 6 divide l?
False
Suppose 0 = -m + 4*u + 196, -3*u + 1 = -8. Is m a multiple of 52?
True
Let s be 10*(3/(-2) - -1). Let g be 3*(-3 + 2)*s. Is 508/g + 2/15 a multiple of 9?
False
Let f = -52 - -205. Does 19 divide f?
False
Let x(r) = 138*r - 11. Is 27 a factor of x(4)?
False
Let n = 19 - 21. Is 10 a factor of 476/8 + n/(-4)?
True
Let p(t) = -15*t + 8. Let g be p(-3). Suppose 7 = 3*i - g. Suppose i = 4*x - 0*x. Is x a multiple of 5?
True
Let t(n) = -6*n**3 - 30*n**2 + 94*n - 11. Let p(z) = z**3 + 6*z**2 - 19*z + 2. Let m(s) = -11*p(s) - 2*t(s). Is 24 a factor of m(6)?
False
Is 10 a factor of (-2404)/(-30) + (-254)/1905?
True
Let f(x) = -x**3 + 6*x**2 + 3*x + 15. Let d be f(7). Let p = d - -17. Suppose p*c + 374 = 4*w + 6*c, -5*c + 298 = 3*w. Is 17 a factor of w?
False
Let h(w) be the second derivative of -2*w**3 - w**2 - 1/12*w**4 - 3*w + 0. Does 10 divide h(-8)?
True
Let d = -793 + 1360. Is 27 a factor of d?
True
Let x(v) = -v**2 - 6*v + 4. Let t be x(-5). Is 42/t - (-2)/6 a multiple of 2?
False
Suppose -3*i = -4*l - 4, 3*l - 22 = -0*l - 4*i. Suppose 4*x = 2*p - 24, -l*p - 3*p = -2*x - 28. Does 2 divide p?
True
Suppose 7*m = 4*m + 2622. Suppose 6*o - o + p - 1103 = 0, -4*o + m = 5*p. Is o a multiple of 31?
False
Let g(i) = -3*i + 84. Let p be g(28). Suppose 3*v + 66 = 3*a, 4*a - 2*a + 5*v - 79 = p. Is a a multiple of 3?
True
Suppose -t + 104 = -4*i - 24, -2*t + i = -284. Does 8 divide t?
True
Suppose -220*o + 232*o - 6048 = 0. Does 18 divide o?
True
Suppose -2*l + 276 = 3*w + l, 4*w = -l + 365. Let i = w + 125. Is i a multiple of 12?
True
Suppose -3*y = 2*b - 1354, -5*y = -3*b + 1647 + 365. Does 22 divide b?
False
Let s = -18 + 22. Suppose s*d + 64 = 220. Does 6 divide d?
False
Let a = -19 + 190. Is a a multiple of 11?
False
Suppose 0*o = -2*o - 2. Let t = 1 + o. Suppose t*d - 5*d = -35. Does 3 divide d?
False
Suppose 14*t = 9*t + 315. Let g(f) = 42*f**3 + f**2. Let n be g(-1). Let r = t + n. Is r a multiple of 11?
True
Let t(k) = -14*k**3 - k**2. Let u be t(1). Let m be u/(-3 - (-9)/2). Does 12 divide (1 + m/4)*-8?
True
Let z(p) = 2*p**2 - 4*p - 1. Let b(m) = -2*m**2 + 12*m + 4. Let s = -21 + 27. Let n be b(s). Is z(n) a multiple of 3?
True
Let n = 320 - -177. Does 5 divide n?
False
Let x = 39 - 5. Let b be ((-84)/(-60))/((-2)/(-10)). Let a = x - b. Is 5 a factor of a?
False
Let a = 28 + 1097. Is 11 a factor of a?
False
Suppose -164 - 46 = b. Is 33 a factor of (-18088)/b + 4/(-30)?
False
Let s be (20/(-7))/(6/(-42)). Let j be (s/12)/((-1)/3). Does 5 divide (j*(-4 + 7))/(-1)?
True
Let q be 4 + 2/4*-2. Suppose 11 = 3*n - 2*n - 3*o, 0 = -5*o - 15. Suppose n*a = 3*k + 39, 2*a - 3*k = q*a + 3. Is a a multiple of 3?
True
Suppose 0 = x + 4*i - 2 - 7, -3*i + 9 = 0. Let k = 12 + x. Is k a multiple of 9?
True
Suppose u - 318 = -t + 3*u, 1576 = 5*t + 4*u. Is t a multiple of 79?
True
Let t = 284 - 193. Is t even?
False
Let g(v) = v + 5. Let x be g(0). Let j(p) = -4*p + 2*p**2 + 0*p - p**2. Is j(x) a multiple of 5?
True
Suppose 15 = 5*n - 0*n. Suppose -n*j = -6*j - 3. Is 4 + j + (0 - -3) a multiple of 6?
True
Suppose -513*i + 506*i + 4144 = 0. Is i a multiple of 16?
True
Is (-1 + -1)/(56/(-2492)) a multiple of 11?
False
Let r be (-92)/(3 + -1) - (-26 + 26). Let w = -24 - r. Is w a multiple of 5?
False
Let y be (4/20)/1*-5. Let q(s) = 18*s**3 - s**2. Let m be q(y). Let n = 109 + m. Is 19 a factor of n?
False
Suppose -17*s + 12*s = -3900. Does 30 divide s?
True
Let j = 24 - -1. Is j a multiple of 5?
True
Suppose -840 = -9*t + 2*t. Suppose 0 = -2*o - h + 258, o + 0 = 4*h + t. Is o a multiple of 16?
True
Let m = -66 + 91. Is 5 a factor of m?
True
Let s be (1 - 0)*1*7. Let i be (s + -6)*0/(-2). Let u(q) = q**2 + 32. Is 8 a factor of u(i)?
True
Let k(z) = -4*z**2 + 3. Let h be k(2). Let m(w) = -w**3 - 13*w**2 - 8*w - 2. Does 17 divide m(h)?
True
Is (-3728)/(-4) + -7 + 12 a multiple of 59?
False
Let y = 88 + 432. Does 65 divide y?
True
Let h = -5 - -1. Let n(s) = 21*s - 7 + 2*s**2 + 22*s - 39*s. Is 2 a factor of n(h)?
False
Suppose 4 = -2*x - 4. Let c(o) = -o**3 - 3*o**2 - 11*o - 8. Is c(x) a multiple of 30?
False
Let p be 0/3 - (-48)/(-1). Let w = 68 + p. Is 10 a factor of w?
True
Let k(j) = 44*j**2 - 2*j - 1. Suppose -5*o - 2 = -q - 3, 5*o + 2 = -2*q. Is 7 a factor of k(q)?
False
Let h(k) = 5*k + k - 3 + k**3 - 5*k**2 - 2*k. Let r be h(4). Is 7 a factor of 28/r*(2 - 5)?
True
Let x be 2/(-4)*(-5 + -19)/3. Suppose -x*q - s + 477 = 0, -4*q + 4*s + 155 = -297. Is 19 a factor of q?
False
Suppose -3*i + 0*i - 18 = 0. Let k = i + 15. Suppose 0 