 57*m = 55*m - 5*q + 1373. Let h = 1222 - m. Is h a multiple of 14?
False
Let n = 358 - 208. Let c = -65 + n. Is 3 a factor of c?
False
Let u(a) = 2*a**2 - 31*a + 14. Suppose 3*x - 2*n - 46 = 0, -27 = -2*x - 0*n + 5*n. Is u(x) a multiple of 30?
True
Suppose -9*c + 2281 - 301 = 0. Let t = c - 319. Let q = t + 183. Is 21 a factor of q?
True
Is (-6308)/(-3) - ((-424)/(-24) - 20) a multiple of 14?
False
Suppose 2221 = -5*m + 311. Let h = 409 + m. Is h a multiple of 3?
True
Let x = -139 + 157. Suppose x*y - 136 = 242. Is y a multiple of 4?
False
Suppose 146838 + 7262 = 35*q - 106720. Is 9 a factor of q?
True
Let i = -11661 - -38185. Does 16 divide i?
False
Suppose o = -5*x + 6*o + 210, 0 = -2*x - 3*o + 109. Let h = x + -45. Suppose -h*s = s - 2*l - 166, -4*l = -4*s + 220. Is s a multiple of 14?
True
Let r(w) = 277*w + 12. Let d be 11/(55/40) - (4 - 0). Does 51 divide r(d)?
False
Suppose -16*n = -9207 + 39463. Let y = -677 - n. Is y a multiple of 22?
False
Suppose 7*m = -58 - 61. Let p = 13 - m. Does 2 divide p?
True
Let x = -6 - -111. Suppose -5*g = 4*d - x, -2*g + 4*d + 14 = -0*g. Is g a multiple of 6?
False
Let f(q) = -7*q**2 + 5*q - 8. Let h be f(-11). Let o = -313 - h. Suppose -5*i + 278 + o = 0. Is 28 a factor of i?
False
Is 292/2482 + (-105464)/(-34) a multiple of 66?
True
Let y = 4238 + -458. Is 140 a factor of y?
True
Is (-780)/1*(605/(-25) + (-66)/(-30)) a multiple of 165?
True
Let x(t) be the second derivative of 12*t**4 - t**3/3 - t**2 - 331*t. Is 16 a factor of x(-1)?
True
Let p be 15/((-4)/1 + 5). Suppose 27*y = p*y + 432. Is 4 a factor of y?
True
Suppose 0 = -170*l - 144*l + 342*l - 535808. Is 52 a factor of l?
True
Let d = -70 - -81. Suppose 774 + 755 = d*p. Suppose -473 - p = -6*n. Is 17 a factor of n?
True
Let o(r) = -r**2 - 10*r + 17. Let q(k) = k. Let p(t) = -o(t) - 6*q(t). Let a be p(8). Suppose 2*n = y - a, 267 = 2*y + y + 4*n. Is y a multiple of 13?
False
Suppose 15 = 3*n - 3*i, i = -2*n + 4 + 6. Let u(x) = 13*x**2 - x + 2. Let g be u(-2). Suppose 2*h + n*s = g, s = -2*s. Does 21 divide h?
False
Let c(r) = r**3 - r**2 - 12*r - 9. Let i be c(-5). Let v = -60 - i. Does 4 divide v?
False
Let d = -108 + -22. Let t = d + 238. Suppose 6*r - 90 - t = 0. Is 5 a factor of r?
False
Suppose 14*s = 1813 + 9961. Suppose 0 = o + c - 171, 5*o + c = 3*c + s. Is o a multiple of 17?
False
Let n(a) = 201*a**2 - 20*a + 61. Let b be n(5). Suppose 19*s - b - 5559 = 0. Is s a multiple of 50?
False
Let r(n) = n**3 - 3*n**2 + 3*n + 19. Let i(c) be the third derivative of c**4/6 + 3*c**3/2 - 16*c**2. Let k be i(-1). Is 7 a factor of r(k)?
True
Let g be 2/(3*(-4)/18). Let k be 8 - 4 - (g + 0). Is k*21 + (1 - 3) a multiple of 30?
False
Let m(r) = -3*r**3 - 187*r**2 + 33*r - 41. Is 40 a factor of m(-63)?
False
Let p = -4510 + 9368. Suppose -1292 - p = -6*m. Is m a multiple of 62?
False
Suppose 0 = 99*c - 95*c - 121920. Is c a multiple of 120?
True
Let d(z) = 4*z + 126. Let w be d(7). Does 16 divide 15*(-6)/(-15) + w?
True
Let b(g) = -g**3 - 5*g**2 + 7*g - 9. Let d be b(-6). Let p be (51/d - -4) + 4/10. Is (-130)/(-35) + p + (-2)/(-7) even?
False
Does 13 divide 9 - 10 - (-1)/(6/174834)?
False
Let b(m) = m**3 - 5*m**2 - 5*m. Let p be b(7). Suppose -7*s + p = -4*s. Is s/(-14)*(-3)/(9/6) even?
False
Let z(b) = -3*b**3 + 15*b**2 - 9*b + 12. Let g = 80 - 76. Let d(o) = 2*o**3 - 15*o**2 + 10*o - 11. Let w(q) = g*d(q) + 3*z(q). Is w(-16) a multiple of 8?
True
Let m = 532 + -531. Is 3 a factor of -2*((-422)/4 + m)?
False
Let f = 438 + -433. Suppose -826 = -3*o + 2*s, 643 + 692 = 5*o + f*s. Does 12 divide o?
False
Does 117 divide (-994 - 3)*(-88 + 65)?
False
Let n be 728/140 + (1/(-5) - -1). Let b(f) = 4*f**2 + 6*f. Is 15 a factor of b(n)?
True
Suppose 5*n + 232 = 4*c, -c - 2*n = 2*c - 151. Let d = -5454 + 5503. Suppose -c = -o + d. Is 27 a factor of o?
False
Let h = 32205 - 22222. Does 67 divide h?
True
Let s(v) = 304*v**3 - 7*v**2 + 11*v + 42. Is 10 a factor of s(3)?
True
Let m(x) = -6*x - 60. Let b be m(-11). Does 35 divide (-1400)/b*33/(-22)?
True
Let r(k) = 13*k**3 + 6*k**2 - 26*k - 6. Does 9 divide r(3)?
False
Let h(g) = 13*g - 3*g**2 - 10*g + 5*g**2 - g**3 - 2 + 8. Does 18 divide h(-4)?
True
Let g be 2 - 471/15 - 6/10. Let k = g + 234. Suppose 0*o = 4*o - k. Does 11 divide o?
False
Let s(o) = 0 + o - 1 + 6*o**2 - 203*o**3 + 3 + 204*o**3. Let i be s(3). Let k = i - 66. Does 10 divide k?
True
Let w(c) = -286*c - 2727. Is w(-22) a multiple of 31?
True
Suppose -2*b - 5*s + 26 = -6*b, 0 = b + 2*s. Let t = 432 - 424. Is b - (-112 + (t - 4)) a multiple of 10?
False
Let q = 81 - -7. Suppose 2*g + q = -d + 332, 5*d - 1150 = 4*g. Is d a multiple of 17?
False
Is 7 a factor of (20825/(-21))/(3/(-9))?
True
Suppose 2*h + 4 = 10. Suppose -2*f - 378 = -h*k, 103 = -4*f + k - 643. Let a = f - -370. Does 23 divide a?
True
Is (-814)/37 - -979*2 a multiple of 22?
True
Let h(t) = 38*t + 165. Let g be h(-14). Let w = 408 + g. Is 4 a factor of w?
False
Suppose -23072 = -19*r + 12268. Is 20 a factor of r?
True
Suppose 0 = z + 2*z - 5*z. Suppose 4*u + 5*k = -64, 5*k + z = u + 16. Let o = u - -41. Does 6 divide o?
False
Let v(b) = -60*b + 60. Let i = -139 + 128. Is 12 a factor of v(i)?
True
Let t(r) = 9 - 27*r**2 - r**3 - 47*r - 57*r + 25*r. Does 12 divide t(-26)?
False
Suppose -s - 27885 = -4*t, 18*t - 15*t = 2*s + 20910. Is 84 a factor of t?
True
Is 26 a factor of 480*((-325)/(-80))/((-12)/(-144))?
True
Suppose o = -1 - 6. Is 14/(-35) - o/((-70)/(-4404)) a multiple of 20?
True
Suppose -2*v + 92 = 4*g + v, 0 = -4*v + 16. Let u = 45 + g. Is u a multiple of 13?
True
Let k = 167 - 165. Suppose -8*h + 12*h + 1200 = 4*z, 612 = 2*z + k*h. Is z a multiple of 55?
False
Suppose -14*f - 133 = -385. Suppose 20*t = f*t - 2*q + 378, 0 = 3*t - q - 583. Is 9 a factor of t?
False
Suppose -a = 19*a - 83300. Is 14 a factor of a?
False
Let g be (-7)/((-7)/(-2)) - -2. Suppose 0 = -g*o - 8*o + 512. Suppose 3*j + 4*d = 48, 4*j + o = 8*j + d. Is 4 a factor of j?
True
Suppose 21 = -5*s + 1, -x + 31 = -5*s. Let k = 41 + x. Is 1/4 + 1495/k - -2 a multiple of 28?
False
Let d be (-14)/(140/(-75))*(-4)/(-6). Suppose 5*f = 2 + 8, -2*f - 16 = -d*b. Is 17 a factor of ((-642)/8)/(b*6/(-96))?
False
Let h(y) = -y**2 - 6*y - 2. Suppose 5*k - 4*g - 10 = -50, -g + 17 = -3*k. Let d be h(k). Is 18 a factor of 12*(1/(d/(-3)) + 2)?
True
Let g = -12 + 20. Suppose -2*v + g*v = -120. Is 16 a factor of (98/v*4)/(1/(-5))?
False
Suppose 2*s - 20 = 7*s. Let h be (-635)/s + (-12)/16. Let z = -94 + h. Does 16 divide z?
True
Suppose 0 = k + 51 - 21. Does 32 divide (-2 + -4)*2*1510/k?
False
Let a = -11932 + 56132. Is 20 a factor of a?
True
Let d = 85549 - 36017. Is 122 a factor of d?
True
Let s = 25 + -27. Is 2288/40*(-10)/s a multiple of 26?
True
Let l(f) = 6*f**2 + 179*f + 1523. Is 48 a factor of l(-67)?
True
Suppose t = -3*k + 10658 - 4147, 5*t - 8696 = -4*k. Is k a multiple of 14?
False
Let g = -39 - -62. Suppose -g*q = -36*q + 4719. Is 33 a factor of q?
True
Suppose -5*s + 270 = 5. Let p = -42 + s. Suppose -2*z - p*z = -390. Does 30 divide z?
True
Let y = 186 + -144. Suppose j - 112 = y. Is 7 a factor of j?
True
Let a(w) = 251*w - 4257. Is a(18) a multiple of 32?
False
Let h be (896/336)/(0 - (-2)/(-6)). Does 81 divide ((976/(-6))/h)/((-11)/(-1221))?
False
Let b be (2 - 4)*(-3 + 4). Is (-31)/(155/(-4350)) + b a multiple of 20?
False
Is ((-385752)/18)/((-24)/18) a multiple of 8?
False
Let a = 11600 - 6014. Is 29 a factor of a?
False
Suppose 14 + 76 = -6*s. Let i = -16 - s. Does 2 divide (-5)/i - (2 - 0)?
False
Suppose 3*m = -4*r + 3*r + 25, 5*m - 25 = 0. Let j(f) be the first derivative of -f**3/3 + 15*f**2/2 + f + 2. Is 8 a factor of j(r)?
False
Let z(w) = 2*w**3 + 10*w**2 + 2*w + 14. Let a be z(-5). Suppose -3*k = 3, -a*l + 421 = -2*k - 1165. Is 25 a factor of l?
False
Let n(h) = 18*h**2 - 4*h - 2340. Is 44 a factor of n(-38)?
True
Let r(c) = 183 - 174 - 3*c**2 + 11*c - 4*c**3 + 3*c**3 - 6*c**2. Let m be r(-10). Is 12 a factor of ((-6)/(-16)*-2)/(m/160)?
True
Let z(a) be the first derivative of -3*a**4/4 - a**3/3 + a**2/2 + 2*a - 21. Let d be z(-1). Suppose o + d*o = 496. Is 28 a factor of o?
False
Let l be (7 - -2 - 4) + -5. Suppose l = 2106*n - 2101*n - 615. Does 38 divide n?
False
Let z(p) = 49*p**3 - 4*p**2 + 8*p - 5. Le