 2 divide x(-15)?
False
Suppose -2*d + 2*l + 4 = 0, -2*d = -0*d + l - 4. Suppose 0*w = -d*w + 6. Does 5 divide 6/w + -4 + 17?
True
Suppose 149 = 5*d + t - 13, 2*t - 93 = -3*d. Suppose 4*k - k = d. Is 11 a factor of k?
True
Suppose 3*q + 5*w = -2*q + 120, 5*q - 126 = w. Suppose -5*y = -3*p - q, -2*y - 3*p = y - 15. Suppose -y + 19 = 2*s. Is 3 a factor of s?
False
Let y = 1 + 67. Is 34 a factor of y?
True
Let v be 100 - ((-1 - 1) + 4). Let p = v + -59. Suppose 3*a = -9, p = -5*w + 4*a + 151. Is 10 a factor of w?
True
Suppose -2*t + 8 = 4*y, -5*y - 5*t - 40 = -10*y. Suppose -y = -z - 0*z. Suppose -z*b - 5 = -37. Is b a multiple of 4?
True
Let v(y) = -3*y - 9. Let i be v(-8). Suppose -i = -2*s - 3. Does 3 divide s?
True
Is (-228)/(-18) + -1 + (-1)/(-3) a multiple of 3?
True
Let c(z) = 162*z**3 + 3*z - 3. Is 27 a factor of c(1)?
True
Suppose -4*n + 5 = -3*n. Suppose -36 = 2*i - n*i. Is 6 a factor of i?
True
Let n = 14 - -14. Does 9 divide n?
False
Suppose -4*u - 3*a + 8 = 0, -2*u - 4 = -4*u + 4*a. Suppose 5*w - 2 - 4 = 4*s, -4*s + u = -w. Is (11 - 2) + -1*s a multiple of 5?
False
Let f be (3 - 1)/(4/(-6)). Let w = f - -3. Let j = 6 + w. Is j a multiple of 3?
True
Let p = 24 + -464. Let n be (12/(-16))/(2/p). Suppose g - 23 = -5*q, -5*g + 55 = 4*q - n. Is g a multiple of 23?
False
Let t = -3 - -7. Does 12 divide (-120)/(-4)*t/10?
True
Let h(s) = 9*s. Does 18 divide h(4)?
True
Let m be 40/25 - 4/(-10). Suppose 2*l - 2 = m. Let b = 7 - l. Does 3 divide b?
False
Let f(p) = 2*p - 6. Let a be f(4). Suppose -2*s - a*k = -6*k - 84, -3*s + 158 = 2*k. Let h = s + -34. Is 8 a factor of h?
True
Suppose -12 = -4*l + 3*l. Let r = l + 26. Does 18 divide r?
False
Let m = 7 + -2. Suppose -m*t + 10 = -9*v + 4*v, 3*t = 4*v + 2. Is t a multiple of 4?
False
Let m(v) = -4*v**2 - 1. Let c be m(-1). Let k = 10 + c. Suppose h = -4*h, y - k = -2*h. Is y even?
False
Let f be (0 + -170)*(-24)/(-3). Is (-2)/15 - f/75 a multiple of 9?
True
Suppose 2*m - 6 = -m. Is m even?
True
Suppose -3*g = 6, 0 = -2*b - g - 2*g + 6. Is 8 a factor of 21 + (-5)/((-15)/b)?
False
Let w be 18/(-10) - (-1)/(-5). Is 21 a factor of 1/4*w*-42?
True
Let v(h) = -h**3 + 9*h**2 - 8*h + 4. Let k be v(8). Suppose 0 = z - k*z. Suppose z = j + j - 16. Does 4 divide j?
True
Suppose -6 = 2*a + a. Let s be (-3 - -10) + -1 + a. Suppose -3*o = s*b - 67, 46 = 3*b - 0*o - 2*o. Is b a multiple of 13?
False
Let h = 2 - -3. Suppose -4*l = h*k + 8, 5*l + 4*k + 3 = 2. Suppose -q = 7*y - l*y - 35, 5*q = 2*y + 131. Does 16 divide q?
False
Let w(p) = 19*p**2 + 9*p - 16. Let h(j) = 6*j**2 + 3*j - 5. Let f(t) = 7*h(t) - 2*w(t). Is f(-3) a multiple of 12?
True
Suppose -3*q + 3 + 15 = 0. Let r(m) = -m**3 + 8*m**2 - 5*m - 10. Does 16 divide r(q)?
True
Does 49 divide (-1 + 0)*3/((-6)/392)?
True
Let y(i) = -41*i + 4. Does 14 divide y(-3)?
False
Let f(y) = -2*y + 5. Is 5 a factor of f(0)?
True
Let d(k) = -2*k + 50. Does 4 divide d(23)?
True
Let v(x) = 12*x + 5. Is 17 a factor of v(1)?
True
Let q be (-6 + 4)/((-1)/(-12)). Is 112/q*(-6)/4 a multiple of 3?
False
Suppose 3*f + 4*a + 67 = -0*a, -3*f + 4*a - 83 = 0. Let d = 17 - f. Is (-12)/d + (-219)/(-7) a multiple of 13?
False
Suppose 2*w - o - 3*o - 4 = 0, -2*w + 4 = o. Suppose -t + c = -c, t - w = c. Is t a multiple of 2?
True
Suppose 347 + 193 = 9*t. Is t a multiple of 30?
True
Let z = -5 + -30. Let l = 59 + z. Is 8 a factor of l?
True
Let h be (4/6)/((-2)/(-6)). Let t be h/4*(1 + 1). Is 8 a factor of 94/6 - t/(-3)?
True
Let s be (-4)/(2/34 + 0). Suppose -5*a + 27 = -b, 2*b - b = -2*a + 8. Is 13 a factor of s/(-2)*(-2)/b?
False
Suppose 0 = -3*l + 8*l - 100. Is l a multiple of 3?
False
Suppose -9*y = -10*y + 112. Does 7 divide y?
True
Suppose -5*v = 3*s - 470, -3*v - 5*s + 306 - 24 = 0. Does 33 divide v?
False
Suppose -2*x + 60 = -2*t + 178, 2*t = 4*x + 110. Is 3 a factor of t?
True
Suppose -4*i + 5*i - 5 = 0. Let o = i - 3. Suppose 3*p + o = 17. Is 5 a factor of p?
True
Let s(z) be the second derivative of -z**5/20 - z**4/3 + z**3 - z**2/2 + 2*z. Is 16 a factor of s(-6)?
False
Let v(b) = -b - 9. Let q be v(-10). Is q/7 + 669/21 a multiple of 12?
False
Suppose 0 = -3*f + 14 - 5. Let t = f - 2. Does 14 divide (-7)/((-21)/90) + t?
False
Let q be 3/(-9) - 33/9. Let a be q/10 + (-4)/(-10). Suppose -3*d + a*d + 117 = 0. Is d a multiple of 13?
True
Let w(g) = -13*g**2 + g + 1. Let t(o) = o**2 + 1. Let q(n) = -t(n) - w(n). Let a be q(-2). Suppose a = 5*l - 7. Is l a multiple of 11?
True
Suppose -3*d + 13 = -2*d. Suppose -a - d = -2*a. Is 11 a factor of a?
False
Let h be ((-6)/(-5))/((-2)/10). Is 23 a factor of (46/h)/((-3)/9)?
True
Let w = -11 + 15. Let b be w/(-18) - (-578)/9. Suppose -4*y - 3*n = -30 - 73, b = 2*y + 4*n. Is y a multiple of 15?
False
Let f be (-1)/8 + 3/24. Suppose -3*y - 12 = f, -3*y + 432 = 4*d - 4*y. Does 34 divide d?
False
Let z(d) = -4*d**2 + d + 2. Let u be z(-1). Let r = u - -18. Does 5 divide r?
True
Suppose 0 = 4*t - 5*r - 145, r = -3*t - 2*r + 129. Suppose 0 = -2*k - 4*f + t, f = -3*k - 2*f + 66. Is k a multiple of 6?
True
Let p be (-6 - -2) + 1 + -31. Let y(d) = -d**2 + d + 6. Let n be y(5). Let l = n - p. Is l a multiple of 9?
False
Let d(q) = 3*q**2 + 10*q - 1. Is 29 a factor of d(4)?
True
Is (3/(-2) - -2)/((-7)/(-294)) a multiple of 12?
False
Suppose 27 = 7*c + 6. Let b be (-3)/(-12) + 14/8. Suppose -y + c*m + 20 = -b, -y + 30 = -5*m. Is y a multiple of 7?
False
Suppose 4*q = -0*q + 16, 0 = -4*u + q + 76. Is 16 a factor of u?
False
Suppose 0 = 3*y - 8*y + 25. Let w(j) = 4*j**2 - 6*j + 4. Let z be w(4). Suppose i = y*i - z. Is i a multiple of 7?
False
Let w(a) = 6*a**2 + a. Let g be w(-1). Suppose 0 = -4*c - 5*k + 60, 0*c = c + g*k. Suppose -3*i - p + 76 = -5*p, -5*p + c = 2*i. Does 11 divide i?
False
Suppose 0*v + v + 2 = 0. Let q be (29/1)/(-3 - v). Let z = q + 73. Does 16 divide z?
False
Suppose -o + 92 = -5*z, -5*o + 285 = -3*z - 241. Is o a multiple of 16?
False
Let z = 19 - 30. Let v = 16 + z. Does 4 divide v?
False
Suppose -6*w + 2*w - 12 = 0. Let f = -1 + w. Does 10 divide (-2)/f + 114/4?
False
Let s be ((-2)/2)/((-2)/(-4)). Let w(b) = 15*b**2 + b. Does 15 divide w(s)?
False
Let w(i) = 2*i**2 + 1. Let o be w(-1). Suppose 0 = o*x + 43 - 133. Is x a multiple of 15?
True
Suppose -5*k + 2*v = -k - 104, 0 = -4*v + 16. Is 28 a factor of k?
True
Let f be 2/(-2 - (-2 + 2)). Does 5 divide f/((-93)/30 - -3)?
True
Is 255/21 - 1/7 a multiple of 4?
True
Let z be (16 - 10)*50/(-3). Let w = -64 - z. Is w a multiple of 14?
False
Suppose 4*x + 14 = 3*g, -g - 17 = 4*x + 5. Does 12 divide ((-7)/g)/((-4)/(-16))?
False
Is 28/(-3)*(-147)/28 a multiple of 10?
False
Let b(m) = -5 + 0 - 4*m + 3 - 4. Is b(-8) a multiple of 18?
False
Suppose 0 = 14*c - 11*c - 36. Is 5 a factor of c?
False
Let t = -15 + 24. Suppose -2*g + t = g. Is 3 a factor of g?
True
Suppose 0 = l + 4, -4*k - 3*l + 556 = 2*l. Suppose 0 = -p - 2*p + k. Does 16 divide p?
True
Suppose -1 - 39 = -4*f. Suppose s - 64 = -f. Is s a multiple of 26?
False
Let a(b) = b**2 + 5*b + 3. Let r be a(-4). Let l = -7 - r. Let k(z) = -z**2 - 6*z + 4. Is k(l) even?
True
Let r(v) = -2*v + 17. Does 2 divide r(7)?
False
Let w be 263/5 + (-8)/(-20). Suppose 3*x = w - 8. Is 13 a factor of x?
False
Let o(p) = 163*p**3 - p**2 + 3*p - 1. Is 41 a factor of o(1)?
True
Suppose -3*i + 4 = i. Suppose -a + 0*p = -4*p - i, -2*a + 3*p + 22 = 0. Is a a multiple of 17?
True
Suppose 0 = 11*n - 13*n + 20. Let g(u) = u - 1. Let t be g(1). Suppose -l = t, -3*x + 2*l - n = -4*x. Is x a multiple of 5?
True
Let v = -7 - -20. Suppose -w + v = -2. Is 6 a factor of w?
False
Let c(r) = -r**3 - 2*r**2 - 8*r + 1. Does 5 divide c(-3)?
False
Suppose -7*z + 863 = -3*z - 5*q, 0 = -z + 5*q + 197. Is 31 a factor of z?
False
Let h = 39 - 25. Does 7 divide h?
True
Let k(z) = 8*z - 2. Suppose 2*x = -4*i + 8, -2*x + 5*i - 13 = -6*x. Suppose 0 = 5*o - 0*c - 2*c - 19, 13 = x*o + c. Does 15 divide k(o)?
False
Let i = 48 + -30. Is i a multiple of 6?
True
Let l be (-6)/27 - (-43)/(-9). Let d = 23 + l. Is d a multiple of 18?
True
Suppose 6 + 0 = 3*r. Suppose -117 = -r*x - x. Is x a multiple of 13?
True
Let o = 25 - 13. Is 12 a factor of o?
True
Let k be -1 + -6 - (-2)/2. Let o be (k*1)/1*2. Let m = -9 - o. Is 2 a factor of m?
False
Suppose -107 = -6*f + 487. Is f a mult