the first derivative of -1/3*p**3 - 7/2*p**2 + 5 - p. Does 2 divide v(-3)?
False
Suppose 9*l - 4*l - 20 = 2*d, l - 4*d = 4. Suppose 0 = -i - l*p + 88, p = -i + 2*p + 108. Is 21 a factor of i?
False
Let w = -205 + 365. Suppose -5*r = -w + 10. Is r a multiple of 15?
True
Suppose 9*m + 1953 = 2*m. Let r = -199 - m. Is 16 a factor of r?
True
Let u(m) = -6 - 3*m - 9 + 4. Does 7 divide u(-12)?
False
Suppose -7805 = -4*b + l, 3*b - l - 2*l = 5865. Does 65 divide b?
True
Is 454 + (-5)/(45/36) a multiple of 25?
True
Let k(i) = 11*i - 592. Let c be k(54). Let x be 4/(0 - (-1 - 0)). Suppose -48 = -o - x*a, c*o - a - 84 = -5*a. Is o a multiple of 18?
True
Suppose 5*w + 0*y - 35 = -5*y, -2 = 2*y. Let t(s) be the third derivative of -s**5/60 + 5*s**4/8 + 2*s**3/3 + 28*s**2. Is 22 a factor of t(w)?
False
Let c = 24 + 14. Suppose -27 + c = s. Is 4 a factor of s?
False
Suppose 17*d = 33*d - 3152. Does 19 divide d?
False
Let o(k) = -k**2 - 15*k + 18. Let c be o(-15). Let s = 28 - c. Suppose -s*i + 80 = -2*i. Does 10 divide i?
True
Let w(l) = 69*l**2. Let o = 8 - 7. Let r be w(o). Suppose -q + 0*q + r = 0. Is q a multiple of 12?
False
Suppose 4*m = 5*n - 71, 0 = n + 2*m - 1 - 2. Let v be (4 + 78)*(-3)/(-6). Suppose v = 5*o + n. Is 2 a factor of o?
True
Let h be (368/(-2))/(18/(-9)). Suppose 8*m + a = 3*m + 200, 3*m - 5*a = h. Is m a multiple of 6?
False
Let a(u) = 44*u**2 - 16*u + 42. Does 66 divide a(-7)?
True
Let w be -5 - -3 - (-6 - 51). Is (1/(-3) - w/(-75))*35 even?
True
Let v be (-4)/(-14) + 104/28. Let x be v/6*7*3. Suppose x*w - 135 = 9*w. Does 9 divide w?
True
Let b = -36 - -399. Let c = b + -254. Is c a multiple of 32?
False
Suppose 233 = 7*h - 264. Let n(c) = -7*c**3 + 3*c**2 - 3*c. Let j be n(2). Let d = h + j. Does 5 divide d?
False
Suppose 0 = q + p + 10 + 4, 4*q + 54 = -3*p. Let c = -16 - q. Is 22 a factor of c/(-3)*(-33)/(-2)?
True
Let l = 215 - 124. Is l a multiple of 5?
False
Suppose 12*f + 25*f - 6586 = 0. Does 27 divide f?
False
Let p(g) = 15*g - 23. Let q be p(4). Let x = q - -83. Is 5 a factor of x?
True
Let z = -947 + 1357. Suppose -2*i - z = -2*h, i + 1045 = 5*h + 6*i. Is h a multiple of 14?
False
Suppose -2*r + 3*w = -23 + 8, -2*r - 4*w - 6 = 0. Suppose -r*m + 0*m + 6 = 0. Suppose m*f - 37 = 3*v + 74, v - 139 = -3*f. Is 17 a factor of f?
False
Let a = -68 + 156. Suppose 36*b = 40*b - a. Is b a multiple of 15?
False
Let o(u) = 3*u**3 - 22*u**2 + 19*u + 1. Let z(n) = -2*n**3 + 15*n**2 - 13*n - 1. Let q(s) = -5*o(s) - 8*z(s). Is q(10) a multiple of 20?
False
Let a(y) = -y - 13. Let m be a(-13). Suppose 2*r - 31 - 77 = m. Is 11 a factor of r?
False
Let l = -110 - -163. Suppose 2*z - 1 = -3. Let v = l + z. Is v a multiple of 18?
False
Let o(t) be the third derivative of t**5/60 + 7*t**4/12 - 4*t**3 + 5*t**2. Is 9 a factor of o(10)?
True
Does 27 divide ((-11610)/450)/(2/(-70))?
False
Suppose -34*z = -12*z - 6600. Does 10 divide z?
True
Let s be (3/(-9))/((-1)/45). Does 22 divide 0 + 109/5 + s/75?
True
Suppose 28*b - 23*b - 215 = 0. Suppose 97 = 4*r - b. Is 13 a factor of r?
False
Let q(s) = -497*s**3 - s**2 - 4*s - 4. Is 20 a factor of q(-1)?
False
Let k = 1950 + -1307. Does 9 divide k?
False
Let v(w) = -2*w**2 - 13*w + 12. Let o(m) = 2*m**2 + 14*m - 13. Let d = 16 - 23. Let n(t) = d*v(t) - 6*o(t). Does 24 divide n(-6)?
True
Let o = -68 + 71. Suppose a = o*d - 52 - 450, 666 = 4*d - 2*a. Is d a multiple of 34?
False
Suppose -5*v = 4*x + 851 - 3539, -3*x = 2*v - 2016. Suppose l + 6*l = x. Is l a multiple of 24?
True
Is 8 a factor of 248/(-6)*1224/(-102)?
True
Let a = 23 + -14. Let s(w) = -7 - w + 6 + 2*w - 1. Is s(a) a multiple of 7?
True
Does 18 divide (-4 - (-1 - 4)) + 485?
True
Suppose 7*x - 2*x - 4 = -t, -x + 20 = 5*t. Suppose -d - n = -50, -3*d - n + 207 - 59 = x. Is 17 a factor of d?
False
Suppose 5*t = -4*p + 828, -2*t + p + 353 = 14. Suppose 3*g + u + 0*u = 118, -4*g = 4*u - t. Is g a multiple of 4?
False
Does 15 divide 5/((-27720)/5552 + 5)?
False
Suppose 4*g = 2*y, y + 5*g + 33 - 5 = 0. Is 14 a factor of (-585)/10*y/12?
False
Suppose 0 = -a + 6 - 4. Suppose -5*h + 9 = a*k - 9, -4*h = 4*k - 12. Does 4 divide (2 + 0)/(2/h)?
True
Let a be (40/12)/(2/21). Suppose -2*p + 5*t + 25 = p, -p - 5*t = -a. Is p a multiple of 5?
True
Let i(n) = -3*n**3 + 4*n**2 + 3*n + 1. Let m be i(-2). Suppose 2*k + 3*h = m, -3*h + 7*h - 52 = -3*k. Let t = 61 - k. Is t a multiple of 10?
False
Suppose 0 = -12*t + 13*t - 19. Suppose -t*v = -15*v - 268. Does 12 divide v?
False
Does 14 divide 4686/42 - 6/(-14)?
True
Suppose 2082 = -20*w + 22*w. Is 14 a factor of w?
False
Let b be -4 + 9 + (-8 - -3). Suppose b = 4*n - 19 - 345. Is 22 a factor of n?
False
Let q be (-16)/(16/4) + 34. Let m be (126/q)/((-2)/10). Let c = m - -45. Is 4 a factor of c?
True
Let h be 1/((-35)/(-15) - 2). Does 9 divide 2/(-12) + h + (-506)/(-12)?
True
Let z(s) = -2*s - 72. Let b be z(0). Does 7 divide -6*4/b - (-256)/6?
False
Suppose -4*g + 3839 + 153 = 0. Does 111 divide g?
False
Suppose 3*o - 4*n - 4 = -3*n, -3*o = 3*n + 12. Does 19 divide (-1)/(-2)*(o + 38)?
True
Suppose 20 = -0*t + 5*t. Suppose x - 127 + 5 = -r, 0 = -5*r + t*x + 610. Suppose l = -l + r. Is 29 a factor of l?
False
Is (5 - (11 - 476)) + 10 a multiple of 23?
False
Let c be (-4 + 6)/(((-32)/(-1470))/8). Suppose -h = 5*x - c - 160, 4*h = -20. Does 30 divide x?
True
Let m(t) be the first derivative of 5*t**3/6 + 3*t**2 + 6*t + 4. Let p(d) be the first derivative of m(d). Does 9 divide p(6)?
True
Let o = -197 - -237. Is 20 a factor of o?
True
Suppose 13*t = 264 + 152. Suppose 14 = d + 4*o - t, d - 18 = 3*o. Does 6 divide d?
True
Let y be 1*4/32 - 388/32. Does 6 divide (1/(-2) + 1)/(y/(-432))?
True
Let p = -169 + 244. Is 9 a factor of p?
False
Let d = -8 - 4. Let a(t) = -t**3 - 13*t**2 - 12*t + 4. Is a(d) a multiple of 3?
False
Suppose 3*b = 5*u - 18 - 16, -5*u - 74 = 3*b. Let d be (-2)/3 + (-66)/b. Suppose -3*p = 2*q - 32, -q - p + d*p + 30 = 0. Does 15 divide q?
False
Suppose 5*c = 4*o - 2, -2*c - 4*o + o = -13. Suppose c*r + m = 169, 5 = -0*m + 5*m. Is 35 a factor of r?
False
Let d be 170/((-1)/35 - 36/(-84)). Suppose 4*j - d = -j. Is j a multiple of 6?
False
Does 5 divide ((-12)/(-16))/((-2)/(72*-2))?
False
Let z = 424 + 10. Is z a multiple of 31?
True
Is 33 a factor of (0 + -22)*(618/(-4))/3?
False
Let f be (-42)/(4/(8/3)). Let p = -21 - f. Is 4 a factor of p?
False
Suppose -1 + 6 = n. Suppose n*a = 1 + 9. Suppose 6*m + a = 170. Is 14 a factor of m?
True
Let p be 4 - (-3 + (7 - 3)). Let b(q) = -q**2 + 4*q + q - p + 2*q + 0. Is 7 a factor of b(5)?
True
Suppose 5*t + 1185 = 5*a, 5*a = -4*t + 134 + 1015. Does 18 divide a?
False
Suppose 3*l - 5*l - 98 = 2*r, 0 = r + 2. Let n = 119 + l. Is n a multiple of 8?
True
Let z(w) = 5*w - 16. Let l be z(10). Suppose -x + l = -38. Is 34 a factor of x?
False
Suppose m = -k + 3, -2*k - 3*m + 2 = -2. Does 5 divide 4 + (-5 - (k + -112))?
False
Let b(s) = -1 - 4 - 7*s + 26*s. Does 11 divide b(2)?
True
Suppose -5*z + 1554 + 2246 = 0. Suppose -2*n - z = -5*d, 3*d = -n + 229 + 216. Is d a multiple of 15?
True
Let p be ((-469)/35 - 6/(-15))/1. Suppose 0 = h + 4*z - 49, 5*z + 0*z = 5*h - 170. Let f = h + p. Is f a multiple of 8?
True
Suppose -2*v = -3*g + 1005, -2*g + v + 657 = 4*v. Suppose 4*q - 3*p + 58 - 320 = 0, g = 5*q - p. Let z = q - 24. Is z a multiple of 10?
False
Suppose 3*a + h + 0*h - 10 = 0, 0 = -a + h - 2. Suppose a = -4*s + 10. Let b(q) = 18*q. Is b(s) a multiple of 12?
True
Suppose w - 5 - 28 = 0. Let a = 39 - w. Suppose 3*o - a*o = -303. Is 21 a factor of o?
False
Suppose o - c = c + 13, 0 = 4*o - 5*c - 49. Let z(l) = 1 + o*l**2 + 4*l - 2 + 1. Is 25 a factor of z(-3)?
False
Suppose 10*k - 146 = -26. Suppose -k = -7*n + 9. Is n a multiple of 2?
False
Suppose h + 4*j = 24, -4*h = -2*j + j - 45. Let z be (22/(-8))/(198/(-48) + 4). Let v = z + h. Does 17 divide v?
True
Suppose t + 374 = 5*t - 2*l, 3*t - 5*l = 284. Does 31 divide t?
True
Let b = 470 - 164. Is b a multiple of 9?
True
Let a(f) = -11*f - 1. Let i be a(-1). Suppose -d + 2*q = 2*d - 25, 0 = 4*d + 5*q - 64. Suppose d = z - i. Does 12 divide z?
False
Let i(u) = u + 9. Let z be i(-9). Suppose z = s - 4*s. Does 17 divide (s - 1)/(1/(-36))?
False
Let d = 12 - 8. Let r be 0 - (-1 - (5 - d)). Suppose -5*x + 31 = -2*x - r*c, -x =