tor of 3129/298*(287 - 1) + -1?
False
Let x = 182 - 130. Let t = x + -76. Let b = t + 35. Is b a multiple of 10?
False
Let r(i) = -10267*i**3 - 2*i**2 - 11*i - 9. Does 190 divide r(-1)?
False
Suppose 194*b - 192*b - 2254 = 0. Suppose 3*c + 4*a - 163 = b, -4*a = -2*c + 840. Does 17 divide c?
False
Suppose -12*t + 4*t = -103104. Is t a multiple of 72?
True
Suppose -21*d - 8126 = -55*d. Let u = d - 209. Is u a multiple of 5?
True
Let y(g) = -g**3 - 13*g**2 - 18*g - 27. Suppose -14 = 4*b + 10*b. Let m be b - (-225)/(-21) - 4/14. Is y(m) a multiple of 7?
False
Suppose 3*u = 6, -3628 = -3*h - u - 554. Let f = h + -384. Does 10 divide f?
True
Suppose -2*x + 2*s = 3*x + 80, -46 = 2*x + 2*s. Let o be (-9)/6*(-1068)/x. Let g = o - -128. Is g a multiple of 11?
False
Suppose 0 = z + x + 15, -9*x + 5*x - 9 = z. Let f(y) = -54*y - 204. Is f(z) a multiple of 14?
True
Let z(s) = s**2 + 12*s + 5. Let a(k) = k**2 + 13*k + 6. Let r(j) = 4*a(j) - 3*z(j). Let o be r(-15). Is 10 a factor of (-110)/o + 4/6?
False
Suppose -4*v + 3*t = -122772, 3*v - 27097 = t + 64977. Is 62 a factor of v?
True
Let t(x) = -9*x**3 + 3*x**2 - 93*x - 444. Is t(-8) a multiple of 51?
True
Suppose 0 = -w + 13*w - 63984 + 1608. Does 226 divide w?
True
Suppose -674 = -4*m - q, m - 205 = -5*q - 27. Let t = -147 + m. Does 13 divide t?
False
Suppose 4*n + k - 39985 = 0, -76 + 74 = -2*k. Is n a multiple of 34?
True
Suppose 315 = -4*p + 1375. Suppose 31 + p = 4*x. Let b = 160 - x. Is b a multiple of 18?
False
Suppose 0 = -929*y + 934*y + 1050. Let u = y + 530. Is 16 a factor of u?
True
Let q(g) be the second derivative of 18*g**3 - 33*g**2/2 + 14*g - 6. Is 4 a factor of q(1)?
False
Let r = 29763 + -20653. Does 10 divide r?
True
Suppose 4*n - 17140 = -3*u, -4*u - 108*n + 22890 = -110*n. Is 13 a factor of u?
True
Suppose 57*w = 107*w - 171250. Is w a multiple of 25?
True
Suppose -32*m + 127*m - 261349 - 2789861 = 0. Does 202 divide m?
True
Let p be (-14)/5*35/14. Does 7 divide 1 + 2 + p*696/(-84)?
False
Let l = -8773 + 8839. Is 22 a factor of l?
True
Let y(s) = -s**3 - 6*s**2 + 8*s + 2. Let j be y(-7). Let i(t) = t + 7. Let x be i(j). Suppose -2*m + 16 = 4*q - 102, -2*m + 58 = x*q. Is q a multiple of 15?
True
Suppose -40 = 5*j - 75. Suppose -15*r - j*r = -396. Is r a multiple of 6?
True
Let j be (-1)/((8 - 4)/(-8504)). Suppose -22*n + j + 11778 = 0. Is 14 a factor of n?
False
Suppose 2*k - 8 = 3*j, k = 2*j + 5 - 0. Let r be (-1)/3*(k - 16). Let m(p) = -2*p + 15. Is m(r) a multiple of 2?
False
Let y(p) = -7*p**2 + 15*p + 198. Let i(o) = -6*o**2 + 13*o + 197. Let g(d) = 6*i(d) - 5*y(d). Is 4 a factor of g(0)?
True
Suppose 40*b = 4*c + 39*b - 1661, c - 4*b - 404 = 0. Is 52 a factor of c?
True
Let t(p) be the first derivative of -3*p**4/2 - p**3 + 5*p**2/2 + 2*p + 92. Suppose o + 2 = -0*o. Is t(o) a multiple of 3?
False
Suppose 29*n = 6*n - 28819. Is n*(-4)/22 + 170/935 a multiple of 10?
False
Let q(h) = -122*h - 24. Let y be q(-1). Let t be (-14)/(-21) - 124/(-3). Let n = y - t. Does 10 divide n?
False
Let o = 39 - 26. Suppose -2*d = -5*w - o, 2*w = 4*d + d - 1. Does 13 divide 128 + (12/w - -6)?
True
Let l(s) be the third derivative of -s**6/60 - s**5/5 - 13*s**4/24 - 7*s**3/3 - 72*s**2. Is 8 a factor of l(-6)?
True
Let t(c) be the second derivative of -c**4/12 - 8*c**3/3 + 15*c**2/2 - 6*c + 4. Is t(-14) a multiple of 2?
False
Suppose -111*c + 167266 = 9535. Does 49 divide c?
True
Let x(d) = -8*d**3 + 20*d**3 + 2*d - 2*d**2 - 5*d**3 + 0*d**2 + 4 - 17. Is x(5) a multiple of 52?
False
Let h be 15/(-6)*(-12)/5. Suppose -n = n - h. Suppose 7*w = n*w + 780. Does 39 divide w?
True
Is -3 + (-114)/(-39) + 1068782/338 a multiple of 21?
False
Let h(j) = 14*j + 73. Let m be h(-6). Let q = 200 - m. Does 3 divide q?
False
Let q(l) = -4*l**3 + 1. Let v be q(-1). Let b(n) = 583 - 579 - 2*n + n**3 - 5*n + 2*n**2. Does 29 divide b(v)?
False
Suppose 837 = -5*x + 1237. Suppose 3*k - 15 = 4*y - y, 3*y + 11 = k. Suppose -x = -k*g + 70. Does 15 divide g?
True
Let o = 36 - 31. Suppose -2*a + 2*c + 1348 = -a, o*a - 6749 = c. Is 75 a factor of a?
True
Does 38 divide (19 - 0/3)/((-188)/(-144948))?
False
Suppose x - 4*m = -9*m + 535, -2*m + 526 = x. Is x/12 - 8/(-12) a multiple of 22?
True
Let v(w) = -2*w**2 - 32*w + 131. Let o be v(-25). Let j = o - -761. Is j a multiple of 40?
False
Let v(d) = -d**3 + 23*d**2 + 25*d + 15. Let a be v(24). Suppose -a*c - 6 = -42*c. Let g = 77 - c. Is g a multiple of 48?
False
Suppose -129633 = -26*a - a + 33366. Does 27 divide a?
False
Suppose 67*h + 46*h - 1200744 = -23*h. Is 11 a factor of h?
False
Suppose 0 = l + 3*l - 300. Suppose -l = 3*f - 246. Let r = f + -16. Does 12 divide r?
False
Let d(v) = -v**3 + 6*v**2 + 7*v + 8. Let a be d(7). Suppose i - 4 = 0, 10*j - a*j - 244 = i. Is j a multiple of 2?
True
Let x be 8/9*(-9)/(-2). Let q be 103/x*(-2 + (6 - 0)). Is 24 a factor of (q/(-2))/((-13)/(-2) + -7)?
False
Suppose 64*x + 2709 - 2437245 = -599*x. Is 17 a factor of x?
True
Let o be -5 - 0 - (4084 - -11)/3. Let w = 2001 + o. Is 4 a factor of w?
False
Let a(n) = -49*n**2 + 2986*n - 76. Does 102 divide a(50)?
True
Let k be (5/10 + 1)/(-3)*-4. Suppose k*b - 2*f - 567 = -f, 2*b - 4*f - 570 = 0. Is b a multiple of 7?
False
Let z be ((-4)/2)/(4/26). Let o(r) be the third derivative of -r**6/120 - r**5/5 + r**4/3 - 15*r**3/2 - 718*r**2 + 2*r + 1. Is o(z) a multiple of 5?
True
Suppose 17*z + 16200 = 5*n + 22*z, 3*z + 6485 = 2*n. Is 112 a factor of n?
False
Let x(a) = a**2 + 14*a - 81. Let k(b) = -b**2 - 14*b + 81. Let z(p) = -5*k(p) - 4*x(p). Does 8 divide z(-31)?
False
Let g(n) = 3049*n**3 - 22*n + 44. Is 9 a factor of g(2)?
False
Let q = -3810 + 5652. Does 63 divide q?
False
Let d = -28179 - -39605. Is 6 a factor of d/87 - 2/6?
False
Suppose 522 = -42*h - 486. Does 44 divide (453/9 - 0)/((-8)/h)?
False
Let i(c) = -14 + 130*c - 3 + 21. Is i(2) a multiple of 22?
True
Let p be 4 + -3 + 2 - -155. Suppose -p*x + 153*x = -980. Is x a multiple of 16?
False
Suppose -32248 - 88712 = -56*x. Is 72 a factor of x?
True
Suppose -3*l - 272 = l. Let g(d) = 8*d + 96. Let m be g(0). Let z = m + l. Is z a multiple of 14?
True
Let f(l) = l**2 - 6*l + 5. Let r be f(7). Let o be (-2)/((r/10)/(-3)). Suppose o*g = -4*k - 168 + 760, 4*g - 490 = 5*k. Does 15 divide g?
True
Suppose -29*y = 2*y - 186. Suppose -16 = -o + y. Is o a multiple of 9?
False
Let g be (2 + 5 + -6)*-531. Let d = 977 + g. Is d a multiple of 30?
False
Let v = 1210 + 1550. Does 6 divide v?
True
Let k(y) = 1122*y**2 - 17*y + 1. Is k(-4) a multiple of 18?
False
Suppose -15 = -5*d, 7*b - 12*b + 23355 = 5*d. Is b a multiple of 7?
False
Suppose -13 = -4*p + 7, 2096 = 2*r - 2*p. Is r/2 + 12/(-24) a multiple of 18?
False
Let z(t) = t**3 - 3*t**2 - 47*t - 29. Does 34 divide z(9)?
True
Suppose -266*t = -525*t + 267*t - 128424. Is 23 a factor of t?
False
Suppose 30*s - 2*v = 28*s + 34724, -34724 = -2*s + v. Does 11 divide s?
False
Suppose -4*s = 3*l + 22, 5*s = 7*l - 3*l - 43. Does 71 divide (253 - 1) + (-4)/28*s?
False
Suppose k - 36 = -4*o - k, -3*k = -3*o + 27. Let p(u) = -u + 11. Let g be p(o). Suppose d + 2*b - 115 = 0, -4*d - 3*b = g*b - 475. Is d a multiple of 16?
False
Suppose 0 = 45*i - 8424 - 17586. Let o = 499 + i. Is 68 a factor of o?
False
Let d(p) = -2*p**3 - 13*p**2 - 9*p - 2. Let q be d(-6). Let t(y) = 12*y - 140. Is t(q) even?
True
Suppose 5*x = -5*x + 30. Suppose o + 50 = -5*k, x*k - 5*o + 16 = -14. Let q = k + 205. Does 39 divide q?
True
Suppose -61 - 69 = -13*k. Suppose -14 = k*b - 84. Let z = b + 26. Is z a multiple of 33?
True
Let q(o) = 212*o + 574 - 305 - 289. Is 11 a factor of q(2)?
False
Let w(i) = 2950*i + 2086. Is w(9) a multiple of 33?
False
Let q(m) = -3139*m - 1209. Is q(-6) a multiple of 25?
True
Suppose 46*z = z - 45*z + 769050. Does 248 divide z?
False
Suppose 0 = 3*p + 6 - 18. Suppose p*w - 20 = 0, 5*q + 30 = w + w. Let z(x) = -5*x - 12. Does 2 divide z(q)?
True
Let t be 4*1/(-2)*(-67 - -6). Let l = 161 - t. Is 13 a factor of l?
True
Suppose -1853 + 6623 = -18*k. Let c = k - -421. Does 4 divide c?
True
Suppose -31*f = -27*f, -3*d = 9*f - 4422. Is d a multiple of 26?
False
Let h(n) = -10*n**3 - 57*n**2 - 67*n - 13. Does 7 divide h(-8)?
True
Suppose 6*j + 10 = 7*j. Suppose -5*x + 1870 = 4*y, 15*x = j*x + 2*y + 1870. Does 17 di