ppose 0 = -q - 2*d + 12, 0 = -q - h*d - 4 + 16. Suppose -q*n + 297 = -1863. Is n a multiple of 20?
True
Let v(b) be the second derivative of -8*b**3/3 + 373*b**2/2 - 33*b. Is 48 a factor of v(0)?
False
Let f = 0 + 8. Let q(s) = -10*s + 126. Is 14 a factor of q(f)?
False
Let n(l) = l**3 - 13*l**2 + 25*l + 15. Let j be n(7). Let x = -66 - j. Is 38 a factor of x?
True
Let m = -134 - -92. Let l = m - -44. Suppose -146 = l*f - 4*f. Does 10 divide f?
False
Let g(o) = o**2 - 12*o - 20. Let u be g(12). Is 7 a factor of 15/u + (-1275)/(-20)?
True
Let o be (-1)/((4/(-12))/(2/3)). Suppose 1062 = 3*i - o*h, 3*i - 3*h - 1436 = -374. Is 6 a factor of i?
True
Suppose 2*u - 169*q = -166*q + 2795, 3*u - 4155 = -3*q. Is u a multiple of 139?
True
Suppose -2140753 - 1443107 = -147*d. Does 230 divide d?
True
Suppose 0 = -5*r, -r - 3*r = 3*z + 780. Let u = z - -512. Is 14 a factor of u?
True
Let o(b) = -b - 7. Let r be o(-21). Suppose -r*z - 3360 = -21*z. Does 32 divide z?
True
Let i(f) = 4*f - 5*f - f + 0*f + 18. Let s be i(18). Is 10 a factor of -1 + (-3 - s - 4)?
True
Let h(m) = 2 + 10*m + 41 + 4*m + 5. Let s be h(22). Suppose 0*x + s = 2*u + 5*x, -5*u + 4*x = -956. Is 47 a factor of u?
True
Let z be 7698 + ((-4)/10 - (-84)/60). Suppose -13*i + z = 2785. Is 27 a factor of i?
True
Suppose 89*v + 2 = 90*v. Suppose -3*j - 5*p - v = -1, -3 = -3*j - 3*p. Does 12 divide (-12)/(j*(-5)/90)?
True
Let n(w) = 4*w**3 - 31*w**2 - 3*w - 44. Is 37 a factor of n(12)?
True
Let t be (7/(-7))/((-2)/(-4)). Let i = t - 16. Is 11 a factor of (i/(-2))/(1/11)?
True
Let u(y) = 2*y - 13. Let d be 0/(-1) - (1 + -9). Let f be u(d). Suppose 4*b - b = -3*k + 219, -3*k + 231 = -f*b. Does 17 divide k?
False
Suppose 22*v = 19*v + 738. Suppose 9*z + v = 12*z - 2*w, -435 = -5*z - 5*w. Is 12 a factor of z?
True
Suppose -33*l + 7*d + 349 = -28*l, 4*d = -l + 32. Is 6 a factor of l?
True
Let h be (2/(-2) + -1)*(-70)/20. Suppose -4 = -h*p - 60. Let z(v) = 4*v**2 + 14*v + 16. Is 10 a factor of z(p)?
True
Let x = -258 - -249. Is 4 a factor of (x/(-7 + 4))/((-3)/(-72))?
True
Let k(r) = r**3 - 10*r**2 - 10*r + 8. Let u be k(11). Let f = u + 56. Suppose 12*h + f = 2055. Is 20 a factor of h?
False
Let k be 3*50 + 0 - 0. Suppose -8*s + 384 = -4*s + o, -16 = -4*o. Let p = k - s. Is p a multiple of 7?
False
Let o = 3907 - 1212. Is 55 a factor of o?
True
Let c = -34 - -46. Let x be -9*(8/c - 1). Is 92/1 + 4 + x a multiple of 11?
True
Let y(g) = 4 + 0 - 1 - 7 - 2*g. Is 3 a factor of y(-10)?
False
Let a(c) = -c**3 - 6*c**2 + 3*c - 1. Let b be a(-7). Suppose 4*n - b = -m, -3*m + 23 = 5*n - 16. Suppose 218 = n*l + 2. Does 9 divide l?
True
Let r(s) = -s**3 - 2*s**2 + 2*s + 2. Let g be r(0). Suppose 3*n - 50 = -g*n. Suppose 3*v + n = o - 4, -o + 16 = -4*v. Is o a multiple of 2?
True
Suppose -2299*w = -2254*w - 1237860. Is w a multiple of 46?
True
Suppose -4*d + 5*q + 1383 + 18367 = 0, -4*q + 9836 = 2*d. Does 10 divide d?
True
Let s = 17116 - 11180. Is 106 a factor of s?
True
Let t(f) = 27*f**2 - 246*f + 667. Is t(23) a multiple of 16?
False
Let k(c) = 113*c**2 + 25*c - 48. Is k(5) a multiple of 13?
False
Let p(q) = -11*q + 6. Let s be p(0). Suppose -3*f = 2*k - 582, 8*k + 570 = 3*f + s*k. Is 48 a factor of f?
True
Let q be (50/5)/(-2) - -3. Let l be ((-42)/10 - -3)/(q/(-60)). Let p = l + 66. Does 30 divide p?
True
Suppose 4*r + 3*l = r + 33, 5*r - 3*l - 23 = 0. Suppose r*m - 1038 = -345. Let g = 197 - m. Does 25 divide g?
False
Let l be ((-48)/(-90)*10)/(1/(-30)). Is 41 a factor of ((-336)/l)/(-21) - 3282/(-20)?
True
Suppose 7584 = 3*f - 5*g - 38731, -f + 15415 = 3*g. Does 12 divide f?
False
Suppose -8*n - 12 = -14*n. Suppose -3*p + z + 12 - 4 = 0, n*p = 5*z + 14. Suppose -3*m = -2*j - 281, -j = m - p*j - 95. Is 13 a factor of m?
True
Let l(w) = -448*w + 1142. Is l(-22) a multiple of 24?
False
Suppose -7*r + 65044 = 14*r - 35966. Is 26 a factor of r?
True
Suppose 71*p + 16412 = 48930. Is p a multiple of 4?
False
Is 13 a factor of 20 + (-23 - 0) - (0 - (9092 + -2))?
True
Let w = 189 + -89. Suppose 110*s - w*s = 5760. Is 9 a factor of s?
True
Suppose 3*m = -4*w + 2396, 3*m = -3*w + 1503 + 897. Is m a multiple of 6?
True
Suppose 2*z = 4*p + 209 + 85, 3*p + 450 = 3*z. Does 76 divide z?
False
Let z(n) = 4*n**2 - 90*n + 616. Is 25 a factor of z(44)?
True
Suppose -4*j + a + 81536 = 0, 4*j - 2*a - 19243 = 62293. Is j a multiple of 182?
True
Suppose 26 = 2*s - 3*s. Let d = 525 - 478. Let m = s + d. Does 21 divide m?
True
Let g = -5778 - -5999. Let u = 5 + -163. Let s = u + g. Is 5 a factor of s?
False
Let d(s) = -65*s + 10. Let z be d(2). Let t = 246 + z. Is t a multiple of 21?
True
Let w(s) be the third derivative of -s**6/120 + s**5/5 + s**4/6 + 25*s**3/6 + 80*s**2. Does 5 divide w(12)?
False
Let s = -12426 + 14979. Is s a multiple of 5?
False
Let s(k) = k**3 - 13*k**2 + 26*k - 17. Let f be s(11). Suppose 29*h - f*h + 708 = 0. Let u = -246 - h. Is u a multiple of 36?
True
Let k(l) = 2170*l**2 - 137*l + 137. Is k(1) a multiple of 18?
False
Let q(i) = i - 12. Suppose -6*c + 0*c = -78. Let j be q(c). Is 38 a factor of (96 - j)*2/5?
True
Suppose 12*m - 7194 - 165066 = 0. Does 45 divide m?
True
Let m(b) = 2*b**2 - 2*b + 3. Let u be m(2). Suppose 5*j = u*j - 312. Is 16 a factor of j?
False
Let k = 132 + -213. Let l = k - -185. Is l a multiple of 26?
True
Suppose 7*a - 25960 = -1075. Is 15 a factor of a?
True
Suppose -4*s + 239 = -n + 22, -3*s + 180 = 5*n. Suppose s = 5*o - 550. Does 19 divide o?
False
Let b(z) = 13 - 9*z - 6 + 15*z - 6 - 8. Let j = -17 + 25. Does 13 divide b(j)?
False
Suppose p + 3 = 0, 0*o - o + 523 = 3*p. Let q = o + -118. Is 14 a factor of q?
False
Suppose -4*v = -z - 2525, 4*z - 2324 - 176 = -4*v. Is 5 a factor of v?
True
Let a(z) = -1523*z**2 - 22*z - 2. Let m be a(-1). Let r = 2511 + m. Is 36 a factor of r?
True
Suppose 8*c - 9*c - 5*d = 125, -3*c = d + 403. Let z = -43 - c. Does 4 divide z?
True
Suppose -z + 665 = 5*a - 0*z, -3*a - 4*z = -416. Let m = 105 + -21. Suppose -a*r - m = -134*r. Is 6 a factor of r?
True
Let j(o) = o**3 + 7*o**2 - 12. Let i be j(-7). Let z(x) = x**3 + 12*x**2 - 8*x - 10. Does 13 divide z(i)?
False
Is ((-42639)/9 + 3)/(-15 + 1869/126) a multiple of 134?
True
Let s(g) = g**2 - 11*g + 16. Let m = 271 - 134. Suppose 7*y + 46 = m. Is s(y) a multiple of 5?
False
Let m = 378 - 283. Suppose 2*r + 155 = -3*j, -3*r + 3*j = 40 + 185. Let o = r + m. Is 5 a factor of o?
False
Does 20 divide -24283*(((-32)/24 - -1) + (-2)/3)?
False
Let w be 6*(-8 - 354/(-36)). Suppose 4651 - 16388 = -w*i. Is i a multiple of 66?
False
Suppose 4*a = -4*j + 16, -2*a + 6*j - 3*j = -18. Let x(i) = 39*i - 55. Is x(a) a multiple of 7?
False
Let l = -53307 + 85825. Is l a multiple of 97?
False
Let v be (1 - 4) + -1 - -36. Suppose -4*g + 22 = 2*p - v, -g = -5*p + 14. Suppose 0 = 3*s - 4*x - 13, x + 0*x - g = -4*s. Does 3 divide s?
True
Let k(y) = 2*y**2 + 66*y + 8. Let h be k(12). Suppose h = 9*s - 3385. Is 71 a factor of s?
True
Suppose -160 = q - 4*q + k, -3*k + 276 = 5*q. Suppose m - 2*b = -0*m + q, 0 = 3*m + 3*b - 162. Is m a multiple of 27?
True
Suppose 5*j - 79197 - 42603 = -5*x, 5*x - j - 121782 = 0. Is x a multiple of 69?
True
Let o = -3421 - -4195. Is 3 a factor of o?
True
Suppose 2*k - 15709 = -3*u - 464, 3*u - 7633 = -k. Is 44 a factor of k?
True
Let k(s) = s**3 + 11*s**2 + 9*s + 6. Let r be k(-10). Let m(t) = 170*t**2 + t - 13. Let h be m(-5). Suppose r*f = h + 824. Is 25 a factor of f?
False
Let b(k) = 13*k**2 + 27*k - 145. Let l(z) = -7*z**2 - 14*z + 72. Let a(y) = 3*b(y) + 5*l(y). Is 22 a factor of a(7)?
True
Let n be 3 - ((-27)/45)/(1/(-15)). Let c(j) = -j**3 - j**2 - 9*j. Is 21 a factor of c(n)?
False
Suppose 0 = -6*p + 1402 - 256. Let q = 264 - p. Is q a multiple of 16?
False
Suppose -4*b = 2 - 2. Suppose 3*a + b*y - 513 = 3*y, -2*a = y - 333. Does 10 divide a?
False
Let w be (-96)/1296 + (-45418)/(-54). Suppose 29*n - w = 812. Does 3 divide n?
True
Let x(b) = -996*b - 6204. Does 4 divide x(-8)?
True
Suppose -5*q + 20 = -10. Let n = -1 + q. Suppose 2*d + 51 = n*d + o, -3*d + 57 = -o. Is d a multiple of 18?
True
Suppose -177 = -3*l - z, -4*l - 3*z = -2*l - 111. Suppose -3*x - 32 = -4*s, 5*x + s = -24 - l. Does 13 divide (2 + -5)*(x + 9)?
False
Let u(v) = 2 + 5*v - 5 + 8*v**2 - 3*v. Let p(w) = 7*w**