 + g, -3*g = -3*o - 5*g - 86. Is f/(-2) + (-1694)/o a multiple of 15?
True
Suppose -3*t = -7 - 5. Suppose -g - t*g + 465 = 0. Is 29 a factor of g?
False
Let c(f) be the third derivative of 1/12*f**5 - 11*f**2 - 1/24*f**4 + 3/2*f**3 + 0 + 0*f. Is 17 a factor of c(4)?
True
Let f be ((-190)/3)/(8/(-36)). Suppose -f = 5*z - 2*n, -5*z = -0*n + 5*n + 320. Let y = z - -92. Does 9 divide y?
False
Let f(w) = -5*w + 30. Let a be f(6). Suppose -2*y + i + 10 + 36 = a, -y + 9 = -4*i. Does 5 divide y?
True
Let o(d) = 15*d - 15. Let k be o(5). Is 12 a factor of 48*-15*(-5)/k?
True
Suppose v - 2*v + 26 = 0. Let k = v - 20. Is 3 a factor of k?
True
Suppose 0 = 2*z - 2*i - i - 182, 421 = 5*z + i. Is 15 a factor of z?
False
Let n = 166 - 170. Let z(s) = -52*s - 27. Is 32 a factor of z(n)?
False
Suppose -280 = -4*o + 2*y, -15 = o - 5*y - 76. Is 6 a factor of o?
False
Let z(s) = 314*s - 67. Is z(11) a multiple of 15?
False
Let s be 1/2 - (-9)/(-6). Is 9 a factor of (-22)/(1/(-2) - s/4)?
False
Let r(b) = -2*b**2 + 20*b + 4. Let v = -6 + 15. Does 11 divide r(v)?
True
Let z be ((-6)/4)/((-12)/24). Suppose z*v = 4*t + 108, 0*v + 4*t = v - 44. Let n = 3 + v. Is n a multiple of 7?
True
Does 3 divide ((-8)/(-6))/((-30)/(-2925))?
False
Suppose 35*k + 85008 = 77*k. Is k a multiple of 10?
False
Let y(o) be the first derivative of 2*o**3/3 + 2*o**2 - 3*o - 3. Let t be y(-5). Does 6 divide (t/4)/(39/104)?
True
Suppose -3*k + 3500 = 1148. Does 16 divide k?
True
Let t(i) = -8*i + 45. Let r be t(6). Does 2 divide (-140)/r*30/25 + 2?
True
Suppose 127 = 5*w - 4*h, 4*h - 47 = -3*w + 42. Is w a multiple of 2?
False
Let k(g) = g**3 - 4*g**2 - g + 11. Let l be k(6). Let y = 146 - l. Does 12 divide y?
False
Does 4 divide (-60)/24*896/(-20)?
True
Suppose 0 = 3*a - 15 + 9. Is 12 a factor of 20 + (-2)/(-1 + a + -2)?
False
Suppose 2*v + 3*s - 342 = 0, 5*s + 244 = v + 86. Suppose -5*j - j + v = 0. Does 15 divide j?
False
Suppose -5*n + 25 = 0, 3*i - 248 = -2*n + 527. Does 17 divide i?
True
Suppose -784*m = -772*m - 6780. Is m a multiple of 16?
False
Let r(t) = -31*t - 28. Does 3 divide r(-4)?
True
Let z(m) = 2*m. Let t be z(1). Suppose c + 78 = -t*c. Is 22 a factor of 4/c + (-288)/(-13)?
True
Suppose -3*u = -5*a - 48, -2*a = -3*u - 0*a + 57. Let n(q) = -18*q - 26. Let w be n(u). Is ((-5)/(-10))/((-2)/w) a multiple of 19?
False
Suppose 34*a - 17026 = 17994. Is a a multiple of 4?
False
Suppose 0 = 2*f - 54 - 34. Let p = f + -11. Let n = 48 - p. Is 15 a factor of n?
True
Let c(b) = 2*b**2 + 16*b + 52. Does 14 divide c(12)?
True
Let s(n) = n**3 + 31*n**2 + 27*n + 66. Is s(-30) a multiple of 6?
True
Suppose -20*y - 2895 = -9895. Is y a multiple of 25?
True
Let i = 2 - 2. Suppose i = 5*s - 326 - 314. Does 19 divide s?
False
Suppose 5*l - 2592 = -l. Suppose -4*y = -y + 4*h - l, 2*h = 5*y - 694. Is 28 a factor of y?
True
Let w(i) = -2 + 3 + 22*i**2 - 2. Let p be ((-20)/30)/((-2)/(-6)). Is 29 a factor of w(p)?
True
Let j be (-1)/6 - 93/(-18). Suppose -j - 15 = -4*v, -c = -5*v - 20. Is 15 a factor of c?
True
Let c(p) = -11*p**3 + 2*p + 3. Let l(s) = -s**3. Let j(n) = -c(n) + 6*l(n). Let x be j(3). Suppose 5*w = -2*q + 101, -4*w = 3*q - 5*w - x. Does 20 divide q?
False
Let o(s) = 2*s + 14. Suppose -2*l + 7 = 19. Let j be o(l). Suppose 3*b + 28 = k, -3*b - 140 = j*k - 7*k. Does 14 divide k?
True
Let y = 1930 + -437. Is 57 a factor of y?
False
Let n be (-10 - -13)/((-3)/(-38)). Suppose -3*f + 2*t + n = 6*t, 5*f + 2*t = 54. Let w = f + 39. Is w a multiple of 15?
False
Let q = 153 - 147. Is 23 a factor of 113/5 + ((-192)/(-30) - q)?
True
Let h(q) = -q**3 + 6*q**2 + 3*q - 6. Let x be h(6). Suppose c - 4 = x. Suppose 2*i + 50 = 2*y, 5*i + c + 22 = 2*y. Does 20 divide y?
False
Suppose 6 = 3*r - 6*r, 2*r = -4*d + 4. Suppose d*x = 42 - 10. Does 16 divide x?
True
Let l = 1 + 2. Suppose n - 11 - 1 = 5*x, 0 = 5*n - l*x - 16. Suppose 32 = n*k - 0*k. Does 13 divide k?
False
Suppose 5*m - 603 = -4*b, 4*b = m - 0*m + 585. Is 49 a factor of b?
True
Suppose -4*m - t = 3*t - 812, -822 = -4*m + t. Let g = -139 + m. Suppose p - 4*f - g - 29 = 0, -f = 5*p - 475. Is 17 a factor of p?
False
Let w be 4*(3/(-12))/((-1)/3). Suppose -5*a = -4*f - 479, 0 = 5*a - w*f + f - 487. Is a a multiple of 12?
False
Let j(f) be the third derivative of f**6/20 - f**5/30 - f**4/8 + 5*f**3/6 + 39*f**2. Is 22 a factor of j(3)?
False
Let p(s) = -3*s - 3. Let a be p(-5). Suppose 10*r = a*r - 4. Is 2 a factor of r?
True
Is 4 a factor of 822/7*1792/384?
True
Let k(t) = -t**2 - 11*t - 12. Let u be k(-8). Let z = 14 - u. Suppose -2*i = j - 15, -z*i = -j + 5*j. Is 4 a factor of i?
False
Suppose -56*y = -124922 + 20258. Is y a multiple of 16?
False
Suppose 5*f + 3*p + 290 = 0, -2*f = -3*p + 8 + 108. Let z = f - -162. Is z a multiple of 30?
False
Let s(j) = -j**3 - 10*j**2 - 5*j - 4. Let y be s(-9). Let q be 1/4 + (-110)/y. Suppose q*z + 3 = 12. Does 3 divide z?
True
Suppose 55 = 3*l - 59. Let j = -8 + l. Does 10 divide j?
True
Suppose 5*h + 3*c = 2462, 4*h + 13*c - 1968 = 11*c. Is h a multiple of 14?
True
Let v(u) = 10*u**2 - 9*u - 1. Let z be (-14)/(-3) + (20/(-6))/5. Does 25 divide v(z)?
False
Let y = 134 + -401. Let r be y/18 + (-7)/42. Is (3/5)/(r/(-450)) a multiple of 17?
False
Let c be ((-30)/(-9))/(2/3). Let t(r) be the third derivative of r**4/4 + 5*r**3/6 + 2*r**2 - 5*r. Is 6 a factor of t(c)?
False
Suppose -52*x = -54*x + 6336. Is 132 a factor of x?
True
Let q(n) = 7*n**2 + 4*n - 113. Is 19 a factor of q(7)?
False
Let w(d) = -d**2 + 5*d - 5. Let i(n) = 1. Let q(x) = -4*i(x) - w(x). Let f be q(7). Suppose -f = 3*y + 2*y, -5*y = 3*s - 45. Does 20 divide s?
True
Let y(t) = -112*t + 3. Let m be y(-1). Let l = -55 + m. Is l a multiple of 15?
True
Let y be (-20)/20 - 16/2. Let t be -1 + 2 - (y - -9). Is 4 a factor of ((-12)/(-20))/(t/35)?
False
Let y(w) = -w**3 + 6*w**2 + 8*w - 5. Let i be y(6). Let g = i - 6. Let r = g + -16. Is r a multiple of 8?
False
Suppose -45*d + 44352 = -d. Does 52 divide d?
False
Does 102 divide (-55)/5 - (-23652)/9?
False
Let s = -1 + 9. Let q(k) = 2*k**3 + 10*k**2 + 11*k - 15. Let o(j) = -j**3 - 9*j**2 - 11*j + 14. Let x(n) = -3*o(n) - 2*q(n). Is 3 a factor of x(s)?
True
Let a = -20 - -20. Suppose 2*s = -a*s + 88. Is s a multiple of 6?
False
Let l be (-32)/(-8) + (1 - -9). Let k = l + -8. Is k a multiple of 2?
True
Let a(t) = -7*t**2 - 238*t - 67. Is 23 a factor of a(-32)?
False
Suppose -2*s - 5*c + 31 = 0, 2*s = 5*c - c - 14. Suppose 4*h - 389 = -5*j, -2*h + s = 11. Is 9 a factor of j?
True
Let d(a) = -a**3 - a**2 - a - 5. Let j be (-5)/(20/6)*2. Is 8 a factor of d(j)?
True
Suppose -45*h - 11704 = -38*h. Is 19 a factor of h/(-20)*15/6?
True
Let k = 230 + -153. Is k a multiple of 7?
True
Let c = 9 + -6. Suppose -69 = -3*h - 5*a, c*h - 6*a = -4*a + 90. Suppose 5*x = y + 128, 2*x - 2*y - h - 20 = 0. Is x a multiple of 13?
True
Is (2030/(-60))/((-2)/24) a multiple of 4?
False
Suppose 10 = 4*p + 5*w, 0 = p - w + 2. Suppose p = 4*d + 5*t - 786, 7*t = -2*d + 2*t + 398. Does 15 divide d?
False
Let p be (-16)/24*13278/4. Let a = -1569 - p. Does 10 divide (-4)/6 - a/(-21)?
True
Let z = -1816 + 148. Does 33 divide 10/(-85) - z/17?
False
Suppose -g + l + 4 = 0, 0 = 5*g - 0*g - 2*l - 8. Is (-12 - -6)/(-6)*(g - -31) a multiple of 3?
False
Suppose 392 = 3*g + 4*m, -2*g + 21 = -2*m - 259. Does 8 divide g?
True
Let s be 1*(3 - (1 - -3)). Let j(f) = 75*f**2 - 3*f - 2. Is 19 a factor of j(s)?
True
Suppose d - 3 + 0 = 0. Let o = 8 - d. Suppose -10 = -3*j - o*g, 2*g = -2*j - 2*g + 6. Is 5 a factor of j?
True
Suppose 7*c - 3689 = -0*c. Let r = c - 360. Is r a multiple of 20?
False
Let o = 59 - 71. Let h be -2 + 1 + (-3 - -2). Does 4 divide (-2)/h*o/(-1)?
True
Let g(i) be the second derivative of -32*i**3/3 - 2*i**2 + 14*i. Is 22 a factor of g(-2)?
False
Let w(l) = 2*l**2 + 9*l - 29. Is w(4) a multiple of 13?
True
Let k(i) = -4*i + 30. Let z be k(7). Suppose -p = h - 34 - 16, -h + z*p = -47. Does 49 divide h?
True
Let q(x) = x**3 + x**2 - x. Let r(m) = -3*m**3 - 3*m**2 + 5*m + 23. Let t(c) = -4*q(c) - r(c). Let h be t(0). Let u = h + 61. Is u a multiple of 19?
True
Suppose 36*x = -2*p + 34*x + 1228, 0 = -5*p - 4*x + 3072. Is p a multiple of 8?
True
Suppose 0 = -8*a + 5*a + 12. Suppose 0 = a*p - 247 - 217. Suppose 2*y + j - p = -j, -5*y =