+ 23/(-1))/((-51)/1394). Let g = v + -382. Is g a multiple of 16?
True
Suppose -5*t - 2*y + 40 = 3*y, 2*y = -4*t + 24. Suppose -76 = -t*z - 4*p, 3*z = 4*p + 30 + 6. Is 30 a factor of -2 - -24*z/12?
True
Let t(p) = -p + 16. Let s be t(7). Suppose -s*i = -4*i + 15. Does 11 divide (-1*12)/i - -40?
True
Let y = 78647 + -41417. Is y a multiple of 15?
True
Let d = 88 - 88. Let t(o) = 4*o**3 - 4*o**2 + 4*o + 38. Let v(q) = q**3 - q**2 + q - 1. Let g(f) = t(f) - 3*v(f). Does 7 divide g(d)?
False
Let o(d) = -d**2 - d - 1. Let h(g) = -g**3 - 8*g**2 + g - 20. Let v(u) = h(u) + 6*o(u). Let p be v(-8). Does 10 divide (3 + -1)*p/(-20) - -1?
False
Let m(f) = -284*f - 4. Let l be m(-1). Does 9 divide (2/(-7) - 60/l)*-838?
False
Let k = -446 - -453. Let f(l) = 4*l**2 - 10*l - 12. Does 6 divide f(k)?
True
Suppose 0 = -0*r + 3*r + 3, -2*i + 3*r - 5 = 0. Let o(z) = -7*z - 10. Let c be o(i). Let h = 6 + c. Does 6 divide h?
True
Let d = 233 + -205. Suppose -47*g + d*g + 14250 = 0. Is 15 a factor of g?
True
Suppose -7*j - 2*j + 18 = 0. Suppose -j*a + 3*a - 7 = 0. Suppose 335 - 97 = a*u. Does 6 divide u?
False
Suppose -37*i + 88*i - 9234 = 42*i. Is 9 a factor of i?
True
Suppose -4*a + 16 = 0, -32*t + 36*t - 2*a = 2716. Is 47 a factor of t?
False
Suppose 20 = -3*s - 4*r, -2*r - 10 = -5*s - 0*r. Suppose 0 = 4*v - v - 5*p - 8, 3*v + 5*p + 2 = s. Does 8 divide v/(-2) + -4*(-97)/8?
True
Is 56 - 60 - (2 - 1032) a multiple of 171?
True
Is (42/35)/(8132/(-8140) - -1) a multiple of 7?
False
Suppose 2*m + 5*s = 28, 3*m - m - 3*s = -4. Let u be ((-15)/20)/((-1)/m). Suppose 2*k = -u*j + 3*k + 258, 5*k - 430 = -5*j. Is j a multiple of 11?
False
Let z(t) = t**2 - 3*t - 1. Let i be z(4). Suppose i*q - 128 = 22. Suppose 3*x = q + 49. Is x a multiple of 11?
True
Suppose 3*a = -2*t + 8, 0 = 5*t + 5*a - 5 - 20. Let m be ((-42)/t + (0 - -3))*-16. Suppose 2*y = m + 8. Is y a multiple of 5?
False
Suppose -361*t + 61620 = -335*t. Does 30 divide t?
True
Let p(r) = 23. Let a(j) = -j - 1. Let k(v) = -2*a(v) + p(v). Let m be k(-10). Suppose 2*t = 3*y - 40, -4*y + m*t = -0*y - 65. Is y a multiple of 9?
False
Suppose -5*p + 5*z = -77 + 2, -p = -5*z - 35. Suppose -h - p*h + 10120 = 0. Is h a multiple of 40?
True
Let b = -8859 - -28659. Does 150 divide b?
True
Let m = -204 - -1009. Let g = m - 376. Is g a multiple of 11?
True
Suppose 16591 + 4454 = 23*z. Let a = z - 608. Is a a multiple of 35?
False
Let c = -542 + 546. Suppose -4*f + 6 + 14 = 0. Suppose 183 - 11 = 3*z + 5*t, c*z = f*t + 241. Is z a multiple of 6?
False
Is 78 a factor of 12/(-15) + 7/((-770)/(-1681768))?
True
Let q(j) = -4682*j - 32. Is 31 a factor of q(-1)?
True
Let r(v) = -v**3 + 3*v**2 + 14*v - 8. Suppose 4*i = n + 8*i + 14, 3*n + 7 = -5*i. Let h be r(n). Is 2/(94/h - -3) a multiple of 16?
True
Let z = 2722 + 4386. Is z a multiple of 19?
False
Let u(o) be the third derivative of -3*o**4/4 + 7*o**3/3 - o**2 - 18. Does 6 divide u(0)?
False
Let l = 186 + -184. Suppose 4*a - 3*a = -i + 6, -12 = -i - 4*a. Suppose 0*k - 2*t - 30 = -i*k, k - 12 = l*t. Is k a multiple of 2?
True
Suppose 0 = 318*t - 3637873 - 1826279 - 6531762. Is t a multiple of 14?
False
Let w(p) = -p**3 - 11*p**2 + 4. Let z be w(-11). Suppose -2*h = -6*h + 8, -76 = -z*v + 4*h. Let t(a) = a**2 - 16*a - 21. Is 18 a factor of t(v)?
False
Suppose 5*m = 1073 - 348. Let q = m - 75. Suppose s - q = -0*s. Does 7 divide s?
True
Let p = 2749 - -768. Suppose -673 = 6*q - p. Suppose -5*b + 3*m = -q, 2*m - 1 = 3. Does 31 divide b?
False
Let w(b) = 36*b + 18. Let r be w(-6). Let f be (22/(-4))/(3/r). Is -3 + (-5)/((-15)/f) a multiple of 7?
False
Let h = 2890 - -1969. Does 166 divide h?
False
Let h = 66850 - 4932. Does 12 divide h?
False
Suppose 112781 = 14*o + 19373. Does 48 divide o?
True
Let h be -3 + (-1)/((-4)/(-44)). Is h/7*(-1689)/6 a multiple of 14?
False
Let y = -743 - -1223. Suppose -y = -30*u + 25*u. Suppose -3*q - i + u = 0, 17 = q - 4*i - 15. Does 23 divide q?
False
Suppose 128*r - 124*r = 2120. Let v = r - 166. Is v a multiple of 26?
True
Let c = 238 + -236. Suppose s = c*p + 376, 5*s - 12*p + 15*p - 1880 = 0. Is 50 a factor of s?
False
Let h = 52 - 48. Suppose h*j + 24 = 4*c - 0*c, -3*j = 4*c - 10. Suppose 5*l - 11 = -c*f + 263, 0 = 3*l + 2*f - 164. Is 10 a factor of l?
False
Let q(d) = 3*d + 28. Let f = 32 + -23. Suppose 50 - 221 = -f*l. Is q(l) a multiple of 30?
False
Suppose -2*p + 4*j + 12440 = 0, 3*j - 24814 = -2*p - 2*p. Does 64 divide p?
True
Suppose -7*o = 4 - 46. Suppose -8*d + 6496 = o*d. Does 8 divide d?
True
Is -16*(-76 - 13 - -5) a multiple of 42?
True
Let l(d) = 165*d + 10. Let a be l(1). Suppose -18*b - a + 2623 = 0. Does 8 divide b?
True
Suppose -2696155 = -150*u - 369655. Is u a multiple of 4?
False
Suppose 0 = 5*d - 4*y - 550, 5*d + 5*y = y + 550. Does 22 divide d?
True
Let z = 142 + -229. Let d = -10 - z. Let t = 111 - d. Is t a multiple of 6?
False
Suppose 4*l + 12152 = 5*g, 0 = -5*g + l + 7623 + 4535. Does 7 divide g?
False
Suppose -1 = -4*q + 87. Suppose -q*w + 48 = -30*w. Is 17 a factor of ((-110)/(-15) + w)*(51 + 0)?
True
Let u(l) = -l**2 + 21*l + 76. Let j be u(24). Suppose 8*m + 5*y = j*m + 66, 8 = -4*y. Is 12 a factor of m?
False
Let l be ((-15)/20)/(-3)*8. Suppose -3*d = -4*q + 20, -3*q + l*q - 4*d + 5 = 0. Suppose -319 - 531 = -q*s. Is 34 a factor of s?
True
Suppose 22*a - 64323 = a. Is a a multiple of 46?
False
Let x(w) = -4*w**3 + 25*w**2 - 12*w + 8. Let f be x(9). Let t = f - -1855. Is 13 a factor of t?
False
Let m(y) = 973*y - 855. Is m(3) a multiple of 48?
True
Let w = 3721 - -14073. Does 14 divide w?
True
Suppose -5487*x + 2749*x + 168714 = -2717*x. Is 8 a factor of x?
False
Let m be (3/2)/((-1)/2) + 25. Let w(b) = -b + 1. Let h(t) = t**2 - 33*t + 20. Let d(r) = -h(r) + 2*w(r). Does 15 divide d(m)?
True
Suppose -i - 17 = -3*o - 6, i = o - 1. Suppose -5*g - i*a = 34, 5*a + 15 + 14 = -4*g. Is 14 a factor of 1/(-3) - ((-2704)/g)/(-8)?
True
Suppose -3*i + m = -m - 61, 0 = 5*i - 3*m - 101. Suppose -4*d + i = 7. Does 25 divide 361/d + (-28)/21?
False
Let z = -108 + 113. Suppose z*g = 4*o - 1353, 9*o - 1645 = 4*o - 3*g. Is o a multiple of 32?
False
Let z = -209 + -147. Let s = -240 - z. Is 12 a factor of s?
False
Let i(v) = -38 + 2*v - 60 + 2*v**2 + 80. Does 3 divide i(-6)?
True
Suppose 15*q - 8701 = 8*q. Suppose -1149 = -5*y + 3*z, 3*z - 322 = 4*y - q. Is 38 a factor of y?
True
Let i be ((-1)/4)/((-3)/12) - 2. Let p(l) = l. Let r(j) = 14*j - 17. Let o(h) = i*r(h) - 3*p(h). Is 31 a factor of o(-7)?
False
Suppose -37*d = -47*d + 16470. Suppose -m + 730 = -5*s, 5*m - s = 2051 + d. Is 20 a factor of m?
True
Let v be (957/6)/(14/28). Let s = v - 139. Does 15 divide s?
True
Let r(x) = -721*x - 2299. Is 159 a factor of r(-36)?
False
Let x(a) = 78*a - 136. Let w = -371 - -378. Is x(w) a multiple of 9?
False
Let y(w) = w**3 - 6*w**2 + 7*w + 6. Let x be y(9). Suppose 0*i = 4*i + x. Is 2/((-3)/4*4/i) a multiple of 8?
False
Let v = -65 - -120. Suppose 0 = v*q - 58*q + 138. Suppose 0 = -g + q - 2. Is 22 a factor of g?
True
Let t be ((-2)/(-20))/(14/(-105))*-48. Suppose 0 = -t*r + 52*r - 1792. Does 7 divide r?
True
Let b(o) = 5*o - 2. Let w(u) = u. Let f(d) = b(d) - 4*w(d). Let j be f(6). Is 137/j - (-2)/(-8) a multiple of 10?
False
Is 18 a factor of -2 + ((-18)/15)/((-42)/774585)?
False
Suppose -384 = -8*c - 160. Suppose -12596 = -c*x + 13976. Is x a multiple of 73?
True
Let g(y) = -9*y - 95. Let r be g(-11). Suppose -4*x + 934 = i + i, 4*x - 940 = r*i. Is x a multiple of 9?
True
Let i = -1631 - -5495. Is 4 a factor of i?
True
Let q(b) = b**3 + 10*b**2 - 11*b - 12. Let k be q(-11). Let f(h) = h**2 + 11*h - 7. Let w be f(k). Does 4 divide 24 + (-1 - (w + -2))?
True
Let b be 8/10*(-6 + (-68)/(-8)). Let d be (-4)/(b/(-1) - 141/(-72)). Is 24 a factor of (4 - 5)/((-2)/d)?
True
Suppose 324*m + 5624 = 343*m. Does 3 divide m?
False
Suppose 0 = 3*q + 4*b - 416, 3*q - 165 = 3*b + 279. Does 12 divide q?
True
Suppose 4*d - 57876 = -4*g, 5*g + 184*d - 72317 = 186*d. Does 12 divide g?
False
Let v(k) = -2*k**2 + 6*k + 11. Let o be v(4). Suppose 10*u - 84 = o*u. Suppose -u = -2*c + 126. Is c a multiple of 9?
False
Suppose 2*a = -4*g + 12, -a + 12 = 5*g + 3*a. Suppose -3*z - g*y + 541 = 0, 0 = -4*z + y + 225 + 490. Is z a multiple of 67?
False
Suppose -5*d = -t - 