174?
True
Suppose 5*p + v + 0*v - 13 = 0, 4*p - 4*v - 20 = 0. Suppose -p*x = -i + 621, 7*i - 3*i - 2508 = 4*x. Is 42 a factor of i?
True
Suppose -84669 + 26672 = -12*n + 70391. Is 19 a factor of n?
False
Let a(h) = h**2 - 11*h - 22. Let o be a(13). Let l = -8 + o. Let j(v) = -11*v. Does 11 divide j(l)?
True
Does 20 divide 8/(-36)*66084*39/(-52)?
False
Is (-159426)/1224*8/(-2) a multiple of 69?
False
Let h = -529 + 1159. Suppose 4*x - h = k, 595 + 199 = 5*x + 2*k. Does 6 divide x?
False
Suppose 5*k = -5*s + 13600, -7 = 2*s - 3. Does 43 divide k?
False
Suppose -43*w + 160368 + 117829 = -24910. Does 53 divide w?
True
Let i(h) = -5*h**3 - 11*h**2 + 23*h + 33. Let r(p) = 14*p**3 + 34*p**2 - 67*p - 98. Let s(l) = -11*i(l) - 4*r(l). Does 8 divide s(-16)?
False
Suppose 0 = -11*r - 3*r + 84. Suppose r*a = 8*a - 324. Let g = a - 66. Is 24 a factor of g?
True
Let i = 281 - 217. Is (i/28)/(2/14) a multiple of 11?
False
Let c(i) = i**3 + 21*i**2 - 2*i + 24. Let z = 171 + -80. Suppose -10*w - z - 119 = 0. Is 15 a factor of c(w)?
False
Let g = 462 + -457. Let z(k) = 26*k + 24. Is z(g) a multiple of 12?
False
Is 51 a factor of (53/424 - (-43)/40)*1105?
True
Is ((-3834)/1)/(6 + (-372)/60) a multiple of 71?
True
Suppose 2*m - 2*q - 10 = -m, 0 = 5*m + q - 21. Suppose -y - m*v = -6, -5*v - 2 + 11 = 2*y. Does 11 divide (y - -7)/3 + (-13)/(-1)?
False
Let i = 60 + -50. Suppose -540 = 7*z - i*z. Suppose -4*o + o + z = 0. Is o a multiple of 12?
True
Let b be 6/(-4) + (-588)/(-24). Let j = b + 4. Is 9 a factor of j?
True
Let q = -494 + 497. Suppose -1266 = -5*j - q*m + 594, -2*m = -10. Is j a multiple of 19?
False
Let u(h) = 5*h + 15. Let m be u(-6). Let o = m - 17. Let t = o - -43. Is t a multiple of 11?
True
Suppose j = -36*d + 31*d + 31842, 6 = -2*j. Is d a multiple of 7?
False
Suppose -5*b - 5*k = -15, 0*k + 18 = 5*b + 2*k. Suppose b*f - 177 = 383. Does 7 divide f?
True
Let i(d) = -4*d - 20 - 28*d - 38*d. Let u = -446 + 444. Is i(u) a multiple of 24?
True
Let m(i) = 3*i**3 + 4*i**2 + 8*i + 77. Let d be m(-5). Let k = d + 525. Does 5 divide k?
False
Suppose 1018396 = -29*r + 130*r - 376010. Is 18 a factor of r?
True
Suppose -4*i = 5*n - 657, n - 19 - 145 = -i. Suppose -4*g + 837 = y, -i = -4*g + 2*y + 659. Is 16 a factor of g?
True
Suppose -4*t + 48 = 2*t. Is ((-18)/t)/(6 - 6741/1120) a multiple of 40?
True
Let z be (-60)/(-50)*(-2 - -7). Suppose 3*n = -5*a + 66, 0 = -2*a - 3*n - 4 + 25. Suppose z*p - a = p, -132 = -u - 5*p. Is u a multiple of 24?
False
Let k be 2*(2 - -2) + 2. Let m be (-30)/((-25)/k - -2). Let r = m - 40. Is r a multiple of 10?
True
Is (-14 - 10 - -11) + 5557 a multiple of 15?
False
Let x(k) be the third derivative of -1/6*k**3 + 1/15*k**5 - 1/8*k**4 + 0*k + 6*k**2 + 0. Does 3 divide x(-2)?
True
Let p(r) = 775*r**2 + 407*r - 2772. Is 14 a factor of p(7)?
True
Let m be 190/57*6/5. Suppose -110 = -m*z - 18. Does 21 divide z?
False
Let g = -459 + 191. Let t = 378 + g. Suppose -5*o + 3*i + t = 0, 2*o + 5*i - 3*i - 44 = 0. Is o a multiple of 9?
False
Suppose -22*k = -83 + 105. Let h(n) = -18*n + 8. Is h(k) a multiple of 13?
True
Is (-2 - -1)*((-13)/13)/((-5)/(-14290)) a multiple of 40?
False
Let u(n) = n**3 - 24*n**2 + 41*n + 31. Let o be u(22). Is ((-40)/14)/(o/3185) a multiple of 26?
True
Let b = 222 + -215. Is 11 a factor of 1750/3 + ((-28)/12)/b?
True
Let o(i) = i**3 + 3*i**2 + 4*i - 4. Let h be 4*(-3)/(-72) - 52/24. Let m be 3 - 4/(-6 - h). Is 31 a factor of o(m)?
True
Let j(d) = -d**2 - 16*d + 10. Let w be j(-13). Let t = -40 + w. Let i(r) = -r**3 + 10*r**2 + r + 15. Does 24 divide i(t)?
False
Let j(b) = 17*b**3 - 43*b**2 + 44*b**2 - 5 + 1 - 62*b**3. Is 30 a factor of j(-2)?
True
Suppose -9494 - 16012 = -9*n. Is 109 a factor of n?
True
Let j(a) = -a**3 - 8*a**2 + 18*a - 19. Let z be j(-10). Is 12/(z + 4/12) a multiple of 9?
True
Let s(r) = r**3 + 4*r**2 - 13*r - 8. Let y be s(-6). Let x be (y + 2)*(-4)/4. Suppose 5*z + k - 397 = x, 2*z + 2*z - 317 = -k. Does 23 divide z?
False
Let q(a) = 29*a**2 - 4*a + 16. Suppose -16 = -13*o - 68. Is q(o) a multiple of 31?
True
Let b(g) = 1108*g + 6407. Does 13 divide b(0)?
False
Suppose 0 = 69*j - 91*j + 23408. Is j a multiple of 20?
False
Suppose -3*w + d + d + 147 = 0, 0 = 2*d. Suppose -w*u - 180 = -50*u. Is u a multiple of 4?
True
Let m(c) = -31*c**3 + 2*c**2 - c. Suppose -34*d = -33*d + 2. Let s be m(d). Is 4 a factor of (2 - s/15)/((-6)/15)?
False
Let g(r) = r**2 - 9*r - 80. Let v be g(20). Suppose -2*q + 2*s = 2*q - v, 0 = -4*q + 3*s + 140. Is q a multiple of 7?
True
Suppose -8*p - 30 = -6. Let f be p/(-1) - 0/4. Suppose -k - 3*k = -2*u - 356, -4*k - f*u + 346 = 0. Is 9 a factor of k?
False
Let o be (-4 + (0 - -3))*-4. Suppose 4*g - 64 = 3*q, g + 7*q = o*q + 1. Suppose -g*w = -8*w - 360. Does 36 divide w?
True
Let t(h) = -18442*h**3 - 3*h**2 + 12*h + 11. Does 16 divide t(-1)?
False
Is (-49)/14*(-3 - ((-124830)/(-35) - 1)) a multiple of 15?
False
Let u(r) = -r**3 + 11*r**2 + 17*r - 16. Let g be u(13). Let y = -52 - g. Suppose -4*a - f = -91, 2*a = -2*a - 3*f + y. Is 6 a factor of a?
True
Let a(c) = 8*c - 15. Let x be 39/26*4/3. Let m be a(x). Let l(w) = 30*w - 4. Is l(m) a multiple of 26?
True
Suppose -r + 18 = 2*r. Let m be (-6)/(-8)*16/r. Suppose 3*q - 384 = -4*z, 0 = 2*q - 4*z + m*z - 256. Does 17 divide q?
False
Let m(q) = q**3 - 4*q**2 + 2*q - 1. Let f be m(4). Suppose 2*v + 1 = f. Suppose v*t + t - 84 = 3*x, 4*t - 84 = 5*x. Does 4 divide t?
False
Suppose 8995 = 2*c + 3*p - 1391, -2*p - 25984 = -5*c. Is c a multiple of 121?
False
Suppose 9*r = -65 + 83. Suppose -r*c = 2*f - 1430, 3*c - 612 = -4*f + 2251. Does 35 divide f?
False
Suppose -3*j = -5*k - 19122, -4*j = -4*k - 12334 - 13178. Does 152 divide j?
True
Let i(k) = -k**3 + 3*k**2 + 4. Let q be i(3). Suppose -4*u - 55 = -5*r - 2*u, 0 = -q*r - 2*u + 44. Let t = 6 + r. Does 4 divide t?
False
Let h(w) = -5*w - 26. Let i be h(-7). Let c(s) = -s**3 + 11*s**2 - 6*s + 26. Is c(i) a multiple of 4?
False
Suppose 0 = 2*d - l - 14189, 4*d - 1239*l - 28348 = -1243*l. Is d a multiple of 127?
False
Suppose -z = 2*z - 2*z. Suppose 22 = -n - z*n. Is 14 a factor of (-180)/(-13) + n/(-143)?
True
Is (1*(-4)/6)/(304/(-235296)) a multiple of 3?
True
Suppose 13*z - 851 = 1684. Is z a multiple of 3?
True
Suppose x - 9*x + 288 = 0. Let o be x/48 + (-1)/4*187. Let i = o + 56. Does 10 divide i?
True
Suppose -39*j + 1011486 = -14253. Is j a multiple of 11?
True
Let d(s) = -2*s**3 + 42*s**2. Let z be d(21). Suppose -26*x + 60 + 3814 = z. Is 7 a factor of x?
False
Let l = 11535 + -5263. Is l a multiple of 49?
True
Let p(x) = 2104*x + 2781. Does 145 divide p(31)?
True
Suppose 85 = -21*m - 41. Is 10 a factor of (654/8)/(m/(-18 - 6))?
False
Let i = 12223 + -10840. Is i a multiple of 21?
False
Suppose -464 = -9*c - 23. Is 17045/c + (6/(-3))/(-14) a multiple of 38?
False
Is ((-15453)/(-2))/(((-98)/(-196))/((-6)/(-9))) a multiple of 108?
False
Suppose 0 = -4*n, 4*n = -w - 4*w + 5. Suppose -5*v - 2*y = -11, 0*v = 2*v + 4*y + 2. Is 13 a factor of v*-1 + 11 + 52 - w?
False
Let q(i) = -22679*i**3 - 35*i**2 - 34*i. Is q(-1) a multiple of 23?
True
Let u be -5 - 288/(-40) - (-2)/(-10). Suppose u*t - 292 = 728. Does 17 divide t?
True
Suppose 3*z + 2*d = 1600, -3*z + 5*d + 151 + 1477 = 0. Suppose -13*n = -z - 218. Is 2 a factor of n?
True
Let n(b) = 36*b**2 + 2776*b - 25. Is n(-79) a multiple of 21?
False
Suppose -431*x + 4*m - 34656 = -434*x, 5*m + 46208 = 4*x. Is x a multiple of 76?
True
Let p be (-2)/(-4) - 393/(-6). Suppose -3*t + 15*t = 7*t. Suppose 5*b + p - 366 = t. Is 30 a factor of b?
True
Let c(s) be the first derivative of 9*s**4/2 + 2*s**3 + 3*s**2/2 - 15*s - 135. Does 26 divide c(3)?
False
Suppose -286*p + 185*p = -350470. Is 10 a factor of p?
True
Suppose -114 = -3*k - 108. Is 24 a factor of 3/k*17232/72?
False
Let b = -557 + 567. Is 17 a factor of (-6 - -23)/(-5*(-2)/b)?
True
Suppose -3*u = 2*w - 14, u + 4*w = -4*u + 26. Suppose 5*o - 3*m + 8*m - 555 = 0, 5*o = -u*m + 546. Does 36 divide o?
True
Let r(s) = 4*s**2 + 22*s + 6. Let b be r(-7). Let x(u) = 2*u**2 + 90 - 19*u - b - 46. Does 19 divide x(11)?
False
Is 200 a factor of (-32562)/268*(3 + -109)?
False
Let u(j) = -20 + 135*j + 76*j - 81*j + 290*j. Does 20 divide u(1)?
True
Let b be (-15)/13 + (-1450)/(-130) + -11. Do