8084 + 9688 - 78059 = -5*i. Is i a multiple of 9?
True
Suppose -35*a + g = -30*a - 36766, -a + 7356 = -3*g. Is a a multiple of 10?
False
Let f be ((-29)/(-5))/((-2)/(-30)). Let k = f - 73. Is 2 a factor of k?
True
Let u = -8411 - -13763. Is 16 a factor of u?
False
Suppose -2*p - 225 = 3*h + 277, -3*h + 4*p - 526 = 0. Let y = 81 + 239. Let i = y + h. Is 10 a factor of i?
True
Let m(f) = 25*f**2 - 3*f - 3. Let l be m(-1). Let b = 31 - l. Suppose -b*o + 90 = 5*v - o, 2*v + 3*o = 37. Is 5 a factor of v?
False
Suppose 0 = -5*v + 2*p, -4*v - p = -3*p. Suppose -3*n + 282 = 4*s, v*s - 4*n = -3*s + 224. Is 3 a factor of s?
True
Let p(x) = 87*x - 1061. Does 22 divide p(54)?
False
Let h be 8/64*-4*(-5 + -1). Suppose h*l - 5*q + 1376 - 4925 = 0, 0 = -l - 4*q + 1200. Is 99 a factor of l?
True
Let v(u) be the first derivative of -11*u**2/2 - 91*u + 18. Let b(q) = q. Let l(o) = -5*b(o) - v(o). Is 26 a factor of l(0)?
False
Suppose 6978 - 63622 = -14*c. Is c a multiple of 31?
False
Let k = -342 + 347. Suppose h + 43 = -3*y + k*y, -5*h - 95 = -5*y. Is 10 a factor of y?
False
Let s = -22 + -88. Let m = -360 - s. Let x = 406 + m. Is x a multiple of 13?
True
Let r(j) = 10*j - 14. Let z be r(-7). Let h = 207 - z. Does 10 divide h?
False
Let s be (175 + 3)*(-280)/(-16). Does 9 divide (96/(-40))/((-14)/s)?
False
Let j = -1114 + 1609. Is j a multiple of 45?
True
Let h = -4 + 5. Suppose h = -2*g + 11. Suppose g*i - 24*i + 2223 = 0. Does 39 divide i?
True
Let n = 32 - 32. Suppose -7*q + 235 + 1228 = n. Is q a multiple of 9?
False
Let g(i) = -9*i + 21. Let w be g(11). Let x = 89 + w. Is 125 - x - (0 - -4) a multiple of 25?
False
Does 13 divide -25 - (-6034 + (-21 - 2))?
True
Let v(a) = -22*a**3 - a**2 + 7*a - 13. Let k be v(2). Let j = k - -203. Is 3 a factor of j?
True
Suppose 4*v = 3*s + 1318, 253 = v - 2*s - 74. Let a = 15 + -11. Suppose -173 = -a*j + v. Is j a multiple of 17?
False
Suppose 5*c + 5 = -5*y, y + 17 = 5*c - 14. Is 18 a factor of (-40)/(-120) + (-1186)/y?
True
Suppose -5*d + 452 = -3*r, 4*r = -3*d + 274 - 26. Suppose 2*f + 4 = j, -4*j - 8 = -0*j. Is (-3*(f + 2) - 1) + d a multiple of 45?
True
Let k = -12 + 14. Suppose -4*o + 45 = n, 0 = k*o - 6*n + 2*n - 36. Suppose -m = o*m - 585. Is 15 a factor of m?
True
Let y be (2/2)/((-4)/(-120)). Suppose 165 = y*v - 33*v. Let k = 64 + v. Does 7 divide k?
False
Suppose y + 83799 = 4*p, -4*p - 28*y = -33*y - 83811. Does 19 divide p?
False
Let v(f) = -f**3 - 19*f**2 + 121*f + 20. Let t be v(-24). Is (t + (-123)/(-9))*48 a multiple of 16?
True
Does 9 divide (-864)/(-360)*112215/12?
False
Let t be 6/8*((-182)/(-6) + 15). Suppose -2270 = -t*o + 11602. Is 23 a factor of o?
False
Let g(y) = 2*y**3 + 3*y**2 - 2*y + 137. Does 35 divide g(16)?
True
Let y = 2385 - -1490. Does 49 divide y?
False
Let b be (6 + -8)*1*-3. Let m be 2 + (b - (0 - 2)). Suppose -8*y + m*y - 80 = 0. Is y a multiple of 11?
False
Let u(k) be the second derivative of -37*k**3/6 - k**2/2 + 2*k + 37. Is u(-7) a multiple of 45?
False
Suppose -17*w - 2*w - 6960 = -103404. Is 38 a factor of w?
False
Let l be (0 - 4) + (-64)/(-8). Let q be 342/(-7) + l/(-28). Let d = 104 + q. Is 12 a factor of d?
False
Let y = -19 + 37. Let b be (-390)/y*(-2 - -5). Let j = b + 86. Does 3 divide j?
True
Let s = 78 - 75. Suppose -5*q = -s*q + 5*i - 146, i = -q + 67. Does 14 divide q?
False
Suppose 4*i = a + 8, 2*i - 2 - 2 = -4*a. Suppose 8*t - 98 - 142 = a. Is t a multiple of 5?
True
Let z = 8569 + -5375. Does 29 divide z?
False
Does 4 divide ((-66)/7 - -10)/((-10)/(-1855))?
False
Suppose -15*t - 1909830 = -74*t - 24*t. Does 19 divide t?
False
Suppose 0*j - j = -4. Suppose -k = 4*r - 4, 0 = -5*k - j*r - 3 - 9. Does 15 divide (-296)/(-10) + (-154)/(-35) + k?
True
Let t = -17 + 26. Suppose 10*n - t = n. Is n/(-3)*558/(-6) a multiple of 31?
True
Let j(v) = v + 2. Let x be j(4). Suppose 8*y + 30 - 1622 = 0. Suppose -y = x*d - 1663. Is 61 a factor of d?
True
Let q = -3419 + 2105. Let t = 1934 + q. Is t a multiple of 9?
False
Suppose 21*m = 5*m + 3024. Suppose -193*h = -m*h - 3276. Is h a multiple of 29?
False
Suppose -2*n + 1 = 5*f, 0*n + n = 3*f + 6. Let k be 14/(-28)*f/(1/94). Suppose 8 - k = -3*t. Is t a multiple of 4?
False
Let n = -5170 - -9295. Is 33 a factor of n?
True
Let g be (3/(-2))/((-5)/5490). Let t = g - 1151. Does 62 divide t?
True
Let o(p) = 229*p**2 + 65*p - 289. Does 86 divide o(4)?
False
Let i = -1287 + 2485. Suppose 5*m + 2*o = 2*m + i, -4*m = 4*o - 1600. Let l = m - 68. Is 55 a factor of l?
True
Let j be (-7 + 4 - -5)*(-113)/(-2). Suppose 3*n - 5*g = 119, 0 = 4*n - 7*n - g + j. Is n a multiple of 2?
True
Suppose 0 = 3*k + a - 4410, -5*a - 406 + 6264 = 4*k. Is k a multiple of 23?
True
Let p = 169 - 141. Let i(x) = -135*x**3 - 3*x - 2. Let u be i(-1). Suppose -3*c - p + u = 0. Is 9 a factor of c?
True
Is (10660/(-7))/(-41 - (-4290)/105) a multiple of 52?
True
Let q be (49 + 8)*2/((-2)/(-35)). Suppose -456 = 9*m - q. Let o = m + -99. Is 8 a factor of o?
True
Let p = 31 - 26. Suppose 4*t - 2 = -p*z + 5, -2*z + 4*t + 14 = 0. Is 4 a factor of -51*(-1)/z*1?
False
Suppose 0 = -4*n + 33 - 61. Let u be (-29)/n + 18/(-126). Suppose 2*i = 2*a + 18, u*a + 0*a - 27 = -3*i. Is 2 a factor of i?
False
Suppose 66*m + 372 + 2070 = 0. Let z be (-1142)/6 + 2/6. Let w = m - z. Does 18 divide w?
False
Let d(n) = -2*n**3 - 24*n**2 - 22*n - 12. Let x(r) = r**2 - 22*r + 105. Let z be x(13). Is d(z) a multiple of 16?
False
Let t = -70 + 72. Let g(y) = -54*y**t - 14*y + 47 + 114*y**2 - 61*y**2. Does 15 divide g(-16)?
True
Let v(g) = -g**2 + 4*g + 6. Let s be v(4). Suppose 0 = s*m - 7*m + 7. Is 120/14 + ((-6)/m)/(-2) a multiple of 9?
True
Let l = 6984 - 2446. Is l a multiple of 61?
False
Suppose b + d + 2 - 3 = 0, -3*b = -2*d - 18. Let r be 2/23 + 3563915/4278 - 2/12. Suppose j + 664 = b*l + 5*j, -5*l = 2*j - r. Is 13 a factor of l?
False
Let c = -809 + 10634. Does 131 divide c?
True
Suppose -4*p - 6 = -p. Let g be 161/35 + p/(-5). Suppose 2*x - 257 = -2*x - 5*w, -g*x = -5*w - 355. Does 17 divide x?
True
Suppose 407 = -5*z - 183. Let n be 16*-1*58/4. Let h = z - n. Is h a multiple of 38?
True
Let m be ((-6)/(-9))/((-6)/(-27)). Suppose 3*z + m*z + 114 = 0. Let y(g) = -g**3 - 20*g**2 - 25*g. Is y(z) a multiple of 38?
True
Let r be 3/6 - 118/4. Let d = r - -95. Does 33 divide d?
True
Let b(k) = -k**2 - 11*k - 18. Let c(m) = -4*m + 11. Let t be c(5). Let v be b(t). Suppose 2*s - 192 = -v*s. Is 16 a factor of s?
True
Let b(i) = -i + 235. Let q be (-467)/(-9) - (-5)/45. Is 2 a factor of b(q)?
False
Suppose 8*n = 9370 - 2346. Let h(t) = n - 870 - 6*t**2 + 4*t**3 - 3*t**3 + 2*t. Does 4 divide h(6)?
True
Suppose a = 0, -3*p + 37*a = 42*a - 29298. Does 16 divide p?
False
Let w(g) = 33*g**2 - 41*g - 16. Is 6 a factor of w(-5)?
True
Let h = -469 - -691. Let y = h - 93. Suppose 4*r - y - 27 = -3*b, 3*r - 4*b = 142. Is r a multiple of 12?
False
Let c = 96 - 94. Suppose -p = c*x - 463, -x - 26 = 2*p - 250. Is x a multiple of 25?
False
Suppose -334174 - 44066 = -30*x. Is 8 a factor of x?
True
Let z be (-1 + 12/8)*0. Suppose -6*s - 21 - 219 = z. Is (s/3)/(8/(-84)) a multiple of 35?
True
Suppose o - 6810 = -2*n, -4*n - o + 11041 = -2575. Is n a multiple of 55?
False
Suppose 0 = -370*p + 2783789 + 5224529 + 1426682. Is 51 a factor of p?
True
Let w = 24594 + -15894. Is w a multiple of 15?
True
Suppose u - 292 = 48. Let n = u + -42. Is n a multiple of 43?
False
Suppose 4*n - 17*d - 39 = -12*d, 5*d - 27 = -2*n. Is n a multiple of 5?
False
Let h(q) = 43*q - 6. Let y(d) = 2*d + 37. Let t be y(-11). Suppose 2 = 17*c - t. Is h(c) a multiple of 6?
False
Suppose -79*v - 32 = -87*v. Is 1086/v + 5 + (-1)/(-2) a multiple of 35?
False
Let h(s) = -10*s + 86. Let a(x) = -x. Let r(w) = -8*a(w) + h(w). Is 53 a factor of r(0)?
False
Let h = -57 - -59. Suppose 0 = -0*x - h*x - x. Suppose 4*y + u - 795 = 0, y + u - 4*u - 189 = x. Is y a multiple of 36?
False
Suppose 4 - 16 = -6*l. Let w(q) = -21*q**2 - q - 3*q + 25*q**l + 3 + 3*q**3. Does 9 divide w(2)?
False
Let g be -36*6/12*1/(-3). Let n be 1 + 2 + g + -4. Suppose 5*s = -20, -s + 87 + 104 = n*z. Is z a multiple of 7?
False
Let z be (-1 - 5)*(6 + (-52)/8). Suppose 2*j + z*f = 5*j - 1305, j + 2*f - 426 = 0. Does 16 divide j?
True
Let t be 2/(-2)*1 - -7. Let f(n) = -n**2 + 6