 a factor of r?
True
Let q be 0 + (-2)/8 + (-3387)/(-12). Suppose 2*m + 5*h - 441 = 0, -h - q + 950 = 3*m. Does 14 divide m?
False
Suppose 4 = 4*p + 5*g, -p + 2*p - 18 = 3*g. Suppose -w + 5*t = 17, -3*w + 8*w + t = 19. Suppose -p*d + 48 = -w*d. Does 8 divide d?
True
Let t(r) = -r**2 - 32*r + 84. Is 9 a factor of t(-11)?
True
Let j = 240 + 596. Does 11 divide j?
True
Suppose -12 = -3*b - 5*z, -8 = 3*b + 2*b - z. Let q be (-77 + -3)*2*b. Suppose 4*y = -0*y + q. Is 10 a factor of y?
True
Suppose -4*x + 2*p + 3060 = 0, 7*x = 2*x + 3*p + 3825. Is x a multiple of 5?
True
Suppose -w = -3*h - 1, -5 = 4*h + 2*w + 13. Let f(a) = -4*a**3 + 3*a**2 - 3. Does 13 divide f(h)?
False
Let t(r) = -79*r + 72*r + 65*r + 6. Is 16 a factor of t(1)?
True
Suppose -8*h = -9*h + 12. Does 17 divide 1434/h - (-1)/(-2)?
True
Let r = 497 + -427. Is 4 a factor of r?
False
Suppose 4*a + 25 = 2*r + 3*r, 5*a = -3*r - 22. Let q(u) = -23*u + 10. Is q(a) a multiple of 21?
False
Suppose -576 = -24*n + 21*n. Is n a multiple of 8?
True
Let l = 213 - -8. Is l a multiple of 20?
False
Let r(u) = 3*u - 10. Let k be r(4). Suppose -k*s + 3*s = 4*i - 220, 2*i = s + 110. Does 17 divide i?
False
Let z(k) = -k**2 + 2*k**2 + 8*k + 0*k**2 - 13. Let y be z(-9). Let l(j) = 2*j**2 + 2*j - 6. Is 14 a factor of l(y)?
False
Suppose 12 = u + 4*p, -3*p = -3 - 3. Let y be 1624/10 + 4/(-10). Suppose 2*x - 5*c - y = 0, 0 = -0*c - u*c. Is 27 a factor of x?
True
Is 28 a factor of 14/((-42)/(-6))*56?
True
Let c(q) = q**2 - 6*q - 21. Let i be c(9). Suppose 0 = -m - m + i. Does 7 divide (2/m)/((-3)/(-63))?
True
Let t(x) = -3*x + 49. Let y(d) = -d + 12. Let j(h) = -2*t(h) + 9*y(h). Let b be j(5). Let o = 18 + b. Does 9 divide o?
False
Does 14 divide (-196)/(4*14/(-364))?
True
Suppose 0 = 3*f + 4*d - 5*d - 1, 5*f - 2*d = 0. Suppose f*p + 34 = 3*p. Is 11 a factor of p?
False
Let s(a) = 5*a - 7. Let d(r) = r + 1. Let w(g) = -6*d(g) + s(g). Let j be w(-13). Suppose b + j*y = -4*y + 64, 5*b - 232 = 2*y. Does 16 divide b?
True
Suppose -202 = 4*u - 62. Suppose 2*d + 236 = 4*b, d + 294 = 4*b + 60. Let s = b + u. Is s a multiple of 9?
False
Let j be 105 - ((1 - (-9)/(-3)) + 3). Suppose -t + 3*c + j = 0, 5*t - 510 = 4*c + c. Does 27 divide t?
False
Let l(r) = 2*r + 27. Let v be l(-12). Suppose v*i = -i + 116. Is 14 a factor of i?
False
Let o = -6 + 15. Let g(q) = -q**2 + 9*q + 3. Let p be g(o). Suppose -p*i - 3*f + 0*f = -9, 5*i = -f + 27. Is i even?
True
Suppose -3*n + 61 = -530. Is 9 a factor of n?
False
Suppose -9*x + 325 = 16*x. Is 5 a factor of x?
False
Suppose 2*c = -0*c + 22. Let y(z) = -z**2 + 11*z + 5. Let u be y(c). Suppose 0 = u*g + 3*q - 230, -2*g + q = -49 - 43. Is g a multiple of 23?
True
Suppose -2*j = 2*h - 68, 0 = -0*j + 2*j + 5*h - 62. Let w = j - 32. Is 7 a factor of 7*(w - (0 + 0))?
True
Let v(u) = -u**3 + 6*u**2 + 2*u - 9. Let p be v(6). Suppose -p*s = 20 + 31. Is (3 + 0)*(19 + s) a multiple of 6?
True
Let f be 0/(-3)*3/6. Suppose 105 = -4*s + m + 23, f = -2*s + m - 42. Let n = s + 72. Is 13 a factor of n?
True
Let u(q) = -q**3 + 18*q**2 - 31*q + 5. Let l be (4/(-6))/((-17)/408). Is u(l) a multiple of 21?
True
Let s(r) = r**2 + 5*r + 6. Let d(m) = 5*m + 4. Let l be d(3). Suppose 0 = -5*b - 2*z - l, -4*b + 0*z - 5 = 5*z. Is 3 a factor of s(b)?
True
Suppose -2*c - 2*c + 30 = 2*o, -4*c - o + 33 = 0. Does 8 divide 8/(-2)*(1332/(-16))/c?
False
Let h = 384 - 839. Is (4/5)/((-7)/h) a multiple of 26?
True
Let w(p) = -14*p + 154. Does 20 divide w(-9)?
True
Let d be (6/2)/(7/14). Suppose 0 = d*z - z - 20. Suppose t = 5*p + 85, -165 - 60 = -z*t - 3*p. Is t a multiple of 20?
True
Let k be (2 + (3 - 2))/((-12)/40). Let o(c) be the second derivative of c**5/20 + 3*c**4/4 - 7*c**3/3 - 11*c**2/2 + 2*c. Is 6 a factor of o(k)?
False
Let j be (-162)/(-7) + (-2)/14. Suppose -3*t + j = -16. Does 9 divide t?
False
Is 5 a factor of -4 - (18/3 + -70)?
True
Let h(p) = 20*p + 694. Does 3 divide h(-32)?
True
Suppose -7*h - 112 + 763 = 0. Is h a multiple of 31?
True
Let w(g) = 11*g**2 - 15*g - 33. Is 7 a factor of w(-3)?
False
Let v = 117 - -49. Is 5 a factor of v?
False
Let k(n) = 179*n**2 + 7*n - 4. Is k(1) a multiple of 13?
True
Suppose -603*c - 4214 = -610*c. Is c a multiple of 9?
False
Let o be (42/5)/((-19)/(-95)). Suppose -5*l = -2*k - 856, 3*k - o + 901 = 5*l. Is 34 a factor of l?
True
Let d(c) be the third derivative of -c**5/60 - c**4/3 + c**3/2 - 3*c**2. Let y be d(-8). Suppose -4 = 6*a - 4*a, 69 = 5*g + y*a. Is g a multiple of 4?
False
Suppose -2*p - p = -2*u, p = u. Let c(d) = -d**3 + d**2 + d + 57. Is c(p) a multiple of 19?
True
Let i = -1016 + 1858. Does 48 divide i?
False
Let x be (1 + 2)/(3/(-9)). Let f = 14 + x. Suppose -2*d = -0*d - 10, -f*y = -2*d - 65. Is y a multiple of 5?
True
Let h = -196 + 123. Let c = 5 - h. Is 13 a factor of c?
True
Let g(b) be the third derivative of b**6/120 - 7*b**5/30 - 5*b**4/8 + 10*b**3/3 + 12*b**2. Does 10 divide g(15)?
True
Suppose 0 = 31*r - 32*r - 1040. Is 13 a factor of r/56*(2 - (-3 + 12))?
True
Let o be (4/(-5))/((-16)/40). Let h be o*4/(-8)*-5. Suppose 5*s = -3*j + 4*j + 172, 0 = 3*s + h*j - 92. Is 16 a factor of s?
False
Suppose -3*j - 2*g = -155 - 33, -g - 203 = -3*j. Does 6 divide j?
True
Let c = -22 + 24. Suppose c*l + 6 = -0*l. Let o(z) = 6*z**2 + 2*z - 3. Is o(l) a multiple of 9?
True
Suppose 7*n - 485 = 607. Is n a multiple of 26?
True
Let m(o) = -o - 5. Let w be m(2). Does 8 divide (w - (6 + -10))*(0 + -27)?
False
Let m(b) = -b**3 + 1. Suppose 6 = -4*r - 0*c + 2*c, 0 = 3*r + 3*c. Let q be m(r). Let i = 2 + q. Is 2 a factor of i?
True
Let h(x) = -x**3 - 8*x**2 - 5*x + 8. Suppose 0 = 5*u - 2*r + 10, 2*u - 4*r + 3 + 1 = 0. Let d = u - 6. Does 16 divide h(d)?
True
Let h be (-3)/(-12) + (-1)/4. Suppose -2*q = -m - 71, 3*m + h*m = -q + 32. Suppose -k - 4*k = -q. Does 3 divide k?
False
Let z = -1570 + 2285. Is z a multiple of 20?
False
Let w(g) = g**3 + 15*g**2 + 25*g + 16. Let u be w(-13). Suppose o - 68 = u. Is o a multiple of 8?
False
Is 24 a factor of ((-24)/6 - 20)*(-1 - 2)?
True
Suppose 3*m + 700 = -4*y + 2335, m + 3*y - 550 = 0. Suppose -m = -12*z + 1979. Is 35 a factor of z?
True
Is 10 a factor of ((-270)/(-25))/(24/2000)?
True
Suppose 1 = -5*z + 4*z. Let k(a) = -99*a**3 - a**2 - a. Is k(z) a multiple of 13?
False
Let k = 1264 + -748. Is k a multiple of 81?
False
Let w = 49 + -32. Suppose w*o + 55 = 18*o. Does 9 divide o?
False
Does 33 divide -2 + 21/7*404?
False
Suppose -2*h - 8 = 3*m, 0 = -0*h + 5*h + 2*m + 9. Let k = h - -9. Is k a multiple of 2?
True
Let p(a) = 1971*a**2 + 38*a + 39. Is p(-1) a multiple of 35?
False
Is 5 a factor of -138 + 133 + 566/(-2)*-3?
False
Let p(a) = a - 1. Let m be p(4). Let r be 6/m + 2 + 1. Suppose -g - 49 = r*i - 194, i - 45 = 3*g. Is i a multiple of 15?
True
Let l(g) = g**3 + 5*g**2 + 9*g + 82. Does 2 divide l(-5)?
False
Let p(g) = -g**3 + 8*g**2 + 11*g - 8. Let m(v) = -v**3 + 6*v**2 - 6*v + 1. Let o = 10 - 6. Let a be m(o). Is 3 a factor of p(a)?
False
Let r = 1204 + -93. Is 101 a factor of r?
True
Suppose -3*o - 12 = 0, -3*o = -2*c - 2*o + 68. Suppose 22 + c = -n. Let d = -37 - n. Is 10 a factor of d?
False
Let x(t) = -3*t**3 + 2*t**2 - 9*t - 23. Does 7 divide x(-4)?
False
Let d(h) = 3*h**2 + 3*h - 2. Let s be d(-7). Let a = s - 28. Is a a multiple of 24?
True
Let c(a) = 419*a + 0 - 473*a - 3. Is c(-1) a multiple of 14?
False
Suppose -4*i = -9*i - 10. Let q be i*(-1)/2*1. Is 58/(-4)*(q - 3) a multiple of 13?
False
Let x(u) = 24*u - 3. Suppose 0 = 3*v - 3 - 0. Is x(v) a multiple of 21?
True
Let g(o) = 43*o + 2. Suppose 8 = 6*l - 2*l. Let q be g(l). Let x = q - 48. Does 10 divide x?
True
Let u(r) = -r**2 - 2*r + 3. Suppose -o + 10 = 4*o. Let j be u(o). Is 25 a factor of 72 + (1 - (j - -3))?
True
Let d = -319 + 533. Suppose d - 19 = u. Is u a multiple of 25?
False
Suppose -2*i + i + 173 = 5*z, 5*i - 943 = z. Let c = -131 + i. Is c a multiple of 26?
False
Let o(k) = 2*k**3 + 40*k**2 + 25*k - 4. Suppose -7*x + 38 = -9*x. Does 27 divide o(x)?
True
Let i = -313 + 621. Is 5 a factor of i?
False
Suppose -3627 = 33*v - 64*v. Does 4 divide v?
False
Let u = 113 - 125. Let o(m) = 2*m**3 + 25*m**2 - 1. Is o(u) a multiple of 11?
True
Let h = -34 + 39. Suppose 2*z + h*d = 193, -109 = -z - 9*d + 4*d. Is 12 a factor of z?
True
Let t be 323/