d derivative of n**3/3 - 3*n. Is 10 a factor of p(5)?
True
Let r = -15 - -10. Let m be 542/5 - (-2)/r. Let k = m - 76. Is k a multiple of 16?
True
Suppose -10*f = -6*f - 160. Is 5 a factor of f?
True
Let f = -98 + 168. Is 10 a factor of f?
True
Let s(w) = -w + 1. Suppose -15 = -8*i + 3*i. Suppose -4*x + 2*h = 22, -2*x = 3*x + i*h + 44. Is s(x) a multiple of 8?
True
Let u(h) = -2*h**3 + 5*h**2 - 4*h + 4. Let d be u(3). Let f = d - 3. Let a = f - -44. Does 12 divide a?
True
Suppose 12*d = 17*d - 780. Does 26 divide d?
True
Let k(u) = -13*u - 5. Let x(o) = -26*o - 11. Let w(c) = 13*k(c) - 6*x(c). Does 7 divide w(-1)?
True
Suppose 3*h - 6 = 0, -2*h + 10 - 3 = k. Suppose 0 = -k*f - i + 17, -f - 4*f + 26 = 4*i. Is f a multiple of 2?
True
Suppose 475 + 705 = 4*b. Is 51 a factor of b?
False
Let p(v) = -3*v**2 - 4*v. Let l(x) = 4*x**2 + 5*x - 1. Let q(i) = 4*l(i) + 5*p(i). Is 6 a factor of q(-4)?
True
Suppose 6*v = 7*v - 3. Is 3 a factor of v?
True
Let m = 96 + -67. Does 21 divide m?
False
Suppose -6*r + r + 3*y = 9, 0 = -r - 2*y - 7. Let j(t) = -2*t - 2. Does 2 divide j(r)?
True
Let u(k) = -2*k + 7. Let a be u(-7). Suppose 0 = 3*g - a. Is 7 a factor of g?
True
Let r(o) = -o**3 + 7*o**2 - o - 6. Let m be 6/((-9)/3 + 4). Does 24 divide r(m)?
True
Let c = 48 + 12. Does 9 divide c?
False
Suppose 0 = 4*l - 4 + 12. Does 13 divide (-100)/l + 0/(-6)?
False
Let a(p) = 5*p - 1. Let t(c) = 6*c - 1. Let n(v) = v - 12. Let q be n(9). Let i(g) = q*a(g) + 2*t(g). Is 15 a factor of i(-7)?
False
Let h be 1/(-3) - 218/(-6). Let l = h - -21. Let t = l - 35. Is t a multiple of 9?
False
Let x(c) = 3*c. Let w be x(1). Suppose -w*t = -0*t - 15. Suppose 3*s + t - 83 = 0. Is s a multiple of 13?
True
Suppose -4*b + 20 = -2*z, 0 = 5*z - 2*b - b + 29. Let j = z - -24. Let w = j + -2. Is 6 a factor of w?
True
Let z(k) = k**2 - 5*k - 2. Let p be z(4). Let m be 4/p - (-70)/15. Suppose 2*b - 112 = -m*v, v - 16 = 4*b + 12. Is 14 a factor of v?
True
Suppose -16 = j - 126. Is j a multiple of 29?
False
Suppose 3*j - 28 - 50 = 0. Is 16 a factor of j?
False
Let h(x) = -6*x**3 - 2*x**3 + 5 - 4. Let y be h(-1). Suppose 31 + y = 5*j. Is 4 a factor of j?
True
Let a = 5 - 3. Suppose a*m = -3*i + 37, -5*i + 3*m = -43 - 6. Does 6 divide 68/i + 2/(-11)?
True
Is 4 a factor of 402/10 + (-2)/10?
True
Let q(l) = -4*l**3 + 2*l**2 - 1. Suppose 3*k = o - 1, -3*k - 3*o - 6 = 3. Let n be q(k). Suppose 5 = -h + n*y - 5, -4*y + 26 = h. Is 3 a factor of h?
False
Let d be 2/(-6)*2*-9. Let p = d - 3. Let y(w) = 8*w + 2. Does 14 divide y(p)?
False
Let p(i) = 9*i**3 - 12*i**2 + 19*i + 7. Let v(f) = -3 + 0*f**3 - 10*f + 6*f**2 - 6*f**3 + f**3. Let l(h) = 4*p(h) + 7*v(h). Does 8 divide l(5)?
False
Let j(n) be the second derivative of n**5/20 - 5*n**4/12 + 5*n**3/6 + n**2/2 + 2*n. Let t = -7 - -11. Is j(t) a multiple of 4?
False
Let z(n) = 4*n**2 - 4*n - 1. Is z(-3) a multiple of 10?
False
Let c(l) = -l**3 + 6*l**2 + 3*l. Suppose 0*z + 4*z + 4*h - 24 = 0, 3*z + 5*h - 18 = 0. Is 9 a factor of c(z)?
True
Let b(k) = k**2 - 12*k. Let q be b(12). Suppose q = -2*y + 5*p - 15, -y = 4*p - 10 - 15. Suppose -g = 4*g + y*f - 100, 3*g - f - 44 = 0. Does 6 divide g?
False
Suppose 2*t - 4*f - 8 = 0, 4*t - 1 - 9 = 2*f. Suppose -p = -6 + t. Suppose 5*q = -p*i + 56, i + 0*i = -1. Does 9 divide q?
False
Let v = -112 - -61. Let l = 73 + v. Let q = l - 13. Does 4 divide q?
False
Let s = 0 + 7. Let c(q) = q**3 - 11*q**2 - 3*q + 6. Let l(u) = -2*u**3 + 23*u**2 + 6*u - 12. Let z(o) = -9*c(o) - 4*l(o). Is z(s) a multiple of 4?
False
Let m(i) = -67*i - 6. Is 18 a factor of m(-2)?
False
Let q(t) = -4*t**2 - 3 + 3 - 2. Let u be q(2). Is 6 a factor of ((-4)/(-3))/((-2)/u)?
True
Suppose 6*h - 232 + 70 = 0. Is 4 a factor of h?
False
Let g(v) = -v**3 + 3*v**2 - 2*v + 4. Let j be g(3). Does 10 divide (22/4)/((-1)/j)?
False
Suppose 22*b = 17*b - 10. Let c(q) be the second derivative of -q**5/20 - q**2 - q. Does 3 divide c(b)?
True
Let n(g) = 2*g**2 + g + 6. Does 25 divide n(5)?
False
Suppose 2*i = 4*i + 14. Is 14 a factor of 4/(-3)*(i + -14)?
True
Let g(n) = 2*n**2 - 10*n + 8. Does 14 divide g(8)?
True
Let j be (34/8)/(4/16). Let c = j + -12. Is 2 a factor of c?
False
Let a(n) = 136*n**2 + 2*n + 3. Does 30 divide a(-1)?
False
Suppose -z - 5 - 74 = 4*l, 3*l + 64 = 4*z. Let d = 5 - l. Is 15 a factor of d?
False
Let n = 77 - 79. Suppose 6*l + 76 = 4*l. Is -1*(-1)/(n/l) a multiple of 19?
True
Suppose 5*s - 104 = 1. Does 5 divide s + (1 - -1 - 4)?
False
Is 21 a factor of 1 + 257/3 - (-15)/45?
False
Let d(y) be the first derivative of y**3/3 + 2*y - 1. Let v be d(6). Suppose 4*x - 26 = v. Is 7 a factor of x?
False
Suppose -2*z - z = -4*v - 327, 5*z + 5*v = 510. Is z a multiple of 15?
True
Let h(u) = -u - 2. Let z be h(-5). Suppose z*d - 36 = 42. Is d a multiple of 10?
False
Suppose 10*s + 57 = 13*s. Is s a multiple of 3?
False
Let o(t) be the first derivative of t**2/2 + 12*t - 2. Let k be o(-9). Suppose -k*l - 5*r + 144 = 0, 6*l - 3*r - 240 = l. Is 19 a factor of l?
False
Let s = 0 + 0. Suppose s*d + 2*d = 50. Is 10 a factor of d?
False
Suppose 5*g + 476 = 1581. Is g a multiple of 39?
False
Let m(j) = j + 19. Let z be m(-9). Suppose -4*x = 3*n - 0*n + z, -n = -2*x. Is n/(-5) + 136/10 a multiple of 7?
True
Suppose u - 130 = 35. Suppose -u = -l - 2*l. Is 14 a factor of l?
False
Let z be ((-4)/6)/((-3)/(-9)). Does 22 divide ((-264)/(-18))/(z/(-6))?
True
Suppose -1632 = -11*s - 5*s. Does 10 divide s?
False
Let r = -5 + 11. Does 11 divide (-42)/4*(-20)/r?
False
Let a(n) = n**2 + 3*n + 4. Let x be a(-3). Let j(t) = -t + 9. Does 2 divide j(x)?
False
Let n(f) = 84*f**3 + f**2. Let j be n(-1). Let t = j - -133. Is t a multiple of 13?
False
Let w(c) = c**2 + 1. Let b be w(2). Suppose -v + 4 = -b. Is 4 a factor of v?
False
Let k(l) = -l**3 - 5*l**2 - 11*l + 2. Does 14 divide k(-5)?
False
Suppose 4*b + 3*j - 139 = 142, 0 = -5*b - 2*j + 346. Is b a multiple of 20?
False
Let l be -2 - -235 - (-2)/(-2). Let x = l + -135. Let m = x - 66. Is 11 a factor of m?
False
Let r be (-6)/21 + (-2)/(-7). Suppose u - 6 + 3 = r. Suppose -26 - 28 = -u*b. Is 15 a factor of b?
False
Let g(x) = -x**2. Let q be g(0). Let n be 0 + -1 + q - -17. Suppose n = -w + 3*w. Does 8 divide w?
True
Let n = 12 + 45. Is 19 a factor of n?
True
Let y(b) = 2*b**2 - 5*b - 12. Is y(-5) a multiple of 3?
True
Let m = -10 - -55. Is 15 a factor of m?
True
Let n(h) = -2*h - 16. Suppose t + 44 = -3*t. Let r be n(t). Suppose 0 = 2*z - r*z + 20. Is z a multiple of 4?
False
Suppose 0 = 2*q - 15 - 61. Does 8 divide q?
False
Suppose -4 - 14 = -2*p. Is 3 a factor of p?
True
Let j = 386 - 74. Does 26 divide j?
True
Suppose -5*l + 3*v + 0*v = 0, l + 3*v - 18 = 0. Suppose -4*c + l*c = -12. Does 8 divide c?
False
Let l(v) = 12*v + 12*v - 2*v. Does 6 divide l(1)?
False
Let p(g) = 2*g**2 + 7*g + 3. Let f be ((-15)/(-6))/((-1)/2). Is 9 a factor of p(f)?
True
Let r(f) = f**3 + 2*f**2 + 2*f + 2 + 3*f**2 + f + 3*f. Let l be r(-5). Let u = 48 + l. Does 20 divide u?
True
Let r = -8 + 8. Suppose -6*n = -3*n + b + 6, 14 = n - 5*b. Is 15 a factor of (-30)/(r - (0 - n))?
True
Let a be 22/(-3) - 1/(-3). Suppose -10 = 5*g, 2*y + 0 = 2*g - 10. Is a/(-1)*(-36)/y a multiple of 18?
True
Let z be 6 + (-3)/(3/2). Let d be z/1 + -2 - 0. Suppose d*m + 15 = 59. Is m a multiple of 11?
True
Let a(s) = 104*s + 12. Is 11 a factor of a(2)?
True
Suppose -60 = 2*a - 12*a. Is a a multiple of 3?
True
Let m(f) = 13*f + 30. Is 10 a factor of m(3)?
False
Suppose -2*m + 3*g = -15, g - 5*g = -3*m + 21. Let r = 2 + m. Is r a multiple of 5?
True
Let n(m) be the second derivative of 3*m**4/2 - m**3/2 - m. Let p be n(2). Is 4 a factor of ((-5)/15)/((-2)/p)?
False
Let g = 78 + -24. Does 9 divide g?
True
Suppose 0 = -5*t + 15 + 5. Suppose 6 = t*l - 18. Let f = 8 - l. Is f a multiple of 2?
True
Let g(h) = h + 20. Is 23 a factor of g(11)?
False
Let s = 5 + -4. Let h = -3 + s. Is ((-39)/(-6))/(h/(-4)) a multiple of 13?
True
Suppose 0 = 4*i + 5*m - 293, 3*m - 4*m + 145 = 2*i. Let v = 150 - i. Does 21 divide v?
False
Let h be 0 + -2 + (1 - 1). Let t(i) = -3*i**3 - 2*i - 2. Does 26 divide t(h)?
True
Let c(m) = 7*m**3 + 3*m**2 + 5*m - 13. Let j(b) = -4*b**3 - 2*b**2 - 3*b + 6. Let q(u) = -3*c(u) - 5*j(u). Is 9 a factor of q(0)?
True
Suppose -a - 2*a = -231. Let d 