. Let x(r) = -r**2 - 43*r - 49. Is x(m) a multiple of 4?
False
Let x(j) = -2078*j - 144. Does 17 divide x(-2)?
True
Let q be ((-4 - -2) + 2 - 3) + 6. Suppose -5*s - 55 = 3*l, -2*s + q*l + 4 = -l. Let o(j) = -j**3 - 8*j**2 + 4. Is 4 a factor of o(s)?
True
Suppose -3*j - 268 = -5*o + 238, 4*j + 28 = 0. Is 3 a factor of o?
False
Let s be (-5 - -17)*(61 - 0/3). Suppose s = 18*n - 12*n. Is n a multiple of 18?
False
Does 61 divide (-13 + 21545/15)/((-8)/(-36))?
True
Suppose -152*q = -5*h - 148*q + 43229, 0 = -4*h - 14*q + 34652. Is h a multiple of 31?
True
Let f be 7 + (3 + 2 - -3365). Suppose 6*l - f = -341. Does 14 divide l?
False
Suppose -3*i = 5*c - 3*c + 7, 5*c = -4*i. Let x be (-1)/6 - (1885/(-6))/i. Let r = x - -105. Is r a multiple of 24?
False
Let y(w) = 1525*w - 4191. Is y(11) a multiple of 143?
True
Let h(r) = -5*r - 12 - 7 - 6*r - r**2 - 2. Is 9 a factor of h(-6)?
True
Let k(d) = 2*d**3 + 14*d**2 - 3*d - 10. Suppose -4*y + 27 = 5*y. Suppose 3*g + y*n = -21, -4*g + 3*n - n = 28. Does 3 divide k(g)?
False
Suppose -3*h = 4*w - 3*w - 796, -4*h + 3*w = -1057. Suppose -8286 = 259*n - h*n. Is 86 a factor of n?
False
Let h(l) = 19*l - 83. Let k be h(29). Suppose k - 3489 = -19*n. Is 32 a factor of n?
False
Let m(n) be the third derivative of -7*n**4/24 + n**3/2 + 709*n**2. Let i be (1/1)/((-3)/9). Is m(i) a multiple of 11?
False
Suppose 0 = -5*a + 10, y + a - 17 = -2*y. Suppose 171 = x + 4*g, -3*x + 2*x - y*g = -176. Let d = x - -29. Does 30 divide d?
True
Let h = -1636 + 1006. Is (27540/h)/((-6)/28) a multiple of 17?
True
Is 25 a factor of (22 - -1278) + (-5)/10*(0 - 0)?
True
Suppose 0 = -7*h + 1467 + 3860. Suppose h = m + 4*y + y, 726 = m - 2*y. Suppose -51*g + m = -47*g. Is 22 a factor of g?
False
Let c = 37 + -39. Let i be ((-378)/24)/(c/24). Let v = i + -99. Is v a multiple of 18?
True
Let w(s) = -8*s + 19. Let i be w(2). Suppose 3*k - 4*v = 3210, i*k + 4*v = -2*k + 5318. Is k a multiple of 26?
True
Let l be -3 + (3/(-9) - 804/(-9)). Let k = 102 - l. Suppose -y = 4*b + y - 668, 4*y = k. Is 15 a factor of b?
True
Let i = 134 - 86. Suppose 6*x = 3*x + i. Suppose -v - m + 20 = -4*m, -2*v = 2*m - x. Is 2 a factor of v?
False
Let g be (-2)/(-1) + (1 - -67). Suppose c - g = 186. Suppose 30 = r - 5*y - 42, 4*r - 4*y = c. Is r a multiple of 31?
True
Suppose -156 = -25*z + 29*z. Let o = z - -41. Does 16 divide 122 + ((-3)/3 - 4) + o?
False
Let y = 708 - 706. Suppose -4*b - 4*u + 3200 = 0, 2 + y = u. Is b a multiple of 14?
False
Suppose 5*x = -2 + 7, 3*t + 4*x = 4. Suppose t = -10*w - 0*w + 2850. Is w a multiple of 29?
False
Suppose 15*n - 118332 = -12882. Is n a multiple of 30?
False
Let q = 6057 + -4324. Is q a multiple of 20?
False
Suppose 0 = -5*c - 3*i + 1167, -2*i = c - 6*c + 1172. Let x = 399 - c. Does 15 divide x?
True
Let u be -3*(-12)/9*3*-18. Let z = 238 + u. Is 11 a factor of z?
True
Let n(b) = b**3 - 43*b**2 - 62*b - 64. Does 26 divide n(45)?
True
Let y be -5 + 4/1 - -6. Suppose y*w = -3*o + 687, 11*o - 6*o = 2*w + 1114. Does 8 divide o?
True
Let o(u) = -5*u**2 + u + 1. Let b(h) = -h**2 - 2*h. Let x(j) = -6*b(j) + o(j). Is x(12) a multiple of 31?
False
Suppose -h = -2*q, -51*h + 52*h - 3*q + 2 = 0. Let s(y) = 3*y**2 + 7*y. Does 9 divide s(h)?
False
Let x be (-2 + 4)/(3/6). Suppose -p + 2*p + 5*t = 395, x*t + 1242 = 3*p. Is 41 a factor of p?
True
Let w(n) = 92*n**2 - 49*n - 19. Is w(9) a multiple of 8?
True
Suppose 3*g - 15 = 2*l, -3*l = g - 5 - 0. Suppose -3*b + 551 = 2*a, -1082 = -4*a - l*b - 2*b. Is a a multiple of 22?
False
Suppose -158*n - 6 = -159*n. Is 33 a factor of (-1 + 2*n)*(36 - -3)?
True
Suppose q - 6925 = -4*a, -q - 3*a + 10624 - 3700 = 0. Is 210 a factor of q?
False
Does 5 divide 39 - 2760/70 - (6320/7)/(-2)?
False
Suppose -16 = -4*m, 0 = 4*x - 3*m - 26383 - 28893. Does 13 divide x?
False
Let o = 145 + -157. Is (-3)/o - (-6885)/60 a multiple of 23?
True
Let y = 856 - 649. Suppose 3*u = -6*u + y. Is 23 a factor of u?
True
Suppose -i = 4*x - 15372, 4*i = 23*x - 24*x + 61368. Is i a multiple of 59?
True
Let v(r) = -r**3 - 2*r**2 + 23*r - 5. Let m be v(-6). Let x(z) = -5*z**3. Let t be x(m). Is (6/t)/(3/(-75)) a multiple of 5?
True
Suppose -30141 = -34*c + 115821. Is 2 a factor of c?
False
Let b(v) = 16*v - 43. Let o be b(4). Suppose 4*l - 5*m = 85, -5*m = 2*l - 14 - o. Suppose 5*t + 2*u = 15, -u + l = -6*t + 11*t. Is t a multiple of 5?
True
Does 62 divide -19531*(-4)/18 + 2/(-9)?
True
Let a = -130 + 164. Suppose a*s - 2034 = 28*s. Does 41 divide s?
False
Suppose -3699*i + 1434114 = -3600*i. Is i a multiple of 6?
False
Suppose 2*g + 1408 = 3*r, -15*r - 5*g = -20*r + 2345. Let y = r + -272. Is y a multiple of 6?
True
Let n be (-4)/54 + (-2158)/(-702). Suppose -209 - 572 = -2*d - n*r, 0 = 5*d - 5*r - 1965. Does 18 divide d?
False
Let a be (-2)/12*-4*33. Suppose -20 = 21*o - a*o. Is 32 a factor of (o + -2)*32/6?
True
Suppose 58*l - 5595 = 826705. Is 176 a factor of l?
False
Let h(j) = -3*j**2 - 180*j - 225. Is h(-43) a multiple of 164?
True
Suppose 0 = 12*x - 426 - 426. Suppose -q + 78 = x. Is q a multiple of 4?
False
Let g = 2430 - 478. Suppose -6418 = -30*b + g. Is b a multiple of 31?
True
Let q(v) = -3*v**2 + 251*v + 26. Is 10 a factor of q(53)?
False
Suppose 9*d = -35 + 17. Does 17 divide (-144)/(15/9 + d)?
False
Let t = 36 - 34. Suppose -t*u - 13 + 17 = 0. Suppose 4*a - 86 = -4*x + 3*x, u*a = 2*x + 38. Does 7 divide a?
True
Suppose 12*n - 3*n = 0. Is 10 a factor of (-30)/(2 + 11/(-4) - n)?
True
Let s(m) = 971*m + 11572. Is s(38) a multiple of 131?
True
Suppose -77*d = -83*d - 720. Is 10 a factor of (-45 - 0)/(45/d)?
True
Suppose 0 = -9*f + 7*f + 4*c - 42, 4*f - 3*c + 99 = 0. Let o = f - -342. Is 45 a factor of o?
True
Let p be (-40404)/(-24) - 3/6. Suppose -21*b + 10*b = -p. Is 17 a factor of b?
True
Let s(k) = 123*k + 2361. Is s(-14) a multiple of 10?
False
Let f(b) = b**2 - 15*b + 30. Let y be f(13). Suppose 13 = 3*r - y*w - 143, 0 = -w. Is 7 a factor of r?
False
Let c = 0 - -4. Suppose -4*m = -2*y - 226, c*m - 2*m + y = 107. Suppose 53 = 4*a - m. Is a a multiple of 19?
False
Let d be (-2)/(-14) - 1026/(-21). Let n be 2/(-7) - (-161)/d. Is (20/75*n)/(2/15) a multiple of 6?
True
Suppose -3*n = -4*g - 522, -2*n = 78*g - 82*g - 348. Does 16 divide n?
False
Is ((-2298)/7*2)/((-136)/7616) a multiple of 24?
True
Let s = -207 - -195. Is -12*(s/18 + 440/(-12)) a multiple of 42?
False
Suppose -4*s + 5*t = -8712, -5*s + 38*t - 36*t + 10907 = 0. Is 98 a factor of s?
False
Suppose -3*z + 2*u = -8183, 6*z = 8*z - u - 5457. Suppose -3329 = -10*i + z. Is i a multiple of 23?
False
Suppose 25*t - 18 = 19*t. Suppose 76 = t*b - 191. Does 3 divide b?
False
Let t = -226 - -235. Let p(d) = d**2 + 6*d - 6. Is 14 a factor of p(t)?
False
Suppose -35*q + 21*q + 14 = 0. Suppose -i = -2*m - 2*i + 1241, -q = i. Is 11 a factor of m?
False
Let f(x) be the second derivative of x**4/12 - 7*x**3/6 - 3*x**2 + 61*x. Does 36 divide f(-6)?
True
Suppose 0 = 8*f - 24*f + 16. Is 2 a factor of (-2)/(4/(-106)*f)?
False
Let b be (2/4)/((-4)/(-112)). Let v be (-948)/(-14) + 32/b + -2. Let w = v - -57. Does 13 divide w?
False
Let u(b) = 3*b + 2. Let d(i) = -15*i - 10. Let f(n) = 4*d(n) + 22*u(n). Let m be (-72)/45 - 144/(-40). Does 4 divide f(m)?
True
Let n(j) = j**3 - 3*j**2 - 5*j - 2. Let b be n(4). Let g(i) = -7*i**2 + 2. Let w(x) = 8*x**2 - 3. Let a(f) = b*w(f) - 7*g(f). Is a(-14) a multiple of 25?
True
Suppose 0 = 1883*p - 1906*p + 82064. Is 16 a factor of p?
True
Suppose 4 = 3*b - 2*m, -9*b + 20 = -5*b + m. Suppose 5*k - 3*p - 234 = k, 3*k - 188 = -b*p. Is k a multiple of 4?
True
Let n(h) = -3*h**2 + 17*h - 5. Let y be n(5). Suppose a = 4*x - 318, -x + 326 = 3*x - y*a. Suppose -x = -5*r + 571. Does 15 divide r?
False
Let j = 65536 - 36328. Is 6 a factor of j?
True
Let j(z) = z**2 - 11*z - 69. Let r be j(15). Let c(p) = -20*p + 86. Does 7 divide c(r)?
True
Let n(u) = u**3 + 4*u**2 - 3*u - 8. Suppose 0 = -3*k - 23 + 11. Let o be n(k). Suppose -h = o*d - 24, 2*d - 5*h = -h + 12. Is d a multiple of 3?
True
Let q(d) = 3*d**3 - 20*d**2 + 10*d + 196. Does 135 divide q(22)?
True
Let i(c) = 44 - 5 + 0 + 14*c + 0. Let u be i(-12). Let h = u + 189. Is 15 a factor of h?
True
Suppose 15540 = -43*u + 54949 + 94278. Is u a multiple of 112?
False
Suppose -8*t - 13*t = -2511