b be -1 + (1/1 - 10). Suppose -12 + 24 = -3*z + 2*s, -5*s = -5*z - 25. Is 15 a factor of z/b + 1756/20?
False
Suppose -47*k = 27*k - 286454. Is k even?
False
Let l(q) = 3*q**3 + 4*q**2 + 2*q + 140. Suppose -5*f + 2*w - 8 = 0, -2*w + 6 = -2. Is l(f) a multiple of 70?
True
Let m = 119 - -85. Is m a multiple of 4?
True
Let a = 9948 + -5148. Is a a multiple of 64?
True
Suppose 5*v = 4*i + 34049, 0 = 273*i - 276*i - 3. Is 11 a factor of v?
True
Suppose 19*v - 106 - 84 = 0. Suppose -24*f + 19*f - v = 0, 0 = 3*z + 4*f - 676. Is 40 a factor of z?
False
Is 17 a factor of -153*12/72*(-290)/3?
True
Suppose -5*c - z - 1316 = 0, 0 = -0*c + 5*c - 4*z + 1311. Let f = c + 557. Is f a multiple of 14?
True
Suppose 3821*l + 28212 = 3825*l. Is 80 a factor of l?
False
Suppose -4*s + 5*p + 14810 = 9*s, -s + 3*p + 1134 = 0. Does 76 divide s?
True
Let c(j) = j**3 - 3*j**2 + j. Let g be c(3). Let t(y) be the first derivative of 3*y**3 - y**2 + 4*y - 3. Is 15 a factor of t(g)?
False
Let h = 56 + -262. Let n = h + 287. Is n a multiple of 27?
True
Let n = 29 - 25. Let p be (-9)/(-21) - (-231)/147. Suppose n*b = -p*d + 562, d - 63 = 5*b + 183. Is 41 a factor of d?
False
Let o = 13 - 15. Let q be ((-4)/(-6))/o*0. Suppose 229 = 3*x - a, -a = 4*x - q*a - 303. Does 25 divide x?
False
Let h = 282 - 268. Suppose -25*x + h*x = -1848. Is x a multiple of 5?
False
Let k(s) = 88*s**2 + 17402*s**3 - 18 - 17404*s**3 - 142 + 7*s. Does 5 divide k(44)?
False
Suppose 0 = 74*q - 340195 + 64763 - 177522. Is q a multiple of 9?
False
Let n(g) = 72*g**2 + g + 30. Is 24 a factor of n(-6)?
True
Let a be (3 - -1)*(-1 - -2). Suppose 0 = a*h - y - 7, -2*h + 7 = y + 2. Suppose 0 = h*j + 2*j, -3*j = z - 52. Is z a multiple of 13?
True
Suppose 24*c - 32*c - 18816 = 0. Does 17 divide (-6 - c/35)/(4/10)?
True
Let a(i) = 2*i**3 - 27*i**2 + 75*i - 36. Is a(21) a multiple of 54?
True
Suppose -21*i + 4032 = 35*i. Suppose -h + 5*p + 2 = -5, 0 = 3*h - 3*p - 9. Does 5 divide i + -8 + (h - 1)?
True
Let w = 12812 + -2822. Is 27 a factor of w?
True
Suppose 8*y - 74870 - 135218 = 0. Is 47 a factor of y?
False
Let q(p) = -p**3 + 16*p**2 + 57*p + 4. Let f be q(19). Suppose 3*x = c + 209, -f*x + 222 = 5*c - 44. Is x a multiple of 50?
False
Let a(f) = 2*f**2 - 27*f - 19. Let h(m) be the second derivative of m**4/4 - 53*m**3/6 - 37*m**2/2 - 43*m. Let y(z) = 11*a(z) - 6*h(z). Is 14 a factor of y(-8)?
False
Let j = -39 - -34. Let t be (3 - 4)/((-1)/j). Let v(g) = 2*g**2 + 4*g - 1. Does 12 divide v(t)?
False
Let g(z) = z**2 - 11. Let v be g(4). Suppose j + 0*h + 24 = -v*h, -4*h - 24 = -4*j. Is j/(8/(-84)*3/(-20)) a multiple of 14?
True
Let m = 24 - -4. Suppose 0 = 25*k - 23*k - m. Is 3 a factor of k/21*((-65)/(-2) + 2)?
False
Suppose 14*w - 14786 - 16770 = 0. Is 161 a factor of w?
True
Does 60 divide (-20 - (-15)/1)/((-1)/888)?
True
Let y(j) be the third derivative of -j**6/120 + j**5/6 + 5*j**4/12 + 2*j**3 - j**2. Let s be y(11). Does 5 divide (-24)/3*s*(-13)/4?
False
Let p(v) = 68*v - 3. Let u(k) = 69*k - 4. Let t(n) = -5*p(n) + 4*u(n). Is t(-4) a multiple of 15?
True
Let j(k) = 61*k**3 + 3*k**2 + 28*k + 4. Is j(6) a multiple of 116?
True
Let d(q) = 2*q**2 - 3*q + 4. Let i be d(1). Suppose -j + 9 = -i*z, -j - 2*j - z = -7. Suppose -j*t = 5*u - 85 - 34, -4*u = 2*t - 76. Is t a multiple of 4?
True
Does 2 divide 88/(-1100)*45127/(-2) - 2/25?
False
Let n(y) = 10*y + 24. Let x be (-2)/14 - (-1472)/112. Let b be n(x). Let u = b + -98. Does 15 divide u?
False
Let v(w) = -3*w - 18. Let r be v(-5). Let h be ((-3)/r)/(61/(-15) - -4). Let t = h + 42. Is 4 a factor of t?
False
Suppose 22 = 2*s + 4. Suppose -5*a - 72 = -s*a. Suppose -7 = i - a. Is i a multiple of 11?
True
Suppose 11*l - 3286 = 1818. Let t = l - 46. Does 11 divide t?
True
Let b(x) = -3*x**2 + 6*x + 10. Let o(f) = 4*f**2 - 5*f - 11. Let q(a) = -5*b(a) - 4*o(a). Let r be q(-4). Suppose 5*k + r = 6*k. Is k a multiple of 8?
False
Suppose -k + 75 - 38 = 0. Suppose 29 = -4*a + k. Suppose a*f - 2 = -d, 2*d - 4*d = f - 13. Is d a multiple of 5?
False
Let y(s) = -2*s + 47. Let a be y(23). Let o(l) = 13 + 16 - l**2 - a - 9 + 30*l. Does 15 divide o(29)?
False
Suppose -5*s - 430 = -3*w, -w - 5*s = -177 + 7. Is 6 a factor of (w/(-225))/(1/(-1035))?
True
Let t(j) = 7*j**2 + 3*j + 3. Let z be 2/(-3)*(-15)/10. Let k be -2*z - (-13 - -8). Does 9 divide t(k)?
False
Suppose 24*i - 50*i = -28*i - 16. Let p(d) = d**3 + 4*d - 6*d + 10*d - 9 + 10*d**2. Is 5 a factor of p(i)?
True
Let o(c) = c**2 + 76*c + 215. Is o(-87) a multiple of 4?
True
Let p(s) = 19*s**3 - 11*s**2 + s + 21. Is 20 a factor of p(5)?
False
Let x(h) = -h**3 + 23*h**2 + 32*h - 27. Let j be x(24). Let w = j - 156. Is 5 a factor of w?
False
Let q = 100 + -97. Suppose -3*j - q*j = -24. Is 4 a factor of j?
True
Let a be (14 - -198) + 1*5. Let h = 341 - a. Is 31 a factor of h?
True
Suppose 511*z - 513*z = -100. Is 15 a factor of (z/(-4))/5*(-952)/10?
False
Suppose 47*f - 359616 + 35504 = 0. Is 157 a factor of f?
False
Suppose 30187 - 56996 = -28*y + 39243. Is y a multiple of 9?
False
Is 13 a factor of (-6 - 180/(-28)) + (-371480)/(-56)?
False
Suppose -13*y + 486 = -3999. Let a = -26 - -29. Suppose y = 2*x + a*x. Does 45 divide x?
False
Let d = -19847 + 36052. Is 126 a factor of d?
False
Suppose -341*i + 48 = -333*i. Let x be ((-15)/(-3) + -1)*3. Let r = x + i. Is 9 a factor of r?
True
Let c(b) = 26*b + 1846. Is c(-63) a multiple of 12?
False
Let n = 284 + -184. Let k = n + 1154. Is k a multiple of 11?
True
Suppose 5*m - c - 17 = 0, -5*m - 5*c = -2*m - 27. Suppose -2*b - 45 = -5*l + 7, -5*l + m*b = -44. Let z(n) = -n**3 + 11*n**2 + 15*n + 10. Is 5 a factor of z(l)?
False
Suppose -2*c = 4*l + 20, -2*c - 2*l - 10 = 2*c. Let h be 0/(3 - (c + 1)). Suppose h = t - 2*g - 143, g + 1 = -1. Is 20 a factor of t?
False
Suppose 10815 = 5*u - 2*n - 3*n, n + 3 = 0. Is 37 a factor of u?
False
Let l(m) = -m**2 - 28*m + 6. Let n be l(-6). Suppose 8*g - 7*g - 435 = 0. Let r = g - n. Is 14 a factor of r?
False
Suppose h + 10*a = 15*a + 4010, -20094 = -5*h + 3*a. Is h a multiple of 67?
True
Let l(a) = a**3 - 14*a**2 + 20*a - 79. Is 3 a factor of l(13)?
True
Suppose -4*p + 4*q = 4, -p + 11*q - 5 = 6*q. Suppose 5*m = -2*k - 490, p = 2*m + 4*k - 110 + 322. Let g = m + 116. Is g a multiple of 4?
True
Suppose -625*l - 14820 = -635*l. Is l a multiple of 19?
True
Suppose s + 8*d - 13*d + 15 = 0, -3*d = -3*s - 45. Let c(v) = 7*v - 45. Let h(u) = -6*u + 45. Let f(w) = 3*c(w) + 4*h(w). Does 10 divide f(s)?
True
Is 8*372/24 + -2 + 1 a multiple of 7?
False
Is 84 a factor of (1 - 2) + (45 - -4576)?
True
Is 14 a factor of 79/(-553) + 6364/7?
False
Let a(n) = -7*n**2 - 81*n. Suppose -4*g = -4*m - g - 39, -4*m + 5*g = 41. Is 9 a factor of a(m)?
True
Let x be 1*(-16 + 4)/2. Let o(h) = 8*h**2 + 7*h + 10. Let m(i) = 7*i**2 + 6*i + 9. Let d(t) = x*o(t) + 7*m(t). Is 24 a factor of d(-5)?
False
Let n be 0 - ((8 + -4)/2)/1. Let o be (-5)/n*104/65. Does 53 divide 8802/78 - o/(-26)?
False
Let v be -2*6*4/16. Let n be (-12)/(((-12)/8)/v*-3). Suppose -n*m + 4*m = -848. Is m a multiple of 29?
False
Is (-36)/84 + (-3)/(21/(-20996)) even?
False
Let m(d) = 7 + 50*d - 5*d - 17. Let k be m(4). Suppose -2*n = -3*j + j - 116, 2*j + k = 3*n. Is n a multiple of 18?
True
Let f(u) = -u**3 - u**2 + u - 1. Let i(y) = -3*y**3 + y**2 + 3*y - 1. Let t(p) = -f(p) + i(p). Suppose 0 = -42*g + 18*g - 48. Does 10 divide t(g)?
True
Suppose 930 = 13*u - 8*u - 5*t, -4*u + 717 = 5*t. Let m = 198 - u. Is m even?
False
Suppose -1194*u + 1182*u = -39600. Is 150 a factor of u?
True
Suppose -13*h + 154115 - 25103 = 0. Does 129 divide h?
False
Suppose 4*z - 579 = -543. Suppose 3*b + z = -0, 5*b + 35 = i. Is i a multiple of 2?
True
Let r(v) = -v**3 - 4*v**2 - 7*v - 18. Let d be r(-4). Suppose -d*k + 52 = -8*k. Does 22 divide k?
False
Let m(j) = j**3 - 14*j**2 - 2*j + 28. Suppose -g + 8 = -2*s, 0 = 4*g - 3*s + 5*s - 62. Let d be m(g). Suppose -a + 6 - 2 = d. Is a a multiple of 2?
True
Let z(w) = 2*w - 45. Let g be z(22). Let f be (-3*3/3 + -2)/g. Is 9 a factor of ((-387)/(-12) - f) + (-1)/4?
True
Suppose -2275 = 3*m + 4*m. Let n = m + 549. Suppose -2*u - 6*u + n = 0. Is 2 a factor of u?
True
Let n(g) = 12*g**2 + 16*g + 7. Let f(a) = -a**3 - 30*a**2 + 30*a - 37. Let k be f(-31). Does 30 divide n(k)?
Fals