111. Is 7 a factor of v?
True
Suppose 164 = 4*p + 8. Let r = -19 + p. Suppose -u + r = u. Does 10 divide u?
True
Let u = -7 + 9. Let s be 3/u + 182/(-4). Let m = 104 + s. Is m a multiple of 20?
True
Let w = 944 - -336. Does 30 divide w?
False
Let v(x) = 166*x + 18. Let z(d) = -56*d - 6. Let i(u) = -3*v(u) - 10*z(u). Suppose 4*c = -q + c - 4, 0 = q + 5*c + 8. Is 33 a factor of i(q)?
False
Let n(x) be the first derivative of x**2 + 5*x - 17. Does 6 divide n(9)?
False
Is 9 a factor of (-39279)/(-18) + (-70)/60?
False
Let n = 2 - 0. Let f(g) = 79*g**n - 2*g**3 - 3*g**3 - 81*g**2 - 3*g. Is 9 a factor of f(-2)?
False
Suppose l - 5 = 5. Suppose 5*j + 2*v = 20, j - 6 = -5*v - 25. Is l/15 - (-140)/j a multiple of 12?
True
Is (672 - (-14 + 6)) + 0 a multiple of 8?
True
Suppose -6*d - 82 = 110. Is 10 a factor of 1 + 8/(d/(-396))?
True
Let x be (-22)/11 + 1*6. Suppose -2*q = -x*h + 174, -5*q - 1 = -4*h + 188. Suppose -3*u + h = -19. Is u a multiple of 9?
False
Let o = -1678 - -1760. Is o a multiple of 3?
False
Let s = 118 - 209. Let b(w) = 65*w - 3. Let i be b(3). Let c = i + s. Does 21 divide c?
False
Let s = 328 + -232. Let z = s + -48. Is 12 a factor of z?
True
Let c(g) = 2*g**2 + g - 1. Let h be c(-2). Suppose -x = z - 4, 2*z - 12 = z - h*x. Suppose -34 = -z*b - 2. Is 4 a factor of b?
True
Let a(f) = f**2 + 11*f. Let d be a(-11). Let j(i) = 2*i**2 + 2*i + 73. Does 11 divide j(d)?
False
Let l = 1466 - -529. Is 105 a factor of l?
True
Is 5 a factor of ((-10)/40)/((-1)/2596) - 4?
True
Is 1168/8*3/(-6)*-4 a multiple of 33?
False
Suppose 55*c - 3*g = 57*c - 715, 0 = 4*c - 5*g - 1397. Does 23 divide c?
False
Let h = 97 + -335. Is 6 a factor of ((-108)/63)/(4/h)?
True
Let c(p) = p**3 + 2*p**2 - 4*p - 1. Let x be c(-3). Let q(f) = 0*f - x*f - 8*f + 25 - f. Is 30 a factor of q(-10)?
False
Suppose 103*x - 233297 - 80029 = 0. Does 39 divide x?
True
Suppose 0 = -0*p + 4*p. Suppose -5*w + n + 26 = -w, 2*w + 2*n - 18 = p. Let k = w - -13. Does 10 divide k?
True
Let t = 35 + -60. Suppose 84 = -17*c + 19*c. Let h = t + c. Is 17 a factor of h?
True
Does 3 divide ((-10)/7)/(-5) + 948/14?
False
Let v = 71 - 113. Let p = v + 46. Is 3 a factor of p?
False
Does 48 divide 1/(-1) - 3874/(-26)?
False
Let j = -60 + 90. Suppose 2*r = 12 + j. Is r a multiple of 2?
False
Suppose 8*h + 14*h - 35574 = 0. Does 77 divide h?
True
Let z = -131 - -552. Let w = z + -253. Is w a multiple of 21?
True
Let a(s) = 10*s**3 - 4*s**2 + 3*s. Let x be a(2). Suppose 0 = -4*d + 3*m + 390, 2*m = -d + x + 22. Does 12 divide d?
True
Is 34 a factor of 2 + (-66)/30 + 8384/20?
False
Suppose s + 2*w - 92 = 0, 4*s - 368 = -11*w + 6*w. Is 4 a factor of s?
True
Let z = 769 + -1089. Let x = z + 482. Is x a multiple of 14?
False
Let j = -40 - -18. Let r = 16 + j. Is 6 a factor of -8*4*3/r?
False
Let m(c) = -4*c - 35. Let h be m(-8). Let k(g) = -10*g - 4. Does 9 divide k(h)?
False
Suppose 0 = 3*u + 2*u. Let b be 2 + -1 + -2 - (-3 + -3). Suppose d + 3*f = -u*f + 46, -b*f = 25. Does 10 divide d?
False
Let x be (-9)/(-3) + 2150/2. Suppose -5*o = 3*s + x, -2*o - 5*s = -0*s + 435. Is o/(-3) + (-5)/(-15) a multiple of 12?
True
Let l(j) = -j**3 - 18*j**2 - j + 31. Does 9 divide l(-19)?
False
Let m(t) = -18*t + 3. Is 33 a factor of m(-9)?
True
Suppose 4*o = -5*w + 2*o - 176, -2 = -o. Let z = 170 + w. Is z a multiple of 20?
False
Let o(n) = -9*n - 4. Let q be o(-5). Let a be (((-35)/(-14))/(-5))/(6/(-744)). Let v = a - q. Does 7 divide v?
True
Is (-303)/3*8/(-8) + 0 a multiple of 2?
False
Suppose 116*p - 118*p + 292 = 0. Is p a multiple of 37?
False
Let a(n) = -2*n - 4. Let g be a(-4). Suppose 5*x - j - 405 = -5*j, -4*x + g*j + 324 = 0. Is x a multiple of 27?
True
Let o(r) = 10*r**2 + 41*r + 299. Does 5 divide o(-8)?
False
Suppose -7*y = -10*y + 9. Let u(z) = 13*z - 2 + 4 - 5*z. Does 7 divide u(y)?
False
Suppose 3*z + 176 = 7*z. Suppose -4*f = 2*s - 4*s + 46, 5*f - z = -s. Let x = s - 7. Is x a multiple of 11?
True
Let k be -75 + (-3 - -1) - -2. Let g be 5/(k/(-9))*-5. Is -2 - (g - (-1 - -64)) a multiple of 21?
False
Let g(r) = 3*r**3 - 5*r**2 + 12*r - 30. Is g(5) a multiple of 23?
False
Is 2 a factor of (-9)/15 - 25056/(-135)?
False
Let s = 11 + -13. Let t = s + 7. Suppose -5*d = -3*d + 5*a + t, 0 = d + 4*a + 10. Does 10 divide d?
True
Let q = -15 + 13. Is (1 + q)/(7/(-217)) a multiple of 13?
False
Let t be -1*(-2 - -1) - -1. Let p(d) = 5*d - 4 - 7*d**t + 8*d**2 + d**3 + 9*d**2. Is 16 a factor of p(-9)?
True
Suppose -31*l = -11*l - 66700. Is l a multiple of 13?
False
Let x = -380 - -1155. Suppose 0 = -12*c + 7*c + x. Let d = c + -80. Does 16 divide d?
False
Suppose -2*p + 6 = -4*p, 3*o = -4*p - 33. Let w(y) = -19*y + 2. Let c be w(2). Let k = o - c. Does 9 divide k?
False
Suppose 0 = -k - 3*k + 5*w - 121, -w - 3 = 0. Let n(y) = -2*y**3 + 21*y**2 - 21*y + 9. Let f be n(9). Let m = k + f. Is 10 a factor of m?
False
Let p(c) = -14 + c + 5*c**2 - 2*c**2 + 39 - 4*c**2. Is p(0) a multiple of 15?
False
Suppose -4*w - 166 + 66 = 0. Let i = 37 + w. Suppose -4*k + i = 0, -k = -0*y + y - 32. Is y a multiple of 7?
False
Let m = -450 - -1096. Is 19 a factor of m?
True
Let u(b) = b**3 + 7*b**2 + 10*b - 2. Let f be u(-5). Is 14 a factor of (-351)/(-54)*f*10/(-2)?
False
Suppose -4*o + 0*v + 4*v + 512 = 0, 0 = o - 4*v - 140. Suppose -t + k = -5*t + o, 5*t + 3*k = 162. Is 10 a factor of t?
True
Let u = 13 - 11. Suppose -11 = -n + 5*b, u*b + 69 = 4*n - 29. Is 26 a factor of n?
True
Suppose -906 - 1362 = -9*t. Does 16 divide t?
False
Suppose 2*j - 8 - 4 = 0. Let m(s) = s**2 - 11*s + 3. Let z be m(j). Is 9 a factor of 6/z + (-546)/(-27)?
False
Let t be (-4 - -4)/6*-1. Suppose 0 = -t*b + 5*b - 765. Is 26 a factor of b?
False
Let f(u) = -2*u**2 - 13*u + 6. Let k be f(-7). Does 2 divide k - (-185)/20 - (-2)/(-8)?
True
Suppose 4449 = 3*j + 5*h, 13*j = 9*j - h + 5949. Is j a multiple of 48?
True
Suppose -5*r - 4*d = -520, 12*d - 7*d - 407 = -4*r. Is r a multiple of 54?
True
Let r(c) = c**3 - 6*c**2 + 2*c + 5. Let z(q) = -2*q**3 + 12*q**2 - 4*q - 11. Let j(b) = 9*r(b) + 4*z(b). Let k be (-30)/5 + 3 + 9. Is 9 a factor of j(k)?
False
Let r = 15 - 11. Suppose -r*a = -2*a - 4. Suppose -u + 4*p + a = -24, u = p + 11. Is 6 a factor of u?
True
Let z(c) = c**3 + 10*c**2 + 10*c + 11. Let b be z(-9). Suppose 4*l = b*i - 7*i + 16, -l = i - 3. Does 7 divide -2 - (-23)/(i/4)?
True
Suppose -3*d + 909 = -u, 4*d = -4*u + 924 + 304. Is 16 a factor of d?
True
Let a = 548 - 368. Is a a multiple of 6?
True
Let t(n) = 63*n**3 - 2*n**2 - n + 6. Is t(2) a multiple of 10?
True
Let n = 690 - 344. Is n a multiple of 38?
False
Let m(p) = p**3 - 7*p**2 + 7*p - 12. Let a be m(6). Is (244/3)/((-4)/a) a multiple of 28?
False
Suppose -4*f = 0, 7 = l - 4*f + 3*f. Let k be -3 - (-7)/(l/24). Is 12 a factor of (-54)/k*(-56)/6?
True
Suppose -4 = -4*g, -3*g = -5*s - 0*g + 37. Let k(z) = -4*z + 9*z**2 + 4 + 4 + 1 - z**3. Is k(s) a multiple of 16?
False
Let f(d) be the second derivative of 95*d**3/6 - 3*d**2/2 - 27*d. Is f(2) a multiple of 17?
True
Let w(k) = -559*k**2 + 1. Let r be w(-1). Let j = -214 - r. Suppose -5*u + 3*c + 462 = 0, -5*u + 9*u + 4*c = j. Is u a multiple of 18?
True
Let b(a) = -a**2 - 19*a - 14. Let z be b(-18). Suppose 3*s - 45 = 2*u, 2*u = z*u. Is s a multiple of 11?
False
Let s be (-1 + 54)/(12/12). Suppose 223 + s = 3*y. Is 37 a factor of y?
False
Suppose -7*n + 52 = 10. Suppose 624 = 18*l - n*l. Is l a multiple of 4?
True
Suppose 0 = -m - 2 - 0, -v + 2 = -m. Suppose v = 11*d - 10*d - 39. Does 7 divide d?
False
Let z(h) = -h**3 + 6*h**2 + 12*h - 7. Let d(i) = i**3 - 5*i**2 - 13*i + 7. Let j(s) = -5*d(s) - 6*z(s). Is 11 a factor of j(12)?
False
Suppose -1231 - 1002 = -11*o. Does 21 divide o?
False
Suppose -6 - 6 = -3*v. Suppose -3*k + v*k = -3. Let q = k - -10. Is 5 a factor of q?
False
Let s be (3 - (7 - 2)) + 2. Suppose -f - 4*z = -4, -f = -s*z - z - 4. Suppose -n = -f - 26. Does 11 divide n?
False
Let j(d) = 7*d - 7. Suppose 30 + 0 = 3*f. Suppose 6*q = 4*q + f. Is j(q) a multiple of 9?
False
Is 9 a factor of (-42)/2*((-511)/3 - 4)?
False
Let s(h) = -44*h**3 - 3*h**2 + 5*h + 15. Does 35 divide s(-3)?
False
Let r = -4541 - -7510. Does 38 divide r?
False
Let m(f) = -66*f. Let u(z) = -330*z. Let i(a) = 24*m(a) - 5*u(a). Let h be i(2). Let j = 189 - h. Is j a 