oes 36 divide g?
False
Suppose -5*k = 61 + 139. Let q = 45 + k. Suppose 80 = r + 2*p, 8*r = q*r + 5*p + 295. Is 17 a factor of r?
False
Does 124 divide 1/((-3 - -7) + 188971/(-47243))?
False
Suppose 3*u + u - 39 = 5*y, 0 = -u - 5*y - 9. Suppose -d + 1666 = u*d. Is d a multiple of 7?
True
Let p(x) be the first derivative of 9*x**2/2 - 31*x + 559. Let y be (0 - 21)*1/(-3). Does 12 divide p(y)?
False
Let h(i) = -4*i**3 - i**2 + 7*i + 168. Does 234 divide h(-15)?
True
Suppose 10*y - 16*y = -s - 222678, -5*y = -s - 185566. Is 30 a factor of y?
False
Let a(r) = 44*r**2 - 522*r + 2639. Is a(5) a multiple of 6?
False
Suppose -11*d + 270 = -6*d. Suppose 5*w - r = 38 + d, -w = -r - 20. Suppose 5*f - 147 = w. Is 11 a factor of f?
True
Let w be (3 + -2)*(-2 + 4). Suppose -w*u = -330 - 276. Does 12 divide u?
False
Let s be (-1)/((2 - 1)*6/(-498)). Let f = s + -79. Suppose f*t - 2*g - 728 = 0, 0*t + 368 = 2*t + g. Does 10 divide t?
False
Let d be ((-26)/39)/(2/(-519) - 0). Let a = -148 + d. Is a even?
False
Let t be 7559/2 - 22/(-44). Suppose -43*z + t = -7*z. Is z a multiple of 30?
False
Let h = 63 + -8. Let n = h - 50. Suppose -3*o - 4*t = -n*t - 290, 5*t = -5*o + 470. Is o a multiple of 12?
True
Let k(c) = 4*c**2 + 15*c - 4. Let j be k(7). Let h = 356 - j. Is h a multiple of 21?
False
Let f = -808 - -1034. Is f a multiple of 10?
False
Let w(c) be the third derivative of 0 + 0*c**4 - 11/60*c**5 + 10/3*c**3 + 0*c - 1/120*c**6 - 17*c**2. Does 20 divide w(-11)?
True
Let w(u) be the third derivative of u**6/120 + 13*u**5/60 + u**4/2 + 25*u**3/6 + 22*u**2. Let i be w(-8). Suppose 14*r - i - 297 = 0. Is 13 a factor of r?
True
Let w = -2810 - -2825. Is 8 a factor of w?
False
Suppose 5*x - 50 = -0*t - 5*t, -4*x + 3*t = -33. Let g(a) = a**2 + a - 35. Is 11 a factor of g(x)?
True
Let f = 11567 + -7347. Is f a multiple of 11?
False
Suppose 5*h - 389*m + 390*m = 14777, -11824 = -4*h - 2*m. Does 5 divide h?
True
Let l = 471 + -364. Suppose 97*h = l*h - 4740. Is h a multiple of 3?
True
Let v(w) = -w**3 + 9*w**2 - 7*w - 8. Let x be v(8). Suppose -5*m - 2*a + 1096 = 0, -2*m - 2*a + 291 + 145 = x. Is 20 a factor of m?
True
Let r(c) = 3*c**2 + 478. Does 7 divide r(-26)?
True
Let w be 4 + -2 + 744/6. Suppose 0 = 5*r - 4*u - 14, -3*r - 5*u = -7*r + 13. Suppose -8*z = -r*z - w. Is 21 a factor of z?
True
Let s = 27125 + -654. Is s a multiple of 103?
True
Let i = 256 + -176. Is 16 a factor of (-3)/((-255)/i - (0 + -3))?
True
Let m = -1472 + 944. Does 5 divide 6 + 9/((-54)/m)?
False
Let f be (286/(-72) - (-2)/9)*-4. Let y be (111/f)/(0 + 3/15). Suppose -34*z + y*z - 81 = 0. Is 3 a factor of z?
True
Let u be (5/(-15) + 1)*6. Is 41/u - ((-81)/(-36) - 3) even?
False
Suppose 15*u - 5408 = 7*u. Suppose u = -11*t + 3536. Is 10 a factor of t?
True
Suppose -q - 7 + 2 = 0, -5*s = 3*q. Suppose 3*t - s*f - 139 = -16, -2*t = -5*f - 70. Is 9 a factor of t?
True
Let o = -53 - -201. Let z = -962 - -1094. Let w = z + o. Is w a multiple of 40?
True
Suppose -7*o - 480 = -39. Let a = -74 - o. Does 11 divide 4/(-3)*957/a?
False
Let o = -820 + 1221. Let h = 642 - o. Is 4 a factor of h?
False
Let r = -1865 - -1861. Let k be -2 + -1*(-5 + 0). Does 21 divide (1 + -19)*r/k - 3?
True
Let l = 7322 + -450. Is 8 a factor of l?
True
Suppose -21*k - z = -3*z - 1361201, 0 = 5*z + 5. Does 53 divide k?
True
Let m be -7*10/(-14) - 410. Let v = m - -700. Is v a multiple of 10?
False
Suppose 38*x - 42*x = -16, 5*x = -3*w + 2981. Does 21 divide w?
True
Suppose 3699 + 81 = 5*p. Suppose -3*x + 2217 = -3*k, -752 - p = -2*x - 4*k. Does 24 divide x?
True
Suppose -4*r + 0*r - p + 197 = 0, -3*r = 2*p - 154. Suppose 4*h - 5*t - 86 = 0, r = 5*h + 3*t - 41. Let q = h - -53. Is 24 a factor of q?
True
Let o = -778 + 261. Let k = -173 - o. Does 42 divide k?
False
Let z = 11844 - 11475. Does 25 divide z?
False
Suppose 4*d - 79 = 5*s, s - 88 = -5*d - 11. Let z(y) = 20*y - 16. Is 35 a factor of z(d)?
False
Let k(g) = 13*g**2 + 2*g - 3. Let i be k(2). Let v = -1696 - -1821. Let j = v - i. Is j a multiple of 6?
True
Suppose 0 = 16*z - 3*z - 39. Suppose 2 + z = n. Is ((-1725)/n)/(-5) - -3 a multiple of 12?
True
Let o be (195/10)/((-1)/(-54)). Let z = -699 + o. Is z a multiple of 19?
False
Suppose -414*u + 13785824 = 659188 - 4295726. Does 13 divide u?
False
Let i(l) = -l**3 + 19*l**2 - 19*l + 26. Let q be i(18). Let a be (-12)/(-15)*(-4)/q*-110. Suppose -28 - a = -3*d. Is 19 a factor of d?
False
Let q = 124 - 118. Suppose -1194 = -11*n + q*n - 3*g, 4*g + 8 = 0. Is n a multiple of 30?
True
Let b(s) = -18*s**3 - 3*s**2 + 43*s + 242. Does 33 divide b(-5)?
False
Suppose 164*u = 29*u + 1941840. Is 58 a factor of u?
True
Suppose -2*c + 0*g = -4*g - 28, 3*g = -c - 11. Suppose 1942 = 3*o + 28*l - 24*l, c*l = -8. Does 7 divide o?
False
Let v(u) = 181*u**2 + 55*u + 65. Does 14 divide v(8)?
False
Let b = 6858 - 3833. Suppose -4*k - 2*l - 3*l = -b, -6 = 2*l. Does 20 divide k?
True
Let x(k) = -6*k - 5. Let q be x(-2). Suppose 0*l - a - q = -3*l, 5*l + 3*a - 21 = 0. Suppose 0 = l*u - u + 2, 0 = -4*g - 5*u + 571. Does 12 divide g?
True
Let i = -24326 - -26449. Is 11 a factor of i?
True
Is (-178)/(((-352)/(-680))/(-22)) a multiple of 63?
False
Suppose 0 = -3*a - 3*f + 2028, 3*a = -0*a - 4*f + 2031. Let w = -385 + a. Is 24 a factor of w?
True
Is 15 a factor of (20 - (-43)/(-2))/(3/(-60570))?
True
Let p(s) be the first derivative of -5*s**3/3 - 167*s**2/2 + 35*s - 150. Is p(-31) a multiple of 37?
True
Suppose -9*n - 1 + 91 = 0. Suppose -12 = n*a - 52. Does 46 divide a/(-7) + (-3260)/(-70)?
True
Suppose -157*t + 1030016 = -60*t + 111*t. Is 221 a factor of t?
False
Let o = 11 + 69. Suppose p = -2*w + o, -131 = -4*p + 5*w + 137. Is p a multiple of 11?
False
Let i be 6 - (-5 - (1 - 8)) - 105. Let r = i - -332. Does 8 divide r?
False
Suppose 1013 = -7*z - 177. Let q = z - -219. Does 7 divide q?
True
Suppose 79*g - 8093 - 176557 = 82844. Does 20 divide g?
False
Let l(m) = m + 7. Let y be l(-5). Suppose -4*b + 4190 = w, -5*b + 3525 + 1719 = -y*w. Does 18 divide b?
False
Is 22 a factor of 31456/32 - (-12 + 1)?
False
Let y be -3*(-309)/135 - 22/(-165). Suppose -2*a + y*a - 4845 = -5*g, -2*a - g + 1941 = 0. Is a a multiple of 13?
False
Does 95 divide (-243748)/(-25) - 20 - (-4)/50?
False
Suppose -6041*l + 95880 = -6021*l. Does 47 divide l?
True
Let u be (-2)/5*((-2130)/4 - -5). Let p = u + -33. Does 39 divide p?
False
Suppose -5*n - 5*y + 30 = 0, -6*y + 4*y = -8. Suppose 4*j - 244 = -4*r, 2*r = n*j - 28 - 74. Does 3 divide j?
False
Suppose -67*r - 1318 = -69*r. Let l = r + -328. Does 23 divide l?
False
Is (2 - 0) + (-31)/(186/(-12264)) a multiple of 33?
True
Suppose 23*v + 20825 = o + 28*v, 62315 = 3*o - 5*v. Does 308 divide o?
False
Let r(s) = -5*s**2 + 52*s + 20. Let o be 0 - ((-22)/2 - -3). Is r(o) a multiple of 4?
True
Suppose 4*k + 13 = 9*k + 4*s, -5*k - 5*s + 10 = 0. Suppose 144 = k*c - 621. Does 51 divide c?
True
Does 12 divide 7 + 3/9*6711?
True
Suppose l = -2, 0 = -7*c + 2*c + 4*l + 7358. Is c a multiple of 30?
True
Let d = -43 - -39. Let w be -712*1*d/8. Suppose -5*r + w = 3*m - r, -2*r = -3*m + 326. Is 23 a factor of m?
False
Suppose -6842835 = -211*a + 4197318. Is 321 a factor of a?
True
Suppose -l + r + 9010 = 0, 25*l = 28*l - 4*r - 27028. Does 12 divide l?
True
Is 100 a factor of (594 + 5 + 1)*2541/42?
True
Let s(c) = 6*c + 68*c**2 - 67*c**2 - 56 - 7. Does 36 divide s(-21)?
True
Suppose -24 = -129*f + 141*f. Does 17 divide f + 11694/14 - 276/966?
True
Suppose 0 = 6*q - 7 - 17. Suppose -2*v + 14 = -k, -q*v - 4*k + 7*k + 26 = 0. Is v a multiple of 8?
True
Suppose 0 = -10*a + 5186 + 1254. Is a a multiple of 6?
False
Let x(f) = 2*f + 38. Let l be 6/(-9)*-6 - 189/21. Does 4 divide x(l)?
True
Let g = -27 - 24. Let r = -171 - g. Let k = 155 + r. Is 7 a factor of k?
True
Let k(n) = -92*n - 2041. Does 18 divide k(-77)?
False
Let n(d) = d**3 - 5*d**2 - 6*d. Let t be n(6). Suppose -8*r + 5*r + 3 = t. Does 18 divide ((-60)/35)/(r/(-21))?
True
Let o(v) = -v**3 - 10*v**2 + 11*v - 12. Let i be o(-10). Let k = i + 208. Is 39 a factor of k?
False
Suppose -56*f - 11*f = 25*f - 2601024. Is f a multiple of 38?
True
Let p(q) = q**3 + q**2 + 2*q + 3. Let k be p(0). Suppose -5*d - 29 = -k*b, -5*d = -3*b - d + 25. Let w(i) = 10*i - 15. Is 3 a factor of w(b)?
True
Let