87/o. Let b = 250 + c. Is 12 a factor of b?
True
Let w be (30/20)/((-2)/(-4)). Suppose -4*y + w = -137. Is 7 a factor of y?
True
Let x = 485 - 72. Is 35 a factor of x?
False
Let a(h) = -h**3 - 3*h**2 - 3*h + 3. Let b be a(-3). Let z = 1 + b. Let s = z + 1. Is 14 a factor of s?
True
Let n be (-5 + (0 - 0))/(-6 - -5). Let l = -2 + 4. Suppose n*b + 2*a = 28, -a = b - 7 + l. Is b a multiple of 4?
False
Does 4 divide 32/(-16)*822/(-12)?
False
Suppose 4*k - 2688 = -4*v, k + 449 = 2*v - 892. Is 36 a factor of v?
False
Let j(g) = g**3 + 11*g**2 + 9*g - 6. Let c be j(-10). Suppose -4*o + 0*x = -5*x - 22, -o = -2*x - c. Let i = -5 + o. Does 3 divide i?
True
Let b be (3 - 2)/2*114. Let m = b + -14. Let x = -31 + m. Is 12 a factor of x?
True
Suppose -106*g + 41*g + 36335 = 0. Does 14 divide g?
False
Is ((-36)/(-10))/(-9 + (-129311)/(-14365)) a multiple of 18?
False
Let o(s) = -2*s**2 + 6*s + 126. Let k(d) = d**2 - 2*d - 42. Let w(p) = 8*k(p) + 3*o(p). Is w(0) a multiple of 7?
True
Let h be -1*8/(3 + -5). Suppose 122 = h*f - 2*a, f - 3*a = -f + 67. Is f a multiple of 14?
False
Suppose 0 = 26*i - 3802 - 10238. Is i a multiple of 4?
True
Suppose 6*r - 3*r = -2*r. Suppose 3*i = -5*p - r*i + 99, -5*i - 10 = 0. Is 21 a factor of p?
True
Let x(c) = 126*c - 25. Is 6 a factor of x(2)?
False
Let g be -67 - (1 - 3 - 2). Is 20 a factor of 54/(-8)*(-3)/(g/(-280))?
False
Let g = -137 - -49. Let m(j) = 74*j - 4. Let f be m(-2). Let o = g - f. Is 26 a factor of o?
False
Is -4 + 88*6/3 a multiple of 43?
True
Suppose 2*g + 59*y = 57*y + 3498, 3*g + 5*y - 5245 = 0. Is 50 a factor of g?
True
Suppose 0 = -3*c + 436 + 536. Let g = c + -205. Suppose 0 = -3*j + 34 + g. Is 17 a factor of j?
True
Let d = 1713 + -621. Does 42 divide d?
True
Suppose 0 = -171*y + 173*y - 68. Suppose -p - 2*h + 5*h = -42, -2*p = 4*h - y. Is 9 a factor of p?
True
Let m be 7 + -1 - (5 + -5). Suppose -b - 1 = -m. Is b + -6 + (0 - -83) a multiple of 21?
False
Let v be ((-8)/(-12))/(((-14)/(-15))/7). Let u be (-2)/7 - (-66)/(-14). Does 8 divide (v*1)/(u/(-10))?
False
Let q = 7 - -22. Is q a multiple of 3?
False
Let k be ((-2)/(-6))/((-2)/834). Let c = -53 - k. Is 22 a factor of (-1 - (2 + -4)) + c?
False
Let y(w) = 31*w - 564. Does 26 divide y(66)?
True
Let g(m) = -66*m - 42. Does 51 divide g(-7)?
False
Let b(z) = z**3 + 7*z**2 - 8*z + 5. Let u be b(-8). Suppose 2*l = -4*n + 98, 3*l = -u*n + l + 121. Is n a multiple of 7?
False
Let m(y) = 64*y + 12. Does 39 divide m(6)?
False
Let b be 1/5 - (2070/(-25) - 1). Let o = b - 27. Is o a multiple of 19?
True
Let g = -570 - -6304. Does 13 divide g?
False
Let z be (-4 - 8/(-2))/1. Suppose -r + z = 23. Is 8 a factor of (-3 - r)*(-1)/(-2)?
False
Let h = -9 - -4. Let z be (0 - -3) + h - -4. Suppose 134 = 4*d - b, -d = 3*d + z*b - 140. Is d a multiple of 11?
False
Let t = 235 + 45. Does 4 divide t?
True
Suppose -5*l + 7*l - 4 = 0. Is (4 - (-15)/(-10))*l a multiple of 5?
True
Let a be (-18)/(-8) - (-3)/(-12). Suppose -x = -a*x + 32. Does 9 divide 476/x - (-2)/16?
False
Let s(d) = d**3 - 12*d**2 + 4*d - 16. Let b be (6/(-9))/((-6)/81). Let n = b + 3. Is s(n) a multiple of 13?
False
Let h = 1535 - 515. Does 60 divide h?
True
Let y(c) = -c**3 + 4*c**2 + 6*c - 3. Suppose 3*n + 4 = 19. Let f be y(n). Suppose -2*d + 54 = 2*l + f*l, -2*d + 2*l + 36 = 0. Does 10 divide d?
False
Let i be 1/(-2)*31*4. Let y = 134 + i. Is 37 a factor of y?
False
Suppose a + 3*y = 8*y + 36, -2*a - 3*y = -7. Suppose -a*m + 1438 = -69. Is 17 a factor of m?
False
Does 46 divide ((-4600)/30)/(3/54*-3)?
True
Suppose 1402 = 4*a - 8*d + 3*d, -3*a - 3*d = -1038. Is a a multiple of 49?
False
Let y(s) = 27*s**2 - 3*s + 3. Let l be y(1). Suppose -v + 4*v = l. Is 8 a factor of v?
False
Is 3226 + 1/7 + 15/(-7) a multiple of 109?
False
Let v(g) = 2*g**2 + 2*g - 23. Let d be v(8). Suppose -5*c + 179 = 4*u - 0*u, -u = -3*c + d. Does 5 divide c?
False
Suppose 0 = -4*j - p + 602, 3*j - 164*p + 167*p = 447. Is j a multiple of 2?
False
Let q(i) = i**2 + 9*i + 12. Let k(x) = x**2 - 7*x - 6. Let z be k(8). Suppose 4*n = z - 50. Does 25 divide q(n)?
False
Let s(f) = 73 - 3*f + 2*f - 28 + 0*f**3 + f**3. Let b be s(0). Let x = b - 31. Does 14 divide x?
True
Let o be (-3620)/(-8) + 3/6. Suppose -3*x = -x + 2*z - 298, 0 = 3*x + z - o. Is x a multiple of 28?
False
Does 9 divide ((-5)/(-15))/((-3)/18)*-223?
False
Let u(j) = j**3 + 5*j**2 - 8*j - 9. Let y be u(-6). Suppose 2*q = y*p - 153, 3*q - 6*p = -p - 228. Let m = 120 + q. Does 13 divide m?
True
Let i be (2 + (-8)/(-10))*-5. Let j be 0 - -1 - i/(-7). Does 4 divide (3/6)/(j/(-26))?
False
Let d(o) = -24*o - 124. Is 38 a factor of d(-21)?
True
Suppose -252 = a + a - 2*c, -2*a = 5*c + 252. Let t = a - -204. Is 39 a factor of t?
True
Let j(s) = 13*s + 114. Does 51 divide j(3)?
True
Suppose -19 = 4*t + 4*a - 47, -3*a = -5*t + 3. Let j be (t/(-2) - -1)*0. Suppose j*m = -m + 30. Is m a multiple of 12?
False
Let q(u) be the first derivative of -5/2*u**2 + 5*u - 9. Is q(-7) a multiple of 8?
True
Let z = -1447 - -2085. Is z a multiple of 6?
False
Suppose -3*q + 3*g + 30 = 0, 2*q - 34 = -3*q + g. Let f(n) = 9*n + 8. Does 45 divide f(q)?
False
Suppose 0 = -2*z - 3*o + 546, -4*o + 16 = 8. Does 10 divide z?
True
Let k be 4 - (-60)/(-16) - 779/(-4). Let j = k + -116. Does 4 divide j?
False
Let a = -194 - -493. Does 38 divide a?
False
Suppose -4*u + 1813 = 5*m, -451 = -u - 3*m + 4*m. Is 19 a factor of u?
False
Suppose 4*u - 8*u = 4*v - 16, 0 = u - 4*v - 19. Suppose 2*i - u*l - 222 = -4*l, -4*l - 220 = -2*i. Does 23 divide i?
False
Let f be -10*8 + -2 - 3. Let j = f + 165. Is j a multiple of 27?
False
Let w(f) be the third derivative of f**7/630 - f**6/720 - f**5/40 + f**4/12 - 5*f**2. Let d(m) be the second derivative of w(m). Is 6 a factor of d(3)?
True
Let f = 10 - 8. Suppose f = z - 4. Suppose z*l - 190 = l. Does 19 divide l?
True
Suppose -6020 = -4*h - t - 3*t, 0 = -5*t + 25. Suppose -10*j - h = -15*j. Is 12 a factor of j?
True
Let h(g) = 2*g**2 + 10*g + 13. Let b(d) = -4*d + 6. Let n be b(3). Is h(n) a multiple of 11?
False
Let l(h) = 3*h**2 - 4*h - 1. Let z(d) = -4*d**2 + 5*d + 1. Let v(n) = -5*l(n) - 4*z(n). Is 4 a factor of v(3)?
False
Let t be -3*(3 - 5/3) + -55. Let x = t - -103. Does 4 divide x?
True
Suppose -g - 23 = w, -3*g = -w - w + 94. Let a = g + 84. Is 9 a factor of a?
False
Let y = 271 - 10. Let j = 391 - y. Does 12 divide j/5 + (-2)/1?
True
Suppose 1816 = 2*j + 4*g, 4*j - 13*g = -18*g + 3626. Is j a multiple of 28?
False
Does 21 divide 513 + -14 + -4 + 11?
False
Is 3/(-3) - (11 + -3157) a multiple of 6?
False
Let u = -35 - -331. Is 25 a factor of u?
False
Let j(d) = 6*d**3 - 4*d**2 - 6*d - 1. Let p(l) = l**3 - l - 1. Let c(s) = -j(s) + 5*p(s). Does 8 divide c(3)?
True
Suppose -2*d - 6*d = -864. Does 19 divide (-18)/d - (-1094)/12?
False
Does 5 divide (0 + 970/(-25))/((-1)/5)?
False
Let z be (-385)/(-20) + 10/(-8). Let r be 481 + 2 + -2 + -1. Is 4/z + r/27 a multiple of 6?
True
Let h = -18 - -18. Let b(r) = -r + 69. Is 20 a factor of b(h)?
False
Let v(b) = -22*b + 32. Let l be v(-9). Let q = 367 - l. Is 23 a factor of q?
False
Is 908/(-5)*(-50)/8*2 a multiple of 66?
False
Let z(n) be the third derivative of -n**6/120 + 4*n**5/15 - 13*n**4/24 - 3*n**3 + 31*n**2. Let h = 52 - 37. Does 12 divide z(h)?
True
Let f be (-6)/(2 + (-7)/2). Suppose 4*a = -2*z + 18 + 26, 3*z + f*a - 66 = 0. Let v = z + -7. Does 8 divide v?
False
Let z(k) = -99*k + 20. Is 29 a factor of z(-3)?
False
Let x(b) = -b - 15. Let v be x(-9). Let y be ((-4)/v)/((-4)/18). Is 4 a factor of (-2 - y)*33/3?
False
Let d = 8 - 23. Let g = 21 - d. Is g a multiple of 18?
True
Let f(o) = 8*o**2 - 9*o - 30. Is 35 a factor of f(8)?
False
Let i(s) = -s**3 - 8*s**2 - 8*s - 4. Let c(l) = -l**2 + l - 1. Let f be c(-2). Let d be i(f). Suppose 5*x + 11 = 2*p, 0*p + 42 = d*p + x. Does 4 divide p?
False
Suppose f + n = 240, -5*f + 620 = -4*n - 544. Is f a multiple of 3?
False
Let k(g) = -34 - 11*g + 31 - 15*g. Let q be k(-2). Suppose 4*w = q + 79. Does 16 divide w?
True
Suppose 731 = 5*a - 794. Is a a multiple of 4?
False
Let u(c) = 3*c**3 + 2*c + 6. Let y(s) = 7*s - 38. Let h be y(6). Does 22 divide u(h)?
False
Suppose k - 5*f = -406 + 1555, 1146 = k - 2*f. Is 14 a factor of k?
False
Suppose 6*g = 4*g - 8, g - 16 = -4*r.