0*j. Let b = y - -2. Is b a multiple of 2?
True
Let u(r) = 12*r + 1. Does 15 divide u(6)?
False
Suppose -6*g + 3*g - 27 = 0. Let s be (-5)/1 - 2/(-2). Let q = s - g. Is 2 a factor of q?
False
Let s = 37 + 7. Suppose 2*j = -4*b + 82, -2*j - s = -0*b - 3*b. Is (b/4)/((-6)/(-8)) a multiple of 3?
True
Suppose 92 = 4*q - 4*p, 3*q - 68 = p + 3*p. Is 6 a factor of q?
True
Suppose 0 = -d + 55 - 5. Let g = d - 21. Is g a multiple of 10?
False
Let w be (5 - 3)/(2/4). Suppose w*l = -11 - 29. Let o = 16 + l. Is 5 a factor of o?
False
Suppose -3*o - 57 = -2*m, 2*o - 7*o - 87 = -3*m. Let g = 5 + m. Is g a multiple of 9?
False
Let s = -4 - -16. Let n = 37 - s. Does 8 divide n?
False
Suppose 2*w + 3*k + 0*k - 404 = 0, -4*w - 4*k + 816 = 0. Is w a multiple of 16?
True
Suppose -6*q + 1678 = -q + s, 2*q - 676 = 2*s. Does 48 divide q?
True
Is 13 a factor of ((-130)/(-3))/(24/36)?
True
Let o = 33 - 14. Suppose 2*t - o = -z - 0*t, 95 = 5*z + 3*t. Is z a multiple of 7?
False
Let m(p) = -3*p**2 - p - 12. Suppose -6*b + 2*b = 16. Let q(a) = -a**2 + a - 1. Let w(c) = b*q(c) + m(c). Is w(7) a multiple of 6?
True
Let f(p) = p**3 - 3*p**2 - 2*p + 4. Let q(m) = -m**2 - 8*m + 13. Let j be q(-9). Let r be f(j). Does 13 divide -1*4/(r/(-75))?
False
Suppose -q + 100 = 1. Is q a multiple of 14?
False
Suppose 4*g - 237 = 291. Is 11 a factor of g?
True
Let c(f) = -f**2 + 0 - 1 - 3*f**2. Let b be c(1). Let h = b + 13. Is h a multiple of 4?
True
Let k = 30 + -3. Is 6 a factor of k?
False
Suppose 4*f - w - 3*w = 148, 0 = -3*f - 5*w + 71. Is f a multiple of 4?
True
Does 6 divide (1 - 20)/(23 - 24)?
False
Let p(g) = -5*g**3 - g**2 - 8*g + 5. Let s(z) = -4*z**3 - 7*z + 5. Let q(w) = 5*p(w) - 6*s(w). Is 19 a factor of q(-6)?
True
Let a(j) = j**3 - 3*j**2 + 4*j + 2. Does 19 divide a(5)?
False
Let g(n) be the second derivative of n**4/12 - n**3/3 + n**2/2 - 8*n. Is 3 a factor of g(5)?
False
Suppose -4*u + 2*w + 16 = 4*w, 4*u - 16 = 4*w. Suppose 6*c = u*c + 92. Is c a multiple of 13?
False
Suppose -4*k + 348 = 4*w, 4*w + 95 - 442 = -5*k. Does 24 divide w?
False
Suppose 0 = -x + 1 + 2. Suppose y - 33 = -2*k - 0*k, -3*y - 2*k + 103 = 0. Suppose 4*o - 59 = -5*g + y, -g = -x*o + 80. Is 13 a factor of o?
True
Suppose -59 = -2*o - 11. Is 16 a factor of (-1 - -2 - 1) + o?
False
Let o(i) = i + 9. Let s be o(-4). Let j be (10/4)/((-7)/(-14)). Suppose -j*v + 55 + 0 = -s*t, 0 = 4*v + 5*t - 17. Is v a multiple of 3?
False
Let s(m) be the first derivative of 2 + 1/3*m**3 + 2*m - 2*m**2. Is 10 a factor of s(6)?
False
Suppose -x = -6 + 2. Suppose 5*n - 34 - 222 = -2*b, -n - x*b = -62. Does 13 divide n?
False
Let q = 70 - 44. Is 23 a factor of q?
False
Is 9/(-15) + 1132/20 a multiple of 16?
False
Let n(a) = -a**2 + a + 55. Is 32 a factor of n(0)?
False
Suppose -o = -13 + 3. Suppose -2*j = 5*w - 4*j - o, 5*j = -2*w - 25. Suppose 2*n - 4*k - 57 = -k, -n - k + 21 = w. Is 10 a factor of n?
False
Let c(r) = 13*r**3 + 2*r**2 - r + 5. Is c(2) a multiple of 26?
False
Suppose -2 - 51 = -y. Suppose -17 = -w + y. Suppose -2*r = 3*r - w. Is 14 a factor of r?
True
Let c = 258 - 376. Let t = 166 + c. Does 16 divide t?
True
Let n(r) = -r**3 + 9*r**2 - 9*r - 2. Let x = 9 - 2. Is 33 a factor of n(x)?
True
Let m be 2/(-10) - (-230)/25. Let r = 16 - m. Is 4 a factor of r?
False
Suppose 73 = 2*s + 5*y, 3*y = -3*s + 4*y + 101. Is 17 a factor of s?
True
Suppose 0 = 3*o + 2*o - 745. Suppose 5*b = -9 + o. Is b a multiple of 14?
True
Suppose 4*a + 263 = -5*f - 232, 4*a = 0. Let y = f - -168. Is y a multiple of 31?
False
Let q(l) = l**3 - 5*l**3 - l + 4*l + 3*l**3 + 6 + 10*l**2. Is q(10) a multiple of 18?
True
Let w = -1 + 4. Suppose w = 3*d - 45. Suppose -2*r - d = -6*r. Is 2 a factor of r?
True
Let m = -25 + 17. Is 14 a factor of 190/8 + m/(-32)?
False
Suppose -2*p = 5*a - 1703, 2*p - 1360 = -4*a - 2*p. Let m = a - 204. Suppose t = -5, 3*y - 4*t = -0*y + m. Is 20 a factor of y?
False
Suppose -g = 2*o, -3*o + 0*o + 10 = 4*g. Let x = -2 - -5. Suppose 64 = -z + g*z + 2*y, 3*y + x = z. Is 9 a factor of z?
True
Suppose 18*p + 140 = 23*p. Is 6 a factor of p?
False
Let f(b) be the second derivative of b**4/12 + 4*b**3/3 - b**2/2 + 6*b. Does 11 divide f(4)?
False
Let r = -143 + 166. Is 23 a factor of r?
True
Suppose 0 = 4*q - 8*q + 4. Let i(h) = -h - 3*h**3 + 3*h + 2*h**3 + q. Does 5 divide i(-2)?
True
Suppose -v = 5*x - 37, 5*v - 4*x + 9 - 78 = 0. Is 8 a factor of v?
False
Let q = 2 + -2. Suppose 4*h - 4*j = 144, j + q*j = -h + 34. Is h a multiple of 12?
False
Suppose 5 - 4 = o + 2*d, 2*d - 21 = -5*o. Suppose o + 7 = -4*a - 4*n, 3*a - 3*n = -27. Is 11 a factor of (-99)/a*4/3?
True
Let m = -10 + 5. Let t(n) = n**3 + 6*n**2 + 6*n + 3. Let c be t(m). Is c/3*(-8 + 2) a multiple of 3?
False
Suppose 22 = 2*t + 2. Is t a multiple of 5?
True
Let i(t) = -4*t**3 - t**2 + 1. Let g be i(-1). Suppose h - g*h = -75. Is 10 a factor of h?
False
Let i(a) = -4*a**3 - 4*a**2 - 2*a - 3. Is i(-3) a multiple of 25?
True
Suppose 15 = -0*o + 5*o. Suppose o*c + 27 - 144 = 0. Is 13 a factor of c?
True
Let l = -138 + 202. Does 5 divide l?
False
Let l be 10/(-3)*(-4 - 2). Suppose r + r = l. Is 5 a factor of r?
True
Suppose c + c - 44 = 0. Does 10 divide c?
False
Suppose 0 = 3*h - 2*h. Suppose -g = -h*g - 14. Is 7 a factor of g?
True
Let b(y) = -y**3 - 8*y**2 - 7*y - 7. Let l be b(-7). Let s be ((-60)/35)/(2/l). Let f(d) = d**3 - 4*d**2 - 7*d - 8. Is f(s) a multiple of 22?
True
Suppose i = 5*i - 4. Let f(a) = -3*a + 1. Let y be f(i). Does 3 divide (-9)/y - (-1)/(-2)?
False
Let z(b) = b + 27. Is 3 a factor of z(-16)?
False
Let q(n) be the third derivative of 5*n**4/12 - n**3/6 + n**2. Let p be (-35)/(-45) + 1/(18/4). Is 4 a factor of q(p)?
False
Suppose 2*l = 2*f + 18, 3*l + 3*f + 7 = l. Suppose 3*v - 1 = -2*b, 2*b = b + l*v + 17. Suppose -63 = -4*d + b. Does 6 divide d?
False
Suppose 5*n = 2*m + m + 5, 0 = -4*m - 3*n - 55. Let x be 1/5 + (-88)/m. Suppose 0 = 2*o + o - x. Is o a multiple of 3?
True
Let j(t) = 4*t + t**3 + 7 - 3 - 6*t. Let b be j(3). Suppose 0*v + 89 = 4*v - 5*z, b = v - 4*z. Does 10 divide v?
False
Let n(v) = v**3 - 5*v**2 - 6*v + 5. Let s be n(6). Suppose -4*y = -t + s*t - 32, -5*t - y = -20. Suppose t*c - 17 - 10 = 0. Does 9 divide c?
True
Let i(a) = a + 11. Let u be i(0). Suppose 4*w = -r - 3*r + 56, 0 = 5*w + 2*r - 79. Let l = w - u. Is l a multiple of 3?
True
Let u(n) = -n**2 - 8*n + 11. Let h be u(-9). Suppose 0 = 2*a - 4, h*v - 2 = -3*a + 84. Does 20 divide v?
True
Suppose -2*m - 5*o = -241, -2*m + 3*m = 4*o + 140. Suppose 4*a - m = 64. Is a a multiple of 12?
True
Let g = 102 + -55. Is g a multiple of 11?
False
Let l = -33 + 52. Does 5 divide l?
False
Suppose -4 = 5*v - 34. Suppose 2*o + v = -d + 5*d, -3*d + 5*o - 13 = 0. Does 2 divide d?
True
Suppose -42 = -g + 38. Is 16 a factor of g?
True
Let x(q) = -2*q**3 - 3*q**2 - 2*q - 1. Let z be x(-3). Suppose -5*s = -s - z. Is s a multiple of 3?
False
Suppose 4*c = 4*z - 0*c - 24, 2*c = 3*z - 14. Let v be (3/2)/((-2)/(-48)). Suppose -2*f - f = -3*w - 45, -z*f + 5*w = -v. Does 13 divide f?
True
Is 10 a factor of (15 - 5)/((-4)/(-12))?
True
Is 25 a factor of (-2)/(2*3/(-150))?
True
Is 14 a factor of (-2)/7 + (-5 - 1388/(-7))?
False
Suppose 5*d + 5*a - 15 = 10, -9 = -2*d - 3*a. Let h(o) = 2*o - 5. Is h(d) a multiple of 7?
True
Let g = 193 - 127. Does 21 divide g?
False
Suppose -6*x = -336 - 144. Is x a multiple of 14?
False
Suppose 3*t + 0*t = 3*m - 15, -15 = -4*m - t. Suppose 2*d = m*d - 18. Does 5 divide d?
False
Let l be 1/(-1) + (5 - -16). Suppose 0*m = -2*m - 6. Is (-1)/m + l/3 a multiple of 7?
True
Let d(u) = u**2 - 4*u + 3. Let t be d(3). Let b = -2 + t. Is 14 a factor of ((-6)/12)/(b/112)?
True
Let b(t) = -t**2 + 5*t - 4. Let h be b(3). Suppose h = y - 0*y. Does 2 divide y?
True
Let f(z) = -2*z - 4. Let s be f(-4). Suppose -w + 4*y = -18, 3*w - 5*y + s = 30. Suppose 0 = -w*x - 4, o + 3*x - 26 = -x. Is o a multiple of 20?
False
Is ((-4)/(-6))/(1 - 462/468) a multiple of 13?
True
Is (40 + 2)*(-10)/(-15) a multiple of 13?
False
Let f(m) = -8*m - 1. Let x be -1 - (6 + -2 + 2). Let a = -12 - x. Is 13 a factor of f(a)?
True
Let t = 1 + 3. Suppose 5*l - 3*k - 133 = 0, -2*k - 79 = -t*l + 27. Is 26 a factor of l?
True
Let p = 91 + -59. Does 8 divide p?
True
Let s be (-4)/(-14) - 4/14. Suppose -z 