0 a factor of j(0)?
False
Let b = 28 - 19. Suppose 2*l = -b + 181. Does 26 divide l?
False
Is ((-180)/(-25))/((-36)/(-6240)) a multiple of 12?
True
Let z(i) = i**3 + 2*i**2 - 3*i - 3. Let f be z(-3). Let r be 26/f - (-12)/18. Does 13 divide 3/4 - 98/r?
True
Let f(i) = -i**2 + 7*i - 8. Let l be f(5). Suppose 0*c - 4*s + 52 = 3*c, l*c = 4*s + 8. Does 2 divide c?
True
Let i(x) = 27*x**2 - 3. Is 14 a factor of i(3)?
False
Let r(z) = z + 20. Let t be r(-12). Let f = -5 + t. Suppose p = -5*j + 347, -4*j - f*p + 201 = -j. Is 14 a factor of j?
True
Let x(c) = -c**3 + 5*c**2 + c - 11. Let r be x(5). Does 7 divide (7 - 1)/(r/(-8))?
False
Suppose 1066 + 780 = 2*y. Is 77 a factor of y?
False
Let y be 15/(-10)*(-2344)/12. Let c = y + -175. Is c a multiple of 37?
False
Let d = -2915 - -4462. Is 45 a factor of d?
False
Let o(l) be the third derivative of l**5/60 + l**4/8 + 4*l**3/3 + 48*l**2. Is o(7) a multiple of 26?
True
Let x = 12 - 10. Suppose -25 = -3*l - x*l. Suppose t - l = 27. Is t a multiple of 9?
False
Let a(g) = -g - 3. Let q be a(-6). Suppose 6*r = q*r. Suppose -j - 2*d = 3*j - 32, r = -4*j - d + 30. Is j a multiple of 6?
False
Suppose 0 = -2*u - 24 + 60. Suppose -5*o - u = 7. Does 22 divide (-44)/o*35/14?
True
Suppose 0 = 3*j + 1 + 17. Is 15 a factor of (170/j)/(8/(-24))?
False
Let d(v) be the third derivative of -v**6/120 - v**5/6 + 5*v**4/8 + v**3/2 - 15*v**2. Is 37 a factor of d(-12)?
True
Let k = 13 - -147. Does 10 divide k?
True
Let x be ((-6)/(-14))/(2/14). Let t be (-418)/(-10) + (-3)/(-15). Suppose -w - t = -x*w. Is 6 a factor of w?
False
Suppose s + 1608 = j, -8*j + 5*j = 4*s - 4838. Is 46 a factor of j?
True
Let k(v) = -4*v + 5. Let w be k(0). Suppose -w*n + 0*b = -5*b - 170, b - 151 = -4*n. Is 37 a factor of n?
True
Suppose 0 = -4*z - 3 - 1. Let u(l) = -82*l - 2. Does 40 divide u(z)?
True
Let q = 35 + 124. Does 34 divide q - (-3 - -1*(2 - 0))?
False
Let v = -246 - -319. Does 41 divide v?
False
Suppose 0 = -s - 4*j - 8 + 168, -5*j = -3*s + 463. Does 13 divide s?
True
Let r = -31 - -76. Suppose -r = q - 6*q. Is q a multiple of 3?
True
Let d(g) = 5*g**2 - 14*g + 58. Is 43 a factor of d(9)?
False
Let q be ((-8)/3)/((-8)/12). Let x(d) = q*d + 0*d - 3 + 4*d + 3*d**2. Does 16 divide x(-6)?
False
Let u = 8 + -11. Suppose 5*g - 18 - 92 = 0. Does 2 divide 1/(u - g/(-7))?
False
Let k(x) = -2*x**3 + 2*x**2 - 3*x - 4. Suppose -f + 6 - 5 = 0. Let t(g) = -g**3 - g**2 + g + 1. Let a(i) = f*t(i) + k(i). Does 31 divide a(-3)?
True
Is 2 a factor of -4 + 9 + (6 - -92)?
False
Let d = 113 - 80. Let t = -63 + 124. Let j = t - d. Is j a multiple of 14?
True
Suppose 18*u = -2157 + 8853. Is u a multiple of 7?
False
Let l(q) = 25*q**2 - 20*q + 367. Is 37 a factor of l(14)?
False
Let p = -6 - -3. Suppose 0 = 4*j - 5*j + 75. Let i = j - p. Does 23 divide i?
False
Let i = 10 + 160. Let w = -111 + i. Is 25 a factor of w?
False
Let x(d) be the second derivative of d**4/12 + d**3 + 13*d**2/2 - 8*d. Is 6 a factor of x(-9)?
False
Let c = -371 - -249. Let l = -87 - c. Does 5 divide l?
True
Suppose 0 = 309*i - 315*i + 5940. Is 30 a factor of i?
True
Let m(h) = 5*h**2 - 3*h + 12. Does 44 divide m(8)?
True
Let y be 5 - (3/(-1))/(-1). Suppose -5*l = 4*m - 293, -m + y*l + 42 + 28 = 0. Let n = m - 29. Is n a multiple of 11?
False
Suppose 4*n - 5*w - 68 = 0, n + 8 = 2*n + w. Suppose -5*d + d + n = 0. Suppose -d = y - 13. Is y a multiple of 2?
True
Suppose 0 = -3*y + 12. Suppose -s + 5 = 4*f, 5*f + 1 + y = s. Suppose f = -5*p - b + 32, 9*p + 5*b - 40 = 4*p. Is p a multiple of 3?
True
Let a(k) be the second derivative of -k**5/20 - 5*k**4/12 + 3*k**3/2 + 4*k**2 - k. Let z be a(-8). Suppose -5*q + z = -q. Is 13 a factor of q?
False
Does 6 divide (-435)/(-580) + 2349/4?
True
Let x = 48 + -108. Suppose -5*b = 5*y + 100, -17*b - 48 = -15*b - 2*y. Let p = b - x. Is p a multiple of 15?
False
Let s(d) = d - 9. Let c be s(-4). Let q = c + 16. Suppose 0 = -4*n + q*m + 31 + 46, -2*n + 3*m + 43 = 0. Is n a multiple of 8?
False
Let g = 18 + 145. Is 35 a factor of g?
False
Let q = 365 + -360. Let h be 62 + 1 + -1 + -2. Suppose a = q*a - h. Is a a multiple of 5?
True
Let f be 4 - 3 - 3 - -129. Suppose 5*s - 113 = f. Is s a multiple of 16?
True
Is 1/(-12) - 580537/(-732) a multiple of 34?
False
Suppose 5*b = -4*l + 5, -5*b + 35 = -2*b - 4*l. Let j(i) = 11 + i**2 - 3*i - b - 5. Does 8 divide j(7)?
False
Suppose -9*l - 12*l + 1197 = 0. Does 57 divide l?
True
Let j(k) = 71*k**2 - 10*k - 21. Does 12 divide j(-3)?
True
Suppose 10*d + 7 - 37 = 0. Let q(r) = r**3 + 2*r**2 - 2*r + 1. Does 10 divide q(d)?
True
Suppose 49 = -2*f + 6*j - 9*j, j + 123 = -4*f. Suppose 0 = -6*p + 2*p + 140. Let z = f + p. Is z a multiple of 3?
True
Suppose 9*q - 1967 = 2*q. Let h = 523 - q. Does 22 divide h?
True
Let t(f) = -f**3 - 10*f**2 + 3. Let x be t(-10). Suppose x*l + 5*b = -594, -7*b = -4*l - 3*b - 792. Let o = 277 + l. Does 29 divide o?
False
Let x = -9 + 2. Let y be 6 + (x - -3) + 2. Suppose -2*v = y*c - 6, 4*v + c + 4 = 51. Is 7 a factor of v?
False
Suppose 3*p + 185 = -2*p. Let a be (-1 - 2)/(-3) - p. Let f = 79 - a. Is f a multiple of 24?
False
Let d = -116 + 121. Suppose -d*c - 207 = -s - 0*s, -s + 3*c + 215 = 0. Is s a multiple of 43?
False
Suppose -2*c + 2 = 2*s, 7*c - 4*c = -5*s + 11. Let q(a) = a**3 + 3*a**2 - 2*a - 2. Let m be q(c). Let u = m + 41. Is u a multiple of 9?
True
Suppose 36*u = 32*u + 2*y + 906, 5*u - 5*y = 1140. Does 15 divide u?
True
Suppose -1210 = -15*p + 10*p. Is 51 a factor of p?
False
Suppose 6000 = 23*p - 38114. Is p a multiple of 19?
False
Let d(p) = 10 + 18*p - p**3 + 0*p**3 - 8*p**2 - 24*p. Let v be d(-7). Suppose -v = -h, -6*l + l = h - 58. Does 4 divide l?
False
Suppose 998 = 2*m + 52. Is 12 a factor of m?
False
Let a = 1746 - 957. Is 6 a factor of a?
False
Let n be 8/(-3)*(-414)/24. Let r = n + -32. Let x = r - -12. Does 13 divide x?
True
Let c be (-64)/6*(-6)/4. Suppose 0 = 19*o - c*o - 96. Is 20 a factor of o?
False
Suppose -2 = -3*j - 5*n - 14, n + 6 = 3*j. Let z(w) = -w**3 - 3*w**3 + j + 5*w**2 + 5*w**3 - 5*w. Is 13 a factor of z(-5)?
True
Let q(n) = 2*n**2 + 3*n + 70. Is q(-10) a multiple of 24?
True
Let b be (133 + -3 - 4)*(-1)/(-1). Suppose -19*p + b = -12*p. Is 9 a factor of p?
True
Suppose h + 32 = 3*h. Let l be h/9 + (-16)/(-72). Is 12 a factor of 1576/44 - l/(-11)?
True
Suppose 0 = -13*f + 11*f + 50. Suppose 9*o = f*o - 880. Is o a multiple of 11?
True
Does 104 divide 423/45*(52 - 7)?
False
Let q(o) = 6*o**2 - o + 12*o - 7*o - 1. Does 10 divide q(-3)?
False
Suppose 0 = 30*m - 18*m - 8700. Does 29 divide m?
True
Suppose 20*h - 1597 = 19563. Is 63 a factor of h?
False
Suppose 5*n - 51 = 9. Is 2 a factor of n + 1/2*4?
True
Let b = -321 - -501. Suppose 4*f - 216 - b = 0. Does 23 divide f?
False
Suppose -827 + 288 = -7*h. Does 11 divide h?
True
Suppose -2*i = 4 - 14. Suppose 3*n + 154 = 2*y + 5*n, 2*y + i*n = 169. Does 12 divide y?
True
Suppose 5*z - z - 5*n = 3617, -4*z + 2*n + 3614 = 0. Does 14 divide z?
False
Suppose 0 = -o + y - 1 + 11, 4*o + 4*y = 0. Let p(j) = j**2 - 3*j - 2. Is 2 a factor of p(o)?
True
Let k(s) = 14*s + 17. Is 5 a factor of k(9)?
False
Suppose 3*b - 66 = -4*h, -2*h + 72 = 3*b - 0*b. Is 2 a factor of b?
True
Let z(m) = 3*m**2 + 8*m - 1. Let u(i) = -i - 1. Let k(l) = 4*u(l) + z(l). Does 15 divide k(4)?
False
Let k be (0 - 1)/2*-194. Suppose -k + 41 = -2*u. Is u a multiple of 18?
False
Suppose -14 = -w - 3*q, -2*w - 3*q + 16 = -3. Suppose 0 = 3*z - w*z. Suppose p = 3*n - 70, z = n - 4*n - 2*p + 67. Is 13 a factor of n?
False
Let n(a) = 2*a**2 - a. Suppose 0 = -5*t - 4*d + 3, 3 = -2*d + 7. Let w be n(t). Suppose -i - 4*h - 2 = -w, -8 = 4*h. Is i a multiple of 3?
True
Let p = -6 + 21. Let i be (-1)/2 - (-104)/16. Is 5 a factor of 26 + 5*i/p?
False
Suppose t = -s + 379, -3*s = -11*t + 10*t + 399. Does 3 divide t?
True
Suppose 5*h = 10*h - 1640. Suppose 0 = -5*f + h + 367. Is 28 a factor of f?
False
Suppose m - 1 = 0, 4*w + m = 2*m + 251. Let p(k) = -7*k - 1. Let o be p(6). Let z = o + w. Is z a multiple of 16?
False
Let i be 2 + -2 + 3 + -1. Suppose 10*w = i*w + 144. Is 3 a factor of w?
True
Is 94 a factor of 2/(-5) - (-87499)/85 - -5?
True
Let a = -19 - -33. Is a a multiple of 2?
True
Let i(k) = 4*k + 10. Let m be i(-4). Is (-87)/m + (-3)/6 a multipl