Does 4 divide a(-15)?
False
Let t be (-2)/(-6) + -10*15/18. Let z be -2*t/10*20/8. Suppose z + 20 = c. Is c a multiple of 8?
True
Let p be ((-2)/(-4))/(((-36)/(-32))/9). Suppose -4*u = -2*h + 456, -3*u - 88 + 1202 = 5*h. Suppose -4*f = p*f - h. Is f a multiple of 4?
True
Suppose s + 13 = 18. Let l(p) = 3*p**2 - 4*p - 11. Let d(v) = -6*v**2 + 9*v + 22. Let m(a) = s*l(a) + 2*d(a). Does 33 divide m(8)?
True
Is 3 - (-19)/((-95)/(-6820)) even?
False
Suppose 4*n = 21 - 1. Suppose 0 = -s - i + 85, -n*i = 20*s - 25*s + 375. Is s a multiple of 40?
True
Let x be (920/16 - -8)*-10. Let o = x + 903. Is o a multiple of 11?
False
Suppose q - 261 = 459. Suppose -m + q = m. Is (5/10)/(2/m) a multiple of 44?
False
Suppose -2320 = -7*s + 40520. Is s a multiple of 6?
True
Let h = 1395 + 177. Is h a multiple of 12?
True
Let w(o) = 30*o**2 - 10*o + 89. Does 22 divide w(4)?
False
Suppose 42134 + 903 + 16897 = 14*v. Is v a multiple of 4?
False
Let k be (-6 + 5 - -2)/(2/8). Let f be 410 - (1 - k)*1. Suppose -11*x + 2359 = -f. Does 17 divide x?
False
Suppose -5*l - 3*b = -2*b - 4396, -l + 4*b = -896. Let w = l + -442. Is w a multiple of 54?
False
Is 8 a factor of (-2 + (-88)/(-55))/(4/(-28160))?
True
Let l(d) = 39*d**3 + 6*d**2 + 3*d + 77. Is l(6) a multiple of 91?
False
Let n(l) be the second derivative of 18*l - 1/12*l**4 - 17/6*l**3 + 0 - l**2. Does 14 divide n(-9)?
True
Suppose 0 = -b - 1, 0 = 4*k + 2*b - 830. Let n = -46 + k. Is 6 a factor of n?
True
Suppose -5*x + 2386 = -99. Suppose -x = 9*q - 2954. Does 13 divide q?
True
Suppose 2*f = -3*n + 3, -13*f - 55 = -18*f + 2*n. Let j(b) = -b**3 + 14*b**2 - 18*b + 21. Does 24 divide j(f)?
True
Suppose t - 5*z = 17588, -z + 13357 = 2*t - 21841. Does 17 divide t?
False
Let q = 875 - 592. Is q even?
False
Suppose -182*o - 138*o + 575158 - 224118 = 0. Is 14 a factor of o?
False
Let j(v) = -v**3 - 7*v**2 + 16*v + 10. Let d be j(-7). Is 26 a factor of ((-54)/(-12) - 5)*(d + -2)?
True
Let w = 21 + -14. Let p be w*(5 + -5 + 6/14). Suppose 94 = 2*g + 2*u - 3*u, 0 = -p*g + 4*u + 151. Is g a multiple of 9?
True
Let s(m) = 527*m - 5114. Is 6 a factor of s(11)?
False
Suppose 81 = 4*z - a, 4*a - 8 - 28 = -2*z. Suppose 16*d = z*d - 696. Suppose -h + d = 67. Is h a multiple of 19?
False
Let a(h) = 11*h - 12. Let n be a(-6). Let o = -66 - n. Is o a multiple of 2?
True
Let j(p) = 3*p - 15. Let f be j(6). Is f*28 + 24/6 a multiple of 6?
False
Let y(s) = s**3 - 4*s**2 - 37*s + 144. Is y(0) a multiple of 2?
True
Suppose -3*a + 16 + 20 = 0. Let p(x) = 3 - 14 + a*x - 3 - 1. Is p(2) a multiple of 9?
True
Let o(l) = l**3 - 7*l**2 + 4*l + 14. Let f be o(6). Suppose 0 = n + k - 175, -f*n - 5*k = n - 525. Is 52 a factor of n?
False
Suppose -2*d = -4*d + 28. Let r(p) = -15*p - 24 + 41 + 18*p. Is 20 a factor of r(d)?
False
Let x(h) = h**3 - 57*h**2 + 16*h - 59. Does 101 divide x(57)?
False
Suppose -155*j + 83*j + 2027566 = 394*j. Does 19 divide j?
True
Suppose -1469*w + 1454*w = -47265. Is 13 a factor of w?
False
Suppose 31*q - 323478 = -4*q + 1287. Does 10 divide q?
False
Let w be 30/(-225) + (-2173)/15. Let t = 421 + w. Is t a multiple of 46?
True
Suppose 5*v = -18 - 17. Let f(k) = k**3 + 7*k**2 - k - 7. Let a be f(v). Suppose 0 = -a*c - 5*c + 360. Is c a multiple of 9?
True
Let c(t) = t + 8. Let d be c(-6). Suppose a = -4*a + q + 3, -d*a = 4*q + 12. Suppose -o + 61 = -p, 2*p - p + 1 = a. Is 20 a factor of o?
True
Is (-4)/(-32) - ((-9134)/16 - 3) a multiple of 14?
True
Let o be (-1)/(-21)*6*(16 + -2). Suppose g - 486 = -0*g + 3*x, 952 = 2*g + o*x. Is g a multiple of 15?
True
Suppose -3*d + 64 = -299. Suppose 0 = -2*g + 5*x + 440, 2*g - x - 440 = -0*x. Let m = g - d. Does 42 divide m?
False
Suppose 0 = 4*p + 4*w - 22388, -2*p - 57*w + 11197 = -52*w. Is p a multiple of 45?
False
Let s(r) be the second derivative of 0 - 12*r + 1/2*r**3 + 18*r**2. Does 3 divide s(-11)?
True
Is 12 - 7 - 19*-3 a multiple of 37?
False
Suppose -i - 4*s + 5283 = 0, -86*i + 89*i + s = 15904. Is 24 a factor of i?
False
Suppose -372*c = 31698 - 949050. Is c a multiple of 3?
True
Let o = -184 - -348. Suppose -3*v + o = 2*v - 2*f, -40 = -v + 4*f. Suppose -4 = -4*q, -j + 143 = -5*q - v. Does 30 divide j?
True
Let l(y) = -10*y**3 + 14*y**2 - 20*y + 10. Let d(w) = -23*w**3 + 27*w**2 - 39*w + 18. Let r(p) = 3*d(p) - 7*l(p). Let k = 24 - 8. Is 32 a factor of r(k)?
True
Suppose 2*j + 2*c - 29 = -3*j, 0 = -5*j - c + 32. Suppose 2*p = -j*p + 1674. Suppose b + 0*b + 5*r - 50 = 0, -3*r = -3*b + p. Does 12 divide b?
True
Suppose 2*y = -r + 2*r - 8, -y - 3*r = -3. Suppose -5*j + 18 = -3*j. Let c = j + y. Is 3 a factor of c?
True
Suppose 8 = 4*f, -3*k + 3*f - 835 = 293. Let d = k - -750. Is d a multiple of 11?
False
Suppose 0 = -3*v - 4 + 1. Let x(p) = 100*p**2 + 3*p + 2. Is 9 a factor of x(v)?
True
Let r be (-70)/28*8/(-10). Suppose 2*h - 103 = -r*v - 3*h, -5*v - 3*h = -229. Is v a multiple of 22?
True
Let z(t) be the third derivative of 34*t**5/3 + t**4/4 - t**3 - 181*t**2. Is 20 a factor of z(1)?
True
Does 275 divide (3 - -117)*(6/(-21))/(5/(-1743))?
False
Let s(w) = w**2 - 7*w + 1. Let x be s(8). Let z be 120/x + (-5)/15 + 0. Suppose -z*j - j + 168 = 0. Does 9 divide j?
False
Let l(v) = -v**3 - 8*v**2 + 2*v - 3. Let r be l(-5). Let g(i) = 6*i**2 - 97*i - 161. Let j be g(17). Let d = j - r. Is 2 a factor of d?
True
Suppose -8 = 3*l + b, 6*l + 3*b - 4 = 4*l. Is 15 - (l/(-4) + -2) even?
True
Suppose 186*a - 182*a = 936. Suppose -3*b = -366 - a. Does 20 divide b?
True
Let n(m) = -3*m**2 + 10*m - 6. Let j(f) = -f**2 + f + 3. Let b(w) = j(w) - n(w). Let h be (-2 + 4)/((-2)/(-6)). Is 9 a factor of b(h)?
True
Let h be -6980 - ((-26)/(-4) - 15/10). Does 11 divide (22/10)/((-11)/h)?
True
Suppose 5*f - 24314 = -4*x, 5*f - 6601 = -3*x + 11637. Is x a multiple of 49?
True
Suppose -56060 - 23578 = -6*q - 0*q. Does 13 divide q?
True
Suppose 0 = 4*x + 4*z - 3464, 563 + 1157 = 2*x - 4*z. Suppose 161*o = 155*o + x. Is o a multiple of 18?
True
Suppose -3*a = -4*f - 15358, 56*f - 60*f = 5*a - 25682. Is 38 a factor of a?
True
Let x(o) = 10*o + 11. Let g be x(2). Does 3 divide (-46)/713 - (-467)/g?
True
Suppose 0 = 2*m - 4*m + 1064. Let k = m - 280. Is k a multiple of 21?
True
Suppose 528 = 7*y + 26*y. Suppose -4198 - 8474 = -y*b. Does 36 divide b?
True
Let m(s) = -s**3 - 6*s**2 - 4*s - 5. Let y(g) = g**2 + 19*g - 49. Let a be y(-21). Is m(a) a multiple of 3?
True
Suppose 3*d + 26*d = -8*d + 172494. Is 7 a factor of d?
True
Suppose 175916 + 37816 = 28*m - 82004. Does 19 divide m?
False
Let d = -3316 - -3624. Is 7 a factor of d?
True
Let z(h) = -h**3 + 23*h**2 - 22*h + 2. Let o be z(22). Suppose o*n + 30 = n. Let f = n - -74. Is 39 a factor of f?
False
Let h be 24*(2/(-3))/(10/130). Let w be (-1173)/(-4) - 24/(-32). Let d = w + h. Is d a multiple of 4?
False
Suppose -2*k - 26598 = 2*y, -3*k + 2*y - 55865 = -15983. Let o be k/(-44) + -1*4/22. Suppose 0*q + o = 4*q + 5*t, 4*q = -t + 310. Is q a multiple of 26?
True
Let x = 74 + -441. Let o = x + 61. Is (o/(-72))/(2/48) a multiple of 17?
True
Let q = 640 + -388. Let a = 330 - q. Does 26 divide a?
True
Let s(o) = 11*o**2 - 21*o + 29. Let h(u) = 6*u**2 - 11*u + 15. Let f(k) = -5*h(k) + 3*s(k). Suppose -1 = i - 6. Is 14 a factor of f(i)?
False
Let n be (-4)/1 - (-19 + -3 + -3). Suppose -12*y = -n*y. Is 16 a factor of (y + -10)/(128/(-20) + 6)?
False
Let y(s) = 3*s**2 - 3*s - 2. Let z be y(-1). Suppose -4*v - 216 = -5*j - 0*v, -z*j = 5*v - 181. Is j a multiple of 5?
False
Let d = 6 - 9. Let x = 5 - d. Suppose 10*f = x*f + 8. Is 3 a factor of f?
False
Let d(w) be the third derivative of w**7/840 - w**6/360 - w**5/20 - w**4/8 - 2*w**3 + 11*w**2. Let q(p) be the first derivative of d(p). Is 11 a factor of q(5)?
False
Let i be 2 + (-5289)/(-15) - 2/(-5). Let q = 103 + i. Does 73 divide q?
False
Suppose 0 = -8*s + 16976 + 1960. Suppose 5*k - 898 = s. Does 7 divide k?
False
Suppose -166*s = -116*s - 124150. Is 50 a factor of s?
False
Let x be (20/(-24) + 2/6)*-4. Suppose 4*t + 2*d = -336, -3*t - t + x*d - 328 = 0. Let v = -47 - t. Does 4 divide v?
True
Let f be (-17 - (-3 - -7))/(9/(-2802)). Suppose 10*s = 132 + f. Is s a multiple of 29?
True
Suppose 0 = -63*v + 60*v + 15. Suppose -2*j + v*b = -32, 0 = 59*j - 61*j - 2*b + 32. Is 4 a factor of j?
True
Suppose 5*p = 3