- 3*b**2 + b**3. Let r(o) = -o**2 + 2*o + 3. Let a be r(-2). Does 15 divide p(a)?
False
Let j = 75 - 53. Let s(n) = n**2 - 28*n - 60. Let c be s(28). Is (0 - c)*j/55 a multiple of 24?
True
Suppose -8*h + 4 = -6*h. Suppose -4*b = 3*r + 4 - 5, h*b + 1 = -r. Is (348/(-8) + 0)*b a multiple of 16?
False
Let t(b) = -b**2 + 11*b + 7. Suppose -3 = -3*x - 36. Let u = -1 - x. Is 4 a factor of t(u)?
False
Let n = -19 + 13. Let p(d) = -3*d - 4. Let c(z) = -7*z - 8. Let t(v) = -2*c(v) + 5*p(v). Is t(n) a multiple of 2?
True
Suppose -2*t + 26 = 20, 3*t + 471 = 2*y. Is y a multiple of 40?
True
Suppose -g = 2*g. Suppose 3*v = -g*v. Suppose -3*i + 84 = 5*w, 3*w + v*i = 3*i + 36. Does 15 divide w?
True
Suppose 2*k + 3*m - 6021 - 1881 = 0, 15800 = 4*k + 4*m. Is k a multiple of 15?
False
Let a = 8 - 6. Suppose -a*p + 123 = -63. Is p a multiple of 31?
True
Let u = -1011 - -1928. Is 10 a factor of u?
False
Suppose -4*q + 23 = 15. Let z be 2/(-4)*(-16)/q. Suppose 3*i = 12, 4*t - 328 = z*i + i. Does 18 divide t?
False
Let z(c) = -c**2 + 11*c + 5. Let x(l) be the first derivative of l**4/4 + 10*l**3/3 - l**2 - 10*l + 5. Let k be x(-10). Is z(k) a multiple of 15?
True
Let r(a) = -16*a + 10. Let n(g) = -g + 1. Let s(d) = -5*n(d) + r(d). Let o be s(-6). Let i = 18 + o. Is i a multiple of 15?
False
Suppose 8 = 2*q, 0 = 4*v - 4*q + 2 + 2. Suppose 0*d - v*d = -9. Is 2 a factor of d?
False
Suppose -3*l + 0*l - 3*u - 21 = 0, -5*u = l + 27. Let p be 21/27 - (-12)/54. Is (l/p)/(4/(-52)) a multiple of 26?
True
Suppose -10 = 4*y + 5*u, 3*y - 2*u - 1 = 3. Suppose k + 3 + 9 = y. Let g = k + 34. Does 22 divide g?
True
Let l(a) = -9*a**2 - 13*a - 10. Let i(z) = z**2 + 2*z + 1. Let w(x) = -6*i(x) - l(x). Suppose 7 = -4*v + h, -4*h + 23 = -v - 8*h. Does 7 divide w(v)?
True
Let f(y) = 1. Let l(z) = 7*z + 7. Let n(m) = -4*f(m) - l(m). Let g be n(-8). Let k = g + -5. Does 8 divide k?
True
Let a(j) = 8*j**3 - 11*j**2 + 7*j. Does 14 divide a(4)?
True
Let b(q) = q**2 + 3*q + 3. Let o(t) = -2*t**2 - 10*t - 9. Let n = 45 + -34. Let i(g) = n*b(g) + 4*o(g). Does 7 divide i(4)?
False
Suppose -i = -m - 450 + 70, -5*i - 5*m + 1910 = 0. Does 24 divide i?
False
Suppose q + 5*y - 18 = 0, -3*q + q + 3*y - 16 = 0. Is 38 a factor of 74 + 2 - 0/q?
True
Suppose 0 = -6*f + f - r + 541, 4*r = -16. Is 7 a factor of f?
False
Let u(j) = -13*j - 11. Let o be u(5). Let c = o + 141. Is c a multiple of 13?
True
Let o(r) = -r**3 + 14*r**2 + 23*r + 2. Is o(-3) a multiple of 86?
True
Let f(b) be the first derivative of 4*b**2 + 11*b + 3. Let o be f(9). Let u = o + -50. Is 11 a factor of u?
True
Let g be ((-148)/3)/(-4)*3. Let b = g - -1. Is 19 a factor of b?
True
Let a(j) = j**3 + j**2 - j - 4. Let s be a(0). Is 13 a factor of 103/4 + (2 - (-7)/s)?
True
Let p be 1/(((-1)/(-4)*-2)/(-1)). Does 29 divide (1/(-2) + p)/(6/464)?
True
Let f = 460 + -108. Is 8 a factor of f?
True
Let z = 17 - 14. Suppose 0 = -z*i - 0*i - 12. Does 7 divide (-10)/i*(-66)/(-15)?
False
Let t be ((-30)/8)/((-3)/(-8)). Let j(w) = -w**3 - 11*w**2 - 12*w - 7. Let f be j(t). Let d = 19 - f. Does 6 divide d?
True
Suppose 0 = -4*v + u + 2995, -750 = 4*v - 2*u - 3744. Is (v/(-7) - 1)*2/(-4) a multiple of 18?
True
Let i(h) = h**2 - 16*h + 5. Let v(o) = -2*o**2 + 17*o - 5. Let g(w) = 3*i(w) + 2*v(w). Is g(-6) a multiple of 11?
False
Let z(t) = -229*t + 115. Is z(-5) a multiple of 87?
False
Let o(g) = -5*g**3 - 20*g**2 - 41*g + 49. Let m(a) = 2*a**3 + 10*a**2 + 20*a - 24. Let f(l) = 7*m(l) + 3*o(l). Does 15 divide f(11)?
True
Let u = 9 - -1. Let z = 30 - u. Is 5 a factor of z?
True
Let s = -121 + -180. Let d = 444 + s. Does 35 divide d?
False
Suppose 2*h - 20 = -2*h + 2*m, 5*h - 25 = -3*m. Let l = h + -2. Suppose -153 = -l*k - 0*k. Is k a multiple of 17?
True
Suppose f - 18 = 4*p + 1, -5*f = -5*p - 20. Suppose -64 = -0*r - 4*r. Let h = r - p. Does 7 divide h?
True
Let v be 2*3/(-6) + -29. Let u = 18 - v. Is u a multiple of 6?
True
Let d = 25 - 25. Suppose v - 40 - 9 = d. Does 10 divide v?
False
Suppose 2*b - 3*d - 273 = 538, -815 = -2*b - d. Does 11 divide b?
True
Is (3 + 0 - -2) + 162 a multiple of 4?
False
Let v(x) = x - 3*x + 0*x - 4 - 5*x. Does 41 divide v(-10)?
False
Is 73 a factor of (312 - 4 - -5) + 0?
False
Let b = -45 - -64. Suppose w + 5*s - 1 - b = 0, -13 = -2*w - s. Suppose -4*j + 5*z + 61 = -126, -3*j = w*z - 149. Is j a multiple of 12?
True
Suppose -5*v = -0*k + 3*k - 20, 0 = -5*v - 4*k + 15. Suppose 5*n - v*n = -422. Suppose -3*h - n = -5*z - h, -82 = -2*z + 2*h. Is z a multiple of 17?
False
Is (10 - 0) + (-3 - -1487) a multiple of 33?
False
Let j be (-9)/6 + (-21)/(-6). Suppose -3*f - 130 = -j*k, -5*k - f = -319 - 23. Is k a multiple of 34?
True
Suppose -x - 5*x + 78 = 0. Let h(z) = 3*z - 12. Let g be h(10). Suppose x*m + 235 = g*m. Does 15 divide m?
False
Let d be 0/(-2 + 0) + 3. Suppose -4 = -c + d. Is 7 a factor of c?
True
Let m = 2 + 0. Is 26 a factor of 77/1 + m + (-15)/15?
True
Suppose -1150 - 1827 = -13*p. Is 37 a factor of p?
False
Let j(p) = p**2 - 5*p + 2. Let z be j(6). Suppose 11*u - 31*u - 20 = 0. Is 18 a factor of z + -7 + (-35)/u?
True
Let r(n) = 13*n - 19. Let x = 36 + -34. Does 6 divide r(x)?
False
Let f be 10/40 + (-1)/4. Suppose -n + 4*z + 148 + 26 = f, -3*z = 4*n - 734. Does 22 divide n?
False
Let p = -2215 - -2235. Does 2 divide p?
True
Suppose -6*k + 152 = -4*k. Is 0 + k - 40/20 a multiple of 37?
True
Suppose 0 = -6*z + 12 + 144. Is z - (-5 - (-6 - 3)) a multiple of 15?
False
Let n(t) = t**3 - 37*t**2 + 76*t + 6. Is n(35) a multiple of 8?
True
Let a(j) = 398*j**3 + 7*j**2 - 9*j + 1. Is a(1) a multiple of 5?
False
Let b(l) = 9*l**2 + 13*l - 16. Let u be -12*((-10)/3)/5. Let y be b(u). Is 2/(y/164 - 4) a multiple of 26?
False
Suppose -4*q = -0*q - 68. Let o = 12 - 2. Let c = q - o. Does 7 divide c?
True
Let t = 2085 - 1851. Is 3 a factor of t?
True
Suppose 3*g - 2457 = -4*o + 906, -3*o + 2517 = -3*g. Is o a multiple of 30?
True
Suppose k + 17 = 2*j, -66 = -5*j + 3*k - 24. Let v = -4 + j. Suppose 0 = v*s - 2*o - 474, -5*o = 2*s - 0*s - 178. Is 22 a factor of s?
False
Let v = 2190 + -1982. Does 16 divide v?
True
Let u = 9 + -15. Let d(b) = b**3 + 8*b**2 + 5*b - 11. Is d(u) a multiple of 9?
False
Let m(d) = -3*d + 93. Let s be (0 - -4) + (4 - 8). Does 16 divide m(s)?
False
Let c(p) = -1. Let m(n) be the third derivative of n**5/60 + n**4/24 - n**3/6 + 7*n**2. Let i(z) = 5*c(z) + m(z). Is 10 a factor of i(-6)?
False
Is 26 a factor of (-1)/(-9) + 7068/54 + -1?
True
Let r(x) = -x**2 + 22*x - 10. Is 29 a factor of r(9)?
False
Is (3 + -12)*990/(-27) a multiple of 6?
True
Let y(l) = 54*l - 1. Let w be y(6). Let b(i) = i**3 - 32*i**2 + 23*i + 19. Let m be b(31). Let n = m + w. Is n a multiple of 16?
False
Let z(l) = 13*l - 32. Let k = 63 + -58. Is 2 a factor of z(k)?
False
Let x = -4612 + 9478. Is x a multiple of 90?
False
Suppose -2*f + 3*f = -5. Let x = 19 - f. Suppose -z = -2*z + x. Is 12 a factor of z?
True
Let x(j) = -66*j**3 - j. Is x(-2) a multiple of 49?
False
Suppose -8*w - 1832 = -12*w. Does 63 divide w?
False
Suppose -27*l - 36 = -18*l. Let y be ((-4)/8)/((-1)/(-8)). Is 3 + y/(l/33) a multiple of 10?
False
Suppose 3*k + 2*x = 20, 5*k - 35 = 2*k + x. Let g(u) = -u**3 + 9*u**2 + 15*u - 2. Is g(k) a multiple of 13?
False
Suppose -4*o = 4, 0 = 4*r - 7*o + 6*o - 1813. Is 16 a factor of r?
False
Let o(l) = -l**3 + 5*l**2 - 2*l - 4. Let u be o(4). Let d = 0 + u. Suppose -d*c - 22 = -142. Is 15 a factor of c?
True
Suppose i = 2*i - 5. Let o be (3/4)/(9/228). Suppose 0 = i*z - 4*k - 50, -4*k - o = -4*z + 21. Does 5 divide z?
True
Let u(t) be the third derivative of t**5/30 + 7*t**4/24 - t**3/6 - 9*t**2. Is u(-4) even?
False
Suppose -4*c - 41 = 5*r + 130, -2*r - 42 = c. Let t be 168/c - 6/33. Does 17 divide t + 45 + (-3)/(-1)?
False
Let m(t) = -t**3 + 12*t**2 - t + 12. Let v be m(12). Suppose -2*f = 3*f - 4*y - 187, v = 3*f - 2*y - 113. Is 9 a factor of f?
False
Suppose 0 = 5*l - k - 495, k = 7 - 2. Suppose -3*m - 31 = -2*z + 45, 2*z + 3*m - l = 0. Is 11 a factor of z?
True
Let l = 65 + -59. Suppose l*g - 3*g = 360. Is 20 a factor of g?
True
Is 20 a factor of (7/((-21)/(-4)))/(16/5736)?
False
Suppose 0 = 2*c - c - 1. Suppose 187 = 2*o - c. Is 27 a factor of o?
False
Let i be (4 - 12)*(-1 - -2). Let f be ((-12)/i)/(1/2). Suppo