 (9 + -4 - 4). Let o = -54 - x. Is 2 a factor of o?
False
Suppose 2*g - s = -1 + 2, 0 = 2*g + 5*s - 7. Suppose -2*o + g = -11. Suppose 0 = -4*b + o*b - 144. Is 24 a factor of b?
True
Suppose r - 5 = 2*y - 3*y, -3*r - 5*y = -17. Suppose -r*v - 66 = -2*n + 44, 5*n - v = 230. Does 17 divide n?
False
Is 58 a factor of 8/(-1)*(-15 + -43)?
True
Let u(z) = 37*z**2 + 3*z - 2. Let i be u(-5). Does 23 divide 9/15 - i/(-20)?
True
Let x = 398 - 269. Does 6 divide x?
False
Suppose -3*r - 14 = 10. Let i(n) = 2*n**3 + 16*n**2 - 10*n - 8. Does 12 divide i(r)?
True
Suppose 4*n = 2*i - 8, -2 - 2 = 4*n - i. Suppose -5*v = 2*j + 9 + 10, n = j - 4*v - 10. Is 12 a factor of (-13 - j)/((-5)/15)?
False
Let d(h) = h**2 - 20*h - 58. Let i be d(25). Suppose -i*w = -66*w - 99. Is w a multiple of 33?
True
Let q(o) = -o**2 - 51*o - 2. Is q(-38) a multiple of 9?
False
Suppose -2*s + 4*s = 84. Suppose u - k = s, -3*k - 165 = -4*u - 0*k. Does 13 divide u?
True
Is (3 - 15) + 3 + 33 a multiple of 6?
True
Let w(k) = -1 - 7*k + 2*k**3 + 4 + 9*k**2 - k**3. Suppose 0 = -l + 16*l + 135. Does 22 divide w(l)?
True
Is (-648950)/(-300) + 2/(-12) a multiple of 23?
False
Suppose -n = -5*d + 904, -d - 69 = n - 245. Suppose 6*b = d + 108. Does 18 divide b?
False
Let r be 160/(-24) + 4/6. Let k = 0 - r. Suppose k*f + 140 = 11*f. Does 7 divide f?
True
Let i = 42 + 117. Suppose 5*v = -2*o + 75, -5*o = 3*v - 0*v - i. Let q = o + -15. Is 5 a factor of q?
True
Let v(o) = 10*o - o + 5*o - o + 2 + o**2. Does 22 divide v(-15)?
False
Let d be 2/(-3) - 44/(-12). Suppose 5*j - 4*q = 11, -d*q + 6 = j - 0. Suppose 0 = -p + j*p - 6, -p = 4*x - 251. Is x a multiple of 10?
False
Suppose q = 4*q - 9. Is 2 a factor of ((-1)/q - -1) + (-288)/(-54)?
True
Let v = 3 - -1. Suppose 0*t - 2*x = -t + 5, -5*t = -3*x - v. Is 5/2*6 + t a multiple of 14?
True
Let i be -3 + (-3 + 57 - 2). Let y = -87 - -119. Let g = y + i. Does 17 divide g?
False
Let s(x) = x**3 + 10*x**2 - 7*x + 18. Suppose -5*n = 3*v + 48, -4*n - n - 50 = 5*v. Is 27 a factor of s(n)?
True
Suppose a - 3*p = -0 + 6, -3*a = 2*p - 73. Let m = a + -11. Let f = -6 + m. Does 2 divide f?
True
Let c(j) = j**3 + 9*j**2 + 8*j - 5. Let r be c(-8). Does 24 divide (r/(-4))/(1/76)?
False
Suppose -167 = -2*d + 31. Suppose -4*w = -7*w + d. Suppose -32 = -z + w. Is z a multiple of 31?
False
Let g = 672 - 458. Is g a multiple of 11?
False
Suppose 0 = -5*k + 59 + 141. Suppose -48 = -5*l + 2*x, 5*l - k = -2*x - 8. Suppose 0 = -11*z + l*z + 144. Is z a multiple of 24?
True
Suppose -10*w + 7*w = -15. Suppose -3*c - w*p = -17, 7*p = -5*c + 3*p + 24. Suppose -4*i + 4*s + 432 = 0, c*i + 0*s + s - 407 = 0. Is 15 a factor of i?
False
Suppose -6*j + 4530 = -2424. Is j a multiple of 42?
False
Suppose -l + 15 - 1 = 2*q, -3*l + 37 = 5*q. Suppose 125 - 396 = -5*i - w, q*i - w - 279 = 0. Is 14 a factor of (-12)/(-30)*1*i?
False
Let r = 18 - 23. Let k(i) = -8*i + 17. Does 12 divide k(r)?
False
Suppose i + 1 = 0, 109*y = 108*y - i + 959. Is y a multiple of 48?
True
Let b be (-2)/(-1) - (7 + -5). Let q be -5*2/3*30/(-20). Suppose b = q*n + h - 6*h - 35, -20 = -4*h. Does 3 divide n?
True
Is 19 a factor of -3 + 286 + (-4 - -5) + 0?
False
Let r(n) = -549*n + 7. Let l be r(1). Let s = -344 - l. Is s a multiple of 22?
True
Suppose -78*j + 74*j = -704. Is j a multiple of 11?
True
Let n(g) be the first derivative of 2*g**3/3 - 3*g**2 - 11*g + 2. Does 6 divide n(-3)?
False
Let p = 83 + -81. Is (-9)/p*6*40/(-45) a multiple of 12?
True
Suppose -b + t = -1, -6*t + 10 = -t. Let k = b + 15. Is 14 a factor of k?
False
Let q(i) = -11*i**2 - 3*i + i - 9*i - 2*i**3 + 4 + i. Does 17 divide q(-7)?
True
Suppose -3*l - 8976 = -20*l. Is 66 a factor of l?
True
Suppose -60 = -7*u + 2*u. Let o(n) = -8*n + 8*n - 9*n + 13 + 12*n. Does 20 divide o(u)?
False
Let v = -3268 - -5605. Does 13 divide v?
False
Let a be (33/5 + 0/1)*5. Let h = 47 - a. Does 14 divide h?
True
Let v be 4/(-10) + (0 - (-1872)/(-20)). Let a = -56 - v. Is 8 a factor of a?
False
Is ((-12254)/77)/(5/(-105)*3) a multiple of 30?
False
Let c be (-1 - (4 + -51))*2. Let r = -42 + c. Is 10 a factor of r?
True
Suppose -10*d - 160 = -6*d. Let k = d + 65. Does 4 divide k?
False
Suppose 38*p = -3753 + 15913. Is 17 a factor of p?
False
Suppose 4*r - 1340 = 4*d, -696 = -2*r + 3*d - 28. Is 15 a factor of r?
False
Is 7 a factor of (0/(-2) - (-1274)/(-28))*-2?
True
Let a(v) = 9*v**3 - 18*v**2 - 3*v + 33. Does 7 divide a(5)?
True
Suppose -15*b = -23*b - 256. Is b*(-18)/(-15)*40/(-12) a multiple of 32?
True
Suppose 4*a - 152 = 4*w, -a = -4*w - 18 - 17. Let p = a - -91. Is 10 a factor of p?
True
Let b(t) = -2*t**2 - 29*t + 5. Let i be b(-20). Let z = -32 - i. Is 19 a factor of z?
False
Suppose k - 5 = 5*m + 6, 2*k - m = -5. Let z(x) = 17 - 5*x - 13 - 4*x. Is 14 a factor of z(k)?
False
Is 11 a factor of -25*(8/(-6))/((-45)/(-594))?
True
Suppose 0*h + 52 = -4*h. Let q(f) = -4*f + 12. Is q(h) a multiple of 11?
False
Let f(m) = 2*m**2 + 24*m + 17. Does 23 divide f(-25)?
True
Suppose -j - m = -4*j + 256, 4*j + 3*m - 324 = 0. Suppose 3*k + 420 = 5*r, -3*r - j = -4*r - 3*k. Is r a multiple of 42?
True
Suppose k + 2*y + 45 = -7, 268 = -4*k + 4*y. Let u = k + 37. Let m = u - -36. Is 5 a factor of m?
False
Let o be (2/(-6))/(4/(-216)). Suppose o*y - 87 = 17*y. Does 29 divide y?
True
Let c be 10/25 + (-492)/(-20). Let n = c - 14. Is n a multiple of 11?
True
Let d(t) be the first derivative of -13*t**2/2 + 10*t + 8. Is 12 a factor of d(-4)?
False
Suppose 74*r - 12411 = 67*r. Does 49 divide r?
False
Let g(a) = 54*a - 54. Is g(6) a multiple of 10?
True
Is 2 a factor of 1080/42*140/30?
True
Let m be 34/(-14) - 9/(-21). Let v = 74 + m. Does 10 divide v?
False
Let h = 1 + -88. Let w = 241 + h. Is w a multiple of 20?
False
Let u(c) = -c - c + 3*c. Let g be u(15). Suppose 11*i + 268 = g*i. Does 29 divide i?
False
Does 13 divide 1 + -2 + 630/6?
True
Suppose 7590 = 434*j - 424*j. Does 25 divide j?
False
Suppose 8 = -5*p + 28. Suppose -2*i + p = -4. Suppose 26 + 6 = i*r. Does 5 divide r?
False
Let s = 236 - 167. Is 18 a factor of s?
False
Let r = -41 + 78. Let u(k) = -3*k - 10. Let n be u(-4). Let v = n + r. Does 22 divide v?
False
Suppose 3242 = 4*f + 850. Does 26 divide f?
True
Suppose 3*l = 4*f - 351, f = -0*f + 2*l + 94. Is 28 a factor of f?
True
Let f(j) be the third derivative of 0*j + 0 - 2*j**3 - 1/8*j**4 - 7*j**2. Is f(-8) a multiple of 6?
True
Let n(s) = -s**3 + 4*s**2 + 6*s + 1. Let h be n(5). Suppose -102 + 36 = -h*r. Is r even?
False
Let n(r) be the third derivative of -r**5/30 + 7*r**4/24 - 10*r**3 + 4*r**2. Let x(m) = m**2 - 4*m + 30. Let p(l) = -4*n(l) - 7*x(l). Is p(0) a multiple of 8?
False
Suppose 3*s = -2*u + 797, -u + 188 + 211 = s. Is u a multiple of 40?
True
Let p = 1624 + -994. Does 18 divide p?
True
Suppose -4*f = -20 + 4, -i = 3*f - 9. Does 31 divide 152 - 2/(i*(-6)/(-27))?
True
Suppose 22*h = 24*h - 174. Suppose 0 = -82*y + h*y - 420. Is y a multiple of 14?
True
Suppose -2*s + 903 = -7*l + 8*l, -4*l + 1804 = 4*s. Is 29 a factor of s?
False
Let g(t) = -3*t**2 - 81*t + 21. Is g(-23) a multiple of 27?
True
Suppose -10*l = -8*l - 48. Suppose j - l = -3*j. Is j a multiple of 2?
True
Let h be (-10 - -5)*(-4)/(-4). Is (h/(-15))/(2/96) a multiple of 3?
False
Is 4 a factor of (-1094)/(-3) + 3 + 11/33?
True
Suppose -2*p = 2*x - 12 + 4, 0 = -4*p + 3*x + 2. Suppose -p*c - 3*c + h = -128, 12 = -4*h. Let v = c - 11. Does 3 divide v?
False
Let n = 1 + -3. Let h be 1/(n/4) + 12. Suppose 0 = h*l - 5*l - 95. Does 19 divide l?
True
Let f = 287 + -102. Is f a multiple of 5?
True
Let g(a) = -a**2 + 12*a - 5. Let z(r) = -r + 1. Let j(d) = -3*d - 6. Let c be j(-3). Let k(u) = c*z(u) - g(u). Is k(16) a multiple of 8?
True
Suppose -21*t = -25*t + m + 1340, 0 = -4*t - 4*m + 1360. Is t a multiple of 4?
True
Let y = -106 - -782. Is y a multiple of 15?
False
Does 35 divide (-30)/2*(-6)/((-102)/(-119))?
True
Let d(y) = 101*y**3 - 2*y**2 - y + 1. Let t be d(1). Suppose t = 3*o - 0*o. Does 10 divide o?
False
Let j be (-3)/((-12)/28) + -2. Suppose j*h - 3*t - 674 = 0, -2*h + 4*t + 536 = 2*h. Suppose -p + 78 = p - 3*d, h = 3*p + 5*d. Is p a multiple of 21?
True
Let w(k) = k**3 - 7*k**2 - 10*k + 10. Let p be w(8). Let j = p - 0. Let s(y) = -7*y - 2. Is s(j) a multiple of 10?
True
Let j be (1