c + 6. Is 6 a factor of i(-4)?
True
Suppose -3*o + 2*o = -2. Let a(i) = -i**3 + 3*i**3 - 2*i + i**2 + 1 - 2*i + 2*i. Is 17 a factor of a(o)?
True
Let k(u) = -u**3 + 5*u**2 - 4*u. Let i be k(4). Suppose -3*f + 4*y - 19 = i, -3*f + 3*y - 15 = -0*f. Does 15 divide f/(0 - -1)*-36?
False
Does 4 divide 3 + -4 - 12/(-1)?
False
Let v = 8 + -5. Let f be v*(-3)/((-27)/6). Suppose -2*n - n + 35 = -y, y + f = 0. Is n a multiple of 5?
False
Let b be 120/21 + (-2)/(-7). Let t(h) = -2*h**3 - 8*h**2 + 2*h + 8. Let j be t(-6). Suppose -3*o + 4*q = -j, -b*q = -5*o - 2*q + 236. Is o a multiple of 18?
False
Suppose -5*q - 3*d = 2*d + 15, -6 = -4*q + 2*d. Suppose q = y + y - 28. Is y a multiple of 14?
True
Let h(g) = g**2 - 7*g + 3. Is 9 a factor of h(9)?
False
Let i be 5/20 + 14/8. Suppose -u + i*u = 17. Is u a multiple of 13?
False
Suppose 3*d - 25 - 5 = 0. Is 4 a factor of d?
False
Let a(t) be the third derivative of 7*t**4/6 - t**3/2 + 2*t**2. Let o be a(2). Let y = 10 + o. Is 22 a factor of y?
False
Does 23 divide (-101)/(-2) - 12/8?
False
Let b be (1 + 0 + 0)*63. Let g = -11 + b. Does 13 divide g?
True
Let b be 1 - -3 - (-4)/2. Suppose -3*c = -b*c + 45. Does 9 divide c?
False
Suppose 4*y - 21 = 23. Let d = y + 22. Does 9 divide d?
False
Suppose -4*i - i + 355 = 0. Let h = -39 + i. Is 13 a factor of h?
False
Suppose 0 = 2*s + 16 - 0. Let a(v) = v**3 + 9*v**2 + 6*v - 4. Let u be a(s). Is 9 a factor of (-2)/u + (-165)/(-18)?
True
Let y = -86 - -31. Let t = -5 - y. Is t a multiple of 28?
False
Suppose -c + 3*c = -36. Is (-1084)/c - (-2)/(-9) a multiple of 20?
True
Let s = 36 + -20. Does 8 divide s?
True
Let f be (-1 + 2)/(1/2). Suppose -2*k - f*k = -120. Is 12 a factor of k?
False
Suppose 34*n - 33*n - 46 = 0. Is 21 a factor of n?
False
Let w(k) = 8*k - 3*k + 10*k. Is w(4) a multiple of 12?
True
Let r = 0 + 3. Let n(w) = w**2 - w - 3. Let m be n(r). Let c = m + 0. Is c even?
False
Suppose 55 = -0*u - 5*u - k, 0 = k - 5. Let r(q) = q**3 + 12*q**2 - 6*q + 6. Does 26 divide r(u)?
True
Let y(s) = s**3 + 3*s**2 - 2*s - 1. Let h be y(-3). Suppose -7 - 20 = -9*j. Suppose -4*o - 5*m - j = -53, -3*m = h*o - 56. Is o a multiple of 5?
True
Suppose 3*l = -0*l + 42. Suppose -4*r - 14 = -3*g, 0 = -2*g - 4*r + 9*r + l. Suppose 0 = -5*u + 5*o + 35, -g*o = -5*u + o + 37. Is 8 a factor of u?
True
Suppose 2*x + 2*x - 108 = 0. Is 9 a factor of x?
True
Suppose 3*c + 4*y + 10 = 0, -3*c + 2*y - 7*y - 14 = 0. Suppose c*o = 115 - 43. Is 18 a factor of o?
True
Suppose 10*w - 80 = 170. Is w a multiple of 25?
True
Let z(o) = -23*o**3 + o + 1. Let a = -5 + 4. Does 13 divide z(a)?
False
Suppose 2*s + 5 = -5*v + 17, 2*s - 10 = -4*v. Suppose -v*r + h + 18 = -3*h, 2*r + 2*h = -6. Is 4 a factor of 3 - ((r - 0) + -2)?
True
Let h = 82 + -54. Does 14 divide h?
True
Suppose -3*z + 36 = -87. Is 13 a factor of z?
False
Let z be 0 + (4 - 3)*2. Suppose -45 = -0*n + 3*n. Is 12 a factor of z - 5/(n/72)?
False
Let r = 11 - 13. Suppose 5*p - 3*j + 7 + 12 = 0, -p = 5*j - 13. Is (r/(-3))/(p/(-72)) a multiple of 10?
False
Suppose -2*a = -4*v + 5*v - 13, v = -5*a + 28. Suppose -2*c = v*c - 105. Is 7 a factor of c?
True
Let m(f) = 31*f - 1. Does 6 divide m(1)?
True
Let i = -154 + 245. Does 14 divide i?
False
Let o be (-3)/4 - 4/16. Let d = 1 + o. Suppose 3*y + 2*y + 2*z - 144 = 0, d = 5*y - 5*z - 165. Is 13 a factor of y?
False
Let i(j) = j**3 - 2*j - 2*j**3 - 10*j**2 - 5*j - j**2 - 2. Is i(-11) a multiple of 25?
True
Suppose 5*j + 9*m = 4*m + 330, 66 = j - 3*m. Does 15 divide j?
False
Suppose 2*w - 48 = -w. Does 8 divide w?
True
Let h(p) be the second derivative of p**3/6 - p**2 - 6*p. Is h(7) a multiple of 4?
False
Suppose 20 = 7*p - 3*p. Suppose -p*t + 2*o = -178, -o = 3*t - 0*o - 109. Does 18 divide t?
True
Is 28 + (-5 - 0 - -2) even?
False
Let o(w) = -2*w + 5 + 5*w - 4 + 2. Is o(5) a multiple of 14?
False
Suppose 2*f - 10 = 4*f + 5*w, 5*w = -10. Suppose -2*o - 7*a + 43 = -4*a, f = -o + 3*a - 1. Is o a multiple of 11?
False
Suppose 0 = f - j - 14, 0 = -5*f + 3*j - j + 76. Is f a multiple of 4?
True
Let c = 2 - 7. Let o = -2 - c. Is o a multiple of 2?
False
Suppose 3*h - h = 222. Suppose q + 2*q - 2*j = h, -3*q = 4*j - 93. Does 20 divide q?
False
Let n(b) = -b**2 - b + 3. Suppose 0 = 3*v - 4*i - 4, -3*v - 6 = 2*i - 4. Let m be n(v). Suppose m*t + 3*g = -t + 74, -t - g = -18. Is t a multiple of 10?
True
Let x(p) = -p**2 + 3*p + 3. Let c be x(3). Let s be 25/3 + 2/(-6). Suppose -s = -c*n + n. Is n a multiple of 4?
True
Let a be 41/(-13) + (-6)/(-39). Let b(r) = -r**3 + 2*r**2 + 4*r. Is b(a) a multiple of 11?
True
Suppose 0 = y - 3*p - 90, -173 = -4*y + p + 242. Suppose -71 = -4*u + y. Let h = u - 17. Does 10 divide h?
False
Suppose 5*j = 4*i - 219, -3*j + j - 57 = -i. Is 17 a factor of i?
True
Suppose -11*l + 455 = -6*l. Is 13 a factor of l?
True
Let r(a) be the first derivative of 7*a**6/360 + a**5/120 + a**4/24 + a**3 - 1. Let u(y) be the third derivative of r(y). Is u(-2) a multiple of 11?
False
Let p(m) = -9*m + 17. Is 10 a factor of p(-7)?
True
Suppose 0*y + 3*y = 0. Suppose 4*b - 4*h - 12 = y, -2*b - 5*h + 2 = -11. Is 2 a factor of b?
True
Let s(j) be the second derivative of 5*j**4/12 + j**3/2 - j**2/2 + j. Is s(-3) a multiple of 13?
False
Suppose -7 = 5*h + 5*g + 3, 0 = -5*h - g - 14. Let i be 1*(1*h)/3. Is 8 a factor of (-1 + i)/(2/(-16))?
True
Let n(u) = 18*u - 2. Let f be n(3). Let i = f - 23. Does 16 divide i?
False
Let v = -4 + 6. Suppose -d + i = 3*d - 283, i = v*d - 143. Does 14 divide d?
True
Suppose -3*n - 2 = 2*x - x, -4*x + 34 = -2*n. Is x a multiple of 7?
True
Let d(m) = -m - 26. Let p be d(0). Is 15 a factor of (p/(-39))/((-2)/(-45))?
True
Let n = 261 + -101. Does 32 divide n?
True
Let t(v) = -13*v**3 + 2*v**2 - v. Let u be t(1). Let c = -21 + 44. Let f = c + u. Does 7 divide f?
False
Suppose -88 = -4*q - 28. Does 10 divide q?
False
Suppose 0 = 3*y + j - 3*j - 5, 0 = -5*y - j + 30. Suppose -25 = -y*x - 0*x. Does 5 divide x?
True
Let p(o) = -o - 3. Let i be p(3). Is 2 a factor of 4/(-6) + (-22)/i?
False
Let m(y) = -y**2 - 9*y + 4. Let a = 2 + -11. Let p be m(a). Suppose -p*d + 1 = -11. Is d a multiple of 2?
False
Let n be 4/(-16) + 13/4. Suppose -2*t - n*t + 640 = 0. Suppose t = 4*r + 4*o, -r + o - 3*o + 35 = 0. Is 10 a factor of r?
False
Let d = 606 + -426. Does 18 divide d?
True
Does 28 divide (-57)/(-2) + (-1)/2?
True
Let s be 296/4 - (-2 - -2). Suppose -3*f + 5*u + 62 = -0*u, 0 = 5*f - u - s. Does 14 divide f?
True
Let l(c) = 2*c**2 + c + 4. Is l(3) a multiple of 5?
True
Let v(t) = -6*t - 7. Let n be v(9). Let q = -19 - n. Let s = q + -30. Is s a multiple of 12?
True
Suppose -14 - 28 = -v. Is v a multiple of 21?
True
Let o(d) be the third derivative of 0*d + 0 - 23/24*d**4 + 1/6*d**3 - d**2. Is 12 a factor of o(-1)?
True
Let q = 6 - 6. Is (q - -6)*(12 + -6) a multiple of 18?
True
Is ((-3)/((-48)/(-200)))/(1/(-2)) a multiple of 8?
False
Let d(w) = -4*w + w**2 + 3*w**2 - 4 + w**3 - 2*w. Let x be d(-4). Is (4 - 0)*25/x a multiple of 5?
True
Let f(l) = l**3 - 7*l**2 + 8*l + 4. Is f(6) a multiple of 16?
True
Suppose -3*p + 3*m + 144 = 0, -3*p - m - m = -154. Suppose -4*n - n - 90 = -4*l, 2*l = 5*n + p. Is 6 a factor of l?
False
Suppose 2*u = 66 - 18. Is 21 a factor of u?
False
Let d(w) = w + 5 - 3*w**2 + 5*w - 4*w - 3*w. Let b be d(5). Is (-2)/(1 + 81/b) a multiple of 16?
False
Let k = 8 - 1. Suppose k*c - 6 = 5*c. Suppose 0 = -c*b - 8 + 32. Does 3 divide b?
False
Is 6 a factor of 25/((8/2)/12)?
False
Suppose -5 = -4*x + 3*a, x = -x + 2*a + 4. Let d be -71 + (3/(-3))/x. Is 15 a factor of 4*(d/(-8) + 0)?
False
Let n be 10/2*(-2)/(-5). Suppose n*l - 364 = -2*l. Suppose l = 5*h + 16. Is h a multiple of 15?
True
Is 74 + -6*8/(-12) a multiple of 26?
True
Is 2/8*(-304)/(-4) a multiple of 7?
False
Suppose -r - 22 = 5*c, -5*r + 2*c = -0*c - 25. Suppose 5 = -r*m + 41. Does 8 divide m?
False
Let d = -110 - -71. Let f = d + 56. Is 7 a factor of f?
False
Suppose -5*w + 49 = 2*s, -78 = -3*s + 2*w - 5*w. Is -1 + 9/(s/120) a multiple of 19?
False
Let d be ((3 + -3)/(-3))/3. Suppose -3*u + 5 + 7 = d. Suppose u*p = -2*l + 30, -2*l + 0*l - 6 = 0. Is p a multiple of 4?
False
Let f(w) = -w**3 + 10*w**2 + 11*w + 5. Let v be f(11). Suppose 51 = 2*r - v*l, 3*r + 2*r - 70 = l. Is 5 a factor of r?
False
Suppose 