 a multiple of 64?
True
Suppose 2*w = -2*g + 4134, g - 8*w - 114 - 1998 = 0. Is 10 a factor of g?
False
Suppose 22 = 5*a - 4*k, -4*a + 15 = -5*k - 8. Let o be (-4)/(a/2 + -2). Suppose 0 = 4*i - 4*c - 872, -2*c - 25 + 885 = o*i. Is i a multiple of 54?
True
Let f = 7 - -9. Let x be (-1 - -1) + f*2. Let p = 46 + x. Is 13 a factor of p?
True
Let o(t) = 522*t + 306. Is 36 a factor of o(5)?
True
Let i = -36 - -34. Let q be (-7)/(-3) - i*1/3. Suppose -w - 9 = 2*w, 282 = q*x + w. Is 19 a factor of x?
True
Let j = -140 + 665. Let s = -250 + j. Suppose 2*r = -4*a + 84, a + s = 5*r - 2*a. Is r a multiple of 26?
True
Let r(t) = 693*t**2 + 172*t + 475. Is 11 a factor of r(-6)?
False
Suppose w = -5*q - 2*w + 15, 2*w - 10 = 3*q. Suppose 0 = -3*d + 3*p + 519, -5*d + q*p + 869 = -3*p. Is (-36)/15*d/(-10) a multiple of 6?
True
Let b(j) = 62*j**2 + 73*j + 337. Is 65 a factor of b(-5)?
False
Let g be (-4)/(-7) - (-984)/42. Is 28 a factor of 4/g*(1158 - 0)?
False
Is 19/(437/(-6624))*(-4 - 1) even?
True
Suppose 20 = -5*m + 4*d, 0 = -5*m - d - 0*d - 45. Let y(v) = 3*v**2 - 11*v - 32. Does 50 divide y(m)?
False
Let b = -44 + 60. Suppose 4*u = b*u - 4908. Suppose -o - 5*q - u = -5*o, 2*o = -3*q + 177. Does 35 divide o?
False
Let r = 15102 - 14960. Is 4 a factor of r?
False
Let r = 1 + 1. Suppose -2*a - 30 = -5*i, 13*i - 16*i + 5*a = -18. Suppose -i*h + r = -58. Is h a multiple of 7?
False
Let c(l) = -2*l**3 - 7*l**2 + 38*l + 48. Let g(n) = n**3 + 3*n**2 - 18*n - 23. Let z(f) = 6*c(f) + 13*g(f). Is z(10) a multiple of 17?
True
Let w(v) = 35*v - 9. Let d(g) = -16 + 52*g + 17*g + 0*g + g**2 - 3. Let q(s) = -2*d(s) + 5*w(s). Is q(15) a multiple of 14?
True
Let l(p) = p + 19. Let t be l(-16). Suppose 27 = 2*r + 5*i, t*i = -4*r + 11 + 8. Is (-378)/45*((2 - r) + -6) a multiple of 13?
False
Suppose -26397 = 16*j + 5*j. Let h = 2540 + j. Is 17 a factor of h?
False
Let h(k) = 4*k + 99. Let x be h(-27). Is 15 a factor of 2/x - 13568/(-144)?
False
Suppose -13*m + 13 = -39. Suppose -m*c - 12 = -8*c. Suppose -4*d - 56 = -c*p, 5*p - 88 = 2*p - 4*d. Is 4 a factor of p?
True
Let d(g) = g**3 - 31*g**2 + 48*g + 5. Suppose -349 + 49 = -10*o. Is d(o) a multiple of 20?
False
Let n be 2 - (2 - 594 - 3). Suppose 0 = 8*a - n + 125. Let f = a + -41. Is f a multiple of 3?
True
Let u(q) = q**2 + q - 1. Let y be u(3). Suppose 4*m = c - y, -3*c = -m + 4*m + 27. Let z(r) = -r**2 - 6*r + 4. Does 3 divide z(m)?
True
Suppose 2*f = 7*f + 10. Suppose 8*q = q + 126. Is 994/q - f/(-63)*7 a multiple of 8?
False
Let b = 736 - 153. Suppose -5*t - 1 = 4*r - 9, -4 = 3*t - 2*r. Suppose -5*h + b = j, -3*h + 2*j + 342 = -t*j. Does 18 divide h?
False
Let v(l) = -l**3 + 2*l**2 + 13*l + 3. Let t be v(5). Let f(c) = c**3 + 5*c**2 - 14*c + 2. Let z be f(t). Suppose 5 = -z*y + 35. Does 5 divide y?
True
Let n(d) = -2*d**2 + 62*d + 3. Let y be n(31). Suppose 0*k + 3*t - 2493 = -y*k, -2*k - t + 1665 = 0. Is 30 a factor of k?
False
Let y = 25778 - 19380. Is 7 a factor of y?
True
Let v(s) be the first derivative of -9/2*s**2 + 7 - 4*s. Does 4 divide v(-4)?
True
Suppose 5*t + 15 = 0, -8*t - 15 = 3*g - 4*t. Does 31 divide 45/(-30)*((-194)/6 - g)?
False
Let j(w) = -w - 1. Let g be j(-6). Suppose g*o - 47 = -12. Suppose 6 = o*a - 449. Is a a multiple of 13?
True
Suppose 5*z = 4*a - 10, 0 = 4*z - a + 2*a - 13. Let y(t) = 0*t**2 + 0*t**2 - 3*t - 1 + 10*t**2 + 36*t**z. Does 27 divide y(-2)?
True
Does 7 divide 30 + 189010/75 + ((-28)/(-15) - 2)?
False
Let t(j) = -7*j + 6. Let i(l) = 6*l - 7. Let g(u) = 4*i(u) + 3*t(u). Let d be g(5). Suppose d*h - 3*m = -0*m + 230, 2*m = 0. Does 12 divide h?
False
Let f = 3546 - -2111. Is 10 a factor of f?
False
Let s(z) = -1351*z + 77. Is 7 a factor of s(-13)?
True
Let s(i) = 306*i + 11. Let p be s(-2). Let k(v) = -3*v**2 + v + 29. Let n be k(-12). Let q = n - p. Is q a multiple of 28?
False
Suppose 5*x = -4 + 94. Suppose -4*r + 621 = 5*r. Let o = r + x. Is 9 a factor of o?
False
Suppose 4*u = -123 - 53. Let s = u - -68. Is (40/s)/(1*(-1)/(-72)) a multiple of 10?
True
Let w(g) = 207*g + 2808. Does 11 divide w(29)?
True
Let n be -1*(-4)/1 + 4. Suppose 4*v + 2*c = n, -c + 10 = 2*v + 2*v. Suppose -v*p + 4*m = -57, -2*p + 2*m + 3*m = -45. Is p a multiple of 15?
True
Let m(a) = 5*a + 9. Let x be m(2). Let z(s) = 9*s**2 + 2*s**3 - x - s**3 + 1 + 5*s. Is 6 a factor of z(-8)?
True
Let j(f) = -133*f - 2. Let s = -377 - -372. Is j(s) a multiple of 51?
True
Suppose a = -5*q - a + 4530, -4*a + 1812 = 2*q. Suppose -3*x = 2*r - q, 4*x - 5*r = 7*x - 915. Is 25 a factor of x?
True
Let g = -175 + 101. Let d(w) = 28*w - 361. Let n be d(13). Let v = n - g. Is v a multiple of 9?
False
Let h = 22644 + -11968. Is 49 a factor of h?
False
Let s be ((-40)/(-28))/(4/28). Is (-1753)/(-4) - s/8 a multiple of 23?
True
Let k(c) = 2*c**2 + 33*c - 24. Suppose -5*t + 7*s - 114 = 5*s, 5*s = -15. Does 56 divide k(t)?
True
Suppose 4*m = 41*n - 40*n - 707, -2*n - 5*m = -1349. Is 2 a factor of n?
False
Let v = 1890 + 148. Suppose -2*y + 3*y - 2032 = -5*f, 5*f - y = v. Is 8 a factor of f?
False
Suppose -11*a - 22512 = 13*a - 28*a. Is 84 a factor of a?
True
Let p(x) = -x**2 + 3*x - 1. Let g be p(0). Let z be (-10 + 11)*(-2 - g)/(-1). Is 269 - (-2)/z*-2 a multiple of 50?
False
Let p(r) be the third derivative of r**4/2 + 10*r**3/3 - 80*r**2. Suppose -i + 3 = -1. Is p(i) a multiple of 15?
False
Let g = -37 + 41. Suppose g*b + 1 = -5*q, 2*q - b + 4*b = -6. Suppose 0 = 11*s - q*s - 440. Is s a multiple of 11?
True
Let k(j) = -j**2 + 2*j + 145. Let p = -65 + 65. Let r be p/(-1)*3/(-6). Is 47 a factor of k(r)?
False
Suppose k - 3*k = -2*b + 88, 4*k + 5*b + 131 = 0. Does 18 divide (2/(2/391))/((-13)/k)?
False
Let y(u) = -3*u**2 + 70*u - 67. Is 6 a factor of y(22)?
False
Let h = 116 - 85. Suppose -2*c + 386 = 2*o, h = -5*o - c + 1016. Does 11 divide o?
True
Suppose 28 - 62 = -17*j. Is j*(-1)/(-3)*5757/202 a multiple of 19?
True
Let k(y) = y**3 - 8*y**2 + 10*y + 16. Let x be k(6). Suppose -x*f + 973 = 325. Does 3 divide f?
True
Let g(n) = -13*n + 35 + 0*n - n + 2*n**2. Let p be g(6). Suppose 762 = -17*w + p*w. Does 8 divide w?
False
Let p(i) = -i**2 - 14*i - 20. Let z = -7 + -3. Is 5 a factor of p(z)?
True
Suppose -5*o - 2*m + 20 = -0*o, -4*o = -2*m - 34. Let f(t) = -t**3 + 7*t**2 + 11*t - 12. Does 19 divide f(o)?
False
Let k(l) = l**2 - 13*l + 21. Let w be k(9). Is 9 a factor of 454/4 + w/6*1?
False
Let y(v) = -v + 19. Let j = 22 + -18. Suppose -2*f = j*r + 43 + 3, -5*f + r = 60. Is y(f) a multiple of 8?
True
Let k = 17446 - 10318. Is k a multiple of 54?
True
Let a be 145*-6*99/(-90). Let x = a + -494. Is 18 a factor of x?
False
Suppose 0*b = -3*b + 9. Let q(u) = -u**3 + 3*u**2 - 4*u + 4. Let v be q(b). Does 16 divide 2/(v/(-180)) - -3?
True
Suppose -4296 = -4*q - 3*t, 3*t = -33*q + 32*q + 1083. Does 42 divide q?
False
Let s(y) = -23*y - 95. Let f be s(-6). Suppose 181 - f = 3*z. Is z a multiple of 22?
False
Is 36 a factor of (-59447880)/(-7920) - (-1)/(-22)?
False
Let w = 32228 - 19061. Is w a multiple of 12?
False
Suppose 24*h + 34195 = 32*h - 34757. Is 41 a factor of h?
False
Let h(r) = -49*r - 4. Let y be h(-1). Suppose -c + 11 + y = 0. Is (-890)/(-14) + 24/c a multiple of 16?
True
Let t(i) be the first derivative of 18*i**4 - i**3/3 + 3*i**2 - 17*i + 93. Is 23 a factor of t(2)?
False
Let s be 8/(-12)*(-6)/4. Suppose -5*i = 2*z - s + 11, -2*i = -z + 4. Suppose 2*u + 3*u - 15 = z. Is 2 a factor of u?
False
Let f(v) = -38*v**3 - 12*v**2 - 5*v - 96. Is f(-9) a multiple of 14?
False
Suppose -37*t - 2508125 = -57*t - 105*t. Is 24 a factor of t?
False
Suppose -3*o = -0*l + l - 616, -631 = -l + 2*o. Suppose i - 2*s + 184 = l, 441 = i + 4*s. Does 49 divide i?
True
Let y(p) = 46*p**3 - p + 2. Suppose -2*j + 7*j - 25 = 0. Suppose -j*d - r + 9 = 0, -r = 2*d - 8 + 2. Is 8 a factor of y(d)?
False
Let l be (1095/(-20))/((-8)/32). Let s = -14 + l. Is s a multiple of 41?
True
Suppose -180*x + 37443 + 10075 = -157*x. Is 8 a factor of x?
False
Suppose -5*y - 116 = -596. Let b(p) = -2*p - 4. Let n be b(0). Let o = y - n. Is o a multiple of 17?
False
Let y be (-5 - 9) + 4 + 5. Let b(t) = 22*t**2 - 22*t + 20. Is 10 a factor of b(y)?
True
Let o be -66*8/(-144) - 4/6. Suppose -o*s + i - 4*i = -237, -4 = i. Is 8 a factor of s?
False
Suppose -12*r + 15*r = -5*