t o(t) = 4*t - 4. Let z = 7 - -1. Does 20 divide o(z)?
False
Let w be -4 + 5 + (1 - -3). Suppose -w*v + 228 = -v. Let t = -40 + v. Does 8 divide t?
False
Let t be (25 - 10)*4/6. Suppose -7*y = -9*y + t. Does 4 divide y?
False
Let j(h) = 80*h**2 - h + 2. Let c be j(-2). Suppose 3*g = 6*g - c. Suppose o = 5*i - g, 5*o + 78 = -3*i + 7*i. Is 11 a factor of i?
True
Let k = -12 + 17. Suppose 2*a - k*a + 2*v + 72 = 0, 9 = -3*v. Does 9 divide a?
False
Suppose -r = -5*n - 46, -4*r - 4*n = -0*n - 232. Does 15 divide r?
False
Suppose -3*t - 1 = i - 16, t = 5. Suppose 0 = -3*s - 3*g + 33, -2*s + i*s = -2*g - 2. Is 6 a factor of s?
True
Let z be (-56)/21*3/1. Is (-290)/z + 1/(-4) a multiple of 12?
True
Let r = -1 - -1. Suppose -195 = -r*j - 5*j. Does 12 divide j?
False
Let c(o) be the second derivative of o**7/1260 - o**5/120 - o**4/6 - o. Let x(y) be the third derivative of c(y). Is x(-2) a multiple of 7?
True
Suppose 5*g - 8 = 7. Suppose -g*u = u - 52. Is 9 a factor of u?
False
Suppose 5*s + s - 36 = 0. Is s a multiple of 6?
True
Let i = -16 + 32. Let a = 1 + i. Let m = -11 + a. Is m a multiple of 4?
False
Suppose 2*p + 4*l = 14, -6 = -p - 4*l + 9. Let u = -1 - -2. Is p/((-3 + u)/50) a multiple of 13?
False
Let o(i) = -3*i**3 - 4*i**2 + i + 3. Let s be o(-3). Let q(h) = 2*h**2 + h + 1. Let n be q(-1). Suppose -s = -w - n*w. Is w a multiple of 15?
True
Let j(i) = -21*i + 4. Is 17 a factor of j(-7)?
False
Suppose v = 13 + 29. Is 8 a factor of v?
False
Let s(i) = i**3 - 3*i**2 - i + 3. Let k be s(3). Suppose 4*j + k*j - 40 = 0. Does 3 divide j?
False
Suppose v - 2*t - 46 = 2*v, 4*t - 60 = 2*v. Let r = v + 54. Is 6 a factor of r?
False
Suppose 0 = 2*z - 4*z + 28. Let y = 70 + -42. Let m = y - z. Is 10 a factor of m?
False
Let z be (-11)/(-3) + 4/(-6). Let r = 5 - z. Is 3 a factor of ((-4)/10)/(r/(-20))?
False
Suppose -5*k = 5*p - 725, 4*k + 424 = 3*p - 39. Is 44 a factor of p?
False
Suppose -5*b = -5*x - 185, 0 = 2*b - 6*b - 4*x + 156. Suppose -4*o + b = -6. Is o a multiple of 11?
True
Suppose 5*y - 73 = -2*o + 123, -3*o - 143 = -4*y. Is 16 a factor of y?
False
Let c be (-52)/(-4) - (-3 - -1). Let w be (c/(-6) + 1)*-2. Does 12 divide (50/w)/((-2)/(-3))?
False
Let i(u) = -u**3 - 18*u**2 + 15*u + 13. Does 11 divide i(-19)?
False
Let m(z) = z**2 + 4*z - 11. Let s(y) = y**3 - 6*y**2 - y - 3. Let f be s(6). Is 10 a factor of m(f)?
False
Suppose 3*x + 93 = 6*x. Does 5 divide x?
False
Suppose 2*m = -2*l - 30 + 106, -3*l = 2*m - 110. Is l a multiple of 28?
False
Let k(u) = -u**2 + 7*u - 6. Let y be k(6). Suppose 75 = 3*p + 2*i - 0*i, -3*i = y. Let d = p - 7. Is d a multiple of 16?
False
Let s(o) = -4*o - 4. Is 20 a factor of s(-6)?
True
Let b = 29 + -25. Let o be 447/5 - 2/5. Suppose -b*p + 88 = 5*u, -4*u = 3*p - 6*u - o. Is p a multiple of 15?
False
Let y(a) = -2*a**2. Let q(c) = -3*c**2 + 1. Let u(w) = -3*q(w) + 4*y(w). Let x be u(3). Suppose x = n - 0*n. Is 5 a factor of n?
False
Let c(f) = 43*f**2 + 9*f + 2. Let s(h) = -22*h**2 - 5*h - 1. Let v(g) = 3*c(g) + 5*s(g). Is 17 a factor of v(-2)?
False
Suppose 3*i - 4*i = 4*f - 292, 4*f = -4*i + 292. Is f a multiple of 9?
False
Let m = -1 - -4. Suppose -2*u + m*o + 45 = 0, -2*u + 4*o = -0*u - 50. Is u a multiple of 15?
True
Suppose 18 = -5*k - 0*k + 2*f, -2*k + f - 7 = 0. Let x = k + 7. Suppose x*v = -2*v + 15. Does 3 divide v?
True
Let r(c) = 4*c**2 + 11*c + 5. Let y(o) = 9*o**2 + 23*o + 10. Let z(k) = 7*r(k) - 3*y(k). Let x be z(-8). Let l = x + 12. Does 17 divide l?
True
Let n(l) = -l**3 - 6*l**2 - 5*l - 5. Let i be n(-5). Let k(a) = a**3 + 4*a**2 - 7*a - 4. Does 3 divide k(i)?
True
Let h(i) = 8*i**2 + i + 2. Suppose -10*j = -12*j - 4. Does 16 divide h(j)?
True
Let u(y) be the first derivative of -y**2/2 + 15*y - 4. Does 11 divide u(-11)?
False
Suppose 0 = 4*h + 5*z - 21, 2*h + z - 17 = -2. Let t be (-8)/(-16) - h/(-2). Suppose 6*b = 3*b + 5*o + 41, -t*b = -5*o - 85. Is 11 a factor of b?
True
Let s(i) = 2*i - 2. Let r = -2 - 3. Let z = 2 - r. Does 7 divide s(z)?
False
Let b(l) = 5*l**2 + 3. Is b(3) a multiple of 12?
True
Suppose -t - t - 12 = 0. Let x(g) = 2*g**2 + 8 - g**2 - 1 + 5*g. Is 8 a factor of x(t)?
False
Let c(p) = -p**2 - p + 1. Let j be c(0). Let i be (-2)/(2/7) - -3. Is 6 a factor of ((-1)/i)/(j/52)?
False
Let u(c) = 2*c**2 - 4*c - 1. Let m be 23/7 - 4/14. Is u(m) a multiple of 5?
True
Let z be -1 - -2 - (3 - 5). Let u = z + -2. Let b = 3 + u. Is 4 a factor of b?
True
Is (-1 - -3)/(132/124 + -1) a multiple of 31?
True
Let x be -14*2/8*-2. Let b = x + -4. Suppose -b*n - 4 = -13. Does 3 divide n?
True
Let p(q) = -q**3 + 19*q**2 - 23*q - 22. Is p(17) a multiple of 18?
False
Let n(k) = -k**2 - 12*k + 4. Let t(y) = -y**3 - 8*y**2 + 10*y + 1. Let c be t(-9). Is n(c) a multiple of 12?
True
Is 11 a factor of 38/4*(16 + -14)?
False
Let y be 20/50 - 12/5. Is (-3 - 7/y)*26 a multiple of 5?
False
Does 50 divide (100 - 0/(-2))/((-1)/(-3))?
True
Let b(f) = 8*f - 1. Does 23 divide b(3)?
True
Suppose 4*l = -k + 96, -4*l = -4*k + l + 468. Let f be 30/9 + 1/(-3). Suppose 7*o = f*o + k. Does 10 divide o?
False
Let t be (3/6)/(-1)*-4. Let h(w) = -13*w**2 - w. Let q(k) = -40*k**2 - 4*k. Let a(r) = -10*h(r) + 3*q(r). Is 16 a factor of a(t)?
False
Let t be 3/15 + 252/15. Let r = t + 27. Does 11 divide r?
True
Let c = 10 + -8. Suppose -3*b = 9, -2*b = p + b + c. Is p a multiple of 2?
False
Suppose -8*q = -133 - 1307. Is q a multiple of 18?
True
Suppose 0 = k - 0*k. Suppose -w + k - 9 = 0. Does 6 divide (-52)/(-6) + (-3)/w?
False
Suppose -5*u + 10*u = 30. Is 6 a factor of u?
True
Let s(j) = j**2 - 10*j - 5. Does 8 divide s(14)?
False
Let u = 136 + -78. Is u a multiple of 29?
True
Is (-12)/((-44)/32 + 1) a multiple of 16?
True
Let h(b) be the first derivative of b**3/3 + 5*b**2/2 - 3*b + 1. Let k be h(-4). Let f = k + 30. Is 8 a factor of f?
False
Is 33 a factor of (-4172)/(-63) - (-4)/(-18)?
True
Suppose 4*a - 12 = 0, -1 = -2*p - a + 60. Let j = p + -19. Is 5 a factor of j?
True
Let n(c) = 6 + c - 5*c + c. Is n(-14) a multiple of 16?
True
Suppose -2*p + 4*m = -160, 2*p = -0*p + 2*m + 152. Is 8 a factor of p?
True
Let k be (-4 + 2 - -5) + 57. Suppose 99 = 4*a - v + 8, 3*a = -2*v + k. Is a a multiple of 14?
False
Suppose -2*j = -6*j + 60. Does 6 divide j?
False
Let f = 5 + -3. Suppose u + f*u = 144. Suppose 5*b - 27 = u. Does 10 divide b?
False
Let h = 8 + -3. Suppose h*o = -3*w, 4*w = -o + 22 - 5. Suppose -63 = -f - w*s, -5*f = -0*s + 4*s - 252. Is 16 a factor of f?
True
Suppose 8 = 3*y - 7. Suppose g - 5*x = -17, -2*g - 2*x = -y*g + 1. Does 3 divide g?
True
Let w(f) = -f**2 - 9*f - 8. Is 6 a factor of w(-5)?
True
Suppose 7 = -4*x - 1. Does 17 divide ((-209)/44)/(x/8)?
False
Suppose l - 2*l - 48 = 0. Does 7 divide (-4)/6*l - 3?
False
Let r(c) = 14*c. Let d be r(6). Suppose 0 = -5*k + 2*l + 198, 2*k + l = 3*l + d. Does 15 divide k?
False
Let s = 1 - 0. Let g(y) be the third derivative of 41*y**5/60 + y**4/24 - y**3/6 - y**2. Does 15 divide g(s)?
False
Suppose b = 5 + 17. Let w(c) = c**2 + 6*c + 3. Let p be w(-5). Let o = b + p. Is 10 a factor of o?
True
Suppose -2*r + 5*r = 33. Suppose 0 = 5*i + 4*n - 26, 0 = i - 2*n - 3*n - r. Suppose -5*v = l - 2*l - 53, 2*l + i = 0. Does 10 divide v?
True
Let l(i) = i**3 + 12. Let z be l(0). Let s = z + 0. Does 6 divide s?
True
Suppose 0 = -9*u + 7*u + 84. Is 12 a factor of u?
False
Let u(i) = -i**2 - 12*i + 6. Is u(-10) a multiple of 20?
False
Let p(b) = b + 9. Let q be p(-6). Suppose -q*s = 2*s + 5. Let v(i) = -27*i. Is v(s) a multiple of 12?
False
Let x = -2 + 2. Suppose -w = -x*w - 12. Is 6 a factor of w?
True
Suppose w = -w + 14. Suppose 0 = -2*z - 11 - w. Let t = 39 + z. Is t a multiple of 15?
True
Let d(r) be the first derivative of -86*r**3/3 + 3*r**2/2 - 9*r + 1. Let p(f) = -43*f**2 + f - 4. Let g(q) = 3*d(q) - 7*p(q). Does 15 divide g(-1)?
False
Suppose 0 = 12*v - 9*v - 315. Is 21 a factor of v?
True
Suppose -2*i + 1 = 11, 0 = -2*w - 4*i - 20. Suppose w = -q + 2 + 10. Does 6 divide q?
True
Let g(b) = -b**3 + b**2 - 2. Let h = -2 - -2. Let a be g(h). Does 13 divide -31*1/2*a?
False
Let s = 17 - 2. Suppose 35 = 5*c - s. Is c a multiple of 3?
False
Let r(w) = -w**2 + 11*w. Let n be r(11). Does 13 divide 17 + (n - 0) + 2?
False
Let u = 54 + -21. Is u a multiple of 6?
False
Let t = 6