, 0 = 2*u - n - 86. Let z = 65 - u. Let v = z - 19. Is v even?
True
Suppose 6*h + 2 = 32. Suppose -h*l - 17 = -t, -t + 0*l = -3*l - 19. Does 17 divide t?
False
Let u = -498 + 346. Does 9 divide 3/5 + u/(-5)?
False
Let j be (-138)/(-7) - 10/(-35) - -2. Suppose d - j = -0. Is 11 a factor of d?
True
Let q be 27/6 - (-3)/(-2). Let v(p) = -1 + 0 + 7*p**2 + 3*p + p**q - 2. Does 15 divide v(-6)?
True
Suppose -4*a + 22 = f, 3 = a - f - 5. Suppose 4 = -a*p + 22. Is p a multiple of 3?
True
Suppose 0 = -u - 5*m + 5, 0 = -4*u - 5*m - 4 - 36. Let j = u - -9. Is (-7 - 2)*8/j a multiple of 12?
True
Is 34 a factor of (-36)/((14/595)/(16/(-20)))?
True
Suppose 3*f - 2*s + 17 = 71, 2*f - 3*s - 31 = 0. Does 20 divide f?
True
Suppose -2*y - y = -21. Suppose -3*x = 5*z - 155, 3*x - y*z = -3*z + 119. Is 4 a factor of 1/(-5) - (-324)/x?
False
Let k(v) = 3*v - 7 - 4*v + 19 + 16. Does 7 divide k(9)?
False
Is 8 a factor of (-26)/91 + 9393/21?
False
Suppose 10*g + 10 = 8*g. Let z be 9/(-15) - 18/g. Suppose -3*f - 90 = -b, b - z*f = f + 90. Is b a multiple of 22?
False
Suppose -5*j + 1190 = -2180. Suppose -2731 = -11*n - j. Is 17 a factor of n?
True
Let g be (4/6)/((-2)/(-30)). Let q(i) = 0*i**2 + 0*i - 4*i - 4*i + i**2 - 3. Is 17 a factor of q(g)?
True
Does 14 divide 123 - (-7 + 12 + 0/2)?
False
Suppose q + 15 - 48 = 0. Is q a multiple of 19?
False
Suppose 0 = -3*d + i - 4*i - 6, 18 = -2*d + 5*i. Let b(p) be the first derivative of -p**4/2 - 2*p**3 - p**2/2 - 3*p + 26. Is b(d) a multiple of 11?
True
Let z = 35 + -24. Does 11 divide z/(-2)*((-1 - 1) + 0)?
True
Let b(f) = 15*f**2 + 1. Let l be b(3). Suppose -7*z = -9*z + l. Suppose 1 = -n + 5*u + 35, 4*n - z = 3*u. Is 4 a factor of n?
False
Suppose 3*o = 4*n + 813, o - 203 = 3*n + 68. Does 2 divide o?
False
Suppose 0 = o + p - 1, 2*p + p + 3 = -o. Suppose -592 = -4*y + 4*d, -2*y + 627 = 2*y + o*d. Does 12 divide y?
False
Is (242/4 - 1)/(131/5240) a multiple of 68?
True
Let k(z) = z + 6. Let f be k(-4). Suppose -4*v = n - 12, f*v + n = -1 + 7. Suppose -v*s = -12 - 42. Is s a multiple of 6?
True
Let q(r) = r**2 + 7*r + 16. Let j be q(-4). Does 8 divide (3/j)/(15/420)?
False
Suppose -5*l - 7 = 2*s - 121, 36 = l - 4*s. Is 12 a factor of l?
True
Suppose 6*f - f = 0. Suppose u + u = f. Suppose -3*v - 3*b + 61 = -v, 4*v - 4*b - 152 = u. Is v a multiple of 11?
False
Let p be 2/7 - ((-156)/42 - 1). Is 7 a factor of (-1)/p*4 - (-1845)/25?
False
Suppose 5*y = 9 + 1. Suppose y*w + 1 + 13 = 0. Let m = w - -53. Does 26 divide m?
False
Suppose 5*g - 26*o - 395 = -21*o, 2*g + 4*o - 188 = 0. Is 21 a factor of g?
True
Let q(j) = -91*j + 80. Is q(-6) a multiple of 60?
False
Suppose 0 = -5*s - 1 + 31. Suppose z - 16 = 3*l, z - s*l - 16 = -2*l. Does 8 divide z?
True
Suppose 20 = -5*r, -12 = -3*i - i - r. Let h = -32 - -203. Suppose i*s - 3*j = 228, j + h = 4*s - s. Is s a multiple of 19?
True
Suppose 5*i + 1356 = 3971. Does 11 divide i?
False
Let t = -65 + 97. Suppose 5*h = h + t. Is h a multiple of 2?
True
Let i(b) = 3*b. Suppose 0 = -3*p - 4*w + 2, 0 = 4*p - 0*w + 2*w - 16. Suppose p*d + d = 28. Is 12 a factor of i(d)?
True
Let g be 1/(-2)*(4 - -4). Is (-2)/g + (-917)/(-14) a multiple of 41?
False
Let q = -387 + 504. Is 9 a factor of q?
True
Let d(k) = -10*k + 10*k + k**2 + 1. Let x be d(1). Suppose -x*h - 2*l = -7*l - 117, 0 = -3*h - 4*l + 210. Is 22 a factor of h?
True
Suppose -3*d + 30 = 2*d. Suppose 3*w - 141 = -3*b, b - 3*w = d*b - 235. Is 5 a factor of b?
False
Let t(f) = 49*f + 9. Does 41 divide t(20)?
False
Suppose -f = p + 4*f - 160, -p + 3*f + 120 = 0. Let h(v) = 2*v - 4. Let z be h(-6). Is 17 a factor of (-4)/z + p/4?
True
Let l = -5 + 4. Let p be ((-1)/3*0)/l. Does 16 divide p + -4 + 1 + 51?
True
Let x be -210 + (12/(-3) - 0). Let b = -212 + 65. Let a = b - x. Is a a multiple of 20?
False
Suppose 3*w + 1531 = 2*s + 295, 4*s = 3*w + 2472. Does 11 divide s?
False
Suppose -3*x + 4 + 2 = 0, -3*i + x = -412. Does 46 divide i?
True
Suppose -16*v = -15*v - 3. Let w(k) = 6*k - 9. Is w(v) a multiple of 9?
True
Suppose 3*d = -3*a + 2883, -5*d - 2877 = -3*a - 2*d. Is a a multiple of 15?
True
Let k(f) = -6 + 11 - f - 5 - 3. Let z be k(-6). Let d = z + 1. Is d even?
True
Suppose 37 = 6*g + 13. Suppose -3*b + g + 32 = 0. Is 4 a factor of b?
True
Suppose 3*x = -0*x + 15. Suppose 2*q - 15 = -x*f + 10, 3*q + 5*f - 25 = 0. Let o(t) = t**2 + 23. Is o(q) a multiple of 23?
True
Let h be (2/2)/(2/50). Let p(x) = -x**3 - 6*x**2 - 8*x - 6. Let o be p(-5). Suppose -o = -4*a - h, 4*a = -5*q + 64. Does 9 divide q?
False
Suppose -3*y - 2 = -y, -51 = -2*m - y. Let c = m + -17. Is 3 a factor of c?
True
Is 23/(8 - (-618)/(-78)) a multiple of 21?
False
Suppose -9*z - 29 = -92. Suppose 0 = -2*p + z + 181. Does 50 divide p?
False
Let u be 18/8*32/(-12). Let d(p) = p. Let c be d(-6). Is (248/u)/(4/c) a multiple of 13?
False
Suppose s + 4*i - 1359 - 242 = 0, -i = 5*s - 8062. Is s a multiple of 50?
False
Let n be (-2 + -5 + 1)*112/(-6). Let j = -55 + n. Is 5 a factor of j?
False
Suppose -2*c + 77 + 27 = 0. Suppose c*b - 56*b + 44 = 0. Does 11 divide b?
True
Let c(n) = -260*n + 5. Is c(-2) a multiple of 24?
False
Let a = 9 - 9. Suppose -4*x + 5*u + 96 = a, 0*x = -x - 2*u + 11. Does 11 divide x?
False
Suppose 4*q = -3*c + 150, q + 2*q + 200 = 4*c. Let j = 61 - c. Is 7 a factor of j?
False
Let a = -961 + 2013. Does 16 divide a?
False
Let k(g) = -15*g**2 + 2*g - 2. Let p(l) be the first derivative of 481*l**3/3 - 65*l**2/2 + 65*l - 6. Let i(o) = -65*k(o) - 2*p(o). Is i(-1) a multiple of 12?
False
Suppose 0*v - 3*v = 2*q + 8, q + 2*v + 6 = 0. Suppose 5*p - q*p - 156 = 0. Is p a multiple of 13?
True
Let u be (-3 - 1)/((-26)/143). Let t = 42 - u. Is t a multiple of 5?
True
Suppose 0 = -6*n + 3*n. Suppose h + n = 3. Suppose 3*f = -4*b + 19, -h*b = -0*b - 3*f - 9. Is b even?
True
Let q = 244 - 180. Is 32 a factor of q?
True
Suppose 82*y - 2440 = 77*y. Does 46 divide y?
False
Suppose 1605 + 75 = 6*h. Is 70 a factor of h?
True
Let o = 81 - 87. Let t(s) = -16*s**2 - 4*s + 3. Let c be t(3). Is 9 a factor of (6/9)/(o/c)?
False
Let o(x) = -13*x - 220. Is 7 a factor of o(-18)?
True
Let j(s) = -14*s - 381. Is j(-38) a multiple of 16?
False
Suppose 0 = 7*o - 47 - 51. Suppose o*g = 20*g - 600. Is 20 a factor of g?
True
Suppose 0 = 5*j - 24 - 36. Suppose j = a - 2*y, -3*a = -5*a + 2*y + 32. Is 168/a - 2/5 a multiple of 3?
False
Let h(g) = -41*g**2 + g - 6. Let q(i) = -42*i**2 + i - 5. Let k(d) = 3*h(d) - 4*q(d). Is 21 a factor of k(1)?
False
Let m be (-3)/(-3 + 69/24). Suppose 4*z - 4*j = 64, -m = 4*z + j - 108. Is z a multiple of 20?
True
Suppose 2528 + 1420 = 42*y. Is y a multiple of 6?
False
Suppose 2*d - 10*d + 256 = 0. Is 20 a factor of (-1204)/(-6) - (d/6)/8?
True
Let q = 12 + -14. Let o be q/3*15/2. Let x = 23 - o. Does 14 divide x?
True
Suppose 152 = -9*v + 584. Suppose 9*x - 6*x - v = 0. Does 2 divide x?
True
Let j = 217 + -97. Does 6 divide j?
True
Suppose 4*q - 14 = 5*q. Let w = 23 + q. Suppose 3*p - 30 = -w. Is p a multiple of 7?
True
Suppose -4*z + 7*z - 75 = 0. Is 23 a factor of z?
False
Let a(m) = -2*m**3 + m**2 + 2. Let f(d) = -d**2 + 13*d + 31. Let w be f(15). Suppose 0 = 3*r - 4*i + 16, 0 - w = -i. Is 32 a factor of a(r)?
False
Let h(n) = -n**3 + 6*n**2 + 3. Suppose 1 = -4*t + 21. Is 8 a factor of h(t)?
False
Let d(p) = 2*p**3 - 9*p**2 + 3*p + 2. Let b(m) = -4*m - 26. Let g be b(-8). Does 32 divide d(g)?
True
Let a(b) = 9*b**2 + 3*b + 14. Is a(-4) a multiple of 27?
False
Suppose 4 = s - 2*q, -s + 10 = 5*q - 1. Suppose -294 = -d - s*d. Is 8 a factor of d?
False
Let b(z) = 12*z - 9 + 11 - 3. Let p(m) = -m**3 - 5*m**2 - m + 1. Let u be p(-5). Is b(u) a multiple of 21?
False
Suppose 0*y = 2*b - y - 2227, 4*b - 4457 = y. Does 111 divide b?
False
Let t(k) = 2*k**2 - 28*k - 7. Let i be t(15). Suppose 0 = -4*w - i + 103. Does 20 divide w?
True
Suppose 3*f - 2*f - 4 = 0. Suppose 4*x - f*w = 252, 0 = -3*x + 3*w - 6*w + 183. Is 28 a factor of x?
False
Let s(g) be the second derivative of g**4/12 + g**3 - g**2 + 6*g. Let m be s(-6). Is 18 a factor of 1*(m + (-112)/(-2))?
True
Let d = -1598 + 3105. Does 19 divide d?
False
Does 11 divide (-56)/((-11)/3465*6)?
False
Suppose 4*s - 735 + 278 = -k, 1382 = 3*k + s. Suppose -t = 5*q - k, q + 0*q + 4*t - 77 = 0. Is q a multiple of 23