9 = -2*x - 5*u. Is 7 a factor of x?
True
Suppose 0 = 4*m - 4*t - 12, 2*m = -m - 2*t + 4. Suppose 85 = m*x - 55. Does 34 divide x?
False
Let m(d) = -d - 8. Let v be m(-9). Let k be v*(-2 - -2 - 107). Let q = -43 - k. Is 7 a factor of q?
False
Let p = 2 - -98. Let b = p + -56. Is 11 a factor of b?
True
Suppose 5*i + 2*r = i - 10, -3*i - r = 6. Let c(l) = 37*l**2 + 5*l + 2. Is c(i) a multiple of 17?
True
Let a be 1/2 - 95/10. Let t = a - -5. Does 13 divide (0 - -2)/(t/(-26))?
True
Let d(i) = i - 4. Let j be d(5). Let h = 113 - j. Is 7 a factor of h?
True
Does 78 divide 21558/12 + (-125)/50?
True
Let c(g) = -3*g - 2 + g**3 - 5*g**2 + 7*g + 2*g + 5. Let v be c(3). Suppose v*o = -o + 24. Does 3 divide o?
True
Let p(b) = -b + 6. Let o be p(3). Let t(r) = r**2 - 11*r + 6. Let j(k) = k**2 - 10*k + 5. Let w(x) = o*j(x) - 4*t(x). Does 18 divide w(9)?
True
Let f be ((-8)/6)/(18/(-81)). Let b(k) = 7*k - 2. Let z be b(f). Let s = z - -13. Is s a multiple of 15?
False
Let o(h) be the second derivative of 5*h**4/12 - h**3/6 + 3*h. Let i(r) = -r**2 - 4*r + 7. Let u be i(-5). Does 9 divide o(u)?
True
Suppose 0 = 23*x - 27*x + 172. Does 4 divide x?
False
Is -2 - 3797/(-5) - 2/5 a multiple of 99?
False
Let i(d) = 48*d + 845. Is 87 a factor of i(46)?
False
Suppose -3*i = -i + 120. Let w = -173 + 378. Let r = w + i. Does 29 divide r?
True
Let y(l) = -6 + 13*l - 21*l - 3. Does 14 divide y(-11)?
False
Let q = -2257 + 3779. Does 57 divide q?
False
Suppose 0 = q - 2*y + 6 - 0, -3*y = -5*q - 9. Suppose -5*l = -5*s + 120, 3*s + 4*l = -0*s + 86. Suppose -4*g + s + 42 = q. Is g a multiple of 17?
True
Suppose -22 + 7 = -5*y. Let j(b) = b**2 - 2*b + 1. Let m be j(y). Suppose 4*p + 34 = l, m*l - 136 = 2*p - 0*p. Is 6 a factor of l?
False
Suppose -3*v - 3 + 9 = 0, 4*v = c + 8. Let g(n) = c*n + 2 - 4*n**2 + 0*n + 0*n + n**3. Is g(5) a multiple of 9?
True
Let a = -9 + 13. Suppose -5*t - 247 = -2*z, 233 = 2*z + a*t - 59. Is 34 a factor of z?
True
Suppose -4*k = -9*k. Suppose k = 2*j + j - 4*u - 74, -5*j = -5*u - 130. Is 30 a factor of j?
True
Suppose 4*r - 5*y - 29 = 7, 5*r = 2*y + 28. Let s be 2/2*(-60)/r. Does 5 divide (-144)/(-15) - 6/s?
True
Suppose 5*t - 25 = 0, -s = s + 4*t - 34. Suppose 4*k = 5*v - 176, -s*k = -5*k - 2. Does 3 divide v?
True
Suppose -97 = -16*x + 3359. Is x a multiple of 3?
True
Is ((-6256)/(-12))/(18/27) a multiple of 46?
True
Let n = 108 + -96. Suppose 4*a - 5*l = n, 3*a - 8 = -5*l + 1. Is 2 a factor of a?
False
Let i(y) = -y**2 + 8*y + 9. Let g be i(9). Let h = g + -11. Let l = h - -20. Does 4 divide l?
False
Let l be ((-336)/30)/(4/(-10)). Suppose 0 = 5*c - 2*s - l, -2*c = -4*s - 19 - 5. Suppose -3*h + 4*z + c = -68, -h - 2*z + 24 = 0. Is h a multiple of 12?
True
Suppose -2 = -v + 3*g, 0 = 4*v - 4*g + 1 - 17. Suppose 4*c = j - 3*j, v*j = 4*c. Suppose -4*t + 22 + 10 = j. Is t a multiple of 8?
True
Let c(n) = -4*n**3 - 6*n**2 - 2*n - 3. Let y(l) = -5*l**3 - 5*l**2 - l - 2. Let d(t) = -3*c(t) + 4*y(t). Suppose -a = -4*a - 6. Is 15 a factor of d(a)?
False
Let a = 392 + -220. Suppose -5*t - 22 = -a. Is t a multiple of 6?
True
Let d = 456 + -225. Is d a multiple of 11?
True
Suppose -g - g = -6. Suppose 0 = -5*p - g*f + 290, 3*p - 5*f = -2*f + 174. Is p a multiple of 17?
False
Let z be 10/25*-5*3. Let f = z + 10. Suppose -10 = -2*n - f*o, 0 = 3*n + o - 17 - 13. Does 4 divide n?
False
Let k = 1302 + -765. Is k a multiple of 3?
True
Suppose -115*z + 113*z + 923 = -5*d, -3*z - 2*d = -1375. Is z a multiple of 17?
True
Let g(q) = 4*q - 4. Let t(k) = -k. Let j(x) = g(x) + 5*t(x). Let n be j(-5). Is 3 a factor of 9*(n - 0) + 2?
False
Let q = -258 - -433. Is 5 a factor of q?
True
Let m = -26 + 16. Let u be (8/m)/(3/(-30)). Let s = 0 + u. Is s a multiple of 8?
True
Let c = -100 + 103. Suppose 104 = 3*g - 4*p - 33, 0 = 3*g - c*p - 132. Is g a multiple of 4?
False
Let l(b) = b**3 - 8*b**2 + b + 6. Let v be l(7). Let w be 94 + (-9)/(v/8). Let i = 144 - w. Is i a multiple of 7?
False
Let o(w) = w**2 - 8*w + 6. Let k be o(5). Let r = k + 12. Suppose 34 = 2*v + r*m, 0*m - 5*m + 9 = -v. Does 9 divide v?
False
Let p(t) = t + 8 - t**2 + 4*t**2 + 1 - 2. Let k(r) = r**3 - 8*r**2 - r + 3. Let m be k(8). Is 19 a factor of p(m)?
False
Let s = -189 - -337. Does 37 divide s?
True
Let s = 33 - 31. Suppose -2*z = s*x - 57 - 9, x = 3*z - 87. Is z a multiple of 10?
True
Let c(y) = -2*y + 25. Let a be c(10). Suppose 0 = a*i + 177 - 527. Is 35 a factor of i?
True
Let q be 2*10/5*-5. Does 55 divide (-4928)/q - 2/5?
False
Let w(s) = 8*s - 2. Let x be w(1). Suppose -3*h - 2*f + 69 = -x*f, -5*f = -15. Is h a multiple of 7?
False
Suppose 2*i = 0, -4*i + 286 = -k + 3*k. Is k a multiple of 13?
True
Let b(g) be the first derivative of -g**3/3 - 15*g**2/2 - 13*g - 53. Let d(m) = -10*m**2. Let z be d(-1). Does 9 divide b(z)?
False
Suppose -w + 4*z - 2 = 0, 4*z + 26 = 2*w + 2*z. Let m be 3*3*((-10)/15 - -1). Suppose -m*g + 9 = -w. Is g a multiple of 8?
False
Let n(s) = 9*s**2 - 3*s - 9. Does 8 divide n(4)?
False
Let u(m) = 2446*m**2 - 2*m + 2. Is u(1) a multiple of 98?
False
Suppose -5*a + 89 + 41 = 0. Suppose -3*r = -a - 49. Suppose -5*g - 2*w = -47, 3*g + w + w - r = 0. Does 8 divide g?
False
Suppose -y + 9 = q, 3*q + 5*y - 20 = -3. Is 12 a factor of q?
False
Let s be ((-24)/(-40))/(1/(-5)). Let b(p) = 21*p**2 + 6*p + 4. Does 35 divide b(s)?
True
Is (-18)/(-9)*1 - -160 a multiple of 9?
True
Let c(z) = 5*z**2 - 47*z + 202. Does 3 divide c(4)?
False
Let m(i) = -i**3 + i**2 - 12*i - 4. Let s be m(-6). Suppose 0 = -6*c + 2*c + s. Is 40 a factor of c?
True
Let m(s) = -s**3 - 8*s**2 - 7*s - 8. Let d be m(-7). Let n = -9 - d. Is ((-3)/(-1))/(n/(-14)) a multiple of 14?
True
Let w(m) = -2*m**2 + 0*m**2 + m**2 + 2 + 4*m + 2*m. Let o be w(6). Suppose -4*z = 5*q - 333, -4*z + 113 = o*q - 13. Is 24 a factor of q?
False
Suppose 8*u - 13*u = 10. Is 8 a factor of 32 + (0/1 - u)?
False
Let o = -413 + 424. Let g = -2 - 7. Let u = o + g. Is 2 a factor of u?
True
Let h(u) = -u**3 + 20*u**2 + 29*u - 9. Does 8 divide h(21)?
False
Let a(r) = r**3 + 5*r**2 - 6*r - 1. Let c be ((-6)/4)/((-2)/(-8)). Let p be a(c). Does 23 divide 3 + p + 0 - -21?
True
Suppose 0 = 7*x - 5*x + 6. Does 50 divide 2/(x/((-750)/752) + -3)?
True
Let g = -39 - -373. Is 27 a factor of g?
False
Let u(p) = -186*p + 60. Does 54 divide u(-11)?
True
Let y(h) = -4*h + 208. Does 7 divide y(-10)?
False
Let r be 0/(-2)*(-4)/(-8). Suppose r = 2*j - 2*v - 64, -222 + 68 = -5*j - v. Suppose -2*w + 5 = -j. Does 4 divide w?
False
Suppose 7 = -4*f - 13. Let n be -3 + (f/(-1))/1. Let d(l) = 8*l**2 - 2. Is 10 a factor of d(n)?
True
Let c(a) = 2*a**3 + 44*a**2 - 7*a - 6. Is c(-22) a multiple of 2?
True
Suppose 0 = i + 38 - 3. Let z = i + 18. Let g = 25 + z. Does 8 divide g?
True
Suppose 2*t + 10424 = -0*k + 4*k, -t - 2604 = -k. Is k a multiple of 62?
False
Let b(i) = 2*i**3 - 3*i + 3. Let h = -20 + 23. Does 19 divide b(h)?
False
Is 3 a factor of (242/4)/(54/12 + -4)?
False
Let j be (-3*8/12 + 2)/(-1). Suppose j*b + 231 = 3*b - 3*n, 5*n = 4*b - 313. Does 9 divide b?
True
Let c = -565 + 834. Does 8 divide c?
False
Let z(s) = -s - 3. Let b = 6 + -12. Let c be z(b). Suppose c*h + h - 72 = 0. Is 9 a factor of h?
True
Suppose -2*i - 46 = -z, 192 = 2*z + 3*i + 79. Is 4 a factor of z?
True
Let t be (10/1)/(-3 + 4). Suppose -2*v - t = 0, 5*v + 6 - 51 = -c. Is 7 a factor of c?
True
Let c(x) = -x**3 + 10*x**2 + 7*x + 3. Is 7 a factor of c(-4)?
False
Let g(m) = -m**3 + 5*m**2 + 6*m + 2. Let j = -11 + 17. Let n be g(j). Suppose 7*y + 2*d = 2*y + 164, 66 = n*y + d. Does 8 divide y?
True
Suppose -2*r + 3*i = 70, 4*i - 29 = r - 4. Let h = 61 + r. Suppose 0*v + h = 2*n + 4*v, -2*n - 3*v + 20 = 0. Is 5 a factor of n?
True
Let m = -302 + 545. Is 51 a factor of m?
False
Let v = 168 - 103. Does 5 divide v?
True
Suppose 0 = -2*v - 3*r + 644, 5*v - 1370 - 253 = -r. Is 9 a factor of v?
False
Suppose 15*q - 11*q - 507 = 5*g, 3*g = 5*q - 637. Does 4 divide q?
True
Let j(a) = 151*a + 110. Is j(6) a multiple of 27?
False
Suppose 2*s = 5*s - 45. Suppose -4*d - s = -9*d. Suppose d*m = -5*h + 74, 2*h - 1 = 4*m - 91. Is 18 a factor of m?
False
Suppose -7*h = -11*h + 912. Suppose 5*i - h = 2*i. Is 13 a factor of i?
False
Let t = -232 - -330. Suppose t = 2*q - 18. Is q a multiple of 16?
False
Let 