934)/(-3) + 16/6)?
True
Let s be -2*(3 + (-27)/6). Let q = -8 - -8. Suppose q = -2*n - v - 1, -n + 18 = -s*v + 1. Does 2 divide n?
True
Suppose 310*s - 299*s - 32483 = 0. Is 29 a factor of s?
False
Suppose 8*o + 206 = -402. Let x be ((-30)/24)/(-1 - 77/o). Let y = x - -133. Is 11 a factor of y?
False
Suppose -4*n - 25 = 6*i - i, 10 = -2*i + n. Let h(u) = -u + 23. Let w be h(i). Suppose -5*a + 233 = 4*s, 5*s - 316 = -3*a - w. Is 13 a factor of s?
False
Let a = 3839 - 1708. Is a a multiple of 23?
False
Let i = 294 + -290. Suppose -3*w + 1376 = 2*c + 2*c, -3*c - 1843 = -i*w. Does 10 divide w?
True
Let j(v) = v + 23. Let h be j(-20). Suppose 5*r - 18 = -h. Suppose -4*f - 712 = -5*m, -2*f + f + 434 = r*m. Is m a multiple of 18?
True
Let i = 9 + -34. Let v be (-108)/6*(-301)/129. Let w = v + i. Is w even?
False
Suppose -4*k = 7*h - 12*h - 10782, 2148 = -h + 5*k. Let t = h + 3166. Is 63 a factor of t?
True
Suppose 5*a + 3*d + 1333 = 370, 5*d = -5. Let o = -945 + 618. Let t = a - o. Does 15 divide t?
True
Let f(d) = 73*d + 13. Let w be f(-6). Let z = 678 + w. Does 11 divide z?
True
Suppose -7*s - s = -7*s - 3469. Does 23 divide s?
False
Suppose 58 = 3*x + 5*a, 4*a = 3*x + 8 - 48. Suppose x*b - 888 = 10*b. Is 22 a factor of b?
False
Suppose -k + 1116 = u, 4*k + 24*u = 22*u + 4454. Does 2 divide k?
False
Let h(j) = -j. Let f(u) = 3*u + 53. Let p(v) = -f(v) - 6*h(v). Let i be p(16). Is 19 a factor of (135 - (1 - 4)) + i?
True
Let s = -2823 + 6103. Does 16 divide s?
True
Let t(n) = -n**3 - 3*n**2 + 10*n + 29. Let u be t(-4). Suppose f = -6*a + u*a + 96, -5*f - a + 480 = 0. Does 16 divide f?
True
Suppose 3*m = 4*b + b - 5120, m - 3058 = -3*b. Suppose -k - 2*l + 511 = 0, -2*k - 7*l = -2*l - b. Does 27 divide k?
True
Let w(s) = -2*s**3 - 4*s**2 + 15*s - 28. Let b be w(-8). Suppose 2*u - 3*o = b, -2*u + 0*u - 3*o + 608 = 0. Is u a multiple of 53?
False
Let m = 4517 - -19180. Does 9 divide m?
True
Let h(d) = -13*d + 56. Let j(o) = -40*o + 167. Let a(y) = 8*h(y) - 3*j(y). Does 23 divide a(22)?
True
Let b be -3 + 2 + 5 - 3. Let h be b + -1 + -29 - -3. Is 22/(-143) + (-2110)/h a multiple of 9?
True
Let c(y) = -38*y - 1. Let u be c(1). Let r = 2662 + -2682. Is 7 a factor of u*(-6)/8 + 5/r?
False
Suppose 14 = 4*w + 3*w. Suppose w*d = m + 88, 3*d + m + 21 = 143. Is 18 a factor of 498/14 + d/98?
True
Is (-552)/1012 - (2 - (-184520)/(-11)) a multiple of 57?
False
Suppose -c - 17 - 2 = 4*g, -4*g = -3*c - 57. Let n = c + 110. Is 13 a factor of n?
True
Let s = -12 + 7. Suppose x - 18 = -2*x + 3*u, 0 = 4*x - 3*u - 24. Is 17 a factor of (17 + s)/(x/51)?
True
Let l = -3 + 66. Let d = l + -58. Is -4 + 212/(d + -1) a multiple of 19?
False
Let i be 4 - (0 + 2/(-1) + 2). Suppose -4*u + 152 = i*g, g - 6*u = -3*u + 34. Is g a multiple of 37?
True
Suppose 40*d = 37*d + 33. Suppose -d*y = -73 + 18. Suppose y*z = z + 608. Is z a multiple of 39?
False
Let r(m) = 2*m**3 - 17*m**2 - 22*m + 37. Let o be r(19). Suppose -o = -18*y - 12*y. Is 40 a factor of y?
True
Suppose 5*o - 530 = -v, o = -2 - 0. Is 5 a factor of v?
True
Suppose 2*n = -4*i + 667 + 103, 5*n = 2*i - 379. Is 4 a factor of i?
True
Suppose -11*p = -6*p. Suppose -i - 87 = -w + i, p = 4*w + 2*i - 388. Suppose -w = -2*j + s, 135 = 3*j - 2*s + 3*s. Is 23 a factor of j?
True
Suppose -38*u = 21*u + 8*u - 102845. Does 6 divide u?
False
Suppose -5*c = -c + 7*c. Suppose c*a + 6*a = -738. Let h = -97 - a. Does 10 divide h?
False
Is 171 a factor of (3/((-18)/68) - -5)*-81?
True
Suppose -4*m + 5*c = -4, -3*c = 3*m - 35 + 5. Let u(q) = q**2 - 12*q + 5. Let x be u(m). Let k = 67 + x. Is k a multiple of 16?
False
Suppose -116*o - 111*o + 214*o = -181415. Is 5 a factor of o?
True
Let k(d) = d**3 + 7*d**2 + 14*d + 2. Let w(v) = v**3 - 6*v**2 + 2*v + 11. Let h be w(5). Let z be k(h). Is 10 a factor of ((z - -4)*1)/(2/(-40))?
True
Suppose 0 = -11*x + 15*x - 16. Suppose -5*m + 6 = a - 7, -4*a - x*m = -20. Suppose j - u - 10 = 0, 2*u + 30 = a*j - 2*u. Is 3 a factor of j?
False
Let p = -331 + 525. Let t = p - -227. Is 27 a factor of t?
False
Let q = 103 + 2. Let g(k) = -2*k**3 + 2*k**2 + k. Let l be g(2). Is (-2 + (-64)/l)/(5/q) a multiple of 26?
True
Suppose 3*r - 6 = r - 2*u, 2*u + 24 = 4*r. Suppose r*j - 4*w - 12 - 1499 = 0, 2*j = -2*w + 590. Suppose -6*v + 25 = -j. Is v a multiple of 17?
False
Let p(l) = -l**3 + 2*l**2 - 4*l + 5. Let u be p(2). Let v be u*6/27*-3*122. Suppose 4*f - f - 390 = -3*s, 2*s = 2*f - v. Does 31 divide f?
False
Let c(j) = -j**3 - j**2 - 6*j + 47. Let f be c(4). Suppose -3*s - 296 = -2*q, s - 3*s - 198 = -q. Let p = f - s. Does 9 divide p?
False
Let m(o) = -10*o + 120. Let l(w) = w + 3. Let j(c) = -12*l(c) + m(c). Is 8 a factor of j(0)?
False
Let k = -10853 + 20214. Is 11 a factor of k?
True
Suppose 4*k + 5 = -c + 184, 4*c = 3*k - 158. Suppose 50*y - 160 = k*y. Does 40 divide y?
True
Let h be ((-2)/6 - (2 + -2))*-477. Suppose -l - 4*p - h = -581, -3*l - 4*p = -1242. Suppose 7*r - 4*r - l = -4*z, 96 = z + 4*r. Is z a multiple of 26?
True
Let d be (-1)/((-2)/16240*2). Is 1/(-3) - (d/(-21) - 3) a multiple of 13?
False
Suppose 3*f = 5*p + 15, -4*p - 40 = p + 2*f. Suppose 2*j = 2*n - 4, -3*n - 3*j + 16 = -8*j. Does 5 divide p/(-3) + n + 11?
True
Suppose 4*h - 2*b - 25 = 17, 5*h = 3*b + 55. Suppose 2*o = 2, -h*q + 7*q = -5*o - 913. Is 51 a factor of q?
True
Let w be 726/45 - (-32)/(-240). Suppose w*g = 12*g + 2376. Is 18 a factor of g?
True
Let x be (10/3)/((-18)/(-27)). Suppose -4*m + 158 = x*v, 5*v - 98 = 2*v - 4*m. Suppose v = t + 6. Is 6 a factor of t?
True
Does 17 divide (70 + 1*-1)/((-2001)/(-11339))?
True
Suppose -4*v + i + 576 = 0, -4*v - 2*i + 144 = -3*v. Let g(l) = -99*l + 5*l - v*l. Does 17 divide g(-1)?
True
Suppose -4*i = -3*w - 20, -i - 2*w + 5 = -w. Suppose 0 = -r + 6*y - y + 44, 5*r - i*y - 260 = 0. Is 27 a factor of r?
True
Let y(g) be the third derivative of g**4/12 - g**3/3 + 19*g**2. Let n be y(3). Suppose n*m - 10*m + 420 = 0. Is 14 a factor of m?
True
Let t(f) = f**3 - 2*f**2 + 9*f - 15. Let k be t(4). Suppose -50*y + k*y = 594. Is y a multiple of 3?
True
Suppose 16*c - 1045 + 341 = 0. Let p(k) = -k**3 - 2*k**2 + 3. Let h be p(-3). Suppose 0 = -3*r - 3, -h = j + 4*r - c. Is 4 a factor of j?
True
Let p = -197 + 657. Let l = 874 - p. Is 6 a factor of l?
True
Let n be (10*3 - -2) + (-6 - -7). Let d = n + -31. Does 49 divide d*(-2 + -44)*-2?
False
Let q = 19813 - 11007. Is q a multiple of 167?
False
Let t(o) = o**3 + 31*o**2 + 39*o - 55. Let l be t(-30). Suppose 174 = 2*w - 3*w - 3*r, -2*w = 5*r + 347. Let d = w - l. Does 18 divide d?
False
Let r = 8 - 2. Suppose r*c - 70 = -c. Suppose -c*g = 402 - 1642. Is 22 a factor of g?
False
Suppose -7*h + a - 101 + 738 = 0, -367 = -4*h + a. Does 7 divide h?
False
Suppose 7*m - 2*m = -2*w, 0 = -2*w. Suppose m = f + 1 - 2. Does 24 divide (f + -1 - 4) + 35?
False
Suppose -3*u - w + 78420 = 0, 2*u - 16937 = -4*w + 35353. Does 5 divide u?
False
Suppose 6*n - 15832 = -2*r + 4732, 2*n = 3*r - 30912. Does 239 divide r?
False
Let o = -33 + 35. Let y be o + -4 + 695 + 3. Is 6/9 + y/9 a multiple of 26?
True
Let s(y) = 15*y + 51. Let n be s(7). Is 12 a factor of ((-22)/8)/((18/(-6))/n)?
False
Let x(j) = -2*j + 5. Let c be x(-5). Suppose -13 = -7*s + c. Suppose 616 = 4*m + s*m. Is 18 a factor of m?
False
Let n = -6282 - -11370. Is n a multiple of 48?
True
Let b(i) be the third derivative of 133*i**4/24 - 23*i**3/3 - 7*i**2 + 2. Does 51 divide b(3)?
False
Suppose 3*f - 7*f = 16. Is 2/f + 4/(-16)*-5586 a multiple of 15?
False
Let f = 34 - 36. Let v be 184/44 - f/(-11). Suppose -3*i = 4*o - 55, 0 = i - v*o + 6*o - 21. Does 2 divide i?
False
Let y be 21/14 + (-2 - (-5)/2). Suppose -5*i = -0*i + y*n + 357, 3*n - 12 = 0. Let k = -49 - i. Is k a multiple of 12?
True
Let i be (-3)/(-6)*(-2 - 0) - -3. Suppose i*h - 3*u - 115 = 0, 5*h = -4*u + 30 + 200. Is h a multiple of 6?
False
Let n be (-15)/(-2)*52/6. Suppose -1440 = -29*f + 2330. Let h = f - n. Is 9 a factor of h?
False
Let x = 56566 - 35657. Is 7 a factor of x?
True
Let y = -30 + 30. Suppose -10*v = -1020 - y. Is v a multiple of 6?
True
Let i(o) = 2*o**3 + 46*o - 63. Is 15 a factor of i(21)?
True
Let k be (-22)/(-3) + (-3)/9. Is 16 a factor of (-480)/(k/(-56)*4)?
True
Suppose 0 = -5*d + 4*j + 1057, -3*d + 3*j + 711 - 75 = 0. L