 -61)/(2/(-18)). Suppose -66*z + 70*z = x. Does 12 divide z?
False
Let a(t) = 10*t**2 + 51*t - 81. Is 83 a factor of a(-18)?
True
Let d = 672 + -655. Suppose 19530 = 14*k + d*k. Does 9 divide k?
True
Suppose -5*q - 2*m = -0*m - 74, 0 = -q + 5*m + 31. Suppose -7*h + q*h = 486. Is 9 a factor of h?
True
Let y = 7670 - -4602. Does 25 divide y?
False
Let s(m) = -m + 58. Let j = 61 - 66. Does 7 divide s(j)?
True
Let f(h) = -51*h + 5526. Is f(82) a multiple of 8?
True
Let r = -63 - -70. Suppose -11 = -4*t + 2*t + 5*i, -i - r = 2*t. Is (-5 - 0)/(-1*t/(-8)) a multiple of 5?
True
Suppose -13*c + 252 = -c. Suppose -4*u + c*g = 25*g - 1296, -u + 4*g + 319 = 0. Does 12 divide u?
False
Let x = -2918 - -7005. Does 61 divide x?
True
Let j(l) = 14*l**2 - 18*l - 48. Does 27 divide j(11)?
False
Let j(f) = 21*f - 55. Suppose 2*u = 4*p + 32, 0*u + 3*p = -2*u + 11. Is j(u) a multiple of 5?
True
Let s be 0 + 896/3 + (-17)/(-51). Let i = s - -619. Suppose 0 = f + 5*f - i. Does 14 divide f?
False
Suppose 7*x - 120 + 36 = 0. Let h be 6/x + 2057/2. Does 43 divide (1 + -2)/((-7)/h)?
False
Suppose -3722 = -10*w + 3408. Suppose -13 + w = 7*x. Does 4 divide x?
True
Suppose 5*o + 3*h = 12807 + 43408, -h - 33729 = -3*o. Is 52 a factor of o?
False
Let q = -115 + 253. Suppose -332 - 250 = -a. Suppose 4*k - q - a = 0. Is k a multiple of 45?
True
Let z be (3 + -8)*2/(-15)*3. Suppose -z*t + 0*t = -3*k, 0 = -2*k - 4*t. Suppose 2*n - 3*n + 9 = k. Does 6 divide n?
False
Let h = -43 + 68. Suppose h = -y - 54. Let l = -51 - y. Is 6 a factor of l?
False
Let o = 46 + -46. Let f be 6*(1 + o)*(-3 + -4). Is 15 a factor of f/(-9)*6/7 - -146?
True
Let z(g) = g**2 + 16*g + 16. Let q be z(-11). Let y = 31 - q. Let k = y - 56. Is 5 a factor of k?
False
Suppose 0 = 8*l + 8*l - 17888. Let c = l + -448. Is c a multiple of 67?
True
Suppose -4*f - 5*j = -36175, 0 = f - 2*j - 12219 + 3159. Is 31 a factor of f?
False
Suppose g = -3, 0 = 4*w + 2*g - 764 - 174. Let h = -393 - -395. Suppose h*d - 3*m = m + 124, 4*d + 4*m - w = 0. Is 12 a factor of d?
True
Let h(r) = -r**2 - 22*r + 31. Let k be h(-13). Suppose -360 = k*w - 150*w. Is 36 a factor of w?
True
Suppose 483 = 30*g - 37*g. Let q = 228 - g. Is q a multiple of 33?
True
Is 22*(-54)/(-99) - -1309 a multiple of 24?
False
Suppose -61*o + 11318 = 42977. Let l = -132 - o. Is 52 a factor of l?
False
Let a be (-24)/14 + (-8)/28. Suppose -96 = -293*s + 301*s. Is (-21)/(-2)*((-104)/s + a) a multiple of 38?
False
Let g = -40 + 20. Let w(u) = -u**3 - 20*u**2 - 40*u - 15. Let d be w(g). Is 10 a factor of 1/(-3) - d/(-15)?
False
Let i be (165/(-18) - 12/(-72)) + 1*6. Let x(z) = -z**2 + z + 1. Let c(k) = 14*k**2 - 3*k - 3. Let n(t) = c(t) + 6*x(t). Does 23 divide n(i)?
False
Let h = -440 + 313. Let w = h + 143. Let m(n) = n**3 - 15*n**2 - 8*n + 6. Is m(w) a multiple of 8?
False
Let k(i) = -i**3 + 5*i**2 - 7*i + 5. Let z be k(3). Suppose u = -2*u + 12. Is (-465)/(-6) + z/u a multiple of 13?
True
Suppose 5*l - 4*h - 29 = 3, 2 = l - 3*h. Suppose -l*x + 4815 = 7*x. Is x a multiple of 6?
False
Let y(w) = -2*w**3 - 19*w**2 - w - 21. Let q be y(-13). Suppose 3*x + 7*p - 1763 = 8*p, 2*x = p + q. Is 37 a factor of x?
False
Let i be (-7 - (6 - 16))*(-8)/(-3). Suppose a = i - 3. Suppose 2*g - f - 145 = 0, -5*g - a*f + 241 = -84. Is 30 a factor of g?
False
Let d(r) = r**3 - 2*r**2 + 6*r**3 + 0*r**2 - 8*r**3. Let y be d(0). Suppose y = -3*c - 20 + 92. Does 12 divide c?
True
Let v = -36 + 33. Let j be (-1220)/(-30) + 2/v. Suppose 4*m - 23 = -3*l, 4*l - 2*m - j = 2*m. Is l a multiple of 3?
True
Let d = 71 - 54. Suppose 40 = -4*m - 2*j + j, 24 = -4*m + 3*j. Let f = d + m. Is 7 a factor of f?
False
Let o(m) be the second derivative of -3/2*m**2 - 37/6*m**3 + 0 - 6*m. Does 11 divide o(-1)?
False
Suppose 4564 = -1005*d + 1019*d. Is d a multiple of 2?
True
Let y be (-6)/15 + (-5665)/25 - 3. Let r = -88 - y. Let c = -70 + r. Is c a multiple of 8?
True
Suppose 1234 = -3*c + i + i, -2*i = 3*c + 1250. Let r = c - -768. Does 8 divide r?
False
Suppose -3*x + 1 = 4*f, -5*x + 4*f - 4 = 5. Is 30 a factor of (-15)/x*(39 - 25)?
True
Suppose 2*k - 12698 = 2*r, 3*r - 24331 = -4*k + 1051. Is 10 a factor of k?
False
Let k = -42 - -42. Suppose 0 = -k*y - 4*y. Suppose y = 4*s - 9*n + 4*n - 173, -5*s = -5*n - 215. Does 6 divide s?
True
Let i(o) = -88*o + 24. Let v(j) = j - 1. Let h(x) = -i(x) - 48*v(x). Let t be h(3). Suppose -4*m + t = -0*y + 2*y, y = -m + 34. Does 20 divide m?
False
Let t(f) = 5*f**2 - 17*f + 25. Let q be t(15). Suppose q = 5*b - 1860. Suppose v - 191 = -3*z, 5*v - 339 = -2*z + b. Is 16 a factor of v?
True
Suppose 4*d - 11 = 13. Suppose -3*m = -d*m + 1440. Suppose 5*o - m = -5*o. Is o a multiple of 24?
True
Suppose 16*c = 15*c + 2205. Is c a multiple of 9?
True
Let q(u) = 2*u**2 - 4*u - 1. Let c be q(3). Suppose -1444 - 800 = -4*v + c*z, -4*v + 4*z = -2244. Let p = v - 363. Does 33 divide p?
True
Is 34 a factor of (-1)/(-2)*(59495 + 28 + -23)?
True
Let q be (-1)/(-7 - 22185/(-3170)). Let n = q + -324. Is 20 a factor of n?
False
Suppose -37*c + 53572 = 10604 - 60743. Is 13 a factor of c?
False
Suppose 12533 + 233418 = 47*g. Is g a multiple of 12?
False
Is 37452 + 0/(-1) + 355 + -363 a multiple of 11?
True
Suppose -3*g + 175510 = 9*f - 4*f, 0 = -5*f - 5*g + 175500. Is f a multiple of 238?
False
Suppose 2*v - 3*l = -6 - 5, 0 = 4*l - 4. Does 17 divide (6/18)/(v/(-6732))?
True
Suppose m = -2*o + 2647, -160*m + 165*m = 3*o + 13196. Is 139 a factor of m?
True
Let t = -59 - -59. Suppose -302 = -5*a - 4*r, -5*r + t = -15. Let c = a + -10. Is c a multiple of 7?
False
Let w(i) = 8*i**2 + 232*i + 208. Does 112 divide w(-51)?
True
Let n(c) = -608*c + 4045. Is n(-7) a multiple of 94?
False
Let a be (-12)/60 + -2*(-439)/(-10). Suppose 0 = 3*v - 41 - 34. Is 9 a factor of a/(-5) + (-2 - (-60)/v)?
True
Suppose 41338 = -14089*c + 14100*c. Is c a multiple of 53?
False
Let j(o) = -1487*o - 7*o**2 + 1487*o - o**3 + 3. Let k be j(-7). Suppose 40 = k*h - 599. Does 29 divide h?
False
Let z = 191 - 191. Let y(o) = -4*o**2 - 2*o + 222. Does 25 divide y(z)?
False
Is (-10)/65*1 + (1118304/(-78))/(-8) a multiple of 7?
True
Let o(l) = -3*l + 89. Let i be o(29). Does 9 divide i/17 - (-4472)/136?
False
Let d(x) = -x**3 + 16*x**2 + 4. Let g be d(16). Suppose 4*r + 9*m - g*m = -48, 3*r = 4*m - 67. Let p = 39 - r. Does 14 divide p?
True
Let a(q) = -q**3 - 3*q**2 - 3*q + 2183. Does 37 divide a(0)?
True
Suppose -2*j - 328 = -s, -3*j = -5*s - 6*j + 1588. Is 10 a factor of s?
True
Suppose 0 = -5*t - 2*v + 443, t + 3*t + 3*v - 353 = 0. Let g = 59 - t. Does 12 divide ((-398)/5)/(12/g)?
False
Suppose -211*r + 80165 = -97075. Is r a multiple of 5?
True
Suppose -4*c + w - 20 = 0, 5*c - 5*w + w = -36. Is 14 a factor of (-4 - 1*-60)*(-18)/c?
True
Let a(p) = 3*p**2 - 7*p + 15. Let h be a(-6). Is 5/(50/h)*(-34)/(-3) a multiple of 17?
True
Suppose -2*s + 12740 = 4*g, 743*g = -3*s + 744*g + 19110. Is 87 a factor of s?
False
Suppose 5004957 = 146*u - 1953549. Does 31 divide u?
False
Let q be (-185)/(-65) + 2*4/52. Suppose -4*g - 41 = -z, -q*g - 84 = -4*z + 132. Is z a multiple of 3?
True
Let v be -9 + 1054 - 9/3. Let i = -651 + v. Is 17 a factor of i?
True
Let m be 0/(3/6*2 + 0). Let j be (-36)/(-4) - (m - -3). Suppose 4*i = 3*h - 5*h + 302, j = 2*h. Is i a multiple of 6?
False
Suppose c = n + 5, 5*c - c = -2*n + 20. Suppose o - c*o = -o. Is (-13 + o)/(((-10)/24)/5) a multiple of 39?
True
Let n be 33*(-3)/(-9)*-3 + 1. Let z be (-3)/1 - n/(-6 + 14). Let k(p) = 185*p**2 - 4*p + 3. Does 12 divide k(z)?
False
Suppose -2*u + 6*u - d - 8 = 0, 0 = 3*d + 12. Is 13 a factor of (2/(-4))/(((-1)/52)/u)?
True
Suppose -5*h - 3*u + 7*u - 52 = 0, 46 = -3*h - 5*u. Is 29 a factor of 3/4 + (0 - 1731/h)?
True
Let g = 8842 - 3730. Is g a multiple of 9?
True
Let u(z) = -z**2 + 9*z + 9. Let r be u(10). Let p = -80 + 116. Is (-4)/1 - p/r a multiple of 8?
True
Suppose 6*c - 66846 = -33*c - 0*c. Is c a multiple of 15?
False
Let x(l) = 25*l**2 + 191*l - 1398. Is x(7) a multiple of 164?
False
Let b(u) = -9*u**2 - 2*u + 134. Let i(k) = -8*k**2 - 2*k + 135. Let r(s) = -5*b(s) + 6*i(s). Is 14 a factor of r(0)?
True
Does 41 divide 4 + -1 - (0 + -8127 - -21)?
False
Suppose 0 = -5*p - 25, t = -3*p - 1422 + 18837. Is t a multiple of 30?
True
Let a = 38 + -35. Sup