irst derivative of -i**3/3 - 3*i**2 - 2*i + 12. Let j be t(-5). Is 6 a factor of j*(4/(-12) + 3)?
False
Let h(g) = -3*g + 31. Let l be h(14). Let n(s) = -s**3 - 11*s**2 - 7*s - 9. Is 42 a factor of n(l)?
False
Let n = -8 + 6. Let u(l) = l**3 + 3*l**2 + 2*l. Let w be u(n). Suppose w = 4*y + 19 - 131. Is 14 a factor of y?
True
Suppose 86 = 2*r + 30. Let t = 24 + r. Does 26 divide t?
True
Suppose -3*h + 3 = 4*p, 3*h - 2 - 7 = -2*p. Is (3/2)/(p/(-140)) a multiple of 10?
True
Let c = -21 - -16. Let u(y) = 4*y**2 + 6*y. Is u(c) a multiple of 16?
False
Suppose 3*x - 244 = 7*x. Let f = -9 - x. Is 26 a factor of f?
True
Let w = 805 - 558. Suppose -2*a = 3*v - 237, 3*a - a + 5*v = w. Is 24 a factor of a?
False
Let s(w) = -w - 6*w**2 + 1 - 14*w + 8 + 5*w**2. Let g be s(-7). Let f = g + 34. Does 29 divide f?
False
Let c = -101 - -97. Let b(l) = -3*l**3 + l**2 - 4*l + 4. Does 18 divide b(c)?
False
Is 3/(18/292) + (-196)/294 a multiple of 48?
True
Let r be 40/(-15) + 1/(-3). Let w be 1/((-3)/45*r). Suppose -w*v + 121 = -54. Does 14 divide v?
False
Does 17 divide ((-6)/6 + 4)/((-1)/(-389))?
False
Let o(d) = -22*d - 49. Is o(-23) a multiple of 35?
False
Is ((-1)/(11/(-75273)))/3 a multiple of 118?
False
Let p(w) = -w**3 - 25*w**2 - 24*w + 60. Is p(-25) a multiple of 23?
False
Let v be ((-6)/8)/((-7)/(-1932)). Let k = -109 - v. Is 20 a factor of k?
False
Let f(y) = -y - 3. Let x be f(-10). Let h be (-2)/x + (-270)/(-63). Suppose u - 298 = -h*p, 3*p - u = 4*u + 235. Is p a multiple of 15?
True
Suppose -4 = 3*o - 2*o. Let h = 26 + o. Is h a multiple of 22?
True
Let g(l) = -l**2 + l + 1. Let u(q) = -2*q**2 - 5*q - 5. Let p(o) = g(o) - u(o). Let w be p(-4). Does 6 divide w/(-4)*0 - -41?
False
Let n(i) = -4*i**3 - 6*i**2 - 3*i + 2. Is n(-4) a multiple of 29?
True
Let f be 10/(2 - (3 + -3)). Suppose -f*m = -10*m + 55. Suppose -4 = -m*i + 10*i. Does 4 divide i?
True
Let l(s) be the second derivative of 1/12*s**4 + 6*s + 4/3*s**3 + 0 - 4*s**2. Does 10 divide l(-12)?
True
Let q = -518 - -1068. Does 10 divide q?
True
Let g be 259/49 - 4/14. Suppose 0 = -3*t + g*w + 29, 5*t = w + 9 + 10. Suppose 0 = -t*l + 3*u + 255, 4*l + 2*u - 310 = -0*u. Does 23 divide l?
False
Let r(w) = w**2 - 2*w - 1. Let x be r(3). Suppose -3*p - 2*o + 50 + 7 = 0, -38 = -x*p - 3*o. Suppose y - p = 3. Is y a multiple of 11?
True
Suppose -14*m + 2736 - 1056 = 0. Does 12 divide m?
True
Let g(o) = o**3 - 2*o**2 - 5*o + 5. Let x be g(4). Let k = 5 + x. Is k a multiple of 11?
True
Let w = 83 + -105. Let s be -1 + (140/1)/2. Let t = s + w. Is 18 a factor of t?
False
Let t(f) = f**3 - 5*f**2 + 4*f - 4. Let c be t(4). Let o(m) = -2*m - 7. Let p be o(c). Is 0 + (0 - p - -14) a multiple of 9?
False
Let k = 345 + -545. Let o = -33 - k. Is o a multiple of 10?
False
Suppose 2*g = 36 - 28. Let z(n) = 2*n + 7. Does 12 divide z(g)?
False
Let w = -418 + 887. Is 17 a factor of w?
False
Suppose -4*g - 254 = -2*s, -6*g + g = 4*s - 547. Does 5 divide s?
False
Let g(r) be the second derivative of r**5/20 + 5*r**4/6 - r**3/6 - 17*r**2/2 + 37*r. Is 19 a factor of g(-6)?
True
Let s = -157 + 240. Let v be (-1)/(-3) - (-254)/(-6). Let t = v + s. Is 13 a factor of t?
False
Let g be 225/18*(1 - -23). Suppose -6*j - g = -11*j. Is j a multiple of 5?
True
Let q(o) = 2*o - 10. Let m be q(-8). Let z(d) = -d - 27. Let a be z(-11). Let p = a - m. Is p a multiple of 5?
True
Let x(s) be the first derivative of -s**2/2 + 13*s - 4. Let y be x(13). Suppose -3*j + 132 = 2*j + 4*m, y = 3*j + 5*m - 74. Does 7 divide j?
True
Suppose 5*u = -2*g - 139, -190 = 3*g + 4*u + 8. Let f = g + 109. Does 7 divide f?
False
Let m(k) = -k**3 - 16*k**2 + 11*k + 22. Let j be 68/(-6)*(-18)/(-12). Does 31 divide m(j)?
True
Suppose 9*d + 3462 - 11472 = 0. Is d a multiple of 10?
True
Let y(m) = m**3 - 2*m**2 - 3*m - 4. Let x be y(3). Is (-270)/6*(-42)/10 - x a multiple of 20?
False
Suppose -7 = -10*o + 11*o. Let c be (18/o)/((-15)/280). Suppose -c = -4*s - 0*s. Does 12 divide s?
True
Let u be ((-16)/(-4) - 3) + 4. Suppose 2 = 2*h, 0 = -u*d - 2*h + 37 + 180. Does 11 divide d?
False
Suppose -2*k + 14*s = 16*s - 1264, -4*k + 2533 = 3*s. Is k a multiple of 13?
True
Let q(j) be the second derivative of -j - 1/12*j**4 - 6*j**2 + 0 + 17/6*j**3. Is q(13) a multiple of 8?
True
Suppose -16 + 10 = -2*t. Suppose n = t*n - 212. Suppose -4*v - 40 + 124 = -3*a, -4*a - n = -5*v. Is 9 a factor of v?
True
Suppose 3*n + 4*d = 5240, -3*d = -16*n + 18*n - 3495. Is 15 a factor of n?
True
Let c(s) = -2*s - 6. Let n be c(-2). Let q(m) = 10*m**2 - 4. Is 6 a factor of q(n)?
True
Suppose 40*b - 42*b = -6, -4*b = -2*w + 1946. Is w a multiple of 11?
True
Let n = 204 + 593. Is n a multiple of 62?
False
Let k be (-2 - 1578/(-18))*3. Let l = k - 174. Is l a multiple of 20?
False
Suppose -4*y = -2*p + 884, 34*p - 36*p - 3*y + 912 = 0. Is p a multiple of 25?
True
Suppose 62 = 4*x - 94. Let f = x + 91. Is 13 a factor of f?
True
Let s = 424 - 198. Suppose -s = -2*o - 74. Suppose -o = -2*u - 2*u. Does 5 divide u?
False
Let h(s) = s**2 + 11*s + 27. Let j be h(-8). Suppose 4*v = j*v + 11. Is v a multiple of 2?
False
Suppose -60*a + 48*a + 13896 = 0. Is 32 a factor of a?
False
Let i(c) = 4*c**2 - 30*c + 5. Let q(y) = 5*y**2 - 29*y + 4. Let f(n) = -7*i(n) + 6*q(n). Is 4 a factor of f(-19)?
False
Let d(f) = f**2 - 20*f + 22. Let m be d(19). Suppose -5*y + 469 = m*o, -2*y + 635 = 4*o - 5*y. Is 49 a factor of o?
False
Let b be -3*3/6*-42. Is 4 a factor of 21/b - 76/(-6)?
False
Let w = -28 + 31. Suppose 2*p + 5*i - 130 = -3*p, -w*i = 3. Is 9 a factor of p?
True
Suppose 40*u + 1890 = 47*u. Is 27 a factor of u?
True
Suppose 2352 = 6*p - 132. Is p a multiple of 23?
True
Let u(p) = -p**3 - 11*p**2 - p - 12. Let s(g) = g**3 + 11*g**2 + 12. Let v(d) = 5*s(d) + 4*u(d). Does 14 divide v(-11)?
True
Let x be (-2)/8 - 18/(-8). Let l be 466/x - 1 - 4. Suppose 4*w = -2*k - w + 75, 5*k - w = l. Is 8 a factor of k?
False
Suppose 3*w - 12 = -3*j - w, -3*j + 2*w - 6 = 0. Suppose -g + 5*d + 162 = 0, -3*g - 4*d + d + 450 = j. Does 12 divide g?
False
Let b(d) = 9*d**2 - 4*d - 21. Is b(-6) a multiple of 4?
False
Let b(k) = 34*k**3 + 19*k**2 - 41*k + 3. Is b(2) a multiple of 5?
False
Suppose 3*l - 4*k - 17 = 0, 4*k = -l + 2 + 9. Suppose -11*g + 120 = -l*g. Is g a multiple of 30?
True
Suppose c + 4*m - 31 = -10, -2*m = 0. Is 5 a factor of c?
False
Let t = -5 - -10. Let z = -5 + t. Suppose 33 = -z*l + l + 2*r, 23 = l - 3*r. Is l a multiple of 11?
False
Let x = -244 - -348. Is 17 a factor of x?
False
Let p(h) = h**3 - 4*h**2 + h. Let w be p(2). Let k(o) = 5*o - 3. Let t(v) = -14*v + 8. Let x(u) = w*t(u) - 17*k(u). Is 4 a factor of x(-5)?
True
Suppose 2 = t + 6, 0 = -2*d - 2*t + 44. Let y = -4 - -6. Let v = y + d. Is v a multiple of 14?
True
Suppose 2*l + 443 = 6*l - j, 2*j = 10. Is 58 a factor of l?
False
Let u(i) = i**3 - 21*i**2 + 27*i - 26. Let n be u(20). Suppose -n = -4*r + 174. Does 14 divide r?
False
Suppose -w + 0 = -128. Is 7 a factor of w?
False
Suppose 0 = 2*w - 3*r + 6*r - 6, 4 = w + 2*r. Suppose w = j + 4*j - 80. Is j a multiple of 4?
True
Let c(q) = 4*q + 2. Let l = 15 + -8. Let x be (-1 - (-13)/l)*7. Is c(x) a multiple of 7?
False
Let i = -42 + 70. Suppose 3*w - 97 = 5*k, -k - 5*w + 54 = -3*k. Let g = k + i. Is 7 a factor of g?
False
Let d be (2*4/12)/((-1)/42). Let y(k) = k**3 + 28*k**2 - 2*k - 53. Is y(d) a multiple of 3?
True
Let j be (4/(-10))/(3/60). Let v(b) = -b + 17. Does 5 divide v(j)?
True
Suppose -s - 64 = 5*g, -7*g + 2*g + 4*s - 69 = 0. Let y = 6 - -11. Let q = g + y. Is 2 a factor of q?
True
Let z(q) = q + 3. Let a be ((-4)/(-6) + 0)*-3. Let n be z(a). Does 4 divide n*-3*66/(-9)?
False
Suppose -2*k + 5747 = -m, -32*k + 30*k = -4*m - 5732. Is k a multiple of 10?
False
Suppose -3 = -3*u, -5*t + 0*u + 4*u = -1256. Is 3 a factor of t?
True
Suppose 0*z + 5*z = -4*r + 115, -r - 3*z + 34 = 0. Let x = r + -10. Is 2 a factor of x?
False
Suppose c + 5*x - 26 = 0, -2*c = -3*c - 4*x + 23. Let u = 184 - c. Is u a multiple of 53?
False
Suppose d - 97 = 243. Is d a multiple of 17?
True
Is 26/(-156) + (-489)/(-18) a multiple of 3?
True
Let c be (2 - -46) + 2 + 2. Suppose -c = i - 2*f + 5, -5*i - 230 = f. Let w = 99 + i. Does 16 divide w?
False
Let a = 60 + -99. Let b = 250 + -178. Let r = a + b. Is r a multiple of