 - 6*l**2 - l + 6. Does 5 divide i(-6)?
False
Let l be (-4)/3*225/6. Let q be 11*2*1/(-2). Let b = q - l. Is b a multiple of 13?
True
Let o be ((-12)/9)/((-2)/36). Suppose 2*d = -4*f - 0*d + 96, -o = -f - 4*d. Does 12 divide f?
True
Suppose 0 = 3*x + 2*x - 65. Let b(o) = 4*o - 1 + x*o**3 - 4*o. Is 12 a factor of b(1)?
True
Suppose 2*z + 617 = 8*r - 3*r, 5*r - z = 621. Does 30 divide r?
False
Let d(k) = -k - 4. Let h be d(-4). Suppose t = -h*t + 32. Is 16 a factor of t?
True
Let w(p) = 7*p**2 - p. Let y be w(-1). Suppose 4 = 2*j, 0 = z - 2*j - 2*j - 18. Suppose 5*t + 2*k = 32, -z = -5*t - 4*k + y. Is t a multiple of 4?
False
Let w(p) = 6*p - 1. Let t be w(1). Let a(c) = -4 - 2 + c + 4*c - 1. Does 18 divide a(t)?
True
Let j(l) = 2*l - 4. Let b be j(5). Let p(r) = -2*r**3 + r**2 - 29*r - 15. Let t(u) = -u**3 + u**2 - 14*u - 7. Let m(w) = 6*p(w) - 13*t(w). Does 11 divide m(b)?
False
Suppose -100 + 280 = -5*g. Let s = 84 + g. Is 24 a factor of s?
True
Suppose 4*z - 123 = -23. Does 12 divide z?
False
Suppose -2 = 5*f - 32. Is f even?
True
Suppose 280 = -16*n + 18*n. Does 20 divide n?
True
Let a = 3 + 5. Does 4 divide a?
True
Let b = -48 - -114. Is b a multiple of 17?
False
Suppose n - 2*n - 9 = -f, 0 = -f + 3*n + 17. Does 2 divide f?
False
Let u(f) = 8*f**2 - 3*f + 2. Let b be u(2). Let s = 63 - b. Is 14 a factor of s?
False
Let d = 5 - -8. Does 7 divide d?
False
Suppose -4*h - 83 = -4*f + 89, 2*h = 3*f - 128. Let t = f - 15. Does 8 divide t?
False
Let l(j) = j**2 + 6*j - 2. Let x be l(-7). Let o = x - 3. Suppose o*p = 21 + 25. Is 9 a factor of p?
False
Suppose 16 - 2 = 2*m. Let r(k) = -3*k**3 - 11*k**2 - 3*k - 9. Let o(x) = 4*x**3 + 16*x**2 + 5*x + 13. Let w(n) = m*r(n) + 5*o(n). Is 7 a factor of w(-2)?
True
Suppose 2*d = 47 - 9. Is d a multiple of 9?
False
Let x(w) be the first derivative of 5*w**2/2 - 8*w + 2. Is 18 a factor of x(6)?
False
Let o(u) = -u**2 - u - 54. Let l be o(0). Let h = l - -120. Is 33 a factor of h?
True
Let s(r) = -r**2 - 2*r + 3. Let f be s(4). Suppose 4*x - 41 - 83 = 0. Let n = f + x. Does 5 divide n?
True
Let h(k) = 9*k - 3. Let d(m) = m**3 - 7*m**2 + m - 3. Let y be d(7). Let q be (-6 + 5)/((-2)/y). Is h(q) a multiple of 15?
True
Let f(p) = -10*p + 2. Is 16 a factor of f(-5)?
False
Suppose -k - 32 = -4*o + 2*k, 0 = k + 4. Suppose o*b - 95 = -5*h, 5*b = 2*h - 0*h - 45. Does 9 divide h?
False
Suppose -5*m - 4*z = -53, -2*m + 7 = -4*z - 3. Is 9 a factor of m?
True
Let o(p) = p**2 + 2*p - 3. Let s be o(-3). Suppose s*q + 12 = 3*q. Suppose 4*a = -2*k - 3*k + 108, 0 = -q*k - a + 82. Is 10 a factor of k?
True
Let o(t) = 0 + 0*t + 2 + 0*t + t. Is 15 a factor of o(13)?
True
Let g = -228 - -410. Is g a multiple of 42?
False
Suppose 0 = 5*r - 4*k - 18, -r + 3*k = -2*r - 4. Let i be (-131)/(-4) + (-2)/(-8). Suppose 9 + i = r*d. Is d a multiple of 15?
False
Let r(h) = h**3 - h + 35. Let p be (-18)/36*(-1 - -1). Is r(p) a multiple of 9?
False
Let t(i) be the second derivative of -i**5/20 - i**4/6 + 4*i**3/3 + 3*i**2 - 7*i. Does 34 divide t(-6)?
True
Let r(t) = -t**3 + t**2 - t + 38. Is 19 a factor of r(0)?
True
Suppose 0 = 2*i - 7 - 1. Suppose -61 = -i*f - 1. Is f a multiple of 15?
True
Let j(n) = -n**3 + 5*n**2 + n. Let y be j(4). Suppose 5*w = -y, 0*f + 4*f + 2*w - 236 = 0. Does 23 divide f?
False
Let q(f) = -f + 1. Suppose -y - 5 + 1 = 0. Does 2 divide q(y)?
False
Let s(k) = 7*k**2 - 4*k + 2. Is s(2) a multiple of 11?
True
Let v(p) = -16*p**3 - p**2 - p + 1. Does 2 divide v(-1)?
False
Let x = 6 + -2. Suppose 568 + 191 = 3*m. Suppose g - o - 38 = x*o, m = 5*g - 4*o. Does 14 divide g?
False
Let c = 565 - 245. Is 32 a factor of c?
True
Let i(p) = -p**2 - 15*p - 18. Let w be i(-13). Suppose 0 = l - 0*l - w. Is 4 a factor of l?
True
Let c = 14 + -2. Let j(p) = -p**3 + 13*p**2 - 9*p - 12. Is j(c) a multiple of 8?
True
Let o be (-92)/(-20) + 4/10. Suppose 174 = o*j - 56. Does 27 divide j?
False
Suppose b - 468 = -5*b. Is b a multiple of 26?
True
Let y(g) be the third derivative of -41*g**4/24 - 7*g**3/3 + 2*g**2. Let z(n) = 14*n + 5. Let x(h) = -4*y(h) - 11*z(h). Does 18 divide x(5)?
False
Let l(j) = -j - 13. Let x(y) = -4*y - 64. Let i(n) = 14*l(n) - 3*x(n). Is i(-8) a multiple of 10?
False
Let g(p) = p**2 + 2*p - 1. Let o be g(-3). Suppose c + 4*u = 3, -4*u + 3 = o*c + u. Is c + 19 + -4 + 5 a multiple of 18?
False
Suppose 4*t - 4*k - 236 = 0, -2*t = t + 4*k - 205. Is t a multiple of 7?
True
Let i = -29 - -37. Is 8 a factor of i?
True
Let j be 1*10*(-2 - -1). Let w be 2/2*j/(-5). Let g(h) = 5*h**2 - 2*h - 1. Does 5 divide g(w)?
True
Let y = 13 + -9. Suppose -3*i - 2 + 8 = 0. Suppose -44 = -i*j - y. Is 10 a factor of j?
True
Let q(t) = t**2 - 1. Let z be q(-3). Is 64/(-10)*(-20)/z a multiple of 8?
True
Let m(s) = s**2 - 9. Suppose -4*z = -j + 16, -4*z - 14 = 2*j + 2. Is m(z) even?
False
Is 20 - (6/4)/((-4)/8) a multiple of 2?
False
Suppose -4*r + 2*p + 3*p + 14 = 0, 2*p - 4 = 0. Suppose v = r*v - 35. Is 3 a factor of v?
False
Let h = -18 + 33. Is 3 a factor of h?
True
Let s(i) = i - 7. Let d be s(14). Suppose -d*g = -3*g - 184. Does 15 divide g?
False
Let t be 0/(3 + -6 + 4). Let l = 8 - t. Does 4 divide l?
True
Let l(s) = 5*s - 3. Let r be l(3). Suppose -3*i - r = -6*i. Is 4 a factor of i?
True
Let i = 12 - 28. Let l = 28 + i. Does 4 divide l?
True
Let u(k) = 3*k**2 - 2*k. Let g be u(5). Suppose -7 = -3*t + g. Does 12 divide t?
True
Suppose -8 = 2*d - 4*d. Suppose -21 = -d*k + 43. Does 8 divide k?
True
Suppose 0 = -2*d - d - 3. Let q(g) = -8*g - 5. Let c(x) = -2*x - 1. Let p(z) = 9*c(z) - 2*q(z). Is p(d) even?
False
Let z(q) = q**2 + q + 60. Let v be z(0). Suppose k - 3*k + v = 0. Is k a multiple of 16?
False
Suppose -8 = -2*l, 0 = 4*r + r + 2*l - 693. Does 14 divide r?
False
Suppose 3*i - 3*m - 56 = -5*m, -4*i + 78 = m. Is 6 a factor of i?
False
Let l = 106 + -49. Let z = l + -25. Is z a multiple of 16?
True
Let b(g) = -g**3 + 4*g**2 + 11*g + 3. Let h be b(6). Does 10 divide 1 + (h + -6)*-1?
True
Suppose -x + 6*x + 2*d + 21 = 0, 0 = x - 4*d - 9. Let u = -17 - x. Let i = -1 - u. Is 13 a factor of i?
True
Let x = 77 - 31. Let g = x - 27. Is 6 a factor of g?
False
Suppose 3*p - 5*w - 6 = -p, -4*p + 4*w = -8. Suppose -p*x = y - 4 + 1, 2*x + 3*y + 1 = 0. Is -2 + x + 15/1 a multiple of 7?
True
Let z = 105 - 87. Is 4 a factor of z?
False
Suppose -2*w = -w. Suppose w*r = -2*r + 34. Is 8 a factor of 1 + -2 + r/1?
True
Suppose -4*v - 2*f = -60, 4*f = -3*v + 2*f + 46. Is 5 a factor of v?
False
Let a(y) = -y**3 - 9*y**2 - 8*y + 2. Let h be a(-8). Is 7 a factor of 284/18 - h/(-9)?
False
Let h(i) = i - 1. Let g(f) = 13*f - 6. Let y(w) = -g(w) + 4*h(w). Does 16 divide y(-5)?
False
Suppose -b = -6*b + 940. Does 39 divide b?
False
Suppose 4*f = 3 + 9. Is 15 a factor of ((-18)/8 + f)*60?
True
Let l(q) = 25*q - 5. Let j be l(5). Let m = j - 53. Is 21 a factor of m?
False
Let m(a) be the first derivative of -a**3/3 - 3*a**2 + 6*a - 1. Let g be m(-6). Is 232/g - (-4)/(-6) a multiple of 19?
True
Suppose -4*x + 2 = -3*t, t = -3*t - 2*x - 32. Let w = -1 - t. Suppose -w*o = -5*d + 120, -5*d + 118 = o - 5*o. Is 7 a factor of d?
False
Let l = 17 - 9. Let y(o) = 16*o + 4. Let w be y(l). Let a = w + -94. Is a a multiple of 19?
True
Let i be (18/(-4))/(6/8). Let d be (2 - i)/(2/5). Suppose b - 5*b + d = 0. Is b a multiple of 2?
False
Let n = 8 + -2. Does 9 divide (n/(-4))/((-4)/24)?
True
Suppose 2*a - 3*a - 3*o + 43 = 0, 4*o = 5*a - 234. Let x be a/(-8) + (-2)/8. Is ((-18)/(-15))/(x/(-100)) a multiple of 10?
True
Suppose -19*i - i = -4320. Does 8 divide i?
True
Is 8 a factor of (13 - 14)/(2/112*-1)?
True
Let j be 54 - -1*(-3)/3. Let m = 108 - j. Does 4 divide (m/(-10))/((-2)/4)?
False
Let i be ((-1)/2)/((-6)/60). Is 5 a factor of (-12)/i*(-20)/6?
False
Suppose 4*l = -3*v + 43, -3*l - 3 = 4*v - 72. Suppose -d - i = -11, -6*d + i = -3*d - v. Is d a multiple of 4?
True
Suppose d + d = 188. Does 16 divide d?
False
Let z(l) = l**2 + 6*l + 9. Let h be z(-6). Let m(t) = t**3 - 9*t**2 - t + 12. Let o be m(h). Suppose -o*y + 4 + 98 = 0. Is y a multiple of 17?
True
Suppose t + 15 = 39. Suppose 3*m = -f - 28, -2*m - f = f + t. Does 8 divide m/3*(-1 + -2)?
True
Let l(m) = m**3 + m. Let t be l(0). Suppose t = -5*b + w + 131, 0 = b + b - w - 50. Is 16 a factor of b?
False
Let