 = -o**3 + 4*o**2 + 5*o + 5. Is 5 a factor of a(v)?
True
Does 13 divide ((-348)/7)/(14/(-49))?
False
Let t(x) = -2*x**2 - 6*x + 0*x**3 - 3*x**3 - 6 - x**2 + 4*x**3. Does 7 divide t(5)?
True
Let j be -4 + 9/6*2. Let z be -2*j/((-6)/(-9)). Suppose z*d - 3*f + f - 64 = 0, -4*f + 4 = 0. Is 22 a factor of d?
True
Let y(c) be the first derivative of -c**5/60 + 13*c**4/24 - 2*c**3 - 2*c**2 - 3. Let m(w) be the second derivative of y(w). Is 9 a factor of m(9)?
False
Let l = 111 - 62. Does 13 divide l?
False
Let o(i) = 4*i**3 + 2*i**2 - 4*i + 2. Suppose 2*q = q + 2. Is 17 a factor of o(q)?
True
Is 13 a factor of ((-4)/(-5)*37)/(4/20)?
False
Let i(z) = -3*z - 14. Let w(n) = 5*n + 28. Let m(h) = 7*i(h) + 4*w(h). Is m(6) a multiple of 7?
False
Suppose -5*s + 11 = -19. Let i(r) = 21*r - 5. Let h be i(s). Suppose -k + 80 = 3*a, 4*a - 5*k = -27 + h. Is a a multiple of 13?
True
Suppose i - 5*y = -2*i - 227, -223 = 3*i - y. Let x be i/(-14) - 4/14. Suppose 60 = x*n - 3*n. Is 15 a factor of n?
True
Suppose 2*q + 5*z - 82 = 0, 0*q - 2*q - 2*z + 70 = 0. Is q a multiple of 7?
False
Does 6 divide (-7)/((-7)/(-3)) - -45?
True
Let n(i) = -5*i**3 - i**2 + i + 1. Suppose 2*x + 3*x + 9 = m, 0 = 5*m + 3*x + 11. Let h be n(m). Is (-9)/6*-6*h a multiple of 18?
True
Suppose 5*p + 2 - 34 = i, 40 = 5*p - 5*i. Is 3 a factor of p?
True
Let c = 6 - 2. Let d be 1*(c + -2 + 1). Suppose 0 = 3*a - j - 22, -2 = a - d*j + 4. Does 5 divide a?
False
Suppose 0 = -9*o + 5*o - 32. Let n be 0 + (o + 2)/(-2). Is 4 a factor of 0*n/9 + 8?
True
Suppose -p + 44 = -12. Does 28 divide p?
True
Suppose l - 467 = -2*k, 4*k - 4*l + 3*l - 931 = 0. Is 30 a factor of k?
False
Suppose 4*j = k - 33, -5*k + 13 = -2*j - 26. Let q(i) = i**3 + 7*i**2 - 5*i - 5. Let w be q(j). Suppose 0 = -3*v - w + 144. Is 19 a factor of v?
True
Suppose 2*l - 2*m - 73 = -m, 0 = -l - m + 35. Is l a multiple of 21?
False
Suppose -u + 69 = -29. Is u a multiple of 14?
True
Let p be 20/5 + -2 + 0. Does 11 divide p/(-7) + (-316)/(-28)?
True
Let p(r) = r**3 + r**2 - 4*r - 2. Let s be p(-3). Let l(f) = -3*f - 2. Is 5 a factor of l(s)?
False
Let f(p) = p**3 - 9*p**2 + 2*p - 2. Is f(9) a multiple of 8?
True
Suppose 0*b - 7*b + 623 = 0. Is b a multiple of 18?
False
Suppose 4*q + 5*p = 213, 0*p = -5*p + 5. Suppose -5*n + b + 68 = 3*b, -5*n = -2*b - q. Let y = n - -5. Is y a multiple of 11?
False
Is (-8 + -1)/((-21)/238) a multiple of 23?
False
Let b be (-3)/(-9)*(16 - -2). Suppose b*w = w + 20. Suppose j - h + 4*h = 23, -2*j + w*h = -36. Is 20 a factor of j?
True
Suppose -2*w + 4 = 2*q - 0, 5*q - 17 = 2*w. Suppose -12 = q*f, -3*n - 2*f - 5 = -4*n. Is 2/(((-6)/11)/n) a multiple of 9?
False
Is 29 a factor of -58*((1 - 0) + (-2 - 1))?
True
Let x(h) = 2*h + 9. Let j be x(5). Let q = 2 + j. Does 7 divide q?
True
Suppose 10 + 8 = 2*p + 4*a, -3 = p - 2*a. Let d(n) = n**3 - 7*n**2 + 2*n - 17. Let k be d(8). Suppose 3*q - p*g - k = 0, -2*g = q - g - 21. Does 7 divide q?
True
Is (-1)/(-2) + 546/12 a multiple of 16?
False
Suppose -2*t - 4 = -3*t + 4*o, -4*o = 5*t + 52. Let u = t - -17. Is u a multiple of 4?
False
Let i(f) = -f + 2. Let x be i(-6). Suppose x*p = 4*p + 96. Is 11 a factor of p?
False
Let b(p) = -11*p**3 + p**2 + 2*p + 1. Does 5 divide b(-1)?
False
Suppose -133*o = -127*o - 1188. Is o a multiple of 33?
True
Let s = 45 - 33. Is s a multiple of 6?
True
Suppose 4*o + 11 = -1. Does 5 divide o*(-1)/((-6)/(-40))?
True
Let a = 12 + -7. Suppose 3*s + 5*v = 52, a*v = v - 4. Suppose -2*t = -3*t + s. Does 16 divide t?
False
Suppose -2*l + 20*l = 3276. Is 14 a factor of l?
True
Suppose 0*q - 4*w = -5*q + 866, 5*w + 169 = q. Does 29 divide q?
True
Suppose -z - 13 - 2 = 5*d, 4*d - 2 = 2*z. Suppose 14 = -0*y - 5*y + 2*m, -2*m + 10 = -3*y. Is (1/d)/(y/40) a multiple of 4?
False
Let o = 10 - 5. Suppose o*d = 4*d + 16. Is d a multiple of 13?
False
Suppose -k - 3*a = -32, 0 = -4*k - a - 3*a + 96. Is k a multiple of 2?
True
Let f be 2 - (-208)/((-8)/(-2)). Suppose u = 3*u - f. Is u a multiple of 9?
True
Suppose 0 = 3*j - j - 40. Is j a multiple of 20?
True
Let p be 14*2/8*-2. Let l = p + 13. Is 6 a factor of l?
True
Suppose -f - 1 = -5. Suppose 10 = 2*v - f. Suppose 6*n - 34 = 2*n + b, n = b + v. Is n a multiple of 9?
True
Let i be (-2)/(-6)*1*12. Suppose 4*l + h - 47 = 0, 0 = -5*l - 2*h + 5*h + 80. Suppose 4*m - 10 = -i*u + 2, m - l = u. Does 8 divide m?
True
Let w = 12 - -44. Is 14 a factor of w?
True
Suppose 0 = -3*b + v - 2 + 6, -2*b = -2*v + 4. Suppose b*m + 0 = 18. Does 2 divide m?
True
Suppose 481 = -5*m - 39. Let l be ((-3)/6)/((-2)/m). Let x = -18 - l. Is 8 a factor of x?
True
Suppose -3*s + 136 = -59. Is 13 a factor of s?
True
Let g be (-8)/6*-3 + 3. Let t(p) = p**2 - 9*p + 8. Let q be t(g). Let u(j) = -8*j - 8. Is 16 a factor of u(q)?
False
Suppose 0 = 5*w + 168 + 7. Let o be 7/w - 28/10. Let j(z) = -z**3 - 3*z**2 - 4*z. Does 8 divide j(o)?
False
Let x = -14 + 13. Is 3 a factor of x/(-4) + (-90)/(-24)?
False
Let j be 10*-4*(-3)/12. Is 18 a factor of (8/j)/(1/30)?
False
Suppose 25 = 5*i, 0 = -f + 3*i - 4. Suppose 5*y + 1 - f = 0. Is 15 a factor of y/8 + (-906)/(-24)?
False
Let g(m) = -m**3 + 6*m**2 + 10. Is g(6) a multiple of 10?
True
Let b = -38 - -274. Suppose 5*v + 4*j = b, 8*j = v + 3*j - 53. Does 16 divide v?
True
Let o = -335 - -494. Is 18 a factor of o?
False
Let u = -6 + 3. Let q(l) = -l + 3. Let y be q(u). Is (-2)/(-3) - (-176)/y a multiple of 16?
False
Let k(g) = 3*g**2 + 11*g. Does 18 divide k(-9)?
True
Let i be 2/((3 - 1)/6). Suppose -5*h = -2*u + 7, -5*u + 4*h = -h - 40. Let j = u - i. Is j a multiple of 3?
False
Let h(o) = -o**3 + 11*o**2 + o - 8. Let y be h(11). Suppose 0*l = y*l + 4*t - 120, -5*t = 3*l - 123. Is l a multiple of 11?
False
Let z be 18/(-12)*(-604)/6. Let v = -161 + 66. Let x = v + z. Is x a multiple of 19?
False
Let u(f) = 2*f**2 + 3*f + 21. Is u(-6) a multiple of 12?
False
Suppose -5 = -k - 4*k. Let z = 4 - k. Suppose 47 = z*u - 52. Is 12 a factor of u?
False
Let s(a) = 3*a**3 - 3*a**2 + 8*a + 6. Let g be s(-5). Let c be 4/(-6) - g/6. Suppose -t - 3*t + c = 0. Is t a multiple of 7?
False
Suppose -2 = -2*f, -108 = 2*y - 5*f - 831. Is 13 a factor of y?
True
Let p = -11 - -20. Let n = 50 + p. Does 21 divide n?
False
Is 177*(8/6 + (-24)/36) a multiple of 7?
False
Let k = 166 - 517. Is 6 a factor of (-2)/(-7) + k/(-21)?
False
Is 41 a factor of (12/(-7))/(7/(1470/(-5)))?
False
Suppose 5*u - 121 = 284. Suppose 3*j + 5*t = -115 - 128, 0 = j + 3*t + u. Let s = -44 - j. Does 15 divide s?
False
Suppose 6*s = 3*s - 384. Let q be s/(-6)*9/6. Is 15 a factor of 0 + -2 + 1*q?
True
Suppose -1 = z - 2*i + 3*i, 18 = 2*z - 3*i. Suppose -z*u + 44 = -49. Is u a multiple of 14?
False
Suppose 0 = 5*k - 12 - 3. Is 17 a factor of (-34)/(-3)*k*1?
True
Suppose 8*v = 5*v + 15. Suppose 2*y + 4*l - 33 = -y, v*l - 15 = 0. Is 3 a factor of y?
False
Let t(c) = 14*c - 16. Does 32 divide t(8)?
True
Let k = 20 + -20. Let h be 1/(-4) - (-42)/8. Is 10 a factor of k/h - (-20)/1?
True
Suppose 3*t + 0 = 21. Let m(j) be the first derivative of -j**3/3 + 9*j**2/2 - 10*j - 2. Is 2 a factor of m(t)?
True
Let l be (6/12)/(2/4). Let n be (l*3)/(1/(-3)). Let p(c) = -4*c - 12. Is 8 a factor of p(n)?
True
Let o(d) be the second derivative of 5/6*d**4 - 1/20*d**5 + 4*d + 11/2*d**2 + 0 - 3/2*d**3. Is o(9) a multiple of 3?
False
Let j(d) be the second derivative of d**5/20 - 2*d**4/3 - 5*d**3/6 - 2*d**2 - d. Let l be j(9). Suppose -4*h + l = -2*h. Does 8 divide h?
True
Suppose -8*f = -0*f - 144. Is 6 a factor of f?
True
Let q = -13 + 21. Suppose 3*l = -w + 19, 3*w = -w + l + 11. Suppose -40 = -w*o + q. Does 8 divide o?
False
Let p be 2 + 4*-1 + -6. Let x = 14 + p. Does 3 divide x?
True
Suppose 911 - 29 = 7*g. Is g a multiple of 9?
True
Suppose 3*d = -3*w + 12, 4*w = 5*d - 10 - 1. Let l = d - 4. Let u(h) = -13*h**3 + h**2 + 2*h + 1. Is u(l) a multiple of 13?
True
Suppose -2 = -9*f + 10*f. Is f*(-1)/(-2) + 27 a multiple of 13?
True
Let z(d) = d**2 - d - 10. Let v be z(-5). Suppose 8 - 48 = 4*g. Let t = g + v. Does 7 divide t?
False
Is 23 a factor of (-10)/(-6) - 3400/(-30)?
True
Let x(a) = 12*a - 13. Let w(b) = 6*b - 6. Let q(i) = 14*w(i) - 6*x(i). Is q(4) a multiple of 21?
True
Is (-5)/((-20)/108) - 2 a multiple of 25?
True
Let f = 102 - 27. Let w be 50/2*(-12)/(-