18 a factor of o?
False
Let j(d) = d**3 - 5*d**2 - d - 5. Let o be j(5). Let b(k) = 21 - 14 - 3*k - 10. Is 13 a factor of b(o)?
False
Let x(s) = s**3 + 17*s**2 - 4*s + 20. Let a be x(-18). Suppose 0 = -8*b + 3*b - 5*u - 835, -b + 2*u - 158 = 0. Let o = b - a. Does 12 divide o?
False
Let t = 7873 + -5398. Is 11 a factor of t?
True
Let b = -11 + 14. Let g(a) = 10 + 10*a**b + a**2 - 3 - 8 + a. Is 7 a factor of g(1)?
False
Let j = 9 + -9. Suppose v = 4*h + 143, 5*v - 3*h - 698 = -j*v. Does 23 divide v?
False
Suppose 3*d + 2430 = 9*d. Is 13 a factor of d?
False
Let u(z) = 3 - z + 7 - 9*z. Is 40 a factor of u(-15)?
True
Suppose 5*a + 0*d - 5 = 2*d, -d = -5*a + 10. Is 2 a factor of 5 + 3 - a*-1?
False
Suppose -3 = -4*a + 29. Suppose -q - 4*i = 8, -a = -q - 4*q - 4*i. Suppose -d - 31 = -6*d + 3*m, 0 = -4*d + q*m + 20. Is 5 a factor of d?
False
Let g be (54/(-72))/(47/48 + -1). Suppose -37*q + 69 = -g*q. Is 9 a factor of q?
False
Let g = -1287 - -2205. Does 27 divide g?
True
Let s = -28 + 28. Suppose s = 3*l - 61 + 175. Let n = l + 74. Does 12 divide n?
True
Let b(l) = l**3 + 8*l**2 - 3*l + 4. Let n be 1/1 - 6 - 3. Let u be b(n). Is 12 a factor of ((-180)/(-35))/(6/u)?
True
Suppose -2*o - 634 = -4*v + 2*v, 945 = 3*v - o. Let r = 453 - v. Suppose 3*g - 4*p = r, -2*g + 5*g - 138 = 3*p. Is 15 a factor of g?
True
Let x(u) = u**3 - 3*u**2 - u - 1. Let n be x(5). Suppose 3*c - 197 = -n. Is c a multiple of 6?
False
Let q = -6 - -15. Suppose -a + q = 2*a. Suppose -323 = -2*r - 2*r + a*t, -t - 161 = -2*r. Is r a multiple of 20?
True
Is 13 a factor of (-116)/(-3 + 6 + -5)?
False
Let h(y) = 56*y - 50. Let w be h(6). Suppose b = -3*u + 172, 0*b - 2*b = 5*u - w. Does 7 divide u?
False
Let m(d) = d**3 - 9*d**2 + 10*d - 14. Let p be m(7). Let j = 64 + p. Does 22 divide j?
True
Let c = 35 + -14. Suppose 8 - 8 = d. Suppose 4*w - 7*w + c = d. Is w even?
False
Let w = 101 + -60. Suppose 115 = -40*c + w*c. Does 23 divide c?
True
Let g(u) be the third derivative of u**5/60 + 5*u**3/6 + 17*u**2. Does 41 divide g(6)?
True
Let s = -100 + 222. Is 2 a factor of s?
True
Let a = 61 + -52. Does 3 divide a?
True
Let s(u) = -u + 3. Let h(c) = c - 7. Let t(p) = -6*h(p) - 11*s(p). Is 11 a factor of t(6)?
False
Let x be 9*((-14)/6 + 3). Let j(r) = r**3 - 7*r**2 + 8*r + 2. Does 7 divide j(x)?
True
Suppose -273 + 659 = v. Is 39 a factor of v?
False
Let p(k) = k**3 - 12*k**2 + 17*k - 12. Is p(11) a multiple of 3?
True
Suppose 2*l + l = 9, g - 23 = -2*l. Suppose 0 = -5*v - 19 - 21. Let x = v + g. Is x a multiple of 9?
True
Let c(f) = 29*f**2 - 30*f**2 + 9*f + 5*f. Is c(13) even?
False
Let m(b) = b**3 + 24*b**2 - 9*b - 53. Is m(-22) a multiple of 4?
False
Let g(y) = 20*y**2 + 2*y + 4. Let q be g(-2). Is 34 - ((-8)/(-10))/((-32)/q) a multiple of 18?
True
Suppose 52 - 4 = -4*k. Let n(b) = b**2 + 9*b - 23. Does 6 divide n(k)?
False
Suppose 2*x - 5*x + 3 = 0. Let m(a) = x + 6 + a - 3*a. Does 8 divide m(-4)?
False
Let l be (-3)/((-6)/(-8) + 0). Let c be 20/2 + l - 4. Suppose 72 = 4*v + a, -3*v - c*a = -5*v + 26. Is v a multiple of 12?
False
Suppose 3693 = 16*a - 1875. Is 29 a factor of a?
True
Suppose -21 = 4*n + a, -4*a + 2*a + 8 = -2*n. Let r(z) be the first derivative of z**3 - 9*z + 2. Is r(n) a multiple of 27?
False
Is 29 a factor of 1/(-4) + (-75141)/(-132)?
False
Let b be (3 - 18)*-1*3/(-9). Is 7 a factor of (b - -50)*1 + -2?
False
Let f(k) = -8*k + 0 + 1 + 13*k**2 - 12*k**2 - 3. Let m be f(7). Let h(q) = -2*q - 7. Is 11 a factor of h(m)?
True
Let h(b) = b + 31 - 4*b - 9. Does 11 divide h(-7)?
False
Suppose 2*n = -5*c - 45 + 8, c = -n - 11. Let k(z) = -z**2 + 28*z - 1. Let p be k(28). Let x = p - n. Is x a multiple of 5?
True
Let f(o) = 3*o - 4. Let n be f(3). Suppose -220 = -n*b + 5*v - 0*v, 48 = b + 3*v. Does 15 divide b?
True
Let s = 707 + -604. Is s a multiple of 2?
False
Let a(j) = -13*j + 45. Let y(v) = 1. Let z(u) = -a(u) - 5*y(u). Is z(5) a multiple of 3?
True
Let l(f) = 2*f**2 + 2*f - 13. Let n(o) = o**2 - 1. Let z(u) = l(u) - 3*n(u). Let d be z(-7). Let j = 8 - d. Is j a multiple of 16?
False
Let w = 11 + 223. Suppose w = -5*a + 19. Let c = a - -95. Does 11 divide c?
False
Let o(k) = k**2 - 1. Let n(y) be the third derivative of y**3/6 + y**2. Let w(j) = 5*n(j) + o(j). Is 5 a factor of w(4)?
True
Let b(w) = 3*w**2 - 12*w - 8. Let h(a) = a**2 + a. Let j be h(2). Does 7 divide b(j)?
True
Let z = 190 + 170. Does 20 divide z?
True
Let l(g) = -g**2 + 15*g - 6. Let k be ((-24)/10)/((-3)/10). Is 10 a factor of l(k)?
True
Suppose 5*b + 12*u - 2133 = 14*u, -2*b = 5*u - 859. Is 61 a factor of b?
True
Let r = 21 + -16. Suppose 0 = r*g - 20, -3*t - 706 = -5*t - 4*g. Suppose h - 5*o = -2*h + 245, -4*h + t = -3*o. Is h a multiple of 27?
False
Let l = 1783 + -293. Is l a multiple of 39?
False
Suppose 0 = 3*q - 15*o + 17*o - 2, -3*q - 3*o - 3 = 0. Is 4 a factor of q?
True
Let l(p) = -p**3 - p**2 + 4*p - 2. Let x(k) = -k**2 + 4. Let s be x(-3). Let t be l(s). Let o = t - 53. Is 25 a factor of o?
True
Suppose -3*r + 6*u = u - 640, 2*r + u - 431 = 0. Let v = 390 - r. Is v a multiple of 15?
False
Let x = -166 - -530. Suppose -4*i = -4*q - x, -4*q = -2*i + 203 - 21. Is 22 a factor of i?
False
Suppose -926*f = -935*f - 27. Suppose -2*a - 13 + 1 = 0. Is (-241)/a + f/18 a multiple of 10?
True
Let h(p) = 6*p**2 + 15*p - 7. Let k(x) = x**2 + x. Let m(n) = h(n) - 4*k(n). Let y be m(-8). Let i = 57 - y. Is 12 a factor of i?
True
Let l be 2 - 13/(26/36). Let j be (-82)/l + (-11)/88. Does 7 divide (j - 6)/((-1)/35)?
True
Let k = -9 - -10. Let a be -59 - ((-3)/k)/(-3). Is ((-96)/(-10))/((-6)/a) a multiple of 15?
False
Suppose -4*f - 360 = 3*o, 259 = 5*f - 2*o + 709. Does 9 divide f/(-12)*(-10)/(-3)?
False
Suppose -4*p - 272 = -1648. Is 9 a factor of p?
False
Suppose -3*g + 0*g = -5*a + 26, 0 = -5*g + 5*a - 30. Let d be (572/(-39))/(g/3). Suppose 2*t = 3*t - d. Does 22 divide t?
True
Suppose 3*w = 6*w + 3*y - 15537, -5*w = 4*y - 25896. Is 14 a factor of w?
True
Suppose -2*l = -7*l + 3*v + 1034, -1040 = -5*l + 5*v. Suppose -4*w + 28 = -0*w. Suppose -w + l = 2*t. Is t a multiple of 22?
False
Suppose 47*g - 28846 = 60266. Is 27 a factor of g?
False
Suppose 7*h = 3*h + 20. Suppose -4 = -4*d, 2*b - h*d = 4*b - 5. Suppose 2*x = -b*x + 52. Is x a multiple of 7?
False
Suppose -2*z = -3*z + 8. Suppose -z = -i + 5*i. Is (5 - 6) + i + 15 a multiple of 12?
True
Let m(j) = 2*j**3 - 68*j**2 + 24*j - 21. Is m(34) a multiple of 24?
False
Is (40/14)/((-14)/(-1127)) a multiple of 10?
True
Let v = -151 - -211. Suppose -26 = -3*m - 3*d + 58, v = 2*m + d. Does 4 divide m?
True
Does 11 divide -1*1/(-1) - (-159 + -5)?
True
Let j be (8/12)/(1/3). Let m(h) = 6*h - 5*h + j + 2*h + 3*h**2. Is 11 a factor of m(3)?
False
Let f(u) be the third derivative of u**6/24 - u**5/20 + u**3/2 - 3*u**2 - 4. Does 11 divide f(4)?
True
Suppose 24 = -4*c + 44. Does 16 divide 1191/15 + 3/c?
True
Suppose 0 = -9*b - 55 + 595. Does 10 divide b?
True
Let k(v) = v**3 + 8*v**2 - 9*v + 4. Suppose -x = 2*x + 27. Let p be k(x). Suppose 2*s - p*s + 14 = 0. Does 5 divide s?
False
Suppose 0 = -59*w + 24859 - 5035. Is w a multiple of 2?
True
Let q(y) be the first derivative of -13*y**2 - 22*y + 2. Let t be q(-15). Suppose 5*j = 5, -j + t = 5*f + 112. Does 14 divide f?
False
Let p be -2 + 2 + 0 - (-74 - -2). Suppose 10*k = 492 - p. Is k a multiple of 8?
False
Let k(p) = 17*p + 5. Let g be k(-7). Let t be g - (-1 + 2 - 0). Let v = -59 - t. Does 28 divide v?
True
Let j(f) = 3*f**2 + 8*f - 5. Let z = 2 - -10. Suppose -l + 1 = d + z, d = -2*l - 17. Does 12 divide j(l)?
False
Let c(d) = d - 2. Let x be c(13). Suppose r - x = -2. Does 9 divide r?
True
Suppose 3*a = -2*g + 4*g - 5041, -3*g + a + 7551 = 0. Suppose -6*x = -g + 524. Does 20 divide x?
False
Let h(a) = 9*a**2 + 61*a + 19. Let u(m) = -6*m**2 - 41*m - 13. Let x(r) = -5*h(r) - 8*u(r). Let y be (30/9)/(1*(-1)/3). Is x(y) a multiple of 14?
False
Let d(r) = r**3 + 12*r**2 + 10*r - 15. Let q be d(-11). Let i(s) = -s**3 - 4*s**2 - 4*s + 6. Is i(q) a multiple of 12?
False
Suppose 3*a - 682 = 2*j, 2*a = -4*j + 7*j + 463. Is 14 a factor of a?
True
Suppose 400 = -8*s + 4*s. Let c(t) = 67*t**3 + 3*t**2 + t - 1. Let p be c(-1). Let u = p - s. Is 7 a factor of u?
False
Suppose c - 5*f - 26 = 74, -60 = -c - 5*f. Suppose -3*