818 = 670. Does 21 divide p?
False
Let r(o) = o**2 + 3*o + 416. Is r(0) a multiple of 32?
True
Let v(k) = k**2 - 8*k - 43. Let g be v(11). Let b(f) = -2*f**2 - 23*f + 14. Does 25 divide b(g)?
False
Let z(c) = -4*c**3 + 3*c**2 + 3*c. Let d be (-2)/(-12) + (7 - (-427)/(-42)). Is 7 a factor of z(d)?
True
Suppose 267 = 3*d - p, -5*d + 3*p + 171 = -3*d. Does 15 divide d?
True
Suppose -2*x = -0*g - 2*g - 302, 0 = -5*x + 4*g + 759. Suppose 4*s - 4*a = a + 91, -2*a + x = 5*s. Is s a multiple of 7?
False
Suppose 5*o = -4*z + 51, -5*z = 2*o - 8*z - 2. Suppose -5*k = 3*a - 37, 2*a - o*a + 40 = 4*k. Suppose -a*q - 18 + 138 = 0. Does 10 divide q?
True
Suppose 21585 = 103*b - 663. Is 4 a factor of b?
True
Is (5 - (-5 + 14)) + 634 - -4 a multiple of 56?
False
Is 48 a factor of (-1 + 80)*(-26)/6*-3?
False
Let b(c) be the third derivative of -c**6/120 + 7*c**5/60 + c**4/3 + c**3/3 + 5*c**2. Let h be b(8). Suppose -117 - 23 = -h*y. Is y a multiple of 16?
False
Let m(f) = -f**3 + 3*f**2 + 4. Let o be m(3). Suppose -2*l + o*l - x = 156, 4*x + 384 = 5*l. Does 16 divide l?
True
Let t(k) = -6*k - 19. Let x(v) = 11*v + 38. Let h(z) = 7*t(z) + 4*x(z). Does 37 divide h(9)?
True
Suppose 4*t = 5*w + 263, -2*t + w + 159 = 4*w. Does 18 divide t?
True
Suppose 11*z - 10 = z. Let n(o) = 88*o**3 - o + 2. Is n(z) a multiple of 12?
False
Let h(m) = m**3 + 7*m**2 - 5*m - 4. Let d(b) = 3*b + 20. Let k be d(-9). Does 6 divide h(k)?
False
Suppose -5*j + 2*i + i + 522 = 0, -2*j = 3*i - 213. Suppose -3*h + 0*h = -j. Is h a multiple of 8?
False
Suppose -4*x = i + 218, -x - 169 = 2*x - 2*i. Let f = x - -126. Does 31 divide f?
False
Let g be 556/12 + 2/3. Suppose -y - 6*y = 147. Let u = y + g. Is u a multiple of 13?
True
Let n be 12/((-5)/6*(-108)/60). Suppose 13 = n*d - 651. Is d a multiple of 7?
False
Let m = 15 + -12. Let t be -2 - -117*m/3. Suppose 4*v = t - 3. Does 14 divide v?
True
Let c be (13 + -15)/((-2)/772). Suppose -c = -5*u + 408. Suppose 0 = -4*l - 5*k + u, -7 = 2*l + k - 131. Does 26 divide l?
False
Suppose -308*a + 541 = -305*a - 5*f, -349 = -2*a + f. Does 4 divide a?
True
Let p(m) be the first derivative of m**5/15 - m**4/2 + 8*m**3/3 - 2. Let x(c) be the third derivative of p(c). Is x(9) a multiple of 12?
True
Suppose -25*q + 27*q = 214. Let i = q + 58. Does 13 divide i?
False
Let i(k) = -14*k**2 + 19*k - 4*k - 15 - k**3 - 5*k - 6*k. Is i(-15) a multiple of 19?
False
Is (-52)/(-10)*15*110/30 a multiple of 26?
True
Let v = 290 + 29. Does 31 divide v?
False
Let h be 54/4*(-2)/3. Let s = 3 - h. Is 4 a factor of s/1 + 12/(-6)?
False
Is 27 a factor of 1 + (-1)/3 - 10075/(-75)?
True
Let c = 231 + -353. Let p = c + 176. Does 3 divide p?
True
Let b(m) = m**2 + 16*m + 18. Let o be b(-14). Let j = 18 + o. Let k = j + 3. Does 3 divide k?
False
Suppose -4*g - 261 = -8*r + 3*r, -4*r - 5*g + 217 = 0. Let c = 134 - r. Is 16 a factor of c?
False
Let o = -158 - -52. Let p = 18 - o. Does 37 divide p?
False
Let d(o) be the third derivative of -o**7/840 + o**6/72 - o**5/60 - o**4/24 - o**3/2 + 3*o**2. Let f(x) be the first derivative of d(x). Is 7 a factor of f(2)?
True
Let z = 27 + -23. Suppose 30 = z*m + m. Suppose -7*j + m = -589. Does 15 divide j?
False
Let g be 3 - (342 + -3 + 6). Is 6 a factor of (-4)/14 - g/21?
False
Let y = 16 + -6. Let t(u) = 5*u**3 + 17*u**2 - 3*u - 4. Let k(w) = 11*w**3 + 35*w**2 - 5*w - 8. Let d(c) = -6*k(c) + 13*t(c). Is 2 a factor of d(y)?
True
Suppose 55 + 329 = 6*o. Is 18 a factor of o?
False
Let j be 24/3 - (2 - 1). Suppose 12*n = j*n + 15. Suppose -3*b + 147 = n*x, -3*b + x = 52 - 219. Is 18 a factor of b?
True
Suppose -9118 = -41*r - 303. Is r a multiple of 2?
False
Let f(g) = -3*g**3 + 3*g**2 - 2*g - 24. Let o be f(7). Let p = -29 - -19. Is p/(-55) + o/(-22) a multiple of 14?
True
Suppose -3*o = -4*m - 1718, 5*o + 32 = -2*m - 814. Let d = 764 + m. Is 48 a factor of d?
True
Let h be (-14)/(-21) - (-6)/(-9). Suppose -5*n + 20 = -3*z, -50 = -5*n - h*z - 3*z. Suppose 120 = -3*a + n*a. Is 15 a factor of a?
True
Let v = 2712 - 1214. Is v a multiple of 11?
False
Is 18 a factor of 19/((-228)/(-4520))*3?
False
Let v(d) = -12 - 10 + 5*d - 3*d. Let s = 117 + -103. Is 3 a factor of v(s)?
True
Let i = -278 - -566. Is i a multiple of 12?
True
Suppose 1265 + 605 = 11*y. Is y a multiple of 43?
False
Let d = 141 - 267. Is (d/8)/7*(-24)/9 a multiple of 3?
True
Let o be 0 + (0 - -1)*-1. Does 10 divide 1 - (-92 + (o - 1))?
False
Let k(r) = 5*r + 10. Let s = -24 - -4. Let y be (24/s)/(3/(-15)). Does 20 divide k(y)?
True
Let g = -241 - -577. Suppose -2*t - t = d + 252, -d - g = 4*t. Let x = t + 126. Is 12 a factor of x?
False
Suppose m + 3*p = 2*p + 26, 3*m - 70 = p. Is m a multiple of 8?
True
Let j be -6 + (-216)/(-40) + 66/10. Let p(x) = -x**3 + 12*x**2 - 13*x - 10. Is p(j) a multiple of 16?
True
Suppose 0 = 5*s - 2*q + 14 + 10, 5*s + 12 = -4*q. Let y(h) be the third derivative of -h**6/120 - h**5/20 + h**4/12 - h**3/3 + 27*h**2. Is y(s) a multiple of 3?
True
Let s(z) = -z**3 + 25*z**2 + 36*z - 3. Does 9 divide s(22)?
True
Does 45 divide -18*(-11)/66 + 1030?
False
Let r(f) = 2*f**2. Let v be r(-1). Suppose 4*t = 4*x, -3*t = x - 5*x + 5. Suppose -86 = -4*g + v*g - t*b, -4*g = 4*b - 148. Does 6 divide g?
False
Let d be 2/((-5)/(-440) - 0). Suppose 5*v - 5*l - 233 = -3*l, l = -4*v + d. Let h = -36 + v. Does 2 divide h?
False
Let k(a) = -a**3 - 26*a**2 - 32*a - 85. Does 2 divide k(-25)?
True
Suppose g = 8*f - 5*f - 3903, -2*f = -2*g - 2598. Is f a multiple of 31?
True
Suppose 0 = w - 2*w - l - 32, -4*l = -20. Let m = 79 + w. Suppose -5*q + d + 94 = 0, 3*q = d - 4*d + m. Is 6 a factor of q?
True
Let f(q) = q**2 - 21. Let y be f(-5). Suppose -x + s = -16, x + 7*s - 36 = y*s. Does 7 divide x?
True
Let a be 58/(-2) - -2*1. Let n(h) = h + 21. Let o be n(-23). Does 7 divide 40/15*a/o?
False
Let r = 25 - 23. Suppose -r*l = 2*d + 8, 0 = 2*d - 1 - 3. Is 2296/21 + 8/l a multiple of 18?
True
Let q(l) = 7*l**2 - 2. Does 13 divide q(13)?
False
Let n(r) = 9*r**2 - 11*r - 8. Suppose -3*f + 5 - 1 = -4*g, -8 = -3*f + 5*g. Is 45 a factor of n(f)?
True
Let y = -215 + 410. Is 5 a factor of y?
True
Let s = -1 - 2. Let h(l) = 2*l**3 + 2*l**2 + 4*l + 4. Let g be h(s). Is (-4 + (-6)/(-3))*g a multiple of 18?
False
Let t = 16 + -16. Is 108/(t - -3)*5/4 a multiple of 15?
True
Suppose 47*m = 25*m + 2904. Is m a multiple of 4?
True
Does 45 divide (19 + -5)/(-7) + (2291 - -6)?
True
Suppose y + 130 = 4*y + 2*m, 2*m = -y + 50. Suppose 3*c - 7*c - 4 = a, 0 = 5*a + 5*c - y. Is 192/20*40/a a multiple of 6?
False
Let t(i) = -16*i - 528. Does 5 divide t(-43)?
True
Suppose 4*h - 13 - 333 = 3*k, h - 1 = 0. Let s = 218 + k. Is s a multiple of 26?
True
Let v be ((-8)/(-10))/((-6)/(-15)). Let f = 8 + v. Does 18 divide (43 + -13)*12/f?
True
Let v(p) = -20*p - 10 + 8 - 2. Does 21 divide v(-4)?
False
Suppose 0 = 4*y - 5*y + 3. Suppose -4*i - t = -13, -t - 13 = -y*i - 5*t. Suppose -40 = f - i*f. Is f a multiple of 4?
True
Suppose -2*f + 3*k - 10 - 8 = 0, -5*f - 3*k = 24. Is 10 a factor of 18/5*(-125)/(1 + f)?
True
Suppose 2*z = -3*r + 901, 1205 = -2*r + 6*r - z. Is 25 a factor of r?
False
Let b(j) = j**3 + j**2 + j - 2. Suppose -2*r - 4*v + 16 = 0, 5*r + 1 + 7 = 2*v. Let u be b(r). Let i = u + 18. Is i a multiple of 8?
True
Suppose 2*f - 13 = 53. Suppose f = -3*n - 12. Is 4 a factor of 124/10 + 6/n?
True
Suppose -2*h + 648 = -454. Does 9 divide h?
False
Let a(n) be the third derivative of -n**6/120 - 7*n**5/60 - 5*n**4/12 - 8*n**3/3 - 22*n**2. Is a(-7) a multiple of 9?
True
Let a be 1053/18*(0 + 22). Does 19 divide (-8)/10 - a/(-15)?
False
Suppose -22*u + 6557 = 991. Is 25 a factor of u?
False
Let c(o) = -o**2 - 2*o. Let x be c(-2). Suppose -y - a = 6, 3*y = -x*y - a - 10. Does 10 divide (5/y)/(3/(-30))?
False
Let r be (27/2)/9*2. Suppose -5*m = -2*m - r*a - 213, m = 2*a + 76. Is m a multiple of 17?
False
Let b = -126 - -139. Suppose 16*t - b*t = 522. Is 29 a factor of t?
True
Let q be (-8)/(-12) + (-15)/9. Is q + (5 + -2 - 0) + 34 a multiple of 12?
True
Suppose 0 = 2*n + 10, j - 1 = -j + n. Let b be (-3 + 2 - j)*0. Does 12 divide (0 + (-2 - b))*-20?
False
Let l = -1093 + 1405. Is l even?
True
Let x = 24 - 21. Suppose 0 = x*o + 2*j - 6, 2*o - 2 = -0*o - 2*j. Suppose o*v + 207 = 7*v. Is v a multiple of 23?
True
Suppo