22). Suppose 264 = 5*g + 2*k, c*g - 2*k - 75 = 181. Does 10 divide g?
False
Suppose -33*q + 26322 = -31*q - 2*m, 0 = -3*q + 4*m + 39483. Is q a multiple of 41?
True
Let f = -13066 - -22023. Is 13 a factor of f?
True
Let r(f) = 1830*f**3 + 20*f**2 - 7*f - 19. Is 20 a factor of r(3)?
False
Suppose -15 = -3*a + 2*s, 2*a - s - s = 12. Suppose 0 = -3*u - a*o + 2716 - 259, o = -3*u + 2447. Suppose 0 = 6*b - u + 160. Is 10 a factor of b?
False
Let s(l) = 6*l - 118. Let u be s(20). Suppose -1 = -k, -5*b = -0*b + u*k - 2357. Is b a multiple of 62?
False
Let l(d) = 3*d**3 - d**2 + 4*d. Is 42 a factor of l(3)?
True
Let s = -16799 - -20143. Is 44 a factor of s?
True
Does 19 divide (172/215 + (-27439)/(-20))/(4/32)?
True
Is 2/25 - (-5660434)/2075 a multiple of 88?
True
Let b = 252 + -123. Suppose 0 = -5*g + 121 + b. Is 3 a factor of g?
False
Is 7647 + -18*(-14)/28 a multiple of 88?
True
Suppose 7*p - 194 = 3628. Is p a multiple of 80?
False
Let l = -122 - -122. Suppose 15*s - 2439 + 99 = l. Does 13 divide s?
True
Let x be (260/(-3))/(-2) - (-5)/(-15). Suppose x = -7*f - 118. Let l = f + 33. Is 5 a factor of l?
True
Let l(c) = 80*c**2 - 31*c + 440. Is l(13) a multiple of 4?
False
Let r = 1582 + -130. Is r a multiple of 33?
True
Let y be 970*10/(-30) + 2/(-3). Let q = 424 + y. Does 3 divide q?
False
Let g(c) = -2*c**2 - c. Let t be g(2). Let x be t/(-55) + 3471/(-33). Let j = x - -275. Does 14 divide j?
False
Suppose r = -3*v + 58157, v - 3*r - 19952 = -593. Does 39 divide v?
True
Suppose -2715395 = -207*h - 843287. Does 28 divide h?
True
Suppose 66*p - 38*p = 0. Is 40560/42 - p - 2/(-7) a multiple of 69?
True
Let y(p) = -p**3 + 40*p**2 + 63*p + 68. Is 68 a factor of y(-12)?
True
Let q be 0 - (-327)/12 - 9/(-12). Does 9 divide 6/8 + 8267/q?
False
Let q(y) = -y**3 - 7*y**2 - y - 8. Let b be q(-7). Let v be (12 + -13)*3*b - 406. Is 9 a factor of (-8)/(-20) + v/(-5)?
True
Suppose 2*m + 0 = -2, 5*s - 23 = 3*m. Suppose 0 = -3*i - 5*n + 94, s*i + 0*n = 3*n + 164. Suppose -79 + i = -k. Is k a multiple of 31?
False
Suppose -682*k = -716*k + 2720. Let w be (-1)/(-2*1/102). Let f = k - w. Does 29 divide f?
True
Let y = 91058 + -64475. Does 67 divide y?
False
Is 320/(-140)*(-27622)/8 a multiple of 44?
False
Let c = -105 - -111. Let t be ((-60)/(-25) - 6)*20/c. Let z(r) = -r**2 - 20*r + 12. Is z(t) a multiple of 9?
True
Is 44 a factor of 176/(-48)*-327*4?
True
Let t = -39 - -103. Let o = 64 - t. Suppose -3*g - 3*s + 116 = 17, o = 5*s - 25. Is g a multiple of 28?
True
Let v = 98 + -93. Is v*36 + 0/(-114) a multiple of 9?
True
Let d be 0/(-4) + (16 - 3) + -3. Let j(o) = o**2 + 2*o - 30. Let f be j(d). Suppose -3*m = -w - 15 - f, 27 = m - 3*w. Does 24 divide m?
False
Let d be (-2)/4*3*(-1 - 1). Suppose -4*i + j = -0 - d, 2*i = 2*j - 6. Suppose i*u = -2*u + 160. Does 3 divide u?
False
Suppose 6*g - 61570 = 4*u, -6*g + 8*g = 5*u + 20516. Does 33 divide g?
True
Let b = -9652 - -32870. Does 94 divide b?
True
Suppose 2*v = 4*l - 4972, -l - 3*v + 1116 = -141. Is l a multiple of 53?
False
Suppose -294*l + 690559 = -3564209. Does 108 divide l?
True
Let o be 614/(18/(-63) + (-20)/(-21)). Suppose 2*z + 186 + 182 = 2*b, 4*z = 5*b - o. Is 37 a factor of b?
True
Let p(u) = 360*u**2 - 200*u - 1168. Does 36 divide p(-6)?
False
Suppose -m + 110 = 4*m. Let f be ((-11)/m)/((-1)/6). Is -3 - (-3)/f - (-35)/1 a multiple of 11?
True
Suppose -2*y + 5*y + 23176 = 5*p, 0 = -5*p - 5*y + 23160. Is p a multiple of 41?
False
Let z be -10*(-21)/63*3/2. Suppose o - 18 = k - 2, z*o - 72 = k. Is o a multiple of 8?
False
Let z(w) = -1730*w**3 + w - 1. Does 48 divide z(-1)?
True
Does 103 divide (-1*(0 + 1))/(1220058/305018 + -4)?
False
Suppose g = -4*t + 26, -3*g + 1 = -t - 7*g. Suppose 0 = 3*n - t*n + 1308. Let p = n - 167. Is 21 a factor of p?
False
Let x(h) = 3*h**2 - 13*h - 20. Let u be x(11). Let l = u - 156. Does 4 divide l?
True
Suppose 61*q = 47*q + 24108. Is 14 a factor of q?
True
Let k(f) = -2*f**3 - 46*f**2 - 3*f + 50. Let p be k(-24). Suppose -37*u + 11*u + p = 0. Does 2 divide u?
False
Is (-4 - 5/(-20)*14)/((-21)/251412) a multiple of 26?
False
Suppose -477 - 67 = -3*r - 5*l, -5*l - 346 = -2*r. Suppose -3*a - 2*u + 200 = 2*a, r = 4*a - 2*u. Is a even?
True
Let v(u) = -u**3 - 16*u**2 + 14*u - 13. Let t be v(-15). Let o = t - -635. Suppose i - o + 67 = 0. Does 30 divide i?
True
Let i = -1614 - -6333. Is i a multiple of 33?
True
Let w(m) = -2*m**3 + 15*m**2 - 25*m + 61. Let t be w(11). Let a = t + 2021. Is 12 a factor of a?
True
Let n = 68 - -120. Suppose 13*b + 32 = n. Does 6 divide b?
True
Suppose 20*u - 6455 = 129225. Is u a multiple of 212?
True
Suppose -2*i = -2*x + 3*i + 9, 21 = -4*x - 3*i. Let f(z) = -44*z - 4. Let a be f(x). Suppose 8 = v - a. Does 17 divide v?
True
Let c = 4524 + -4128. Does 27 divide c?
False
Let u(r) = -200*r**2 + 5*r - 6. Let a be u(-5). Let o = a + 2580. Is 6 a factor of o/(-27) + (-8)/(-36)?
False
Let i(k) = -11*k + 388. Let m be i(35). Suppose 26*x - 4807 = m*x. Is x a multiple of 19?
True
Let y be 3 + 1 + (-1054)/(-2). Suppose 3*b + 57 = -5*o + 606, -b + 183 = -4*o. Suppose 2*q - 5*l = 232, -3*q = 2*l + b - y. Is 19 a factor of q?
False
Let j(t) = 4*t**2 + 3*t - 2. Let r be j(-2). Let o(w) = 4*w**2 + 17*w - 176. Is o(r) a multiple of 108?
True
Let o be (-1)/((-4)/((-84)/(-3))). Suppose -11*f + o*f = -1972. Suppose -5*s + 187 = -f. Does 24 divide s?
False
Let j(k) = -k + 20. Let x be j(7). Suppose x*w = -948 + 5654. Is 23 a factor of w?
False
Let m(g) = -g**3 + 41*g**2 - 76*g - 74. Let n be m(39). Let v(s) = 12*s**2 + 7*s - 20. Is 15 a factor of v(n)?
False
Let a be 6 + 1 - (-15 - (8 + -28)). Suppose -5*g + 1635 = -5*n, -g - 315 = -2*g - a*n. Is 15 a factor of g?
False
Let l(m) = -848*m**3 + m**2 + m - 2. Let i be l(1). Let v = i + 1098. Is 50 a factor of v?
True
Let a = 97 - 94. Suppose 0*g - a*g = -4*w - 3022, 0 = -5*g + w + 5048. Does 94 divide g?
False
Let v = -3388 - -3280. Let w = 340 + -82. Let q = v + w. Does 15 divide q?
True
Let w(u) = -7*u + 1. Let b be w(-7). Let o be 19 + -26 + -6*5. Let g = b + o. Is 6 a factor of g?
False
Let h(j) = j**2 + 1. Let d(u) = 5*u**2 + 6*u + 3. Let z(b) = d(b) - 4*h(b). Let y be z(-7). Suppose -y*a + 11*a - 1085 = 0. Is a a multiple of 31?
True
Let a(p) = -p**2 + 416*p + 8946. Is 18 a factor of a(0)?
True
Let i(r) = r**2 - 14*r - 48. Is i(48) a multiple of 20?
False
Let d(k) = -13*k + 30. Let y be d(2). Suppose 11*l - 8*l = -12, -y*l + 140 = v. Is v a multiple of 3?
True
Let f(d) be the second derivative of 109*d**3/6 - 132*d**2 + 49*d. Does 39 divide f(6)?
True
Let b(q) = -q**2 - 5*q - 2. Let j be b(-3). Suppose 6*s = s - 3*v + 3384, 2*s + j*v = 1362. Suppose 62*c + s = 67*c. Is c a multiple of 27?
True
Is 176 a factor of (-11 + 24/72)*-2277?
True
Let t = 105 + -12. Suppose -o + 469 + t = 0. Is o a multiple of 48?
False
Let o(a) = a**2 - 14*a + 20. Let f be o(17). Let b = f - 8. Does 12 divide 3951/b - (-4)/14?
False
Let x = -1 + 1. Let q(m) = 44*m + 482. Let w be q(-11). Is 26 a factor of w/(-3)*(234/3 + x)?
True
Let f = -2354 + 2716. Is 47 a factor of f?
False
Let m be 24 + 0 - (-10)/(-2). Let c(f) = 13*f + 152. Is c(m) a multiple of 19?
True
Does 145 divide 9/3 - (2 - -444)/(12/(-138))?
False
Suppose -11*v = -9*v + 5*o - 21986, 3*v - 3*o - 33021 = 0. Is v a multiple of 112?
False
Suppose -c + 5*i + 1729 = -2782, -18*c = 2*i - 80738. Is 47 a factor of c?
False
Let t(z) = -3*z**3 - 6*z**2 - 5*z - 7. Let g be t(-4). Does 7 divide (-678)/(-1) - (g - 110)?
True
Is 165/(-330) - (-2 - (-68317)/(-2)) a multiple of 35?
True
Let z be (-24)/6 + 2 + 20. Suppose z*f - 216 = 16*f. Is 9 a factor of f?
True
Let y be -12*(-5 + 8)/6. Is 9 a factor of ((-28)/6)/(y/126)?
False
Let p(u) = -14*u**3 - u**2 + 2*u - 4. Let b be p(2). Let j = 146 + b. Is 2 a factor of j?
True
Suppose 24*s = 14*s + 60. Suppose s = -23*v + 26*v. Is ((-14)/4*3)/((-1)/v) a multiple of 7?
True
Let a be (-1)/(4/3) + 1018/(-8). Let m = a - -408. Is 40 a factor of m?
True
Suppose 25 - 1 = -6*s. Let u(c) = -11*c**3 + 3*c**2 + 5*c + 15. Does 26 divide u(s)?
False
Let l(j) = -j**2 + 12*j - 13. Let w be l(11). Is 8 a factor of (1/w)/(20/(-7680))?
True
Let t = 22 + 8. Let j(c) = 8*c**3 - 4. Let d be j(3). Suppose -d + t = -7*p. Is p a multiple of 10?
False
Suppose 107 + 