 11 a factor of c?
True
Let z = 58 - 36. Is z a multiple of 2?
True
Suppose -27 - 42 = -5*n - k, 9 = n - k. Does 13 divide n?
True
Let r be (-5 + 20)*4/(-6). Let n = 14 + r. Suppose 0*t + 136 = n*t. Is 14 a factor of t?
False
Suppose -92 = -5*z + 223. Does 21 divide z?
True
Suppose -46 = -s + 3*j, -3*j - 2*j + 130 = 5*s. Is 6 a factor of s?
False
Suppose -3*c - 4*k + 6 = -7*k, -5*c - 4*k + 19 = 0. Suppose -3*g - 15 = -5*q, -2 = -c*q + 4*g - 4. Is q a multiple of 3?
True
Is 10 a factor of (1 + -1 + -2)*-13?
False
Let q = 83 - 31. Is q a multiple of 9?
False
Let m(j) = -j**2 + 6*j + 6. Let h be 64/12 + (-2)/6. Is 5 a factor of m(h)?
False
Let d(f) = 205*f**2 + 14*f - 5. Let m(i) = 68*i**2 + 5*i - 2. Let v(b) = 3*d(b) - 8*m(b). Is 14 a factor of v(-1)?
True
Suppose 2*g = 2*y + 4*g - 220, -5*y - g + 530 = 0. Does 21 divide y?
True
Let i be 106 - 1 - (0 - -1). Let a = -41 + i. Is 19 a factor of a?
False
Let l(j) = 2*j - 1. Let z be l(-1). Let g(n) = -2*n - 2. Let r be g(z). Suppose -2*w - 3*u + 79 = 0, -13 = -w + 3*u + r. Is 16 a factor of w?
True
Suppose 0 = -f - 3*f + 124. Suppose 134 = 3*h - f. Is h a multiple of 26?
False
Let i(v) = -v. Let l be i(6). Is (44/6)/(l/(-9)) a multiple of 4?
False
Suppose -3*v - 4 = -0*v + 4*y, y = 4*v - 20. Does 4 divide v?
True
Let r(p) = 2*p**2 + 4*p + 3. Let b be r(-2). Suppose 53 = s - 0*s - b*q, -3*s + 144 = -4*q. Does 19 divide s?
False
Let f = -4 - -8. Suppose -1 = q - f. Suppose 0*i = q*i - 48. Does 16 divide i?
True
Let m(f) = -f. Let v be m(-4). Let k(q) be the third derivative of q**6/120 - q**5/30 - q**4/8 - q**3/3 + q**2. Is k(v) a multiple of 13?
False
Let s = 223 + -104. Does 24 divide s?
False
Suppose -7*f + 15 = -2*f. Suppose 5*d - 209 = -f*v, 23 = -d - 2*v + 62. Is d a multiple of 15?
False
Is 9 a factor of (-4*(-18)/(-4))/((-1)/5)?
True
Let v(b) = 3*b**2 + 12*b + 6. Is v(-5) a multiple of 9?
False
Does 4 divide (-2)/(-4) + 33/6?
False
Let v(w) = w**3 - 14*w**2 - 10*w - 34. Does 8 divide v(15)?
False
Suppose -b + 3*b = 5*h + 9, 3*b = 5*h + 11. Let g be 1*((-2)/2 - h). Let s = 4 - g. Is 3 a factor of s?
False
Let y be 4 + -4 - (0 + 1). Let a = y - -4. Is a a multiple of 3?
True
Suppose -3*b + 16 = 1. Suppose m = b*o + 10, 3*m + 0*o - 13 = -2*o. Let c(u) = -u**2 + 12*u - 3. Is 13 a factor of c(m)?
False
Let a(t) = 3*t**2 + 2*t + 4. Suppose 4 = -2*w + w. Let m be a(w). Suppose -2*h - 2*h + m = 2*n, -5*h = -2*n + 53. Does 9 divide n?
False
Suppose 0 = 4*k - 0*k - 104. Let l = -15 + k. Does 11 divide l?
True
Let w = 11 - 4. Does 4 divide w?
False
Let l(y) = y**2 - 3*y - 6. Let v(i) = i**3 + 9*i**2 - 10*i - 5. Let p = 11 - 21. Let s be v(p). Does 13 divide l(s)?
False
Let u = 21 + -19. Does 4 divide (2 + 3)*2 - u?
True
Let i(p) = -p**3 + 9*p**2 - 6*p - 7. Let u be i(8). Suppose u + 1 = 2*t. Is (-7)/7*t/(-1) a multiple of 5?
True
Let q be (-7)/(2 - 21/11). Let m(a) = -10*a + 6. Let c be m(4). Let l = c - q. Does 15 divide l?
False
Let g(l) be the third derivative of 7/6*l**3 + 0*l**4 - l**2 + 0*l + 0 + 1/60*l**5. Is g(0) a multiple of 4?
False
Let m = 4 + -7. Is ((-4)/m)/((-2)/(-12)) a multiple of 4?
True
Let t(l) = l**3 + 3*l**2 - 2*l - 3. Let q be t(-3). Suppose -6 = -q*w - 0*w, 3*i - 12 = -3*w. Is i even?
True
Suppose -15 = 2*f + 4*s - s, -20 = f + 4*s. Let a be -11 + f + -2 + 3. Let c = 6 - a. Is 16 a factor of c?
True
Let j(s) = 2*s**2 + 8*s + 0*s**2 + 2 + 1. Is 13 a factor of j(-5)?
True
Suppose -b - 7*f = -3*f - 122, 2*b - 214 = 2*f. Suppose -2*j - 34 = -n - 11, -5*j - b = -5*n. Is 21 a factor of n?
True
Let g(m) = -18*m**3 - m**2 - 2*m - 7. Is 68 a factor of g(-3)?
True
Suppose -5*x + 15 = -7*q + 2*q, -5*x = -q - 15. Suppose -4*o + x*o = -20. Let m = o + -4. Is m a multiple of 8?
True
Suppose -337 = -10*n + 263. Is n a multiple of 6?
True
Let q(i) = -i**3 + 15*i**2 + 3*i - 18. Is 9 a factor of q(15)?
True
Suppose 3*i - 45 - 132 = 0. Is 21 a factor of i?
False
Is 13 a factor of 15/9*6*5?
False
Suppose -t = -0*t. Suppose l - 1 = 3*c - 2, 3*c + 4*l = 26. Suppose c*k - q + 3*q - 50 = 0, 5*k - 2*q - 160 = t. Is 15 a factor of k?
True
Let y = -54 - -15. Let a = y - -71. Is 10 a factor of a?
False
Let o = -19 + 35. Suppose t - o = 5*t. Does 6 divide 8/1 + (t - -2)?
True
Suppose -3*j = -0*j - 216. Is j a multiple of 24?
True
Does 11 divide 3/(1 - (-33)/(-34))?
False
Let y(v) = -v**3 + 3*v**2 - 3*v + 5. Let x be y(2). Suppose l + 8*z - x*z - 35 = 0, 63 = 3*l + z. Does 14 divide l?
False
Let p be (1 + 13)/((-1)/1). Let f be p/(-6) + (-2)/6. Suppose 3*b = -3*g + 87, f*b + 13 = -g + 45. Is 14 a factor of g?
False
Let x(k) = -3*k - 4. Let f be x(4). Let o = 22 + f. Does 4 divide ((-3)/o)/(3/(-48))?
True
Suppose 2*b + 99 = -3*m, -b + m + 0*m - 57 = 0. Let n = -18 - b. Is n a multiple of 12?
True
Let z = 6 - -7. Let m = -8 + z. Suppose m*g - 38 = 32. Is g a multiple of 7?
True
Let o = 32 - 22. Suppose -o + 2 = v. Is 8 a factor of 108/v*4/(-6)?
False
Let k(z) be the third derivative of -1/6*z**3 + 0*z + 0 - 2*z**2 - 35/24*z**4. Does 16 divide k(-1)?
False
Suppose 2*j = -2*j + 96. Does 10 divide j?
False
Let m(j) = -2 + 3 - j**2 - j + 17*j**3 - 3*j**3 + j**3. Is m(1) a multiple of 14?
True
Let d(r) = r**3 + 13*r**2 + 11*r. Let c be d(-12). Let z(v) = v - 8. Is z(c) a multiple of 2?
True
Let x be (1 - 1)*13/(-26). Suppose x = -0*h + 3*h - 6. Is h even?
True
Let g(y) = -y**3 - 4*y**2 - 10*y - 9. Is g(-5) a multiple of 4?
False
Let q be 4/10 + 196/10. Suppose q = 4*d, -3*d = 5*g - 31 - 64. Does 8 divide g?
True
Let z(o) = -o - 4. Let l be z(-7). Is 4 a factor of ((-9)/2)/(l/(-4))?
False
Suppose d - h - h - 11 = 0, 4*d = 2*h + 14. Let y(a) = 28*a + 1. Does 16 divide y(d)?
False
Is (-507)/(-27) - (-2)/9 a multiple of 13?
False
Let w(x) = -x + 4. Let n be w(2). Suppose 24 = -n*z - 2*i, 10 = 5*z + 3*i + 72. Let g = z + 28. Is g a multiple of 12?
False
Suppose 187 = 3*i - t, 12*i - 13*i + t + 59 = 0. Is 8 a factor of i?
True
Let u(w) be the second derivative of -w**3/6 + 5*w**2/2 + 2*w. Is 11 a factor of u(-7)?
False
Suppose 3*b - 2*b = 3. Suppose -b*m + 35 = 2*m. Does 2 divide m?
False
Let g be ((-48)/15)/(6/(-15)). Let m be 0 + 1 + -1 - -5. Suppose -g = t + 4*d, -2*t - m*d = 3*t - 5. Does 3 divide t?
False
Let u be ((-6)/(-4))/3*10. Suppose -7*g = -6*g - u. Is 4 a factor of g?
False
Suppose -4*g + g = 0. Let n = g + 13. Is n a multiple of 13?
True
Does 17 divide ((-2)/5)/((-16)/(-160)) - -208?
True
Let k(f) = -f**3 + 7*f**2 + 7*f + 10. Let a be k(8). Let w be (-4 + (a - 2))/(-2). Suppose -28 = -w*v + 42. Is 12 a factor of v?
False
Let n(w) = w**3 + w**2 + w - 36. Let i be n(0). Is (i/(-10))/((-9)/(-60)) a multiple of 12?
True
Let c be -5 - -5 - -1*5. Suppose 0 = 5*p - 4*s + 9, -3*p = -2*p - c*s + 6. Does 13 divide (2*-12 - 2)*p?
True
Let w(s) = -2*s - 9. Let m be w(7). Let b = m + 51. Is 14 a factor of b?
True
Let o(y) = -5*y**2 + 1. Let x be o(-1). Let b = -9 - x. Let u(k) = -5*k - 1. Does 12 divide u(b)?
True
Let d(r) = 4*r**2 - 2*r + 1. Does 21 divide d(3)?
False
Let x(a) = -6*a**2 - a. Let m be x(-3). Is 12 a factor of 6/(-9)*m/2?
False
Let j = 240 + -115. Suppose 2*p = 3*q - j, -115 = q - 3*q - 5*p. Suppose 5*g - 36 = -0*r - r, r - 4*g = q. Is 13 a factor of r?
False
Let r be 86/18 + 4/18. Let s = r - 4. Does 6 divide 1 + 2 - (-8 - s)?
True
Let d(s) = 5*s**2 - 4*s + 8. Let m be d(6). Suppose -6*v + m = -2*v. Does 19 divide v?
False
Let o(w) = 9*w. Let u be o(1). Suppose u = f - 9. Is f a multiple of 9?
True
Suppose 13 = 3*j + 4*g - 31, -4*j + g = -65. Suppose 0 = i - j + 5. Is 6 a factor of i?
False
Suppose 3*n + 2*f = 235, -2*n - 5*f + 158 = -4*f. Is 19 a factor of n?
False
Let o be 0 + (-2 - -2) + 3. Suppose -135 = -o*w - 0*w. Is 16 a factor of w?
False
Let r(o) = -o**2 + o - 26. Let c be r(0). Is (3/(-3))/(1/c) a multiple of 13?
True
Suppose 0 = p - 4*j + 65, 0 = 5*p + 3*j - 5*j + 235. Let n = p - -26. Let z = n - -38. Is 19 a factor of z?
True
Let g(b) = -b - 8. Let r be g(-8). Suppose 3*y + y - 172 = r. Does 15 divide y?
False
Let m(k) = k**2 + 4. Let a be m(4). Let r be a/6 - 6/18. Does 20 divide ((-12)/(-10))/(r/50)?
True
Let c be 31 - (-3 - -6) - -2. Let s = 66 - c. Is 12 a factor of s?
True
Let g(l) = -33*l. Is 33 a factor of g(-4)?
True
Let n(o) be the first derivative of -o**4/4 - 2*o**3 + 2*o**2 -