 -18 = -4*i - 2*q. Suppose 834 = i*k + 4*k. Is 31 a factor of k?
False
Let x(w) = -4*w**2 - 12*w - 13. Let r be x(-2). Is 39 a factor of ((-132)/10 - r)*-5?
False
Suppose 111 + 9 = 8*u. Let p = 21 - u. Is -3 - (-3)/p*66 a multiple of 14?
False
Let c be 724/(-11) - (3 + 31/(-11)). Is 53 a factor of (-18)/99 + (-77034)/c?
False
Let f(t) = t**3 + t**2 - t + 1. Let r(s) = 4*s**3 - 21*s - 29. Let v(i) = 2*f(i) - r(i). Does 28 divide v(-6)?
False
Let o = -2594 - -544. Does 45 divide 34/(-136) + o/(-8)?
False
Suppose -8*f - 22 = -182. Let v be (f/(-70))/((-2)/14). Suppose 0*p = -4*r - 4*p + 216, -3*p + 104 = v*r. Does 6 divide r?
False
Does 47 divide (3 - 4)*-3341 + (-7 - -8)?
False
Suppose -4*p - 40 = -8*p. Suppose -p*z - 17*z + 4158 = 0. Does 22 divide z?
True
Let g(b) = b**3 - 6*b**2 - 3*b - 14. Let y be g(7). Suppose -8*n + y*n = -60. Does 13 divide (-4536)/(-22) + n/55?
False
Suppose 2 = -7*j + 30. Suppose q - 2*s = 185, -q - j*s - s + 199 = 0. Is q a multiple of 31?
False
Suppose 5*k - r = -13344 + 70558, 2*k = -5*r + 22864. Does 55 divide k?
False
Suppose -58*p - 12 = -61*p. Suppose -11 = -5*b + p*i, -b + 5*b - i - 11 = 0. Is 313/b - (-6)/9 a multiple of 5?
True
Let n be 30/40 + (-9)/(-4). Let h(z) = 13*z - 5. Let v be h(n). Suppose -v - 53 = -i. Is 29 a factor of i?
True
Let z(j) = 19*j**2 + 17*j - 147. Is 43 a factor of z(-26)?
True
Suppose 1572 = -3*s + 9*s. Let q = -134 + s. Is 2 + -2 + 4 + q a multiple of 38?
False
Suppose -3*n - 4*j = -1877, 0 = -5*n - j + 1375 + 1776. Suppose 0 = -2*h + n + 305. Suppose h = -3*z + 15*z. Is z a multiple of 11?
False
Let b(q) = -42*q**3 - 6*q**2 + 21*q + 150. Does 128 divide b(-7)?
False
Let q(n) = -8*n - 2*n + 15*n**2 - 6 + 3*n. Let a be (-18)/(-15)*540/162. Is q(a) a multiple of 35?
False
Suppose 0 = 2*h + 54 + 956. Let p = h - -161. Is 13 a factor of (p/(-20))/(2/10)?
False
Suppose 0 = 5*i - 11*x - 6208, 800 = 2*i + 5*x - 1608. Is i a multiple of 6?
True
Does 3 divide (-3)/(-12) + (-4)/(-80)*11415?
False
Suppose x = 5*x - 16, 0 = 5*h - 2*x - 37117. Is h a multiple of 11?
True
Suppose 2*g = 3*t + 339, -4*g + 3*g + 3*t + 174 = 0. Suppose -5*c = 3*a + a - g, -4*a + 3*c = -157. Does 5 divide a?
True
Suppose 5*b = -548 - 397. Let w = b - -301. Does 16 divide w?
True
Let m(t) = 2*t**3 + 14 - 10 - 5 - 2*t**2 - 3*t**2 - t. Let b(i) = -3*i**3 + 11*i**2 + 2*i + 2. Let v(o) = 3*b(o) + 7*m(o). Is 26 a factor of v(2)?
False
Let h(b) = -b**2 + 121*b + 81. Is 97 a factor of h(54)?
False
Suppose 0 = 3*k + i - 10, -2*k - 4*i + 0 = -10. Suppose 2*j + k*j - 60 = 0. Suppose -10*m + j*m = 64. Is 8 a factor of m?
True
Suppose 235*h - 2094650 = 1272195. Is h a multiple of 182?
False
Let t be (1/(-15)*-12)/((-2)/(-10)). Suppose t*a = 18 - 18. Suppose a = 2*v - 5*g - 56 + 8, 5*v - 87 = -4*g. Is v even?
False
Suppose 3*i + 4*y + 3771 - 14827 = 0, 4 = y. Does 9 divide i?
False
Let o(m) = -11*m**2 + 7*m + 9. Let w be o(4). Let d = w + 224. Suppose d + 107 = 2*h. Is 8 a factor of h?
True
Suppose -941346 = -15*q - 16*q. Does 126 divide q?
True
Suppose -16*i - 42 + 26 = 0. Is i/((-5)/855) - 3 a multiple of 3?
True
Let g(n) = -n**3 + 7*n**2 + n - 7. Let o be g(-3). Suppose 16 = -4*s, 2*r - 3*s + 6*s = o. Is 23 a factor of (-3*r)/(-2) + 0/2?
True
Let s = -65 + 74. Suppose -s*l + 135 + 153 = 0. Is l a multiple of 8?
True
Let u be 0/(0 + (-2 - 10)/4). Suppose u = -y + 2, 176*w - 5*y - 956 = 175*w. Does 42 divide w?
True
Suppose -3*g = -5*h - 6195, -5*g + 4*h + 535 = -9803. Does 5 divide g?
True
Let a(r) = -14 + 4 + 10*r - 12. Let i = -3685 + 3691. Is a(i) a multiple of 17?
False
Suppose -16*r - 31*r + 181444 = -56940. Does 15 divide r?
False
Let f = -12 - -20. Let g(c) = -4*c**3 - 3*c**2 - 2*c. Let q be g(-1). Suppose 0 = a + 4, -v = -0*v + q*a - f. Is v a multiple of 4?
True
Let t(l) = -l**2 + 20*l + 35. Let r be t(18). Let p = 70 - r. Is 5681/26 + p/(-2) a multiple of 36?
False
Let b(n) = -n**2 - 39*n + 1627. Is b(0) even?
False
Suppose 0 = -4*l - 5*u + 568, 2*l + 0*u - 284 = -u. Suppose 48*j - 47*j + 86 = 0. Let y = l + j. Does 28 divide y?
True
Suppose -12*n + 56*n - 289506 = 23*n. Is 156 a factor of n?
False
Let j = -72 + 74. Suppose 0 = j*w - 5*h + 3, -2*h = -h + 1. Is 25 a factor of 2 - 0 - (-62 - (2 + w))?
False
Suppose -531696 = -31*k + 175*k - 4808496. Is k a multiple of 98?
False
Let a(x) = x**2 - 2*x - 31. Let p be a(9). Does 12 divide (-1 - 40)*p/(-32)?
False
Suppose -4*s - 228 = -2*b, 3*s - 6 - 6 = 0. Is b a multiple of 2?
True
Let h(y) = -y**3 - y**2 + 12*y + 12. Suppose 0 = -2*s - 4*r - 28, 7 - 44 = 3*s + 5*r. Let g be h(s). Let o = 61 - g. Is 4 a factor of o?
False
Let x = 0 + 0. Let t be x - 242/(-2) - -2. Let f = 38 + t. Is f a multiple of 23?
True
Let t(v) = 233*v**3 + v**2 + 2*v - 4. Let r be t(1). Suppose 1080 - r = 2*g. Is 10 a factor of g?
False
Let d(i) = -i**3 + 3*i**2 + 11*i - 2. Let q be d(5). Suppose -3*m + q*x + 167 = 2*x, m - 4*x - 41 = 0. Is 20 a factor of m?
False
Suppose 69*w - 66*w = -30. Is 20 a factor of 5/3*(-480)/w?
True
Suppose -3*r - 15 = 0, 2*t - r + 26 = r. Let q(x) = -10*x - 69. Does 12 divide q(t)?
False
Let f(y) be the first derivative of 5/2*y**2 - 9*y + 19. Is 3 a factor of f(4)?
False
Let a be 116/(-24) - (-3)/(-18). Suppose -60*x + 48*x = 204. Let w = a - x. Is w a multiple of 4?
True
Is 18/(58740/(-3672) + 16) a multiple of 36?
True
Let f(n) be the first derivative of 23*n**4/24 - 10*n**3/3 + 15*n**2/2 + 20. Let j(b) be the second derivative of f(b). Is j(3) a multiple of 6?
False
Suppose -58 + 70 = 12*z. Let q(i) = 1385*i**3 + 2*i**2 - 5*i + 4. Is 33 a factor of q(z)?
True
Let b(h) = -492*h - 2388. Is 149 a factor of b(-23)?
False
Let w be 4*24/20 - 8/10. Suppose -4*k + 1699 = 5*x, 3*k + 422 = 4*k + w*x. Does 44 divide k?
False
Suppose -x = 7*q - 5815, x + 1442 + 213 = 2*q. Is 20 a factor of q?
False
Let s = 1656 - -142. Is s a multiple of 62?
True
Let w(x) be the second derivative of 15*x**3 - 185*x**2/2 + 20*x - 3. Does 60 divide w(13)?
False
Suppose -3785*x - 27267 = -3846*x. Is x a multiple of 119?
False
Let g = -9597 + 11161. Does 23 divide g?
True
Suppose -227 + 31 = -3*b + 4*k, -5*b + 3*k + 345 = 0. Let s = 58 - b. Let a = 31 - s. Is 14 a factor of a?
False
Suppose -2*t + 3*i + 71 = 0, -11*t + 59 = -9*t + i. Suppose t*g - 27*g = 1404. Is g a multiple of 50?
False
Let i = 5201 - 316. Is 119 a factor of i?
False
Suppose 0 = 2*x - 7*a + 2*a - 21958, 0 = -3*x - 4*a + 32868. Is x a multiple of 35?
False
Let a be 10/(-8) + 6066/72. Suppose c + a = 314. Is c a multiple of 5?
False
Let y = 4854 - -3330. Does 22 divide y?
True
Let z = -14908 + 21491. Is 165 a factor of z?
False
Suppose 5*u - 22 = -4*q, 0 = 4*u - q - 0*q - 5. Suppose -5*z = u*d + d - 79, 4*d - 140 = 2*z. Let b = 51 - d. Is 6 a factor of b?
True
Let n = -9 - 13. Let c be (-62)/n + 20/110. Is ((-2)/6)/((-2)/c)*88 a multiple of 4?
True
Suppose 7*y = -9*y + 3*t + 132569, 0 = -3*y + 5*t + 24870. Is y a multiple of 175?
False
Suppose 45*s - 40*s = 2*y + 3841, 4*s = 5*y + 3066. Does 2 divide s?
False
Is (-4)/(-12) - ((-34713)/27 - -6) a multiple of 13?
False
Suppose -4*l - 3*a = -1047, -l = 4*a - 3*a - 263. Let b = l + -165. Is 12 a factor of b?
False
Let n(t) = -24*t**2 + 124*t - 9 - 3*t**2 + 12*t + 1 + 5. Is n(5) even?
True
Let i be 1 + ((-1596)/(-1))/4. Suppose -5*j + i = 5*j. Let s = j + -32. Is 4 a factor of s?
True
Suppose 72*r = 3*z + 67*r - 27912, -2*z - 2*r = -18576. Is z a multiple of 24?
False
Let u be 2 + (-2)/((-6)/(-519)). Let k = -70 - u. Let a = 212 - k. Does 37 divide a?
True
Let j(x) = -23*x - 220. Let k be j(0). Is 88/k + 904/10 a multiple of 2?
True
Let z be 116/(-29) - (-9 - -2). Suppose 0*x + 2*x + z*p = 381, -x + 5*p = -158. Does 44 divide x?
False
Suppose 0 = -2*w - 2*w - 116. Let n = w + 29. Let s = n - -40. Is 11 a factor of s?
False
Let v = 295 + -299. Let c(j) = 5*j + 44. Is c(v) a multiple of 4?
True
Suppose 94*g - 2065264 = 1314882. Does 11 divide g?
True
Let d(h) = 4*h**2 + 17*h - 1388. Is d(37) a multiple of 89?
True
Let d(w) = 5 + 0 - 5*w - 5*w**2 - 3*w - 3*w**2 + 115*w**3 - 116*w**3. Let x(i) = 2*i + 1. Let g be x(-5). Is d(g) a multiple of 37?
False
Suppose -6*w + 4788 = 288. Suppose 0 = 5*b - w - 325. Suppose -4*m = j - b - 225, -4*m - 2*j = -444. Is 10 a factor of m?
False
Let h(g) = -19