*x = i - w. Is 2 a factor of i?
False
Suppose -5*n + 8 = z - 452, 4*n - 2*z - 368 = 0. Let w = -195 + n. Let l = w - -154. Is l a multiple of 7?
False
Let d(q) = q**3 + 14*q**2 - 15*q + 4. Let z be d(-15). Suppose 0 = 2*s + 3*k - 2205, z*s - k - 3987 = 430. Does 24 divide s?
True
Let h(s) = -61*s - 57. Let l be h(-9). Suppose -l - 898 = -5*o. Does 32 divide o?
False
Let p(u) = 39*u**2 + 2*u - 24. Let m be p(6). Suppose -4*r + 246 = s - 1613, -3*r - 3*s + m = 0. Is r a multiple of 30?
False
Let j be 6/(-10) + (2232/(-30))/(-4). Let b be (1 - j/14)/(2/(-28)). Suppose -b*t - 131 + 391 = 0. Is t a multiple of 13?
True
Suppose 3*r + 4070 - 14018 = 0. Suppose 7*c - r = 723. Is 21 a factor of c?
False
Let n = 13036 + -12822. Is 73 a factor of n?
False
Suppose -c + 119*c = -115*c + 264222. Does 6 divide c?
True
Let h = 67 + -103. Suppose 3*z + 9 = 153. Let p = z + h. Does 3 divide p?
True
Let z be 6/(-6)*(2 - (2 - -5)). Suppose 0 = -4*d + 1 + 11. Suppose 4*s = s - 4*a + 55, d*s + z*a = 50. Is 22 a factor of s?
False
Let a(m) = 136*m**2 + 240*m - 2. Is a(-18) a multiple of 21?
False
Suppose 37979 = f - 3*r, 13*f - 10*f - 113943 = 3*r. Is f a multiple of 14?
True
Let g = -1049 + 3009. Is g a multiple of 56?
True
Let q be (-20)/35 + 4797/(-21). Let u = 103 - q. Is u a multiple of 13?
False
Let n(g) = -2*g - 36. Let p = 140 - 70. Let v be (56/p)/((-1)/30). Is n(v) a multiple of 2?
True
Let c(o) = 44*o**2 + 1079*o + 31. Is 62 a factor of c(-31)?
True
Suppose 2*z - 3 = -p, 2*p = -z + 6*z - 12. Let i be 3393/12 - ((-6)/8)/p. Is 47 a factor of ((-18)/(-4) - (-1 - -5))*i?
True
Let r(b) = 4*b**2 + 13*b + 24. Let t be r(-2). Does 23 divide (-2)/t*1 - 301688/(-602)?
False
Let t = 5210 + -4742. Is 10 a factor of t?
False
Suppose 2*k - 5*o = 20, -2*k - 5*o = -6*k + 30. Suppose k*q = 24*q - 8721. Does 51 divide q?
True
Let p(d) = -d + 18. Let g be p(8). Suppose -56 - g = 2*u. Let z = u - -40. Does 2 divide z?
False
Suppose 0 = 4*w + 3*l - 2277, -4*w + 2*l = -0*l - 2302. Let c = w + -177. Is 33 a factor of c?
True
Suppose 12*d - 12 = 6*d. Suppose 163 = d*a - 129. Is a a multiple of 19?
False
Suppose 0 = -x - i - 3*i + 119, i = 2*x - 229. Let b = 221 + x. Is b a multiple of 28?
True
Let m be ((-118)/531)/(2/(-4419)). Suppose 18*g - 7447 = m. Does 19 divide g?
False
Let y be (-8)/(-20) + 162/(-5). Let v = y - -6. Is 13 a factor of 24*v*12/(-32)?
True
Let j(z) = -z**2 + 3*z. Let s be j(16). Let d be 30/((-2)/(s/(-12))). Does 26 divide 12/(-8)*d/3?
True
Let p be 0 + 1 + 4 - (-295 + 43). Is 8 a factor of 1 - 8/((-8)/p)?
False
Let i = -169 + 173. Suppose -i*s - 3*n + n + 218 = 0, 3 = -n. Does 18 divide s?
False
Let l(x) = 109 + 627*x**2 - 44*x - 7*x - 628*x**2 + 8*x + 67. Is l(0) a multiple of 50?
False
Let p be (7/(-14))/(((-5)/12)/5). Suppose p*h - a - 84 = 2*h, 3*h + 5*a - 63 = 0. Suppose -504 = -h*w + 7*w. Is w a multiple of 5?
False
Suppose 0 = -0*p - 3*p + 4*y + 32, 3*y = -2*p + 44. Suppose -p*m + 4878 = -3762. Is 36 a factor of m?
True
Suppose 49*r - 17*r - 11*r = 217266. Is r a multiple of 103?
False
Let k = -7099 + 11644. Is 12 a factor of k?
False
Is 11 a factor of (1 - -2) + (-22)/((-22)/437)?
True
Suppose 50*p - 12 = 44*p. Suppose -p*c + 37 = -113. Is c a multiple of 15?
True
Let z(n) = 4*n**2 + 6*n - 89. Let w be z(12). Let x = w - 271. Does 19 divide x?
False
Suppose -116 = -5*n - g + 2*g, -2*n + 50 = -4*g. Let f(b) = -b**2 + 25*b - 22. Let k be f(n). Is 35 a factor of (-72)/(-18) + 5*k?
False
Let y(o) = 5 - 5*o**2 + 53*o + 2*o**3 - o**2 - 34*o - 2*o**2. Does 75 divide y(5)?
True
Is (2/7 - (-893)/133) + 553 a multiple of 28?
True
Let v(l) = -11 - 9*l + 41 + 43. Does 3 divide v(4)?
False
Let x = 206 - 211. Let a(z) = 27*z + 178. Is 2 a factor of a(x)?
False
Let v(d) = -9*d - 14 + 117*d**3 - 14*d**2 - 237*d**3 + 119*d**3. Is v(-15) a multiple of 16?
False
Suppose 4*x + 70852 = 3*m + 199015, 0 = -3*x + 5*m + 96125. Is 40 a factor of x?
True
Suppose -162 = -0*f + 2*f. Let t = 83 + f. Is (-5)/t*(-378)/15 a multiple of 9?
True
Suppose 0 = i + 3*w - 5*w - 240, 5*i - 1255 = -w. Is (-150)/i + (-4306)/(-10) a multiple of 9?
False
Suppose -7*c + 16*c = -342. Let q = -35 - c. Suppose -119 = -4*m + q*u, m = 5*m + 3*u - 137. Is 4 a factor of m?
True
Let b be (7030/111)/(-1 - 13/(-12)). Suppose 7*v - 17*v = -b. Is 40 a factor of v?
False
Suppose 18*r - 29496 = 27132. Does 13 divide r?
True
Let y(q) = 3*q - 1. Let z be y(2). Suppose -20 - 20 = -4*o + 5*w, -o = z*w - 10. Suppose o = -4*x + 38. Does 4 divide x?
False
Let v = -113 - -295. Let h be (6*-1)/(-4*1/v). Suppose -39*k = -36*k - h. Is k a multiple of 31?
False
Suppose 0 = -18*v + 28731 + 14361. Is 5 a factor of v?
False
Suppose 54*f - 45*f - 4851 = 0. Is 64 a factor of f?
False
Let j(m) = 2*m**3 + 34*m**2 - 7*m - 35. Is j(-13) a multiple of 32?
True
Let k be -55*(-1)/3*(-9)/(-5). Let q = -26 + k. Is (-12*q)/(-3) - 3 a multiple of 6?
False
Suppose 164*v = 668063 + 279798 + 140771. Is v a multiple of 25?
False
Let z(a) = 20*a - 24. Let g be z(8). Let q = 409 + g. Is 26 a factor of q?
False
Let t be (-1)/(-13) - 75*6/(-234). Let o(n) = 23*n. Let m be o(2). Is 15 a factor of m*(t + 1 + 10/(-4))?
False
Suppose -3*q = -4*u - 76, 2*u + 167 = 5*q + 17. Suppose 5*r = 4*n - 6, -7*n + 10*n = 12. Does 2 divide q/4 + r + 1?
False
Suppose l + 6*g - 98580 = -2*l + 4*g, 0 = 2*g. Is l a multiple of 31?
True
Suppose -7413 = -2*j - z, 0 = -416*z + 415*z + 1. Is j a multiple of 113?
False
Suppose 5*d - 112 - 43 = -c, 0 = -3*c - 5*d + 445. Does 6 divide (29 + -26)/(1/c)?
False
Let k = 2 - -60. Let s = k - 61. Is 8 a factor of s + (-3)/1 - -15?
False
Let k(d) be the third derivative of -11*d**4/24 + 19*d**3/6 - 28*d**2. Let w be k(-3). Suppose 47*l - w*l = -440. Is 34 a factor of l?
False
Let o be (-1)/4 + (-57)/76. Let m = -69 + o. Let k = m + 299. Is k a multiple of 44?
False
Suppose 0*q - 805 = -7*q. Let s = q - -85. Is 10 a factor of s?
True
Let l(h) = -18*h**3 + h + 7. Let j be l(-2). Let o = -160 + 68. Let t = o + j. Does 8 divide t?
False
Suppose a - 3*a + 2*o = -4, -o - 4 = -3*a. Is a/(-4) - 25/(-40)*338 a multiple of 35?
False
Let u(k) = -5*k - 11. Let q be u(-3). Suppose n - 4*d = 110, q*n - d - 248 - 162 = 0. Is n a multiple of 34?
True
Let c be 16/(-10) - (-10)/(-25). Let r be (134/1)/(-9 - -5 - c). Let i = r + 73. Does 3 divide i?
True
Let x = 594 - -5411. Is 49 a factor of x?
False
Let o be ((-68)/3)/((-434)/(-105) + -4). Let p = -66 - o. Suppose -f + 28 = t - 3*f, f = 3*t - p. Does 3 divide t?
True
Let t(d) = -6*d**2 + 41*d - 7. Let q(u) = -13*u**2 + 82*u - 15. Let a(z) = -4*q(z) + 9*t(z). Is 13 a factor of a(17)?
False
Let g(l) = 2*l + 8. Let d be g(11). Suppose 0 = d*k - 25*k. Suppose k = -10*r + 134 + 176. Does 11 divide r?
False
Let h(c) = -2*c**3 + 8*c - 4. Let y = -44 - -37. Let f be h(y). Suppose 7*o + 87 = f. Is o a multiple of 15?
False
Suppose -9*z + 2*z + 6083 = 0. Let n = z + -491. Is 21 a factor of n?
True
Suppose 2*x + 22*w = 21*w + 11270, 5*w = 3*x - 16931. Is x a multiple of 49?
False
Let x(s) be the first derivative of -s**4/2 - 5*s**3/3 + s**2/2 - 27. Let k be x(-5). Is 8 a factor of (19/(76/k))/(2/9)?
False
Let t be (0 + 96/(-10))*(1 + 3059). Let o be (0 + 1)/((-32)/t). Suppose -3*p = -4*x + o + 71, -5*p = 15. Does 21 divide x?
False
Let g be (-6)/(-4)*606 + 55/55. Suppose 9*r = 2*r + g. Is 10 a factor of r?
True
Let l be (-9280)/(-56) + (-12)/(-42). Suppose -l*z - 1200 = -170*z. Does 10 divide z?
True
Let z be ((-8)/16)/(4/(-120)). Suppose z*u - 3036 = -291. Is 61 a factor of u?
True
Suppose 36 = 66*t - 72*t. Let m(z) = -3*z**3 + z**2 - 3*z - 18. Does 24 divide m(t)?
False
Let v(b) = -168*b - 374. Let l be v(-3). Let f be 4/6*(-1 + 4). Suppose 100 = f*y + 4*a, -3*y + 6*y - l = -2*a. Does 20 divide y?
True
Suppose -244413 = -69*n + 61611 + 18966. Is 69 a factor of n?
False
Let n(p) = p**3 + 23*p**2 + 21*p + 3. Let z be n(-22). Let c(o) = o**3 - 26*o**2 + 28*o + 13. Does 4 divide c(z)?
True
Let k(s) = -170*s - 1982. Does 29 divide k(-25)?
False
Suppose 2393748 = 275*j + j. Is 177 a factor of j?
True
Let n(h) = h**3 - 11*h**2 - 10*h + 26. Let c be n(12). Let i = c + -47. Let z(g) = 13*g**2 - 2*g - 3. Does 36 divide z(i)?
True
Suppose 35 = 34*t - 29*t, -2*g - 2*t = -25190. Is 220 a factor of g?
False
Let 