92)/(-24) + (-5)/30. Suppose 1433 = 15*i - s. Is i a multiple of 64?
True
Let n = 66 - 53. Let f be ((-2)/(-4))/(n/(-26)). Is 23 a factor of (4/4)/(f/(-43))?
False
Suppose -233 = 33*i - 1190. Suppose -i*z = -3*z - 16926. Is 21 a factor of z?
True
Let v be (-12)/48 + (-279)/4. Let r = -70 - v. Does 15 divide (4/(-8) - r)*-180?
True
Is 15 a factor of (21 - (-10619315)/665) + 4/38?
True
Let u(r) = -4*r + 40. Let n be u(19). Let x = n - -39. Suppose -x*p - 120 = -5*p. Is p a multiple of 6?
True
Let a = 441 - 302. Suppose 5*t + 2*g = 627, -g - a = -t + 2*g. Is 12 a factor of t?
False
Suppose -115*q = -281*q + 3024520. Is 98 a factor of q?
False
Let c = 37 - 37. Suppose c = m + 4 - 5. Is ((-54)/7)/(m/(-7)) a multiple of 9?
True
Suppose -6*f - 22874 + 61120 = -14872. Is f a multiple of 13?
True
Suppose 0 = 69*i - 59*i - 26248 - 17052. Is i a multiple of 58?
False
Suppose -u = 8*u - 180. Suppose 0 = 2*s + 2*p + p - 16, 0 = 3*s - p - 13. Suppose 3*h - 5*k + u = s*h, 2*h + 3*k = 16. Is 3 a factor of h?
False
Let n = 2715 + 725. Is n a multiple of 8?
True
Let g(u) = u**2 + 17*u - 55. Let r = 43 + -61. Let b be g(r). Let z = 1 - b. Is 38 a factor of z?
True
Is 48 a factor of 4 + 6*(-14)/7 - -2264?
True
Suppose -2*n - 12 = -2*k - 2*k, 4*n = 2*k. Does 10 divide (-919)/(-8)*n - (-4)/16?
True
Let t(b) = 7*b**2 + b**3 - 6*b - b + 2 + 2. Let u be t(-10). Let q = 371 + u. Does 32 divide q?
False
Let i be ((-7)/((-7)/(-8)))/(18/(-873)). Suppose j + 4*w - i = 83, -3*j + 1374 = -w. Is 17 a factor of j?
True
Let j be (-28)/(-56) + 1/(-2). Suppose p - 2 = -0*p. Suppose j = p*l - 3*g - 349, -g + 0*g - 343 = -2*l. Is l a multiple of 46?
False
Let v be ((-489)/12 + -2)*-20. Suppose -5*t = 2*x - 763 - 107, 5*x - v = -5*t. Does 21 divide t?
False
Let r be (-4 + -53)/(-3)*1. Suppose r*p - 23*p + 8 = 0. Is 12/(-7 + 6 + 3/p) a multiple of 9?
False
Let x(a) be the first derivative of a**4/4 + 17*a**3/3 - 11*a**2/2 + 14*a + 168. Is x(-9) a multiple of 23?
False
Let t = -9 - -12. Let x be 3/(-9) + 25/t. Let k = 55 + x. Is k a multiple of 9?
True
Is 1454 - ((0/9)/13 - (0 - -2)) a multiple of 28?
True
Let l(k) = 2*k**2 - 6*k - 2. Suppose 0 = -4*u + 1 - 25. Let w be ((-2)/(-3))/((-600)/99 - u). Does 18 divide l(w)?
True
Suppose -8029*i - 203476 = -8057*i. Is i a multiple of 14?
False
Does 222 divide ((-2294)/(-5))/(-17 - (-7154)/420)?
True
Let a = -210 + 439. Suppose 727 + a = 4*o. Suppose -3*f + 84 = t, -6*t = -3*t - 4*f - o. Does 9 divide t?
True
Let a be -86 + (-1 - (-2)/1). Let k = a + 245. Is k a multiple of 5?
True
Suppose -5*c - 10*d = -15*d - 43225, 4*d = -3*c + 25921. Does 33 divide c?
False
Let q(g) = 9*g - 6*g + 9 - 2*g**2 + 0*g**2 + 22*g. Let c be q(12). Is 16 a factor of (-7)/(c/(-64))*(1 + 2)?
True
Suppose -211*r - 3025212 = -7021007 - 9718994. Is r a multiple of 9?
False
Suppose -7*n + 0 = -14. Suppose -c + 199 = 2*z, -3*c - n*c - 405 = -4*z. Is z a multiple of 47?
False
Let b(f) = -22*f + f + 170 - f**2 + 3*f**2. Is b(9) a multiple of 6?
False
Let k = -4317 + 21565. Is k a multiple of 56?
True
Suppose a = 5 - 50. Let o be (-5)/(5/a*-1). Does 19 divide (30/25)/((-1)/o) + 3?
True
Let o(g) = -6*g - 17. Suppose 0 = -4*b - r - 18 + 62, 5*b - 42 = 2*r. Suppose 0 = d + b - 4. Is 3 a factor of o(d)?
False
Let o be (-15)/(-12)*(0 - 4). Is (o/10 + -1)*1*-116 a multiple of 16?
False
Let j(n) = -3*n - 14. Let z be j(-4). Let l(h) = -33*h**3 + h**2 + 5*h + 2. Is 26 a factor of l(z)?
True
Suppose 128493 + 102839 = 34*d + 3770. Is d a multiple of 42?
False
Let b(i) be the third derivative of i**5/60 - 3*i**4/8 - 2*i**3 + 15*i**2. Let s be b(8). Does 17 divide (-8)/s - (-746)/10?
False
Suppose 11*k - 140 = 6*k. Let j = k + -27. Does 3 divide -3 + 2/j - -4?
True
Let d be -2 + 8/((-6)/(-3)). Suppose 4 = p, -d*l + p - 3668 = -6*l. Let u = l - 593. Is u a multiple of 54?
False
Let a(s) = 6*s**2 + 24*s - 2136. Is a(-57) a multiple of 123?
True
Suppose 7*r + 4 = 3*r, 2*q + 3*r = -12899. Is (-18)/27 - q/24 a multiple of 16?
False
Let o = 48 - 42. Let q(k) = 25*k - 22. Let s be q(o). Is 22 a factor of s - 1/2*-8?
True
Suppose -4*y + 4 = 0, 2*d - 22 = -3*y + 7*y. Is 30 a factor of (-100 - (-7 + -3))*d/(-3)?
True
Let d = -325 + 20. Let p = 149 - d. Does 16 divide p?
False
Suppose 146 + 39 = 5*z. Let t = -4 + -10. Let c = t + z. Is c a multiple of 3?
False
Let t be ((-471)/(-2))/1 - 9/6. Suppose -13*w = -t - 1157. Let r = w + -61. Does 23 divide r?
True
Suppose -65 = -4*l - 209. Let b be (-98)/28*(-1790)/45 + (-4)/18. Let f = b - l. Is 35 a factor of f?
True
Let c = -308 - 1028. Let x = c + 2616. Suppose 7*y - 3*y - x = 0. Is y a multiple of 16?
True
Let r be (1 - 1)*(22/4 - 5). Suppose 0 = -4*h + 4*x + 1828, -2*h + r*h = -5*x - 914. Is h a multiple of 72?
False
Let n(u) = 6*u**2 + 2*u - 9. Let j = 67 - 63. Let t be n(j). Let y = 229 - t. Does 52 divide y?
False
Let g be (-20)/(-6)*-2*(-9)/5. Is 6 a factor of (-6)/(-5)*(4 + 1792/g)?
False
Does 48 divide 124/(-6)*(1961/(-2) + -2)?
False
Suppose 3*d = 4*w + 35, 0*w - 25 = -3*d + 2*w. Does 34 divide (2/d)/((-15)/(-7650))?
True
Suppose 8*m + 491264 = 109*m. Is m a multiple of 26?
False
Let c(t) be the third derivative of t**6/20 - t**5/15 + t**4/8 - t**3/3 - 2*t**2. Let b(w) = -8*w - 22. Let l be b(-3). Is 9 a factor of c(l)?
True
Suppose 0 = 8*d - 62414 - 87707 + 40777. Is d a multiple of 17?
True
Suppose 0 = 2*b + r - 203 - 9, 5*r = 0. Is b*1 - (19 + -17) a multiple of 8?
True
Let d be (-140)/(-21)*(-6)/(-20)*6. Suppose 2*n + 34 = 5*c + 577, 0 = -4*c - d. Does 7 divide n?
False
Let i = 79 + -30. Let m = i - -84. Does 49 divide m?
False
Let u(b) = 7281*b**3 - b. Is 61 a factor of u(1)?
False
Let f be (116/18 - 2/(-9))/((-27)/(-567)). Suppose 0 = -4*d + 2 + 10. Does 12 divide 7/(f/3375) - d/(-12)?
False
Suppose 0 = 2*k + d - 163, -44*k + d - 331 = -48*k. Suppose 23 = -3*w - 5*a - 2, -3*w = 3*a + 21. Does 31 divide w*k/(5 + -9)?
False
Suppose -4*h + 148 = -2*n, -2*h = n - h + 74. Let o = 76 + n. Is 202/o - (-4 + 0) a multiple of 15?
True
Let z be 2*9615/20*2/(-3). Let p = -224 - z. Is p a multiple of 22?
False
Suppose 2*q + 2*q - 5*u + 100 = 0, -116 = 5*q - 4*u. Let s = 24 + q. Suppose -38 = -2*m - s*d + 34, 30 = m + 5*d. Is m a multiple of 9?
False
Suppose -17*t + 8 = -25*t. Is 5 a factor of 171/(t - -4) - 7?
True
Let t = -32 - -28. Let y be 712/14 - t/(24 + 4). Suppose 0 = -3*z + 3*l + y, 0 = -5*z - 4*l - l + 115. Is z a multiple of 10?
True
Suppose -109*q + 2450 = -208574. Is 4 a factor of q?
True
Let v(s) = s**2 - 11*s - 29. Let u be v(15). Suppose 139 = d - u. Is d a multiple of 37?
False
Let a(c) = c**3 + 9*c**2 + 5*c - 22. Let f be a(-8). Does 11 divide 7/((-49)/f)*-826?
False
Let n = -13199 + 5087. Does 8 divide (n/(195/(-15)))/((-3)/(-2))?
True
Let z(n) = 4*n**2 - 14*n + 54. Let t be z(11). Suppose 23*g + t = 31*g. Is 24 a factor of g?
True
Suppose 135 = 7*q + 2. Suppose -q*n = -14*n - 715. Is n a multiple of 29?
False
Let q = -399 + 55. Let a = 1117 + -1274. Let p = a - q. Is p a multiple of 30?
False
Let s(p) = -p**2 + 138*p + 624. Is s(45) a multiple of 109?
False
Let n be 5328/64*8/6. Let b = 859 - n. Does 34 divide b?
True
Let f = -12776 - -18391. Suppose -5*a + f = -5*p, 3*a - p - 1971 = 1394. Is 19 a factor of a?
True
Suppose -4*h = 3*c - 692, 2*h = 5*c - 6*c + 348. Does 6 divide h?
False
Let d = -219 - -222. Suppose 4*a = 4*y + 272, -4*y + 322 = -d*a + 8*a. Is a a multiple of 15?
False
Let x = -920 - -2950. Does 68 divide x?
False
Suppose -5*c + 2*d - 1049 = 0, -3*c + 835 = -7*c + 3*d. Let z = c - -370. Is 6 a factor of z?
False
Suppose 0 = 29*u - 91 + 33. Is 6 a factor of (35/(-15) + u)/((-2)/216)?
True
Does 46 divide 10687/((154/35 - 4) + (-9)/(-15))?
False
Let h = 4451 - -19. Is h a multiple of 15?
True
Suppose 6820 = 2*d + 3*d. Suppose 6*n + d = -232. Let u = n + 410. Is 29 a factor of u?
False
Let d be 4 + 78/(-90) - (-4)/(-30). Suppose -d*p = 2*p - 175. Is 3 a factor of p?
False
Let z be (32/(-64))/(2/(-2132)). Suppose -3*w + z = 4*d - 721, 2*w = -d + 831. Is 46 a factor of w?
True
Suppose -20*d - 10*d + 70928 = d. Is 26 a factor of d?
True
Suppose -6 = -i - 3*v + 9, -25 = 5*v. Suppose 33*k + 14 = 3*t + 32*k, 2*t - 2 = -3*k. Suppose 0 = -4*n - 20 - 0, t*n = -5*b + i. Does 2 divide b?
True
Let n(o) = -20*o + 29. Let k b