+ 12. Let v(i) = -i**3 - 4*i**2 + 4*i - 2. Let p be v(-5). Does 8 divide o(p)?
False
Let b = 30 + 154. Is b a multiple of 4?
True
Is 11 a factor of (-1129)/2*(4 - (9 + 1))?
False
Let m = 70 - 51. Suppose -m = w - 67. Is 6 a factor of w?
True
Does 19 divide (33/44)/((-1383)/692 + 2)?
False
Let x(k) be the third derivative of 1/12*k**4 + 6*k**2 + 0*k**3 + 1/60*k**5 + 0*k + 0. Is 5 a factor of x(5)?
True
Let h(y) = 5*y**3 + 15*y**2 - 2*y + 45. Let k(u) = -11*u**3 - 29*u**2 + 3*u - 90. Let d(x) = -9*h(x) - 4*k(x). Is 47 a factor of d(-20)?
True
Let c(b) = -b**2 - 5*b - 2. Let n be c(-4). Suppose -n*y = -0*y. Suppose 0*w - w + 3 = y. Does 2 divide w?
False
Let l = 182 + -147. Does 7 divide l?
True
Suppose q - 3*q = 5*z + 482, 3*z - q + 287 = 0. Does 30 divide 3/24 - 3/(z/6716)?
True
Let m(l) = -2*l**2 - 6*l - 1. Let o be m(-3). Let j be 75 - (o + 1 - 1). Suppose -5*b - 4*w + j = 0, b - 18 = -0*b + 2*w. Is b a multiple of 3?
False
Suppose w - 1267 = -4*f, 2*f - 83*w - 641 = -86*w. Is f a multiple of 4?
True
Is -240*-1*27/9 a multiple of 12?
True
Suppose -3*n = 2*d - 8, 3*d - n + 14 = -2*d. Let u(m) = 2*m**2 + 2*m - 1. Let r be u(d). Suppose -5*k = r*x - 31 - 45, 3*k - 148 = -5*x. Is 16 a factor of x?
True
Let v(p) = p - 9. Let y(x) = x**3 + 6*x**2 + 5*x - 1. Let i be y(-4). Let q be v(i). Suppose 3*c + 74 = 2*d, -q*c + 7*c = -d + 63. Does 20 divide d?
False
Suppose 26*z + 68 = 28*z. Is z a multiple of 7?
False
Let m = -76 + -2. Is (-4224)/m + 4/(-26) a multiple of 9?
True
Let l(v) = -v**2 + 7*v + 10. Let h be l(8). Suppose 4*j - 4 = -a + h*j, 2 = a + j. Suppose -g + a + 7 = 0. Is 7 a factor of g?
True
Let u(q) = -q**2 + 6*q + 12. Let c be u(7). Let b(m) = 58*m - 1. Let o be b(1). Suppose s = 2*p - o + 9, c*p - 2*s = 122. Is 13 a factor of p?
True
Suppose -4*k + 20852 = 4*p, 3*p + 5*k = -p + 20857. Does 7 divide (-6)/14 + p/147?
True
Suppose -o - 714 = -4*t, 9*o - 5*o - 170 = -t. Does 56 divide t?
False
Suppose -49 = -4*d - 0*d - 3*p, 6 = 2*p. Let v = d - 8. Suppose v*c - c = 30. Does 15 divide c?
True
Let w = -323 + 569. Does 13 divide w?
False
Let h = 202 - 111. Is 5 a factor of h?
False
Does 13 divide (-650)/4*2016/(-280)?
True
Let n(d) = 3*d**3 - 34*d**2 + 31*d - 120. Does 110 divide n(16)?
True
Let h(a) = a**2 + a - 4. Suppose 0 = -3*w + 13 + 14. Suppose -5*t - w - 6 = 5*b, 0 = 3*b + 5*t + 3. Is 13 a factor of h(b)?
True
Let d(n) = 166*n**3 + 32*n**2 - 101*n - 2. Is d(3) a multiple of 47?
True
Let j = 53 - -205. Is j a multiple of 10?
False
Suppose -1 - 3 = -2*t. Suppose t*y = -0*y + 104. Suppose 6*x = -2*p + x + y, p - 4*x = 0. Is 16 a factor of p?
True
Suppose 276 = -m + 4*m - 3*b, -174 = -2*m - 3*b. Is 5 a factor of m?
True
Let w(b) = 9*b**3 + 5*b**2 - 2*b + 18. Is 12 a factor of w(3)?
True
Suppose -343 + 125 = -2*t. Suppose -s - 5*o = -3*s + 232, s = -o + t. Is 13 a factor of s?
False
Suppose -32 - 16 = 3*a. Let t = a + 31. Suppose 4*s - t - 217 = 0. Is 13 a factor of s?
False
Let o be 15/105 - 832/(-7). Let w = o - 76. Is 3 a factor of w?
False
Let b(o) = -6 + 3 - 9*o**2 + 6 - 6*o + 8. Let c(l) = 5*l**2 + 3*l - 6. Let d(v) = 6*b(v) + 11*c(v). Is d(9) a multiple of 18?
True
Suppose 4*x - 49 = 5*c, 0 = 4*x - 2*c - 34. Suppose 5*n + 55 = x*n. Does 11 divide n?
True
Let o be (-6)/(-5 + -1 + 4 + 0). Suppose -3*q + 148 = -q + 2*y, o*y = 2*q - 163. Does 11 divide q?
True
Let f(t) = t**3 - 24*t**2 + 22*t + 24. Let a be f(23). Is (-51)/((-6)/4*a) a multiple of 17?
True
Let h(y) = -y**3 + 3*y**2 - y + 6. Let u be h(3). Suppose 0 = -5*x + 68 - u. Is x a multiple of 4?
False
Suppose 1 = 3*r - 2*r. Let i = 3 + r. Suppose -104 = -i*p + 140. Does 15 divide p?
False
Let t(v) = 4*v**2 + 7*v - 6. Is t(-10) a multiple of 22?
False
Let y be (-2 + 0)/((-1)/3). Suppose -3*u - 12 = y. Let c = 19 + u. Does 3 divide c?
False
Let q(c) = c**2 + 4*c. Let b be q(-4). Suppose b = -5*y - 4*h + 709, -y + 0*y + 4*h = -137. Is y a multiple of 34?
False
Let c(a) = -6*a + 264 - 277 - 4*a - 7*a - a**2. Let h(v) = -16*v**3 + v. Let q be h(1). Does 4 divide c(q)?
False
Let m(q) = 10*q - 1. Let y be m(-1). Let o be y/(-2) + (-11)/22. Suppose -5*g + 78 = j, 4*j + 81 = 6*j - o*g. Does 13 divide j?
False
Let k(h) = h**2 + 10*h - 7. Let s be k(7). Suppose 4*j - 2*j + s = 0. Let u = j - -84. Is u a multiple of 7?
True
Is 2 a factor of 5/(-2)*39302/(-215)?
False
Let h = -866 - -1568. Suppose -6*o + h = -3*o. Is o/10 - (-12)/20 a multiple of 15?
False
Let j(t) = 2*t**2 - 15*t + 362. Does 4 divide j(-22)?
True
Let f be 21/(-49) - 51/(-21). Suppose c - f = 1. Suppose t + 127 = 2*o + 3*o, -5*o + c*t = -121. Is 6 a factor of o?
False
Let l be 482/18 - 10/(-45). Is -1*26*(25 - l) a multiple of 13?
True
Let v = 1741 - 615. Is v a multiple of 78?
False
Let r(s) = 3*s**2 - 3*s + 3. Suppose 0*l + 10 = l - 3*f, -5*l = -2*f - 24. Suppose 4*w - l - 4 = 0. Is r(w) a multiple of 9?
True
Suppose 665 - 4094 = -3*u. Suppose 7*l = u - 282. Is 16 a factor of l?
False
Let b(y) = -22*y + 16. Suppose 23 = 9*c + 149. Is b(c) a multiple of 15?
False
Suppose 0 = 10*f - 3*f - 2366. Is 26 a factor of f?
True
Let h(q) = 7*q**3 + 17*q**2 - 14*q - 4 - 11*q**3 - 16 + 3*q**3. Let g be (32/(-20))/((-1)/10). Is 5 a factor of h(g)?
False
Suppose -w - 45 = -4*b - 72, 4*w - 2*b = 136. Does 7 divide w?
True
Let j(x) = 39*x**2 + 9*x + 12. Let v be j(5). Suppose -10*r + v = 312. Is r a multiple of 18?
True
Let v(x) = x**2 - x - 1. Let h be v(3). Suppose 14 = 4*s - g, 2*g = -3*s - 0*s + h. Is s a multiple of 2?
False
Does 9 divide (1371/(-12))/(9 + 37/(-4))?
False
Suppose -q + 5*c + 25 = 0, 5*q + 4*c + 1 = 2*q. Suppose q*z - 17 = v, -4 = 2*z + 4*v + v. Is 16 a factor of (-2)/(428/144 - z)?
False
Suppose -3*t + 40 = 2*t + 5*m, -3*m = 2*t - 20. Suppose t*a = 3*a + 28. Suppose a*p - 26*p = 170. Does 12 divide p?
False
Suppose s - 2 = -0*s. Suppose 0 = s*c + 8, -2*f - 2*c - 4 = -c. Let a(h) = -h + 15. Is a(f) a multiple of 12?
False
Let l = -53 - -84. Let i = l - -29. Is i a multiple of 6?
True
Let l(b) = 3*b + 45. Let k be l(-9). Suppose -y = -k - 40. Is y a multiple of 29?
True
Let z(w) = w + 1. Let v(m) = -6*m + 38. Let x(i) = v(i) - z(i). Is x(-8) a multiple of 31?
True
Let k(y) = -y**2 + 8*y + 27. Let u = 16 - 8. Is k(u) a multiple of 20?
False
Let o be 4*33*(-9)/(-4). Let c = 191 - o. Let r = c + 151. Is 15 a factor of r?
True
Let l be 6/18 - 2/6. Let o be (3 - 2)*(1 + l). Let j = 38 + o. Is 13 a factor of j?
True
Suppose -9*l + 1584 = 108. Is l a multiple of 27?
False
Suppose 83 = 2*j - 37. Suppose -4*p = b - j, 3*b - 8*p = -4*p + 244. Is b a multiple of 19?
True
Let n be (0 - 1)*(-2 + -1). Suppose -n*t - 415 = -5*c + t, 2*t = c - 83. Does 24 divide c?
False
Let i(m) = -m**3 - 7*m**2 - 15*m - 44. Is i(-7) a multiple of 15?
False
Suppose 4*g = -45 + 485. Does 15 divide (-2)/3 + 5/(-15) + g?
False
Suppose -3*j = 0, 0 = y + j - 2*j. Suppose y = 2*a - 4*a + 6. Is 2 a factor of a - (-3 + 2)*1?
True
Let j(r) = r**3 + r**2 + r - 1. Let h(g) = -4*g**3 + 7*g**2 + 8*g - 8. Let f(q) = -h(q) - 3*j(q). Let a be f(11). Let b = 23 - a. Does 12 divide b?
True
Let i(r) = -3*r**3 + 4*r**2 - 4*r - 3. Let p(d) = d**3 - d**2 + 1. Let y(n) = -i(n) - 5*p(n). Does 18 divide y(-4)?
True
Let h(y) = -11*y**2 + 6*y - 3. Let t be h(4). Let c be 225 + 2 - 15/5. Let g = t + c. Does 23 divide g?
True
Let x(j) be the second derivative of j**5/20 + j**4/4 - 2*j**2 + j. Let a be x(-3). Does 22 divide 9*(11 + 2 + a)?
False
Let n = -199 + 135. Let m = 114 + n. Is m a multiple of 6?
False
Let k be (-200)/(-6) + 8/(-24). Suppose y - k = -a - 4*a, -3*a + 23 = y. Is 8 a factor of y?
True
Let b = -260 + 265. Let w = -6 + 8. Suppose -b*j = -5, w*d - j - 93 = -4*j. Is d a multiple of 10?
False
Let h = -74 + 110. Is 11 a factor of h?
False
Let o = -49 + -19. Let m = 238 + o. Is m a multiple of 17?
True
Let q = -52 - -69. Is 25 a factor of (-2 - (-2 + q))*-10?
False
Let k = -191 + 518. Let i = -157 + k. Is 34 a factor of i?
True
Suppose f + 2*l - 31 = 0, -2*f + 4*l + 13 = -17. Suppose -3*p = -5*o - 35, 0 = -p - 5*o + o + f. Is 13 a factor of p?
False
Let s(v) = 52*v - 147. Does 42 divide s(12)?
False
Let n(g) = -19*g**3 + 7*g**2 + 7*g + 4. Let p(u) = -10*u**3 + 4*u**2 + 4*u + 2. Let v(j) = -6*n(j) + 11*p(j). Is v(2) a multiple of 11?
False
Suppose -o - 19 = 4*d + 