e
Let a(y) = 11*y**2 - 3*y + 15. Let o(x) = 5*x**2 - x + 8. Let b(j) = -6*a(j) + 13*o(j). Let q be b(6). Suppose -2*z + 0 = -q, w = 3*z - 10. Does 2 divide w?
True
Let b = -403 + 424. Is (938/b)/(0 + 4/6) a multiple of 30?
False
Let j = 73 + -140. Let p = 331 + -152. Let n = j + p. Is 34 a factor of n?
False
Let w be (-22)/143 - (-3855)/(-39). Let d = 6 - w. Is d a multiple of 7?
True
Let q = -60 - -62. Let i(j) = 21*j**2 - 3*j - 3. Let k be i(-2). Suppose p = q*l + 36, 0*l + k = 3*p + l. Does 9 divide p?
False
Let h = 3800 - 3734. Is 6 a factor of h?
True
Does 3 divide (-135 - -4 - (-2 - -1))/(382/(-8977))?
False
Let i = -64 + 80. Suppose i*j = -2*j + 5040. Is j a multiple of 5?
True
Let u(r) = r**3 - 4*r**2 + 3*r. Let b be u(3). Suppose 5*y - 59 + 4 = b. Is 11 a factor of y?
True
Let i = 38606 - 23206. Does 140 divide i?
True
Does 50 divide 72578*11/(-88)*-4?
False
Let n = -3574 - -5229. Does 14 divide n?
False
Let n be 62*(-2)/((-12)/(-9)). Let o = 195 + n. Is 17 a factor of o?
True
Let p(c) = c**3 + 72*c**2 - 6*c - 13. Does 3 divide p(-14)?
True
Suppose 13224 = 18*u - 2616. Is u a multiple of 20?
True
Let n be (5 + 8/(-2))*53. Suppose -61*t = -n*t - 9360. Does 45 divide t?
True
Suppose -87*d - 49*d + 2609024 = 0. Does 22 divide d?
True
Suppose 7*k - 11355 = -3*c + 53883, -2*k + 4*c + 18620 = 0. Is k a multiple of 13?
False
Suppose -2*j + 55 = 3*j - 5*y, -5*j - y + 79 = 0. Suppose u - 10 = 3*q, 3*u - 4*q + 0 = j. Is (u/2)/((-9)/(-1314)) + -1 a multiple of 12?
True
Let h be (40/(2/(-2)))/(3/6). Let p = h + 82. Suppose 4*l = -2*w + 229 - 7, 234 = 2*w - p*l. Is 30 a factor of w?
False
Let u(z) = -17*z**2 - 46 + 495*z - z**3 + 491*z - 1011*z. Is 3 a factor of u(-16)?
False
Let n be (-8)/(-6) - ((-934)/(-3) + -5). Let h = n - -825. Is h a multiple of 65?
True
Let l be -3 - (-3 - 4/8*16). Suppose -3*q = -3*a + l*a - 180, q + 5 = 0. Let j = 11 + a. Is j a multiple of 33?
False
Suppose 0 = 32*h - 37869 - 4371. Is 3 a factor of h?
True
Is (-1 + (-6)/8)/((440/13408)/(-55)) even?
False
Let j(t) = -14*t**2 - 13*t - 13. Let g(r) = 20*r**2 + 19*r + 19. Let c(m) = 5*g(m) + 7*j(m). Does 14 divide c(11)?
False
Suppose 0 = -y - y - 128 + 8276. Does 5 divide y?
False
Is 6 a factor of 13/((-286)/330) - -27693?
True
Is 10 a factor of (-223465)/66*(-30)/8 + 10/80?
False
Let x = 31293 + -24733. Does 205 divide x?
True
Suppose 607*r - 609*r = -4844. Is r a multiple of 173?
True
Let v(g) = g + 2. Let a(n) = 12*n + 35. Let m(w) = -2*a(w) + 6*v(w). Does 10 divide m(-11)?
True
Is 8 a factor of (61 - -1022) + 6 + -1?
True
Suppose 5*t - 505 = 2*a + 3*a, -a - 101 = -2*t. Let n = a + 244. Does 8 divide n?
False
Suppose 3*m - 15 = -4*t, 0 = m + 4*m - 5. Suppose 0 = -3*s - t*d + 1390 - 394, d - 661 = -2*s. Does 23 divide s?
False
Let f be (26/(-39))/(2/24). Let r = 52 + 52. Let s = r + f. Is 16 a factor of s?
True
Suppose 0 = 2*x + 5*p - 9536, p = -58*x + 62*x - 19006. Is x a multiple of 168?
False
Let m = 274 + -259. Suppose 40 = 5*b - 3*o, 3*o - m = -5*b + o. Does 2 divide b?
False
Let y(x) = -x**3 - 4*x**2 - 2*x + 5. Let u be y(-7). Let b = -190 - -449. Let p = b - u. Is 12 a factor of p?
False
Suppose 2*u - 8 = 0, -3*d - 1 = -5*u + 7. Let w(q) be the second derivative of 5*q**4/12 + q**3/2 + 2*q. Is 23 a factor of w(d)?
True
Let k(t) = t**2 - 83*t + 36. Is k(-89) a multiple of 16?
True
Suppose -3*o - 102 + 93 = 0. Let a be 4 - (-1 - 9/o). Suppose a*m + 2*m = 4*v, -3*m - 4*v = -14. Is 2 a factor of m?
True
Let s be (-85)/(-2) + (44/8 - 5). Is 3/(3 - 126/s) a multiple of 13?
False
Let k be (-4 + 26/6)*15. Suppose -k*z - 15 = 0, 4*z + 1662 = 3*j - z. Let x = j - 314. Is x a multiple of 47?
True
Let j = -17 + 21. Suppose -4*t - j*h + 8 = -0, 3*t - 5*h - 6 = 0. Is 7 + t + 2 + 1 a multiple of 5?
False
Suppose 5*q - k - 13 = 0, 4*q - 3*k = k + 20. Does 25 divide ((-18150)/12)/(-11)*q?
True
Let v be (-3 + 3 - 5)*28/(-14). Suppose 0 = -7*w + v*w - 1344. Is 14 a factor of w?
True
Suppose -94*f + 124135 + 7997 = -42*f. Is 11 a factor of f?
True
Suppose -5*n = 4*j - 15540 - 8639, -5*j + 2*n = -30199. Is j a multiple of 76?
False
Suppose 60*j - 61*j = -182. Let h = -117 + j. Let u = h + -57. Does 4 divide u?
True
Suppose 11*l + 645 = 12*l. Suppose -5*p = 5*a - 2510, 2*a - p = 356 + l. Is 27 a factor of a?
False
Let o(h) be the third derivative of h**6/720 - h**5/40 - 5*h**4/8 - 13*h**2. Let l(c) be the second derivative of o(c). Is 3 a factor of l(6)?
True
Suppose -3*q - 103*g = -101*g - 23749, -4*g + 32 = 0. Is q a multiple of 13?
False
Let z(g) = 83*g + 15. Let x be z(-7). Let s = 917 + x. Does 13 divide s?
True
Let t(r) = -83*r**3 - 11*r**2 + 26*r + 91. Does 5 divide t(-3)?
True
Let d = 23 + -57. Let o = d - -34. Suppose o = 5*f - 251 - 499. Is f a multiple of 50?
True
Let l = 271 - 149. Let b(p) = p**2 - 3*p - 8. Let y be b(4). Does 7 divide (l/y)/(1/(-2))?
False
Let q = -464 + 471. Let m = q - -641. Is m a multiple of 36?
True
Let i = -296 + 301. Suppose 0 = 4*x + x - 3*h - 7614, 4*x - 6069 = -i*h. Is 26 a factor of x?
False
Let q be ((-1)/(-6)*8)/(5/15). Suppose -42 = -5*f + q*y + 35, -4*f + 40 = 4*y. Is 7 a factor of f?
False
Let g(z) = -182*z - 82. Let v be g(-11). Suppose 18*q - v = 13*q. Is 12 a factor of q?
True
Let g(f) = f**2 - 5*f - 3. Let d be g(-1). Suppose -2*i + 211 = d*z, -4*i + 2*z + 285 = -113. Is i a multiple of 18?
False
Suppose 20 + 28 = -4*y. Let s be y/((2/40)/((-4)/12)). Is s - (4/(-2) - -1) a multiple of 27?
True
Suppose k - 76 = -y, y - 8*k = -5*k + 80. Suppose -y*f + 84*f = 1071. Is f a multiple of 42?
False
Let v = 15 - 8. Suppose 3*p - 9*h = -v*h, -3*p = -h - 3. Is 41 a factor of 2/(2/(4 - p)) - -80?
True
Let d = 74 - 112. Suppose 55*l = -4*l + 3658. Let f = d + l. Does 8 divide f?
True
Suppose -13*v + 9*v + 68 = 0. Suppose v*b - 20*b + 48 = 0. Suppose 4*q - 5*o - 129 = 0, 5*o = -b - 9. Is q a multiple of 10?
False
Suppose 4*v - 66 = 5*l, 3*l + 5 - 11 = 0. Let z(a) = -5*a**2 - 40*a - 19. Let n(h) = 3*h**2 + 27*h + 13. Let b(y) = -8*n(y) - 5*z(y). Is b(v) a multiple of 16?
True
Suppose r = 3*r + 10, 4*x + 1068 = -4*r. Let w = 453 + x. Is w a multiple of 13?
False
Suppose 2*y + 8 = -32. Let h(l) = -l**3 - 21*l**2 - 27*l + 52. Is h(y) a multiple of 12?
True
Suppose 36 = 12*i - 3*i. Suppose 570 - 171 = i*d + w, 2*d = -3*w + 187. Is 15 a factor of d?
False
Suppose -4*v + 82*s = 84*s - 10662, -4*v = -s - 10665. Does 26 divide v?
False
Suppose 0 = -q + a + 28748, 4*q - q - 86204 = -5*a. Is 106 a factor of q?
False
Suppose -8*m - 564 = -12*m + 3*i, -2*i = 3*m - 440. Suppose 0*j + m = 3*x + 5*j, 2*x - j = 109. Is 4 a factor of x?
False
Let j = -9664 - -11924. Is 20 a factor of j?
True
Suppose -89*d = 72*d - 1266766 - 1452524. Does 30 divide d?
True
Suppose g = 5*r + 39423, 256*r = g + 258*r - 39444. Is g a multiple of 18?
True
Let v(u) be the third derivative of u**5/30 - u**4/12 + 5*u**3/2 - 441*u**2. Suppose 5*g + 6*w = w, 0 = -g + 4*w + 20. Is 7 a factor of v(g)?
False
Let q(t) be the first derivative of -t**4/2 + 10*t**3/3 - 4*t**2 + 10*t - 127. Does 10 divide q(4)?
True
Suppose -2*i + 3*g = 5*g - 26, 0 = 2*i - 2*g - 30. Suppose 0 = 3*k + i - 5, 5*k = 5*h. Let d(o) = -2*o**3 - 3*o**2 + o + 4. Is 7 a factor of d(h)?
True
Let k(q) = q**3 - 24*q**2 + 27*q + 16. Let p(a) = a**2 + 56*a + 131. Let n be p(-54). Is 27 a factor of k(n)?
True
Suppose 5786 = 10*q - 4475 - 1359. Is q a multiple of 83?
True
Let f(x) = 9*x**3 + 38*x**2 + 15*x + 27. Is 20 a factor of f(10)?
False
Let l = 2822 + 3410. Is l a multiple of 11?
False
Let k(l) = -5*l**3 - 14*l**2 + 84*l + 688. Is 4 a factor of k(-11)?
False
Let j = 1529 + 8390. Does 7 divide j?
True
Suppose -t - 2*j = -58, -4*j - 15 = 3*t - 187. Let n be t/20 + (-2)/(-10). Suppose -n*u = -13 - 2, -b - u + 108 = 0. Does 12 divide b?
False
Suppose 0 = -a + 7, 4*k = -2064*a + 2060*a + 49120. Does 34 divide k?
False
Let t = 982 + -334. Does 72 divide t?
True
Suppose -5*w - 191 = -0*w - 4*v, 0 = -3*w - 3*v - 93. Let g(h) = h**2 + 8*h - 104. Is g(w) a multiple of 29?
True
Let v = -66 - -68. Let j be 0 + 4 - ((-50)/v + 1). Let s = j + -18. Does 2 divide s?
True
Suppose 0 = -4*x, -3*v - 10*x = -14*x + 9. Let y(m) = -2*m**3 - 4*m**2 - m - 3. Is 9 a factor of y(v)?
True
Suppose 106356 = 3*j + l, 24*j - 20*j + 2*l - 141812 = 0. Is j