 50 + 0 - 23*u. Is g(-9) a multiple of 11?
False
Let p(u) = 12*u**2 + 58*u + 139. Is p(-8) a multiple of 16?
False
Let c = -23850 - -40734. Is c a multiple of 36?
True
Let h be (-12)/(-20)*(0 - -5). Suppose 3*u = -2*b + 4, -h*u - 20 = -3*b + 1. Suppose 58 = b*o - 42. Is 10 a factor of o?
True
Let x(h) = 6*h**2 + 380*h - 239. Is 13 a factor of x(-70)?
True
Suppose -16*a + 21*a = 20. Suppose a*z = 3*z - u + 82, -2*u = 3*z - 244. Does 8 divide z?
True
Let u = 19 - 24. Let a be (u - (-63)/12) + (-14)/(-8). Is ((-25)/a)/((-1)/6) a multiple of 15?
True
Suppose 5*a = 3*n - 0*n + 9245, -a - n + 1841 = 0. Suppose 0 = -7*w + a + 268. Suppose 0 = -3*v + w - 44. Is v a multiple of 28?
False
Suppose 1246 = -5*m - 1049. Let l be (-65583)/m + (-2)/(-17). Suppose l = 4*w + 3. Does 21 divide w?
False
Suppose -120*z + 138580 + 5365038 + 873182 = 0. Does 167 divide z?
False
Let z(k) = -257 + 0*k**2 - 6*k**2 + 54*k + 5*k**2. Does 5 divide z(46)?
False
Let o = 63 - 111. Let t = o + 74. Is 2 a factor of t/(-39) - (-44)/3?
True
Suppose 5*z = -4*p + 68761, -260*p = -258*p + z - 34385. Is p a multiple of 40?
False
Suppose 187*i - 303*i = -141*i + 365000. Does 146 divide i?
True
Let q(b) = -b**2 + 7*b. Let n be q(7). Suppose n = 5*z - 27*z + 2398. Is 21 a factor of z?
False
Let y(c) = 13*c + 172. Let d be y(-13). Suppose -d*s + 461 = -v - 0*v, 0 = 2*s - 3*v - 312. Is 17 a factor of s?
True
Suppose -334*b = -2605568 - 5878366. Is b a multiple of 288?
False
Let z = 4859 - -2459. Is 131 a factor of z?
False
Let d = 90238 - 56668. Does 15 divide d?
True
Let i be 5/(-20)*-2*12/3. Let x(f) = 18*f - 42 + f**i + 73 - 38 - 2*f**2. Is 43 a factor of x(10)?
False
Suppose 4*d - s - 1626 = -151, s + 1843 = 5*d. Is 3 a factor of d?
False
Let h = 112 - 130. Let y be -2281*1/(-6) + h/108. Suppose -310 - y = -6*k. Is 12 a factor of k?
False
Is 2/(-24) - 6428253/(-1116) a multiple of 20?
True
Let u = 22 - 19. Suppose -4*y + 1482 = 2*n, n = u*y + 3*n - 1114. Does 7 divide y?
False
Suppose 208125 = -38379*j + 38424*j. Does 33 divide j?
False
Let x = 121 - 116. Suppose x*q - 84 = -2*q. Is 6 a factor of q?
True
Let f be (-1)/15 - (-49456)/(-660). Let z = f + 100. Is 5 a factor of z?
True
Let m(h) = 299*h**2 + 59*h + 186. Does 100 divide m(-3)?
True
Is 88 a factor of (50 - 34)/(1/3443)?
True
Let h = 3 - -6. Let i = 13 - h. Suppose 156 = 2*a + 4*b, 94 + 102 = 2*a - i*b. Is a a multiple of 11?
True
Let l(p) be the second derivative of -p**4/6 + 5*p**3/2 - 8*p**2 - 17*p. Let y be l(6). Suppose -4*m - y + 38 = 0. Is 3 a factor of m?
True
Let u be 0*12/18*1/(-2). Let s(z) = -z**2 + 4*z + 103. Does 4 divide s(u)?
False
Let b be ((-5)/4)/(83/(-1073356)). Suppose b + 6235 = 32*w. Does 8 divide w?
False
Let i = 121 + -132. Let q = i + 14. Suppose 448 + 218 = q*s. Does 37 divide s?
True
Let t = -355 - -348. Is ((-196)/(-8))/t*(-12)/7 a multiple of 2?
True
Suppose z - 4*n + 6 = -3, -4*z = -2*n + 8. Let q be (5/(-2))/(z/6) - -3. Let r(t) = 6*t - 68. Does 8 divide r(q)?
True
Let a = 15252 - 90. Does 57 divide a?
True
Let n = -499 - -509. Suppose 931 = n*p - 219. Is p a multiple of 6?
False
Suppose 2*d - 7*d - 4*j = -1790, -5*d - 2*j = -1790. Suppose 4*c + d = 1750. Is 29 a factor of c?
True
Suppose 4*w - 24 = o, 4*o - 38 = -5*w + 13. Suppose 2156 - 8456 = -w*b. Is b a multiple of 11?
False
Let u be 3/35*5 + (-692)/14. Let l = u - -73. Suppose 30*s = l*s + 288. Does 7 divide s?
False
Let x = -7897 + 8527. Is x a multiple of 90?
True
Suppose 345*h - 8275 = 340*h. Suppose -4*m + 6*m = 4, 0 = 5*a + 5*m - h. Is 16 a factor of a?
False
Let y be 1*((-453)/(-6) - (-12)/24). Let u = y - -123. Is u even?
False
Suppose p - 13 = -u - 2*u, u - 3*p = 1. Suppose 5*w = -u*v + 316, 3*w - w - 4*v - 132 = 0. Suppose -12*y + 11*y = -w. Is 32 a factor of y?
True
Suppose -16 = -b + 3*c, 4*b = -5*c + c. Let k = -63 + 315. Suppose -k = -b*a + a. Is 19 a factor of a?
False
Is -14*(3 - 138/42)*2518/4 a multiple of 12?
False
Suppose 81589 = 49*u + 32883. Suppose 3*t - 767 = u. Is 11 a factor of t?
False
Let s be (-4 - 0)*(-4)/8. Suppose 3*f = -6*a + 2*a + s, -f - 1 = a. Let u(c) = 2*c**2 + 13. Is 19 a factor of u(f)?
False
Suppose x - 30 = b, 3*b - 6*b - 118 = -4*x. Let w = 18 + -12. Suppose x - 100 = -w*y. Is y a multiple of 4?
True
Suppose 5*z - 22 = 2*y - y, -2*z = -3*y - 1. Suppose v = -y*v + 1144. Suppose -54 = -5*r + v. Is r a multiple of 17?
True
Let s(t) be the third derivative of t**5/4 - t**4/3 - 11*t**3/6 - 38*t**2. Let j be s(-7). Does 8 divide j/100 + 2*2/20?
True
Does 35 divide -25*((-3680)/10 - 13)?
False
Let y(a) = -4*a + 25. Let q be y(6). Suppose v - 2*w = -8, 2*v - 3*w + q = -10. Suppose -b - 78 = -v*b. Does 13 divide b?
True
Let m(l) = -9*l - 18. Let q(d) = -22*d - 162. Let g be q(-7). Does 9 divide m(g)?
True
Let s be (-2)/(-9) + (-659117)/657. Let c = -336 - s. Is 56 a factor of c?
False
Is 42350/(-165)*(-228)/10 a multiple of 14?
True
Let t = 23 + -832. Let d = -646 - t. Is d even?
False
Let s = -4608 + 8714. Is 6 a factor of s?
False
Suppose 188*a = 116*a + 19008. Is 11 a factor of a?
True
Let h = 2280 - 1544. Suppose 6*n - 10*n + h = 0. Does 20 divide n?
False
Suppose -17*t + 5*t + 17982 = -6*t. Is 37 a factor of t?
True
Let v = 1052 - 1023. Suppose 2*h = -3*h + 275. Suppose 0 = -k + v + h. Is 28 a factor of k?
True
Suppose 1909 = 38*u - 27693. Is 36 a factor of u?
False
Let l = 71 + -72. Let n be l*1 + (20/2 - 2). Suppose n*c = 2*c + 4*v + 364, -5*c + 355 = 5*v. Does 9 divide c?
True
Let j(a) = 30*a + 8. Let h be j(3). Suppose g - 3*f = -14, -3*g - f - 4*f = h. Is 35 a factor of 1818/13 - 4/g?
True
Suppose 0 = 13*k - 44 + 5. Suppose -2*n + 3436 = 5*u + n, -u - k*n = -680. Does 15 divide u?
False
Suppose g + 40633 = -81*i + 84*i, -4*g + 13527 = i. Is 16 a factor of i?
False
Let f = -28542 - -36991. Is f a multiple of 4?
False
Is 15 a factor of (-1)/3 + (-2667250)/(-165) + (-2)/(-11)?
False
Suppose 3*z + 5*a - 55 = 0, -z = -a - 0*a - 5. Let r(p) = -z*p - 7*p + 13*p + 40. Does 34 divide r(-11)?
False
Let w(a) = 6*a - 36. Let m be w(18). Let f = m - 66. Suppose 11*t - 360 = f*t. Is t a multiple of 12?
True
Let p(w) = 2 + 665*w - 39 + 8. Is p(1) a multiple of 53?
True
Let a = -7044 + 16034. Is a a multiple of 31?
True
Let t = 20925 - 4090. Is t/26 - (-10)/(-4) a multiple of 20?
False
Let i(k) = -3*k. Let y be i(1). Let a be -1*(-3)/((y - -5)/2). Suppose -9*s + a*s = -888. Does 12 divide s?
False
Let u be (-84)/30 - -6 - 2/10. Suppose 4*b + 6*j - 114 = 4*j, 0 = u*b - j - 98. Is b a multiple of 31?
True
Suppose 3*x + 15 = -129. Let m be 7107/(-92) - 2/(-8). Let y = x - m. Is y a multiple of 14?
False
Suppose 5*l - 5*n = 20, -l + 5*n + 10 + 10 = 0. Suppose -3*t + 9 = 21, -g - t + 37 = l. Is g a multiple of 38?
False
Let f = 43 - 12. Let u = 33 - f. Does 34 divide -1*((0 - u) + 4) - -100?
False
Let f(u) = u**3 - u**2 - 16*u + 24. Let r be f(-9). Let k = -297 - r. Is k a multiple of 42?
False
Suppose 6*l + 6*l = 39*l - 103032. Is l a multiple of 24?
True
Let w(k) be the third derivative of -k**6/60 + 29*k**5/30 + k**4/24 - 17*k**3/6 + 66*k**2. Does 3 divide w(29)?
True
Suppose 6*c + 2*i - 55104 - 16466 = 0, 3*c + 4*i = 35779. Is c a multiple of 25?
False
Let v = 17107 + -9629. Is v a multiple of 23?
False
Suppose -2933 = 71*x - 78*x. Let y = 424 - x. Is y a multiple of 5?
True
Let z(h) = 9*h**2 - 243*h - 20. Is 9 a factor of z(-16)?
False
Let x(o) = o**3 - 116*o**2 - 29*o + 1851. Is 19 a factor of x(118)?
True
Let b(a) = a**3 - 45*a**2 + 5*a - 580. Is b(47) even?
False
Suppose 21138 = -7437*u + 7439*u. Does 52 divide u?
False
Let h be (-24)/36 - (264/(-9))/2. Suppose 272 = h*i + 3*i. Is i even?
True
Let f(a) = a**2 + 16*a - a + 10*a - 5 - 11*a. Let x = -40 - -23. Is f(x) a multiple of 46?
True
Is 4 + (176 + (4 - -2))*(-15)/(-5) a multiple of 18?
False
Let d = 35 + -33. Suppose m - 3*l - 73 = 0, 2*m = -d*l + 70 + 68. Does 14 divide (0 + m)/(-9 + 10)?
True
Let a(b) = 7*b - 8. Suppose 0*f + 4*f = g + 4, -4*f + 8 = -2*g. Let d be a(g). Let l = d + 117. Is 5 a factor of l?
False
Let c(p) = p**3 - 15*p**2 + 46*p + 262. Does 14 divide c(33)?
False
Let c = 353 - 351. Suppose 0 = c*x - 57 - 75. Is x even?
True
Suppose 126295 = 12*g + 142*g - 45877. Is g a multiple of 14?
False
Suppose -1842972 = 70*c - 183*c - 138028. 