667. Is 11 a factor of r(51)?
False
Let a(p) = p**3 - 19*p**2. Let i be (-36)/96 + (-155)/(-8). Let h be a(i). Suppose 7*j = -h*j + 49. Does 7 divide j?
True
Let x(j) be the second derivative of 0 + 1/2*j**3 - j**2 + 133/20*j**5 - 1/12*j**4 + 4*j. Does 19 divide x(1)?
True
Suppose -4*z + 5*z = -2*w + 14, -w - 5*z - 11 = 0. Suppose 2*f + w*q = 5*q + 1300, -2*f - q = -1300. Is 50 a factor of f?
True
Let s = 29 - 23. Let a(y) = -10*y + 3 - 8*y + 26*y - s*y. Is 17 a factor of a(7)?
True
Let t = -2037 + 4302. Suppose 999 = 12*m - t. Is 10 a factor of m?
False
Suppose -2*y - 28255 = 5*o - 133171, 4*y = 2*o + 209808. Is y a multiple of 28?
False
Let p be 2 + -2 + 2 + (6 - -3). Let t(c) = -9 + p + 19 + 0 - 33*c. Is t(-4) a multiple of 13?
False
Suppose -90*w = 85*w + 130*w - 655140. Is w a multiple of 15?
False
Suppose -153*h = -149*h - 12745 + 1729. Is h a multiple of 6?
True
Let p(b) = -24*b**2 - 13*b + 28. Let i(z) = -73*z**2 - 37*z + 83. Let a(h) = 2*i(h) - 7*p(h). Is a(3) a multiple of 3?
True
Suppose 14*x = 8*x + 12. Let k(b) = 0*b + 740*b**2 - 7 - 739*b**x - 7*b + 2. Is k(11) a multiple of 13?
True
Let g = 311 - 211. Let a = 51 + -16. Let k = g - a. Is 21 a factor of k?
False
Suppose 5197 = 3*y + 2*p - 5938, -4*p - 7386 = -2*y. Does 11 divide y?
True
Suppose -194*z + 192*z + 6484 = 3*u, z = -2*u + 4321. Is 83 a factor of u?
True
Let j = 338 + -313. Is j a multiple of 25?
True
Let i(a) = -145*a - 1423. Is i(-24) a multiple of 19?
False
Let k(q) = 97*q**2 - 377*q + 14. Does 16 divide k(14)?
False
Let s(m) = -9*m + 1. Let o = -26 + 21. Let u be s(o). Suppose 5*j + u = 6*j. Is j a multiple of 5?
False
Let y = -147 + 162. Suppose 0 = 12*i - y*i - 15, 4*i - 400 = -h. Is 21 a factor of h?
True
Let b(n) = -n**2 - n + 25. Let o be b(0). Let u(a) = 158*a - 100*a - 56*a + 25. Does 10 divide u(o)?
False
Let x(y) = -111*y + 38. Let k be x(-4). Let a = k - 249. Does 8 divide a?
False
Let g be (6/6*1)/(1/4). Is 17 a factor of g - (-15)/(-4 + -1) - -815?
True
Let o(h) = h**2 - 9*h - 11. Let d be o(7). Let r = -12 - d. Let v(w) = w**3 - 12*w**2 + 3*w - 17. Is v(r) a multiple of 49?
False
Let i = 17196 + -15187. Does 9 divide i?
False
Let c(o) = -o**2 - 21*o + 176. Let a be c(-30). Let t = a - -249. Does 26 divide t?
False
Let g(a) = 205*a**3 + 7*a**2 + 9*a - 99. Is g(5) a multiple of 14?
True
Let w = 35087 + -24167. Is w a multiple of 26?
True
Let w(v) = -5*v**2 - 71*v - 12. Let o be w(-14). Suppose -2*i + 188 = -4*y, -y - o*y - 183 = -2*i. Is i a multiple of 4?
True
Suppose 0 = 2*f + 4*s - 1920, -f - 5*s = 84 - 1050. Let t = -207 + f. Does 9 divide t?
False
Let m(v) = v + 26. Let z(o) be the third derivative of -o**4/24 - o**3 - 16*o**2. Let l be z(14). Is m(l) even?
True
Let r = 2722 - -387. Does 19 divide r?
False
Let x(b) = 282*b**2 - 28*b + 85. Does 28 divide x(4)?
False
Suppose -36*t + 200 = 4*t. Does 9 divide (-1)/((-8)/800) - t?
False
Suppose -81*b = -80*b + 52. Let l = b + 196. Is l a multiple of 3?
True
Let w(i) = i**3 + 6*i**2 + 5. Let x be w(-6). Suppose -x*u = 5 - 10. Is 65 + (13 - u)/3 a multiple of 10?
False
Suppose 3*f + 28 = -188. Let v be (-18)/f - 1674/8. Let j = 362 + v. Does 17 divide j?
True
Let r = 4 - 2. Suppose 126*h = -120*h + 235*h + 22. Suppose -4*f + 584 = -r*x - h*x, -2*f - 4*x = -280. Is f a multiple of 16?
True
Let a(n) = 110*n + 18. Let j(d) = 37*d + 6. Let z(h) = 5*a(h) - 14*j(h). Let b be z(-3). Let w = -32 - b. Is w a multiple of 6?
False
Let m(j) = -879*j - 2076. Is 42 a factor of m(-14)?
False
Suppose -3*l - 3*a + 1967 = -307, -2*a - 1512 = -2*l. Does 4 divide l?
False
Let w(b) = b**3 + 27*b**2 + 35*b + 383. Is 4 a factor of w(-12)?
False
Let c = 89 + -89. Suppose x - 6 + 2 = c, 0 = -4*g - x + 8. Suppose -z + g = -19. Is 20 a factor of z?
True
Let m(u) = -u**2 + 21*u - 14. Let p = 176 - 163. Is 30 a factor of m(p)?
True
Let d(q) be the first derivative of q**5/20 - 5*q**4/12 - q**3/6 - 3*q - 1. Let j(z) be the first derivative of d(z). Is j(6) a multiple of 2?
True
Let y(i) = -i**2 + 22*i - 25. Let j(o) = -9*o**2 + 9*o**2 + 2 + 20*o**2 - 3. Let h be j(1). Is y(h) a multiple of 8?
True
Let b(n) = 6*n - 50. Let c(r) = 18*r - 149. Let o(m) = 7*b(m) - 2*c(m). Is 8 a factor of o(14)?
True
Let p(y) = y**3 + 23*y**2 + 15*y - 8. Let a be p(-22). Let j = -55 + a. Is 20 a factor of j?
False
Suppose -7*n - 3292 = 2462. Let y = n + 1184. Is y a multiple of 22?
False
Let t(z) = -z**2 - 5*z + 30558. Is t(0) a multiple of 127?
False
Suppose 118620 = 4*d - 5*y, 3*y - 74832 = -4*d + 43788. Is d a multiple of 45?
True
Let d be 1/((-18)/24*(-1)/6). Let b be (d/(-6))/((-592)/(-300) + -2). Let c = b - -63. Is 12 a factor of c?
False
Suppose 2*v = -p - 12, 4*v + 15 = -5*p - 9. Is -6*(10/v - (-7)/21) a multiple of 8?
True
Let v(y) = y**3 + 4*y**2 - y + 5. Let b be (12/(-8))/(6/16). Let o be v(b). Suppose w + 80 = n + 21, -o = -3*w. Does 28 divide n?
False
Suppose -5*z + 9171 = 4*v, 3*z + 9147 = -314*v + 318*v. Is v a multiple of 21?
True
Let l(p) = 13*p - 22. Let f be l(5). Let s = f + -41. Suppose -y - s*m = -27, y + 53 = 3*y + 3*m. Does 5 divide y?
True
Suppose 0*a + 23368 = 3*l - 4*a, -2*l - 2*a = -15588. Suppose -4*y = -l + 1472. Does 53 divide y?
False
Suppose 33*v - 738100 = 8*v. Suppose 0 = -48*u + 12668 + v. Does 52 divide u?
False
Let h(x) = x + 16. Let c be h(-10). Suppose -7*i = -c - 8. Suppose 210 = i*a - 2*l, 0 = -4*a + 2*a - l + 198. Is a a multiple of 29?
False
Let k(u) = -682*u - 2. Let n be k(-1). Suppose 0 = 3*c - 178 - n. Suppose 10*h + c = 12*h. Is 13 a factor of h?
True
Let r(k) = k**2 - 2*k - 13. Let j be r(-3). Is 2 a factor of 6 - (4 - (29 - j))?
False
Let p(g) = 205*g**2 + g + 2. Let o be p(-1). Let y be (11/11)/((-1)/127). Let q = y + o. Is 19 a factor of q?
False
Let j(w) be the first derivative of -w**4/2 - 25*w**3 + 14*w**2 + 52*w - 331. Is j(-38) a multiple of 36?
True
Let a = 2796 + -1718. Is a a multiple of 154?
True
Let s = 42 + -39. Let f(t) = 13*t**2 + 0*t**s - 18 + 4*t - t**2 - t**3. Is 30 a factor of f(12)?
True
Let y = 3970 - -4030. Is 5 a factor of y?
True
Let p(v) = v**2 - 30*v + 162. Let f be p(7). Is 88 a factor of (12 - (-92)/(-8))*(769 + f)?
False
Does 105 divide (2172/(-16))/((-2)/(-72) - 4/36)?
False
Let j(f) = -f**2 - 16*f - 26. Let b be j(-12). Suppose -43*k + 41*k = -b. Suppose 14*a = k*a + 318. Is a a multiple of 4?
False
Let p(q) be the second derivative of q**4/4 + 5*q**3/2 + 11*q**2 + 4*q. Let b = 630 - 637. Does 13 divide p(b)?
False
Suppose -3*n = -5*n. Let k = 24 + n. Suppose c = -4*h + 61, 2*h = 4*c + k + 2. Is h a multiple of 2?
False
Is 6 + 78/(-14) + 1325700/70 a multiple of 6?
False
Suppose -52 + 157 = -i. Suppose -1689 = 21*p + 2784. Let d = i - p. Is d a multiple of 9?
True
Let p be (21 - 18)/((-6)/764). Let o = 474 - p. Is 73 a factor of o?
False
Suppose 10*o - 12*o = -3*f + 8, -2*f + 5 = -o. Suppose s - 5*s = -f*h + 1286, 0 = -h - 4*s + 661. Is h a multiple of 18?
False
Suppose 168*k = 167*k + 14. Is 22 a factor of (-135)/315 + 74*40/k?
False
Let i = 131168 + -87658. Does 55 divide i?
False
Let v be -18*54/16*64/24. Let o = 550 + v. Is o a multiple of 6?
False
Let n(b) = 10*b**2 - 6*b + 53. Is 21 a factor of n(25)?
True
Let l(r) = -5*r**2 - 56*r - 7. Let i be l(-11). Let n(c) = 156*c + 6. Is n(i) a multiple of 15?
True
Suppose -12*k - 24738 = 738. Is -1*(-10)/85 - k/17 a multiple of 8?
False
Let l(n) = 7*n**3 - 5*n**2 - 2*n - 3. Let m be l(3). Let y = -104 + m. Suppose -9*f + y = -8*f. Is 2 a factor of f?
False
Let v be -5 + 0 - (-5 + (4 - 3)). Is 17 a factor of 2/v + 1 - -800?
True
Let n(s) = 3*s**2 - s - 40. Let j be n(8). Let m = j - 140. Is 3 a factor of m?
False
Suppose b = 0, -5*a - 3*b + 6360 = -4*b. Suppose 0 = -8*y - 432 + a. Is 18 a factor of 3/(-5) - (-12138)/y?
False
Suppose -345 = -12*l - 117. Suppose -3*d - l = -2635. Suppose -4*r - d = -2*v - 2*v, 5*v = -3*r + 1114. Is 20 a factor of v?
False
Suppose 4*w - 48 = -84. Is 37 a factor of (-154875)/(-135) - ((-11)/w - 1)?
True
Let i(h) = 555*h - 4770. Does 6 divide i(26)?
True
Suppose 21*o - 155 = 16*o. Does 4 divide o + 1 - (-4)/(-1)?
True
Let x = 18893 - 15519. Is x a multiple of 7?
True
Suppose 0*a - 11561 = -2*a - 5*h, -5*h - 17429 = -3*a. Is 9 a factor of a?
False
Let v(l) = l**3 + 22*l**2 + 19*l - 39. Let x be v