Let s = -185 + 52. Let b(q) = -48*q**2 - 3*q + 11. Let i be b(2). Let h = s - i. Is 19 a factor of h?
False
Let v = -2 + 12. Let k(f) = -f**2 + 11*f - 11. Let g be k(v). Does 7 divide (-25)/g*8/10?
False
Let t(a) = 2*a**2 - 4*a + 2. Let f(w) = -6*w**2 + 11*w - 5. Let c(p) = -4*f(p) - 11*t(p). Suppose 97*b = 88*b + 27. Is c(b) a multiple of 3?
False
Suppose 495 = 2*c + 3*a, 780 = 4*c - c - 3*a. Is 4 a factor of c?
False
Suppose 0 = -21*h + 76 + 71. Suppose -3*k + 42 = 5*t, h*t = 2*t + 2*k + 47. Does 9 divide t?
True
Is (-1199 + -1)*4/(-8) a multiple of 10?
True
Let f = 23 + -247. Let g = f + 479. Is g a multiple of 13?
False
Suppose -5*m - 25 = 0, m - 175 = -3*g + 9. Is g a multiple of 3?
True
Suppose 0 = 30*n - 25*n + 2040. Let s = -72 - n. Is 48 a factor of s?
True
Suppose 5*t = -c - 10, c - 4*c = 3*t + 6. Suppose i + 2 - 13 = c. Let v(l) = l + 5. Is 12 a factor of v(i)?
False
Suppose 0 = 5*p + 3*u - 7254, 4*p = -u + 714 + 5092. Is 17 a factor of p?
False
Does 15 divide (0 + (-4)/(-2))*(2 + 16)?
False
Suppose 0 = 4*s - 39 + 15. Let b be 4/s*3/1. Suppose -3 = b*l - 99. Is 13 a factor of l?
False
Suppose 0*f = 3*f - 210. Let y = 10 + -8. Suppose -62 = -y*h + f. Is h a multiple of 25?
False
Suppose -2*a - 44 = 66. Let f = -25 - a. Let z = f + -6. Is z a multiple of 24?
True
Let c be ((-4)/16)/((-1)/4). Let z(p) = -p**2 + 3*p - 2. Let w be z(c). Suppose 2*u = 3*j + 36, u + 2*j - 4 + 0 = w. Is u a multiple of 4?
True
Let r(b) = -44*b + 106. Is r(-13) a multiple of 13?
False
Let p be 748/(-6) - (-28)/42. Is (0 - 1) + (-8 - p) a multiple of 13?
False
Let c(p) = p**2 + 55*p + 275. Does 11 divide c(28)?
False
Let t(b) = 4*b**3 - b**2 + b. Let l be t(1). Suppose -v + l*h + 12 = 0, -7*v - h = -3*v - 31. Suppose -9*r + 29 = -v*r. Is r a multiple of 7?
False
Let j = 211 - -41. Is j a multiple of 21?
True
Suppose -5*i = 4 - 19. Let g = 5 - i. Suppose -g*r + 4*t + 24 = 0, -t + 24 = 4*r + 3*t. Is r a multiple of 8?
True
Let d = -2039 + 3845. Is 86 a factor of d?
True
Suppose z = -24 - 112. Suppose -3*m - 581 = -d, -2*m - 427 = -4*d - 43. Let j = z - m. Is j a multiple of 15?
False
Let i be (-127)/3 + (-2)/(-6). Let g = 60 + i. Let b = g - 5. Is 5 a factor of b?
False
Let i = -14 + 644. Is 45 a factor of i?
True
Suppose 7*k - 2*k - 625 = 0. Does 32 divide (-2)/10 + 5/(k/1155)?
False
Let q be (-1 + 2/10)/(23/115). Does 11 divide 42/1*(-9)/(54/q)?
False
Let g(n) = -n + 4. Let w be g(3). Let x be ((-14)/(-2) + 4)*w. Suppose -5*q - x = -31. Is 4 a factor of q?
True
Suppose 14*g - 13*g = 1. Suppose -8*z = g - 65. Does 4 divide z?
True
Let q = 23 + -4. Is 9 a factor of q?
False
Suppose -4*p = 4*g - 5*g + 374, 4*g = -p + 1496. Is g a multiple of 23?
False
Let h(k) = 2*k**2 - 11*k + 18. Let a be h(10). Suppose -11*z - a = -14*z. Is z a multiple of 8?
False
Is 104 a factor of 1205 - -7 - (0 - 4)?
False
Let y = 72 - 42. Let v = 46 + y. Does 18 divide v?
False
Let f(r) = -r**3 + 22*r**2 - 55*r - 130. Is 8 a factor of f(18)?
True
Let x(w) = -2*w - 15. Let s be x(-7). Let c = 33 + s. Is 27 a factor of c?
False
Does 9 divide -3*((-6485)/15 - (4 + -2))?
False
Does 62 divide 62/(103/(-42) + (-120)/(-48))?
True
Let q(n) = 2*n - 8. Let i be q(7). Suppose i*g - g = -335. Let a = -4 - g. Is a a multiple of 21?
True
Let l be 5 + (-1 - -5) + 0. Let p = l - -42. Suppose -p - 17 = -4*d. Is d a multiple of 17?
True
Let h = -85 - -89. Suppose -h*v + 123 = 3*q, 4*v = -q + 77 + 36. Does 3 divide v?
True
Let u(a) be the third derivative of -a**7/315 - a**6/180 + a**5/10 - 7*a**2. Let d(x) be the third derivative of u(x). Is 14 a factor of d(-2)?
True
Suppose 2*a + 4 = -t, 3 = -3*t - 4*a + 1. Does 10 divide 4/(-5)*(-75)/t?
True
Suppose 3*p + 846 = 5*g, 5*g - 836 = -0*p - 2*p. Does 14 divide g?
True
Let x(t) = -13*t - 6*t + 20*t. Let o be x(4). Suppose -148 = -o*g - 36. Is g a multiple of 13?
False
Let a = -895 - -2765. Does 55 divide a?
True
Suppose -46 = -4*t + 5*v, -29 = -t - 5*v - 5. Suppose -t = -4*r - 3*u, -u = -5*r - 0 + 8. Suppose 2*j + r*j - 16 = d, -2*j + 6 = -d. Does 4 divide j?
False
Suppose 0*u - 2*u + 20 = 0. Let v = -12 + u. Is 5 a factor of 0 + 5 + v - -10?
False
Let c be ((-9)/(-6))/(6/44). Suppose 5*t - 108 = -3. Let g = t - c. Is 10 a factor of g?
True
Let d(z) = -20*z + 25. Let s(j) = 22*j - 29. Let h(x) = -5*d(x) - 4*s(x). Let g(n) = n + 1. Let o be g(3). Is h(o) a multiple of 7?
False
Let n(a) = 7*a - 1. Let r be n(3). Suppose 0*w - r = -w. Suppose -c + 34 = -w. Is c a multiple of 29?
False
Let i(f) = f**2 - 4*f + 2. Let j(y) = 4*y**2 - y + 1. Let c be j(2). Let o = -10 + c. Is 4 a factor of i(o)?
False
Let w(m) = -m**2 - 9*m + 5. Let y be w(-9). Does 20 divide y/(-12)*-3*80?
True
Let a = 750 - -57. Is 55 a factor of a?
False
Does 14 divide (10 - 59570/(-90)) + (-2)/(-18)?
True
Let j(p) = -1119*p - 9. Does 85 divide j(-1)?
False
Let u = 338 - 155. Does 29 divide u?
False
Suppose -3*o + 13 - 10 = 0, 3*d - o = 3722. Does 29 divide d?
False
Let z(o) = -o**2 + 0*o**2 + 8*o - 3 + 8*o**2 - 3 + o**3. Let p be z(-5). Suppose -p*r + 120 = 2*j, 119 = 3*r - 2*j + 15. Does 16 divide r?
True
Let h(m) be the third derivative of m**4/12 + 2*m**3 + 5*m**2. Is h(0) a multiple of 4?
True
Let p(z) = -z**3 - 15*z**2 - 10*z + 1. Let q(r) = -r**3 - 15*r**2 - 11*r + 2. Let o(x) = 4*p(x) - 5*q(x). Is o(-13) a multiple of 9?
False
Let c(o) = 8*o**2 + 2*o - 10. Let a = 24 - 28. Is 22 a factor of c(a)?
True
Let z be (30 - -3)*1 + -1. Does 13 divide (3 - 3 - (-4)/8)*z?
False
Let c = -237 + 433. Suppose -18*o + c = -16*o. Does 14 divide o?
True
Let d = 202 - 102. Is 10 a factor of d?
True
Let i(j) = -j + 2. Let h be 2/4*(5 - -5). Let x be i(h). Is 10 a factor of 2*(16 + 7 + x)?
True
Let b(c) = c**3 - 9*c**2 + 2*c - 3. Let l = -3 - -6. Suppose 4*u - 14 - 30 = -2*v, l*u = 5*v + 20. Is b(u) a multiple of 39?
True
Let j(k) = -68*k + 115. Is j(0) a multiple of 23?
True
Suppose -2*x - 2*t = 21 + 3, x + 5*t + 24 = 0. Let y = x - -4. Is (24 - -1) + 2 + y a multiple of 11?
True
Let q = -262 + 455. Does 38 divide q?
False
Suppose 3*j = -1484 + 6245. Is 69 a factor of j?
True
Let c be 5*1 - (9 - 6). Let l(h) = -10*h + 7 - c - 6 - 2. Is 13 a factor of l(-2)?
False
Suppose 2*i = 5*r + 952, 0 = 3*i - 2*r - 926 - 502. Does 17 divide i?
True
Let p = -7219 - -10944. Is p a multiple of 149?
True
Suppose -q = 4*r - 3759, 0*r - 3*r + 3*q + 2808 = 0. Does 21 divide r?
False
Suppose 184 = -5*b - 91. Let m be (-320)/b + 2/11. Suppose 4*r = 2*y - y + m, 4*r = 20. Does 6 divide y?
False
Suppose -17*x + 47 = -38. Suppose 0 = 10*u - x*u - 360. Does 18 divide u?
True
Is 4 a factor of 601 - (-4)/((-10)/(-5))?
False
Let h(z) be the first derivative of z**4/4 - z**2/2 + z + 8. Let v(b) = -7*b**3 + 4*b**2 + 3*b - 5. Let t(r) = -6*h(r) - v(r). Is 4 a factor of t(4)?
False
Let h(y) = 3*y + 22 + 4*y - 8 + 2*y**2 - 3*y. Let u be h(7). Suppose 26 = -3*q + u. Does 23 divide q?
False
Let u(i) = -34*i**2 + 1. Let v be u(1). Let r = v - -63. Is r a multiple of 5?
True
Suppose -s + 0 = -2. Suppose -1 - 25 = -s*b. Let w = b - -47. Is 20 a factor of w?
True
Suppose -112 = -6*v + 116. Is (v/8)/((-1)/(-8)) a multiple of 8?
False
Let y be 24/(-40)*(-5)/1. Suppose -y*f = 5*b - 76, 3*f - 4*f + 4*b = 3. Is f a multiple of 2?
False
Let n(r) = -r - 1. Let o be n(-1). Let q be 1*(o + -1 + 2). Suppose -4*d = 3*t - 125, -q + 9 = -2*d. Is 13 a factor of t?
False
Suppose 2*o = -2, 7*o - 4*o - 152 = -5*t. Let k = 34 - t. Suppose -32 = -k*s + 97. Does 31 divide s?
False
Suppose -4*i = 2*r - 4 - 2, -2*i - 5*r = -15. Does 12 divide -2 - (i - -1) - -57?
False
Let i(s) = -s**3 + 7*s**2 + 7*s + 8. Let w be i(8). Suppose x - 3 + w = 0. Does 13 divide (3/2)/(x/26)?
True
Let c = -207 - -237. Does 2 divide c?
True
Suppose -132 = -m + 2*y, 0*m - 3*m - 2*y = -388. Is m a multiple of 10?
True
Let c be 8 - (4 - (1 - 0)). Suppose 0*a - 5*a - 123 = -3*t, -3*a = -c*t + 189. Is 12 a factor of t?
True
Suppose 1080 = 7*s - 1342. Is s a multiple of 17?
False
Let i be 1309/(-44) - 3/(-4). Let o = -27 - i. Suppose 4*g + z = 27, 4*g + 3*z = -o*z + 23. Does 3 divide g?
False
Suppose -2*y - 13*k = -12*k - 1149, 2*y - 1146 = -4*k. Is y a multiple of 37?
False
Let a(j) = 3*j**3 - 20*j**2 - 8*j - 24. Does 64 divide a(10)?
True
Let q = 52 + -52. Let z(b) = -7*b + 4. Is z(q) eve