t n be 5*12*(-2)/(-30). Suppose 5*m + n*t = 2074, 0*t + 2*t - 1664 = -4*m. Does 8 divide m?
False
Suppose 0 = -2*n + 3 + 7. Suppose -3*s - 15 = 4*i, 9*i + s = n*i - 5. Suppose 188 = 4*b - 2*r, 5*r + i*r - 82 = -2*b. Is 8 a factor of b?
False
Let i be 23/4 + 72/(-96). Suppose 0*x = -x - 3*u + 655, 3224 = i*x - 2*u. Is x a multiple of 38?
True
Let j be 0/(3/(-3)*2). Suppose 3*n + 2*k + 27 = 70, 5*n - 3*k - 59 = j. Is n a multiple of 2?
False
Let j = -13507 - -24145. Does 18 divide j?
True
Let i(p) = 2*p**3 + 7*p**2 - 6*p - 10. Suppose -16*c + 44 = -5*c. Does 27 divide i(c)?
False
Let o(z) = 2*z**3 + z**2 - 4*z - 3. Let x be o(-2). Let t(m) = 2*m**2 + 2*m + 1. Let d be t(x). Suppose -r - 4*r = -d. Is 13 a factor of r?
False
Let y = -5575 - -12000. Does 50 divide y?
False
Let r(b) = 1070*b - 1565. Does 30 divide r(6)?
False
Let b(n) = -1647*n - 4429. Does 2 divide b(-5)?
True
Suppose -2331 - 2016 = -9*j. Does 34 divide j?
False
Suppose 8*p + 7000 = 2*t + 9*p, -17499 = -5*t - 2*p. Is 9 a factor of t?
False
Suppose -7*y = -y + 378. Is 12 a factor of y/(-63)*(1 - (1 - 169))?
False
Let t(s) = 2*s**2 - 15*s + 62. Let j be t(18). Let u = j + 843. Is 34 a factor of u?
False
Does 16 divide ((-592)/(-10))/(-9 - (-1092)/120)?
True
Suppose 5*a + 4*n = -0*a - 901, -5*a = 2*n + 903. Let f = -63 - a. Is 33 a factor of f?
False
Suppose -14*r - 18*r + 26496 = 0. Let f = r + -467. Is f a multiple of 35?
False
Suppose 3*b - 156839 = -5*i, 5*b - 261460 = 32*i - 28*i. Is 21 a factor of b?
False
Does 26 divide ((-13 - 276/(-16))*(-165 + 1))/(-1)?
False
Let r(l) = -1159*l - 1563. Does 33 divide r(-3)?
True
Does 43 divide (-68)/(-221) + (-16571)/(-13)?
False
Suppose -38 + 0 = -2*y + 4*s, -3*s + 21 = 4*y. Suppose 5*c - y*c - 4*o = -36, -11 = c - 3*o. Suppose -5*u - c*x = -110, -u + 22 = -0*u + 3*x. Does 2 divide u?
True
Let l = 72 - 64. Suppose -6*d + 4 = -l. Is (8/(-3) - d)/((-20)/330) a multiple of 11?
True
Is (-36 + 32)*(5 - 3249) a multiple of 123?
False
Let w = -3405 - -6217. Is w a multiple of 38?
True
Suppose -17 = 2*o + 3*b + 264, -4*o - 542 = 2*b. Is o/(15/10*2/(-3)) a multiple of 7?
True
Suppose -2 = 3*x - 5*x. Let y be (x + 80/12)*21. Let a = -87 + y. Is a a multiple of 10?
False
Suppose -m - 2*s = -5*m + 40900, -4*m = 12*s - 40956. Does 48 divide m?
False
Suppose -15 + 51 = -l. Let u = l + 95. Let c = 72 - u. Is 13 a factor of c?
True
Let f(h) = -604*h + 17. Let m be f(-4). Suppose 4*i - 411 = -4*o + m, 4*i = -2*o + 2834. Suppose 4*b + b + 4*q = i, -q - 410 = -3*b. Is b a multiple of 15?
False
Suppose -10629 = -7*b + 4*b - 3*v, -3*b - 2*v = -10625. Suppose -17*p + b = -13*p - 5*j, 0 = -p - 4*j + 869. Is 9 a factor of p?
False
Does 36 divide (1 - 2 - -145)/((-296)/(-56684))?
True
Let t(c) = -c**3 - 12*c**2 - 34*c - 9. Let d = 52 - 62. Does 2 divide t(d)?
False
Let w(a) = -a**3 + 21*a**2 + a - 17. Let v be w(21). Suppose -2*z + d = -4*d + 37, 4*z + 92 = v*d. Is 56 a factor of z/(-39) + (-166)/(-3)?
True
Let i(k) = -4*k**2 + 31*k - 23. Let h be i(15). Let u = -390 - h. Does 27 divide u?
False
Suppose -194116 = 96*m - 122*m. Is m a multiple of 74?
False
Let h = -3781 - -6363. Is h a multiple of 11?
False
Suppose 959 = 13*i - 1862. Does 5 divide -9 + i + -1 + (-2)/1?
True
Suppose 0 = u - 3*h + 6, 4*u + 2*h - 18 = 0. Let x(o) = 138*o + 15. Let l be x(u). Suppose 83 = 8*w - l. Is 7 a factor of w?
False
Let u(d) = -2597*d**3 + d**2 + 3*d + 3. Let f be u(-1). Let o = f + -1329. Is 44 a factor of o?
False
Suppose -3*c = 2*j - 7, 1 + 34 = 5*j + 4*c. Let b = 261 - 144. Suppose j*g - 12*g = -b. Does 20 divide g?
False
Suppose 3*x = -p - 792, -4*x + p - 1056 = 4*p. Let q = -176 - x. Is 11 a factor of q?
True
Let u(m) = 5*m + 5. Suppose 5*j = -2*n - 15 - 1, -1 = 2*j - n. Let f be u(j). Is 47 - (2 + 0/(f - -2)) a multiple of 5?
True
Let c(x) = -83 - 5*x + 87 + 4*x. Let r be c(-8). Suppose 4*z - r = 4. Is z a multiple of 3?
False
Suppose -49*t - 4*r = -46*t - 118876, 0 = t - 5*r - 39600. Does 141 divide t?
False
Let y be 40/((-1 + 2)*-1). Let o be (-2)/11 + y/22. Let p(s) = -24*s + 8. Is p(o) a multiple of 30?
False
Let u be (-4*4/(-10))/((-2)/(-15)). Let k be (9/u)/((-1)/(-8)). Is (k/(-15) + (-159)/15)*-1 even?
False
Let u(a) be the second derivative of 15*a - 4/3*a**3 - 3*a**2 + 0 - 1/20*a**5 - 5/12*a**4. Does 14 divide u(-5)?
False
Let h = -46 + 46. Let f(d) = -d + d - 14 + h*d - 15*d + 3*d**2. Is 16 a factor of f(8)?
False
Let k be (-696)/(-16) + (-3)/(-2). Let c = k - 81. Let s = 19 - c. Is s a multiple of 20?
False
Let s = 53 + -45. Suppose -s*p = -11*p + 6. Suppose 0 = -p*w - 12*w + 3136. Is 16 a factor of w?
True
Suppose -5405 - 6469 = -2*r - 3*y, -2*r + 11884 = -2*y. Is r a multiple of 12?
True
Suppose -103*r + 3697698 - 1070580 = 0. Does 92 divide r?
False
Let b = 33070 - 18593. Is 19 a factor of b?
False
Let g be 4 + (4 + -1 - 2). Let c(l) = -59 - 327*l + 25 + 341*l. Does 6 divide c(g)?
True
Suppose 5558 = -4*q + 50070. Does 33 divide q?
False
Let n(a) be the third derivative of 3*a**5/20 + 23*a**4/24 + 98*a**3/3 + 103*a**2. Is 24 a factor of n(-11)?
True
Suppose -5*t + 25 = 0, -7*t + 40 = 5*l - 2*t. Suppose -5*q = -2*n - 1953, n - 1562 = -4*q + l*n. Suppose 0 = -6*p + q + 113. Does 13 divide p?
False
Suppose 10*w - 19055 - 48034 = -2859. Is 27 a factor of w?
False
Suppose 87 = -6*r - 129. Let p = r - -56. Does 4 divide p?
True
Let b = -141 - -101. Let d = -40 - b. Suppose d = 5*k + k - 216. Does 12 divide k?
True
Is 1005016/28 + 10/70*4 a multiple of 274?
True
Suppose 198*g - 449*g = 485*g - 2955040. Is g a multiple of 2?
False
Let h be (-1)/(-6)*105 + 2/4. Suppose 0 = -3*f + 5*s + 1312, -5*f + h*s - 17*s + 2194 = 0. Does 14 divide f?
False
Let z(d) = -128*d - 62. Let l be z(-12). Suppose -l - 616 = -11*k. Is k a multiple of 10?
True
Let j(w) be the second derivative of -w**3/2 + 235*w**2/2 - 1130*w - 1. Suppose 3*i + 0*s = -3*s + 3, 0 = -4*i + 2*s - 2. Is j(i) a multiple of 47?
True
Let n be (-2 + -4 + 3)*(-1)/3. Does 19 divide n*((1 - -3) + 34)?
True
Let f be (176/(-10))/(12/(-1530)*3). Suppose 2*n + 4*j = f, 2*n + j - 370 - 393 = 0. Suppose 35*o - 37*o = -n. Is o a multiple of 24?
True
Let u be 45/(-10)*(-10)/3. Let f be 1119/u - -3*4/30. Let b = -52 + f. Does 10 divide b?
False
Let o(v) = 22*v**2 + 6*v - 8. Let i(n) = 11*n**2 + 3*n - 4. Let k(h) = -11*i(h) + 6*o(h). Let f be k(3). Let d = 410 - f. Does 51 divide d?
True
Let f be (-7 + 24/3)/((-1)/(-344)). Let n = f - 190. Does 32 divide n?
False
Let t = -105 - -100. Let i(r) = 5*r**2 + 12*r + 83. Is i(t) a multiple of 18?
False
Let g(j) = -j - 7. Let o be g(-10). Suppose -o*p - 38 = -p. Let v = 37 + p. Is v even?
True
Let z = 22 + -38. Let a be (9/4)/((30/z)/5). Is (306 - (0 + 3))*a/(-18) a multiple of 25?
False
Let n = 33201 + -22266. Does 45 divide n?
True
Suppose -3*h - 225 = 6*h. Let u = 25 + h. Suppose 0 = -4*a - u*a + 72. Is 9 a factor of a?
True
Suppose 57*m - 54*m + 1422 = 0. Let y = m - -721. Is 20 a factor of y?
False
Let h(b) = -2*b**2 + 34*b - 22. Let k be h(11). Let j = k - -33. Does 14 divide j?
False
Let l = -313 - -316. Suppose -4*b + 5*c = -0*b - 3153, -l*b + 2358 = 3*c. Is 13 a factor of b?
False
Let n = 33 + -33. Suppose n = -5*s - 3*t + 25, 0*s = -4*s - 5*t + 20. Let r(g) = -g**3 + 7*g**2 - 5*g + 9. Does 34 divide r(s)?
True
Let w(h) = 30*h - 106. Let m be w(10). Let x = 222 + m. Is 16 a factor of x?
True
Let a(m) be the second derivative of 61*m**4/2 - m**3 + 2*m**2 + 2*m - 70. Is a(1) a multiple of 16?
False
Suppose -x - 4*j + 10 = 0, -5*j = -x - 4*x. Is 9 a factor of (-6)/12*x*-72?
True
Let w be (-5 - 205/(-35))/((-1)/(-7)). Let z be w/(-21) - 6642/(-21). Suppose -2*j = -4*v + 2*j + z, 2*j = 4*v - 318. Is v a multiple of 10?
True
Let k(a) = 4*a**3 - 15*a**2 + 19*a - 7. Let c(t) = t**3 - t**2 - 2. Let i(d) = 5*c(d) - k(d). Let l be i(-11). Suppose -79*f + l*f = 1368. Is 18 a factor of f?
False
Let r = -176 - -181. Does 18 divide r*(-1)/(5/(-266))?
False
Let d(n) = -n**3 - 110*n**2 - 355*n + 332. Does 32 divide d(-107)?
False
Suppose 5*f + 28 = a, -4*a + 11*f - 9*f = -22. Suppose -5 = a*c + 7, -3*q + 4*c + 373 = 0. Is q a multiple of 2?
False
Suppose -b + 0*f - 5*f = 1179, b + 1185 = f. Let u = b - -1731. Is u a multiple of 12?
False
Suppose w - 5*u = 6*w + 550, -12 = 3*u. Let d = w -