3*g - x*d. Does 15 divide g?
False
Suppose 3*w - 2 = 13. Is w a multiple of 4?
False
Suppose 4*b - 252 = -4*v, -v + 3*v + 5*b - 141 = 0. Does 12 divide v?
False
Let z be -2 - (-2)/(-4)*-14. Suppose 2*u = -z*n + 33, -4*n + 5*n + 24 = 3*u. Let s = 22 - u. Is 13 a factor of s?
True
Suppose -5*g + 6*g - 24 = 0. Does 12 divide g?
True
Suppose -z + 189 = 6*z. Is z a multiple of 9?
True
Let x(h) = -14*h + 7. Suppose 6*o + 12 = 4*o. Does 24 divide x(o)?
False
Let v = -4 + 13. Let m = v - -5. Is 11 a factor of m?
False
Let w(r) = r**3 - 5*r**2 + 4*r + 5. Let m be w(4). Let g(h) = h + 2. Let z be g(m). Let v = 2 + z. Is v a multiple of 9?
True
Let m(a) = -a**2 - 5*a + 6. Let t be m(-5). Let q(l) = l**3 - 7*l**2 + 5*l - 3. Let k be q(t). Is (-1)/(-3) - 456/k a multiple of 19?
False
Let t = 261 + -179. Let r = t + -29. Suppose 2*j + z = -0*z + r, 2*z = 2*j - 68. Is j a multiple of 14?
False
Suppose 4*q = 2 - 10. Does 2 divide 1 - (-2 + q - -3)?
True
Let q(s) = s**3 + 2*s**2 + 2*s - 1. Let t be q(-3). Let o = t - -88. Let w = 108 - o. Is 13 a factor of w?
False
Suppose 0 = 2*p + 5*i - 93, -2*p + 18 = -4*i - 66. Is 22 a factor of p?
True
Suppose 0 = 3*v + 5*z - 322, -3*v + 8*v - 510 = 5*z. Is v a multiple of 30?
False
Suppose -3*p + 3*z + 351 = 0, -p = z - 3*z - 122. Is p a multiple of 16?
True
Let o(f) be the third derivative of f**5/30 + f**4/8 + 5*f**3/6 - 6*f**2. Is o(-5) a multiple of 14?
False
Suppose 0 = -t + 2 - 0. Suppose -t*i + 21 = -23. Is 12 a factor of i?
False
Suppose j - 22 = -2*n, 0*n - 2*n + 2*j + 28 = 0. Let f = n + -3. Is f a multiple of 4?
False
Let o(b) = 19*b**2 + 3*b + 2. Let z be o(-2). Suppose 4*f - z = -0*f. Is 3 a factor of ((-8)/(-6))/(4/f)?
True
Is (3 - 0)*(2 + 34) a multiple of 12?
True
Suppose t - 28 = -4*q - 2, 0 = -t + q + 11. Does 7 divide t?
True
Let u be ((-12)/10)/((-2)/5). Suppose 2 + 1 = -u*w. Is 5 a factor of (6/(-4) + w)*-2?
True
Let a(q) = -q - 1. Let l(k) = -3*k - 6. Let s(j) = -6*a(j) + 3*l(j). Suppose -2*u + 6*u + 48 = -4*h, h = 5*u + 36. Does 11 divide s(u)?
False
Let k = 1 + 0. Let a be k/((-1 + 3)/(-2)). Let n = 6 + a. Is 2 a factor of n?
False
Let o(q) = -q**2 + 15*q + 10. Is 4 a factor of o(10)?
True
Let a(s) = 2*s - 3. Suppose 5*h - 5*x = 30, 5*h + 2*x - 29 = 1. Does 9 divide a(h)?
True
Let s(r) = r**3 + 5*r**2 - 6*r + 4. Let o be s(-6). Suppose -o*c + 11 = -169. Does 15 divide c?
True
Is 42/8*2*(8 - -2) a multiple of 15?
True
Let k(h) = -h**3 - h**2 + 2*h + 232. Is k(0) a multiple of 24?
False
Let z be 845/(-45) + (-6)/27. Let w = 35 - z. Is 12 a factor of w?
False
Let w(m) = -m + 5. Let h be w(6). Let n be 1/(2*h/(-4)). Let z(r) = r**3 - r**2 + r. Is 3 a factor of z(n)?
True
Suppose 2*r + 2 = 8. Suppose 4*g + z + 3*z - 56 = 0, 4*g = -r*z + 56. Suppose 2*q + g = 88. Does 13 divide q?
False
Let q = -11 - -12. Does 17 divide 1*-34*q/(-2)?
True
Let s be 156 + ((-1)/(-1) - 0). Let z = s - 93. Suppose -3*i - i = -z. Is i a multiple of 16?
True
Let w(n) = -9*n + 6. Let f be w(-6). Suppose 5*b - f = b. Is 15 a factor of b?
True
Suppose -2*w + 21 = -3. Does 6 divide w?
True
Suppose -12 = -x - x. Is x a multiple of 2?
True
Suppose -p + 0*y + y = -3, -2 = -p + 2*y. Suppose -3*t = 5*i + 2*t - 245, -4*t = p. Is i a multiple of 18?
False
Suppose -2*b - h - 3*h = -6, 0 = b + h - 7. Let u = b - 15. Does 6 divide (-1)/(-2) - 42/u?
False
Does 24 divide (20 - 19)/((-1)/(-123))?
False
Let h = 6 + -5. Suppose h = 2*b - 35. Is 9 a factor of b?
True
Let d be (-6)/4*88/(-6). Suppose v - d - 26 = 0. Is 24 a factor of v?
True
Let x(w) = w - 9. Let v be x(13). Suppose -5*g + 0*g + 120 = 2*r, 0 = -2*g - v*r + 32. Is 7 a factor of g?
False
Suppose 4*s - 64 = -0*s. Does 16 divide s?
True
Suppose -4*h + 6 = -70. Suppose 0 = -4*i + 1 + h. Suppose -w - 76 = -i*w. Does 8 divide w?
False
Suppose -21 = i + 9. Does 3 divide (2/6)/((-2)/i)?
False
Let d(k) = -2*k + 4. Let y be d(-5). Suppose 4*c - y = 2, 0 = -2*u + 2*c + 2. Is u a multiple of 5?
True
Let b(p) = -5*p**3 + 2*p**2 - p - 2. Let l be b(-2). Let q(f) = 2*f**3 - 2*f**2 + 3*f. Let v be q(2). Let h = l - v. Is 17 a factor of h?
True
Let a be (1 - (-6)/9)*3. Suppose 0 = 3*q + 3*b - 36, a*q + b - 46 = 3*b. Is 10 a factor of q?
True
Let b(x) = -x**3 + x**2 - x + 1. Let o(i) = 15*i**3 - 3*i**2 + 2*i - 2. Let h(y) = -2*b(y) - o(y). Is 5 a factor of h(-1)?
False
Let z = 17 - 15. Suppose z*h - 4*h + 8 = 0. Is h a multiple of 3?
False
Is (-1 - (-4)/(-4)) + 121 a multiple of 29?
False
Suppose -5*v = -0*v - 280. Is v a multiple of 8?
True
Let f(r) = 29*r + 0*r**2 + 7 - r**2 - 17*r. Is 11 a factor of f(9)?
False
Suppose -16 = 4*t, -3*c + 2*c + t + 56 = 0. Is 11 a factor of c?
False
Is 10 a factor of -4 + (-5)/(20/(-224))?
False
Let n = 345 - 191. Suppose 3*d = d + n. Is d a multiple of 14?
False
Suppose -2*z = 4*c + 35 + 15, 3*z + 4*c = -69. Let h = z + 49. Is 10 a factor of h?
True
Let x = 0 - -3. Suppose 164 = -x*w - w. Let j = w + 71. Does 17 divide j?
False
Suppose 0 = 5*w - 35 - 15. Let n be (-4)/w + 1285/25. Suppose 4*s + s = 5*h - 60, -4*h + n = -s. Is h a multiple of 10?
False
Is 13 a factor of (-4)/(-10) - 1071/(-85)?
True
Let p(n) = 2*n**2 + 2*n - 3. Let d(s) = 2*s**3 - s**2 - s - 1. Let l = 1 + -2. Let g be d(l). Is p(g) a multiple of 5?
False
Let s(h) = h + 1. Let l(b) = -b**2 - 7*b + 6. Let g(i) = l(i) - 4*s(i). Is g(-9) a multiple of 4?
True
Let y be (-1 + (-13)/(-4))*-4. Let c = y + 34. Is 25 a factor of c?
True
Let g = 163 + 5. Is 16 a factor of ((-32)/6)/((-14)/g)?
True
Let n(q) = -q**3 + 11*q**2 + 2*q - 5. Is n(11) a multiple of 13?
False
Let d = 17 - 10. Let x = d + -3. Is 2 a factor of x?
True
Suppose -4*m - m - 652 = -4*u, -2*m = -8. Is u a multiple of 7?
True
Suppose -4*a + 3*r = -84, 0*r + r + 42 = 2*a. Suppose 5*n - a = 4. Suppose -21 = -n*s + 4*w, -4*w - 23 = -5*s - 2*w. Does 3 divide s?
False
Let w(m) = 5*m**3 - m**2 + 2*m - 1. Let x be w(1). Suppose -3*c = -2*s + 3*s + 4, x*c = -4*s + 5. Let p = s - -5. Is 10 a factor of p?
True
Let v = -102 + 53. Let d = -19 - v. Is d a multiple of 15?
True
Let q = 11 + 50. Does 6 divide q?
False
Let f = -12 - -15. Let x(j) = 15*j - 1. Is 11 a factor of x(f)?
True
Let f(p) = 3*p + 1. Suppose -5*o + 3*r = 6 + 11, -3*o + 3*r = 9. Let a(h) = -h**2 - 4*h + 1. Let t be a(o). Is f(t) a multiple of 3?
False
Does 2 divide ((-3)/2)/(10/(-40))?
True
Let q(d) be the third derivative of 5*d**4/12 - d**3 + 2*d**2. Does 9 divide q(4)?
False
Let q = -20 + 71. Let d = q - 32. Does 19 divide d?
True
Suppose 0 = -4*u + f + 120, 5*f + 93 = 4*u - 27. Is u a multiple of 6?
True
Let c(b) = 2*b**3 - 4*b**2 + 6. Let q be c(5). Suppose w + q = 4*w. Is 8 a factor of w?
False
Let f be (-684)/(-16) - 1/(-4). Suppose 2*t = 3*i + 43, 2*t + 2*t - 53 = -5*i. Suppose 5*q = f + t. Is 9 a factor of q?
False
Does 11 divide 2/(-10) - 1127/(-35)?
False
Suppose 0 = -3*y + y + 90. Suppose k - 7 = -3*h + 2, -5*k - h = -y. Is k a multiple of 9?
True
Let t be (-1 + 0 - 1)*3. Is (-4)/(-2 + t/(-4)) a multiple of 6?
False
Let k = 297 - 138. Does 20 divide k?
False
Suppose 0 = -2*z - 9 + 5. Is (3/(-6))/(z/16) even?
True
Let s = 92 - 598. Let w be s/(-4) - 1/(-2). Let n = w - 79. Does 16 divide n?
True
Suppose -5*f - j = -120, -15 = -4*f - j + 81. Is f a multiple of 8?
True
Let u(c) = c - 7. Is 2 a factor of u(9)?
True
Let l = -1 + 0. Is (-10)/l - 3/(-1) a multiple of 10?
False
Let l(c) = 3*c**2 - 19. Is 8 a factor of l(5)?
True
Suppose -2*i - 5*h - 5 = -5*i, -1 = 3*i + h. Let m(n) = -2*n + n + 8 + i*n. Is m(-9) a multiple of 11?
False
Let f(n) = 2*n**3 - n**2 + 3*n - 1. Is 17 a factor of f(2)?
True
Let r(y) = 20*y**3 + y**2 + y. Let u be r(-1). Let x = -4 - u. Is x a multiple of 6?
False
Let m be (4/((-8)/6))/(-1). Suppose -2*a = -m*a + 6. Is 4 a factor of -3*(-1 - 20/a)?
False
Let y(s) = -3*s**2 - 5*s - 3. Let n be y(-4). Let f = 50 + n. Does 19 divide f?
True
Let r = 162 - 102. Is 14 a factor of r?
False
Let i = -245 - -173. Let a = -27 - i. Is 15 a factor of a?
True
Let u(m) = -m**3 + 3*m**2 - 8*m - 7. Let a(o) = 6*o**3 - 14*o**2 + 39*o + 35. Let z(s) = 2*a(s) + 11*u(s). Is 6 a factor of z(-6)?
False
Let h be (2 + -1)/(3/6). Suppose -h*c - 12 = -5*c. Is 4 a factor of 15/c + (-2)/(-8)?
True
Let r = -38 + 56. Is 15 a factor of r?
False
Suppose 4*l - 32 = -4. Is l a multiple o