/(4 - 2). Suppose -5*x + 0*x + c = 0. Is 15 a factor of x?
False
Let m(k) = -45*k + 46. Let c be m(9). Let j = -242 - c. Is j a multiple of 9?
True
Let v(n) = n. Let l be v(4). Suppose l*y + 22 = -3*s, 4*s - 10 = 5*y - s. Is (-1)/(y + 1)*(2 + 55) even?
False
Suppose 5*x + 862 + 1208 = 0. Let k = x - -476. Is 31 a factor of k?
True
Suppose 112*m - 10*m - 249356 - 120802 = 0. Is m a multiple of 22?
False
Let u(b) = -b**2 + 163*b - 264. Is 11 a factor of u(86)?
True
Let t = 41 - 37. Let f(d) = 9*d + 51. Let y(x) = -5*x - 25. Let b(j) = t*f(j) + 7*y(j). Does 16 divide b(7)?
False
Suppose 0 = -c + 2*n - 6, -4*c = 2*n - 0*n - 26. Is 23 a factor of c - -23*4 - (-2 + 7)?
False
Let p = -1497 - -3009. Does 24 divide p?
True
Let g(z) = -5 + 1 + 8*z + 2*z**2 + 2*z**3 - 7*z**2 - 5. Let x(b) = b**3 - b**2 - b + 1. Let r(i) = g(i) - x(i). Does 20 divide r(7)?
True
Suppose -60750 = -4*v - 2*n, 2*v + 19*n = 16*n + 30365. Is v a multiple of 14?
True
Suppose 23*q - p = 28*q - 43860, 5*q = 4*p + 43885. Does 26 divide q?
False
Let i(j) = 2*j + 13. Let t be i(-6). Is 3 a factor of (-2 + 0 - -1)/(t/(-17))?
False
Let o = 15 + -18. Is 5 a factor of (5 - 88)/(o - -2)?
False
Let u(l) = -l**2 - 4*l + 15. Let m be u(0). Suppose -m*w = 164 - 689. Is w a multiple of 3?
False
Let q(i) be the first derivative of i**3/3 + 4*i**2 + 84*i - 154. Does 5 divide q(-23)?
False
Let z = -336 + 340. Suppose z*r = -3*k + 662, -3*r + k = -7*r + 658. Is r a multiple of 13?
False
Let u(z) = 27*z + 110. Let f be 23 + -2 + -7 - -8. Does 35 divide u(f)?
False
Let c(r) = r**2 - 7*r + 5. Let h be c(10). Suppose -h = -3*w - 4*w. Suppose 6*k - w*k = 105. Does 35 divide k?
True
Let l(k) = k**3 - 62*k**2 - 116*k - 692. Is l(64) a multiple of 4?
True
Let c(g) = -2*g**3 - 9*g**2 - 46*g - 109. Is 71 a factor of c(-27)?
True
Suppose -71*k + 678807 = -169359. Is 66 a factor of k?
True
Let q(z) = 23*z**2 + 47*z - 1488. Does 28 divide q(27)?
True
Let i(c) = 5*c**2 - 71*c + 3336. Is i(39) a multiple of 18?
True
Suppose 6 = -3*r, 0 = -18*t + 14*t - 3*r + 5946. Is t a multiple of 47?
False
Is 8 a factor of ((-2304)/(-60))/(-8)*-1605?
True
Let y be 10/(-4)*56/(-35). Is 34 a factor of (13/(-2))/(y + 100/(-24))?
False
Let o(m) = 3*m**3 - m**2 + 3*m - 5. Let n be o(3). Let z = -28 + n. Does 12 divide z?
True
Let k = 13101 + -1791. Is 41 a factor of k?
False
Let y(h) = -100*h - 2082. Does 3 divide y(-22)?
False
Let o(b) = -8*b**2 - 1154*b - 617. Is 8 a factor of o(-135)?
False
Let x = -17169 + 17721. Does 46 divide x?
True
Suppose -9*n = -55 + 19. Suppose 2*w - 3*h = -337, -n*w - h = -0*h + 639. Let f = 253 + w. Is f a multiple of 8?
False
Let x(i) = 43*i**3 + 13*i**2 - 10*i + 96. Is x(12) a multiple of 334?
True
Suppose -5*q + 246*m + 31489 = 244*m, m = -4*q + 25199. Is q a multiple of 23?
False
Suppose -786*t + 525*t = -618048. Is t a multiple of 4?
True
Let m be 6*(3 - (-51)/9). Let b = 153 - 26. Let g = b - m. Is 15 a factor of g?
True
Does 20 divide (4/((-72)/27))/((-9)/21360)?
True
Let i(c) = c**3 + 2*c**2 - 5*c - 4. Let j be i(-2). Let r(z) = z**3 + z**2 - 15*z + 7. Is 13 a factor of r(j)?
True
Let f(x) = 2*x**2 - 3*x - 2. Let k be f(-1). Suppose -k*h + 82 = -2*h. Suppose -48 = -h*o + 78*o. Is o a multiple of 12?
True
Let u = -295 + 294. Is 15 a factor of -97*(1 + u + -4)?
False
Suppose -4*o + 14*f - 15*f + 32494 = 0, -5*o = -f - 40631. Is o a multiple of 26?
False
Let s(j) = 9 + j**3 - 5*j + 7*j + 3*j**2 + 0*j**3 + 8*j**2. Is s(-8) a multiple of 19?
False
Does 32 divide ((-7885254)/(-195))/43 - (-1)/(10/6)?
False
Let d(v) = -v**3 - 6*v**2 - 3*v + 5. Let w be (-2)/(-9) + 456/(-108). Let z be d(w). Is -6*(4 + 85/z) a multiple of 4?
False
Let g(k) = k**3 - k**2 + 313. Suppose 20*j = 16*j + w + 2, -3*w = -2*j + 6. Does 67 divide g(j)?
False
Let m(w) = 5*w**2 - 2*w - 3. Let t be m(-1). Suppose -17 = -g + t. Suppose 0 = -g*h + 24*h - 45. Is h even?
False
Let f be 172 + (-8)/(-2) - 2. Let w = f - 480. Does 11 divide w/(-8) - 12/(-16)?
False
Let b(l) = l**3 - 12*l**2 + 13*l - 22. Let s be b(11). Suppose s = 2*g + 4*a - 98, 5*a - 2*a - 280 = -5*g. Is g a multiple of 10?
False
Suppose -m = o + 119 - 1657, -3*m = 5*o - 7680. Suppose 12*s = -177 + o. Is 26 a factor of s?
False
Suppose 122*r = 3*r + 736848. Is 16 a factor of r?
True
Let b = 318 - 309. Suppose b*g - 3742 - 4340 = 0. Is 69 a factor of g?
False
Let w = -365 + 426. Suppose -19*k - 5040 = -w*k. Is 16 a factor of k?
False
Suppose 69 = -13*w - 48. Is (6 - 9)*3/w*421 a multiple of 9?
False
Suppose 2195 = 11*x - 4647. Suppose -3*j + 2*a + x = 0, 0 = -7*j + 2*j - 2*a + 1042. Is j a multiple of 52?
True
Let f(g) = 16*g**2 - 44*g - 597. Does 18 divide f(-14)?
False
Let o = 1278 - -25855. Is 6 a factor of o?
False
Let o be 3/(-4 - 11/(-2)). Suppose -s + o*i = -11, -s + 3*i + 2 = 4*i. Suppose 4*n = s*n - c - 8, 0 = -5*n + 2*c + 28. Is n even?
True
Let s = -103 - -105. Suppose t - 10 = -s. Suppose 2*z = 3*d - 178 + t, 5*d + z - 305 = 0. Does 37 divide d?
False
Suppose -646*j - 11258 + 30077 = -643*j. Is j a multiple of 123?
True
Suppose -v + 6068 = -r - 1817, -2*v = -5*r - 15791. Is 75 a factor of v?
False
Let z = -34238 - -35093. Is z a multiple of 40?
False
Suppose 0 = y - 1, 4*y = -5*z + 615 + 2309. Suppose -w + 6*w - 3*x = -z, -4*x + 242 = -2*w. Let g = w - -201. Does 43 divide g?
True
Let h = 67 - 53. Let b = 114 + h. Does 16 divide b?
True
Suppose -7*n + 2*n + 580 = 0. Is 12/7*(n - 32) a multiple of 9?
True
Let b(q) = 11*q**3 - 39*q**2 + 249*q - 38. Does 147 divide b(11)?
False
Let m = 7125 - 5670. Does 35 divide m?
False
Let p(d) = 138*d**2 + 3*d - 8. Let q be p(2). Suppose 0 = -0*w - 10*w + q. Is w/33 + 470/6 a multiple of 8?
True
Let d(a) = -a**2 + 20*a - 63. Let n(v) = v**3 - 33*v**2 - 2*v + 79. Let y be n(33). Does 6 divide d(y)?
False
Let f(q) = 8*q**3 - q**2 + 2*q - 15. Let h be 300/108 + 8/36. Is 3 a factor of f(h)?
True
Let o(g) be the third derivative of g**4/24 + 2*g**3/3 + 2*g**2. Let f be o(-4). Suppose f = 2*l - 3*d - 0*d - 45, 91 = 4*l - 5*d. Does 6 divide l?
True
Suppose 0 = 4*q + 4*n - 28, 3*q - 2*n - 15 = 11. Let a be -3 - 68/q*(-3 - -1). Is 7 a factor of (-1 - (-102)/a)*35/10?
False
Let u(x) = -3*x - 153. Let j(k) = -4*k - 152. Let q(z) = 2*j(z) - 3*u(z). Is q(20) a multiple of 25?
True
Let g(o) = o**2 - 38*o - 145. Let w(m) = -2. Let r(i) = -g(i) - 5*w(i). Is r(21) a multiple of 16?
True
Let c = -527 - -841. Is 27 a factor of c?
False
Suppose 16*k - 38179 = 75428 + 355289. Does 29 divide k?
False
Suppose f + 12 - 3 = 0. Is 10 a factor of ((-327)/f)/(-1)*1*-3?
False
Suppose 0 = -181*y + 545358 + 4332049. Is y a multiple of 147?
False
Let j(m) = -4*m - 22. Let c be (32/(-4))/((-8)/(-12)). Let y be j(c). Let h = 42 - y. Is h a multiple of 16?
True
Let x(z) = -4431*z - 153. Is x(-3) a multiple of 12?
True
Suppose 5*j - 110 = -6*j. Suppose -j*a = -5*a - 1070. Is 22 a factor of a?
False
Let j = 20199 + -10459. Does 118 divide j?
False
Suppose 8*q - 13*q - 4*x + 75 = 0, 0 = -3*x. Is 18 a factor of (1260/(-21))/((-2)/q)?
True
Suppose 4085 = t - 4*x + 1641, 3*t - 7308 = 4*x. Is t a multiple of 32?
True
Suppose -38*u + 59080 + 20948 = 0. Is u a multiple of 27?
True
Let j = -288 - 284. Is (j/3)/((-42)/126) a multiple of 13?
True
Let o = -2670 - -5947. Does 15 divide o?
False
Let r = -84 + 58. Let i = r - -26. Let b = i + 9. Is b a multiple of 9?
True
Let z = -198 - -198. Let w = 238 - z. Does 18 divide w?
False
Suppose -5*y + 21486 = -2*l - 47131, -4*l + 54888 = 4*y. Is y a multiple of 50?
False
Let c = 176 - -232. Suppose -5*a + 23 - c = 0. Let l = -53 - a. Is 7 a factor of l?
False
Suppose -5*d + 6*t = 2*t - 11266, d + 2*t - 2242 = 0. Does 10 divide d?
True
Let k(u) = -2*u + 3. Let c be k(4). Let s(t) be the second derivative of t**4/12 - 11*t**3/6 - 4*t**2 - 2*t. Is 11 a factor of s(c)?
False
Let d be (-8)/(-6) - (1 - 1808/(-24)). Let k = d - -87. Is k a multiple of 4?
True
Suppose 5*o - 3952 = -8*o. Let h(x) = x - 2. Let v be h(5). Suppose v*t = o + 308. Is 17 a factor of t?
True
Let v(f) = -f**2 - 3*f + 3. Let i be v(0). Let j(h) = 16*h**2 - 6*h + 30. Is 12 a factor of j(i)?
True
Let x(z) = -z**3 - 31*z**2 + 96*z - 16. Let j be x(-34). Is 27/(-6)*(14 - j) a multiple of 5?
False
Suppose 0 = -5*j + 10, 5*j - 29 = -3*q + j. Is 53/3 - (q + (-32)/