iple of 14?
False
Is 15 a factor of (-486)/((-23)/(11500/40))?
True
Let v(p) = -70*p - 60. Let j be v(6). Let h = j + 825. Does 54 divide h?
False
Let c(y) = 8*y**2 - y + 2. Let h = 38 + -18. Suppose 7*u - 2*u = -3*j - 9, h = 4*j - 4*u. Is c(j) a multiple of 8?
True
Suppose 32*t + 632 + 648 = 0. Suppose -3*j + 28 = 3*u + 4, 0 = -j + 4*u + 3. Is j/((-6)/(-10) + 16/t) a multiple of 5?
True
Let k(f) = -53 + 59 + 2*f**2 + 15*f + 12*f. Does 54 divide k(-18)?
False
Suppose -4*r - 1348 = 4*v - 11780, 0 = 5*v - 5*r - 13110. Does 5 divide v?
True
Let r be 14 - (7 - 3) - 93. Suppose 5*k + 155 = -0*k. Let i = k - r. Is i a multiple of 22?
False
Let x(s) = 3451*s - 5637. Is x(7) a multiple of 20?
True
Suppose -4*r - 10*r + 1568 = 0. Suppose 0 = -121*a + r*a + 5148. Is 26 a factor of a?
True
Let b = -10309 - -39205. Is 42 a factor of b?
True
Let y be (7 - (-272)/(-40)) + 82/(-10). Does 22 divide (-6 - y/2) + (1 - -115)?
False
Suppose -14 - 262 = -12*n. Let f = n + 10. Does 3 divide f?
True
Let p(y) = 8*y**2 + 81*y - 508. Does 38 divide p(6)?
True
Is 59 a factor of (-935011)/(-22) - 78/52?
False
Let t = 50 - 51. Is -1 - 2*(t + (-378)/4) a multiple of 19?
True
Let u(z) = z**2 + 19*z + 15. Let k be ((-2)/3)/((-20)/(-390)). Let y be u(k). Let h = -44 - y. Is h a multiple of 19?
True
Let a = 22 - 18. Let d be 39 - -2*(0 + (-6)/a). Let w = d + -27. Is w a multiple of 3?
True
Suppose 0 = 2*h + m - 13, -5*h - m = -h - 21. Suppose h*p - 5*p = 3*d - 983, 981 = p + 4*d. Is 64 a factor of p?
False
Suppose 0 = 216*i - 212*i + 140. Let l be 2/(-10) + 36/5. Is 13/(-1)*i/l a multiple of 13?
True
Let t be 24 - (-18)/12*4/(-3). Let c = t - 98. Let i = -5 - c. Is i a multiple of 11?
False
Suppose -2*w = 17*d - 12*d - 96972, -3*w + 96978 = 5*d. Is d a multiple of 64?
True
Let u(v) = -3*v + 1. Let a be u(3). Let t be ((a/6)/2)/((-2)/9). Suppose -15 = -3*r + t*s + 39, -5*r + 120 = s. Does 5 divide r?
False
Let i(q) = 2507*q**2 + 376*q + 1121. Is i(-3) a multiple of 27?
False
Let i be (-378)/9 - 2/(-4)*-6. Let o(r) = 3*r + 19. Let k be o(-5). Is 4 a factor of (-1 - i/k) + 27/36?
False
Let b be 1/((-1)/(1 + 4)). Let h(p) = 5*p**2 - 12*p - 9. Let a be h(b). Let z = a + -92. Is z a multiple of 14?
True
Suppose -97*f - 92*f + 71*f + 1768584 = 0. Is f a multiple of 30?
False
Let v(q) = 294*q + 290*q - 120 - 565*q. Is 7 a factor of v(21)?
False
Let o = 4950 - 2388. Does 122 divide o?
True
Let v = -592 + 991. Suppose -3*d + 5*d - 3*n - v = 0, -5*n = -d + 189. Is d a multiple of 8?
False
Suppose -40*q - 1290 = 3*q. Let h(t) = -t**3 - 27*t**2 + 36*t - 18. Is 18 a factor of h(q)?
True
Let z(b) = -3*b**3 - 9*b**2 + 12*b - 1. Let q be z(-5). Let a be (5/(-3))/(2/(-6)). Suppose 2*k - q = 5*s, -a*s = -3*k + 5*k - 119. Is 14 a factor of k?
False
Let l(z) be the third derivative of -z**7/2520 - z**6/720 - 19*z**5/60 - 4*z**2. Let v(h) be the third derivative of l(h). Is v(-11) a multiple of 4?
False
Let k be ((-5)/4)/((-7)/(51 + 5)). Suppose -k*s + 2630 = -2720. Is 37 a factor of s?
False
Suppose -3*p + 6 = -16*g + 15*g, 5*p = -3*g + 10. Suppose -q - h + 177 = -115, -881 = -3*q - p*h. Is q a multiple of 11?
True
Let f = -3576 - -7163. Is f a multiple of 101?
False
Let f(d) = 41*d + 39*d + 224 + 6*d. Is f(8) a multiple of 12?
True
Let b(y) = 134*y**3 + 7*y**2 - 12*y + 18. Is 26 a factor of b(4)?
True
Suppose 3*a = i - 16128, -37*i + 38*i - 2*a - 16132 = 0. Does 16 divide i?
False
Suppose 1 = -20*c + 19*c. Let g be 4 + (3 - (c + 3)). Suppose 0 = g*t - 4*f - 616, 5*t - 7*f = -2*f + 620. Is 8 a factor of t?
True
Suppose -j - 2*x + 1218 = -3*j, 2*x = 5*j + 3030. Let d = j + 1241. Is d a multiple of 13?
True
Let u be (3/(-2))/(-15 + (-1176)/(-80)). Suppose -u*y - 4770 = -5*p, -5*p + 3238 + 1535 = -4*y. Does 87 divide p?
True
Let a = 281 + -290. Let b(m) = m**3 + 10*m**2 - 14*m - 1. Is b(a) a multiple of 13?
False
Suppose -3 = -s + 5*h, 2*s = 2*h - 4*h - 30. Let r be (18/12)/(s/(-80)). Suppose r*u = -95 + 1845. Is 35 a factor of u?
True
Let g(c) = -3*c**3 + 8*c**2 + 2*c - 18. Let u(z) = z**3 + z**2 - z + 1. Let i(b) = g(b) + 4*u(b). Let d be i(-12). Let r = d - -107. Is 15 a factor of r?
False
Let a = 88 + 10. Suppose s - 80 = 3*r, 4*s + 3*r - a - 207 = 0. Does 52 divide s?
False
Let f(b) = -b**3 + 9*b**2 - b - 1. Let n(o) = o**2 + o. Let u(k) = -f(k) + 4*n(k). Let m be u(4). Suppose 12 - 2 = -5*y, 4*v - m*y - 178 = 0. Does 14 divide v?
True
Let d be 4*4149/36*-1. Let j = d - -485. Is 10 a factor of j?
False
Let k(o) = 576 - 6*o - 7*o - 10*o - 442. Is 11 a factor of k(-10)?
False
Let b(j) = 1769*j**2 - 58*j - 236. Is b(-4) a multiple of 100?
True
Let i(v) = -135*v**3 + 3*v**2 - 11*v - 20. Is 17 a factor of i(-2)?
False
Let m be (-20)/15*-3 - -7*5. Let q(o) = -144*o + 75*o + 82*o - m. Is 13 a factor of q(12)?
True
Suppose -2*m - 3*q - 2*q + 41 = 0, -5*m + q + 89 = 0. Let w be 23*4 - (4 + -4 + 2). Let j = w - m. Does 18 divide j?
True
Does 51 divide (1/(-2))/((-1)/(-24)) - -4908?
True
Suppose -639 = -4*q + p, 321 = 2*q + 61*p - 62*p. Suppose -435 = -5*r + 4*m, -3*r + 241 = 3*m + 7. Let a = q + r. Does 36 divide a?
False
Let f = -8294 + 14993. Is f a multiple of 21?
True
Let d(w) = 95*w**2 - 47*w - 393. Is 37 a factor of d(-17)?
True
Suppose 0 = 36*x - 4*x - 105094 - 40858. Does 69 divide x?
False
Let w(k) = 6*k**2 + 4*k - 1. Let z be w(5). Suppose 2*x - 4*d - z = -33, 0 = 5*d + 25. Suppose 2*s - 66 = -x. Is 3 a factor of s?
False
Let o(h) = -7*h**3 - 24*h**2 - 16*h. Is 136 a factor of o(-10)?
True
Let g(k) = 5*k**2 - 13*k - 28. Suppose -54*c = -50*c + 36. Does 38 divide g(c)?
True
Let n = 156 - 39. Let k = -109 + n. Suppose -203 = -k*x + 285. Does 18 divide x?
False
Let l(u) = u**3 + 4*u**2 + 9*u + 3. Let g be l(-3). Let d be 126/g - -8 - (-38)/(-5). Is (d - -2)/(-1) - (-2 - 0) a multiple of 4?
True
Suppose -2*p = 2*k, 0 = 2*k + 3*p + 2. Suppose 6*w = -k*w + 1312. Does 4 divide w?
True
Suppose -3*i - 4*l - 2465 = 0, -i - 14*l - 819 = -12*l. Let x = -6 - i. Does 11 divide x?
False
Suppose -4*b = 8 - 56. Let m(g) be the first derivative of 9*g**2/2 - 3*g + 3. Is 35 a factor of m(b)?
True
Let x = -2052 - -9221. Is x a multiple of 17?
False
Let a be (-2 - -4)/((-2)/47). Let y(j) = -j**2 - 54*j - 172. Let r be y(-49). Let u = r - a. Is 24 a factor of u?
True
Suppose 0 = -s + 2*t + 12, -30*t + 33*t = s - 13. Suppose -941 + 11 = -s*w. Is w a multiple of 19?
False
Let x = -2424 + 4153. Does 19 divide x?
True
Suppose 4*t - 2*z = 46, t - 3*z = -z + 10. Let c(b) = 25*b + 25. Is 21 a factor of c(t)?
False
Suppose -4*k - 3*b + 1 = -4, -4*k + 3*b = -11. Is (8/(-24))/(k + 2491/(-1245)) a multiple of 23?
False
Let m = 14118 - 12537. Is m a multiple of 3?
True
Let o(u) = -101*u - 2*u + 2*u + 15*u + 60. Does 12 divide o(-6)?
True
Suppose -2 = -s, -3*l + 2*s + 855 = 2629. Is (-87)/18 - (-5)/(-30) - l a multiple of 13?
True
Let t(p) = -p**3 - 9*p**2 - 19*p - 68. Let w = 826 - 839. Is 45 a factor of t(w)?
True
Suppose 22207 - 43516 = -23*g + 46265. Is g a multiple of 76?
False
Suppose -2*y + 6 = 2. Let j be 1*(-33 + y - 0). Let c = j - -38. Is 7 a factor of c?
True
Suppose 0 = 7*n - 8*n + 3*p, -4*p + 32 = 4*n. Is 10370/102 + 2/n a multiple of 6?
True
Suppose 5786*m - 5808*m = -1672. Let r = 124 - 88. Let q = m - r. Is q a multiple of 8?
True
Let t be -55 + 61 + 4 + -1. Suppose -4060 = 2*c - t*c. Is 29 a factor of c?
True
Let u(h) = 58*h - 133. Let c be u(16). Suppose -309*q + c = -306*q. Does 14 divide q?
False
Let i be ((-1326)/(-3) - -6)*(-21)/(-1). Is ((3/(-2))/3)/((-49)/i) a multiple of 4?
True
Suppose 44 = -18*k + 188. Suppose u = k*u - 350. Does 25 divide u?
True
Let g = -532 - -770. Suppose -g = -q + 213. Suppose 5*y = 8*s - 5*s - q, -5*s - 4*y + 764 = 0. Is 38 a factor of s?
True
Let a(m) = 91*m + 20. Suppose -3*q - 56 = 5*n - 75, -q + 2*n = -10. Does 34 divide a(q)?
True
Let g(h) = 2*h**2 - 8*h + 8. Let z be g(2). Suppose -229 = -w - z*w. Does 21 divide w?
False
Let l = 182 - -88. Suppose -f = -3*k - 200, -4*k - l = -f - f. Let s = -27 - k. Does 19 divide s?
True
Let r(n) = -7*n - 135 + 2*n + 0 - 6. Does 13 divide r(-36)?
True
Suppose 2*t - 6048 - 3772 = -2*h, h = -2*t + 4907. Suppose -2*m - 2*i + 2772 = 804, 5*m = 2*i + h. Is 86 a factor of m?
False
Suppose 0 = -w - 4*n + 7*n + 93, 0 = -2*w - 3*n + 141. Let b