-108*(-13)/(-182))/((-6)/7168)?
True
Let r be (-143)/(-78) - 2/(-12). Suppose 5*i = 5*m - 55, -i + 4*i + 19 = m. Suppose 533 = 2*v + 5*t, r*v - 5*t + 1295 = m*v. Is 33 a factor of v?
False
Let i be -2 + -3 + (-213)/3. Let z = i + 97. Suppose 0 = -o + z - 12. Is o a multiple of 5?
False
Let o(n) = n**2 + 2*n - 30. Let h be o(-7). Is (2/(-4))/(h - 702/140) a multiple of 5?
True
Suppose -1169*k + 1181*k = 99792. Is 27 a factor of k?
True
Let y(w) = -w**3 + 17*w + 10. Let j be y(-4). Suppose j*b - 2975 = -b. Does 25 divide b?
True
Let f(q) = -202*q**2 - 2*q**3 + 21 + 117*q**2 + 119*q**2 + 35*q. Is f(17) a multiple of 7?
True
Let d(s) = 547*s - 1326. Does 20 divide d(15)?
False
Suppose -53*t = -59*t + 450. Suppose 73*p + 672 = t*p. Is 24 a factor of p?
True
Let b be 1 - (7/(-9) - 4/18). Suppose h + s = b, -2 = 2*h + s - 8. Suppose -w = n - 33, 0*n + 123 = h*n + w. Is n a multiple of 15?
True
Suppose 13*d + 1324 + 353 = 0. Let u = -130 - d. Is 14 a factor of (9/18)/(u/(-74))?
False
Let j(a) = 60*a + 931. Is 8 a factor of j(8)?
False
Let p(b) = 57*b**2 + 8*b - 44. Let c be p(7). Suppose -5*k - c = -7925. Does 53 divide k?
False
Let o be (-2*2)/(3 - (-5)/(-1)). Suppose -3*v - 153 = -u, -v + 183 = u + o*v. Is 4 a factor of ((u/(-10))/(-2))/(28/70)?
False
Is 14 a factor of (55284/15 - -10)*(-10)/(-4)?
False
Let k be (750/24)/((-8)/416). Let v = -1121 - k. Does 63 divide v?
True
Let i(c) = 3*c + 48. Let s be i(-23). Let q be (16 - -2)/(6/s). Does 4 divide 101/4 + (5 - q/(-12))?
False
Let v(l) = -36*l**2 + 8*l - 21. Let c(h) = -73*h**2 + 15*h - 41. Let r(k) = -3*c(k) + 5*v(k). Does 59 divide r(3)?
True
Let j = 20172 - 12286. Is 68 a factor of j?
False
Suppose -136 = -8*y - 32. Let h be y - 11 - 6*1. Does 5 divide -1 + -1 - (340/h)/5?
True
Let q(a) = 72*a - 307. Let o = -40 - -57. Does 17 divide q(o)?
False
Let n be 18*(-139)/(-2) - (18 - 18). Let j = n + -492. Does 33 divide j?
True
Let c = -45 + 68. Let a = -66 - c. Let j = a + 114. Does 5 divide j?
True
Let m(y) = y**3 - 4*y + 3. Let f be m(2). Let d be (0 + 10)*(18/f)/12. Does 10 divide (20/(-2))/(((-30)/48)/d)?
True
Let x = -2388 - -7833. Is x a multiple of 121?
True
Let a = 917 - 896. Does 22 divide (-17188)/(-12) + a/(-9)?
True
Is (9/(-2))/(-3)*80682/63 a multiple of 15?
False
Let i = -21078 - -39454. Is i a multiple of 8?
True
Let o be 24/9 - ((-20)/6 - -4). Let k(w) = -4*w + 2*w - 12 + 3*w**o + 16*w. Is k(-8) a multiple of 17?
True
Suppose 0*h = -5*h - 5*j - 275, -3 = -3*j. Is 8 a factor of 250/8 + (-6)/h*7?
True
Suppose -11597 = -19*w + 14*w - f, -4*w + 5*f = -9266. Does 12 divide w?
False
Suppose 3*t = 21*t - 3762. Let i = t + 98. Is i a multiple of 26?
False
Let u(b) = 5645*b + 696. Does 117 divide u(11)?
False
Let u(t) = t**2 + 28*t + 94. Let m be u(-28). Suppose 0 = a - 1116 + m. Is 14 a factor of a?
True
Let r be ((-9030)/(-9))/5*1170/91. Suppose -23*g + 13*g = -r. Does 12 divide g?
False
Is 80 a factor of (100/15*-36)/(-1)?
True
Suppose -2*a = l - 4*a - 11, -a + 2 = 2*l. Suppose -2 = l*o + 22. Let y = o - -35. Is 9 a factor of y?
True
Suppose -168678 + 57798 = -90*f. Is f a multiple of 44?
True
Let l = -335 + 202. Let w = 104 + l. Let p = w - -78. Does 28 divide p?
False
Let r(b) = -163*b + 2808. Is r(-71) a multiple of 14?
False
Suppose -2235 = -b - 2*w, -3*w = 7*b - 2*b - 11175. Is b a multiple of 3?
True
Suppose 8128 = 22*q - 18008. Suppose 4*k - 13*k + q = 0. Does 17 divide k?
False
Suppose -113*l - 363*l - 100*l + 10173888 = 0. Is l a multiple of 88?
False
Let o be (0/2)/2 - (-972)/(-108). Is 2 a factor of (-3 - o)/((-33)/(-22))?
True
Let a be (72/(-56) - -1)*(0 - 21). Suppose -a = -r + 6. Is 4 a factor of r?
True
Let r = -47 + 63. Let u(n) = -n**2 + 24*n - 32. Let m be u(r). Let h = m - -45. Is 14 a factor of h?
False
Let i(z) = -5*z + 99*z**2 - 1 - 7*z + 2*z + 7 - 98*z**2. Is i(28) a multiple of 23?
False
Let k(v) = -2*v**3 + 68*v**2 - 185*v + 15. Does 28 divide k(31)?
False
Suppose t - 9267 = -2*i + 119, -2*i + 5*t = -9386. Suppose 5*k + 4*b = i, -b = k - 6*b - 956. Does 17 divide k?
False
Let m(b) = -230*b**3 + 2*b**2 - 2*b - 1. Let g be -1 + (-7 + 6 - (-5 + 2)). Let f be m(g). Let h = 366 + f. Is 27 a factor of h?
True
Suppose 0 = -127*o + 129*o - 140. Suppose -o*y - 96 = -72*y. Does 6 divide y?
True
Suppose -3*b - 1 = -v - 9, -5*v = -5*b + 20. Suppose 2*u - 4*t = u + 19, -4*u + 34 = -b*t. Suppose u*f + 246 = 13*f. Is 41 a factor of f?
True
Let r = -64 + 67. Let h be -2 + (-28)/(-4) - r. Suppose -3*f + 1818 = 4*b, 7*b - h*b - 2267 = -f. Is 57 a factor of b?
False
Let o be 3 - ((-1)/(-2))/((-7)/14). Suppose o = h - 3. Suppose w - h = -2*t + 41, 5*t = -3*w + 146. Is 13 a factor of w?
True
Let n(l) = l**3 + 39*l**2 - 94*l + 72. Let v(f) = 3*f**3 + 9*f**2 - 3*f - 5. Let s be v(-4). Is 7 a factor of n(s)?
False
Let s be 6/21 + (-18)/(-189)*-3. Suppose 2*f + i - 6 - 25 = 0, 2*i + 10 = s. Is f a multiple of 2?
True
Suppose 691 + 555 = 2*t. Suppose -3456 = -5*c - 3*x, -2*c - 5*x = -748 - t. Is c a multiple of 63?
True
Let u(s) = -4525*s**3 - 2*s**2 + 7*s + 8. Does 58 divide u(-1)?
True
Let o = 306 + -319. Is ((-24402)/13)/(-7) - (-2)/o a multiple of 36?
False
Let y = 47 - 36. Let v be (24/16)/(1/(-10)). Let l = y - v. Is 13 a factor of l?
True
Let l be (72/(-12))/(12/(-8)). Let u = 368 + l. Is 31 a factor of u?
True
Is 137 a factor of (-1830)/(-1 + 2)*(4256/(-64) + 45)?
False
Let y = -593 + 1109. Let j = 1520 - 1516. Suppose 0 = -2*i + j*i - y. Is i a multiple of 29?
False
Let c be -2 - (0 - (2 + 210)). Suppose 0 = -4*t + 910 + c. Suppose -7*m + t = -3*m. Is 22 a factor of m?
False
Let z be (-2)/7 + 3120/(-105). Let a = 37 + z. Does 4 divide (5/25 + a)/(2/10)?
True
Suppose 3*r - b = -4 + 16, -5*r - 2*b = -9. Let z be 15/(-3) - (r + -4). Is 19 a factor of z + 1 - -3 - (-20 - -1)?
True
Suppose -157687 = -19*t + 360120. Is 30 a factor of t?
False
Suppose 3*a = -5*l + 14852, 0 = 2*a + 2*l - 4723 - 5173. Is a a multiple of 16?
True
Let y = -80 + 90. Suppose y - 10 = -5*c. Suppose c*o - 12*o + 480 = 0. Is o a multiple of 8?
True
Let b = -64 + 42. Suppose 2*f - 4*w = -68, -w + 146 = -5*f + w. Let v = b - f. Is v a multiple of 3?
True
Let h(p) = -p**3 + 27*p**2 - 42*p - 48. Is h(13) a multiple of 9?
False
Let j be (44/(-5))/(12/(-30)). Let g be ((-92)/j + 12/66)/(-1). Suppose -5*i + 2*i - 557 = -g*f, f - 3*i = 128. Is 17 a factor of f?
False
Let d(b) = 28*b**2 - 6*b - 7. Let k be d(-4). Suppose 14*v + k = 19*v. Does 3 divide v?
True
Let m(u) = -u**3 + 23*u**2 - 4. Suppose 0 = -3*y + 26 + 43. Let o be m(y). Is (-12)/16*o + (7 - -1) a multiple of 7?
False
Let i be (-1)/5*0/13. Suppose 55 + 41 = 3*b + 3*s, i = -5*b - 2*s + 154. Is 3 a factor of b?
True
Let k(i) = 272*i - 440. Does 101 divide k(25)?
False
Let z(t) = -55*t**3 + 24*t + 180. Does 98 divide z(-6)?
False
Suppose -221*y + 224*y = 18. Suppose y*m = -2*m + 456. Does 6 divide m?
False
Suppose 165281 = 63*q - 186136 - 263778. Is q a multiple of 101?
False
Suppose -u - 12 = 5*t + 7, -3*t + 5*u = -11. Let y be ((-4)/4 - 5)*40/t. Suppose 2*z - 70 - y = 0. Does 12 divide z?
False
Let j = 245 - 166. Suppose -3*q + 5*p + 147 = 0, -2*q - 4*p + p + j = 0. Is 4 a factor of q?
True
Let i = -6 + 10. Let x be 45/10 + (-2)/i. Suppose -d + x*d + 231 = 3*z, -2*z + 156 = -4*d. Is 19 a factor of z?
True
Suppose 22*z - 28879 - 16903 = 0. Suppose -z = -5*t + b, -b = 5*t - 0*b - 2089. Does 51 divide t?
False
Let a = -68 - -71. Suppose 3*p + 54 = a*u, -6*u + 58 = -3*p - 2*u. Is 3 a factor of (-428)/(-11) - p/154?
True
Let r = 694 + -734. Let q = 814 + r. Is q a multiple of 14?
False
Let h(k) = -2*k**2 + 1. Let x be h(-9). Suppose 4*m + 367 = 1383. Let g = x + m. Is 12 a factor of g?
False
Let g(z) be the third derivative of 43/6*z**3 + 0 - 2*z**2 + 0*z - 3/8*z**4. Is g(-13) a multiple of 20?
True
Suppose h - p = 1617, -h - p = -4*p - 1625. Suppose 11*x - 2017 - h = 0. Is x a multiple of 55?
True
Suppose -o = -124 + 119. Let p(u) = 3*u**3 - 7*u**2 + 19*u + 3. Is 23 a factor of p(o)?
False
Suppose -1048*d = -1040*d - 64672. Is d a multiple of 43?
True
Let d(j) = 3*j + 6. Let s be d(-2). Suppose 0 = -p - 3, s = -3*n + 5*p - 4*p + 951. Is n a multiple of 31?
False
Let u be 18/21 - (-1)/7. Suppose -4*l - 4 = 3*t, 4*l + t + 8 = -3*t. Is 23/l + (-3)/2 + u a multiple