5*w = 3*a - 2*a - h. Does 4 divide a?
False
Let k = -380 - -397. Suppose 0 = -k*i + 22*i - 2575. Is 13 a factor of i?
False
Let c be (1 - 24/15) + (-9)/(-15). Suppose c = -5*a + 2*u + 462, -2*u - 372 = -4*a - u. Let f = a + -83. Does 2 divide f?
False
Suppose -2*f = -5*f. Suppose f = -g + 3*g - 8. Suppose -g*v + 4*a + 101 - 9 = 0, 4*a - 108 = -4*v. Does 13 divide v?
False
Let u be (9*-7)/(-3)*3. Suppose -17*n - 2*n + 8037 = 0. Suppose -u = 6*z - n. Is 2 a factor of z?
True
Does 71 divide (14/((-336)/2130))/((-1)/144)?
True
Let t = -1 - -3. Suppose -t*f + 2 = -4. Suppose 118 - f = q. Is 16 a factor of q?
False
Let o be (-18)/(-5)*5/2. Let d be (-129)/27 + -1 - 8/36. Does 9 divide d/o*(-243)/6?
True
Is 51 a factor of (40/6)/((-20)/(-4776))?
False
Suppose -161*k = 3*p - 158*k - 1035, -4*k = -p + 330. Does 19 divide p?
True
Let o be 4*((-462)/(-8) + (-5)/10). Suppose 133 = -h + o. Is h a multiple of 32?
True
Let t(k) = 628*k**2 + 181*k - 18. Is 38 a factor of t(4)?
True
Let t(a) = 550*a + 242. Is t(5) a multiple of 4?
True
Let w be 7020 - 3/9*0. Suppose -136*z = -138*z - w. Is 4 a factor of (z/25)/(-2) + (-4)/(-5)?
False
Let j(w) = 320*w**3 - 2*w**2 + 2. Let a be 1/11 - (-150)/165. Is j(a) a multiple of 32?
True
Let w(d) = -2*d + 24. Let m be 5 - 69/4 - 1/(-4). Does 4 divide w(m)?
True
Let q(f) be the first derivative of f**3/3 - 15*f**2/2 + 20*f - 41. Let i be q(13). Is -1 - 0 - (i - -866)/(-5) a multiple of 19?
True
Suppose -175*x + 169*x = 4956. Let j = x + 1519. Is j a multiple of 7?
True
Let o(l) = l**3 + l**2 - 32*l - 6. Let a be o(-6). Is 2 + 2553/a - 6/(-4) a multiple of 26?
False
Let m = -1256 - -3190. Is 13 a factor of m?
False
Is (-8)/(-6) + 11181280/672 - 1/7 a multiple of 40?
True
Let p = -2959 + 10214. Is 127 a factor of p?
False
Suppose 33*h + 5*h - 21584 = 0. Does 12 divide (-210)/4*h/(-71)?
True
Suppose 182*t = 1088471 + 1092617. Is t a multiple of 118?
False
Let n(x) = 32*x + 38. Let a(d) = -30*d - 37. Let g(y) = -3*a(y) - 2*n(y). Is 25 a factor of g(15)?
True
Let t = -1522 - -1528. Let z(l) = -4*l + 4. Let f be z(-4). Is 12/(-10)*f/t - -107 a multiple of 24?
False
Suppose 4*l + 259 = -121. Let s = -1656 - -1549. Let g = l - s. Does 12 divide g?
True
Let d(w) be the first derivative of 4*w + 4*w**2 + 1/3*w**3 - 24. Is 4 a factor of d(-10)?
True
Suppose 0 = d + 3*b - 1, -4*b = 2*d - 9 + 3. Suppose 118 = d*x - 5*x. Suppose -2*k + x + 15 = 0. Is 37 a factor of k?
True
Let s = 42 - 0. Let x = 33 - s. Let p = x + 22. Does 11 divide p?
False
Let s(h) = -h + 8. Let t be s(7). Is (-5 - -197) + t - 1 a multiple of 15?
False
Let q = 1858 - -1028. Suppose j + q = -12*j. Is 4/(-6)*j/(1 - 0) a multiple of 21?
False
Let t = 23047 + -19534. Is 18 a factor of t?
False
Let u(l) = 108*l - 575. Let c be u(6). Let v = -1 - -3. Suppose 0 = -5*o - 0*o - v*t + 356, -t = o - c. Is o a multiple of 14?
True
Let q(c) = -206*c**3 + c**2 - 2*c - 2. Let b be q(-1). Suppose 6*j - b = 369. Does 10 divide j?
False
Let k = 233 - 233. Suppose -t = -4 - 0. Is t/10 - k - 4536/(-60) a multiple of 19?
True
Let l(z) be the first derivative of 10/3*z**3 + 3*z**2 - 3*z + 14. Does 21 divide l(3)?
True
Let k(x) = -x**2 - 10*x - 10. Let c be k(-9). Let g be -3 + (2 - c) - -2. Suppose g*y - 102 = -92. Is 4 a factor of y?
False
Suppose -5*l + c - 3451 = -1054, 4*c = -5*l - 2387. Let m = 525 + l. Is m a multiple of 27?
False
Let q(b) = 46*b + 2045. Is 15 a factor of q(58)?
False
Suppose 0*a + a = 5, 35 = 4*n - a. Suppose 4*d + n = 2*d, 2*p - d - 13 = 0. Suppose -3*r - 26 = -g - 83, -24 = -2*r - p*g. Is r a multiple of 8?
False
Suppose 3*x + t - 4 + 2 = 0, 0 = x - 2*t - 10. Let g(a) = -a**2 - 5*a - 3. Let v be g(-5). Does 7 divide -7*(x + v + -2)?
True
Let x(z) = 14*z**2 + 22*z + 85. Let n be -1 - (9/2 - 5)*-8. Is 45 a factor of x(n)?
False
Let d = 392 + -388. Suppose -d*c + a - 2*a + 479 = 0, 4*c = -5*a + 475. Does 58 divide c?
False
Is 21 a factor of ((-4)/(-2) - (-4)/(-4)*3) + 48672?
False
Suppose -m + 5*f - 183 = -1552, 4*f = 5*m - 6866. Let u = 2270 - m. Does 28 divide u?
True
Suppose 6*v + 116580 = 12*v + 14*v. Does 13 divide v?
False
Suppose 4*k - 7265 = -5*c, -c - 77*k + 80*k = -1472. Is c a multiple of 47?
True
Let o be (2 - -25) + (1 - -5) + -4. Suppose -o*x = -22*x + 147. Let u = x + 152. Is 24 a factor of u?
False
Suppose -22*d + 4036 + 1530 = 0. Is d a multiple of 13?
False
Let c = 31 + -28. Suppose -11 = -c*y - 2. Is 9 a factor of ((4 - 70) + 0)*(-1)/y?
False
Let k be (-7)/42*-6*(-28)/(-2). Does 53 divide (-21126)/(-33) + k/(-77)?
False
Let p be (-10)/(-12) - 55/66. Suppose -4*c + 3*t + 537 = p, -t = c + t - 126. Is 33 a factor of c?
True
Suppose -3*q - 2*q - 245 = 3*j, 0 = 5*j + q + 401. Let w = -71 - j. Is 17 a factor of (2/(12/w))/((-9)/(-942))?
False
Suppose -6*o - 2*o + 24 = 0. Let b be 32 - ((0 - o) + 4). Suppose b + 25 = w. Does 13 divide w?
False
Let r be (6/(-6))/(4/48*4). Is 24 a factor of (-5001)/(-10) + (r - (-116)/40)?
False
Let y(w) = -6*w + 33. Let p = -12 - -24. Let j be y(p). Does 9 divide (-7)/((-7)/(-3)) - j?
True
Suppose -q - 42305 = -4*r, -3*r + 69*q + 31730 = 67*q. Does 75 divide r?
False
Let d = -94 - 10. Let p be (-3)/2 - d/16. Suppose 3*m - p*j = 433, -4*j = 3*m - 0*m - 415. Does 10 divide m?
False
Let d = 12 + 0. Suppose 0 = 3*u + 3*u - d. Is 5 a factor of (3/u + -2)*1742/(-13)?
False
Let o(n) be the second derivative of -n**4/12 + 4*n**3/3 - 17*n**2/2 + 7*n. Let l(g) = -g - 1. Let r(m) = -3*l(m) + o(m). Does 3 divide r(9)?
False
Let q(a) = a**2 + 19*a - 23. Let p(m) = -3*m**2 - 38*m + 47. Let w(x) = 2*p(x) + 5*q(x). Let z be w(18). Does 10 divide (-30*5)/(-2*z/(-4))?
True
Let q be (-13)/((-72)/48 + 2*1). Let r(x) = x**2 + 20*x - 35. Is r(q) a multiple of 14?
False
Let b = -81 + 167. Suppose t - 76 = b. Let f = t + -89. Does 33 divide f?
False
Suppose 3*m - 2*m + 83 = 0. Let p = -83 - m. Suppose p = -7*c + 660 + 810. Does 42 divide c?
True
Let b be -3 - ((-440)/2)/(-5). Let j = -157 - -167. Let r = j - b. Is r a multiple of 15?
False
Suppose 68*i = 71*i - 5*n - 7, -3*n + 3 = 0. Let c be -1 + 1 + (-6)/(-3). Suppose 2*s = -i, 5*s = -c*x + 4*x - 46. Is 2 a factor of x?
True
Is 43 a factor of ((-35)/(-15) + 7444/(-3))/(-1)?
False
Suppose -5*n = 10 + 10. Let t(u) = 5*u + 25. Let i be t(n). Is (8 - 0)*(60/8 + i) a multiple of 25?
True
Is (8/(-12) + 34305/225)/(3/285) a multiple of 33?
True
Suppose 0 = -5*p - 4*w - w + 1500, -w - 298 = -p. Let f = p - 49. Does 21 divide f?
False
Suppose 4*v - 13939 = 14375 - 2802. Is v a multiple of 10?
False
Let y(p) = 111*p**3 - p**2 + 8*p - 7. Let q be 14/6 + (3 - 80/24). Does 9 divide y(q)?
False
Let t(q) = 17*q + 96 + q - 101. Let l be t(10). Is (-50)/l - (-326)/14 a multiple of 2?
False
Let p(w) = -23592*w**3 + 51*w**2 + 40*w - 12. Is 27 a factor of p(-1)?
False
Let a(b) = 246*b - 7102. Is 10 a factor of a(41)?
False
Let v = -60 + -53. Let j = v + 124. Is 4 a factor of j?
False
Let j = 7174 - 7197. Let z be ((-2)/3)/(4/(-906)). Let f = j + z. Is 16 a factor of f?
True
Let g(c) = c**2 - c + 2. Let k be g(2). Suppose k*y + 293 - 93 = 0. Is (-695)/y*2 + (-2)/(-10) a multiple of 4?
True
Let k = -971 + 130. Let w = -561 - k. Suppose 4*z = 5*d - w, 15 + 41 = d + 2*z. Is d a multiple of 7?
True
Let l(o) = o**3 + 18*o**2 + 33*o - 22. Let v be l(-16). Let q = 337 + v. Does 23 divide q?
True
Let i(q) = 33*q**3 - 3*q**2 + q - 2. Let b be i(2). Suppose b = -9*w + 63. Let z = 73 + w. Does 13 divide z?
True
Let h = 29289 - 16801. Suppose -h = -13*r + 4854. Does 45 divide r?
False
Let i be ((-24)/(-2*1))/(42/(-28)). Let f(n) = -n**3 - 8*n**2 + 2*n - 4. Let z be f(i). Is (-2912)/z - 6/(-15) a multiple of 30?
False
Let s = 92519 - 40271. Does 21 divide s?
True
Let d(n) = 22*n**2 - 18*n - 6. Let f = 490 - 488. Is d(f) a multiple of 12?
False
Suppose 1288 + 1720 = -2*t + 2*m, 2*t + 3029 = -5*m. Let c = 3444 + t. Does 13 divide c?
True
Suppose 0 = 9*o + 45. Suppose t + t = 2. Is 24/(o/((-5)/t)) a multiple of 16?
False
Let c(i) = 2*i**2 + 36*i + 7. Let m be c(-19). Suppose -47*p + m*p = -4. Suppose 6*l = -p*l + 1248. Is l a multiple of 10?
False
Let k(b) = 2*b**3 + 6*b**2 + 2*b + 5. Let i(t) = -t**2 - t + 1. Let c(j) = -2*i(j) + k(j). Let p be c(-3). Suppose 0 = -4*l - p + 137. Is l a multiple of 16?
True
Suppose -l = 360