 j = 5695 - 2959. Suppose -13032 = -6*r - j. Is 22 a factor of r?
True
Let s(b) = 1135*b + 40. Let x be s(2). Suppose 12*u = 2*u + x. Does 6 divide u?
False
Let c = 176 - 176. Suppose -16*m + 58 + 966 = c. Does 4 divide m?
True
Let p = 176 + -175. Does 17 divide (p/6)/((-8)/(-408))*10?
True
Suppose -j + 10024 = 5*t, 7*j + 3*t + 30018 = 10*j. Is j a multiple of 13?
False
Let y(l) = 65*l**2 - 8*l - 1. Let z(d) = -2*d**3 + 36*d**2 - 2*d + 35. Let x be z(18). Does 6 divide y(x)?
True
Let v(s) be the second derivative of -s**4/6 - 17*s**3/3 - 11*s**2/2 - 27*s. Let r be v(-17). Let d = r - -31. Is 10 a factor of d?
True
Suppose -4*w = -10*w - 1212. Let t = w + 52. Let a = t + 258. Is a a multiple of 27?
True
Let b = 264 - 479. Let q = b - -439. Does 28 divide q?
True
Suppose 0 = -3*k + 3*m + 17661, -3*k + m + 6039 + 11630 = 0. Does 10 divide k?
False
Suppose 2*l = 5*f + 26, -2*f - 30 = -5*l - 7. Let z(g) = 4*g + 63. Let j be z(-11). Suppose -l*b + 55 = 4*d, d - 3*b + 2*b - j = 0. Does 11 divide d?
False
Let d = -158 - -83. Is 11 a factor of (234/15)/((-9)/d)?
False
Let p = 41 + -39. Let b(n) = -50*n - 9 + p*n - 19*n - 5. Is b(-3) a multiple of 17?
True
Is (35/1120*176)/((-2)/(-3684)) a multiple of 11?
True
Let a(h) = 96*h**2 - 130*h - 90. Is a(-10) a multiple of 46?
True
Let h(n) = 2*n**2 + 47*n + 137. Suppose -24 = -16*z + 8*z. Let v(q) = -q**2 - 23*q - 69. Let i(c) = z*h(c) + 5*v(c). Is i(-26) a multiple of 9?
False
Let f(i) = 30*i + 7. Let p be f(13). Suppose -5*k - h + 5*h + 401 = 0, 5*k - p = 3*h. Let s = k - 33. Does 18 divide s?
False
Let u = 322 - 837. Let o = u - -760. Is o a multiple of 6?
False
Let z = -204 + 341. Suppose -m = -0*m - 3*g - 13, 5*m + 3*g - z = 0. Suppose 0 = h - 2*t - m, h - 3 = -t + 13. Is h a multiple of 19?
True
Suppose 21*g = 32*g - 22*g + 9141. Does 6 divide g?
False
Suppose -365 = -z + 5*k, -z + 5*k = 6*k - 389. Let p = z - 75. Does 20 divide p?
False
Suppose 15013 + 5753 = -62*f + 68*f. Does 13 divide f?
False
Suppose 44736 = 30*l - 86514. Is 175 a factor of l?
True
Let p(g) = g**3 - 4*g**2 + 6*g - 1. Let d be p(3). Does 13 divide ((-493128)/(-153))/d - 4/(-34)?
True
Let j(h) be the third derivative of -h**8/20160 + 17*h**7/5040 + h**6/120 - h**5/4 + 15*h**2. Let s(a) be the third derivative of j(a). Is 18 a factor of s(12)?
False
Let m(f) = -537*f + 193*f + 612 - 258 - 308. Is m(-3) a multiple of 50?
False
Suppose 4*y - 2*y = 4*h + 350, h = -4. Is y/3 - (4 + 13/(-3)) a multiple of 56?
True
Suppose -10 = -2*b + 4. Suppose 532 = b*m + 196. Is 24 a factor of m?
True
Is -1 - -23848 - (12 + -10)*(0 - -3) a multiple of 16?
False
Suppose 2*k = -2*k - 2*o - 164, o = k + 35. Let h = k + -31. Let f = h + 75. Is f a multiple of 2?
False
Is 15092*((-795)/(-30) - 25) a multiple of 44?
False
Let z = 111 - -86. Suppose -3*x = -s - 153 - z, 0 = 2*s + 4. Does 4 divide x?
True
Let b be 4/18 - 12/(756/(-175)). Suppose 5*r - 663 = b*p - 2152, 2*p = -3*r + 961. Is 64 a factor of p?
False
Suppose 0*x + 4*x - 684 = -2*c, 4*x - 678 = c. Does 20 divide (x/(-15))/(-1*(-1)/(-30))?
True
Does 71 divide (-84)/(-140) + 8502/30?
True
Suppose -7*b + 203676 = 9*b - 30676. Is 151 a factor of b?
True
Let a(n) = -11*n**2 + 3*n - 40. Let x(g) = -20*g**2 + 6*g - 80. Let d(y) = 11*a(y) - 6*x(y). Does 5 divide d(-7)?
False
Does 93 divide (126/56)/((-30)/(-127720))?
True
Suppose -5*p + 24712 = 2*t, -7*t - 3*p = -11*t + 49320. Does 48 divide t?
True
Let q(t) = t**2 - 6*t - 44. Let m be q(11). Is (m - 858)*(-2)/7 a multiple of 22?
True
Let l(a) = -a**3 - 15*a**2 - 23*a - 13. Let x = -494 + 479. Does 30 divide l(x)?
False
Let y(a) = -112*a + 39. Does 4 divide y(-55)?
False
Let z(t) = -174*t + 482. Does 20 divide z(-7)?
True
Suppose -3*t = -15 - 9. Suppose 320 = -3*a + t*a. Is a a multiple of 8?
True
Let s be (-14)/2*(2 + 51/(-21)). Suppose s*x - 124 = -2*y + 18, 4*y = 2*x + 252. Is 34 a factor of y?
False
Let s = -236 + 266. Let b(w) = w**3 - 30*w**2 + 7*w + 63. Is b(s) a multiple of 59?
False
Suppose 2*t - 5*j = 30, 6*t - 87 = 3*t - 3*j. Suppose -23*w = -t*w + 478. Is w a multiple of 9?
False
Let n(i) = 30*i - 1430. Does 26 divide n(91)?
True
Suppose 3*a - 11 = -62. Suppose -442 = -4*y - 5*w, -12*w - 349 = -3*y - 7*w. Let g = y + a. Does 9 divide g?
False
Let v(q) = 167*q**2 - 103*q + 45. Is 75 a factor of v(-6)?
True
Let z = 11890 + 7453. Is z a multiple of 17?
False
Suppose -549 - 435 = -8*p. Does 26 divide (-9)/((21/p)/(-7))?
False
Suppose -5*y - 855 = -a + 2826, -7*a - 2*y + 25989 = 0. Is 45 a factor of a?
False
Suppose 4*w + 5*o - 11 = 2*w, -4*w = o - 13. Is 16 a factor of 76/(-6)*-9*5/w?
False
Let m(h) = -3*h + 3. Let k be m(-2). Suppose 0 = -k*g + 1127 + 1699. Suppose g = 5*x + 3*i - 112, -x + 96 = -3*i. Is x a multiple of 37?
False
Is 375573/418*(-32)/(-6) a multiple of 6?
False
Suppose 35*m - 52*m + 126412 = 0. Is 11 a factor of m?
True
Let w(j) = -j**3 + 22*j - 2. Let q be w(5). Let k(s) = 2*s**2 + 33*s - 5. Let o be k(q). Suppose -14*g = -o*g - 50. Is g even?
False
Let b = 198 + -110. Suppose 3*o + 73 - 202 = 0. Let q = b - o. Is 15 a factor of q?
True
Let v = -7790 - -14300. Is 115 a factor of v?
False
Suppose 0 = 5*a - 11*a + 4182. Let s = a + -565. Is 7 a factor of s?
False
Let a(l) = 74*l**2 + 2*l - 2. Let g = -261 + 260. Is a(g) a multiple of 10?
True
Let k = -2930 + 4207. Suppose -3*s + 4*v = -v - 3831, s - 2*v = k. Is s a multiple of 81?
False
Let o(s) = 10*s**2 + s - 22. Is o(10) a multiple of 52?
True
Let t = -60 - -56. Let m be 7 + t + (-45)/(-3). Let c = m - -42. Is c a multiple of 15?
True
Suppose 5*j = y - 5098, -y + 3*j + 4486 = -614. Does 21 divide y?
True
Let s(k) = 39*k**2 + 178*k + 282. Is s(-27) a multiple of 24?
False
Let l = -249 - -261. Suppose -l*x = -3087 - 729. Is x a multiple of 7?
False
Suppose -2*h + n = 2*h - 2, -2*h + 5*n + 10 = 0. Does 4 divide 4932/36 - (0/2 + h)?
False
Suppose 5*u = -r + 262, 7*r - 2*r = -3*u + 166. Let c = -3106 - -3145. Let k = u - c. Does 13 divide k?
True
Let s be 0 + 0 - 2 - (6 - 11). Suppose 2*u + 5671 = -f, -6549 - 1959 = 3*u + s*f. Is (-2)/8 - (u/28 + 5) a multiple of 32?
True
Suppose c - 4*o - 159 = 0, 0*c - 2*c - 2*o = -318. Let f = c - 104. Is (-3 - -1 - f)*-1 a multiple of 19?
True
Let u(s) = s**2 - s - 8. Let k be u(4). Suppose 7*c - 2090 = -k*c. Is 38 a factor of c?
True
Let c = -36 + 34. Let a(q) = 3*q**2 + 2*q - 4. Let s be a(c). Let x(j) = -3*j + 17. Is x(s) a multiple of 5?
True
Let j(f) = 1114*f + 7575. Is j(25) a multiple of 13?
True
Let f = 11 + -8. Suppose 4*t + a - 2*a = 0, -4*t + f*a + 8 = 0. Let l(n) = -40*n**3 - n**2 - n - 1. Does 16 divide l(t)?
False
Let b(u) = -153*u**3 - u**2 - 18*u - 75. Is 36 a factor of b(-4)?
False
Let w(d) = d**3 - 19*d**2 + 33*d + 17. Let v be w(17). Suppose -3*h - 8*s + 3*s + 609 = v, h - 195 = s. Is h a multiple of 44?
False
Let n = 7453 + -2176. Does 49 divide n?
False
Let o(l) = -37*l + 128. Let i be o(10). Let q = i + 346. Is q even?
True
Let t(n) = n**3 - n**2 + 3*n - 3. Let a be t(2). Let g(u) = -12 - u**3 - 4*u - 5 + 5*u**2 + 5*u**2. Does 34 divide g(a)?
True
Suppose o - o - 242760 = -102*o. Is 16 a factor of o?
False
Suppose -11*r = 13*r - 9*r - 751035. Does 48 divide r?
False
Let z(h) = -5*h - 115. Suppose -11*f = -3*f. Let c be z(f). Let s = c - -215. Is 11 a factor of s?
False
Let k(y) = y**3 - 4*y**2 - 4*y + 7. Let z be k(3). Let q(a) = -a - 12. Let b be q(z). Suppose 294 = 2*m + b*v, -2*m - 5*v = -7*v - 278. Does 11 divide m?
True
Let m be 3485/153 + 2/9 + 4. Let z be 50/18 - (7 - 195/m). Suppose 0 = h + 5*r + 16, 0 = 3*h + z*r + 5 - 17. Is h a multiple of 9?
True
Let d be 9 + 6 + (2 - 7). Let n be 21/6*-4*d. Let m = 308 + n. Does 29 divide m?
False
Let n(p) = -2607*p - 109. Is n(-1) a multiple of 115?
False
Let u = 173 + -187. Is 11 a factor of 3075/287 + (-4)/u?
True
Suppose -b = 2*z - 926, -32*b + 35*b = -5*z + 2316. Is 6 a factor of z?
True
Suppose 20*g - 95685 - 91315 = 0. Suppose 58*z = 3*z + g. Is z a multiple of 2?
True
Let d(v) = 6*v**3 + v**2 + v. Let s be d(-1). Let t be (s/(-7))/((-3)/21). Does 5 divide (-5 - (-6)/t)*3/(-2)?
False
Suppose 58 = 21*w + 184. Let c = -21 - -12. Let t = w - c. Is 2 a factor of t?
False
Let h(s) = -s**3 + 90*s**2 - 124*s - 722. Is h(88) a multiple of 2?
True
Let q(p) = -13*p**2 + 33*p - 2