 4*m = 38 + 80, -u*g = 3*m - 43. Does 13 divide g?
True
Suppose -5*l + 8*l = 45. Is l a multiple of 2?
False
Suppose 0 = -3*a - 45 + 189. Is a a multiple of 19?
False
Suppose -2*q = -14 - 88. Suppose 4*y - 2*y - 3*w - q = 0, 2*y - 76 = -2*w. Is y a multiple of 15?
False
Let s = 122 + -98. Is s a multiple of 24?
True
Suppose -40*j = -39*j - 20. Is 6 a factor of j?
False
Let d(y) = y**3 - 6*y**2 + y - 3. Let x be d(6). Suppose -o = 4*q - 111 - 132, 0 = o - 3. Suppose k = -x*k + q. Is 6 a factor of k?
False
Suppose -4*q = -q - 591. Let n = q + -63. Let z = n - 94. Is 24 a factor of z?
False
Let l(m) = m**3 + 9*m**2 - 25*m - 11. Is l(-11) a multiple of 11?
True
Let x = 86 + 90. Is 16 a factor of x?
True
Let y = 393 - -63. Is 38 a factor of y?
True
Suppose 7*m - 4*m - 105 = 0. Is m a multiple of 5?
True
Suppose -22*s = -26*s + 224. Is s a multiple of 14?
True
Suppose 2*c + 15 = 5*j, 8*j - c = 3*j + 10. Let r = 20 - j. Does 14 divide r?
False
Let k = -209 - -333. Is 26 a factor of k?
False
Let s(w) = -w**2 + w + 1. Let j be s(3). Let f be ((-14)/(-6))/(j/(-45)). Suppose 4*b - 19 = f. Is b a multiple of 4?
False
Does 3 divide (-495)/(-25) + (-2)/(-10)?
False
Suppose 4*h + 2 = -4*i + 2*i, -3*i - 2*h = -5. Suppose -i*p + p + 26 = 0. Is p a multiple of 8?
False
Let p be (2 + -4)/(-1) + -14. Let i = p + 52. Is i a multiple of 14?
False
Let n(o) = o - 7. Let s be n(10). Let j = 7 - 4. Suppose -42 = -j*b - s. Is 13 a factor of b?
True
Suppose 2*o = -0*o + 44. Is 11 a factor of o?
True
Let d = -124 - -219. Does 18 divide d?
False
Suppose -4*t + 17 = -f, -4*t = -4*f - f - 5. Suppose -f*z + 35 = 8. Does 3 divide z?
True
Let v = 140 - 87. Suppose 5*r + 2*f - 123 = 0, -3*r + 0*f = -4*f - v. Is 4 a factor of r?
False
Let w(x) be the third derivative of -x**5/60 - 3*x**4/8 - x**3/2 + 7*x**2. Let g(d) = d + 1. Let n be g(-6). Does 7 divide w(n)?
False
Let x(f) = f**2 + 5*f + 6. Let u be x(-4). Let l(y) = 19*y**2 - y + 1. Let w be l(u). Suppose 0*d - 5*d + w = 0. Does 13 divide d?
False
Let f = 23 + -18. Is f a multiple of 5?
True
Suppose -3*j + 2*j + 2 = 0. Suppose j*k + 117 = 5*k. Suppose 0 = -3*r + k. Does 13 divide r?
True
Suppose -4*h + 324 - 72 = 0. Is 6 a factor of h?
False
Let j(m) = -4*m + 4*m + 2*m - 1 - 3. Is j(7) a multiple of 5?
True
Let x be (140/(-30))/((-4)/6). Let j = x + 0. Is j a multiple of 2?
False
Let t be (2 - 9)*1/1. Let w(v) = -v - 3. Is 4 a factor of w(t)?
True
Let d be (-1)/2 + 30/4. Suppose 2*u + 10 = d*u. Suppose -5*k = -3*m + 8, -m = u*m - 3*k - 12. Is 3 a factor of m?
True
Let a(o) = 9*o**2 - 2*o - 1. Is a(2) a multiple of 4?
False
Let o = -21 - -21. Suppose u + 4*u - 45 = o. Does 9 divide u?
True
Let q(f) = 7*f**2 + 3*f - 3. Let n(g) = -155*g**2 - 65*g + 65. Let k(s) = -6*n(s) - 130*q(s). Does 14 divide k(1)?
False
Let n = -70 - -121. Is 6 a factor of n?
False
Let c be (-3)/2*8/(-6). Suppose 5*h = 0, -2*y + 40 = -y - c*h. Is y a multiple of 17?
False
Let c(q) = -q**3 - 4*q**2 + 2*q - 1. Suppose 2*g + 0*g = -10. Is 8 a factor of c(g)?
False
Let h(x) = 6*x + 3. Does 17 divide h(10)?
False
Suppose o - 25 = -5*t, -t + 2*t = -o + 29. Is o a multiple of 15?
True
Is 2/(1 - 22/24) a multiple of 12?
True
Let a = 32 + 55. Let t = -20 + a. Does 19 divide t?
False
Let t(s) = s - 4. Let z be t(4). Suppose 2*k + 4*v + 7 + 1 = 0, z = -k + 3*v - 4. Is 16 a factor of 18 - (-2)/k*4?
True
Let t be (-2)/(-4)*1*-12. Let w(y) be the second derivative of y**4/12 + 5*y**3/6 - 5*y. Is w(t) a multiple of 4?
False
Is 5 a factor of 75 - (-1 + -2 + (-6)/(-2))?
True
Let c(j) = -j + 3. Let i be c(0). Suppose 5*m = i*t - 20 - 4, t - 4*m - 15 = 0. Suppose t*d = -5*y + 1, -7*d = -3*d - 3*y - 40. Is 7 a factor of d?
True
Suppose -s + 9 = -51. Is 15 a factor of s?
True
Let q(a) be the third derivative of -a**7/1008 + a**6/240 - a**5/20 - 4*a**2. Let l(t) be the third derivative of q(t). Does 18 divide l(-7)?
False
Let h = -131 + 389. Is 43 a factor of h?
True
Let j(l) = -l**3 + 5*l**2 - 4*l + 5. Let w be j(4). Suppose w - 25 = -5*s. Does 2 divide s?
True
Let n(m) = m - 3. Suppose 3*f - 4*f = -3. Let v be n(f). Suppose -q - 61 = 5*c - 258, -3*c + 4*q + 132 = v. Is c a multiple of 13?
False
Let h be -1 + (0/2 - 0). Let f = h + 5. Suppose 17 = -f*o + 81. Is o a multiple of 16?
True
Let i(m) = 4*m**2 + m + 1. Let o be i(-3). Suppose 4 = 2*v, 4*v - o = -j + 2*v. Is 15 a factor of j?
True
Let x = -19 - -11. Let n be ((-9)/6)/((-6)/x). Does 3 divide (-2)/(0 + 1/n)?
False
Suppose 0 = -0*c + 2*c + 3*r - 105, -4*r + 157 = 3*c. Suppose -c + 13 = -2*k. Is k a multiple of 19?
True
Let q(y) = y**2 + 12*y + 11. Let t be q(-11). Does 3 divide (3 + -4)*-4 + t?
False
Let o(q) be the first derivative of -37*q**2/2 + q - 2. Let d be o(1). Let m = 62 + d. Is m a multiple of 26?
True
Is ((-18)/(-4))/(16/192) a multiple of 27?
True
Suppose -2*m + m = -3. Suppose s = -0*s + m*k - 21, 3*s + 38 = 4*k. Does 20 divide (-4 - s) + (-82)/(-2)?
False
Let x be 4 + 2/2*1. Suppose -2*f = -x*i - 12, -6 = 4*f - i + 6*i. Let c(k) = 23*k + 1. Is 12 a factor of c(f)?
True
Let b(n) = -117*n - 1. Let r be b(1). Suppose 2*z - 41 = h - 199, 296 = -4*z - 3*h. Let q = z - r. Is q a multiple of 16?
False
Let z be 0 - (2*-1)/1. Let k be ((-1)/(-2))/(z/20). Suppose -4*b + 133 = k*h - 17, 64 = 2*b - 3*h. Does 18 divide b?
False
Suppose 10 = 2*f - 3*w - 0, 5*f + 5*w = 0. Suppose -f*d + 18 = -d. Is 19 a factor of (48/d)/((-4)/(-30))?
False
Let j = 16 + -25. Let d be 112/18 - (-2)/j. Is 16 a factor of ((-120)/25)/(d/(-20))?
True
Is 22 a factor of ((-165)/10)/(((-6)/40)/1)?
True
Let j(u) be the first derivative of 2*u**3/3 + 4*u**2 - 4*u + 2. Is j(-6) a multiple of 17?
False
Suppose 0 = -2*w - 1 - 11. Let a = w + 9. Suppose -m + 57 = -a. Is m a multiple of 23?
False
Let b = 17 + -12. Is 23 a factor of 1/b - 4082/(-65)?
False
Let z(v) = v**3 + 11*v**2 + 13*v + 14. Let o be z(-10). Let n = 5 - o. Does 7 divide n?
True
Let q = 1 - -2. Suppose -97 = -4*n + q*s - 2*s, -3*s - 116 = -5*n. Is 15 a factor of n?
False
Suppose 0 = -12*h + 17*h - 205. Is 14 a factor of h?
False
Suppose 2*m - 5*m = 9, -5*k + 4*m = -37. Let l(h) = -3*h**2 + 6*h + 5. Let j be l(k). Let v = j - -63. Does 11 divide v?
False
Let o(y) = -3*y**2 - 3*y - 10. Let u(b) = 13*b**2 + 13*b + 40. Let g(c) = -9*o(c) - 2*u(c). Suppose -p + 0 = 3*f - 4, -3*f - 8 = -2*p. Is 5 a factor of g(f)?
True
Suppose 0*j = j. Suppose -4*z + 5*t + 41 = 0, -2*z + t + 13 + j = 0. Does 3 divide z?
False
Let v = 20 - 3. Is 0 + 2 + v/1 a multiple of 19?
True
Let k(a) = 2*a**2 + 7*a + 6. Let v be k(-4). Suppose 30 = -0*x - 2*x. Is (-144)/x - (-4)/v a multiple of 7?
False
Let o be (2/(-6))/((-1)/27). Let n = o - -3. Is n a multiple of 6?
True
Suppose -j = -0*j - 3. Suppose 0 = 2*s - 4*q - 58, 4*s - 5*q - 20 = j*s. Let u = s - 12. Does 11 divide u?
False
Let d(a) = a**3 + 4*a**2 - a - 4. Let n be d(-4). Let r(w) = w - w**2 + n*w + 25 + 7. Does 16 divide r(0)?
True
Suppose 3*u = -2*v + 574, 8*v - 3*v + 940 = 5*u. Suppose -17 = -4*f - n + 177, -4*f + n = -u. Is f a multiple of 10?
False
Let f = -2 - -4. Let i(y) = 4*y**f - 6*y**3 + y + 4*y**3 + 3*y**3. Is 6 a factor of i(-3)?
True
Let c(x) = 5*x**2 - 4*x - 4. Suppose 11 - 3 = -4*p. Is c(p) a multiple of 18?
False
Suppose -5*l = -4*n + 192, -5*n - 3*l = 2*l - 240. Does 12 divide n?
True
Let s be (-2)/10 + 208/65. Let m(v) = v**3 - 5*v + 4. Is m(s) a multiple of 6?
False
Suppose -j + 4*j = -150. Let x = j + 23. Let s = 60 + x. Is s a multiple of 12?
False
Let v(m) = -m**3 - 9*m**2 - m - 9. Let c be v(-9). Suppose -33 = -c*n - n. Suppose -22 = -5*p + n. Does 5 divide p?
False
Let v = -66 - -96. Does 11 divide v?
False
Let j = 271 - 185. Is 8 a factor of j?
False
Let o = 91 + -17. Is o a multiple of 18?
False
Suppose -2*v = -5*v - 81. Let o = v + 42. Let n = o - 9. Is 6 a factor of n?
True
Let s = -51 - -35. Let d = 46 - 24. Let r = s + d. Is r even?
True
Let h = -25 - -29. Does 4 divide h?
True
Suppose -3*c = -60 + 24. Suppose 4*z - 7*z = c. Does 16 divide ((-41)/(-2))/((-2)/z)?
False
Is (-2)/3 - 227/(-3) a multiple of 25?
True
Suppose -3*u - 58 = -7. Let c = -39 - u. Let r = -12 - c. Does 10 divide r?
True
Is 1292/(-1 - -5) + (-4)/(-2) a multiple of 13?
True
Let i = -24 - -59. Suppose 5*k + 145 + i = 5*w, 5*k - 107 = -2*w. Does 12 divide 