4*r + 2. Let d be o(-3). Suppose -d*i + 5*i - 12 = 0. Is 16 a factor of (-7 + 3)*4*i?
True
Suppose 2*s - 2*x - 3040 = -2*s, 16 = 4*x. Is s a multiple of 33?
False
Let s(p) = -3*p + 8. Let q be s(0). Suppose -m - 4*r = -14, q*r + 190 = 5*m + 4*r. Is m a multiple of 4?
False
Let n = 72 + -48. Suppose 912 - n = 8*k. Is 11 a factor of k?
False
Let h = -287 + 320. Is 3 a factor of h?
True
Let d = -208 + 378. Suppose -76 = -2*x + 4*u, u + 24 = -5*x + d. Is x a multiple of 6?
True
Let f(j) be the second derivative of -11*j**6/720 - j**5/24 + j**4/12 - 3*j. Let l(y) be the third derivative of f(y). Is 14 a factor of l(-2)?
False
Suppose 0 = -3*z + 301 - 982. Let b = z - -324. Is 12 a factor of b?
False
Let v(n) = -n**3 - 4*n**2 - 2*n - 3. Let r(k) = k**3 + 4*k**2 + 3*k + 3. Let d(t) = -3*r(t) - 2*v(t). Let i be d(-5). Let y = i - 20. Is y a multiple of 17?
False
Let k = -150 + 337. Is 21 a factor of k?
False
Is 27 a factor of 3635 + (6/((-12)/(-10)) - 5)?
False
Is 3 a factor of (12 - 23) + 295 + 2?
False
Suppose 38*w - 13313 = 7055. Is 67 a factor of w?
True
Let q(r) = 24*r - 17. Is q(22) a multiple of 7?
True
Suppose 2205 = 5*n + 3*c, -3*n + c - 4*c + 1329 = 0. Is 4 a factor of n?
False
Let a(g) = -g**3 - 2*g**2 - 2*g + 9. Let r be a(-4). Suppose -r = -q + t, 0*q + 4*q - 172 = -4*t. Is 23 a factor of q?
True
Let t(d) = -3 - 4 + 26*d + 5 + 4. Does 16 divide t(3)?
True
Let i = -66 + 246. Is 45 a factor of i?
True
Let m = -11 + 31. Suppose 5*d + 40 + 35 = 0. Let z = m + d. Is z a multiple of 4?
False
Suppose -18 = l - 58. Let t = l + -25. Is t a multiple of 15?
True
Let h = -1361 + 2434. Does 37 divide h?
True
Suppose -107*n = -9654 - 47163. Is n a multiple of 9?
True
Suppose 0 = 17*y - 5*y - 108. Let r(a) = a + 48. Does 3 divide r(y)?
True
Let t = 403 + -179. Is 8 a factor of t?
True
Let q = 25 + -34. Let b(n) = -9*n - 2. Is b(q) a multiple of 14?
False
Suppose 3*u = 2*u + 2. Is 22 a factor of (-4 - -48)*5/u?
True
Suppose 13*q - 9*q = 64. Let u = 103 - q. Is u a multiple of 11?
False
Suppose -6*b + 3639 = -3*b + 5*m, 3*b - 5*m - 3669 = 0. Is 15 a factor of b?
False
Suppose 8*k - 959 = 49. Does 7 divide k?
True
Suppose -2*a - 3*a - 15 = 0. Is (2 + 14/a)*-15 a multiple of 9?
False
Let d(w) = 9*w**2 + 27*w. Is 81 a factor of d(12)?
True
Is (-27)/(-4 + 138/36) a multiple of 18?
True
Is 20 a factor of 183 + -185 + (-1 - -3773)?
False
Suppose -12 = -3*d - 0. Suppose -4*y + 2 = 4*z - 90, 0 = -4*z + d. Is 7 a factor of y?
False
Suppose 3*c = 17 + 7. Is 5 a factor of (2 - c)*35/(-2)?
True
Suppose -2*f = -5*k - 47, f - 28 = 4*k - 3*f. Let a = k + 39. Is 28 a factor of a?
True
Suppose 0 = 41*w - 4522 - 3350. Is 8 a factor of w?
True
Suppose 3*r = -5*y - 15, 2*y = -3*y - 15. Suppose -17*s + 310 + 1288 = r. Does 16 divide s?
False
Let r(w) = 5*w**3 - 6*w**2 - 3*w - 3. Let a be r(3). Let x = 6 + a. Does 15 divide x?
True
Suppose -2*o + 2380 = 4*x, 4*x = -4*o - 0*o + 4756. Is 44 a factor of o?
True
Suppose -3*r + 0*r + 6 = 0. Suppose 3*s = r*u - 108, -248 = -3*u + 3*s - 80. Let m = u + -31. Does 10 divide m?
False
Let l be 14 + 2/(-2) + -3. Suppose -2*z = -4*z + l. Let y = z - -1. Is y a multiple of 4?
False
Suppose -72*c + 50 = -62*c. Let q(f) be the third derivative of f**6/120 - f**5/10 + f**4/4 - f**3/6 - 2*f**2. Is q(c) even?
True
Suppose -q + 0*q = -5*m + 156, -2*m + 2*q = -56. Let x = -29 - -100. Let v = x - m. Does 13 divide v?
True
Does 6 divide (1416/30)/(73/(-15) - -5)?
True
Suppose -5*z + 305 = 5*d, d + 127 = 3*d + z. Let b = d + -45. Does 13 divide b?
False
Suppose -4*m = -511 - 269. Let v = m + -83. Is v a multiple of 23?
False
Let a be -3*3/(-9) - (-7 + -1). Suppose 14*m = a*m + 770. Does 26 divide m?
False
Suppose -3*h + 1078 = -5*u + 4*u, -h - 3*u = -366. Suppose h = 5*j + 60. Suppose -3*d = -w - 0*d + j, -2*d = -w + 56. Does 16 divide w?
True
Let o(q) = q + 10. Let g be o(-6). Suppose 3*k + g*x = 19 + 3, 3*x = -3*k + 27. Let d = k + -10. Is d a multiple of 2?
True
Suppose -4*b - 140 = -540. Does 3 divide b?
False
Let y = 218 + 1366. Suppose -y = -6*q - 6*q. Does 22 divide q?
True
Let g(d) = -35*d - 501. Is 15 a factor of g(-46)?
False
Let f = 36 + -48. Let t(s) = -s**2 - 13*s + 1. Is 13 a factor of t(f)?
True
Let p(c) be the first derivative of c**3/3 - 11*c**2/2 - 4*c - 2. Let n = 41 + -28. Is 11 a factor of p(n)?
True
Suppose -4*b - 9*c + 16316 = -5*c, -b = 2*c - 4076. Is 13 a factor of b?
True
Let v(i) = 2*i**3 - 15*i**2 + 7*i + 8. Let l be v(7). Suppose -277 + 981 = l*j. Is j a multiple of 22?
True
Let s(q) be the second derivative of q**5/20 + 5*q**4/6 - 11*q**3/6 + q**2 - 3*q. Let t be s(-11). Does 3 divide t + 14*(-2)/(-4)?
True
Suppose -3*a + 18 = k - 0*a, 5*k + 4*a = 68. Suppose -k = 8*p - 11*p. Suppose -t = -p*i - 46, 2*t + 2*i - 111 = -9. Is t a multiple of 10?
True
Let t be (-12)/48 + 18/8. Suppose 5*r + 4*x - 19 = 0, t*r - 3*x - x - 2 = 0. Suppose 5*f = -r*z - z + 262, -65 = -f - 5*z. Is f a multiple of 20?
False
Suppose 0 = -5*v + 3*u, -6*v + 3*v + 19 = 2*u. Suppose -2*c + l + 285 = 0, 6*c - c - v*l = 715. Is c a multiple of 20?
True
Let a(l) = l**3 + 13*l**2 + 15*l + 5. Let k be a(-11). Let c = -116 + k. Let z = c - -52. Does 6 divide z?
True
Let u be ((-1)/(-2))/(7/56). Suppose 5 = u*m - 3. Does 4 divide (m - (-2 - -3)) + 3?
True
Let t(i) = -6*i**2 + 124*i + 2. Does 5 divide t(7)?
False
Let c = 11 + -5. Let q(m) = -4 + m - 7 + 2 + 5*m. Is 15 a factor of q(c)?
False
Suppose 14*y + 3 = 17*y, -y = 5*c - 1501. Does 9 divide c?
False
Suppose -13 - 7 = -5*k. Suppose o = -0*o + k*j + 102, 3*o + j - 267 = 0. Is 15 a factor of o?
True
Let o = 64 + -59. Suppose -o*x = -108 + 28. Is x a multiple of 8?
True
Let g(p) = 3*p + 46. Let a be g(-16). Let v(m) = -75*m + 18. Does 28 divide v(a)?
True
Let z = 91 - -21. Is z a multiple of 18?
False
Let v(t) = t**3 - 10*t**2 + 2*t - 4. Suppose 4*h = -g + 40, -4*h + 4*g + 40 = -0*g. Is 8 a factor of v(h)?
True
Let l(c) = 2*c**3 + 32*c**2 + 27*c + 9. Is l(-15) a multiple of 18?
True
Suppose z - 4*r = 1524, -2*z + 4*r + 3036 = -0*z. Suppose -2*m = 5*m - z. Does 36 divide m?
True
Suppose -j + 3 + 2 = -2*f, -4*j - 6 = 5*f. Is 2 a factor of ((-108)/(-24))/(j/4)?
True
Suppose 0 = 3*k - 2*k + d - 17, -4*d = -k + 37. Let t = k + 14. Is t a multiple of 7?
True
Let n = -1905 - -2904. Is 25 a factor of n?
False
Suppose 8*s - 10*s = -5*u - 1112, 4*s - 2192 = 2*u. Is 3 a factor of s?
True
Suppose 5*y + 4*v = y + 68, -y = 3*v - 27. Let x be (5/3)/(1/y). Let m = x + -15. Is 3 a factor of m?
False
Suppose 0 = -2*c + 3*h + 7, 5*c = 4*h - 7*h + 7. Let m(y) = 6*y**3 - 6*y + 4. Is 8 a factor of m(c)?
True
Let j = 18 + 120. Suppose 5*f - 597 + 183 = -3*h, 0 = h - 4*f - j. Is h a multiple of 23?
True
Let i(d) = 3*d. Let q be i(-1). Let s(m) = m + 3. Let a be s(q). Suppose 16 = -4*x, -4*w + a*w = 4*x - 244. Does 14 divide w?
False
Suppose 0*g - 12 = g. Let h = g - -15. Let w(v) = v**3 - v**2 + 4*v + 1. Is w(h) a multiple of 27?
False
Let t be 14/(-4) + (-3)/(-6). Let p(r) = -3*r**2 - r - 4. Let x be p(t). Let i = x + 64. Is 9 a factor of i?
True
Let j(g) = -g**3 - 9*g**2 + 8*g - 4. Let z be j(-9). Let d = -23 + -107. Let n = z - d. Is 27 a factor of n?
True
Let g(j) = -j + 14. Let k be g(12). Suppose -6 = -i - i + m, k = -2*i - 3*m. Suppose 0 = 2*c - 0*c - i*t - 38, 0 = 4*c - 5*t - 77. Is c a multiple of 9?
True
Let w(r) = r**2 + 13*r - 11. Suppose 5*y - 100 + 70 = 0. Is w(y) a multiple of 18?
False
Let x(a) = 7*a + 2002. Is x(0) a multiple of 106?
False
Let b(a) = a**3 + 9*a**2 - 9*a + 24. Does 35 divide b(-9)?
True
Suppose -2*i - 45 + 123 = 0. Suppose 0 = 4*p - 23 - 61. Let c = i - p. Does 9 divide c?
True
Let z = 5060 - 657. Is z a multiple of 19?
False
Let k(l) = 13*l - 13. Let p(b) = -6*b + 7. Suppose 8 = 5*j + 78. Let i(s) = j*p(s) - 6*k(s). Is i(14) a multiple of 24?
False
Does 52 divide 94*31 - 42/21?
True
Let i be 16/12 - 4/(-6). Is 13 a factor of (-312)/i*((-84)/18)/7?
True
Let o = 192 - 84. Suppose -2*r = -0*r + o. Let f = -19 - r. Is 17 a factor of f?
False
Let g(w) = -17*w**3 + w. Let r be g(1). Let i = r + 20. Suppose 138 - 18 = i*c. Does 15 divide c?
True
Let z(c) = -8*c - 4. Let o be 16*3 - (5 + -2). Suppose 5*u + o = 3*m, -23 + 6 = 2*u - m. Does 16 divide z(u)?
False
Let f(h) = h**3 + 7*h**2 - 2*h + 1200. Is