k + 201 = -3*g. Let i = -16 - g. Is 5 a factor of i?
True
Let d = 54 - 54. Let h(i) = -i**2 + 5*i + 79. Is 51 a factor of h(d)?
False
Suppose 0 = -3*v, 2*w + 2*v = 3*w. Let m be w - 0 - -3*(-296)/(-24). Let k = 103 - m. Is k a multiple of 9?
False
Let p be (-203)/3 - (-24)/36 - 5. Suppose 0 = -5*d + 5*w - 795, 4*d + 633 = -2*w + 7*w. Does 9 divide (d/72)/(2/p)?
True
Suppose 0 = 3*h + 2*h - 35. Let z(k) = -54*k - 3*k + 10 + 59*k. Is 3 a factor of z(h)?
True
Let s(r) = 1975*r**2 + 12*r + 13. Let n be s(-1). Let g = -1280 + n. Does 24 divide g?
True
Let o = 48 + -46. Suppose 0*a - o*w - 30 = -5*a, -a + 24 = -4*w. Suppose -a*m - q = -264 - 216, 0 = -2*q. Is 41 a factor of m?
False
Let s(z) = 2*z. Let l(c) = c**2 + 12*c. Let y(b) = -l(b) - s(b). Is y(-6) even?
True
Suppose 0 = -5*z + 79605 + 84359 - 63104. Does 18 divide z?
False
Suppose -30*o + 14*o + 2227302 = 17*o. Does 21 divide o?
True
Suppose -2*v + 1 = -5. Suppose -v*t + 4 = -128. Is 15 a factor of t?
False
Is 17 a factor of ((-216355)/10 - 4 - -5)*(-28)/21?
False
Let y(b) = -2*b**2 + 24*b - 17. Let r be y(11). Suppose 5*j = -4*s + 1416, -j + 3*j + r*s = 580. Is j a multiple of 28?
True
Let c = -107 - -127. Suppose c = -4*g + 80. Is 11 a factor of g?
False
Let q be 3/(-9) + (-152)/(-6). Suppose 5*v - q = 0, p + 32 = 2*v - 0*v. Does 11 divide 2 - -2 - p - -2?
False
Let o(n) = 30*n**2 + 132*n + 24. Is 34 a factor of o(11)?
False
Let n = 16426 - 11092. Is n a multiple of 21?
True
Let i(k) = -10*k**3 - 33*k**2 + 24*k + 179. Is 23 a factor of i(-14)?
True
Let l(y) = -7 - 241*y - 8 - 2 - 378*y. Does 11 divide l(-2)?
True
Let a(x) = -7*x**2 + 19*x - 71. Let q be a(10). Is -3 + 1/((-7)/q) a multiple of 10?
True
Suppose -84*y - 19*y + 187459 = -41201. Is 148 a factor of y?
True
Suppose 3*k = -d + 32399 + 56968, -29741 = -k + 5*d. Is 204 a factor of k?
False
Let o(c) be the first derivative of 7*c**4/6 + c**3/2 - c**2 + 11*c - 15. Let g(l) be the first derivative of o(l). Does 39 divide g(3)?
False
Let q be (43401/(-444))/(2/(-56)). Suppose -3535 = -8*v + q. Is v a multiple of 98?
True
Let q be ((-39)/12)/(1/4). Let v = -4 - q. Let l = 11 - v. Does 2 divide l?
True
Suppose -2895*y + 38855 = -5786*y + 2896*y. Is 3 a factor of y?
False
Let c = 554 - 359. Suppose -3*s = 5*d - 5*s - 167, 5*s - c = -5*d. Is d a multiple of 2?
False
Let n(w) = -3*w**3 + 102*w**2 + 5*w - 158. Does 5 divide n(33)?
False
Suppose -r - 5*i = -4921, r - 8044 = 4*i - 3168. Is 6 a factor of r?
True
Let g = 12568 - 3418. Is g a multiple of 108?
False
Suppose -z + 2*u = 4*u + 4, z + u = -4. Is (34 - 19)/((-2)/z) a multiple of 6?
True
Let x(f) = -15*f - 100. Let i be x(-7). Suppose -5*a - 3*c = 211 - 552, 5*a - i*c = 365. Does 14 divide a?
True
Let j(a) = 6*a**2 + 12. Let w(g) = 5*g**2 + 13. Let l(b) = -4*j(b) + 5*w(b). Is 18 a factor of l(-17)?
True
Suppose 0 = 16*w - 11*w - 1650. Let p be (4 + -8 + 51)/1. Suppose -p*g + w = -42*g. Does 22 divide g?
True
Let c(q) = -48*q**3 - 4*q**2 - 153*q - 1085. Is 126 a factor of c(-7)?
True
Let m = 71 + -65. Let d be -6*(-3)/6*(-56)/m. Let n = 21 - d. Is n a multiple of 8?
False
Let v be 2/(0 - (-1)/10). Suppose -4*d = -5*m - v, d - 3*m + 8*m - 5 = 0. Suppose 0 = -d*z + 633 - 33. Is z a multiple of 10?
True
Let g = 31699 + -17524. Is g a multiple of 81?
True
Let f be (7 + -8 + -11)*2/(-4). Does 40 divide (12/(-7))/f - 20172/(-42)?
True
Let t(x) = 2*x**3 - 3*x**2 + x + 1. Let c be t(2). Let y(d) = -d**3 + 7*d**2 - 6*d - 14. Let i be y(c). Is (i/3)/((-2)/18) a multiple of 42?
True
Let p = -294 - -67. Is 3 + (-7 - -5)/(2/p) a multiple of 23?
True
Is 1876/335*(-550)/(-4) a multiple of 55?
True
Suppose 0 = -d + 3, s - 555 = -4*d + 3899. Is 54 a factor of s?
False
Let c be (-2)/(-6)*2*3. Let f be 1/(c + -3)*-2. Suppose -f*b + 2*g - 220 = -4*b, -2*g = -4*b + 428. Is 27 a factor of b?
True
Let i(r) = -r**3 - 6*r**2 + 31*r + 6. Let k be i(-9). Does 17 divide (66525/18)/5 + 5/k?
False
Let y(m) = 172*m**2 - 3 + 5*m - m + 5 - 20*m**2. Let b(l) = -l**3 - 2*l**2 - 1. Let r be b(-2). Is y(r) a multiple of 30?
True
Let z(o) be the first derivative of 2*o**3/3 + 3*o**2 + 2*o + 18. Let l be z(-3). Suppose -5*a - 45 = -5*t - l*a, -21 = -3*t + 3*a. Is t a multiple of 3?
True
Suppose 5*u + 2*u = -21. Let f be u - (4 - 0 - 2). Let w = 11 - f. Does 8 divide w?
True
Suppose 3*z - 7*z + 16 = 0. Suppose 680 = -y - z*y. Let x = y + 245. Is 19 a factor of x?
False
Suppose 431*x - 853*x = -428*x + 45294. Is x even?
False
Let b(p) = -p + 18. Let i be b(6). Suppose -3*a - 3 = i, 20 = 2*f + 2*a. Suppose 0 = -h + f. Is 2 a factor of h?
False
Let n be 9380/(-16) - (-6)/24. Let w = -351 - n. Is w a multiple of 34?
False
Let f(c) = -17*c**3 + c**2 + 7*c + 3. Let h(b) = -33*b**3 + 2*b**2 + 14*b + 5. Let r(p) = 7*f(p) - 3*h(p). Is 13 a factor of r(-4)?
True
Let p = 35 + 4075. Is p a multiple of 10?
True
Suppose -118*q - 16*q + 1210172 = -770884. Is q a multiple of 21?
True
Does 21 divide 1543532/28 - (((-36)/7)/(-1) + -4)?
True
Let o = -14410 + 21819. Does 239 divide o?
True
Let u = 9840 - 5424. Is 4 a factor of u?
True
Let h be ((-2)/(-4))/((-625)/208 - -3). Let d be h + -1 - -1 - (-25 + 26). Let a = -85 - d. Is 20 a factor of a?
True
Let f(k) = -1943*k**3 - 2*k**2 - 22*k - 37. Is f(-2) a multiple of 9?
True
Suppose 5*g + 44700 = 7*g + 3*h, g + 2*h = 22352. Does 57 divide g?
True
Let f = 2258 + -102. Is f a multiple of 44?
True
Suppose -39*k = 81*k - 1524360. Does 153 divide k?
False
Suppose -14*q = -14387 - 23581. Does 24 divide q?
True
Suppose -3*i + 4*z + 2058 = 0, 5*z + 3430 = -21*i + 26*i. Is i a multiple of 7?
True
Let r be (-1602)/15*(-90)/27. Let c = -111 + r. Does 5 divide c?
True
Is 71 a factor of ((-457516)/(-72) - (-12)/108)/(2/4)?
True
Let v be (-3 - -2)*4 - -6. Let f(w) = -7 - 24*w + v + 48*w + 2. Is f(4) a multiple of 21?
False
Let s(i) be the second derivative of i**4/4 - 25*i**3/6 - 17*i**2/2 + 14*i + 4. Is 7 a factor of s(13)?
False
Let f(q) = q**3 - 18*q**2 - 14. Let v be f(18). Let m be (0*1/1)/((-14)/v). Suppose -3*p - 4 + 22 = m. Is p even?
True
Suppose -4*v + 3 + 9 = 0. Suppose -v*z - 8*z = -451. Suppose -z - 22 = -n. Is n a multiple of 7?
True
Suppose -118*z + 3*t + 40600 = -114*z, 0 = -5*z - 2*t + 50750. Is 7 a factor of z?
True
Let r(c) = -c**2 - 14*c - 35. Let a be r(-11). Let u be ((-56)/35)/(a/5). Suppose -5*v + 420 = 3*j, u*v - 59 - 277 = 5*j. Does 28 divide v?
True
Let w = 864 + 5912. Does 14 divide w?
True
Let d = 45 + -128. Let i = -68 - d. Is 4 a factor of i?
False
Suppose 37 = 4*z + 1. Suppose n + 4 = 36*g - 41*g, -2*n + g = 8. Is 9 a factor of 2*4/n*z/(-2)?
True
Let q = 22325 - 10866. Does 7 divide q?
True
Suppose 3*n + 19 = -5*m, 5*n + 3*m = -3 - 2. Suppose -n*v + l = -l + 10, 0 = -2*l. Let d(b) = -32*b + 4. Does 19 divide d(v)?
False
Let l(s) = -s**2 - 5*s + 8. Let a be l(-6). Suppose -3*b - 1797 = a*m - 6*m, -4 = -4*b. Suppose m = 23*g - 18*g. Is 15 a factor of g?
True
Let a = 9411 + -7171. Is 10 a factor of a?
True
Let j = -67 + -17. Let v = 93 + j. Suppose 0 = 3*o + 12, 0 = 4*z - v*z + 5*o + 935. Is z a multiple of 61?
True
Let c(p) = p**3 + 4*p**2 - 14*p + 5. Let f be c(2). Is ((-7290)/36)/((-20)/16 + f) a multiple of 45?
True
Let f = 37638 - 16656. Does 4 divide f?
False
Is (-14)/4*173136/(-84) + (1 - -1) a multiple of 37?
False
Suppose 0 = 5*d - 3*d + 8, d - 12 = -4*a. Suppose -238 = -c + 4*u, c = -3*c - a*u + 992. Does 9 divide c?
False
Let d(q) = -204*q - 4. Let g(j) = 204*j + 4. Let i(c) = -3*d(c) - 4*g(c). Let y be i(-1). Does 41 divide 6/3 + y - -2?
False
Let l be 1326/(-14) + 38/14 + -3. Let d = l + 165. Suppose -5*u + d = 5*k, -4*k + 67 = k + 4*u. Is k a multiple of 3?
False
Suppose -5*t + 36765 = -2*c, 262*t - 266*t = 5*c - 29412. Does 19 divide t?
True
Let g = 2177 - 364. Does 37 divide g?
True
Suppose -2*b - 100 = -92. Let h be (-1)/b - (39/(-4) + -6). Suppose 0 = h*v - 8*v - 800. Does 25 divide v?
True
Suppose 0 = -12*f + 16*f + 56. Let u = f + 14. Suppose u = -13*o + 10*o + 168. Does 7 divide o?
True
Does 88 divide 2900/(-203)*35/2*(-176)/10?
True
Let l be -2*4/16 + (-15)/(-6). Suppose 249 = z + m, 2*m = -l*z + 6*m + 516. Does 7 divide z?
True
Suppose -u - 19967 = -z, -3*u + 4222 + 35682 = 2*z. Is z a multiple of 20?
False
Suppose 1757568 = 84*x - 15*x. Is 16 a factor of 