ose n - 784 = -5*q, 2*n + 569 = -4*q + 2137. Is 7 a factor of n?
True
Let f = 41958 - 24318. Is f a multiple of 72?
True
Let i(t) = 248*t**2 + 54*t + 231. Is i(-4) a multiple of 7?
True
Let b be 34/(-17) - 5*-1. Suppose 0 = -b*u + 5*u - 186. Suppose -17 + u = 4*d. Is 3 a factor of d?
False
Suppose 0 = 98*p - 104*p - 12. Is 7 a factor of (-746)/4*p + (4 - 9)?
False
Suppose -2*c + 2*i + 4 = 0, 7*c = 11*c - i - 8. Suppose v + 4*q = 218, -3*q = -c*v - 0*q + 403. Is 7 a factor of v?
False
Let f(a) = -a**2 + 68. Let m be f(8). Suppose -5*w = m*s - 34, -5*s - 3*w + 2*w = -32. Does 4 divide s?
False
Let h be -1 - -4 - (-1 - 77). Let q = 82 - h. Does 15 divide 5/q*(300/6 + -5)?
True
Let m(r) = -274*r - 6907. Does 5 divide m(-73)?
True
Is (-3)/((-19195)/1370 + 14) even?
True
Suppose -5*j = u + 13, -3*j = -3*u + 7*u + 1. Suppose 2*r + r - 416 = u*f, -r = 3*f - 146. Is 10 a factor of r?
True
Let k = 1286 - 1018. Is k a multiple of 4?
True
Let a = 109 - 108. Is -14 - -15 - -47*a a multiple of 5?
False
Does 25 divide -8 + 10 + 6 - -402?
False
Is 14 a factor of (30 - 2)*((-36)/(-30))/((-32)/(-14800))?
True
Suppose -2*u - 5*m + 48 = -422, 5*u + 4*m - 1141 = 0. Suppose 0 = -i - 5*c + u, 7*i - 5*i - 410 = -2*c. Is i a multiple of 8?
True
Let o be (3 - 1)/(4/50). Is (-7 + (-1245)/o)/((-2)/15) a multiple of 71?
True
Let i be 1*8 - (-7 + 10). Suppose 97 = i*n - 8. Is 5 a factor of n?
False
Suppose 115*y - 56219 = 118429 + 56617. Is 2 a factor of y?
False
Let l(i) = -2870*i + 278. Is 126 a factor of l(-5)?
False
Suppose -3 = -c - 6, -3 = -3*r + c. Suppose -386*t + 385*t + 308 = r. Does 11 divide t?
True
Let o(y) = -3*y**2 - 2*y + 12. Let u be o(0). Suppose 3*x - 3675 = -u*x. Is x a multiple of 35?
True
Let g(h) = 5*h + 13055. Is g(131) a multiple of 5?
True
Let j(w) = -11*w**3 - w**2 + w - 12. Let a be j(3). Let x = -281 - a. Does 6 divide x?
False
Let w(x) = -3*x - 5. Let g be w(4). Let t = 33 - g. Let o = 120 - t. Is o a multiple of 24?
False
Suppose -8 = -2*u, -4*y = -60*u + 63*u - 7016. Does 103 divide y?
True
Suppose -197*a = -104*a - 2333556. Does 153 divide a?
True
Suppose 5*g - 4*r - 5099 = 0, 5*g - 5127 = -22*r + 19*r. Suppose l - 2*m - g = 0, -4*l + 2908 = -m - 1205. Does 21 divide l?
True
Suppose -2*a = 17 - 17. Suppose a*q - 20 = q. Is 24 a factor of (-2)/q*2566 + (-6)/(-15)?
False
Is 12 a factor of ((-68860)/(-154) + -22)*(-1 - (-8)/1)?
True
Let k be ((-320)/280)/((-4)/14). Suppose 5863 = k*r + 7*r. Is 41 a factor of r?
True
Let w(l) = 180*l - 615. Is w(36) a multiple of 69?
True
Suppose -45*d + 3*j = -47*d + 23, -4*d + 2*j = -22. Let s(l) = 2*l + 5 + 5*l**2 - 5*l - 4*l. Is 13 a factor of s(d)?
False
Let u(o) = 27 - 23 + 26*o**2 - 3*o - 7*o**2. Is 13 a factor of u(-4)?
False
Suppose -11*r + 240 = -10*r. Suppose 13*x - 16*x = -r. Does 12 divide x?
False
Suppose 5*m + 50 = k + 37, k - 3 = 0. Is 13 a factor of m - (7 - (7 - -1237))?
True
Suppose -21*y + 5*y + 3840 = 0. Does 24 divide 2/(20/(-6)) + 223104/y?
False
Let o(s) be the second derivative of s**6/120 + s**5/20 - 17*s**4/24 + 2*s**3/3 - 9*s. Let i(p) be the second derivative of o(p). Is 27 a factor of i(-9)?
False
Let g(i) = i**3 + 10*i**2 + 12*i + 27. Let m be g(-9). Suppose 5*u = 2*v - 798, -4*v + m*u + u + 1632 = 0. Is 68 a factor of v?
False
Let l = -898 - -1368. Let i = l - 367. Does 9 divide i?
False
Let w = 5410 - 4412. Is w a multiple of 52?
False
Let f(w) = -7*w**2 - 3*w - 18. Let a(q) = 6*q**2 + 4*q + 18. Let x(c) = -6*a(c) - 5*f(c). Let t be x(-7). Does 17 divide -2*14/t*17?
True
Let g(s) be the second derivative of -s**4/12 - 3*s**3/2 - 8*s**2 + 19*s. Let o be g(-4). Suppose 0 = -3*h + 2*i - 0*i + 200, 0 = 2*i - o. Is 7 a factor of h?
False
Suppose 2*i = -3*j + 247, 2*j + 90*i - 89*i - 162 = 0. Let y = 55 - -122. Let b = y - j. Is 7 a factor of b?
False
Suppose f + t + 153 = 0, -f + 3*t + 1 = 146. Let m = 223 + f. Is 6 a factor of m?
True
Suppose m + 4*n = -99, 5*m - n + 0*n + 453 = 0. Let f = m - -335. Does 4 divide f?
True
Is 19213/4 + (-180)/(-48) a multiple of 23?
True
Let o(k) = -14*k + 26. Let h(q) = -15*q + 26. Let c(s) = 3*h(s) - 4*o(s). Let a = 2315 + -2309. Is 10 a factor of c(a)?
True
Suppose 3*i - 2*t = -428, 2*i - 5*t + 217 = -61. Let b = -62 - i. Is (b/8)/(7/28) a multiple of 8?
False
Suppose -16*c - 120 = -20*c. Let n be ((-54)/c)/((-6)/10). Suppose p - f = -n*p + 32, p - 23 = 4*f. Is p a multiple of 3?
False
Let q(o) = 37*o**2 - 11*o + 148. Is 14 a factor of q(6)?
True
Suppose 9*u = 7*u + 10. Suppose -5*f + 145 = u*s, -f + 3*s + 14 = -35. Does 16 divide f?
False
Let y(z) be the first derivative of -5*z**2/2 + 19*z - 19. Let f be y(3). Suppose q + 130 = 2*r, -8*r + f*r = -q - 260. Does 30 divide r?
False
Let s = -850 - -1301. Suppose -h + 1098 = 2*v, 3*h - 3757 = -3*v - s. Is 7 a factor of h?
True
Let n = -4 + 5. Suppose 3*h - 3 = 2*m, -2*m = -46*h + 44*h. Is (m - n)*72/2 - 1 a multiple of 11?
False
Let l = 514 + -508. Suppose 6146 - 8 = l*o. Is o a multiple of 25?
False
Let v = 675 - 230. Suppose -14*t = -9*t - v. Is 16 a factor of t?
False
Let y(b) = -b - 5 + b - 2*b. Suppose 5*l + 23 = 4*f, 4*l + 3 + 22 = f. Is y(l) a multiple of 9?
True
Let f = -25 - -28. Suppose -26 = f*x - 122. Is 2 a factor of (6/(-2))/((-24)/x)?
True
Suppose 4*i - 26*i + 489552 = 72*i. Is i a multiple of 8?
True
Suppose 7*y = -19*y + 27352. Suppose -4764 + y = -16*m. Is 15 a factor of m?
False
Let n = -3 - 4. Suppose 17*b - 209 = 267. Is 5 a factor of ((-20)/n)/(8/b)?
True
Is 550/15*((-1952)/(-13) + 4/(-26)) a multiple of 4?
True
Suppose -161*z - 4423 = -171*z + 1817. Is z a multiple of 23?
False
Let f = -114 - -118. Suppose f*b + 2*b - 96 = 0. Is 7 a factor of b?
False
Let p(g) = -g**2 + 14*g + 4. Let d be p(9). Let k = d - 35. Let s = 30 - k. Is s a multiple of 4?
True
Let t(d) = -129*d - 6. Let x be t(-37). Suppose -8*u + x = 13*u. Does 10 divide u?
False
Suppose 16*c + 6960 = 20*c. Suppose -14*z - c = -20*z. Is z a multiple of 21?
False
Let j = -7 - -10. Let v be 8/((-417)/(-52) - 8). Suppose j*h - v = -h. Is h a multiple of 13?
True
Let n = -82 - -78. Let h be -4 + 1 + n + 11. Suppose -34 - 666 = -h*w. Is 25 a factor of w?
True
Let p be (-98)/(-3) - (0 - -3)/(-9). Suppose -a + 8 = -p. Is 26 a factor of a?
False
Let o = -553 - -1230. Let c = o + 769. Is 80 a factor of c?
False
Suppose 5*g - 157389 = -l, -3*g - 44813 + 139232 = -l. Is 185 a factor of g?
False
Let r(o) = 11*o + 9. Let j be r(1). Let x(v) = v - 3*v + 31 + j + 5*v. Does 8 divide x(-9)?
True
Let l(i) = -27*i - 276. Let w be l(-13). Does 18 divide 3 + -5 + -1 + w?
True
Let q be ((-14)/(-21))/(6/675). Let s = 31 + q. Is 5 a factor of s?
False
Let w(r) = 6*r + 231. Let q be w(-38). Suppose 2*t = -c - 0*c + 42, -66 = -q*t - 3*c. Is 3 a factor of t?
False
Let w(j) = -j**3 - 27*j**2 - 39*j - 2. Let s be w(-26). Is 8/(-2) - s/(-1) a multiple of 17?
False
Let w = -93 - -97. Suppose -w*v + 56 + 76 = 0. Let b = 104 + v. Is b a multiple of 11?
False
Does 4 divide 23*-694*-15*12/90?
True
Let d = 3744 - -106. Suppose 20*i = 15*i + d. Is i a multiple of 7?
True
Let j(i) = i**3 + 43*i**2 + 348*i + 81. Is 19 a factor of j(-32)?
True
Is 72 a factor of (-580)/174 - 69366/(-9)?
True
Let t = 29 - 19. Let y(p) = 7 - 3*p**3 + 0 + 7 + 9*p**2 + 2*p**3 + 12*p. Does 28 divide y(t)?
False
Suppose -42*m + 0*m + 1023498 = 0. Is 34 a factor of m?
False
Let x(a) be the second derivative of -2*a**5/5 - a**4/4 - a**3/2 - 30*a - 1. Is 8 a factor of x(-2)?
False
Let h(r) = r**3 + 9*r**2 + 8*r + 2. Let y be h(-8). Suppose -5*a + s + 236 = 29, -3*s - 88 = -y*a. Suppose -2*i - a = -87. Is i a multiple of 14?
False
Let f be (4/8)/(2/8). Let u be (-5)/(-8)*f*24. Let c = -10 + u. Is 20 a factor of c?
True
Suppose -112*k + 760831 + 610642 = -78815. Is k a multiple of 23?
True
Suppose 456 = -16*r + 1976. Suppose 168 - 48 = a + 5*p, 4*p = -5*a + 684. Let o = r + a. Does 47 divide o?
True
Let d(m) = 19 - 284*m + 556*m - 288*m. Does 25 divide d(-22)?
False
Suppose 2*n + 5*s = 18, s - 2*s - 6 = -2*n. Let w(j) = -9 + j - 10*j + n*j + 8. Is 25 a factor of w(-20)?
False
Suppose 169 = 4*z - 459. Does 23 divide 4*z*(-1)/(-4)?
False
Let x(a) = 2*a**3 + 19*a**2 - 33*a + 5. Let h be x(-11). Suppose -c = -1, h*w + 5*c - 2391 = 4*c. Is 6 a factor of w?
False
Let m = 24 - 27. Let f(v