6*p - v = 3*p. Does 38 divide p?
True
Let x(n) be the first derivative of n**3/3 - 5*n**2/2 - 15*n - 19. Let g be x(12). Is 5 a factor of 0 + g + 2 + -6?
True
Let o(r) = r**3 - 8*r**2 - r - 16. Let k be o(10). Let z = 321 - k. Is z a multiple of 26?
False
Let p = -324 - -328. Let l(q) = 4*q**3 - q**2 + 8*q + 1. Is 39 a factor of l(p)?
True
Let d(i) = -i**3 - 5*i**2 - 3*i - 1. Let a be d(-3). Let f = 15 + a. Suppose f*o = 8*o - 285. Is o a multiple of 20?
False
Let b(y) = -2*y**3 - 10*y**2 - 3*y + 21. Let l(f) = f**2 - 2*f - 40. Let s be l(7). Is b(s) a multiple of 18?
True
Let d(l) = l**3 - 5*l - 98 + 5*l**2 + 78 + 0*l**3. Let s be d(-6). Let m = 2 - s. Is m a multiple of 14?
True
Let d = -10 - -29. Suppose -d + 1 = -3*s. Suppose -100 = s*g - 268. Is 4 a factor of g?
True
Let m be (115 - -3) + 5 + -3 + -2. Let t = 44 + m. Is t a multiple of 9?
True
Is 20 a factor of ((-6)/(-4))/(((-300)/216520)/(-5))?
False
Let c(k) = -73*k**2 + k + 1. Let j be c(-1). Let w be 14/(-56) - -2*2725/40. Let g = w + j. Does 21 divide g?
True
Let r(n) = -8*n**2 + 12*n - 13. Let m be r(8). Let p be (32/3)/((-26)/m). Suppose 4*z - p = -24. Is 4 a factor of z?
False
Suppose 4*l + 116 = 2*t + 28, -66 = 3*l + 4*t. Is ((-2)/3)/(l/792) a multiple of 12?
True
Let u = -2 - -20. Suppose 0 = -2*y - 3*y + z + u, -4*y - z + 9 = 0. Suppose 0 = -2*s + y*h + 201, -12 = h + 3*h. Is 30 a factor of s?
False
Let h(u) = 402*u - 2616. Is h(23) a multiple of 85?
True
Let q be (-5)/5 + -4 - 57. Let v = q - -72. Suppose 0*p - v*p = -350. Is p a multiple of 5?
True
Let z(i) = 148*i - 30. Let u be z(-2). Let k = -112 - u. Does 13 divide k?
False
Let d(o) be the second derivative of o**4/4 - 4*o**3/3 + 6*o**2 + 42*o. Is d(11) a multiple of 41?
True
Let v be 1/((-3)/185) + 4/6. Let d = v + 59. Is 15 a factor of 8/(-6)*(41/(-2) + d)?
True
Let w = 27 - 117. Suppose 5*x + 129 = -3*d, -11*x + 13*x + 41 = -d. Let v = d - w. Is 17 a factor of v?
False
Suppose o - 235 = -1. Suppose 22 - 145 = -41*d. Is 5 a factor of (-3)/(-18)*d + o/12?
True
Suppose 2*w - 2*f = 8, 0 = 5*w + 3*f + f + 7. Suppose s - w = 1. Suppose -s*c = -62 - 70. Does 22 divide c?
True
Suppose 15*j = 335*j - 37*j - 1273783. Does 75 divide j?
False
Let o be 0 + ((-20)/110 - 2613/(-33)). Let y be (-38 - -1) + (-2 - -2). Let t = y + o. Is t a multiple of 14?
True
Let i(a) = a**2 - 18*a + 27. Let q be i(17). Is 3 a factor of 10/(-50) + 492/q?
False
Let j be (0 - 9327/15) + (-2)/10. Let y = j - -734. Does 11 divide y?
False
Let p(q) = 23*q**2 - 13*q + 30. Let z be p(5). Let v = -414 + z. Is 63 a factor of v?
True
Let v(h) be the first derivative of -h**3/3 - 19*h**2/2 - 34*h + 57. Is 36 a factor of v(-11)?
False
Let f(g) = -13*g - 62. Let r be f(-6). Suppose 2*a = s - 528 + 137, -4*a + r = 0. Does 18 divide s?
False
Let u(w) = 8*w**3 + w**2 - 3*w - 2. Let j be u(-2). Let k be 28/(-2)*(-12 - (-567)/49). Is (j + 1)*k/(-15) a multiple of 3?
False
Suppose -i + 91 = 3*d, 4*d - 2*d - 202 = -2*i. Let n(v) = 84*v**3 + 3*v**2 - 19*v - 22. Let j be n(-1). Let c = i + j. Does 22 divide c?
True
Let c be 9 + -5 - 3*3220/(-6). Is 0 - ((-6)/(-15) - c/10) a multiple of 15?
False
Let s(g) = -g**3 + 29*g**2 + 33*g - 85. Let u be s(30). Suppose 4*w = -0*w - u*f + 162, 5*w - f = 188. Is 2 a factor of w?
True
Let i(f) = 539*f**2 - f + 3. Let b be i(-2). Suppose 8*m - b = 3671. Is 22 a factor of m?
False
Let m be -750*-7*(-12)/105. Let j = m - -881. Does 4 divide j?
False
Let b be (-3 + -3)*(-33)/6. Suppose -b*q = -34*q + 924. Is q a multiple of 12?
True
Let j(i) = i**2 + 13*i - 45. Let q be j(-16). Suppose 0 = 14*m - 12*m - q*m. Suppose -8*y - 4*y + 2004 = m. Is 11 a factor of y?
False
Let g be (-2 + -28)*(-3 - (-8 - -4)). Does 10 divide (g - -2 - -8)/(2/(-51))?
True
Suppose 4*a = 3*a - 45. Suppose 100 = x - 49 - 44. Let o = x + a. Is o a multiple of 26?
False
Suppose 51 = -381*t + 382*t - 169. Is t a multiple of 4?
True
Let f = -7738 - -17863. Is 27 a factor of f?
True
Suppose q = -2*q - 4*k - 143, -77 = 2*q - k. Suppose o - 3*o + 2*v + 176 = 0, 4 = -2*v. Let m = q + o. Does 12 divide m?
False
Let g(w) = 11*w**3 + w**2 - 1. Let q be g(1). Let u = q + -9. Does 6 divide u - -58 - (-4)/2?
False
Let w(h) = -3*h + 12. Let n(y) = y + 2. Let b(d) = -4*n(d) - 2*w(d). Is b(28) a multiple of 4?
True
Let i(t) = 35*t**2 - 9*t - 158. Is i(13) a multiple of 20?
True
Let f(z) = 2*z**2 + 105*z - 341. Does 40 divide f(-73)?
False
Suppose 6*b - 24 = -102. Let v(z) = 3*z**3 + 41*z**2 + 17*z + 30. Is v(b) a multiple of 49?
True
Suppose -77 = 5*c - 552. Suppose -a + c = -t, -5*a - 5*t + 308 = -167. Is 39 a factor of a?
False
Let q be (-21)/7 + 24/3. Suppose q*d - 7*a + 5*a - 1561 = 0, 2*a = -2*d + 630. Is 33 a factor of d?
False
Let g(p) = -32*p**3 - p**2 + 7. Let b be g(-2). Let k = -89 + b. Does 17 divide k?
True
Suppose -3*b - 96 = 102. Let r = 116 + b. Let v = r - 37. Does 6 divide v?
False
Let y(u) be the third derivative of 13*u**5/60 - u**4/8 + 2*u**3/3 + 2*u**2 + 3. Suppose -4*a = 16, w - 5*a - 22 = -0*a. Is 10 a factor of y(w)?
True
Let g(l) = 3*l**3 + 9*l**2 + 16*l - 19. Let f(t) = -4*t**3 - 9*t**2 - 16*t + 20. Let q(j) = -2*f(j) - 3*g(j). Is q(-8) a multiple of 15?
False
Let v(a) = 12*a**2 + 0*a + 3 - 4*a + 2 + a. Let u be v(2). Suppose -20 = -5*m, 5*m - m = d - u. Does 21 divide d?
True
Let n = 102 + 28. Let p = -48 + n. Suppose -p - 53 = -3*q. Does 9 divide q?
True
Suppose -517 = 13*h - 1557. Does 26 divide (h/25)/(1/130 - 0)?
True
Let f be 2*144*((-4)/2 + 3). Suppose -42 = -3*d + f. Does 13 divide d/6 + ((-8)/12)/(-1)?
False
Let h(o) = o**2 - 21*o - 19. Let b = -79 + 111. Is h(b) a multiple of 11?
False
Let b = 330 + -139. Suppose 85 + 271 = 4*r. Let w = b - r. Is w a multiple of 17?
True
Let r = 149 + -147. Suppose -5*j - t = -1683, -3*j - r*t + 0*t + 1014 = 0. Is j a multiple of 42?
True
Is (-10 - (-522)/36)*11060/6 a multiple of 175?
False
Let n(p) be the first derivative of -p**4/2 + 5*p**3/2 + 10*p**2 - 5. Let z(r) be the second derivative of n(r). Is 7 a factor of z(-4)?
True
Suppose -4*g = -2*q + 30, -5*g + 2*g - 5*q + 10 = 0. Let p(c) = c**3 + 16*c**2 + 5. Is p(g) a multiple of 15?
False
Let s(z) be the third derivative of z**5/30 + 3*z**4/8 + 14*z**3/3 - 2*z**2 + 27*z. Let x be s(-4). Suppose x = q - 24. Is 16 a factor of q?
True
Let w(d) = -d**3 - 16*d**2 + 17*d + 18. Let a be w(-17). Let q be 76/a + -1 - (-6)/(-27). Suppose 25 = 4*b + q*z, 0 = -4*b - 2*z - 2 + 28. Does 5 divide b?
False
Let s be 1*(-4 - -3) + 3. Suppose s*h = 4 - 16. Does 36 divide (2 + h)*(-63)/6?
False
Let t be 17 + (4/(-6))/(8/36). Suppose -t*g + 2030 = -0*g. Does 8 divide g?
False
Let y be 48*((-40)/30)/(0 + -1). Is 416/(4*4/y*4) a multiple of 32?
True
Let x = -17112 + 25333. Does 64 divide x?
False
Suppose -4 = j + x, -j = j - 3*x + 13. Let g be -2*1*(-46 - j). Suppose g = -m + 202. Does 24 divide m?
True
Suppose 18*w - 3554 = -3*w + 6463. Is w a multiple of 53?
True
Let o(z) = 11*z - 67. Let v be o(6). Is v - (-39064)/40 - (-4)/10 a multiple of 27?
False
Let z = -5 - -7. Let c = -17230 + 17329. Suppose 4*j + 0*u - 158 = z*u, -3*u = 2*j - c. Is j a multiple of 9?
False
Let m = -8055 + 9757. Does 23 divide m?
True
Let z = 618 - 53. Suppose -z = -6*a + 143. Does 4 divide a?
False
Suppose -9*z + 20 = -52. Let w = 437 - z. Is 33 a factor of w?
True
Let s(f) = -7*f**2 - 608*f + 162. Does 10 divide s(-86)?
False
Let o = -61 - -64. Suppose -5 = 2*d + o*t, -5*t = -t + 20. Suppose -4*p + d = -71. Is p a multiple of 6?
False
Suppose -30*r + 31*r = -2*p + 913, -2*p + 918 = 2*r. Let o = p + -202. Is 63 a factor of o?
True
Suppose 0 = -21*m + 114 + 12. Suppose -38 = -m*j + 154. Does 16 divide j?
True
Is 18 a factor of (-53998)/(-12) - -16*19/1824?
True
Let z(p) = -8*p - 7. Let o be z(-11). Let k = o + -17. Suppose -3*c + 5*b + 32 = 0, 5*c + 4 - k = 5*b. Is 7 a factor of c?
True
Suppose 4*d = 5*p - 9875, 5*p = -4*d + 3322 + 6553. Does 16 divide p?
False
Suppose -5*k - 1736 = -4*c, 6*c - 441 = 5*c + 3*k. Does 11 divide c?
True
Let n(k) = 50*k**3 + 11*k**2 - 6. Let t be n(2). Let c = -180 + t. Is c a multiple of 16?
False
Let m(j) = 552*j**2 + 230*j + 1164. Does 61 divide m(-5)?
False
Suppose 0 = 4*t + 4*u - 14316, 5*t + 43*u - 17839 = 46*u. Is 4 a factor of t?
True
Let x = 236 - 103. Suppose -