v be -7*(-4 - (-3 + 2)). Suppose -2*j = -5*y + 46, -3*y - 2*j + 13 = -v. Is (-52)/(-20) - (-4)/y a multiple of 3?
True
Suppose -p - d + 2 = 1, -p = 2*d - 1. Let t(j) = 31*j + 1. Let c(s) = 63*s + 3. Let g(a) = -2*c(a) + 5*t(a). Is 14 a factor of g(p)?
True
Suppose -4*r + 2 = -26. Let o(l) = l**2 + 4*l - 9. Does 14 divide o(r)?
False
Let m(i) = 19*i - 2. Is 6 a factor of m(3)?
False
Suppose -3*u = -u. Suppose 2*t - 3 = 29. Let y = u + t. Is y a multiple of 7?
False
Suppose -3*r = -4*v - 117, v + 5*r + 5 = -7. Let o = -17 - v. Is o a multiple of 10?
True
Let v(z) = 27*z + 9. Does 9 divide v(1)?
True
Is (13 - -15)/(1/1) a multiple of 14?
True
Let z(f) = f**3 - 14*f**2 - 13*f + 10. Is 27 a factor of z(15)?
False
Let m be 30/(-3)*(-2)/4. Is 17 a factor of (-103)/(-6) + m/(-30)?
True
Is (2/2)/((-3)/(-27)) a multiple of 2?
False
Let a be 1*45/6*2. Suppose 0 = 5*d - 2*d - a. Suppose 63 = d*n - 27. Is n a multiple of 10?
False
Let r(k) = -k**2 + k. Let z be r(-1). Let x(c) be the first derivative of -13*c**2/2 + 2*c + 61. Is 28 a factor of x(z)?
True
Let u be (1 - -2)*(3 - 2). Suppose u*l = -4*i + 40, 3*i + 2 = 5. Does 4 divide l?
True
Let z(t) = t**3 - 8*t**2 + 13*t - 3. Does 13 divide z(7)?
True
Let y be 14/2 - (-3 - -2). Suppose 0 = x + 2*a - 29, -4*x + 2*a = -2*a - 80. Let d = x - y. Is 14 a factor of d?
False
Suppose -28 = -5*n + 3*n. Let t(c) = c**3 + 3*c**2 + 3*c + 3. Let s be t(-2). Is 12 a factor of -3 + s + 0 + n?
True
Let q be 2/(-8) + (-198)/8. Let t = 10 - q. Is 11 a factor of t?
False
Let h(d) = -d**2 + 10*d - 4. Let p be h(9). Let k = p - 3. Is (k + 0 - 6)*-4 a multiple of 8?
True
Suppose 2*u + 0*u = 0. Is (4 - 5) + u + 41 a multiple of 21?
False
Suppose 5*t - 2*f = f + 1275, -f + 1295 = 5*t. Is t a multiple of 18?
False
Suppose 3*a + 3*s - 73 - 122 = 0, -4*a + 2*s + 254 = 0. Suppose n - a = -n. Does 29 divide n?
False
Let b = -3 - -11. Let q = b - 5. Is 3 a factor of q?
True
Let u(w) be the third derivative of w**5/60 - w**4/6 + 5*w**3/6 + w**2. Let a be u(5). Suppose 4*y - 8 = i, -3*i + a = 2*y - 8. Does 2 divide y?
False
Let r be -3*2*1/(-2). Suppose r*d + 2*d = 30. Suppose -d*y + y = -60. Is 8 a factor of y?
False
Suppose -s + z = -17, z - 68 = -4*s + 6*z. Is s a multiple of 10?
False
Let u(f) = 11*f**2 - 2*f + 1. Let h be u(1). Let p = -3 + h. Is p a multiple of 7?
True
Suppose u + 6 = 2*u. Does 3 divide u?
True
Let w(q) be the second derivative of -q**4/12 - q**3 - 2*q**2 + 2*q. Let z be w(-4). Let g = z + -1. Does 3 divide g?
True
Suppose 2*l = 7*l - 60. Suppose 0 = -2*t - 2*t + 24. Let f = t + l. Is f a multiple of 7?
False
Suppose 0 = -p - 5*l + 15, -p + 0 + 3 = -l. Suppose 2*o + 2 = p*v - 0, -3*o + 4*v = -4. Suppose 16 = 4*j - o. Does 5 divide j?
True
Suppose 0 = 5*m - 4 + 19, 2*m + 63 = -3*a. Let v be (-1)/(-1) - 2 - a. Does 6 divide (-7)/(147/v)*-7?
True
Suppose 4*w = -3 + 15. Is w a multiple of 3?
True
Let r = 14 + 14. Let n = -17 + r. Is 4 a factor of n?
False
Let x = -89 + 218. Is 35 a factor of x?
False
Suppose f + 3 = 1. Let w be 3 - -2 - (f - -3). Suppose 0 = -3*p + w*p - 20. Is 10 a factor of p?
True
Is 12*(26/8 + -2) a multiple of 14?
False
Let y be (-12)/8*4/(-2). Let x = 5 - y. Does 8 divide 8 + (-2)/x + 1?
True
Let v be ((-22)/4)/((-1)/22). Suppose -5*f - 41 - v = -s, -s + 134 = 2*f. Suppose -2*a = d - 5*a - 14, -3*a = 5*d - s. Is d a multiple of 10?
False
Suppose 0*l - 2*h = 3*l - 293, -8 = -2*h. Is l a multiple of 26?
False
Suppose m = 2*m. Suppose -5*p + s = -152, 0 = -p + 4*s - m*s + 19. Does 8 divide p?
False
Let j(h) = -2*h - 5. Let t be j(-17). Suppose -43 = -6*l + t. Is l a multiple of 3?
True
Let u(m) = -66*m. Is u(-1) a multiple of 22?
True
Let a(k) = -k - 2. Let p be a(-7). Let y(i) = i**2 + 6*i. Let m be y(-7). Suppose -3*v = p*f - 64, 4*f + 4*v + 50 = m*f. Does 14 divide f?
True
Let y(m) = m**3 + 8*m**2 + 5*m + 8. Is y(-5) a multiple of 29?
True
Is -8 - -147 - 1 - (0 + -1) a multiple of 26?
False
Suppose -4*o + 0*o - 58 = -5*b, o = -5*b + 48. Is b a multiple of 8?
False
Let d(r) = -3*r**3 + 2*r**2 - r. Let y be d(2). Does 10 divide 10/(-45) - 220/y?
False
Suppose 3*c = 4*q - 220, -q = q + 5*c - 136. Does 29 divide q?
True
Let j(n) = -n**2 + 5*n + 2. Let g be j(4). Let p(h) = h**3 - 5*h**2 + 3*h - 3. Is p(g) a multiple of 23?
False
Let x be -2 - (-3 + 2) - 22. Suppose 2*j = -5*i + 85 + 112, j + 77 = 2*i. Let m = x + i. Does 8 divide m?
True
Is 19 a factor of 1*(-1 - -1 - -19)?
True
Suppose 0 = -5*b - 20, -b = -4*j + b + 24. Is (7 - 8) + j + 2 a multiple of 4?
False
Suppose 3*w - f = -3, 6 = -2*w - 2*f - 4. Let q be 49/w - (-1)/2. Let h = -6 - q. Is h a multiple of 11?
False
Suppose 46 + 38 = 3*z + 2*o, 0 = -4*z - 2*o + 114. Does 10 divide z?
True
Let j = 109 + -97. Is 6 a factor of j?
True
Let j = -4 - -6. Let i be j - (0 + 1 - -37). Is (10/6)/((-2)/i) a multiple of 15?
True
Suppose 4*q - 375 = -87. Does 9 divide q?
True
Let q = 74 + -14. Is 15 a factor of q?
True
Let a be (-2)/4 - (-5)/2. Suppose 0 = 4*l - 2*d - 450, -5*l = -a*l + d - 335. Suppose -t + 5*t - l = 0. Is t a multiple of 14?
True
Let w = -30 + 65. Is w a multiple of 6?
False
Let z(n) = -15*n - 1. Does 4 divide z(-1)?
False
Let m(w) = -7*w - 1. Let q be m(-4). Let u = -10 + q. Does 4 divide u?
False
Let g = -1 - -2. Suppose -n + b + 0*b + 11 = 0, -4*b = 2*n - 40. Let r = g + n. Is r a multiple of 6?
False
Suppose -5*z - 6 = -21. Suppose 792 + 648 = -z*t. Does 10 divide 4/(-14) - t/14?
False
Let p = 323 + -231. Does 16 divide p?
False
Let v = 8 - 14. Let a = -6 - v. Suppose a*c = c - 9. Is 7 a factor of c?
False
Let s(h) = 13*h + 5. Is 20 a factor of s(3)?
False
Let i(z) = -2*z + 23. Is 12 a factor of i(-13)?
False
Let c(x) = -37*x - 3. Let h be c(-4). Suppose 4*r - h = -5*b + 51, 2*b = 8. Let m = -18 + r. Is 13 a factor of m?
True
Let u(b) = -2*b + 56. Is u(0) a multiple of 8?
True
Let u(n) = -n**2 - 5*n + 5. Let h be ((-3)/(-9) - 2)*3. Is 2 a factor of u(h)?
False
Let u be (-4)/10 + (-2)/(-5). Suppose u*k + 5*k = 45. Does 9 divide k?
True
Let y(v) = -v**2 - 6*v - 5. Let q be y(-5). Suppose -3*w = -q*t + 2*t - 9, 2*t = 4*w - 12. Is (t - -1)*(-62)/(-2) a multiple of 15?
False
Let c = 97 + -46. Is c a multiple of 17?
True
Let j be (6/(-4))/(6/(-208)). Suppose -4*k + 8 + j = -5*z, -4*z - 75 = -5*k. Suppose -3*y - k = -39. Is 6 a factor of y?
False
Suppose 121 = 2*l + l - h, -215 = -5*l + 5*h. Let s = 71 - l. Is 16 a factor of s?
True
Suppose 2*a = -3*g - 25, -5*g + 0*g = 3*a + 40. Let b = 7 + a. Let p(n) = 4*n + 1. Does 5 divide p(b)?
False
Let j(c) = c**2 - 8*c + 1. Does 21 divide j(11)?
False
Let c = 0 + 1. Let u be ((-2)/6)/(c/(-6)). Let x = 1 + u. Is x a multiple of 3?
True
Suppose -3*g + 13 = -68. Suppose g + 34 = 5*u - 3*w, -w - 24 = -2*u. Is u a multiple of 4?
False
Is 7 a factor of ((-92)/8)/((-3)/6)?
False
Suppose -18 + 99 = 3*m. Is 9 a factor of m?
True
Let l be (-6)/(-9) - 15/9. Suppose -2*h - 2*w = 36, -h - 86 = 4*h + w. Is 3 a factor of (h - l)/(-2) + -2?
True
Suppose 1 = 2*k + 5. Is 15 a factor of 0 - (k*30)/2?
True
Suppose -4*k + 0*k - 12 = 0. Is 33*k/27*-3 a multiple of 9?
False
Let l(y) be the first derivative of -1/4*y**4 + 0*y**2 + 1/3*y**3 + 1 + 6*y. Is l(0) even?
True
Let x = 323 + -221. Is x a multiple of 14?
False
Let r = 20 + -62. Suppose -3*s - 2*s = 120. Let u = s - r. Does 9 divide u?
True
Suppose -5*d = d - 126. Is d a multiple of 7?
True
Let n be (-35 - 2) + -1 - -1. Let w = 59 + n. Does 14 divide w?
False
Let g = 23 + -350. Let u = g + 101. Is 16 a factor of 18/(-63) + u/(-7)?
True
Let a(m) = 41*m - 4. Does 6 divide a(1)?
False
Let g be (2 + -3)*(2 - 3). Suppose 2*j - 5*k - 4 = g, 4*j + 2*k - 22 = 0. Suppose -n = -j*n + 28. Is 3 a factor of n?
False
Suppose f + 4 = 3*f. Suppose -30 = -0*k - f*k. Is 5 a factor of k?
True
Does 41 divide (-161*1)/(1 - 2)?
False
Suppose -3*j = -4*j + 149. Does 15 divide j?
False
Let n(q) = -2*q + 9. Let w be n(6). Let k(p) = p**2 - 1. Does 7 divide k(w)?
False
Let k(i) = -3*i - 1. Let q(c) = -11*c - 5. Let w(p) = -9*k(p) + 2*q(p). Let r be w(5). Suppose 0 = -0*u - 2*u + r. Is 9 a factor of u?
False
Suppose q - 4*f - 24 = 0, 4*q + f = 5*f + 36. Suppose -2*g - c = 4*c + 89, -2*g - q*c = 86. Let t = -25 - g. Does 12 divide t?
True
Let d(r) = -11*r - 2. Let u(l) = -12*l - 2. Let a(k)