?
False
Suppose k = -1, -23 = d - 5*d + 3*k. Suppose -d*w = 7 - 32. Is 2 a factor of w?
False
Suppose -16*j = -13*j - 1005. Does 38 divide 1*(0 + 3 + 4 + j)?
True
Is 2682/12*198/27 a multiple of 9?
False
Let l(b) = b**3 + 8*b**2 + 5*b + 21. Is l(-6) a multiple of 21?
True
Let m = 65 - 93. Let n = 46 + m. Suppose -2*f = -n + 4. Is f a multiple of 7?
True
Let y = 64 - 40. Suppose -f - 4*x + 0 = y, -3 = x. Let n = f - -51. Is 13 a factor of n?
True
Suppose -25 = -5*h, 0 = 4*t + t - 4*h + 25. Let j be (2 - t)/(1 - 0). Suppose 0 = 5*z + j - 18. Is z a multiple of 3?
True
Suppose 4*u - f - 16 = 0, -4*u + 16 = -0*f - 2*f. Suppose u*b + 5*z - 496 = 0, -137 = 5*b + 2*z - 740. Is b a multiple of 42?
False
Let q be (36/(-9))/((-1)/(-11)). Let j(o) = -17*o**2 + o. Let m be j(-1). Let d = m - q. Is 16 a factor of d?
False
Let b = -334 + 359. Does 2 divide b?
False
Suppose 0 = -33*q + 35*q - 5*b - 1060, -3*b + 1060 = 2*q. Is q a multiple of 5?
True
Is 38/((-1)/2 - (-377)/522) a multiple of 19?
True
Let p(m) be the second derivative of 5*m**3/6 - 15*m**2/2 + 4*m. Let n be p(7). Does 4 divide (n + -2)/(0 + 1)?
False
Suppose 34*y - 15*y = 26277. Does 33 divide y?
False
Let y(t) = -4*t + 12. Let d(w) = w**2 - 3*w - 9. Let u be d(4). Is 3 a factor of y(u)?
False
Let k be (-4 + (-20)/(-4))*-7. Does 25 divide (-6)/(-14) - 347/k?
True
Let g(j) = 3*j + 20. Let u be g(-6). Does 16 divide (-303)/(-3) - (4 - (u - 1))?
False
Let l(c) = 3*c**3 - 17*c**2 + c + 12. Is 39 a factor of l(8)?
True
Suppose -54*g = -53*g - 899. Is 31 a factor of g?
True
Let a be 9/36 - (-7)/4. Is 3 a factor of 18/(-4)*(a - 4)?
True
Suppose -9*x + 55080 = 21*x. Is x a multiple of 31?
False
Suppose 19*s - 2594 - 351 = 0. Is 54 a factor of s?
False
Let q(i) = i + 3. Let g(b) = b**2 + 10*b + 13. Let j be g(-9). Does 7 divide q(j)?
True
Suppose -1161 = -4*r + 3*x, -4*r + x + 1158 = -x. Is r a multiple of 16?
True
Suppose 3*d + 2*y + 6 = -0*d, 3*d = -3*y - 9. Suppose d = 5*z + 8 + 92. Let q = -14 - z. Is 2 a factor of q?
True
Suppose -4*o - 4*y = 40, 5*o + 4*y - 8*y + 32 = 0. Is (-10)/o*(2 - -90) a multiple of 23?
True
Is 41 a factor of (492*(-9)/63)/((-4)/14)?
True
Let g = 11 + -16. Let y be ((-12)/g)/(1/10). Suppose 3*p - y = -0*p. Is 6 a factor of p?
False
Let m(t) = -t**2 + 27. Let k be m(9). Is 5 - 2 - 3 - -3 - k a multiple of 13?
False
Let u = 175 + 953. Is u a multiple of 26?
False
Let s be (-497)/(-42)*12/2. Suppose -5*u + 5*i = -415, u - s + 3 = -2*i. Is 39 a factor of u?
True
Let s(r) = r**3 - 2*r**2 + r + 1. Let n be s(2). Let f(a) = -8*a + 2 + a**2 - 3*a + n. Is 13 a factor of f(13)?
False
Suppose 0 = -721*o + 724*o - 8136. Is 12 a factor of o?
True
Let z = -191 - -287. Is z a multiple of 6?
True
Let o = 7104 + -5016. Is o a multiple of 12?
True
Let b(s) = s**2 - s + 3. Let f be b(2). Does 14 divide 1/((1/112)/(6 - f))?
True
Let s be -9 + 30 + 7 + -2. Is 32/20*(s - 6) a multiple of 2?
True
Let w = -243 - -351. Does 4 divide w?
True
Is (252/(-27) - -10)*24 a multiple of 16?
True
Let d = -936 + 963. Is d a multiple of 9?
True
Let h(k) = 2*k + 121. Let z be h(0). Suppose -5*f + z = -59. Is f a multiple of 9?
True
Let g(k) = -k**3 + 4*k**2 + 8*k + 12. Let i be g(6). Let w(h) = -h**3 + 5*h**2 - h + 7. Let s be w(6). Let f = i - s. Does 14 divide f?
False
Let s = -1 + -12. Let f = -4 - s. Is f a multiple of 4?
False
Suppose 0 = -i + 2*i - 4. Suppose 0 = -5*m + i*m + 161. Does 23 divide m?
True
Let b(n) = -12*n - 6. Suppose r = -2*j + 4*j + 16, r - j - 12 = 0. Let o be b(r). Let q = -65 - o. Is 16 a factor of q?
False
Suppose 0 = -3*d - 6, -2*r - 10 = -3*r + 5*d. Let x(k) = -k**3 - k**2 + 18. Does 3 divide x(r)?
True
Suppose 3*w = 3*y - 201 + 726, -2*y + 730 = 4*w. Is 25 a factor of w?
False
Suppose 0 = j + 5, 7*j - 153 = -2*q + 2*j. Suppose 0 = 8*l - q - 183. Does 34 divide l?
True
Let z(f) = -f**2 + 14*f. Let k be z(9). Let d = k - -31. Is 31 a factor of d?
False
Let a be (-3)/(2 + 26/(-16)). Let v(f) = f**2 + 7*f + 4. Let k be v(a). Suppose -2*p = 3*s - 14 - k, 0 = 4*p - 2*s - 20. Is p a multiple of 6?
False
Let w(s) = 18*s**2 + 13*s + 1. Is w(-8) a multiple of 5?
False
Suppose -2*y + 6 = -3*y. Let m(k) = -k**3 - 6*k**2 + 7. Is m(y) even?
False
Let l = -92 + 166. Suppose -3*p = -2*p - l. Is p a multiple of 13?
False
Let p = -4 + 8. Suppose 3*r - 91 = -p*g, -2*g = -6*g + 3*r + 109. Is g a multiple of 5?
True
Suppose 4*s - 4948 = -4*p, 0 = -5*s - p + 5*p + 6140. Is 4 a factor of s?
True
Suppose 73 = o + 2*n, n = -4*o + 185 + 121. Let c be (-86)/14 + 11/o. Does 12 divide (-36)/c*(10 + 2)?
True
Let p(h) = h + 0 + 8*h**2 + 0 + 0*h**2 + 2. Is p(-1) a multiple of 3?
True
Let c(a) = -9*a + 12 + 4*a + 6*a - 3. Does 11 divide c(14)?
False
Let n(u) = -156*u - 216. Does 9 divide n(-3)?
True
Suppose 11*u - 14 = 30. Suppose u*z + 222 = 6*z. Is z a multiple of 5?
False
Suppose -8*p = -13*p + 15. Suppose 3*q - 370 = -5*w, 0 = 2*w + 5*q - p*q - 148. Is 37 a factor of w?
True
Let c = 1431 + -1308. Does 3 divide c?
True
Let o = -11 - -9. Let w be 1 - o/(4/6). Suppose 0 = -w*m - 1 + 45. Does 11 divide m?
True
Let t = 14 - 13. Let c be t + 1 + 6/3. Suppose -2*v - 3*d + 0*d = -51, -c*v = -2*d - 126. Does 9 divide v?
False
Suppose -502 = -3*l + 227. Is l a multiple of 7?
False
Suppose -22*l = -4580 - 4220. Does 20 divide l?
True
Suppose 3*h + 2*a = h, 0 = 4*h + 2*a. Suppose -4*y - i = -1097, h = -2*y - 7*i + 3*i + 566. Does 39 divide y?
True
Let o = 23 + 43. Is o a multiple of 5?
False
Let q(a) = -a**3 + 9*a**2 - a + 5. Let z be q(8). Let j = -29 + z. Is 16 a factor of j?
True
Suppose 4*b - 4 = 0, 5*c - 2*b = -0*c + 63. Let r = c + -15. Does 14 divide 0/2 + r - -18?
False
Let f = -135 + 191. Suppose 5*m = -5*i + 160, 4*m + 3*i - 182 = -f. Is m a multiple of 10?
True
Let k = -24 - -44. Suppose -52 - k = -3*z. Does 5 divide z - 16/(1 + 3)?
True
Let z(s) be the second derivative of s**3/6 + s**2/2 + 2*s. Let v be z(13). Suppose y + v = 2*g - 232, g + 5*y = 112. Does 36 divide g?
False
Let j = -42 + 109. Suppose j + 93 = 5*h. Is 8 a factor of h?
True
Suppose 2*g - 8 = 2*t, 0 = t + 3*t - 16. Suppose -7*d + g = -3*d. Suppose -d*w + 5*w = 30. Does 8 divide w?
False
Let b be (-3)/(-1) + (-312)/(-13). Let r = b - 13. Suppose -r*g = -11*g - 141. Is 20 a factor of g?
False
Suppose 3*z - 3*i - 5394 = 0, -3*z - 36*i = -41*i - 5390. Is z a multiple of 75?
True
Is 121/(-2)*(-594)/27 a multiple of 11?
True
Is (-396)/528 + (-1499)/(-4) a multiple of 59?
False
Suppose -5412 = -4*v - 4*f, v - 887 = f + 464. Is 26 a factor of v?
True
Let c = -1878 - -3212. Is c a multiple of 19?
False
Suppose 2 = 2*a, -4*a + 0*a = -4*q + 1196. Is 10 a factor of q?
True
Let g(u) = -267*u - 489. Is 11 a factor of g(-4)?
False
Let o be ((-39)/9)/(4/(-24)*-2). Let i(w) = 2*w**2 + 13*w - 12. Is i(o) a multiple of 12?
False
Suppose 998 = 4*v - 2458. Does 36 divide v?
True
Suppose -353 = 3*s - 1382. Suppose 5*h - h + 5*y = 323, 4*h + y - s = 0. Is h a multiple of 17?
False
Let w(a) be the third derivative of a**6/120 - a**5/12 - a**4/6 + a**3/6 + 16*a**2. Is w(6) a multiple of 3?
False
Let z = -779 - -1168. Suppose -i - 65 = -4*c + z, -2*c + 2*i = -224. Is 19 a factor of c?
True
Is 56 a factor of 234/(-4)*((-58)/6 + 3)?
False
Let c(b) = b**2 - 13*b + 11. Let z be c(11). Let g = z + 94. Does 12 divide g?
False
Let s(d) = -d**3 + 9*d**2 + 9*d + 3. Does 4 divide s(9)?
True
Suppose -17303 = -24*x + 54697. Is 25 a factor of x?
True
Suppose 236*f - 235*f = 136. Is f a multiple of 17?
True
Suppose -2*z - 3*l + 8 - 3 = 0, 4*z - 4*l - 20 = 0. Suppose 0*c + 399 = z*p + 5*c, -2*c - 2 = 0. Does 12 divide p?
False
Suppose 0 = 4*d + 3*t + 16, 4*d = d - 4*t - 12. Let k = d - -20. Is 23 a factor of (-343)/(-5) + k/40?
True
Let r(i) = -i + 4 - 1 + 6 - 1. Let o be (-140)/18 - (-4)/(-18). Is r(o) a multiple of 16?
True
Suppose -4*g - 27 - 25 = 0. Let f = -4 - g. Is f a multiple of 2?
False
Let q = 107 - 53. Let x = -18 + q. Is 36 a factor of x?
True
Let r(w) = 3*w + 3. Let q(p) = 8*p + 10. Let s(y) = -4*q(y) + 11*r(y). Let j be s(3). Does 14 divide 668/16 + (-1)/j?
True
Suppose 3*c = -3*a - 27, 0 = -4*a - 3*c + 4*c - 16. Let k be 2 - -112 - (a + 3). Let w = -14 + k. Is 30 a factor of w?
False
Suppose -6 = -2*a + 2*z - z, 5*a - 2*z - 14 = 0. Suppose -2*c - 40 = 2*y, 0 = -3*