15909)) a multiple of 59?
False
Let h = 104 - 40. Suppose -h = -4*o + 24. Suppose -20*r + o*r = 238. Does 49 divide r?
False
Suppose -2*l - 7531 = -3*u, -2*u + 5*l - 369 + 5419 = 0. Does 5 divide u?
True
Let x(j) = j**3 + 18*j**2 + 16*j + 12. Let q be x(-16). Suppose 0 = -5*d + 2*h - 822, -5*d + 3*d - 328 = -h. Let b = d + q. Does 6 divide b?
True
Suppose -17*c - 5*f = -14*c - 32953, -6*f - 21922 = -2*c. Is 136 a factor of c?
False
Suppose -3*c - 15*f - 20 = -11*f, -4*c - 3*f - 15 = 0. Suppose c = -k - 13*k + 1890. Is k a multiple of 15?
True
Let z(c) be the third derivative of -c**5/30 + 5*c**4/12 - c**3/6 - c**2. Let d = 420 - 416. Is 7 a factor of z(d)?
True
Suppose -3*g = -61 - 74. Suppose -3*t + 4*z = -t - 82, 3*z - 9 = 0. Suppose t*b = g*b + 182. Is 13 a factor of b?
True
Suppose -l + 4*t = -3175, 45*l + 5*t + 15860 = 50*l. Does 6 divide l?
False
Let s(y) = 1361*y + 2181. Is s(9) a multiple of 26?
True
Let b = 82 + -198. Let l = 213 - b. Does 6 divide l?
False
Let n(d) = 2*d**3 - 3*d**2 + 7*d - 3. Let p be n(2). Let u be p/2*(-2)/(-5). Suppose 0 = -u*x - 0*x + 117. Is 5 a factor of x?
False
Let s be (-14 - -13)*(-8)/(-2). Is 6 a factor of (63/(-36))/(s/192)?
True
Let x(f) = 5*f**3 - 2*f**2 - 3*f + 2. Suppose 3*g + 3*j + 42 = 0, -4*j = j - 15. Let u = g - -19. Does 6 divide x(u)?
False
Let m(t) = 78*t**3 + 6*t**2 + 20*t - 54. Is m(2) a multiple of 18?
False
Let g be (-150)/40*24/(-10). Let s(x) = x**3 - 12*x**2 + 39*x + 8. Is s(g) a multiple of 29?
True
Let c(b) be the third derivative of 10*b**3 + 29*b**2 + 1/60*b**5 + 0*b - 1/24*b**4 + 0. Is 20 a factor of c(0)?
True
Let g be (-84)/39 - -2 - (-37)/(-13). Is 14 a factor of ((-56)/(-6))/(g - 595/(-195))?
True
Let g be 0 + (-3 + 6 - -1). Suppose 160 = 2*k + 4*s, -5*s + 314 = -g*k + 8*k. Is 4 a factor of k?
True
Let x(i) = 53*i**3 + 3*i**2 + 3*i + 16. Let a(b) = 13*b**3 + b**2 + b + 4. Let t(f) = -9*a(f) + 2*x(f). Is t(-3) a multiple of 14?
False
Suppose -3*l = -s + 21997, -4*s - 4*l + 45942 = -42062. Does 110 divide s?
True
Does 31 divide 1371 - ((-21 - -11) + (-1 - -18))?
True
Let k = -22 - -23. Let r(a) = 2*a**3 + a - 1. Let q be r(k). Suppose 310 = 5*p + q*b, 5*p - 4*p - 4*b - 84 = 0. Does 40 divide p?
False
Let d = -3081 + 10206. Does 17 divide d?
False
Let s = -11 + 46. Suppose -s - 5 = -j. Is j a multiple of 2?
True
Suppose 38*g = 250841 + 101989. Is 15 a factor of g?
True
Let v be ((-56)/42)/(4/(-6)). Let u(c) = 34*c**2 - 5*c + 6. Does 14 divide u(v)?
False
Suppose 3 = -0*k + 5*k - 2*w, -w = -3*k + 2. Let r(d) = d**2 + 2*d + d**2 + 1 + k - 5. Is 6 a factor of r(-4)?
False
Suppose 25 = -2*q - 89. Let j(n) = n**3 - 4*n**2 - 3*n + 8. Let i be j(4). Is -3 - q/(-6)*i a multiple of 5?
True
Let x be 2509/4 + (-4)/16. Suppose 2*t = x + 385. Is 23 a factor of t?
True
Let r(a) = a**3 - 3*a**2 + 3*a + 2. Let m be r(4). Suppose 32*d = m*d + 406. Does 8 divide d?
False
Let n = -2397 - -34841. Does 15 divide n?
False
Suppose -12*f + 40 = -2*f. Is 34/(-3)*(-114)/f a multiple of 17?
True
Let t(j) = 19*j - 208. Let s be t(12). Suppose 31 = 3*l - 83. Let h = l - s. Is 9 a factor of h?
True
Suppose -2640*n + 2632*n + 688 = 0. Suppose 0 = 4*m - 2*m - 10. Suppose 3*r - 250 = -m*u, -5*u + 4*r + n = -164. Is 10 a factor of u?
True
Let b be (-47)/((3*(-2)/3)/2). Suppose b = 4*g - 25. Suppose 5*d = -s - g, 0*s - d + 16 = 3*s. Is s a multiple of 7?
True
Let p(j) = -482*j - 83. Let s be p(-3). Suppose 5*z + 4*h - s = 0, -3*h + 819 = 6*z - 3*z. Does 18 divide z?
False
Suppose -45*y = -7*y - 22036 - 206268. Is y a multiple of 8?
True
Suppose 6*o = 2*o. Let b be -7 + 3 - (373 + o). Let s = -248 - b. Is 13 a factor of s?
False
Let b be ((-3)/(-2))/(54/(-6444)). Let z = b + 257. Does 6 divide z?
True
Let o(l) = 149*l - 833. Is 13 a factor of o(11)?
True
Let m be (-4 + 2/1)/((-7)/28). Suppose -n - m + 12 = 0. Suppose k - n*k + 174 = 0. Does 9 divide k?
False
Suppose -2*j + 3*r = -12, 16 = 4*j - 0*r - 4*r. Suppose -10*v + 504 + 946 = j. Is v a multiple of 19?
False
Let l be 2 + (-9)/5 + 24/5. Suppose l*x + 1624 = h, h + 283 + 361 = -2*x. Let g = -204 - x. Is 12 a factor of g?
True
Suppose -1356 + 129 = -s + 3*q, -4*s + 4*q + 4868 = 0. Suppose 4*l - 300 = s. Does 9 divide l?
True
Suppose 129*y - 116*y - 118820 = 0. Does 10 divide y?
True
Suppose 78*a - 83*a - 4010 = 0. Let n = -354 - a. Is 16 a factor of n?
True
Let j be (-10648)/(-36) - 8/(-36). Suppose j = 3*k - 10. Suppose 0 = -3*h - q + 330, -h + 0*h + k = 3*q. Does 37 divide h?
True
Suppose 2555*f + 3530 = 2560*f. Is 12 a factor of f + -6 + 8 + 0?
True
Let s(h) = h**3 + 10*h**2 + 2*h + 14. Let m be s(-10). Let x be m/(-7)*5*35/50. Suppose -5*c + 369 = -u - 2*u, -3*u = x*c - 207. Does 9 divide c?
True
Suppose -4*o + 146 = -5*v + 981, 4*v = -2*o - 398. Let m = o + 207. Does 2 divide m?
True
Is 64 a factor of 6 - (7/(-6 - 1) + -12399)?
False
Let k be 1186/4 + (6 - 99/18). Let z = k + -167. Is z a multiple of 6?
False
Let w(v) be the first derivative of 10*v**2 - 8*v + 34 - 1/3*v**3. Is 6 a factor of w(13)?
False
Suppose 3*w + 5*r - 6395 = 1338, -5*w + 12907 = -r. Is 29 a factor of w?
True
Suppose 2*w = 5*r + 10, -3*w - 6*r - 6 = -3*r. Let n be -7 + 5 - (-2 + w - 10). Suppose -n = -5*y - k + 10, -y - 3*k + 4 = 0. Is 2 a factor of y?
True
Let l(t) = 11*t - 53. Let o be l(5). Suppose -2*q + 541 = o*g + 37, 1 = g. Is 12 a factor of q?
False
Suppose 2*u + x = -x - 316, -x + 617 = -4*u. Let w = u - -295. Is w a multiple of 51?
False
Let x(m) = m**3 - 52*m**2 - 18*m + 228. Is x(54) a multiple of 44?
False
Suppose 0 = 4*o - 2*b + 454, 3*o - 4*b - 223 = -571. Let i = o - -221. Let v = i - 62. Does 16 divide v?
False
Let q be (-9)/(-3)*-11*12/9. Let o = 179 + q. Does 7 divide o?
False
Let d be -10*(-1)/4*2. Is ((-600)/(-70))/(d/245) a multiple of 13?
False
Suppose -3 = -6*z + 9. Let w(q) = -11*q**2 - q - 2. Let l be w(z). Is 3 a factor of (-3)/(3/l*2)?
True
Does 26 divide (25 - -1)*(-665)/(-5)?
True
Let w(d) = 5*d**3 + 29*d**2 + 49*d - 92. Let q(o) = 3*o**3 + 29*o**2 + 49*o - 91. Let j(p) = -3*q(p) + 2*w(p). Is j(31) a multiple of 41?
True
Let x be (-114)/(-19)*4/6. Suppose 5*p - 86 = d + 6*p, x*d - 5*p = -389. Does 9 divide d/(-5) + (-14)/70?
True
Let o(p) = 317*p**2 - 61*p + 13. Is 98 a factor of o(-2)?
False
Suppose -5*w - 32*h + 35*h + 15889 = 0, 3*w - 9553 = -h. Is 2 a factor of w?
True
Let z = 14 + -4. Suppose 0 = 5*g + 3*n + 55, 4*n - 2*n + z = 0. Does 2 divide 84/22 - g/44?
True
Let n = -20 + 34. Let d(s) = 3*s**2 - 32*s + 14. Let g be d(n). Suppose 4*l + g = 534. Is l a multiple of 14?
False
Let p(i) = 2*i**3 - 12*i**2 + 12*i + 15. Let v(u) = 3*u**3 - 23*u**2 + 25*u + 29. Let a(n) = 5*p(n) - 3*v(n). Let z = -27 + 17. Is a(z) a multiple of 23?
False
Let l = -95 + 70. Let h = 169 + l. Let m = h - 51. Does 17 divide m?
False
Let r(p) = 30 + 10*p + 6*p**2 - 7*p - 17*p. Is r(3) even?
True
Let a(g) = 22*g + 5. Let v be a(-4). Let w = 237 - v. Is 13 a factor of w?
False
Let f be 0*((-5)/((-10)/(-3)) + 1). Suppose -92*r + 87*r + 3600 = f. Is 9 a factor of r?
True
Suppose l - 235 = 4*u, 3*u + 63 + 112 = 2*l. Let a = -168 - u. Let x = a + 124. Is x even?
False
Suppose 5*w - 7*c = -3*c + 5072, 0 = 2*w + c - 2021. Is w a multiple of 4?
True
Let n(c) = c**2 - 4*c. Let t be n(2). Let l be t/14 + (-2)/(-7). Let s(b) = -5*b + 52. Is 14 a factor of s(l)?
False
Let f = -98 + 98. Suppose f = 6*u + 9*u - u. Suppose -5*q + 2*z + 172 + 9 = u, 4*q - 144 = 2*z. Is q a multiple of 5?
False
Suppose 0 = 173*o - 156*o - 170493. Is 12 a factor of o?
False
Suppose -7*l + 3*l + 8 = 0. Suppose -572 = -k - 2*w, -6*k = -l*k - 3*w - 2255. Suppose k = 7*p - 50. Is 22 a factor of p?
True
Is 104 a factor of 39/(-26) + 37452/8?
True
Let p(y) = y**2 - 2*y - 329. Let i be p(0). Let t = -215 - i. Suppose 0 = -5*r + 4*u + t, -3*r + 2*u = -u - 69. Does 3 divide r?
False
Let a(o) be the first derivative of -2*o**3 + o**2 + 160*o + 41. Does 10 divide a(0)?
True
Let q = 200 - 329. Let o = q - -550. Is 24 a factor of o?
False
Suppose 2*s - 3*d = -4*d + 4140, -4*d - 4110 = -2*s. Is s a multiple of 53?
True
Suppose 0*m - 2*m = -10. Suppose 6*z + 14 = m*z. Does 14 divide z/14 + (-37)/(-1)?
False
Let o be 12/(-28) - 60130/98. Let h = o - -1091. Is 6 a factor of h?
False
Let v(g) = -2*g - 1. Let r(w) = -2*w**2 - 