(j) = j**3 - 16*j**2 - 15*j - 31. Let b be r(k). Does 43 divide (b - (-2295)/25)/(4/10)?
False
Suppose 7*g + 16 = 3*g, -5*g = a - 6240. Is 10 a factor of a?
True
Let k(r) = -13*r**3 - 11*r**2 - 71*r + 4. Is k(-7) a multiple of 88?
False
Let h = -4601 + 5401. Is h a multiple of 8?
True
Suppose 18 - 8 = 2*n. Suppose -3*b + 26 = -n*g, -b + 4*b - 24 = 3*g. Is 24 a factor of (-2 - (-243)/7) + 2/b?
False
Let a(s) = -41*s + 21. Let g be a(2). Let o(b) = b**3 + b**2 - b + 2. Let i be o(4). Let u = g + i. Is u a multiple of 8?
False
Let x(n) = -n**3 + 117*n**2 + 294*n - 269. Does 35 divide x(119)?
False
Let g be (1 - 1) + 11 + -9. Suppose 0*o + 3*o = 15. Suppose -g*t + o = -t - i, 5 = t - 2*i. Is t a multiple of 5?
True
Let k be (0 - 517)*-1 + (1 - 0). Let s = k + -203. Does 35 divide s?
True
Suppose -4*z - 21 = -21. Suppose 3*l - 40 - 128 = z. Let u = -32 + l. Is u a multiple of 12?
True
Let p(o) = 3*o**2 - 39*o - 19. Let w be p(-13). Let y = 69 + w. Is y a multiple of 56?
True
Let h = 8 + -6. Suppose i + 1 = h*b - 2, -19 = -2*i - b. Suppose c + 660 = i*c. Is 11 a factor of c?
True
Suppose -28*n + 263 + 17 = 0. Suppose n*x - 447 = 9*x - t, 5*t + 15 = 0. Is 6 a factor of x?
True
Suppose 7*j + 1191 = 421. Let u = j + 1386. Is 11 a factor of u?
True
Suppose 0 = 5*b + 4*y - 14834, 0 = -4*y - y - 20. Is b a multiple of 3?
True
Does 5 divide 5 + (1/6 - (-734730)/180)?
False
Suppose 2*j - 6945 = -4*x + j, -5*x + 8676 = 3*j. Suppose 0 = -3*y + x - 21. Is y a multiple of 26?
True
Suppose 0 = l - 5*l - 12, 9 = -f + 4*l. Let z = 26 + f. Let n = 49 + z. Is 9 a factor of n?
True
Let j = -631 + 1323. Let s = j + -341. Does 48 divide s?
False
Suppose 3*t = -3*j + 5*t + 14100, j = -t + 4695. Does 13 divide j?
False
Let n(a) = a**3 + 10*a**2 + a - 15. Let l be n(-10). Suppose 5*j + 3*f = -305, -j - 4*j - 2*f - 300 = 0. Let i = l - j. Is 6 a factor of i?
False
Let r = -67841 + 106217. Is 36 a factor of r?
True
Let c(y) = 59*y + 27. Let f be c(5). Suppose -18*s - f = -4*s. Let m(p) = 3*p**2 + 63*p - 12. Is m(s) a multiple of 15?
False
Suppose 12*u = 10*u + 5*y + 24143, -4*y = 28. Is 10 a factor of u?
False
Let j = 341 + -337. Is j/((-364)/(-31005)) - 4/(-14) a multiple of 12?
False
Let h be -1 + 4 + -2 + -1. Let k(j) = 5*j - 92. Let o(i) = -16*i + 276. Let d(p) = 8*k(p) + 3*o(p). Is d(h) a multiple of 12?
False
Suppose 0 = 4*i + 5*b - 29670, -34*b + 36*b = i - 7424. Is 28 a factor of i?
True
Let k(i) = 19*i**2 + 8*i + 2. Let f be k(-3). Let c = 101 + f. Is c a multiple of 14?
False
Let i be (-380)/(-80)*8*1. Suppose 2*x - 6 + 4 = 0, b - 3*x = i. Let p = -22 + b. Is p a multiple of 2?
False
Suppose 5*o - 79 = 6. Suppose o*s - 219 = -66. Is 2 a factor of s?
False
Let s = 41389 + -33541. Is s a multiple of 24?
True
Let c(k) = -k**2 + 10*k + 2. Let f(p) = p**2 - 2*p - 6. Let r be 6*6/(-16) - 135/180. Let l be f(r). Does 4 divide c(l)?
False
Let y(l) = -l**2 + 20*l + 73. Let q be y(-3). Suppose 0 = q*j - 8, -4*m - 2*j + 3356 = 2*j. Does 14 divide m?
False
Let c = 30 + -67. Let z = 43 + c. Is 3 + ((-25)/2)/((-3)/z) a multiple of 17?
False
Suppose -104*b - 622*b = -2665872. Is 9 a factor of b?
True
Let m = -176 - -274. Let p = -1099 - -1067. Let q = m + p. Is 26 a factor of q?
False
Let f = 1 - 1. Suppose -85*c + 81*c = f. Suppose -j - 4*j + 825 = c. Is 33 a factor of j?
True
Let o = 508 - 313. Let s = 752 - 364. Suppose p - y - o = -0*y, -4*y = -2*p + s. Does 50 divide p?
False
Suppose 5*l = l - 84. Let y = -47 - l. Let z = -11 - y. Is 5 a factor of z?
True
Is 6 + 931 + (-3 - 0 - -5) a multiple of 4?
False
Let r(h) = 7974*h**3 - 12*h**2 + 33*h - 20. Is r(1) a multiple of 54?
False
Suppose -d + 60 = d. Let s(c) = -7 - d*c**3 - 56*c**3 + 9 + 3*c + 2*c**2. Is s(-1) a multiple of 9?
False
Let s(i) = 2406*i**2 - 17*i + 23. Is 189 a factor of s(1)?
False
Let a be (-5)/(-3) + 3/9. Let d be a/(5/25 - (2 - 2)). Does 17 divide -2*(-525)/d - 3?
True
Let z = -3041 + 3360. Is 11 a factor of z?
True
Is 76 a factor of (-174)/783 + (-2)/(-1)*50277/27?
True
Suppose 2*x + 3*u - 38 = x, -2*u + 93 = 3*x. Let y be (-3 + 1)/(28 - x). Suppose -5*d + 25 = 0, 7*p - y*p = 5*d + 1100. Is p a multiple of 25?
True
Let o(j) = -j**3 + 21*j**2 + 45*j + 25. Let i be o(23). Suppose -492 = -i*h - 300. Does 32 divide h?
True
Suppose -9*t + 2*g = -5*t + 5670, -3*g = -3*t - 4248. Let o = -905 - t. Is o a multiple of 8?
False
Let p(l) = 212*l + 62. Let u(s) = -211*s - 59. Let x(n) = 5*p(n) + 4*u(n). Is x(2) a multiple of 5?
False
Let t = 8421 - 5212. Does 10 divide t?
False
Let k(q) = 205*q**3 - 2*q - 4. Let n be k(2). Suppose n = 10*d - 8*d. Is (6/4)/(18/d) a multiple of 17?
True
Let w be 4/(-9) + 950/(-171). Let r(s) = 22*s - 24. Let b(z) = z. Let n(m) = 5*b(m) - r(m). Is n(w) a multiple of 21?
True
Let r = 24639 + -15867. Is r a multiple of 43?
True
Does 91 divide (-11 - (-280)/25) + (-30024)/(-30)?
True
Let s be (-2)/(-1)*(1 + -2). Let i(k) = -2*k**3 - k**2 - 6*k + 8. Let u(q) = 8*q**3 + 3*q**2 + 25*q - 33. Let w(j) = s*u(j) - 9*i(j). Does 13 divide w(3)?
False
Suppose 2*s - 9*s + 21 = 0. Suppose -w + s*w + n = 133, -20 = 4*n. Let h = w + -15. Is h a multiple of 29?
False
Suppose -103123 - 596422 = -115*f. Does 11 divide f?
True
Let f(z) = 3*z**3 + 157*z**2 - 49*z + 141. Does 24 divide f(-52)?
False
Let m(c) = -1745*c**3 - c**2 - 4*c - 2. Let k be m(-1). Suppose 0 = 6*o - k + 528. Is o a multiple of 14?
False
Suppose 2*v = -r - 2, -v - 4*r - 10 = -2. Suppose -z - 5*k + 65 = 0, 61 = z - v*z + k. Does 6 divide 4/3 + 280/z?
True
Let l(m) = -54*m**3 - 13*m**2 + 5*m + 2. Let t(a) = -52*a**3 - 14*a**2 + 6*a + 3. Let u(h) = 5*l(h) - 4*t(h). Is u(-2) a multiple of 11?
False
Let g(p) = -76*p**3 - 1. Let q be g(-1). Suppose -d - 2*a = -102, 4*d - 21*a = -16*a + 395. Let y = d - q. Does 5 divide y?
True
Suppose -11*l = 3*l + 12166. Let b = -597 - l. Does 17 divide b?
True
Let h = -268 + 270. Suppose 5*x = a - 90, -7 = h*x + 3. Does 9 divide a?
False
Let j(r) = r**3 - r**2 + r + 1. Let s(d) = -4*d**3 - 8*d**2 - 8*d + 19. Let n(i) = 3*j(i) + s(i). Let f be n(-10). Let k = 96 + f. Is k a multiple of 10?
False
Suppose 13*i - 15*i = 5*a - 716, -i = -3*a + 434. Does 5 divide a?
False
Let v(z) be the first derivative of -z**5/20 - 9*z**4/4 + 9*z**3/2 - 8*z**2 - 9*z - 19. Let n(s) be the first derivative of v(s). Is 9 a factor of n(-28)?
False
Suppose 4*h = -d + 11663, 53*d = 49*d + 12. Is h a multiple of 51?
False
Suppose 5*n = 2*i - 3394, 2*n + 6804 = i + 3*i. Let s = 2498 - i. Is s a multiple of 14?
False
Suppose 632*s - 640*s + 114352 = 0. Is s a multiple of 7?
True
Let p(q) = -2247*q + 11762. Is 3 a factor of p(5)?
False
Suppose 779 + 37 = 8*t. Suppose -4*b + 494 = t. Is 7 a factor of b?
True
Let q(p) = 5*p**2 + 75*p + 4827. Is 3 a factor of q(0)?
True
Does 32 divide 85/(-8 + -9) - -6*411?
False
Let n be ((-272)/(-6))/(1 - (-93)/(-99)). Suppose -5*v + 892 = -n. Is v a multiple of 50?
False
Let l(d) = 3*d**3 + 264*d**2 - 1662*d + 56. Is 4 a factor of l(-93)?
False
Suppose 0 = 7*s + 62834 - 13078. Is 37 a factor of s/(-24) - (5 - (-145)/(-30))?
True
Suppose -175 = -5*g - y - y, -g = y - 35. Let a be 2/4 - g/(-10). Suppose a*k + k = -3*q + 112, -3*k + 4*q = -73. Does 23 divide k?
True
Suppose 9 = 2*g + 4*t - 17, -2*t = -4*g + 12. Suppose -5*k - g*p = -2035, 2*k - 482 - 341 = p. Is 20 a factor of k?
False
Suppose 0 = 3*n - 12, 26352 + 7926 = 5*p + 2*n. Is p a multiple of 46?
True
Let u = 914 - -1773. Is 34 a factor of u?
False
Let y(q) = 1756*q**2 - 36*q + 88. Is 16 a factor of y(2)?
True
Let m(c) be the first derivative of c**3/3 + 5*c**2/2 + 6*c - 20. Let b be m(-2). Suppose b = 3*r - r - 3*v - 55, -2*v + 17 = r. Is 5 a factor of r?
False
Suppose -41*l + 52237 + 163051 = 4712. Does 12 divide l?
True
Suppose 1 + 10 = 3*z + 4*r, -r - 1 = 2*z. Let u(c) = -14*c - 2*c - 10*c + 13*c. Is u(z) a multiple of 13?
True
Is 10 a factor of 3 + 11828 + 2 + 2 + -5?
True
Let o be 22 + 2 + -4 + -1. Suppose 3*f - o - 70 = -w, -5*w - 5*f + 395 = 0. Let q = -18 + w. Does 22 divide q?
False
Let q(f) = f**2 - 4*f - 21. Let p be q(7). Suppose 3*c - 5*c + 3*t = -21, -5*c + 2*t + 36 = p. Suppose 0 = c*x - x - 600. Is 15 a factor of x?
True
Suppose c + 6*c - 2772 = 0. Suppose -2*s - 10*s = -c. Is s*(18/8 - 3/12) a multiple of 11?
True
Let v(j) = -