 Let q(p) = -p + 1. Let z be q(4). Is 5 a factor of z/(-3) + w + 13?
True
Let l(u) = u**3 + 7*u**2 - 16*u + 8. Does 24 divide l(-7)?
True
Suppose 0 = z + 5, -5 = 5*t + 4*z + 5. Suppose -414 = t*w - 5*w. Is 18 a factor of w?
False
Suppose -4*v - 8 = -5*b + 4*b, 4*v - 8 = 5*b. Let j be 0 - ((-15)/(-9))/5*45. Does 5 divide v*j/(-27)*-3?
True
Let m = 56 - 57. Is (4/m)/((-8)/152) a multiple of 19?
True
Suppose t + 34 + 12 = 0. Let r = -26 - t. Is r a multiple of 5?
True
Is (-2)/4 - (541/(-2) - 8) a multiple of 5?
False
Suppose 5*q - 26 = -5*l + 74, 0 = -4*l - 5*q + 82. Let r be (l/12)/(1/2). Suppose -3*z + 4*j + 65 = 0, z + 4*z - 90 = r*j. Does 3 divide z?
True
Let k = -138 + 336. Is k a multiple of 18?
True
Let l(v) = -5*v - 1. Let z be (-9)/6*2/(-3). Let f be -10*(-4)/(-8)*z. Is 6 a factor of l(f)?
True
Suppose -7*y + 234 = -165. Does 3 divide y?
True
Suppose -2*o + 5*o = -162. Let t be (-1)/(((-4)/2)/o). Let g = t + 46. Is 19 a factor of g?
True
Is 5/(-45)*6*-381 a multiple of 39?
False
Let j(o) = 4*o**3 + 3*o**2 - o - 1. Let i = 17 + -15. Does 9 divide j(i)?
False
Is (24/(-6) + -325)*-1 a multiple of 47?
True
Let x = -4 + 7. Let r be 2/(x/((-540)/(-8))). Suppose 0 = 2*i + 3*i - r. Is 6 a factor of i?
False
Suppose -25 = 5*h, -22 = -7*q + 3*q + 2*h. Suppose 3 - 6 = q*w. Is (28 + w - -2)*1 a multiple of 22?
False
Is 9 a factor of (-95175)/(-120) + (9/(-24))/3?
False
Suppose 5*h = 2*h + 369. Let j = h + 98. Does 13 divide j?
True
Suppose -t = 5*s - 903, -5*s + 0*t - 3*t = -909. Is s a multiple of 5?
True
Let l = 40 - 9. Suppose -7*s + l = -102. Does 9 divide s?
False
Let p = -688 - -877. Is 26 a factor of p?
False
Suppose -2*v = 2*a - 4368, -5*v + 5*a + 10890 = -0*a. Is v a multiple of 50?
False
Let d be (-60)/(-14) - (-2)/(-7). Let g(l) = -l**3 + 3*l**2 + 4*l + 4. Let t be g(d). Suppose -3*z + t*o = z - 32, -4*o = 0. Is 3 a factor of z?
False
Suppose 4*n + 18 = d, -3*n - 20 = -3*d - d. Suppose 16 = -d*j + x, 3*x = -j + 6*j + 39. Does 4 divide j*(-1 - 0/3)?
False
Let b be (7 - (0 - -2)) + 2. Suppose 0 = -b*w + 2*w. Suppose -d + 129 - 38 = 2*n, w = 2*d + 2*n - 190. Does 33 divide d?
True
Let c(p) = -2*p**2 + p. Let y be c(-2). Suppose -19 - 9 = l. Let b = y - l. Is 6 a factor of b?
True
Let s(p) = 2*p**2 - 37*p + 52. Is s(25) a multiple of 29?
True
Suppose -2*c + c = -2. Let k(q) = 4*q**2 - 2 + q**c - 13*q + q**2 + 11*q. Is k(2) a multiple of 18?
True
Suppose 63*q = 41*q + 9196. Is q a multiple of 38?
True
Suppose 0 = k + 3*b + 2, -3*k + 3*b - 6 = -36. Suppose 4*g - k*g + 204 = 0. Suppose -x + 16 + g = 0. Does 25 divide x?
False
Let r = 613 + -149. Is 29 a factor of r?
True
Suppose 12*r = 11*r - 58. Let h = -6 - r. Is h a multiple of 13?
True
Let v = -603 - -1453. Is v a multiple of 25?
True
Suppose 11*t = 7*t + 120. Suppose b - 107 = -t. Is b a multiple of 15?
False
Let i = 0 + -6. Suppose -4*n - 12 = 4*a, 3*a + a + n = 3. Is a*(2 + (-45)/i) a multiple of 6?
False
Let n(l) be the first derivative of 1/2*l**2 - l**3 + 2*l - 3 + 3/4*l**4. Is n(2) a multiple of 16?
True
Let u(f) = f**3 - 3*f**2 + 2*f - 6. Let h be u(3). Suppose h = -44*c + 40*c + 152. Does 5 divide c?
False
Let a(s) = -4*s**3 - 11*s**2 - 3*s - 8. Is 6 a factor of a(-4)?
True
Let x(c) = -3*c - 3. Let u be x(-2). Suppose u*l + 3*q = 8*l - 154, 3*l = -5*q + 106. Is l a multiple of 8?
True
Let f(v) = -2*v + 59. Is f(19) a multiple of 2?
False
Let d be (-4 + (3 - -1))/(-2). Suppose d = 5*i - 6*i + 122. Is 18 a factor of i?
False
Let x(w) = w + 5. Let z be x(0). Let d(b) = 7*b**3 - 5*b**2 + 2*b + 4. Let r(m) = -3*m**3 + 3*m**2 - m - 2. Let y(q) = -2*d(q) - 5*r(q). Does 7 divide y(z)?
True
Let f(k) = -10*k. Suppose z = -3*s, 4 = -s + 2. Let b be -6 + 8/12*z. Is f(b) a multiple of 5?
True
Suppose 4*h + 27 - 123 = 0. Suppose -2*y - 36 = -5*p, y + 3*y = -2*p + h. Suppose x - 29 = p. Is x a multiple of 24?
False
Let a(d) = d**3 - 3*d**2 - d + 7. Let x be a(3). Is 13 a factor of 156*4/28*14/x?
True
Suppose -4*m = -7*m, -z - m + 492 = 0. Is 6 a factor of z?
True
Let t be 2 + ((-24)/1)/1. Let j = t - -51. Does 8 divide j?
False
Let r = -277 + 323. Does 5 divide r?
False
Let a(p) = 5*p + 77. Let o be a(-14). Is 91/13*(0 + o) a multiple of 13?
False
Let f be (-5 - -7)*27/2. Is 10 a factor of f + -1 + -4 + 8?
True
Suppose 3*m + 62 = 4*p, 6*m - 2*m + 74 = p. Let r = 117 + m. Is 11 a factor of r?
True
Suppose -4*y - 143 = 3*i - 723, -5*i + 957 = -3*y. Is 48 a factor of i?
True
Let z(j) = -2*j**3 + 26*j**2 - 27*j + 13. Is 6 a factor of z(11)?
False
Let t(d) = -d**3 + 4*d + d**2 + 2*d**2 + 2 + 5*d. Let z(a) = 2*a**3 - 5*a**2 - 19*a - 4. Let c(p) = 13*t(p) + 6*z(p). Does 11 divide c(9)?
False
Is 15 a factor of -5 + 438*3/18*8?
False
Suppose -82*h + 1168 = -74*h. Is 42 a factor of h?
False
Let n(k) = 15*k**3 - 2*k + 1. Let z be n(1). Suppose j + r - z = -j, -4*j = 3*r - 28. Suppose -76 = j*d - 9*d. Is d a multiple of 19?
True
Suppose 5*t - 20 = 0, -3*f = -2*t - 0*t - 7. Suppose 0 = 2*k - 3*k + 4*v + 496, 0 = -f*k - 5*v + 2455. Is 30 a factor of k/5 - (-4)/(-10)?
False
Suppose p = 6*p - 20. Suppose 0 = -x + 20 - p. Does 8 divide x?
True
Let g(v) be the first derivative of 61*v**2/2 + v + 5. Is g(2) a multiple of 30?
False
Does 17 divide 30139/9 + -7*(-6)/189?
True
Suppose 3*a = 2*q - 0*q - 3390, -q + 3*a + 1695 = 0. Is q a multiple of 41?
False
Suppose -4*a - 3*l = -a - 171, -5*l - 163 = -3*a. Let r = 111 + a. Is r a multiple of 26?
False
Suppose 2*l - 3*x - 15 = 0, 5 = l - 3*x - 1. Let s be -8*(l/12 + -1). Suppose 3*o - 2*o - 33 = 4*a, 0 = s*o + 2*a - 36. Is 7 a factor of o?
True
Let o(f) = 4*f**2 + 2*f - 9. Let r be o(-4). Let b = r - -45. Is b a multiple of 12?
False
Suppose -3*x = -11 + 2. Suppose -t + 2*f = -19, 3*f + 101 = 6*t - 2*t. Suppose x*q + t = 161. Does 23 divide q?
False
Let s(c) be the second derivative of 7*c**7/360 + c**4/2 + 5*c. Let n(z) be the third derivative of s(z). Is 29 a factor of n(-1)?
False
Let j = -525 - -1169. Is 23 a factor of j?
True
Let q be (0 + -2)*18/(-12). Suppose -4*b + 2*a - q = 5, 0 = 3*b - a + 8. Is (300/35)/(b/(-42)) a multiple of 18?
True
Suppose 1475*g - 1462*g - 4082 = 0. Does 6 divide g?
False
Let t(l) = 2*l**2 - 6*l + 2. Let k be t(2). Does 18 divide (172/5)/(k/(-5))?
False
Is 22 a factor of 2733/2 + (-1)/(-2)?
False
Suppose 13 = 3*w + 4. Let k be w*(-2)/(-3) - 11. Let i = -7 - k. Is 2 a factor of i?
True
Let v = 2 + -1. Suppose -4*i = n + 20, i - v - 3 = 2*n. Does 3 divide ((-8)/i - -7) + 3?
True
Let r(v) = 10*v - 26. Is 20 a factor of r(9)?
False
Suppose 55 = 5*n - 3*t, 5*t - 5 = -30. Let d(x) = x**2 - 8*x**2 - 4*x**2 - x**3 + 5*x - n + 2*x**2. Does 21 divide d(-10)?
True
Is ((-17)/2)/(-2*4/480) a multiple of 7?
False
Let r(s) = -2*s - 7. Let h(o) = 3*o**2 - 3*o - 2. Let b be h(-3). Let m = -41 + b. Is 5 a factor of r(m)?
False
Let v(u) = u**3 + 8*u**2 - 2*u - 11. Let n be v(-8). Suppose -3*q = -n*k - 350, 0*q - q = -3*k - 122. Does 22 divide q?
True
Let q(o) = o - 11. Let w be q(7). Let s = w + 20. Is s a multiple of 11?
False
Suppose 0 = -4*w + 701 - 2281. Is w/(-35) + -1 + (-10)/(-14) a multiple of 3?
False
Is (-2684)/6*(-5)/((-30)/(-9)) a multiple of 11?
True
Let u(l) = -l**2 + 8*l - 6. Let j be u(7). Let r(g) be the first derivative of 17*g**4/4 - g**3/3 - 4. Is 5 a factor of r(j)?
False
Let g(l) = -3*l - 4. Let f(s) = -4*s - 4. Let v(n) = -5*f(n) + 4*g(n). Let j be v(3). Suppose 2*k + j = 100. Is k a multiple of 12?
True
Let l(q) = -q + 4. Let c be l(2). Suppose c*t = 4*t - 46. Does 23 divide t?
True
Let o(h) be the third derivative of 1/2*h**3 + 0*h + 1/60*h**5 - 1/8*h**4 + 3*h**2 + 0. Is o(4) a multiple of 7?
True
Suppose 5*v - 1876 = -9*v. Let q = -59 + v. Is q a multiple of 14?
False
Suppose 118 + 71 = -3*x. Let g = x + 109. Is 5 a factor of g?
False
Let l(a) = 5*a**3 - 7*a**2 + 9*a + 3. Does 30 divide l(5)?
False
Let a(j) = 13*j**2 + j. Does 63 divide a(-7)?
True
Suppose -o - 5*n - 727 = -2*o, 3*o = 2*n + 2220. Is 46 a factor of o?
False
Let i = 39 + -59. Let c be (i/(-30))/((-2)/(-9)). Suppose -c*x + 5*h = -105, 0 = 3*x + 2*x + 5*h - 175. Is x a multiple of 17?
False
Suppose 8*a - 4*a - 788 = 0. Suppose 5*x - 872 = -a. Does 27 divide x?
True
Suppose q = 5*y + 27, 0 = 3*q - 2*y - 0 - 16. Suppose d - q*d + 5*o + 39 = 0, 20 = 4*o. Is d a multi