de (-29 + -1)/((-15)/360)?
True
Suppose 5*u - 5 = -0. Is (30/(-12))/(u/(-4)) a multiple of 10?
True
Let z(x) = -5*x + 19. Let p = -17 + 29. Suppose 5*d = -3*l - 20, 2*l - 3*d + p = -14. Is 18 a factor of z(l)?
False
Does 13 divide (183300/(-65))/(6/(-4))?
False
Let d(z) = z**2 + z - 7. Let f be d(-4). Let j(t) = 3*t**2 - 5*t - 6. Let q be j(f). Suppose -l + q = 3*l. Does 4 divide l?
False
Suppose i - 5*i + 232 = 0. Let a(g) = -g**2 + 25*g - 29. Let n be a(19). Let u = n - i. Is u a multiple of 9?
True
Suppose -280 = -f + 1252. Is f a multiple of 34?
False
Let k(x) = -x**2 - 3*x - 33. Let d(l) = -5*l**2 - 16*l - 165. Let v(j) = -2*d(j) + 11*k(j). Let g be v(0). Let i = g + 70. Is 9 a factor of i?
False
Suppose 0 = v + 103 - 283. Does 30 divide v?
True
Let s(m) = m**3 + 3*m**2 - 32*m + 18. Is 26 a factor of s(9)?
True
Suppose -17*q + 5245 = -1062. Is q a multiple of 3?
False
Let v(q) = 2*q**2 + 4*q - 7. Let f be v(-7). Suppose 20*b - 210 = -22*b. Suppose 0 = 3*w - b*a - 38, -5*w + f = a - 19. Is 8 a factor of w?
True
Suppose 3*m + 2*z - 289 = 4*z, 20 = 5*z. Suppose -2*o + 45 = w, 30 + m = 3*w + 4*o. Is 33 a factor of w?
False
Is 8 a factor of (-4)/24 + (-14)/(-12) - -212?
False
Suppose -p - 4 = b - 8, b - 6 = p. Suppose -b*h = -9*h + 96. Is 4 a factor of h?
True
Let a = 133 - 105. Is a a multiple of 4?
True
Let q(t) = -7*t + 1. Let o be q(-5). Let x be (o/(-8))/((-6)/(-184)). Let i = x - -237. Is i a multiple of 33?
True
Let q = 59 + -39. Suppose 15*a = q*a - 260. Is 26 a factor of a?
True
Let m(v) = 3*v**2 - v - 4. Let a be m(3). Let d be (-4)/a - (-183)/15. Suppose -d*s + 205 = -7*s. Does 16 divide s?
False
Let h(u) = 16*u**2 - 6*u - 60. Does 54 divide h(-9)?
False
Let v = -51 - -96. Suppose 3*o - 5*f = -v, 48 + 1 = -4*o + 3*f. Let n(u) = -2*u - 13. Is n(o) even?
False
Let t be (-20)/6*-2*9. Let c = t + 24. Is c a multiple of 17?
False
Suppose 5*p = 4*p + i + 2140, 3*p - i - 6424 = 0. Is p a multiple of 21?
True
Let t = 105 - -3. Is 6 a factor of t?
True
Let m = -128 - -297. Is 70 a factor of m?
False
Let f = 11 + -10. Let j be 63 + (1 - (f - 3)). Suppose 6*c = 5*g + 2*c - j, -4*g + 60 = -5*c. Is g a multiple of 10?
True
Suppose 5*g - 455 = -0*g. Let n = 181 - g. Suppose -3*j + n = -21. Does 18 divide j?
False
Let y = 211 - -438. Is 20 a factor of y?
False
Let x = -537 - -864. Does 2 divide x?
False
Suppose 5*t - 25 - 95 = 0. Suppose -t = -8*w + 4*w. Is 6 a factor of (-12)/((-3)/w*2)?
True
Let z = 515 + -347. Is z a multiple of 24?
True
Suppose 4*x = -17*x + 30072. Is 12 a factor of x?
False
Let c be (-1)/8 - (-6201)/72. Let d be ((-6)/(-15))/(2/10). Suppose 3*n - x = 50, -d*x + 3*x = -5*n + c. Does 10 divide n?
False
Suppose 7*r + 16 = 11*r. Suppose -6 - r = -2*q. Does 4 divide q?
False
Let q(t) = -90*t**3 + 1. Suppose 7*j - 12 = 4*j. Let p be 2*(-2 - 0)/j. Is q(p) a multiple of 14?
False
Suppose 21 + 1 = 2*l. Let d = -9 + l. Suppose -d*i + 12 + 24 = 0. Is i a multiple of 9?
True
Suppose 0 = -185*u + 197*u - 936. Does 3 divide u?
True
Let c be 20/6*(-648)/(-90) + -2. Let j(i) = 3*i - 3. Is 7 a factor of j(c)?
True
Suppose 27*h - 25*h - 104 = 0. Does 4 divide h?
True
Let q = 1735 + 743. Does 11 divide q?
False
Let w = 326 + -108. Is w a multiple of 9?
False
Let c(p) = -p**3 + 10*p**2 - 9*p. Let b be c(9). Suppose -7*t + 9*t - 156 = b. Is 26 a factor of t?
True
Let i be 20/25*(-10)/(-4). Suppose -3*u = -y + 11, -i*y - 2*u + 10 = -4*u. Suppose p + y*q = 7*q - 3, -69 = -5*p - 3*q. Does 4 divide p?
True
Suppose 2*a + 3 = -a. Let i be a*(0 + -2 + -81). Let x = 140 - i. Is 16 a factor of x?
False
Suppose 491 = 2*a - 3*z, -2*z + 506 = a + a. Suppose 6*o = 4*o + a. Does 25 divide o?
True
Suppose 4*t = -t - 65. Let l = t - -17. Suppose x = l*y - 220, -4*x - 124 = -5*y + 3*y. Does 9 divide y?
True
Let r(f) be the first derivative of f**3/3 - f**2 + 205*f - 27. Does 30 divide r(0)?
False
Let c be (-1)/(4/(-72)) - -2. Let v = c - 17. Suppose -v*n + 64 = -2*n - 3*m, 0 = 3*n + 3*m - 132. Is n a multiple of 14?
False
Let g = -16 + 17. Suppose 4*q + q + g = 3*x, 1 = q - x. Is 5 a factor of 13*(-2)/q - 2?
False
Let h be (2 - 1)*(10 - -1). Let y = h - 11. Suppose l - 6*l + 65 = y. Is l a multiple of 11?
False
Let t = 119 - 198. Let x = 150 + t. Is 22 a factor of x?
False
Let u(t) = 2*t**2 - 5*t + 2. Let w be (1 - 11/3)*15. Let a be 2/(4 - w/(-12)). Is 3 a factor of u(a)?
False
Let x(p) = p**2 + 19*p + 7. Let g = -13 + -6. Let m be x(g). Suppose -q + m*q - 324 = 0. Is q a multiple of 18?
True
Let t be (-2)/3 + 248/(-6). Let r = t - -101. Let p = r - 3. Does 28 divide p?
True
Is (-153301)/(-996) - (-2)/24 even?
True
Let g = 616 - 663. Suppose 75 = -n - 4*k, 4*n - 5*k = -2*k - 338. Let s = g - n. Is 12 a factor of s?
True
Let s(u) = 2*u**3 - 30*u**2 + 5*u - 35. Let f be s(15). Let b = -14 + -19. Let l = b + f. Is l a multiple of 2?
False
Suppose 4*w - 144 = -0*w. Let d = w + -7. Does 6 divide d?
False
Let s(j) be the second derivative of j**5/120 + 35*j**4/24 + 7*j**3/6 + 8*j. Let q(g) be the second derivative of s(g). Is q(-15) a multiple of 14?
False
Let f(i) = i**3 - 6. Suppose 0 = 7*c + c - 24. Is f(c) a multiple of 21?
True
Let n(z) = 11*z**3 - 38*z**2 + 10*z + 50. Let f(h) = 2*h**3 - h**2 - 1. Let d(q) = 6*f(q) - n(q). Is 25 a factor of d(-32)?
False
Is 119*18 - (6 + 1 + -2) a multiple of 15?
False
Let c(u) = 20*u**2 + 36*u + 4. Does 110 divide c(-15)?
False
Let u = 353 + 25. Does 42 divide u?
True
Let k(y) be the third derivative of -y**5/60 - 3*y**4/8 - y**3 - y**2. Let h be (-2)/(7/70*5). Does 14 divide k(h)?
True
Suppose -4*b - 9 = -y + 13, 0 = -5*y - 4*b - 10. Suppose -t = -y*t + 15. Is (6/t)/(2/170) a multiple of 17?
True
Let g(o) = -o**2 - 28*o + 70. Does 19 divide g(-26)?
False
Does 12 divide (0 + -380)/((-11)/33)?
True
Let j(g) = 100*g**3 - 3*g**2 + 3*g - 5. Does 13 divide j(2)?
False
Let o(l) = -l**3 + 17*l**2 - 21*l - 5. Let d be o(16). Let t = d + 60. Let s = 33 - t. Is s a multiple of 10?
False
Suppose 0 = -5*u - 5, 5*q - u + 53 = 5774. Is q a multiple of 13?
True
Is 391/(-6 + (-130)/(-20)) a multiple of 34?
True
Let t(w) = w**2 - 3*w - 3. Let r be t(5). Is 4 a factor of (r - 9)*6*-1?
True
Let n(q) be the first derivative of -7*q**4/4 - 23*q**3/3 - 2*q**2 + 4. Let r(a) = -3*a**3 - 11*a**2 - 2*a. Let l(g) = -2*n(g) + 5*r(g). Is 6 a factor of l(-9)?
True
Let t(v) = -39*v - 13. Is t(-14) a multiple of 41?
True
Let r(s) = 5*s + 14. Let d(j) = -5*j - 13. Suppose -16 = 2*x - 0*x - 4*v, 3*x = 3*v - 15. Let q(a) = x*r(a) - 3*d(a). Does 20 divide q(12)?
False
Let y = 2 + 1. Suppose y*s = -2*s - 760. Is 19 a factor of ((-18)/24)/(2/s)?
True
Does 18 divide (1 + 42/(-15))*-20?
True
Let p be 6/(-1) - (1 + -1 - 2). Does 24 divide (-5)/(-120)*p - 433/(-6)?
True
Suppose 10 = -5*a, 6*l - a = 2*l + 646. Does 23 divide l?
True
Is ((-98)/(-245))/(11248/(-11250) + 1) a multiple of 9?
True
Let g = 7721 - 4832. Is 107 a factor of g?
True
Suppose -5*s + 0*b + 2*b = -24, -5*s - 2*b = -16. Suppose 0 = -3*d + 5 + s. Is d + 0 + -3 + 14 a multiple of 4?
False
Suppose 3*m = -2*l + 6595 - 998, 5*l - 14004 = 4*m. Does 56 divide l?
True
Let l = -79 + 113. Is l a multiple of 5?
False
Suppose -15 = -k + 11. Let v = k + 10. Is 6 a factor of v?
True
Suppose -d + 30 = -5*i + 128, -2*i = 2*d + 160. Let j = 0 - d. Is j a multiple of 11?
False
Let p be ((1 - 3) + (-8)/1)*-68. Suppose -4*d + 0*z + p = -2*z, -z = 4. Is 51 a factor of d?
False
Let q(k) be the second derivative of k**4/4 - 7*k**3/6 + 2*k**2 - 33*k. Let p(o) = o**2 + 2*o - 4. Let m be p(-4). Is 8 a factor of q(m)?
True
Let m(r) = 4 + 0*r + 14 + 2*r. Is m(6) a multiple of 11?
False
Let c = -4616 - -7166. Does 102 divide c?
True
Let f(t) be the second derivative of t**5/20 + 3*t**4/4 + t**3/6 + 3*t**2/2 + 3*t. Let q be f(-7). Suppose q - 22 = 2*g. Does 18 divide g?
True
Let l be 1 + -4 + 2 + 6. Let g be 2/(-5) - (-12)/l. Suppose -2*c - 11 - 27 = -2*s, 0 = -3*s - g*c + 57. Is 9 a factor of s?
False
Suppose -v = -13 + 4. Suppose -2*r = -c + v, -3*r = -5*r + 4*c - 18. Is (-222)/(-4)*(-2)/r a multiple of 20?
False
Let q(z) = 7*z - 6 - 11 + 0. Is 12 a factor of q(11)?
True
Let w be (-2)/(-7) + (-130)/(-35). Suppose -d = -w*d + 846. Does 24 divide d/(-8)*(-16)/6?
False
Let f be ((-1)/(-2))/((-4)/264). Suppose -5*b + 5*a = 60, 