Suppose -z = -4*g - k, -228 = -g - g - 3*k. Is 18 a factor of g?
False
Let b(u) = 40*u**2 + 76*u - 1112. Is b(16) a multiple of 12?
True
Is ((-467)/2)/(136/(-2992)) a multiple of 63?
False
Let u(h) = 9*h - 115. Let y be u(-9). Let d = 30 - y. Is d a multiple of 45?
False
Let u(n) = 16*n**2 - 25*n - 109. Is 136 a factor of u(-12)?
False
Let l = 6788 + -3873. Does 10 divide l?
False
Suppose 3*v - 5*v = 2*l - 15692, 0 = 4*l - v - 31414. Does 31 divide l?
False
Let w = -6020 - -10972. Does 8 divide w?
True
Let m(f) = f**2 + 2*f - 17. Let x be m(0). Let j(l) = -l + 19. Let y be j(x). Suppose s + y = 4*v - s, -20 = -2*v + 2*s. Is v a multiple of 4?
True
Let h be (-2)/(-9) + -2*1231/(-18). Suppose 5*w - 8 = w. Suppose 2*y = y - 2*b + h, w*y = 3*b + 260. Is y a multiple of 19?
True
Suppose -8*b - 23 = 17. Let p(j) be the third derivative of -4*j**4/3 + 8*j**3/3 + j**2. Is p(b) a multiple of 43?
False
Let x be 2 - (-6 + 2/1). Suppose x*u = 10*u - 76. Let f = 35 - u. Is f a multiple of 2?
True
Is 17 a factor of 1736/6 - 196/980*(-5)/(-3)?
True
Let z(s) = -s + 4. Let r(x) = 8*x - 33. Let j(u) = -6*r(u) - 51*z(u). Let g be j(5). Is 15 a factor of 10*(243/6)/g?
True
Suppose -4*t - t = 3*v, 10 = -2*v. Let c(q) = 3*q**2 - 14*q - 124. Let x be c(-6). Suppose 5*r - t*r = x. Is r a multiple of 17?
True
Suppose 4*z + 5*c - 45 = 0, 4*z - 8 = -c + 17. Suppose 4*s = 2*v - 6*v + 40, 15 = 3*s. Suppose v*i = z, 37 = -p + 2*p - 3*i. Does 8 divide p?
True
Let h be ((-16)/36)/(-1) + (-6431)/(-9). Suppose 1497 = 4*g - h. Is g a multiple of 15?
False
Let l(m) = -3*m**3 + 2*m**2 + 2*m - 5. Let a = 62 + -50. Suppose 0 = n + 4*h - 17, -h + a = -2*n + 1. Is l(n) a multiple of 11?
True
Let y = -104 + 117. Suppose y*n = 28*n - 1530. Is n a multiple of 6?
True
Let m(i) = -3*i**3 - 10*i**2 - 8*i - 20. Suppose 7*p = 10*p - 15. Let w(n) = -4*n**3 - 15*n**2 - 12*n - 30. Let c(j) = p*w(j) - 7*m(j). Is c(8) a multiple of 6?
True
Suppose 16656 = -41*p - 2245. Let i = p + 761. Is 60 a factor of i?
True
Let o(n) = n**3 + 3*n**2 - 6*n - 5. Let a be o(-4). Let k be a/(-5) + ((-36)/(-10))/1. Suppose k*y - 319 = 137. Is 38 a factor of y?
True
Let n be (-6)/(-15) + 0 + 234/(-10). Suppose 428 = 4*d + s, 5*s + 30 = -3*d + 351. Let j = d + n. Does 14 divide j?
True
Suppose -v - b = -0*v + 14, 0 = v + 4*b + 2. Let u be 0 + 9/(v/8). Let p = u - -16. Does 2 divide p?
True
Let s(d) = -d**2 - 15*d + 2. Let q be s(-14). Suppose 2*o = 2*y + q, -o + 2*y = 6*y + 7. Suppose -2*i - 4*c - 1 + 37 = 0, -10 = i - o*c. Is 2 a factor of i?
True
Suppose -3*i - 3*y + 3936 = 0, 0*i - 5*i - 4*y + 6562 = 0. Suppose -106 = -5*t + i. Suppose 0*m - 5*n - t = -2*m, 3*n = 3*m - 408. Is 33 a factor of m?
True
Let g(z) = -z**3 + 40*z**2 - 34*z + 97. Does 123 divide g(28)?
False
Let u be (-3*(-11)/(-99))/(1/(-678)). Let x = 3 + u. Is 4 a factor of x?
False
Let m(h) = 646*h**2 - 38*h - 59. Is 201 a factor of m(-5)?
True
Suppose 14 + 4102 = 3*n + 39*n. Is 7 a factor of n?
True
Suppose b - 20638 = 5*a - 98791, 0 = -2*a - 5*b + 31272. Is 10 a factor of a?
False
Suppose -z - 171 - 149 = -2*q, 4*q - 640 = z. Suppose a = q + 400. Is a a multiple of 40?
True
Suppose 4*g - 130 - 114 = 0. Suppose 13*p = 95 + g. Is 12 a factor of p?
True
Let y = -145 - -153. Suppose -19*r = -y*r - 13200. Is 32 a factor of r?
False
Let g(o) = 3*o**3 + 4*o**2 - 7*o - 29. Let q(y) = -y**2 + 15*y - 50. Let s be q(7). Is 9 a factor of g(s)?
False
Suppose -5*o + 185688 = 28248. Is 17 a factor of o?
False
Let h(c) = -2*c**3 + 7*c**2 + 8*c + 2. Let m be h(6). Let x = -129 - m. Is 14 a factor of (x + -116)*128/(-80)?
False
Suppose -12*h = 17*h. Suppose h = -22*a + 34*a - 2592. Does 27 divide a?
True
Does 109 divide 78/(-8)*(-1265 - 27 - 16)?
True
Let m(o) = 11*o + 19. Let i = 62 - 51. Does 13 divide m(i)?
False
Does 43 divide 35*6112/80 + 12?
False
Let d = 1 - -3. Suppose 4*z + 302 = 3*c, 4*z - 8*z - 316 = d*c. Does 2 divide z/(-3) - (-3)/9?
True
Let t be ((-4)/(-10))/((-28)/(-140)). Suppose 0 = t*k - 5*k. Suppose -8*h - 25 + 97 = k. Is 9 a factor of h?
True
Suppose 15*w - 13659 = 1941. Does 52 divide w?
True
Suppose -12*u + 16*u = 1128. Let i = -17 + u. Is i a multiple of 17?
False
Suppose 45*o + 9066 - 181986 = -65*o. Is 16 a factor of o?
False
Let g(f) be the second derivative of -f**5/20 - 11*f**4/12 - 13*f**3/6 - 10*f**2 - 17*f. Let o be g(-10). Does 6 divide (-4)/(40/(-75))*16/o?
True
Let s(j) = 15*j + 5491. Is 62 a factor of s(-15)?
False
Let f = 34668 + -32796. Is f a multiple of 26?
True
Suppose -9*m = 2*x - 8*m - 8991, 4*x + m = 17987. Is x a multiple of 26?
True
Suppose 3*l - r - 61128 = -17, -3*r = 21. Does 165 divide l?
False
Let r(a) = -a**3 + 102*a**2 - 33*a - 1480. Is r(101) a multiple of 33?
False
Suppose -87*b = -55*b + 4032. Let p(v) = -4*v - 2. Let y be p(-3). Is 14 a factor of (5/((-25)/b))/(y/50)?
True
Let m(q) = -14*q**3 - 12*q**2 + 44*q - 54. Let f(b) = 5*b**3 + 4*b**2 - 15*b + 18. Let v(x) = 17*f(x) + 6*m(x). Is v(9) a multiple of 39?
True
Suppose 248 + 85 = u. Let t = 467 - u. Is t a multiple of 29?
False
Suppose 15*u - 608 = 502. Suppose 2*k + 7 = 3, 3*w - u = -2*k. Does 19 divide w?
False
Let r = -23786 + 41972. Is 14 a factor of r?
True
Let d(g) = 70*g**2 + 7*g + 1. Let i be d(-2). Suppose 3*t = 897 - i. Is t a multiple of 10?
True
Let f = -26921 - -45187. Does 51 divide f?
False
Let v be (-52)/(-546) + (-313)/(-21). Is 9/v + 132/5 a multiple of 5?
False
Suppose -2*t + 2*v + 2483 + 943 = 0, -t = -2*v - 1714. Is t a multiple of 32?
False
Let r = 146 - 144. Is (r/((-8)/15))/((-13)/988) a multiple of 15?
True
Suppose 5*n - 279 = -4*n. Suppose 0 = -n*g + 822 + 6060. Does 34 divide g?
False
Suppose s - 2*j - 1873 = 0, -s + 20*j = 24*j - 1837. Is s a multiple of 4?
False
Suppose f - 41 = -39. Suppose 4*c + f*r - 220 = 0, 0*r = r. Is c a multiple of 2?
False
Let l be (-1)/(-2)*-6*(-16)/2. Suppose 6*m = l*m - 648. Is 5 a factor of m?
False
Suppose 5*z + 18139 = 3*x, -30*x + 61804 = -5*z - 119901. Does 7 divide x?
False
Let a = 19 + -19. Suppose 4*u - 2*j - 2890 = 0, 3*u + a*u - j = 2165. Is 16 a factor of u?
True
Let v(r) = -10*r + 5. Let t be v(3). Let i be (-1)/(-1 - 20/t). Suppose 5*g - w = 226, i*w = 3*g + 2*w - 138. Is 7 a factor of g?
False
Suppose -46*x - 78679 + 274041 = 0. Is 9 a factor of x?
False
Suppose 0 = q + 4*q - 1935. Suppose 0 = 4*d + i - 2137, 0 = 5*i - 9 - 16. Suppose 0 = 5*j - q - d. Does 42 divide j?
False
Suppose 5*s - 21 + 1 = 0. Does 15 divide (2083 - s)/3 + -2 + 3?
False
Let i(p) = 7*p**2 - 3*p + 1267. Is 16 a factor of i(27)?
False
Let k = -25 - -28. Suppose 2*p = -4*t - 46, 2*t + k*t - 3*p + 52 = 0. Let j = t - -15. Is j a multiple of 3?
False
Let h(w) = 2*w**3 + 16*w**2 + 37*w - 224. Is 35 a factor of h(7)?
True
Let m(d) = d**3 - 5*d**2 + 6*d + 4. Let z be m(3). Let r be (-2)/(-4) + 342/z + -5. Suppose n = 22 + r. Is n a multiple of 27?
False
Let t = 26 + -4. Let i = t + -15. Suppose 0 = -i*b - 4*b + 836. Is 19 a factor of b?
True
Let t(c) = -17*c + 0*c**2 + 5*c**2 - 3 - 10*c**2 + 6*c**2. Let p be t(17). Let r = 27 + p. Is 8 a factor of r?
True
Does 148 divide (-10*(-5328)/280)/(-2*6/(-56))?
True
Suppose -7477 = -5*m + j, 139*m + 7492 = 144*m + 4*j. Is 34 a factor of m?
True
Let x(q) = -3*q**2 + 8*q - 5. Let z be x(5). Let r = 10 - z. Suppose m - 3*m = -r. Is 6 a factor of m?
False
Suppose -2*t = 5*f - 31068, 12*f - 4*t = 13*f - 6228. Is f a multiple of 55?
False
Suppose -12 = -16*f + 244. Is 9 a factor of (-6 - (-248)/f)/(1/36)?
True
Let y = 6279 + -6188. Let g(w) = 5*w**2 + 3*w + 1. Let s be g(-2). Suppose s*f = -y + 916. Does 7 divide f?
False
Let s(x) be the first derivative of x**3/3 + 15*x**2/2 + 33*x + 1. Let a be s(-16). Is 10 a factor of a/2 + (-33)/22?
False
Let n(q) = -15 + 22*q**2 + 39 + 64*q - 42*q + q**3. Let j be n(-21). Suppose j*i = -5*t + 312, 2*t + 125 = 4*t + i. Does 21 divide t?
True
Let r be 3/((-45)/(-25)) - 1/(-3). Suppose -r*y - 122 = 90. Let t = -73 - y. Does 11 divide t?
True
Let b(h) = 7*h**2 + 286*h - 24. Let v be b(-41). Let a(q) = 4*q**2 - 33*q + 89. Is 38 a factor of a(v)?
True
Is 19 a factor of ((-3897)/45 + 7)/(7/(-665))?
True
Let j(r) = -43*r + 3*r**2 + 52*r + 0*r**2 + 16. Is 5 a factor of j(-6)?
True
Let q(a) = 4*a + 3. Let t be q(-1). Let i(g) = -287*g**3 + g**2 - g - 1. 