 -h*j + 12*j - 30. Suppose -j*r + 152 + 68 = 0. Is 11 a factor of r?
True
Let y(k) = k**2 - 7*k - 23. Let h be y(-3). Suppose 3*v = -3*f + 561, h*f - 3*f - 202 = -v. Is v a multiple of 13?
True
Let q(m) = m**2 - 23*m + 4. Suppose 3*z - 63 - 6 = 0. Let c be q(z). Is 29 a factor of c/9*3*99/2?
False
Let l = 17808 - 6456. Does 12 divide l?
True
Suppose 0 = 5*s - 10, 4*t + 17531 + 110637 = -2*s. Does 37 divide t/(-55) + (-4)/(-10)?
False
Let g = -4104 - -5446. Is 11 a factor of g?
True
Let h(u) be the first derivative of u**4/4 - 2*u**3/3 - 5*u**2/2 - 8*u + 623. Let x be 6/(-8) - (-35)/4. Does 49 divide h(x)?
False
Suppose -2*j + 964 = 2*j + 2*q, -5*j = -3*q - 1194. Let f = 26 - j. Let b = -53 - f. Is 23 a factor of b?
True
Suppose z = 2*l - 2*z - 381, 3*l - z - 568 = 0. Suppose -18 = -2*c - 2*p, -c - 12 - 4 = -4*p. Suppose k = m - 55, c*m = -k + l + 36. Is m a multiple of 14?
True
Let n be ((-8)/(-2))/(-1) - (4150 + -24). Is 16 a factor of (n/(-4))/5 - 31/(-62)?
False
Suppose -329*w = -176*w - 6334770 - 2051160. Does 378 divide w?
True
Suppose 0 = -4*b - c - 5712 + 17260, 0 = b + 2*c - 2887. Is b a multiple of 8?
False
Let q(b) = 510*b**2 - b + 1. Let r be q(1). Suppose -10*g + 25*g - r = 0. Does 16 divide g?
False
Let c(q) be the second derivative of 8*q**2 + 0 + 1/3*q**3 + 1/12*q**4 - 11*q. Is c(-10) a multiple of 12?
True
Let r = 20300 + 7410. Does 7 divide r?
False
Let t = 40 + -50. Does 18 divide -228*(35/t + 2)?
True
Let k be (1/(14/(-6)))/(6/(-42)). Let t = -64 - k. Let n = 102 + t. Is n a multiple of 3?
False
Let m = -126 + 140. Suppose m = 3*p - 25. Suppose p*t - 17*t = -188. Is 47 a factor of t?
True
Let n = 6166 - -5056. Does 31 divide n?
True
Let d = 8767 - 4799. Does 62 divide d?
True
Let x(z) = 1 + 8*z + 8 + 1278*z**2 - 1117*z**2. Is 18 a factor of x(-1)?
True
Let i(p) = 199*p**2 - 15 - 9*p + 5 + 0*p - 200*p**2. Let r be i(-7). Suppose 4*x + 0*w - 149 = -w, -4*w = -r*x + 124. Does 6 divide x?
True
Suppose -c - 5*g = -2*c + 131, -2*c - 4*g = -206. Let t = c + -55. Is (36/14)/(12/t) a multiple of 7?
False
Let i be 27/12 - 5/20. Suppose -2*q - 19 = -3*u, -8 = -0*q - i*q. Does 24 divide (-2)/3 + 807/u?
False
Let k be (-1674)/(-126) - 4/14. Suppose 21*t + 16 = k*t. Is t/(1*(-8)/124) a multiple of 5?
False
Suppose 0 = -4*c + 13*c - 2430. Suppose -3*q = 3, -3*q = 5*k - q - 23. Suppose 3*l - 5*u = 295, -k*l + c + 190 = -2*u. Is 15 a factor of l?
True
Let w(k) = k**3 - k**2 - 14*k - 18. Let a be w(-4). Let y = a + 75. Is y a multiple of 2?
False
Is 82 a factor of 514371/264 + (135/(-40) - -3)?
False
Suppose b - 57*p + 60*p - 1734 = 0, -5*b - 5*p = -8700. Is 3 a factor of b?
True
Let f(t) = t**3 + 5*t**2 - 8*t - 20. Let c be f(-5). Suppose 3*a + 3*z - 2*z = 94, 0 = -5*z + c. Is a a multiple of 15?
True
Let p be ((640/12)/4)/(6/(-99)). Let z = -204 - p. Is z even?
True
Let u = 400 + 346. Let d = u - 343. Does 13 divide d?
True
Suppose 3*f = -5*d - 0 + 36, -d + 4 = -f. Let i(t) = -t**3 + 13*t**2 + 6*t + 4. Is i(d) a multiple of 13?
False
Let c = -18 + 55. Suppose -2160 = c*w - 43*w. Is 8 a factor of w?
True
Suppose -29*x + x + 131565 = 7*x. Is 5 a factor of x?
False
Is 3 a factor of (-2)/6*((-19)/((-133)/98) - 2180)?
False
Let x(u) = 255*u**2 - 136*u + 65. Is x(-11) a multiple of 16?
True
Suppose -2*b + 5*k - 26 = 0, -k = 7*b - 9*b - 18. Does 39 divide 4/(-3)*(8 + 532/b)?
True
Suppose -45*b + 260025 - 11085 = 0. Does 9 divide b?
False
Suppose 0 = 3*o + 2*z - 33268, -44348 = -3*o - o + 2*z. Is o a multiple of 28?
True
Let l(k) = 1147*k - 9603. Is 30 a factor of l(22)?
False
Suppose 0 = -3*s + 3*n - 8121, -3*s - 2*n = -4*n + 8116. Let l = s - -770. Does 28 divide (2 + (-4)/3)/((-8)/l)?
False
Let y = -6102 + 9085. Is y a multiple of 14?
False
Let t = 42855 + -15541. Is t a multiple of 24?
False
Let l(v) = -8*v**2 - 4*v + 4. Let d be l(-5). Suppose -11*r = -40*r + 116. Does 6 divide (-13)/(76/d + r/22)?
False
Let s = 25 + -22. Suppose 0 = s*t - 3*l + 10809, -l - 3*l + 10806 = -3*t. Does 8 divide (4/(-6))/(t/720 + 5)?
True
Let s(k) = k - 15. Let p be s(32). Let h be (-2)/(-2 - (-72)/33). Let z = p + h. Is 2 a factor of z?
True
Is 8724 + (-14 - -24 - (0 + -2)) a multiple of 4?
True
Suppose 0 = -9*w - 6570 + 144. Let u be (-2)/(-8) + w/(-56). Let h(z) = z**2 - 12*z + 13. Is 8 a factor of h(u)?
False
Let b(q) = -q**3 + 7*q**2 + 3. Let a be b(7). Suppose 3*x - 4*x + a = 0. Is x/12*0 - -34 a multiple of 17?
True
Let r(o) = -3*o + 14. Let z be r(3). Suppose 3*h - z = 241. Does 2 divide h?
True
Let f be 14 + 8/(-64)*-8. Does 21 divide (((-2440)/f)/(-8))/((-2)/(-66))?
False
Suppose l = -3*d + 545, -49*d + 54*d - l - 903 = 0. Suppose 5*j - 5*p = 490, d = 2*j - p + 4*p. Does 9 divide j?
False
Let m(o) = 1 - 9*o + 8 + 5*o + 7*o + 0. Does 6 divide m(0)?
False
Let b(u) = u - 14. Let s be b(10). Let l be (-1 + 6/9)/(s/36). Let j(k) = k**3 + 2*k - 8. Is 25 a factor of j(l)?
True
Let h = -9110 - -14570. Does 52 divide h?
True
Let n be (0 - (-3)/2)/(9/12). Suppose -n*v - 34 + 14 = -4*f, 0 = 4*v - 16. Suppose 0 = -f*x - 51 + 156. Is 5 a factor of x?
True
Let x = 199 - 191. Suppose 6245 = x*u + 829. Does 52 divide u?
False
Suppose 7777 = 8*p - 1615. Let d = 1885 - p. Does 79 divide d?
True
Let g(o) = o**2 + 64*o + 80. Does 56 divide g(51)?
False
Is (-1)/7 - 10/35*-16888 a multiple of 234?
False
Let q(i) = 3*i**2 + 16*i - 8. Let h be q(-6). Suppose -52 = -h*w - l + 1440, -3*w + 3*l = -1134. Is w a multiple of 17?
True
Let l(j) = 434*j**2 - 112*j + 110. Is 54 a factor of l(1)?
True
Suppose 0 = 5*c - 5*v - 8065, -5*c - 124*v + 121*v = -8089. Does 4 divide c?
True
Let f(i) = -174*i - 64. Let r be f(-7). Suppose 2*y - 4*b - r = 0, b - 685 + 111 = -y. Is 5 a factor of y?
True
Let m(j) be the first derivative of -2*j**3/3 - 2*j**2 + 12*j - 46. Let o be m(-4). Let b = o + 132. Is b a multiple of 7?
False
Suppose j - 1 = v, -4*v + 5*v = 3*j - 9. Suppose -u - 334 = -v*u. Does 6 divide u?
False
Let k(f) = -691*f - 2299. Is k(-9) a multiple of 28?
True
Let s = 11573 + -4762. Is 49 a factor of s?
True
Let k = -53 + 55. Let f(n) = -12*n**2 + 21*n - 1 - 16*n**2 + 27*n**k. Does 19 divide f(11)?
False
Let w = 96 + -93. Let z be (-3737)/(-3) + -4 + 1/w. Is z/24 - 9/12 a multiple of 16?
False
Let u(w) = 2*w + 6. Let s be 2/(-3) - (-21)/(-9). Let x be u(s). Suppose x = -2*j + 32 - 2. Does 15 divide j?
True
Let v = 44 + -42. Suppose v*u - 238 = -44. Is 6 a factor of u?
False
Suppose -5*y = -c - 18, 2*c - 10 = -5*y - 1. Suppose -401 = 11*u - 14*u + 5*q, -3*u = y*q - 393. Is 26 a factor of u?
False
Let k(r) = r**2 + 4*r - 2. Let q be k(-5). Let x = -185 - -128. Is 14 a factor of x*(-2)/q + 4?
True
Suppose 0 = -r - 2*c + 14922, 3*r + 23*c - 26*c - 44775 = 0. Is r a multiple of 92?
False
Let s = 1976 - -3204. Is s a multiple of 74?
True
Suppose 5*y - 5*x - 90920 = 0, 55*y = 53*y - x + 36365. Is 11 a factor of y?
True
Suppose -48*y = -75*y + 251910. Is 109 a factor of y?
False
Suppose 5*n - 4*n - 5 = 0, -3*n = -5*j. Let s = 55 - 31. Suppose 2*y - 3*m = 39, s + 7 = j*y + m. Does 6 divide y?
True
Does 140 divide 1060/(-6)*(-27615)/526?
False
Let b(u) = 7*u**2 - 7*u + 25. Let d be b(9). Let t = d - 480. Is t a multiple of 7?
True
Let q = 264 - 230. Suppose -q*a = -17*a - 5712. Is a a multiple of 48?
True
Let f = -46 - 14. Let m = f + 63. Suppose 5*s = m*s + 76. Is s a multiple of 19?
True
Let h = -2912 + 4362. Is 34 a factor of h?
False
Suppose 0 = 4*n + 12, n + 1604 = 5*z - 2*n. Suppose r = 2*r + a - 3, -5*r = -3*a - 31. Suppose 3*y + 0*s = -s + z, -r*s + 230 = 2*y. Does 35 divide y?
True
Let w be (-1162)/(-22) + 6/33. Let p = w - 51. Suppose p*q - 87 = o, q = -4*q - 4*o + 224. Is q a multiple of 19?
False
Let w = 2540 - 44. Does 32 divide w?
True
Is 29/((-261)/(-5616))*(-3 - -13) a multiple of 78?
True
Let q be ((-220)/(-77))/(4/14). Let v be 1353/55 + 4/q. Suppose 0 = 5*r - 15, -5*r - v = -0*x - x. Is 10 a factor of x?
True
Suppose 0 = -3*h - 4*c + 71, -h - 9 = -3*h + 5*c. Suppose 0 = -h*i + 2880 - 840. Is i a multiple of 14?
False
Let p be (-15)/(-1)*(-5295)/(-25). Is 7 a factor of (0 - 2)*p/(-18)?
False
Suppose -6 + 18 = -4*n. Let z(r) = -r**3 - 2*r**2 - 6*r - 7. Let o be z(n). Let b = -7 + o. Is 10 a factor of b?
False
Let w be -6 - ((-2)/4)/((-23)/(-276)). Suppose w = 2*u + 2*n - 1218