ivative of x**3/6 + x**2/2 - 16*x. Let m be o(1). Suppose -m*g = 2*u - 20, -4*g + 2*u + 10 = -g. Does 6 divide g?
True
Is (-542325)/(-135) - 27 - (-4)/(-18) a multiple of 105?
True
Does 18 divide 5/((-70)/(-15376)) + 754/(-2639)?
True
Suppose 5*d - 849*x = -844*x + 8060, 2*d - 3194 = -4*x. Is 135 a factor of d?
False
Let s = -248 - -254. Is 12 + 14903/42 - (-1)/s a multiple of 11?
False
Suppose 135*d = 136*d. Is 501 + -8 + d + 7 a multiple of 25?
True
Let x = -313 + 421. Is 9 a factor of x?
True
Let y be 1 + (-48)/(-27) + 2/9. Let p(n) = -n + 2. Let t be p(-10). Let w = t + y. Is w a multiple of 15?
True
Suppose -y - 5*l - 22 = 0, 8 = y - 3*l + 2*l. Suppose 212 = y*m - 745. Is 11 a factor of m?
True
Let w(o) be the third derivative of -o**4/24 + 7*o**3/3 + 4*o**2. Let k be w(6). Is 3*k/(-12) + 49 a multiple of 18?
False
Suppose 4*w - j = 4470, 2*w - 4462 = -2*w - 3*j. Is 5 a factor of w?
False
Let p = 94 - 40. Suppose 30 = 2*m - 4*k, -3*m + k + 2*k + p = 0. Does 20 divide (56/m)/((-2)/(-15))?
True
Let j = 173 + -242. Let u = j - -115. Is u a multiple of 5?
False
Suppose -5*w = -0*w - 50. Let a be (2 + 1 - 4)/((-2)/w). Suppose -j - 260 = -a*h + 3*h, 0 = -3*h + 2*j + 391. Is 43 a factor of h?
True
Suppose 32*x - 14070 = -39*x + 69*x. Does 105 divide x?
True
Suppose -2*w + 38 + 28 = 0. Let j be 26/8 + w/44. Is 28 a factor of -114*j/(-16) + (-2)/4?
True
Let n(a) = 29*a**2 + 8*a + 10. Does 53 divide n(-9)?
False
Suppose 4*k - 56119 = -v + 9382, 9*v = -4*k + 65477. Does 92 divide k?
True
Is (-64 + 66)/((-2)/(-495) - 0) a multiple of 45?
True
Suppose 21*z - 2066 - 12378 = -3335. Is z a multiple of 22?
False
Suppose -4*v + 3*v = 0. Suppose v = 11*c - 37 - 29. Is 11 a factor of (64/c)/(-4 + 100/24)?
False
Let l = -806 - -647. Does 53 divide 51/3*l/(-9)*3?
True
Suppose -44702 = -50*d + 480298. Does 2 divide d?
True
Suppose 74*a + 430 = -236. Suppose 2*d - 3*j - 39 = 0, -5*d - 4*j + 160 = j. Let u = a + d. Is 6 a factor of u?
True
Suppose 0 = -6*f - 2*f. Suppose -16*b + 12*b + 40 = f. Is 1/(-2) + 1255/b a multiple of 16?
False
Let y = 38 - 23. Let z(x) = -x**3 + 15*x**2 - x + 22. Let k be z(y). Is ((-93)/(-12))/(k/112) a multiple of 19?
False
Let i = -652 - -668. Suppose i*k - 4*k = 720. Is 12 a factor of k?
True
Suppose -4*g + 33*h - 38*h + 1692 = 0, -20 = -5*h. Let z = g + -242. Is 7 a factor of z?
False
Let r(x) = 22*x**2 - 12*x + 13. Let g be r(4). Suppose -69 + g = 2*u. Does 62 divide u?
True
Let d be (-2 + 1 + 0)*-4. Let y be d + 1/5 + 1176/20. Let x = y - 26. Is 12 a factor of x?
False
Let p(k) = 7 + 46*k - 2 - 51*k + 79*k**2 - 2. Does 28 divide p(1)?
False
Let t = 82 - 42. Suppose -10*g + 6*g = t. Is 32/(-4 - 45/g) a multiple of 11?
False
Let q(k) = k**3 + 17*k**2 + 8*k + 44. Let f be q(-15). Suppose 0 = -p + 243 + f. Is p a multiple of 14?
False
Suppose 5*k - 2*k = 5*f - 14, 3*f - 10 = k. Suppose 2*o = -4*q + 3*q + 101, 4 = f*q. Is 50 a factor of o?
True
Suppose -5*g - u - 164 = -g, -2*g = u + 84. Suppose 3 = 5*h + 3*t, -2 + 0 = h - 2*t. Does 3 divide (g/(-16))/(h - 1/(-2))?
False
Let f = 6184 + -5560. Is f a multiple of 16?
True
Let g = 288 + -263. Suppose g*f - 13*f - 1464 = 0. Does 8 divide f?
False
Let j(h) = h**2 + 21*h + 45. Let w be j(-16). Let v(b) = 16*b - 7. Let l be v(8). Let z = l + w. Is z a multiple of 13?
False
Suppose -4*y + 116 = 2*b, -4*b = -0*y - y - 268. Let x be (-8)/(-6)*(-15)/(-10). Suppose x*h + 12 = b. Is 11 a factor of h?
False
Let n(m) = 2*m**2 + 86. Let p be n(-18). Suppose 0 = -4*b - 54 + p. Is 17 a factor of b?
True
Suppose -3*v + 87 = 2*t, -9*t + 4*t = -2*v - 170. Is ((-48)/(-2))/(t/630) a multiple of 20?
True
Suppose 24 = 4*c + 2*c. Let s be (15/(-6))/(c/(-8)). Is 12 a factor of -3 - (2 - s) - (-63 + 3)?
True
Let v = -6386 + 8302. Does 10 divide v?
False
Let g(k) = -119*k**3 - 2*k**2 + 1. Suppose -v = 2*a + 1, 2*a - 2 = -5*v + 1. Let t be g(a). Let z = t - 70. Is 16 a factor of z?
True
Let o(l) = -6*l**2 - 2*l + 24. Suppose -3*j - 7 = 2*h, 0*j + 6 = -h + j. Let g(q) = -q - 1. Let a(b) = h*g(b) - o(b). Is 4 a factor of a(3)?
True
Suppose 20*b + 39*b + 92760 = 74*b. Does 24 divide b?
False
Let c(w) = -10*w + 6. Let r be c(6). Let f = 61 + 7. Let j = f + r. Is j even?
True
Let a be 971/(-1) - (-371)/53. Let u = a + 1548. Is u a multiple of 8?
True
Suppose n - 5 + 3 = 0. Suppose 5*q = n*q + 36. Let g(c) = 2*c**2 - 20*c - 23. Does 2 divide g(q)?
False
Let o(y) = 23*y**2 - 2*y + 16. Let p be o(-3). Suppose m - 86 = -5*x + 119, p = m - 3*x. Is 20 a factor of m?
True
Suppose 0 = -6*x + 3*x + 1761. Suppose 139 = 2*h - x. Suppose -5*i + 16 = -9*i, 5*b = -3*i + h. Is 21 a factor of b?
False
Let v(w) = w**3 + 4*w + 3. Let k be v(0). Is 73 a factor of (5/(-4))/(k + (-3506)/1168)?
True
Suppose -5*t + 5 = 5*w, 7*w - t = 4*w + 7. Let h = 48 - 25. Let n = h + w. Is 25 a factor of n?
True
Is 35 a factor of 17532 + -15*21/(-105)?
True
Suppose 197*i - 315 = 204*i. Let y(v) = 2*v**2 - 4*v. Let f be y(3). Is 12 a factor of f*95/i*-6?
False
Suppose -5*u + 0*u + 58 = -3*f, -5*f = -5*u + 50. Suppose -8*t - 1032 = -u*t. Let c = -148 + t. Does 3 divide c?
True
Let b be (-30)/(-105) + (-649)/(-7). Let s = b + -89. Does 23 divide 206 + -1 + s + -4 + 2?
True
Suppose 17 = -5*c + 3*a - 55, a + 8 = -c. Does 44 divide 56/6*(-63)/c?
False
Suppose -2*d - 5*a + 17133 = 0, -2*a - 8562 = -1274*d + 1273*d. Is d a multiple of 141?
False
Let s be -1 - (1/(-1) - -107). Suppose 0 = -57*d + 63*d + 336. Let l = d - s. Does 11 divide l?
False
Suppose -7*h + 9*h - 398 = 0. Suppose h = t - 470. Suppose 34*u + t = 37*u. Is u a multiple of 18?
False
Let l(r) = 190*r**2 + 4*r - 2. Let a be l(2). Is a - (-1 - (-2 + 0)) a multiple of 17?
True
Let s(b) = -24*b + 5. Let f be s(0). Suppose -k = 3, f*p - 3*p = 2*k + 2856. Is 15 a factor of p?
True
Suppose -5*q + 38347 + 2143 = 2*d, -3*d = -15. Is q a multiple of 16?
True
Suppose 293*o - 902450 = 3902096 - 190675. Is 40 a factor of o?
False
Let n = 45163 - 21997. Does 33 divide n?
True
Suppose 4*s = 5*j + 70343, -2*s + 35161 = 85*j - 86*j. Does 114 divide s?
False
Suppose 6*o + 5*o = 649. Suppose -19*j = -o*j + 2720. Is j a multiple of 2?
True
Suppose 3*s = -2*k + 3690, 5*k = s + 172 - 1385. Is s a multiple of 4?
True
Let i = -113 + 110. Does 3 divide -48*(3 + -7 - i)?
True
Let a = 40 + -270. Let w = -161 - a. Suppose 5*f + w = 439. Is 15 a factor of f?
False
Suppose -27*c + 6984 + 31676 = 6719. Does 4 divide c?
False
Let i be (-1)/(2 - (-35)/(-18)). Let z(p) = -p**3 - 19*p**2 - 23*p + 29. Is 38 a factor of z(i)?
False
Suppose -4*q - 4*f = 44, 5*q = -0*q - 2*f - 52. Let v = q + 58. Is v a multiple of 16?
True
Suppose -2*n + 62270 = 2*x - 6*x, 18 = -3*x. Is 37 a factor of n?
False
Let p(v) = -v**3 + 3*v**2 - 2*v. Let w be 1 + (1 - 1 - (-3 - -2)). Let f be p(w). Suppose -5*s + o + 31 - 1 = f, 2*o = -s + 17. Is 7 a factor of s?
True
Let u(w) = 22*w**2 - 12*w**2 + 3 - 12*w**2 + 5*w. Let m be u(3). Suppose m = 3*b - 4*b + 53. Does 13 divide b?
False
Is 12 a factor of (399/28)/(24270/2696 - 9)?
False
Let h(k) = -91*k**2 - 17*k - 24. Let l be h(-5). Does 9 divide l*(-5)/2*1/5?
True
Let b(k) = 77 - 145*k + 129 + 119*k. Does 16 divide b(-7)?
False
Suppose 2*s + 12 = -3*y + 7*y, 2*y - 3*s = 2. Suppose 3*f = 5*o + 3432, -5*f - y*o + 6796 = 1113. Is 67 a factor of f?
True
Suppose 3*r - 14*r = -154. Suppose -r*d - 25 = -67. Suppose -4*q + 8 = 0, 0 = 2*y + d*y - 4*q - 167. Does 34 divide y?
False
Let o = -80 - -1653. Does 11 divide o?
True
Let w(c) = 8*c - 101. Let x be w(14). Suppose 13*t = x*t + 1372. Is 19 a factor of t?
False
Let l(t) = 1034*t**2 - 172*t + 339. Is l(2) a multiple of 11?
False
Let v(y) = y**3 + 18*y**2 + 16*y - 12. Let g be v(-17). Suppose 7*u - 2*a = 2*u - 94, a = -g*u - 88. Let d = u - -55. Does 24 divide d?
False
Is ((-174)/(-3))/(-1 - 3549/(-3523)) a multiple of 13?
False
Let n = -8408 - -14746. Does 9 divide n?
False
Let k(g) = -893*g + 197. Is k(-7) a multiple of 8?
True
Suppose 60 = 3*p - 2*p. Let w be (p/(-5))/(-3) + 62. Suppose -s - 6 = -w. Is s a multiple of 12?
True
Let q be (-4 + 1)/((-15)/80). Suppose -q = 3*i + i + 4*m, 0 = -i + 2*m + 8. Does 8 divide 11 + (-2 - i/(-1))?
False
Let z(f) = -15*f**3 - 6*f**2 + 449*f + 3123. Is 126 a factor of z(-7)?
False
Suppose -11992 = -39*c + 234171 + 135179. Is 