False
Let m(r) = r**2 + r + 1. Let s be m(-1). Let d be s*(-3 - 0) - -3. Suppose 4*y = -d*y + 28. Is 5 a factor of y?
False
Let i(w) = -2 - 19*w**3 + 0*w**3 - 55*w**3 - 2*w - 50*w**3. Is i(-1) a multiple of 32?
False
Suppose -94*i + 97*i - 4221 = 0. Is 39 a factor of (-2)/6 + i/9?
True
Let y = -219 + 516. Is 19 a factor of y?
False
Suppose 2*c + 8 = -3*l + 4*c, -16 = -4*c. Let b be (l - -1) + -3 + 4. Suppose b*x + 3*j - 33 = 0, -x + 6 = -4*j + 2*j. Is x a multiple of 4?
True
Let t = -8 + 78. Let z = 116 - t. Does 23 divide z?
True
Let v = 11 + -18. Let g(n) = n**3 + 6*n**2 - 7*n + 5. Let l be g(v). Suppose 60 + 60 = 4*t + l*x, -3*t = -3*x - 63. Is 5 a factor of t?
True
Suppose -6 = -2*a - 3*b, 8*a - 6*a = 2*b + 26. Suppose a*k - 81 = 81. Is k a multiple of 18?
True
Let l(j) be the third derivative of 3*j**4/2 - j**3/2 + 17*j**2. Is 2 a factor of l(1)?
False
Let a = -3 + 27. Suppose -4*p = -8 - a. Is 2 a factor of p?
True
Let b(g) = -11 + 2 + g**2 - 27 - 29*g - 2*g**2. Does 7 divide b(-25)?
False
Is 4760/32 + 21/(-12) + 1 a multiple of 26?
False
Let j(z) = z + 10. Let y be j(-6). Suppose -y*d = 1 - 25. Let m(p) = -p**3 + 7*p**2 - 4*p + 4. Is 8 a factor of m(d)?
True
Is 15 a factor of 6/(-36) - (-29558)/12?
False
Suppose -1399 = -4*v - j, 384 = 3*v - 5*j - 671. Is v a multiple of 10?
True
Suppose 2*b + 3*p + 57 = -3*b, -4*b = p + 47. Let r be (-128)/14 - (-11)/77. Is (27 + 1)*r/b a multiple of 7?
True
Let x = 184 + -108. Suppose 5*n + x = i, -2 = -n - 7. Is i a multiple of 17?
True
Let w(t) = -7*t + 2. Let d be w(-2). Suppose 2 = s - 1. Suppose -m - s = -d. Is m a multiple of 6?
False
Let x be 47/5 - 4/10. Let k(z) = -42*z + 26*z + 21*z + 9 - z**3 + 9*z**2. Does 18 divide k(x)?
True
Let r(p) = 19*p**2 - 69*p + 34*p - 23 - p**3 + 21*p. Is 7 a factor of r(18)?
True
Suppose -166 - 122 = 3*r. Let q = -66 - r. Suppose 4*z + 39 = 3*d, 2*d = -3*d - 5*z + q. Is 9 a factor of d?
True
Does 16 divide (-3)/(-12) - ((-1159)/4 + 2)?
True
Suppose b + 3*b - 108 = 0. Suppose b = 5*s - 33. Is s a multiple of 3?
True
Suppose 4*y - 827 = u, -2*y + 3*u + 464 - 53 = 0. Does 6 divide y?
False
Let q(a) = a**2 - 8*a + 15. Let i be q(6). Suppose z - i + 1 = 0. Suppose -78 = -5*x + z*m, 0 = 3*x - 5*m - 28 - 15. Is x a multiple of 16?
True
Let k(q) = -q**2 + 7*q. Let d be k(5). Let n = d + -4. Let v = 2 + n. Is v a multiple of 4?
True
Suppose -o + 235 = r, 5*r - 705 = 2*r + 4*o. Suppose 2*u + 76 = 4*s, 4*u + r = -u + s. Let j = -23 - u. Is 5 a factor of j?
True
Let h(x) = x**3 + 5*x**2 + 2. Let f be h(-5). Suppose f = 3*l - 25. Is 9 a factor of l?
True
Let c(o) = -22 - 4*o**2 - 3*o**2 + 18 + 4*o. Let u be c(9). Is 11 a factor of u/(-10) - (-12)/8?
True
Let b(r) = 4*r**3 - r**2 + 1. Let i be b(1). Suppose 4*m + 72 = i*a + 3*m, -2*a + m + 36 = 0. Is a a multiple of 8?
False
Suppose 5*f - 2416 = -4*i, -4*f = -i + 3*i - 1928. Suppose 13*s = 19*s - f. Does 16 divide s?
True
Is (24/(-14))/((-2)/196) a multiple of 28?
True
Let g = -24 + 26. Suppose g*z + 28 = 4*z. Does 13 divide z?
False
Suppose -4*c + 60 = f - 4*f, -c - 4*f = -15. Suppose -4*b + c = -1. Suppose y = -b*y + 20. Is y a multiple of 3?
False
Suppose 43*v - 8 = 45*v. Is 32 a factor of v*1/2 - -153?
False
Let y(r) = -126*r. Let o be y(1). Let z = -56 - o. Suppose -3*i = -z - 35. Is 10 a factor of i?
False
Let d = -11 - 17. Let r = 24 + d. Let w = r + 15. Is 11 a factor of w?
True
Let u(n) be the third derivative of -n**7/5040 + n**6/36 + n**5/12 - 2*n**2. Let b(s) be the third derivative of u(s). Is b(0) a multiple of 5?
True
Let c(z) = 11*z - 236. Does 9 divide c(28)?
True
Let s be (3 + -1)/(3/270). Suppose -2*o = -3*v + 6, -4*v + 7*v - 4*o - 12 = 0. Suppose v*m + s = 3*m. Does 15 divide m?
True
Suppose -44 = -q - 20. Suppose m + 11 = q. Is 2 a factor of m?
False
Let g(b) = 3*b**3 - 8*b**2 + 3*b + 9. Is 38 a factor of g(5)?
False
Let s = 7 + 85. Suppose 103 = 3*o - s. Does 13 divide o?
True
Let r be (4/3 + -3)*-18. Suppose 3*g - 19 = 2*j, -5*g - 1 + r = -2*j. Is 5 a factor of g?
True
Let k(m) = m**3 + 11*m**2 + 11*m + 11. Let w be k(-8). Let q = -58 + w. Does 19 divide q?
True
Suppose 5*k - 2265 = -3*u - 2*u, 0 = 3*k + 2*u - 1354. Does 32 divide k?
True
Let a(b) = -b**2 - 25*b - 48. Suppose -14*k - 164 - 130 = 0. Is 6 a factor of a(k)?
True
Let z = -5 + 10. Suppose 111 = -z*o - 3*k, 2*o + 36 = -0*o - 4*k. Let a = -13 - o. Is 3 a factor of a?
False
Suppose -5*f + m + 100 = 2*m, 3*m - 69 = -4*f. Let j = 11 + f. Is 32 a factor of j?
True
Let a = 97 - 43. Does 9 divide a?
True
Let a(o) = 2*o**2 - 6*o - 17. Let f be a(-5). Let h = f - -9. Does 36 divide h?
True
Let n be (204/(-36))/((-1)/(-6)). Let j = 38 + n. Suppose 0 = 2*u - 5*w - 101, u = -u + j*w + 96. Is u a multiple of 10?
False
Let n(r) = 11*r - 3. Suppose -3*c - 5*v = -31, -4*v = -0*c - 5*c - 10. Let k be (-63)/(-12) - c/8. Is 11 a factor of n(k)?
False
Let y(m) = m**2 - 15*m + 30. Let k be y(14). Let d = k - -2. Is d even?
True
Is 77 a factor of 1*-1 - ((-3716)/1 - -19)?
True
Suppose -3*s + 0*s - 2*t + 99 = 0, 0 = 5*t - 15. Suppose 2*d + 2*k - 106 = 0, 222 - s = 3*d - 5*k. Is 6 a factor of d?
False
Let f(c) be the third derivative of c**6/80 - c**5/40 + 13*c**4/24 - 12*c**2. Let b(v) be the second derivative of f(v). Is 25 a factor of b(4)?
False
Let i(z) = 0*z**2 + 5 + 2*z**2 - 2 - 10*z. Let c be i(7). Let l = 109 - c. Is l a multiple of 24?
False
Suppose -1882 = 84*z - 86*z. Is z a multiple of 82?
False
Let i(v) = 20 + 6*v**2 - 5*v - 20 - v**3. Let g be i(5). Suppose 4*w - 5*s - 67 = g, 2*w - 60 = 3*s - 25. Is 7 a factor of w?
False
Let d(r) = -r**2 - 3*r + 7. Let a be d(-5). Let h be (a - 29)/(-4)*3. Let g = h + -4. Does 5 divide g?
True
Suppose -270*s + 295*s = 40075. Is s a multiple of 71?
False
Suppose 3*s - 44 = 142. Let o = s - 44. Is o a multiple of 9?
True
Suppose 4*u - 3834 = -3*g + 5*g, 5*u - 4795 = 3*g. Is u a multiple of 11?
False
Is 5 a factor of 2/(2/145) + 3?
False
Suppose 0*t - 277 = -t + u, 2*u - 846 = -3*t. Does 8 divide t?
True
Let w(t) = t**3 - 19*t**2 - 19*t - 17. Let v be w(20). Suppose -6*z + v*z + 3*g = -135, -2*g = -3*z + 140. Does 10 divide (z/(-6))/((-9)/27)?
False
Let b(t) = 5*t + 40. Let s be b(-12). Let r = s + 123. Does 33 divide r?
False
Let c be -4*1*20/8. Let n = 10 + c. Does 5 divide 10 - n/(16/(-4))?
True
Is ((-299)/26)/((-1)/44) a multiple of 34?
False
Suppose 0 = -3*j - 2*m + 613, -3*j - 6*m + 603 = -9*m. Does 7 divide j?
True
Let a be 204/(-15)*1*50/(-5). Suppose 4*x = -3*s + 466, 5*s = 4*x - a + 966. Does 20 divide s?
False
Let x(k) = 2*k + 15. Let m be x(-14). Let o = m - -1. Is 32/o*(-54)/4 a multiple of 6?
True
Let i = 1409 + 346. Does 64 divide i?
False
Let c(v) = -2*v + 37. Let y be c(20). Is 21 a factor of y*((-8)/3 + 2) + 79?
False
Let o(u) = u**3 - 6*u**2 - 6*u + 6. Let l be o(7). Let m be l/(-26) + 122/4. Let g = m - 16. Is g a multiple of 12?
False
Let l(y) = -y**2 + 10*y - 5. Let v be l(8). Suppose 9*a = v*a - 44. Suppose 3*w - 29 - a = 0. Does 17 divide w?
True
Suppose 7*m = m + 630. Suppose 0 = -z + 3*o + 8, -2*z - 3*o + 9 = 2. Suppose -3*b - z*h = -m, -3*b + 0*b = -h - 123. Is 20 a factor of b?
True
Let q(j) = 2*j + 3. Let s be q(0). Suppose 0 = 4*w + 5*z - 163, -4*w + 0*z + 139 = -s*z. Does 4 divide w?
False
Let t(c) = -7*c + 12. Does 20 divide t(-4)?
True
Suppose 3*w - o - 7 = 0, -5*w = -0*o + o - 9. Let q(a) = -3*a + 9 - 3*a - w*a. Is 15 a factor of q(-3)?
False
Is 9/21 + 662/(-21)*-3 even?
False
Let z = 283 - 55. Is z a multiple of 5?
False
Let a(n) = 62*n**2 + 8*n - 5. Is a(2) a multiple of 7?
True
Suppose 4*m = 83 - 147. Is 4 a factor of (-2*6/m)/(1/72)?
False
Let k be (-4 - -8) + 3/(-3). Suppose -3*w + 6 = -w. Suppose 0 = -k*z + l + 81, w*z - 55 = z + l. Is 8 a factor of z?
False
Suppose 0 = -7*w + 2*w + 30. Let z(j) = j + 6. Let o be z(w). Suppose d = 12 + o. Does 8 divide d?
True
Let p(q) = 2*q**2 + 6*q + 60. Let i be p(-10). Suppose -4*g + r + 934 = 29, g - i = -5*r. Does 19 divide g?
False
Let d = -49 - -49. Let i(n) = -n**3 + n**2 - n + 156. Does 23 divide i(d)?
False
Is 5 a factor of (2751 - 0)*(-58)/(-174)?
False
Let g(q) = 213*q - 435. Is 11 a factor of g(9)?
False
Suppose 4*b + 18*b - 57112 = 0. Is b a multiple of 59?
True
Suppose 0 = 4*y + 5*u - 1442, -3*y - 3*u + 216 + 867 = 0. Is 5 a 