= 1777*g - 176316. Does 6 divide g?
True
Suppose 0 = 30*r - 88247 - 9433. Does 143 divide r?
False
Is 2709 + -1 + 40/25*5 + -3 a multiple of 17?
False
Let v(a) = 2*a - 30. Let k be v(-15). Is k*7/(210/(-216)) a multiple of 27?
True
Suppose -3*n - 4*j + 77 = 0, -17*j + 15*j - 85 = -5*n. Suppose 0 = 20*h - n*h - 17. Is h a multiple of 2?
False
Let u(g) = 228 - g**2 - 468 - 12*g + 227. Let o be u(-10). Let q(a) = 4*a + 16. Does 10 divide q(o)?
False
Suppose -2*v + 3*q = 2*q - 1595, -4*q = -4*v + 3200. Let p = 1152 - v. Is p a multiple of 17?
True
Let a = 3465 + 17080. Does 16 divide a?
False
Suppose -706*t - 16620 = -711*t. Is t a multiple of 12?
True
Let h(c) = -c - 15. Let z be h(-18). Suppose z*s = -2*s - 15. Is 8 a factor of s*(1 - 1 - 8)?
True
Let i(s) = -33*s**3 + 11*s**2 + 22*s + 112. Is 5 a factor of i(-6)?
False
Suppose -4*s + 28 = -12. Suppose -s*c = -15*c + 1230. Is 41 a factor of c?
True
Let y(f) = -f**2 - 25*f + 198. Let z(u) = -3*u**2 - 14*u + 24. Let v be z(-7). Is y(v) a multiple of 18?
True
Let p = 171 - 115. Is p a multiple of 10?
False
Let t(r) = r + 25. Let w be t(-21). Let g(a) = 19*a**2 - 4*a - 2. Does 11 divide g(w)?
True
Suppose -3*a - 5*z + 10 = 0, -2*a - 18*z = -22*z + 8. Suppose 2*m - 532 = -a*m - o, 0 = -5*m - 3*o + 1329. Does 11 divide m?
False
Let y = 1003 - 1303. Let k = y - -1243. Does 14 divide k?
False
Suppose -51*j + 128*j - 999152 = 0. Does 13 divide j?
False
Let v = 15 - -25. Let i = 2251 - 2225. Let h = i + v. Is 11 a factor of h?
True
Suppose -4*y + r - 45 = 0, 2*y - r + 15 = -2*r. Let x(c) = c**3 + 10*c**2 - 2*c - 10. Let z be x(y). Does 14 divide 0 + (-414)/(-10) + 6/z?
True
Let v = 2571 + 5111. Is 94 a factor of v?
False
Suppose 2*i = -9*i. Suppose i*p + 975 = 5*p. Is p a multiple of 39?
True
Suppose -r = 3*w - 89 + 15, 5*w = -3*r + 226. Suppose r = -u + 755. Suppose -7*m + 15 + u = 0. Does 8 divide m?
False
Let o = 24 - 22. Suppose 2*z - z - 51 = o*l, -l = 2*z - 92. Suppose -x = -5*d - z, -2*x + 0*d = 3*d - 55. Does 13 divide x?
False
Suppose 6*p + 482 = h + 9*p, p - 969 = -2*h. Does 8 divide (18/(-5))/((-4)/(h - 5))?
True
Suppose -16100 = -2*n + 5*v, 8*n + 492*v - 64400 = 493*v. Is 50 a factor of n?
True
Let m(w) = -17*w + 69. Let y = 140 + -146. Does 57 divide m(y)?
True
Let o(d) = 10*d**3 + 9*d**2 - 5*d - 3. Let a be 3/(18/15)*36/30. Is o(a) a multiple of 34?
False
Let g = -2297 + 3766. Is 9 a factor of g?
False
Suppose -11388 = -38*v + 37*v. Is v a multiple of 12?
True
Let k(c) = -13*c**2 - 102*c - 23. Let p(m) = -4*m**2 - 33*m - 7. Let w(o) = 2*k(o) - 7*p(o). Does 22 divide w(15)?
True
Let k(u) = u**3 + 3*u**2 - 7*u. Let h be k(-4). Suppose 9*a = h*a - 5*g - 2451, 4084 = 5*a - 8*g. Is 14 a factor of a?
True
Suppose -7248 + 25487 = 13*w. Does 5 divide w?
False
Suppose 16*x = 5*o + 11*x - 24000, 3*x + 18 = 0. Does 94 divide o?
True
Suppose 284 = 5*o + 4*u, 0 = -3*o - 4*u + 265 - 101. Is o a multiple of 10?
True
Let n be (14*1/(-2))/(2/4). Let f = n - -4. Is 26 a factor of (-210)/(-9)*(-96)/f?
False
Let m = -1374 + 1615. Is m even?
False
Let s(h) = -h**2 - 12*h + 64. Let d be s(-16). Suppose -3*v + 10*v - 2877 = d. Is 39 a factor of v?
False
Does 2 divide 1578 - ((-4)/(-5))/(6/(-45))?
True
Suppose 3*n + 19 = v, -9*n = -14*n - 10. Suppose 0 = -v*k + 554 + 1175. Is k a multiple of 29?
False
Let n = 27895 - 21961. Is n a multiple of 10?
False
Let k(t) = -t**2 + 2*t + 61. Let v(o) = o**2 - o - 41. Let i(a) = 5*k(a) + 8*v(a). Is i(-7) a multiple of 11?
True
Let b = 46587 - 24967. Does 111 divide b?
False
Suppose 944*n = 951*n - 574. Let z(b) = -27*b**2 - b. Let r be z(1). Let k = r + n. Does 5 divide k?
False
Let g = -38 + 32. Let o(t) = -39*t - 19. Does 18 divide o(g)?
False
Is 8 a factor of -27 + 14 - (5 - 146)?
True
Let t = -14029 - -25293. Is 64 a factor of t?
True
Suppose 3*i + 2150 = -5*u, 5*i + 5*u - u = -3592. Let g = -494 - i. Does 117 divide g?
False
Let d = 32306 + -20187. Is 17 a factor of d?
False
Let o(n) = 3*n**2 + 40*n - 1534. Is o(-47) a multiple of 74?
False
Let p = -2300 + 1275. Let l = -269 - p. Is 63 a factor of l?
True
Let h = 5666 - 4046. Does 162 divide h?
True
Suppose -11 = -10*x + 9*x. Suppose -x*u = -2*u - 477. Let i = u - 21. Does 4 divide i?
True
Suppose -2*a = -4*m + 4094, 2*a - 3009 = -2*m - 965. Is m a multiple of 93?
True
Suppose 0*m + 4*m = 0. Let k(a) = 148*a + 5 - 4 + m + 5*a. Does 22 divide k(1)?
True
Let r(j) = -j**3 - 6*j**2 - j + 12. Suppose -a - v - 1 = 2*v, 0 = -2*a + 4*v + 18. Let u be 3 + (-35)/a + -2. Does 2 divide r(u)?
True
Let u = -108 - -122. Suppose -175 = -u*s + 721. Is 32 a factor of s?
True
Let m = 1196 - -2372. Does 4 divide m?
True
Let o(s) be the third derivative of -10/3*s**3 + 1/60*s**5 + 0 - 1/12*s**4 + 0*s - 29*s**2. Is o(-8) a multiple of 12?
True
Let m(z) = z**3 + 19*z**2 - 30*z + 25. Let s(p) = p**3 - p**2 + 1. Let t(r) = -m(r) + 2*s(r). Let i be t(20). Suppose 6*c - i = 3*c. Does 11 divide c?
False
Does 5 divide (-67250)/(-20) + ((-45)/20)/(-9)*2?
False
Let p(c) = 3*c - 13. Let k be p(5). Let y(u) = 15*u**k + 5*u - 6*u + 1 + u. Does 4 divide y(-1)?
True
Suppose -544 = -13*d + 30*d. Does 75 divide (-625)/2*(d + 30)?
False
Let u = -1762 + 52611. Does 41 divide u?
False
Let z = -1 - -4. Suppose 2*o = -5*r + 44, 3*r + 348 - 363 = -5*o. Suppose 0*f = -f + z*n + 12, -2*n = -r. Is 27 a factor of f?
True
Let a(z) = -z**3 - 4*z**2 - 5*z + 4. Let c be a(-2). Suppose -18*n = -c*n - 3564. Is 12 a factor of n?
False
Let i = 109 - 109. Suppose -4 = -8*q + 10*q - 2*u, i = -2*q + 3*u - 8. Suppose -4*z - q*v + v + 236 = 0, -z - 5*v = -40. Is 30 a factor of z?
True
Suppose -12*q - 6210 = -1386. Let i = 1389 + q. Is i a multiple of 47?
True
Let t(j) = -29*j**3 - 4*j**2 - 66*j - 194. Is 43 a factor of t(-7)?
True
Suppose 12*w - 77*w = 35*w - 121200. Is w a multiple of 4?
True
Suppose -118*r = -31*r + 1769 - 10643. Is 17 a factor of r?
True
Let m(x) = -14*x**2 + x**3 - 104 + 194 - 103 - 13*x. Is 17 a factor of m(15)?
True
Suppose -7*p = w + 261, -w - 3*w + 58 = -p. Let n be -14*7 - (1 + 1). Let y = p - n. Is y a multiple of 27?
False
Let b(x) = -x**3 - 9*x**2 + 6*x + 58. Suppose 110*a + 12 = 109*a. Is b(a) a multiple of 38?
True
Let k(f) = 818*f - 126. Is 3 a factor of k(10)?
False
Let m(p) = p**3 - 5*p**2 + 6 + 23 + 31*p - 19*p**2. Let n be m(23). Suppose -60 = -3*b + n. Does 41 divide b?
False
Suppose -2*z = 2*t - 232, 2*z + 3 = -4*t + 467. Suppose t + 24 = j. Suppose -13 - j = -9*r. Does 6 divide r?
False
Let h be 9684/(-24)*(-4)/6. Let s = -44 - 111. Let n = s + h. Is n a multiple of 10?
False
Let o(l) = -5 + 21*l**2 - 4*l**2 + 2*l + 1 - 18*l - l**3. Let r be o(16). Is 5 a factor of 2/(-5) + r/(-10) - -60?
True
Let p = 2179 + -1939. Is 6 a factor of p?
True
Let z = 8 + -4. Let i = -6705 + 7243. Suppose -f + i = 3*k, 292 + 76 = 2*k - z*f. Is 12 a factor of k?
True
Let y be 9/(-3)*(-4655)/7. Let h = y + -575. Is h a multiple of 11?
False
Let t(f) = 9187*f**2 - 6*f - 31. Is 9 a factor of t(-2)?
True
Let c(g) = g**3 + 29*g**2 - 34*g - 61. Let t be (40/(-6))/(34/153). Does 59 divide c(t)?
True
Let l(a) = -78*a - 20. Is l(-3) a multiple of 3?
False
Suppose 0 = -4*u - j + 8862, 261*u + 4*j - 6666 = 258*u. Does 3 divide u?
True
Let u(b) = -8*b - 52. Let p be u(-7). Suppose 2*c = 5*y - 650, p*y - c + 137 = 5*y. Is 21 a factor of y?
False
Suppose -2581 = 2*p - 10231. Suppose 8*b = p - 881. Suppose -b + 1358 = 5*o. Is 11 a factor of o?
True
Suppose -50092 = -4*o - 5*t, 7*t + 37558 = 3*o + 8*t. Does 113 divide o?
False
Let d(t) = 226*t**2 + t - 3. Let i be d(1). Does 33 divide ((-8)/(-5))/(i/149520)?
False
Let c be ((-2)/(-6))/(3/63). Let s(g) = 24 + 4*g + c*g + 3*g**2 - 8*g + 10. Is 20 a factor of s(6)?
True
Suppose 52*r - 44463 = 16429. Is 15 a factor of r?
False
Let b(n) = 33*n - 2972. Is 5 a factor of b(114)?
True
Let s(h) = 15*h**3 - 23*h**2 - 47*h + 400. Does 68 divide s(7)?
False
Suppose -8445 + 39145 = 5*i. Does 66 divide i?
False
Let a be ((-12)/15)/(14/(-35)). Suppose 3*o = a*v + 21, 10*o + 2*v = 12*o - 12. Does 3 divide o?
True
Suppose -37*p - 6*p = -5074. Let c = 320 - p. Does 5 divide c?
False
Let l = 144 + -237. Is 15 a factor of l*4/(-24)*(-2 + 12)?
False
Let n be ((-13)/((-78)/(-36)))/((-3)/2). Suppose 2*b = n*c + 640, -2*b = -4*c - c - 635. Is b a mul