1 = -i + b, 2*b + 9 - 1 = 0. Let n = i - c. Is n a multiple of 21?
False
Suppose u + 9 = 4*h - 9, -5*h + 21 = -2*u. Let x(p) = 3*p - 4. Is x(h) a multiple of 11?
True
Does 10 divide 24/40 - (-394)/10?
True
Let w = -10 - -62. Does 12 divide w?
False
Suppose -62 - 133 = -3*r + 3*j, -4*j = -2*r + 122. Suppose -5*f - r = -264. Does 13 divide f?
True
Let w be (-1)/(-4) + 779/4. Suppose -3*l - o - 183 = -0*o, -w = 3*l + 5*o. Let r = -43 - l. Does 17 divide r?
True
Let y = -16 - -9. Let l(o) be the third derivative of o**6/120 + o**5/10 - o**4/3 + o**3/3 - 2*o**2. Is l(y) a multiple of 9?
True
Let r = 8 - -13. Let f = r - 12. Is f a multiple of 6?
False
Suppose 0 = 2*d - 6. Suppose d*t + 3 = 63. Let m = 3 + t. Is 8 a factor of m?
False
Suppose 3*n + 3*d = -2*n + 42, 3*n - 3*d = 6. Let b = 8 - n. Does 2 divide b?
True
Let r(g) = -g**3 + 19*g**2 + 22*g - 6. Does 7 divide r(20)?
False
Let g = 89 + -35. Suppose 0 = -f + 26 + g. Suppose 0*o = 5*o - f. Does 7 divide o?
False
Let l(h) = -h**3 + 14*h**2 - 10*h - 14. Let f be ((-24)/(-2) - -2) + -1. Is 6 a factor of l(f)?
False
Let q(i) = -i**3 + 6*i**2 - 6*i + 5. Let r be q(5). Is 26 a factor of 2 + (r + -3 - -39)?
False
Let l = 424 + -292. Is l a multiple of 33?
True
Suppose -5 - 7 = 2*s. Does 6 divide (72/(-14))/(s/28)?
True
Let l be 44 + -2 + (-2 - -1). Suppose -l = -y + 4. Does 15 divide y?
True
Suppose 4 = -4*v, -i - 5 = -3*i + 5*v. Suppose -2*x + 2*b = -130, -x - x + 5*b + 145 = i. Does 20 divide x?
True
Does 11 divide 48 + (-3 + 5 - 4)?
False
Let t = 24 + -34. Let f = t + 22. Does 6 divide f?
True
Is 16 a factor of (256/12)/(8/12)?
True
Suppose -4*p - 40 + 8 = 0. Is (-4)/(p/3)*10 a multiple of 13?
False
Let v(n) = -6*n**3 - 3*n**2 - n + 4. Is v(-2) a multiple of 14?
True
Let k(v) = -v - 4. Let p be k(-3). Let l be (-5 - -2) + (104 - p). Suppose 3*o = 3*t - 90, -6*t + 3*t - o = -l. Does 11 divide t?
True
Let s(u) = 3*u + u**3 + u**2 + 0 + 1 - 4*u. Let f be s(1). Suppose -2*v - f*v = -80. Does 10 divide v?
True
Let v(t) = t**2 + 6*t - 3. Is 12 a factor of v(-9)?
True
Suppose 3 = 3*c, -2*f - 22 = -2*c + 10. Let a = -9 - f. Is a a multiple of 3?
True
Suppose l + 280 = 3*l. Suppose -2*c = -0*c - l. Is c a multiple of 24?
False
Let p = -19 - -63. Let f = -24 + p. Does 20 divide f?
True
Let f(y) be the second derivative of y**4/12 + y**3/6 - 25*y**2/2 + 2*y. Let a be f(0). Let x = 43 + a. Is x a multiple of 11?
False
Does 5 divide 42*9/24*12/9?
False
Let v(h) = -1 - 4*h + 1 + 3*h + 1. Is v(-6) a multiple of 3?
False
Let c be (-1)/(-2 + 39/21). Suppose 5*z + c = 2, -s + 2*z = -4. Suppose s + 15 = b. Is b a multiple of 12?
False
Suppose 0 = -y - 4*n - 18, y + 4*y - 5*n - 10 = 0. Let x be -18*1 + 4 + y. Does 5 divide ((-21)/(-14))/((-2)/x)?
False
Suppose -3*g + 35 = 2*g. Suppose 2*u = 3*q - g, -u + 2*q - 3 = -0*u. Is (-8)/(-20) - 128/u a multiple of 12?
False
Let b(a) = -a - 5. Is b(-10) a multiple of 4?
False
Let q(f) be the second derivative of -f**5/5 + f**3/2 + 3*f**2/2 + f. Let c be q(-2). Suppose c = 3*i - 16. Is 4 a factor of i?
False
Suppose -4*b + 2*b - 88 = 0. Does 3 divide b/(-10) + 18/(-45)?
False
Let h(z) = -z**2 + 5*z + 5. Let d be h(5). Suppose -o + g - 546 = 2*o, -4*g - 910 = d*o. Does 9 divide (-2)/10 + o/(-10)?
True
Suppose 2*l = -2*b + 12, 0 = -l - 4*l - 4*b + 33. Let j(a) = 2*a**2 - 15*a - 13. Is 14 a factor of j(l)?
True
Suppose -4*j = j. Suppose n = -f - 1, -5*f - 2*n = -j*n - 1. Is (f/2 - 1)*-26 a multiple of 10?
False
Suppose -51*t = -48*t - 702. Is 10 a factor of t?
False
Let f = 191 + -31. Does 16 divide f?
True
Let y(t) be the first derivative of t**3/3 + 3*t**2/2 - 4*t - 2. Let s be y(-6). Suppose 0*u + 3*p = -u + s, 0 = 2*u + 5*p - 25. Does 3 divide u?
False
Let a be 1*(-2 + 1) - 13. Is a/((-3)/(3 + 0)) a multiple of 7?
True
Suppose -4*j + d + 56 = 13, 2*j = -4*d + 8. Is 5 a factor of j?
True
Let a be (20/(-30))/(4/6). Is 7 a factor of 19 - 1 - 3/a?
True
Let m be -2 + 7 - 2/(-2). Let l = 10 - m. Is 4 a factor of l?
True
Let p(t) = t**3 + 13*t**2 - 1. Is 31 a factor of p(-12)?
False
Let q = 4 + -1. Let x be 2 - 3 - (-15)/q. Suppose 4*z - 64 = x*n, -3*z + 56 = -4*n + 3*n. Does 6 divide z?
False
Suppose 4*s = 439 - 159. Is 35 a factor of s?
True
Let g(q) be the second derivative of -q**4/12 - 2*q**3/3 + q. Let c be g(-3). Suppose 2*f = -4*b + 6, 2*b - c = -f - b. Does 2 divide f?
False
Does 14 divide 152 + 15/(-10)*2?
False
Let y = 5 + -1. Suppose -3*w + 60 = 5*z - 29, 0 = -y*w - 8. Is 19 a factor of z?
True
Let o(t) = 2*t**3 - 25*t**2 - 11*t - 5. Is o(13) a multiple of 21?
True
Let i = 33 + 18. Suppose 15 = 5*u - d - 12, 0 = d + 2. Suppose -2*m + i = 3*w - u*m, -4*w + 63 = -5*m. Is 11 a factor of w?
True
Let w = -2 - -25. Suppose k - w = -0*k. Is k a multiple of 18?
False
Let f be 9/(-27) - (-70)/(-6). Let r = 65 - f. Is r a multiple of 20?
False
Suppose -5*c + 24 = 9. Is -1*(-1 - (c - 2)) a multiple of 2?
True
Let g(v) be the first derivative of -v**4/4 + 7*v**3/3 + 2*v**2 + 9*v - 1. Let j be g(7). Let n = j + -26. Does 7 divide n?
False
Suppose 7*l - 2*b - 173 = 2*l, -l = b - 29. Let k = -16 + l. Does 15 divide k?
False
Let q be -6*((-8)/(-6) - 3). Let m(p) = -p**3 + 12*p**2 - 3*p + 10. Let o be m(q). Suppose 4*b + z = -2*z + 144, -5*b + 5*z = -o. Is b a multiple of 18?
True
Let s(d) = d**3 - 11*d**2 + 18*d + 12. Is s(9) a multiple of 12?
True
Let w = -2 + 2. Suppose 0 = -w*j + j + 6. Let a(o) = -2*o - 2. Is 5 a factor of a(j)?
True
Suppose 4*g + 4*d + 0*d - 84 = 0, -5*g + 87 = -4*d. Is 19 a factor of g?
True
Does 7 divide (1 - 2)/(4/(-536)*2)?
False
Let p(q) = 122*q**3 - 4*q**2 + 3*q - 1. Is 24 a factor of p(1)?
True
Let x(a) = -5*a + 1. Does 11 divide x(-5)?
False
Let t = 0 + 4. Let b = 22 - t. Does 6 divide b?
True
Let m(p) = 34*p**3 + p**2. Is 18 a factor of m(1)?
False
Let q(a) be the third derivative of -a**5/60 + a**4/24 + 4*a**3 + 3*a**2. Suppose -6*r + 5*r = 0. Does 8 divide q(r)?
True
Let o be ((-15)/20)/((-2)/(-96)). Suppose -2*b = -179 + 33. Let x = o + b. Is x a multiple of 15?
False
Let f(a) = a**3 - 21*a**2 - 13*a + 20. Is 45 a factor of f(22)?
False
Let r be ((-26)/10 + 2)*-5. Suppose -b = -5*q - 29, -b - r*q + 5 = -0. Does 7 divide b?
True
Let w(r) = -r**3 - 5*r**2 - 2*r - 5. Let i be w(-5). Suppose 108 = 2*y + 4*x, -4*y - 39 = -i*y + x. Is 11 a factor of y?
True
Suppose x = 5*x + 32. Is 24 a factor of ((-58)/(-4))/((-4)/x)?
False
Let b = 63 - 43. Does 12 divide b?
False
Does 40 divide 5/(1 + (-22)/23)?
False
Does 21 divide 474/12 - 10/(-4)?
True
Let m(z) = z**2 + z + 1. Let x(v) = -v**2 - v - 2. Let k(q) = 4*m(q) + 3*x(q). Does 7 divide k(5)?
True
Let k be (-1*3)/(9/(-3)). Let f = k + -35. Let y = f + 104. Is 25 a factor of y?
False
Let q(v) = v - 4. Let r be q(5). Let k(j) = -1 + 8*j**3 - j + 8*j**3 + 1 + r. Is k(1) a multiple of 8?
True
Suppose 5*f + 799 = 4*j, -3*j - 2*j + 983 = -f. Is 14 a factor of j?
True
Let d(x) = x**3 + 6*x**2 + 3*x - 7. Let h be d(-5). Let o = 18 + h. Does 12 divide o?
False
Let t(d) = 3*d**3. Let l = -8 - -10. Is 8 a factor of t(l)?
True
Suppose 0 = -2*a + 14 - 4. Suppose -272 = -3*l + 2*c, 3*l + 4*c = a*c + 268. Suppose 2*u - 4*u + l = -4*j, 4*u - j - 141 = 0. Is u a multiple of 15?
False
Suppose -y + 26 = -26. Is y a multiple of 12?
False
Suppose 2*b = 2*p + 2*p + 2, b = 5. Suppose 0 = 3*z + 6, 0 = -p*u + 7*z - 3*z + 30. Is u a multiple of 8?
False
Let k(l) = 4*l - 1. Let q(h) = -3*h. Let u(d) = 6*k(d) + 5*q(d). Is 15 a factor of u(4)?
True
Suppose -2*c - 106 = 4. Let v = c + 83. Let h = v + -20. Is 8 a factor of h?
True
Suppose -43*w - 540 = -48*w. Is w a multiple of 27?
True
Suppose -14 + 39 = -5*q - 5*y, -4*q + 4*y = -4. Let o = q + 46. Let u = o + -25. Does 12 divide u?
False
Suppose 0 = -0*s + 5*s - 355. Is 20 a factor of s?
False
Let x(a) = a - 1. Suppose -3*m + 33 = 9. Does 7 divide x(m)?
True
Let u = 34 + 13. Is 12 a factor of u?
False
Let m be (-32)/(-18) + (-6)/(-27). Is 11 a factor of ((-4)/(-6))/(m/33)?
True
Let u be -7 + 4 + (-278)/(-2). Suppose 4*q = -0*q - 4*b + u, 0 = 5*q + b - 170. Is 15 a factor of q?
False
Let q = -29 + 56. Let h = -13 + q. Is h a multiple of 14?
True
Let l = 65 - -35. Is l a multiple of 10?
True
Suppose -8 = -2*h - 0*h. Is 2 a factor of (h - 3) + 4 - 3?
True
Let q(c) be the second derivative of