 a factor of j?
False
Let d(p) = p**3 - 10*p**2 + 14*p - 9. Does 30 divide d(10)?
False
Suppose s = -6 + 88. Is 16 a factor of s?
False
Let v = -28 + 48. Let l = v + -12. Does 4 divide l?
True
Suppose 7*z = -1 + 883. Is z a multiple of 21?
True
Let r(p) = 11*p + 1. Let w be r(1). Let f be (-46)/(-8) - (-3)/w. Suppose f*c = 3*c + 33. Is c a multiple of 3?
False
Let v(o) = 3*o**3 - 2*o**2 + 4*o - 3. Let z(b) = b - 8. Let l be z(-6). Let h be (-12)/(-7) + l/(-49). Does 10 divide v(h)?
False
Suppose w + 22 = 3*w. Let n = 7 + w. Suppose 3*r - 9 = n. Does 9 divide r?
True
Is 10/4*544/85 a multiple of 4?
True
Does 13 divide 16/8*(1 - -10)?
False
Let k(z) = -z**3 + 8*z**2 + 3*z + 6. Let f = 5 + 3. Is 15 a factor of k(f)?
True
Suppose i - 16 = 3*l, 2*i + 0*i - 20 = 3*l. Let v(u) = -u**2 + 8*u - 4. Does 6 divide v(i)?
True
Suppose 2*x + 48 = -4*n, -2*x = -3*x + 5*n - 24. Let f = 42 + -54. Let c = f - x. Is 7 a factor of c?
False
Is 21*(-2)/(-1 + 21/39) a multiple of 45?
False
Suppose -2 = 2*g - 3*u, -2*g + 5*g + 3*u = 12. Let l(y) = 3*y**2 + y - 1. Is 4 a factor of l(g)?
False
Let v(l) = 16*l**2 - 1. Let b be v(1). Let p = -11 + b. Does 3 divide p?
False
Suppose -366 = -h - 2*z, h + 4*z - 355 - 17 = 0. Is 36 a factor of h?
True
Let a = 67 - 38. Suppose 2*n - 3 = a. Does 5 divide n?
False
Let s(z) = -22*z. Let a be (1 - 1) + 3 - 4. Is 4 a factor of s(a)?
False
Does 19 divide -2 - (-1 - (88 - -3))?
False
Suppose -5*s + 2*c - 125 = 0, -2*s + 3*c + 28 - 78 = 0. Let h = s + 46. Is 14 a factor of h?
False
Let i = 782 + -486. Is 14 a factor of i?
False
Let d be (-10)/5 + (-1 - -6). Suppose -3*b - 3*t + 57 = 0, 4*b + b - 97 = -d*t. Does 7 divide b?
False
Let x = 29 + -13. Suppose -4*n + 0 - x = 0. Let i = 8 + n. Does 3 divide i?
False
Let g(l) = -l - 2. Let o be g(4). Let j(a) = -a**3 - 4*a**2 - a - 6. Let d be j(o). Suppose 4*h - 72 - d = 0. Is h a multiple of 19?
False
Let y(o) = 10*o**2 + 4*o + 9. Is y(-6) a multiple of 54?
False
Let a(b) = b**3 - 9*b**2 + 6*b + 3. Suppose -3*h + 6*h - 27 = 0. Does 16 divide a(h)?
False
Let a(u) = -23*u**2 + u. Let y(g) = 22*g**2 - g. Let f(b) = 2*a(b) + 3*y(b). Is f(-1) a multiple of 18?
False
Suppose 7 = -q + n + 2*n, 0 = -2*q + n + 6. Suppose q*z = -3 - 7, 4 = -b - 2*z. Suppose b = -j + 21 + 1. Does 11 divide j?
True
Let k(w) = w**2 + 2*w + 1. Let s = -4 - -3. Let b be k(s). Suppose 4*t = -b*t + 120. Is t a multiple of 15?
True
Let v be -30*2/(-8)*2. Suppose -3*k = 5*j - 20, -2*k - v = k. Let y(p) = 5*p + 7. Does 14 divide y(j)?
True
Let k be (-3)/9*0 - -6. Let z = 11 - k. Suppose h = -2*n + 23, 0*h - z*h + 2*n + 127 = 0. Does 14 divide h?
False
Let t(v) be the third derivative of 0*v - 3*v**2 + 1/8*v**4 - 1/120*v**6 + 0 + 1/12*v**5 - 1/3*v**3. Is t(4) a multiple of 10?
False
Let b(a) = -a**3 + 10*a**2 - a + 4. Let c be b(10). Is 9/c - 183/(-6) a multiple of 25?
False
Let g(u) be the second derivative of -u**5/10 - u**4/4 - u**3/6 - u**2 + 2*u. Is 14 a factor of g(-3)?
True
Let y = 0 + 3. Suppose -y*g + 2*g = -26. Does 13 divide g?
True
Suppose 3*n + 3*l - 10 = 107, n + 5*l = 31. Suppose 2*c - 3*k - 15 = n, 41 = c + 5*k. Does 14 divide c?
False
Let i(o) = 25*o**2 - o + 1. Let w be i(1). Let g = w - 13. Is g a multiple of 10?
False
Suppose 0*u + d - 57 = 2*u, -51 = 2*u + 5*d. Does 3 divide (1 + 0)/((-2)/u)?
False
Does 11 divide ((-129)/(-6))/((-2)/(-4))?
False
Let y be -1*(-1 - -2 - 2). Let a be 0 - 110 - (y - 3). Let x = -66 - a. Does 16 divide x?
False
Let f(k) be the second derivative of -k**5/20 + k**4/4 - 3*k**2/2 + k. Is f(-3) a multiple of 22?
False
Let n(d) = -d**2 - 10*d - 10. Let o be n(-8). Let a be o/4*20/(-15). Let w = a + 38. Is 16 a factor of w?
False
Suppose 4*p + 3*j = 25, 5*p - 19 = 2*p - 2*j. Is 2 a factor of p?
False
Let n(j) = 5*j + 1. Suppose 4*u = -2*b + 4, 5*u + 2*b = 6*b + 31. Is n(u) a multiple of 4?
True
Suppose -22 = -5*g - 2*i, -4*g - 6 = 2*i - 22. Is 6 a factor of g?
True
Let f(o) = -o**3 - 12*o**2 - 11*o. Suppose -7 + 51 = -4*k. Let d be f(k). Suppose d = -4*z + 72 + 68. Does 9 divide z?
False
Let c(m) be the third derivative of m**4/24 + 11*m**3/6 + 3*m**2. Let d be c(-12). Is -1 + d - -33 - 3 a multiple of 28?
True
Let v = -2 - -40. Does 5 divide v?
False
Let s be (-77)/2 - (-1)/(-2). Is (2/(-3))/(1/s) a multiple of 26?
True
Let i be 20/(-2)*2 + -1. Let w be (-70)/i*36/10. Let h = 5 + w. Is h a multiple of 7?
False
Let h(f) = -2*f + 15. Let d be h(11). Let l = d + 19. Is l a multiple of 12?
True
Let w(j) = -j**3 - 6*j**2 + 3*j + 14. Let l be w(-7). Suppose -l - 22 = -4*g. Is g a multiple of 8?
True
Let p = 6 - 12. Let r be (-6*3)/(p/8). Suppose 0 = u - 4*u + r. Is 8 a factor of u?
True
Suppose 0 = -4*s + 2*v + 52, 0 = -3*s + s + 4*v + 32. Does 12 divide s?
True
Suppose 0 = 5*d - 0*d - 695. Does 17 divide d?
False
Let m(d) = d**2 - 6*d - 12. Let n(s) = s**3 + 2*s**2 + s. Let j be n(-1). Suppose -b + 10 = -j*b. Is 13 a factor of m(b)?
False
Let u(b) = 2*b + 1. Suppose -4*m = 6 + 2. Let i be u(m). Does 5 divide (-2)/i + 74/6?
False
Let z(p) = -72*p**3 - p**2 - 3*p - 1. Is z(-1) a multiple of 14?
False
Let n(o) = o**3 - 2*o**2 - 16*o + 3. Does 34 divide n(7)?
True
Is (-8 - -11)/(1 - 0) - -70 a multiple of 10?
False
Suppose 0 = -4*b - 0*b + 180. Does 14 divide b?
False
Let n(o) = 5*o**2 - 16*o + 2. Let l(w) = -6*w**2 + 15*w - 3. Let f(t) = 6*l(t) + 7*n(t). Does 19 divide f(-17)?
False
Let n = -53 - -91. Is n a multiple of 38?
True
Let a be (16/(-12))/(1/(-9)). Suppose -2*p + a = -34. Suppose -5*r = -102 - p. Is r a multiple of 15?
False
Suppose -2*n + 0*n - 5*k - 5 = 0, -4*n - 2*k = -14. Let r = 3 - n. Does 9 divide (-32)/(-4) - 2/r?
True
Suppose 2*i + 21 = 5*i. Suppose -34 - 197 = -i*t. Does 13 divide t?
False
Let n(l) = l**3 + l**2 - 4*l. Let o be n(-3). Let j be (2/(-2))/(-1) + o. Let r = j + 27. Is r a multiple of 11?
True
Suppose 0 = 7*k - 5*k - 2. Does 14 divide 1/(k/126*3)?
True
Let o = 2 + 13. Is 12 a factor of o?
False
Suppose 0 = -3*z + 4*z - 48. Suppose 2*u + 4*f = 30, 3*u + 4*f = -u + z. Is u a multiple of 8?
False
Let w be 6/4 + (-2)/(-4). Let b be 0 + w + 0 - 7. Let j(o) = -o. Is 5 a factor of j(b)?
True
Let y = 18 + -15. Is -18*(y + -1*6) a multiple of 18?
True
Suppose 4*g - 3 = 3*g, -4*f + 30 = -2*g. Suppose 5*z = -5*x - f + 104, 4*x - 91 = z. Is 19 a factor of x?
False
Let n be ((-63)/(-12))/((-1)/4). Let w = n - -35. Is 7 a factor of w?
True
Let i(c) = -3*c + 5. Let h be (-5)/(((-3)/(-1))/(-3)). Let z be i(h). Does 8 divide (-80)/(-12)*(-12)/z?
True
Suppose -879 = -2*h - h. Does 10 divide h?
False
Suppose 0 = -2*b - 2*m + 2, 2*b + 2*m - 4 = -2*b. Suppose -z + 8 = b. Does 3 divide z?
False
Let q(r) = 37*r + 42. Is 33 a factor of q(6)?
True
Let l = 4 - -3. Let n = 18 - l. Let c = -2 + n. Is 3 a factor of c?
True
Is (116/8)/(1/12) + 3 a multiple of 14?
False
Suppose 5*d + 0 = -25. Let h be 4/(3 - d/(-2)). Suppose 0 = -q - h + 27. Does 19 divide q?
True
Let y = 26 + -5. Does 3 divide ((-24)/14)/((-6)/y)?
True
Let b(i) = -i - 9. Let u be b(-7). Let c be (1*u)/2*-5. Is (-216)/30*-1*c a multiple of 12?
True
Suppose -160 = -3*s - 40. Is s a multiple of 8?
True
Let j(p) = -p**3 - 7*p**2 + 8*p + 3. Let l be j(-8). Suppose -q = l*q - 168. Let s = 84 - q. Is 19 a factor of s?
False
Let q = 245 + -147. Is q a multiple of 33?
False
Let t = -6 - -8. Let k be 2/((-8)/t)*0. Suppose 2*a + 10 = k, 2*g - 4*g - a = -11. Is g a multiple of 3?
False
Let s(b) = b. Let a be s(2). Suppose 0 = -0*f - a*f - 150. Is f/(-6) - (-1)/(-2) a multiple of 11?
False
Let p = 11 + -8. Suppose -24 = -p*o - 6. Suppose 0*h = h - o. Is h a multiple of 2?
True
Let t = 60 + -12. Suppose -3*l + 12 = -0*l. Suppose l*w + 0*w = t. Is w a multiple of 12?
True
Let x be (-20)/(-8) + 2/(-4). Suppose -16 = -x*q - 3*q - 3*o, -o = -2*q + 13. Suppose 3*p + q = 17. Is p a multiple of 4?
True
Suppose 2*x - 26 = 44. Let n = 142 - 87. Let c = n - x. Is c a multiple of 11?
False
Let n(y) = 5 - 3*y**2 + 5*y**2 + 6*y + y. Let p be n(-6). Suppose 4*x - p = 9. Is 11 a factor of x?
True
Suppose y - 148 + 44 = 0. Is 13 a factor of y?
True
Let n = -44 + 74. Is 6 a factor of n?
True
Let w be (1 + -7)/(-1) + -2. Suppose 5*d - w*d = 6. Is 11 a factor of d/15 - 294/(-15)?
False
Suppose 0 = 5*a - 0*a - 10. Let c = a - -1. Is 3 a factor of c?
Tru