8*q - 262. Let w(s) = -26*s + 394. Let k(y) = 8*j(y) + 5*w(y). Is k(13) a multiple of 8?
True
Suppose 2*b - 4747 = p - 494, b - 3*p = 2114. Suppose 5*n - 3*v + 2*v - 2677 = 0, 0 = -4*n + 5*v + b. Is 67 a factor of n?
True
Let z = -257 - 73. Let m = 121 - z. Is 22 a factor of m?
False
Let i(s) = -7*s**2 + 0*s - 87*s**3 + 88*s**3 - 9*s + 12. Let q be i(8). Suppose 6*z + q*z = 1200. Is z a multiple of 16?
False
Let i = -10411 - -12637. Is i even?
True
Let h be 1*35/(8 + -1). Suppose 505 = h*x + 2*p - 880, -x + 277 = 2*p. Is 36 a factor of x?
False
Let s(m) = 62 - 114 + 69 - 10*m + m**2. Is 6 a factor of s(10)?
False
Let t = 4286 - -3799. Does 77 divide t?
True
Let p(l) = -455*l - 285. Is 50 a factor of p(-7)?
True
Suppose 18*s + 31944 - 170112 = 0. Is s a multiple of 76?
True
Suppose s - 13 - 7 = -2*j, -4*s - 2*j = -80. Suppose -4*d - s = 0, -5*v - 3*d = -194 - 2356. Is v a multiple of 9?
True
Suppose 0*n + 3*n = 48. Suppose 2*g - 2*a = -26, a = 5*g + n + 49. Let i(m) = m**3 + 13*m**2 - 3*m - 12. Does 5 divide i(g)?
False
Suppose -8435 = 63*n + 322. Let o be (-1026)/10 - (-2)/(-5). Let x = o - n. Does 5 divide x?
False
Suppose -4*i = 2*h - 332, -i + 387 + 242 = 4*h. Suppose 10*b + h = -104. Is (-5710)/(-65) + 5 + (-4)/b a multiple of 33?
False
Let d(b) = 3 + 6*b - 5*b**2 + 1 + 4*b**2. Suppose -2*j - 3*x + 510 - 496 = 0, -5*j + 18 = -x. Is 3 a factor of d(j)?
True
Suppose -88 + 49 = -3*z. Let l(w) = -w**3 + 18*w**2 - 9*w + 7. Is l(z) a multiple of 15?
True
Suppose -122516 = -148*c - 90*c + 20*c. Does 2 divide c?
True
Suppose 40*o = 39*o + 1842. Suppose -12*l = -9*l - o. Suppose -11*f + 35 + l = 0. Is 7 a factor of f?
False
Suppose 6*n - n + 26 = -3*a, -3*n = -3*a + 6. Let w = 13 - a. Does 9 divide 155 - (-4 - w/(-3))?
False
Let v(k) be the third derivative of -k**5/60 + 5*k**4/24 + 7*k**3/6 + 19*k**2. Let h be v(-4). Does 3 divide (5 + h/5)/((-4)/30)?
True
Suppose -194*i + 2671000 + 4575546 = 478274. Is i a multiple of 98?
True
Suppose -36 = -29*d + 17*d. Suppose 242 = x - 5*n, 4*x + 2*n = d*x + 235. Is x a multiple of 7?
False
Let b = 7393 + -3998. Does 35 divide b?
True
Let j(t) be the third derivative of 1/60*t**5 + 32*t**2 + 2*t**3 - 11/24*t**4 + 0*t + 0. Is 9 a factor of j(15)?
True
Let o = -39 + 37. Let n be (1 - o)*4/3. Suppose -5*p = -n*i - 461, 9*p - 433 = 4*p - 3*i. Does 48 divide p?
False
Suppose -2*r + 110180 = 2*h + 3*h, -3*r = -h + 22036. Does 14 divide h?
True
Let a(k) = 2536*k + 57. Is 8 a factor of a(2)?
False
Let w(y) = 3*y**2 - 100*y + 33. Let d be w(33). Suppose 1194 = -d*s + 6*s. Is s a multiple of 3?
False
Let d(i) = 8*i + 7*i + 4*i - 31*i**2 + 9 + 43*i**2. Is d(-7) a multiple of 58?
True
Let o(m) = 539*m + 423. Let c be o(32). Suppose -13*d = -54*d + c. Is 9 a factor of d?
False
Let w(v) = -168*v - 62. Let x(g) = -2*g. Let b(s) = -w(s) + 3*x(s). Is b(1) a multiple of 32?
True
Let w(r) = -r**2 + 64*r - 207. Suppose 6*b - 56 = 190. Is 46 a factor of w(b)?
True
Is 13 a factor of 213/42*86 + (96/(-84) - -1)?
False
Let r = 1722 - 516. Suppose 426 = -5*i - d - 777, -r = 5*i + 2*d. Does 12 divide (-1)/(5/2)*i?
True
Let t be (2*6/(-4))/(-1). Let o(c) = 20*c**t - 36 + 6 - 31*c - 21*c**3 - 28*c**2. Does 13 divide o(-27)?
True
Suppose -3*a - 2*x + 509 = 0, -3*a - 5*x + 2*x = -507. Suppose -2*r + 575 = a. Is r a multiple of 9?
False
Let s = -86 + 67. Is (-4)/(-18) - s/((-1026)/(-23856)) a multiple of 25?
False
Is -15 + -2 + 19 - (-1 - 1919) a multiple of 6?
False
Is 26 a factor of (((-2580)/1161)/(1/3))/(4/(-6246))?
False
Let i(c) be the first derivative of c**4/4 - 7*c**3/3 + c**2 + 47*c - 58. Is 16 a factor of i(7)?
False
Is 15918 + -35*24/(-84) a multiple of 88?
True
Let l(o) = o**3 + 9*o**2 + 641. Let y be l(0). Let f = 927 - y. Does 4 divide f?
False
Let w be (-1 + 1)/(-1 - 1). Suppose -4*d + w*d + 20 = 0. Suppose -d*r = -27 - 48. Does 12 divide r?
False
Let n(q) = -12*q - 96. Let g be n(-8). Suppose -118*z + 114*z + 1116 = g. Is z a multiple of 5?
False
Suppose -34*s - 89653 + 243069 + 190018 = 0. Is s a multiple of 21?
True
Let d be 1400/(-20) + (1 - 2)*-1. Let r = 98 + d. Let m = -4 + r. Is m a multiple of 5?
True
Suppose -f - 2*h + 12084 = 0, -3*f + h = -29191 - 7054. Is 6 a factor of f?
False
Let p be (106/6)/(6/18) + 4. Let i(w) = 3*w + 9. Let b be i(7). Let y = p - b. Is y a multiple of 4?
False
Let p(u) = 11*u**2 - 102*u + 2079. Is 48 a factor of p(27)?
True
Suppose 37*o - 23040 = 29*o. Suppose 4*f - o = -5*f. Does 32 divide f?
True
Let p = 5 + -10. Let r(i) = 69*i**2 + 9*i + 8. Let a be r(p). Suppose -5*m = -13*m + a. Is 38 a factor of m?
False
Suppose 0*y = 3*y + 24. Let p = -2 - y. Suppose 0*f = -f + p. Does 2 divide f?
True
Suppose 53832 = -10*k + 15*k + 3*q, 4*k = -3*q + 43065. Suppose -34*y = 3*y - k. Does 43 divide y?
False
Suppose -208*g - 215*g - 607593 = -444*g. Does 11 divide g?
False
Let o = -7219 - -23450. Is 153 a factor of o?
False
Let g(n) = 34*n - 92. Let r(l) = 19*l - 45. Let o(t) = -6*g(t) + 11*r(t). Let y = -1 + 1. Is o(y) a multiple of 20?
False
Let g(u) = 55*u + 88. Let p be (56/21)/(4/6). Is g(p) a multiple of 9?
False
Let j = -199 + 192. Let t(w) = 6*w**2 + 4*w + 52. Does 17 divide t(j)?
False
Suppose 28*y - 1 = 29*y. Let b be -3 - (y - (-12)/(-4)). Let f = b - -77. Is f a multiple of 13?
True
Suppose -4*i = -3*g + 15, 5*g - 25 = -24*i + 19*i. Suppose -4*m + 52 = -3*s, 25 = 2*m + g*s - 27. Is 3 a factor of m?
False
Let x(i) = 3*i**3 + 2*i**2 - 2. Let s be x(-2). Let b = -11765 - -11771. Is 12 a factor of s/12*(-172)/b?
False
Let a(x) = -11*x**2 + 25*x + 106. Let f be a(-18). Is (-3)/(-15) + f/(-10) a multiple of 37?
False
Let b(d) = -10*d - 11. Let s(f) = -29*f - 34. Let q(y) = 17*b(y) - 6*s(y). Let m be q(-5). Is (-1)/m*2 - 282/(-9) a multiple of 7?
False
Suppose -138*g + 127*g = -18766. Let v = g - 1025. Is 30 a factor of v?
False
Suppose -d + 5*d + 84 = 0. Let i = d - -21. Suppose -4*q + q + 396 = i. Does 23 divide q?
False
Let d(u) be the first derivative of 4*u**3/3 - u**2 - 110*u + 11. Is d(-8) a multiple of 27?
True
Let s be 8/20*10 - (0 - -84). Let t = s - -88. Let w(v) = v**2 - 9*v + 26. Does 6 divide w(t)?
True
Let b(u) = u**3 - 8*u**2 - 15*u + 33. Let l be b(8). Suppose -a + 0*a = -127. Let v = a + l. Does 16 divide v?
False
Suppose 0 = 13*r - 64266 - 128803 + 22379. Is r a multiple of 13?
True
Is 37 a factor of 2575 + 3 + (-208)/16?
False
Let g = -194 + 9138. Is 52 a factor of g?
True
Let k(h) = h**3 - 4*h**2 + 6*h - 22. Let x be k(4). Is 1*-1*(-2478)/12*x a multiple of 7?
True
Let f be (-57)/7 - (-3)/21. Let p(d) be the first derivative of -5*d**2/2 + 12*d - 45. Does 5 divide p(f)?
False
Suppose 4*y = 4*a - 96, 5*y + 61 = 4*a - 34. Suppose v = 6*v + a. Let p(f) = -f**3 + f**2 - 11*f - 13. Is p(v) a multiple of 8?
True
Suppose -439*m + 727153 = -2544275. Is 6 a factor of m?
True
Suppose -3*y - 2*t = -13 + 7, 2*t = 2*y + 6. Suppose -i + 15 + 182 = z, y = 2*i - 3*z - 399. Is 3 a factor of i?
True
Let g(y) = -2*y**3 + 18*y**2 + 60*y - 16. Is g(-9) a multiple of 10?
True
Let p(s) = s**3 + 13*s**2 - 12*s + 29. Let h be p(-14). Does 20 divide h/(-4) + 7684/16?
True
Suppose 27*r = -4 + 4. Suppose r = -14*g - 16*g + 5070. Is 13 a factor of g?
True
Suppose -5*c + 28 = 4*h - 8*h, -3*h = 4*c - 41. Suppose -c*j + 10 = -14. Suppose -j*x + 21 = -3. Is x a multiple of 8?
True
Let i(o) = o**3 - 7*o**2 + o - 8. Let l be i(7). Let b be ((-27)/(-72))/(l/(-8)). Is 16/(-24)*(-108)/b a multiple of 6?
True
Suppose 15 = 3*r, 5*o + 4*r = -r + 55. Let d be (o/6 + -6)/(1/5). Is (d/2)/(((-5)/(-10))/(-1)) a multiple of 5?
True
Suppose -2*q - 5*a + 28 - 7 = 0, -5*q + 3 = -4*a. Suppose q*m + 5*g = 3448, -2*m + 770 = 5*g - 1527. Suppose -359 = 11*s - m. Is 24 a factor of s?
True
Let s = -88 - -413. Let t = s - 181. Does 12 divide t?
True
Let m = -942 + 902. Suppose -365 = -5*f + 5*u, -28 = -f + 5*u + 57. Let r = m + f. Does 5 divide r?
True
Suppose 9*s + 474 = 1842. Let x = s - -63. Is x a multiple of 43?
True
Let m = 5498 - 12182. Is 18 a factor of 45/60*m/(-9)?
False
Suppose 26*c - 56 = -4. Suppose -2668 = -c*h - 796. Does 13 divide h?
True
Suppose -x = 4, -3*x + 28810 = 3*g - 11465. Is g a multiple of 12?
False
Suppose -62*o + 83313 + 66045 = 0. Is o a multiple of 73?
True
Suppose -73*f = -76*f, 3*f = -5*m + 906