se
Suppose 3 = -3*q, -y + 3*q + 1444 = -1232. Does 27 divide y?
True
Let d(s) = -832*s + 1703. Is 23 a factor of d(-10)?
False
Let k be (-208)/(-7) - 2/(-7). Let q = -37 + k. Let l(c) = -4*c - 24. Does 4 divide l(q)?
True
Let b(g) = -4703*g - 5850. Does 71 divide b(-9)?
False
Suppose -3*f + f = -16. Let z be (f/(-28))/((-1)/(-7)*-1). Suppose z*m = -0*m + 92. Does 23 divide m?
True
Let y = 21 + -25. Is 16 a factor of 510 + ((-28)/(-35))/(y/(-10))?
True
Suppose -z = 2*t + 1 + 8, -4*z = -5*t + 88. Let h(u) = u**2 + 15*u - 36. Let o be h(z). Is 1/o + (-1 - (-81)/6) a multiple of 4?
True
Does 23 divide 44/(-242) + 85773/33?
True
Let t be (6/(-8))/((-104)/(-2912)). Let z(q) = 4 + q**2 + 41 + 22*q - 4. Is z(t) a multiple of 5?
True
Suppose -4*l + 5*r = 3*r - 14, 0 = l - 4*r - 14. Does 21 divide (l/6)/(9/3969)?
True
Let j(h) be the second derivative of h**4/4 - 17*h**3/6 - 61*h**2/2 - 152*h. Is j(-21) a multiple of 44?
False
Suppose 5*w - 150181 - 44291 = 3*y, 5*y = w - 38912. Is 6 a factor of w?
True
Suppose 5*k = 2*t + t - 225, 4*t - 300 = -k. Suppose 3*b - t - 222 = 0. Is b a multiple of 9?
True
Suppose -14*x - 14 = -12*x, 0 = 2*a - x - 49291. Is 111 a factor of a?
True
Let q(z) = -z**2 - 54*z - 140. Let a be q(-44). Suppose 11*t = 2159 - a. Is t a multiple of 12?
False
Let y(c) = -1. Let t(o) = -40*o + 10. Suppose 3 = 2*g + 5*x, 4*g = -3*x - 0*x - 15. Let r(b) = g*y(b) - t(b). Is r(3) a multiple of 17?
False
Let d = -6593 - -17921. Is d a multiple of 29?
False
Let o = 36 + 12. Suppose 64 = 4*s - o. Suppose -2*y + s + 80 = -q, 0 = -4*q. Is 18 a factor of y?
True
Suppose 0*m - 32 = -2*u + 4*m, -5*u - 4*m = -52. Suppose 15 = u*g - 7*g. Suppose -4*b + 3*n + 780 = 0, -n + 598 = g*b - 0*n. Is 33 a factor of b?
True
Let x be ((-1127)/(-46))/(((-2)/816)/(-1)). Is 7 a factor of (2/6)/(7/x)?
True
Suppose -57 = -6*l + 15. Let m be 2/(4/(-4 + l)). Suppose 3*f = m*f - 54. Is 22 a factor of f?
False
Suppose -4522094 + 1533266 = -398*m + 7168132. Does 7 divide m?
False
Let v(h) = h**3 + 7*h**2 + 8*h - 6. Let c be v(-6). Let g(l) = l**3 + 14*l**2 + 37*l + 19. Let z be g(-11). Let u = c - z. Does 2 divide u?
False
Suppose 8*h = -2*o + 2350, -3*h - 5*o = -434 - 426. Does 8 divide h?
False
Let q = 8 - 0. Let m(d) = -375*d + 36. Let b be m(q). Is b/(-18) + 2/6 a multiple of 15?
True
Let u be (-286)/(-14) - (18/14)/3. Suppose u*g - 9656 + 476 = 0. Is g a multiple of 51?
True
Let c(s) = -2*s - 2. Let u be c(-2). Let i(k) = -20*k + 5. Let a be i(u). Let b = 13 - a. Is 12 a factor of b?
True
Let w = -139 - -141. Suppose 2*t = w*y, t + 2*t = 15. Suppose -4*b - 155 = -y*a, b - 5*b = 4*a - 88. Is a a multiple of 2?
False
Suppose -6*a + 2*l + 94 = -2*a, -5*l - 51 = -2*a. Let s = a + -55. Does 3 divide (3*(0 + 1))/((-24)/s)?
False
Is 2/(-4)*((-95872)/42 - 12/(-18)) a multiple of 2?
False
Is 40 a factor of (-2 - 6) + 2 + (3284 - -5)?
False
Suppose -109*h + 384 = -97*h. Let t(n) = 2*n**2 + 2*n + 11. Let r be t(-8). Suppose 0 = -a + r + h. Is 31 a factor of a?
True
Suppose 74*p - 151*p + 78*p = 7484. Does 25 divide p?
False
Suppose 6 - 13 = -3*t + 5*i, -i + 17 = 4*t. Let p(z) = 47*z**2 + 3*z - 4. Let m be p(-2). Suppose -t*n + m + 290 = 0. Is n a multiple of 39?
True
Suppose y + 7 = 5*f - 16, -y + 27 = 5*f. Suppose 3*w - 6 = 0, 4*k + y*w = w + 194. Is k a multiple of 47?
False
Let z(q) = -3*q**3 + 2*q**2 - 6*q + 8. Let c be z(2). Let i(y) = -66*y - 177. Is 15 a factor of i(c)?
False
Let t = -2634 - -7426. Does 8 divide t?
True
Suppose 9*r - 2*c - 14 = 8*r, 0 = 5*r + 4*c. Suppose 4*u + m = 469 - 33, -4*m - 436 = -r*u. Suppose 0 = -4*w - j + u, -2*w + 44 = j + 3*j. Is w a multiple of 7?
True
Let r = 13899 + -8085. Does 102 divide r?
True
Let d(p) = p**2 + 4*p - 25. Let t be ((-50)/15)/(4/30). Let q = t + 34. Does 23 divide d(q)?
True
Suppose -3*b - 57225 = -5*z, 127*z - 122*z - 57230 = 2*b. Is 9 a factor of z?
True
Let n(f) = 12*f - 16. Suppose -q - 11 = -s, s = -3*q + 5*s - 37. Let d be n(q). Let x = 164 + d. Is 17 a factor of x?
False
Let x = -25 - -29. Suppose -3*k + 5*h = h - 469, -x*k + h + 621 = 0. Suppose -12*j + 133 = -k. Does 3 divide j?
True
Let u = 46 - -351. Let l = -10 + u. Does 22 divide l?
False
Let r be (-8)/(-5) - 4*1/(-10). Let o(k) = -16 - 11 + r*k - 3*k + k**2 - 11. Is 26 a factor of o(10)?
True
Let k = 27 - -113. Let t = k - 86. Let h = t - 28. Is h a multiple of 10?
False
Suppose 11*u - 588 = 787. Suppose 55 + 0 = -d. Let i = u + d. Does 35 divide i?
True
Suppose -5204 = -4*c - 4*q, -5202 = -149*c + 145*c - 2*q. Does 20 divide c?
True
Let v(q) = -3*q**2 - 106*q - 25. Let m be v(-32). Let p = 45 + -3. Let h = m + p. Is h a multiple of 13?
False
Let l be ((-106)/4)/((-15)/(-60)). Let u be l/(1/(-4)*1). Suppose 518 = 4*x - 3*n - u, -x = -2*n - 233. Does 34 divide x?
False
Let z = 17 + -144. Let o = 168 + z. Is o a multiple of 2?
False
Suppose -2*h - 2*m + 20 = 0, -4*m + 7 = 3*h - 27. Suppose 0 = -h*n + 7*n - 259. Is n a multiple of 26?
False
Let s = 2178 - 1232. Suppose s = 5*o - 2*h, -5*o + 133 + 827 = 5*h. Is 19 a factor of o?
True
Let f = 4422 + -3562. Is 10 a factor of f?
True
Suppose 16751 = t - 5*v, -25916 - 24241 = -3*t - v. Is 23 a factor of t?
True
Let t be -2*((-775)/10 - -1). Suppose t = 4*m - 1199. Is m a multiple of 36?
False
Let x(w) = -w**3 + 6*w**2 + 9*w + 10. Let s be 6/(-8)*(6 + 34). Let q = -23 - s. Is x(q) a multiple of 4?
True
Suppose -c - 22*u + 556 = -27*u, -2*u - 1720 = -3*c. Does 8 divide c?
True
Suppose -8*z + 5 = -7*z. Let k = z + -3. Suppose 4*p + 174 = k*b, -2*b + 7*b + p - 413 = 0. Does 23 divide b?
False
Suppose 3*y - 6*h = -4*h - 34, -4*h - 72 = 4*y. Is ((-147)/y)/(-7)*-20*4 a multiple of 18?
False
Let d be (9 - 8)/((-2)/(-122))*2. Suppose 3*b - d = 76. Is 9 a factor of b?
False
Suppose 66*r + 251143 - 250236 = 506665. Is 43 a factor of r?
False
Let g(c) = 122*c**2 + 10*c + 9. Let x be ((-60)/(-45))/(4/(-3)). Is 11 a factor of g(x)?
True
Let j(w) = -16*w - 16. Let m be j(2). Is 15 a factor of (30/m*-402)/(2/8)?
True
Let g(k) = k**2 + 5*k + 10. Let a be g(-4). Suppose -5*h - 3*p - 13 = 0, a = -4*h - p + 3*p. Is 2280/48*(0/h - -2) a multiple of 5?
True
Let v be (-5 - -1) + 56/7. Suppose 4*q - v*k - 162 = -434, q = -3*k - 76. Let h = q + 95. Is 5 a factor of h?
True
Let b(p) = 3*p**2 - 113*p - 15. Suppose -r = 2*f + 3*r - 98, -5*f + 4*r + 231 = 0. Is 53 a factor of b(f)?
False
Let v(g) = 2*g**2 + 223*g - 192. Is v(-118) a multiple of 11?
True
Suppose -7*o = -25*o + 227316 + 57750. Does 221 divide o?
False
Let r = -4082 - -6514. Is 76 a factor of r?
True
Let y be 43/(((-2)/(-10))/(-1)). Let s(n) = 5*n**2 - 43*n - 11. Let i be s(14). Let w = y + i. Is 38 a factor of w?
True
Let p be 340/6*5*36/(-150). Let k = 141 - p. Does 19 divide k?
True
Suppose -3*s - 1086 = -4*n, s - 2 = 2*s. Is -1 + n - (-2)/(-4)*-4 a multiple of 12?
False
Suppose -2*z = 3*z - 150. Suppose 2*k + 12 = 2*s, -5*s = 4*k - k - z. Suppose -s*a + 21 = -3*a. Is a a multiple of 6?
False
Let j be 2/4*2 + (15 - 13). Suppose -j*i - 396 = 447. Let a = 515 + i. Is a a multiple of 13?
True
Suppose 3*g - 1 = 2*c, -3*c = -2*c + 2*g + 11. Let h(d) be the second derivative of -3*d**3/2 - d**2 + 3*d - 1. Is 19 a factor of h(c)?
False
Let r be -2066 - -2*1/(-4)*6. Is 14 a factor of r/(-4) - (-7 + (-100)/(-16))?
True
Let m(g) = g**3 - 13*g**2 + 7*g - 11. Suppose 3*p - 68 = -230. Let d = p - -67. Does 10 divide m(d)?
True
Let m = 38 + -41. Let z = 5 + -1. Is 4 a factor of z + 1/(m/(-24))?
True
Let j = 85 + -31. Let t = j + -93. Let n = t - -63. Is 6 a factor of n?
True
Suppose 53 = c + 44. Does 32 divide ((-6)/4)/(c*(-1)/1920)?
True
Let i be (-48)/(-32)*(3 + -1). Suppose -j - 3*j - o = 223, -5*j - 283 = -i*o. Does 10 divide j*(-5)/(-20)*-10?
True
Let a = 81 + -271. Let y = a - -213. Is 2 a factor of y?
False
Let y(a) be the first derivative of -2*a**3/3 - a**2 + 2*a - 5. Let b be y(-2). Is (-2*4)/(b/8) a multiple of 8?
True
Suppose 104*s - 70*s = 12750. Is 10 a factor of s?
False
Suppose -4*q = -c - q + 2430, 0 = 3*q. Is c a multiple of 16?
False
Let r(y) = -y**3 + 117*y**2 - 115*y + 122. Is r(116) a multiple of 11?
False
Let g(b) = -3*b - 189. Let r be g(-14). Does 7 divide (r/(-4))/(344/320 + -1)?
True
Suppose 13110 + 26850 = 30*l. Is 222 a factor of l?
True
Suppose 123205 = -61