 d(7)?
True
Suppose -5*i = -10*i - 10. Let u be 192/20 - i/5. Suppose -k + 29 = u. Is 14 a factor of k?
False
Suppose -2*v = -4*v - 2*d, 5*v = 3*d + 32. Is 12 a factor of (-2)/v - 124/(-8)?
False
Let o(t) = -t**2 + 13*t + 14. Let g be (1 - 0)/(5/55). Does 6 divide o(g)?
True
Let l = -190 + 320. Let c be l/((-1)/1*-1). Suppose 3*s - c - 11 = 0. Does 12 divide s?
False
Let j be 6/2*-1*-13. Suppose x = 140 - j. Does 33 divide x?
False
Let l = -1 - -15. Suppose 5*u + r - 2*r = 51, 2*u - l = 2*r. Is 5 a factor of u?
False
Suppose -5*a - 6 - 4 = 0. Let s(u) = 5*u**2 - u. Is 14 a factor of s(a)?
False
Let k be 1*7/((-7)/(-10)). Let f(m) = -m**2 + 13*m - 12. Does 6 divide f(k)?
True
Let u(c) = -c**3 - 4*c**2 - 6*c - 1. Is 17 a factor of u(-5)?
False
Let k = -79 - -157. Is 26 a factor of k?
True
Suppose 0 = 8*y - 20 - 12. Does 4 divide y?
True
Let k = 22 + -12. Is 7 a factor of k?
False
Let b = 49 - -54. Does 18 divide b?
False
Suppose -2*k + 0*x + 93 = -x, -195 = -4*k + 5*x. Is k a multiple of 15?
True
Let n = 13 + -8. Let x(y) = -y + 3*y**2 + 5 - n + 2. Is 16 a factor of x(-3)?
True
Let v = -5 - -10. Suppose 6*x - x - 22 = g, x = -v*g - 6. Suppose -2*w = -x*w + 54. Does 16 divide w?
False
Let w(h) = 5*h + 0*h - 3*h - 1. Does 21 divide w(11)?
True
Suppose -4*o + 112 = 3*r + r, -3*o + 5*r = -116. Is o a multiple of 4?
True
Let a(w) = -198*w**3 + w**2 - 1. Let q be a(-1). Suppose -5*k = -q - 102. Does 20 divide k?
True
Suppose -6*l + 2*l + 20 = 0. Is 2 a factor of l?
False
Let t be 1 + -2 + 1 - -3. Suppose 4*u = -w + 9, -2*u + 37 = -0*w + t*w. Does 13 divide w?
True
Let l(t) = 2*t**2 - t - 14. Let r be l(-7). Let j = r + -43. Is j a multiple of 24?
True
Let t = 6 + -2. Suppose -t*z - 29 = -y, 0 = -4*z + 17 - 1. Is 9 a factor of y?
True
Let v(z) = 7*z**2 - 13. Let o(y) = 11*y**2 - 20. Let m(u) = -5*o(u) + 8*v(u). Let c be m(-3). Suppose c*r + 18 = 148. Does 13 divide r?
True
Let k(g) = g**2 - 4*g - 1. Let o be k(5). Is 12 a factor of o/(-8) + 98/4?
True
Suppose -u + 5*c = -37, 62 = 2*u + c + c. Suppose 0*d - 38 = -2*h - 4*d, 2*h + d - u = 0. Is 7 a factor of h?
False
Let m = 302 + -182. Does 13 divide m/9 + (-1)/3?
True
Suppose 4*j = j + 9. Suppose -k - 118 = -j*u, -u + 3*k = -0*u - 42. Is u a multiple of 13?
True
Suppose 15 = 4*s + s. Suppose s*b - 54 = 60. Does 13 divide b?
False
Let r(q) be the third derivative of -q**8/20160 - q**7/720 + q**6/180 + q**5/20 + q**2. Let h(g) be the third derivative of r(g). Is h(-6) a multiple of 10?
True
Let b be (-184)/40 - 4/10. Let y(r) be the second derivative of r**4/12 + r**3/3 + 3*r**2/2 + 2*r. Is 18 a factor of y(b)?
True
Let c(z) = 193*z**3 - 2*z**2 + z. Let j be c(1). Suppose -5*o = -u + 8 + 8, -3*o + j = 5*u. Is 14 a factor of u?
False
Let p(u) = u**2 + u + 70. Is 12 a factor of p(0)?
False
Let q = 4 - 4. Suppose q = -0*o - 4*o + 168. Suppose 0*n = 2*n - o. Is n a multiple of 7?
True
Let f = -20 + 19. Suppose -6 = g - 4. Is 15 a factor of (30/4)/(f/g)?
True
Suppose 0*x + 2*x - 160 = 0. Is 20 a factor of x?
True
Let j(y) = y**3 - y**2 - 2. Let i be j(2). Suppose -4*s = -i*d + s + 23, 0 = 2*d + 5*s - 13. Let q(l) = l**2 - 5*l - 10. Is 9 a factor of q(d)?
False
Let g(s) = -s**2 + 7. Let l(j) = -j**2 - j + 1. Let m(f) = g(f) - 3*l(f). Does 9 divide m(-4)?
False
Suppose -15*y + 10*y + 110 = 0. Is y even?
True
Let x be 3 - -9*1 - 0. Suppose 5*n - 4*p = -12, 0*n = -2*n + 4*p - x. Suppose t = 7 - n. Is t even?
False
Suppose -3*y - 3*p = -6, -2*y = 2*p - 4*p - 8. Suppose -6*m + 6 = -y*m. Suppose -m*v + 32 = 2*v. Is v a multiple of 3?
False
Is 1572/14 - (-8)/(-28) a multiple of 16?
True
Let b = 15 + -10. Suppose b = -4*d + 37. Let w = -5 + d. Is 2 a factor of w?
False
Let q(u) = 2*u - 4 + 5 + 44*u**2 + 0 + 0*u. Is q(-1) a multiple of 25?
False
Let g(t) = 0*t**3 - 3 - 6 - 12*t**2 - 13*t - t**3. Does 13 divide g(-11)?
True
Let j = -9 + 22. Is j even?
False
Let t = 5 - 3. Let h(x) = 3 - 3 + 12*x**t. Is 7 a factor of h(1)?
False
Let a(z) = -32*z**3 + z**2. Let l be a(-1). Suppose 480 = 5*t - 4*i, 3*t - 5*i = 2*t + 96. Suppose 0 = 3*u - t + l. Does 7 divide u?
True
Let g = -218 + 372. Does 35 divide g?
False
Suppose -11*a + 334 = 103. Is 21 a factor of a?
True
Does 38 divide (-2 + 4/6)*(-1596)/8?
True
Let r(t) = -t**3 + 4*t**2 - t. Let y be r(3). Does 4 divide y/36 - 58/(-12)?
False
Let g(h) = h**2 + h - 6. Let i be g(-5). Let x = i + 5. Is 11 a factor of x?
False
Is 9 a factor of 4/6*(-513)/(-38)?
True
Suppose -10*u + 14*u + 112 = 0. Does 5 divide 1/3 + u/(-6)?
True
Let j = -8 + 7. Is 6 a factor of -3 - -1 - -13 - j?
True
Let y(d) = -d**2 - 18*d - 17. Does 8 divide y(-9)?
True
Let o(h) = 2*h**3 - 12*h**2 + 3*h - 9. Is o(7) a multiple of 18?
False
Let x(z) = -55*z - 6. Let w be x(-5). Let r = w + -188. Does 23 divide r?
False
Let w(u) = -u - 10. Let s be w(-8). Let j be 40/7 - s/7. Let y = j + 12. Does 9 divide y?
True
Let g be 5/(10/156)*2. Suppose 3*i - 486 = -g. Suppose -6*p + i = -p. Does 11 divide p?
True
Suppose -4*t = -218 + 30. Is t a multiple of 7?
False
Let q(n) be the first derivative of n**3/3 - n**2/2 + 4. Let j be q(-1). Suppose j = w - 0*w. Is w even?
True
Is 3 a factor of (6 - 4)/(-2) - -8?
False
Let s = -4 + 21. Is 4 a factor of s?
False
Let s = -26 - -57. Is s a multiple of 5?
False
Suppose -5*d + 4*d = 0. Suppose d = 4*r + 8, -4 = 2*n - 3*n - 5*r. Is n a multiple of 7?
True
Let k(z) = z**2 - z - 4. Suppose -4*c - 12 = 12. Let n be 1 - 1 - (1 + c). Is 8 a factor of k(n)?
True
Suppose -3*x + 36 = 5*g, 3*g = -3*x - x + 59. Let l = x - 11. Is 5 a factor of l?
False
Let d be 4/(-8) + 50/(-4). Let p = d + 8. Is p*(2 - (-44)/(-10)) a multiple of 10?
False
Suppose r = -0*r. Suppose -g + r*z = -z - 16, -5*z = -g. Is g a multiple of 13?
False
Let v = -14 - 3. Let q = 29 - v. Does 23 divide q?
True
Let t(b) = 162*b**3 - b**2. Let m be t(1). Let x be m + (3 - 4/2). Suppose 5*r - x = 2*r. Does 18 divide r?
True
Let a(g) = -g + 10. Let d be a(6). Let t(q) = q**3 + 7*q**2 - 8*q + 4. Let k be t(-7). Suppose d*y - 2 = n + k, 0 = -y - 5*n + 26. Is y a multiple of 10?
False
Suppose 0 = -14*a + 13*a + 96. Is a a multiple of 16?
True
Let j = -13 + 6. Let s = j + 3. Let l(k) = k**2 + 2*k + 4. Is 12 a factor of l(s)?
True
Let m = -28 + 47. Suppose m = -f + 1. Let o = f + 44. Is o a multiple of 11?
False
Suppose 5*u - 4*n = 21 + 1, -3*u - n + 3 = 0. Suppose -4 = 2*t - u. Is -2*(22/(-4) - t) a multiple of 9?
True
Let g(k) = -14*k**3 + 2*k**2 + k. Let q = 2 - 2. Let j = q - 1. Is g(j) a multiple of 7?
False
Let g(l) = -19*l - 37. Does 6 divide g(-7)?
True
Let j be -17*(-7)/((-28)/40). Is 16 a factor of 1/(j/57 + 3)?
False
Let f(a) = a**3 - 6*a**2 - 8*a + 10. Let c be f(7). Is -1 + c + 12 - -1 a multiple of 15?
True
Suppose 5*a = 20, -p + 7 = 2*p + 4*a. Let t be (-2 + -1)*1 - p. Is 8 a factor of (t - (-32)/(-6))*-3?
True
Let v = 3 - -1. Suppose 2*f + 3*u + 41 - 143 = 0, 0 = 4*f - 5*u - 182. Suppose -f = -3*a + s, 0*a - v*s - 27 = -a. Does 15 divide a?
True
Suppose 4*h - w - 120 = 0, -5*w + 61 = 5*h - 89. Is 15 a factor of h?
True
Let c = 0 - -1. Let y(h) = 6*h**2. Is y(c) a multiple of 3?
True
Let p(c) = 11*c**2 - c + 3. Is p(-2) a multiple of 29?
False
Let z(v) = v**2 + 7*v - 12. Is 2 a factor of z(-9)?
True
Let h = 1 - -4. Suppose 2*s = 3*s - 3*f - 47, -2*s + h*f = -99. Is s a multiple of 21?
False
Suppose -c + 16 = -0. Let y = 17 + c. Is 17 a factor of y?
False
Let x(k) = 7*k**2 - 2*k. Is x(-4) a multiple of 24?
True
Let u(h) = h + 15. Suppose 0 = 2*o + 6, 3*d = -o + 2*o + 6. Let v be (d + -1)*(-1)/(-2). Does 8 divide u(v)?
False
Let p be -2 + 5*-1*-1. Suppose -2*z - 7 = -v - 0, -3 = -p*z - 3*v. Let s = 13 + z. Is s a multiple of 4?
False
Let x(y) = -y**3 - 2*y**2 - 3*y - 3. Let j be x(-2). Suppose -j*m - 2*h + 7 = -h, -35 = -5*m + 3*h. Suppose -u + m = -4. Is u a multiple of 4?
True
Suppose -4*v - 340 = 2*r - 7*r, -r - 5*v + 39 = 0. Does 8 divide r?
True
Suppose d - 4*d + 6 = 0. Suppose -d*a + 0*a - 2 = 0. Is 19 a factor of 4/4 - 37/a?
True
Let p = 0 - -10. Is p a multiple of 5?
True
Suppose -2*s + 3*v = -4, v - 4*v = -3*s. Let k = 0 - s. Suppose 5*z + k*y = 153, 2*z - 29 = 5*y + 52. Is 23 a factor of z?
False
Suppose m = 10 + 6. Suppose -v = -2*v + m. Is 16 a factor of v?
True
Suppose 5*j - 20 = j. Does 5 divide j?
True