 = 207 - 207. Let n(k) = 3*k + 118. Is 20 a factor of n(a)?
False
Let m(b) = b**3 - 30*b**2 - 14*b + 216. Is m(34) a multiple of 25?
False
Suppose 0 = 2*i - a - 141, -4*a + a - 283 = -4*i. Let n be (i/15)/((-2)/(-51)). Suppose -3*w + n = -211. Does 24 divide w?
False
Suppose 146*i - 1441272 - 1494515 = -14181. Is 4 a factor of i?
False
Let h = 19 + -23. Let q(n) = 99*n**2 + 4*n - 4. Let i be q(h). Is 15 a factor of i/26 + (-26)/169?
True
Suppose 12*k = 82 + 26. Suppose 0 = -k*m + 1276 + 1145. Is m a multiple of 5?
False
Suppose -87 = -3*u - 36. Suppose u*j - 45056 = -15*j. Does 24 divide j?
False
Suppose -4*b = -p + 5 - 23, -p - 21 = -5*b. Let n(o) be the third derivative of -9*o**4/8 - 7*o**3/6 + 2*o**2. Does 31 divide n(p)?
True
Suppose 5*b - 227025 = -35*d + 39*d, -3*b + 136215 = -2*d. Is 11 a factor of b?
False
Is 9 a factor of (-8)/80*(-148140)/18?
False
Suppose 2*n = -2*l + 18068, l + 74*n = 72*n + 9033. Does 5 divide l?
True
Suppose -1071*t = -1073*t + 3366. Let h = 2961 - t. Does 71 divide h?
True
Let g = -2223 + 4475. Suppose 34*d = 468 + g. Is 33 a factor of d?
False
Suppose -256165 = -1569*s + 1556*s. Is s a multiple of 94?
False
Let v(s) = 3*s - 5. Let q be v(2). Is (-4 - (-209)/44)/(q/700) a multiple of 35?
True
Suppose 5*o = -25, 2*o + 1280 = 2*x + 3*x. Let r = x - 112. Is 25 a factor of r?
False
Suppose -3*n + 8633 = j, 143 = n + 2*j - 2733. Does 25 divide n?
False
Let x = 74 - 61. Suppose x = 6*p - 539. Is p a multiple of 3?
False
Suppose -z = w - 496, w = 5*z - 3*w - 2480. Let j = z - 279. Is 7 a factor of j?
True
Let t = 3 - 7. Let u(p) = -4*p - 4. Let m be u(t). Does 10 divide 2/(-4) - (-606)/m?
True
Suppose 0 = -o + 4*y - 9*y - 407, 0 = -5*o - 3*y - 2057. Let v = 188 + o. Let a = v + 419. Is a a multiple of 14?
False
Suppose 5*y + 22 - 57 = 0. Suppose 0 = -4*v - s + 5323, 0*v + 2*v - 2645 = 5*s. Suppose 0 = -0*m - y*m + v. Does 19 divide m?
True
Let q(a) = -618*a + 7840. Is 98 a factor of q(0)?
True
Suppose 35 = 7*a + 35. Suppose -51*l + 53*l - 518 = a. Does 7 divide l?
True
Let o be (-7385)/35 + (0 - -2). Let x = o - -443. Is x a multiple of 36?
False
Suppose 2*s = -4*r + 6*r + 268, 0 = -r + 3. Suppose -s = -h + 4*q, -14*h + 10*h + 572 = -4*q. Does 29 divide h?
True
Let b be (-3)/(15/(-2510)) + -1*2. Suppose -115*i = -120*i + b. Let j = i - 54. Does 10 divide j?
False
Suppose -2*p - 5*l + 802 = 0, 4*l - 1626 = -4*p + 5*l. Let a = -46 + p. Is a a multiple of 12?
True
Suppose 3*o - 2*s - 732 = 0, -246 = -5*o - 3*s + 955. Is 39 a factor of o?
False
Suppose 3*x + 17773 = -12*d + 17*d, -5*d + 17765 = 5*x. Does 9 divide d?
False
Let o be (-16)/72 + (-20)/(-9). Suppose 0 = 4*w + 5*h + 579, 3*h - 733 = 7*w - o*w. Let f = -41 - w. Is 35 a factor of f?
True
Suppose -2*a - d = 2*a - 101, -3*a + 70 = -5*d. Suppose -a*l + 2106 = -16*l. Does 25 divide l?
False
Let a = 193 - 187. Suppose 4*f - a*t - 1164 = -2*t, 2*f - 585 = t. Is f a multiple of 49?
True
Suppose 75*h = 5*s + 77*h - 16, 2*s = 3*h - 5. Suppose 118 = 2*l - 5*o, -5*l + 295 = -s*o + 4*o. Does 3 divide l?
False
Suppose -72*i - 85*i + 2*i = -753765. Is i a multiple of 16?
False
Let s(x) = -x**2 + 2*x + 10. Let i be s(4). Suppose -277 = b - 3*b + 5*v, i*b - 3*v = 271. Does 9 divide b?
False
Let z = 271 - 267. Does 34 divide ((-8)/6)/((-7)/2016*z)?
False
Suppose -2*g + 8 = 0, -51*w = -47*w - 4*g - 79260. Is w a multiple of 45?
False
Let j = 503 + -251. Is 21 a factor of j?
True
Let h(k) = -6*k**3 + 3*k**2 - 8*k - 7. Let i be h(-4). Suppose -13*a = -i - 1961. Is 8 a factor of a?
False
Let l(m) = 234*m - 285. Is 26 a factor of l(21)?
False
Suppose -14 = 2*q - 0*q. Let a(o) = -o**2 - 10*o - 7. Let y be a(q). Is 20 a factor of 1404/y + 4/(-14)?
True
Let s(g) = 11*g - 52 - 11 + 12*g - 18*g + 15*g**2 + 8*g. Is 15 a factor of s(6)?
True
Let m(i) = -29*i**3 - 8*i**2 - 74*i + 9. Is m(-9) a multiple of 196?
True
Suppose 3815 - 131074 - 153617 = -23*o. Is 90 a factor of o?
False
Let h(q) be the second derivative of 2*q**3/3 + q**2 + q. Let y(z) = z**2 - 24*z + 62. Let t be y(22). Does 3 divide h(t)?
False
Suppose -i - 23 = 2*s - 3, -5*i - 55 = s. Let o be (-904)/(-40) - 4/i. Let h = o - -97. Does 15 divide h?
True
Suppose -6*o = -o + 115. Let z = 26 - o. Is 5 a factor of z?
False
Suppose -3*q + 29 = 2*a, -2*a - q + 33 = -2*q. Suppose -a*x = 4*u - 11*x - 936, 2*x + 1170 = 5*u. Does 2 divide u?
True
Suppose -2*b = -3654 + 692. Does 146 divide b?
False
Let x = -6450 - -28918. Does 5 divide x?
False
Suppose 4*c - 30780 = -c. Suppose -489*x = -480*x - c. Is x a multiple of 19?
True
Let b = 45 + -97. Let z = 52 + b. Suppose -3*c = -z*c - 123. Is 3 a factor of c?
False
Let d(s) = s**3 - 15*s**2 - s - 18. Let f be d(15). Is 22 a factor of ((-906)/(-4))/(f/(-44))?
False
Let t be 9/3*1238/6. Let r = t - 192. Is r a multiple of 24?
False
Let y be 49*((-8)/(-3))/((-10)/15). Let w = -104 - y. Let o = w - 56. Is o a multiple of 2?
True
Let f = 8 + 3. Let w(x) = x**3 - 12*x**2 + 11*x + 19. Let c be w(f). Suppose -2*q + c + 41 = 0. Is 30 a factor of q?
True
Let m(w) be the second derivative of w**3/3 + 13*w**2 - 2*w. Suppose -5*a + 2788 - 2718 = 0. Is 32 a factor of m(a)?
False
Suppose -3*d + 106 = -2*d. Suppose 0 = -4*f + k + 1129 + d, -k + 5 = 0. Is 31 a factor of f?
True
Suppose -3*o + 12877 + 6052 = 4*x, 3*o - 14199 = -3*x. Is x a multiple of 55?
True
Suppose 0 = 5*m - 4*u - 22854, 3*m + 5*u + 416 - 14121 = 0. Is 2 a factor of m?
True
Let n(h) = -4*h**2 + 107*h + 87. Is 55 a factor of n(26)?
True
Let v = -31 + 34. Suppose -3*h + 976 = y, -5*y + 1628 = 5*h - v*y. Is 12 a factor of h?
True
Let c(v) = v**3 + 40*v**2 - 54*v + 17. Is 17 a factor of c(-27)?
False
Let o(z) be the first derivative of 5*z**4/12 + z**2/2 + 22*z - 3. Let x(q) be the first derivative of o(q). Is 7 a factor of x(2)?
True
Let q(b) = -b**3 + 720. Let f be q(0). Let t = -2 - -5. Suppose -t*i = -9*i + f. Is 53 a factor of i?
False
Let c(z) = 4*z**2 - 23*z + 134. Let w(r) = 8*r**2 - 43*r + 269. Let q(s) = 9*c(s) - 4*w(s). Does 5 divide q(4)?
False
Let o be (600/7)/(((-81)/9)/(-63)). Suppose -6*h - o = -10*h. Is 15 a factor of h?
True
Let h(x) = 2*x**3 - 7*x**2 + 23*x - 77. Is h(11) a multiple of 90?
False
Let l(y) = 2*y + 9. Let j(m) = 19*m - 3. Let p(g) = 10*g - 1. Let h(s) = -3*j(s) + 7*p(s). Let w be h(1). Is l(w) a multiple of 13?
True
Let l be 3/((-3)/2) - (1 - -41). Let d = -58 + l. Let a = 139 + d. Is 3 a factor of a?
False
Let a(u) = -u**3 - 10*u**2 + 7. Let b be a(-10). Is 6 a factor of (-20)/(-4) - b - (-21 + 1)?
True
Let p = 2910 + 5799. Is 51 a factor of p?
False
Let n = 1617 + 1340. Is n a multiple of 20?
False
Suppose -17*d + 13*d + 665 = -5*j, d = 4*j + 543. Let w = 241 + j. Is 4 a factor of w?
True
Suppose 3*j = -7*d + 117588, 50382 = 3*d - 10*j + 7*j. Is d a multiple of 62?
False
Let u(q) = -157*q + 7351. Is 78 a factor of u(8)?
False
Let p = -4868 + 15055. Is 24 a factor of p?
False
Suppose -30917 + 352914 = 17*y + 30*y. Does 149 divide y?
False
Suppose -18*b + 27920 = -34*b. Let v = 2851 + b. Is v a multiple of 14?
True
Let n(l) = -l**3 + 3*l**2 - 8*l - 5. Let i be n(3). Let h(y) = -y + 164. Does 74 divide h(i)?
False
Let g be 6/4 - ((-19572)/8 - 0). Is (g/(-15))/2*40/(-12) a multiple of 34?
True
Let s = 19 - 13. Suppose -s*c = -c. Suppose 27*i - 24*i - 132 = c. Does 11 divide i?
True
Suppose t + 5*w = -7, -7*w + 4*w = 5*t - 53. Let v(a) = -4*a**2 + 65*a + 16. Is v(t) a multiple of 5?
True
Suppose g + 27*i = 32*i + 14423, 5*g - 72043 = i. Is 204 a factor of g?
False
Let r(h) = -h**3 - 18*h**2 - 12*h + 85. Let p be r(-17). Suppose p = 9*m - 6*m - 192. Is m a multiple of 6?
False
Suppose -341 = -k + 41. Let v = k + -317. Is v a multiple of 2?
False
Let k = -13489 - -18312. Is k a multiple of 13?
True
Suppose -2*b = -3*l - 5533, -5*l + b = -2*b + 9222. Let i be 1/((-3)/(-2))*l/(-30). Let y = 197 - i. Is 55 a factor of y?
False
Let c = 10319 + -2788. Is 72 a factor of c?
False
Let a(b) = -87*b**3 - 156*b**2 - 2*b + 22. Does 49 divide a(-5)?
True
Let a = -22706 - -33699. Is a a multiple of 83?
False
Let b = -8285 - -25911. Is 239 a factor of b?
False
Let k = 1075 - -2477. Is k a multiple of 6?
True
Let o(a) = 14*a + 32. Let w(t) = 2*t - 1. Let k(d) = o(d) - 6*w(d). Is 3 a factor of k(44)?
True
Suppose 4*g - 2*w = -7*w