) = -31 + 2*l**2 - 11 - 12*l - l**2 - 10. Is 3 a factor of s(18)?
False
Let b = -7200 + 13342. Is b a multiple of 16?
False
Suppose 2*b - 1330 = 3180. Suppose -p + 456 = -2*o, -2*p = 3*p - 5*o - b. Is 14 a factor of p?
False
Let m = 294 + -109. Suppose 0 = m*s - 176*s - 936. Is s a multiple of 2?
True
Suppose 6295 = 4*g - 2185. Suppose 5*x = 2 - 22, 2*h = 3*x + g. Does 13 divide h/10 + (-8)/20?
False
Suppose 13*j - 48762 = 7086. Does 24 divide j?
True
Let k = -224 - -216. Does 2 divide -2*k/(-3)*156/(-104)?
True
Suppose 9*r - 15 = 6*r. Suppose 0 = r*x + 16 - 11. Does 4 divide x/4 - (-246)/24?
False
Suppose -455 + 155 = -6*n. Suppose -n*d = -46*d - 2912. Suppose -d = -v - 7*v. Is 13 a factor of v?
True
Let n be (2322/24)/(9/216). Suppose -4*o = 6*f - n, -5*f - 4*o = -1264 - 671. Is 20 a factor of f?
False
Let u be -1 + 0/3 + 8/2. Suppose -m - u*h + 60 = 0, -h = 39 - 37. Is 29 a factor of m?
False
Let r be (-1)/((1/(-16))/1). Let h(v) = r - 20 + 2*v - v. Is h(21) a multiple of 10?
False
Let p = 12001 - -77. Does 12 divide p/14 + (-56)/(-196)?
False
Let t(u) = u**3 + 2*u**2 - 2*u - 31. Let d = 45 - 38. Does 9 divide t(d)?
True
Let x = -52 - -84. Suppose x*j + 27 - 2203 = 0. Is j a multiple of 14?
False
Suppose -425 + 5609 = 54*k. Does 2 divide k?
True
Let d(s) = 7*s**2 - 49*s - 6448. Is 8 a factor of d(-60)?
False
Let a be (-3)/7 + 27/63. Let k be (0 + 0 - a) + 6. Suppose 150 = k*i - 222. Does 10 divide i?
False
Is 116 a factor of 30/(-20)*(-697406)/69?
False
Let o = 953 - 957. Let k(l) = -220*l - 56. Is k(o) a multiple of 8?
True
Suppose -6*q - 1587 = 2403. Let d = q + 1161. Is 19 a factor of d?
False
Let u = 153 + -159. Let p(c) = -9*c + 21. Is 12 a factor of p(u)?
False
Let c = 463 + -193. Is 6 a factor of (c/21)/((-60)/(-560))?
True
Suppose i + 4*g - 3 = 2, i - 5 = 3*g. Suppose i*j - 2456 = 3564. Is 12 a factor of j?
False
Let l(b) = b**3 - 13*b**2 + 36*b + 4. Let h be l(9). Suppose 3*z = 5*m - 1651 - 1100, h*m - 3*z = 2199. Does 57 divide m?
False
Let f(n) = -12*n - 35. Let z be f(-5). Suppose -z*y + 1980 = -16*y. Is y a multiple of 10?
True
Let f(k) be the third derivative of k**5/12 - k**4/3 + 7*k**3/6 - 43*k**2 - k. Does 7 divide f(7)?
True
Let g = -5066 - -9440. Is 18 a factor of g?
True
Suppose -1 = v, -3*u + 6*v = 11*v + 29. Is 5 a factor of ((-2)/12)/(2/42)*u?
False
Let d = 203 + -203. Suppose 77*w - 86*w + 3024 = d. Does 21 divide w?
True
Let c = -650 + 2729. Is 25 a factor of c?
False
Suppose -920*p - 1370 = -930*p. Is 15 a factor of p?
False
Suppose -3*d = -2*b + 10696, 1669*b - 10704 = 1667*b + 2*d. Is 10 a factor of b?
True
Suppose -450*k = -482*k + 270912. Does 51 divide k?
True
Suppose 69*r - 335412 = -48*r + 40*r. Is 183 a factor of r?
False
Suppose 48 = o + 46. Suppose q + 690 = r, -3*r = -o*r + 5*q - 666. Is r a multiple of 54?
False
Let n = -49 + 44. Let d(c) = -c**2 - 11*c + 3. Let o be d(n). Suppose -4*a + o + 19 = 0. Is 10 a factor of a?
False
Let v = -6159 + 9559. Does 50 divide v?
True
Suppose -4*s + 14 = -5*h, -2 = s - 3*s + 5*h. Suppose t = 4*l - 18, 0*l + 4*l - 28 = -4*t. Suppose 2*a = 5*p + 14 - s, 5*a - l*p - 20 = 0. Is 4 a factor of a?
True
Suppose 0 = 16*s + 149 + 395. Let r = s + 104. Is r a multiple of 13?
False
Let x be (-2408979)/(-155) + 9/(-5). Suppose -16*c + 30*c = x. Is c a multiple of 74?
True
Suppose 0 = 5*y + 15, -5*y + 435 = 4*d - 110. Let q be 2 + 1 + -2 - 127. Let h = q + d. Is 9 a factor of h?
False
Let v(k) = -854*k + 7729. Is v(-28) a multiple of 363?
False
Let o(y) be the first derivative of y**2/2 + 68*y - 30. Let h be 3 + -5 + -1 + -17 + 0. Is o(h) a multiple of 4?
True
Let f = 13853 + -11994. Is f a multiple of 5?
False
Let y(l) = -2*l**2 - 7*l - 10. Let n be y(-3). Let o(j) = j**2 + 5*j - 12. Let u be o(n). Suppose 4*p = -12, 0 = 2*a - u*p - 127 - 165. Does 13 divide a?
True
Let j(f) = f**2 + 7*f + 2. Let z be j(-7). Suppose 25 - 17 = -z*i. Is 4 a factor of 3 + ((-21)/7 - i/1)?
True
Is (-587)/1174 + (-3)/(-4)*98242 a multiple of 16?
False
Let m(s) = 2*s**3 - 2*s**2 - 2*s + 3. Let q be m(4). Let n(f) = f**3 + 14*f**2 - 20*f - 269. Let c be n(-14). Is 10 a factor of (c - 7) + (q - 0)?
False
Suppose -4*w + 13070 = -2*x, 5*w + 5*x - 10270 = 6030. Is w a multiple of 5?
True
Suppose 0 = 5*l + q + 32, 6*q - 11*q - 34 = 4*l. Let i be 5 + l*3/6. Suppose i*n - 4*n = -22. Is n a multiple of 11?
True
Let p = 45275 + -29083. Is 88 a factor of p?
True
Suppose -2*r - 2*d + 5 = -35, 3*r - 3*d = 48. Let w be (-51)/(-9) - (-6)/r. Suppose w*c = 9*c - 36. Does 6 divide c?
True
Suppose 3*u - 28280 = g, 771*u - g = 773*u - 18845. Is u a multiple of 6?
False
Suppose -33*l = 26*l - 94577. Is l a multiple of 20?
False
Let x(p) = -p**2 + 9*p + 6. Let d be x(12). Let k be -2 + ((-11)/(-2) + 0)*2. Is 24 a factor of d/k*36/(-5)?
True
Suppose -3*u + 9697 = -2*m, 4*u - 5*m + 6131 - 19072 = 0. Is 25 a factor of u?
False
Let o(r) = 1707*r**2 - 16*r + 316. Does 12 divide o(7)?
False
Let r = -227 - -407. Let k be 500/r - (-2)/9. Suppose 5*u - 3*u = -k*g + 252, -g - 3*u = -84. Does 14 divide g?
True
Let g(f) = -f**2 + 60*f - 293. Let j be g(6). Let w be (-134)/(-4) + 3/6. Suppose -w*a + j*a + 513 = 0. Is 19 a factor of a?
True
Let k = -1973 + 2913. Is 174 a factor of k?
False
Let f = -7625 + 16202. Is f a multiple of 73?
False
Let y = -1371 + 2125. Let l = 1366 - y. Is l a multiple of 19?
False
Suppose -i + 0*c + 49 = 5*c, -4*i = 5*c - 196. Let w = i + 300. Is w a multiple of 24?
False
Suppose 6*n - 140 = 2710. Suppose -8*i + n = -3*i. Does 19 divide i?
True
Let r(b) be the third derivative of b**6/120 - b**5/60 - b**4/24 + b**3/6 - 24*b**2. Let f(c) = -c**2. Let g(u) = -6*f(u) - r(u). Is g(6) a multiple of 5?
False
Suppose 5*j + 89*w - 52488 = 91*w, -4*j = 2*w - 42012. Is 150 a factor of j?
True
Let g = -303 - -310. Suppose g*p - 33*p = -8112. Is p a multiple of 39?
True
Suppose 6*t - 43*t + t + 593352 = 0. Is 41 a factor of t?
True
Let b = 4920 + -4212. Is b a multiple of 6?
True
Suppose -17 = -3*z - 2*s, z - s = -z + 2. Suppose z*c + 2*c = -640. Does 11 divide c/(-6) + (2 - 4/3)?
True
Let i = 84084 + -48404. Is i a multiple of 32?
True
Suppose -164*i = 18343 - 245319. Is 8 a factor of i?
True
Let v = -1463 + 2301. Is v a multiple of 61?
False
Let i be (34/85)/((-1)/1045). Let r be ((-3)/(-4) - i/8) + -1. Suppose 15 = -5*d, -2*x + r + 98 = 2*d. Does 39 divide x?
True
Let a(j) = j**3 + 110*j**2 - 357*j + 66. Does 7 divide a(-113)?
True
Is ((-270354)/(-1435))/(3/680) a multiple of 34?
True
Let n(x) = -2*x**2 + 12*x. Let p be n(6). Suppose p = -6*t + t + 1050. Does 10 divide t?
True
Is 40 a factor of 22588/9 + (-10)/(-45)?
False
Let r = -16 - -16. Suppose r = -3*f + 169 + 161. Let g = -64 + f. Does 11 divide g?
False
Let k(r) = -r**3 + 7*r**2 + 20*r - 7. Let g be k(9). Suppose 1075 = g*w - 47. Is w a multiple of 51?
True
Let v(i) = 1197*i**2 - 14*i + 12*i - 19 - 1166*i**2. Is 8 a factor of v(-6)?
False
Let h(u) be the first derivative of -113*u**3/3 + 9*u**2/2 + 7*u + 3. Let w(q) = 56*q**2 - 4*q - 3. Let x(m) = 3*h(m) + 7*w(m). Is x(-2) a multiple of 19?
False
Suppose -608*r = -611*r + 8976. Is 29 a factor of r?
False
Let v be 317/9 + ((-68)/(-18) - 4). Is 7 a factor of 54 - -1 - (v/5 - 3)?
False
Suppose -d = -2*t + 19273, 311*d - 309*d = -t + 9614. Does 56 divide t?
True
Suppose -9*z = -8*z - 7. Suppose -5 = -2*t + z. Is t a multiple of 3?
True
Suppose 4*a = 5*k - 2900, -13*k - 2*a - 9802 = -30*k. Is 48 a factor of k?
True
Let b(h) be the second derivative of 3*h**3/2 + 7*h**2/2 + 24*h. Let q be b(-2). Is 10 a factor of -23*(-72)/33 + 2/q?
True
Let x = 660 + -656. Suppose 21*p = -x*p + 14025. Is 11 a factor of p?
True
Suppose 2*l - 78 = 2*o, 4*o - 2*o - 3*l = -74. Let q = o - -479. Is q a multiple of 19?
False
Let m = -74 - -134. Let o = -46 + m. Does 2 divide 2/(-7) + 452/o - 3?
False
Suppose 269 = 2*g - 297. Let i = 770 - g. Let d = i + -214. Is 39 a factor of d?
True
Let x = -265 + 450. Suppose 587 = 3*n + x. Suppose 6*h - n - 46 = 0. Is h a multiple of 27?
False
Suppose 46*j - 51*j + 20 = 0. Suppose w = 2*u + 114, -j*w + 552 = 3*u + 140. Does 30 divide w?
False
Let a(f) = 81*f - f**3 - 49*f - 38*f + 310. Is 14 a factor of a(0)?
False
Suppose -36*y = -52*y + 1200. Suppose -3 = 3*f, -2*d + f = 2*d + 63. Is y/(-20)*d/3