of s?
True
Is 8 a factor of (8/(-18))/((-18)/(-1809))*(-30 + 18)?
True
Let d be (8/20 + 64/(-10))*-79. Suppose 0 = -6*l + 786 + d. Does 15 divide l?
True
Let k(a) = -a**3 - 43*a**2 + 55*a - 145. Is 37 a factor of k(-48)?
False
Suppose -3*c - 11*k = -8*k - 2460, -2*k = -2*c + 1648. Let i = c - 662. Does 51 divide i?
False
Let j = 172 - 57. Let w = j - 105. Does 10 divide w?
True
Let i = -3156 - -5640. Is i a multiple of 18?
True
Is -4 - (27268/(-3) - (-116)/(-174)) a multiple of 33?
False
Let b(w) = -3*w - 21. Let y be b(-6). Let v be 0/(12/((-9)/y)). Suppose v*r - 116 = -2*r. Is r a multiple of 29?
True
Suppose 0 = -11*v - 5222 + 116740. Does 2 divide ((-4)/(-1))/(296/v)?
False
Let d(o) = -5649*o**2 + 96*o + 96. Let f(y) = -353*y**2 + 6*y + 6. Let h(g) = 2*d(g) - 33*f(g). Does 9 divide h(-1)?
True
Suppose 571 = 15*i - 479. Suppose -a - a - p = 17, -3*a + p - 13 = 0. Let y = a + i. Is 32 a factor of y?
True
Suppose -9*j + 5*j = 5*g + 546, 3*g - 6 = 0. Let i = j + 461. Does 10 divide i?
False
Let h(s) = s**3 + 72*s**2 + 11*s - 272. Is 25 a factor of h(-58)?
False
Let p(v) = -v**2 - 15*v - 8. Let z = 17 - 3. Suppose 23*a - 21*a = -z. Does 6 divide p(a)?
True
Let h(f) = -f**3 + 36*f**2 - f + 48. Let s be h(36). Is 37 a factor of (9/(-12))/(s/(-3552))?
True
Let x(h) = -86*h + 63. Let w be x(11). Let o = -498 - w. Is o a multiple of 77?
True
Let v = -23115 + 24980. Is 8 a factor of v?
False
Suppose -20*u + 15600 = -10*u. Suppose -2*c - 904 = -2*l + 124, 3*l - u = -3*c. Is 36 a factor of l?
False
Suppose 14*m - 92 + 8 = 0. Is 12 a factor of (6*m/48)/((-1)/(-224))?
True
Let m = 19971 + 6070. Is m a multiple of 91?
False
Let c(r) = r**3 + 3*r**2 - 2*r - 8. Let u(b) = 5*b + 28. Let p be u(-5). Is 20 a factor of c(p)?
True
Is -4835*(-5 + -3 + 5) a multiple of 148?
False
Let m be ((-962)/6)/((-9)/27). Let o be 3 - 0 - (4 + m). Let n = o - -686. Is 12 a factor of n?
True
Let u(a) = 2*a**2 - 2*a - 6. Let y be (-1 + 2)*(-5)/(-1). Suppose -y - 3 = -2*l. Is u(l) a multiple of 9?
True
Suppose d = -2*g - 3*d + 24, 4*g + 5*d - 33 = 0. Suppose -2*x + 0*x - 2*o = 0, g = -x - 2*o. Is 6 a factor of (-23)/(-3) + x/6?
False
Suppose -11*y + 6*y = 3*t - 1846, -5*t + y = -3114. Let m = -557 + t. Does 28 divide m?
False
Let t(k) = -7*k + 65. Let w(o) = 14*o - 131. Let f(l) = 10*t(l) + 4*w(l). Is f(-18) a multiple of 54?
True
Suppose 0 = 13*h - 23 - 224. Suppose -h*r + 1387 + 1102 = 0. Does 6 divide r?
False
Let b = -291 - -80. Let i = b + 344. Is i a multiple of 7?
True
Let w(x) = -x**3 - 9*x**2 - 272*x - 4315. Does 39 divide w(-19)?
False
Let x(j) = j**3 + 3*j**2 - 3*j - 4. Suppose -19 = 6*a - 7. Let p be x(a). Suppose -3*d + 78 = -p. Is 14 a factor of d?
True
Let r(s) = 312*s - 4109. Does 8 divide r(27)?
False
Suppose 4*l + 1720 = 4*b - 47940, 3*b - 37250 = 4*l. Is b a multiple of 34?
True
Suppose -17132 = -3*j + 7*x - 9*x, 0 = -3*j + x + 17147. Is j a multiple of 21?
False
Let j(m) = 12*m**2 - 271*m + 15. Is j(34) a multiple of 83?
False
Let r = 570 - 731. Let h = r + 169. Does 4 divide h?
True
Is (-748)/(-1683) + (-88570)/(-18) a multiple of 19?
True
Suppose -4*q = 3*r - 4733, -5*q - 432*r + 430*r = -5925. Is 194 a factor of q?
False
Suppose 0 = -b + 2 + 6. Let g be b*(-4 - -1)*(7 - 0). Is (7*1)/((-6)/(g/2)) a multiple of 7?
True
Let g = 147 + -147. Is g - (-1734)/(7 - 1) a multiple of 17?
True
Let l(w) = -w**3 - 2*w**2 + 13*w + 18. Let f be l(-4). Does 14 divide (-1*f*102)/(8/12)?
False
Suppose -145*m - 300 = -140*m. Let q = m - -89. Does 17 divide 5/(0 - -1) + q?
True
Let t = -13 - -24. Suppose -t*h = -16 - 6. Suppose -z + 162 = 2*y, h*y - 648 = -6*z + 2*z. Is 27 a factor of z?
True
Let y(c) = 2*c**2 + 16*c + 16. Let d be y(-7). Suppose -347 = -o - 3*i, -i = -d*o - 4*i + 691. Is 45 a factor of o?
False
Let l = 93 - 0. Suppose 4*w + 333 = l. Does 25 divide w/(-9)*675/36?
True
Let i(c) = -c**2 + 14*c + 35. Suppose 112 = 9*m - 2*m. Let z be i(m). Suppose -307 = -5*n + 2*a, -z*a + 83 = n + 2*a. Does 14 divide n?
False
Let w be 2 + (-5)/(10/32) + 2. Let u(h) be the third derivative of -h**4/24 - h**3/3 + 3*h**2. Is u(w) a multiple of 5?
True
Let v(t) = t**2 - t - 2. Let z(w) = -w**2 + 6*w + 15. Let l be z(8). Let m be v(l). Suppose -5*x + 5 = 0, -q + 2*x + 82 = -m*x. Is 12 a factor of q?
True
Let h be (-1603)/(-147)*183 + 8/(-14). Suppose h + 12173 = 28*x. Is 17 a factor of x?
False
Suppose 50 = 2*p - 4*f - 100, 4*p - 312 = 2*f. Suppose 0 = -2*z - k - 113 + 118, -3*k = 3. Let b = p - z. Does 19 divide b?
True
Let p = -200 - -84. Let y = p - -118. Suppose -5*t + 600 = -2*o, -t - 5*o + 122 - y = 0. Is t a multiple of 16?
False
Let l(y) = -9*y**3 - y**2 + 4*y + 3. Let x be l(-2). Suppose 2*j = 2*d - 108, 13*d - 11*d + 240 = -4*j. Let i = x + j. Is i even?
False
Suppose 0 = -5*b + 5*h + 4708 - 343, -4*h = 0. Let i = -560 + b. Is i a multiple of 27?
False
Let d be 41/((-3)/(-5) + 4/(-15)). Suppose -4*r - 39 + 39 = 0. Suppose r*b + b = d. Does 11 divide b?
False
Let c = -4210 - -850. Let u = c - -4990. Is 18 a factor of u?
False
Let i(f) = -5*f**3 + 3*f**2 - 5*f + 18. Let l be i(-7). Is 24 a factor of l/10 - (-7)/14?
True
Let b be (-6)/(-16) + 1537/424. Let x be (-86)/(-7) + 6/(-21). Is (-30)/b*(-32)/x a multiple of 17?
False
Suppose 91*q - 238871 = 191104. Does 46 divide q?
False
Let f(x) = 10*x + 9. Let z(t) = -t**2 + 19*t + 18. Let j(a) = 5*f(a) - 3*z(a). Let o(b) = -b**3 - 48*b**2 + 92*b - 393. Let h be o(-50). Is 10 a factor of j(h)?
False
Is 68 a factor of (2 - 9)/(-70) - -83639*(-8)/(-80)?
True
Let s = 13688 + -4756. Does 28 divide s?
True
Let i(s) = 97*s**2 - 41*s + 784. Does 17 divide i(8)?
True
Suppose -2*h - 1 = -7. Suppose -5*r + 2505 = -u, -5*r = -6*r - h*u + 485. Is 10 a factor of r?
True
Let g(k) = -1630*k - 1740. Does 50 divide g(-13)?
True
Suppose -v = 3*d - 16, -34*d = -37*d - 2*v + 20. Suppose 2*q = -0*f - 2*f + 624, 2*q = -d*f + 632. Is q a multiple of 22?
True
Suppose 47 + 365 = g + 3*i, -i + 4 = 0. Is g a multiple of 20?
True
Let l(w) = 4*w**3 - 10*w**2 + 15*w - 45. Let r be l(6). Suppose r - 64 = -5*b. Let y = b - -131. Is 2 a factor of y?
True
Suppose 0 = -5*k - 6*l + 87889, 139*k - 137*k = 4*l + 35130. Is 134 a factor of k?
False
Does 3 divide (-19 - (-8 - -6))/(7/(-350))?
False
Suppose 0 = -185*d - 189*d + 6957522. Is d a multiple of 159?
True
Let n = 366 + -430. Let t = 364 + n. Is 4 a factor of t?
True
Suppose -4*g - 752 = -4*l, 4*g - 8*g = 4*l - 768. Let p = l - 1. Does 7 divide p?
True
Suppose 5*t - 85 = -5. Let c(l) = -14*l**2 - t*l - 9 + 8*l**2 + 5*l**2. Is c(-10) a multiple of 11?
False
Let f = 39710 + -32213. Is f a multiple of 2?
False
Let w(u) = 89*u**3 + 3*u**2 - 3*u - 21. Let s be w(-3). Does 23 divide (6 - 4)/(-2 - s/1191)?
False
Let m(h) = -488*h - 183. Is 25 a factor of m(-16)?
True
Suppose 20*z - 2425 - 755 = 0. Suppose 2*l - 5*g + 212 = 0, 2*l = 7*l - 3*g + 492. Let c = l + z. Does 8 divide c?
False
Suppose -2*d = -3*o + 98 - 96, 5*o = 10. Suppose 0 = 3*g + 2 - 8. Suppose -20 = -d*r + 2*c, -4*c - 22 = -g*r - 0*c. Is 6 a factor of r?
False
Let p(t) = 41*t + 51. Let r be p(10). Let n = -333 + r. Is 11 a factor of n?
False
Let c(b) = -17*b**3 + 18*b**2 + 130*b - 15. Is 13 a factor of c(-8)?
True
Suppose 4*j - 494 = 5*k, -j + 384 = 2*j + 3*k. Let o = j - -251. Does 23 divide o?
False
Let d = -879 - -1241. Let r = -114 + d. Is r a multiple of 11?
False
Let k be (42/(-4))/(93/(-124)). Suppose k*s - 10570 = -0*s. Is s a multiple of 42?
False
Let u(d) = 940*d - 2932. Is 28 a factor of u(8)?
False
Let s be ((-8)/10)/(16/4280). Let o = s - -637. Suppose -5*u = -4*q - o, -3*u - 2*u = -5*q - 420. Does 35 divide u?
False
Suppose -356*i + 926961 = -1147807. Is i a multiple of 14?
False
Let l(a) = -348*a - 455. Does 32 divide l(-6)?
False
Let h(p) = -173*p**3 + 55*p**2 + 166*p - 13. Does 95 divide h(-3)?
True
Suppose 387*u - 42*u - 1655771 - 61639 = 0. Is 32 a factor of u?
False
Let i = 165 + -58. Suppose 768 = i*n - 101*n. Is 11 a factor of n?
False
Suppose 19*b - 20*b = 2*g - 2073, -3107 = -3*g + b. Is 37 a factor of g?
True
Suppose 42 = 7*g - 42. Suppose 20*s + g = 23*s. Let d(z) = 2*z + 9. Is d(s) a multiple of 8?
False
Suppose 0*f - 2*f = 3*w - 11, -3*w = -9. Let j(g) = 124*g**3 + g**2 + 2*g - 2. Does 11 divide j(f)?
False
Suppose -3*i + 48