a multiple of 14?
True
Suppose -46*p + 11067 = -39*p. Is 17 a factor of p?
True
Suppose -2*x - 2988 = -0*x + 5*l, 2*l = x + 1476. Is (-2)/4 + 0 + x/(-8) a multiple of 37?
True
Let n(y) = y + 6. Let k be n(-15). Let s = k - -12. Suppose -4*j = s*d - 123, -2*d = 2*j + 3*d - 51. Is 7 a factor of j?
False
Let p(i) = i**3 - 27*i**2 - 107*i + 76. Is 69 a factor of p(31)?
False
Does 12 divide 16/2*(7/2 + 4)?
True
Let z(n) = n**2 + 10*n - 11. Is z(-13) a multiple of 14?
True
Suppose -2*n - 475 = -5*q, 4*n + 292 - 86 = 2*q. Is 93 a factor of q?
True
Let f = 11 + -9. Let l be (12/(-16))/(f/(-8)). Suppose -l*u + 95 = -67. Is 30 a factor of u?
False
Let d(m) = m + 7. Let l be d(-7). Suppose l = -z - z + 56. Is 4 a factor of z?
True
Suppose 0 = 3*n - 3*p - 60, 0 = -4*n - p + 63 + 32. Suppose 3*t = 5*b + 94, 5*t - 175 = -2*b + n. Suppose -2*i + m + m = -t, -2*m = 6. Is 12 a factor of i?
False
Let w(l) be the first derivative of 4*l**3/3 + 11*l**2/2 + l + 6. Is w(-8) a multiple of 13?
True
Let a(s) = -2*s - 1. Let n be a(-9). Suppose 4*k + 31 = p, 5*k = -5*p - n - 53. Let g(w) = -w**3 - 8*w**2 + 7*w - 6. Is g(k) a multiple of 12?
True
Let g(j) = 6*j + 2. Let o(c) = -18*c - 7. Let b(x) = 17*g(x) + 6*o(x). Let p be b(-6). Suppose -5*q = -2*f + 35, -f - 8 = -3*q - p. Is 5 a factor of f?
True
Let l be 3/5 - 524/(-10). Let n be ((-14)/35)/(2/(-10)). Suppose n*d + g - l = 0, 129 = 5*d + 5*g - 1. Does 9 divide d?
True
Suppose 5859 = 5*n + 26*n. Does 6 divide n?
False
Suppose 4*d - 9 = -1. Let s(m) = m**3 + 2*m**2 - 5*m - 4. Let c be s(-3). Suppose 5*f = -c*u + 90, -f + d*f = -u + 18. Does 6 divide f?
True
Let f be ((-48)/30)/((-4)/10). Let h(v) = -v**2 - 4*v + 1. Let n(o) = -o + 1. Let q(y) = f*n(y) - h(y). Is 7 a factor of q(-5)?
True
Suppose 0 = -4*y - 3*h, 4*y - 3*h - 2*h = 32. Suppose x - 2*z = 33, y*z + z = -5*x + 179. Is 7 a factor of x?
True
Let h(n) = 231*n + 58. Is 40 a factor of h(2)?
True
Suppose 12*y = 359 - 23. Is y a multiple of 26?
False
Suppose -2*c + 9*c = 4564. Suppose -216 - c = -7*b. Does 31 divide b?
True
Suppose 3*y = -9, 2*q - 7*q + 1726 = -2*y. Is 58 a factor of q?
False
Suppose -5*v + 3947 - 1017 = -3*b, -4*b = -4*v + 2344. Is v a multiple of 19?
False
Let k be (-4 - -1) + (-5 - -13) - -1. Suppose -320 = -k*z + 100. Does 14 divide z?
True
Suppose -8 = 32*o - 34*o. Does 3 divide 960/54 - o/(-18)?
True
Let o(v) = -v**2 + 10*v - 17. Let p(d) = -2*d**2 + 19*d - 35. Let l(y) = 7*o(y) - 3*p(y). Does 9 divide l(8)?
False
Suppose 5*f + 2*i + 8 = 0, -2*i + 0 = 4*f + 8. Let q be (-3 + 15)/(1 - f). Suppose -9*v - 36 = -q*v. Does 6 divide v?
True
Let d(g) = -g**3 - 27*g**2 - 13*g - 34. Let o be d(-27). Suppose -n = -4*m + 311, -9*n + 6*n = -4*m + o. Is m a multiple of 11?
True
Suppose 3*m - 42 = -0*m. Let i be 2/(-7) + (-54)/(-42). Suppose v + i = m. Does 8 divide v?
False
Let a = -42 - -43. Suppose -149 = -3*j + a. Is j a multiple of 8?
False
Let g(s) = s - 3. Let m(h) = -5*h + 13. Let k(t) = 9*g(t) + 2*m(t). Let x be k(-4). Is 13 a factor of (-477)/(-6)*2/x?
False
Suppose 3*m + 1 = -8. Let z be (2/m)/(4/(-468)). Does 13 divide ((-17)/2)/((-13)/z)?
False
Suppose -24*w = -15*w + 27. Let k(z) = -9*z - 17. Is 5 a factor of k(w)?
True
Let l = 2421 - 1376. Is l a multiple of 81?
False
Let v(k) = -k**2 + 5*k + 2. Let f be v(2). Let n(h) = 8*h + 6. Does 11 divide n(f)?
False
Let d be (36/15)/(14/(-1225)). Let c = d + 298. Is 22 a factor of c?
True
Suppose -5*i = -9*i + 12. Suppose 0 = 3*a + i*r - 33, 25 = 4*a - 3*r + 2. Suppose 4 = 3*l - a. Is 4 a factor of l?
True
Let o(w) = 5*w**3 - 34*w**2 - 6*w + 4. Is o(8) a multiple of 34?
True
Does 40 divide 545 - (-4)/3*(-27)/(-18)?
False
Let k = 35 - 43. Let r = k - -13. Suppose 0 = -4*b + 2*d + 230, -6*b + r*d = -3*b - 169. Is b a multiple of 23?
False
Let v = 397 + -581. Let z = v - -328. Is z a multiple of 12?
True
Suppose 0 = -q - 7*q + 368. Does 23 divide q?
True
Suppose -3*k = -k - 120. Suppose 0 = -3*i - k + 141. Is i a multiple of 4?
False
Suppose 21*s = 23*s + 14. Let j(g) = 8*g**2 + 3*g**3 + 6*g - 2 - 2*g**3 + 3. Is 3 a factor of j(s)?
False
Let j(h) = h - 4. Let s be j(6). Suppose w + s*g = 18, 3*g + 81 = 4*w + 2*g. Does 10 divide w?
True
Let c be 18/(-9)*1/(-1). Suppose -2*z + 4*z - 2*p = 0, -4*z + c*p + 10 = 0. Does 5 divide z?
True
Suppose 7*m - 20*m = -546. Suppose 0 = 3*h + m - 240. Is 11 a factor of h?
True
Suppose 3*m = 12, 120 = 3*w + 2*m + m. Suppose -3*i - 3*z + 27 = 0, 74 = 4*i + 2*z + 28. Let c = w - i. Is c a multiple of 17?
False
Is (-4)/(-3 - 2418/(-810)) a multiple of 27?
True
Let f(g) = -8*g - 1. Let o(t) = t - 1. Suppose -3*u + 3*d + 2*d + 10 = 0, 20 = u - 5*d. Let z(i) = u*o(i) - f(i). Is 12 a factor of z(2)?
True
Let f(u) = -2*u**3 + 58*u**2 - 80*u + 21. Does 2 divide f(27)?
False
Suppose -4*f + 612 = 5*i, -f + 4*f = -5*i + 454. Let l = f + -90. Suppose -4*a - l = -276. Is a a multiple of 18?
False
Let t = 88 + -81. Suppose t*j - 9*j + 110 = 0. Does 15 divide j?
False
Suppose -5*j = -4*j - 5. Let v be 14/(-6)*(j - 8). Does 5 divide (-107)/(-7) + (-2)/v?
True
Let r = -2516 - -3784. Is r a multiple of 130?
False
Let b = 18 - 20. Let f be (6*(-6)/9)/b. Suppose k + 0*k - 5*r = 30, -f*r = 8. Is k even?
True
Suppose c - f = -5*f + 9, -5*c + 2*f = -111. Is 6 a factor of c?
False
Suppose 5*d + 892 = o, -4*d + 4373 = 5*o - 0*d. Does 8 divide o?
False
Let r(m) = m**2 + 15*m + 17. Let d be r(-14). Suppose -5*i + g = -108, -d*g - 8 = 4*i - 102. Is 11 a factor of i?
True
Let a(y) = 3*y**2 - y + 1. Let l(q) be the third derivative of -q**6/120 - 2*q**5/15 + 11*q**4/24 + 10*q**3/3 - 9*q**2. Let k be l(-9). Is 5 a factor of a(k)?
False
Does 89 divide (10235/46)/((-4)/(-24)*1)?
True
Let o(k) = -14*k - 13. Let u be (-6)/(-24) + (-34)/8. Does 24 divide o(u)?
False
Let l = 8 - 27. Let h = 11 - l. Is h a multiple of 4?
False
Let o = 9 - 3. Let h(b) = -15*b - 7*b + b**3 + o*b**2 + 6 + 17*b. Is h(-6) a multiple of 24?
False
Let n(z) = -3*z**3 - 15*z**2 + 7*z - 12. Is 18 a factor of n(-8)?
False
Let m(r) = -r - 1. Let u(h) = -26*h + 1. Let p(o) = -3*m(o) - u(o). Is 31 a factor of p(1)?
True
Let r(t) be the second derivative of t**5/10 + t**4/12 + t**3/6 + t**2 - 5*t. Let o = 7 - 5. Is r(o) a multiple of 21?
False
Is (8090/17 - 1) + (-790)/(-6715) a multiple of 19?
True
Suppose 3126 = -17*b + 13564. Is b a multiple of 14?
False
Is 32 a factor of (-4 - -10)/((-3)/(-224))?
True
Let m = -58 - -65. Suppose -m*k - 24 = -13*k. Is 2 a factor of k?
True
Let b(x) be the first derivative of x**3 + 3*x**2/2 + 4*x + 2. Let t be b(-5). Suppose 3*d = 4*d + 2*u - 58, -d - 4*u = -t. Does 14 divide d?
False
Let g be (18*(-6)/63)/(4/(-42)). Suppose -23*u = -g*u - 120. Is u a multiple of 2?
True
Let w = 17 - 16. Let v(c) = -67*c**3 - 2*c**2 + c. Let r be v(w). Let b = -38 - r. Is b a multiple of 18?
False
Suppose 3*k - 2*k = 430. Does 15 divide k/8 - (-10)/40?
False
Let b = -16 + 19. Let m(h) = -h**3 + 0*h + 1 - b - h + 9*h**3. Is 15 a factor of m(2)?
True
Let i(c) = -287*c - 32. Let s(x) = 96*x + 11. Let t(b) = 3*i(b) + 8*s(b). Let d be t(-2). Suppose -5*v + q = -222, -3*v + d = v - q. Is v a multiple of 10?
False
Let a(j) = 2*j - 14. Let x be ((-16)/(-6))/(1/3). Let q be a(x). Is 7 a factor of 564/16 + q/(-8)?
True
Let m = 1785 + -396. Is 63 a factor of m?
False
Let w = 1038 + -593. Does 16 divide w?
False
Let g(n) = 6*n - 15. Let c be ((-16)/20)/((-2)/25). Suppose 2*y - c = 2. Is 7 a factor of g(y)?
True
Let i(p) = -16*p**3 - 6*p**2 - 11*p + 3. Let g(l) = 8*l**3 + 3*l**2 + 6*l - 2. Let o(s) = 5*g(s) + 3*i(s). Does 8 divide o(-2)?
False
Suppose 5*r - 931 = -3*g + 24, -3*r = 4*g - 584. Suppose 0 = -24*v + 26*v - r. Is 47 a factor of v?
True
Is 17 a factor of (23069/(-4))/(-17) - (-3)/4?
True
Suppose 2693 + 11482 = 35*l. Is l a multiple of 15?
True
Let j(z) = z + 16. Let u be j(-9). Is 5 a factor of u/(21/150) + 5?
True
Suppose 5*i + 563 = 3*l - 0*i, -l - 4*i + 216 = 0. Is l a multiple of 4?
True
Suppose 4*f - y + 5 = -4*y, 0 = f - 3*y + 5. Let a be 1/f*(4 - 4). Suppose t - 70 = -k, -t + 4*k + 95 = -a*t. Is t a multiple of 25?
True
Let l(q) = 5*q**2 - 7*q - 7. Let p be l(3). Suppose 0 = p*n - 205 - 305. Does 5 divide n?
True
Let p be 8/6 - ((-10)/(-15))/(-1). Suppose 2*q = -p*q + 288. Does 24 divide q?
True
Let d(r) = -7*r*