divide o(p)?
False
Let x(r) = -r**2 + 3*r. Let t be x(2). Let u be (4/14)/(t/14). Suppose -14 = w - u*w. Does 12 divide w?
False
Let b = -2 - -30. Does 10 divide b?
False
Suppose -8*x + 56 = -15*x. Let h(o) be the first derivative of -o**3/3 - 13*o**2/2 - 12*o - 1. Is h(x) a multiple of 12?
False
Let d be (9/6)/(1/6). Is 3 a factor of 60/d + 6/(-9)?
True
Suppose 3*w + o - 64 = 0, -w + 44 = 2*w - 4*o. Is w a multiple of 20?
True
Suppose h = -5*o + 2*o, o = -3*h + 40. Is 12 a factor of h?
False
Suppose -3*i = 8 - 14. Suppose 5*v + 45 = j, -i*v - v = 5*j - 197. Is j a multiple of 14?
False
Suppose -2*g + 2 = -6. Suppose -598 = -g*i + 74. Suppose 0 = 9*y - 5*y - i. Is 14 a factor of y?
True
Let u be (-3)/5 + (-429)/(-15). Let g = u + -5. Suppose -n + 4 = b + b, 3*n = 5*b + g. Is n a multiple of 3?
True
Let r be (2/3)/(7/1743). Let n = -85 + r. Suppose -4*u = -31 - n. Does 16 divide u?
False
Let x(d) = -d**2 - 3*d - 6. Let q be x(-4). Let s = 1 + q. Let g = 6 - s. Does 15 divide g?
True
Suppose -4*u - 9 + 0 = 5*n, 0 = 5*u - n - 25. Let h = u + -7. Does 8 divide h*-2*16/6?
True
Let d be (0 - -30)/((-9)/(-30)). Let f = d + -62. Is f a multiple of 14?
False
Let k be (6 - 2 - 2)*6. Suppose 3*x = k, 0 = -3*z - z - 4*x. Does 12 divide (1/(-2))/(z/96)?
True
Suppose 2*z = 4*p + 144, 2*p - 3*p + 244 = 3*z. Is 12 a factor of z?
False
Let z = -53 + 350. Is 27 a factor of z?
True
Suppose 38 = 2*x + 12. Let u be (-67)/(-2) - (-2)/(-4). Let s = u + x. Is 19 a factor of s?
False
Let x(w) be the first derivative of -3*w**2/2 - 4*w - 2. Is x(-6) a multiple of 7?
True
Suppose -c + 9 = -24. Does 3 divide c?
True
Let o = 10 - -2. Let s = 22 - o. Suppose 5*j = s*j - 70. Is 14 a factor of j?
True
Let z(l) = l + 53. Is 7 a factor of z(-12)?
False
Let o(v) be the first derivative of -v**4/4 - 4*v**3 - v**2/2 - 5*v - 3. Is o(-12) a multiple of 3?
False
Let f be 2 - (-38)/(0 + 1). Let k = f - 26. Is k a multiple of 4?
False
Let b(m) = -5*m**2 - m**2 - m**3 - 3 - 3*m + 2*m**2. Let k be b(-4). Suppose -k = 3*t, 5*y - 3*y - 31 = -t. Does 7 divide y?
False
Does 22 divide (0 - (2 - 0))*-22?
True
Suppose -3*d - 2*d - 159 = -2*y, d = -y + 62. Does 21 divide y?
False
Let p(n) = 3*n**2 + 5*n + 31. Is p(-5) a multiple of 27?
True
Let m be (-1)/(2 - (-73)/(-37)). Let q = m + 67. Is q a multiple of 10?
True
Let s(h) = h**2 - h. Is s(-7) a multiple of 28?
True
Let i = -18 + 19. Is 5 a factor of (-4)/16*(i + -77)?
False
Suppose -3*z - 6 = -186. Does 12 divide z?
True
Let i(n) = -n**3 + 2*n**2 - 3. Let x be i(4). Let b = -14 - x. Is b a multiple of 21?
True
Let v(l) = 37*l**2 - 9*l - 2. Let m(j) = 19*j**2 - 5*j - 1. Let w(q) = -11*m(q) + 6*v(q). Let k be w(1). Let p = 22 - k. Does 3 divide p?
True
Suppose 0 = -4*x + 442 + 122. Is 47 a factor of x?
True
Let g = 4 - -1. Suppose -g*f + 20 = 5. Is f a multiple of 2?
False
Suppose -75 = -4*y + 5. Let t = 44 - y. Does 8 divide t?
True
Is 20 a factor of 5/(-10)*7/((-21)/1182)?
False
Let j(b) = -5*b**2 - 9*b - 6. Let p(c) = 11*c**2 + 19*c + 12. Let i(t) = 13*j(t) + 6*p(t). Is i(-4) a multiple of 9?
False
Suppose 0*k + 3*k - 3*j = 159, 0 = k + 5*j - 29. Suppose -4 = -0*s - s. Suppose -t = -2*i + k, s*t - 40 - 17 = -3*i. Is i a multiple of 8?
False
Let f(d) = 245*d**2 - d. Suppose -5*b = -b + 4. Let v be f(b). Suppose 3*s - s + v = 5*k, -5*s - 63 = -k. Does 24 divide k?
True
Let l(w) = -5*w + 6. Let o(m) = -6 - 2 + 4*m + 2. Let r(d) = 2*l(d) + 3*o(d). Does 2 divide r(4)?
True
Let j be (-11 + 2)/(6/(-4)). Let g = 2 + j. Is 4 a factor of g?
True
Let t = 17 - 6. Suppose i - 9 = t. Is 7 a factor of i?
False
Let j = 4 - -1. Suppose 8*r - 36 = j*r. Is r a multiple of 6?
True
Does 36 divide ((-2)/(-5)*-1)/(4/(-2160))?
True
Let o(l) be the second derivative of -l**5/20 - l**4/6 - l**3/6 + 2*l. Does 18 divide o(-4)?
True
Let l = 33 + -21. Is l a multiple of 4?
True
Suppose -99 = -2*i - 7*z + 2*z, 4*z = -2*i + 94. Is 37 a factor of i?
True
Suppose 0 = 12*r - 10*r - 88. Is r a multiple of 22?
True
Let w(f) be the first derivative of -f**2 - 12*f + 28. Let p be 2/1*18/(-4). Is 3 a factor of w(p)?
True
Let u(v) = 2*v**2 - 3*v**2 + 2*v**2 + v**2 - 4*v + 6. Is u(4) a multiple of 11?
True
Let h = 2 - 7. Let n = 5 + -1. Let x = n - h. Is x a multiple of 9?
True
Let v(a) = a**2 + 4*a - 15. Is v(6) a multiple of 24?
False
Is 2 - (2 - (2 - -3)) a multiple of 2?
False
Suppose 0 = -j - 2*v + 12 + 25, -37 = -j + v. Is 16 a factor of j?
False
Let v(m) = m**2 - 2*m + 5. Is 20 a factor of v(-3)?
True
Let g(f) = f**2 + 13*f + 3. Let v be g(-13). Is 7 a factor of v/6*(63 + 1)?
False
Let s = 14 - 10. Suppose -y - 18 = -s*y. Does 14 divide (6*8)/(y/4)?
False
Let u be ((-91)/14)/(1/(-2)). Let y(a) = a**3 + 6*a**2 + a + 4. Let q be y(-6). Let m = q + u. Does 11 divide m?
True
Suppose -4 = -2*i + 2. Suppose 3*z - 6 = -2*g, 0 = -i*z - 3*g + 3 - 0. Is ((-15)/z)/((-1)/4) a multiple of 12?
False
Suppose 0*w + 2 = w. Suppose 0 = q - w*q + 9. Is ((-30)/q)/(6/(-9)) a multiple of 2?
False
Suppose 7*i = 2*i + 25. Let x(t) = t**3 - 1 + 2 - 3 + 4 - 6*t**2 + 6*t. Is x(i) a multiple of 4?
False
Suppose -2*i + 192 = -144. Is i a multiple of 42?
True
Suppose -3*n + 0 = -45. Is n a multiple of 7?
False
Suppose d + 50 = q, -5*d - 181 = -3*q - 39. Is q a multiple of 4?
False
Is 1 + (-3 - -2) - -24 a multiple of 4?
True
Let n(y) = -8*y + 68. Is n(6) a multiple of 3?
False
Suppose 0*t - 51 = -t. Is 17 a factor of t?
True
Let z = -19 - -17. Does 12 divide -3 - ((-70 - z) + -2)?
False
Let d(v) = -1 + 6 - 3*v**2 + 9*v + 3. Let o(x) = -13*x**2 + 36*x + 32. Let j(a) = 9*d(a) - 2*o(a). Is j(7) a multiple of 12?
False
Let r(u) be the first derivative of u**3/3 - 7*u**2/2 + 2. Let i be (1 - 0)*(-2 + 10). Is r(i) a multiple of 8?
True
Let u(b) = b**3 + 2*b**2 - 3*b. Let p be (3 - 1) + 0 - 1. Suppose -t + 5*s - 16 = p, -4*t = 4*s - 28. Is 18 a factor of u(t)?
True
Let m(x) = -2*x**2 + 5*x - 1. Let z(i) = i**2 - 6*i + 2. Let b(h) = -4*m(h) - 3*z(h). Does 4 divide b(2)?
False
Is 5 a factor of (-15 - -16)*(-1)/((-1)/10)?
True
Let t(c) = 2*c**2 + c + 1. Let b be t(-1). Let y(g) = -b*g + 7*g - 2 - 5. Is 13 a factor of y(6)?
False
Let h = 13 - 13. Let w(p) = -p**2 + 2*p + 45. Does 17 divide w(h)?
False
Let j(h) be the third derivative of -h**6/60 - h**5/20 + h**4/8 - h**3/2 - 3*h**2. Is j(-3) a multiple of 13?
False
Let s = 96 + -61. Is 14 a factor of s?
False
Suppose 3*f + 9 - 171 = 0. Is f a multiple of 18?
True
Let b be (16/10 + -2)*-5. Suppose -8 = -5*o + b. Is o a multiple of 2?
True
Is (-3400)/(-153) - 2/9 a multiple of 22?
True
Suppose 172 = 20*w - 16*w. Does 3 divide w?
False
Let v(h) = -h**3 + 12*h + 11. Is v(-7) a multiple of 45?
True
Suppose -u + i = 3, -2*i - 9 = u - 0. Let r(c) = c**3 + 6*c**2 - 2*c - 7. Let s be r(u). Suppose -3*h - s = -5*h. Does 8 divide h?
False
Let i(r) = 5*r**2 - 4*r - 3. Let z be i(-2). Suppose -z = -s - b + 4*b, b + 4 = 0. Is 7 a factor of s?
False
Let g(h) = -h**3 - 6*h**2 + h - 3. Let i be g(-6). Let s = i - -22. Does 3 divide s?
False
Suppose -5*w + 48 = 3. Suppose w = 3*y - 0. Suppose -3*p - y*i + 4*i = -15, p - 3*i + 3 = 0. Does 3 divide p?
True
Is 6/(-7)*(-16 + -5) a multiple of 18?
True
Let j(l) = l**3 + 18*l**2 + 19*l - 8. Is j(-16) a multiple of 25?
True
Let i(l) = 3*l + 9. Let y = -11 - -17. Is 11 a factor of i(y)?
False
Is (-1)/(2*2/(-432)) a multiple of 25?
False
Let j = 63 - 23. Does 5 divide j?
True
Suppose -4*t - 22 = -5*w, 4*w + 0*t = 2*t + 20. Suppose -w*z + 12 = -3*z. Suppose -5*r + r = 5*y - 55, 0 = 4*r + z*y - 60. Is 13 a factor of r?
False
Let n(t) = -3*t**3 + t. Let y be n(-1). Suppose 2*h = 2*g - 146, -3*g - y*g - 5*h + 365 = 0. Suppose -g = -3*b - 22. Does 10 divide b?
False
Suppose 2*y + 5*v - 5 = -0*v, y + 2 = 2*v. Suppose 5*u - 10 = y, -4*u = -2*f - 0*u + 16. Is 153/f + 2/8 a multiple of 12?
False
Suppose 16 - 24 = -2*v. Is v even?
True
Let o be 1/3 - 16/(-6). Let b be (1/(-2))/(o/(-72)). Suppose 0 = -2*t - 2 + b. Is 5 a factor of t?
True
Let m = -8 - -15. Is 7 a factor of m?
True
Suppose -2*q - 1 = -3*i - 0*q, 2 = -2*i + 2*q. Is (-78)/(-9)*1*i a multiple of 13?
True
Let c(y) = -y**2 - y + 12. Suppose 0 = 3*f + f. Is c(f) a multiple of 12?
True
Suppose -3*m + 8*m = 75. Is 6 a factor of m?
False
Suppose 18*m + 483 = 2931. Is 17 a factor of m?
True
