r*a = 12, -2*f = -a - 6 - 5. Suppose -d = f*d - 3*b - 114, 0 = -d - 4*b + 32. Does 8 divide d?
True
Let k = -4697 + 8352. Suppose -q = 5*b - 0*b - 704, 0 = 5*q - 2*b - k. Does 27 divide q?
True
Let j be (-405)/(-12)*(1 + 3 + 20). Suppose -3*o + j = i, -4*i + 224 = 2*o - 326. Does 26 divide o?
False
Let k(i) = 498*i**2 + 64*i + 144. Does 13 divide k(6)?
False
Suppose 10140 = w + 3*t - 9183, 0 = 2*t - 6. Is w a multiple of 18?
True
Suppose -2*m - 581 = -5*f, 2*m + 718 - 161 = -3*f. Let l = -41 - m. Does 11 divide l?
True
Let y = 2802 + 5032. Is 4 a factor of y?
False
Let n(s) = 3*s**2 + 100*s + 12. Does 9 divide n(24)?
True
Suppose 0 = 5*z + 3*j - 57639, -4*j = 2*z - 5*z + 34595. Is 183 a factor of z?
True
Let t = 104 - -625. Let x = 1056 - t. Is 13 a factor of x?
False
Let k(x) = -3*x**2 - 45*x - 26. Let d be k(-16). Is 14 a factor of (-98 + (0 - -2))*259/d?
True
Suppose -2*s = -6*s + 36. Let q = -208 + 190. Is 826/s - 4/q a multiple of 23?
True
Let k(u) = -5*u + 8 + 31*u - 22*u. Is 4 a factor of k(3)?
True
Does 25 divide (-55)/((-6325)/313352) + 1/5?
True
Let k(q) = -436*q**3 - 7*q**2 - 4*q + 2. Is k(-1) a multiple of 3?
True
Let p(l) = -3*l**3 - l**2 + 2*l + 2. Let d be p(-1). Let s = 77 - d. Is s + -1 + (-7)/(7/2) a multiple of 24?
True
Let m(f) = -3*f**2 - 5*f + 5. Suppose 2*t = 4*x + t + 15, 0 = 4*x - 4*t + 24. Let h be m(x). Let w = 73 - h. Is w a multiple of 10?
True
Let t = -41483 - -58266. Is t a multiple of 8?
False
Let f(q) = 5*q**2 - 87*q - 494. Does 4 divide f(25)?
True
Is (-217)/(-186) - (-99282)/36 a multiple of 31?
True
Let i = 11583 - 9819. Is i a multiple of 42?
True
Let l(k) = 22*k - 33. Let o be l(3). Suppose o = 9*m - 3. Suppose 0 = 4*f + 4*j - 172, -4*j = -m*f + f + 164. Is 16 a factor of f?
True
Let s = 11 - -7. Suppose 2*v - a - 1 = 7, 5*v - 2*a = s. Is (330/11)/((v/(-6))/(-1)) a multiple of 9?
True
Let u = 9998 + -8951. Does 3 divide u?
True
Suppose 10*k = 103*k - 171771. Is 29 a factor of k?
False
Let a be 1/(((-3)/(-1269) - -4) + -4). Let k = a + 405. Suppose -41*s + k = -35*s. Is s a multiple of 15?
False
Let c(y) = -8*y + 77. Let b be c(10). Does 19 divide -1644*b*(-2)/(-12) + -5?
True
Let p be 10/(-18)*(-26 + 20)*3. Suppose -p*k + 362 + 338 = 0. Does 10 divide k?
True
Suppose 4*c = -2*f + 260, 5*f - 526 - 49 = 5*c. Let m be 1 + -1 - (3 - 5). Suppose -m*s + f = -266. Is 15 a factor of s?
False
Suppose 31*x - 32*x = -8. Suppose x*r = -0*r + 864. Is r a multiple of 9?
True
Suppose 4*w + 0*w = -v + 16531, 3*w - 12402 = 3*v. Does 78 divide w?
False
Let a be 5*(3 - 2 - 2). Let x = -46 + 107. Let k = x - a. Is 22 a factor of k?
True
Let q(y) = -y**2 + 17*y - 30. Let s be q(15). Let g = 5 + s. Suppose -13*c + 720 = -g*c. Is c a multiple of 30?
True
Let j be 3*(-2)/(-10) + 52/(-20). Let g(s) be the third derivative of -11*s**4/3 + 5*s**3/6 - 7*s**2. Does 43 divide g(j)?
False
Suppose -4*h + l - 6*l + 3053 = 0, -l - 770 = -h. Is h a multiple of 17?
False
Suppose -42 = -11*u + 5*u. Does 14 divide 131 + (-1)/(u/7)?
False
Let l be 127/5 + 54/(-135). Is 25/(-2)*(-1 - l) a multiple of 18?
False
Suppose -99*g + 94*g = z - 8287, -g + 1665 = 4*z. Is 6 a factor of g?
False
Let v(x) be the third derivative of 39*x**4/8 - 29*x**3/2 + 252*x**2. Is 24 a factor of v(11)?
True
Let b = 20547 + 7755. Is b a multiple of 6?
True
Let v(a) = -9*a**2 + a. Let j be v(-1). Let s be j/4*24/20. Does 32 divide (-6)/(12/(-262)) + s?
True
Let o = -75 - 2992. Let b = o + 4624. Is b a multiple of 22?
False
Let x(y) = 16*y - 9. Let c(z) = 17*z - 8. Let d(t) = -6*c(t) + 7*x(t). Let k be -2 + 5 + (4 - 2). Does 35 divide d(k)?
True
Let d = -763 - -3176. Does 127 divide d?
True
Let z be 3 - 3 - 0/(-2). Suppose 11*u - 28*u = -34. Suppose -u*l = -4*x + 326, 3*x + z*x - 237 = 3*l. Is x a multiple of 11?
False
Let j = 7424 + -3956. Is j a multiple of 37?
False
Suppose 26*d - 17*d - 198 = 0. Suppose 0 = 2*o - d + 34. Is 20 a factor of o*30/27*2*-9?
True
Suppose 4*m + 4*l - 18012 = 0, -4*m + 5*l = -4472 - 13522. Does 15 divide m?
False
Suppose 0 = 10*z + 2*z - 60. Let y be z - (-1 + 3 - 1). Is 24 a factor of (-2157)/(-15) - y/(-20)?
True
Let v = -4859 - -7235. Is 99 a factor of v?
True
Let h = -48 + 94. Let x = -134 + h. Is 4 a factor of 16/x + 5/((-55)/(-717))?
False
Suppose 132 - 372 = -3*s. Let n = s + -51. Let o = -17 + n. Is 3 a factor of o?
True
Let j(k) = 20*k**2 + 200*k + 2208. Is j(-12) a multiple of 112?
True
Suppose -5*i - 4*i + 711 = 0. Suppose -32 = -2*n - t + i, -t + 56 = n. Suppose -39*c + 34*c + n = 0. Does 2 divide c?
False
Suppose 4*h = 3*c - 271, 136 = -3*h - 4*c - 86. Let s be (h/6)/(35/6 + -6). Let q = -48 + s. Does 11 divide q?
True
Let u = 315 + -176. Suppose u = 3*j - 71. Let k = 151 - j. Is 19 a factor of k?
False
Let a be 0 - (4/(-6) + (-4)/12). Is 23 a factor of (54 + -70)/(a*2/(-23))?
True
Let a(m) = m**2 + 8*m. Let v(r) = 5*r + 62. Let d be v(-14). Let f be a(d). Suppose f = -j + 5*b + 175, -904 = -5*j + 3*b + 15. Is j a multiple of 37?
True
Let x(o) = 1546*o**2 + o + 5. Is x(2) a multiple of 22?
False
Let d = -325 + 758. Let f = d - 325. Is 9 a factor of f?
True
Suppose 0*a - 24 = -12*a. Is (-1 - a)*1 + (211 - 26) a multiple of 24?
False
Let h(u) = -7*u - 19. Let b be h(-4). Let j be 1*(-2 + (b - -3)). Does 8 divide (16/j)/((-2)/(-10))?
True
Let j(m) be the third derivative of 11*m**4/24 + 35*m**3/6 + 7*m**2 + 2. Does 74 divide j(17)?
True
Let j(h) = 438*h**2 + 380*h + 6. Is 71 a factor of j(-5)?
False
Let a(l) = 25*l**2 + 7*l + 2. Let y(c) = c**2 - 6*c + 3. Let j be y(4). Let w be a(j). Suppose 21*k + w = 25*k. Does 19 divide k?
False
Let i(l) = l**3 - 8*l**2 + 7*l - 4. Let w be i(7). Let f be 1*(w + 3) - -18. Does 4 divide 20/(-5) + f - -3?
True
Let m = -179 - -257. Let u(o) = 5 - 86*o - 30 + m*o. Does 4 divide u(-11)?
False
Let u = 107 - 104. Suppose 7*r = u*r + 24. Suppose r*v + 57 = 645. Does 7 divide v?
True
Suppose -4*a + 3*d = -154, 0*d + 116 = 3*a - 2*d. Suppose 10*b - a*b + 21240 = 0. Does 12 divide b?
True
Let p be 4/(-30) + (-11)/(495/(-2796)). Let s(c) = 2*c**3 + 2*c**2 + 3. Let m be s(-3). Let g = p + m. Is 11 a factor of g?
False
Let d = -1310 + 1955. Suppose 2*v - 332 = -2*o + 322, 5*v = -2*o + d. Is 10 a factor of o?
True
Let v = -376 + 756. Suppose -p + 2*m + 304 = -v, 5*m = 0. Is 19 a factor of p?
True
Let n = -77 + 82. Is 32 a factor of 72/120 - -3*479/n?
True
Suppose -4*h = -0*h - 44. Suppose -3*y + 31 = -4*c + h, -3*y + 14 = -c. Suppose -y*j = j - 135. Is j a multiple of 7?
False
Let a be (-17 + 7)*(3 - 228/8). Is (-6)/10 + 107253/a a multiple of 70?
True
Suppose 12 - 2 = 5*d. Let k(y) = 0*y + 4*y**d - 4*y**3 + y**3 - 2 + y - 3. Is k(-3) a multiple of 25?
False
Let x(p) = 31*p + 1473. Does 8 divide x(16)?
False
Suppose 0 = -28*a + 26*a + 8. Suppose -3*k + 241 = -a*s, 3*k - 3*s - 409 = -2*k. Is 17 a factor of k?
False
Suppose -2*n + w - 799 = 0, 91*n - 90*n + 382 = 4*w. Let a = n + 586. Is a a multiple of 46?
True
Suppose 45136 = -99*x + 165025. Is 29 a factor of x?
False
Let o = -97 + 136. Suppose -1000 = 29*g - o*g. Is 2 a factor of g?
True
Suppose 0 = -3*y + 9, 3*n + 4*y + 2316 = 0. Is -7 - n - -8 - -7 a multiple of 16?
True
Let o be (-128 - -126) + 130 + 1. Let f(b) = 3*b**3 + 4*b**2 - 3*b - 2. Let v be f(-4). Let t = v + o. Does 11 divide t?
True
Let x(o) = 32*o**2 + o. Let m be x(1). Suppose m*c = 28*c + 1065. Is 71 a factor of c?
True
Let q(g) = -g**2 - 32*g - 19 + 100 - 27 - 20 - 19. Is 5 a factor of q(-25)?
True
Suppose -238 = -57*n + 59*n. Let j = n + 124. Suppose -g - 1 = 0, -186 - 844 = -5*f - j*g. Is f a multiple of 27?
False
Suppose 25*h - 206 = 294. Let y = 2 + -5. Is (h/(-16))/(y/84) a multiple of 28?
False
Let l(q) be the second derivative of q**4/12 - 5*q**3/3 - 4*q**2 - 6*q. Let z be l(11). Suppose 96 = z*h - 3*t, 3*t = -3*h + 70 + 38. Does 5 divide h?
False
Suppose -1320 = 4*a + 4*i, 7*a + 4*i - 955 = 10*a. Does 18 divide (-2)/(-25) - 90974/a?
False
Let a(m) = -m**3 + 26*m**2 + 28*m - 3. Let h(y) = -y**2 + 15*y - 23. Let o be h(5). Let i be a(o). Let t = i + -9. Does 5 divide t?
True
Suppose 5*g = k - 5, -19 + 0 = -2*k + g. Let o(h) = h**2 + 15*h + 23. Is o(k) a multiple of 18?
False
Let m = -6091 - -12559. Is 49 a factor of m?
True
Let n be -4 - 3/(6/(-8)). Suppose n = -6*x + x. Suppose x =