Is 6 a factor of s?
True
Suppose -2*r - 2*r + 8 = 0. Let d(a) = -11*a - 4 + 0*a + r*a + 3. Is 8 a factor of d(-1)?
True
Suppose -3*c - s + 39 = 0, c + 3*s + s - 24 = 0. Does 2 divide c?
True
Let a = -74 + 129. Suppose 0 = l + 3*c + 19, -4*l - 56 = 4*c - 12. Let n = a - l. Is n a multiple of 19?
False
Let a(r) = -16*r - 2. Is a(-2) a multiple of 4?
False
Let u(d) = -d**3 + 6*d**2 + 2. Let f be u(6). Suppose 2 = q - 4*o, 25 = 4*q - f*o + 3. Is 3 a factor of q?
True
Suppose 3*f - p = f + 293, -12 = 4*p. Is f a multiple of 11?
False
Suppose -h - 1 = 4*v - 2, 0 = -h + 3*v + 8. Suppose 0 = 7*j - 2*j - 3*i - 132, h*i - 113 = -4*j. Is j a multiple of 5?
False
Suppose 5*o - 170 = -2*m, 4*o - 4*m = 177 - 69. Does 16 divide o?
True
Let t(w) = w - 4. Let q be t(9). Suppose q*u - 103 = 117. Suppose 3*l + l = u. Is 7 a factor of l?
False
Let i = 85 - 46. Let a = 57 - i. Does 9 divide a?
True
Let a be (0 - -2) + 56/(-4). Let u = 37 + a. Does 12 divide u?
False
Does 22 divide -70*(3 - 68/20)?
False
Let x(t) = -t**2 - 5*t + 3. Let s be x(-5). Suppose 0 = -2*p + 61 + s. Is p a multiple of 12?
False
Let y be 22 + (-1 - -3)*1. Suppose 0 = -v + 3*v - y. Does 6 divide v?
True
Suppose 10 = -2*r, 6*g - g - 540 = 2*r. Does 23 divide g?
False
Suppose 0 = 5*z + 2*g - 6, -2*g - 4 = -0*g. Suppose f = -z*f + 9. Suppose -f*n = 5 - 53. Is 14 a factor of n?
False
Let d(a) = -6*a**3 + a + 2. Is 6 a factor of d(-2)?
True
Let k(u) = 15*u**2 - 1. Let i be 2/(4 - 2)*2. Let b be (1/i)/((-2)/(-4)). Is 6 a factor of k(b)?
False
Suppose -2*w + 21 - 15 = 0. Does 3 divide w?
True
Suppose w + 5 = 3*w - 5*g, 2 = -5*w - 2*g. Is 2 a factor of (-1 + w)*(-11 - -6)?
False
Let m(h) be the second derivative of -h**4/12 + 5*h**3/6 + 7*h**2/2 - 2*h. Is m(5) a multiple of 7?
True
Let p be (-5 + 6)*-109*1. Let r = -77 - p. Is r a multiple of 16?
True
Let o(x) be the second derivative of x**4/12 - 5*x**3/6 - 2*x**2 - x. Let r be o(6). Suppose -21 = -r*j + 3. Does 5 divide j?
False
Suppose -2*i + 34 - 12 = -2*t, -3*t + 4*i = 29. Let k = t + 23. Is k a multiple of 3?
False
Let x(g) = 7*g - 9 - 3 - 2*g. Is 11 a factor of x(9)?
True
Suppose 0 = 2*k - s - 93, 0 = 5*k - 4*s - 302 + 68. Does 10 divide k?
False
Suppose 2*g = 87 + 45. Does 33 divide g?
True
Let r = 27 - 2. Suppose 0 = -2*k + r - 7. Does 9 divide k?
True
Let m be (-91)/(-4)*(-5 - -9). Let o = m + 58. Suppose 0 = 4*k - 19 - o. Is k a multiple of 14?
True
Let k = 43 + 42. Suppose -4*l = 8, 5*g = -2*l - 3*l + k. Does 8 divide g?
False
Let v(r) = 4*r**2 + r + 2. Let a be v(-1). Let w = a - -1. Does 2 divide w?
True
Suppose 4*z - 2*z = -16. Is 2 a factor of ((-10)/(-8))/((-2)/z)?
False
Let f be 0/(-2 - 0) + -1. Let l(a) = a - 4. Let p be l(3). Is 13 + (f + 1)/p a multiple of 12?
False
Let c = 2 - 2. Suppose c = -o - o + 72. Is o a multiple of 14?
False
Let u = 3 - 0. Is 25 - u - 1 - -3 a multiple of 16?
False
Suppose 5*l - 181 = 164. Does 23 divide l?
True
Let x = 84 + -165. Let d = 141 + x. Does 30 divide d?
True
Suppose 0*t = 2*t + 4*h - 52, -t - 2 = -5*h. Does 7 divide t?
False
Suppose 5*v = -3*u + 87, 5*v = 2*u + 3*u - 105. Does 8 divide u?
True
Suppose 0*r = -5*h - 4*r + 113, -2*h + 5*r = -32. Is h a multiple of 21?
True
Let s(w) = 14*w + 15. Let t be 1 + 0 + 21/(-3). Let v(a) = -7*a - 7. Let z(m) = t*s(m) - 13*v(m). Is z(6) a multiple of 15?
False
Suppose 0 = 3*f - f - 8. Suppose f*r - r = 18. Is 6 a factor of r?
True
Let k(q) = -q + 9. Let t be k(4). Suppose 0 = 10*o - t*o - 190. Is o a multiple of 15?
False
Suppose -9 = -3*c + 27. Does 9 divide c?
False
Let x(g) = g. Let c(z) = 4. Let v(n) = -c(n) + 3*x(n). Let i = 2 + 3. Is 11 a factor of v(i)?
True
Let j = 25 - -5. Does 2 divide j?
True
Let p be (1 + 0 - 1)*-1. Let r be 4 + (p/(-3) - 0). Suppose 24 = 2*a + 2*d + d, r*a = -4*d + 48. Does 7 divide a?
False
Let i(d) = 8*d + 11. Is 9 a factor of i(6)?
False
Let w = -21 + 19. Let f = -2 - -4. Does 15 divide (0 - w)/f*31?
False
Suppose -3*w = x - 18, -3*w = -2*x - x - 6. Suppose -5*q = -0 - 10. Suppose 0*p = -w*z - q*p + 199, -5*p - 185 = -5*z. Is 17 a factor of z?
False
Let f = -7 + -3. Is (f/6)/(2/(-6)) a multiple of 2?
False
Suppose s - 4 = 1. Suppose -s*k + k = -68. Does 6 divide k?
False
Suppose j + 14 = 119. Is 4 a factor of j?
False
Does 19 divide 10/(-2) - (-3 - 89)?
False
Let h be 18/(-22) + 2/(-11). Is 13 a factor of (-12 + -1)/(h - 0)?
True
Suppose 0 = -2*x + 5*x - 12. Suppose -x*l + 3*l + 18 = 0. Is l a multiple of 5?
False
Let b = -25 + 82. Is 19 a factor of b?
True
Suppose 2*q + 4*m = 2, -35 = 5*q - 0*m + 2*m. Let g = 9 + q. Suppose g*j + 8 = j. Does 4 divide j?
True
Is (-2 - -7)/5*30 a multiple of 9?
False
Let d = -148 - -213. Does 9 divide d?
False
Let u(i) = i**3 + 8*i**2 + 5*i + 10. Let n be u(-7). Let r be (n/10)/((-4)/(-20)). Suppose l - 5*c - 31 = 0, -5*l - 4*c - 2 + r = 0. Does 6 divide l?
True
Does 23 divide -4 - (-1)/(-4 + 1431/357)?
True
Suppose 2*r = 5*r - 132. Does 36 divide r?
False
Suppose 0*d + 26 = 2*u + 5*d, 0 = -5*d. Suppose -5*n + u = -7. Is 4 a factor of n?
True
Let a be -3 + 6 - 2/2. Suppose s - 5 = -q, -2*q = 3*q + a*s - 34. Is q a multiple of 4?
True
Let i(d) = d**2 - 3*d + 3. Let q = 7 - 5. Let l be i(q). Let t(c) = 6*c**3. Does 6 divide t(l)?
True
Let h(b) be the third derivative of -b**4/24 - 2*b**3/3 + 4*b**2. Let d be h(-9). Suppose d*n = -64 + 214. Is n a multiple of 15?
True
Let y(m) = -m**3 - 7*m**2 - 6*m + 3. Let t be y(-6). Suppose t*n - 2*n - 15 = 0. Is 5 a factor of n?
True
Let o(p) = p**2 + 4*p - 16. Let w be o(-7). Suppose 2*l - 242 = -4*i - 0*l, w*i = l + 313. Is i a multiple of 11?
False
Suppose -11*o + 3*o + 56 = 0. Does 2 divide o?
False
Suppose -6*i = 2*s - i - 18, 2*s - 3*i = -14. Is ((-30)/50)/(s/10) a multiple of 2?
True
Let k(c) = -6*c + 9. Let h be k(-4). Let z = h - 19. Is z a multiple of 7?
True
Suppose 0 = -6*h + 29 + 205. Is h a multiple of 13?
True
Let t(o) = o - 3. Let p be t(8). Is (p + -4)/((-2)/(-30)) a multiple of 7?
False
Let b be (-72)/(-10) - 6/30. Suppose -1 - b = -4*p. Suppose 12 = p*d - 5*w, -4 + 96 = 5*d + 3*w. Is 16 a factor of d?
True
Let b = 8 + -5. Is 11 a factor of 66*((-3)/(-2))/b?
True
Suppose v = 3*l + 6*v - 107, -5*l - 3*v + 205 = 0. Is l a multiple of 11?
True
Let z(r) be the first derivative of 4*r**3/3 + 3*r**2 + 4*r + 4. Is 11 a factor of z(-4)?
True
Suppose 2*j - z - z = 68, j - 28 = -z. Let f be 37/(-3) + (-1)/(-3). Let k = j + f. Is k a multiple of 5?
False
Let g = -557 + 1465. Let n be 4/(-18) + g/36. Let l = -15 + n. Is 4 a factor of l?
False
Let i(y) = -5*y**3 - 4*y**2 - y + 5. Is i(-3) a multiple of 14?
False
Let k = -42 - -138. Does 24 divide k?
True
Let s(v) = -v**2 + 5*v + 3. Let r be s(5). Suppose -2*t - 21 = r*q - 165, 2*q - 96 = -4*t. Suppose 8*l - q = 4*l. Is 6 a factor of l?
True
Let a(l) = l + 2. Let b be a(-7). Let s be (b + (-3)/(-3))*-1. Suppose 5*r - s*r - 4 = 0. Is 2 a factor of r?
True
Suppose 0 = 3*b + 2*r - 50, 0 = -5*r + 3 - 13. Is b a multiple of 9?
True
Suppose -1 = g + 2, g = j - 18. Does 15 divide j?
True
Let b(f) be the first derivative of f**2/2 + 7*f - 2. Does 12 divide b(5)?
True
Suppose -65 = -5*d - 0*d. Suppose 9 = 5*g - 101. Let m = g + d. Is 15 a factor of m?
False
Let v(k) = -1 + 5*k**2 + 0*k - 4*k - 2. Is 6 a factor of v(-2)?
False
Let l(u) = -u**2 + 8*u + 11. Let i be l(9). Suppose 2*z - 70 = -5*n - i*z, -2*z - 20 = -3*n. Is 7 a factor of n?
False
Let y(i) be the second derivative of -1/2*i**2 - 1/3*i**4 + 2/3*i**3 + 0 + 2*i + 1/20*i**5. Is y(4) a multiple of 11?
False
Let z = 16 + -11. Suppose -z = -f + 6*f. Is 3 a factor of 7 + 1*1/f?
True
Let n(i) = -i**2 - 3*i - 1. Let r be n(-2). Let m(w) = 20*w**2 + w - 1. Is m(r) a multiple of 8?
False
Suppose 5*v - i - 48 = 0, 0*v - 4*v = 5*i - 50. Is 2 a factor of v?
True
Let u(p) = -p - 11. Let c be u(-8). Let j = 6 + c. Is (-2)/6 + 67/j a multiple of 22?
True
Let p(l) = l**3 + 51. Does 17 divide p(0)?
True
Let b(o) = 17*o + 26. Is 37 a factor of b(5)?
True
Let d be (-1)/(0 - 1/(-14)). Let c = 5 - d. Is 9 a factor of c?
False
Suppose -29 = -5*s + 2*f, 3*s + 50 = 8*s + 5*f. Let h(g) = 7*g**2 - 4*g + 1. Let i(z) = z**2 + z - 1. Let n(q) = -h(q) + 6*i(q). Does 14 divide n(s)?
True
Let k(n) = n + 2. Let a be k(-7). Let m = 45 + a. Is m a multiple of 20?
True
Let t = -5 -