pose o*n - 4*n + 42 = 0. Let w = n - 19. Does 19 divide w?
False
Let b = -20 - -9. Let l(g) = -2*g + 14. Is 12 a factor of l(b)?
True
Let a = 1 - -2. Suppose -86 = -3*d + 3*s + 136, 2*s = -a*d + 197. Is 22 a factor of d?
False
Is 12 a factor of (-222)/(-8) - (-3)/12?
False
Suppose 69 = g + 2*g. Let t = 22 + g. Is t a multiple of 15?
True
Suppose -53 = -10*d + 9*d. Is 53 a factor of d?
True
Let c(h) = -5*h**3 - h**2 - 2*h - 1. Let o be c(-1). Suppose 4*n - o = 31. Is n a multiple of 3?
True
Suppose 0 = -5*j + 8*j - 51. Does 3 divide j?
False
Let k(v) = -v + 3. Let g be k(0). Suppose 7*c - 288 = g*c. Suppose 3*m - 4*d - 46 = 0, -m - 2*d = -6*m + c. Is m a multiple of 14?
True
Suppose -5 = -2*h - 1. Suppose -5*k = -0*k - 10. Is 4 a factor of h*(2 - 1) + k?
True
Let v be ((-5)/(-3))/(4/12). Let i(c) = -c**3 + 6*c**2 - 4*c + 2. Let z be i(v). Let x = z + -4. Does 2 divide x?
False
Let l(u) = u**3 - 8*u**2 + 10. Suppose -5*j + 2*o = -40, -5*o + o = -3*j + 24. Let t be l(j). Let i = 34 + t. Is 15 a factor of i?
False
Let l = 65 + 13. Does 8 divide l?
False
Let o(j) = j**3 - j**2 - 6*j - 9. Does 5 divide o(6)?
True
Let q(n) = n**2 - 3*n + 3. Is 7 a factor of q(6)?
True
Let g be 26/(1 + 1 - 0). Let u(i) = 2*i - 16. Is 10 a factor of u(g)?
True
Let v(t) = 12*t**2 - 3*t - 17. Does 11 divide v(5)?
False
Let d be (-1 - (-2 - -3)) + 2. Let a be (-3*1)/((-15)/(-80)). Let b = d - a. Is b a multiple of 8?
True
Let l(k) = -5*k + 1. Suppose -5 = -c - 5*w, c - 4*w = -4*c - 4. Let b be 0/3 - (5 + c). Is l(b) a multiple of 10?
False
Is 3 a factor of 6*5/(-2)*(-3)/9?
False
Let t be 3/(-6) - (-29)/2. Is (-1 + 2)/(2/t) a multiple of 7?
True
Suppose 3*t = 2*t + 10. Let u = 32 + t. Does 14 divide u?
True
Let a(m) = -m + 1. Let h(q) = 5*q - 5. Let s(i) = -4*a(i) - h(i). Let w be s(9). Is 86/10 + w/(-20) a multiple of 9?
True
Let s(o) = -o + 12. Let k be s(7). Suppose -2*l = l + 4*q - 28, -l + 24 = k*q. Suppose 28 = i + l. Is 16 a factor of i?
False
Let p = -28 + 50. Is p a multiple of 11?
True
Let o(b) = b**2 + 3*b + 6. Is o(-9) a multiple of 30?
True
Suppose 2*w - 1 = -3*g, 5*g - 5*w - 5 - 30 = 0. Suppose -t = -g*t - 8. Let a = t - -7. Does 2 divide a?
False
Suppose 2*a = -5*a + 315. Is 15 a factor of a?
True
Let b(q) = -14*q**3 + 3*q**2 - 8*q - 1. Let z(v) = 5*v**3 - v**2 + 3*v. Let m(c) = -4*b(c) - 11*z(c). Let o be m(0). Suppose -29 = -o*u + 115. Does 18 divide u?
True
Let d be 16 - (2 - (1 + 1)). Suppose 51 = c - 5*n + d, -3*c + 4*n = -72. Does 20 divide c?
True
Let l(c) be the second derivative of -c**5/20 + c**4/4 - 2*c**3/3 + c**2 + 2*c. Let v be l(2). Is (v/(-3))/(2/141) a multiple of 18?
False
Let c be 8*(5/2)/5. Suppose -5*s + c*s = 4*o, -5*s - 4*o = -16. Does 2 divide s?
True
Suppose 4*c - 3*c - 144 = -f, 702 = 5*f - 4*c. Is f a multiple of 11?
False
Let a = 7 - 6. Let x(r) = 13*r**2 + r - 1. Is 8 a factor of x(a)?
False
Suppose -5*f = 5*o - 35, 9*o - 2*f = 4*o + 14. Let h be (-2)/7 - 51/(-7). Suppose -o*m + h = -9. Is 4 a factor of m?
True
Suppose 10 = m - 17. Does 9 divide m?
True
Let m = -4 + 6. Suppose 3*b + 8 = m*i - 2, -18 = -2*i + b. Does 11 divide i?
True
Let s(m) = 3*m**2 - 12*m - 10. Let f(v) = v**2 - v. Let j(b) = 4*f(b) - s(b). Is 3 a factor of j(-7)?
True
Let c be 11*4/4 + -2. Suppose -c*z - 28 = -11*z. Does 5 divide z?
False
Suppose 0*f - 3*f + 15 = 0. Suppose -19 = -2*b - 3*a, -4*b - b + f*a + 85 = 0. Is 6 a factor of b?
False
Let v(y) = 5*y**2 + 0*y**2 - 10*y + 11 - 6*y**2. Let q be v(-11). Suppose 3*r = -q*r + 42. Does 7 divide r?
True
Suppose 4*c = 169 - 13. Suppose 3*s - 81 - c = 0. Suppose 3*p - s = p. Does 10 divide p?
True
Let j(d) = 236*d**2 - 1. Suppose -5 = y + 4*y. Let o be j(y). Suppose -2*q + o = 3*q. Is 14 a factor of q?
False
Suppose -20 = -3*l - 8. Suppose -16 = l*r, 28 = -g - r + 96. Is g a multiple of 24?
True
Let a = 17 - -40. Is 5 a factor of a?
False
Let v(i) = 15*i**2 - 10*i + 28. Does 19 divide v(4)?
True
Suppose 2*b = 3*b + 4*n - 18, -2*n - 6 = -2*b. Let q = b + -4. Is -2 + 5 - q/(-1) even?
False
Let f(j) = 12*j**2 - 4*j + 8. Is 46 a factor of f(4)?
True
Suppose 5*u - 178 = 3*u. Is u a multiple of 12?
False
Suppose -55 + 11 = -4*w - 5*p, 32 = 2*w + 5*p. Is 6 a factor of w?
True
Let a(q) = 10*q + 1. Let t = -1 - -2. Does 11 divide a(t)?
True
Let x be -2*(-1 - 4) - 0. Let z = 19 - x. Is 6 a factor of z?
False
Let k(t) = -38*t + 7. Let z be k(-3). Let o = z - 66. Does 10 divide o?
False
Let b(l) = l**3 + 6*l**2 + 2*l - 4. Let n be b(-5). Let f = 19 - n. Is 4 a factor of f?
True
Let y(b) = -7*b**2 - 8*b - 3. Let c(f) = 6*f**2 + 7*f + 3. Let j(o) = 6*c(o) + 5*y(o). Let z be j(7). Suppose -z = -4*w + 2. Is 7 a factor of w?
False
Does 3 divide 15*((-10)/3 + 4)?
False
Let n be 4/8 + 13/2. Suppose -o = 2*o - 5*v - 13, -5*o + n = -v. Is 2 a factor of (0 - 2) + 4/o?
True
Let o be (-140)/6*(-21)/14. Suppose 5*y = 10 + o. Is y a multiple of 3?
True
Suppose -i = i - 42. Is i a multiple of 16?
False
Let c be (8/12)/(6/(-9)). Does 7 divide 41/3 - c/3?
True
Let j = 117 + -81. Let a = 5 - 1. Suppose -a*b - l + j = l, l = -3*b + 26. Does 8 divide b?
True
Let h(z) be the first derivative of 65*z**4/4 - z**3/3 + 2. Let a be h(1). Suppose -3*f + f - 2*y = -26, 3*f - 2*y - a = 0. Is f a multiple of 9?
True
Let z(l) = 2*l. Let s be z(1). Suppose 193 = s*b - 77. Suppose 2*j + 3*j = b. Does 14 divide j?
False
Let l be (5/2)/(2/4). Suppose 2*z - l*d = 4*z - 6, z - 21 = 2*d. Does 9 divide z?
False
Suppose -3*q + 15 = -5*c, -3*q - 11 = 4*c + 1. Suppose r + 0 - 36 = q. Is r a multiple of 12?
True
Let g = 28 + -17. Let l = 1 - g. Let w(h) = -h**3 - 10*h**2 - 4*h - 12. Is w(l) a multiple of 14?
True
Let h = -191 + 101. Is (-2 + 4)*h/(-9) a multiple of 10?
True
Let p(v) = 7*v + 14. Let c be p(6). Let z = 96 - c. Is z a multiple of 21?
False
Let w(q) = -3*q - 20. Is 13 a factor of w(-11)?
True
Let b(t) = -t**3 - 2*t**2 + t - 4. Let c be b(-3). Suppose -4*p + 8 = c*x, -2*p - 5 = 5*x - 1. Suppose -z - 96 = -p*z. Is z a multiple of 24?
True
Suppose -o + 0 = 3*g + 11, 4*g + 21 = 5*o. Let n(y) = -2*y + 4*y + 0*y - y + o. Is 2 a factor of n(4)?
False
Suppose 29 = 5*b + 104. Let v be (-2)/(-10) + (-537)/b. Suppose 2*c + 78 = 4*h, -2*h + 0*h + 2*c = -v. Is h a multiple of 11?
False
Let c be (-2)/(-6) + 45/27. Let d be (-38)/(-4) + 1/c. Is 2/4*6 + d a multiple of 13?
True
Let i(c) = c + 2. Let z be i(0). Suppose 0*j - 2*n - 14 = -z*j, 2*n = -2*j - 2. Is j a multiple of 3?
True
Suppose -2*q = 78 + 4. Is q/(-4) + 2/(-8) a multiple of 5?
True
Suppose 0 = 4*d - 185 - 195. Is 41 a factor of d?
False
Let w = 86 - 1. Is 17 a factor of w?
True
Let g be 0 + 0 - 20*1. Let p = 7 + -16. Let t = p - g. Is 11 a factor of t?
True
Let w be (-2 - -1)/(3/99). Suppose 0*r - r + 60 = 0. Let s = r + w. Does 12 divide s?
False
Let y be (-24)/30*1*-5. Suppose 0 = -y*o + 6 - 30. Let r(g) = g**3 + 7*g**2 - 4*g + 5. Does 17 divide r(o)?
False
Suppose 0 = 4*c + 3*c - 812. Is c a multiple of 18?
False
Let o = 4 + -10. Let s be (-906)/15 - o/15. Let r = s + 120. Is r a multiple of 16?
False
Let j = 220 + -130. Let v = j + -56. Is 12 a factor of v?
False
Suppose n = -0*n. Suppose -3*x + 4*m - 2*m + 85 = n, -151 = -5*x + m. Is x a multiple of 8?
False
Suppose -z + 0*z + 177 = 5*l, l + 2*z = 39. Is 10 a factor of l?
False
Let v(l) = -l**2 - 6*l + 1. Let j be v(-7). Is 14 a factor of 110/3 - (-4)/j?
False
Suppose 4*p + 68 = 240. Suppose -p = -n - 9. Does 10 divide n?
False
Suppose -3*y + 2*z = -0*z - 312, 0 = -2*z - 6. Is 6 a factor of y?
True
Suppose 0 = 2*a - 134 - 74. Suppose -3*k + a = k. Is 13 a factor of k?
True
Suppose 0*k - 3*k = -108. Suppose 0 = -5*v - 4*m - 0*m + k, -2*m = -8. Suppose -2*n - v + 14 = 0. Does 2 divide n?
False
Suppose -2*s + 290 - 52 = 0. Suppose 3*x + 0*x - 63 = -4*n, -5*x = 2*n - s. Let u = -14 + x. Does 11 divide u?
True
Let l = 116 + -64. Is 13 a factor of l?
True
Let q(j) = 3*j - 3. Let h be q(2). Suppose -h*m + 9 = 3*o, 2*o - 7*o = 5. Does 2 divide m?
True
Let b(g) = g**3 + 6*g**2 - g - 3. Let q be b(-6). Suppose 2*k = 0, 0*l + l - q = -k. Suppose -l*h = -6*h + 15. Is h a multiple of 5?
True
Let l(v) = v**3 - 9*v + 12. Is 23 a factor of l(5)?
True
Is 17 a factor of (-1)/((-3)/465) + -2?
True
Suppose 1 = f - 5. Suppose -d + f = c, 5*c = 3*c + 5*d + 5. Is 5 a 