(-168)/(-9) - 8/12. Let i = 23 - x. Suppose 4*w + 4*s - 366 - 734 = 0, -i*w + 4*s = -1357. Is w a multiple of 13?
True
Let x(c) = -c**2 - 13*c + 92. Let d be x(5). Does 6 divide -24*15/d*10/(-6)?
True
Let g = -3317 - -6905. Does 92 divide g?
True
Let u = -408 - -420. Suppose 4554 = -6*o + u*o. Is 7 a factor of o?
False
Suppose 18792 = 3*u - 85*z + 83*z, 3*z + 25058 = 4*u. Is 20 a factor of u?
True
Suppose -3*d + 7*d = 3*p - 1129, 873 = -3*d - 3*p. Let u = d + 1518. Does 31 divide u?
False
Suppose 0 = -6*u + u + 40. Let h = -12 + u. Let b(x) = x**3 + 9*x**2 + x + 3. Is b(h) a multiple of 5?
False
Does 143 divide (0 - 1)*-5 + 27/(1377/1421880)?
True
Let o(y) = -y**2 - 42*y - 96. Let n be o(-30). Let a(z) = -z + 8. Let f be a(5). Suppose -k - f*k = -n. Does 11 divide k?
True
Suppose 24 = 51*g - 55*g. Let k be 2 - g*4/(-4). Does 9 divide (-1 - (-14)/k)/(47/(-94))?
True
Suppose -5 = 5*w, 3*w - 1296 = 3*a - 0*w. Let u = 823 + a. Does 10 divide u?
True
Let l be (-892)/2 - 0 - -5. Let q = l - -772. Is 48 a factor of q?
False
Let x(z) = -2*z + 27. Let c = 25 + -13. Let k be x(c). Suppose 342 = 4*s + 2*t, 3*s + k*t - 264 = -t. Is s a multiple of 14?
True
Let z = 5 + -2. Let j be ((-512)/(-32))/(4/2). Let c = j + z. Is c a multiple of 11?
True
Let n(y) = -213*y - 731. Does 37 divide n(-38)?
True
Let d = -163 - -161. Does 69 divide 10/d - (-569 - -12)?
True
Suppose 25*f - 21*f - 408 = 0. Let t = f + 26. Suppose 8*b + t = 536. Is 10 a factor of b?
False
Let k be -4*3/(8 + -2) - 2. Let n be 164/8 - (-2)/k. Suppose -7*f = -132 + n. Is f a multiple of 8?
True
Suppose -3*l - 5*p = -30, -2*l + 0*l + p + 7 = 0. Let r(j) = -3*j**3 - 4*j**2 - 1. Let s be r(-3). Suppose -l*z + 3*z = -s. Is z a multiple of 2?
True
Let a be ((-30)/(-12))/((-1)/2). Let i be 0 - 480/(a + 0). Let y = i + -86. Is y a multiple of 2?
True
Is 5 a factor of ((-7601)/(-44))/(95/(-57)*2/(-40))?
False
Suppose 227*j + 1997 = 41*j + 92207. Is j a multiple of 2?
False
Let v(b) = -b**3 - 9*b**2 - 20*b - 8. Let c be v(-6). Let q be c - 1/(-2)*142. Suppose -2*k + q = 3*k. Does 3 divide k?
True
Let q be 4*6*(-1)/(-6). Suppose 2*l = q*s + 5*l - 7439, -4*l = 2*s - 3722. Is s a multiple of 13?
True
Suppose -7823 - 14017 = -13*n. Is n a multiple of 48?
True
Is 24 a factor of -195*(-20)/50*56?
True
Does 29 divide (-10601)/(-13) - 996/2158?
False
Let h(y) = y + 6. Let f be h(-5). Let q = 698 - 2917. Is 4/(-30) - f*q/105 a multiple of 9?
False
Let d = -81 + 79. Let o(x) be the first derivative of -2*x**4 + 2*x**2 + x - 2. Is o(d) a multiple of 13?
False
Suppose -3*w - 27742 = -2*d, 35*w - 41592 = -3*d + 36*w. Is 25 a factor of d?
False
Suppose -653 = -w - 5*q, -2011 = -3*w + 6*q - 8*q. Is w a multiple of 22?
False
Let z(t) = 29*t + 54. Let p be z(-8). Let c = 252 + p. Is c a multiple of 3?
False
Let j be 1*0/((-12)/6). Suppose -23*f + 946 + 10462 = j. Does 14 divide f?
False
Suppose -4*m = -2*m + 8. Let s be (3/(-2))/((-3)/m). Is 9 a factor of (6/6)/(s/(-40))?
False
Let s(i) = -42*i - 3. Let h be s(4). Let a = h + 292. Let v = a + -70. Is 12 a factor of v?
False
Suppose 0 = -11*g - 229 - 398. Is 12 a factor of ((-18)/8)/(g/40736)?
True
Let w be (-4)/(-6)*(3726/(-12))/(-9). Suppose -w*h + 12747 = 3018. Does 50 divide h?
False
Suppose 159*c - 134*c - 97875 = 0. Does 97 divide c?
False
Suppose 5*f - 10 = -0*f. Suppose h = -t - f*t + 12, -2*h - 6 = 0. Is (1 - t) + (57 - -1) a multiple of 18?
True
Let k(w) = 75*w**2 + 96*w. Suppose 0 = -4*j - 2*i - 12 - 8, j - 2*i = 0. Is 34 a factor of k(j)?
True
Let r = 1202 + -414. Is r a multiple of 11?
False
Does 9 divide (-5 + 239)*(16 - -2)?
True
Let t = -93 + 161. Suppose 66*p - t*p = -486. Is 34 a factor of p?
False
Let l = 18 - 25. Let m(g) = -13*g + 134. Does 9 divide m(l)?
True
Let z(l) = 15*l**2 - 6*l + 27. Let p = 112 - 112. Suppose p = -2*n - 5*h - 9, -2*h = 8 - 2. Is z(n) a multiple of 9?
True
Let o(c) = -c**3 - 9*c**2 + 3*c + 14. Let h(m) = -m**2 - 33*m - 11. Let r be h(-33). Is 28 a factor of o(r)?
False
Suppose -4*q = -2100 + 608. Suppose 2*n = -3*r + 8*r + q, 3*r = -2*n + 397. Is n a multiple of 6?
False
Let y = 7984 + 1043. Is 177 a factor of y?
True
Does 72 divide (-1269)/(-94)*(-10976)/(-3)?
True
Let j(n) = 2*n**3 - 13*n**2 + 6*n - 9. Let v be j(6). Let g(f) = -8*f - 14. Let m(s) = -s + 1. Let c(w) = 2*g(w) - 2*m(w). Is c(v) a multiple of 16?
True
Suppose 3*m = -5*t + 18774, -4*t + 22726 - 7694 = -4*m. Does 61 divide t?
False
Let w(g) = 3*g**3 - 8*g**2 - 19*g + 16. Suppose 20*f - 37 = 103. Does 24 divide w(f)?
False
Let b(d) = -92*d - 71. Let s be b(6). Let g = 1451 + s. Is 69 a factor of g?
True
Let j(p) = -2*p - 11. Let h be j(-17). Let g = -26 + h. Is 13 a factor of -1*(g + -1 + -75 + 1)?
True
Suppose -14*n + 15485 = 2927. Does 21 divide -1913*1/(-13) + (-138)/n?
True
Suppose -3*v = -5*w + 119861, -11*v - 71937 = -3*w - 16*v. Does 17 divide w?
False
Let p be 4388/36 + 4/36. Let j = p - 80. Is j a multiple of 2?
True
Suppose -2*q = 5*t - 2484, t + 2*q = 680 - 188. Suppose -t = 13*k - 1421. Is 8 a factor of k?
False
Let r = 213 - 115. Let m = 107 - r. Is 10 a factor of (0 - m)/(-3) + 17?
True
Let g(u) be the first derivative of u**3/3 - 2*u**2 + 6*u - 2. Let c = -143 - -133. Is 14 a factor of g(c)?
False
Let w(u) be the third derivative of 11*u**4/24 - 7*u**3/2 + 66*u**2. Is 12 a factor of w(9)?
False
Let c(v) = 3*v**3 + 79*v**2 - 71*v - 15. Does 63 divide c(-26)?
False
Let l(o) = o**2 - 48*o - 152. Does 8 divide l(-67)?
False
Let w be ((-2)/(-12))/(11499/(-1278) + 9). Suppose -3*p = -2*p + 5*z + 79, 2*p + 103 = z. Let l = w + p. Does 7 divide l?
False
Suppose -5*s = -8*s + 2*f + 3680, -2*s + f + 2451 = 0. Does 2 divide s?
True
Suppose -4*n + 4 = -5*g, 3*n - 2*n = 5*g + 1. Is 14 a factor of 2217/n*1*(-4)/(-12)?
False
Does 33 divide (1968 - 206)/((-2)/(4/(-2)))?
False
Let x(s) = 36*s + 7284. Is 66 a factor of x(-41)?
True
Let o(v) be the first derivative of -v**4/2 - 4*v**3 - 2*v**2 + 4*v - 1. Is o(-7) a multiple of 45?
False
Let b(c) = -13*c - 31. Suppose -20 = -4*s, -r + 3*s = -s + 31. Let o be b(r). Suppose 0 = h + 5*q - 21, 27 = 3*h - 4*q - o. Is 9 a factor of h?
False
Let j(n) = -n**3 - 38*n**2 - 347*n + 18. Let z be j(-19). Suppose b + 4*u + 696 = -b, 5*u = -2*b - 696. Let o = z - b. Is o a multiple of 19?
False
Is ((-320)/(-14))/((-82)/(-46781)) a multiple of 233?
False
Suppose f + r = 998, -22*r - 1975 = -2*f - 17*r. Does 16 divide f?
False
Let g(y) = 351*y**3 - 2*y**2 + 3*y + 1. Let r be g(2). Let a = r + -1999. Does 34 divide a?
False
Let m = 6571 + -6037. Is m a multiple of 6?
True
Let a(w) = 36*w**2 - 13*w + 2. Suppose 0 = -0*u - u + 2*b - 4, -2*u = -5*b + 11. Does 5 divide a(u)?
True
Suppose 31*q - 149732 = 412732. Is 42 a factor of q?
True
Let n(o) = 4*o**2 + 4*o - 18. Let y be n(-8). Let t = 307 - y. Is 2 a factor of t?
False
Let b = 79876 + -50526. Does 10 divide b?
True
Let o = -14 - -6. Let y(i) = -i - 3. Let s be y(o). Suppose -s*w + 256 = 4*p, 0*p = -5*w + p + 261. Is 26 a factor of w?
True
Suppose 2*t - 2*y = 500, y - 1097 + 82 = -4*t. Let k = t - 417. Let f = -121 - k. Is 16 a factor of f?
False
Suppose -172*a = -232*a + 287460. Is 42 a factor of a?
False
Suppose 7*v - 52443 = -2*i, 27*i - 31*i = -5*v - 104943. Does 13 divide i?
False
Let g be 3 + -1 + 0*(3 + -2). Let j be (10 + -23)/(g/(-50)). Suppose -10*o + 1785 = j. Is o a multiple of 43?
False
Let b(g) = -13*g**2 + 1. Let f be b(-1). Let x(j) = -j**2 - 13*j - 10. Let m be x(f). Suppose -2*y = m*h - 189 - 17, h + 3*y = 97. Is h a multiple of 20?
False
Let o = 357 + -331. Suppose -o*p + 14212 = -9*p. Is p a multiple of 22?
True
Let m(f) = 28*f**2 + 116*f + 2068. Is 68 a factor of m(-20)?
True
Let r be (211 - (1 + 0))*(-342)/(-95). Suppose -r = -11*o + 333. Is o a multiple of 5?
False
Let j(h) be the second derivative of -h**3/2 + 90*h**2 - 394*h. Let k(u) = -u**2 + 9*u. Let b be k(9). Does 15 divide j(b)?
True
Let i(d) = 67*d + 2292. Does 296 divide i(58)?
False
Suppose 447 + 85 = 4*j. Is 17 a factor of j + -1*(-3 + -2)?
False
Let b(p) = 538*p + 50. Is 119 a factor of b(4)?
False
Is 762/(((-180)/(-138))/10) a multiple of 51?
False
Suppose k + 24 + 2 = -3*a, k + 33 = 4*a. Let t(d) = 2*d**2 + 39*d + 39. Is 10 a factor of t(k)?
True
Suppose -2*p = -3*l + 4452, -3*p - p = 0. Is l a