Let a be (-4 + -35)/(9/d). Let b(f) = -f**2 - 29*f - 41. Is b(a) a multiple of 21?
False
Is (9 + 1)*1153/1 a multiple of 39?
False
Let p = 3018 + -2123. Let m = p + -576. Is 29 a factor of m?
True
Let j(k) = 603*k**2 - 32*k + 10. Does 22 divide j(-2)?
True
Suppose -5*u = -4*t - 285 - 95, 2*t + 298 = 4*u. Suppose u*a + 2 = 74*a. Suppose -g - a + 10 = -4*o, 2*o = -g + 39. Is g a multiple of 2?
False
Suppose r - 2*h - 2267 = 0, 8 = -317*h + 319*h. Is 5 a factor of r?
True
Let m(x) = 2*x + 29. Let g be m(7). Let a = -43 + g. Let o(t) = t**3 + t + 86. Is 12 a factor of o(a)?
False
Suppose -j = 4*q - 0*j - 3, 6 = 2*j. Let r be ((-95)/57)/((-5)/18). Suppose -5*c - 383 = -2*k, q = -k + 3*c - r*c + 186. Does 31 divide k?
False
Let y be 234/90 + (-6)/10. Suppose 3*s - 4 = -g - 8, y*s - 3 = 5*g. Does 14 divide 4/6*(0 - (-58 - s))?
False
Suppose 0*n = 5*n - d, 3*n = -2*d. Let k be (n/3 - -4) + (-1 - -1). Suppose 0 = k*r - 368 - 8. Is 9 a factor of r?
False
Let r(q) = -9*q**3 - 19*q**2 - 25*q - 66. Let s(d) = d**3 + d**2 - 2. Let p(h) = r(h) + 3*s(h). Is 86 a factor of p(-6)?
False
Let i = 22087 + -11496. Is i a multiple of 91?
False
Let w be 923/104 + (-2)/(-16). Suppose p = w*p - 1360. Is p*(8/20 - 0) a multiple of 10?
False
Suppose -4*i + 3*i = 89. Let r = 79 + i. Does 11 divide (336/r)/(-3)*35/2?
False
Let t be ((-62)/155)/((-2)/15). Suppose -4*f + 5*g + 32 = -t*f, -2*f + 2*g = -48. Suppose -644 = -f*x + 20*x. Is x a multiple of 37?
False
Let n(i) be the first derivative of i**4/4 - 8*i**3/3 + i**2 + 5*i + 12. Suppose -2*a + 2*u - 3*u + 15 = 0, -3*a + u + 30 = 0. Does 26 divide n(a)?
True
Let a be 183 - 184 - 2/(1 + -3). Let j(i) = -i**2 + 20. Is j(a) a multiple of 5?
True
Let p(n) = -2*n + 5. Let k be p(-8). Is 616/k*6/4 a multiple of 5?
False
Suppose 11 + 9 = 10*y. Let i be (74*3 - -2)*1/y. Suppose -4*d + i = -428. Is d a multiple of 25?
False
Is 8 a factor of (-65)/(-39)*450 + -6?
True
Let d(u) = 20*u**2 + 39*u + 411. Is 11 a factor of d(-11)?
False
Let k be 85 + -6 + 1/1. Let t(z) = z + 2. Let q be t(0). Suppose -q*l + 6*l - k = 0. Does 20 divide l?
True
Does 11 divide 578*((-12)/(-8) + -1) + -10 + 7?
True
Suppose 28*d - 505783 + 28327 = -d. Is d a multiple of 56?
True
Let b(c) be the first derivative of 7*c**2/2 - 9*c - 5. Let l be b(9). Suppose 7*j - l = j. Does 9 divide j?
True
Let w be 15865/10 + (-6)/(-4). Suppose -585 = 17*n - w. Does 14 divide n?
False
Let m be ((-992)/6 + -6)*-15. Let n = -1516 + m. Is 17 a factor of n?
True
Let m(x) = 4*x**2 - 3*x + 4. Suppose 8*b + 116 = 5*k + 4*b, 125 = 5*k + 5*b. Suppose -4*v - 3*p + 28 = 0, 0 = 2*v + 3*p + p - k. Is m(v) a multiple of 8?
True
Let m = -2293 + 4357. Is m a multiple of 48?
True
Suppose 44 = -3*x - 58. Let c = 696 - 888. Let u = x - c. Is u a multiple of 13?
False
Suppose 31 = 7*u + 10. Is 24 a factor of (-3)/(-9) - -20*43/u?
False
Let m(i) = 76*i**2 + 71*i - 22. Is 13 a factor of m(3)?
False
Let b(i) = -i**2 + 142*i + 2371. Does 11 divide b(73)?
False
Suppose -4*w + 0*w + 16 = 0, 4*w - 24 = -4*i. Suppose i*l = 3*m - 248 - 2048, 3*l - 3084 = -4*m. Suppose 0 = 5*q + 3*q - m. Is q a multiple of 8?
True
Let s(c) = c**2 + 12*c - 13. Let t be s(-13). Suppose -2*o - 2*o = p - 180, t = 2*p - 8. Let w = 12 + o. Does 8 divide w?
True
Let r(v) = -v**3 + 13*v**2 + 3*v + 29. Let s be r(13). Is 4 a factor of ((-1)/(-2) - 34/s) + 147?
False
Suppose -u + 5*u - 4 = -t, -4*u + 4 = 3*t. Suppose 0 = -o - t*o + 3. Suppose 3*s + p = 362, -6*p = -o*s - 3*p + 378. Does 35 divide s?
False
Suppose 11*x - 18*x = 3017. Let z = -356 - x. Is 25 a factor of z?
True
Suppose v = -0*v - 18. Let w be 5/(-20) + (v/(-8) - -3). Suppose 4*g = -5*i + 457, -154 = -w*g - 4*i + 406. Does 9 divide g?
True
Suppose -o = -4*o + 18*o. Suppose 4*l - 2208 = -z + 2*z, o = -5*z - 20. Is 61 a factor of l?
False
Let p = 29 + -25. Suppose -6*o + p*o + 1226 = 4*d, -2*d = -3*o - 601. Does 61 divide d?
True
Let h(f) = 8*f**2 - 37*f**2 + 9*f + 1 + 11*f + 15*f**2 + f**3. Is 43 a factor of h(13)?
False
Let f(w) = -3907*w - 3062. Is f(-6) a multiple of 181?
False
Suppose 38*y + 13*y = -0*y + 398361. Is 7 a factor of y?
False
Let q(f) = 2*f - 16. Let x be q(8). Suppose -3*o = 5*h - 161, 2*h + 4 = -x*h. Let c = o - 30. Is c a multiple of 27?
True
Let i(y) = 3*y**2 - 69*y + 60. Let d be i(29). Let k = d - -6. Is k a multiple of 21?
True
Let h = -1744 - 535. Does 14 divide (h/159)/(1 - 224/222)?
False
Suppose 51*x + 13792 = 55*x. Is x a multiple of 5?
False
Let y(h) = 311*h**2 - 61*h - 10. Is y(4) a multiple of 6?
True
Let n(q) = 5*q**2 + 8*q + 2. Let v be n(3). Suppose 43 = 4*r - 3*m, -5*r + 6 = 4*m - v. Is 2 a factor of r?
False
Suppose -2*h = -4*a + 7022, -4*h = 60*a - 58*a - 3536. Is 20 a factor of a?
False
Suppose 119584 + 76256 = 160*i. Is i a multiple of 100?
False
Suppose -13 = 8*b + 3. Let w(u) = 9*u**2 + 6*u + 3. Does 27 divide w(b)?
True
Let n be 1/(-3 + (-10)/(-3)). Let p(v) = 53*v**2 - 28*v**2 - 5 - 24*v**2 - v**n - 3*v. Is p(-3) a multiple of 4?
True
Let a(b) = b**3 - b + 9. Let n be a(-4). Let t = 48 + n. Does 8 divide 59 + t*16/(-12)?
False
Let d(l) = 8*l**3 - l**2 - 11*l - 2. Let m(r) = -r**3 - r**2 + r + 1. Let s(p) = d(p) + 6*m(p). Let u be s(6). Suppose -5*h - 64 = -u. Does 6 divide h?
True
Let j(f) = f**3 + 5*f**2 - 12*f + 16. Let i be j(-7). Suppose -5*n - 61 + 221 = 3*a, -i*a = 2*n - 100. Is a a multiple of 2?
False
Let a be ((-2 - -17)/(3/(-4)))/(-2). Let d(q) = 20*q - 141. Is 5 a factor of d(a)?
False
Let z(q) = -2*q**3 + 20*q**2 + 2*q - 17. Let i be z(10). Let j be 5/(-5) + 2 + -1. Suppose -i*m - 67 = -y - 6*m, j = -2*y + 5*m + 90. Is 22 a factor of y?
False
Is 9 a factor of 729*(-19 - (19 - 49))?
True
Let i(d) = 2*d + 2. Let c be i(-1). Suppose -4*u + 36 + 20 = c. Suppose -u*s + 15*s = 121. Is 11 a factor of s?
True
Suppose -3*z + 4*h = -3614, -8*z + 2*h - 1188 = -9*z. Does 13 divide z?
False
Suppose 2951 = -4*o + 5*o - 5*k, -5*o + 14865 = -3*k. Does 32 divide o?
True
Let r(y) = -12*y**3 - 11*y + 14 + 28*y - 7*y**3 + 17*y**2 + 20*y**3. Is 55 a factor of r(-7)?
True
Is ((23 - -8) + -19)*((-5470)/(-8) - -1) a multiple of 190?
False
Suppose -9 = -5*i + 6. Suppose -5*b = 543 + 132. Is b/(-3) - (i + 0) a multiple of 14?
True
Let a(z) = -z**2 - 9*z + 3. Let d be a(0). Suppose -5*c + 247 = d*b, 2*c + 4*b - 46 = c. Is c a multiple of 6?
False
Let g(m) = -69*m + 9. Let n be g(-6). Let l = n - 207. Suppose 7*f - 204 = l. Does 6 divide f?
True
Suppose 2300 = 4*n - 1356. Is n a multiple of 10?
False
Let r = 3758 + 1364. Is r a multiple of 19?
False
Suppose d + 83 = 81. Let n be 6*d/16 + 1631/4. Suppose 0 = 5*m - n - 793. Does 15 divide m?
True
Suppose -49*p + 1764 = -43*p. Let g = -174 + p. Does 10 divide g?
True
Let t(g) = -g**3 + g**2 - 7*g - 17. Let k be t(7). Let n = k - -592. Is 29 a factor of n?
True
Let i be (-2 + 6)*((-513)/(-36))/19. Suppose -4057 = -5*x - 3*o, -x - 1621 = -3*x - i*o. Is 14 a factor of x?
True
Let n = -2400 - -2409. Let r(o) = 4*o - 19. Let p(d) = -d. Let x(t) = -4*p(t) + r(t). Does 11 divide x(n)?
False
Suppose 0 = 5*s - 5*j - 6 + 11, -5*s = 3*j + 45. Does 8 divide 3/s*-3*1984/24?
False
Let x = -112 + 359. Suppose x = 4*n - 5*a, a - 4*a - 312 = -5*n. Is 7 a factor of n?
True
Let v(k) = 11*k**3 + 4*k**2 - 5*k + 5. Suppose -4*x + 4*u + 12 = 0, -5*x - 4*u + 9 = -3*u. Let o be v(x). Suppose -98*q - 129 = -o*q. Is q a multiple of 12?
False
Let i(v) = -v**3 + 10*v**2 + 10*v - 10. Let m = 30 + -22. Let u be i(m). Let x = -102 + u. Is x a multiple of 16?
True
Suppose -4*o = -4*p + 5 - 17, -3*o - 4*p = -9. Let k be ((0 + 0)/(-12))/(-12). Suppose 3*z - l - 112 = k, o = -l + 8. Is z a multiple of 39?
True
Let o = -24988 - -62356. Is o a multiple of 27?
True
Is 48 a factor of ((-336)/105)/((4/(-2690))/1)?
False
Suppose 5*x - 490 = -5*y, -2*x + 0*y + 196 = -4*y. Suppose -5*d = -0*d + 4*c - x, 4*c = -d + 26. Does 13 divide d?
False
Let y(b) = 2*b**3 - 3*b**2 - 2*b + 4. Let v be y(2). Suppose v*k + 3*t + 1 = -0, -9 = -3*k + t. Suppose r - 3*n = 95, 5*r = -k*n - 158 + 548. Does 20 divide r?
True
Suppose -2*p + 254 = -0*o - 4*o, 269 = -4*o + 5*p. Let y = o - -67. Does 6 divide y?
True
Suppose -4*u + 1142 - 1134 = 0. Suppose -3*c = 5*h - 2*h - 3, 10 = 4*c + 2*h. Suppose 5*t + r + c*r - 530 = 0, u*r + 228 = 2*t. Is t a multip