m(j). Suppose 6*r = h*r + 180. Is 18 a factor of r?
True
Suppose -70 = -2*n + 4*n. Let w = 37 + n. Suppose c = 62 + w. Does 8 divide c?
True
Let k(y) = y**3 - 24*y**2 + 23*y - 32. Suppose 0 = -0*q + 3*q - 69. Let t be k(q). Let w = t - -44. Is w a multiple of 7?
False
Let q = -4063 + 11757. Is 7 a factor of q?
False
Suppose -5*m - 1957 = 34*m - 319768. Does 121 divide m?
False
Let q(z) = 33*z - 8. Let w(r) = -r**2 + r + 16. Let s be w(4). Suppose -c + 2*n - 8 = -4*c, s*n - 8 = -2*c. Does 29 divide q(c)?
True
Let a(r) = -1309*r + 272. Is 15 a factor of a(-7)?
True
Suppose 29*t - 39*t + 481884 + 67416 = 0. Is 15 a factor of t?
True
Suppose 98*n - 2*c - 4114 = 95*n, 3*c = -3*n + 4089. Suppose -14 = -2*u + 4*y - 2*y, -3*u + y = -21. Suppose u*p - 74 = n. Does 30 divide p?
False
Let h = -15198 - -18135. Does 89 divide h?
True
Let u = -68 - -97. Suppose -20*v = -u*v + 45. Suppose 4*w - 28 = -3*y + 85, -v*y + 4*w = -167. Is y a multiple of 3?
False
Let d(z) = 2*z + 10. Let o be d(-10). Suppose -21*b = -137 + 32. Is (-2)/(b/o + 0) even?
True
Let h(p) = -35*p + 46. Let x be h(8). Is 12 a factor of (0 - -28)*x/(-39)?
True
Let l be (108/144)/(1/4). Suppose 4*r - 1813 = -k - 143, l*r = -2*k + 1250. Is r a multiple of 11?
True
Suppose 200*n = 41*n + 1064664. Does 143 divide n?
False
Suppose 5*r = 4*n + 52011, -8*n + 9*n + 52014 = 5*r. Is 74 a factor of r?
False
Let p(s) = -128*s**3 - 2*s**2 + s - 7. Let q be p(-2). Suppose 3*i - 1015 = 4*h, -8*i + 5*i + q = -2*h. Does 17 divide i?
False
Let h = 367 - 371. Let o(u) = 31*u**2 - u - 5. Is 25 a factor of o(h)?
False
Suppose -3*x + 9 = 4*q, 0 = -q - 2*q + 5*x + 43. Suppose 338 = q*h - 2344. Does 14 divide h?
False
Let l(v) = -v**2 - 2*v + 3. Let h be (-2)/(-8) + 13/(-52). Let u be l(h). Suppose 5*w - 4*p - 156 = 0, 0 = -u*p + p + 2. Is 16 a factor of w?
True
Suppose -g = 2*u - 7540, -11*g + 2*u = -10*g - 7532. Is 14 a factor of g?
False
Suppose 3*z + 0*z = -z. Suppose z*l - 63 = 3*l. Let k = l - -43. Does 13 divide k?
False
Suppose -7*h + 2640 = h. Suppose 2*f + 4*q = -0*q + h, -2*q = -f + 185. Is f a multiple of 25?
True
Let o(k) = -k + 56. Suppose 56*f = 61*f + 25. Let a(g) = -g**3 - 3*g**2 + 6*g + 6. Let r be a(f). Is o(r) a multiple of 10?
True
Suppose 17715 = 6*l - 975. Is 7 a factor of l?
True
Let v(b) = -b**2 - 2*b. Let r be v(-2). Suppose r = 2*z - 127 - 237. Is z a multiple of 9?
False
Let n(l) = 2*l**3 + 13*l**2 - 2*l + 9. Let w be n(-7). Let p = w + 27. Does 26 divide 4 + p - (-2 - 123)?
True
Let v(a) = a**3 + a**2 - a + 1. Let p(b) = -3*b**3 + 4*b**2 + 4*b. Let k(y) = -p(y) - 4*v(y). Does 18 divide k(-9)?
False
Let m(j) = 11358*j**2 + 72*j. Does 148 divide m(-2)?
True
Let i(c) be the second derivative of 11*c**4/12 + c**2 - 2*c + 20. Is 6 a factor of i(2)?
False
Suppose 4*m - 3*h = 148, -m + h + 3 = -34. Let l(p) = -40 - 16*p - 61*p + m - 8*p. Does 13 divide l(-2)?
False
Let r = -454 - -165. Let j = r - -321. Is j a multiple of 11?
False
Let w = 533 - 561. Let i(u) = -u**3 - 28*u**2 - 9*u - 16. Is i(w) a multiple of 59?
True
Suppose 2450 = 10*v - 2390. Is 15 a factor of v?
False
Let o(i) = i**2 - 9*i - 4. Let z be o(0). Let c(w) = -250*w + 245. Is 26 a factor of c(z)?
False
Let l = 78 + -74. Suppose 18 = -5*c - 0*c + l*r, 0 = -c + 4*r + 6. Is (-2)/4*31*c a multiple of 6?
False
Let y be (-24)/96 - (-1 - (-18)/(-8)). Suppose 220 = -y*i + 4*i. Is 10 a factor of i?
True
Suppose -140*g + 124*g + 64 = 0. Suppose -4*m + 114 + 209 = 3*b, -m + 84 = g*b. Is 16 a factor of m?
True
Suppose 78189 = 22*a - 41183. Does 38 divide a?
False
Suppose c = 3*p - 10, -5*c - 2*p + 2 - 1 = 0. Does 33 divide (-27)/(c*(-6)/(-66))?
True
Let n(f) = -f - 6. Let g be n(-8). Suppose 5*a - 1087 - 243 = -4*c, -2*a + 530 = g*c. Let z = a + -137. Does 11 divide z?
False
Suppose -174*x - 933692 + 2925644 = 0. Is 4 a factor of x?
True
Suppose -32*j + 1239 = 27*j. Let u(z) = z**3 - 26*z**2 + 111*z + 18. Is u(j) a multiple of 9?
True
Is (1/3*-85)/((-16)/528) a multiple of 68?
False
Suppose 0 = 19*j - 306 - 625. Let u = 790 + j. Does 50 divide u?
False
Let b = -32 + 37. Suppose -5*c = -2*y + y - 90, 4*y + 90 = b*c. Is 5 a factor of (-460)/(-36) + 4/c?
False
Suppose 2*h - 1921 = 2909. Does 69 divide h?
True
Does 103 divide (44 + -36 + (-23)/3)/(2/54126)?
False
Let h(l) = 798*l + 47128. Is 42 a factor of h(0)?
False
Suppose 7*j + 253627 = 13*j + 5*j. Is j a multiple of 11?
False
Let h be ((-36)/15 - -2)/((-4)/10). Is 28 a factor of h/(3/56)*(-9)/(-6)?
True
Suppose 2*s = 4 - 0. Suppose -133 - 1235 = -s*w. Suppose 0*p - 4*j + w = 4*p, 0 = 4*j - 20. Is p a multiple of 43?
False
Suppose y - 1615 = 4*u, -483*y - 3*u - 4818 = -486*y. Does 7 divide y?
True
Let h = -9511 - -16353. Does 29 divide h?
False
Suppose 38*u - 12 = 35*u, u = 2*s - 122. Does 2 divide ((s/6)/(-3))/((-2)/44)?
False
Let k be -2*3/6*(-11 + -6). Let d = 8 + k. Suppose 0 = -h + d + 125. Does 19 divide h?
False
Let r(l) = 3*l**2 - 9*l + 24. Let z be r(8). Let j = 155 - z. Does 11 divide j?
True
Let p = -12602 + 23786. Does 12 divide p?
True
Let j(q) = 90*q - 100. Let o be j(14). Let l = -864 + o. Is 37 a factor of l?
True
Let m be 84/20 - (-3)/(-15). Suppose 0 = -t - i + 1, m*t - 7 = 2*t - i. Suppose 0 = 5*k + y + 4*y - 520, -t = -3*y. Is k a multiple of 17?
True
Let p(a) = 21*a + 47. Let m be p(-2). Suppose -330 = -10*g + 8*g + m*v, g = 3*v + 165. Does 55 divide g?
True
Let r = 28301 + -16411. Is r a multiple of 10?
True
Let w(n) = -7*n - 45. Let o be 2*14/(-10)*5/2. Let p be w(o). Suppose p*k = -2*c + 3*k + 555, -c + 3*k = -260. Does 55 divide c?
True
Let t = -927 - -932. Suppose 0 = -3*v + 2*x + 138, -93 = -2*v - 4*x + t*x. Does 6 divide v?
True
Suppose -16 = 2*l + 4*j, j - 10 = 3*j. Suppose 6*d = y + l*d - 137, 0 = 5*d. Suppose -5*g + 812 - y = 0. Does 45 divide g?
True
Let p(s) = -8*s + 3. Let q(h) = -h**2 + 42 + 3*h - 46 + 0*h**2. Let w be q(4). Does 8 divide p(w)?
False
Let z be 12/(4 - (-60)/(-18)). Suppose -3*m + 5*n = -730, -23*m + 1196 = -z*m + 2*n. Does 30 divide m?
True
Suppose 39740 = 7*a - 4*a - 7*l, -4*a + 52976 = -4*l. Does 15 divide a?
False
Let g be ((-108)/(-42))/((-5)/(-35)). Let k = g + 366. Does 6 divide k?
True
Suppose 22*u - 19*u = 6, 2*u + 27876 = 5*f. Suppose 5*q - 4*s = -7*s + f, -3*s + 1120 = q. Is 13 a factor of q?
False
Let k(y) = -y**3 + 4*y**2 - 4*y + 5. Let f be k(3). Suppose 5*z + 0*z - 3*j - 7291 = 0, -f*j = 3*z - 4386. Is 14 a factor of z?
False
Does 32 divide (-386672)/220*(-20)/8?
False
Let y = -4769 - -5058. Is 13 a factor of y?
False
Let w(n) = -25*n - 137. Let q(k) = -23*k - 136. Let h(u) = -4*q(u) + 3*w(u). Is h(13) a multiple of 45?
False
Let d(y) be the first derivative of 15 - 22*y + 1/3*y**3 + 9/2*y**2. Is d(-12) a multiple of 3?
False
Let p be (1/(12/(-8)))/(1/(-3)). Suppose 0 = -5*t + p*u + 123, -7*u = 2*t - 4*u - 53. Is t a multiple of 25?
True
Let f be 4*3/24*216. Suppose -226 = -2*k - 3*v + v, -4*v - f = -k. Suppose -w - w = -k. Is 7 a factor of w?
True
Let b = -7649 - -11253. Is b a multiple of 17?
True
Let d = -17350 + 35980. Is d a multiple of 90?
True
Let n = 5915 - -8484. Is n a multiple of 22?
False
Suppose 567*v + 7*v - 1942416 = 0. Is v a multiple of 18?
True
Let f(x) = -21*x - 30. Let i be f(0). Is (111/(-6))/(3/i) a multiple of 8?
False
Let k(n) = n**3 - n - 4. Let m be k(0). Let s(z) = -600*z - 89. Let y(b) = -142*b - 22. Let a(g) = -2*s(g) + 9*y(g). Does 16 divide a(m)?
False
Let j = 5184 + -817. Is 11 a factor of j?
True
Let o = -246 - -210. Is (-3)/(-4) + (-2385)/o a multiple of 16?
False
Suppose 61*m - 401040 = 16*m. Is m a multiple of 16?
True
Let u(i) = -i**2 - 19*i + 60. Let o be u(19). Let a = o + 1166. Is 63 a factor of a?
True
Is 6 a factor of (-2)/(-12) + (-108875)/(-150)?
True
Let l(g) = -2*g**3 + g + 64. Let o be l(7). Let p = 229 - o. Is 70 a factor of p?
False
Suppose 2*v - 4*v = 3*h - 6588, 5*h - 6584 = -2*v. Does 11 divide (2/(-6))/((28/v)/(-4))?
False
Let q = -75 - -83. Suppose -15 = -q*s - 79. Does 14 divide 236 - (s/28 + (-30)/(-7))?
False
Suppose 8*c = -57 - 79. Is (32*c + -3)*-1 a multiple of 25?
False
Suppose -138*o - 36 = -137*o. Let i = o - -180. Is 7 a factor of i?
False
Let f be 2332/(-8) - (-7)/14. Let u = f + -49. Let y = -233 - u. Does 20 divide y?
False
Let o(p) = 51*p**2 - 113*p - 15