= -0*a + 4*r. Is 11 a factor of (-7)/(-21) - a/(-9)*71?
False
Let k(r) = -r**2 - 4*r + 24. Let c be k(3). Does 6 divide ((-225)/20 + c)*88/(-6)?
False
Suppose 150 + 17 = -w. Let q = w - -209. Does 42 divide q?
True
Let q be (-2 - -1 - 0)/(5/(-170)). Is 5 a factor of (q/8 - 3)/((-7)/(-812))?
True
Suppose -3*g - 14 = -4*g - 3*h, 4*g - 2*h = 0. Suppose g*x - 15 = -x. Suppose -b + 2*s = -3*s - 16, 2*b = x*s + 22. Is 3 a factor of b?
True
Suppose -i = 3*j + 8, -3*i - 3*j = -4*j - 6. Is 47 a factor of (477/(-27))/(i/(-18)) + 4?
False
Let d = 12137 + -6129. Is d a multiple of 176?
False
Let m be 34/6 + 1/3. Let x(l) = -13*l - 10. Let w be x(-1). Suppose m*s - 225 = w*s. Is 25 a factor of s?
True
Let f = -143 - -144. Is 38 a factor of (f - -75)/(3/6)?
True
Let h(m) = 71*m**3 + 34*m**2 + 16*m - 139. Does 60 divide h(10)?
False
Let b be ((-4)/10)/1*405/(-27). Suppose 18 = 6*x - b. Does 2 divide 2 - (-30)/x - 3/6?
False
Let k = -4053 - -7245. Is k a multiple of 28?
True
Suppose 0*c = c + 5*w + 41, -5*w = -15. Let h = -243 - -437. Let a = c + h. Is a a multiple of 46?
True
Suppose -4*a + 3*a + 4 = 0, -u + 349 = -4*a. Suppose -5*y - 3*h = -3*y - 147, 5*h = -5*y + u. Does 7 divide y?
False
Suppose -4213419 = -57*j - 1399287 + 915549. Is j a multiple of 14?
False
Is ((-1892)/28 - 7)/((-1)/329) a multiple of 29?
True
Let m(j) = 6*j**2 + 46*j + 16. Let i be m(-7). Is 7 a factor of (i/10)/((-54)/2520)?
True
Let g(f) = 4*f**3 + 72*f**2 + f + 23. Let n be g(-18). Suppose -m + 2*m - 498 = -n*w, -3*w + 3*m = -306. Is 37 a factor of w?
False
Suppose -4750 = 7*s + 2390. Let k = -153 - s. Suppose 0 = 5*x - 2*f - k, 0*x - 3*f = -4*x + 688. Is x a multiple of 35?
True
Does 82 divide (-36)/(-630)*-5*-45346?
True
Let y = -180 + 175. Is (0 - -4)/(y + (-981)/(-195)) a multiple of 10?
True
Let z = 430 + -847. Let y = -240 - z. Is 13 a factor of y?
False
Suppose -42202 = -5*x + p, -4*x + 33784 = -0*p - 4*p. Does 97 divide x?
True
Let t(i) = -i**3 + 6*i**2 + 6*i - 8. Let f be t(6). Let k = 82 - f. Is 13/26*(k + 0) a multiple of 27?
True
Suppose -2*c + 2*r = -8, -63*c = -59*c + 4*r + 16. Let y(m) = m**3 + m**2 - 21*m + 990. Is y(c) a multiple of 30?
True
Suppose -120*a + 520181 = 148181. Is a a multiple of 62?
True
Suppose 3*a - 3*r - 2151 = -r, 2*a - 4*r - 1426 = 0. Let s = a + 531. Suppose -5*m = 5*h - s, 3*m - 2*h - 725 = -0*h. Is 49 a factor of m?
True
Let x(k) = -k**3 + 11*k**2 - k - 6. Let f be x(10). Let a = 190 - f. Does 5 divide a?
False
Suppose 0 = -18*d - 632 - 16. Let p be 230/(-4)*(-4)/5. Let i = p + d. Does 5 divide i?
True
Suppose p = 2*t - 4060, -19*t + 22*t - 6064 = -5*p. Does 12 divide t?
True
Suppose 14*f = -20 - 64. Is 339282/305 + f/(-10) a multiple of 21?
True
Suppose 0 = 3*s - 43 + 4. Let t(b) = 13*b - 29. Let m(l) = -3*l + 7. Let v(p) = -9*m(p) - 2*t(p). Does 4 divide v(s)?
True
Does 13 divide (17 - 100 - 6)*-19?
False
Is 8 a factor of ((-1)/(-7))/((-30)/60) - 136338/(-21)?
False
Let o(m) = 14*m**2 - 36*m - 70. Is 98 a factor of o(28)?
True
Let o(u) = u**3 + 8*u**2 + 7*u + 3. Let t be o(-7). Suppose 2 = -2*l, -c + t*l + 6 + 6 = 0. Suppose 2*i = i + c. Is i a multiple of 6?
False
Is 16 a factor of 0 + (-1)/(-5) - (662385/(-75) + 16)?
True
Let r(x) = -4*x**3 - 9*x**2 - x - 6. Let s(k) = k**3 + k - 1. Let h(t) = r(t) + 6*s(t). Let z be h(7). Is 9 a factor of ((-65)/15 - -5) + z/3?
True
Let i(c) = -c + 25 - 9 - 10. Let t be (-10)/(-3) - 1/3. Does 3 divide i(t)?
True
Let f(h) be the third derivative of h**5/30 - 2*h**4/3 - h**2 + 265. Let z be (-31)/(-3) + (-2)/6. Is f(z) a multiple of 8?
True
Suppose -959 + 3019 = -5*r. Let d be r/(-6) + (-10)/15. Suppose -d = -5*a + 92. Is a a multiple of 32?
True
Is (48/54)/(-4) + ((-799864)/72)/(-1) a multiple of 161?
True
Let h = 2 + -1. Let r be (-54)/(-3)*(8/(-12))/h. Let i(p) = -12*p + 17. Is i(r) a multiple of 29?
False
Suppose -5*o = 59 - 129. Let h(b) = 2*b**3 - 27*b**2 - 10*b - 2. Is h(o) a multiple of 5?
False
Let f(r) = 26*r**2 + 3*r - 6. Let z be f(2). Suppose -106*p = -z*p + 100. Is 40 a factor of (-16)/1*p/10?
True
Suppose -4*x = 2*t - 1854, 2*x + 2*t - 6*t - 912 = 0. Suppose -9*j + x = -12*j. Let y = j - -325. Is 19 a factor of y?
True
Suppose 0 = 6*u - u + 2*j - 2238, -3*j = 4*u - 1796. Let v = 835 - u. Does 28 divide v?
False
Suppose 0 = 65*n - 70*n + 25. Suppose 4*l - 2 - 105 = -k, 0 = -3*k - n*l + 307. Is 3 a factor of k?
True
Let v = 13364 - 4580. Is 48 a factor of v?
True
Suppose -m - 16132 = -5*i, 5*i - 4*m - 12786 = 3337. Is i a multiple of 8?
False
Let s(z) = 29*z - 7*z + 15*z**2 + 6*z**2 - 44 - 15*z. Is 32 a factor of s(4)?
True
Suppose -22*u = -b - 18*u + 1747, 2*u = 4. Is 15 a factor of b?
True
Suppose -1088*t + 1093*t - 545 = 0. Suppose -126*m + 6936 = -t*m. Is m a multiple of 17?
True
Let f = -2153 - -2223. Is f a multiple of 35?
True
Let i = -750 - -1223. Let o = -288 + i. Is 5 a factor of o?
True
Suppose 5*i = -4*z + 312, -i - 2*i = -3*z - 171. Suppose 6*f = 3*f + 6, 0 = -4*x - 2*f + 124. Let y = i + x. Is y a multiple of 15?
True
Suppose 7*x - x - 18 = 0. Let h be 273/9 - x/9. Is 17/(17/h) + 0 a multiple of 13?
False
Suppose -12*y + 11160 = 2124. Suppose 7*n - y = -340. Is n even?
False
Let h(l) = -185*l - 39. Let z be h(-3). Suppose -s = 2*n - 3*n - 172, -5*n - z = -3*s. Is 41 a factor of s?
False
Let u(p) = -2*p - 50. Let y be u(-27). Suppose -4*z + t = -126, 2*t = 4*t - y. Is z a multiple of 4?
True
Let n = -31 + 28. Let c be (n*580/(-15))/(6/21). Suppose -a - c = -4*k - 3*a, k = -a + 104. Is k a multiple of 11?
True
Suppose 3*x = -h + 17, -3*x = 5*h - 8 - 29. Suppose -x*b + 2*w - 377 + 103 = 0, -3*w = -2*b - 135. Let i = 141 - b. Does 10 divide i?
True
Let n be (-6)/18 - 638/(-6). Suppose -349 = -3*o - n. Suppose -5*w = z - 117, -z + o = -3*w - w. Does 12 divide z?
False
Let g(w) = 63*w**2 + w**3 - 3*w + 65*w**2 - 15 - 125*w**2. Let i be g(6). Let r = i - 193. Is 14 a factor of r?
True
Let i(q) = 17*q - 9*q + 103*q**3 - 3*q**2 + 7*q**3 - 2*q**2 - 14*q + 12. Does 20 divide i(2)?
True
Let u(j) = 93*j - 95. Let f be u(6). Suppose -4*h + 5*m + f = -609, 2*h - 3*m = 534. Is h a multiple of 14?
False
Let a = 247 - 230. Let m(r) = r**3 - 16*r**2 - 6*r - 27. Is m(a) a multiple of 10?
True
Suppose 5*j + 2*m + 8533 = 21306, j - 2553 = -2*m. Does 7 divide j?
True
Is (-2124)/(-1) - (-31 + -5)/6 a multiple of 15?
True
Is -123*(-8)/48*8 a multiple of 3?
False
Is 28 a factor of (1 - 2) + (-55319)/(-94)*(3 - 1)?
True
Suppose -3*d + 228 = -0*d. Let o be 2/8 + d/16. Is 4*1*(-1 + o) a multiple of 8?
True
Let d(f) = -f - 75. Let u(z) = 74. Let b(w) = 4*d(w) + 3*u(w). Does 6 divide b(-24)?
True
Suppose 977 = -4*c - n, c + 3*n + 735 = -2*c. Let s = 618 + c. Suppose -5*x + 25 = 0, 2*l + x - 3*x = s. Is l a multiple of 32?
True
Let b(y) = -y**3 - 5*y**2 + 15*y + 13. Let r be b(-7). Let f(w) = 3*w**2 - 17*w + 4. Let d be f(r). Suppose -l - m + d = -7, 3*m + 3 = 0. Is l a multiple of 11?
False
Suppose -536 = 148*d - 144*d. Let k = 333 + d. Does 23 divide k?
False
Suppose -45*i + 56 = 731. Is (-2)/(2/i*1) a multiple of 12?
False
Let p be ((-21)/6)/((-21)/12). Is 14 a factor of (703/(-148))/(p/(-248))?
False
Suppose -80*a = -126*a + 344862. Is 36 a factor of a?
False
Suppose 3*m = 5*m - 4. Suppose m*r = -w + 89, 2*r = 3*w + w - 316. Suppose 8*a = 223 + w. Is a a multiple of 4?
False
Suppose 2*a - 2267 - 6238 = 5*l, 3*l + 21234 = 5*a. Does 23 divide a?
False
Suppose 0 = -39*d - 43*d + 287410. Is d a multiple of 11?
False
Let p = 7139 + -2382. Does 56 divide p?
False
Let r = 6386 + -1316. Is 15 a factor of r?
True
Let c = -602 - -607. Suppose 5*w = 4*v + 2581, 2059 = c*w - 5*v - 521. Is w a multiple of 10?
False
Suppose 165*p - 12508010 - 2667342 = 16*p. Is 18 a factor of p?
False
Let a(n) = n**3 + 21*n**2 - 325*n - 59. Is 59 a factor of a(33)?
False
Let u(a) = 145*a**2 + 13*a - 12. Let n be u(1). Suppose 6*o - o - n = -p, p - 191 = 4*o. Is 13 a factor of p?
False
Suppose -13 = -2*y - 3*o, -7 = -2*y - 3*o + 2*o. Is 24 a factor of 232*y*(1 - 0)?
False
Let b(l) be the second derivative of -1/3*l**4 - l**2 + 24*l + 9/5*l**5 + 0 + 2/3*l**3. Is b(2) a multiple of 49?
False
Suppose 23*j - 19756 = j. Let f = j + -421. Does 20 divide f?
False
Let p = 7481 + -3036. Suppose -516*m + 521*m = p. Is 11 a factor of m?
False
I