n = -4*u + 13 + 65. Does 14 divide n?
True
Let z(t) be the first derivative of -t**3/3 + t**2/2 + 14*t - 1. Does 11 divide z(0)?
False
Let g = -40 - -59. Let w = -2 + g. Does 17 divide w?
True
Suppose -2*s + 20 = 2*s. Suppose s*q - 7*q - 34 = 0. Let o = q - -30. Is 12 a factor of o?
False
Let w(q) = -30*q - 3. Is 14 a factor of w(-1)?
False
Let h(s) = -s**2 - 9*s + 7. Let o be h(-10). Is 10 a factor of 9 + 0 + (-3)/o?
True
Suppose 3*i + 11 = 20. Does 3 divide i?
True
Let x(n) = -n + 2*n - 1 - 22*n - 4*n. Is x(-1) a multiple of 24?
True
Suppose 41 = 3*b + 149. Let q be b/10 - (-6)/(-15). Let u = 3 - q. Is 4 a factor of u?
False
Suppose -k + 23 = 6. Let z = k + 2. Is z a multiple of 19?
True
Suppose 0 = -4*f + h - 7 - 9, 24 = -4*f + 3*h. Let g be 9*(8/f)/(-4). Is (15/(-6))/((-1)/g) a multiple of 15?
True
Suppose i + 0*i = 4. Suppose 3*j = -j - h + 119, -j + i*h + 34 = 0. Does 10 divide j?
True
Suppose g - 2 = 6. Let f(n) = 6*n - 11. Is f(g) a multiple of 10?
False
Let d(y) = y**3 + 6*y**2 + y + 2. Let w be d(-6). Suppose s - i - 56 = 0, 0*s - 100 = -2*s - 2*i. Is (-4)/16 - s/w a multiple of 13?
True
Suppose 3*x = 14 + 25. Suppose x = -f - 3*b, 4*f = -0*f + 2*b + 18. Is 7*(f + 0 + 0) a multiple of 14?
True
Suppose 0*m + 4*c = m + 13, 5*c = -4*m + 32. Does 11 divide 80/4 - (1 - m)?
True
Let n(d) = -d**2 - 4*d. Let g be n(-3). Let f(y) = y**2 - y - 2. Let c be f(g). Does 15 divide (-342)/(-15)*10/c?
False
Suppose 248 = 2*a + 4*t, -5*a + 641 = 5*t - 2*t. Is 5 a factor of a?
True
Suppose -10 - 4 = -m. Is 2 a factor of m?
True
Let h(o) = 0*o - o**2 - 3 - 2*o - 5*o**3 - 3*o**2. Let w be h(-3). Suppose -2*q + w = 5*v, 0 = -q - 2 + 3. Is 10 a factor of v?
True
Let j be 4*(-2)/12*-9. Suppose -h - 110 = -j*h. Is 13 a factor of h?
False
Let u(g) = g**2 + g - 21. Let o be u(0). Let c be 153/o + 4/14. Let x = -3 - c. Is 2 a factor of x?
True
Let z = 1 - 2. Is -1 - ((3 - 6) + z) a multiple of 3?
True
Let o(z) = -17*z - 1. Let p be (-1)/((-1)/1) - 4. Let b be o(p). Let l = -30 + b. Is 20 a factor of l?
True
Suppose 0 = -2*n - 1 + 5. Is 8 a factor of 14/n*(-54)/(-21)?
False
Let z(y) = y**3 - 8*y**2 + 10. Suppose 10 + 10 = 2*p - 3*q, q = -3*p + 8. Suppose 6*o = p*o + 16. Is 5 a factor of z(o)?
True
Let a(f) = f**2 + 4*f - 3. Let q be a(3). Suppose l - q + 0 = 0. Does 18 divide l?
True
Let s be (102/18)/(2/(-6)). Let g(f) = -f**3 + 6*f**2 - 3*f + 4. Let y be g(4). Let l = s + y. Does 7 divide l?
True
Let n = -11 + 11. Suppose v + k - 34 = n, -2*v + 3*k + 58 = -0*v. Does 8 divide v?
True
Let u(z) = 2*z**2 + 2*z - 17. Does 3 divide u(-5)?
False
Let b be ((-78)/5)/((-12)/40). Does 11 divide 2/(-4)*-1*b?
False
Let j(i) = -3*i**2 + 11*i + 6 - i**2 - 2*i**2 + 5*i**2. Is 21 a factor of j(8)?
False
Let q be (-1)/4 + 21/4. Is 13 a factor of (-3)/q - (-1424)/40?
False
Is 237/5 + 18/(-45) a multiple of 17?
False
Let u(m) = m - 2. Let s be u(-7). Let a = s - -19. Does 10 divide a?
True
Let a(o) = -o**3 - 3*o**2 - 4*o - 2. Let b be a(-4). Let y = b + -18. Is 5 a factor of y?
False
Let t(p) = -p**2 + 2. Let r be t(-3). Let j = 36 + r. Is j a multiple of 11?
False
Suppose -h = 3*v + 3 - 14, -v + 4*h + 21 = 0. Is v even?
False
Suppose 0 = -g, g - 3 = t - 6. Suppose -105 = -t*m - 15. Is m a multiple of 10?
True
Suppose 0 = 5*c - 12*c + 287. Is c a multiple of 3?
False
Does 12 divide 2*(-9)/(-12)*(-3682)/(-21)?
False
Let f(p) = -6*p + 5. Let i be f(-4). Suppose -k + 18 + i = 0. Is k a multiple of 20?
False
Suppose 69 = -u - 2*u. Let i = u + 47. Is 11 a factor of 4/5*(i - -1)?
False
Is 3 a factor of ((-18)/(-5))/((-15)/(-50))?
True
Suppose -4*a + a + 2*r + 6 = 0, a + 3*r = 2. Suppose 3*z = s, s + 3*s = a*z. Suppose s = 5*p, -31 + 3 = -2*f + p. Is f a multiple of 7?
True
Let x be (55/15)/((-2)/(-12)). Suppose 0*b = -3*b - 4*d + x, -4*d = 5*b - 34. Is 2/b*16*3 a multiple of 8?
True
Let b(k) = k**3 + k**2 + k + 4. Let w be b(0). Let q = w - 3. Is (-28)/(-6) + q/3 a multiple of 2?
False
Let t(k) = k**2 + k - 4. Let o be t(-3). Suppose 0 = -0*s - o*s + 10. Is 14 a factor of 4/6*105/s?
True
Let u = -22 - -36. Is u a multiple of 9?
False
Let p(z) = -z**2 - 7*z + 8. Let g be p(-8). Suppose -t + 39 = -g*t - 3*k, -3*k = 0. Suppose -2*f = -2*r + 28, -9 = -3*r + 5*f + t. Is 11 a factor of r?
True
Suppose 7 - 1 = -3*v. Let w(s) = -3*s + 1. Let l be w(v). Let t(b) = -b**3 + 8*b**2 - 7*b + 6. Does 4 divide t(l)?
False
Suppose 2*u + 12 = 4*s + 3*u, 4*s = -5*u + 28. Suppose 0 = f + x - 9, -20 = -s*f - f + 4*x. Does 4 divide f?
True
Let s(x) = x**3 - 8*x**2 + 2*x + 4. Let o be s(5). Let n = o + 101. Is 19 a factor of n?
False
Suppose 0 = q + 3*q. Suppose v - 2 = -q. Suppose l - 40 = -c, 42 = -5*l + 6*l + v*c. Is l a multiple of 19?
True
Suppose 5*k - 36 = 2*k. Suppose 3*c - c = k. Suppose 2*v - 18 = c. Is v a multiple of 9?
False
Suppose 0 = 5*d + w - 229, 2*w - 182 = -4*d - 0*d. Let o be (-8)/(-20) - d/(-10). Suppose 0*f - o*f + 77 = 4*i, 5*i + 5*f - 95 = 0. Is i a multiple of 9?
True
Let w = -2 + 2. Suppose -4*j - 16 = w, u + 0*u + 2*j - 19 = 0. Is 14 a factor of u?
False
Suppose 4*w - 847 = -3*m, -6*m - 1015 = -5*w - m. Is 16 a factor of w?
True
Let l = 96 - -44. Is 14 a factor of l?
True
Let v be (-6)/(-15) - 36/(-10). Let t = v - 1. Suppose 0 = t*g - 32 - 16. Is g a multiple of 9?
False
Let l be 3/(-9) + 19/3. Suppose l = -2*s, 0*s - 45 = 5*h - 5*s. Is 10 a factor of (-56)/(-6) - h/18?
True
Let d = -55 - -102. Is d a multiple of 12?
False
Let n = -3 - -4. Let h be ((-2)/4)/(n/50). Let w = h + 37. Does 12 divide w?
True
Suppose 5*u + 216 = 696. Is 8 a factor of u?
True
Suppose 5*f - 37 = 118. Is 12 a factor of f?
False
Suppose -6*i + 566 = -2*i + d, 0 = -3*i - 3*d + 420. Is 13 a factor of i?
False
Suppose 5*k - 2*k = -27. Let o(u) = -u - 7. Let j be o(k). Suppose -4*q - 2*w = -q - 43, 0 = -2*q + j*w + 12. Is q a multiple of 9?
False
Let q = 7 + -4. Suppose 0 = -4*l - 3*m + 103, -4*m = -q*l + 8*l - 128. Is l a multiple of 14?
True
Let s be (3/(-5))/(7/(-35)). Suppose 0 = 3*o - 4*o - 2, 123 = -s*y + 3*o. Let p = 73 + y. Is 15 a factor of p?
True
Suppose f - 4*f = -9. Does 3 divide 1*f + 1 + 5?
True
Let u(d) be the first derivative of d**2 - 3*d + 2. Let p be u(3). Suppose -p = s - 15. Is s a multiple of 12?
True
Suppose 2*g + 33 + 59 = 4*c, -3*g = 2*c - 54. Suppose -5*s = 3*r - 8, 0 = 5*s - 4*r + 3*r - c. Is 4 a factor of 2 - s - -16 - 2?
True
Let h be (18/12)/((-2)/(-4)). Suppose 3*n = 5*z + 110, 3*n + z = h*z + 98. Is 10 a factor of n?
True
Suppose -5*v + 40 = -v + 4*x, 16 = 4*x. Suppose -7*r + v = -4*r. Suppose 0 = -r*a + a + 27. Is a a multiple of 10?
False
Let y = -54 + 24. Let g = y - -48. Is (-87)/(-5) - g/(-30) a multiple of 9?
True
Let b = 165 + 201. Does 12 divide b?
False
Suppose n - 1 = -4. Let b(p) = 2*p**2 + 4. Let a be b(n). Suppose -5*k - 5*m = a - 77, 3*m + 6 = 0. Does 10 divide k?
False
Let r be (-210)/(-8) - (-1)/(-4). Let h(w) = -w**3 - 2*w**2 + 3*w - 3. Let v be h(-4). Let a = r - v. Is 9 a factor of a?
True
Let a = -9 + 9. Suppose 27 = 3*f - a. Let i = 9 + f. Does 14 divide i?
False
Let w be ((-2)/(-1))/2 - -1. Suppose w*c + 124 = 6*c. Is c a multiple of 15?
False
Let u = 16 - 25. Let r be (-2)/u - (-1524)/(-54). Let p = r - -50. Is p a multiple of 11?
True
Suppose 2*l - 20 = 4*n, 4*n = 5*l - l - 20. Suppose 2*q - 8*c + 3*c - 43 = l, 0 = -5*c - 5. Is q a multiple of 8?
False
Let g(x) = 2*x**2 + 2*x - 1. Let n be (1 - -1) + 1 + -2. Let m be g(n). Let u(r) = 3*r + 3. Does 9 divide u(m)?
False
Suppose 2*a = -a - b + 87, -3*b - 116 = -4*a. Is a a multiple of 6?
False
Let i = 23 + 3. Suppose 3*z + o - 103 = 0, 3*z + 5*o - i = 93. Does 12 divide z?
False
Let x = 10 - 35. Is (x/10)/(3/(-24)) a multiple of 5?
True
Let x(k) = k + 7. Let u be x(-3). Suppose 95 = u*q + q. Does 14 divide q?
False
Let d(w) = w**3 + 8*w**2 + 2*w + 9. Is d(-7) a multiple of 22?
True
Suppose y + 2*k = 0, -2*k + 3 = 4*y - 3. Let i be (-3 - -1)/(y/(-7)). Suppose 3*x - 2 = i. Is x a multiple of 3?
True
Let h(z) = 6*z + 1. Let r be h(-1). Is 6 a factor of (-50)/(-20)*(-12)/r?
True
Suppose 8 = -5*d - 22. Let u(g) = 0*g - 4*g + 2 - g**3 - 3*g - 7*g**2. Is 4 a factor of u(d)?
True
Let r = 224 - 14. Is 30 a factor of r?
True
Let j(q) = 4*q. Let d be j(1). Let c(y) = -1 + 6*y**2 - y**3 - 6*y + 2 + 5. Is 7 a facto