t = -2*t - 2. Is 10 a factor of i?
True
Suppose 0 = 4*v - 3*v - 32. Is 4 a factor of v?
True
Suppose 2*d + 4 = 4*d. Suppose -y = -4*l + 5*l - 7, d*l + 4 = y. Is (-2)/(-3) - (-116)/y a multiple of 10?
True
Let d(g) = -2*g - 5. Does 13 divide d(-9)?
True
Let h(o) = 2*o**2 - 9. Let c(w) = 3*w**2 - 13. Suppose 3*d = -f + 22, 3*d - 31 = 3*f - 1. Let i(r) = d*h(r) - 5*c(r). Is 14 a factor of i(-7)?
True
Let f(v) = 5*v**3 + 4*v**2 - 15*v + 3. Let d(m) = -11*m**3 - 7*m**2 + 31*m - 7. Let k(z) = -6*d(z) - 13*f(z). Let y be k(9). Is (-52)/(-12) + 2/y even?
False
Let p = 45 - 22. Suppose 2*x + 4 = -0*x. Does 9 divide p - (0 - 4/x)?
False
Suppose -6*k + 4 = -2*k. Let j be 2 - (k*-7 + -1). Let d = j + 3. Is d a multiple of 13?
True
Let a(c) = -5*c**2 - 2*c - 1. Let y be a(-1). Let o = -17 - -31. Let h = y + o. Is h a multiple of 4?
False
Let c be ((-54)/4)/(21/140). Is 10 a factor of (c/(-4))/((-3)/(-4))?
True
Let y(h) = -14*h - 47. Does 7 divide y(-6)?
False
Suppose 25 = -3*z + 5*t, 5*z = 4*z - 3*t + 15. Suppose 2*q + z*q = 14. Does 3 divide q?
False
Let u = -36 + 43. Does 2 divide u?
False
Let y(q) = -q + 1. Let x be y(-4). Suppose -x*a + 0*a + 125 = 0. Is 25 a factor of a?
True
Let q(s) = s**3 - s**2 - 2*s - 3. Let b be q(-4). Let n = -53 - b. Is 11 a factor of n?
True
Suppose -4*s + 3474 = 14*s. Does 60 divide s?
False
Let x = -43 + 21. Let p = x + 39. Does 16 divide p?
False
Suppose 0 = 3*w + 6, 5*l - 5*w + 10*w + 5 = 0. Is 5 a factor of ((-112)/4)/(l + -3)?
False
Let r be ((-137)/(-2))/((-12)/(-24)). Suppose 0*p + p - r = -3*b, -2*b + 84 = -3*p. Is b a multiple of 9?
True
Suppose 12 = 5*d - 2*j, -3*j + 16 + 12 = 4*d. Let w = 86 - 52. Suppose -5*l = -2*f + 5 - 2, -f - d*l = -w. Does 14 divide f?
True
Let w = 18 - 7. Let a = w + 13. Is 12 a factor of a?
True
Let r(j) be the second derivative of -j**3/2 - 3*j**2/2 - 5*j. Does 5 divide r(-6)?
True
Suppose -160 = -6*y + 344. Is 8 a factor of y?
False
Let j(v) = -v**2 + 7*v - 3. Let l be j(7). Is 10 a factor of (20/(-6))/(1/l)?
True
Let w = 21 - -267. Does 12 divide w?
True
Suppose -o - 1 = -2*t, 8 = -2*t - 0*o + 4*o. Suppose -t*v = v - 96. Does 16 divide v?
True
Let g(b) = -b**2 - 5*b. Is 3 a factor of g(-4)?
False
Let i = 299 + -210. Does 10 divide i?
False
Let x(b) = -b**2 + 10*b + 7. Let g be -1*2 + 1 + 10. Does 8 divide x(g)?
True
Suppose 289 = 2*d - 123. Is d a multiple of 12?
False
Suppose 0*b + 3 = 3*b. Let i be 1/2*(b - -7). Is (i/2)/(3/12) a multiple of 3?
False
Let u be (-29 - -2)/(6/(-4)). Let w = 41 - u. Is 10 a factor of w?
False
Let a = 79 + -43. Is a a multiple of 18?
True
Let b(g) = -g - 7. Let m be b(-10). Is m + (-4)/4*-56 a multiple of 15?
False
Suppose 3*h + 468 = 3*r, 512 = 3*r - 2*h + 40. Suppose -2*j = -2*m + 5*m - 74, -5*m = -5*j + r. Is 15 a factor of j?
False
Let k(l) = -7*l + 19. Is k(-8) a multiple of 22?
False
Let a(z) = z - 9. Let j be a(13). Suppose -j*r - 2 = 5*m - 38, -m - 4 = -2*r. Suppose -60 = -r*w - w. Does 6 divide w?
True
Let i(u) = -5*u**3 + u**2 - 5*u - 3. Is i(-3) a multiple of 12?
True
Let r(d) = 13*d**2 + 2*d + 3. Is r(-2) a multiple of 6?
False
Let s(v) = -v**3 + 7*v**2 - 8. Let h be s(7). Let a = h + 21. Does 4 divide a?
False
Let u(z) = 2*z**3 - 6*z**2 + 6*z - 5. Is u(4) a multiple of 29?
False
Let n(l) = -7*l**3 + l - 2. Let g be n(1). Does 15 divide ((-90)/g)/((-7)/(-28))?
True
Let q(t) = -2*t + 6. Is q(-4) a multiple of 7?
True
Let h(m) = m**2 - 4*m + 4. Let o be h(7). Suppose 5 = n - u, -4*u = 5*n - u - o. Suppose -4*i + n*i = 54. Is 15 a factor of i?
False
Let b be (-1)/((-21)/6 + 3). Suppose 0 = -d - z + 9, b*z = 4*d - 54. Does 12 divide d?
True
Let z(p) = -6*p + 44. Is 10 a factor of z(-11)?
True
Let s(w) = -w**2 + 3*w - 2. Let f be s(4). Let v be f/8 - 38/(-8). Suppose -4*z + 4*r = -36, v*z - 14 = 2*z + 4*r. Is z a multiple of 8?
False
Let h(n) = -2*n**2 - 3*n + 6. Let i(v) = -3*v**2 - 2*v + 5. Let p(r) = 4*h(r) - 3*i(r). Suppose -l + 5*l = f - 18, -f - l + 3 = 0. Does 9 divide p(f)?
True
Suppose 0 = 3*x - 0*x + 5*f - 76, 3*f - 15 = 0. Suppose 0 = 4*o + x + 7. Let d = o - -11. Does 2 divide d?
False
Let q be 32/6*(-3)/2. Let r = q + 18. Does 3 divide r?
False
Suppose -t + 32 = 3*t. Suppose 0*z = -2*z + t. Suppose z*v - 14 = -2. Is v a multiple of 2?
False
Is 9/(-6)*376/(-6) a multiple of 15?
False
Let d = -7 - 5. Does 2 divide (3 + (-7)/2)*d?
True
Suppose -2*n = -k + 151, 0*k - 3*n = 2*k - 337. Suppose -c - k = -6*c - 2*y, 0 = 4*c + 4*y - 136. Let s = -3 + c. Does 14 divide s?
True
Suppose 3*z - 2*u = 257, -2*u - 3*u = z - 97. Is 13 a factor of z?
False
Suppose 5*v - 22 = -4*q, q + v = -3*v + 11. Suppose q*l = -4*r + 65, -4*r + 80 = 4*l - 0*l. Is l a multiple of 15?
True
Suppose -2*z - q = -z + 8, 4 = 4*z - 5*q. Let p be (2/(-3))/(2/(-111)). Let n = z + p. Is 11 a factor of n?
True
Let b(t) = -2*t - 1. Let u be b(2). Let j(q) = 5*q**2 + 1. Let v(o) = -11*o**2 - o - 2. Let w(h) = 13*j(h) + 6*v(h). Is 2 a factor of w(u)?
True
Let b(v) be the first derivative of v**3/3 - 7*v**2/2 + 9*v - 4. Let s be b(6). Suppose -s*x + 40 = -5*r, 3*x = -4*r + r + 48. Is x a multiple of 9?
False
Let o = 7 - 2. Suppose 0*g + o*g - 2*l + 366 = 0, -g - 4*l - 82 = 0. Let q = -35 - g. Is q a multiple of 14?
False
Suppose -5*f + 210 = 5*n, 0*n + n - 86 = -2*f. Suppose w = 3*w - f. Does 10 divide w?
False
Suppose -5*w = 5*r - 370, -16*w - 4*r + 62 = -15*w. Is w a multiple of 26?
True
Suppose 116 + 7 = 4*c - 5*u, 2*u - 47 = -c. Let h = -79 - -54. Let w = h + c. Is 6 a factor of w?
True
Suppose -4*o = 4*o - 560. Is o a multiple of 14?
True
Let p be (5 + -6)/((-2)/(-12)). Let h be -12*p*6/16. Suppose 0 = -5*l + h + 33. Does 6 divide l?
True
Let a = 49 + 49. Does 14 divide a?
True
Let b = -116 + 173. Does 7 divide b?
False
Suppose -o = 1 + 6. Let m be (-2)/o - (-243)/7. Suppose 23 = 3*p + s, -5*s + m = p + 4. Is p a multiple of 6?
True
Let p(m) = -m**2 - 4*m + 1. Let y be p(-2). Suppose 5*d - 5 = y*u, 2*d - 4*u - 3 = -3*u. Suppose -d*r = -6*r + 20. Is r a multiple of 5?
True
Suppose 0 = -2*b - 0*b + 168. Is b a multiple of 21?
True
Let x(a) = -6*a + 8. Let s be x(-6). Let p be 2/(-5) + s/10. Suppose -16 = -8*r + p*r. Is 3 a factor of r?
False
Let d(c) = c**2 + 0*c + 3*c**2 + 5*c**2 + c. Let o be d(1). Is 18/45 - (-96)/o a multiple of 5?
True
Let r be 43 - (0 - 2/1). Suppose -6*g + g = -5*t - 135, t + 2 = 0. Let a = r - g. Is 10 a factor of a?
True
Suppose -5*q + 431 = -54. Does 20 divide q?
False
Suppose -v + 195 + 13 = 0. Is v a multiple of 16?
True
Let n(j) = j**2 - j - 4. Let h be n(-3). Suppose 0 = -k + 69 - h. Is k a multiple of 26?
False
Suppose 68 = -4*h + 532. Does 7 divide h?
False
Let z(i) be the third derivative of 1/60*i**5 - 1/2*i**3 - i**2 + 1/12*i**4 + 0*i + 0. Is z(-4) even?
False
Let z = 26 - 9. Suppose -f + z = -5*h, h = -3*h. Does 7 divide f?
False
Let o = -97 - -247. Suppose -a - 4*a + o = 0. Is a a multiple of 15?
True
Suppose 0 = -2*l - 3*l + 235. Suppose 4*j - 33 - l = 0. Is j a multiple of 11?
False
Suppose 5*j - 330 = 30. Is 24 a factor of j?
True
Let z(w) = -6 + w + 2*w + 2*w**2 - w**2. Is 10 a factor of z(-7)?
False
Suppose -q = 5*q - 108. Is q a multiple of 18?
True
Let j(w) = -2*w**3 - w - 1. Let c(q) = q**3 - 2*q**2 - 3*q - 1. Let i be c(3). Let y be j(i). Is y*3/6 + 35 a multiple of 11?
False
Let v(x) = 10*x**2 + 3*x + 3. Is v(-5) a multiple of 34?
True
Suppose 3*y - 3*a = 4*y - 27, 15 = y - a. Is y a multiple of 9?
True
Suppose 5 = 4*y - 27. Is (0 - -66)*y/12 a multiple of 22?
True
Let j be 1/(-1)*(2 - 23). Suppose -j = -5*z + 3*z + h, -4*h + 59 = 3*z. Is 9 a factor of z?
False
Let u(j) = j + 2. Let m be u(2). Suppose 126 = m*v - 18. Does 18 divide v?
True
Let r = -96 + 184. Is 22 a factor of r?
True
Let l be (0 - (-2)/(-6))*-9. Suppose 0 = -m + 3, l*m = 3*t + m - 108. Does 19 divide t?
True
Suppose 3*f - 175 = 4*l, -4*f + 5*l + 20 = -214. Does 21 divide f?
False
Let i(g) = 8*g**2 + 6*g + 1. Does 12 divide i(3)?
False
Let f(t) = -7*t**2 + t. Let l(q) = 13*q**2 - q. Let v(m) = -11*f(m) - 6*l(m). Let x be v(-6). Is ((-1)/1)/2*x even?
False
Suppose -4*i + 12 = 0, -s = -0*i + 4*i - 77. Let m = s - 12. Is 36 a factor of m?
False
Let y(d) = d**2 + 8*d - 6. Let k be y(-7). Let w = k - -64. Is w a multiple of 17?
True
Let t = -3 - -2. Let y be ((-174)/(