+ 15 + 163 = 5*x. Let i = l + 99. Does 10 divide i?
True
Suppose 5 = 2*h + 3*f - 6*f, -4*h = f - 17. Suppose 5*x - h*c - 221 = 0, -5*x = -x + c - 181. Does 8 divide x?
False
Suppose 0 = 18*l + 15*l - 27324. Let x = l + -245. Is x a multiple of 17?
False
Let g = -76 + 79. Suppose -8*f + 5*f = -k - 1418, -g*f - 2*k = -1403. Does 26 divide f?
False
Let y(t) = t**2 + 10*t - 20. Suppose 0 = 2*q - 3*i - 16, -8 = 9*i - 5*i. Does 14 divide y(q)?
False
Let h(z) = 52*z - 6. Let o be h(8). Suppose 41*y = 43*y - o. Is 5 a factor of y?
True
Let t = 14895 + -3141. Is 28 a factor of t?
False
Let f = 9961 - 9139. Is 30 a factor of f?
False
Suppose -26*q + 1026 = -3264. Is 12 a factor of (220/q)/(1/1116)?
True
Let p be (9 + (-5 - -1))*-1 + 353. Let n = p - 78. Does 10 divide n?
True
Does 30 divide ((-74752)/6)/(-16) - (-20)/15?
True
Let n(i) = 5*i**2 - i + 50. Is 5 a factor of n(20)?
True
Let c = 1142 + -583. Suppose 332 = 9*i - c. Is i a multiple of 9?
True
Let z be (-12)/(-5)*((-540)/24)/(-9). Is 6 a factor of (-21)/(-126) - (-1067)/z?
False
Suppose -3*g + 13*g = 130. Suppose -g*x + 9*x = 44. Let z = 51 + x. Does 10 divide z?
True
Suppose -4*k - 684 = -5*k. Suppose -4*v + 3*v = -k. Suppose -7*h - 187 + v = 0. Does 8 divide h?
False
Suppose -2*q = -5*f + 3661, -3*f - 8*q + 13*q + 2227 = 0. Is f a multiple of 96?
False
Is (-9486340)/(-884) - 8/(-52)*-1 a multiple of 73?
True
Let o = -14 - -15. Let u be (o + (-3)/2)*0. Is 1*-158*(-1 - u) a multiple of 37?
False
Suppose 8*a + 28 = 15*a. Let o be ((-45)/30)/((-3)/a). Suppose -7 + 247 = o*z. Is 24 a factor of z?
True
Is 22 a factor of ((-1)/5)/(15/(-30))*2310?
True
Let l = 134593 + -92229. Is l a multiple of 119?
True
Let h(a) be the first derivative of 2*a**3/3 + a**2 + 33*a + 185. Is h(-10) a multiple of 17?
False
Let g(j) = 2*j**2 - 17*j + 3. Let w(k) = -4*k - 22. Let y be w(-6). Let f be (-15)/y*12/90*-9. Does 7 divide g(f)?
False
Let c = 48047 + -18882. Is 104 a factor of c?
False
Let a(i) = -614*i - 1390. Is a(-5) a multiple of 35?
True
Let m(v) be the third derivative of v**5/60 - v**4/4 - 11*v**3 - v**2 - 4. Is m(-14) a multiple of 14?
False
Suppose -4*b = -0*b - 16. Suppose b*n = -0*n + 8. Suppose -8*i = -7*i + n, -1460 = -5*u + 5*i. Is 58 a factor of u?
True
Suppose 2*q = -g - 5, q - 5 = -2*g + 2*q. Let r be (-22560)/(-30) + (1 - g). Suppose -5*j = -j + 4*f - r, -568 = -3*j - 2*f. Does 24 divide j?
True
Let h(k) = -k**2 + 20*k - 48. Suppose 182 = 9*q + 4*q. Is h(q) a multiple of 18?
True
Let b(l) = 38*l**2 - 11*l + 19*l - 6*l**2 - 7*l. Let w be b(-3). Let v = w - 142. Is v a multiple of 13?
True
Let l be 18*30*(-39)/45*-5. Suppose -4*h = 4*w - l + 560, 0 = 5*w - 5*h - 2205. Does 104 divide w?
False
Let t(q) = q**2 - 2*q - 3. Let y = 17 + -12. Suppose y*k - 60 + 20 = 0. Does 15 divide t(k)?
True
Does 47 divide (17 - 6) + 6048 - 3/((-9)/12)?
True
Let p be (-2)/(2 - (-15)/50*-5). Let s(u) = -2*u + 5. Let l(r) = 4*r - 10. Let t(y) = 6*l(y) + 13*s(y). Is 13 a factor of t(p)?
True
Suppose 4*q + 5*r = -q, -3*r + 4 = -q. Let v = -15 + 41. Let h = v + q. Is 18 a factor of h?
False
Let a be -9 + -3*30/(-18). Let m(k) = -2*k**3 - 8*k**2 + 14. Is m(a) a multiple of 4?
False
Let y be (-2)/4*3*2. Suppose w - 70 = -36. Does 14 divide ((-51)/w)/((-2)/((-472)/y))?
False
Suppose -33*d + 31536 = 40*d. Is 12 a factor of d?
True
Let f(z) = z**3 + 23*z**2 + 11*z - 55. Is f(21) a multiple of 11?
True
Let p(f) = 2*f + 156. Let b be p(0). Let t = 77 - b. Let w = -57 - t. Does 20 divide w?
False
Let y(r) = 2*r**2 + 25*r - 31. Suppose 4*l + 19 + 7 = -a, 4*a = -5*l - 71. Is 11 a factor of y(a)?
True
Suppose 2*v - 74 + 26 = 0. Suppose -6 = 3*x - v. Suppose x*w = 10*w - 228. Is w a multiple of 10?
False
Let x = 1153 + -813. Let h = x - 220. Is h a multiple of 10?
True
Suppose h + 16*r - 12779 = 18*r, -5*h - r = -63939. Is 16 a factor of h?
False
Suppose 2*z - v = 5*z - 40004, -3*z = 5*v - 40000. Is 15 a factor of z?
True
Let z = -127 - -123. Does 35 divide 105*21*z/(-36)?
True
Let a(o) = -48*o - 10. Let i be a(-4). Let d = i + 61. Does 10 divide d?
False
Let a(t) = -6*t - 91. Let y be a(-20). Let o = y + -14. Is 3 a factor of o?
True
Let d be 5736 - (-180)/(-40)*(-4)/3. Suppose 31*l - d = 13*l. Is l a multiple of 6?
False
Suppose -z + 11 = -3*s, 5*s = 2*s - 5*z - 17. Is 57 a factor of s/(-10) + (-1148)/(-5) + -2?
True
Let q(k) = 7*k - 28. Let c be q(0). Is (264/c)/((-3)/63) a multiple of 22?
True
Suppose f - 2006 = -3*l, -3*f - 2*l = 2*f - 9965. Suppose 2*y = -2*y - b + 2643, 3*y = b + f. Suppose 3 = -d + 2*d, 5*n = d + y. Is n a multiple of 19?
True
Let h(v) be the first derivative of -2*v**2 + 49*v + 116. Is h(6) a multiple of 11?
False
Let y(f) = f**2 + 0*f - 990 + 4*f + 964. Let v be -12*3*1/3. Is 35 a factor of y(v)?
True
Let q = -42 - -60. Suppose -q*w + 952 = -11*w. Is w a multiple of 34?
True
Let z(r) = -2*r**3 + r**2 + 13*r + 942. Is z(0) a multiple of 40?
False
Suppose -5*w - 3*y + 3400 = 0, 2*w - 368 = -5*y + 992. Is w a multiple of 85?
True
Let a be (-1 - -2)/((-4)/(-16)). Suppose 0 = 3*x, -a*x - 1070 = -2*f - 3*f. Is 66 a factor of f?
False
Let s(a) = 68*a**2 - 42*a + 276. Does 15 divide s(6)?
False
Is (-2)/(-11) + (1 - 3)/(440/(-2828500)) a multiple of 23?
True
Let f(u) = 2146*u - 111. Let i be (3/6 + 1)*74. Let r(y) = 39*y - 2. Let a(o) = i*r(o) - 2*f(o). Does 8 divide a(2)?
False
Suppose -3*x - 42 = -2*l, -3*l + 5*l + 3*x = 42. Suppose l*s - 359 = 187. Is s a multiple of 3?
False
Suppose -3*z + q + 14 = 0, 13*z + q + 19 = 17*z. Suppose -z*x + 198 = b - 8*x, 2*b - 2*x = 388. Is b a multiple of 16?
True
Let h(d) = -4*d - 1. Let z be h(-4). Let l(i) = -2188*i + 4376*i - 2184*i + 36. Does 35 divide l(z)?
False
Suppose -21*h = -17*h - 64. Suppose h = y + 4*o, -32 + 110 = 3*y + 2*o. Does 4 divide y?
True
Suppose 7580 + 2573 = 8*a + 3*a. Is 2 a factor of a?
False
Let d be 38/((-4)/24 - 0). Let l be d/12*-1*13. Suppose 0 = 4*o - 57 - l. Is 19 a factor of o?
True
Let b = 35 + -39. Let y = 7 + b. Suppose -4*v + 252 = y*v. Is v a multiple of 9?
True
Let f = -77734 - -112639. Is 13 a factor of f?
True
Suppose -g + 2*c = -9434, 4*g - 47*c - 37736 = -42*c. Does 53 divide g?
True
Suppose -10*r + 6*r = -12. Let i be -4*(((-81)/(-12))/r + 0). Does 5 divide 0 - (520/(-9) - (-2)/i)?
False
Let h be (4 + 0)*(3 - (-36)/(-8)). Does 73 divide (-3057)/(-6) + (-9)/h?
True
Let q(h) = 14*h - 36. Let i(d) = -5*d + 12. Let g(y) = 17*i(y) + 6*q(y). Let a be g(-11). Is 14 a factor of (a - (1 + -44))/1?
True
Let p(z) = -189 - 3*z + 6*z**2 + 198 - 8*z. Let q be p(7). Suppose 5*s = 14 + q. Is 15 a factor of s?
False
Let k = -353 - -3123. Is k a multiple of 5?
True
Let v be (-512)/2*((-8 - -17) + -13). Suppose -2588 = -5*n + 2*b, 2*n - 12 - v = b. Is n a multiple of 12?
True
Let q = 37 + -269. Let p = q - -397. Does 19 divide p?
False
Let h(o) = 3*o**3 + 3*o**2 + 9*o - 18. Let b be h(5). Let c = b - 356. Is c a multiple of 26?
False
Let g(f) = 349 - 15*f - 363 - 16*f. Is 33 a factor of g(-4)?
False
Let a(q) = -5*q**2 - 425*q - 60. Does 20 divide a(-73)?
True
Let b be (-2)/18*2 - 180/(-81). Suppose 0 = -b*y - 3*l + 237, 2*y - 3*l - 183 = 36. Suppose -3*h = -4*h - p + 38, -3*h + 3*p = -y. Does 4 divide h?
False
Let h(c) = -17*c + 28. Let z be h(-4). Let s = 239 - z. Is 7 a factor of s?
False
Let v = -203 + 14030. Is 11 a factor of v?
True
Let j be 6588/(-90)*20/6. Let s = -195 - j. Is 7 a factor of s?
True
Let n = -34 + 12. Let y = n + 53. Let d = y + -5. Is d a multiple of 13?
True
Let y be 2/(-14) + 112320/182. Suppose 11*b = y + 439. Does 12 divide b?
True
Suppose 91*g - 93*g = 2*n - 6938, n = -4*g + 13894. Does 25 divide g?
True
Let v(o) = 19*o**3 - 3*o**2 + o - 14. Let f(i) = 33*i**3 - 5*i**2 + 2*i - 25. Let g(c) = 4*f(c) - 7*v(c). Let r be (5 + -2)*2/(-3). Is 8 a factor of g(r)?
True
Let f be -2 - (-465)/65 - 4/26. Let t(p) = 7*p**3 + 7*p**2 - 7 - f*p**3 - 3*p - p**3. Is 12 a factor of t(-5)?
False
Let d = 71000 - 48309. Does 8 divide d?
False
Let l(a) be the first derivative of a**4/4 - a**3/3 - a**2 + 2*a - 36. Let f be l(2). Let k = 69 - f. Is 7 a factor of k?
False
Let c be ((-99)/27)/(1/33). Let m = c + 78. Let g = 50 + m. Does 7 divide g?
True
Suppose 767 = 4*v - 1249. Suppose -15*q + 11*q = -v. Suppose 90 - q = -x. Does 22 divide x?
Fals