11 a factor of m?
True
Let s(w) = -w**3 - w**2 - w. Let p be s(0). Let c(h) = -h**3 + 44. Does 18 divide c(p)?
False
Let b(v) = -19*v**2 - 3*v - 2. Let n be b(-1). Is 11 a factor of n/8*728/(-21)?
False
Suppose 3*d + 8 - 20 = 0. Suppose d*h - 230 + 6 = 0. Suppose m - h = 16. Is 15 a factor of m?
False
Suppose 28 - 40 = -4*z. Suppose -z*y - 285 = -o, 5*o - 5*y + 350 = 1725. Is 45 a factor of o?
True
Let p(s) = -107*s**2 - 2*s - 1. Let b be p(-1). Let n = 204 + b. Does 14 divide n?
True
Let u(o) = o**2 + 7*o - 6. Let d be u(-10). Let p = 13 - 9. Is 11 a factor of (-14)/p*d/(-4)?
False
Let w = -38 + 33. Is ((-1)/(-5))/(2/w)*-44 a multiple of 9?
False
Let j = -545 + 1169. Is j a multiple of 8?
True
Is 2/12 + ((-76973)/(-78))/31 a multiple of 4?
True
Let f(r) = 7*r**3 - r**2 + 5. Let a be f(5). Suppose -26*i + 21*i + a = 0. Let t = -78 + i. Is t a multiple of 31?
True
Let q = -259 + 374. Suppose -5*o + 3*z + 293 = z, 0 = -2*o + 3*z + q. Does 8 divide o?
False
Is 26 a factor of 12 + -7 - (-10926)/6?
False
Suppose -r + 3*p - 284 = r, 4*r - 3*p + 580 = 0. Let g = -96 - r. Does 6 divide g?
False
Let d = -40 - -139. Let h = d + -27. Does 18 divide h?
True
Let g = 254 + -228. Is g a multiple of 4?
False
Let f(u) be the first derivative of -u**3/3 + 7*u**2/2 + u + 49. Suppose r = -2*r + 18. Is f(r) even?
False
Suppose 5*p + n - 44 = 0, 0*p + 5*n - 22 = -3*p. Suppose 3*g + p = 0, -2*g + 4 = 4*t + 2. Suppose 5*w = x + 70, x + 11 = t*w + 4*x. Is w a multiple of 6?
False
Suppose b = 4*b - 732. Suppose f = 3*i + 55 + 169, -f - i + b = 0. Does 27 divide f?
False
Let j(c) = -c**2 - 12*c - 5. Let b be j(-10). Let u = -13 + b. Suppose 7 = u*z - 33. Is z a multiple of 7?
False
Let u be 87/(4 - 61/15). Let k be ((-16)/(-12))/(6/u). Does 29 divide (-3)/6*k/5?
True
Let y(z) = 1001*z**2 + 3*z - 1. Is y(1) a multiple of 54?
False
Let z = 187 + 31. Suppose -z - 115 = -3*m. Is 24 a factor of m?
False
Suppose -2*a = -5*n + 13, 4*n - 9 = 3*a + 7. Let s = 6 - n. Suppose -5*i + 45 = 2*j - 47, -s*j = 3*i - 59. Is 6 a factor of i?
True
Suppose 2*p = -d + 4007, 2*p = 3*p - d - 1999. Is 14 a factor of p?
True
Let k(y) = 63*y + 272. Is 13 a factor of k(4)?
False
Suppose 7*x - 17435 = 2*u + 3666, x - 2988 = -5*u. Is 30 a factor of x?
False
Is 42 a factor of (-694)/(-1) + (5 + -4 - -4)?
False
Let u(v) = -4*v**2 - 4*v + 12. Let t(n) = 5*n**2 + 5*n - 13. Let b(f) = -3*t(f) - 4*u(f). Does 23 divide b(8)?
False
Let l(c) = 5*c**2 - 5*c - 2. Let i(x) = -6*x**2 + 6*x + 2. Let n(s) = -4*i(s) - 5*l(s). Let u be n(2). Suppose -p + 5 - 1 = u. Is 3 a factor of p?
False
Let l(v) = v**3 + 22*v**2 + 35*v + 8. Is 3 a factor of l(-20)?
True
Let v(w) = -57*w**3 - 4*w**2 + 32*w + 108. Is v(-3) a multiple of 59?
False
Let t(k) = 4*k**3 - 22*k**2 - k - 34. Let l(j) = j**3 - 7*j**2 - 11. Let o(h) = 7*l(h) - 2*t(h). Let f be o(-7). Suppose 0*x = 5*x - f. Is 15 a factor of x?
True
Let f = -40 + 90. Let d = f - 23. Does 4 divide d?
False
Let t = 1269 + -345. Does 42 divide t?
True
Let j = 13 - 6. Let o = j - -33. Is (-1 - 5)*o/(-15) a multiple of 8?
True
Let z = 13361 + -9219. Does 19 divide z?
True
Let n(q) = -q**2 - 19*q - 9. Let d be n(-8). Suppose 3*m + d = 4*j - 2*m, 4*j - 61 = -m. Is j a multiple of 2?
True
Let j(o) = o**2 - 6*o + 15. Let s be (5/10)/(1/(-20)). Let q = 0 - s. Is j(q) a multiple of 11?
True
Let m = -47 + 49. Is 358/m - (-7 - -10) a multiple of 33?
False
Suppose 0 - 8 = -4*l. Let m be 3*(-6)/9 - (1 - 1). Does 5 divide -2 + l + m + 22?
True
Suppose -d + 3*y - 5*y = -7, 15 = 3*y. Let g be 1 + d/(-1) + -5. Is 2*(2 + g - -28) a multiple of 17?
False
Let u be (-63)/18*6/(-7). Suppose 10*k - 5*k + 10 = 0, 0 = -2*m + u*k + 14. Suppose -m*i = -3*i, 0 = 5*a - 4*i - 145. Is 11 a factor of a?
False
Suppose -960 = -3*s - 3*b, 0 = 5*s + 29*b - 28*b - 1600. Is s even?
True
Let r = -1 + 5. Suppose p - 2*o - o - 33 = 0, 0 = 2*p + r*o - 86. Suppose -4*m - 5 = -3*k + 20, -p = -5*k + 4*m. Is 3 a factor of k?
False
Let h(s) = -11 + 0 - 2*s + 0 - 5. Let d be h(-5). Let b = d - -10. Is b a multiple of 4?
True
Suppose -12*b = -66*b + 25650. Is 19 a factor of b?
True
Let t = -33 + 51. Suppose 4*o - t = u - o, 3*u - 3*o = -54. Let c = -6 - u. Is c a multiple of 3?
True
Let t = -77 + 115. Let z = -1 + t. Let j = -20 + z. Is 9 a factor of j?
False
Let o(n) = 394*n**2 + 12*n + 39. Does 13 divide o(-3)?
True
Suppose 2*q = -5*p + 1508, 10*p - 1220 = 6*p - 5*q. Is p a multiple of 6?
True
Let k(w) = -w**3 + 7*w**2 - 8*w + 15. Let o be k(6). Suppose -5*b = 2*s + 29, 6*s = 2*s - o*b - 93. Let t = 46 + s. Is t a multiple of 7?
False
Let j be ((-2)/7)/((-1)/7). Suppose x + 3 = 4, j*x = -2*p + 128. Is 13 a factor of p?
False
Let i(s) = s**3 + 40*s**2 + 37*s - 9. Is 3 a factor of i(-39)?
True
Suppose -9*h + 6395 - 1832 = 0. Is h a multiple of 39?
True
Suppose -53 = -2*d + 35. Suppose 2*k - 3*u - 33 = 3*k, 0 = -5*k + u - 149. Let b = k + d. Does 14 divide b?
True
Suppose -d = 4*u - 606 + 133, 2*u + d = 235. Does 7 divide u?
True
Suppose -7 + 23 = 4*f. Is 2 a factor of (15/(-6))/((-2)/f)?
False
Let m = 905 - -845. Is 32 a factor of m?
False
Let g be 2/(-4) - (-13)/2. Suppose -g = a - 1. Let j = a + 33. Is j a multiple of 6?
False
Let h = 36 + 76. Does 8 divide (2 - 5)*h/(-21)?
True
Let h = -23 - -26. Suppose 4*b = 97 + 383. Suppose 155 = 5*q + 5*o, -3*q = q + h*o - b. Is 7 a factor of q?
False
Let u = -15 - -14. Let z be (-63 + 2)/(u/(-9)). Does 8 divide 2/4 + z/(-18)?
False
Suppose -d + 126 - 57 = 0. Suppose -91 = -10*t + d. Is t a multiple of 6?
False
Let l = -34 - -34. Suppose 2 + l = u, -4*d - 70 = u. Is 14 a factor of (-726)/d + (-6)/(-9)?
False
Let m be (-4)/((-24)/(-9))*-16. Suppose 5*o - m*o + 2926 = 0. Is o a multiple of 22?
True
Suppose -4*y - 2*y + 1800 = 0. Is 10 a factor of y?
True
Let b(c) = c**2 - 4 - 12*c + 0*c - 5. Let d be b(13). Suppose d*s - 85 = -25. Does 4 divide s?
False
Let t(n) = -n**3 + 33*n**2 - 17*n + 66. Is 21 a factor of t(32)?
True
Let l = -226 - -534. Is l a multiple of 28?
True
Suppose -4*u + 664 = 3*b, 5*b + 0*b = -3*u + 1092. Suppose 0 = -2*l - p - 2*p + 126, 3*p = 4*l - b. Is l a multiple of 19?
True
Let p = -85 + 92. Suppose -1625 + 330 = -p*i. Is 21 a factor of i?
False
Suppose 5*y - 10*y - 4*m = -14354, 0 = y - 3*m - 2886. Does 126 divide y?
False
Let r = 282 - 250. Is r a multiple of 4?
True
Let c(q) = -q**3 + q**2 - 2*q. Let v be c(0). Suppose -4*d + 354 + 174 = v. Is d a multiple of 11?
True
Let i = 10 - 5. Let q be (-3 - (-4)/2) + 4 + -1. Suppose 0 = -q*u + 3*m + 189, 2*u - i*u + 282 = -3*m. Is 31 a factor of u?
True
Suppose -w + 12 = 6*p - 2*p, 3*w - 16 = -2*p. Suppose -4*u + 124 = 2*l, -l + u = -p*l + 66. Is 14 a factor of l?
True
Let g(t) = 69*t + 205. Is 73 a factor of g(10)?
False
Let a(p) be the first derivative of -p**4/4 + 8*p**3/3 + 7*p**2/2 + 10*p - 2. Let u be a(7). Suppose 3*c - 5*c = -u. Is 9 a factor of c?
True
Let l(b) be the first derivative of b**3/3 - 3*b**2/2 + b + 2. Suppose 3*d = -4*q - 24, -4*q + 6*q + 6 = 0. Does 12 divide l(d)?
False
Let c = -3 + 11. Let n be (-42)/c*40/(-15). Is 2*(-9)/(-12)*n a multiple of 5?
False
Suppose 0 = 5*j - 19 - 6. Let d = j + 0. Suppose -2*w - 13 + 42 = c, d*c = -2*w + 17. Is 8 a factor of w?
True
Let v be (13 + -14)*-1*1. Let t = 5 - v. Suppose -q = t*q - 105. Does 21 divide q?
True
Let g = -837 - -1221. Does 64 divide g?
True
Suppose 64*h + 15 = 67*h, -4*h - 464 = -4*v. Does 10 divide v?
False
Let s(q) = q - 13. Let r be s(17). Suppose 0 = y + o - 98, r*y = 3*o + o + 352. Is 30 a factor of y?
False
Let x = 277 - 67. Is x a multiple of 42?
True
Suppose -2*i - 4*l = -8*l - 12, -7 = -3*i - 5*l. Suppose 0 = k - i*a - 23, 4*k + 2*a - 4*a - 162 = 0. Suppose 3*m - 119 - k = 0. Is 24 a factor of m?
False
Suppose 4*d = 3*x + 9*d - 566, 0 = 2*x - 4*d - 370. Is 11 a factor of x?
True
Suppose o + 4 + 1 = 0. Let r = 27 + o. Does 22 divide r?
True
Let j(z) = -7 - 6 + 45*z - 43*z. Suppose -1 - 1 = q, -2*v = 4*q - 18. Is 6 a factor of j(v)?
False
Suppose 5*u - 34 = -b, -2*u = 3*b - 75 - 27. Let c = b + -34. Suppose c = 3*x - 5*j - 275 - 52, -x + 4*j = -116. Does 26 divide x?
True
Let j(q) = -q + 3. Suppose 0 = -2*m - 2 + 8. Suppose 2*x = -m*x. Is 3 a factor of j(x)?
True
Let b(l) = -113*l - 239. Does 9 divide b(-10)?
True
Let p(q) = q**3 + 