a factor of m?
True
Suppose 5796 - 5748 = 8*i. Let j(n) = -20*n + 13. Let l(z) = -z. Let w(f) = -j(f) + 2*l(f). Does 19 divide w(i)?
True
Suppose -2*r = j - r - 2, -2*j - 3*r + 8 = 0. Is (j/(-3))/((-56)/(-6636)) a multiple of 67?
False
Suppose 0 = -2*b - b - 48. Suppose 11*s = 7*s + 5*a - 918, 4*s + 3*a + 934 = 0. Does 21 divide b/12 + s/(-3)?
False
Let r(b) = b**3 + 24*b**2 + 23*b + 7. Let i be r(-23). Suppose -i*f + 2*f = -10. Suppose 0 = -l + 3*l - 5*c - 128, 8 = -f*c. Is l a multiple of 20?
False
Let p(k) = 551*k - 58. Let m(t) = -t**3 + 4*t**2 + 10*t + 13. Let a be m(6). Does 28 divide p(a)?
False
Let x be 33 + 1 + -1*6 - 5. Suppose -x*c + 20828 = -12292. Does 89 divide c?
False
Let p be -1 - 1*(-24)/4. Suppose -3*k + 280 = -4*x + 9*x, 2*k - 145 = p*x. Is 17 a factor of k?
True
Suppose -2*b + 4*n = b - 8, 3*b - 5*n = 10. Suppose -14*u + 6*u + 88 = b. Suppose -8*c + u*c = 60. Is 5 a factor of c?
True
Let f(i) = 24*i + 9*i + 20*i - 10 - 91*i. Is 12 a factor of f(-5)?
True
Let j(f) = f**3 - 112*f**2 + 174*f - 133. Is 49 a factor of j(111)?
True
Suppose -22*y = -117825 - 16749. Does 105 divide y?
False
Let c = 176 - 171. Suppose -c*f = -190 - 135. Is 13 a factor of f?
True
Let n be 6*(-4 - -9)/(-5). Let l be (0 - n/(-9))/((-2)/(-3)). Is 7 a factor of (0 - (-4 - l))/(3/14)?
True
Let j(n) = 49 + 14*n + 33*n - 14 - n + 2*n**2. Let u be j(-22). Is 19 a factor of 4*u/(-12) - (-170 - -2)?
True
Suppose -224*r + 68 = -207*r. Let z(h) be the first derivative of 11*h**2/2 + 9*h + 1. Is 27 a factor of z(r)?
False
Suppose -5*a - s = -34, -2*s + 10 = -a + 2*s. Suppose -4*u = -3*u + 4, 5*c + 5*u - 30 = 0. Suppose -440 = a*v - c*v. Is 11 a factor of v?
True
Suppose 1377*d = 1332*d + 1611540. Is 138 a factor of d?
False
Suppose -8*i - 17742 = -143470. Is 209 a factor of i?
False
Let p(u) = -14*u + 4. Let w be p(5). Does 7 divide (693/w)/(3/(-100))?
True
Let r(i) = i - 3. Let w be r(3). Suppose 6*t + w*t - 2*t = 0. Suppose 3*l = -t*l - 5*s + 209, 5*s = -l + 53. Does 26 divide l?
True
Suppose -4*x + 24 = -5*t + t, 4*t = -4*x. Suppose -x*f = 2*k + 2*k - 1129, -k + 311 = -5*f. Does 34 divide k?
False
Let o = -40 - -28. Let i = 16 + o. Suppose 94 = a + i*u, -u = 2 - 3. Does 10 divide a?
True
Let l(h) = 6*h + 239. Let g be l(-31). Suppose -g*k + 5184 = -35*k. Does 24 divide k?
True
Suppose -2*v - 4*c = -17884, 2*v + c - 22741 + 4854 = 0. Does 52 divide v?
True
Let d(y) = -100*y + 2108. Does 17 divide d(-10)?
False
Suppose 3*c + 0*v = v + 2, c - 4*v - 19 = 0. Is 29 a factor of 1 - (-1101 - (c - 2 - -3))?
True
Let m = 148 - 146. Let i be m*(-3)/(2 - 5). Suppose -w + 38 = -0*w - 3*x, -i*x - 93 = -3*w. Is 3 a factor of w?
False
Let n = 837 + -477. Let v = 169 + n. Is v a multiple of 23?
True
Suppose 3*k + 2*r + 126 = 0, 3*k + 129 = 4*r - 5*r. Let m = -38 - k. Suppose -m*u + 360 = -u. Does 24 divide u?
True
Let p(y) = 86 + 217*y + 219*y - 433*y. Let t be p(0). Is 9 a factor of t*(-4)/16*-2?
False
Suppose -13*u = q - 18*u - 14537, -2*q = 5*u - 29104. Suppose -15*d + 42147 = q. Does 64 divide d?
False
Let g(h) = 413*h - 13. Let k be 6/16 - -25*8/320. Is g(k) a multiple of 20?
True
Let b = 311 + -307. Suppose -8*k + 1312 = -b*k. Is 6 a factor of k?
False
Let g(x) = -x**3 - 4*x**2 + 6*x + 9. Let a be g(-5). Let y be (-2)/2 + (40 - -1). Suppose a*t + 148 = 3*l, 0 = -l - 2*t - 4 + y. Is l a multiple of 11?
True
Suppose -522*s = -509*s + 78. Let i(h) = -165*h - 240. Does 50 divide i(s)?
True
Let m = -14 - -16. Let o be 4/(1/(m + -1)). Suppose o*g + 8*r - 293 = 3*r, 4*g - 2*r = 314. Is 7 a factor of g?
True
Is (-256140)/27*180/(-150) a multiple of 92?
False
Is (22 - (-2523)/(-116)) + (-237599)/(-4) a multiple of 15?
True
Suppose 8*u - 2*b - 3903 = 3*u, -u + 777 = -4*b. Suppose -5*p + u = -2*q + 6*q, -4*q - 749 = -5*p. Let r = p + -83. Is 13 a factor of r?
False
Suppose t + 0*h - 4*h = -2, -2*h = 3*t - 22. Suppose -m = -t*m - 20. Does 6 divide ((-28)/(-8))/((-2)/m)?
False
Let p = 36 - 36. Suppose -4*m + 5*m - 4*l - 74 = p, m = 5*l + 74. Suppose 3*r = -m + 248. Does 21 divide r?
False
Let j = 425 + -225. Suppose 3*k - 63 = -u, 0 = 5*u - u - k - j. Suppose 150 = 3*f + u. Is 3 a factor of f?
True
Let c(r) = r**3 + 8*r**2 + 3*r. Let g = 34 - 30. Suppose g*p + 20 = -u - 13, -p - 4*u = 27. Does 7 divide c(p)?
True
Suppose -27 = -5*p - t, -4*p - 4*t = -1 - 27. Suppose p*x = -5*h + 240, -x - 139 = -3*h - 5*x. Let o = 125 - h. Does 18 divide o?
True
Let n = 44 + 30. Suppose 0 = 3*x - 5*x + n. Suppose -3*l + x = 13. Does 6 divide l?
False
Let m(q) = 973*q + 244. Is 18 a factor of m(9)?
False
Let h(g) = g**3 + 15*g**2 + 12*g - 25. Let m be h(-14). Suppose -4*b + 12 = x, -3 = 4*b + m*x - 15. Let u(i) = 31*i + 7. Is u(b) a multiple of 10?
True
Let n(q) = -3*q - 13. Let k = 47 + -52. Let i be n(k). Suppose i*z = 5*z - 216. Is 12 a factor of z?
True
Does 15 divide 53952/10 - 96/80?
False
Does 131 divide (-144)/(-1 + 2)*26593/(-609)?
True
Let l(v) = 59*v - 35. Let p be 3*-2 + (15 - (10 + -6)). Is 49 a factor of l(p)?
False
Suppose -4 = 4*p - 2*s, -3*p + 0*s = 5*s - 10. Let y(w) = 19 + p*w**2 + w**2 + w - 17. Is 11 a factor of y(-7)?
True
Suppose 1550795 = 24121*p - 24078*p. Is 12 a factor of p?
False
Let c(o) = -o**2 + 14*o + 8. Let q(z) = 5*z + 3. Let l(n) = -3*c(n) + 8*q(n). Does 25 divide l(9)?
True
Suppose -2*h - 405*f + 35520 = -402*f, 0 = 5*h + 2*f - 88756. Does 87 divide h?
True
Let w(c) = 14*c + 461. Does 3 divide w(17)?
True
Suppose c - 479 = 1732. Let g(v) = -8*v - 90. Let h be g(-11). Is h/15 - c/(-45) a multiple of 7?
True
Suppose 4*m = -4, 9*m = -6*l + 9*l - 16590. Is 12 a factor of l?
False
Let u be (4600/23)/((-94)/(-90) + -1). Suppose 8*t + u = 33*t. Is t a multiple of 15?
True
Let m = 121 + -85. Suppose -m*d = -40*d + v + 387, v = 3*d - 291. Is 6 a factor of d?
True
Let k(d) = 3*d**3 - 3*d**2 + 2*d + 1. Let m be k(3). Let q(r) = r**3 + 11*r**2 + 4*r. Let i be q(-11). Let y = m + i. Is y a multiple of 12?
False
Suppose 4*u = -3*t + 35, 4*t + u + 2*u = 35. Let s be 0 + 0 + t + (1 - 1). Suppose -s*g + 3*g = 3*j - 77, -121 = -3*g + j. Is 8 a factor of g?
True
Let r(p) = 26*p**2 + 115*p - 701. Let z be r(6). Suppose 29 + 1 = -3*v. Is 10 a factor of ((-4)/5)/(v/z)?
False
Suppose 18 - 2 = -2*j. Let s be j - -90 - -1*(-2 - 1). Let n = -60 + s. Does 19 divide n?
True
Let b(x) = 2*x**2 - 8*x - 5. Let r be b(5). Let n be 1*5 + (-15)/r. Is (n + 4)*70/3 a multiple of 35?
True
Suppose 178 = -3*z + 5*y, -5*z - y - 268 = -z. Let x = 69 + z. Suppose -5*h + 199 = -x*j, 2*h - 25 = 5*j + 47. Does 21 divide h?
False
Let v(k) = 261*k**2 - 83*k + 1. Let n be v(4). Suppose -777 = -i - 5*p + 8*p, 0 = -5*i + 5*p + n. Is i a multiple of 15?
True
Suppose 0 = 3*i + 9*c - 13*c - 2867, 5*i - 4787 = -2*c. Suppose i = 6*s - 2589. Does 13 divide s?
False
Let q be (6/(-4))/(36/(-240)). Does 24 divide (8 - (-1550)/q) + 5/1?
True
Let m(b) = 2*b**2 - 3. Let x be m(-5). Suppose 39*l + 1152 = x*l. Is l a multiple of 18?
True
Let k = 8115 + -2676. Is k a multiple of 147?
True
Let n be (1*(-9 - -3) - -4)/(-1). Suppose -1251 = -l + 3*r - 2*r, 0 = l - n*r - 1252. Suppose 0 = -3*j - 4*a + 179 + 545, 2*a = 5*j - l. Is j a multiple of 23?
False
Is 22094 - (-33 + 133/7) a multiple of 41?
False
Let p be (12/(-20))/((-8)/11720). Let a = p + 1070. Does 78 divide a?
False
Let l = -1134 - -2050. Suppose -3*r + 18 = -4*f - 17, 2*r - 8 = -5*f. Suppose -1167 = -5*v + 3*b, r*b - l = -4*v + 7*b. Is 35 a factor of v?
False
Let w = -9903 + 14569. Does 10 divide w?
False
Let m(r) = -9*r - 17. Suppose 2*p = -6 + 46. Suppose p = -2*u - 2*u. Is 14 a factor of m(u)?
True
Let x be (9/(9/86))/((-6)/12). Let i = x + 949. Is i a multiple of 21?
True
Let m(f) = -5 - 59*f + 2 + 105*f. Let p = -17 + 18. Does 3 divide m(p)?
False
Let d(n) be the third derivative of -2*n**6/15 - n**5/30 - n**4/8 - n**3/3 + 3*n**2. Let l be -1 - 6*2/12*0. Is 6 a factor of d(l)?
False
Suppose -2*m + 21 = -55. Let o be 168/18*(-1 - 2). Let n = m - o. Is n a multiple of 3?
True
Let u(o) be the third derivative of 5*o**4/8 - 19*o**3/6 - 40*o**2 - 2. Is u(6) a multiple of 4?
False
Let y(a) = -a**3 - 7*a**2 - 9*a - 18. Let w be y(-6). Suppose 4*j = 5*s - 525, w = 4*j - s + 834 - 297. Is 8 a factor of (96/(-10))/(18/j)?
True
Let x = -73 - 3. Let p = 108 + x. Is p a mul