ose 35*q = 36*q. Suppose q = 7*m - 6*m - 100. Is 5 a factor of m?
True
Suppose 0 = 48*t + 9520 - 244624. Is 2 a factor of t?
True
Let k be 27 + (-4)/(-2) - (-20 + 23). Suppose -10*c = k*c - 5472. Does 22 divide c?
False
Suppose -3*c + 66028 = -4*l, -31*l + 35*l - 65972 = -3*c. Does 8 divide c?
True
Let m = -25 + 36. Suppose l - 1 = -m. Is 12 a factor of 1566/10 + 6/l?
True
Let m(u) = -401*u + 201. Is m(-29) a multiple of 20?
False
Suppose 333*x - 466*x = -55195. Does 6 divide x?
False
Let k be (-2 - (-40)/18) + (-22)/99. Suppose k = -6*g - 224 + 86. Let z = 89 - g. Does 37 divide z?
False
Let s(z) = 4*z + 7. Let g be s(-2). Let c be (5/20)/(g/(-12)). Suppose 5*x + 57 = 2*h - 52, 0 = -c*h + 2*x + 136. Is h a multiple of 14?
True
Suppose 3*r + 2*u - 2951 - 39379 = 0, -3*u - 9 = 0. Is 252 a factor of r?
True
Is (3/(18 - 6))/(3*(-3)/(-267768)) a multiple of 116?
False
Let s(i) = -2*i**3 + 30*i**2 - 29*i + 18. Let l be s(14). Suppose 241 + 1267 = l*h. Is h a multiple of 22?
False
Suppose 65132 + 33772 = 143*k + 25116. Is k a multiple of 12?
True
Let w = 177 - 158. Suppose w*q = q + 4050. Is q a multiple of 9?
True
Suppose -1854420 + 6958967 + 1603663 = 318*i. Is 284 a factor of i?
False
Let f(z) = -286*z + 207. Is f(-1) a multiple of 23?
False
Let k(s) = -2*s - 10. Let x be k(-6). Is (x/(-5))/((-2)/235) a multiple of 3?
False
Let z(i) = i**2 - 16*i - 45. Let k be z(19). Let x be k - (-5 - 12/(-3)). Does 16 divide (-1 - x - 1)/((-11)/44)?
False
Let q be 13/11 + 10/(-55). Let h be (q + 4)*(-324)/45. Does 29 divide h/(-36) - -8*7?
False
Let v(q) = -48*q - 249. Let p be v(-6). Let b(t) = t**3 - 41*t**2 + 80*t - 59. Is b(p) a multiple of 3?
False
Suppose -21 = -6*x - 3. Suppose -a - x*a = -124. Let h = -4 + a. Is 3 a factor of h?
True
Let j(v) = 13*v + 8. Suppose 3*y + 3*z + 45 = -57, 0 = -3*y + 5*z - 70. Let o be y/(-9) + 4 + 10/(-3). Is j(o) a multiple of 7?
False
Is 87 a factor of 14096/6 + (-9)/27?
True
Let o be (26/(-10) - -2)/((-5)/25). Suppose 0 = -2*t + 2, o*n = t + 3*t - 91. Let j = 17 - n. Is j a multiple of 23?
True
Suppose -y - 3*y + 23 = 3*t, 2*y = 4*t + 6. Suppose 5*d = -5*q + 1280, -q - q = y*d - 1295. Suppose 5*k = d + 194. Is k a multiple of 13?
True
Suppose -5*y - 39718 = 34*y - 196810. Does 53 divide y?
True
Let z = 2 - -58. Suppose -2*g + z = 3*v - 71, 0 = g + 2*v - 68. Let f = -34 + g. Does 7 divide f?
False
Suppose 2735 - 404 = 6*f - 159. Is 83 a factor of f?
True
Is (-31)/310*-20 + (-14483 - 1)/(-1) a multiple of 16?
False
Let p be ((-10)/40*2)/(2/64). Let r(c) = 2*c**3 + 33*c**2 - 17*c - 24. Does 9 divide r(p)?
True
Suppose -91*d + 87500 = 9*d. Does 2 divide d?
False
Suppose -10*y - 969 = 1141. Let d = y - -224. Is 7 a factor of d?
False
Suppose -2*w = -4*u - 79 + 247, -4*u + 438 = -5*w. Let h = w + 94. Let t(f) = 10*f - 22. Is t(h) a multiple of 6?
True
Suppose 43683 = -36*v + 76*v - 65517. Does 15 divide v?
True
Let z be 16/2 + (-1)/1. Let m(k) = -k**2 + 8*k - 8. Let d be m(z). Does 14 divide (-2)/d - (3 - 127)?
True
Let f(p) be the first derivative of p**3/3 + 5*p**2/2 + 6*p + 76. Is 77 a factor of f(19)?
True
Suppose -2*x - 2*x + 2664 = 4*w, -4*w + 2*x + 2670 = 0. Suppose -23 - w = -10*q. Let t = 161 - q. Is t a multiple of 23?
True
Let a = 2513 - 4932. Let d = -739 - a. Does 28 divide d?
True
Let r(h) = h**3 - 16*h**2 - 19*h + 37. Let j be r(17). Does 6 divide 4/j*528/32?
False
Suppose -4*i - 4*r = -3*i - 8, 5*i - 40 = -3*r. Suppose -s - 646 = -0*g - 3*g, -4*s = -i. Is g a multiple of 41?
False
Let h be (29 + 14)*(2 - (-1)/(-1)). Let q = 50 - h. Is 7 a factor of q?
True
Let v = 77 + -63. Suppose -173 = -v*s + 23. Suppose s*j - 11*j - 78 = 0. Does 14 divide j?
False
Suppose 646872 = 85*l + 20*l - 33528. Does 94 divide l?
False
Suppose 4*z - d = z + 15, -4*z + 1 = 5*d. Suppose -z*n - 472 = -5*h, 3*h + 11*n - 14*n - 285 = 0. Is h a multiple of 10?
False
Let v(w) = -5*w - 16. Let g be v(7). Let r = g - -61. Let q(i) = -i**3 + 11*i**2 - 8*i. Is 16 a factor of q(r)?
False
Let p = 5436 - 2996. Suppose -5*c + 2435 = -5*u, u + p = 5*c - 3*u. Is 12 a factor of c?
True
Let n(c) be the second derivative of c**3/6 + c**2/2 - 11*c - 2. Let z be n(3). Suppose 0 = z*r + 4*d - 0*d - 544, 2 = 2*d. Is r a multiple of 29?
False
Let n be -6*(-20)/(0 - -2). Let x = n + 292. Is 11 a factor of x?
True
Suppose -5*r + 101699 = -4*i + 1107, 0 = 3*r - 5*i - 60363. Does 94 divide r?
True
Let x = 116 + -100. Let n(z) be the first derivative of -z**4/4 + 17*z**3/3 - 5*z**2/2 + 12*z - 3. Is n(x) a multiple of 9?
False
Let g = -80 + 83. Suppose -84 = -g*s + 3*z, 71*s - 70*s - 2*z = 24. Is 4 a factor of s?
True
Suppose -2*j + 34 = 4*l, 0*j + 37 = 2*l + 5*j. Is 10 a factor of 4/l + (-9)/((-54)/1844)?
False
Suppose r = 0, -4*j + 11*r = -0*j - 2*r - 70228. Is j a multiple of 22?
False
Let l(p) = 13 - 10 - 3*p + 2*p + 7. Let x be l(10). Suppose 4*k - 2*m + 0*m = 102, x = 3*k - 2*m - 76. Is 18 a factor of k?
False
Let d = -2648 - -4470. Let g = -835 + d. Is g a multiple of 84?
False
Suppose 23*h = -5*c + 2*c + 96579, 4*h = c + 16807. Does 30 divide h?
True
Let f = 1535 + -1119. Is 55 a factor of f?
False
Let k(p) = -p**3 + 6*p**2 - 6*p + 8. Let m be k(5). Suppose 2*o + 3*w - 3 = 13, 0 = -m*o - w + 38. Suppose 900 = j + o*j. Is j a multiple of 15?
True
Does 30 divide 12190 - 43/43*(1 - -1)?
False
Let l(z) = -z**3 + z**2 - 4*z + 34. Let h be l(0). Let b(s) = -s - 157. Let g be b(0). Let w = h - g. Is 20 a factor of w?
False
Let d(q) = 930*q**3 + 3*q**2 - 3*q. Let y be d(1). Suppose 2*c - 8*c = -y. Does 5 divide c?
True
Let p(d) = -d**3 + 15*d**2 - 17*d + 11. Suppose 4 = 4*h - 48. Let i be p(h). Suppose -i = -4*m + 16. Is m a multiple of 8?
False
Let r(f) = -4462*f + 594. Is r(-5) a multiple of 31?
False
Suppose f + 11664 = 3*x + 459, -3*f = 0. Is x a multiple of 45?
True
Suppose 0 = -2*n + 7*n. Suppose s + 3 = -n*s + 2*j, -3*j + 9 = 0. Suppose 0 = 5*m - s*u + 2*u - 261, 0 = 5*u - 20. Does 15 divide m?
False
Let b = -73 + 71. Let g be (-360)/b - 0/(-5). Suppose -5*t + 60 = x, 5*x - g = 7*t - 2*t. Is 10 a factor of x?
True
Suppose 5*a = -3*n - 1458, 0 = 3*n + 4*a + 1211 + 247. Suppose -d - 2*k + 14 = 0, 0 = 2*d - 3*k + 53 - 39. Is (n/12)/(d/(-16)) a multiple of 36?
True
Let o = -138 - 29. Let b = -96 - o. Let s = b - 26. Does 9 divide s?
True
Suppose -29*d - 1271 - 527 = 0. Let z(q) = -2*q**2 + 2*q - 5. Let i be z(-4). Let g = i - d. Is 13 a factor of g?
False
Suppose x - 598 = -4*p, -p + 3*x - 15 = -158. Let k = 255 + p. Does 25 divide k?
False
Suppose 28*t - 2826 - 86 = 0. Let z = -173 - -122. Let a = t + z. Is 14 a factor of a?
False
Suppose 2*o - 15 = -11. Does 29 divide 1 + 173 + (o - -2)?
False
Is 27 a factor of -5 - (-4*(-18)/12 + -740)?
True
Let r(u) = 112*u + 662. Does 9 divide r(33)?
False
Suppose -v + 67 = 5*z, 62 = 4*z + 5*v - 0*v. Suppose -4*r = -j - 198, -4*j + 258 = -8*r + z*r. Does 7 divide r?
False
Suppose 3*k = h - 739, -h + 411 = -5*k - 334. Is 11 a factor of h?
False
Let z(b) = -2*b - 35. Let s be z(-16). Let t be 618/20 - s/30. Let q = 11 + t. Is q a multiple of 5?
False
Let r = -144 + 66. Let q = r + 146. Does 30 divide q?
False
Suppose 5*y + 2*h - 40 = 0, -32 = -3*y - 2*h - 12. Suppose o - p - 10 = 0, -39 = -5*o - p + 17. Suppose -y = -x + o. Is 17 a factor of x?
False
Let t = 38495 + -8575. Is t a multiple of 55?
True
Let s be 30/4*-14*(-18)/315. Suppose s*j - 84 - 576 = 0. Does 3 divide j?
False
Let m(x) = -32*x + 176. Is m(-10) a multiple of 6?
False
Let w(o) = 18*o**2 + 38*o + 268. Is w(19) a multiple of 39?
True
Suppose -4253 = -2*j - 863. Does 3 divide j?
True
Let u = -28 + 28. Suppose u*v - 590 = 5*v. Let n = -43 - v. Is 15 a factor of n?
True
Suppose 2*u + 3485 = i - 3858, 7364 = i + 5*u. Is 8 a factor of i?
False
Suppose 4*t - 10 = -5*x, 3*t = -x - 0*x + 13. Suppose t*a - 158 = 4*z, 0 = 5*z + 4*a - 9*a + 200. Is 24 a factor of (56/z)/(2/(-36))?
True
Let n(s) = -31*s**3 - 6*s**2 - 2*s + 2. Suppose 3*z + 1 = -o + 7, -5*o = z - 16. Suppose -4*a + 8*a - 10 = o*u, 0 = -4*u - 2*a - 6. Is n(u) a multiple of 46?
True
Suppose -49 + 25 = 4*t. Let x be (t/(-5) - 1) + (-376)/(-20). Suppose -2*d + 284 = 2*y, -133 = -y + 4*d + x. Does 12 divide y?
True
Let u(n) = n**3 - 20*n**2 + 52*n - 192. Is 96 a factor of u(18)?
True
Let h(x) = -x**2 - 9*x 