Let o be k(7). Let h(u) = -4 - u + o - u. Does 10 divide h(-6)?
True
Suppose -4*s + 84 + 76 = 0. Suppose s = -10*p + 5*p. Let k = p + 30. Is k a multiple of 11?
True
Suppose 0*g = 3*g - 9. Suppose 0 = -q + 4*n + 8 - 2, -46 = -g*q - 2*n. Is q a multiple of 7?
True
Let g be (628/(-6))/((-4)/6). Suppose -g + 25 = -3*c. Is 22 a factor of c?
True
Is (-3 + 6)/((-3)/(-34)) even?
True
Let c = 4 + -2. Suppose 0*h - c*h = -28. Does 14 divide h?
True
Let c(t) = 8*t - 3. Let n be -2*(2 + -1 + 0). Let p be n/(-6) + 48/18. Is c(p) a multiple of 7?
True
Let v be (-35)/3 - (-10)/15. Let h = 3 - v. Is h a multiple of 9?
False
Suppose 3*n + 12 = 0, -2*l - 5 = 3*l + 5*n. Suppose l*b = 24 + 9. Is 4 a factor of b?
False
Does 6 divide (1/(4/97))/(3/12)?
False
Let i = -7 + 7. Let z(t) = t + 3. Does 3 divide z(i)?
True
Suppose d + 0*d - 7 = 0. Suppose 0 = -3*r - 4*i + 17 + d, 9 = 3*r - i. Suppose 3*f + r*n = 99, -8*f + 132 = -4*f + n. Does 12 divide f?
False
Let r(p) = -3*p**3 + 2*p**2 + 1. Let t be r(-3). Suppose 0*s - 4*s = -t. Is s a multiple of 18?
False
Suppose -18 = -h + 54. Is 9 a factor of h?
True
Let s(y) = y**3 + y + 8. Let f be s(0). Is (-16)/f - (1 - 14) a multiple of 8?
False
Let o = 85 - 62. Is o a multiple of 5?
False
Let q = 6 + -10. Let x = q - -6. Suppose 0 = -x*t + 16. Is 4 a factor of t?
True
Suppose 4*h - 4 - 8 = 0. Let r(a) = a**3 - 4*a**2 + a + 2. Let j be r(h). Let w = -1 - j. Is w even?
False
Let p = 23 + -5. Is p a multiple of 4?
False
Does 22 divide (-693)/42*(-2)/(-3)*-4?
True
Let a be (-3 - -3) + 1*59. Let c = -7 + a. Is c a multiple of 16?
False
Suppose -o - 4*o = -425. Suppose -38 = -3*w + o. Is w a multiple of 20?
False
Let d = -19 - -84. Is d a multiple of 13?
True
Suppose -6 = -2*a + 22. Does 7 divide a?
True
Let q(o) = 18*o + 8. Is q(9) a multiple of 17?
True
Let r(l) = -l - 5. Let w be r(-7). Suppose -5*s = 4*m - 14, -w*s - 4*m = 2 - 10. Suppose s*x - 19 = 1. Is x a multiple of 5?
True
Let l(o) = o**2 - 4*o. Suppose -5*j - 3*x = x - 13, -1 = -2*j - 3*x. Let h be l(j). Suppose -f = -5*f - 16, -h*i + 5*f = -65. Does 5 divide i?
False
Suppose d = -0*d + 29. Does 12 divide d?
False
Let f(t) be the third derivative of t**6/120 - t**5/30 - 5*t**4/24 + t**3/3 - 4*t**2. Let m be f(3). Is 48/5 - m/10 a multiple of 6?
False
Let u = -12 + 0. Is 38*(u/(-4))/6 a multiple of 5?
False
Suppose 0 = r - 6*r + 15. Let q be -1 - (6/r + -1). Does 10 divide (-10 - 0/2)*q?
True
Suppose 45 = 5*m - 4*z, -2*m - 2*z - z = -18. Is 38 a factor of 664/m - (-2)/9?
False
Suppose -5*s - 1 + 16 = 0. Is 15 a factor of 18*s*20/24?
True
Let i be 2*(-2 + 51/(-2)). Let a be i*(-1)/1*1. Suppose -4*g + a = 7. Does 5 divide g?
False
Let p(k) = k**3 + k. Let y(q) = -2*q**3 + 7*q**2 - 3*q**3 + 3 - 12*q + 0*q**3. Let h(f) = 4*p(f) + y(f). Is h(5) a multiple of 13?
True
Let b = -2 + -3. Let s(c) = 5*c - 3*c - 5*c + 5. Is 20 a factor of s(b)?
True
Suppose 4*y + 2 = 2*y. Let v = y - 2. Let r = 3 - v. Does 6 divide r?
True
Let k = 10 + -6. Let j(i) = i**3 + 10*i**2 + 10*i + 11. Let l be j(-9). Suppose -5*d + 4*c + 25 = 0, k*c - 54 = -l*d - 16. Does 6 divide d?
False
Let h be 11/2 - 2/4. Suppose h*l = 0, l - 160 = -4*n + 2*l. Does 20 divide n?
True
Let q be (40/4)/((-6)/(-21)). Suppose 95 = 5*j + q. Does 4 divide j?
True
Let p(t) be the first derivative of t**4/4 + 10*t**3/3 + 7*t**2/2 - t + 1. Let m be p(-8). Suppose -3*v + k = -m - 27, -2*k = v - 42. Does 9 divide v?
False
Let n(x) = x**3 + 6*x**2 - 10*x. Is n(-5) a multiple of 15?
True
Let s(w) = w**2 - 4*w - 3. Is 9 a factor of s(7)?
True
Suppose -4*l = -9*l + 25. Let s(f) = 4*f**3 + 19*f**2 + 25*f - 1. Let g(t) = t**3 + 6*t**2 + 8*t. Let r(p) = 7*g(p) - 2*s(p). Is 3 a factor of r(l)?
False
Let u = 64 + -18. Does 10 divide u?
False
Let m(w) = -7*w**2 - 5*w - 2. Let p(q) = 6*q**2 + 4*q + 1. Let y(s) = 4*m(s) + 5*p(s). Is y(3) a multiple of 5?
True
Let d(w) = w - 19. Let t be d(8). Let r = 92 - 58. Let a = r + t. Does 10 divide a?
False
Suppose 5*a = 5*f - 100, -5*f - 2*a = -31 - 41. Let b = 28 - f. Is 12 a factor of b?
True
Suppose 9*t - 5*t + 16 = 0. Is 3 + 41/(t/(-4)) a multiple of 12?
False
Let y be 0*((-1)/(-2) - 1). Suppose 3*w - w + 4*x = -36, y = -5*w - 2*x - 74. Let g = -6 - w. Does 7 divide g?
False
Let y(l) = 2*l**3 - 4*l**2 - 5*l + 1. Let d be y(4). Let w = d + -28. Is w a multiple of 5?
False
Suppose -4*q = -3*p - 708, 376 = 2*q + 4*p - 0*p. Is 12 a factor of q?
True
Let j(a) be the first derivative of 2*a**2 - 9*a - 10. Is 7 a factor of j(4)?
True
Let a(k) = -k**3 - 2*k**2 + 6*k + 2. Let i be a(-4). Suppose -i*x + 12*x - 90 = 0. Is 25 a factor of x?
False
Suppose 0 = -7*w + 4*w + 6. Suppose 3*x + 99 = -w*j, 6*j - 5*x = 2*j - 209. Let y = j + 95. Does 15 divide y?
False
Suppose -1101 = -5*j - 341. Is 10 a factor of j/12 + (-2)/3?
False
Suppose -2*j = -4*i - 42, 5*j = 3*i - 21 + 147. Does 4 divide j?
False
Let k be 2/4*0/(-2). Suppose 0*w - 4*w + 56 = k. Is 5 a factor of w?
False
Suppose -s + 0*w = -w - 94, -12 = 3*w. Does 10 divide s?
True
Let d(x) = x**2 - 15*x + 12. Let s = -18 + 33. Is 12 a factor of d(s)?
True
Let b(i) = i**3 - 13*i**2 + 4*i - 19. Is 6 a factor of b(13)?
False
Let a(k) = k**3 - 11*k**2 + 6*k - 16. Let i be a(13). Suppose -i = -5*y + y. Is y a multiple of 17?
False
Suppose 5*c - 326 = -86. Is 12 a factor of c?
True
Let d(j) = 2*j**2 - 4*j - 2. Does 17 divide d(7)?
True
Let v be ((-8)/(-12))/(2/(-6)). Let d = 0 - v. Suppose -t = 3*j - 68, d*j - 5*t + 130 = 7*j. Does 11 divide j?
False
Let i = -16 + 49. Is 11 a factor of i?
True
Let c(d) = d + 17. Suppose 0*p + p = 0. Does 17 divide c(p)?
True
Let h(k) be the first derivative of 5*k**2 - k - 3. Is 9 a factor of h(1)?
True
Let b = 42 - 40. Let w(y) = y**2 - 7*y + 9. Let r be w(6). Suppose 3*x - b*x + r = v, -x = -2. Is v a multiple of 5?
True
Suppose -3*g - 4 = -5*c, -4 = -5*c + 6. Suppose 2*a + g*a = 832. Suppose f + a = 5*f. Does 21 divide f?
False
Let g = 185 - 113. Is 24 a factor of g?
True
Let x(n) = -n**3 + 5*n**2 + 12*n - 10. Let w be x(5). Suppose 3*h - 7*h = 72. Let j = w + h. Does 14 divide j?
False
Suppose -2*l - 1 = 3*s - 4*s, 4*s - 2*l = -8. Let m = -4 - s. Let n = 13 + m. Does 6 divide n?
True
Suppose -5*k - 3*x = -16 - 39, -2*k + 22 = -4*x. Is 11 a factor of k?
True
Let d(b) = -4 - 4*b - 5*b + 1. Is 12 a factor of d(-3)?
True
Let h(a) = -a**3 + 7*a**2 - 6*a + 2. Let v be h(6). Let x(p) = 5*p**2 + 1 - 3*p**v + 2*p**2 + 9*p**2 - 2*p. Does 6 divide x(1)?
True
Is 27/6*624/18 a multiple of 39?
True
Does 13 divide 49 + (-3)/(-1) - (-2 - -2)?
True
Let n(w) = -2*w**3 - 6*w**2 + w + 4. Let u be n(-4). Let x = -12 + u. Is x a multiple of 7?
False
Suppose -3*p - 5 = -2. Let t be p/(-5) - (-128)/10. Suppose 0 = 5*l - t - 22. Does 4 divide l?
False
Let a(l) = 3*l**2 - 6*l + 27. Is 60 a factor of a(10)?
False
Let d be (0 - -14)*(-2 + 3). Suppose 5*r + 5*x - 58 + 13 = 0, -35 = -5*r + 5*x. Let n = d - r. Does 6 divide n?
True
Suppose -6*p = -395 - 997. Is 36 a factor of p?
False
Suppose -5 = -g - 0*g. Let v(i) = -i**3 + 5*i**2 + 3*i + 2. Let p be v(g). Is 8 a factor of 2/((-15)/p - -1)?
False
Let v(a) be the first derivative of a**4/4 + a**3/3 + 18*a + 4. Let d(t) = t**2 - 10*t. Let l be d(10). Is v(l) a multiple of 18?
True
Let m = 196 + -108. Suppose 4*t - m = 8. Is 12 a factor of t?
True
Let w(i) = 20*i + 16. Is w(9) a multiple of 40?
False
Suppose -w - 4 = -12. Does 2 divide 0/(-1) + w*1?
True
Suppose 26*q - 28*q + 84 = 0. Does 21 divide q?
True
Let a = 29 - 6. Suppose 2*k - a = -3*l + 17, -25 = -4*l + 3*k. Is 4 a factor of l?
False
Suppose 4*v - 1 - 7 = 0. Let r(d) = -d**2 + 4*d - 3. Let s be r(v). Is 5 a factor of (-1 - (-13 + 2)) + s?
False
Let w(y) = -y - 3. Let q be w(-5). Let t(s) = -s + 4. Let a be t(0). Suppose a = h - q. Is 3 a factor of h?
True
Let d(x) = -4*x - 1. Suppose 3*o = -2*t - 3 - 3, 0 = -5*o + t - 10. Let v be d(o). Suppose z + 13 = 2*j, -v*j + 3*j + 20 = -4*z. Does 8 divide j?
True
Let u be (12/(-2))/((-9)/6). Suppose u*s = -s + 210. Suppose -v = 4*f - 43, 0*f + 4*v = -3*f + s. Does 10 divide f?
True
Let r(c) = 2*c**2 - 5*c - 4. Let u(p) = -2*p + 6. Let t be u(5). Let y be r(t). Suppose n + 3*n = y. Is 12 a factor of n?
True
Suppose a - 4*x - 1 = -0*a, 0 = -5*a - x - 16. Does 18 divide (a + 3/2)*-24?
True
Let w be 2 + 0 