+ v**2 - v + 1. Let r be t(1). Let k be r/(-4) + 18/(-8). Is m(k) a multiple of 12?
True
Let g be 7 + 0 - (-2 - -3). Let u be (1 - 9)*g/8. Let d(v) = -8*v - 8. Is d(u) a multiple of 14?
False
Is (-35)/14*52/(-10) a multiple of 8?
False
Let a(z) = -61*z - 6. Let w(i) = -12*i - 1. Let y(s) = 4*a(s) - 22*w(s). Is y(2) a multiple of 29?
False
Let j = 7 - 5. Suppose -5*y + j*y = -30. Is 10 a factor of y?
True
Let y(x) = 15*x**2 + x - 1. Let b(o) = -o**2 + 5*o + 7. Let q be b(6). Is y(q) a multiple of 15?
True
Suppose 5*d - 46 = 4*v - v, -3*v - d = 52. Let n = v - -28. Does 9 divide n?
False
Let b be 3/2*12/(-9). Does 19 divide (-12)/15*190/b?
True
Let h(d) = -2*d**3 + 17*d**2 + 9*d + 8. Is h(8) a multiple of 16?
True
Suppose 4*z - 33 = 91. Suppose -2*r - 2*a + 36 = 0, -z - 29 = -5*r + 5*a. Is 5 a factor of r?
True
Suppose 0 = 5*b - 15, -5*w + b = 189 - 591. Does 27 divide w?
True
Let l(v) = v + 8. Let w be l(-6). Is 8 a factor of 10 - ((-2)/w - -3)?
True
Suppose -4*y - d + 10 = -15, -5*y = 5*d - 50. Suppose -5*s = -108 - 22. Let r = s - y. Is 18 a factor of r?
False
Let m = 20 - -67. Is m a multiple of 6?
False
Suppose 4*v - 130 = -3*r + 347, -5*r - 5 = 0. Is v a multiple of 24?
True
Let t be (-4)/(-10) + 1928/(-20). Does 17 divide (t/20)/((-6)/75)?
False
Let h(i) = -i**3 + 8*i**2 - 2*i + 10. Does 5 divide h(6)?
True
Let x(v) = 6*v**2 - 4*v + 1. Let m be x(3). Suppose 0 = 3*s - m - 65. Is s a multiple of 12?
True
Let t be ((-2)/6)/(6/(-342)). Suppose -t = -5*h - 2*r, r - 3*r + 7 = h. Is 10 + (h - 0) - -2 a multiple of 6?
False
Let o = -43 - -104. Suppose -3*q + o - 7 = 0. Let j = 29 - q. Is 11 a factor of j?
True
Let u(i) be the first derivative of -i**5/60 + i**4/24 + 7*i**3/3 - i**2 - 1. Let h(c) be the second derivative of u(c). Is 7 a factor of h(0)?
True
Let g be 1 - (47 + 1 + -3). Suppose -5*v + 2*t - 66 - 68 = 0, -v - 13 = -5*t. Let s = v - g. Does 8 divide s?
True
Suppose -3*u - l = -2 - 14, 3*l = -3*u + 6. Is 3 a factor of u?
False
Suppose 0 = 2*y - 3*y. Suppose 5*k - q + 6*q - 95 = y, 0 = 4*k - 4*q - 84. Is k a multiple of 20?
True
Let z(a) be the third derivative of 3*a**4/8 - 7*a**3/6 + a**2. Does 19 divide z(5)?
True
Let h = 0 - -6. Suppose h*p - p - 20 = 0. Suppose -p*d + 46 = -66. Is 11 a factor of d?
False
Let i(j) = 6*j**2 + j - 3. Does 24 divide i(3)?
False
Let w(v) = 65*v**2 - 2*v - 2. Is 18 a factor of w(-1)?
False
Let s be (-32)/(-1) - (1 + -4). Suppose z + 4*z - s = 5*o, -4*z = 3*o. Does 3 divide z?
True
Let d(k) = k**2 - 19*k - 12. Does 9 divide d(22)?
True
Suppose 23 = -b - 0*s + 3*s, b + 3 = -s. Let u be (b*(-2 + 1))/(-1). Does 12 divide (u/(-3))/2*24?
False
Let z = 44 - 24. Let d = z + 0. Is d a multiple of 10?
True
Let c(g) = -4*g**3 - 2*g**2 + 4*g + 4. Let u be c(-3). Let a = u + -57. Let s = 46 - a. Is s a multiple of 21?
True
Suppose 132 = 5*q + 22. Is q a multiple of 11?
True
Let g(f) = 2*f**2 + 1. Let w be g(-5). Suppose -q = -0*q - 4, -o - w = -2*q. Is o/(-4) + 5/20 a multiple of 9?
False
Let m = 0 + -2. Let s be m/(1*(0 - 1)). Suppose s*f - f = 15. Does 6 divide f?
False
Let u(j) be the third derivative of -2*j**4/3 - j**3/6 - j**2. Let g be u(-1). Suppose 0 = 4*s + 5*o - g, -4*o - 24 = -4*s - 0*o. Is 3 a factor of s?
False
Let c(w) = 3*w**2 + 3*w. Let n be c(-2). Let z(q) = -1 - 3 + 0 + 2*q + q. Is 8 a factor of z(n)?
False
Suppose -4*a = 2*i - 0*a + 4, -3*i = 4*a + 2. Suppose -39 = -i*m + 3. Is m a multiple of 7?
True
Let f = 111 - 25. Let q = f - 26. Is q a multiple of 15?
True
Let q(z) = 5*z**2 + 2*z + 1. Let t be q(-1). Suppose -t*y = -0*y - 88. Does 11 divide y?
True
Let w(f) = 6*f + 4 - 8*f - 2*f**2 - 2*f**3 - f + 6*f. Is w(-3) a multiple of 7?
False
Suppose -3*j + 4*b - 30 = -0*b, j = 5*b - 21. Is 6 a factor of (j/8 - 1)*-8?
False
Let i(a) = -a**3 + 8*a**2 + a - 4. Let x be i(8). Suppose 0 = -2*n - x*v + 32, -2*n + 76 = n - v. Is n a multiple of 8?
True
Let v = -29 - -21. Is (-1 - 5)*v/3 a multiple of 10?
False
Let w(d) = d**2 + 6*d + 7. Let u be w(-6). Let i(l) = l**2 + 2*l - u*l - 2 - 8*l**2 - l**3 + 0*l. Does 12 divide i(-7)?
False
Let y(r) = r**2 - r - 5. Does 14 divide y(8)?
False
Let y(m) = -14*m + 4. Let a be y(-4). Suppose -b - a = -0*b. Let p = b + 86. Does 13 divide p?
True
Let y(v) = v**2 + 14*v + 15. Let n be y(-13). Is (-3 + 36)*n/3 a multiple of 9?
False
Let o(r) = 8*r**2 + r - 4. Does 16 divide o(-3)?
False
Let x(g) = g**3 + g**2 - g - 1. Suppose 0 = 3*m - 0*m - 6. Let y = 0 + m. Is x(y) a multiple of 9?
True
Suppose 5*l = -2*w + 200, l - 95 = -w - 4*l. Let a(n) = -58*n**3 - 2*n**2 - n. Let j be a(-1). Let k = w - j. Does 17 divide k?
False
Suppose -57 = -4*q + 31. Suppose 2*m - q = -0*m. Is m a multiple of 9?
False
Let z be (-1 - -3)/((-6)/(-21)). Let k = -4 + z. Suppose -5*a = -5*h + 11 - 191, k*a = 5*h + 108. Is a a multiple of 18?
True
Suppose 4*p + 11 - 7 = 0. Is (-122 + -8)*p/2 a multiple of 17?
False
Let z(s) be the first derivative of s**4/4 - 14*s**3/3 + 17*s - 3. Does 17 divide z(14)?
True
Let q = -3 + 1. Let b be q/(-6) - 213/(-9). Suppose f = p - b, -f - 22 = -p + f. Is 13 a factor of p?
True
Let b = 2 - 2. Suppose -4*p + k + b*k = -115, p - k = 31. Is p a multiple of 12?
False
Let i(w) = -w + 1. Let z(x) = -5*x - 4. Let d(p) = 6*i(p) - z(p). Suppose 5*t - 2*t = 0. Is d(t) a multiple of 10?
True
Suppose 4*o - 42 - 30 = 0. Is o a multiple of 6?
True
Let z = 96 - -19. Does 32 divide z?
False
Let s = -138 + 223. Is s a multiple of 17?
True
Let k(t) be the third derivative of -t**4/24 + 5*t**3/6 - 2*t**2. Does 5 divide k(0)?
True
Is 192/(-8)*4/(-6) a multiple of 6?
False
Let z be ((-12)/(-30))/((-2)/(-20)). Does 13 divide (-15 + z + 3)*-9?
False
Let b be 8/(-28) - (-30)/7. Suppose 0 = l - 3*l + 36. Suppose 3*y - b*v - 140 = -l, -4*v = -2*y + 84. Does 19 divide y?
True
Let c = 48 + -9. Is c a multiple of 13?
True
Suppose 13 = -5*j - 2*n, -j + 1 = -3*n - 10. Let o be (0 - j)/(-3 + 2). Is 23 a factor of (1 - -17)/(o/(-2))?
False
Suppose 0 = -2*v + 6*v - 16. Suppose v*q + 11 = 2*u - 15, 4*u - 3*q = 32. Suppose 2*f + 4*l = 22, -3*f + 6*f - u*l = 0. Is f a multiple of 5?
True
Let n = -13 - -7. Let r(k) = -38*k + 3. Let z(a) = -13*a + 1. Let w(t) = n*r(t) + 17*z(t). Does 6 divide w(1)?
True
Let j(u) be the third derivative of u**6/120 + 3*u**5/20 - u**4/24 + 3*u**2. Let z be (-38)/4 + (-1)/(-2). Is 8 a factor of j(z)?
False
Let c = -58 + 14. Let t = c - -67. Suppose -7*r + 3*f = -3*r - 49, -2*r + t = -3*f. Is r a multiple of 13?
True
Let f(a) = -a**2 - 8*a - 7. Let n be f(-8). Let q = n + 13. Let r(z) = z**2 - 3*z - 4. Is 14 a factor of r(q)?
True
Let d = 3 + 2. Is 4 a factor of d?
False
Let d(g) = 36*g - 1. Let s = -8 - -9. Is 7 a factor of d(s)?
True
Suppose -3 = p - 8. Suppose -4*t + 4*c = -308, -3*t - p*c + 136 = -63. Does 19 divide t?
False
Suppose -l = 2*a - 0 + 2, 0 = -2*l - 2*a + 4. Let r(y) = y**3 - 5*y**2 - 5*y - 2. Let q be r(l). Suppose 2*j - q*j = -54. Is 7 a factor of j?
False
Let j be (-1)/((-3)/(-165)) + -2. Is 6 a factor of 1 + j/6*-2?
False
Suppose -2*a + 3*a + 2*i = 4, -2*i = -4*a + 36. Suppose a*h - 395 = 3*h. Does 28 divide h?
False
Let p(i) = -4*i - 17. Let x(u) = -11*u - 51. Let h(j) = 17*p(j) - 6*x(j). Let w be h(0). Suppose -2*d + 1 + w = -g, -d - 2*g - 1 = 0. Is 7 a factor of d?
True
Let f = 8 + -33. Let j = -11 - f. Does 7 divide j?
True
Suppose -3*d + 5*c - 112 = -0*c, -4*c = -d - 49. Let g be (-1)/(-2) + d/(-2). Suppose 0 = m + 2 - g. Is 9 a factor of m?
False
Let a = 207 + -170. Does 24 divide a?
False
Let j(z) = 3*z**2 - 2*z - 1. Let u be j(-1). Let m(p) = 1 + 3*p - u - 2. Is m(7) a multiple of 7?
False
Let m(h) = h**3 + 7*h**2 + h + 6. Is 18 a factor of m(-6)?
True
Suppose 3 = 2*k + 2*y - 9, 48 = 4*k - 2*y. Suppose 0*b + b = -k. Does 13 divide b/3*42/(-4)?
False
Suppose 0 = 16*z - 12*z - 792. Is z a multiple of 17?
False
Suppose 2*h = 6*h - 12. Is 15 a factor of h*((-50)/(-6) - -2)?
False
Suppose 3*j - 48 = 5*q, 4*j - 7*q = -3*q + 72. Let h = -2 + j. Is h a multiple of 14?
False
Let u(g) = -g**3 - 6*g**2 + g. Is u(-7) a multiple of 21?
True
Let w be ((-24)/(-5))/((-4)/(-40)). Suppose -p - 18 = -4*p. Suppose w = -p*o + 8*o. Is 12 a factor of o?
True
Let p(m) = -m**3 - 7*m**2 - 11*m - 2. Is 28 a factor of p(-6)?
True
Let z = -6 + 9. Suppose -z*h + 5 = -4. S