of 21?
True
Suppose 0 = -4*k - 4*d - 24, 4*k + 4*d + 18 = 2*k. Suppose -c - j = -4*c + 120, 0 = 5*c - 5*j - 190. Is 20 a factor of k - 0 - c*(3 - 6)?
True
Is 7 a factor of (-60)/45*819/(-4)?
True
Suppose 0 = c + 2*n - 11, -3*c + 9 = -3*n + n. Suppose -w + 339 = 3*x, 3*w + 273 - 1298 = -c*x. Is 32 a factor of w?
False
Let a = 3598 + 2166. Is 20 a factor of a?
False
Let f(d) = -2*d - 22. Let g be f(-12). Suppose 3*c = b - 10, -2*b + g = c + 2*c. Is (-444)/(-10) + c/5 a multiple of 11?
True
Let w(z) = z**3 + 15*z**2 - 7*z + 24. Let o(d) = -d**2 - d + 79. Let m be o(-10). Is w(m) a multiple of 65?
True
Let x = -69 - -109. Let n = -429 + 500. Suppose d - x = n. Is d a multiple of 37?
True
Let l(t) = -2*t**3 + 86*t**2 - 78*t - 66. Is 45 a factor of l(34)?
True
Let q(k) = 197*k + 9. Suppose 3*p + 5*o - 17 = p, p + 2*o = 7. Is q(p) a multiple of 9?
False
Suppose -2*u + 0*u + 8 = 5*w, 4*u + w = 16. Suppose -4*p + u*k = -528, 0*k + 6 = -3*k. Suppose s + h - 86 = 0, 0 = -5*s - 3*h + 290 + p. Does 29 divide s?
False
Let q(s) = s**3 + 8*s**2 + 8*s - 12. Let v be q(-6). Suppose 5*j - 7*a + v*a = 170, 0 = 3*j - 2*a - 112. Does 4 divide j?
True
Suppose 0 = 9*m - 89366 - 53104. Is m a multiple of 4?
False
Suppose -69*b + 720188 = -b. Is 52 a factor of b?
False
Suppose 3*f + p - 43 + 17 = 0, -p = -5*f + 30. Suppose 911 = 5*k + 11*u - f*u, 2*k - 371 = 5*u. Is k a multiple of 3?
True
Let b(l) = 17*l - 136. Let w be b(8). Suppose 14*d - 3030 - 1450 = w. Is d a multiple of 8?
True
Let v(p) = -45*p - 66. Let z(s) = s - 1. Let m(f) = 25*f + 32. Let h(q) = m(q) - 2*z(q). Let g(n) = -11*h(n) - 6*v(n). Is g(3) a multiple of 10?
False
Suppose -9*k - 2571 = 3495. Let o = 678 + k. Does 4 divide o?
True
Suppose j = l - 393, -2*l + l + 1171 = -3*j. Let x = j + 458. Is x a multiple of 4?
False
Suppose -29*z + 34*z + 7 = -2*s, 0 = -5*z - 5*s + 5. Is (-2 + z/(-2))*(-22 + 0) a multiple of 2?
False
Let z = 18 - 14. Let j be (-3116)/57 + z/6. Let x = 109 + j. Is x a multiple of 11?
True
Let m be 4/((-32)/(-20))*-2. Let j = 123 + -113. Is j*55/10 + m a multiple of 25?
True
Is (-11)/(-22) + (-6383)/(-2) a multiple of 168?
True
Let x(t) = t**3 - 9*t**2 + 14*t - 8. Let o be x(6). Let w be (o/(-56))/(4/(-14)). Does 15 divide w*4/16 - (-172)/8?
False
Let p(g) = 304*g**3 - 15*g + 45. Does 36 divide p(3)?
True
Let m = -14 - -14. Suppose m = 8*x - 11*x + 9. Suppose -9*r + 72 = -x*r. Is r a multiple of 5?
False
Is ((-129)/(-602))/(36/(-14)) - 1048180/(-48) a multiple of 215?
False
Is (-944652)/(-32) - 11*9/264 a multiple of 90?
True
Suppose 1758 = 2*g - 2*d, 2661 = 9*g - 6*g + 5*d. Let x = g + -337. Does 39 divide x?
False
Let c be (-8 - -12)*801/6. Does 2 divide (-60)/(-120) - c/(-4)?
True
Let w = 319 - 303. Suppose 36*y = -w*y + 52624. Is 62 a factor of y?
False
Let p = -349 - -709. Let c = p - 159. Suppose 0 = 9*n - 12*n + c. Does 5 divide n?
False
Suppose p - 12 = -2*r + 1059, 3*r = -3*p + 3204. Suppose 5*d + 5*h = p, -4*d = -0*d + 2*h - 846. Does 3 divide d?
True
Let h(z) = -2*z**3 + 10*z**2 + 2*z + 2. Let p be h(-1). Is 12 a factor of (p/9)/(20/8610)?
False
Let q = -107 + 50. Let t = -51 - q. Suppose t - 30 = -3*b. Is 4 a factor of b?
True
Is ((-129)/1)/((-58)/2262) a multiple of 117?
True
Let k(f) = 21*f - 8. Let b be k(8). Suppose 5*d - d = b. Is 17 a factor of 5/d + 14/16 - -101?
True
Suppose 138*y = 12185 + 46603. Is y a multiple of 6?
True
Let a = 314 + -86. Let q = a + -186. Does 6 divide q?
True
Suppose -10*b = -4*b + 1392. Let t = b + 507. Suppose 2*o = 7*o - t. Is o a multiple of 11?
True
Let c be (-3)/(-6) + 3/(12/(-482)). Let o = -104 - c. Does 13 divide o?
False
Let h = -235 + 307. Let z = h - -31. Is z a multiple of 3?
False
Let z(k) be the third derivative of -k**5/30 - 3*k**4/2 + 15*k**2. Let c be z(-18). Suppose c = -a + 4*a - 204. Is a a multiple of 34?
True
Let w(n) = -3 - 4 - 6*n - 3*n. Let i be w(-1). Suppose i*b - 82 = -4. Does 9 divide b?
False
Let m be (-2)/(-4)*10*3. Suppose -5*c - m = -8*c. Is 2 a factor of (-110)/25*c/(-2)?
False
Let x(k) = 6*k**3 - k**2 - k + 1. Let b be x(1). Suppose b*z - 567 = 218. Let a = z - 67. Is a a multiple of 9?
True
Let l = -112 - -171. Let g = l - 55. Suppose g*d + 693 = 15*d. Does 8 divide d?
False
Let i(x) = -3*x**3 - 25*x**2 - 5*x - 79. Let a(t) = -4*t**3 - 25*t**2 - 5*t - 79. Let d(u) = -2*a(u) + 3*i(u). Does 4 divide d(-25)?
False
Let g(w) = -603*w + 252. Is g(-6) a multiple of 387?
True
Suppose -68*l = -95*l + 36882. Is l a multiple of 37?
False
Suppose 0 = -2*z - 10, -2*s + 4*s + 7 = -3*z. Suppose -7*j + 4*m = -2*j - 1496, s*j = 4*m + 1200. Is 32 a factor of j?
False
Let m(n) = n - 3*n + 41 - 50. Let x be m(-6). Does 25 divide (-20 - (x - 4))*-2?
False
Let u = 60 + -54. Suppose 0 = -2*x - 4*c - 4, -c = 4*x - u*c - 5. Suppose 4*o + x*o = 260. Does 14 divide o?
False
Suppose -37 = -4*l - 33, -4*q = 2*l - 24930. Is 19 a factor of q?
True
Is 192024/42*24/18 a multiple of 19?
False
Let o(t) = -8*t**3 + 5*t + 1. Let d be o(-1). Suppose -9*y = d*y - 6513. Does 65 divide y?
False
Suppose 48 = 4*k - 152. Let c be 4*(0 + k/8). Let r = c + -16. Does 9 divide r?
True
Suppose -5*s = 3*d + 17, 3*s + 2*s - 3*d = -23. Let k(w) = w**2 - 35*w**3 + 13*w**3 + 20*w**3 - 9*w + 9 + 14*w. Does 23 divide k(s)?
False
Let z be (7 - -1)*(25/(-10) + 3). Suppose 4*k - 5*k = -5*x - 110, z*x = 0. Is 10 a factor of k?
True
Let a(q) = q**3 + 9*q**2 + 9*q + 13. Let x be a(-8). Suppose 0*j - 2*j = -x*b - 303, 0 = -5*b - 25. Does 40 divide j?
False
Let k be (-7 + -5 + 7)*268/(-20). Let c = 465 - k. Is 16 a factor of c?
False
Let b(z) be the second derivative of -z**5/20 + 5*z**4/12 - 8*z**3/3 - 7*z**2/2 + 11*z. Let i be b(8). Let r = -175 - i. Is 11 a factor of r?
False
Suppose -h - 4*p + 0*p = -27, 0 = 3*h + 5*p - 60. Suppose -4*i + 102 = -2*m, 2*m + h = -3*m. Let t = 41 - i. Is t a multiple of 4?
False
Suppose c - 16 = 4*v, -11*c = -7*c + 2*v - 28. Suppose 17*z + c = 1028. Does 12 divide z?
True
Is 26 a factor of 24918/2 - -27*(-29)/783?
False
Suppose 5 = -5*i - 5, 2*z = 5*i + 10. Suppose z = 7*v + 2*v - 45. Suppose 5*x + 365 = 4*k, 0*x = -v*k - 3*x + 447. Does 10 divide k?
True
Let v = -6932 - -13812. Does 8 divide v?
True
Let o(r) = -r**3 + 10*r**2 + 20*r - 74. Let s be o(9). Suppose -2*n - 18 + 72 = 0. Suppose -s = -8*c - n. Does 12 divide c?
False
Let m = -59 + 49. Let c(q) = -449*q**3 - 2*q**2 + 1. Let j be c(-1). Is (-13)/(-65) - j/m a multiple of 15?
True
Let m(v) = v**3 + 16*v**2 + 24*v - 11. Let n be 1/(1/(-2)) + 1 - 11. Is m(n) a multiple of 3?
False
Let y(j) = -11*j + 29*j + 3*j**2 + 2*j**2 - 3*j**2. Let d be y(-9). Suppose 2*o - 3*l = 315, -l = -3*o - d*l + 490. Does 12 divide o?
False
Let s = -4794 - -9066. Does 4 divide s?
True
Suppose g - 26965 = -4*g. Suppose 17*o - g = 1917. Is 20 a factor of o?
False
Let k(a) = -a**3 + 7*a**2 - 5*a - 4. Let x be k(6). Let u be (x - 117/6)*(-36)/21. Suppose 30 = 6*q - u. Is q a multiple of 10?
True
Let w(m) = 13678*m - 533. Is 54 a factor of w(3)?
False
Let z(q) = -q**2 + 7*q - 2. Let o be z(6). Suppose s - 4*w - 11 - 22 = 0, 0 = 2*w + o. Is s a multiple of 5?
True
Let o be -5*1 + 5 + 2. Suppose 0 = -2*s + o, -20*q + 16*q - 2*s = -1038. Is 8 a factor of q?
False
Suppose -32*f + 283764 - 326676 = -1035104. Is 24 a factor of f?
False
Does 27 divide (7 - (-1234 - -1)) + 2?
True
Let m(g) = 108*g + 8. Let n be (-46)/(-10) + (-9)/15. Let a be m(n). Suppose a - 1094 = -6*v. Is 13 a factor of v?
False
Suppose -m + 300 = -3*y + 5*y, 3*y + 2*m = 451. Suppose 4*x - y = 4571. Does 18 divide x?
False
Suppose -3*b + 17 - 5 = 0. Let g(i) = i**2 + 82*i + 660. Let z be g(-73). Suppose -b*s - 132 = -3*p - 394, -z*s = -2*p - 196. Does 6 divide s?
False
Let r be -6 - (984/(-4) - 3). Suppose p + b - 199 = r, 0 = -p + b + 452. Is 27 a factor of p?
False
Let c(i) = 7*i**2 - 261*i + 56. Let j be (19 - 33)*(-40)/14. Is 18 a factor of c(j)?
False
Suppose 5928 = n + 25*n. Does 57 divide n?
True
Suppose 3*h = 2*z - 2, 5*h + 10*z - 5*z - 5 = 0. Suppose -3*b = b + 20, h = 2*a - b - 747. Is 14 a factor of a?
False
Let v = -13016 + 21206. Is 15 a factor of v?
True
Suppose -26*z + 16*z - 80 = 0. Let n = z + 24. Does 5 divide n?
False
Suppose 0 = -f - 2*f + 6. Suppose 3*r - 3*h = 102, -4*h = 99*r - 97*r - 74. Suppose 0 = 3*v - 7*n + f*