f z?
False
Let o(k) = -5*k**2 - 3*k + 4. Let d(q) = -16*q**2 - 9*q + 13. Let h(x) = 2*d(x) - 7*o(x). Let m = -3 + 6. Is 15 a factor of h(m)?
False
Is 7 a factor of ((-3)/6)/((-2)/100)?
False
Let l(x) = -x**3 + 3*x**2 - x. Let t be l(2). Suppose -t = -n - 2*k - 3, 5*k = 4*n - 48. Is 2 a factor of n?
False
Let p(t) = t**2 + 3*t + 2. Suppose 5*a - 48 = 32. Suppose 0 = 5*r - a + 51. Is p(r) a multiple of 13?
False
Suppose -2*o = -k + 1, 5*o + 3*k + 10 = 7*k. Let s = -4 - -6. Suppose 2*l - 4 = -o*j, -s*l + 10 = 2*j + 2*j. Does 3 divide j?
True
Suppose 2*t - 785 = -t + 4*r, 269 = t - 5*r. Is t a multiple of 62?
False
Suppose f - 6*f = 0. Suppose -3*y + 26 + 34 = f. Suppose -4*k + y = -3*k. Is k a multiple of 13?
False
Let v = 9 - 7. Suppose 0 = -3*j + v*j + 9. Is -6*(1 - 69/j) a multiple of 11?
False
Suppose l - 1 = 0, 0*c = 2*c - l - 131. Does 8 divide c?
False
Suppose 0*m + 4*m - 16 = 0. Suppose m*d - 12 = 4, d = 4*o - 76. Is o a multiple of 13?
False
Let s be 1/(2/(-66)*-3). Suppose s = 5*y - 4. Suppose -p = -0*p - y*h - 1, 2*h + 10 = 3*p. Is p even?
True
Let z(m) = m**3 + 4*m**2 + m - 1. Let x be z(-3). Suppose -i = -x*g - 25, 0*g - 34 = -2*i + 2*g. Does 15 divide i?
True
Is 18 a factor of 6/(-1 + 22/20)?
False
Suppose b = 4*b + 6. Let q(u) = 5*u - 2. Let i be q(2). Does 2 divide i + (0 - (4 + b))?
True
Let d(i) = 2*i + 2. Is d(8) a multiple of 17?
False
Suppose -25 = -5*j - 3*a, -2*a - 20 = -2*j - 2*j. Suppose g + 4*y = 39, j*y = g + 3 + 3. Is 19 a factor of g?
True
Suppose q - 5*g - 224 = 0, -3*q + g + 199 + 417 = 0. Does 18 divide q?
False
Suppose -5*d + 26 + 14 = 0. Does 4 divide d?
True
Suppose 9 = 3*i - 6. Is i a multiple of 5?
True
Let o(x) = -3*x + 6*x + 9 - 8 - 4*x. Does 3 divide o(-7)?
False
Let w be ((-6)/(-8))/(4/16). Suppose w*v - 38 - 22 = 0. Is v a multiple of 20?
True
Let q(n) = -25*n + 2. Suppose -3*i + 3*c = 0, c - 1 = -3. Is 13 a factor of q(i)?
True
Let n(p) = -3*p**3 + p**2 + 3*p + 2. Let d be n(-1). Let m = d - -15. Is 15 a factor of m?
False
Suppose -2*i - 5 = -3*v - 3*i, -v + 3*i = 5. Let b(m) = 8*m**3 - 1. Is 7 a factor of b(v)?
True
Suppose -d = 5 - 20. Let r be 64*((-3)/2 + 2). Let q = r - d. Does 7 divide q?
False
Let m(u) = -u**2 + u + 7. Suppose -x = -0*x. Is m(x) a multiple of 7?
True
Let d be -1 - (-2 + 0) - 2. Let p be -3 - d - -5 - 3. Suppose -44 = -2*z + 3*v, 5*z + v = -p*z + 76. Does 13 divide z?
False
Let c be (-1)/((-1)/(-2)*-1). Does 27 divide (-1)/(c/(-9))*12?
True
Let q(l) = -5*l - 2. Suppose 0*s - 4*s + 2*n = -22, -3*s - 3*n + 39 = 0. Suppose -2*g = 5*j + s, 0 = 2*j - 4*j - 4*g. Is 8 a factor of q(j)?
True
Is (16/6)/((12/333)/2) a multiple of 14?
False
Let s(y) = -2*y**3 + y**2 - y - 1. Suppose -2*n - 4*x = 4, -4*n = -7*n - 4*x + 2. Let v = n - 8. Is 21 a factor of s(v)?
True
Suppose -10 = -2*x, -3*z - 5*x + x = -26. Does 11 divide 54 + z + -2 + -1?
False
Let d = -18 - -29. Does 3 divide d?
False
Let w(v) = v**2 - v - 1. Let o be w(3). Suppose -o*n + 4 = -16. Suppose -n*q = -4*k + 80, 3*k - 72 = -4*q + 3*q. Is 12 a factor of k?
False
Let q = 104 + -70. Let k = 79 - q. Suppose -2*h + k = h. Is h a multiple of 15?
True
Suppose -3*b + 5*q = -9, -5*b = -3*q - 19 + 4. Suppose o - u - b*u - 38 = 0, 2*o + u = 49. Is 14 a factor of o?
False
Let r = -32 - -65. Let c = r + -9. Does 8 divide c?
True
Let k(z) = z**2 + z - 10. Let w(a) = 2*a**2 + 3*a - 19. Let s(t) = 5*k(t) - 3*w(t). Let u be s(-5). Does 9 divide (u/(-4))/(4/(-72))?
True
Let k(x) = 2*x**2 + 1 + 3*x**2 - 5*x + 4*x. Suppose 5*u + 0 = 4*r + 5, -3*u - 2*r + 3 = 0. Is 3 a factor of k(u)?
False
Let l = 2 + -5. Let m(d) = -2*d**3 - d**2 - 4. Let r be m(l). Suppose -r = -4*t + 3*u, -t + 3*u = -3*t + 7. Does 4 divide t?
True
Let h be 24*(3 - (-4 + 2)). Is 16 a factor of (h/50)/(2/45)?
False
Suppose 3*s + 4*g = 357, 2*s - g = -2*g + 233. Is s a multiple of 22?
False
Let t(l) = 3*l**2 - 4*l + 3. Is t(3) a multiple of 9?
True
Suppose -144 = 31*n - 34*n. Is n a multiple of 10?
False
Suppose 0 = 4*p - 88 - 156. Is 9 a factor of p?
False
Suppose -3*j + 31 = -5*d - 0*d, -2*j = -5*d - 24. Let n be 58/j - 2/7. Does 8 divide 2/(-8) - (-130)/n?
True
Suppose 2*w + 2*u = 30, 2*u - 73 = -5*w - 2*u. Is 4 a factor of w?
False
Suppose -5*l - 80 = 2*p - 218, 4*p = -4. Suppose -s - 4 = 3*s. Let i = l - s. Is i a multiple of 11?
False
Let s = -3 - -5. Suppose s*m + 3*q - 5*q = 40, 3*q - 40 = -2*m. Let r = -7 + m. Is 13 a factor of r?
True
Let o(u) be the first derivative of -1/2*u**2 + 2 + 10*u. Is 6 a factor of o(0)?
False
Suppose 0 = -3*s - 2*s + 5, -2*s - 150 = -4*v. Suppose 5*i - v = 22. Does 6 divide i?
True
Does 9 divide 4/3*(-243)/(-18)?
True
Suppose 5*i - 660 = -5*p, 5*p - 3*p - 270 = -4*i. Is 27 a factor of p?
False
Suppose -z + 0*z = j - 1, 4*j = 2*z + 16. Suppose -4*i - p = -9*i - 2531, j*p - 509 = i. Is 20 a factor of i/(-10) - 6/(-15)?
False
Let u = -4 - -8. Suppose 3*l - 3 = 0, u*w + l - 15 = -2. Does 14 divide 2/((3/14)/w)?
True
Let f = -24 - -30. Is f a multiple of 3?
True
Let o(v) = v**3 - 4*v**2 + 2*v + 2. Suppose 2*p = a + 6, 2 + 0 = 2*p - 3*a. Does 10 divide o(p)?
True
Suppose 4*k = 5*w + 40, -4*w = 23 - 7. Let i(j) = j**3 - 3*j**2 - j + 4. Let n(q) = q**3 - 2*q**2 - 2*q + 5. Let b(d) = 3*i(d) - 2*n(d). Does 7 divide b(k)?
True
Let b = 2 - -8. Let v = 16 - b. Is 17 a factor of (-354)/(-11) - v/33?
False
Suppose 115 = 5*a - 85. Does 40 divide a?
True
Let f = 81 - 18. Is f a multiple of 21?
True
Suppose 3*r - 256 = 4*s, -3*r = 2*r + s - 442. Is r a multiple of 11?
True
Is 6/(-27) + 256/18 a multiple of 14?
True
Let k(p) = -5*p**2 + 1. Let w(a) = 11*a**2 - 1. Let x(q) = -7*k(q) - 3*w(q). Suppose 5*s = 7 + 8. Does 14 divide x(s)?
True
Suppose w + 4 - 7 = 0. Suppose -2*s - w*s = -125. Suppose -3*y - s = -8*y. Does 4 divide y?
False
Let q be -3 - -10*2/4. Suppose q*z - 77 = 47. Suppose -2*i = 5*n - 256, -4*i = 3*n - 2*n - z. Is n a multiple of 23?
False
Let w = -2 - -2. Suppose 4*d = -w*d + 48. Is 6 a factor of d?
True
Let o(n) = -n - 5. Let i be o(6). Let b(c) = -c**3 - 12*c**2 - 13*c - 14. Is 7 a factor of b(i)?
False
Suppose 0 = -3*t + 2*t. Suppose t = -k + 5*k - u - 148, -88 = -3*k - 5*u. Does 9 divide k?
True
Suppose -h - 4*h + 365 = f, 0 = -f - 5. Is 9 a factor of h?
False
Let u(h) = h**2 + 10*h + 12. Let w be u(-9). Let p = 41 + w. Is 11 a factor of p?
True
Let n be (-140)/(-25)*(-80)/(-4). Let b(g) = g**2 - 2*g - 3. Let a be b(4). Suppose -3*z = a*k - 9*k + n, 2*z = 3*k - 85. Is 13 a factor of k?
False
Suppose 3 = 3*z + 24. Let b(t) be the first derivative of -4*t**2 + t - 1. Is 21 a factor of b(z)?
False
Let c = -13 + 18. Is c a multiple of 3?
False
Let r(x) be the third derivative of 5*x**4/6 - x**2. Does 17 divide r(4)?
False
Suppose -3*b + a = -b - 3, 2*b = -5*a - 15. Suppose 5*s - 2 - 3 = b. Let d = 29 + s. Does 15 divide d?
True
Let i(t) = -t + 13. Let s be i(8). Suppose 2*o = -3*o - 3*g + 188, -5*g + 180 = s*o. Suppose 0 = -4*y + o + 32. Is 18 a factor of y?
True
Suppose 3*g = 3*b + g - 38, 5*b - 3*g - 62 = 0. Does 13 divide (-7 + -2)*b/(-6)?
False
Let y be -8 + (-1)/4*-4. Is (-16 + 51)*(-6)/y a multiple of 6?
True
Suppose 4*k = 5 + 3. Let a be 1/(1/14*k). Let x = 5 + a. Is x a multiple of 11?
False
Let u(x) be the second derivative of x**4/12 + x**2 + 3*x. Let y be u(0). Suppose -3*n + 99 = -y*s, 0 = -3*n - 2*s - 3*s + 78. Is 13 a factor of n?
False
Let j be 120/18 - 2/(-6). Let l = j - -4. Is 11 a factor of l?
True
Let z(d) = -d**3 - 6*d**2 + 8*d - 9. Let y be z(-8). Let t = -36 + y. Suppose 2 = m - t. Is m a multiple of 13?
False
Let i(f) = 2*f - 9. Let l be i(7). Suppose 2*h - h = -3*g + 43, -g + 25 = -l*h. Is g a multiple of 6?
False
Suppose 0 = 3*z - z + 2. Let p(y) = -41*y + 1. Does 16 divide p(z)?
False
Suppose -16 = 2*h + 2*x, -x + 1 = 5*h + 33. Does 5 divide -2 - h - (3 + -6)?
False
Let z(r) = -11*r**2 - 2*r - 3. Let x(u) = u**2 + u + 1. Let b(k) = -4*x(k) - z(k). Let q be b(2). Suppose 5*j - 7 - q = 0. Is 5 a factor of j?
False
Let x = -7 - -11. Suppose 0 = x*b - 272 + 44. Suppose -b = -3*g + z + 8, -g + 3*z = -19. Is 22 a factor of g?
True
Let o(h) = -64*h - 1. Does 21 divide o(-1)?
True
Let n(z) = -z + 7. Let m be n(5). Suppose 4*j = -m*l + 60, 2*j = -j + 4*l + 34. Does 7 divide j?
True
Let h = -33 - -63. Does 30 divide h?
True
Let 