6))/((-2)/21602))/(3/(-30))?
True
Suppose -4*a + 20 = 4*w, 5*a + w = -w + 31. Let d(p) be the second derivative of p**3/3 + 873*p. Is 14 a factor of d(a)?
True
Let f(x) = x**3 - 8*x**2 + 10*x + 14. Let m(h) = -h**3. Let l(k) = f(k) + 2*m(k). Let s be l(-9). Is s/(15/(-12)) + (1 - -271) a multiple of 53?
False
Suppose 12*r = -18 - 6. Let p be (-3)/r + (-2175)/(-10). Suppose -x + p = 2*o, -213 = -2*o + x - 0*x. Is 18 a factor of o?
True
Let b = 1141 + 10698. Does 269 divide b?
False
Let a(k) = 137*k - 650. Is 71 a factor of a(17)?
False
Let u(y) be the third derivative of y**5/60 + 11*y**4/24 - 7*y**3/3 + y**2. Let j(r) = r**2 + 48*r - 16. Let o be j(0). Is u(o) a multiple of 22?
True
Suppose 3*j + 1730 = 8*j. Suppose -3*t = -j + 166. Is t a multiple of 10?
True
Let z = -2235 - -3205. Let t = -541 + z. Does 33 divide t?
True
Let c(v) = v**3 - 44*v**2 + 478*v + 30. Is c(46) a multiple of 21?
True
Suppose -3*m - 13788 = -4*y + 57984, 3*m = 5*y - 89712. Does 78 divide y?
True
Let x(d) = -d**3 - 7*d**2 + 10*d + 19. Let k be x(-8). Suppose 0 = 5*p - 5*v - 275, -2*p - 2*v = -k*p + 52. Let f = 42 + p. Does 14 divide f?
False
Suppose -9*u - 8912 = 5209. Let y = -920 - u. Is y a multiple of 11?
True
Let m be (-3)/(-6)*(7 + 1). Suppose 5*l + 3*b = 62, -223*l - 3*b + 22 = -222*l. Suppose m*q + 270 = l*q. Is q a multiple of 5?
True
Let u(w) = -229 + 2*w**3 - 6*w + 5*w**2 + 227 + 14*w**2. Does 19 divide u(-7)?
True
Suppose 3*s = -4*c - 1421, 7*s - 2*s - 1820 = 5*c. Let j = c + 1459. Is 13 a factor of j?
False
Let x = 89 + -71. Suppose 0 = 5*q - 52 - 88. Does 7 divide (x/(-6))/((-2)/q)?
True
Suppose r + 67 = -4*c - 2*r, 3*r - 61 = 4*c. Let f = c + 21. Suppose 0*m + 3*m + 56 = y, -4*y + 139 = f*m. Is y a multiple of 11?
False
Let q be 66/(-110) + 46/10. Does 18 divide q/50 + 40152/600?
False
Let c be 4 + -1 - (1 - -5). Let u be c - (-3 + -114) - 4. Suppose 0 = 5*f + u - 435. Is f a multiple of 18?
False
Let q be (2/4)/(((-20)/(-56))/(-5)). Does 33 divide 84/(-294) - 6694/q?
False
Suppose 11330 = 60*a + 32079 - 171889. Is 37 a factor of a?
False
Let u(d) = 10 + 3*d**2 - 9*d - 14*d**2 - 15 - d**3 + 17. Let s be u(-10). Suppose -7*o = -3*o - s*v - 174, -4*o - 2*v = -154. Does 26 divide o?
False
Suppose -3*q + 1857 = -3*o, -o = -5*q + 2162 + 933. Let m = q + 378. Suppose 3*a - 599 = z, -2*z - z = -5*a + m. Is a a multiple of 20?
True
Let n(u) = -63*u - 125. Let v(k) = -31*k - 64. Let t(z) = 6*n(z) - 13*v(z). Is t(4) a multiple of 7?
True
Let v(p) = 170*p**2 + 305*p + 81. Does 146 divide v(-12)?
False
Let y(g) = -55*g + 108. Let h(m) = 223*m - 431. Let j(r) = -2*h(r) - 9*y(r). Is 7 a factor of j(4)?
False
Let l = 486 + -546. Is 12 a factor of (-6096)/l + 6/75*5?
False
Suppose -8 = -5*c - h - h, -4*h = -5*c - 16. Let k(a) be the third derivative of a**5/60 + a**4/8 + 73*a**3/6 - 2*a**2 - 205. Is k(c) a multiple of 14?
False
Let h(j) = 51 - 2*j + 7*j + 30*j - 3*j + j**2. Is h(-34) a multiple of 17?
True
Suppose -343*m + 337*m = -72. Is (256/m)/(6/9) a multiple of 8?
True
Suppose 66501*x - 66490*x = 82005. Is x a multiple of 42?
False
Let p = 265 - 194. Suppose -p = -5*f + 139. Is f even?
True
Suppose 100*n - 15 = 99*n. Let t = n - 148. Let w = t + 165. Is 32 a factor of w?
True
Suppose -z - f = z - 9, 3*f + 13 = 4*z. Suppose -6*q + 5*p + 291 = -z*q, 0 = q - 2*p - 146. Let i = q + -14. Is i a multiple of 20?
False
Suppose 13*i - 4580 = 3*i. Suppose -i = -29*m + 27*m. Does 20 divide m?
False
Let n(u) = 252*u**2 + 42*u - 254. Does 10 divide n(5)?
False
Does 70 divide (36/(-27))/(12/(-31761)) - -3?
False
Let i = -59 + -6. Let m = i - -70. Suppose 0 = 3*g - m*h - 549, -6*g - 4*h = -g - 915. Is g a multiple of 16?
False
Suppose -2*t = -4*t + 26. Suppose 0*i + 5*i - 3*s + 8 = 0, -4*s = -i + 12. Let u = t - i. Is 6 a factor of u?
False
Is 20 a factor of 2/17 - (-4643800)/1054?
False
Let u(a) = -a**3 + 12*a**2 - 11*a + 7. Let l be u(11). Suppose 0 = -3*r + l*r - 44. Suppose -7 - 125 = -r*k. Is k a multiple of 4?
True
Suppose 284*n + 18710776 = 682*n. Is 23 a factor of n?
True
Let j = -34 - -32. Is 13 a factor of 374 - (-17 - -23)/(j - 0)?
True
Let v be 1 + 1 + -1 + -957. Suppose 6 = -j - 2*k - 8, k = 0. Is 4 a factor of (64/28)/(-8) + v/j?
True
Let o(n) = -5*n**3 + 7*n - 367. Let c(g) = 6*g**3 - 8*g + 368. Let k(q) = -4*c(q) - 5*o(q). Is k(0) a multiple of 19?
False
Suppose w + 103 = 5*j, -j = j + 5*w - 25. Let t = 15 + -37. Let m = j - t. Is m a multiple of 5?
False
Suppose -30 = 5*h, -3105 - 465 = -3*z - 2*h. Is 83 a factor of z?
False
Let z = 91 + -70. Let b = 53 - z. Let a = 66 + b. Is 19 a factor of a?
False
Let g(d) be the first derivative of 85*d**4/4 - d**3/3 + d**2/2 - d + 1. Let u = -6 - -7. Does 14 divide g(u)?
True
Suppose 10*u + 7633 = 18*u - 22415. Is 83 a factor of u?
False
Suppose 6*o - 741 = 399. Suppose 0 = o*f - 185*f - 235. Does 2 divide f?
False
Let i(u) = -11*u**3 - 2*u**2 - 3*u - 4. Let d be i(-2). Suppose 4*n + 3*q + 260 = -d, 5*q + 262 = -3*n. Let m = n + 141. Is m a multiple of 19?
True
Let i be 3 + -6 - ((-18927)/(-3))/(-3). Suppose 0 = 37*l - 31*l - i. Is l a multiple of 11?
False
Suppose -2*j + 5 = 5*p, p = 3*j - 0 + 1. Suppose -17 = -l + 5*b, 4*b + 2 = 5*l + p. Let y(c) = 24*c**2 - 3*c - 8. Is y(l) a multiple of 31?
True
Let y = -1655 - -15575. Is 15 a factor of y?
True
Let s = -417 - -232. Let x = s - -225. Does 10 divide x?
True
Suppose 39*v + 148 = 5530. Is v a multiple of 23?
True
Let g(s) = -s**3 + 5*s**2 - 5*s + 1. Let d be g(3). Suppose 3*q = -2*c - 16, 15 + 3 = -d*q - 2*c. Is 9 a factor of (1 + q + (-77)/2)*-2?
False
Let f be (0 + -8 + 2 + 2)*158. Let a = 1597 + f. Is 31 a factor of a?
False
Let w be 57/(-9) + 2/(-3). Is 10 a factor of 115 - (-3 - w - 9)?
True
Let p = 37 - -58. Suppose -3*f = 1538 - p. Let u = -291 - f. Does 45 divide u?
False
Let f = 316 + -1. Suppose -f = -h - 8*h. Is h even?
False
Let p(y) be the second derivative of -2*y**3/3 + 49*y**2/2 - 22*y. Let c be p(11). Suppose 2*r - r + 2*u - 84 = 0, c*r + 3*u = 420. Is 14 a factor of r?
True
Suppose 4*g - 2*y - 20 = -0, -2*y = 8. Let j(t) = 12*t + 0*t - g*t + 2*t. Is j(7) a multiple of 19?
False
Let w(s) = 7*s + 77. Let v be w(-11). Is 33 a factor of 41 + v + 4 + -3?
False
Let i be (((-15)/(-2))/(-5))/(3/(-4)). Suppose 4*b - 4*z - 764 = 0, -7*b - 967 = -12*b + i*z. Does 7 divide b?
False
Let o(p) be the second derivative of -p**4/12 - 5*p**3/2 + 17*p**2/2 - 17*p - 2. Does 5 divide o(-12)?
False
Suppose -42 + 130 = -8*y. Let m(v) = 5*v**2 + 38*v + 23. Is 14 a factor of m(y)?
True
Let o = -50069 + 79456. Suppose 0 = -18*k + 3229 + o. Is k a multiple of 42?
False
Let p be (-10656)/(-8) - (-4 + 0). Suppose -w + p = 7*w. Is 8 a factor of w?
False
Suppose 3*q - 6961 = -4*k, -32 = 7*q - 53. Is 13 a factor of k?
False
Suppose 0*u + 3*u = 804. Let y = u - 220. Does 4 divide y?
True
Let k be (0*2/(-12))/(-2). Suppose 2*a + 99 = 11*q - 10*q, k = 5*q + 2*a - 531. Is q a multiple of 8?
False
Suppose 26*a = 57557 - 19711 + 204864. Is a a multiple of 130?
False
Is 27 a factor of (-940)/6*3648/(-40)*1?
False
Suppose 30060 = 84*b - 75*b. Does 8 divide b?
False
Let k = -68 - -54. Does 16 divide (-48)/(-112) + (-3802)/k?
True
Suppose 2 = -i + 16*g - 13*g, 5*i - 4*g - 34 = 0. Suppose 14*y - 144 = i*y. Is 10 a factor of (60/y)/((-2)/(-258))?
False
Suppose 9*q = 29072 + 7585. Suppose -127 = -5*k + q. Is 14 a factor of k?
True
Suppose 7*l + 5 = -2. Let u be (5 - (-1 - -5))/(l/(-4)). Suppose 5*b = -0*q - 3*q + 118, 4*b - u*q - 120 = 0. Does 26 divide b?
True
Let s(l) = -l**3 - 20*l**2 - 116*l + 8. Is 27 a factor of s(-27)?
False
Suppose -3*i - 438 = -6*n + 7*n, 1298 = -3*n - i. Let s = n + 675. Is 32 a factor of s?
False
Let t(o) be the first derivative of 3*o**4/2 - 5*o**3/3 - 21*o**2/2 + 99*o - 249. Does 29 divide t(4)?
True
Let b(l) = l**3 + 42*l**2 + 39*l - 78. Let k be b(-41). Suppose 5*o - 144 = m, -40 = -9*o + 7*o - k*m. Is o a multiple of 7?
True
Let r(x) be the second derivative of 4*x**3/3 - 6*x**2 + 12*x. Let v be r(7). Suppose -u = -v - 111. Does 22 divide u?
False
Suppose -113*w + 112*w + 351 = -5*o, -5*w + 1821 = -3*o. Is 183 a factor of w?
True
Let y(p) be the second derivative of -p**5/20 + 11*p**4/12 + 23*p**3/6 - 7*p**2/2 - 72*p. Is y(-7) a multiple of 21?
True
Is (7/5)/((-30