uppose -y - 2*y + d = 0. Is y a multiple of 21?
True
Let p be 2 + -12*6/(-9). Suppose 852 = p*r + 152. Is 12 a factor of r?
False
Let v(z) = -10*z - 6*z - 10 - 7*z**2 - 3 + 5*z**2. Does 6 divide v(-6)?
False
Suppose -168 + 33 = -3*a - 2*z, 0 = -a - 5*z + 45. Let o = 223 + a. Does 14 divide (-1)/((-4)/o*1)?
False
Suppose 5*v = 4*v - 183. Is v/(-5) + 10/25 a multiple of 6?
False
Is 17 a factor of 25/((-75)/(-18)) + 350?
False
Does 94 divide (-2)/4 - 47268/(-104)?
False
Suppose -231 - 435 = 3*h. Does 34 divide -2 - -2 - h - 2?
False
Let a(m) = -25*m + 18. Let s be a(8). Let v = -86 - s. Does 43 divide v?
False
Suppose 5*m + 3*l + 23 = 1, -l - 14 = 3*m. Let h = 19 + m. Is 9 a factor of h?
False
Suppose -7*a + 3*u + 3550 = -3*a, -4434 = -5*a + 2*u. Is 7 a factor of a?
False
Suppose 372 = 5*i - 1348. Does 8 divide i?
True
Suppose 4*p = 8*p. Suppose p = -5*h + h + 8. Suppose 4*j = h*m - 60 + 352, 5*m = -4*j + 278. Is 18 a factor of j?
True
Suppose 27*f + 2*f - 3074 = 0. Is 19 a factor of f?
False
Suppose -4*n + 56 = 5*p, -2*n + 34 = 5*p + 6. Suppose 3*s - 2*c = 8*s - 36, s + 3*c - 15 = 0. Is s/21 - (-136)/n a multiple of 2?
True
Let g be (-61)/(3 - 5 - -3). Suppose -4*a + k - 433 = 2*k, 3*a + 3*k + 336 = 0. Let v = g - a. Is 13 a factor of v?
False
Let m(l) = 20*l + 4. Let d be (1/(-2))/(1/(-14)). Let x be 2 - d/((-7)/2). Is m(x) a multiple of 21?
True
Suppose 206 - 53 = -s. Let z(a) = -4*a**2 + 22*a - 7. Let g be z(8). Let r = g - s. Is r a multiple of 14?
False
Let u(m) = m - 9. Let t be u(11). Suppose 0 = -r + 2*c + 65, -23 = t*r + 3*c - 146. Is 7 a factor of r?
True
Let a(n) = -5 - 4 - 39*n + 4. Let s be a(-3). Is (-36)/14*s/(-12) a multiple of 24?
True
Let k = 16 - -9. Suppose 0 = 3*p - 2*p - k. Is 25 a factor of p?
True
Let l = -19 + 35. Suppose -5*h + 2*i - l = -6*h, 16 = 4*i. Is h a multiple of 4?
True
Suppose 3*n = 3*t - 542 - 466, 4*n = -4*t + 1352. Suppose -t = -3*k - 4*b, 0*k + 3*b + 581 = 5*k. Is 24 a factor of k?
False
Let i be (-2)/13 - 56/(-26). Suppose 0 = -4*h + 3*d - 206, -i*h + d - 64 - 38 = 0. Let z = h + 77. Is z a multiple of 27?
True
Suppose 0 = -r + 399 - 96. Is 28 a factor of r?
False
Suppose -3*p - 6 = 6. Let y(i) be the first derivative of i**4/4 + 7*i**3/3 + 3*i**2 + 3*i + 1. Is y(p) a multiple of 9?
True
Suppose 3*q + 7 = 31. Let l = -4 + q. Suppose -6*u - 85 = -3*c - 2*u, 0 = -4*c - l*u + 104. Does 12 divide c?
False
Suppose -608 - 134 = -7*i. Let o = i - 40. Is 33 a factor of o?
True
Let n(m) be the first derivative of m**4/4 + 2*m**3 + 2*m**2 - 8*m + 82. Let g(r) = r**3 - 4. Let k be g(0). Does 8 divide n(k)?
True
Suppose -48*w - 20082 = -127410. Does 85 divide w?
False
Suppose 0 = 3*c + 2*c - 4*p - 7, -5*c - p = -17. Suppose -5*t + 867 = j, 0*t + 529 = c*t + 5*j. Is 10 a factor of t?
False
Let x(m) be the first derivative of m**3 + m**2 + 24*m - 42. Does 9 divide x(6)?
True
Suppose -4*q - 51*n = -49*n - 5268, 5*q - 2*n - 6603 = 0. Does 30 divide q?
False
Let q = -2 + -5. Let m = q + 29. Does 11 divide -3*m/15*-5?
True
Suppose -2*n = -642 - 10122. Is 33 a factor of 6/(-14) + n/63?
False
Suppose -r + 0*r + 2*n = 7, 0 = -2*n + 4. Is 12 a factor of (-12 - r)/(5/(-20)) - 0?
True
Let g(h) = h**3 - 8*h**2 + 5. Let k be g(8). Suppose -2*p - y + 264 = -3*y, -k*p - 3*y = -620. Does 38 divide p?
False
Suppose 4*k + 550 - 9746 = 2*x, 5*k - x = 11498. Is k a multiple of 23?
True
Suppose m = -0*m + 4*b + 21, 4*b + 1 = -3*m. Suppose 233 = s + 2*s - m*y, -78 = -s + 2*y. Let c = 137 - s. Is 17 a factor of c?
False
Let o(f) = -11*f - 73. Is 32 a factor of o(-14)?
False
Let n(r) be the second derivative of 4*r**4 + r**3/6 + r**2/2 + 7*r. Let q be n(-1). Suppose f = 2*f - q. Does 12 divide f?
True
Suppose -2*c = -2*y + 2348, 5884 = -0*y + 5*y + 2*c. Does 30 divide y?
False
Suppose -1697 = -10*g - 17. Is 42 a factor of g?
True
Let m = 10 + -10. Suppose 1 = j - m*j. Is 6 a factor of 6 + -9 - (j + -17)?
False
Suppose -29*t + 15*t + 3528 = 0. Is 36 a factor of t?
True
Let c(k) = 16*k**2 + k + 1. Let y be c(-6). Suppose y = 3*b + 4*q, 4*b - 3*q + 197 = 5*b. Is b a multiple of 21?
False
Let a(j) = j**2 + 30 + 0*j**2 - 3*j**3 + 2*j**3. Does 10 divide a(0)?
True
Suppose -959 = -5*u + 131. Is u a multiple of 93?
False
Suppose 31618 = 23*a - 8218. Does 19 divide a?
False
Let y = 193 + -133. Is y a multiple of 3?
True
Let l = 5 - 0. Let d be ((-3)/l)/(2/(-20)). Suppose -136 = 4*i - d*i. Is i a multiple of 17?
True
Let s be (-2)/4 + (-2556)/24. Let r = s + 195. Is 20 a factor of r?
False
Let k = 1287 + -667. Does 7 divide k?
False
Let v(i) = -i**2 + 5*i - 2. Let c be v(2). Suppose -c*p + 129 = -167. Suppose -r - r = -p. Is r a multiple of 11?
False
Suppose 18*w - 1350 = 3*w. Is w a multiple of 9?
True
Suppose -18*n + 1623 = -13*n + h, -4*n - h + 1298 = 0. Does 9 divide n?
False
Let u(d) be the first derivative of -d**5/15 - d**4/6 + 8*d**3/3 + 8. Let j(t) be the third derivative of u(t). Does 7 divide j(-2)?
False
Let z be (-12 - -9) + (-6)/2. Let u = z + 12. Suppose m + 285 = u*m. Does 19 divide m?
True
Let v(n) = 4*n**2 - 9*n + 5. Let s = 9 + -6. Let i(z) = -z**2 + 1. Let y(j) = s*i(j) + v(j). Is y(9) a multiple of 3?
False
Let g = 145 + 58. Is g a multiple of 18?
False
Let n(d) = -d**3 + 9*d**2 - 4*d + 6. Let y(i) = i**3 - 13*i**2 + i - 5. Let w be y(13). Is 38 a factor of n(w)?
True
Let m be (64/(-24))/((-2)/3). Suppose -m*z = -24 + 16. Suppose z*d - 91 + 31 = 0. Does 15 divide d?
True
Suppose -4 = -z - 2. Suppose z*o + 3 = o. Let l(f) = -19*f + 7. Does 10 divide l(o)?
False
Let d = 13 - 9. Suppose -5*u + 4*t = -44, u - t - t - d = 0. Is u a multiple of 4?
True
Suppose -19*n + 30241 - 4021 = 0. Is n a multiple of 20?
True
Suppose 2*n = o + 8 - 3, 3*o + 15 = -5*n. Let s(g) = 4 + 5 - g - g**2 + 2*g. Does 3 divide s(n)?
True
Let d(x) = -x**3 - 4*x**2 + 3*x + 21. Is d(-9) a multiple of 13?
False
Suppose 4*r + 4*a = 4, 3*r - 4*a + 4 = r. Suppose r = -3*v + d + 19, 0 = -v - 0*d - 2*d - 3. Is 5 a factor of v?
True
Let a(g) = g**2 - g - 2. Let b be a(3). Suppose b*i = -i, -4*i + 45 = 5*z. Is 3 a factor of z?
True
Suppose -2 = 2*a - 4*v, 17 = -5*a + v - 3*v. Does 10 divide -2 + 140/8 + a/6?
False
Does 12 divide 10 + -10 + 6601 + -8?
False
Let k = 2792 - 1288. Is k a multiple of 16?
True
Let a be 12/(-16) + (-1617)/(-12). Suppose -4*y = 5*f - 268, 2*y + f - a = -f. Is y a multiple of 36?
False
Let m(x) = 11*x - 8. Let v = -8 - -11. Let g be m(v). Let u = g - -19. Is 22 a factor of u?
True
Is (1 - 4)*(-3)/((-6)/(-386)) a multiple of 32?
False
Let k(p) = 4*p**2 + p. Let l be k(-1). Let j(h) = h**3 - h**2 + 4*h - 3. Let f be j(l). Suppose 0 = -b + 4*b - 4*m - f, -54 = -3*b - 5*m. Does 6 divide b?
False
Let a = -48 - -177. Suppose 2*l - a - 77 = 0. Does 22 divide l?
False
Let u be (-10 - 0)*(-1)/2. Suppose 0*m + 495 = -u*m. Let w = -60 - m. Is w a multiple of 13?
True
Suppose 1 = -3*d + 7. Suppose d*z - 7 = 1. Suppose -276 = -z*m + 136. Does 38 divide m?
False
Let w = 62 - 79. Let z(a) = -3*a - 23. Does 7 divide z(w)?
True
Suppose 2*v + 359 - 1613 = 0. Suppose 3*f + v = -24. Let r = 323 + f. Does 20 divide r?
False
Let t = 2 - 1. Let f(j) = 18*j - 47. Let w be f(4). Let k = w + t. Is k a multiple of 26?
True
Let k be (-66)/(-4)*(-12)/(-9). Let f = -17 + k. Suppose 0 = 4*v + 2*q - 102, 59 = v + 2*v + f*q. Is 7 a factor of v?
True
Let y(k) = -630*k + 26. Let m(q) = 126*q - 5. Let r(c) = -16*m(c) - 3*y(c). Let x be r(-1). Let d = x + -53. Does 25 divide d?
True
Let a(o) = -71*o - 61. Let w(m) = 35*m + 30. Let y(r) = -3*a(r) - 7*w(r). Does 9 divide y(-4)?
False
Suppose 466 = 3*j + 55. Does 27 divide j?
False
Let m(g) be the second derivative of g**5/20 - 2*g**4/3 + 2*g**3 + g**2/2 - 9*g. Is 7 a factor of m(7)?
False
Suppose 0 = -28*p + 5*p + 21459. Does 14 divide p?
False
Suppose 0 = -y + 8*y - 28. Suppose -20 = -y*k + 232. Is k a multiple of 14?
False
Let d(s) = -5*s + 49 + 61*s - 5. Let h(x) = -11*x - 9. Let i(p) = -3*d(p) - 16*h(p). Is i(5) a multiple of 13?
True
Let n be (5 - 1) + 9 + -20. Let m(f) = f**2 - 5 - 7 + 4*f + 3. Does 12 divide m(n)?
True
Suppose -2*t + 296 = k, -2*k + 2*t = -4*k + 582. Is 13 a factor of k?
True
Is 27 a factor of 9583/5 - (-94)/235?
True
Is 1*(-3 + 2) - (-600 + 5) a multiple of 27?
True
Let g = 122 - -22. Does 24 divide g?
Tr