 (-42)/k)*(-105)/(-6)?
True
Let p(b) = -b**3 + b**2 + b. Let s be p(2). Let r be (1/2)/(s/(-36)). Let k = r + 19. Is 7 a factor of k?
True
Let z(n) = -7*n - 32. Let c be z(-5). Suppose 268 = c*o + 52. Is 6 a factor of o?
True
Let u = 2152 + -864. Does 23 divide u?
True
Let q = -391 - -779. Is q a multiple of 43?
False
Let b be (15/20)/(1/(-8)). Let v(f) = -f**3 - 6*f**2 + f + 6. Let i be v(b). Does 10 divide (i + -2)/((-3)/15)?
True
Suppose -5013 = -5*g + 9447. Is g a multiple of 25?
False
Let r(z) = 2*z**2 + 9*z - 4. Suppose 0 = 2*w - 0*w + 46. Let d = w + 16. Is 13 a factor of r(d)?
False
Suppose j + 5*t - 7 = -2*j, 5*j - 25 = 5*t. Suppose -53 = -a - j*y + 4, 2*a - 2*y - 144 = 0. Is 50 a factor of a?
False
Let o(c) = -7*c + 208. Does 2 divide o(13)?
False
Let o = -34 - -36. Suppose o*g = 6*g - 280. Is g a multiple of 14?
True
Let h be 3*(-3)/(-9) + 2 + 0. Suppose h*i - 5*i + 64 = 0. Is i a multiple of 8?
True
Suppose 1693 = 11*u + 54. Let d = 233 - u. Does 21 divide d?
True
Suppose -5*s + s + 3581 = -p, 5*p + 1795 = 2*s. Does 34 divide s?
False
Suppose -a - 101 + 519 = 0. Is a a multiple of 19?
True
Does 6 divide (-3)/(-3)*(-2)/4*-180?
True
Let f = -658 - -826. Does 28 divide f?
True
Suppose 0 = 6*x - 3*x - 90. Suppose c = 4*c + x. Let g(u) = u**3 + 9*u**2 - 11*u + 9. Is g(c) a multiple of 9?
False
Let c = 1210 - 628. Is 35 a factor of c?
False
Let m(t) = -8*t**3 + 7*t**2 + 6. Let r(d) = 15*d**3 - 15*d**2 - d - 13. Let n(f) = -9*m(f) - 4*r(f). Does 10 divide n(2)?
True
Let r(y) = 2 - 1 + y + 4 + 3. Does 8 divide r(16)?
True
Suppose 2*c + 146 = x + c, -3*c + 267 = 2*x. Does 33 divide x?
False
Let x(z) = 7*z - 4. Let r be x(2). Suppose 0 = -14*l + r*l + 100. Is l a multiple of 25?
True
Suppose -10 = 5*q - 4*y, 5*q + 3*y = -0*y + 25. Suppose q = m - 0. Suppose m*j = 4*j - 138. Does 23 divide j?
True
Suppose -20*s - 2100 = -6*s. Let b = -111 - s. Is 13 a factor of b?
True
Suppose -264*f - 274 = -266*f. Is 18 a factor of f?
False
Suppose -52*h = -30*h - 6160. Is h a multiple of 8?
True
Let a = -1378 + 3106. Is 64 a factor of a?
True
Suppose 10 + 13 = -5*u + 2*t, 0 = -2*t + 8. Let f be 46/4 - 1/2. Let n = f + u. Is n a multiple of 8?
True
Let s = 30 + -57. Let x be 36/s*33/2. Is 22 a factor of (x/1)/((-3)/9)?
True
Let q(y) = -63*y**3 + y**2 + 11*y + 3. Let p be q(-3). Suppose 113*g = 118*g - p. Is 14 a factor of g?
True
Suppose y + 2*y + 4*p = -19, 3*y - 2*p - 5 = 0. Is 6 a factor of ((-42)/y)/(1 - 0)?
True
Let o(j) = j**2 - j + 11. Let v(d) = -d. Let y(x) = o(x) - 4*v(x). Let b be 4*(-25)/80*4. Is y(b) a multiple of 7?
True
Suppose 0 = -30*u + 31*u. Suppose 2*m + 2*m = -3*w - 7, -3*m - 12 = u. Suppose -2*c + 39 = w. Does 18 divide c?
True
Suppose -2*b = -3 - 5. Suppose -b*w + 4 = -2*w. Is 19 a factor of 57 - w/(-8)*0?
True
Let y be ((-18)/(-10))/(1 - (-14)/(-20)). Suppose 2*j = y*j - 16. Is j a multiple of 3?
False
Suppose 20 = 4*g - 16. Suppose 44 - g = t. Suppose -b + t - 5 = 0. Does 30 divide b?
True
Suppose -a + 2*d - 2 = 0, 9*a - 12 = 4*a - d. Suppose 0 = -a*x - 5*f + 89, -3*x + 4*f = -26 - 73. Is 7 a factor of x?
False
Suppose -5*y - 360 = -15*y. Does 18 divide y?
True
Is 9786/9 + 8/(-12)*-1 a multiple of 11?
False
Let h(f) = -4*f**3 + f + 1. Let p(x) = x + 1. Let u be p(-2). Let c be h(u). Is (9 + -7)*58/c a multiple of 13?
False
Suppose -18 = 6*q - 36. Let v(c) = 14*c**3 + 4*c**2 - 5*c - 3. Does 18 divide v(q)?
True
Let w(q) = -18*q - 2. Let m(h) = -h**2 + 7. Let r be m(3). Is 15 a factor of w(r)?
False
Suppose -l + 2*g + 57 = 0, 0*g + 2*g = -2*l + 102. Suppose -196 = l*m - 55*m. Does 20 divide m?
False
Let w = -6 + 86. Suppose 4*r + 4*l = w, -2*r + 5*l + 31 = -44. Let t = r + -18. Does 7 divide t?
True
Let t = -244 - -504. Is t a multiple of 7?
False
Let g be (1 - 8/(-3)) + 71/213. Suppose 104 = -0*r + g*r. Does 26 divide r?
True
Let n = -6008 + 10388. Is 146 a factor of n?
True
Suppose -z + 3*f + 15 = 0, 4*z + f + 0*f - 47 = 0. Let j = z - 3. Does 2 divide j?
False
Suppose -5*n - 5*x + 2810 = 0, -2*n - 4*x + 1128 = -0*n. Suppose n = 7*t - 3*t. Is t a multiple of 12?
False
Let z(f) = -3*f**3 - f. Suppose 1 = -0*h - h. Let t = h - 1. Does 14 divide z(t)?
False
Let d = -1278 + 1422. Is d a multiple of 48?
True
Suppose 0 = -3*x - 8*h + 9*h + 4771, 4*h + 1583 = x. Does 53 divide x?
False
Suppose -u + 4*n = -2712, 4*u = 2*n + 3*n + 10892. Does 22 divide u?
True
Does 7 divide 884/7 - (-96)/(-336)?
True
Let t(w) = 155*w + 120. Is t(7) a multiple of 5?
True
Let h = 1 - -3. Suppose -f = -3*g - 54, -5*f - 5*g + 70 = -h*f. Suppose -k + 3*k - f = 0. Does 15 divide k?
True
Suppose 12 = -k + 2*d, -5*k - 9 = -2*k + 3*d. Let l(a) = -a**3 + a**2 + 14*a + 1. Does 8 divide l(k)?
False
Let h = 24 - -44. Suppose 2*a + 3*a = -10, w - 2*a - h = 0. Suppose -i = 2*j - 4*i - 155, -j - 3*i = -w. Is 19 a factor of j?
False
Is 5 + (-2)/(-14) + 4632/14 a multiple of 12?
True
Is 14 a factor of (-13)/(39/(-180)) + 3 + -7?
True
Is 18 a factor of (-21)/(-14)*1992/9?
False
Suppose 2*l - 12 = -l. Suppose 4*d = -4*b - 4, -4*d - 3*b = l - 1. Suppose z - 41 = -5*x, -2*x - 5*z + 2*z + 19 = d. Is x a multiple of 8?
True
Suppose 4*p - 3*i = -216, -p - 3*i - 54 = -0*p. Let c = p + 94. Is 20 a factor of c?
True
Suppose -109*w = -105*w - 3052. Is 59 a factor of w?
False
Suppose -4*a + 4*z = 0, 1 = -4*a + 5*z - 4. Suppose -a*m = -3*m - 16. Suppose -f = -d - 22, -f - m = 4*d - 50. Does 14 divide f?
False
Suppose -n - 14 = -34. Let w(g) = -g**2 - 10*g + 2. Let l be w(-10). Suppose -l*c + c = -n. Does 10 divide c?
True
Let w(t) = -23*t**3 + 3*t**2 - t + 1. Let q be w(2). Suppose -6448 = 11*x - 37*x. Let u = x + q. Does 25 divide u?
True
Let u be 10*(2*(-2)/(-8))/1. Is 12 a factor of u/(5/(-132))*3/(-6)?
False
Let g be -2 + 3*(9 + -5). Suppose -h + g = 5*s, 0 = -3*s - 5 - 7. Does 5 divide h?
True
Let i = 392 + -213. Is i even?
False
Let n = -300 - -180. Let s = n + 168. Does 16 divide s?
True
Suppose 0 = -4*a - a - 2*m - 6, -4*m = a + 12. Suppose 0*w + 2*w = a. Suppose 0*l + 50 = p - 4*l, 4*p + 5*l - 95 = w. Is p a multiple of 10?
True
Let k(v) = 4*v - 2. Suppose -4*j + 5*d = -10, -3*j - 2*j = -2*d - 21. Let a be k(j). Suppose -g - z = -16, 4*g - 5*z = 2*g + a. Is 14 a factor of g?
True
Let g = 2113 + -1505. Is g a multiple of 4?
True
Does 68 divide (-17)/(-51) - 3984/(-9)?
False
Let c = -56 + 95. Let b = -36 + c. Suppose f - 96 = -b*f. Is 9 a factor of f?
False
Suppose -10*y = -12*y + 248. Is 31 a factor of y?
True
Let c be 3 - (-5)/(10/(-4)). Let q be (c - 3)*13/26. Is (-6)/(-3) - 64/q a multiple of 11?
True
Let r(k) be the second derivative of k**4/4 + k**3/2 + 3*k**2 - 8*k. Is 4 a factor of r(-3)?
True
Let v be (136/(-12)*-1)/((-2)/(-3)). Let h(s) = s**2 - 13*s + 2. Is h(v) a multiple of 10?
True
Suppose 22 = 3*a - a. Suppose 5*q = q + 5*b + 3, 3*b = -4*q + a. Suppose -q*n + 10 = -n. Is 5 a factor of n?
True
Let r = 23 - 20. Is 11 a factor of -1 - -31 - (-9)/r?
True
Let s(j) be the third derivative of -j**4/24 + 20*j**3/3 + 11*j**2. Is s(19) even?
False
Suppose -526 = -7*u + 678. Is u a multiple of 8?
False
Let v(c) = 108*c + 1 - 105*c + 2. Suppose 4*b = -3*k + 59, 4*b - 7*k + 2*k - 19 = 0. Does 8 divide v(b)?
False
Suppose 3*p = 24 - 234. Does 17 divide (-4250)/p + (-2)/(-7)?
False
Suppose -2*t = -0 - 6. Does 28 divide 5280/50 - t/((-15)/2)?
False
Suppose -5*g = 4*i - 1229, 5*i - 3*g + 321 = 1848. Is i a multiple of 17?
True
Let g be 4/(0 - -3 - 1). Suppose 3*f = g*f + 17. Suppose k = f + 1. Is 7 a factor of k?
False
Let u be ((-2)/4)/((-4)/40). Suppose -2*n + 2*c - 5 = u*c, n + 5 = -2*c. Suppose 4*r + 80 = m - 6, 0 = -3*m + n*r + 223. Is 22 a factor of m?
True
Let j(z) = -41*z + 309. Is 9 a factor of j(6)?
True
Let z = -680 + 704. Is z a multiple of 5?
False
Suppose 596*r - 597*r = -1696. Is r a multiple of 8?
True
Suppose 688 = h + 3*h. Let u = 367 - h. Suppose 5*c + 3*w - u = 0, 0*c + 4*w - 92 = -2*c. Is 12 a factor of c?
True
Suppose 5*r - 11 = 4. Suppose 3*x = -s + 199, 3*s = -x - 2*s + 43. Suppose -f - r*f = -x. Is 14 a factor of f?
False
Suppose -5*j - 5*k + 1975 = -2*k, 5*k = -2*j + 771. Let o = j + -222. Is o a multiple of 22?
True
Let h = 1193 - -181. Does 49 divide h?
False
Suppose -5*n - 8 = 2. Let l(p) = -p**3 - 12*p**2 - 10*p - 10. Let q be l(-11). Does 13 divide