
Let q(z) = 773*z**2 - 6*z + 4. Let o be q(4). Suppose 0 = 27*s + s - o. Does 9 divide s?
True
Let y(z) = -z**3 + 19*z**2 + 28*z + 203. Is 17 a factor of y(17)?
False
Suppose 38 = 3*j + 23. Suppose j*h - 108 = -4*w + 236, 3*w - 4*h = 227. Is w a multiple of 15?
False
Let j(l) = 2*l**2 - 3*l**2 + 6*l**2 - 4*l. Let v = 749 - 752. Is j(v) a multiple of 7?
False
Suppose -k - 3*n + 31244 = 0, 5*k - 5*n = 202507 - 46327. Is 109 a factor of k?
False
Let n(r) = 9793*r - 837. Is 17 a factor of n(2)?
False
Let s(b) = b**3 + b**2 + b + 62. Let x be s(0). Let j = x - -378. Does 10 divide j?
True
Suppose 7*i + 8 = 22. Suppose -i*g + 5*s = -91, 2*s - 43 = -g + 7*s. Does 7 divide g?
False
Let o = 2108 - 3794. Does 22 divide -2 - (56/(-42))/((-2)/o)?
True
Let m = -77 + 76. Let p be 520 - (-8)/(-2 - m - -3). Let h = 744 - p. Is h a multiple of 55?
True
Suppose 0 = -c + 2*c - 3*k, 0 = 3*c + 3*k - 12. Suppose c = q - 0*q. Suppose 0*o + a = -o + 51, 0 = -q*a - 3. Does 7 divide o?
False
Let k(i) = i**3 - 2*i**2 + 3*i + 2. Let y be k(3). Let g be 41/4 - -1*15/y. Suppose -7*v + g*v = 468. Is v a multiple of 13?
True
Let j = 7817 + -1714. Is j a multiple of 90?
False
Let i(w) = 79*w**2 + 165*w + 1424. Is i(-8) a multiple of 20?
True
Let n be -8 + 0 + 16/4. Let h be 0 + n + -70 + 6. Does 17 divide (34/h)/(-1 - (-203)/204)?
True
Suppose -3*h = -r - 7*h - 324, -5*h - 951 = 3*r. Let w be (r/(-91))/((-2)/(-49)). Suppose y = 3*y - w. Is y a multiple of 9?
False
Let z be (-32)/(-8) - (-1 - (2 + -3)). Suppose -z*y + 4*s + 976 = 0, -s + 727 - 230 = 2*y. Does 13 divide y?
True
Let q(s) = 2008*s - 2894. Is 12 a factor of q(7)?
False
Suppose -5*z = 4*i - 540, 2*z - 8*i = -7*i + 203. Suppose -2*b + 464 - z = 0. Is 15 a factor of b?
True
Suppose 5*y - 261525 = 5*n, 2*y + 15*n - 16*n = 104607. Is y a multiple of 138?
True
Suppose 0 = -3*g + 2*q + 1306, -9*g + 6*g = q - 1291. Suppose -6*t + 1038 = -g. Is t a multiple of 49?
True
Suppose -8*v + 105 = -7. Suppose 0 = -2*q + v + 22. Let k = 34 - q. Does 8 divide k?
True
Suppose 627 = -54*r + 43*r. Suppose 2 = 5*y - 463. Let o = r + y. Is 18 a factor of o?
True
Let z = 113 + -76. Suppose 0 = z*o - 26*o - 5434. Does 19 divide o?
True
Is (-5 - (1 + 1)) + (388360/14 - 13) a multiple of 72?
True
Suppose 11 = c + 3*a, 0*c + a = -4*c + 55. Let q = c + -12. Suppose j = 5*f + 18 - q, -4*f = -4*j + 128. Is 12 a factor of j?
True
Suppose -3*m - r = -71, 4*m + r = 56 + 39. Suppose -26*a = -m*a - 178. Let t = a + -23. Does 33 divide t?
True
Suppose 4*x = -3*k + 9190, 27*x + 5*k - 6898 = 24*x. Is x a multiple of 82?
True
Suppose 0 = -7*p + 9*p + 2. Let m(s) = 4*s**3 - s - 1. Let o be m(p). Is (-1)/(((-20)/(-685))/o) a multiple of 12?
False
Let p be -7*(-3)/6*34. Suppose -5*f = -p + 99. Suppose u - 2*v - 44 + 3 = 0, 4*u = -f*v + 224. Is u a multiple of 5?
False
Let f(u) = 13*u - 6. Let x = -103 - -106. Does 10 divide f(x)?
False
Let p(g) be the second derivative of g**5/20 - 2*g**4/3 + 10*g**3/3 + 11*g**2/2 + 11*g + 3. Is p(11) a multiple of 66?
True
Suppose -2*p = -10, -28*p + 24*p + 92170 = 5*t. Is 14 a factor of t?
False
Suppose 15 = -2*k - f, 0*f - 5*f = -2*k + 15. Let p = k - -5. Suppose 4*y + 3*i - 153 = 23, -5*y + 5*i + 185 = p. Is 10 a factor of y?
False
Suppose -83*a + 79*a - d = -23394, -5844 = -a + 2*d. Is a a multiple of 57?
False
Let z = -59 - -107. Suppose -z*m + 53*m - 170 = 0. Is m a multiple of 18?
False
Let c(i) = i**2 + 51*i - 1546. Does 54 divide c(-89)?
True
Let s(j) = j**3 + 7*j**2 + 4*j + 6. Let x be s(-7). Let b be x/((4/16)/((-9)/24)). Suppose 55 = 2*y - o, 0 = 5*y - 4*y + 5*o - b. Is 14 a factor of y?
True
Suppose -40 = -14*i + 6*i. Suppose 2*p - i*p = -1167. Does 27 divide p?
False
Suppose -18*m + 16427 = -51595. Does 6 divide m?
False
Let t(v) = 24*v**2 + 171*v + 2907. Does 14 divide t(-19)?
False
Suppose -24 + 66 = 6*p. Does 18 divide (p/3)/(1/138)?
False
Let w(k) = 3*k + 20. Let j = -14 - -8. Let c be w(j). Suppose -5*g + 86 = 2*f - 0*f, 0 = g - c. Is 19 a factor of f?
True
Is ((432/120)/(-1))/(1 + (-4874)/4870) a multiple of 9?
True
Suppose 5*q + v + 47 = 0, 21*q = 19*q - 3*v - 11. Does 57 divide 137 - (q - -1 - -6)?
False
Let f = 48 - 52. Let s be 3/(-12) + -35*f/(-16). Is 7 a factor of 0 - s - (0/1 - 2)?
False
Suppose 0 = 45*d - 97*d + 79096 + 602416. Is d a multiple of 13?
False
Let q(w) = -16*w - 6. Let l be q(-5). Let n be -5 + -10 + 5 + 12. Suppose l = n*b - 46. Is 12 a factor of b?
True
Suppose -194192 = 122*j - 351*j. Is j a multiple of 16?
True
Let y(o) = -15*o + 103. Let n be y(6). Is 28 a factor of (3 - n)/((-2)/56)?
True
Let s = -1116 - -2360. Suppose -s*g + 1242*g = -32. Is g a multiple of 13?
False
Suppose 120247 + 5413 = 61*l. Does 11 divide l?
False
Suppose 441 = 3*u - 6*u. Suppose 3168 = -12*w + 252. Let i = u - w. Does 24 divide i?
True
Let x = -1397 + 2737. Does 20 divide x?
True
Let t = -49 + 43. Let b be (-13 - 23)*220*(-2)/t. Is 1/(458/b + 14/77) a multiple of 12?
True
Let h = 11766 - 5166. Does 5 divide h?
True
Let k be ((-363)/132)/(2/(-584)). Suppose -4*h + 6*h + 324 = 2*t, 2*h - k = -5*t. Is 7 a factor of t?
True
Let y = 49296 - 32244. Does 49 divide y?
True
Let x(w) be the third derivative of w**6/30 - w**5/60 + w**4/4 + w**3/6 + 69*w**2. Is 26 a factor of x(5)?
False
Let m(q) be the second derivative of q**5/10 + 19*q**4/12 - 7*q**3/3 - 11*q**2/2 - 16*q. Let y be m(-11). Does 4 divide (y/66)/((-1)/18)?
True
Suppose -326 = 5*c - 6*c. Suppose 4*z + c = -74. Let a = 172 + z. Is 12 a factor of a?
True
Let y be 720/12*(-2 - -3). Suppose -q = 3*j - y, 3*q - 29 = 2*j + 151. Is 30 a factor of q?
True
Suppose 9*x = 16*x - 1778. Let g = -112 + x. Is 41 a factor of g?
False
Let h(s) = -s**2 - 7*s + 12. Let d be h(-8). Suppose d = -11*q + 26. Suppose 5*c + 2*u - 139 = -0*u, -112 = -4*c - q*u. Is c a multiple of 9?
True
Let t be (-2)/17 - (-1 + 5788/(-68)). Suppose 518 - t = a. Is 24 a factor of a?
True
Suppose -4234 = -2*g + 570. Is 32 a factor of g?
False
Let u be 4/((-4)/(-57)) + -1. Suppose 5*w - 1665 = -5*g, -5*w = -g + 289 + u. Is g a multiple of 25?
False
Let u be (-4)/(-16) - (-162)/(-8). Let w = u - -24. Suppose -5*b = i - 82, -41 - 255 = -4*i - w*b. Does 18 divide i?
True
Suppose 0 = 27*m - 5653 - 1718. Let x = m - 57. Is 13 a factor of x?
False
Suppose -73*w - 80438 = -2*w - 266316. Is 14 a factor of w?
True
Let h(v) = -5*v**2 + 62*v + 160. Let s(q) = -4*q**2 + 61*q + 158. Let j(i) = 5*h(i) - 6*s(i). Is j(-52) a multiple of 5?
True
Let o(m) = m**3 + m**2 - m + 176. Let c be o(0). Suppose -58*j + 128*j + 5605 = 11*j. Let z = c + j. Is z a multiple of 9?
True
Suppose -3*a - 11 + 59 = 0. Suppose -19*z - a = -15*z. Is z/((-48)/956) + (-2)/(-6) a multiple of 9?
False
Suppose -4*x - 751 = -3*h, -4*x = -2*h + 997 - 247. Does 47 divide 34/x - (-5326)/11?
False
Let a be ((-42)/9 - -1 - -3)*-9. Suppose -3*u + 3*b + 13 = -2*u, 3*u + 3*b = 3. Suppose -u*p - 248 = -a*p. Does 10 divide p?
False
Let c be 11/66 + (115/6)/5. Suppose 0 = c*q - 8*q + 4, 4*l - 4*q - 920 = 0. Is l a multiple of 11?
True
Let y = -13 + 77. Let c = -11 + y. Is 21 a factor of c?
False
Let i be -22*(-30)/(-12)*1/5. Is (i - 1)/(-3*(-6)/(-81)) a multiple of 9?
True
Let i(d) = d**2 - 36*d + 249. Does 39 divide i(51)?
True
Suppose -5*m = -m + k - 363, 2*m - 180 = -2*k. Let h = m + -88. Suppose v - 43 = h. Is 19 a factor of v?
False
Let w(q) = 4*q**2 - q + 2. Let x be w(1). Suppose 0 = -7*c - x*c. Suppose 0 = y + 2*a - 268, c = 4*y - y - 3*a - 813. Is y a multiple of 15?
True
Suppose 0 = -25*a - 18 + 243. Let t(x) = 2*x**2 + 12*x - 34. Is t(a) a multiple of 40?
False
Is (-8)/(-10) + (-20775)/(-125) + -4 a multiple of 4?
False
Suppose -65*m + 1947 = -76*m. Let k = 239 - m. Is 32 a factor of k?
True
Suppose 45*y - 47*y + 21874 = 3*m, -4*m - y + 29167 = 0. Is m a multiple of 5?
False
Let z be ((-56)/(-10))/(18/(-855)). Let m be (27/(-15) - -2) + z/5. Does 13 divide m*((-2)/(-7) + 16/(-7))?
False
Let g be 442 - ((-2)/(-3))/((-4)/6). Suppose -7*r = -1990 + g. Is r a multiple of 10?
False
Let h = 1134 + -164. Let l = -570 + h. Does 40 divide l?
True
Let s = 179 - 179. Suppose 10*w - w - 2142 = s. Is w a multiple of 14?
True
Suppose 5*v = 45 + 25. Let t be 18/(0 + 9/6). Suppose t*r = v*r - 32. Does 4 divide r?
True
Suppose -5*g = l - 2422, -5*