= f + -31. Suppose -4 = o, 0 = -j*l + 2*o - o + 229. Is 15 a factor of l?
True
Does 13 divide -1 + -5 - (-128)/4?
True
Let x(q) = 0*q**2 - 16*q - 10 - q**2 + 36*q. Is 9 a factor of x(14)?
False
Suppose -4*r + 28 + 12 = 0. Let y be (r/4)/((-85)/(-68)). Suppose -o - y*m + 35 = 2*m, o - 5*m = -10. Does 15 divide o?
True
Let o be -1 + 6 + 2 + -3. Let t = -157 + 157. Let h = o - t. Does 4 divide h?
True
Suppose 24 = 6*r - 0*r. Suppose t = -2*z - 0*t + 11, r*z + 5*t = 37. Is -2 + z + 0 + 4 a multiple of 5?
True
Suppose -3*k - k - 3*n + 284 = 0, 0 = -5*k - 3*n + 358. Is ((-7)/14)/((-1)/k) a multiple of 5?
False
Let o(m) = -4*m - 3. Let j(p) = -p + 1. Let n(y) = -j(y) + o(y). Let a be n(-3). Suppose u = 5*d - 3*d - 66, -86 = -3*d - a*u. Is 8 a factor of d?
True
Let n = 12 - 7. Suppose 3*o - n*o = -6. Suppose 5*i + 4*q - 3*q = 187, 4*i = -o*q + 143. Does 16 divide i?
False
Let n = -14 - -100. Is 7 a factor of n?
False
Let a be (37 + 49/7)*6/8. Let g = 80 - a. Does 18 divide g?
False
Let n = -13 + 23. Suppose 18*y = 13*y + n. Suppose 4*u = -6*b + y*b + 72, -3*b = 4*u - 55. Is b a multiple of 14?
False
Let s = -72 - -107. Suppose 15 = 5*i, 5*j - i - 80 = 4*i. Let b = s - j. Does 16 divide b?
True
Let o(t) = -2*t + 5. Let h be o(6). Let w = -4 + 10. Let g = w - h. Is 13 a factor of g?
True
Let y = 2 - 2. Let n be (y - (3 + -2))*6. Let f(p) = -3*p + 14. Does 21 divide f(n)?
False
Let z(i) = 479*i**2 + 4*i - 4. Is z(-1) a multiple of 2?
False
Suppose 0 = -4*v + 448 + 1392. Suppose -b = 4*b - v. Let y = b + -44. Is 12 a factor of y?
True
Let g(y) = -y + 143. Is g(14) a multiple of 43?
True
Suppose 0 = -4*r - 4. Let m(b) = -4*b + 54. Let y be m(14). Is r/y + (-9)/(-2) a multiple of 3?
False
Is 3 a factor of (-2 - -3)/(16/1728)?
True
Let i(n) = n**2 + 25*n - 23. Let g be i(-26). Suppose g*s - 4*r - 912 = 0, 0 = -r - 4 + 1. Is s a multiple of 12?
True
Let h be (1 + 1)*1/(-2)*0. Suppose r - 30 = -h*q - 4*q, 0 = -4*q - 3*r + 26. Is q a multiple of 4?
True
Suppose -4*t = -4*a + 436, 8*a - 3*a = -4*t + 518. Is 3 a factor of a?
False
Is 36 a factor of 156/26 + 2*166?
False
Suppose -8*k - u - 795 = -13*k, -3*u = k - 143. Is 6 a factor of k?
False
Let z = 32 + 6. Let p = z + -28. Let x = 19 - p. Is x a multiple of 9?
True
Suppose -2100 = -13*v + 9*v. Does 15 divide v?
True
Suppose 3*i + 8*i = 5500. Is 11 a factor of i?
False
Does 12 divide -4 - (12*122)/(-6)?
True
Let b(q) = q**3 - 6*q**2 + 7*q - 4. Let x = -9 + 14. Let c be b(x). Suppose 0 = -c*a + 4*a + 12. Is 6 a factor of a?
True
Suppose 0 = 2*w - 5*w - 5*f - 160, -5*w - 3*f = 272. Let s = w + 100. Is s a multiple of 12?
False
Suppose -6*q = -1728 - 1368. Suppose q = 3*z + 3*o, -2*o - 336 = -2*z - 0*z. Is 17 a factor of z?
True
Let w(p) = -4*p**3 + p. Let c be w(-1). Suppose -c*h = -34 + 1. Is h a multiple of 11?
True
Let w be 1100/(-6) - (-12)/(-18). Let i = -115 - w. Suppose 3*v + 66 + i = 5*u, 0 = -3*u - v + 95. Is 17 a factor of u?
False
Is (-77730)/(-210) - (-2)/(-14) a multiple of 3?
False
Let n be 8/2 + 7 + -9. Suppose 0 = -3*q + 2*u + 140, -q - n*u = 3*u - 58. Is 7 a factor of q?
False
Let a(c) = -65*c - 42. Does 29 divide a(-6)?
True
Suppose 58*k - 1242 = 55*k. Does 46 divide k?
True
Let d = 6 - 11. Let n(u) = -6*u - 11. Let f be n(d). Suppose 4*j - 55 = -4*x - f, 53 = 5*j - 3*x. Is j a multiple of 8?
False
Suppose a - 3*r = 210 - 83, 0 = -2*a - 3*r + 218. Is a a multiple of 29?
False
Let m = 1834 - 1766. Is m a multiple of 4?
True
Let y = 261 + -267. Let j(a) = 5 - 1 - 3*a + 2. Does 8 divide j(y)?
True
Suppose -5 = -2*k - 13. Let z be (2/k)/((-13)/(-26)). Is (-9)/(-3) - (-68 - z) a multiple of 18?
False
Suppose 2*q = -2, 5*y - 3*q - 174 = 4. Suppose -36*d + 96 = -y*d. Is d a multiple of 16?
True
Let a(h) = 2*h + 18. Suppose 0 = -5*d + 3*s + 35, 2*d + 7 = -3*s - 0. Suppose d*m - 9*m = 0. Is 9 a factor of a(m)?
True
Suppose 0 = 5*d - 37 + 672. Let a = d + 262. Does 27 divide a?
True
Suppose -c - c = 4. Let k = c - -7. Suppose 3*w = k*p + 32, 0 = w - 3*p - 6 - 6. Does 9 divide w?
True
Let n = 95 + -60. Suppose -50 = -4*h + 2*a + 86, 0 = h - a - n. Does 15 divide h?
False
Suppose -s + 81 = -5*f - 145, 6 = -3*f. Does 12 divide s?
True
Does 22 divide 1*(-976*(-3)/6 + -2)?
False
Suppose -3*s = -4*s. Suppose -u + 3*u - 8 = s. Is 4 a factor of ((-9)/15)/(u/(-120))?
False
Suppose -5*u + 94 = 2*y - 4*y, 0 = -4*u + 2*y + 74. Does 5 divide u?
True
Let n(q) = -2*q**3 + 17*q**2 + 4*q - 7. Does 21 divide n(7)?
True
Suppose 55*y + 3248 = 59*y. Is y a multiple of 28?
True
Let r = -25 - -113. Suppose -5 = 5*v - 2*m, -7*m = -3*m. Is v*3 - r/(-11) a multiple of 5?
True
Suppose 2*d - 7*d + 307 = 3*g, -d + g = -55. Let w = d + 36. Is 19 a factor of w?
True
Let f(u) = -u**2 + 8*u + 5. Let l be f(0). Suppose l*a = 86 - 6. Does 4 divide a?
True
Let a(p) = 60*p + 312. Does 17 divide a(23)?
False
Suppose -23 + 7 = -8*m. Suppose 0 = -2*i + i - 2*b + 54, 0 = m*i + b - 99. Is i a multiple of 5?
False
Suppose -2*k = -u - k + 88, 5*k = -u + 64. Is 12 a factor of u?
True
Let y = -55 + 95. Is ((-6)/(-10) - (-936)/y)/1 a multiple of 6?
True
Let g(u) = u - 1. Let c(f) = -14*f - 5. Let v(w) = -c(w) + 2*g(w). Let j be v(6). Suppose -j = -5*p + 2*z, -4*p + 4*z = 23 - 95. Is p a multiple of 7?
True
Suppose 5*r - 3*u - 8 - 7 = 0, -2*r + u = -6. Suppose -5*q + 508 = -r*n, -4*q + 0*n - 2*n = -424. Does 14 divide q?
False
Let p(x) = x + 6. Let k be p(-6). Suppose u = -2*i + 4, -1 = i - 2*u - 13. Let r = i - k. Does 3 divide r?
False
Let h = -294 + 213. Suppose 4*v + 12 = m + m, 5*m - v - 30 = 0. Is h/((-21)/m - -2) a multiple of 18?
True
Suppose -7*h - 61 = -12. Let a(u) = u**3 + 8*u**2 + 5*u + 14. Is a(h) a multiple of 28?
True
Suppose 1783 = 3*p - 4*q, 5*q + 576 = 17*p - 16*p. Is p a multiple of 7?
False
Suppose 669 = 5*c - 4*u, 4*c = -0*u + 2*u + 534. Suppose -c*z + 131*z + 104 = 0. Is 28 a factor of z?
False
Let d be (-1)/(2/4*(-16)/32). Suppose 2*m + 2*t = 644, -t = -m - d*t + 322. Does 53 divide m?
False
Let i = 450 + -16. Is 14 a factor of i?
True
Suppose -4*v + 12 = 0, -v = 5*r - 3*r - 47. Does 3 divide r?
False
Let n(a) = -2 + 13*a**2 - 2*a - 13*a**2 + 2*a**3. Let x be n(-2). Let o(f) = -7*f + 6. Does 13 divide o(x)?
True
Suppose 5*p = 655 + 570. Let o = p + -80. Is 36 a factor of o?
False
Let t = 1 - -47. Suppose t = n + 2*n. Is n a multiple of 8?
True
Suppose 7*y = 5 + 23. Suppose -303 - 5 = -y*c. Is c a multiple of 11?
True
Let x(d) = 2*d**2 + d + 4. Let t be x(0). Suppose 5*i = -t*y + 4*i + 332, y = -5*i + 64. Suppose -w - 2*v + 12 = 0, 4*w + 0*v - 4*v = y. Is w a multiple of 9?
True
Let x(r) be the second derivative of -r**5/60 - 3*r**4/8 + 5*r**3/3 + r**2/2 + 5*r. Let p(j) be the first derivative of x(j). Does 9 divide p(-8)?
True
Suppose -1715 = -569*d + 564*d. Is d a multiple of 5?
False
Let a be 3*(-4)/54 - (-83)/9. Let f(w) = w**2 - w + 13. Is f(a) a multiple of 17?
True
Suppose 10*p = 1491 + 1649. Is p a multiple of 7?
False
Let f(d) = 33*d**2 + 16. Does 10 divide f(4)?
False
Is ((-54)/(-12) - 7)/((-5)/270) a multiple of 24?
False
Let s(a) = -26*a + a**2 + 33 + 6*a + a + 41*a. Does 11 divide s(-22)?
True
Let f = 7 - 11. Is 1 + (f - -3 - -33) a multiple of 19?
False
Let x be 643*7/(14/4). Suppose -7*t - 110 = -x. Is 21 a factor of t?
True
Let g(h) = 3*h - 12. Let u(p) = p**2 + 2*p - 3. Let b be u(2). Let r be g(b). Is (r + -2)/((-2)/(-26)) a multiple of 13?
True
Let n be (1 - 1) + (1 - 25). Let s = 49 + n. Let z = s + -15. Is 4 a factor of z?
False
Suppose 0 = -6*p + 22*p - 3472. Is p a multiple of 31?
True
Suppose 3*a = 2 + 4. Let i be 1 - a - 48/(-3). Suppose 4*l = -4*k + k + 116, 3*l - i = 0. Does 16 divide k?
True
Suppose -2*w - 22 - 28 = 0. Let t = w - -28. Suppose 4*j - 216 = -t*l - 64, -66 = -2*j + l. Is 23 a factor of j?
False
Suppose -r - 3*r = 3*q - 3666, -q = -3*r - 1222. Does 47 divide q?
True
Suppose 5*b + 2*l - 130 = 7*l, -3*b + 4*l + 76 = 0. Suppose -s - b + 190 = 0. Is s a multiple of 18?
True
Let p(o) = o**3 + 19*o**2 - 25*o + 16. Let k be p(-18). Suppose 5*a + 6*x = x + 1025, 0 = -4*a + 2*x + k. Is 22 a factor of a?
False
Suppose -43*n = -45*n - 4. Is 4 a factor of (-18)/(n - -1 - (-2)/8)?
True
Suppose 4*t + 56 + 123 = 3*k, 5*k - 313 = 3*t. Does 6 divide k?
False
Suppose 3*w - 301 = u, 6*u - 1 = 7*u. Is w a