o be l(13). Suppose -3*c - o = -p, -i = 3*c - c. Is p a multiple of 8?
True
Suppose 0 = 2*n + 5*z - 12, 5*n - 2*z + 40 = 3*z. Let f = n - -135. Suppose 3*o - x = f, -4*o + 2*x = -o - 136. Is 11 a factor of o?
False
Let l be (-63)/15 + 4 + (-333)/(-15). Suppose x = 4*f + 6*x - l, 5*f - 38 = -x. Suppose 0 = -f*p + 3 + 213. Is p a multiple of 4?
False
Suppose -22*s = -45*s + 15937 + 6603. Does 14 divide s?
True
Suppose 2*d = -22 - 30. Does 3 divide (-5)/(-65)*349 - 4/d?
True
Let q be (-30)/(-20)*(-14)/(-3). Suppose 8*u = -q*u + 2970. Does 12 divide u?
False
Let b(c) = 220*c**2 + 16*c + 119. Is 116 a factor of b(-5)?
False
Let x(k) = 10*k**3 + 4*k**2 - k - 3. Let l be x(-1). Does 7 divide (l/(-3) - 4)/(8/(-324))?
False
Let i(u) = -207*u**3 - 2*u**2 - u. Let t be i(-1). Let d be (t/(-8))/(12/(-96)). Let y = d + -90. Is y a multiple of 11?
False
Let g(w) = w**3 + 143*w**2 + 1140*w - 424. Is 101 a factor of g(-133)?
True
Let h = 481 - 475. Suppose -3*z - 144 = -h*z. Is 6 a factor of z?
True
Let u(p) = 28*p - 15. Let j be u(4). Let f = j - 78. Does 19 divide f?
True
Suppose 3711 + 32631 = 18*g. Is 14 a factor of g?
False
Let o(g) = 6*g**2 + 139*g - 3882. Does 5 divide o(24)?
True
Let l(p) = 2*p**2 + 38*p + 14. Let g(c) = -6*c - 25. Let s be g(-6). Suppose 10*o - s*o - 19 = 0. Is l(o) a multiple of 4?
False
Suppose 5*q = 4*i - 0*i + 85, -2*q = -4*i - 70. Let m(g) = -9*g - 50. Is m(i) a multiple of 17?
True
Suppose -11*u + 5*y + 317 = -9*u, 344 = 2*u + 4*y. Let b = -96 + u. Is b a multiple of 2?
True
Let c(l) = l**3 - 25*l**2 + 52*l - 8. Let r(b) = -b**2 - b + 23. Let g be r(0). Let t be c(g). Suppose -t = 3*a - 502. Is a a multiple of 10?
False
Suppose -10*b - 3*f - 7409 = -12*b, -6 = 2*f. Is b a multiple of 129?
False
Suppose -2*c + 111 = 3*t - 0*c, -t - 5*c + 37 = 0. Suppose 5*k = -t*g + 36*g + 2412, -3*k - 5*g = -1456. Is 85 a factor of k?
False
Let k be 9/5*55/33. Suppose -k*v - 2909 = -4*n + 804, 20 = 4*v. Is 11 a factor of n?
False
Suppose 5*u = -20, -5*y - 2*u + 9 = 47. Let h be y/4*(-14)/21. Is 14 a factor of ((-77)/(-33))/(h/12)?
True
Let k be (0 + (-24)/(-15))*5. Suppose -3*j - 3*t + 6 = 0, 3*t - k = -5*j + 2. Suppose -j*h + 4 = 0, -9 - 9 = -s - h. Is s a multiple of 4?
True
Suppose 29*c + 26*c - 225775 = 0. Suppose -1440 = -5*p + c. Is p a multiple of 36?
False
Let v(d) = d**2 - 7*d + 8. Let l be v(4). Let b be 3 - 3 - (-3 + -56). Let f = l + b. Is f a multiple of 11?
True
Suppose -3*c - 4*z + 3*z = -6820, 3*c = -5*z + 6800. Suppose 0 = -g + q + 768, 4*g = -3*q + c + 825. Is g a multiple of 22?
False
Let r(b) = 2*b**3 - 21*b**2 - 9*b - 20. Let z be r(11). Suppose 3*q = -z*q - y + 235, 2*y + 58 = q. Is ((-18)/(-24))/(1/q) a multiple of 6?
True
Is 20 a factor of (2340/(-21))/(155/(-140) + -2 - -3)?
True
Let r(a) = -a**2 - a. Let q(c) = -2*c**2 - 5*c - 21. Let m(s) = 2*q(s) - 6*r(s). Is m(-9) a multiple of 13?
True
Let u(q) = q**3 - 87*q**2 + 87*q - 519. Does 14 divide u(87)?
False
Suppose -39*p = -126*p + 48807. Is p a multiple of 17?
True
Let u(c) = -6*c**3 - 4*c**2 - 5*c + 2. Let v(l) = -l**3 + l**2 - 2*l. Let o(b) = -u(b) + 5*v(b). Let g be (-2 - 1)*(-2 + 5). Does 6 divide o(g)?
False
Is (178673/(-55) - 3)*((-225)/(-10))/(-9) a multiple of 11?
True
Let u(n) = -n - 4. Let o be 29/(-3) + 8/(-6). Let c be u(o). Suppose -5*r + c = -18, -5*x + 5*r + 185 = 0. Is 21 a factor of x?
True
Suppose 19018 - 16780 = 6*a. Is 3 a factor of a?
False
Let z be (15/(-4))/(-1 - (-6)/8). Let v = -95 + 97. Is 2 - ((-2769)/z - v/5) a multiple of 32?
False
Let o(j) = -2*j**3 - 21*j**2 + 4*j + 26. Does 4 divide o(-11)?
False
Suppose -874 = -4*m + p + 71, 3*m - 5*p - 713 = 0. Does 10 divide (m/16)/((-8)/(-224))?
False
Is 8087 + 1/1 - (-9 + (29 - 16)) a multiple of 47?
True
Suppose f = 6*f - 140. Suppose 0 = -7*a - 0*a + f. Does 7 divide (56/a)/(8/6)*6?
True
Let l be (-602)/(-25) + 36/(-450). Is (-1)/6 - -1093*4/l a multiple of 26?
True
Let u(z) be the first derivative of -26*z**4 + z**3 - 2*z + 10. Let p = -41 - -40. Is 21 a factor of u(p)?
True
Let t = 218 - 203. Suppose 1417 + 8 = t*h. Does 7 divide h?
False
Suppose -3*x + 0*l + 5*l = -12, -4*x + 51 = 5*l. Suppose 0 = -4*v + x + 103. Does 13 divide (-208)/(-28)*v/8?
True
Does 3 divide (-57465)/(115/(-23))*1?
True
Let w = 207 - -1557. Is 49 a factor of w?
True
Let j = 22 - 12. Suppose -152 = -5*z - 2. Is 6 a factor of 116/j + 12/z?
True
Let d(v) = 43*v + 40. Let w be d(7). Suppose -47 + w = 6*k. Is 7 a factor of k?
True
Let z be (-18)/2 + -2 + 0 + -1. Let y be (-9)/z*4 + -55. Let t = y + 82. Is 15 a factor of t?
True
Let i be 1 + 1 + -30 + -2. Suppose 289 = -0*k + 4*k + 5*p, -3*k - 4*p + 216 = 0. Let l = k + i. Does 7 divide l?
False
Suppose -7*x + 534 = 569. Let s(b) = -218*b - 166. Is 33 a factor of s(x)?
True
Let x = -632 + 642. Suppose 2*q + 340 = n, -5*n - 4*q - 1688 = -x*n. Is 16 a factor of n?
True
Does 98 divide (-1)/(-4) - ((-63192)/32 + 4)?
False
Let u(o) = o**3 + 10*o**2 - 12*o - 15. Suppose -3*r = 3*w + r - 6, r + 33 = 5*w. Is u(w) a multiple of 13?
False
Suppose 75*g - 499947 = -71172. Does 136 divide g?
False
Let r = -45 + 51. Does 8 divide -112*(r/(-8) - (-24)/96)?
True
Let m be 181/(0 - 8/(-16)). Let c = m - -139. Is c a multiple of 13?
False
Suppose b - 25 = -v, -7*b = -9*b - 4*v + 50. Suppose -1050 = -b*w + 19*w. Is 7 a factor of w?
True
Let d(q) = 3*q**3 + 111*q**2 - 79*q - 190. Is d(-30) a multiple of 136?
True
Let q = 27355 - -6201. Is 54 a factor of q?
False
Let p = 90 + 182. Suppose 19*o - 2*o - p = 0. Is o a multiple of 9?
False
Let m(r) = 3*r - 4. Let p be m(3). Suppose 33*v - 504 = 27*v. Suppose -3*w - v = -p*w. Is 14 a factor of w?
True
Let p be ((2 - 1)/1 - 0) + -19. Let m = 0 + p. Let a = m + 106. Is a a multiple of 9?
False
Let o be 3/(90/(-4)) - (-215496)/270. Let c = o - 788. Does 5 divide c?
True
Let p(r) = 2*r + 21. Let w be p(-8). Suppose 2*v - 10 = 0, -w*z = -3*z + 5*v - 499. Is 60 a factor of z?
False
Suppose -3*i - 5*x + 123 = 0, -x - 105 = -2*i - i. Let s = -33 + i. Let b(g) = 4*g**2 - 6*g + 6. Is 6 a factor of b(s)?
True
Let u = 51320 + -35359. Is 42 a factor of u?
False
Suppose 88*p - 2052940 - 426724 = 0. Is p a multiple of 193?
True
Let i(q) = 41*q + 12. Let x be 0 - (-1)/(4/6)*-2. Let d be i(x). Let s = -105 - d. Is 2 a factor of s?
True
Let t(u) = -29*u - 1105. Is t(-45) a multiple of 25?
True
Let t(x) = -3*x**2 + 4*x - 2. Let j be t(2). Let o be (236 + -235)/(1 - 4/3). Does 20 divide 3/2 - (135/j + o)?
False
Suppose 0 = 3*y + 5*f - f - 19319, 2*y - 12868 = 3*f. Is 31 a factor of y?
False
Is (5 + (-162 - -8))/(3/(-381)) a multiple of 149?
True
Suppose 0 = 4*b - 2*c - 132938, -2*b + 4*c + 42600 = -23878. Is 349 a factor of b?
False
Let u = -4432 - -14088. Is u a multiple of 34?
True
Let a(s) = s**2 - 15*s - 84. Let w be a(18). Let i = w + 166. Is i a multiple of 17?
True
Suppose 2*j + 13*j + 3*j = 549414. Does 8 divide j?
False
Let m(q) = -q**2 + 6*q - 6. Let g be m(7). Let i = -75 + -4. Let k = g - i. Does 32 divide k?
False
Suppose 0 = 2*d - 35 - 37. Suppose -25*t + d*t - 1078 = 0. Is t a multiple of 12?
False
Suppose 17*i - 7464 = 29*i. Let u = i - -873. Does 38 divide u?
False
Let r be (-15286)/(-10) - (-22)/55. Suppose -r = -5*t - 204. Suppose 3*v = 5*s - 2*v - 265, -t = -5*s - 4*v. Does 16 divide s?
False
Suppose 4*x = 61 - 13. Let d = x - 7. Suppose p = -n + 54, n = -d*p + p + 210. Is 26 a factor of p?
True
Let j be -143*(0 + -1*1). Let x be -12 - 990/(-81) - -147*(-14)/27. Let n = x + j. Does 11 divide n?
False
Suppose 441199 - 136687 = 64*u. Is 61 a factor of u?
True
Let i = -108 - -431. Let p = i - -160. Is p a multiple of 7?
True
Let n = -22015 + 31849. Is n a multiple of 149?
True
Let a(k) = -2*k**2 - 4*k + 2. Let d be a(0). Suppose 13*m - 924 = d*m. Is m a multiple of 14?
True
Let z be (0 + -2 + -1 + 4)*-7. Is 18 a factor of (86400/35)/9 + 2/z?
False
Let n = -12 - -10. Let q be (-2)/(-8) + (-1077)/(-12) - 4. Let a = q - n. Is 8 a factor of a?
True
Let x = -100 - -102. Suppose -3*i + 205 = x*v - 66, -261 = -3*i + 3*v. Let j = i + -39. Does 10 divide j?
True
Suppose -7*h = -74 - 164. Suppose -98 = -35*t + h*t. Is 14 a factor of t?
True
Let d(i) = 1531*i + 347. Does 123 divide d(4)?
False
Let p(y) = y**3 + 6*y**2 + y + 8. Let j be p(-6). Suppose t = -j*a + 3