 i = -10292 + 43766. Is i a multiple of 199?
False
Suppose -23*y + 3*f - 3 = -19*y, 4*y - f = -1. Suppose 5*z - 196 = -4*u, 2*z = -y*z + u + 81. Is z a multiple of 2?
True
Suppose -7*c - 6 = -9*c. Suppose c = -3*t, t = 5*p - 9 - 12. Suppose 0 = -p*i - 4*i + 504. Is 16 a factor of i?
False
Let h be 2/(-5)*-10 + 136. Let g be (-1 + 4 - -52) + 0. Let m = h - g. Is 13 a factor of m?
False
Does 11 divide (5941/(-52) - (1 + 3))/((-4)/32)?
True
Let w(p) = 17*p**2 + 10*p + 23. Let i be w(-10). Suppose 5*a - 117 = i. Is 77 a factor of a?
False
Suppose 2*n + u - 4987 = 0, -5*n - 3*u - 3705 + 16170 = 0. Is 13 a factor of n?
True
Let k(q) = 15*q - 22. Let t be k(2). Suppose 5*h + 200 = w, -9*h + t*h = 2*w - 367. Does 6 divide w?
False
Suppose -m = 2 + 2. Let k be 0 - (60/m - -4). Is k + 0/(1 - -2) a multiple of 5?
False
Let o(h) be the third derivative of -h**6/120 + 7*h**5/60 + 11*h**4/24 + h**3 - 17*h**2 + 1. Does 36 divide o(6)?
True
Let i(k) = -284*k**3 - 1. Suppose -10 = -28*c + 38*c. Does 20 divide i(c)?
False
Let w = -4673 - -5039. Is w a multiple of 14?
False
Let d(v) = 11*v**2 - 9*v + 13. Let s be d(4). Let n = s - 78. Let o = 150 - n. Is 15 a factor of o?
True
Let l = 4563 + -2587. Let c = l - 1119. Is c a multiple of 40?
False
Let c = -8 - -14. Let j be 4 + (c/(-9))/((-4)/6). Suppose -3*v + 211 = -2*y, y + 141 = j*v - 3*v. Is 6 a factor of v?
False
Suppose 4*m + 56*c - 106927 = 55*c, -5*m + 4*c = -133622. Does 12 divide m?
False
Suppose 5*u + 655 = 4*q, 3*q - 3*u - 34 = 461. Suppose -q - 322 = -4*s. Let x = 177 - s. Is 9 a factor of x?
True
Suppose 6*c + 29440 = -8*c + 106*c. Does 6 divide c?
False
Is 107 a factor of ((-963)/(-6))/(51/3162)?
True
Suppose -2*l + 2*r + 50 = 0, l - 32 = -5*r + 23. Let m be l/(-24) - 2/(-8) - -9. Let z(d) = -d**3 + 9*d**2 + d + 11. Is z(m) a multiple of 14?
False
Let o = -385 + 385. Suppose 2*y + 5*d - 1153 = o, -y = d - 169 - 400. Is y a multiple of 19?
False
Suppose -108502 = -35*h - 28177. Does 27 divide h?
True
Let t(m) = 2*m + 8. Suppose -4*i + 9*i + 25 = -2*l, -5*l = 4*i + 3. Let v be t(i). Does 16 divide (-1440)/20*20/v?
True
Suppose k = a - 184, 807 + 113 = -5*k - 2*a. Let r = k - -275. Is r a multiple of 8?
False
Let p(o) = 11*o + 6. Let m be p(3). Suppose -3*z + 99 + m = 0. Let n = z - 26. Is 4 a factor of n?
True
Let i = -911 - -913. Suppose -5*c = 25, -2*y - i*y = -4*c - 908. Is 56 a factor of y?
False
Let u = -440 - -180. Let v = u - -386. Is 9 a factor of v?
True
Suppose -8685 = 7077*b - 7082*b. Is 82 a factor of b?
False
Suppose -t + 2*p + 2289 = 0, 62*t = 58*t - 4*p + 9216. Does 3 divide t?
False
Let v(z) be the first derivative of -5*z**4/2 - 2*z**3/3 - 2*z**2 - 44*z - 114. Is 20 a factor of v(-4)?
True
Let y = -42 - -43. Is y*((-300)/5)/(-5) a multiple of 6?
True
Let b(n) = -n**3 + 55*n**2 + 287*n - 101. Does 85 divide b(59)?
False
Let s be 1209/12*-2 - (-1)/2. Suppose -v + 58 = -3*k - 0*v, -4*k + 4*v = 80. Let o = k - s. Is o a multiple of 12?
False
Suppose -5*r + 570 = -0*r. Let u = r + -97. Suppose z = -u + 155. Does 15 divide z?
False
Let y be 14 - ((-3)/(-7) - 494/91). Suppose -1134 = -y*q + q. Is q a multiple of 21?
True
Let w(m) = -23*m + 64. Let z be w(-13). Let l = z + -177. Is 19 a factor of l?
False
Suppose -1 = 5*m - 41. Let o be ((-8)/(-10))/(m/(-20)*-1). Suppose o*v = 118 + 34. Is 11 a factor of v?
False
Does 20 divide ((169/(-3))/(-1))/((12/1)/720)?
True
Let o(g) = 33*g**3 + 48*g**2 + 21*g + 18. Is 13 a factor of o(6)?
False
Let p = -26 - -28. Let g be ((-45)/(-12)*p*6)/1. Suppose 0 = 10*v - g - 245. Does 6 divide v?
False
Is ((-406)/4)/(-9 - 445/(-50)) a multiple of 36?
False
Suppose -1221*t + 1217*t + 3740 = 0. Is 187 a factor of t?
True
Is -51 - -50 - (-30315 + 7) a multiple of 36?
False
Let j be 1/(-5) - (-11 - 11055/25). Let n = 867 - j. Is n a multiple of 18?
True
Suppose 13*f = 3*t - 132294, -220658 = -5*t + 46*f - 43*f. Does 20 divide t?
False
Suppose -z - 16 = -5*n - 95, -5*n - 67 = 2*z. Let v(k) = 27. Let o(x) = -x + 29. Let j(a) = 5*o(a) - 6*v(a). Is 7 a factor of j(n)?
False
Suppose 0 = -2*u + d + 1895, -38*d = -5*u - 40*d + 4742. Does 2 divide u?
True
Suppose 0 = 5*i - 81 - 149. Suppose -3*q = 3*z - i - 35, 3*q - 2*z = 106. Is 9 a factor of q/48*27/2?
True
Let c(n) = 8*n**2 + 33*n + 625. Is 8 a factor of c(21)?
False
Let o(k) = 42*k**3 - 4*k**2 - 5*k - 54. Does 27 divide o(7)?
True
Let w(p) be the second derivative of p**5/20 - p**4/4 - 16*p**3/3 - 23*p**2/2 - 17*p - 1. Is 3 a factor of w(10)?
True
Suppose -w - 44 = -4*z - 3*w, 2*w = -8. Suppose -z + 2118 = 5*r. Suppose 4*l - 1201 = -r. Does 15 divide l?
True
Let t = 686 + -729. Is 0 + 2 + (t - -887) a multiple of 47?
True
Does 2 divide (9245/100 - 9/(-12))/(2/5)?
False
Suppose 16*r - 147 = 9*r. Let w = -17 + r. Suppose -3*s + w*h = -86, 135 = 5*s - h - 14. Is 10 a factor of s?
True
Suppose 33*r - 60486 = -29*r + 56*r. Is 17 a factor of r?
True
Let l = 2144 - 1671. Does 13 divide l?
False
Let h(z) = -2*z - 1. Let b(s) = 15*s + 40. Let f(m) = -b(m) - 3*h(m). Let l be f(-4). Does 5 divide l/2 + -1 + 26/4?
True
Let n(a) = 4*a - 21. Let x(h) = 2*h + 1. Let b(z) = n(z) - 6*x(z). Is 3 a factor of b(-6)?
True
Let a be 1180/(-177)*(-3)/4. Suppose 98 = -a*j + 938. Is 8 a factor of j?
True
Let c = 1259 + 137. Suppose -c = -13*p + 411. Does 21 divide p?
False
Let f = -30059 - -44594. Is 15 a factor of f?
True
Suppose -4*d = 3*y - 25517 + 2240, -4*d - 5*y = -23283. Suppose 0 = 716*u - 709*u - d. Is 21 a factor of u?
False
Suppose 11 = 5*o - 24. Suppose -o*y - 2 = -9. Does 25 divide y - 15/20 - 1197/(-12)?
True
Let n(k) = k**2 - 19*k + 40. Let o be n(17). Let c(j) = -j**2 + 4*j + 52. Is 12 a factor of c(o)?
False
Let x = 19788 + -1751. Is 16 a factor of x?
False
Let n(s) = 8*s - 4. Let x be n(13). Let d be x/60 - 1/(-3). Suppose -4*c - d*c + 144 = 0. Is 6 a factor of c?
True
Let v(t) = 193*t**2 + 63*t + 26. Is 187 a factor of v(-13)?
False
Let b = 21302 + -10350. Does 148 divide b?
True
Does 64 divide -39*(-299)/78*38?
False
Suppose -j - 2*j + 7*j = 0. Suppose -15*y - 6*y + 6783 = j. Does 41 divide y?
False
Let w be -4 + 44/((-8)/(-2)). Let b be ((-231)/(-49) - (-2)/w)/1. Suppose 0*r + 450 = b*r. Is r a multiple of 9?
True
Let q = 18519 - 15462. Is 6 a factor of q?
False
Let l(c) = c**3 + 6*c**2 - 2*c + 30. Let n be l(-6). Is n/(-4)*1610/(-69) a multiple of 7?
True
Let h(w) be the second derivative of 5*w**3/6 - 13*w**2/2 + 18*w. Let n be h(3). Suppose 0*p + 2*z + 394 = n*p, 188 = p + 2*z. Is 30 a factor of p?
False
Suppose -323*t + 5*m = -326*t + 5894, -5*m + 9820 = 5*t. Does 5 divide t?
False
Is 2 a factor of (75743/165 - (-28)/210) + 2/(-11)?
False
Let w = 28 - 35. Let v(z) = -z**2 - 10*z - 17. Let r be v(w). Suppose 13 = -r*h + 5*h. Is h a multiple of 4?
False
Suppose 0*t - 3*t + 9 = 0. Let x(f) be the second derivative of 9*f**5/20 - f**4/12 + 7*f**3/6 - 3*f**2/2 + 2*f. Is 36 a factor of x(t)?
True
Let z be 3 + -4 + (-5)/1. Is 38 a factor of 570 - ((-28)/84 - 2/z)?
True
Suppose 71*u + 143437 = 362984 + 255301. Is u a multiple of 32?
True
Let k = 694 - -12158. Does 4 divide k/170 - (-2)/5?
True
Let l = 22 - 18. Suppose 27 + 21 = -l*v. Let f = 51 + v. Does 5 divide f?
False
Suppose 0 = -389*y - 42*y - 50*y + 4467528. Is 8 a factor of y?
True
Suppose 12613 + 53193 = 26*l. Does 4 divide l?
False
Let i be (13*3/4)/((-15)/(-340)). Let d = 410 - i. Is d a multiple of 6?
False
Let r = -63 - -39. Let m be 20/6*7*r/(-16). Let s = m + -23. Does 6 divide s?
True
Suppose -2*v = -238 - 54. Let i = v + -94. Suppose y + i = 5*y. Is y a multiple of 13?
True
Does 19 divide ((-144)/(-192))/((-1)/(-5700))?
True
Suppose -13*b - 5376 = -19*b. Suppose 205*s - 198*s = b. Is 8 a factor of s?
True
Let j be (-2)/(-14) - 100/(-35). Suppose -4*g - 390 = -j*m - 7*g, 3*m - 375 = 2*g. Is 2 a factor of m?
False
Let v(l) = 116*l + 88. Let r be v(13). Suppose -26*q = -7*q - r. Does 6 divide q?
True
Suppose 55*n = 60*n + 10. Let c(j) = -23*j**3 + 3*j**2 + 2*j + 3. Is 13 a factor of c(n)?
True
Suppose 0 = -24*v + 803 + 4933. Suppose 3*c - v = -2*h, 0 = -3*c - 0*c + 2*h + 223. Does 14 divide c?
False
Suppose 0 = -3*y - 4*a + 5*a - 64, 2*a = -y - 12. Is (-1924)/(-6) + y/(-15) a multiple of 15?
False
Let a = 85 - 94. Is 23 a factor of (a + 5)/1 + 27?
True
Let g 