(g) = g**3 - g**2 - 3*g + 3. Let b be o(2). Suppose b + 5 = 2*m. Suppose -2*i = -4*w + 182, -m*i - 87 = -2*w + 2*i. Is w a multiple of 23?
True
Let q(u) = -12*u - 6. Is q(-4) a multiple of 14?
True
Let p = -2 - -6. Suppose 4*g - 12 = -p. Suppose -g*h - 6 = -3*h. Does 6 divide h?
True
Is 31 a factor of 8/52 + 2395/65?
False
Let t = -15 - -7. Let y(i) = i**3 + 9*i**2 + 4*i - 8. Does 12 divide y(t)?
True
Let c(y) = -15*y**2 + 3*y. Let h be c(2). Does 19 divide 1 - h/((-6)/(-2))?
True
Let j = 41 - -9. Suppose -3*d + 5*d - j = 0. Is 8 a factor of d?
False
Let a(n) = 13*n**2 + 2*n - 1. Let j be a(2). Suppose h + j = 6*h. Let p = -1 + h. Is p a multiple of 5?
True
Let x be -22 + 0 + (-1)/(-1). Does 6 divide (0 + -4)/(-2) - x?
False
Suppose -4 = -3*k - 13. Let t = k + 6. Is 3 a factor of t?
True
Suppose 2*x - 2 = 2. Let z(v) = -10*v + 5. Let u be z(-4). Suppose -x*a + 63 + u = 0. Is 18 a factor of a?
True
Suppose 23 - 87 = -4*s. Does 16 divide s?
True
Let b be 3*(10/2 + 0). Is (-2)/6 + 155/b a multiple of 10?
True
Let h = -246 - -393. Does 13 divide h?
False
Let h(k) = 14*k - 8. Does 18 divide h(6)?
False
Let f be 2 - -2*(6 + 1). Suppose 8 = 2*m - f. Suppose -3*j + 2*d + 96 = d, -4*d = m. Is j a multiple of 11?
False
Suppose 0 = 4*r - 37 + 9. Let p be ((-18)/r)/(2/(-14)). Suppose p = 3*v - 0*v. Does 6 divide v?
True
Suppose 0 = 2*s + 5 + 5. Let h(f) be the second derivative of -f**4/12 - 5*f**3/3 - f**2/2 - 2*f. Is h(s) a multiple of 12?
True
Suppose 0 = -5*o - 0*o + 25. Suppose -7 = -c + t - 1, -c + o*t = -26. Suppose 0 = -2*i - 2*u + 34, -i + 4*u = c - 3. Is 11 a factor of i?
False
Suppose 3*b - 15 = -2*m + 3, 5*m - 23 = -2*b. Suppose m*s + 4 + 2 = 0. Does 10 divide s*4*3/(-2)?
False
Suppose 2*u = -5*n + 147, 4*u + u - 5*n - 315 = 0. Does 32 divide u?
False
Let a = 26 + 37. Is a a multiple of 7?
True
Let w(a) = a**2 - 4*a - 42. Does 6 divide w(10)?
True
Is 13 a factor of -2 - -4 - -8*10?
False
Let a(n) = -n - 2. Let f be a(-1). Is (f - -1) + (-3 - -5) a multiple of 2?
True
Let o = -143 - -247. Does 26 divide o?
True
Suppose 10 = -5*q, -3*m - 5*q = -0*q + 22. Does 10 divide (m + 14)/(2/4)?
True
Let r = 15 + -7. Suppose -r = q - 5. Is 2*q/6 - -7 a multiple of 6?
True
Let w(h) = -1 - 3 - 11*h + 10*h + 2*h**2. Is 17 a factor of w(-6)?
False
Suppose l = 4*o - 3, o = -0*l - 3*l + 4. Suppose -2*v + 7 = o. Let m(j) = 7*j. Does 8 divide m(v)?
False
Suppose 4*a + o - 585 = 0, 3*o - 4 = -o. Suppose -4*i + 70 + a = 0. Is i a multiple of 18?
True
Suppose 0 = -3*i + 2*i. Suppose i = 5*w - 6 + 1. Let z(y) = 3*y**2 + y - 1. Is z(w) a multiple of 2?
False
Suppose 2*p = 145 - 41. Is p a multiple of 17?
False
Let u = -15 - -25. Let t(h) = 5 + 24*h**2 - 14*h**2 - 2 + h - h**3 + 0*h. Does 13 divide t(u)?
True
Let t(h) be the third derivative of -h**6/120 - h**5/20 - h**4/12 - 2*h**2. Let n be t(-6). Suppose 5*b + 0*y - 85 = 3*y, -n = -5*b - 4*y. Is 10 a factor of b?
True
Let l = 5 + -5. Suppose -3*p + h = -44, l*h = -p + h + 16. Is 14 a factor of p?
True
Let j(g) = -g**3 - 2*g**2 + g + 2. Let o be j(-2). Suppose i = -o*p - 3*p + 100, -3*p = 5*i - 80. Is 20 a factor of p?
False
Let r = -140 - -100. Let k(s) = 3*s**2 + s + 12. Let v be k(-5). Let n = r + v. Is 21 a factor of n?
True
Let f = 67 + -47. Let q be 465/f - 2/8. Let a = 37 - q. Is a a multiple of 9?
False
Suppose -4*y - 2*u + 146 = -252, 3*y = 3*u + 321. Is 18 a factor of y?
False
Is 4 a factor of (10/15)/(-1) - 76/(-6)?
True
Let n = -112 + 168. Suppose f = 3*f - n. Does 14 divide f?
True
Let k(o) be the second derivative of o**5/20 - o**4/12 - o**2/2 + 3*o. Is k(2) even?
False
Let u(b) = 10*b**2 + 2. Let x be u(-3). Suppose -4*v + x = -44. Is v a multiple of 10?
False
Suppose -5*j + 4*j + 22 = 0. Does 22 divide j?
True
Suppose -5*k + 257 = 4*m, 0*k = k - m - 46. Suppose 5*y = 7*y + 36. Let s = y + k. Does 11 divide s?
False
Suppose 1212 = 5*g + 2*s, s + 1 = -3. Is g a multiple of 44?
False
Suppose 3*j = 5*l - 308, -l = 3*l - j - 252. Does 16 divide l?
True
Let q = 66 - 45. Let r = q + 1. Is 10 a factor of r?
False
Suppose -5*o + 0*o + 3*m + 21 = 0, 0 = 4*o - 5*m - 9. Does 2 divide o?
True
Suppose -42 + 7 = -5*p. Does 2 divide p?
False
Let t = 7 + -11. Let i be 2/(-4) + (-210)/t. Suppose -3*n + 3*y = -y - i, 3*n - 5*y - 47 = 0. Is 12 a factor of n?
True
Suppose r - 11 = 1. Is (9/(-1))/((-9)/r) a multiple of 12?
True
Suppose 50 = n - 7. Is 29 a factor of n?
False
Let h be (24/9)/((-2)/(-285)). Suppose -y = 4*y - h. Does 19 divide y?
True
Suppose -2*c = 2*c - 56. Does 11 divide c?
False
Suppose 3*p = 2*p + 6. Is 9 a factor of -2 + 2 - -3*p?
True
Suppose 2*x + 43 = 231. Is 16 a factor of x?
False
Let p(n) = -25*n - 57. Is p(-9) a multiple of 24?
True
Let y(a) = -2*a + 4*a + 2 - 12*a - 4. Let r be y(-5). Is ((-21)/(-14))/(2/r) a multiple of 18?
True
Suppose 5*z - 110 = -5*l, 28 = l + l - 2*z. Let h = -11 + l. Is 3 a factor of h?
False
Suppose -4*v + 2*v = -5*c + 203, -v = 2*c - 74. Is c a multiple of 5?
False
Let v = 110 - 77. Is 9 a factor of v?
False
Let i = -57 + 84. Is 2 a factor of i?
False
Let g be ((-12)/(-8))/3*-6. Let n(h) = -2*h - h**2 + 2 + 5*h + 2*h**2. Is 2 a factor of n(g)?
True
Suppose -4*j - 5*z + 337 = -20, -342 = -4*j - 2*z. Suppose -413 = -4*u - i - 42, i = u - 89. Suppose 4*a = o + j, -7*o = -4*a - 3*o + u. Does 7 divide a?
False
Let m = 56 + -27. Is 5 a factor of m?
False
Suppose 3*y + 4*k + 121 = 0, 5*y + 237 - 74 = 3*k. Let c be (-2)/6 + y/(-15). Suppose -4*i + 41 = 5*t - c*i, 28 = 2*t - 5*i. Is t a multiple of 9?
True
Let s = -103 - -223. Is 10 a factor of s?
True
Let t(y) = -3*y - 4. Let g be t(0). Is 7 a factor of (-306)/(-42) - g/(-14)?
True
Let l = -47 + 83. Is 13 a factor of l?
False
Suppose 66 + 99 = 3*h. Is h a multiple of 17?
False
Suppose 0 = -5*q + q + 348. Is 29 a factor of q?
True
Suppose 0*o + 4*g = -3*o + 279, 2*o + 5*g - 186 = 0. Does 14 divide o?
False
Let r(n) = n**3 + n**2 - n - 7. Let k be r(0). Let t = 1 - 0. Let g = t - k. Is 5 a factor of g?
False
Suppose 2*r - 56 = -2*q, 16 + 64 = 4*q - 4*r. Suppose -3*o = -i - 48, -o - o - 2*i + q = 0. Suppose 3*c = o - 6. Does 3 divide c?
True
Let q be 2/(-3) + 40/15. Suppose 20 = -q*u + 66. Suppose 3*l - u = 28. Is l a multiple of 13?
False
Let j = 3 - 1. Suppose -2*f - j = -30. Is 7 a factor of f?
True
Let n = 668 - 465. Suppose 5*o = -4*l + n + 161, -4*l = o - 60. Suppose -4*u - 2*h + 4*h = -o, 0 = -5*u - 5*h + 80. Does 8 divide u?
False
Suppose -2 = 3*c + 16. Let r = 10 + c. Suppose -r*b - 5*a = -5 - 7, -2*b + 8 = 2*a. Does 8 divide b?
True
Let w(u) = u**2 - 4*u + 2. Suppose i + 21 = 4*p, 2*p - 2*i - 1 = 5. Is w(p) a multiple of 14?
True
Let b(d) = -d**3 - 6*d**2 + d + 8. Let q be b(-6). Suppose -q*f = f - 12. Is 2 a factor of f?
True
Suppose p - 1 = -0*k - k, -28 = -4*k + 2*p. Suppose -3*u - 20 = -k*u. Does 4 divide u?
False
Let q = -160 - -313. Is q a multiple of 17?
True
Let v(u) = 35*u + 0 + 0 - 1 + 47*u. Let i be v(1). Suppose 3*b + 0*b = i. Is 13 a factor of b?
False
Let j(w) = w**2 - 2*w - 2. Let z be j(4). Suppose -234 = -4*l - 2*x, l = z*l + 4*x - 294. Does 12 divide l?
False
Let x = 14 - 5. Let l = -6 + x. Suppose -b + 3*r + 34 = 4*b, 9 = -l*r. Is b even?
False
Is ((-52)/1)/(-8 + 6) a multiple of 13?
True
Let h be 63/7 + (-4)/2. Suppose 96 = 3*y + 2*a - h*a, -a - 34 = -y. Is y a multiple of 14?
False
Let a(d) = -d**3 - 5*d**2 + 4*d - 7. Let f be a(-6). Let y be -3 + 10/2 - 4. Let r = f - y. Is r a multiple of 3?
False
Let g be -3 + 3 - 21*-10. Suppose 6*c - c = -g. Let o = c + 76. Is 17 a factor of o?
True
Let k be (-78)/(-18) + (-2)/(-3). Let h = k + -11. Does 14 divide 228/18*h/(-2)?
False
Let v be 0 - 8/(3 - 1). Let b be (-4)/(-6)*(-15)/10. Is (-4)/b + v/(-4) a multiple of 5?
True
Let l be (-5)/3*-3*1. Let b = -1 + l. Suppose u + 38 = 3*u + 4*v, 4*u + b*v = 88. Is 17 a factor of u?
False
Suppose -6*r = -9*r + 96. Is r a multiple of 13?
False
Suppose -2*r = -5*r + 3. Is (13/2)/(r/2) a multiple of 13?
True
Suppose t - 5*z = -0*z + 1, 5*z = -t + 11. Is 2 a factor of t?
True
Let m(k) = k**2 - 4. Let c be (7 + -1 - 3)*1. Is 2 a factor of m(c)?
False
Let l be ((-10)/3*-39)/1. Suppose 4*a - 172 = 3*w + 92, w + l = 2*a. Does 14 divide a?
False
Suppose -7*c + 11*c - 240 = 0. Does 28 divide c?
False
Let p be (-15 - 0) + 2 