. Suppose 3 = -z + q. Is z a multiple of 2?
False
Suppose -2 = 201*b - 200*b. Let x(l) = 10*l**2 + 2*l - 1. Does 14 divide x(b)?
False
Suppose -2*r - 2*r + 342 = -5*h, 3*h + 212 = -r. Is 39 a factor of 10/h + 17454/21?
False
Let t(s) = -1564*s + 6189. Is 13 a factor of t(-6)?
False
Suppose 45*n = 52*n - 5740. Let u = n + -750. Is u a multiple of 2?
True
Suppose 2*b + 139 = 17. Let r be -6*-4*33/9. Let s = b + r. Is 19 a factor of s?
False
Suppose -3*d + 31 = -2. Suppose -d*n - 3172 = 2*n. Does 35 divide -4 + (2 - -3 - n)?
True
Suppose 4*t - 2704 = n, -t - 4*n = 247 - 940. Does 15 divide t?
False
Let g(f) = -f - 28. Let j(h) = -3*h - 56. Let r(a) = -5*g(a) + 2*j(a). Suppose 2*v + c = -35, 0 = 5*v - 6*c + 9*c + 85. Does 5 divide r(v)?
False
Let o(l) = -58*l**3 + 9*l**2 + 8*l + 1. Let q be o(-3). Suppose -15*u - 33 = -18*u. Suppose u*a + 3*a = q. Is 25 a factor of a?
False
Suppose -61*y + 68*y = -2212. Let a = y + 450. Is a a multiple of 6?
False
Suppose c - 8902 = -2*w, 47 - 39 = -4*c. Is 28 a factor of w?
True
Let o = 49 - 45. Let s be ((-15)/(-3) - o) + 7. Let q = s + 11. Is 4 a factor of q?
False
Let y = -19977 + 37851. Is 109 a factor of y?
False
Let v(m) = -9*m**2 + 11*m. Let g(w) = 4*w**2 - 5*w. Let k(o) = 13*g(o) + 6*v(o). Let u be k(1). Is 13 a factor of u/(1/5)*-16?
False
Let a(w) = 3*w**2 - 43*w + 17. Let j be a(14). Suppose 5*k + j*q = 7*q + 836, -4*k - 3*q = -644. Is k a multiple of 26?
False
Let o(g) = 2*g - 13. Let k be o(7). Let j be k*((-21)/(-35) - 4/(-10)). Is 34 a factor of (-6*23*j)/(-1)?
False
Let v be -5 + -171 - (1 + -2). Let k = v + 338. Is k a multiple of 17?
False
Let u be -135*2 + (9 - 6). Let i be 3001/7 + (-4)/(-14). Let g = i + u. Is g a multiple of 40?
False
Does 19 divide 0/1 + (-1)/((-6)/48276)?
False
Is 6 a factor of (1551/(-55) - -9)/(4/(-150))?
True
Let o = -6059 + 9557. Is 33 a factor of o?
True
Let j = -6322 + 10631. Is j a multiple of 31?
True
Let z(v) = -13*v + 149. Suppose -3*s = 2*s + 16*s. Does 15 divide z(s)?
False
Suppose 5501*l = 5502*l - 8953. Is l a multiple of 8?
False
Suppose 3*p - 56 = -11. Let z be 40/3*p/10. Suppose -80 + z = -a. Is 15 a factor of a?
True
Suppose -14*d = 18*d - 361535 + 85727. Is 12 a factor of d?
False
Suppose -13*z + 14*z = q + 31320, 4*z = 2*q + 125290. Does 35 divide z?
True
Let m(b) = 9*b**2 - 2*b - 6. Let h be m(-2). Let c = h + -32. Suppose -g + 12 = -c*x + 4*x, 2*x - 24 = 2*g. Is x a multiple of 8?
True
Suppose 190 = -4*i + 42*i. Suppose 0 = -4*f + i*q + 549, -q = -7 + 8. Does 4 divide f?
True
Suppose -3385 = 16*f + 7063. Let l = -476 - f. Is l a multiple of 3?
True
Let r be ((-3)/9)/((-1)/69). Suppose -5*m + 535 = -1055. Suppose r*h - 29*h = -m. Is 12 a factor of h?
False
Let o(y) = -3*y**3 - 20*y**2 - 10*y - 252. Let q(s) = -s**3 - 6*s**2 - 3*s - 84. Let m(c) = 2*o(c) - 7*q(c). Is 14 a factor of m(0)?
True
Let g(c) = -c**3 - 16*c**2 - 10*c - 18. Is 177 a factor of g(-20)?
False
Suppose -6*h = -4*h. Let i be h*1/(-4)*2. Suppose -a - 4*k + 2 = -5, -5*a + 5*k + 135 = i. Is a a multiple of 13?
False
Suppose 2*w - n = 12, 3*n = 2*w - 4*w - 4. Suppose -w*d - 3*d = -693. Is 9 a factor of d?
True
Let p(v) = v**2 - 4*v - 1. Let j be p(5). Suppose 6*o = j*o + 100. Suppose -u - i + 0*i = -26, -o = -u + 5*i. Is 3 a factor of u?
True
Suppose -125*n + 119*n + 192 = 0. Let h = n - -196. Does 12 divide h?
True
Suppose 0 = o - 71 + 68. Let s be -2 + -2 + 4 - -2. Suppose -4*b - s*y = -74, 2*b - 7*b + 65 = -o*y. Is 4 a factor of b?
True
Suppose g = -4*s + 74328, -4*s + 0*g + 74304 = -2*g. Does 63 divide s?
False
Let l be 6 - (6 + -8 + 4). Suppose -l*y - 2*o + 11 = -3*y, 2*y + 2 = 4*o. Is y a multiple of 5?
True
Let t = 530 + -574. Let d = 16 + -24. Let j = d - t. Is 15 a factor of j?
False
Let j be 960/((-16)/20 - (-26)/20). Is 4 a factor of 1/(-3) - 13/((-117)/j)?
False
Let z be (15/5 - 0) + -3. Let h be z/((0 + 3)/3). Is 2 - -1 - 894/(-6 + h) a multiple of 12?
False
Let c be -3*1/(-6)*2. Does 83 divide 5 - -3 - -153 - c*-5?
True
Let o be ((0 - 3) + 4)*5. Let z = 1279 + -1275. Suppose -l = -z*r - 28, -5*l = -2*l + o*r - 118. Does 6 divide l?
True
Suppose 5*b - o = -5, -8*b + o - 2 = -6*b. Let n(q) = 325*q**2 - 2*q - 1. Let d be n(b). Suppose -c - 4*j + 100 = -55, -2*c - 4*j + d = 0. Does 14 divide c?
False
Suppose -131 = -i - 57. Let o = -45 + i. Does 29 divide o?
True
Let y(a) = -7*a**3 - 2*a**2 - 2*a - 1. Let q be y(-1). Let w = q - 23. Let c = 37 - w. Is c a multiple of 18?
True
Suppose 10*w = 2699 + 2351. Suppose y = -3*m + 249, -2*m = -2*y - m + w. Is 4 a factor of y?
True
Suppose 31*v - 546700 = -7*v + 65366. Is 7 a factor of v?
True
Let q(u) = 4*u**2 - 10*u + 60. Suppose 4*i - r = 27, 5*r + 1 = -i - 8. Is q(i) a multiple of 8?
True
Let u be 2/2 + (27 - 1). Let y be (-3)/(-5) - 5/(75/(-6)). Is u/y + 7 + -8 a multiple of 13?
True
Suppose 4*m + 20 = 0, 0 = 4*h - 9*h + 3*m + 685. Let a = h - 65. Is a a multiple of 23?
True
Is 8435 - -14*(6 + -7) a multiple of 15?
False
Suppose 0 = 11*t - 3757 - 4361. Suppose -y = -34*z + 37*z - t, z + y = 246. Is 6 a factor of z?
True
Let s(u) be the first derivative of -u**7/840 - u**6/45 + u**5/15 - 16*u**3/3 + 1. Let i(z) be the third derivative of s(z). Is 5 a factor of i(-9)?
False
Let c(s) = 8*s - 8. Let w be c(-3). Let v be (3/18)/((-1)/3)*w. Suppose -3*o + 40 = 3*g + v, -3*o = -5*g + 16. Is g a multiple of 2?
False
Suppose -27*m = -28503 - 831366. Is 121 a factor of m?
False
Suppose 20 = 6*i + 8. Suppose -3*y + 2*d = -i*d - 943, 2*y = 5*d + 617. Is y a multiple of 54?
False
Is 6 a factor of 4/(-24)*(2 - (1 + 16195))?
False
Suppose 5*o + 3*b - 44262 = 0, -34*o + 32*o + 17711 = -5*b. Is 13 a factor of o?
True
Suppose 663380 = 41*y + 173061. Is 264 a factor of y?
False
Suppose 6*b + 4*k - 5980 = 0, -367*k - 1026 = -b - 364*k. Is b a multiple of 15?
False
Suppose 2*l = 3*w - 5277, 679*l - 676*l = 9. Is 11 a factor of w?
False
Let h be ((-100)/15 - 0)*-6. Suppose 44*w - 912 = h*w. Does 19 divide w?
True
Let l be 18/2 + (5 - -14666). Suppose l = 15*w - 3140. Is w a multiple of 18?
True
Let o = -82511 + 134985. Is 14 a factor of o?
False
Suppose 0 = -2*t + 10, 3*l - t = -430 - 121. Let b = l - -262. Is b a multiple of 5?
True
Is 45 a factor of (-30)/(-1)*(37350/15)/10?
True
Let m = -1122 + 6052. Is m a multiple of 46?
False
Let w(z) = z**2 + 9*z + 6. Let r be w(-9). Suppose 2*s + 1389 = -a + r*a, a = -4*s + 269. Is 7 a factor of a?
False
Let t(i) = 42*i**2 - 3*i + 3. Let d(q) = -2*q**2 + 20*q + 49. Let h be d(12). Does 3 divide t(h)?
True
Suppose 3*p - 26 = -2*u, -u + 2*p = -3*u + 28. Suppose 24*n - 1600 = u*n. Is n a multiple of 10?
True
Suppose -3*w + 4*h = -31, -2 = 3*w + 2*h - 27. Suppose 12*d = -w*d - 2184. Let o = 300 + d. Is o a multiple of 11?
False
Let l(j) be the first derivative of -j**4/4 + 11*j**3 - 29*j**2 - 74*j + 79. Is l(31) a multiple of 3?
False
Suppose 13*o = 33*o - 240. Suppose -34251 = -o*t - 9*t. Does 10 divide t?
False
Let t(v) = -2*v**3 + 95*v**2 + 53*v + 280. Is t(47) a multiple of 60?
True
Is 10 a factor of 15/(-25) + (-2)/(-6) + (-104570)/(-75)?
False
Let x be (-2)/6 + 10616/24. Suppose -4*s = -2*f + x, 2*f - 7*s = -2*s + 444. Is f a multiple of 6?
False
Let o(d) = 7*d**3 + 7*d**2 + 27*d + 59. Let m(p) = 3*p**3 + 3*p**2 + 13*p + 29. Let x(v) = -5*m(v) + 2*o(v). Is 17 a factor of x(-6)?
False
Let o = 22 + 133. Suppose 152*b + 201 = o*b. Does 14 divide b?
False
Suppose -5*o = -t + 16937, 0 = -54*t + 57*t + 5*o - 50751. Is t a multiple of 23?
False
Suppose s - m = -4642 + 31460, 80426 = 3*s + 4*m. Is s a multiple of 82?
True
Let t(r) be the first derivative of -2*r**3/3 - r**2 - 14*r - 13. Let o(k) be the first derivative of t(k). Does 15 divide o(-5)?
False
Is ((-29)/1)/((-141)/(-36) - 4) a multiple of 29?
True
Suppose 0 = -o + a - 6 - 75, -2*a = -4*o - 324. Let l = -64 - o. Suppose -1152 = -23*s + l*s. Does 32 divide s?
True
Let r be (1*222/(-9))/(86/(-387)). Suppose -119*a = -r*a - 1632. Is a a multiple of 12?
True
Let z(v) be the third derivative of v**6/120 + v**5/4 + v**4/4 - 5*v**3/6 - 20*v**2. Let i be z(-9). Let k = i + -227. Is k a multiple of 20?
True
Is ((-279424)/(-320))/(3/15) a multiple of 86?
False
Suppose -296*u + 332*u - 33840 = 0. Is u a multiple of 9?
False
Let r = -385 - -569. Let s = r + -83. Is 