6 a factor of m?
False
Let j(g) = -g**3 - 7*g**2 - 3*g + 7. Let u(m) = -m - 13. Let x = 0 + -6. Let z be u(x). Does 14 divide j(z)?
True
Let a(v) = 15*v**2 + v - 1. Suppose 2*g + 2 = 12, -5*g + 24 = -y. Is a(y) a multiple of 15?
True
Let f = -2 - -8. Suppose 222 = f*k + 54. Is k a multiple of 14?
True
Suppose 0 = 4*j - 2*l + l - 17, 0 = -2*j + 5*l + 13. Suppose 0 = -3*z + t + 104, -z + j*z - 89 = -2*t. Does 11 divide z?
True
Let x = 146 - 12. Does 40 divide x?
False
Let h(y) = 19*y + 1. Does 15 divide h(3)?
False
Let x = 13 - 12. Suppose 3*h + 0*h = 69. Is 17 a factor of -2 + (-2 + h)*x?
False
Let z(k) = -k**2 - 1. Let p(f) = -7*f**2 + f - 5. Let x(a) = -p(a) + 6*z(a). Let v be x(-1). Is v*(-2)/1 - -20 a multiple of 9?
True
Suppose 4*f = -j - 27, -f - 39 = 3*f + 5*j. Does 2 divide f/(-8) - 25/(-4)?
False
Let a(q) = -q - 7. Let u be a(-6). Let p be (-2)/u - 2/(-2). Suppose p*c = 8 - 2. Is 2 a factor of c?
True
Let o(k) be the second derivative of k**4/6 + 5*k**3/6 - 3*k**2/2 - 3*k. Is 16 a factor of o(4)?
False
Suppose -5*p + 305 = 105. Is 11 a factor of p?
False
Suppose 4*w = -v + 21, -v + 3*w - 16 + 2 = 0. Is 5 a factor of -1 - (-7 + 1)/v?
True
Let p(h) = -h**3 + 3*h**2 + 2*h + 1. Let f be p(2). Suppose f*q - 15 = 4*q. Is (-10)/q*6/(-5) a multiple of 4?
True
Let p = -12 + 63. Is p a multiple of 14?
False
Is 0 + 1/5 - 1227/(-15) a multiple of 11?
False
Suppose -2*t = -7*t + 15, -5*t = 4*l - 83. Is 17 a factor of l?
True
Let b = 5 + 4. Is 19 a factor of (-1 - (-123)/b)*3?
True
Suppose -10 = -2*y, q + 2*y = -4 + 18. Does 7 divide 531/21 - q/14?
False
Suppose -2*u + 17 = -o, -2*u + 3 + 0 = o. Let x(s) = -7*s + 2. Let a be x(2). Let i = o - a. Does 2 divide i?
False
Is ((-15)/(-6))/((-4)/(-248)) a multiple of 31?
True
Does 38 divide (-2)/(-1) + 14 + 136?
True
Let z(w) = -w + 17. Let p be (-3 - -2) + (2 - -6). Does 7 divide z(p)?
False
Suppose 0 = -4*x + w + 271, -5*x - 2*w + 347 = -6*w. Does 14 divide x?
False
Let s = -1 - -4. Suppose s*a = -2*a + 185. Is a a multiple of 22?
False
Suppose h - 2*z = 186 + 8, 2*z - 922 = -5*h. Is h a multiple of 16?
False
Suppose 3*q + x = 3*x + 101, q + 3*x = 41. Suppose -5*r + 125 = q. Is r a multiple of 9?
True
Is 470/10 - 6/3 a multiple of 15?
True
Let u = -10 + 12. Suppose -u*g + 42 = -12. Is g a multiple of 9?
True
Let y(u) = -14*u + 7. Let b be (-2)/3 - 19/3. Let r be y(b). Suppose -2*m - 22 = -3*i - r, -4*i + 14 = m. Is 17 a factor of m?
True
Let d = 119 - 71. Suppose c = 3*c - d. Is c a multiple of 12?
True
Let c be (2 - (-3 + 4))/1. Let b be 4 - 5 - (c - 5). Is 3 a factor of 3*b + (-1)/1?
False
Suppose 8*q + x = 4*q + 91, -52 = -3*q - 4*x. Is 16 a factor of q?
False
Let o be 122/(-6) - (-4)/(-6). Is (o/(-2))/((-1)/(-2)) a multiple of 16?
False
Let d(t) = -t**2 - 7*t - 1. Is 2 a factor of d(-6)?
False
Does 6 divide 28/14*1*10?
False
Let p(u) = -u**2 - u + 5. Let o be p(0). Let m(b) = -7 + 7*b + 0*b - 3*b + 2. Is 15 a factor of m(o)?
True
Suppose 0 = 4*w + 3*r - 11, 3*w + 2*r = 2 + 7. Suppose 0 = w*y - 89 - 26. Is 12 a factor of y?
False
Suppose -11 = -5*y + 69. Is y a multiple of 2?
True
Let t(y) = y**3 + y**2 - y - 1. Let a be t(2). Let r be 1/(1 + (-6)/a). Suppose 0*z + 12 = r*z. Does 4 divide z?
True
Let t(c) be the first derivative of 73*c**3/3 + 5. Is 27 a factor of t(-1)?
False
Let s be (2/(-2) - 2)*-1. Suppose 4*a - 23 = s*a. Is 9 a factor of a?
False
Let b(n) = -37*n**3 + 2*n**2 + 3*n + 1. Is b(-1) a multiple of 17?
False
Suppose 4*b - 89 = -21. Does 13 divide b?
False
Let l be 2 + -5 + 2 + 4. Suppose -l*v = 3*g - 51, -2*v = -g - 4*g - 20. Suppose v + 5 = 4*j. Is j even?
False
Let s be 1/6 + (-77)/(-6). Suppose 0 = c - 4 - s. Is 11 a factor of c?
False
Let h = 11 + -7. Let t be 4/6 + h/(-6). Suppose t = r - 2*r + 36. Does 18 divide r?
True
Is (-6510)/40*16/(-6) a multiple of 14?
True
Let b(w) = -5*w - 3. Suppose 3*c - s = 9, -1 = -c + s - 0*s. Suppose 4*x - 2*t + 4*t + 28 = 0, 2*x + c*t + 14 = 0. Is 16 a factor of b(x)?
True
Suppose o = -3, -5*a - 3*o + 276 = -4*a. Is 58 a factor of a?
False
Let r(a) = 6*a - 3. Let l be r(10). Let j = -34 + l. Is j a multiple of 12?
False
Suppose 2*o + 4*j = -o - 9, j + 2 = -o. Let d = o - 2. Let t(i) = -12*i. Is 6 a factor of t(d)?
True
Let r be 2/2 - (2 + -4). Let a = -1 + r. Suppose -16 = -4*u + a*u. Does 5 divide u?
False
Suppose 4*r - 2*r - 142 = 0. Is r a multiple of 14?
False
Let f(s) = 29*s - 9. Is f(6) a multiple of 38?
False
Let b(m) = 8*m**2 + 2. Suppose 2*z - 13 - 15 = -3*l, 3*l + 28 = 5*z. Suppose 2*t + 2*t = z. Is b(t) a multiple of 21?
False
Let y(s) = -3*s**3 - 2*s**2 - s. Let n = -5 - -7. Let m be y(n). Let d = -18 - m. Is d a multiple of 16?
True
Let k(i) be the third derivative of i**5/60 + i**4/12 + i**3/3 - 3*i**2. Let q be k(-4). Is 13 a factor of 364/q - 4/10?
False
Let o(k) = 2*k + 8. Is o(14) a multiple of 9?
True
Let t(j) be the third derivative of 13*j**8/20160 + j**6/720 - j**5/60 + 2*j**2. Let o(a) be the third derivative of t(a). Is o(-1) a multiple of 5?
False
Suppose -i - 60 = -3*i. Suppose i = 2*v - 38. Let z = -23 + v. Is 8 a factor of z?
False
Suppose 2*p + 2*p = 8. Suppose 2*c - m - 5 = 0, 5*m + 5 = -3*c - 20. Suppose c*q + 17 = p*k - q, -33 = -4*k + q. Is 8 a factor of k?
True
Suppose -3*q + 732 = -0*q - 5*h, 2*q + 3*h - 488 = 0. Does 37 divide q?
False
Let k = -4 + 3. Does 3 divide k*57/(-1 + -2)?
False
Is (-2)/11 + (-70)/(-22) a multiple of 3?
True
Let b = -12 - -7. Let s(d) be the second derivative of -d**3/2 + d**2 + 3*d. Is s(b) a multiple of 14?
False
Suppose 8*i = 9*i - 5. Does 5 divide i?
True
Let s(d) = -d**3 + 6*d**2 + 5*d - 4. Does 13 divide s(6)?
True
Suppose 8*n = 3*n + 35. Let u = n - -11. Does 9 divide u?
True
Suppose 5*q = -286 + 881. Suppose 4*v + 7 - q = 0. Is v a multiple of 13?
False
Suppose v - 20 - 33 = -4*h, 3*v = -2*h + 109. Does 3 divide v?
True
Let d be 66/(-9) + (-4)/6. Suppose 3*o = -3*c + 81, 8*o - c = 3*o + 111. Let g = d + o. Is g a multiple of 15?
True
Suppose 5*z = -4*s + 104, 3*s + 26 = 2*z - 34. Suppose 5*t + 2*b - 112 = 0, -2 = -t - 4*b + z. Does 18 divide t?
False
Suppose -8*g = -3*g - 885. Does 15 divide g?
False
Suppose 5*g - 3 = 12. Let n(j) = -j**3 - 5*j**2 + 1. Let t be n(-5). Let l = g - t. Is l a multiple of 2?
True
Is (-2)/9*3 + (-268)/(-6) a multiple of 5?
False
Suppose -h = 2*h - 108. Suppose 3*i - h = -i. Does 9 divide i?
True
Let f be 0/(1 + -3 + 3). Suppose f = -d + 3*d - 136. Does 24 divide d?
False
Suppose v - 7*v + 36 = 0. Does 2 divide v?
True
Let i(r) = -1 + 1 + r + 3*r - 2. Suppose -1 = -d - 2*p, -2*d - 5*p + 3 = 4. Is 12 a factor of i(d)?
False
Let p(a) = a**2 - 4*a. Does 17 divide p(-13)?
True
Let x = 26 - -3. Let s = 21 - x. Let c = s + 22. Is c a multiple of 4?
False
Let g = 18 + -29. Let k = -6 - g. Suppose -t = 4*p - 17, -2*t + 5*t - k*p = 34. Is 11 a factor of t?
False
Let a be 1 + (-9)/(45/(-10)). Suppose -2*y + 222 = -16. Suppose -y = -a*s - 5. Is s a multiple of 20?
False
Let t be (2/(-6))/((-1)/21). Let i = -73 + 241. Suppose 3*j = t*j - i. Does 14 divide j?
True
Let i(p) = -p + 17. Is 10 a factor of i(7)?
True
Let s(z) = z**3 + z + 44. Is s(0) a multiple of 5?
False
Suppose -5*t + 2*s = 0, 4*t + 2*s = 28 - 10. Let b be -8 + (4 - t/1). Is (-4 - -1)*16/b a multiple of 5?
False
Let g be 1/(-3 + 20/6). Is 6*(34/6 - g) a multiple of 8?
True
Let o(g) = 4*g**2 + 8*g - 7. Let f(m) = 5*m**2 + 9*m - 7. Let j(k) = -3*f(k) + 4*o(k). Let c be j(-5). Does 6 divide (1 + -2 - c)*2?
True
Let z(v) = 2 - 6*v**2 + 0*v**3 - 7*v + 3*v**3 - v**3 - v**3. Suppose b - 6*b + y + 32 = 0, -3*b - 4*y + 33 = 0. Is z(b) even?
True
Is (2 + -1)/(117/29 + -4) a multiple of 5?
False
Let t = -73 + 93. Is 20 a factor of t?
True
Is 13 a factor of 478 - 1 - (-1 - 9 - -7)?
False
Let v be -4*(1 + (-66)/(-8)). Let p = -7 - 8. Let j = p - v. Is j a multiple of 14?
False
Let t = -7 - -13. Is t a multiple of 3?
True
Let p(b) = -b**3 - b - 3. Let x be p(0). Let r = x + 9. Does 3 divide (-9)/r - 18/(-4)?
True
Is 11 a factor of (-114 - (-2)/2)*-1?
False
Suppose 5*u - 32 = u. Does 2 divide u?
True
Let v = 434 + -302. Is 22 a factor of v?
True
Suppose -6 = -0*c - c. Suppose -2*t + t = 3*m - c, 0 = t - 2*m + 4. Suppose t*h + 35 = 5*h. Is h a multiple of 4?
False
Let s(n) = -n**3 - 2*n**2 - n. Let z be s(-1). 