f -q**4/2 - 7*q**3 + 44*q**2. Is g(-13) a multiple of 12?
False
Let u = 1741 - 2717. Let d = -589 - u. Is d a multiple of 56?
False
Let b be -8*(-2 + (1 - (-2)/4)). Suppose n + 5*y = 249 - 6, -1302 = -5*n + b*y. Does 6 divide n?
True
Suppose 31644 = 2*r + 2*k, -528*k + 530*k = r - 15816. Does 28 divide r?
True
Let k = -5797 + 5868. Let q be -1 + (-1)/(2/(-158)). Suppose x = -g + k + q, 0 = -4*g + 5*x + 623. Is g a multiple of 11?
False
Let c be (12 - 9) + (8/2)/2. Suppose -135 = -2*d - c*j, -25 = 4*j + j. Is 28 a factor of d?
False
Let q = 513 - 510. Is 43 a factor of 3/q - (0 + 2*-64)?
True
Let v(u) = 32*u - 7. Let q = -21 + 35. Suppose q - 12 = n. Is v(n) a multiple of 19?
True
Does 15 divide (660/(-462)*1*228)/(1/(-35))?
True
Let j = -43 + 42. Let x(l) = -18*l**3 - 3*l**2 - 3*l - 2. Let k be x(j). Does 2 divide 1/((-4)/(-14)*28/k)?
True
Let f = -88 - -92. Suppose -2*s + k - 21 = 0, f*s - 3*k + 22 = -23. Let b(m) = m**2 + 7*m + 10. Does 19 divide b(s)?
False
Let o = 6901 + 5660. Is 16 a factor of o?
False
Let x(c) = 22*c**2 - 44*c - 338. Is x(-8) a multiple of 19?
False
Let p be (-24)/(-6) + (-2 - -52). Suppose 2*r + 135 = 5*g, 2*r - 4*g + 78 + p = 0. Let m = 108 + r. Is m a multiple of 16?
True
Let b(m) = -396*m**2 - 8*m - 5. Let z(i) = i**2 - i. Let d(t) = -b(t) + 2*z(t). Does 8 divide d(-1)?
False
Let x = -586 - -582. Is 4/3 + (-32224)/(-96) - x a multiple of 21?
False
Let i = 2236 - 1589. Suppose 0 = 17*l - i - 305. Does 36 divide l?
False
Suppose 0 = 2*t + p - 8029, -6*t + 16813 + 7266 = -5*p. Does 6 divide t?
True
Let k = 9323 + 5774. Is 38 a factor of k?
False
Suppose 14*u = 29*u + 9*u - 121056. Does 52 divide u?
True
Suppose -2*y = 3*v + 44, -y - 1 = -2*v + 21. Suppose 0 = -5*h - 5*r + 225, -251 + 104 = -3*h + 3*r. Let x = h + y. Is x a multiple of 5?
True
Let z = -2491 - -3646. Does 21 divide z?
True
Let j(h) = h**3 + 16*h**2 - 4*h - 25. Suppose 10*t - 5*t = 5*w - 60, 4*w = 3*t + 38. Does 15 divide j(t)?
True
Let w be (-1 + 0 - 0) + (-141 - -478). Suppose -w = k - 1026. Does 10 divide k?
True
Let n(d) = 7*d**3 - 4*d**2 + 2*d + 7. Let k be n(-3). Let f be (1 + k/2)/((-3)/(-2)). Let l = f + 145. Is 16 a factor of l?
False
Does 178 divide (-12124)/(-2) - (175 - 165)?
True
Suppose 2*b = -5*v - 24518 + 109126, -3*v + 50748 = 4*b. Is 22 a factor of v?
False
Let c be (-4)/66*-3 - (-450)/(-55). Let u be (-1 + 5/2)/(c/176). Let h = 65 + u. Is 4 a factor of h?
True
Let b = 2800 - 729. Let j = b - 1126. Is 16 a factor of j?
False
Let f(i) = -15*i**2 - 25*i**3 + 1 - 15 + 26*i**3 - 4. Let x be f(15). Is 15 a factor of (-1002)/(-9) + 6/x?
False
Suppose 1 = -3*y + 16. Suppose 60 = y*g - 100. Is 32 a factor of g?
True
Let h be 0/((3 - -1)/(-4)). Suppose -271 = -4*g + b, 3*g + 5*b + 7 - 216 = h. Suppose -3*r = 2*p - 192, r + 2*p = -0*p + g. Is r a multiple of 7?
False
Let y = 3228 - 1404. Is y a multiple of 6?
True
Let m(y) = -540*y - 390. Is 75 a factor of m(-6)?
True
Let f be 11/(((-2)/3)/(110/15)). Let h = f + 236. Does 23 divide h?
True
Let u(j) = j**2 + 3*j - 8. Let w be u(-7). Suppose 0 = 5*f - 0*f - w. Is 27 a factor of 70 + (-1)/(-2) + (-2)/f?
False
Let x be (-4)/((21/6 + -3)/(-1)). Suppose 2*a = 4*u + x, 4*a + u - 16 = -u. Suppose -z + 4*w + 626 = a*z, -z = -5*w - 121. Does 18 divide z?
True
Suppose -116*z + 117*z = 33. Suppose -83*k + 5700 = -z*k. Does 19 divide k?
True
Suppose -2*j + 1177 + 38 = c, 4*c = -4*j + 4868. Is c even?
False
Is ((-21)/(-3))/(-77) + (-279272)/(-44) + 0 a multiple of 11?
True
Let l = 207 - 209. Is 28 a factor of 2*l*(-1 + -30)?
False
Suppose u + 0*u = 0, 4*s - 348 = 2*u. Let c be ((-2)/(-4) - 0)*188. Suppose -3*l + s = 3*i, 3*l = -3*i + 7*i + c. Is l a multiple of 14?
False
Let o(j) be the second derivative of -7*j**5/20 + j**4/3 + 5*j**3/3 + 9*j**2/2 - 9*j. Is o(-3) a multiple of 17?
True
Let u(j) = j**2 - 23*j + 11. Let c be u(23). Suppose -c*a = -18*a + 56. Suppose a*b - 168 = 7*b. Is b a multiple of 24?
True
Let g(m) = -962*m - 12177. Is 27 a factor of g(-21)?
False
Let y(o) = 8*o**2 - 7*o + 9. Let u be y(4). Suppose 65 = -3*j - v, 3*j + 2*j + v + u = 0. Let w = j - -68. Is w a multiple of 19?
False
Let a(p) = -173*p - 1. Let i be a(-3). Suppose -12 = 4*k - 32. Does 16 divide (k + -2)/(21/i)?
False
Let y = -112 + 112. Suppose 0 = -y*i + i - 484. Is i a multiple of 11?
True
Let h = -9304 + 20179. Is 17 a factor of h?
False
Let h(z) = z**3 + 13*z**2 - z - 13. Let x be h(-13). Suppose x = v - 7*v + 162. Suppose 2*y - v = 137. Is y a multiple of 11?
False
Let q = -9541 + 31561. Does 60 divide q?
True
Suppose 4*f - 19 = -3*k - 2, 4*f + 5*k - 23 = 0. Suppose -74 = 5*g - 2*d - f*d, -1 = -d. Is (-4)/g + (-620)/(-35) a multiple of 18?
True
Suppose -13 = -4*a - 5*w, -w - 8 = -3*a - 3*w. Suppose -a*h = -h. Let z(j) = j**2 + j + 143. Does 13 divide z(h)?
True
Let w(v) = 34*v**2 + 8*v + 19. Let a(d) = -51*d**2 - 12*d - 28. Let p(k) = -5*a(k) - 7*w(k). Does 8 divide p(3)?
False
Let v be ((-18)/10)/(24/(-80)) + 243. Is 0 - -1 - (-50 - v) a multiple of 12?
True
Let j(q) = q**2 + 84*q - 704. Is j(9) a multiple of 7?
True
Let m be (496/(-4) + 6)/(-2). Suppose -h = b - m, -b + 27 = -h + 96. Does 4 divide h?
True
Suppose 4*c - 8128 = 35996. Is c a multiple of 47?
False
Let o(t) = -140*t + 134*t + 0*t**2 - 3 - t**2. Let h be o(-2). Suppose 180 - 990 = -h*s. Is 18 a factor of s?
True
Suppose 24*m - 15337 = -3*l + 29*m, -m = -3*l + 15329. Is 13 a factor of l?
True
Suppose 0 = 2*m + u - 77 + 309, 3*u = 0. Let f = 83 + 108. Let z = m + f. Does 23 divide z?
False
Suppose -z + 945 = 3*i, -8*z + 1575 = 5*i - 9*z. Does 14 divide i?
False
Let l(u) = -4*u + 84. Let t be l(-16). Suppose 3*y + 96 + 0 = 0. Let z = y + t. Is 58 a factor of z?
True
Let f(i) = -2*i**3 - i**2 + 9*i + 1. Let d be f(4). Let b = d + 204. Does 13 divide b?
False
Let r(p) = -2*p**3 + 21*p**2 - 4*p - 3. Suppose 7*g + 56 = 14*g. Does 15 divide r(g)?
True
Suppose 12*k = 15*k - 9. Suppose 2*s - 5 = k. Suppose 2*c - s*t - 26 = -t, -3*c + 3*t = -45. Is 2 a factor of c?
False
Let u = 9 + -4. Let h = 456 - 178. Suppose 4*n - 580 = 2*w, 0 = -0*n + 2*n + u*w - h. Is n a multiple of 16?
True
Let f(d) = -2*d**3 + 4*d**2 + 6*d - 2. Let u be f(4). Let q(a) = 48*a - 2. Let b be q(1). Let w = b + u. Is w a multiple of 4?
True
Suppose 280*x = 245*x + 170275. Is x a multiple of 139?
True
Suppose -11*q + 10868 = 3*r, 0*q + 3*q - 2964 = 2*r. Is 76 a factor of q?
True
Let p(b) = 27*b + 182. Let i be p(-9). Suppose -4*w + 4*y + 327 = 23, -5*w + 416 = 4*y. Let h = w + i. Does 16 divide h?
False
Let k(o) = 2*o**3 - o**2 - 7*o + 9. Let b be k(5). Let z = b - 115. Does 28 divide z?
True
Suppose 13*t + 5 = 14*t. Let l(h) = 7*h - 35. Let y be l(t). Suppose 4*d + s - 3*s - 186 = y, -2*d + 108 = -4*s. Is 11 a factor of d?
True
Suppose -3*f - 1880 = f + 4*x, 3 = -x. Let r = -227 - f. Does 12 divide r?
True
Suppose 2*j = 3*h + h + 192, j - 120 = -4*h. Suppose -7*b = -j - 1. Does 15 divide (-7)/14*b*-10?
True
Let u = 13 - -6. Suppose 22 = 11*l - 0*l. Suppose l*h = 4*p - 101 - u, 93 = 3*p - 3*h. Does 6 divide p?
False
Suppose -65*y + 64*y - 1145 = 0. Let i = 1905 + y. Is i a multiple of 20?
True
Let o(w) = -w + 24. Let c be o(17). Suppose -139 + 55 = -c*n. Does 14 divide (99 - -2)*(n + -11)?
False
Suppose 0*p = -14*p - 98. Let u(s) = -6*s + 48. Is 9 a factor of u(p)?
True
Suppose -11*a + 6 = -38. Suppose -a*c - 13 - 7 = -u, 3*c = 4*u - 93. Is u a multiple of 12?
True
Let z(y) = y - 30. Let c be z(-18). Let o(t) = 2*t - 7. Let h be o(2). Is (h/2)/(1/c) a multiple of 26?
False
Let n(f) = 6*f**3 + 32*f**2 - 10*f - 43. Let v(u) = 7*u**3 + 30*u**2 - 11*u - 41. Let h(b) = 6*n(b) - 5*v(b). Is 11 a factor of h(-42)?
False
Suppose -3*x = -3*v, 5*v + 4*x = x. Suppose -z - 10*y + 13*y + 143 = v, -2*y - 278 = -2*z. Does 7 divide z?
False
Let k(b) = -4*b + 58 + 2*b - 14 + 0*b. Let l be k(21). Suppose -212 = -5*x + 4*t, 3*t + 23 = -l*x + 94. Is x a multiple of 5?
True
Let k = -294 + 298. Is 11 a factor of (-1875)/(-9) - 3 - k/(-6)?
False
Suppose 0 = -z - 5*a + 2, 18 = -5*z + 3*a - 0*a. Let b(k) = -20*k**3 - 8*k - 6. Let r be b(z). Suppose 11*p - r = 8*p. Is 20 a factor of p?
False
Does 41 divide (-1793 - (-35 + 24))/(4/(-6))?
False
Suppose -3*c = -8*c - 215. Let i(l) = -l**3 - 13*l**2 - 26*l + 3. Let a be i(-7).