o a multiple of 9?
True
Suppose -w = -3*a - 18 - 0, 0 = 5*w - a - 34. Is 6 a factor of w?
True
Let p be (-10)/(-4)*2 - 2. Suppose -p*h + 7 + 47 = 0. Is 16 a factor of h?
False
Suppose -5*w - 187 = -657. Is 19 a factor of w?
False
Let b(t) = -t**3 - t**2 - 2*t + 1. Let f be b(-2). Let p be 102/(-4)*(-12)/f. Let z = -23 + p. Is z a multiple of 7?
False
Suppose 4*a + 5*z - 95 = 0, 0 = -3*a - 4*z + 52 + 18. Is a a multiple of 15?
True
Suppose 5 = 4*c + 3*s - 2*s, -1 = -4*c + 3*s. Is c + 10*2 + 1 a multiple of 10?
False
Let f be (-33)/(-27) + (-2)/9. Suppose 5*m + 2*q - 11 - f = 0, 5*m = -4*q + 14. Is m + (2 - (1 + -1)) a multiple of 4?
True
Let a(v) = v + 6. Let q be a(0). Let s(o) = -2*o**2 - 6 + o**2 + 5*o**2 + q*o - 3*o**2. Is 10 a factor of s(-8)?
True
Suppose 2*x + 0*x - 6 = 0. Suppose 2*g - 21 = x. Is g a multiple of 10?
False
Let j(w) = -w**2 - 14*w + 9. Is j(-10) a multiple of 7?
True
Suppose -4*k = -0*k - 12. Suppose w + w + 8 = 4*c, -5*c - k*w + 21 = 0. Suppose 44 = c*q - q. Is q a multiple of 6?
False
Let m = -11 - -5. Is ((-1)/(-2))/((-1)/m) a multiple of 3?
True
Let j = 9 + -5. Let g be (16/6)/j*3. Suppose g*w - 3*w = -18. Does 12 divide w?
False
Let z = 5 + 3. Suppose -134 = -5*y - j, -j = j - z. Does 16 divide y?
False
Let n = 43 + 22. Does 14 divide n?
False
Let t(x) = x**2 + 12*x + 15. Let l be t(-11). Suppose 2*m = -g - m - 7, -l*g + 17 = 3*m. Suppose h - g = -0. Is h a multiple of 3?
False
Let v(h) = -2*h - 3 + 0*h**2 + h - h**2 + 6*h. Let g be v(3). Suppose -3*k + 3*c = -72, -g*k + 0*c = 2*c - 92. Does 14 divide k?
True
Let y(m) = -19*m. Is y(-2) a multiple of 12?
False
Is 8 a factor of 2 + (12 - (1 - -2))?
False
Suppose 134 = 9*k - 550. Is k a multiple of 19?
True
Let k = -3 + 6. Let w be (-1 - 1)*90/(-12). Let u = k + w. Is u a multiple of 18?
True
Let g = 46 + -18. Is g a multiple of 7?
True
Let q(x) = 4*x - 9. Let t(s) = -5*s + 10. Let c(u) = -4*q(u) - 3*t(u). Let n be c(5). Does 8 divide ((-32)/2)/(n - 2)?
True
Let m = -1 + 3. Let h = 8 + -6. Suppose 3*q - 43 = k, -h*q - m*q + 59 = -k. Does 9 divide q?
False
Let t = -10 + -3. Let a be 30/(-6)*t/1. Is a/2 + 1/(-2) a multiple of 16?
True
Suppose -2*n - 67 = -6*n - f, f + 69 = 4*n. Suppose b + 50 = 3*r - n, r = -4*b + 44. Does 8 divide r?
True
Let k(x) = 3 + x**3 - 2*x**2 - 1 - 2*x**3. Let o be k(-2). Does 2 divide (9/(-6))/((-1)/o)?
False
Suppose 3*j - 8*j + 20 = 0, 2*r + 4*j - 22 = 0. Does 9 divide r/(-6) + 110/4?
True
Let c be -1*(-1 + 3 + -4). Suppose -6 = z - c. Does 9 divide z*(-22)/8*2?
False
Let j be 21/(-14)*(-8)/(-3). Let x be (-1)/1 + -1*1. Is 17 a factor of 0 + 17/x*j?
True
Suppose -p + 6*p - 320 = 0. Let j = 123 - p. Does 24 divide j?
False
Does 4 divide (-4)/(-12)*9 + 41?
True
Let t(b) = -b**3 - 13*b**2 - 17*b - 12. Let m be t(-11). Let g = m + 115. Is g a multiple of 24?
True
Let k = -11 + 16. Suppose 0*y - 160 = -k*y. Is y a multiple of 16?
True
Suppose 11*g - 13*g = -32. Is 4 a factor of g?
True
Let w be (-3)/((-138)/(-141) + -1). Is 6 a factor of 3/12 - w/(-12)?
True
Let h = -192 + 309. Is 18/h + (-334)/(-26) a multiple of 11?
False
Let f(o) = 2*o**2 - 4*o + 3. Let y be f(3). Let c = 18 - y. Is 9 a factor of c?
True
Let q = -272 + 410. Let p = q - 64. Does 18 divide p?
False
Suppose q - 4*q = 4*u - 46, -4*q = u - 83. Suppose -2*i = 3*m + 8, -i + m + 14 = 4*i. Suppose -3*j - 5*b = -68 + q, -i*j - b + 19 = 0. Does 5 divide j?
False
Suppose -5*s - i - 41 = 3*i, 3*i = 5*s + 13. Is ((-3)/s)/((-1)/(-65)) a multiple of 13?
True
Let m(x) = -x**3 - 12*x**2 + 15. Let d be m(-12). Does 24 divide 2/(-6) + 1025/d?
False
Suppose 3*r = -5*r + 1840. Is 48 a factor of r?
False
Suppose 20 = 6*k - 5*k. Is k a multiple of 14?
False
Let v(r) = -2*r**3 - 3*r**2 - 3*r - 1. Suppose -4*u - 2 = -3*u. Is 3 a factor of v(u)?
True
Suppose 5*o + 5*d - 145 = 0, d - 90 + 235 = 5*o. Let k = -7 + 11. Suppose -43 = -k*m + o. Does 14 divide m?
False
Suppose 3*y + 2*l + 902 = 5*y, -2*y = -4*l - 904. Is y a multiple of 52?
False
Let u(o) = o**3 + 12*o**2 - 3*o - 14. Let m be u(-12). Suppose -3*s + 6*s + 5*r = m, 0 = -s - r + 8. Does 3 divide s?
True
Let r = -199 + 332. Does 21 divide r?
False
Let x(d) = d**3 + 5*d**2 + 4*d + 5. Let m be x(-4). Suppose 0 = 4*i - 7 - m. Does 2 divide i?
False
Let u = -15 - -46. Suppose -42 = -b + u. Is b a multiple of 20?
False
Let c = -1 - 0. Let g = 4 + c. Suppose -4*z + 44 = 3*y, g*y - 46 = 5*z + 7. Does 16 divide y?
True
Is 15 a factor of 3/7 - (-13176)/126?
True
Suppose 0 = -5*j - a + 1478, 8*a - 6*a + 1484 = 5*j. Is 23 a factor of j?
False
Let p = -165 - -238. Is 10 a factor of p?
False
Let x(d) = -2*d + 6. Let z be x(6). Let h be ((-8)/(-10))/(z/30). Is 225/12 - 1/h a multiple of 15?
False
Let m(j) = -5*j + 1. Let i = -13 + 11. Is 6 a factor of m(i)?
False
Suppose 0 = -5*o + 3*k + 396, 4*k + 314 = 4*o + 3*k. Is o a multiple of 6?
True
Let c(k) = k**2 + 4*k. Suppose o + 3 = 2*o. Does 7 divide c(o)?
True
Let p = 158 - 92. Is 33 a factor of (-9)/(123/p - 2)?
True
Let i(c) = c**2 + 16*c + 18. Is i(-17) a multiple of 11?
False
Let k = -302 + 707. Does 54 divide k?
False
Suppose 0 = -4*p + 5*v + 37, 4*v + 27 = 2*p + 7. Let k = 5 + p. Is k a multiple of 5?
False
Let x(y) = -2*y + 6. Let m(l) = -l + 6. Let j(s) = -5*m(s) + 4*x(s). Let f(i) = -1. Let c(t) = -18*f(t) + 2*j(t). Is 16 a factor of c(-5)?
False
Let y(m) be the third derivative of -m**6/120 - 3*m**5/20 + m**4/8 + 4*m**3/3 - 2*m**2. Let q be y(-8). Does 7 divide q/(-12) - 2/(-6)?
True
Let l = 28 + -17. Suppose 0 = 2*p - 11 - l. Is p a multiple of 11?
True
Suppose -4*m + 1 = 33. Let w(v) = -2*v - 2. Is w(m) a multiple of 7?
True
Suppose 3*d - 51 + 9 = 0. Let c = d + 76. Suppose -6*y + y = -c. Does 9 divide y?
True
Let g(x) = x**3 + 4*x**2 + x - 3. Let j be g(-3). Suppose f = -j*f + 68. Is 5 a factor of f?
False
Let q(y) = y + 1. Let k = 3 - -2. Does 6 divide q(k)?
True
Let r(w) = -w**3 - 2*w**2 + 5*w - 3. Let a be r(-4). Suppose -4*q = -a*q - 35. Let x = -3 - q. Is 4 a factor of x?
True
Let m be (-3)/3*86/(-1). Let b = 132 - m. Let a = b - 26. Is 12 a factor of a?
False
Let p(v) = -v + 1. Let w(t) = -10*t + 10. Let o(z) = 65*p(z) - 6*w(z). Is 10 a factor of o(-4)?
False
Let z be 0 - (18/(-1) + -3). Let v = -6 - 0. Let r = z - v. Is r a multiple of 11?
False
Suppose -4*r + 6*b = 3*b - 5, -4*b = 5*r - 14. Suppose -5*n - 99 = -5*w - 14, -5*n + 6 = r*w. Is 13 a factor of w?
True
Let f(u) = -3*u**3 - u**2. Let q = 2 + -4. Is f(q) a multiple of 20?
True
Suppose -5*c = -4*j - 48 + 11, 2*j = -4*c + 14. Let r = -5 - -8. Suppose -25 = -2*y + r*a, 3*y + 0*a = -c*a + 47. Is 7 a factor of y?
True
Let o(a) = a**3 + 3*a**2 - a - 3. Let m be o(-3). Suppose 2*b + 2*j - 92 = m, 6*j = 3*j + 6. Let p = -25 + b. Does 5 divide p?
False
Let o(q) = 41*q**2 - q. Let r be (-1 + 0)*2 + 2. Suppose r = -2*g - 2*a + 2, 2*a - 5*a = -5*g - 11. Does 16 divide o(g)?
False
Suppose 0*n - 2*z = -3*n + 11, 18 = 4*n - z. Suppose n*b + 10 = 0, -5*j - b + 4 = -34. Does 8 divide j?
True
Suppose g = 2*r - 6, 0 - 3 = -r + 2*g. Does 3 divide r?
True
Let p = 1 + 2. Suppose 0 = -r - 2*h + 33, -34 + 121 = p*r + 2*h. Does 27 divide r?
True
Let d = 36 + 97. Suppose -4*q - 4*u + 118 = q, 0 = -5*q + u + d. Is 13 a factor of q?
True
Let p be 156/(-27) + (-4)/18. Suppose 0 = 3*q - b - 2*b - 387, 0 = -5*q + 2*b + 642. Is 6 a factor of p/(-4)*q/24?
False
Let m(l) = 5*l**2 + 2*l + 1. Let z be m(-1). Suppose 207 = z*k - 93. Does 25 divide k?
True
Is 5 a factor of 9 + -1 - (4 + -6)?
True
Let w(h) = 3*h**2 - 4*h + 4. Does 8 divide w(5)?
False
Let u be ((-14)/(-1))/(5/(-10)). Let z = u + -30. Is z/(-3) - 4/(-6) a multiple of 10?
True
Is 17 a factor of (-1)/(-7) + (-9401)/(-49) - 2?
False
Let q(y) be the second derivative of 43*y**4/12 - y**3/6 + y**2/2 + 2*y. Suppose 5*z + 2 = 7. Does 18 divide q(z)?
False
Suppose f + 5 + 5 = -4*a, 2*f + 11 = -5*a. Suppose -f*b - 15 = -7*b. Is 19 a factor of b/(-3 - 116/(-38))?
True
Suppose 0 = -3*z - 0*u + 2*u + 80, 2*u = -4*z + 116. Is z a multiple of 3?
False
Let x(m) be the first derivative of 19*m**4/4 + m**3/3 + 2. Is 16 a factor of x(1)?
False
Suppose -4*q + 5*w = -446, -3*w - 4 = 2. Is q a multiple of 7?
False
Let p(x) be the second derivative of x**4/12 + x**3/3 - 3*x**2 - 4*x. Let k be p(-8). Suppose k = f + 2*f. Is f 