factor of d(-4)?
True
Let j be (1 - (3 - 2)) + -354. Is 11 a factor of (-1)/4 + j/(-8)?
True
Let s(u) = u**3 - 6*u**2 + 2*u - 3. Let a be s(6). Let x = a + -7. Suppose x*g = g + 18. Is g a multiple of 10?
False
Suppose 0 = 5*f + y + 13 + 87, 0 = 4*f - 3*y + 61. Let c = 34 + f. Does 14 divide c?
False
Is 4 + -2 - 74/(-2) a multiple of 13?
True
Let m(b) = -3*b + 1. Let y(u) = 0 + 1 + 2*u - 3*u. Let w(z) = 3*m(z) - 5*y(z). Does 10 divide w(-3)?
True
Is 29 a factor of 0 + 90 + 2*9/(-6)?
True
Let o(a) = -a**2 + 5*a + 1. Let g = 2 - -1. Let q = g + 1. Does 3 divide o(q)?
False
Let p = 59 + -20. Is p even?
False
Let v(q) = q**3 + q**2 - 2*q - 5. Let g be v(5). Suppose -k = -6*k + g. Is 12 a factor of k?
False
Let l = -124 - -214. Is l a multiple of 9?
True
Does 10 divide (-50)/(-4) + (-10)/20?
False
Let c = -10 - -17. Suppose 0 = -t - 2*b - 10, 7 + c = -2*t + 2*b. Is 7 a factor of t/(-10)*(-70)/(-4)?
True
Let n = -103 - -279. Is n a multiple of 22?
True
Suppose -3*l - 5*q + 96 = 0, -11 + 2 = -3*q. Let y = 2 - -8. Let d = l - y. Is 7 a factor of d?
False
Let s(z) = -2 + 0*z**2 + z**2 + 1 - 4*z. Suppose -5*a = -b + 2*b + 28, -4*b = 2*a + 22. Is s(b) a multiple of 13?
False
Let g be 1*57/((-3)/(-1)). Suppose 3*b = g + 17. Does 12 divide b?
True
Let j(k) = -2*k**2 - 2*k. Let u be j(-4). Does 16 divide u/(-20)*(-40)/(-3)?
True
Let a(f) = -f**3 + 6*f**2 - 3*f - 4. Let c = 7 + -2. Let p be a(c). Suppose -12 = -4*y, 4*y - 28 = -k - p. Is k a multiple of 4?
False
Suppose -4*w - 12 = 0, u - 2*w = -3*u + 414. Is u a multiple of 26?
False
Let v(h) = 2*h. Let l be v(1). Suppose l*j - 66 = -3*o + 6*j, 5*o = -j + 87. Is 9 a factor of o?
True
Is 3 a factor of (-12)/66 + 171/33?
False
Suppose u + 5 = 4*f - 6, -2*u + 14 = f. Suppose 4*v + y - 47 = 0, -5*v + 0*v - u*y = -70. Is 5 a factor of v?
False
Is 23 a factor of (2/6)/(1/207)?
True
Suppose 0*s - 4*s = -8. Let p be ((-42)/4)/((-3)/4). Suppose o - s*o = -p. Does 11 divide o?
False
Let f(v) be the first derivative of -v**3/3 - v**2/2 - 7*v + 3. Let t be f(-6). Let m = t - -76. Is m a multiple of 21?
False
Let o be 2/(-4) - 13/2. Let c(a) = -a - 2. Let x be c(o). Suppose y - x = 25. Is y a multiple of 14?
False
Let w(m) be the third derivative of 0 - 1/3*m**3 + 1/60*m**5 + 0*m + m**2 - 1/6*m**4. Is w(-4) a multiple of 11?
False
Let k = 14 + 3. Suppose 3*d - k = 1. Does 3 divide d?
True
Let c be (-4)/(-12) - 497/(-3). Suppose 5*y + 0*y - r = 209, 2*r = 4*y - c. Is y a multiple of 21?
True
Let g be 2*-67 - (2 + 0). Let l = g + 89. Let b = l + 73. Is b a multiple of 13?
True
Let t(g) = 5*g. Let x(w) = -11*w. Let b(q) = -5*t(q) - 2*x(q). Is 12 a factor of b(-4)?
True
Suppose -4*l + 3*i = -0*l - 333, -l + 85 = i. Is l a multiple of 12?
True
Suppose 2*v = 4*v - 46. Suppose -v = -2*z - a, -5*z + 0*a = -4*a - 90. Is z a multiple of 8?
False
Does 11 divide 29 - (0 - -4 - 3)?
False
Suppose -s + 7 = -0*s - n, -3*n = 0. Suppose s + 3 = y. Is 5 a factor of y?
True
Let m be (-5 - -5)*1/2. Let g = m + -35. Let s = -18 - g. Does 7 divide s?
False
Let c(z) = z**2 + 11*z - 1. Let d be (-178)/14 - 6/21. Is c(d) a multiple of 25?
True
Suppose 0 = 4*q + 4*m - 37 - 11, -63 = -4*q + m. Suppose 4*s + 15 = f - 0*s, 3*f - q = 2*s. Is 3 a factor of f?
True
Let y(t) = t**2 + 22*t - 53. Does 7 divide y(-27)?
False
Suppose 4*o + 2*q = 6*q - 4, 2*o + q = -8. Let i = o + 14. Does 11 divide i?
True
Is 8 a factor of 22 - 0 - (10 + -12)?
True
Suppose 3*i - 4*i = 1. Let b = i + 8. Suppose u - b = 7. Does 12 divide u?
False
Let o be 1 - (-96 - -1 - 2). Suppose 5*m = -4*i + 160, -m = -2*i + m + o. Is i a multiple of 15?
True
Let l = 7 + -5. Suppose l*c = -0*c + 10. Suppose -5*h + 0*h = -g - 25, -h + c = -3*g. Is h a multiple of 3?
False
Let b(o) = -o**2 + 5*o - 7. Let n(y) = -y. Let w(l) = b(l) - 6*n(l). Is w(7) a multiple of 15?
False
Suppose 4*k - 5*n = 43 + 142, 4*k - 4*n = 180. Does 20 divide k?
True
Let s = 1 - 1. Let g(t) = -t**3 - 4*t**2 - t. Let o be g(-4). Suppose -x = -4, s*x = -o*r + 4*x + 20. Is 6 a factor of r?
False
Let z(m) = m**3 + 2*m + 8*m**2 + 12*m**3 - 3*m - 1 - 10*m**2. Is z(2) a multiple of 15?
False
Let g be (-16)/(-6)*9/(-3). Let j be g/(-6) - (-2)/(-6). Is (j + (2 - 9))*-4 a multiple of 11?
False
Let c be 4/4*7/1. Let j = 3 + c. Is 4 a factor of j?
False
Let z(o) = 4*o - 3. Let i be z(2). Suppose 0 = 5*y + i - 0. Is 86/2 + (-2 - y) a multiple of 21?
True
Let i = 87 + -57. Is i a multiple of 10?
True
Let c(y) = -y + 3. Let u = 27 + -38. Is c(u) a multiple of 7?
True
Suppose -2*r = -g + 4, 3*g - 12 = -2*r - r. Suppose l + 2*l + 465 = 4*s, -s + 2*l = -120. Suppose g*k = k + s. Is k a multiple of 21?
False
Let j(w) = 3*w**2 - 5*w + 4. Let r(f) = -2*f**2 + 3*f - 2. Let c(y) = -3*j(y) - 5*r(y). Is c(2) a multiple of 2?
True
Suppose 2*n - 14 = -4*i, 2*n - 4*n - 3*i = -13. Suppose 4*p + c - 24 = 0, -2*p + 5*c - 5 = n. Is 5 a factor of p?
True
Let b be 2/6*27*1. Suppose b*x = 4*x + 90. Is x a multiple of 5?
False
Does 47 divide 188/2 + -7 + 7?
True
Let x be -2*1/2*-18. Suppose -2*y - 12 = -3*j, -4*y + 3*j - 4 = 2*j. Suppose -s + x = -y*s. Is 9 a factor of s?
True
Let s = 97 + -73. Does 8 divide s?
True
Suppose -15 + 287 = 4*p. Is p a multiple of 17?
True
Suppose -14 = 2*j - 66. Let h = j + 27. Is 24 a factor of h?
False
Suppose 16 = 3*l + 1. Suppose 0 = -4*c + l - 1. Suppose c + 10 = w. Does 11 divide w?
True
Is 29 a factor of (3 - 42/6)*(-29)/4?
True
Is (48/(-10))/((-2)/20 - 0) a multiple of 16?
True
Let z be (0 + 17*4)*-1. Let k = 6 + z. Is 8 a factor of 3/12 - k/8?
True
Suppose -2*i = 7*i - 639. Is 18 a factor of i?
False
Let g(n) = -2*n - 5. Let w be g(-3). Is 18 + (w - -5) + -3 a multiple of 7?
True
Suppose -14 = 2*r - 2*k, -r + 6*r + 33 = 4*k. Let p(h) = h + 13. Is p(r) a multiple of 6?
False
Let m = -262 + 405. Is m a multiple of 11?
True
Let l(j) = -4*j**3 - 3*j**2 - 2*j + 4. Let f(c) = 4*c**3 + 3*c**2 + c - 3. Let a(b) = 6*f(b) + 5*l(b). Let t(u) = u - 4. Let p be t(6). Is 15 a factor of a(p)?
False
Suppose -b = -5*b. Suppose 4*z = 7*z + 33. Let d = b - z. Does 5 divide d?
False
Let s(j) = 2*j + 2 + 0*j - 12 + 1. Does 2 divide s(9)?
False
Suppose -8*x = -7*x - 33. Is 11 a factor of x?
True
Let s = 6 - 8. Does 18 divide 1 + (-30)/s - -2?
True
Is 1*(-1 - -20 - -3) a multiple of 16?
False
Let u(f) = f**2 + 13*f - 4. Let x be u(-9). Let h = x + 72. Is 11 a factor of h?
False
Suppose -2*p + 0*p - 2 = 0. Let b be (2/(-4))/(p/(-10)). Let a = b - -8. Is a a multiple of 3?
True
Let o be (-34)/(-4) - 2/(-4). Let n(w) = 43*w + 1. Let s be n(2). Suppose -u + 5*t + o = 0, -6*t + t = 3*u - s. Is u a multiple of 10?
False
Let d(v) = -v - 2. Let c be d(-7). Is 5 - -1 - (c + -7) a multiple of 3?
False
Is 22 a factor of (4/(-6) + -2)*(-90)/4?
False
Let s be (-5 - -9)*1/2. Does 13 divide (13/s)/(2/12)?
True
Suppose 2*m + 18 = -4*s, -5*s + m - 38 - 2 = 0. Let t(i) = i**2 + 6*i + 6. Is 13 a factor of t(s)?
True
Let v = 7 + -1. Is 11 a factor of ((-4)/v)/(12/(-198))?
True
Let d = 3 - -2. Let k = 22 - d. Is k a multiple of 17?
True
Let k = -11 - -7. Let f be (k + 1)/(-1) - -56. Suppose 3*c - 46 = 5*y, 0 = 4*c + y + 13 - f. Is 6 a factor of c?
True
Suppose -33 = -4*a + 55. Does 22 divide a?
True
Let z(a) = 4*a + 2. Let s(m) = 3*m + 3. Let x be s(3). Is z(x) a multiple of 10?
True
Suppose r = 5*r - 8. Suppose -3*h + d + 2 + 2 = 0, 0 = r*h - 2*d. Suppose 3*s - 21 = -h*g, -3*g + g = 5*s - 27. Is g a multiple of 2?
True
Let c(b) = 12 - 7*b + 1 - 4 - b**2. Suppose -4*z - 26 = 2. Is c(z) a multiple of 7?
False
Let r = 15 - 13. Suppose u + r*l - 25 = 6*l, -3*u - l = -36. Does 7 divide u?
False
Let g(h) = h**3 + 3*h**2 + 4. Let w be g(-3). Let d(x) = 3*x**2 - 5*x + 5. Is 9 a factor of d(w)?
False
Suppose 0 = -3*u + 8*u. Suppose z + 5*l - 8 + 3 = u, -4*l = -4*z + 20. Suppose 0 = -y + 19 - z. Is y a multiple of 8?
False
Let v = 1 + 21. Does 11 divide v?
True
Suppose 0 = -5*p - i + 16, -4*p + 12 = i - 1. Let w be (p - 1) + -1 + 3. Let f(x) = -x**3 + 4*x**2 + 6*x - 6. Does 7 divide f(w)?
False
Let k(n) = -n**2 - 2*n - 10. Let d(g) = -1. Let w(m) = 4*d(m) - k(m). Let f(q) = -q**2 - 1. Let l(a) = -3*f(a) - w(a). Is l(-2) a multiple of 4?
False
Suppose -5*x = -4*i - 87, 0 = 5*i + 5 + 10. Is 5 a factor of x?
True
Suppose -3*c + 83 = 5*i, 0*i - 4*c = i - 20. Suppos