= a**3 + 9*a**2 + 3*a - 5. Is v(-8) a multiple of 9?
False
Suppose -2*m - 12 + 2 = 0. Let t be (m - -4) + 0/1. Does 6 divide 2 - t/(1/5)?
False
Let a = -2 - -7. Let w(t) = 3*t**2 - 4. Let n(u) = 7*u**2 - 8. Let v(r) = -2*n(r) + 5*w(r). Does 15 divide v(a)?
False
Let w be ((-3)/(-4))/(2/(-96)). Let u be 11/6 - 6/w. Is 4 a factor of ((-40)/12)/(u/(-6))?
False
Suppose 4*a - 2*f = 214, -150 = -0*a - 3*a - 2*f. Is 13 a factor of a?
True
Suppose 0*t + t - 19 = 0. Does 4 divide t?
False
Let v be (-33)/2*14/(-21). Suppose 0 = 4*c - 3*y + 44, -2*c + 3 - v = 2*y. Let b = 37 + c. Is b a multiple of 11?
False
Let d be (2/(-3))/(2/(-9)). Suppose d*j = -4*c + 115, c - 3*c + 70 = 4*j. Is c a multiple of 17?
False
Let d(r) = -r. Let m(b) = b**2 - 2*b - 6. Let i(q) = -2*d(q) + m(q). Let s be -6 - -1*(2 - 1). Does 6 divide i(s)?
False
Let s(w) = -w**2 + w + 15. Suppose 4*b - 2*b - 5*v = -20, -4*v = -5*b - 16. Suppose 3*a - a = b. Does 9 divide s(a)?
False
Let n be 2/(1 - 7/5). Let b = 1 + n. Let w = b - -19. Is 8 a factor of w?
False
Is 9 a factor of (-6)/(-3) - 6 - -256?
True
Let l = -51 + 84. Is (60/(-18))/((-2)/l) a multiple of 15?
False
Let o be 3/(18/(-399))*-2. Suppose 3*j + o = 316. Is j a multiple of 21?
False
Let a be 117/21 + 9/21. Suppose -4*t + u + 36 = 0, -u - a = -t + 3. Is t a multiple of 3?
True
Let v be 3 - -1*(-2 + 211). Suppose -17*d = -21*d + v. Is 21 a factor of d?
False
Suppose 0 = -3*t + 4*t - 5. Suppose 0 = l - t*j - 40, 0 = -3*l - 2*j - 2*j + 25. Is l a multiple of 15?
True
Suppose 3*l = -5*b + 320, 0 = b - 2*b + 2*l + 64. Suppose -4*n + b = -2*n. Is n a multiple of 16?
True
Let w = -10 - -76. Is 11 a factor of w?
True
Suppose 29 = 5*o - 121. Is o a multiple of 15?
True
Suppose 2*r - 2 - 2 = 0. Suppose -7 = -r*c - 17. Is (4/c)/(4/(-110)) a multiple of 15?
False
Let j(h) = -h**3 - 7*h**2 - h - 2. Let i be j(-7). Suppose 21 = i*l - y - 31, 5*y = -4*l + 30. Is l a multiple of 5?
True
Let q be (-6 - -3 - -2) + 5. Suppose 4*j - 5 = 2*v + 35, -q*j - v + 52 = 0. Does 4 divide j?
True
Let w = -3 - -5. Suppose 5*m = 2*c - 6, 4*c = -3*m + w*c + 6. Suppose m*f - 70 = -2*f. Is f a multiple of 13?
False
Let u(n) = n**3 + 6*n**2 - 6*n - 1. Is 25 a factor of u(-6)?
False
Is (((-16)/(-2))/(-1))/(6 + -8) a multiple of 4?
True
Let r = -8 + 0. Does 17 divide (34/r)/((-3)/12)?
True
Is 23 a factor of (-7371)/(-45) + 2/10?
False
Let d be (-6)/21 - (-32)/14. Is 11 a factor of 0 + -1 + d + 10?
True
Let c be (-4)/(4 + -8) + 2. Suppose 7*r = 3*u + 2*r - 169, -4*r + 205 = c*u. Is 19 a factor of u?
False
Suppose 4*p = -0*n + 4*n + 52, -3*n + 16 = 2*p. Is p a multiple of 2?
False
Suppose i + 2*r = -0*i - 16, -12 = 3*i - 3*r. Let w be (1 - i/(-5))*-5. Suppose -4*y + 21 = d - 0*d, -2*d = -y + w. Is y a multiple of 5?
True
Suppose 5*b - 9*b = -16. Suppose -b*t + 49 = -15. Is t a multiple of 7?
False
Let f = 143 + -94. Is 8 a factor of f?
False
Suppose 3*m - 6*m + 882 = 3*s, 857 = 3*m - 2*s. Is 16 a factor of m?
False
Suppose 0 = -2*s + 1 + 9. Let g(j) = j - 3. Is 2 a factor of g(s)?
True
Suppose 4*j - 3*j = 0. Suppose 2*p + q - 4*q - 26 = j, 2*q = p - 15. Is 6 a factor of p?
False
Suppose -102 = -5*u + 3*r, 4*r + 47 + 54 = 5*u. Let t = u - 7. Is 14 a factor of t?
True
Suppose 3*c + 4 = j + 17, 5*c + 3*j - 31 = 0. Suppose -3*l - 21 = -3*d, 0 = -c*d + 2*d - l + 13. Is 2 a factor of d?
False
Let q = 134 + -88. Is 26 a factor of q?
False
Suppose 5*b + j - 127 = 2*j, 5*b - 2*j - 124 = 0. Is 13 a factor of b?
True
Let s = -4 + 15. Suppose 5 = -2*u - 5*m, -3*m + s = u - 5*m. Does 5 divide u?
True
Let z be -3 + 9 - 3/3. Suppose z*q = -0*q + 20. Is 2 a factor of q?
True
Suppose -100 = 12*b - 7*b. Let u = b + 42. Is 6 a factor of u?
False
Is 9/(-1)*(-2)/2 a multiple of 7?
False
Let j(l) = -l**2 + 6*l + 3. Let r be j(6). Suppose -r + 2 = -s. Let d = s + 13. Is d a multiple of 7?
True
Let p(r) = 4*r**2 - r - 4. Let t be p(-2). Is (-12 + t)/(2/21) a multiple of 6?
False
Let c = 377 - 156. Does 15 divide c?
False
Suppose 7*y - 5*y = 10. Suppose -3*b + 5 = -y*x + 35, 5*x + 3*b = 60. Does 4 divide x?
False
Suppose -1 = 2*v - 19. Is v a multiple of 2?
False
Let q(j) = j**3 + 10*j**2 + 5*j + 3. Is 25 a factor of q(-8)?
False
Let d = 7 + 6. Let y = -10 + d. Suppose -y*p + 14 + 34 = 0. Is p a multiple of 16?
True
Let z(i) = -i**3 + 4*i**2 + 5*i - 6. Suppose 4*x - 24 + 4 = 0. Let t be z(x). Is (-4)/t*(-261)/(-6) a multiple of 8?
False
Let i(j) = -j - 5*j**2 + 4*j**2 - 5 + 1. Let f be i(0). Let l = f - -6. Is l even?
True
Suppose -2*y = 3*y + 2*g - 726, 5*g = y - 129. Is 12 a factor of y?
True
Let y(m) = 33*m**3 - m**2 + 2*m - 1. Let f be y(1). Let u = 47 - f. Is 6 a factor of u?
False
Let a = -136 + 242. Does 27 divide a?
False
Suppose 0 = -4*g + 3*b + 12, 0*g - 3*b + 3 = g. Suppose 4*m = -g*c - 41, 6*m = -4*c + 4*m - 68. Let p = 37 + c. Does 5 divide p?
False
Suppose -3*g = -f - 6, 0 = -2*f - f + 2*g + 3. Is f/(28/(-10) + 3) a multiple of 6?
False
Let t(l) = -356*l**2. Let b(u) = -51*u**2. Let n(c) = 20*b(c) - 3*t(c). Is 24 a factor of n(-1)?
True
Let r(i) = -4*i**3 - 4*i**2 - 2*i + 1. Let k be r(-2). Let p = k + 1. Is 11 a factor of p?
True
Suppose 3*f + 12 = -5*u + 4, 0 = 5*u + 20. Suppose 0 = -3*s - 3, q - 3*s - 133 = -f*q. Does 13 divide q?
True
Let q(k) = k**3 - 9*k**2 + 9*k - 5. Let c be q(8). Suppose -l = -c*a - 4*l - 6, 4*l - 6 = 3*a. Does 13 divide a + 13 - 1*-2?
True
Suppose -6*f + 42 = -f + 3*l, f - 4 = -5*l. Suppose 3*m + 43 = 5*r, r = 3*m - 2*m + f. Is 14 a factor of (-2)/r + 157/4?
False
Suppose 125 = 5*o - 165. Does 14 divide o?
False
Let o(f) = -f**3 + 6*f**2 - f. Let x be o(6). Let r = 16 + x. Is r a multiple of 5?
True
Suppose 0 = 3*o - 7 - 8. Suppose o*s - 26 = 14. Let p = 6 + s. Does 7 divide p?
True
Let r = 327 + -189. Does 16 divide r?
False
Is 1/(-1*(-1)/107) a multiple of 45?
False
Is 8 a factor of (56/(-6))/(18/(-27))?
False
Does 7 divide ((-8)/(-5))/((-3)/(-255))?
False
Suppose -2*c - 1 + 5 = 0. Suppose 0 = c*k + 2*k - 12. Does 8 divide (2 + -36)/((-6)/k)?
False
Let x(s) = 3*s**2 + 5*s - 6. Does 2 divide x(-3)?
True
Let s be -3*(2 + (-20)/6). Let n(c) = -12*c - 3. Let g be n(-7). Suppose 0 = 4*b + 2*i - 7*i - g, b - 12 = s*i. Is 10 a factor of b?
False
Let i(r) = 4*r**2 - 2*r + 1. Let z be i(3). Suppose -z = 2*s - 151. Suppose -3*p + 0*h = h - s, 3*p = -2*h + 60. Is p a multiple of 11?
False
Let h(x) = -21*x + 1. Is 11 a factor of h(-1)?
True
Suppose -m - c + 20 = 0, -2*c - 2*c = m - 32. Is 16 a factor of m?
True
Suppose -2*h + 642 = -4*l + 3*l, -3*h - 5*l + 976 = 0. Does 24 divide h?
False
Let u = 3 - -17. Is 2 a factor of u?
True
Suppose 312 = -10*c + 11*c. Suppose -c + 84 = -6*t. Is t a multiple of 10?
False
Suppose -3*u + 9 + 27 = 0. Is u a multiple of 6?
True
Is (4/(8/9))/((-2)/(-44)) a multiple of 9?
True
Is 8 a factor of (-2)/(-2)*(5 + 36)?
False
Does 12 divide (6 - 9)*42/(-2)?
False
Let o = 5 - 2. Suppose o*b - 379 = -2*l, -143 = -5*b + 4*b - 4*l. Is b a multiple of 31?
False
Is (-4 + (-44)/(-1))*4 a multiple of 32?
True
Suppose h - 75 = 2*h. Let o = h - -156. Suppose -3*c + 12 = -o. Is 9 a factor of c?
False
Suppose -5*p + 2*d + 39 = 4*d, 0 = 2*p - 2*d - 24. Let m be 438/p - (-2)/(-3). Suppose -12 + m = 3*z. Is 11 a factor of z?
False
Let k(y) = -9*y**2 - 4*y + 10. Let z(g) = -g**2 - g + 1. Let c(f) = -2*k(f) + 14*z(f). Does 16 divide c(5)?
True
Let k(r) = r**3 + 3. Let n be k(0). Suppose 12 = f - 4*j, 5*j + 67 - 24 = n*f. Is f a multiple of 4?
True
Let k(z) = 3*z + 40. Does 23 divide k(0)?
False
Let t(o) = o**2 + o + 278. Let g be t(0). Let x = g - 150. Does 21 divide (-8)/12 - x/(-3)?
True
Let m(x) = 4*x + 12. Let a be m(7). Suppose 90 = 5*z - 5*d, 0*z - 4*d = -2*z + a. Does 4 divide z?
True
Suppose -p + 3*j + 2*j = -20, -j + 22 = 5*p. Let y(d) = d**2 - 3*d + 4. Is 14 a factor of y(p)?
True
Let j = 22 - 7. Does 4 divide j?
False
Suppose -5*h - c + 1041 = -3*c, -2*h - 5*c + 399 = 0. Does 7 divide h?
False
Let d(z) = 2*z**2 + 4*z + 3. Is d(-4) a multiple of 14?
False
Suppose 4*c = -20, c - 3*c - 10 = 2*h. Suppose h = -b - 14 - 5. Let n = 12 - b. Is 15 a factor of n?
False
Is 19 a factor of 2/(0 + (-8)/(-12)) + 130?
True
Suppose -3*w + n + 7 = 3*n, 4*n = -16. Suppose 3*s - w = 25. Let u = s - 5. Is 5 a factor of u?
True
Suppose 0*k - y + 100 = k, y 