?
True
Suppose 2*r = 3*a - 2914, -5*r = 41 - 31. Does 5 divide a?
True
Let z = 6743 - 2385. Is 94 a factor of z?
False
Let s = 88 + -92. Let g = s - -17. Let h(d) = -d**2 + 20*d - 3. Is 22 a factor of h(g)?
True
Does 38 divide (-2)/4 + (441532/14 - (-5)/2)?
True
Let u(x) = -2*x**3 + 71*x**2 + 15*x + 92. Is u(32) a multiple of 104?
False
Let t(y) = 5*y**2 + 32*y - 253. Is t(-46) a multiple of 11?
True
Suppose -7772 = -2*k + 2*j, -5*k - 2*j + 19431 = -6*j. Is k a multiple of 67?
False
Suppose 6*c - 23 = 25. Suppose -4*x - 120 = -c*x. Is 18 a factor of (-6)/(-2*1/x)?
True
Let x = 437 - 211. Suppose 0 = -o + 3*l + x, -5*o + 613 = 4*l - 422. Does 12 divide o?
False
Suppose -8*u + 50556 + 30276 = 0. Is u/48 + (-3)/6 a multiple of 15?
True
Suppose 0 = -0*c - 6*c + 24. Suppose 0 = 2*b - c*b - u + 82, b - 36 = 2*u. Let k = 68 - b. Does 4 divide k?
True
Suppose 13 = 4*f - u, -4*f = -7*f + u + 11. Suppose 0*t - 10 = -f*j + t, -5*j = 3*t - 47. Suppose 11*v - j*v = 120. Does 13 divide v?
False
Let r = -55 + 57. Let x(g) = -g**3 - 9 - 9*g**r - 5*g**2 + 17. Is 4 a factor of x(-14)?
True
Let h = 331 + -86. Suppose -235*q = -h*q + 2190. Is q a multiple of 23?
False
Suppose -3*b + 10 = -4*w, -4 = b + 5*w - 1. Suppose -3*d - 4*z + 4122 = 0, 22*d = 20*d - b*z + 2748. Does 74 divide d?
False
Let v be (-35)/(-5) - 1 - 281. Let q = -60 - v. Is 43 a factor of q?
True
Suppose 5*p + h - 11 = 9, 0 = 2*h. Suppose 1136 = p*u + 3*w, 4*u - 4*w - w - 1168 = 0. Is u a multiple of 14?
False
Suppose -5*u + 73816 = 2*d, 16*d - 21*d = -5*u + 73795. Does 61 divide u?
True
Let u be ((-3)/(-15))/((-4)/(-20)). Let s be ((-6)/18)/(u/(-27)). Suppose 14*r - s*r = 90. Is r a multiple of 3?
True
Suppose s = 4*x - 28321, 2*x + 0*x - 8*s = 14168. Is x a multiple of 60?
True
Let s = -16 + 47. Let p = -4 + s. Let i = p - -9. Is i a multiple of 12?
True
Let v = -11034 + 25048. Does 77 divide v?
True
Let l = -49 + 48. Let o be 4 - 1 - (-3)/(0 + l). Suppose o = -4*j + 68 + 32. Is j a multiple of 7?
False
Let y = 0 - -16. Suppose 4*n + 4*a + a = 15, y = 3*n - a. Suppose -2*b - 3*b = q - 123, 5*b = n*q + 135. Is 7 a factor of b?
False
Let c = 76 + -51. Suppose 0 = -v + 2*y + 28, y + c = 4*v - 108. Is v a multiple of 34?
True
Let d(l) = 62*l**2 - 2. Let g be d(3). Let c(x) = -60*x + 184. Let y be c(-5). Suppose 4*i - g = y. Is i a multiple of 13?
True
Let q(t) = -1369*t + 50480. Is q(0) a multiple of 10?
True
Let z be -1 + (-4 - 3*12). Let o = z - -45. Suppose -g - o*a + 24 = 0, -6*g = -g - 2*a - 120. Is g a multiple of 7?
False
Let l be (76/(-10))/(138/45 + -3). Is 370 + l + 1*(-3 - -1) a multiple of 9?
False
Let s(c) = 2*c**3 + 2*c**2 + c + 4. Let x = 36 + -32. Suppose -12 = -3*d, x*z + 4*d = -0*z + 32. Is s(z) a multiple of 42?
True
Let k be (2 + 3)/(2/2). Let f be (164 - -1)*(-14)/k. Let a = 649 + f. Is a a multiple of 17?
True
Is 4*1522 - 396/(-44) a multiple of 67?
True
Let r(f) be the first derivative of 7*f**2 + 19*f - 94. Is r(0) a multiple of 2?
False
Suppose 4*z + 5*b = b - 304, 4*z = -2*b - 302. Let c be 4/(-14) - 1794/42. Let q = c - z. Does 16 divide q?
True
Let d(c) = 2*c**3 + 21*c**2 - 3*c + 9. Suppose -3*z + 46*y - 43*y - 21 = 0, -5*y = 3*z + 37. Is d(z) a multiple of 4?
False
Suppose -95*f - 160087 + 155987 = -294040. Does 7 divide f?
True
Let x(c) = -c**3 - 5*c**2 + 6*c + 1. Let z be -11 + (-3)/(-1) - -2. Let k be x(z). Does 30 divide ((-60)/(-9)*30)/k?
False
Let w = -12 - -12. Suppose -4*t - v + 2*v = w, 5*t + 2*v = 0. Suppose -c - c - u + 175 = t, -261 = -3*c - u. Does 41 divide c?
False
Suppose 6*u + u = -231. Let z = u - -24. Let h(m) = -m**3 - 11*m**2 - 27*m. Is 21 a factor of h(z)?
False
Suppose 5*m + 5*s - 25030 = 0, -8969 = -5*m + 2*s + 16047. Is 36 a factor of m?
True
Suppose 2*v - s = 27293 - 2813, 12235 = v - 3*s. Does 42 divide v?
False
Let r be ((-910)/(-8))/(-4 - 45/(-12)). Let v = -265 - r. Does 32 divide v?
False
Let a(r) = 363*r**2 + 174*r + 951. Does 2 divide a(-5)?
True
Let s = -9196 - -28991. Does 19 divide s?
False
Let n be 2/(-8) - (-63)/12. Let l(g) = 4 + n*g - 38*g - 37*g + 17*g. Is l(-2) a multiple of 11?
True
Suppose 3*p + 116 = m, -8 - 2 = 2*p. Let y = -6 + -46. Let l = y + m. Is l a multiple of 7?
True
Let d(z) = -z**2 - 13*z + 5. Let w be d(-7). Suppose c + w + 1094 = 4*r, 4*c = r - 304. Is 12 a factor of r?
False
Suppose -4*b + 126 = -2*t + 4*t, 347 = 5*t + 2*b. Suppose -172*w - 64 = -168*w. Let a = w + t. Does 11 divide a?
True
Let x(a) = -a**3 + 11*a**2 + 64*a + 20. Does 4 divide x(-7)?
False
Let l = 5 + -1. Suppose 2*k = -l*k + 12. Suppose -4*s + 170 = -0*s + k*v, v = s - 38. Is s a multiple of 5?
False
Is 12 a factor of ((-12750)/45)/(-17)*36?
True
Suppose 7*v - 20581 = 2*v - 1326. Is 9 a factor of v?
False
Let m = 7 - 37. Let q = -28 - m. Let c(f) = 5*f**2 - 7*f + 9. Is 5 a factor of c(q)?
True
Let q(k) = -18*k - 2. Let i be q(-4). Let d(v) = -v**3 - 14*v**2 - 42*v + 2. Let j be d(-6). Let r = j + i. Does 6 divide r?
True
Let x be 1/4 + 299/52. Is ((-71)/2)/(11/(x + -28)) a multiple of 6?
False
Let r(m) = -m**3 + 18*m**2 - 71*m - 8. Let y be r(12). Let k(l) = 2 + 2*l**3 - 4*l**2 - 4*l + 2*l**2 + l**2. Is k(y) a multiple of 14?
True
Suppose 5*o - 7945 + 1040 = 4*a, -1381 = -o + 5*a. Is o a multiple of 13?
False
Does 283 divide 62*1141 + (-23 - 527/(-17))?
True
Let d(h) = -12*h + 16. Let g(v) = -3*v + 4. Let p(y) = 2*d(y) - 9*g(y). Let f = -336 - -344. Is p(f) a multiple of 18?
False
Let s be (-244)/(-8)*(207 - 9). Suppose -144*a + 135*a = -s. Does 11 divide a?
True
Let r(p) = 10096*p + 1714. Is r(2) a multiple of 17?
False
Suppose 503*t - 8 = 499*t. Let a be -10*-4*(-2)/(-10). Is 9/(3/a*t) even?
True
Does 41 divide 82/((-21)/105*20/(-382))?
True
Suppose 25*l = 23*l. Let a be -14 + 15 - (1 + -2 - l). Does 20 divide 24 + (a + -5 - 1)?
True
Suppose -4*h - 225 = -597. Let l = h - 72. Does 21 divide l?
True
Let n = -96 + 187. Let i = -6102 - -6036. Let r = n + i. Does 5 divide r?
True
Suppose -25*m + 21*m - 7168 = 0. Let b = m + 3210. Does 10 divide b?
False
Let a(p) = p**3 - 38 + 65 - 52 - 4*p - 3*p**2. Is a(8) a multiple of 48?
False
Suppose 5*t + 10*t - 64305 = 0. Suppose 2841 = -8*d - t. Does 25 divide d/(-18)*8/42*14?
False
Let v = -3 + -3. Let j be 2/5 + ((-1632)/(-20) - v). Let t = j - 73. Does 2 divide t?
False
Let q(g) = g**3 + 62*g**2 + 155*g - 450. Is q(-54) a multiple of 12?
True
Suppose 10 + 6 = 8*k. Suppose k*h + 30 = -g + 279, -h + 129 = 5*g. Let x = h + -47. Is x a multiple of 11?
True
Let v = -9587 + 41177. Is v a multiple of 54?
True
Suppose 3*v + 10 = -4*h, -4*v - 2 - 1 = -5*h. Let g be (0 - -7)*(0 + 3 + v). Suppose -n - 3*y = -89, 2*n - 5*y = g*n - 415. Is 16 a factor of n?
True
Suppose 4*o + l = -66, 4*l - 19 - 6 = o. Let h(q) = 3*q**2 + 29*q + 116. Is 35 a factor of h(o)?
True
Suppose 16 = 4*c - 0*c. Suppose -c = 2*p, f + 4*p = -0*f - 6. Is 207 + -4*9/(-12) - f a multiple of 13?
True
Let r = -751 + 2152. Does 112 divide r?
False
Let i(o) = o**3 - 3*o**2 - 6*o - 2. Let r be i(5). Let n = r + 28. Let m = 77 - n. Is 31 a factor of m?
True
Suppose -p + 4 = -5. Suppose -x - 1 = -p. Suppose -x*t + 94 = -7*t. Does 15 divide t?
False
Suppose i + 3*h + 6 = -0*i, -h - 22 = -3*i. Suppose -3*c + 15*j + 43 = 11*j, 2*j - 94 = -4*c. Is 3 a factor of i/c - 760/(-35)?
False
Suppose i = -4*r + 197472, -229*r + 225*r + 5*i = -197496. Is 16 a factor of r?
False
Let t(m) be the third derivative of 1/120*m**6 + 0 + 17/24*m**4 + 42*m**2 + 23/60*m**5 + 17/3*m**3 + 0*m. Is t(-22) a multiple of 12?
True
Let n(o) = 9*o**2 - 27*o + 16. Let f be (-6)/3*126/(-36). Is n(f) a multiple of 46?
False
Let u(w) = w**2 + 26*w + 27. Let z be u(-25). Suppose -4*k + 548 = 6*h - z*h, 2*h = k - 149. Is k a multiple of 45?
False
Let g(z) = -11*z**2 + 3*z + 154. Let q(o) = -2*o**2 + o - 1. Let w(x) = g(x) - 5*q(x). Does 2 divide w(0)?
False
Let o(i) = -i + 33. Let h be o(21). Suppose -3*g - 14 - 13 = 0. Let q = g + h. Does 2 divide q?
False
Let k(i) = 2*i**2 + i - 7. Let h be k(-2). Is ((0 - h) + -3)*1614/(-12) a multiple of 15?
False
Let w(p) = -2491*p + 2424. Is w(-6) a multiple of 90?
True
Suppose 0 = 6*o - 11*o - 4*o. Suppose o = -8*g + 263 + 849. Is g a multiple of 12?
False
Let u be 1*-10*27/(-15). Let x be (u/8)/(3/(-16)). Is (-4)/x - 149/(-3) a multiple of 13?
