) be the first derivative of v**3/3 + v**2/2 + 2*v + 1. Let d be f(3). Suppose m = d + 3. Is m a multiple of 13?
False
Suppose j + 15 = -4*j. Does 12 divide (-48)/(-10)*(-15)/j?
True
Let n(b) = -2*b**3 - 21*b**2 - 11*b + 8. Is n(-10) a multiple of 11?
False
Suppose 3*k + 5*y + 331 = 4*k, y = -3*k + 913. Does 17 divide k?
True
Let i(t) = 29*t + 4. Let p be i(4). Suppose 0 = 8*h - 3*h - p. Is 12 a factor of h?
True
Let l(p) = -p. Let x be l(0). Suppose -g + 1 + x = 0. Is 10 a factor of (29 + (-2 - -2))/g?
False
Let l = 18 + 8. Let x = l + 9. Is x a multiple of 15?
False
Suppose -z + 7 = 2*x, -3*z - 2 = -4*x - z. Let m(l) = x + 3*l - 7 + 0. Does 9 divide m(6)?
False
Let d = 8 + 9. Does 2 divide d?
False
Suppose -t - 5*w = -37, -2*w = -t - 5*w + 33. Is t a multiple of 27?
True
Suppose -3*x = -3*d - 15, x + 2 = 2*d + 9. Let w be (d - -6) + -3 + 4. Is 7 a factor of (105/(-12))/w*-12?
True
Let a = 4 + -8. Let m = a - -12. Does 4 divide m?
True
Let u(v) = -v + 2. Let q be u(-3). Suppose -3*n = -2*d - 4*n + 245, 0 = q*d + 3*n - 615. Suppose f + d = 6*f. Is 10 a factor of f?
False
Let k = 54 - 28. Is 13 a factor of k?
True
Let b(m) = -m**2 - 11*m - 1. Let h(r) be the third derivative of r**6/120 - r**5/12 + r**4/6 - r**3/6 + 4*r**2. Let u be h(3). Is b(u) a multiple of 9?
True
Let s(q) = 0 + 8*q**2 - 4 - 2*q - q**3 - 3*q. Let g be -6 - -11 - (-2 - -1). Is 16 a factor of s(g)?
False
Suppose -2*p = -5*k - 284, p - 2*k + k - 142 = 0. Suppose -p = 4*r + 54. Is (-2415)/r - (-4)/(-14) a multiple of 25?
False
Suppose 112 = t - 0*t. Let o be (-2)/8 + (-42)/(-8). Does 11 divide (-4)/10 + t/o?
True
Let v be 30/20*-2*1. Is 24 - (-1 - v - -1) a multiple of 21?
True
Suppose 5*t - l - 795 = 0, -5*t + 0*l + 3*l + 785 = 0. Is t a multiple of 10?
True
Let q = -60 + 87. Let t(i) = 17*i. Let m be t(1). Let y = q - m. Does 10 divide y?
True
Let b(f) be the first derivative of -f**3/3 - 5*f**2 + 6*f - 3. Is b(-6) a multiple of 10?
True
Let m = 1 + 0. Is (110/(-20))/(m/(-12)) a multiple of 11?
True
Is 9 a factor of (54/30)/(2/30)?
True
Suppose f = 3*r - 9, 2*f = -2*r - r - 9. Is (-74)/f - (-8)/12 a multiple of 11?
False
Suppose -5*k + 461 + 559 = 0. Is k a multiple of 12?
True
Let g = -2 + 5. Suppose g*q + 0 - 42 = 0. Suppose 2*n = q + 2. Is n a multiple of 7?
False
Let z be 12/(-5)*(7 + -2). Is 3 a factor of 4 - (-3)/(z/(-56))?
True
Let g = -93 - -258. Is 26 a factor of g?
False
Suppose -2*i + 54 = -4*k - 26, -i - 3*k + 65 = 0. Is 10 a factor of i?
True
Let b = 3 + -5. Is 13 a factor of (b/(-4))/(3/78)?
True
Suppose 2*l = 7*l - 10. Let r be (0 - 0)/(l/(-2)). Let f = 5 + r. Is 3 a factor of f?
False
Let z be (-71)/(2 - 3) - -1. Suppose z = 7*o - 3*o. Is 7 a factor of o?
False
Let i be (1 - 2)*(4 - 3). Is i/3 + (-364)/(-12) a multiple of 28?
False
Let k(o) = -2*o - 5. Let b be k(-4). Let g = b - -15. Is g a multiple of 8?
False
Let m(r) = -2*r**3 - r - 2*r**3 - 2*r + 2*r + 2*r**2. Is 14 a factor of m(-2)?
True
Let v = -1 - -1. Suppose 2*w = -b + 3*w + 9, -3*b + 4*w + 23 = v. Does 13 divide b?
True
Let v = 40 + -28. Is v a multiple of 8?
False
Suppose -6 = -3*x - 9. Let p(z) = 31*z**2 + 2*z + 2. Let a(u) = 16*u**2 + u + 1. Let k(v) = -7*a(v) + 4*p(v). Does 12 divide k(x)?
True
Let f(w) = -19*w**2 + 4*w + 5. Let l be f(-5). Does 9 divide l/(-18) - (-16)/(-72)?
True
Let t(s) = 14*s - 13. Let p(v) = -7*v + 6. Let w(l) = 9*p(l) + 4*t(l). Let j be w(5). Let k = -23 - j. Is k a multiple of 10?
True
Suppose 2*j = 4*j. Let v(b) = b**2 - 10*b + 3. Let u be v(8). Let s = j - u. Is s a multiple of 5?
False
Let b(j) = -1 - 3*j - 3 - 4*j + 4*j. Is 6 a factor of b(-7)?
False
Let b be ((-17)/(-2))/((-2)/(-4)). Suppose 0 = -4*y + b + 11. Is 6 a factor of y/(0 - (-2 - -1))?
False
Let c = 26 + -20. Is c a multiple of 5?
False
Let u(f) = 21*f**3 - 4*f**2 + 3*f - 2. Is 26 a factor of u(2)?
True
Let k(n) = n**3 - 6*n**2 - 7*n + 3. Let f be k(7). Let d be (f/(-6))/(3/(-48)). Does 22 divide (-2)/d + 1062/24?
True
Suppose 0 = -20*q + 25*q - 30. Is 4 a factor of q?
False
Suppose i + 2*q = q + 159, 3*i - 3*q = 495. Is i a multiple of 23?
False
Suppose 0 = 4*c + 20, -10 = p - 0*p + 3*c. Suppose 2*d - 36 = -p*m, 3*m - m = -3*d + 43. Does 13 divide d?
True
Suppose 0 = 7*p - 4*p - 537. Let l = -120 + p. Is 22 a factor of l?
False
Let c(z) = z. Let t be c(0). Suppose -4*o + t = -16. Suppose -o*h + 7 = -3*h + 3*l, h - 2*l - 22 = 0. Does 16 divide h?
True
Let t(j) = j**3 - 13*j**2 + 12*j - 11. Let r be t(12). Let p = 6 + r. Is 3 a factor of p*(0 - -1)/(-1)?
False
Let h be (1 + -1)/(-14 + 13). Suppose 10*z - 5*z = 3*v + 154, h = 2*z - 5*v - 54. Is 8 a factor of z?
True
Suppose 0*t - 30 = -5*t. Is 5*t/(-45)*-6 even?
True
Let d be 36/10 + (-4)/(-10). Let v = 8 - d. Is 4 a factor of v?
True
Suppose 0 = -3*p + 6, -3*p + 402 = 4*w - 2*p. Let g = w + -55. Is 15 a factor of g?
True
Let n = 485 + -309. Does 22 divide n?
True
Suppose 64 = -6*u + 280. Does 36 divide u?
True
Suppose -s - 3*y + 11 = y, 2*s - 4*y = -14. Let x be 1*(1 - (-2 - s)). Suppose x*g - 2*h + 2 = 30, 0 = -h - 5. Does 6 divide g?
False
Let y be -3*(-1)/(-3) + -14. Let x = y + 35. Is x a multiple of 15?
False
Let a = 136 - 54. Is 31 a factor of a?
False
Suppose -5*z - 6*w = -3*w - 579, 0 = -5*z - 5*w + 585. Is 38 a factor of z?
True
Suppose 0 = 5*s - 9 - 6. Suppose 0*o - s*o = -27. Is 9 a factor of o?
True
Does 17 divide 70/8*(-17 - -21)?
False
Let x(q) = -29*q + 31 + 32 - 251*q. Let i(p) = -9*p + 2. Let a(z) = 63*i(z) - 2*x(z). Is 7 a factor of a(-1)?
True
Suppose 0*u - 5*u = -225. Is 9 a factor of u?
True
Let u = 4 + -12. Let b(m) = -7*m**2 - 14*m - 29. Let x(d) = 4*d**2 + 7*d + 15. Let o(q) = -3*b(q) - 5*x(q). Is 10 a factor of o(u)?
True
Let d(w) = -14*w + 18. Is 11 a factor of d(-6)?
False
Suppose 0 = 3*h, -4*h = j + j - 86. Let g = -20 + j. Is 13 a factor of g?
False
Suppose h - 5*h = -24. Does 2 divide h?
True
Is 2452/18 + (32/36)/(-4) a multiple of 35?
False
Let v be 5/((-20)/12) - -1. Let u(y) = 81*y. Let z(c) = -16*c. Let j(n) = 2*u(n) + 11*z(n). Does 14 divide j(v)?
True
Let i(c) = -c**2 + 9*c + 13. Let g be i(9). Let a = 23 - g. Is a a multiple of 8?
False
Is 1/((-1)/(-4)) + 156 a multiple of 40?
True
Let f(r) = r**3 + 7*r**2 - 5*r + 26. Let k be f(-8). Let m(p) = -2*p**2 - 3*p. Let u be m(-3). Let v = k - u. Is v a multiple of 4?
False
Let r(t) = -t - 4. Let i be r(-7). Suppose y = i*u + 34, -5*u - 3 = -5*y + 127. Is y a multiple of 13?
False
Let v be (-15)/((-4)/8 + -1). Suppose 0 = 2*n - n - v. Is 10 a factor of n?
True
Suppose -5*w + 29 = -41. Does 13 divide w?
False
Suppose -o = 0, -3*o - 12 = -j - 5*o. Suppose z + 9 = -5*x - 9, z - 5*x = j. Let k = 6 + z. Is k a multiple of 2?
False
Let u(l) = 3*l**3 + 2*l + 0*l**3 + 0*l**2 - l**3 - 3*l**2. Let p be u(2). Does 13 divide (-214)/(-10) + p/(-20)?
False
Let m be (3 - 1) + -6 + 0. Does 25 divide ((-20)/(-25))/(m/(-370))?
False
Let c = -12 - -6. Let y = c + 24. Is y a multiple of 9?
True
Suppose g - 4 - 1 = 0. Let p(h) = h**2 - 5*h + 5. Let j be p(5). Suppose -j*d - g = -200. Is 10 a factor of d?
False
Let d(w) = w**3 - w**2 + 26. Let n(o) = o**3 + 4*o**2 - 6*o - 5. Let j be n(-5). Let z be d(j). Suppose -z = -s - s. Is 6 a factor of s?
False
Let b be -2 - (-356)/(-6 - -4). Is b/8*(-48)/20 a multiple of 18?
True
Let k = 14 - 23. Let f = k - -22. Is 12 a factor of f?
False
Let z(k) = k**3 + 4*k**2 - 4*k - 5. Let m be z(-6). Let r = -38 - m. Is r a multiple of 15?
True
Suppose -3*f = -3*t + 78, 3*t = -f - 19 + 89. Suppose -11 = b + 3*q, 3*b + t = 5*q + 61. Suppose b*d - 130 = -d. Is 13 a factor of d?
True
Suppose -5*q = -5*r + 220, 0*r + 2*q + 223 = 5*r. Is 4 a factor of r?
False
Let b = 35 - 21. Does 6 divide (-44)/(-7) - 4/b?
True
Suppose 59 = 3*t + k, 0*t - 4*t = 5*k - 75. Let j(o) = o - 1. Let s be j(4). Does 6 divide 1 + s/(-1) + t?
True
Let a(n) = -2*n + 7. Let o be a(5). Let l = o + 2. Is l + 1*22 - -1 a multiple of 14?
False
Suppose -4*p - 29 + 9 = -4*r, -2*r - 2*p = 2. Let m be (r - -1) + 0 + -1. Suppose 0*j + m*j = 22. Is 11 a factor of j?
True
Let q = -28 - -46. Is 7 a factor of q?
False
Let k(v) = -v**2 - v + 2. Let j be k(-2). Suppose -2*o - 2*o + 144 = j. Is o a multiple of 12?
True
Let f(h) = -34*h**3 + 2*h**2 - 1. Let z be f(1). Does 8 divide 5/(-20) - z/4?
True
Let q be