
Let i = 3 - 0. Suppose 0 = u - i*b - 43, u - 2*b - 4 - 34 = 0. Does 9 divide u?
False
Suppose 2*b - 10 = -2*s + s, 0 = -2*b. Let n = -16 + s. Let z = -1 - n. Is 5 a factor of z?
True
Let x = 66 + -40. Is 13 a factor of x?
True
Suppose 0 = d - 37 - 118. Does 31 divide d?
True
Let l(v) = -v**3 - v**2 + 3*v + 2. Let b be l(-2). Suppose b*j + 4*j = 12. Let x = j - -11. Does 14 divide x?
True
Let u(l) = 2*l**2 - 3*l - 3. Suppose 2*q - 2*n - 2*n = 0, -3*q = 3*n - 9. Suppose q = 5*y - 4*d + 4, -2*d = -2*y. Is 7 a factor of u(y)?
False
Let w(s) = s. Suppose -4 - 4 = -4*a. Let z be w(a). Suppose 0 = -z*m - 12 + 56. Does 19 divide m?
False
Let c be ((-2)/(-3))/(4/54). Let x = c + -3. Suppose 2*b + f = 29, -x*b + b - 4*f = -74. Does 14 divide b?
True
Let r be 4/18 - 5649/27. Let l = -122 - r. Suppose -5*v = -v + 3*x - l, -3*v + x = -49. Is v a multiple of 9?
True
Let q = -2 - 23. Is 13 a factor of 0 + 0 - (5 + q)?
False
Let s be (-1 - -5)*1/1. Suppose s*w - 44 + 8 = 0. Does 4 divide w?
False
Let q(v) = v - 5. Let c be q(-5). Is (4/5)/(c/(-50)) a multiple of 2?
True
Suppose a = 4*j - a - 224, 4*j = -5*a + 224. Does 4 divide j?
True
Let l be (-3)/(-6) + 6/4. Suppose 0 = q + l*q + 15. Let w(r) = r**3 + 4*r**2 - 5*r + 3. Does 2 divide w(q)?
False
Let j = -32 - -75. Is j a multiple of 9?
False
Let k be (-1 + -1)/((-28)/(-154)). Let r = k - -19. Does 8 divide r?
True
Let o(g) = -2*g - 2. Let x be o(-1). Suppose -4*s = -2*s - 4. Suppose x = -3*m + s*m + 32. Is 16 a factor of m?
True
Let u(b) = -4*b - b - 3 - b. Let r be -2 - (0 + -2 + 4). Does 6 divide u(r)?
False
Let c be 1 + (-6)/3 + 2. Let p(x) = 24*x**3 - x**2 - x + 1. Let l be p(c). Suppose 115 = 4*i - 2*s - l, -87 = -2*i - 5*s. Is 11 a factor of i?
False
Let n(p) = -p**2 + 1. Let o be 1 + ((-1)/1 - -1). Let v be n(o). Suppose -5*g + v = -220. Does 23 divide g?
False
Let a(k) = -6*k + 5*k + 3 + 4. Let j be a(4). Is 9 a factor of -9*(2 + (-9)/j)?
True
Let d(l) = -l**2 + 3*l - 2. Let z be d(2). Suppose q - 30 = -q + 2*c, z = 4*q + 4*c - 100. Is q a multiple of 12?
False
Let v(z) = 3*z**2 + 8*z - 5. Is 41 a factor of v(3)?
False
Let u = -9 - -5. Let l be (-2)/u*(7 + -5). Does 15 divide (44 - l) + (-6)/2?
False
Let m(j) = 12*j - 23. Let k(v) = 3*v - 6. Let y(q) = 9*k(q) - 2*m(q). Suppose -d + 15 = 4*d - 5*l, 2*l - 24 = -3*d. Is 10 a factor of y(d)?
True
Let p be 85/(-15) + 1/(-3). Let l be (3/p)/(1/(-180)). Suppose 5*x = -0*x + l. Does 12 divide x?
False
Let v(n) = 6*n**2 + n - 1. Let t be v(1). Suppose 5*f - 2*f - 69 = a, t = 2*a. Is f a multiple of 8?
True
Let x = 26 + 31. Let f be (-24)/(-4) + -2 + 1. Suppose x = -2*z + f*z. Does 9 divide z?
False
Suppose -44 = a - 0. Let v = a - -91. Is v a multiple of 13?
False
Let r = 6 - 4. Suppose 4*d + n - 72 = -n, -2*d + r*n = -42. Suppose z - d - 17 = 0. Is 18 a factor of z?
True
Suppose -3*y + 19 = 2*l, 5*y + 4*l = -20 + 55. Suppose y*k = 5*k - 10. Suppose -4*o = 2*m - 56, -m - 92 = -k*m - 4*o. Is 18 a factor of m?
True
Suppose 0 = -z - 2, -2*z = 3*c + 3*z - 98. Is 18 a factor of c?
True
Suppose -4*i + 0*i = -28. Suppose i = k - 70. Suppose -30 - k = -5*b - 4*n, 3*n - 104 = -5*b. Is b a multiple of 14?
False
Suppose 10 + 2 = -3*f. Let o = f + 6. Suppose -6 = o*m - 24. Is m a multiple of 9?
True
Is (-5598)/(-45) + 2/(-5) a multiple of 31?
True
Suppose 0 = -g - 4*p + 51, -2*g - p = 3*g - 160. Does 16 divide g?
False
Suppose 0 = -h + 4*r + 20, 0*h = -3*h - 4*r + 76. Suppose 5*g - h = 4*g. Does 8 divide g?
True
Suppose 0 = -6*a - 74 + 434. Is 8 a factor of a?
False
Suppose 0 = 4*k - 4, 4*k + 18 = y + 8*k. Let v = -4 + y. Let q(m) = 3*m - 13. Is q(v) a multiple of 6?
False
Let y(j) = -2*j**2 - j - 2. Let v be y(-2). Let a(i) = -i**3 - 8*i**2 - i. Let n be a(v). Suppose 3*u - n - 1 = 0. Is u a multiple of 3?
True
Suppose 0 = 3*x + m - 90, -3*x - 2*x + 164 = -3*m. Is x a multiple of 12?
False
Suppose -3*k + 40 = -32. Does 6 divide k?
True
Let d(x) = 2*x**2 + 9*x + 6. Does 5 divide d(-6)?
False
Let b be 184/12 + 2/(-6). Let f = b - -11. Is 12 a factor of f?
False
Suppose -8*t + 902 = -250. Is 36 a factor of t?
True
Let z be (0 - 2)/(-4)*6. Suppose 12 = 4*l + z*u, 0*u - 20 = l - 5*u. Is 5 a factor of 3/(-6)*(-24 + l)?
False
Let d = -157 + 237. Let p = d + -56. Suppose -u + p = u. Is 11 a factor of u?
False
Let o(t) = -t**3 - 6*t**2 + 3*t + 5. Let y be o(-6). Suppose 0 = x - 4*x. Is (0 - y - -1) + x a multiple of 14?
True
Suppose -2*l + 94 = 8. Let d be -2*2*15/(-12). Suppose 0 = -3*o + 4*s + 46, -108 = -d*o - 5*s - l. Is 7 a factor of o?
True
Let f = 6 + -3. Does 12 divide (-142)/(-6) - (-1)/f?
True
Is (-453)/(-18) + 1/(-6) a multiple of 11?
False
Let y = 8 + 12. Does 8 divide y?
False
Suppose -t + 199 = 2*k, -4*k + 2*t = -6*k + 194. Is k a multiple of 34?
True
Suppose -67 = -4*i - 11. Let x = 4 + i. Suppose -4*c = -2*c - x. Is c a multiple of 4?
False
Let n(q) = q**3 + 7. Let f be n(0). Suppose 3*a - f + 1 = 0. Suppose 22 = 2*w + a*b, 4*w - b = 2*w + 28. Is w a multiple of 8?
False
Let f(p) = p**2 - 9*p + 2. Does 2 divide f(9)?
True
Let j(l) = -2*l + 2. Is 5 a factor of j(-2)?
False
Let k be 4/6 - (-272)/(-12). Let x = -4 - k. Is x a multiple of 7?
False
Suppose 0 = 3*c - 28 - 32. Is c a multiple of 7?
False
Let y be (-7)/((-14)/12) - 1. Does 17 divide 6*y*8/4?
False
Let g(h) be the third derivative of -h**5/60 - h**4/6 + h**3/2 - 4*h**2. Let p be g(-5). Does 12 divide p/5*(-27 + -3)?
True
Let w(r) = r - 5. Let z be w(7). Suppose -3*n + 9 = b + 2*b, 34 = z*b - 5*n. Is b a multiple of 5?
False
Suppose 0 = -0*s + s - 2. Suppose s*v = 68 + 16. Is 14 a factor of v?
True
Suppose -4*v = -8*v - 12. Is v - 0 - -1*16 a multiple of 10?
False
Suppose 0*g + g + 6 = 0. Does 14 divide (g/(-4))/(24/448)?
True
Suppose 3*o - 3*g - 6 = -15, g - 27 = 5*o. Let y = 9 + o. Does 3 divide y?
True
Let g(c) = c**2 - 2*c + 8. Does 16 divide g(-6)?
False
Suppose 4*f - 28 - 8 = -4*d, -4*f + 12 = -2*d. Suppose u + 0*m - f*m = 24, -4*u + 72 = 4*m. Is u a multiple of 11?
False
Let m = 13 - 15. Let j(y) = -2*y**3 - y**2 - y - 1. Is j(m) a multiple of 13?
True
Let v(q) = 9*q**3 - 2*q**2 + 1. Let d be v(1). Suppose 0 = -o - 3*f + 37, d = o - 4*f - 22. Does 17 divide o?
True
Let o = -191 + 289. Is o a multiple of 5?
False
Let f(h) = -2*h + 1. Let g(m) = -m**2 - 6*m - 1. Let k be g(-6). Let i be f(k). Suppose -2*x + 70 = i*s, -s + x = -4*s + 71. Is s a multiple of 12?
True
Suppose 0 = 5*l + c - 365, 0 = l + 2*c - 5*c - 73. Does 18 divide l?
False
Let w be (3/2)/(6/8). Let o be (w/6)/((-1)/(-12)). Suppose -17 = -o*q - 1. Does 4 divide q?
True
Let x(p) = p - 12. Let o be x(5). Let d = -4 - o. Let i = 2 + d. Does 5 divide i?
True
Let k be (-5)/(-1) + -2 + 42. Suppose 0 = 4*r - 3*r - k. Is 15 a factor of r?
True
Let p = 14 + 21. Let v = p + -11. Is 12 a factor of v?
True
Suppose 0 + 3 = 3*u. Let w be -1 - 7 - (-1 - u). Is 14 a factor of w/(-4) - 309/(-6)?
False
Let y(l) = 4*l**2 - 3*l - 3. Let h = -2 + 0. Is 19 a factor of y(h)?
True
Does 25 divide -75*((-13)/3 - -4)?
True
Suppose -20 = -2*x + 30. Let m = x + 17. Does 14 divide m?
True
Suppose -6*l - 154 = -17*l. Does 6 divide l?
False
Let s(o) = -o**2 - 4*o + 5. Suppose -5*z = -5*q, z - 2*z = 4. Does 5 divide s(q)?
True
Let a = -49 + 71. Does 6 divide a?
False
Suppose -3*d - 2*g = -188, 5*d + 4*g - 336 = -26. Is 16 a factor of d?
False
Let a(w) = w**2 + w + 6. Let h be a(0). Suppose 0 = 3*v + l, -h*l + 2*l = 5*v + 7. Is 8/5*(v + 4) a multiple of 4?
True
Let d = 3 - 1. Suppose 5*w - 2*x - d*x = 30, 0 = -w + 2*x. Is 5 a factor of w?
True
Suppose f - 3*f - 2*u = -2, 0 = -4*u - 8. Let d = 17 - 16. Suppose 51 = z - f*o - 2*o, -z - 5*o + d = 0. Is 11 a factor of z?
False
Let g = 175 + -55. Suppose 2*z + 2*z + 340 = 0. Let d = g + z. Is d a multiple of 14?
False
Let g = 254 - 69. Does 37 divide g?
True
Suppose -5*l = 5*y + 175, l + 4*y = 3 - 26. Let w = 69 + l. Does 20 divide w?
False
Let g be 1705/10 + 3/(-6). Suppose 0 = -2*r - 3*r + g. Does 9 divide r?
False
Let f(r) = 4*r**2 - 4*r - 3. Let h be f(-2). Suppose 272 = 4*l + 5*a - h, 2*l = a + 143. Suppose 3*o + t = l, o - 48 = -o - t. Does 12 divide o?
True
Let p(d) = 40*d - 1. Does 7 divide p(2)?
False
Let d(w) = 5*w - 7. Let c(a) = -14*a + 22. Let y(f) = 4*c(f) + 11*d(f). Is y(-9) a multiple of 10?
True
Is (3/