 - 1890, j*h = -20. Does 85 divide o?
True
Suppose -8*q + 176 - 136 = 0. Suppose 2*k - q*j - 13 - 311 = 0, -4*j + 342 = 2*k. Does 36 divide k?
False
Let r(b) = 15*b**2 - 9*b + 4*b**3 - 18*b**2 + 29*b + 3*b. Does 25 divide r(4)?
True
Let t = 34778 - 2796. Is 64 a factor of t?
False
Let c = -14921 + 38578. Is 205 a factor of c?
False
Let z = -1765 - -1048. Let m = z + 1261. Is m a multiple of 32?
True
Suppose 0 = -135*l + 49*l + 261440. Is 8 a factor of l?
True
Let b(m) = 311*m**2 + 15*m - 32. Is 4 a factor of b(3)?
True
Let x be 682/20 - 40/400. Is (-14)/(-2) - (-563 + x) a multiple of 38?
False
Let h = -39 - -42. Suppose 80 = 2*k + h*k. Suppose k*i - 17*i = -25. Is i a multiple of 4?
False
Let s = 30352 + -18014. Is s a multiple of 62?
True
Let j be 24/(-8) + (-80)/(-1). Suppose o + 3*w = 73, 0 = -o - 0*w - w + j. Suppose -86 = -3*v + o. Is v a multiple of 11?
True
Let r = -982 - -570. Let k = r + 644. Is k a multiple of 4?
True
Suppose 2987*u - 2985*u = 1956. Does 3 divide u?
True
Let u(t) = t**2 - t - 5. Let y be u(6). Let f(v) = 50*v + 560. Let z be f(-11). Suppose r + z - y = 0. Does 15 divide r?
True
Is 3 a factor of ((-3726)/45 - 0)/(11/(-55))?
True
Suppose 5*a + 3432 = 8*a. Suppose -13*r - 5*p + 572 = -11*r, -2*p + a = 4*r. Is 26 a factor of r?
True
Let k be (4/10)/(2/(-10)) + 4. Let y be (3 - 0) + 0 + k*9. Is 1*y + (6/2 - 1) a multiple of 23?
True
Suppose -21*r = 22*r + 688. Is 13 a factor of ((-228)/18)/((r/(-9))/(-8))?
False
Let d(v) be the first derivative of 3*v**2/2 - 21*v - 5. Let w be d(7). Suppose q - 2*a - 32 = -w, -2*q + 39 = a. Does 22 divide q?
True
Let f(p) = -p**2 + 13*p - 20. Let s be f(11). Suppose -2*n - s*n = -952. Suppose 6*a - n + 10 = 0. Is a a multiple of 7?
False
Let j = 19 + -9. Let x be (9 - 8)/(1 - 8/j). Suppose 1610 = x*u + 2*u. Is 24 a factor of u?
False
Let u = 17622 + -12875. Does 47 divide u?
True
Let g(z) = -57*z + 21. Suppose -86 = 3*j - 65. Is 60 a factor of g(j)?
True
Let j = 348 + 1896. Is j a multiple of 62?
False
Let a(v) = 45*v - 46. Let n be a(9). Let l(g) = -50*g - 3. Let o be l(3). Let t = n + o. Does 19 divide t?
False
Suppose -5*m - 11*c - 2 = -8*c, 2*m - 24 = 5*c. Suppose -6 = -m*s, -b + 131 = -0*s - 3*s. Is b a multiple of 28?
True
Suppose -20225 = -33*r + 31*r + 3*q, -3*q = 4*r - 40477. Is r a multiple of 67?
True
Does 14 divide (-1 + 2 - (7686 - -1))/(7/(-7))?
True
Suppose -5*m + 9*m - 8 = 0. Suppose 0 = -m*z - 5*z - 504. Let v = z + 200. Is v a multiple of 14?
False
Let w(m) be the first derivative of -1/2*m**2 - 28 + 26*m. Is 15 a factor of w(11)?
True
Suppose -6*x = -3*x + 6. Let g be (2/(-2) - 49)*x. Is 16 a factor of 3/(-5) - (-7260)/g?
False
Suppose -3*y = -5*z - 964, -2*z - 65 = 2*y - 681. Let c = y - 249. Is 32 a factor of c?
True
Is 51 a factor of (136/(-10))/((-18)/3105)?
True
Suppose -6*k + 53 = -121. Let q = k - 26. Suppose -36 - 21 = -3*n - 2*r, 0 = -5*n + q*r + 114. Is n a multiple of 16?
False
Let z(f) = 7*f - 117. Let g be z(17). Suppose g*l + 4*h - 2542 = -0*l, h = 5*l - 6344. Is l a multiple of 21?
False
Does 60 divide (-354)/18*(-177)/2 - (-73)/(-146)?
True
Suppose 5*h - 5*p = 85, 3*h - p - 55 = 4*p. Suppose -h*i + 6*i = -1062. Let n = i - 55. Is 21 a factor of n?
True
Is (-15019)/(-3) + 604/(-453) a multiple of 143?
True
Let u(n) = 2 + n**3 - 4*n + 32*n - 42*n**2 + 26*n**2. Let h be u(14). Does 4 divide ((-15)/h)/(3/(-10))?
False
Suppose 0 = 5*o - 28 + 18. Suppose -s = -3*x - 1042, o*s - 2*x = 7*s - 5244. Suppose -3*g = -2*j - s, 4*g + 0*j - 1396 = 3*j. Does 16 divide g?
True
Let o(i) = -i**3 + 45*i**2 - 52*i - 106. Does 165 divide o(40)?
False
Suppose -9*o + 14 = -13. Let s be (-4 + 128/3)*o. Does 7 divide (2*s/8)/1?
False
Let a be (-2)/(-10) + 5/(-25) - 11. Let f(z) = 8*z**2 + 50*z - 11. Does 37 divide f(a)?
True
Let j(n) = 97*n**2 - 135*n + 882. Does 10 divide j(7)?
True
Suppose 4*w + 47 = 7. Is 19 a factor of 1076 + (-100)/10 - w/(-2)?
False
Does 48 divide 20/(-14 + 18) + 1864 + 3?
True
Let k be ((-390)/(-9))/(2 + (-8)/6). Let p = k + -62. Suppose p*a + q - 84 = 0, 0 = -2*q - 6 - 0. Does 7 divide a?
False
Let k be 15/4 - 18/24. Suppose 2*w + 5*v = 4*w - 214, 4*w = -k*v + 454. Is 16 a factor of w?
True
Let h be (-94)/(-705) - ((-16)/30)/(-4). Suppose h = 17*p - 27*p + 6030. Is 9 a factor of p?
True
Is (-187 + 230)/(((-2)/(-69))/((-2)/(-3))) a multiple of 9?
False
Suppose -5*x = 2*k - 195608, -4*k + 98368 = 3*x - 19008. Is x a multiple of 80?
True
Suppose x - 4*w = 24, 5*w + 9 = x - 20. Suppose -23 = -5*y + a + 20, -x*a - 28 = -4*y. Does 5 divide y?
False
Let p(h) = h**3 + 8*h**2 + 14*h - 11. Let u be p(-7). Let n be (u/(-7))/(18/63). Suppose n*r = 24*r + 402. Does 12 divide r?
False
Let m(h) = 7*h**2 + 288*h + 758. Does 111 divide m(-100)?
True
Suppose -6*l + 10*l + 4*h - 616 = 0, 0 = 4*l - 3*h - 588. Is 50 a factor of l?
True
Let p(l) = 19*l**2 + l**3 + 6*l**2 - 5*l - 21 - 23*l**2 + 12*l**2. Is p(-6) a multiple of 27?
True
Suppose -2*t + 4*j = 832, -422 = t - 12*j + 8*j. Let r = -140 - t. Is 9 a factor of r?
True
Suppose 0 = -7*s + 20*s - 299. Suppose s*j = 25*j + 4*g - 166, 2*g - 431 = -5*j. Is j a multiple of 31?
False
Let x(s) = -484*s - 9026. Is 43 a factor of x(-62)?
False
Suppose 2*g = 3*g + 4. Is -1*(-92 - (10 + g)) a multiple of 17?
False
Let o(m) = -11*m + 416. Let p be o(39). Is (p - 93/(-6))/((-2)/(-136)) a multiple of 5?
True
Suppose -3*q - 170 = -6*q - 2*u, -4*u = 2*q - 100. Let n be (-2)/((-4)/q*-6). Does 42 divide ((-4 - n) + 130/(-4))*-4?
True
Let p(g) = -4*g**3 - 21*g**2 - 127*g - 156. Does 67 divide p(-16)?
False
Let u(v) = -117*v + 1069. Does 130 divide u(0)?
False
Let h(k) be the second derivative of k**5/20 - 11*k**4/12 + k**3 + 15*k**2 - 31*k. Does 40 divide h(13)?
False
Let j = 110 - -162. Suppose 3*o - 25 + 6 = 4*d, -2*o + 6 = 4*d. Suppose o*r - j = -37. Is 9 a factor of r?
False
Let l(g) = 11*g - 19. Let d be l(3). Suppose -q + 101 = 5*k, 11*q - 4*k + 292 = d*q. Is q a multiple of 12?
True
Suppose -34*a - 23590 = 21528. Let n = a - -2383. Is 11 a factor of n?
True
Let c be 1850/6 - 30/(-45). Suppose -2*p - c - 695 = 0. Let l = -307 - p. Does 39 divide l?
True
Let y be (36/(-14)*1)/(38/532). Is 6 a factor of (7 + (-119)/14)*y?
True
Let z = 238 + -238. Suppose z = j - 3*j + 206. Does 14 divide j?
False
Suppose 0 = 23*a - 22*a. Suppose k - 2*h - 81 = a, 0 = -4*k + 3*k - 5*h + 67. Does 4 divide k?
False
Let x be 3 - ((-11)/5 + (-2)/(-10)). Suppose -y - 796 = -4*c, -x*c - y = -c - 788. Is c a multiple of 9?
True
Let p = 27 + -37. Let s be (0 - -3)/(0 + 1). Is (-202)/p + ((-14)/(-5) - s) a multiple of 5?
True
Let q(b) = 2*b**3 + 11*b**2 + 2*b + 3. Let l be q(-6). Let i be 11/4 + l/60. Suppose 2*t - 54 = -2*d, 4*d - i*t - 86 = d. Is 14 a factor of d?
True
Is 11 a factor of (-22528)/(-96)*(-906)/(-8)?
True
Let a be 3 - 0*3/9. Let s = a - 738. Is (-12)/(-16) - s/12 a multiple of 31?
True
Let o be 4*2/12*3. Suppose 6 = -o*f, 2*f = 4*l - 3*l - 14. Suppose -l*z + 360 = z. Is 40 a factor of z?
True
Let t = 29 + -32. Let u be 10/(-2)*(-4 - t). Suppose -5 + 70 = u*q. Is 13 a factor of q?
True
Let r = -97 - -102. Let z(j) = 7*j**2 + 10*j**2 - 4*j**2 - 3 + r*j**2 + 8*j. Is z(-3) a multiple of 27?
True
Suppose -o - 24*o = -15*o - 36260. Does 74 divide o?
True
Suppose 2*s - 4 = 3*s. Let y(n) = -n - 7. Let u be y(-4). Does 4 divide (28/(-6) + s)*u?
False
Let r be (-11)/(11/(-3)) + (3 - 1). Suppose 4*c + 2*k = -1 + 21, 0 = -4*c - k + 16. Suppose -c*d - 230 = -r*d. Is 8 a factor of d?
False
Let z(n) = -n**2 + 5*n - 6. Let g be z(3). Suppose g = -5*c - 4*b + 3*b + 16, -13 = -5*c + 2*b. Suppose c*d + 2*v - 229 = v, 5*v - 309 = -4*d. Does 35 divide d?
False
Let i(j) = j**3 + 46*j**2 + 45*j + 761. Is i(-44) a multiple of 10?
False
Let j be 51/34 + ((-757)/2 - 1). Let r = j + 531. Is 9 a factor of r?
True
Suppose 0 = -2*f, 11*f - 2*f - 4*f = -t + 7853. Does 90 divide t?
False
Suppose 191422 = 155*k - 595203. Is k a multiple of 20?
False
Suppose -5*r + 26718 = 4683. Is r a multiple of 113?
True
Suppose -179*s + 172*s = 0. Suppose 2*q - 1331 - 483 = -4*d, s = -4*q - 5*d + 3631. Is q a multiple of 14?
False
Suppose 0 = -5*s - 2*h + 614, -2*h = -4*s - 71 + 573. Suppose 5*f = -i - s + 631, -5*i - 3*f + 2623 = 0. Is 12 a factor of i?
False
Let t be -2 + (-7)/(-3) + (-