3. Let f be v(5). Does 18 divide t(f)?
True
Suppose 290 = 5*j + 2*y, -4*j = j - y - 305. Does 12 divide j?
True
Suppose -y + 13 = -2*y - 3*m, -4*y - 38 = 5*m. Let u(z) = z**2 + 4*z + 3. Let p be u(y). Suppose 0 = 3*b - 5*b + p. Does 12 divide b?
True
Suppose 2*z + 5*j = 74, -44 = -4*z + 4*j + 48. Is 27 a factor of z?
True
Let q(s) = -s**2 + 12*s + 9. Let c be 18*6*(-2)/(-18). Is 5 a factor of q(c)?
False
Let v = 2351 + -451. Let r be (2/(-4))/((-5)/v). Suppose 3*k = l + 114, k - l = -4*k + r. Does 19 divide k?
True
Let u(v) = v**2 - v - 1. Let c(b) = 5*b - 1. Let t be c(1). Is 11 a factor of u(t)?
True
Let p(o) = o**3 + 4*o**2 - o - 2. Let z be p(-3). Does 7 divide (-124)/(-10) + (-4)/z?
False
Is 18 - (8/(-1))/4 a multiple of 6?
False
Does 7 divide ((-11)/2)/((-1)/2)?
False
Let j(a) = -a**3 - 5*a**2 - 5*a - 4. Let m be j(-4). Suppose 3*z = -m*z. Suppose -2*t - 4*n + 30 = z, -4*t - 5*n + 37 = -8. Is t even?
False
Suppose -6*l + 2622 = 13*l. Is l a multiple of 6?
True
Let n(z) = -5 - 2*z + 9*z**2 + 1 + 7*z - z**2 + z**3. Does 10 divide n(-7)?
True
Let b be 3/(-2)*(-144)/27. Let v = -5 + b. Is 3 a factor of v?
True
Let c = -120 - -146. Is 4 a factor of c?
False
Let w(x) = -19*x**2 + 2*x - 1. Let b be w(1). Let a = 0 - b. Is a a multiple of 9?
True
Let c(q) = q**2 + 24. Is c(0) a multiple of 4?
True
Let c(n) = n**3 - 12*n**2 + 12*n + 2. Let s be ((-44)/(-6))/((-1)/(-3)). Let y = s - 11. Is c(y) a multiple of 12?
False
Let a(t) = -48*t + 8. Is 20 a factor of a(-4)?
True
Let o be (-1)/3*-3 - 6. Suppose 2*i + 44 = -0*i. Let k = o - i. Is 11 a factor of k?
False
Let b(k) = -k + 3. Let n(y) = -2*y + 7. Let i(f) = 5*b(f) - 2*n(f). Let m be i(-2). Suppose m*d = 15 + 3. Does 3 divide d?
True
Suppose 4*l + 5*s = s + 272, -4*l = -3*s - 265. Is 12 a factor of l?
False
Let z(i) = 3*i**2 + 2*i + 5. Let f be z(-5). Suppose -f - 20 = -5*g. Does 9 divide g?
True
Let t = 3 + 5. Suppose -4*j + t*j = 12. Suppose 3*f + 165 = 4*g, -g - 3*f + 147 = j*g. Does 13 divide g?
True
Let y be -2*522/(-4)*-1. Does 18 divide 5/(-25) + y/(-5)?
False
Suppose -2*q - 2*q + 68 = 0. Is q a multiple of 17?
True
Let c(r) = -r. Let a be c(0). Suppose x + a*x = 21. Does 16 divide 226/7 - 6/x?
True
Is 1 + (27 - -2) + 0 a multiple of 10?
True
Let s(r) = -3*r**3 - 26*r**2 - 8*r + 20. Let a(c) = -c**3 - 9*c**2 - 3*c + 7. Let y(z) = -8*a(z) + 3*s(z). Suppose 24 = -3*u + 6. Does 4 divide y(u)?
True
Let h(o) = 2*o + 19. Let b be h(-11). Let s(p) be the second derivative of -p**3 - 2*p**2 + p. Is s(b) a multiple of 7?
True
Suppose -71 = 4*g - 179. Is g a multiple of 21?
False
Let h(s) = -22*s - 4. Suppose 6*p = p - 15, 2*m - 4*p - 8 = 0. Does 10 divide h(m)?
True
Let l be (-4)/(-3)*108/24. Let y be (0 + 0)/(2/2). Let b = l + y. Is 3 a factor of b?
True
Suppose -l + 1 = 2. Let o be (l + -2)/(-1 + 2). Is 45/(-6)*4/o a multiple of 5?
True
Let b = 18 + -12. Suppose b*i - 4*i = 124. Is i a multiple of 22?
False
Let v(j) = 3*j**2 + 3 + j**3 + 3 + 3*j**2 + 9*j + 2*j**2. Suppose -2*y + w + 3*w = -4, 5*y + 10 = 5*w. Is 16 a factor of v(y)?
False
Suppose 5*v + 0*v + 45 = 2*w, 0 = -w - 2*v. Let r be 24/w*(-70)/21. Is 7 a factor of (r/(-10))/((-2)/(-25))?
False
Suppose -14 = 5*c + 31. Let j = 27 + c. Is j a multiple of 11?
False
Suppose 2*z - 7 = 1. Suppose 2*k = u + 25, 3*u - 55 = -z*k + 10. Does 7 divide k?
True
Let r(u) = u**3 + 5*u**2 + u + 2. Let i be r(-4). Let s = i + -22. Let h = s + 22. Is h a multiple of 9?
False
Suppose -2*x + 0*x + 68 = 0. Is x a multiple of 9?
False
Suppose -3*d = 2*d - 20. Suppose 8*j = d*j + 5*y + 143, 3*y = -j + 57. Is j a multiple of 20?
False
Let r be -1 - (12/4 - 49). Let d = r + -22. Is 23 a factor of d?
True
Suppose 9*f - 6*f = 78. Is 8 a factor of f?
False
Let l(n) = n**2 - 6*n - 21. Is 12 a factor of l(-7)?
False
Let a(r) = -r**3 + 7*r**2 + 8*r + 6. Let x be a(8). Let j = -8 + x. Is 10 a factor of (-150)/(-9) + j/(-6)?
False
Suppose -3*l + 36 = -l. Is 4 a factor of l?
False
Suppose -2*r = i + 9 + 12, 0 = -4*r + 4*i - 36. Let l be (-36)/(-10) + (-4)/r. Is l/(-10) + (-154)/(-10) a multiple of 10?
False
Let r = -23 - -34. Does 3 divide r?
False
Let j be (-36)/(-15) - 6/15. Suppose 0 = -j*r - 5*s - 6, -6*r + r = -2*s - 14. Suppose -d = h + 4*d - 11, -22 = -2*h - r*d. Is h a multiple of 6?
False
Suppose -146 = -2*y - 5*n, 0*n = 3*y - n - 185. Does 18 divide y?
False
Suppose -3*o - h - 28 = -2*h, -2*h - 44 = 4*o. Let f = o - -19. Does 9 divide f?
True
Suppose w - 231 = -2*d, -202 - 285 = -4*d + 3*w. Does 12 divide d?
False
Suppose 36 = 4*m - 0*m. Is m a multiple of 3?
True
Let y = 7 + 36. Let x = -19 + y. Does 9 divide x?
False
Let j = 10 - -11. Is j a multiple of 4?
False
Let j = 275 + -167. Is j a multiple of 36?
True
Suppose 48 - 336 = -4*k. Is k a multiple of 36?
True
Let a = 90 - 75. Is a a multiple of 15?
True
Suppose 4*m + 2*p = 2, 5*m = m - 4*p + 4. Suppose -j - 3*b + 4 = 0, m = -5*j + 5*b - 3 + 123. Is j a multiple of 7?
False
Suppose -3*y - d + 47 = 0, -5*y - 3*d + 34 = -51. Suppose -v + y = v. Is v even?
False
Let c(m) = 2*m**2 + 3*m - 6. Let a(z) = z**2 - 5*z - 6. Let k be a(5). Does 12 divide c(k)?
True
Let m(j) = -5*j**2 + 6*j + 2. Let p(d) = -d**2 + d - 1. Let o = 0 + 4. Let z(l) = o*p(l) - m(l). Is z(5) a multiple of 9?
True
Let f be (27/(-15))/(9/(-30)). Is (-322)/(-12) - (-1)/f a multiple of 9?
True
Suppose 4*a + 3 = 19. Is a a multiple of 4?
True
Let o(i) = i**3 - 11*i**2 + 12*i + 9. Is o(10) a multiple of 18?
False
Suppose -4*f - 124 - 28 = -2*l, 5*l - 328 = -3*f. Does 34 divide l?
True
Let s(t) = 5*t**2 - 15*t + 10. Does 8 divide s(6)?
False
Suppose -6*k = -k, 0 = 4*p + 4*k - 360. Does 10 divide p?
True
Suppose -17 = -q + 31. Let p be 2/(-8) + (-1)/(-4). Suppose -u + 4*u - q = p. Does 8 divide u?
True
Suppose -2*o + 2*y + 8 = -2*y, -4*o = -3*y - 36. Is o a multiple of 2?
True
Let p be (-1)/(345/87 - 4). Let i = p + 45. Does 15 divide i?
False
Let s be (-156)/(-9)*27/6. Let c = -110 + s. Let j = -18 - c. Does 14 divide j?
True
Let s(y) = -y + 7. Let n be s(11). Is 23 a factor of 0 + (-3 - (-91 + n))?
True
Let m = -7 - -13. Does 4 divide ((-8)/m)/(4/(-36))?
True
Suppose -6*s = -3*l - 2*s + 29, 5*l = s + 20. Suppose 0 = -i - l*r + 10, 2*i = -2*i - 2*r + 70. Is 9 a factor of i?
False
Suppose -f + 62 = w, 2*f = -4*w + 3 + 115. Is f a multiple of 30?
False
Suppose -2*i - 1 = -4*i + 3*c, -4*c + 12 = 4*i. Let g(m) = 3*m - 2. Let v be g(4). Suppose i*t - 5*r = 35, -3*t = -r + v - 95. Is 10 a factor of t?
True
Let p(g) = g**3 + 9*g**2 + 5*g + 2. Suppose -3*v + 5 = 29. Is 7 a factor of p(v)?
False
Suppose 4*k - 78 = 30. Does 9 divide k?
True
Let y = -3 + 18. Is y a multiple of 3?
True
Let y(v) = 2*v + 4. Is y(9) a multiple of 11?
True
Suppose 2*w + 9 = 3*r - 7, 2*r + 3*w = 15. Let n = 4 + -7. Does 14 divide 165/r - n/6?
True
Suppose 0 = -x - 3 + 5. Suppose -2*j = -5*d, -x*d - 5 + 34 = 5*j. Suppose l - 5 = 0, 2*o - 4*l - 2 - d = 0. Is o a multiple of 6?
True
Let v be 0 + ((-6)/1)/(-3). Let d(n) = 5*n**v - 3*n**2 - 4 + 2*n + 4*n**2 - 3*n**2. Is 16 a factor of d(3)?
False
Suppose -3*c + 15 = 5*m - 9, -4*c = -12. Let b(d) = 2*d**2 - d - 1. Let f be b(-1). Does 2 divide (f - 7/m)*-6?
True
Let c(s) = 2*s**2 + 3*s + 5. Let i be c(6). Suppose 5*u + 155 = 5*y - 0*y, 5*u + i = 3*y. Does 15 divide y?
True
Let y(h) = h**3 + 8*h**2 - 7*h - 13. Let k = -13 + 6. Does 37 divide y(k)?
False
Let q(s) = -s**2 + 10*s - 6. Let g(u) = 1. Let d(z) = -z + 11. Let a(v) = d(v) + 2*g(v). Let y be a(6). Is 6 a factor of q(y)?
False
Let t(r) = -5*r - r - 3*r. Let k(f) = f**2 - 5*f - 2. Let g be k(5). Does 6 divide t(g)?
True
Let s(h) = -h**3 + 8*h**2 - 4. Let v be s(6). Suppose 3*c - 129 = -5*a + v, 0 = 5*c - 5*a - 355. Does 23 divide c?
True
Let n(u) = -u**2 - 6*u - 3. Let l be n(-6). Suppose 4*i - 36 = -4*z, 0*i = -2*z - 4*i + 22. Let c = l + z. Does 4 divide c?
True
Let s = 5 - -2. Suppose -3*d - 20 = 2*d. Let f = s + d. Is 3 a factor of f?
True
Suppose -10*i + 72 = -7*i. Is i a multiple of 5?
False
Suppose -4*m + 22 = -14. Does 17 divide -3 + m/3 + 51?
True
Let q = 3 - 2. Let m(o) = 21*o**3 + 2*o**2 - 1. Is 11 a factor of m(q)?
True
Let s be 6/(-2) + -2 + 3. Is 11 a factor of 42/3 - (2 + s)?
False
Suppose 0*w + 4*w = 104. Suppose 4*n - 22 = w. Does 12 divide n?
True
Let u(h) = h - 10.