se
Let q(o) = -3*o**2 + 27*o - 23. Let g(t) = 4*t**2 - 40*t + 35. Let j(c) = -5*g(c) - 7*q(c). Let k be (-13)/1 + (-15)/15. Does 7 divide j(k)?
True
Suppose t + 2*q - 4 = 0, -4*t - 5*q = -0*t - 13. Suppose -191 = f - t*f. Suppose 0 = -c + 5, -f = -4*u + 4*c + 113. Is 27 a factor of u?
True
Suppose 0 = -2*p - 4*i + 240, 12 = 3*i + 27. Is p a multiple of 3?
False
Let a = 1469 - 656. Does 7 divide a?
False
Does 66 divide -4 + (0/1)/2 - -70?
True
Suppose -6 = -2*n - 4*s, -4*n + 5*s = -6*n + 5. Suppose -429 = -n*h + 1. Is (-1 - 0)/((-2)/h) a multiple of 19?
False
Suppose 0 = -39*x + 40*x - d - 987, -5*x + 4927 = 3*d. Is 17 a factor of x?
True
Suppose -2*n + 235 = 55. Is 3 a factor of n?
True
Let f(i) = 8*i + 109. Does 2 divide f(-7)?
False
Let h(s) = s**3 + 15*s**2 + 34*s + 16. Is 12 a factor of h(-8)?
True
Does 34 divide 1255 - (1 + 15/(-1 - 2))?
False
Suppose -2673 = 3*i - 12*i. Is i a multiple of 10?
False
Let l(g) be the first derivative of -g**4/4 + 8*g**3/3 + g**2 - 2*g + 4. Let s be l(7). Suppose -2*d = -v - v - 22, 5*d - s = -v. Is 6 a factor of d?
True
Let a be (-16696)/(-120) - (-2)/(-15). Let b = -56 + a. Does 18 divide b?
False
Suppose 0 = -m, 5*a - 261 + 81 = -5*m. Is a a multiple of 18?
True
Let n be 21*3/9 - 2. Suppose -6*p + 2*y = -p - 19, n*y = 15. Suppose -3*u + 28 = -0*u + p*z, -4*u - 3*z = -52. Is u a multiple of 10?
False
Suppose 15 = -2*d + 7*d. Let j = d - -44. Is 8 a factor of j?
False
Let f(y) = 14*y - 7*y + 8*y + 10. Is 19 a factor of f(11)?
False
Let q be (-15)/10*(-4)/(-3). Let l be 3 - 31/q*2. Suppose 52 + l = 2*d. Is d a multiple of 10?
False
Let j be (0 - 6)*4/(-8). Let a be j/(-4) + (-1813)/(-28). Suppose 0 = 2*i - 2*s - a, 5*i + s - 148 = 3*s. Does 10 divide i?
False
Suppose -v = 72 - 100. Suppose 62 - 10 = 4*h - t, -5*t + v = 4*h. Does 3 divide h?
True
Let m(s) = 62*s + 46. Does 16 divide m(14)?
False
Let j(v) be the third derivative of 2/3*v**3 + 0*v + 0 + 5*v**2 + 5/6*v**4. Does 16 divide j(3)?
True
Suppose -26 = 9*z - 287. Is z a multiple of 4?
False
Let t be ((-10)/(-6))/((-9)/(-27)). Suppose t*x - 5*r = -20, -4 = -3*x - 0*x - r. Suppose 2*s + 5*o - 75 = 2*o, x = 5*o + 15. Is s a multiple of 11?
False
Suppose 8370 = 40*j - 4710. Is 14 a factor of j?
False
Let w be 6 - ((6 - 0) + (-2 - 2)). Suppose -427 = -w*j - 107. Is j a multiple of 8?
True
Let x = -6851 + 13115. Is x a multiple of 87?
True
Let o(p) = 1. Let u(d) = d - 12. Let l(x) = 6*o(x) + 2*u(x). Let q be l(8). Does 21 divide (-4)/q + -13 + 32?
True
Suppose -34*r + 37*r = 1251. Does 5 divide r?
False
Let b(g) = -21*g + 51. Is 83 a factor of b(-20)?
False
Suppose -l + 4 = 1. Suppose -2*p - 4 = 0, -3*p = -l*z + 23 + 10. Is (-2)/(0 + (-6)/z) even?
False
Suppose 26 = 2*q + 3*u + 7, 5*q - 37 = 3*u. Let z be 36/9 - (-1 + 6). Let s = q - z. Is 3 a factor of s?
True
Is ((-2)/8*-2)/(5/2060) a multiple of 34?
False
Let i be (-1 + 114/4)*8/(-5). Let z(c) = 10*c - 1. Let t be z(-1). Is 8/i + (-222)/t a multiple of 7?
False
Suppose -72 = -12*d - 0*d. Does 3 divide (16/6)/(2/d)?
False
Let h = 1605 - 1083. Is 75 a factor of h?
False
Suppose 2*o - 5*o - 7779 = -3*f, -3*o + 12957 = 5*f. Is 32 a factor of f?
True
Suppose -3*j - 912 = -0*d - 3*d, -5*d + 2*j = -1529. Is d a multiple of 57?
False
Suppose -26*d + 28*d + 6 = 0, -5*i + 3969 = -3*d. Does 9 divide i?
True
Let r(v) = v**3 + 8*v**2 + 4*v + 6. Suppose -5*m - 2 = -17. Let f(w) = -w**3 + w**2 + 3*w + 4. Let y be f(m). Is r(y) a multiple of 16?
False
Let d(r) = -r**3 + 7*r**2 - 5*r - 7. Let o be 0 - -2 - 4/(-1). Let s be d(o). Does 15 divide (-30)/(-4)*(1 - s)?
True
Let j = -687 - -1342. Is j a multiple of 43?
False
Suppose 4*d + 43 = 5*w, 35 = -3*d - 4*w + 5*w. Let l = 64 + d. Suppose u = l - 3. Does 11 divide u?
False
Suppose -14*i = -17*i - 18. Let n(v) = -v**3 - 9*v**2 - 9*v - 3. Let j be n(i). Let p = j - -84. Is p a multiple of 27?
True
Let u = -257 + 260. Suppose 0*i = i + 2. Is 6 a factor of u/i + 133/14?
False
Let k be (15 + -14)*118/2. Suppose 3*i = 2*s + 44, -8*i - s + k = -5*i. Is 13 a factor of i?
False
Suppose -5*c + 175 = 5*y, -10*y + 7*y - 3 = 0. Is c a multiple of 9?
True
Let a(d) = 2*d**2 + 6*d + 6. Suppose 4*s = 2*s, 5*s = -3*h - 18. Let g be a(h). Let z = g + -17. Is 5 a factor of z?
True
Let h = 3101 - 1367. Is h a multiple of 17?
True
Let t(l) = -2*l**3 + 21*l**2 - 27*l - 16. Let y(m) = 3*m**3 - 31*m**2 + 40*m + 24. Let v(x) = 8*t(x) + 5*y(x). Is 4 a factor of v(11)?
False
Suppose -6*q - 2*q = -144. Let b = q - -2. Does 16 divide b?
False
Suppose i - 15 = -4*r, -5*r = 5*i - i - 27. Suppose -i = -t, -5*g - t = -4*t + 9. Does 7 divide (g/2 - -25) + 3?
True
Let i(v) = v**2 - 20*v - 149. Is i(36) a multiple of 24?
False
Let p be (-8)/(-3)*((-3)/(-2) + 0). Suppose 0 = -4*d - 4*k + 284, -281 = -p*d + k - 2*k. Does 13 divide d?
False
Suppose 202*o = 200*o + 82. Suppose j = f + 3*f - 22, -4*f - 110 = 5*j. Let t = j + o. Is 12 a factor of t?
False
Is 59 a factor of ((-2038)/(-6))/(9/(-486)*-6)?
False
Suppose v + 4*h = 1078, 0 = 6*v + 7*h - 12*h - 6381. Is 53 a factor of v?
False
Let a(p) be the third derivative of p**5/24 - p**4/6 - p**3/2 - 5*p**2. Let q(x) be the first derivative of a(x). Is 2 a factor of q(2)?
True
Let x(l) = -l**2 + 8*l - 8. Let i = 15 + -9. Let o be x(i). Suppose -2*c - o*g + 54 = 0, 5*c - 3*g = 41 + 133. Is c a multiple of 8?
False
Suppose 2*c = -d + 729, 0*c - 723 = -2*c + 5*d. Suppose -f = 8*u - 3*u - c, -5*u = 2*f - 368. Suppose -4*b + 28 = -u. Is 7 a factor of b?
False
Suppose -5*f - 730 = -0*f. Let i = -44 - f. Suppose 4*o - i = 122. Is 28 a factor of o?
True
Let d(q) be the second derivative of -q**5/4 - q**4/2 - q**3/2 + 4*q**2 - 5*q. Is 14 a factor of d(-3)?
True
Suppose -4*z + 632 = -72. Is 6 a factor of z/6 - 28/(-42)?
True
Let h = 251 - 13. Is 5 a factor of h?
False
Let o = 30 + -50. Let k = -70 + o. Does 28 divide (56/10)/((-9)/k)?
True
Suppose -44 = -2*c + 2*q, -3*c + 58 = 2*q - q. Suppose -70 = -c*k + 15*k. Is k a multiple of 14?
True
Suppose 42 - 717 = -3*v. Suppose m = -2*m + v. Is m a multiple of 14?
False
Let g be (0 + 1)*(5 + -3). Suppose g*b = 7*b - 345. Is 23 a factor of b?
True
Let g(n) = n**3 - 8*n**2 + 4*n + 12. Let k be g(8). Let r = 74 - k. Is r a multiple of 10?
True
Let p be (-3)/(-5) - (-291)/15. Suppose i - r = 0, 2*i - 5*r - 8 = -p. Is i a multiple of 3?
False
Suppose 2*g - 232 = -a, 248 = 4*g - 5*a - 188. Is g a multiple of 3?
True
Let m(r) be the first derivative of 5*r**3 - 3*r**2/2 + 4*r - 3. Let y be m(3). Suppose -90 = -3*x + 4*v, v - 3*v = -4*x + y. Is 12 a factor of x?
False
Let f be ((-3)/(-2))/(12/(-64)). Let a be -23 + 5/((-20)/f). Let g = 64 + a. Is 19 a factor of g?
False
Let i = -15 + 24. Let g = i - 5. Suppose g*o - 51 = -3*h, -5*o = -h + 5 - 45. Does 6 divide o?
False
Let x be -4*((-828)/16 + 2). Let h = x + -127. Does 16 divide h?
False
Let z be (-36)/10 + 10/(-25). Is 2 + z + 2 - -19 a multiple of 15?
False
Let f(n) = n**3 - 14*n**2 + n - 10. Let u be f(14). Suppose -2*b + 159 = 5*q, -2*b - 181 = -5*b + u*q. Does 12 divide b?
False
Let v(j) = 48*j - 40. Is v(2) a multiple of 4?
True
Let l be (-3)/(7/(1162/(-6))). Let a be (2 - (2 + -2)) + 2. Suppose -m - 23 = -u + a, 4*u = -m + l. Does 11 divide u?
True
Let o(v) = -37*v**3 - v**2 + 2*v + 6. Does 24 divide o(-2)?
False
Suppose s + 12 = 5*x, -x + 14 - 2 = -5*s. Does 18 divide s*(-1 + -4 - 4)?
True
Suppose 3533*q - 3535*q + 2356 = 0. Is q a multiple of 31?
True
Let r(c) = -c**3 + 13*c**2 + 4*c - 23. Suppose 2*z - 4*q - 22 = 0, 2*z - 3*q = -3*z + 62. Is r(z) a multiple of 4?
False
Is 33 a factor of 5085/7 + 57/(-133)?
True
Does 12 divide (-2)/6 - (-114455)/33?
True
Let w(p) = 11*p**2 - 20*p - 81. Does 6 divide w(-7)?
False
Suppose 4*l - 3*l - 2 = 0. Suppose -l*c = 2*c - d - 69, 5*c = 2*d + 84. Is c a multiple of 6?
True
Let m = 384 + -152. Let f = m - 69. Is 19 a factor of f?
False
Suppose -6*h + 200 = 86. Is h a multiple of 11?
False
Suppose 2*k + 0*u - 29 = 3*u, -20 = -4*u. Let o = k - 19. Suppose m - 10 = o. Is m a multiple of 3?
False
Suppose -l + 4*f + 1246 = 0, -3*f + 3753 = 175*l - 172*l. Does 82 divide l?
False
Let n(s) be the first derivative of s**4/4 + 8*s**3/3 - 5*s**2 + 9*s + 1. Let w = -14 - -5. Does 6 divide n(w)?
True
Suppose 38 = 5*a - 17. Let q = a + -12. Is (-108)/(-