 c be (1 - (-4)/4)*j. Suppose 2*v - 320 = -c*v. Is 10 a factor of v?
True
Is ((-542108)/798)/((-4)/6*1) a multiple of 10?
False
Let p be (17/5)/((-4)/(-380)). Suppose 5*y - 1258 = -4*d, -p = -d + 4*y - y. Is 21 a factor of d?
False
Let d = 236 - 86. Suppose -5*l + 2*l = 288. Let g = l + d. Does 20 divide g?
False
Suppose 0 = -3*h + w - 1 + 6, 15 = -h - 3*w. Let c(r) = r**3 - 2*r**2 - 2*r + 2. Let s be c(h). Suppose 264 + 0 = s*d. Is 44 a factor of d?
True
Suppose -1054 = -7*a + 5*a. Let m = a + -509. Is 9 a factor of m?
True
Suppose 0 = -3*j + 4*t + 686 + 43, 2*j + 2*t - 500 = 0. Suppose 0 = 2*m - j - 461. Does 28 divide m?
False
Let f(h) = -1741*h - 463. Does 242 divide f(-15)?
True
Let s(q) = -q**3 + 23*q**2 + 6*q + 6. Let m be s(23). Suppose -144*l + m = -138*l. Does 6 divide l?
True
Suppose -17*z + 9*z + 40 = 0. Let c be 1421/z - (-13)/(-65). Suppose -5*u + 4*b = -c - 444, 5*b + 10 = 0. Does 16 divide u?
True
Let i = 3945 + -3572. Is 50 a factor of i?
False
Suppose -8*z = -12*z - 6*g + 56612, 28310 = 2*z + 4*g. Is z a multiple of 28?
False
Suppose 128*s + 7194 = 150*s. Does 5 divide s?
False
Let u = 935 - 630. Let d = -86 + u. Is d a multiple of 34?
False
Let x(m) = -2*m**2 - 12*m - 5. Let t be x(-6). Let u = t + 20. Suppose 0 = 14*k - u*k + 129. Is 15 a factor of k?
False
Let s(p) = 5*p**3 + p**2 - 4*p + 2. Let a be s(1). Let f(v) = 5*v**2 - 3*v - 3. Let z be f(a). Let b = z + 26. Is 13 a factor of b?
True
Let x(z) = 12 - 139*z + 15 - 23 - 52 - 109. Is 4 a factor of x(-3)?
True
Let w(t) = -12*t + 10. Let g be (10/(-20))/(1/16). Let a be w(g). Let m = a + -75. Is m a multiple of 27?
False
Is 51 a factor of (1*80/(-64))/((-1)/2652)?
True
Let b(h) = -h - 12. Let g be b(-15). Suppose -15 = -g*z, -w = w - 2*z - 216. Is w a multiple of 18?
False
Suppose -40 = -351*v + 349*v. Does 19 divide (88/v)/((-6)/(-285))?
True
Suppose 75*i - 58*i = -71400. Is (-3 - -1 - -5) + i/(-8) a multiple of 6?
True
Let p be 0 - (-5 + 2 + 8) - -487. Let t = p - 240. Is 11 a factor of t?
True
Let h = 10768 + -6048. Suppose -19*k = k - h. Does 3 divide k?
False
Let u(w) = w**3 - 14*w**2 - 15*w + 2. Let f be u(15). Let j(p) = 3*p**3 - 10*p**f + 4*p**3 + 4*p - 4*p**3 + 3. Is j(4) a multiple of 22?
False
Suppose 0 = 12*o + 166*o - 7654. Is 3 a factor of o?
False
Let t(n) = 34*n - 32. Let w be t(1). Suppose -2*f = -2, 2*p + 4*f - 32 = w*f. Does 8 divide p?
False
Let k = 159 - 155. Let b = -108 - -211. Suppose 4*z = -z + 5*f + 125, -k*f + b = 3*z. Is 13 a factor of z?
False
Suppose -210*h = -214*h - 2*f + 27858, -f - 3 = 0. Is 18 a factor of h?
True
Let o(c) be the first derivative of 33*c**2/2 + 86*c - 96. Does 13 divide o(16)?
False
Let y = 832 - -4111. Does 80 divide y?
False
Let s(r) = 6*r**3 + 7*r**2 - 13*r + 4. Let l(o) = -o**2 - 11*o + 2. Let u be l(-11). Is s(u) a multiple of 9?
True
Let c(x) = -2*x + 13. Let d be c(4). Suppose -d*v = -7*v + 1326. Is 17 a factor of v?
True
Suppose -137*m + 37414 = -281*m + 157*m. Is m a multiple of 67?
False
Let g(y) = y**2 - 9*y + 15. Let s(l) = l**2 + 3*l + 2. Let r be s(-5). Let i be g(r). Suppose 2*w + 2*j + 19 = i, -j - 64 = -4*w. Does 9 divide w?
False
Let f be (-152 - 3)*2/(-5). Let v = f - 45. Is ((-2)/5)/(v/(-3145)) a multiple of 12?
False
Let l = -973 - -2081. Is l a multiple of 3?
False
Let b = 3752 + -3707. Does 45 divide b?
True
Suppose 2*r + 65*r - 5*r - 480004 = 0. Is r a multiple of 98?
True
Let k be 5 + -2*1 + 11 + -9. Suppose 3*v + v + 3*r + 8162 = 0, k*r + 2032 = -v. Is 23 a factor of v/(-12) + 11/(-66)?
False
Let l(n) = -12 + 2 - 12 - 144*n + 396*n. Does 10 divide l(1)?
True
Suppose -4*o - 4 = 2*v, 3*o = 2*v + 8*o + 6. Suppose -4*q - 4*i = -v*i - 424, 0 = 2*q - 5*i - 236. Is q a multiple of 3?
True
Suppose 4*q + 5*y - 12994 = 0, -5*q - 2*y = -3*y - 16286. Is 74 a factor of q?
True
Suppose -4*z = -4 - 4. Suppose -5*g + 0*g = 2*c - 13, 5*c - 2*g - 18 = 0. Suppose -c - 74 = -z*f. Is 8 a factor of f?
False
Let s(n) = n**3 - 5*n + 7. Let j = -56 + 58. Let r be s(j). Suppose 2*z - 682 = -2*z + 2*o, r*o - 492 = -3*z. Is z a multiple of 13?
True
Suppose 34384 = 2*g - 5*i, 155*g = 158*g - 4*i - 51590. Is 122 a factor of g?
True
Let l = 75 + -72. Suppose -2*k = 2*j - 850, 0*j - 4*j = l*k - 1276. Let w = k + -298. Is w a multiple of 21?
True
Suppose 103016 + 375839 = 68*z - 15*z. Is 16 a factor of z?
False
Is (-27)/36*10*-106 a multiple of 16?
False
Let j(c) = 61*c**2 - 19*c - 150. Does 63 divide j(-15)?
True
Let s(w) = -w**3 + 3*w**2 + w + 1. Let m be s(3). Suppose 2*p - 20 = 4*n, 6*n = 5*p + m*n - 74. Is 11 a factor of 4 + 0 + 2 + p?
True
Suppose -2804 = -4*n - 2*t, 5*n - 2271 = 4*t + 1260. Let f = 138 + n. Is 80 a factor of f?
False
Suppose 6107 - 71265 = -2*t - 4*h, -65182 = -2*t + 4*h. Does 49 divide t?
True
Let y = -236 + 260. Suppose -y = -3*i - 6. Is i a multiple of 6?
True
Is (366/(-21))/((-55)/51590) a multiple of 67?
True
Does 23 divide (-33)/(-165) - ((-18368)/10 + -3)?
True
Let v(o) = -489*o**3 + 2*o**2 - 9*o - 10. Let x = -629 + 628. Is v(x) a multiple of 7?
True
Let o(c) = -20*c - 7. Let q(p) = -101*p - 36. Let t(w) = -11*o(w) + 2*q(w). Suppose j - 4 + 1 = 0. Is 10 a factor of t(j)?
False
Let m = 15 - 13. Suppose 0 = -m*q - 4*q - 168. Does 2 divide (-27 - -28)/(-2*2/q)?
False
Let c(m) = m**2 - 28*m - 12. Let f be c(28). Let y(q) = -54*q - 5. Does 43 divide y(f)?
False
Suppose -126622 = -26*x - 24826 + 57064. Does 26 divide x?
True
Let g(k) = -k + 5. Let b be g(-2). Let x(m) = b - 5*m + 0*m - 17. Is 24 a factor of x(-10)?
False
Let h = -45 - -18. Let q be (-161)/3 - (4 - (-14)/(-3)). Let n = h - q. Is 13 a factor of n?
True
Let v(y) = -4*y**3 - 15*y**2 - 59*y - 360. Is 150 a factor of v(-12)?
True
Let r = 1782 - 1692. Is r a multiple of 18?
True
Let z = 5 - -13. Let i be ((-6)/16*-46)/(z/(-48)). Is 18 a factor of (2 - i)/(-1 - 25/(-15))?
True
Suppose -5209 - 2911 = -4*x. Let q = -1418 + x. Is 34 a factor of q?
True
Let n be -236 - (13 - 19)/(-1 + -2). Let r(k) = 333*k**2 - k. Let w be r(-1). Let c = n + w. Does 17 divide c?
False
Let o = 16 - 15. Let h = 188 + -108. Let q = h + o. Is 9 a factor of q?
True
Let b = -481 - -492. Suppose 0 = -b*t + 4*t + 1183. Does 17 divide t?
False
Let x be 23/3 - (-10)/(-15). Suppose 4*d - 2*l = 1022, -4*d - 4*l + 1019 = -x*l. Is 17 a factor of d?
False
Let k(h) = -h**3 + 9*h**2 + 12*h - 14. Let j = 51 + -41. Let a be k(j). Is 2 + 48/(-18) + 1468/a a multiple of 52?
False
Suppose 4*o - 8 - 12 = 0. Suppose -21 = -o*l - c, 5*c - 17 = -2*l - l. Suppose 2*w = l*f + 132, 6*w = w + 2*f + 306. Does 10 divide w?
True
Let f(y) = 1345*y + 2178. Is f(3) a multiple of 327?
True
Let d be (-6)/(-10)*-2*(-115)/46. Suppose 2*v = -d*a + 14, 5*a + v + 4*v - 25 = 0. Does 12 divide 233 + (-7 - (-8)/a)?
True
Let m be (-68)/6*(-9)/6. Suppose -44*j - 16 = -52*j. Suppose -j*a - 43 = -2*c + m, 2*c - 5*a - 48 = 0. Is 9 a factor of c?
False
Let n(o) = 79*o**2 + 74*o - 16. Does 113 divide n(-9)?
False
Suppose 0*x + 5*x = -2*b + 40, 4*b + 20 = 0. Suppose -x*q = -5*q - 5*k - 380, 2*q = -5*k + 145. Is 23 a factor of q?
False
Suppose -a + 192325 = 14*a + 10*a. Is a a multiple of 29?
False
Suppose -114 = 10*f - 11*f - 2*n, -2*f - 5*n + 223 = 0. Let x(g) = -5*g**2 + g + 1. Let v be x(3). Let m = f + v. Does 23 divide m?
False
Suppose 0 = 3*b + 9 + 12. Let t(m) = m**3 + 28*m**2 + 198*m + 33. Let x be t(-15). Is 8 a factor of x/(-42) - 558/b?
True
Let v(d) = 37*d + 43. Suppose -k = 2*q - 9, 0 = -3*k + q - 3*q + 27. Does 49 divide v(k)?
False
Let t = 233 + 847. Suppose -14*h + 2*h = -t. Is 9 a factor of h?
True
Suppose -5*k + 3*v - 7*v = -1135, k = 5*v + 256. Suppose -5*w + 15 = -4*o + o, 2*w - o = 5. Is (-1*k)/(-3) - w/5 a multiple of 16?
False
Suppose 2953*r + 252990 = 2968*r. Is r a multiple of 9?
True
Let m be -3*((-1105)/15 + -3). Let i = m - 188. Is i a multiple of 14?
True
Let v(l) = 2*l**2 + 13*l - 18. Suppose -4*r = -4*t + 7*t - 35, -t = -3*r + 10. Is v(t) a multiple of 3?
False
Let n(q) = 3*q - 32. Let p(y) = 7*y - 63. Let v = 44 - 40. Let f(t) = v*p(t) - 9*n(t). Is 6 a factor of f(0)?
True
Let x(g) = 5*g + 36. Let z be x(-10). Let l be 20/(-6)*(-7)/z*6. Let b(w) = w**3 + 10*w**2 - 3*w + 12. Does 25 divide b(l)?
False
Suppose 4*d = 3*j - 1564, -3*j + 1574 = 3*d - 5*d. Does 33 divide j?
True
Suppose 