be g(2). Let j be 42/(-54) + 2/(-9). Does 16 divide 16*(a/3)/j?
True
Suppose 4*p - 5 = 3. Let z(k) = k**2 + k + 7. Let a be z(5). Suppose -a - 13 = -p*d. Does 15 divide d?
False
Let u(a) = 81*a**3 - 3*a**2 + 4*a - 2. Is u(1) a multiple of 13?
False
Suppose 5 = 4*y - 5*y. Let x(s) = -2*s - 6. Let c be x(y). Is (-332)/(-36) - c/18 a multiple of 9?
True
Let n(u) be the second derivative of u**4/6 + u**3/6 - 3*u**2/2 - 2*u. Does 7 divide n(-3)?
False
Let y(x) = 3*x**2 - x - 1. Let n be y(2). Suppose n*s - 10*s + 28 = 0. Does 14 divide s?
True
Let i(y) = y**2 - 2*y + 1. Let w be i(3). Suppose w*l = -0*l + 128. Is 16 a factor of l?
True
Let h be 4/((-4)/2)*6. Suppose 3*g = 2*g - 7. Let v = g - h. Is 4 a factor of v?
False
Let g = -111 - -195. Is g a multiple of 12?
True
Let m(q) = -q**2 + 5*q + 2. Let x be m(5). Suppose -4*g = -5*z + 21 + 17, z - 16 = -x*g. Is (5/(-2))/(-5)*z a multiple of 3?
False
Let k(o) = -29*o. Let m be k(-2). Suppose 56 + m = 2*x. Is x a multiple of 19?
True
Let h = 0 + 0. Suppose -4*j + 14 + 6 = h. Suppose i + 3*i - 54 = -j*z, 0 = 3*i + 3*z - 39. Is 10 a factor of i?
False
Suppose x = -3*x + 288. Let c = -21 + x. Does 16 divide c?
False
Suppose -q + 34 = 23. Is q a multiple of 3?
False
Suppose -2*z = -5*p - 257, p = 3*z - 3*p - 396. Does 27 divide z?
False
Let j be (-6)/(-2) + (-18)/(-1). Let r = 29 - j. Is 8 a factor of r?
True
Suppose 2*u = -0*k - 2*k + 68, 16 = -4*k. Is u a multiple of 9?
False
Let d(b) = -b**2 + 5*b + 3. Let p be d(5). Suppose m - 4*y = 24, p*m - 4*y - 56 = -2*m. Does 4 divide m?
True
Suppose 5*t - 23 = 4*y, 5*t + y = -y + 11. Let c = t - 5. Let q(v) = -15*v - 2. Is 14 a factor of q(c)?
True
Let y = -8 + 13. Suppose 0*g = 4*g - 12. Suppose -37 = -y*r + g. Is 6 a factor of r?
False
Let y be -3 + 0 + (4 - -24). Let g = -10 + y. Is g a multiple of 5?
True
Let k = -33 - -51. Suppose -5*o = -r - k, 4*r + 12 = 5*o - 15. Does 2 divide o?
False
Suppose -m = 4*v - 23, -2*m + 12 + 8 = -5*v. Let c be ((-36)/m)/(2/(-35)). Suppose n - 4*n = -c. Is n a multiple of 7?
True
Let u = -1 - 1. Let n be 0*((-5)/u + -2). Suppose n = 4*c - 0*c - 68. Does 9 divide c?
False
Does 12 divide (-15)/(360/16) + (-557)/(-3)?
False
Suppose -b - 231 = -5*f, 4*f + 4*b - 89 = 115. Does 6 divide f?
False
Suppose 0 = 2*m + 95 - 163. Is m a multiple of 16?
False
Suppose 0 = -4*o + 3*o - 3. Suppose 3*q + 4*p + 68 = 0, -7*p = 5*q - 2*p + 105. Let d = o - q. Does 9 divide d?
False
Let d be 2/(3/((-6)/4)). Let r = 2 - d. Suppose -2*s - 4*u + 53 = r*s, 0 = 4*s - 3*u - 30. Is s a multiple of 5?
False
Suppose 7*c = c + 132. Does 22 divide c?
True
Let s(h) = -24*h - 24. Does 36 divide s(-7)?
True
Let y = 3 - 4. Let q = 0 - y. Is 13 a factor of q/3 - 154/(-6)?
True
Let u(h) = 4*h**2 + 3*h + 2. Does 27 divide u(-4)?
True
Suppose s = -4*s - 5*t + 180, s = t + 44. Is 10 a factor of s?
True
Suppose -4*x + 156 = -2*m, 2*x + 5*m + 0*m - 66 = 0. Is 9 a factor of x?
False
Suppose d - 33 = -3*p, -4*d + 122 = -0*p + 2*p. Is 5 a factor of d?
True
Suppose 3*o = 5*o - 8. Is 4 a factor of ((-1)/(-3))/(o/84)?
False
Does 15 divide 3/(-7) - 10998/(-182)?
True
Let g be (12/(-18))/((-2)/(-24)). Let u be (-28)/(-6) + g/12. Suppose -3*d + u*d - 12 = 0. Is 12 a factor of d?
True
Let h = -2 - -20. Is 9 a factor of h?
True
Suppose 0 = 2*f - 3*x + 28, -3*f - 2*f - x = 53. Let q = f + 19. Is q a multiple of 2?
True
Suppose -8*z = -3*z - 630. Does 21 divide z?
True
Let q(h) = -2*h + 4. Let s be q(-4). Let k = s + -5. Is 5 a factor of k?
False
Suppose -2*l - 5*f = -161, -15 = 5*f - 0. Is 22 a factor of l?
True
Let w = 19 - -17. Is 9 a factor of w?
True
Suppose -3*t - 311 = -d - 85, 0 = t - d + 74. Let y = t + 110. Is y a multiple of 17?
True
Suppose 4*b - 7 - 1 = 0. Suppose 5*i - 12 = 28. Suppose -2*x + i = x - b*u, 3 = 3*x + 3*u. Is 2 a factor of x?
True
Suppose -b - 30 = -6*b. Suppose 3*f = -5*u + b, -2*u + f - 6 = 5*f. Does 12 divide ((-6)/8)/(u/(-48))?
True
Let m be -39 - (-1 + 1 + -3). Let z = -3 - m. Does 13 divide z?
False
Suppose -2*f + 32 = -0. Suppose -p - 4 = -f. Is p a multiple of 4?
True
Let g = 11 + -3. Let j = 10 + g. Is 9 a factor of j?
True
Let n = 73 + -16. Does 15 divide n?
False
Let k(l) = l**2 + 4*l - 6. Let v = 3 - 0. Suppose -v*r - 7 - 11 = 0. Is 5 a factor of k(r)?
False
Let q(d) = -1 - 2 + 3*d - 3*d - d. Let n be q(-3). Suppose -h - g = -32, -h - 4*h - g + 160 = n. Does 13 divide h?
False
Let o(c) be the third derivative of 2*c**4/3 + c**3/2 - 3*c**2. Is 9 a factor of o(2)?
False
Is ((-480)/45)/(2/(-30)) a multiple of 16?
True
Let m = -95 - -213. Let a = -49 + m. Suppose a = 5*l - 26. Is 13 a factor of l?
False
Suppose 2*j + 10 = -3*f, -4*f + 7*f = 4*j + 38. Let o be (j/10)/(4/10). Does 12 divide 23 - 2 - -2 - o?
False
Suppose o = 24 + 75. Is 11 a factor of o?
True
Let w(u) = u**2 - 2. Suppose -k + 0*a + 6 = 2*a, -5*k - 5 = 3*a. Is 9 a factor of w(k)?
False
Suppose s - 3 = 2. Suppose -s*b = t - 34, -2*t - 34 = -4*b - 144. Does 13 divide t?
False
Let p(t) = -t**2 - 12*t - 7. Is 25 a factor of p(-8)?
True
Let z(s) = -s**2 + 9*s. Let u be z(5). Suppose u = l - 10. Suppose 3*h = 4*q - 118, -l = -q + 3*h - 2*h. Is 28 a factor of q?
True
Let x = -10 + 25. Suppose 4*w - 66 = w + 4*g, 5*g = x. Does 16 divide w?
False
Let h be (0 - 2) + (4 - 2). Suppose h*c - 24 = -2*c. Is 12 a factor of c?
True
Suppose 0 = p + 2*b - 4*b - 3, 2*b = 0. Suppose 84 = p*h - 48. Is h a multiple of 22?
True
Suppose g = -3*f + 1, 5*f + 1 = g - 0. Suppose -4*m - m = q + 6, 5*m - 2*q + 3 = f. Is 2 + 14 + 2 + m a multiple of 17?
True
Let y = 12 + -24. Let z = y + 31. Does 19 divide z?
True
Let q(u) = -u - 6. Let a be q(5). Let n(j) = -2*j - 1. Does 7 divide n(a)?
True
Let b = 4 + 17. Let k = b + -31. Let p = k + 17. Is 7 a factor of p?
True
Suppose -2*x - 2*x = -20. Suppose 3*a - 76 = 4*d - 0*d, x*d - 19 = -a. Is a a multiple of 9?
False
Let i(q) = 7*q**3 + 3*q**2 + 2*q. Let u(o) = -20*o**3 - 9*o**2 - 5*o. Let l(b) = -11*i(b) - 4*u(b). Is l(2) a multiple of 16?
True
Let g(l) = -l**3 - 8*l**2 - 10*l - 10. Let w be g(-7). Suppose 5*r - 154 = 2*s, 3*r - 69 = -5*s + w. Is r a multiple of 20?
False
Let n = 531 + -300. Does 28 divide n?
False
Let z(h) be the third derivative of -3/20*h**5 + h**3 + 0 + 0*h - 1/120*h**6 + 2*h**2 - 5/12*h**4. Is 18 a factor of z(-8)?
False
Suppose 2 = 3*w - 5*c, 0*w - 2*w + c = -13. Is ((-3)/(-2))/(w/300) a multiple of 8?
False
Let y = -5 + 11. Is 21 a factor of 46 - (-3)/((-9)/y)?
False
Let z(x) = -x + 4. Let n be z(0). Suppose n*d = 2*d + 10. Is 2 a factor of d?
False
Suppose 3*i - 2*t + t = -8, -3*t + 6 = 0. Let n = i + 29. Is 9 a factor of n?
True
Let x(b) = b**3 - 5*b**2 + 4*b - 2. Suppose 11 = 3*i + 4*z, 0*i - 3*z = -2*i + 13. Is 9 a factor of x(i)?
True
Let r(s) = 2*s**3 + 9*s**2 + s - 6. Let o be r(-6). Let m = o - -323. Suppose -4*b + 202 = -4*n + 2*n, 0 = -4*b + 3*n + m. Is 14 a factor of b?
False
Let z = 0 + 5. Suppose z*t = -l + 3, -7*l + 2*l + 4*t = 14. Does 7 divide (4/(-6))/(l/60)?
False
Let s(i) = i**3 - 5*i**2 - 2*i + 4. Let k be (-2)/(-4)*-1*-4. Suppose 3*u + k*u - 30 = 0. Is 14 a factor of s(u)?
True
Suppose 2*x - x = 246. Is x/18 + 1/3 a multiple of 5?
False
Let h(g) be the first derivative of -g**4/4 - g**3/3 - g**2/2 - g - 4. Is 11 a factor of h(-3)?
False
Is (6/9)/((-4)/(-600)) a multiple of 23?
False
Let g(s) = -s**2 + 6*s. Suppose 19 - 7 = 2*u + 4*f, -4*f = -3*u + 18. Let m be g(u). Suppose 3*z - 10 - 32 = m. Does 14 divide z?
True
Let y = -10 - -14. Suppose y*r - 71 + 19 = 0. Is 8 a factor of r?
False
Suppose v - 4 = 2*t - 2, v - 3*t - 3 = 0. Suppose 0*r + 168 = 3*r. Suppose -3*l - 52 = -5*u, 5*u + 0*l + l - r = v. Is u a multiple of 6?
False
Let l = 2 - -3. Suppose x - l*z - 2 - 7 = 0, 0 = -x + 2*z. Is 3 a factor of (-2 - 0)*9/x?
True
Suppose -14*l = -18*l + 192. Does 16 divide l?
True
Let a(r) be the first derivative of r**4/4 - 5*r**3/3 - 2*r**2 + 3*r - 1. Let w be a(4). Let m = -14 - w. Is 15 a factor of m?
True
Let p = 20 - 6. Suppose -4*y - 1 + 13 = 0. Suppose 1 + p = y*u. Is u a multiple of 5?
True
Let j be (-2)/((-6)/15) - -1. Suppose -50 = -j*y + y. Does 10 divide y?
True
Let d(b) = 0*b**2 + 5*b**2 + 2*b**3 - 3*b - 4*b**2 + b**2. Let u be d(3). Suppose -3*w = -192 + u. Is w a multiple of 27?
False
Suppose -121 - 47 = 4*v. Let 