
Let l = 39 + -32. Suppose -734 - 1 = -l*y. Suppose 143 = 4*w - a, -5*w + 4*a + 60 + y = 0. Is w a multiple of 8?
False
Let p(n) = -2*n + 37. Let y be p(11). Let a(m) = -m**2 + 35*m + 22. Is a(y) a multiple of 12?
False
Let s(x) = -9*x + 69. Let k be s(7). Is 10 a factor of (-8)/((-128)/(-408))*(-68)/k?
False
Let y(z) = 1716*z**2 + 16*z + 15. Let d be y(-1). Suppose d = 5*n - 5*q, -3*n + 1030 = -0*n - 2*q. Is 43 a factor of n?
True
Let v be -18*(1 - (-483)/6) - -1. Let w = v - -2590. Is 16 a factor of w?
False
Suppose -38*q + 232728 = 48048. Is 81 a factor of q?
True
Let b(z) = -3*z**2 - 16*z. Let a be b(-4). Suppose -35*j + a*j + 7220 = 0. Is j a multiple of 19?
True
Let k(c) = -13*c. Let a be k(-5). Let i = a + -64. Is 21 a factor of 629/5 + i/5?
True
Let c = 2476 - 1746. Let n = c + -380. Is n a multiple of 14?
True
Let p = 37720 - -4974. Is p a multiple of 243?
False
Suppose 29 = -5*z - 1. Let n(q) = -25*q + 28. Does 14 divide n(z)?
False
Is 10/4*(9 - (-31797)/5) a multiple of 29?
True
Suppose 9*m - 8*m = 165. Suppose -3*a - t + 1050 = -m, -a = 2*t - 400. Does 43 divide a?
False
Let l be 504/81 + 14/18 + -1. Suppose 0 = l*f - 1 - 23. Does 13 divide (f/8 + 4)*6?
False
Let d = 12 + -10. Let a be d + -2 - (0 + 0). Suppose -4*q - 16 = a, -4*t + 5*q + 80 = -t. Is t a multiple of 5?
True
Let z = -5 - -8. Suppose 5*n - 5*x - 32 - 53 = 0, -x = 2*n - 28. Suppose 2*j = 2*p - 18, -z*p = -7*p - 3*j + n. Is p a multiple of 2?
True
Let u(t) = -t**3 + 2*t**2 - 573*t - 81. Is 9 a factor of u(-21)?
True
Suppose 0 = 2*f + c - 5*c + 20, 2*c = 5*f + 42. Is 236/f*1*-8 a multiple of 42?
False
Is 147 a factor of (7352/40)/(((-365)/75 - -5)/2)?
False
Suppose 11*m - 7*m + 96 = 0. Is 3 a factor of ((186/(-8))/(-1))/(m/(-96))?
True
Let u be (-7)/(5840/(-1945) + 3). Suppose -u = 6*a - 6911. Does 25 divide a?
False
Suppose -5*p + 2*l = -2460 - 4727, -5*p + 7157 = 3*l. Does 20 divide p?
False
Let i = 5195 + 10286. Is i a multiple of 90?
False
Let i(p) = -62*p - 42. Let n be 39/26*(-68)/(-6)*-1. Does 92 divide i(n)?
True
Let p = 5239 - 2344. Does 23 divide p?
False
Let k(r) = r**2 + 2*r**2 + 2*r**2 - 6*r**2 + 5 + 9*r. Let j be k(9). Let c(w) = 4*w**2 + 7*w - 2. Does 26 divide c(j)?
False
Let d be -9 - 1715/(-133) - 4/(-38). Suppose 13 = -4*t + 1, 30 = u + d*t. Is u a multiple of 21?
True
Let j be (-2)/((-18)/(-699))*-3. Let q = 566 - j. Is 25 a factor of q?
False
Suppose 5 = -4*j - 15. Let n(q) = -q**3 - 5*q**2 + 3*q - 6. Let r be n(j). Let a = r - -45. Is a a multiple of 12?
True
Let b(g) = -4*g**2 - 7*g - 1. Let z = -6 - -5. Let t be b(z). Is 62 a factor of (-12 - -5 - -4) + 311 + t?
True
Suppose -2*v - 340 = 2*n, 0*v + 2*v - n = -337. Let u = v - -409. Is 6 a factor of u?
True
Suppose -2*x - 2739 = -4*s - 949, 5*x = -s + 453. Is s a multiple of 16?
True
Does 128 divide 6/(-84)*-14 + (-3 - (-1 + -12929))?
True
Suppose -5*j = 5*r + 7980, 7*r + 1576 = -j + 2*r. Let q = -1106 - j. Is q a multiple of 48?
False
Suppose -b - 7798 - 2316 = -3*f, f - 3*b - 3382 = 0. Suppose -3364*i + f*i = 108. Is 7 a factor of i?
False
Let h(l) = -30*l**3 - 3*l**2 + 3*l + 6. Let u be h(5). Let t be u/(-14) - (-16)/56 - -1. Let k = -109 + t. Is k a multiple of 20?
False
Let b be 4/(-10) + 2472/30 + -1. Let o = 187 - b. Does 12 divide o?
False
Let j(h) = 3*h**3 + 12*h**2 - 2*h - 161. Does 114 divide j(17)?
True
Let z = -598 - -562. Let t = 24 - 73. Let s = z - t. Does 13 divide s?
True
Let s be ((-4)/(-10))/(7*(-15)/473550). Is (s/(-110))/((-4)/(-240)) a multiple of 12?
True
Let o = 3087 - -965. Is o a multiple of 46?
False
Suppose -9*d - 281 + 974 = 0. Suppose -q + 17 = -c, -4*q = 4*c + 17 - d. Is -1*71/(-4) - 12/q a multiple of 3?
False
Suppose o + o - 46 = -2*q, -5*q = o - 23. Suppose n = 2*y + 3*y + 47, -2*n - o = 3*y. Let z = y - -119. Is z a multiple of 17?
False
Suppose -5*v = 5*l - 20, -12 = 2*l - 3*v - 0. Suppose 3*j - 6*j + 3 = l, -j = -d + 231. Is 8 a factor of d?
True
Is (-64)/(-48)*(-530568)/(-96) a multiple of 3?
False
Let p(r) = 2*r**2 + 19*r - 7. Let u be p(-10). Suppose -4*d + 0*d + 490 = 3*n, -2*n + u*d + 338 = 0. Is n a multiple of 6?
False
Suppose -5*h - 8*h + 260 = 0. Is 13784/h + (-10)/50 a multiple of 38?
False
Suppose 0 = -2*g - 13 + 29. Let d be g/(6*(-6)/27 + 2). Suppose -4*p = d, 5*k - p - 255 + 77 = 0. Does 7 divide k?
True
Let q(i) = 6*i**2 + 2*i. Suppose 5*o = 5*j, -2*o - j = 2*o + 20. Let u be q(o). Let b = -68 + u. Is 4 a factor of b?
True
Does 26 divide (2299638/(-55))/(-6) + 12/30?
False
Suppose 3*s - 2*z - 355 = 0, -10*s = -9*s - 3*z - 130. Suppose -110*p = -s*p + 2465. Is p a multiple of 26?
False
Let c be -2 + (-9)/((-9)/(-4)). Let d(u) = -u**2 - 4*u + 16. Let l be d(c). Suppose 0 = -k - 5*g + 186, 0*k + k - 182 = -l*g. Does 15 divide k?
False
Suppose 32*x - 108*x + 47*x + 273644 = 0. Does 21 divide x?
False
Let r = 10711 - 10284. Is 8 a factor of r?
False
Let k = 427 + -393. Suppose 29*g = k*g - 285. Does 19 divide g?
True
Suppose 2*t = -2 + 26. Does 15 divide (-7)/(t/(-30)*3/72)?
True
Let u be 132/8 + (3/6 - 0). Suppose n = -x - 2 - u, 4*x = 4*n - 52. Let j = 11 - x. Does 3 divide j?
True
Suppose 4*s + 7 = -g - 5, 4*g - s = 3. Let d(z) = z**2 + 4*z + 67. Let b be d(g). Let y = b - 31. Is y a multiple of 12?
True
Does 19 divide -2*1*(-811107)/198?
False
Let j be -4 + -4*(-14)/4. Is 288 + j + (6 - 0) a multiple of 52?
False
Let o(z) = -5*z - 2*z + 19 + 15*z. Let r be o(15). Suppose -5*g + r = l - 3*l, -4 = 2*l. Is 9 a factor of g?
True
Let j = -455 + 511. Let k be 4/(-6) + 1172/12. Let d = k - j. Does 5 divide d?
False
Suppose -14*v = -4*v + 710. Let s = v - -132. Suppose 57*o + 372 = s*o. Is o a multiple of 29?
False
Suppose 38916 = 3*s + 4*d - 14537, -89071 = -5*s + 2*d. Is 160 a factor of s?
False
Let d be (-4)/3 - -1 - 22/6. Let l be -585*d/(-20)*-21. Suppose 14*n = 5*n + l. Does 39 divide n?
True
Let l be (66/(-15))/(2/(-20)). Let y(p) = l*p - 39*p - 11 + 1. Is 5 a factor of y(10)?
True
Suppose 4*o = y - 50, 2*y + 3*o = -38 + 94. Let s = y - -246. Is s a multiple of 14?
True
Suppose -g + 6*g - 26407 = 4*u, -10*u = -g + 5309. Is 49 a factor of g?
False
Let h be -2 + (2/3 - (-52)/3). Let g = h - -64. Is g a multiple of 15?
False
Let d(o) = -2*o**3 - o**2 + 2*o - 6. Let w be (-1 + 0/2)/(-1). Suppose 4*h = -2*a - 14, 5*a + 6 = 5*h + w. Is 33 a factor of d(a)?
True
Let c = 10 - 7. Suppose l = -c, 4*s + 0*l = l + 23. Suppose -5*g + 887 = -2*q, s*g - 889 = -0*q + 4*q. Does 17 divide g?
False
Suppose 4*w - 12 + 4 = 0. Suppose -w*b = -b. Suppose 4*m + 3*t - 64 = b, 5*m - 3*t - 80 = -6*t. Does 2 divide m?
True
Let d be 1/4*-1 - (-2079)/108. Suppose -6 = -2*t - p + 1, -p + d = 4*t. Is ((-54)/(-15) + 0)*40/t a multiple of 12?
True
Suppose 5*s - 4 = -l + 21, s + 1 = l. Suppose 9*t - 14*t = -3*g + 670, 0 = s*g + 5*t - 940. Is 30 a factor of g?
False
Suppose -5*b = -15, -s + 0*s = -3*b + 11. Let m be s/12 + (-16671)/(-18). Suppose -11*k + m + 493 = 0. Does 43 divide k?
True
Is ((-33820)/(-7))/((-53)/(7420/(-40))) a multiple of 95?
True
Suppose m + 3 = 12. Suppose 3 - m = -4*v - 2*y, 3*v - 10 = 4*y. Is 25 a factor of ((-1)/v)/((35/(-500))/7)?
True
Is 66 a factor of 1/(2/4) + (-391920)/(-852)?
True
Let t = 217 + 7. Does 4 divide ((-171)/(-6))/(16/t)?
False
Is 26 a factor of (0 - (-5 - -4))/(15/6060)?
False
Suppose -4*c = -20, -1 = 4*i - 3*c - 34. Suppose 2*x = i*r - 11*r - 60, 0 = -5*r - 5*x + 300. Is 6 a factor of r?
True
Is 11 a factor of 19/((-475)/(-10)) - 114946/(-10)?
True
Suppose -2*g = -5*n - 1035, 3*g + 18*n = 13*n + 1590. Is g a multiple of 35?
True
Suppose 372 = -5*p - 693. Let d = -126 - p. Let b = d + -16. Is 9 a factor of b?
False
Let p = 1137 - -1490. Is 71 a factor of p?
True
Let g(u) = -17*u - 14. Let l be g(9). Is 25 a factor of l/(1 + -4 + 2)?
False
Suppose -4*d - 30892 = -2*k + 26694, 6 = -3*d. Is k a multiple of 9?
False
Suppose 5106 = 8*u + 1330. Let s = u - 17. Is s a multiple of 34?
False
Let i = -489 + 492. Suppose 0 = i*a + 3*o - 465, -2*o = -4*a + 504 + 134. Is a a multiple of 29?
False
Let i = 22471 + -5740. Is 9 a factor of i?
True
Let q = 1040 - -11282. Is q a multiple of 14?
False
Suppose 535427 = 9*q + 136808. Is q a multiple of 346?
False
Suppose 0 = -2*s - 2*p + 2, -p - 14 = -2*s + 3. Let v be (-9)/(-2) - -1 - 9/s. Suppose 95 + 36