 a factor of i(-4)?
True
Suppose -6 = -8*h + 5*h. Suppose 5*m + q = m + 60, -h*m + 12 = 5*q. Is 13 a factor of m?
False
Let n(l) be the third derivative of -l**5/60 + l**4/12 + l**3/6 + l**2. Let a be n(3). Is a*(-2)/8*8 a multiple of 2?
True
Let w = 43 + -25. Is 18 a factor of w?
True
Let q = 1 + 30. Suppose -z - 22 = z. Let w = z + q. Is w a multiple of 10?
True
Suppose 4*w - 9 = -265. Let y(l) = 9*l + 2. Let v be y(-4). Let j = v - w. Does 11 divide j?
False
Let o = 134 - 83. Let v be (o/6)/((-3)/6). Let y = 4 - v. Is y a multiple of 9?
False
Let b be 398/3 + (-2)/(-6). Let k = b + -53. Is k a multiple of 21?
False
Let u(s) = s**3 + 10*s**2 + 12*s + 1. Does 19 divide u(-8)?
False
Let v(c) = c**2 - 3*c + 6. Let o be v(6). Suppose -4*f + o = -92. Does 9 divide f?
False
Is 5 a factor of 34/119 - 187/(-7)?
False
Suppose 6 = 2*t - t. Does 3 divide t?
True
Suppose -5*j - d + 22 = 0, 3*j + 3*d - 4 - 2 = 0. Suppose 2*o - o = -j*r + 47, -4*o - 2*r + 170 = 0. Is 14 a factor of o?
True
Let w = 9 + -12. Is w/(-5) - 14/(-10) a multiple of 2?
True
Let a = -11 + 23. Is a a multiple of 6?
True
Suppose 0 = -0*o - o - 18. Let y = 65 + o. Is 14 a factor of y?
False
Is 27 a factor of (-102)/(-4) - ((-3)/(-2))/(-1)?
True
Does 46 divide (6/15)/((-4)/460*-1)?
True
Suppose 3*n + 37 = i + 195, 2*i + 264 = 5*n. Is 13 a factor of n?
True
Let k = 65 + -45. Is 10 a factor of k?
True
Suppose 0 = -z + 61 - 26. Let a = z + 9. Does 19 divide a?
False
Let i = -13 - -12. Does 3 divide 6 + i + -1 + -1?
True
Let m be (-2)/(-7 - -3)*0. Suppose -6*i + 5*i + 13 = m. Is i even?
False
Let t(y) = y**2 + 56. Is t(0) a multiple of 14?
True
Suppose 9 = 2*u + 1. Let r = u - 2. Is 21 a factor of (0 - r) + (0 - -36)?
False
Let j be ((-6)/9)/(2/(-6)). Does 22 divide ((-24)/(-3))/(j/11)?
True
Let z = -8 - -12. Let l = -4 + z. Suppose -3*y + 2*i + 79 = l, 4*y + i + 2*i - 77 = 0. Does 9 divide y?
False
Suppose -6*z = -3*z - s + 5, 7 = -3*z + 2*s. Is 11 a factor of (-2 + -20)*(z + 0)?
True
Does 29 divide -4 + (3 - -7*25)?
True
Let p be 2/10 - (-24)/5. Suppose -4*r + p*h = -65, 5*r - 3*h = r + 63. Is 13 a factor of r?
False
Suppose 5*y = -10 - 20. Does 11 divide (-9)/y*188/6?
False
Let z = -24 + 76. Is z a multiple of 4?
True
Let d(q) = -5 + 2 + 5*q + 2*q - 3*q. Let o be d(2). Suppose v - o = 8. Is v a multiple of 8?
False
Let k be ((-2)/6)/((-3)/153). Let f be 1/4 - (-2)/(-8). Let h = k + f. Does 10 divide h?
False
Let t(a) = 9*a**3 - a**2 - 3*a + 1. Let o be 2/5 - (-16)/10. Let y be t(o). Suppose 0*p + y = 3*p. Is 9 a factor of p?
False
Let l(v) = -v - 1. Let y(h) = 3*h + 1. Let m(g) = 3*l(g) - y(g). Let j(o) = -6*o**2 - o - 1. Let b be j(-1). Is m(b) a multiple of 16?
True
Is 10 a factor of 1 - (-78 + -1 + 0)?
True
Suppose -a + 2*d - 72 = 4*a, -26 = 2*a + 2*d. Is 9 a factor of a*(-1 - 0 - 1)?
False
Suppose -1 + 0 = -t - 2*j, 4 = t + j. Suppose t*k = 2*k + 115. Does 23 divide k?
True
Suppose 2*t - 796 = -3*t + 2*u, 3*t = 2*u + 480. Let r = t - 110. Does 24 divide r?
True
Let c(u) be the third derivative of u**8/20160 - u**7/5040 + u**6/60 + u**5/20 + u**2. Let s(h) be the third derivative of c(h). Is s(0) a multiple of 12?
True
Let n be ((-4)/10)/((-1)/15). Let f(q) = -q**2 - q + 3. Let t be f(-3). Is n + 3 + (t - -1) a multiple of 7?
True
Let t = -157 + 280. Is t a multiple of 39?
False
Let l(t) = -t. Let b be l(-4). Suppose -b*i + 97 + 31 = 0. Is 16 a factor of i?
True
Suppose 0 = -0*w - 5*w - 50. Let k = w + 14. Suppose -j + 10 = -f, 4*f - 2*f = k*j - 38. Is j a multiple of 5?
False
Let n = -7 - -21. Does 12 divide n?
False
Suppose 26 = u - t, u = 2*u + 3*t - 30. Suppose -j + u = 5*k - 2*j, 0 = -k + 2*j. Does 6 divide k?
True
Let l = -2 + -69. Let i = 117 + l. Does 23 divide i?
True
Suppose -l + 2*l = 47. Is l a multiple of 18?
False
Suppose 0*f = -5*a - 3*f + 160, -4*a = f - 121. Let c = 58 - a. Suppose -4*q = -c - 23. Is q a multiple of 6?
False
Let u(t) be the second derivative of t**3/6 + 7*t**2/2 + 3*t. Is 15 a factor of u(8)?
True
Let o(j) = 2*j**3 + 5*j - 3. Is 8 a factor of o(2)?
False
Let r = 74 + -19. Is r a multiple of 7?
False
Is (-165)/2*24/(-30) a multiple of 16?
False
Let o(f) = -f**3 - 6*f**2 + 3. Let j be o(-6). Suppose -j*p + 4 = -2*i - 90, -2*i = 5*p - 130. Does 14 divide p?
True
Suppose -6*l = -3*l - 168. Let k be 3/(-3) + 0 + l. Suppose 2*n = 3 + k. Is 14 a factor of n?
False
Let n(k) = 6*k + 7*k**2 - 4 + 13 + 28*k**3 - 19*k**2 - 27*k**3. Does 22 divide n(12)?
False
Suppose 4*a - 7 + 23 = 0. Let t be (-1)/a + 6/8. Does 22 divide (-1)/(-2)*t*44?
True
Let d be (-3)/9 + 39/9. Suppose 5*j - 130 = -d*g, -g = j + 3*g - 26. Is 26 a factor of j?
True
Suppose 3*j - 27 = -2*g, 2*g + g = j + 13. Suppose y = g*y - 60. Is y a multiple of 4?
True
Suppose 184 = 4*q - 2*l + 14, 25 = -5*l. Suppose h - 1 = 0, -2*h - 3*h - q = -3*c. Let y = 26 - c. Is 11 a factor of y?
True
Suppose -2*c = 3*c - 1050. Is 16 a factor of c?
False
Suppose -17*x = -20*x + 75. Is x a multiple of 21?
False
Let s(z) = 2*z**2 - 3*z - 3. Let r be s(3). Suppose -3*v = -r*v + 30. Does 3 divide v?
False
Let m(v) = -v**3 + v**2 + 5*v - 13. Let c(k) = 2*k**3 - 3*k**2 - 9*k + 25. Let g(b) = 6*c(b) + 11*m(b). Does 7 divide g(7)?
True
Suppose 3*d = -9, 19 = 5*o + 3*d - 32. Suppose -4*l + 0*l = -o. Is l even?
False
Let h(r) = -r**3 - 6*r**2 - 6*r. Let z be h(-5). Suppose n - 33 = -z. Is n a multiple of 14?
True
Let m(t) = -t**3 + 4*t**2 + 2*t - 4. Let p be m(4). Suppose -p + 10 = 3*i. Suppose -b - i*b = -5*a - 58, 5*a = -b - 14. Is b a multiple of 6?
False
Let d = 1 - 2. Does 2 divide (d - -11)*(-3)/(-5)?
True
Suppose 5*k - 5*z - 110 = 0, k - 23 = 5*z - 9. Is k a multiple of 11?
False
Suppose -366 = -5*n - 71. Is n a multiple of 20?
False
Let k = -27 + 52. Suppose 27 = -2*y + 6*y - l, -5*y + k = -3*l. Suppose 15 = g - y. Does 9 divide g?
False
Let l = 214 + -97. Is l a multiple of 25?
False
Suppose -3*n = n - 1364. Suppose -5*j - 126 + n = 0. Is 14 a factor of j?
False
Let o = 155 - 104. Is o a multiple of 17?
True
Let h = -2 - -5. Suppose -98 = -4*o - 2*t, -o - h*t = -4*o + 51. Is 22 a factor of o?
True
Suppose 2*q = 5*n - 7, -5*q = -3*q + 2*n. Does 24 divide q*2/(2/(-39))?
False
Let o(f) = -f**2 - 12*f + 11. Is 11 a factor of o(-11)?
True
Let k(d) be the third derivative of 1/60*d**5 - 3*d**2 + 0 - 1/12*d**4 + 0*d**3 + 0*d. Is k(-6) a multiple of 14?
False
Let p(g) = g**2 - 6*g + 3*g - 3*g**2 - 3 + 0*g + 3*g**3. Let v be p(3). Let j = -29 + v. Is j a multiple of 10?
False
Suppose -3*v + 4 = 7. Let u be (2 - 1 - v) + 17. Suppose 0*s + 2*s - u = c, 0 = 3*s + 5*c - 48. Is 4 a factor of s?
False
Does 42 divide (7/(-4))/((-291)/72 - -4)?
True
Suppose 2*t = -t + 108. Is t a multiple of 11?
False
Suppose 0*b + 4*y = -b, b - y - 15 = 0. Suppose p - 2*p - b = 0. Let g = 16 - p. Is 14 a factor of g?
True
Suppose -4*t + 28 = 2*u, 0*u - 4*u = -2*t - 26. Let l(r) = -r**3 + 8*r**2 + 6*r - 4. Does 14 divide l(u)?
False
Let i be (48/(-20))/((-2)/20). Suppose 0 = -5*d + 2*d + i. Is d a multiple of 8?
True
Let m(z) = 259*z**3 - z**2 - 5*z + 6. Does 37 divide m(1)?
True
Let n(h) = -h**2 - 9*h - 7. Let m be n(-9). Does 10 divide (-282)/(-7) - (-2)/m?
True
Let w = -34 - -46. Is w a multiple of 2?
True
Let y be 70 - (-3 + 2)/1. Suppose 0 = 3*m + 2*h - y, -98 = -4*m - 3*h + h. Does 7 divide m?
False
Let z = -180 - -276. Is z a multiple of 16?
True
Let o = 272 - 151. Does 13 divide o?
False
Let y be 3/6*-6 + -2. Let c = y + 19. Is c a multiple of 7?
True
Let b(s) = s**2 - s. Let l be b(1). Suppose l = -5*n - 0*n + 265. Is n a multiple of 18?
False
Let t = 563 - 203. Does 17 divide t?
False
Let c(u) = -u**3 + 7*u**2 - 4*u - 2. Let a = -11 - -17. Let n be c(a). Let h = n - -12. Does 7 divide h?
False
Let g = 3 + 41. Suppose -5*j + 39 = 4*k, k + 4*j = -3*k + g. Is 12 a factor of k?
False
Suppose -4*j + 44 = a, a - j = -2*j + 29. Let l = a + -10. Let x = -3 + l. Does 6 divide x?
False
Suppose 4*j - 8*j = 40. Let b = j + 20. Is 9 a factor of b?
False
Suppose -5*j + 27 + 28 = 0. Suppose s - j = -1. Does 8 divide s?
False
Suppose -13 = -l + 2*u, 5*u + 15 + 5 = 0. Suppose 111 = l*z - 2*z. Is 9 a factor of z?
False
Suppose 4*p - 78 = p. Does 10 divide p?
False
Let n(x) = 2*x**2 - 11*x - 22. Does 8 divide n(-3)?
False
Suppose m = -n + 40 + 60, 4*n -