= 104 + -99. Suppose -8*m - 247 = -d*z - 9*m, 0 = 4*z + 5*m - 185. Is z a multiple of 50?
True
Let l be ((-35)/7 + 14)*41*1. Let k be (4/(-6))/((-6)/l). Let x = 174 + k. Is x a multiple of 18?
False
Let a(w) = -w**3 + 13*w**2 - 14*w - 1. Let l be a(11). Let u = l - 34. Does 10 divide u?
False
Suppose -42874 = 179*s - 180*s + 5*c, 0 = -5*s - 3*c + 214314. Is s a multiple of 94?
True
Suppose -q = 2*p - 145, 12*q = -5*p + 13*q + 380. Is 3 a factor of (p/(-10))/(15/(-36))?
True
Let m = 11135 - -558. Is 110 a factor of m?
False
Let q(m) = -89*m - 94. Is q(-21) a multiple of 14?
False
Suppose -s = 3*x + 1927, -3*s + 651 = -x + s. Let h = 163 - x. Is h a multiple of 84?
False
Suppose 0 = -4*v + 16, 5*l + 5*v + 486 = 21. Let h be 5/20 + 2/8*l. Does 3 divide (8/1)/(-1 + h/(-20))?
False
Let v(f) = -f - 4. Let a(c) = 91. Let o(z) = a(z) - 4*v(z). Is 10 a factor of o(4)?
False
Suppose 24921 - 6561 = 6*y. Suppose 2*f - y = -7*f. Is f a multiple of 39?
False
Let o(q) = -154*q - 10. Let z be o(-4). Suppose x + 602 = -4*t, -x = -5*t + t - z. Let m = 271 + t. Is 24 a factor of m?
True
Suppose 5*m + z = 2734 + 411, 2*z = -3*m + 1887. Suppose -m = 5*d - 3004. Is d a multiple of 27?
False
Suppose -d + 39 + 75 = 0. Suppose 0 = -5*w - j + 334, -2*j + 26 + d = 2*w. Does 22 divide w?
True
Let p = -6576 + 23161. Is p a multiple of 11?
False
Does 68 divide (-4 - 10)/(2457/(-612) + 4)?
True
Suppose 3*d - 4*o - 26 = -2*o, 0 = d - 2*o - 10. Suppose -777 = -3*p - 3*a, d*p - 9*p - 3*a = -263. Is 11 a factor of p?
False
Let j = 217 - 206. Suppose -9*w = -j*w + 736. Is w a multiple of 11?
False
Let p be ((8/(-2))/4)/(-1). Let r be (-1)/(p + 1)*0. Suppose r*z - 455 = -7*z. Is z a multiple of 21?
False
Let q(b) = 25*b + 2. Let x(o) = -33*o - 1. Let c(w) = 3*q(w) + 2*x(w). Suppose -4*m - 15 = -3*d - 2*m, -4*d = 3*m - 20. Is 7 a factor of c(d)?
True
Let n = 9809 + -3413. Does 41 divide n?
True
Let x be 6/(-27) - 1*(-14828)/(-18). Let l = 1263 + x. Suppose 0 = -3*s + l - 151. Is s a multiple of 12?
True
Let w(m) = 4 + m - 1 - 6. Let j be w(13). Suppose 0 = -3*f + j*f - 77. Is f a multiple of 2?
False
Let k(a) = 3*a**2 - a + 10. Suppose s - 27 = -4*h, -5*h + 31 = s - 2. Is k(h) a multiple of 43?
False
Let r = 4339 + -2045. Is 21 a factor of r?
False
Suppose -4*h - 36 + 12 = 0. Let c(z) = -5 + 37*z**2 + 1 - 14*z**3 - 30*z**2 + 15*z**3. Does 8 divide c(h)?
True
Let f = 20937 + -15777. Is 12 a factor of f?
True
Let z = 6 - 6. Let d(x) = 2*x**2 - x + 22. Let v be d(0). Suppose -19*i + v*i - 123 = z. Is 13 a factor of i?
False
Let b = -9009 - -11589. Is 158 a factor of b?
False
Let h be 1 + (2 - 3) - (-46)/(-2). Let w = h + 27. Suppose -4*n - w*s = -0*n - 88, n - 18 = -3*s. Does 8 divide n?
True
Let t = -569 + 597. Suppose 5*q = t*q - 28405. Is q a multiple of 95?
True
Let b(l) = 10*l**2 - 39*l + 68. Let j be b(-22). Suppose -4*s = -5*x + 2*x - j, -7196 = -5*s - 2*x. Is 36 a factor of s?
True
Let n(q) = -5*q**3 - 5*q**2. Let j(t) = -t**3 + t**2 - t + 4. Let r be j(0). Suppose 2*z + v + 3 = 0, 2*z + 2*v - r = 3*z. Does 16 divide n(z)?
False
Let u(x) = -30*x + 15. Let w(g) = g + 36. Let f be w(-15). Suppose 12*o = 15*o + f. Is 26 a factor of u(o)?
False
Let l(g) = -g**2 - 41*g - 205. Is l(-31) a multiple of 10?
False
Suppose 0 = -5*c + 4*a + 23, -c + 0*a - a = -1. Suppose c*q + p - 710 = 689, 5*q = p + 2345. Is q a multiple of 18?
True
Let w(n) = -2*n**2 - 4*n - 8. Let q be w(-3). Let k = q - -13. Is (-179)/5*(-12 + k + 8) a multiple of 23?
False
Let z(p) = -17*p - 12. Let n be z(-5). Suppose q - 3*v + 7*v = 54, 2*q = -v + n. Let u = q - 31. Does 3 divide u?
True
Suppose -3*w = -2*k + 24, 4*w + 26 = 3*k + 2*w. Let t(x) = 2*x**3 - 11*x**2 + 23*x - 8. Is 8 a factor of t(k)?
False
Is (-23)/((-184)/(-864))*(-352)/33 a multiple of 16?
True
Let j = 13233 + -2817. Does 62 divide j?
True
Let s(j) be the first derivative of j**7/840 - j**6/24 + 9*j**5/40 + j**4/4 + 10*j**3/3 + 32. Let r(w) be the third derivative of s(w). Is 5 a factor of r(13)?
False
Suppose 4*i + 12 = -4*v, 0 = 4*v + 5*i + 6 + 11. Suppose -2*n = v, 3*m - 3*n - 17 = 2*n. Does 15 divide (5 - 940/8)/((-2)/m)?
True
Let q(s) = s**2 + 15*s - 6. Let y be q(12). Let t = y - 178. Is t a multiple of 10?
True
Let h = 409 - 411. Is (h/4)/(18/(-504)) a multiple of 7?
True
Let t(a) = -100*a + 4. Let y = 9 + -11. Let n be t(y). Let u = n - 109. Does 19 divide u?
True
Suppose -3*f = -30 + 9. Suppose 0 = 10*n - f*n - 489. Let r = -114 + n. Is 7 a factor of r?
True
Let z = -157 - -118. Let h = z + 86. Suppose -5*u - h = -377. Is u a multiple of 12?
False
Let u = -23 + 35. Let y be 48/24 + u + -1. Suppose -9*s = -y*s + 316. Does 18 divide s?
False
Let w be 173 - (1 - (-2)/1). Suppose -3*l + 4*m + 121 = 2, 0 = -5*l + m + w. Suppose -4*y - 2*n - l + 147 = 0, 2*y + 3*n - 51 = 0. Does 12 divide y?
False
Let m = -1508 + 2454. Is m a multiple of 10?
False
Let y(n) be the first derivative of -n**3/3 - 5*n**2/2 - 2*n + 32. Let z be y(-2). Suppose z*i = 6 + 2. Is 2 a factor of i?
True
Let a be 100/8*8/(4 - 0). Suppose a*f - 216 = 16*f. Is 24 a factor of f?
True
Let u = -143 - -163. Suppose 12*o = -u + 560. Is 15 a factor of o?
True
Let w(y) = -38*y + 2. Let n be w(-2). Let x be (-52)/n + 358/(-3). Let i = 40 - x. Does 40 divide i?
True
Suppose 2 = -8*v + 6*v, -4*p + 5*v = -981. Let q = 118 + -247. Let l = q + p. Does 6 divide l?
False
Suppose -21*y + 23*y = 12. Suppose y*h + 2*t = 2*h + 572, -2*h - 2*t + 284 = 0. Suppose -20*j - h = -28*j. Is j a multiple of 3?
True
Let x(f) = 19*f**2 + 360*f - 10. Is 11 a factor of x(7)?
False
Let k = -189 - -191. Suppose s - 2*p = -k*s + 43, 0 = 3*p + 6. Is 2 a factor of s?
False
Does 179 divide 16 + -3 + -3 + 4687?
False
Let v(a) be the first derivative of -a**4/4 - 5*a**3/3 + 3*a**2 + 13*a - 14. Let f be v(-6). Suppose f + 68 = 3*c. Does 6 divide c?
False
Let u(l) = l**3 + 7*l**2 - 8*l + 3. Let p be u(-8). Suppose 0 = -3*v - 2*o + 209, -p*v + o + 65 + 159 = 0. Is 10 a factor of v?
False
Suppose 4*g - 978 = -2*r, 0 = -3*r - 84*g + 79*g + 1469. Does 11 divide r?
False
Let x(p) = -75*p**3 + 2*p**2 + 3*p - 6. Let m be x(-3). Suppose m = -9*c + 35*c. Is 13 a factor of c?
True
Suppose 179*h - 586872 = 30*h - 148*h. Does 26 divide h?
True
Let b(k) = -k**2 - 14*k - 13. Let g be 1/((-4)/(-4))*4. Suppose 3*o - 4*h = -19, 2*h = g*o + 31 + 1. Is b(o) a multiple of 16?
True
Let v be (-5 + 18/6)/1. Is 40 a factor of v/5 + 9624/60?
True
Let c(h) = -h - 22. Let r be (-3)/((-18)/(-77)) - 2/12. Let g be c(r). Let a(k) = k**3 + 10*k**2 + 8*k + 4. Does 3 divide a(g)?
False
Let r(f) = 1148*f - 4765. Does 17 divide r(10)?
True
Suppose -5*l + 36 = l. Suppose 980 = l*g - 652. Is 15 a factor of g?
False
Let o = 1769 - 584. Is o a multiple of 15?
True
Let w(i) = -i**2 + 2*i + 11. Let k be w(4). Suppose -5*a - k*g + 0 = -72, 71 = 5*a + 4*g. Suppose -11*j - 240 = -a*j. Does 28 divide j?
False
Suppose -12*x + 5 + 55 = 0. Suppose 5*j + 15*m - 14*m = 708, 297 = 2*j + x*m. Is 47 a factor of j?
True
Suppose -6 = 3*c, s + 2*s - 10 = -c. Let v be s*(36/(-4))/(-3). Is 13 a factor of 1248/v*2/4?
True
Suppose 17*z = 741 + 177. Is (110/(-15))/(-1 + 50/z) a multiple of 11?
True
Suppose 3*o - 44 = -179. Let y = o - -128. Let f = y + -67. Is f a multiple of 2?
True
Let y be (16/52)/(8/52). Suppose -y*m + 182 = 36. Does 14 divide m?
False
Suppose -35*q - 3*q + 60220 + 15020 = 0. Does 44 divide q?
True
Suppose -4*m - 5 = -2*a - 29, 0 = 4*m + 2*a - 32. Suppose 0 = -m*d + 22 + 1987. Is 35 a factor of d?
False
Let b(h) be the third derivative of -h**6/15 - h**5/60 + h**4/8 - h**3/3 - 47*h**2. Let i(n) = n**3 + 3*n**2 + 3*n. Let q be i(-2). Does 13 divide b(q)?
True
Let p be (7/2)/(15/210). Let r = p + -46. Suppose -r*a + 90 = 6*a. Is a a multiple of 10?
True
Let p(g) = -3*g**2 + 7*g - 16. Let o be p(4). Let h = o + 39. Does 13 divide (-3 - -7) + 27/h?
True
Suppose 1613381 = 105*l + 222236. Is 184 a factor of l?
False
Let r = -81 - -92. Suppose r*d - 4950 + 990 = 0. Is d a multiple of 24?
True
Let j(b) = b**2 - 3*b - 3. Let g be j(-1). Let m(f) = 489*f + g - 486*f - 24. Does 13 divide m(12)?
True
Suppose 3*d = -2*k + 36694, -d - 5*k = -10722 - 1531. Does 45 divide d?
False
Suppose -3*q + 173 - 164 = 0. Suppose -229 = -u - 3*z, -u + 193 + 42 = -q*z. Does 41 divi