*(-3)/12. Suppose 3*y - 197 - g = 0. Is y a multiple of 22?
True
Let g = -22 + -43. Let h = 129 + g. Suppose 2*d - 52 = -5*p, -3*d - 3*p - p + h = 0. Is d a multiple of 16?
True
Let d = 61 - -141. Is 12 a factor of d?
False
Let n = 172 - 80. Suppose 2*b + 2*z = -z + 28, -3*z - n = -4*b. Is 5 a factor of b?
True
Suppose 5*d + 14 + 6 = 0. Let o be (d/(-6))/(1/237). Suppose 5*x = -2*f + 91, 0*f + 4*f - o = -2*x. Is f a multiple of 23?
False
Let a(t) = -30*t - 51. Let n be a(7). Let s = 437 + n. Is 16 a factor of s?
True
Let k = -24 + 14. Let d be 1794/15 - 4/k. Let o = -68 + d. Does 13 divide o?
True
Let u = -15 + 15. Suppose 4*k + 4*r + 48 = u, -3*k + 2*k + 5*r = 12. Does 19 divide (k/(-14))/(8/392)?
False
Suppose -5*q + 9 + 11 = 0, -5*l = -7*q - 14487. Does 49 divide l?
False
Suppose 35*p - 39*p + 36 = 0. Suppose p*u - 4*u - 750 = 0. Is u a multiple of 22?
False
Suppose -1 = -3*x + 4*q, -3*x + 3*q - 3 = -0*q. Let d(u) = -2*u**3 - 5*u**2 + 3*u + 6. Let m be d(x). Suppose 106 + m = 6*p. Is 11 a factor of p?
False
Let s be 411/4 + (-4 - 68/(-16)). Let u = 141 - s. Is u a multiple of 19?
True
Suppose 17*v - 11279 - 2168 = 0. Is v a multiple of 21?
False
Let k = 85 - 91. Does 9 divide (-5 + (-201)/k)*2?
False
Suppose 0 = 5*a - 5*t - 1750, 2*a + 3*t = -120 + 840. Suppose -3*x - 90 = -a. Is x a multiple of 22?
True
Suppose -4038 = 9*n - 10329. Is 19 a factor of n?
False
Suppose 2*g - 4*a - 10 = 0, -2*g + 13 = -5*a + 3. Suppose -g*r = p - r - 115, -480 = -4*p + 4*r. Is p a multiple of 10?
False
Suppose 0 = 11*u - 9*u + 18. Let m = 12 + u. Is (21 - -2)/(m/6) a multiple of 23?
True
Let k be 15/(-10)*8/(-6). Let a be -1*(-1 - (1 - k)). Does 11 divide 1 + 1*32 + a?
True
Let x = 3398 - 1802. Is x a multiple of 40?
False
Let p = -629 - -1084. Suppose p = 6*o - o. Is 28 a factor of o?
False
Let h(s) = s**3 + 10*s**2 - 9*s + 7. Let y be h(-8). Suppose -29*b + y = -26*b. Does 12 divide b?
False
Let l(o) = -5*o**3 + o + 1. Let g be l(-1). Suppose -g*p = p - 24. Let j(i) = 5*i - 3. Is 6 a factor of j(p)?
False
Suppose -x + 2*x = 4*v + 21, 4*x = 3*v + 32. Let k(i) = 2*i**2 - i + 5*i**2 + x*i**2 + 4*i**2 + 1. Is k(1) a multiple of 9?
False
Is 33 a factor of 1/5 - 11184/(-30)?
False
Let a(g) = g**2 - 2*g + 29. Let l be a(11). Let j = -124 + l. Is 2 a factor of j?
True
Let j(h) = 2*h**2 - h - 2. Let t be j(-3). Let d = 15 - t. Is (-88)/d + (1 - 2) a multiple of 21?
True
Let r be 870/4 - 36/(-24). Suppose -2*k = -5*p - r, 0*p = -3*p + 3. Is 8 a factor of k?
True
Suppose 4*n + 2*m = -6, 15 = -2*n + 7*n - 2*m. Let p be 2*-1 - (-3 + n). Is (-846)/(-36)*(p - -2) a multiple of 10?
False
Let u(i) = i**2 - 19*i + 25. Let x be u(18). Let o = x - 4. Suppose o*q - 64 = q + 4*y, 0 = 3*q - 2*y - 84. Is q a multiple of 26?
True
Let y(z) = 7*z**3 + 12*z**2 + 3*z - 31. Let j(l) = 8*l**3 + 12*l**2 + 2*l - 33. Let b(k) = -6*j(k) + 7*y(k). Suppose -q = q + 22. Is 2 a factor of b(q)?
False
Let d(y) = y**2 - 9*y - 3. Let o(q) = -q**3 + 4*q**2 + 12*q - 2. Let l be o(6). Does 19 divide d(l)?
True
Suppose 39 - 25 = 2*t. Suppose -2*v = b - 13, 3*b = -2*v + 12 + t. Suppose -34 = -3*m + v*c, -m + 7*c - 2*c + 18 = 0. Is 2 a factor of m?
True
Let f = 21 - 23. Does 13 divide f/2 + 57 + -4?
True
Suppose o - 191 = 184. Does 39 divide o?
False
Is (7 - 119/3)*-15 a multiple of 49?
True
Suppose 12 - 37 = -5*c + 2*k, -4*c + 5*k = -3. Is -5 + c - 11*-1 a multiple of 3?
False
Let v = 4 - 0. Suppose 0 = -0*l + 5*l - v*d - 77, 5*l + 2*d = 59. Is l + 1 + -1 + 1 a multiple of 4?
False
Let t(q) = -7*q**3 - 2*q**2 + 8*q + 7. Does 6 divide t(-5)?
True
Let h(t) = -2*t - 11. Let o be h(-8). Suppose o*a - 164 = -19. Is 12 a factor of a?
False
Let y(n) = n**2 - 20*n + 73. Is y(27) a multiple of 9?
False
Let b(s) = s**3 + 3*s**2 - 6*s - 2. Let c be b(-4). Let t(g) = -g**3 + 6*g**2 + 12*g + 13. Is 17 a factor of t(c)?
True
Let i be 1 + (-7)/((-7)/(-4)). Let x(n) = 28*n + 3. Let k be x(i). Does 9 divide (-18)/k - 446/(-18)?
False
Let z(m) = 3*m**2 + 8*m + 6. Let p = -24 + 26. Suppose -p*u + 4*j = 6, -5*j + 15 = -4*u - 0*u. Does 6 divide z(u)?
False
Suppose -30*i + 25515 = 5*i. Is 19 a factor of i?
False
Suppose -19*y = -11989 + 2071. Does 12 divide y?
False
Suppose -5150 = -2*z + 2*o, -22*z + 19*z = o - 7709. Is 15 a factor of z?
False
Let c(l) be the second derivative of -l**4/12 - 2*l**2 + 7*l. Let h be c(0). Is 13 a factor of h + 129/(3 - 0)?
True
Suppose 0 = -2*c + 2, -5 = -3*x - 4*c - 1. Suppose 0 = 2*q - q. Suppose -4*o + x*o - n = -33, q = 3*n + 9. Is 9 a factor of o?
True
Let p(j) = -13 + 2*j - 4*j + 3*j**2 - 15*j + 3. Is 18 a factor of p(8)?
False
Suppose -56143 = 16*t - 39*t. Does 9 divide t?
False
Let m be 3/(4 - 20/8). Suppose 4*z - 2*h - 2*h = 668, m*z - 322 = -4*h. Suppose 0 = 7*t - 4*t - z. Does 7 divide t?
False
Suppose 3*b - 7 = 2*l, 5*l = 2*b + 9 + 1. Suppose -8*q = -7*q - l. Is 4 a factor of q?
True
Suppose -4*d + 2153 + 946 = -5*q, -3*d + 2323 = -5*q. Is d a multiple of 24?
False
Suppose 0*h = -6*h + 3636. Suppose h = 99*z - 96*z. Does 10 divide z?
False
Let u = 339 - 74. Does 53 divide u?
True
Let n(z) = 9*z**2 + 2*z - 2. Suppose 10 = 3*s + 1. Let c be (0 + -5)*1 + s. Is n(c) a multiple of 30?
True
Is 612/54*(0 + (-45)/(-6)) a multiple of 5?
True
Suppose -4*k + 206 = 2*t, -3*t + 148 = -3*k - 116. Is 87 a factor of t?
False
Does 39 divide 7 + (33744/8 - 10)?
False
Suppose -z + 4*p = 4 - 18, -2*z = 5*p + 11. Suppose 53 = 4*x + i, 13 + 12 = z*x + i. Does 14 divide x?
True
Let q = -7 - -9. Suppose 0*p - 4 = q*p. Is (p/8 - 2)*-4 a multiple of 4?
False
Suppose -4*l = -5*l + 351. Does 13 divide l?
True
Let n(h) = h**3 + 6*h**2 + 4*h + 3. Let w(j) = j**2 + 11*j + 5. Let t be w(-11). Suppose -7 = u + 5*k + 12, -3*k - t = -u. Does 19 divide n(u)?
True
Is 9 a factor of 1305/(-5)*1/(-1)?
True
Let z be (-428)/(-6) + (-12)/36. Suppose -3*g - 5*v = -2*g + 52, 5*g - v = -182. Let w = z + g. Is w a multiple of 23?
False
Let s(z) = -z**2 - 11*z - 6. Suppose -2*f = 2*p + 18, -2 = 2*p - f + 7. Let y be s(p). Suppose o + y = 2*o. Does 5 divide o?
False
Suppose 0 = 3*h + 6*w - 3*w - 105, 2*h = 4*w + 70. Let u = -27 + h. Is 3 a factor of u?
False
Suppose 0*n = n. Suppose 5*g = 4*t - 27 + 1, n = 5*g + 4*t + 34. Is -2 + 1 - (g - -1) even?
True
Suppose 8*i = 4*i - 8, -b = -4*i - 50. Suppose -5*d = -b - 438. Is 24 a factor of d?
True
Let o = 114 - 41. Suppose -4*u + 121 = o. Is u even?
True
Suppose -16 = 5*b + 69. Let h = -448 + 409. Let c = b - h. Is c a multiple of 11?
True
Let b(p) = 8*p + 624. Does 13 divide b(0)?
True
Let z(f) = 36*f**3 + 4*f**2 - 6*f + 5. Let c(t) = -36*t**3 - 5*t**2 + 7*t - 6. Let d(r) = 3*c(r) + 4*z(r). Is d(1) a multiple of 6?
True
Suppose 3*v + 3*j = 2*v + 504, 5*j = v - 464. Suppose -2*k = 3*k + 2*t - v, -5*k + 483 = 4*t. Is k a multiple of 18?
False
Let y(k) = -k**3 + 6*k**2 - k + 8. Let u be y(6). Let o = u - -53. Is 20 a factor of o?
False
Suppose -6*i - 28 = -2*i. Let d = i - -7. Suppose 4*t - 12 - 44 = d. Is t a multiple of 3?
False
Suppose w = -0*w + 42. Suppose 0 = -n - 7 + w. Is n a multiple of 14?
False
Let o be -4 - -7 - 3/(-6)*2. Suppose 0 = r + 5*s + 15 - 57, o*r = -4*s + 168. Does 7 divide r?
True
Does 32 divide 52/(-1)*(-1904)/17?
True
Suppose 2*v - 5*w = -v + 511, -w - 169 = -v. Is 3 a factor of v?
False
Suppose 0 = 3*h + 45 - 60. Suppose -4*j - 3*p = -34 - 2, -h*j + p = -26. Is j a multiple of 6?
True
Let n(z) = 16*z**2 - 3*z - 4. Does 11 divide n(-3)?
False
Suppose 1 = 3*u + 5*r, -5*r - 6 = 14. Suppose 2*m - 70 = u*m. Is 7 a factor of (m/4)/((-2)/8)?
True
Let u = -4 - -8. Suppose -5*z - 11 = j, -j - u*z - 8 = -0*j. Suppose -j*m - 5 + 117 = 0. Is m a multiple of 10?
False
Let n(j) = 2. Let x(c) = c + 2. Let m(r) = 4*n(r) - 5*x(r). Let p be m(-4). Suppose -2*w + p = -0*w. Is w a multiple of 2?
False
Let b = -507 - -1055. Is b a multiple of 3?
False
Suppose 3*u + 5*g = 4616, -4*u + 4*g + 391 + 5753 = 0. Is u a multiple of 29?
True
Let m(j) = 22*j**3 + 2*j**2 - j - 1. Is 6 a factor of m(1)?
False
Suppose -5*i = -5*b - 280, 2*i + b + 0*b = 103. Is 2 a factor of i?
False
Suppose 0 = -5*t - 0*r - 3*r + 10393, -20 = 5*r. Does 11 divide t?
False
Let j(l) = 2*l**3 - 26*l**2 + 22*l + 28. Does 4 divide j(12)?
True
Suppose 0 = -5*t + 3*t. Suppose t = -0*z + 2*z + 16. Let b(s) = -14*s - 2