factor of 13266/(-737) + 2233*14?
False
Suppose 27*p - 80723 = -15059. Does 16 divide p?
True
Let j = 7202 - 7198. Suppose 3*o + 19 = -5*d, 15 - 4 = -2*o - 3*d. Is 23 a factor of j/(-8)*-185 + o/(-4)?
True
Let k(j) = j**2 + j. Let o(c) = -9*c**2 - 15*c - 2. Let v(t) = -6*k(t) - o(t). Let a be v(-2). Does 4 divide -76*a/8 + -2?
True
Let z(l) = l**3 + 22*l**2 - 47*l + 26. Let b be z(-24). Does 82 divide (1157 - -10)*(2 - 0)/b?
False
Suppose 3*g - 126 = 4*a - 7*a, 5*a - 99 = -2*g. Let y = g - -327. Suppose -8*r + 132 = -y. Does 8 divide r?
False
Let f(c) = c**3 - 9*c**2 + 9*c - 13. Let v be f(8). Let h be v/((-175)/185) - 2/7. Let d(s) = 8*s**2 - 3*s - 1. Does 23 divide d(h)?
True
Does 72 divide (-660396)/(-165) + 3/(-15)*2?
False
Suppose 126021 = 97*b - 11344 - 38205. Is 10 a factor of b?
True
Suppose -56 = -38*h + 20. Suppose 13*r - 9*r + 592 = g, -5*r + 1119 = h*g. Is 52 a factor of g?
True
Suppose f + 7 = 0, -3*z + 96*f - 101*f + 5137 = 0. Is z even?
True
Let v = 7584 - 5234. Does 25 divide v?
True
Let b be (1*-179)/(8/(-8)). Let i = -45 + b. Suppose 4*s - 2*q = i, 3*s - 178 = -3*q - 55. Is s a multiple of 9?
True
Is 3/2*(-286)/429 + 13*1 even?
True
Suppose 15*v - 218 = -1463. Let r = 93 + v. Suppose z - r = 5. Does 3 divide z?
True
Let c(p) = -468*p**3 + 10*p**2 - 5*p - 42. Is c(-3) a multiple of 5?
False
Suppose -8*x = -3*x + 10, -2*l = -x - 6. Let a(h) = 68*h**3 - h - 2. Does 90 divide a(l)?
True
Let y be (-8)/12*9/(-6). Let g(v) = 19*v**3 + v**2 + v - 2. Let l be g(y). Suppose -l*m + 1080 = -4*m. Is m a multiple of 18?
True
Suppose 0 = 111*h + 109*h - 1006720. Is h a multiple of 352?
True
Does 81 divide ((-104)/78)/(8/(-4692))?
False
Suppose 3*o = -2*i + 117, 0 = -3*i - 41*o + 40*o + 172. Is i a multiple of 19?
True
Suppose -3801 - 5847 = -16*i. Suppose 3*w - 2*w - 807 = -4*x, -3*x - 3*w + i = 0. Is 19 a factor of x?
False
Let o be 3 - 2/(-6)*(-2 - -2). Let j(y) = -19*y**2 + 4. Let u(z) = -38*z**2 + 8. Let n(f) = 5*j(f) - 3*u(f). Does 38 divide n(o)?
False
Let y(j) = -5*j + 3. Let g be -3 + (2 - (0 + -6)). Let b(x) = 9*x - 6. Let u(p) = g*y(p) + 3*b(p). Is u(5) a multiple of 2?
False
Let b = -652 - -550. Does 30 divide 30/((b/(-18) + -5)/2)?
True
Suppose -728 = -2*g + 4*g. Let q = -242 - g. Let t = -26 + q. Is 24 a factor of t?
True
Suppose -16*i - 342 = -6. Let g = 105 + i. Does 3 divide g?
True
Suppose -115 = -5*g + 385. Is (1125/g)/((-9)/(-840)) a multiple of 30?
True
Let c = 168 + -369. Is (-2 + 1)*(c - -39) a multiple of 22?
False
Let r be (6/(-4) - 0)*(-240)/72. Suppose 4*j = -8*f + 5*f + 713, r*f = 5*j + 1130. Is f a multiple of 33?
True
Let z = -31 + 216. Let l = -124 + z. Is l a multiple of 2?
False
Let a be (1 - (-5 + 0 + 5)) + -5. Does 14 divide a/2*(-127)/2?
False
Suppose 16*p + 1082 = 106. Let n = -1 - p. Is n a multiple of 5?
True
Let o = -1634 + 2494. Suppose -1636 - o = -12*w. Is w a multiple of 34?
False
Let a(p) = 2*p**2 - 4*p + 809. Let r be a(0). Suppose -224 + r = 5*s. Is s a multiple of 8?
False
Let g(n) = n**2 + 18*n - 34. Let p(r) = r**3 + 9*r**2 - 23*r. Let y be p(-11). Does 57 divide g(y)?
True
Let d = 3002 + -2861. Does 43 divide d?
False
Let b(r) = 89*r**2 - 3*r - 12. Suppose -3*j + 16 = -4*q + 6*q, 4*j - 24 = -4*q. Let f be b(j). Suppose -10*t + f = -3*t. Does 11 divide t?
False
Is 54 a factor of ((-900)/27)/(-1 + (-160)/(-162))?
True
Let j(a) = -107*a + 6. Let t(p) = p**3 + 42*p**2 - 86*p + 86. Let f be t(-44). Does 11 divide j(f)?
True
Let t(o) = -6*o**2 + 9*o + 14. Let s(f) = -f**2 + f. Let c(p) = 5*s(p) - t(p). Does 63 divide c(-10)?
True
Let y be (-45)/12*4/(-3) + -1. Let o(h) = h**3 - 10*h**2 + h - 10. Let l be o(10). Suppose l = -y*p + 2*f + 748, 90 = 3*p + f - 481. Is 12 a factor of p?
False
Suppose 11432 = 24*i - 15352. Does 62 divide i?
True
Let d = 2572 - 1553. Is d even?
False
Let j(i) = i**3 - 12*i**2 - 11*i - 15. Suppose 6 = 4*g - 30. Let a be j(g). Does 6 divide (-2)/(-8) - a/12?
True
Let p = 28 - 37. Is 5/(45/(-6))*p a multiple of 3?
True
Let b be -1 + (6 - 8/4) + 1172. Suppose b = 23*a - 3172. Does 9 divide a?
True
Suppose -w = -5*m + 1493, -m - 1475 = -6*m - 5*w. Let c = 517 - m. Is 27 a factor of c?
False
Suppose -149*c + 150*c = 7. Let p(f) = f**3 + 2*f**2 + 4*f + 15. Is p(c) a multiple of 22?
True
Does 147 divide (12642/(-1))/(2/4 - 264/176)?
True
Let h(v) = 2766*v - 879. Is 97 a factor of h(15)?
False
Suppose 0 = -2*k + 2, -2*k = o - 4*o + 1096. Let f = o + 79. Does 31 divide f?
False
Let k(y) be the first derivative of -37*y**2 + 129*y - 35. Does 43 divide k(-7)?
False
Does 11 divide -1873*(3026/(-356) + 2/((-4)/5))?
True
Let k(y) = 9*y - 27*y**2 + 28*y + 9*y**3 + 0*y**3 - 16 - 8*y**3. Does 45 divide k(26)?
True
Suppose -5*p + 15841 = -5*z - 12594, -3*p = z - 17037. Does 57 divide p?
False
Let a(t) = t**3 + 9*t**2 + 9*t + 24. Let p be a(-7). Suppose -111 - p = -k. Is 10 a factor of k?
True
Suppose 0 = -96*p + 81*p + 253980. Is p a multiple of 166?
True
Let f be 65 + 1 - 12*5/15. Let k(s) = -6*s - 1. Let g be k(-1). Suppose 0 = -3*j + g*c + 190, -c - f = -j - 0*j. Does 12 divide j?
True
Let t(p) = -208*p - 162. Does 16 divide t(-10)?
False
Let l(s) = -2*s**3 - 15*s**2 + 6*s - 11. Let y be l(-8). Suppose y*v = -4*n + 192, 23*v + 114 = 26*v + 3*n. Is 6 a factor of v?
False
Suppose 3*r + 4*n = 6*n + 34, -58 = -5*r + 3*n. Let k(y) = -3*y**2 - 47*y - 45. Let w(l) = l**2 + 24*l + 22. Let p(t) = 3*k(t) + 7*w(t). Does 5 divide p(r)?
True
Is 34 a factor of (6/30 - (-30820)/25) + 5?
False
Let u(a) = -a**2 - 8*a + 62. Let m be u(-15). Let k = m - -281. Is 17 a factor of k?
True
Let y = 13786 - -612. Is 13 a factor of y?
False
Suppose 4 = 2*p, y - 2*y - 706 = -2*p. Does 20 divide 7 + -2 + -7 - y?
True
Let g(c) = -c**3 + 6*c**2 + 4*c - 17. Let t be g(6). Suppose t*y - 242 + 67 = 0. Suppose -7*v + 6*v + y = 0. Is 4 a factor of v?
False
Let v(t) = 4392*t - 17344. Is 232 a factor of v(18)?
True
Let y = 6306 + -4034. Is 16 a factor of y?
True
Suppose 2*q + 159 = 5*x, -6*q - 2*x = -2*q + 306. Let s = 81 + q. Is 3 - (-37 - -2)/(s/20) a multiple of 10?
False
Let s(l) = -155*l**3 - 7*l**2 - 45*l - 218. Is s(-4) a multiple of 18?
False
Is 31 a factor of ((-349587)/189)/((-4)/12)?
True
Is 98349/15 - (371/35 - 12) a multiple of 6?
True
Let q = -94156 + 134338. Does 181 divide q?
True
Suppose -27 = 5*f + 28. Let v = f - -3. Is 44/3*12/v*-1 a multiple of 11?
True
Is 5 a factor of (16410/(-8)*(-2)/5)/(342/456)?
False
Let d be 14/686*7 + (-90)/(-7). Let w(c) = c**3 - 9*c**2 - 15*c + 11. Is w(d) a multiple of 82?
True
Let h = 29516 + -22886. Does 39 divide h?
True
Suppose 24 = 4*a + 2*a. Suppose 232 + 116 = a*t. Suppose -b + t = 2*n - 30, -3*n = b - 178. Does 7 divide n?
False
Let o = 1009 - 622. Let j = o + -23. Is j a multiple of 26?
True
Let c be 8/28 - (326/14 - 6). Let o = 0 - c. Is o even?
False
Suppose 0*l - 3*l + 6 = 0. Suppose -4*v = -l*v - 3*u + 3, 0 = -4*v - 2*u + 18. Suppose v*q - 246 = -3*j, 0 = -q - 3*q + j + 343. Is 10 a factor of q?
False
Let z(k) = 36*k**2 - 55*k + 1473. Does 6 divide z(21)?
True
Suppose 11*b + 97522 - 18786 = 67*b. Does 19 divide b?
True
Let f(v) = 44*v**2 + 109*v - 2073. Does 208 divide f(28)?
False
Let m = -57 + 61. Let d(w) = -w + 2. Let v be d(m). Does 13 divide (3*v/(-3))/(3/156)?
True
Let b(p) = -16*p - 4 + 0 - 2. Let z be b(2). Let d = z + 53. Does 4 divide d?
False
Suppose -2*h - 3*j + 25030 = 0, -3*h + 19*j = 14*j - 37469. Does 41 divide h?
False
Let z be (38 - 3)/5 - 3. Let d(c) = z*c**2 + 5 - 12 - 14*c + 6*c. Is d(5) a multiple of 5?
False
Suppose -65*c + 3*k + 8124 = -60*c, -3*c = -k - 4868. Is c a multiple of 5?
True
Let y(q) = 48*q + 276. Let s be y(-23). Let c = 877 + s. Is c a multiple of 15?
False
Suppose -1131*d = -1129*d + 6. Let b(c) = -c**2 + 5*c + 3. Let z be b(5). Does 56 divide (z + 414)/(d/(-2))?
False
Let w = 4 - 1. Suppose w*o + o = 1236. Does 19 divide (o/3)/(0 + 1)?
False
Does 8 divide (2254/70)/(5/200)?
True
Let v be 1/(-3)*3 + 6. Suppose -3 = -3*y, -v*y = -3*m - m + 2503. Does 37 divide m?
False
Let f = 238 + -100. Let k be -2 + 48/28 + 401/7. Let m = f - k. Does 15 divide m?
False
Let u(z) = 2*z**2 - 19*z + 21837. Is 77 a factor of u(0)?
False
Let c(b) = b**3 + 7*b**2 + 2*b - 10. Let y(r) = -r**2 + 40 + 37 - r**3 - r - 78. Let s(j) = -c(j) - 2*y(