t q = 3 - -41. Is 7 a factor of q?
False
Suppose l - 8 = -h - 2, -2*h - 4*l = -8. Suppose -d + 12 = 2*t + 3*d, 0 = 5*t - d - h. Suppose t*i + 21 = 5*i. Is i a multiple of 5?
False
Let v(d) = -d**3 - d**2 + d - 1. Let p(z) = 2*z**3 + 6*z**2 - 5*z + 5. Let k(y) = -p(y) - 3*v(y). Let x be k(2). Is 8 a factor of 8*2*(-1)/x?
True
Let y(n) = -n**3 - 3*n**2 + 16*n - 10. Does 5 divide y(-7)?
False
Let j be -1 - ((-8 - 2) + 2). Let v = -7 + j. Suppose 4*i - 82 - 38 = v. Is 11 a factor of i?
False
Let x(t) = -4*t - 1. Let i be x(-1). Suppose m - 16 = -i*m. Suppose 0 = m*h + 5*q - 127, 63 = h - 6*q + q. Does 13 divide h?
False
Let d(y) = -y**3 - 3*y**2 - 2*y - 1. Let s(n) = n**3 + 5*n**2 + 2*n + 7. Let p(v) = v**3 + 5*v**2 + v. Let i be p(-5). Let x be s(i). Is 2 a factor of d(x)?
False
Suppose n - 78 = -0*n. Suppose 0 = 2*a - 5*a + n. Does 13 divide a?
True
Is 293/((-2 - 2) + 5) a multiple of 18?
False
Suppose 0 = 4*n + n - 10. Let a = n + 24. Is a a multiple of 13?
True
Let v(w) = -8*w - 11. Let z be v(-9). Suppose s - 37 = -2*s + c, -5*s + 2*c + z = 0. Does 7 divide s?
False
Let x(i) = 3*i - 7. Let z = -1 - -7. Is 11 a factor of x(z)?
True
Let l(c) = c**2 + 7*c - 13. Let d be l(-9). Suppose -2*s + d*s - 6 = 0. Suppose -s*q + 0*q + 12 = 0. Is q a multiple of 3?
True
Let s(g) be the first derivative of 11/2*g**2 - 2 - g - 1/3*g**3. Is s(10) a multiple of 9?
True
Suppose -8*y = -34 - 1022. Is y a multiple of 44?
True
Suppose -4*h + 78 = 3*s, 2*s = -2*h + 5*h + 52. Is s - 4/(-1 - 1) a multiple of 19?
False
Let u = 1 - -1. Suppose u*r = k - 6*k, r = -k. Suppose 3*j = -2*w + 6*j + 22, k = 4*w - j - 54. Is 6 a factor of w?
False
Suppose -121 = -4*g + 55. Is 14 a factor of g?
False
Let a be 2*2 + 1/1. Suppose -172 = -a*s + s. Suppose 2*m + s = 3*m. Is 15 a factor of m?
False
Let n = 6 - 8. Let j = 3 + n. Does 4 divide ((-3)/3)/j - -10?
False
Is 6*1/(-6)*-20 a multiple of 10?
True
Let c(h) = h**2 - 5. Let d be c(4). Is 7 a factor of (d - 0)/(1 - 0)?
False
Let n = -5 - -18. Let r = 0 + n. Does 13 divide r?
True
Let w(v) = v + 1. Let f be w(-1). Let g(i) = -i + 12. Is 11 a factor of g(f)?
False
Suppose 4*i - 10 = -b + 1, i = 2*b + 5. Is (2 + 0 + b)*10 a multiple of 7?
False
Let h(y) = -y - 3. Let l be h(-5). Suppose 5*p = l*w - 89, -w = -p + 5*p - 77. Is 2/(3 + (-165)/w) a multiple of 11?
False
Suppose 5*f - 3*g - 1530 = 0, -3*f + g + 99 = -815. Suppose p + 3*p = 5*r - f, 3*p = 3*r - 183. Does 15 divide r?
False
Suppose 2*f + 72 = -0*f. Let k = -22 - f. Is k a multiple of 7?
True
Let y = -27 - -90. Is y a multiple of 15?
False
Suppose 0*i - 4*i = g + 29, 0 = -g + i - 4. Let t = 3 + g. Does 14 divide (-4)/6*9*t?
False
Let n(u) be the first derivative of u**4/4 + 8*u - 2. Is 4 a factor of n(0)?
True
Suppose 0 = -3*q + 4*a + 43, 3*q - 3*a - 48 = -0*q. Suppose -o + 5*b = o - 14, -3*b + q = 3*o. Is 7 a factor of o?
True
Let w(k) be the third derivative of k**4/24 + 13*k**3/6 - 3*k**2. Is w(0) a multiple of 5?
False
Let q(g) = 5*g**3 - 20*g**2 - 19. Let r(p) = -4*p**3 + 19*p**2 + 18. Let k(a) = 3*q(a) + 4*r(a). Is 5 a factor of k(16)?
True
Let z(x) = -x**3 - 8*x**2 + 5*x + 3. Does 27 divide z(-9)?
False
Let u(k) = -4*k + 1. Let z be u(-1). Let r(c) = 2*c - 8. Let y be r(6). Suppose -5*t - 5*o = -185, -y*o - 176 = -z*t - 0*o. Is 19 a factor of t?
False
Let a(f) be the third derivative of f**4/12 + 5*f**3/3 + 6*f**2. Does 6 divide a(6)?
False
Let c = 629 + -449. Does 18 divide c?
True
Let s(y) = 3*y**2 + y. Let x = -8 - -9. Is s(x) a multiple of 4?
True
Let q = 10 + -5. Let p(u) = -u**2 - 6*u - 3. Let m be p(-5). Suppose m*j = j + q. Does 5 divide j?
True
Let h(b) = -b**2 + 9*b - 6. Let f be ((-4)/5)/(4/(-30)). Is 12 a factor of h(f)?
True
Let b(o) = -o**2 - 10*o - 9. Let a be b(-7). Is (-4)/a - 76/(-3) a multiple of 12?
False
Let z(g) = -g**2 + 6*g + 2. Let m be z(6). Suppose m = -3*i - 1. Does 11 divide 0 - -19*1 - i?
False
Suppose -3*y - 3*u = 10 - 31, -2*y + 3*u = -9. Let q(b) = 9*b + y*b - 2*b - 2. Does 12 divide q(2)?
True
Suppose 37 = 4*k + 5. Is (0 - k)*2*-1 a multiple of 4?
True
Let v(h) = 2*h + 35. Suppose 0 = -2*s - 2*s. Does 16 divide v(s)?
False
Let k(m) = -11*m + 22. Is 31 a factor of k(-13)?
False
Suppose 2*a + l = a - 3, 0 = 2*a - 4*l. Let r = -181 + 256. Is 12 a factor of a/(-4) - r/(-2)?
False
Suppose 0 = 4*l - 215 - 225. Is 7 a factor of l?
False
Let s(z) = z**2 + 6*z + 9. Is 7 a factor of s(-7)?
False
Let n(o) = o + 78. Let v be n(0). Suppose -3*d = -4*l - 58, 26 + v = 5*d - 3*l. Is d a multiple of 11?
True
Let k(f) = -5*f**3 - 2*f**2 + f. Let u be k(1). Let t = 8 + u. Suppose t*m - 5*m + 69 = 0. Does 19 divide m?
False
Suppose -10 = -2*s - 2*b, 3*s - 2*b + 30 - 70 = 0. Does 10 divide s?
True
Let f(i) = -i**3 - 14*i**2 + 15*i + 4. Let n be f(-15). Suppose 0 = 2*b + 3*u - 30, 0 = -n*b + b + 4*u + 11. Is 9 a factor of b?
True
Let b = 88 + -49. Is b a multiple of 6?
False
Let n = 73 + -113. Let b = -20 - n. Suppose 3*s - b = 58. Is 12 a factor of s?
False
Suppose 0*l = -g + 5*l + 28, g - 2*l = 13. Suppose 0 = -2*o + g*o + 5*u - 22, 0 = 2*o - 2*u - 8. Suppose 0 = 2*d - o + 3. Does 2 divide d?
True
Let l = -23 - -47. Suppose 4*p - p = l. Is 4 a factor of p?
True
Let u(z) = z**3 + z**2 - z + 9. Let r be u(0). Suppose -4*c - 68 = -4*s, 4*c + 3 = -r. Is 14 a factor of s?
True
Does 20 divide (192/(-40))/(6/(-45))?
False
Let k(z) = z**3 + 10*z**2 + 13*z + 14. Let o(i) = -i - 1. Let v(b) = k(b) + 4*o(b). Is v(-9) a multiple of 10?
True
Let a(r) be the third derivative of -r**5/60 - r**4/3 - r**3/2 + 2*r**2. Let u be a(-4). Suppose -4*x - 25 = 5*o - 91, x - u = -o. Is o a multiple of 14?
True
Let u(c) = -c**2 - 4*c - 3. Let p be u(-3). Suppose -3*t + y = 3*y + 42, p = -4*y - 12. Let x = 24 + t. Does 12 divide x?
True
Let d = -12 + 29. Let t = -9 + d. Is t a multiple of 6?
False
Let w be (-3 + 0)*(-12)/(-9). Let x = w - -2. Let d = 6 + x. Is 3 a factor of d?
False
Let x(z) = -z**3 + 2*z**2 + z - 2. Let r be x(2). Let f be (62/4)/((-2)/(-12)). Suppose f = 3*u - r*u. Is 17 a factor of u?
False
Suppose 0 = 6*g - 40 - 248. Is 16 a factor of g?
True
Suppose 3*z + 8 = 20. Let v = z - -7. Does 11 divide v?
True
Suppose 2*f + 0 = 4. Let x(i) be the first derivative of 4*i**3/3 - 3*i**2/2 + 2*i - 3. Is 10 a factor of x(f)?
False
Suppose -2*o + 8 + 3 = 3*n, n = -o + 6. Let a(g) = 3*g. Is a(o) a multiple of 7?
True
Let s(d) = 7*d**2 + 4*d - 8. Is s(2) a multiple of 7?
True
Let q(s) = 9*s. Let b be q(1). Suppose -2*t - 3*l = 5, -t + 1 - 5 = 3*l. Let k = t + b. Is k a multiple of 8?
True
Let w(g) = g**2 + 7*g + 6. Suppose 0 = -4*i - c + 8, 5*i + 3*c = 5 + 5. Suppose t + i*v - 5*v = -14, -6 = t + v. Is w(t) a multiple of 7?
True
Suppose -16*q - 1018 = -18*q. Does 19 divide q?
False
Let w be (6/10)/(2/10). Suppose -w = -g + 7. Is g a multiple of 8?
False
Let t = 30 - 21. Let y = t + -23. Is 12 a factor of (24/7)/((-2)/y)?
True
Let v(s) = 2 + 1 - 2 + s - 2. Let i(w) = -3*w - 2. Let a(z) = i(z) + 5*v(z). Is a(6) even?
False
Suppose 3*u + 0*f - 276 = 3*f, -5*u + f = -468. Let b(c) = -c**3 - c + 5. Let i be b(0). Suppose 2*y - s = s + 40, i*y + s = u. Is 19 a factor of y?
True
Suppose 3*x + 4*j = 13, 5*x = -0*j - 4*j + 35. Let l(v) = -v + 12. Let f be l(7). Let h = f + x. Is h a multiple of 8?
True
Suppose -w = -2*i - 0*w + 28, -i = 4*w - 14. Suppose y - i = -3. Does 11 divide y?
True
Is 8/(-6) + 260/6 a multiple of 7?
True
Let u = -23 + 19. Let s = u + 33. Is 15 a factor of s?
False
Suppose 0 = -4*h + 5*k + 11, -4*k = 4*h - k - 19. Suppose -c - d = 4*d - 25, -h*d = c - 20. Suppose c = -0*q + 3*q - 84. Is q a multiple of 11?
False
Suppose 9*l = 47 + 88. Is l a multiple of 14?
False
Suppose r - 119 + 45 = m, r - 84 = -4*m. Suppose 4*h = -28 + r. Does 6 divide h?
True
Let a(f) = -8*f**3 - 2*f**2 + 2*f. Suppose m + 2 = -0*m. Let c be a(m). Suppose -5*g + c = 4*b - g, -3*b + 42 = 4*g. Is 10 a factor of b?
True
Let m = -33 - -132. Let y = m + -31. Is 11 a factor of y?
False
Let m(p) = p**2 + 8*p + 6. Let k be m(-7). Let q be 2*k - (9 + -2). Is (-24)/q*18/4 a multiple of 12?
True
Let o(h) = -h**3 - 3*h**2 + h + 1. Let r be o(-4). Suppose 0 = -3*v - 11 - r. Let w = -4 - v. Is 2 a factor of w?
True
Let d be (-2)/(-12) - 321/(-18). Suppose -2*w = -5*w - d. Is 9 a factor of 10/(3 + 15/w