 637. Let r = -146 - l. Is r a multiple of 2?
True
Let z be (-3)/6*-1 + (-13)/(-2). Suppose -z = -6*p + 5. Suppose 0 = p*b - 123 - 49. Is 15 a factor of b?
False
Does 15 divide (-80922)/(-60) - (-9)/30?
False
Suppose 2*g = 3*n - 1388, 6*g - 2324 = -5*n + 4*g. Suppose -n = 6*b - 8*b. Does 4 divide b?
True
Is 26 a factor of (-956)/((-27)/(5616/32))?
True
Suppose 0 = 4*h - 5*r - 7520, -19*r - 4 = -18*r. Is h a multiple of 13?
False
Let x = 150 + -138. Suppose 0 = -x*l + 96 + 168. Is 22 a factor of l?
True
Is 84 a factor of ((80/(-3))/4 + -4)*(-207843)/116?
False
Let n be (-20)/35 - 4110/(-14) - -1. Suppose 0*j + n = 2*j. Is j a multiple of 23?
False
Suppose -4*f = -d - 7 - 13, 5 = f - 3*d. Suppose 4*r + f*l - 685 = -r, 0 = -2*r + 5*l + 295. Is r a multiple of 28?
True
Let c be ((-4)/8)/(4/24) - -9. Is (5/6 - (-1)/c)*250 a multiple of 10?
True
Let g be (9/(-6))/((-4)/((-32)/(-6))). Suppose -4*m + 706 + 2502 = 5*k, -g*m - 4*k = -1604. Is m a multiple of 17?
False
Suppose 17*t + 59 - 8 = 0. Let b(r) = 2*r**2 + 3*r**2 + 3*r**2 + 4. Does 38 divide b(t)?
True
Let q be (-3)/(-5) + (-18)/5. Let k be q/(((-21)/205)/7). Suppose 3*o = 47 + k. Does 10 divide o?
False
Suppose 11 = -z + 66. Is 16181/z + (-18)/15 a multiple of 12?
False
Suppose -13104 = -d - 3*s, 2*d + 5*s - 14369 = 11837. Is d a multiple of 16?
False
Let x(b) = -b - 1 - 1193*b**3 + 7 + 1232*b**3 + b**2. Does 23 divide x(2)?
False
Is 2*18/(-60) + (-708408)/(-180) a multiple of 135?
False
Let q = 23 + -23. Suppose u = -5, q*u = x - 5*u - 46. Let j = x + 28. Is 18 a factor of j?
False
Let a = -91 - -295. Suppose 10*r - 7*r = a. Let l = -65 + r. Is 2 a factor of l?
False
Let u = 83 - 79. Let l(p) = 5*p**3 + 14*p**2 + p + 6. Let y(w) = -9*w**3 - 27*w**2 - 3*w - 12. Let f(t) = u*y(t) + 7*l(t). Is 22 a factor of f(-10)?
True
Let o(d) = -34*d**3 - 20*d**2 - 101*d - 35. Is 39 a factor of o(-7)?
False
Let x(g) = -18*g + 6268. Is 38 a factor of x(173)?
True
Suppose 0 = 2*a - 5*s - 21780, 12*a - 3*s = 16*a - 43482. Does 25 divide a?
True
Let j(a) = -2*a - 39 - 35*a + 6*a + 2*a - 46*a. Is 10 a factor of j(-2)?
False
Let v be (-170)/(-8) + 11/(-53 + 9). Suppose 0 = v*h - 31*h + 5200. Is h a multiple of 8?
True
Is (48/7)/((-21)/(-30478)) a multiple of 16?
True
Does 127 divide -3*22606*(0 - (-16)/(-24))?
True
Does 59 divide 3/18 + (-5015570)/(-84)*(-2)/(-10)?
False
Let y(i) = -i + 18. Let f be y(15). Suppose h = -f*h - h. Is 23 a factor of 7 - (h + 4) - -89?
True
Let i(h) = 39*h**2 - h. Let n be 6/(-10) - 7/5. Let q be i(n). Let r = -38 + q. Does 28 divide r?
False
Let b = -2426 + 3326. Is 50 a factor of b?
True
Let h(t) = -419*t**3 - 3*t**2 - 65*t - 120. Is h(-2) even?
True
Let z(u) = -22*u + 24. Let o be z(-14). Suppose 0 = 336*c - o*c - 252. Is 63 a factor of c?
True
Is 7 a factor of (-292)/438*(1 + -32560)?
False
Suppose 5*k - 3*z - 39241 = 0, -23*z - 7835 = -k - 18*z. Does 25 divide k?
True
Let n(g) = 3*g**3 - 62*g**2 - 105*g + 12. Is n(28) a multiple of 70?
False
Let c be (0/(-9 + 4))/(-3). Suppose -4*i + 3*i + 3*h + 214 = c, -4*i - 5*h + 873 = 0. Does 6 divide i?
False
Suppose 4*i - 6*i - 2*t = 24, 2*i + 27 = -t. Let y = 333 + i. Does 5 divide y?
False
Let k = 142 + -138. Suppose c - k*c - 2*v + 668 = 0, 5*v + 1080 = 5*c. Is c a multiple of 44?
True
Suppose -12*f + 33*f - 9807 = 0. Suppose f - 90 = 13*v. Is 2 a factor of v?
False
Let r(c) be the first derivative of -c**4/4 + 11*c**3/3 + 15*c**2/2 - 12*c - 116. Let x = -7 + 18. Does 22 divide r(x)?
False
Suppose 22*t = -3*t + 350. Suppose -17903 = -t*a - 2223. Is 14 a factor of a?
True
Does 237 divide (1/(-3))/((-3939325)/41356665 + 4/42)?
False
Let q(a) = -a**2 - 10*a - 6. Let k be q(-9). Suppose -k*v + 52 = 13. Let f(p) = -p**3 + 11*p**2 + 28*p - 14. Is 2 a factor of f(v)?
True
Let q be ((-2)/(-6))/(1/(-24)). Let v be (-1875)/(q - -3) + 4. Let d = -243 + v. Does 34 divide d?
True
Suppose 0 = -83*t + 81*t + 14. Suppose 426 = t*u - 2395. Is 66 a factor of u?
False
Suppose -3*b = -0*b + 9. Let k be (-1339 - (2 + -6)) + 3. Does 7 divide (k/16)/b - (-2)/8?
True
Let q = 94 + -92. Suppose -5*c = -q*c + 4*r - 959, c - 317 = -2*r. Suppose -36*g + 31*g = -c. Is 9 a factor of g?
False
Let p(x) = 17*x - 82. Let i be p(5). Suppose -i*m + 532 = -4*s - 121, 3*m - 613 = -4*s. Does 18 divide m?
False
Let g = -1287 + 2187. Suppose 2*n + g = 8*n. Does 30 divide n?
True
Let d = 12670 - 789. Does 28 divide d?
False
Let k = 2 - -3. Suppose -5*u + 12 = j - 0*j, 0 = -k*u + 5. Let i = j + 23. Is 4 a factor of i?
False
Suppose 60*u + 570 = 146370. Is 10 a factor of u?
True
Let m(a) = -5*a**3 + a**2 - a - 1. Let o be m(-1). Let u be 77/14*o/(-3). Let s = u + 75. Is s a multiple of 9?
False
Let i(p) = -11*p**2 - 10*p + 20. Let k(t) = 7*t**2 + 7*t - 13. Let j(s) = -5*i(s) - 8*k(s). Let r be j(-6). Suppose -2*c = -r*c + 158. Does 9 divide c?
False
Suppose 0 = -p + 6*p - d + 2021, -4*p - 1621 = -5*d. Let g = p + 487. Is g a multiple of 12?
False
Suppose -22*o + 81*o = 236. Suppose 0*f = -3*f - 3*p + 3285, 2*p = -o*f + 4372. Does 55 divide f?
False
Let f = 1753 - 133. Is 6 a factor of f?
True
Suppose 32*d - 752512 = -4*d - 28*d. Is 79 a factor of d?
False
Suppose 24*f = 21*f - 30. Is 552 - (6/f - 6/15) a multiple of 13?
False
Let r(t) = 3*t**2 - 87*t + 89. Is 53 a factor of r(46)?
False
Does 17 divide -7*14/98*-4607?
True
Let r(p) = 316*p**2 - 267*p - 2096. Is r(-8) a multiple of 68?
True
Is (-483*2)/((-147)/(-84)*3/(-203)) a multiple of 322?
True
Let x = -29 - -41. Suppose x*c = c + 44. Does 12 divide (-5)/(5/c) - -88?
True
Suppose -535 + 517 = -9*j. Suppose -3*i - 1209 = -5*b, b + j*i - 243 = 3*i. Is b a multiple of 15?
True
Suppose 1812 = 4*s - 4*x, 5*s - 5*x - 2249 = -4*x. Is s a multiple of 4?
False
Let t = -14 - -19. Suppose 485 = -10*u - 265. Is 17 a factor of (-286)/t*u/30?
False
Suppose -23*g + 1587 = -52220 - 69795. Does 7 divide g?
False
Is (355/(-4) - 0)/((-657)/86724) a multiple of 11?
True
Let v be (-42)/6 - 64/(-4). Let k(s) = s - 1. Let z(j) = -j**2 - 2*j + 29. Let i(f) = -2*k(f) - z(f). Is i(v) a multiple of 6?
True
Let y = 673 - -83. Suppose y = 5*g - 529. Does 9 divide g?
False
Let x(m) = 65*m**2 - 6*m + 37. Let c(h) = 11*h - 41. Let i be c(4). Does 20 divide x(i)?
False
Let r(k) = -k**3 + k**2 + 46*k - 10. Is r(-11) a multiple of 5?
False
Let a(q) be the third derivative of -25*q**4/24 - 5*q**3/6 + 3*q**2. Let j be a(-3). Let h = j - 2. Is h a multiple of 20?
False
Suppose 11*d - 8 - 25 = 0. Suppose -5*w + d*s + 80 = 0, 6*w - 8*w + 2*s = -36. Is w even?
False
Let t(k) be the second derivative of -7*k**4/6 + k**3/3 - 2*k**2 + 15*k. Let d be t(5). Does 6 divide 4/((d/(-170) - 2)*5)?
False
Let p(l) = -4*l**3 + 2*l**2 - 2*l + 25. Let u(x) = -3*x**3 + 2*x**2 - x + 24. Let b = 8 + -10. Let f(g) = b*p(g) + 3*u(g). Is 11 a factor of f(0)?
True
Suppose 26 + 34 = -10*x. Is (-10)/30 + (-1046)/x a multiple of 29?
True
Suppose 0 = -19*k + 22*k + 6. Is 10 a factor of (288/90)/(k/(-125))?
True
Let g be 5 - (-2 - (-1 + -4)). Let m be g/(-9) - (-94)/18. Suppose d - 3*q + m*q - 80 = 0, 3*q = 2*d - 195. Does 21 divide d?
False
Let g(d) = -3*d - 19. Let r be g(-8). Suppose -4*m = -5*q - 6030, 5*m - r*q = 7646 - 111. Suppose 3*x - 2*z + 1204 = 7*x, -m = -5*x - 2*z. Does 24 divide x?
False
Let k = 23 - 21. Suppose 0 = -2*f - c + 988, 500 + 496 = k*f + 5*c. Is f a multiple of 29?
True
Suppose -647*z + 22763 = 4*v - 650*z, -5*z = 5. Does 18 divide v?
False
Let n = 7306 - -23325. Is 135 a factor of n?
False
Does 65 divide (-5)/4 - 42/(-9)*(-33345)/(-104)?
True
Let f(o) = -o**2 + 8*o + 37. Let v be f(11). Suppose -3*c = g - 2222, -g + 1287 = v*c - 1674. Is 34 a factor of c?
False
Suppose -15*b - 13*b = 103542 - 276162. Is 137 a factor of b?
True
Suppose 331*l = -193789 + 4029086. Is l a multiple of 56?
False
Suppose 2*m - 40 - 140 = 0. Let o = 39 - m. Let j = -31 - o. Is 10 a factor of j?
True
Is (22 + 1/(3/(-6)))*298 a multiple of 64?
False
Let x(h) = 277*h - 1146. Is x(18) a multiple of 67?
False
Suppose 29*d = 20722 - 973. Let f = d - 471. Does 5 divide f?
True
Let t be 4*(0 + (-4)/4). Let j be 2*(-5)/20*t*1. Let d = j - -26. Is 7 a factor of d?
True
Suppose -3*u - 11957 - 173043 = -28*u. Does 37 divide u?
True
Let c(o) = -414*o**3 + 2*o**2 - 18*o - 40. Is 16 a factor of c(-4)?
Tr