ppose 9*n + 161 = -352. Let k = 110 + n. Let o = k - 36. Does 15 divide o?
False
Suppose 0 = -5*y - 158 + 358. Suppose -2*x - y = -360. Is x a multiple of 80?
True
Let s(m) = -30*m - 15. Let z be s(-11). Suppose -5*o = 5*g - z, -o = 4*g - 17 - 58. Is o a multiple of 25?
False
Is 27 a factor of 546/(-364)*4/(-6) + 11919 + 0?
False
Suppose -x = w + 3*w - 27036, 6*x - 4*w = 162384. Does 132 divide x?
True
Let y(x) = -1659*x - 19258. Is 11 a factor of y(-40)?
True
Let j = -32752 + 73657. Is 27 a factor of j?
True
Let g = -42055 - -61971. Does 52 divide g?
True
Let y = 2 + 2. Let g(q) = -q**2 + 3*q + 9. Let r be g(y). Suppose -18*o + 559 = -r*o. Is 5 a factor of o?
False
Does 42 divide (808 + -692)*(-1 - -1 - -441)?
True
Let v(a) = 24*a - 6. Let b be v(5). Suppose -5*k - 249 = 3*x, 8 = -2*x + 2. Let y = k + b. Is y a multiple of 22?
True
Let c = -2275 - -3205. Is 11 a factor of c?
False
Suppose 41*k - 4469 = 45633. Is 26 a factor of k?
True
Let z(s) = -15*s**2 - 24 - 2*s**2 + 3*s - 9*s. Let k be z(-3). Does 34 divide 32/(-12)*(k/2 + 3)?
True
Let k(t) = 41*t**3 - 44*t**2 - 106 - 22*t**3 - 18*t**3 - 94*t + 6*t. Is 39 a factor of k(46)?
True
Let j(z) = -15*z**2 - 25 - 4*z**2 + z**3 + 3*z**2 + 19*z. Let w be j(15). Let p = w - 26. Does 9 divide p?
True
Let y = 123 - 117. Let n(c) = 71*c + 348. Does 43 divide n(y)?
True
Let g = 15364 + -13107. Is 6 a factor of g?
False
Let o be (-3)/2 + (-66)/(-24)*18. Is 2 a factor of o + -49 - 5*-5?
True
Let p = -102 + 107. Suppose -4*i = p*n - 3*n + 14, 4*n - i + 1 = 0. Is n*(-54 - 2) + (-3 - -7) a multiple of 12?
True
Let p = -75 + 62. Let o be (1/2)/(p/(-130)). Suppose -4*w + 611 = -o*t + 127, 114 = w - 3*t. Is w a multiple of 6?
True
Let k = -3761 + 4377. Is 28 a factor of k?
True
Let l = 697 - 390. Suppose -7*k + 673 = -l. Is 27 a factor of k?
False
Let x = -72 - -21231. Does 9 divide x?
True
Suppose 369*v = 365*v + 22248. Does 5 divide v?
False
Let j = -29 - -28. Let y be 2862/12 + j/2. Suppose -2*i = 4*z - y, -2*i = 3*z + 2*i - 176. Does 14 divide z?
False
Let k = 114 + -191. Let j = 167 + k. Is j a multiple of 9?
True
Suppose -585 = -410*w + 395*w. Suppose -2*k - 1830 = -5*n, -4*n - w = 2*k - 1485. Is 14 a factor of n?
True
Suppose 0 = -50*l - 45*l + 1120217 - 257332. Does 72 divide l?
False
Let a be 2/(-5) + ((-308)/40 + 8)*18. Let x(b) = -b - 3. Let k be x(-3). Suppose a*p = -k*p + 75. Is p a multiple of 5?
True
Let g = 1916 - 1316. Is g a multiple of 25?
True
Let x(i) = 23*i**2 - 129*i + 218. Is x(9) a multiple of 23?
True
Let q(b) = -17*b**2 - 8*b + 7. Let r(d) = d**2 - d. Let h(v) = -q(v) - 4*r(v). Is 18 a factor of h(2)?
False
Let s(n) = -n**3 - 18*n**2 - 19*n + 17. Let a be s(-17). Let w = 160 + a. Is 19 a factor of w?
False
Let m(f) = f**3 - 16*f**2 + f + 17. Let a = 37 - 34. Suppose 4*u = a*u + 16. Does 33 divide m(u)?
True
Let z(n) = -11*n**3 + 3*n + 3. Let m be z(-2). Let a = m - 48. Let l = 50 + a. Is l a multiple of 13?
False
Suppose -4*p - 148796 = -4*m, 148804 = 165*m - 161*m + 4*p. Is m a multiple of 7?
False
Suppose -41*u + 23*u + 82584 = 0. Is 74 a factor of u?
True
Suppose 0 = u + 3*u + x - 43492, 0*x = -4*x. Is 13 a factor of u?
False
Suppose -45*k + 55*k = 2190. Suppose -15*i + 2256 = -k. Is 6 a factor of i?
False
Let z(f) = f**3 - f**2 - f + 3. Let n be z(0). Suppose -15 = n*m - 42. Suppose -m*x + 46 = -107. Is x a multiple of 2?
False
Let v(s) = -s**3 - 11*s**2 + 12*s - 132. Let w(z) = z**3 + 22*z**2 - 25*z + 265. Let r(k) = -5*v(k) - 3*w(k). Is r(8) a multiple of 20?
False
Suppose -10 + 30 = 2*x. Suppose -c - 3*d + 2 = c, 4*d = -5*c + 5. Is 18 a factor of x - 13 - -95*c?
False
Suppose -47 - 623 = 10*d. Let b = d - -67. Suppose b*z = -6*z + 108. Is 4 a factor of z?
False
Suppose 3*o - 12*c - 17709 = -15*c, o = 3*c + 5915. Suppose 12*a = o + 1738. Does 49 divide a?
True
Suppose w - c - 2*c = 62, c + 70 = w. Suppose 2406 = 8*z - w. Is z a multiple of 13?
False
Suppose 11*d - 23685 = -4*d. Let n = d + -1105. Is 28 a factor of n?
False
Let o(p) = -288*p - 202. Is 40 a factor of o(-18)?
False
Let b = 38476 - 22984. Is b a multiple of 12?
True
Does 4 divide (6/(-9))/(1 + (-3)/9) + 689?
True
Let p = 145 - 128. Suppose -4*o = -5*f - p - 20, -4*f = -4*o + 32. Suppose -o*k + 0*k + 594 = 0. Does 39 divide k?
False
Suppose -362 - 806 = 4*w. Let p be (-1 - 38/(-6))*(-45)/30 + 444. Let k = p + w. Is 18 a factor of k?
True
Is ((-4)/(-3) - 2) + ((-291110)/(-30) - -4) a multiple of 88?
False
Suppose 3*u + 2*s - 6019 = 0, -29*u + 31*u - 5*s - 4000 = 0. Is u a multiple of 21?
False
Let t(m) = -5*m**3 + 53*m**2 - 12*m - 18. Is 18 a factor of t(9)?
True
Suppose 21*k - 51332 = -3914. Is k a multiple of 16?
False
Let i = -6761 + 7041. Is i a multiple of 140?
True
Let w be (2 + -32)*(-3)/5. Let r(i) = -i**3 + 18*i**2 - 14. Let s be r(w). Does 12 divide (-508)/s - 36/126?
True
Suppose -5*d + 4 = -7*d. Let w be (-1640)/(-5) - (-4)/d. Suppose -l + 2*l = g - 164, -2*g = -3*l - w. Is g a multiple of 23?
False
Suppose 3606 = 4*j - 34. Suppose 5*b - 800 = j. Let s = b - 41. Does 43 divide s?
True
Let o be 1 + (98/(-126) - (-4)/(-18)). Suppose o = 10*i - 674 - 1276. Is 13 a factor of i?
True
Suppose -12 = -3*i, 3*r + 10*i + 30 = 19*i. Let f(g) = -91*g**2 - 7*g + 11. Let t(s) = -46*s**2 - 3*s + 5. Let d(q) = 4*f(q) - 9*t(q). Is d(r) a multiple of 12?
False
Let q(l) = -l**3 - 28*l**2 + 28*l + 86. Let u(p) = p**3 - 9*p**2 - 11*p - 19. Let m be u(10). Does 23 divide q(m)?
True
Let v(l) = 59*l**2 - 12*l - 17. Suppose -4 = -5*r - 24. Is v(r) a multiple of 13?
True
Suppose -3*g + 1519 = -35. Let v = 1090 - g. Is v a multiple of 44?
True
Let z = -43 - -47. Let t be (-61)/z - (-9)/(-12). Let a = t - -211. Does 32 divide a?
False
Let r(s) = -7*s + 38. Let m be r(6). Does 72 divide (-41720)/(-60) - m/6?
False
Does 15 divide (13714/(-28) + (-12)/(-42))/((-2)/120)?
True
Let n = -188 - -190. Suppose -4*s + n*k - 6*k = -672, s - 5*k - 150 = 0. Does 33 divide s?
True
Let d(c) = 135*c + 2220. Is d(-14) a multiple of 22?
True
Suppose 0 = -3*q + 4*d - 14, 4*d = q + q + 8. Does 30 divide (133/(-6) + q/4)*-18?
False
Let b(o) = -57*o**2 + 4*o - 2. Let t be b(2). Let h = t - -334. Is h a multiple of 28?
True
Suppose 2*f = -2*s + 19066, 3*f - 175*s = -172*s + 28563. Is 5 a factor of f?
False
Suppose 3*z + 24 = 3*o + 996, -o = z - 314. Is 29 a factor of z?
True
Let f = 1 - -42. Suppose -2*g + 120 = 3*t, -f = 4*g + 5*t - 285. Is 9 a factor of g?
True
Let i(d) = -d**3 - 74*d**2 - 700*d - 196. Is 30 a factor of i(-66)?
False
Suppose -26 = -9*z + 19. Suppose 7 = z*a - 3. Suppose 2*l - 4 - 4 = 0, 0 = -a*q + 4*l + 14. Is 2 a factor of q?
False
Let y(u) = 4*u. Let g be y(0). Let n(a) = -3*a + 3. Let s be n(g). Suppose -3*v = s*r + 2*r - 632, 612 = 5*r - 2*v. Does 13 divide r?
False
Let k be (0 - 0)/(17 + -21). Suppose -25 = -z + 3*x, -z + k*x + 5*x + 31 = 0. Suppose -18*s = -z*s - 164. Is s a multiple of 6?
False
Let u(o) = -2*o**2 - 158*o - 1152. Does 3 divide u(-64)?
True
Does 23 divide 1898368/192*(-9)/(-6)?
False
Suppose 22*x + t + 311 = 27*x, 0 = 3*x + 2*t - 184. Let w = x + -51. Is w a multiple of 11?
True
Let o(u) = 14922*u**3 + 2*u**2 + 11*u - 12. Is o(1) a multiple of 42?
False
Suppose 7*a - 346 = 1082. Let g = a + -28. Does 8 divide g?
True
Suppose -24*g + 84*g - 4078 - 1922 = 0. Let x be 11*8/1 - 0. Let r = g - x. Does 4 divide r?
True
Let n = 13807 - 5960. Is n a multiple of 41?
False
Let f = 43 + -28. Let n(t) = -13*t**2 - 30*t - 23. Let z(y) = 3*y**2 + 2. Let l(a) = -n(a) - 5*z(a). Does 13 divide l(f)?
True
Does 111 divide (13145/(-7) + 2/(-14))*-1?
False
Let v(g) = g**3 + 14*g**2 + 12*g + 11. Let t be v(-13). Suppose t*b - 318 = 21*b. Does 77 divide b?
False
Suppose 0 = -l - 3*l - 136. Let b = 77 + l. Suppose -b*c + 64 = -39*c. Does 3 divide c?
False
Let b(v) = v**3 + 14*v**2 + 3*v - 13. Let j be b(-15). Let t = j - -723. Suppose 6*a = a + t. Is 22 a factor of a?
True
Does 65 divide 43748/12 + -6 - 5/(-15)?
True
Suppose -3*n = -7*n + 8736 + 5408. Does 17 divide n?
True
Let u(z) = 310*z + 76. Is 29 a factor of u(2)?
True
Is 41 a factor of (318/10 + 1 + 0)/((-22)/(-4400))?
True
Suppose -3*h + 0 = 9. Let v be (h/(-9))/((-1)/(-6)). Suppose q + v*q = 36. Is 2 a factor of q?
True
Let k(l) = 87*l**2 - 45*l - 203. Is k(-4) a multiple of 3