e -4*s = -p + 52, 2*p - 118 = 3*s - i. Does 12 divide p?
True
Let x = 11 - -39. Let s = -33 + x. Is 8 a factor of s?
False
Let l(s) be the first derivative of s**4/4 + s**3 + 2. Let p be l(-3). Suppose p = -3*v + 10 + 35. Does 5 divide v?
True
Let o(v) = v + 8. Let p be o(-6). Suppose p*c = c. Let m = c - -10. Is 5 a factor of m?
True
Is 3 a factor of 8*1/20*150?
True
Suppose -2*h + 5*k = -479, -4*h - k = -5*k - 940. Is 8 a factor of h?
True
Let j = 20 + 37. Suppose j = -3*s + 6*s. Is s a multiple of 10?
False
Is 63 a factor of 19326/27 - (-3 + 100/36)?
False
Let h be (-2 + (-2 + -1 - -33))/1. Let u(y) = y**3 - 2*y**2 - y + 2. Let j be u(2). Suppose w = -j*w + h. Does 28 divide w?
True
Suppose -f = -7*f + 126. Let z = 69 + f. Does 8 divide z?
False
Let b(i) = -4*i - 13. Let r(g) = g + 12. Let f be r(-17). Does 5 divide b(f)?
False
Let a(q) = q + 3. Let p(t) = -2. Let o(n) = -4*a(n) - 3*p(n). Suppose -4*s + g - 2 = 15, 5*s - 5*g + 25 = 0. Is o(s) a multiple of 5?
True
Let w = -47 - -587. Is w a multiple of 15?
True
Suppose 20*u - 1450 = 10*u. Is 85 a factor of u?
False
Let n be (-2)/(-4)*(-5 - -5). Suppose -3*f + 4*r + 344 = n, -3*r + 2 = 8. Is 28 a factor of f?
True
Let q = 251 - -695. Does 43 divide q?
True
Let n = 558 - -16. Is n a multiple of 41?
True
Let j(t) = -19*t + 17. Let c be j(9). Let n be (c/(-6))/(2/6). Suppose -2*o - 4*u = -136, 5*o - u - 439 + n = 0. Is 22 a factor of o?
False
Let s be 1 + (-3 + 0)*-1. Suppose -s*v + 35 = -69. Is 13 a factor of v?
True
Suppose -o + 93 - 50 = 0. Does 8 divide o?
False
Let c = 12 - 14. Is 407/55 - c/(-5) a multiple of 3?
False
Suppose -19711 = -23*z + 51014. Is z a multiple of 25?
True
Does 4 divide (6 - 405/63) + (-591)/(-7)?
True
Let s(j) = j**3 - 14*j**2 + 14*j - 7. Let n(c) = 2*c**3 - 27*c**2 + 27*c - 13. Let a(p) = -3*n(p) + 5*s(p). Is a(8) a multiple of 8?
False
Let z be 9/4 - (-6)/8. Let n = z + 2. Let p(x) = 2*x**2 - 6*x + 2. Is p(n) a multiple of 22?
True
Let i(k) = -k**2 - 9*k + 8. Let m(t) = 3*t**2 + 18*t - 16. Suppose 5*p - 3*p = -4. Let b(u) = p*m(u) - 5*i(u). Is b(6) a multiple of 8?
False
Suppose -y - 29 + 34 = 0. Suppose t = -2*t + 189. Suppose 5*r - y*d - t = 3*r, 2*r = d + 51. Is 13 a factor of r?
False
Suppose 2*x - 18 = -x. Does 16 divide -1*x*116/(-12)?
False
Let a(r) = 2*r**2 + 4*r - 2. Does 14 divide a(3)?
True
Suppose -5*d + 47 = v + 3*v, 17 = 4*v - 5*d. Let s be ((-23)/2)/((-4)/v). Let n = 2 + s. Is n a multiple of 22?
False
Suppose -4*j + j = -3*b - 27, -3*j + 22 = -2*b. Is 10 a factor of -5*(-1)/j*(39 - -1)?
True
Let w(j) = -j**2 + 14*j + 20. Let l be w(15). Suppose 2*m - 276 = -4*f + 5*m, -l*f = 3*m - 345. Is 23 a factor of f?
True
Let f = -54 + 9. Let m = 12 + f. Let h = m + 48. Is 15 a factor of h?
True
Is 15 a factor of (-4)/(-3)*1098/12*1?
False
Suppose -2*r - 25 = -z, -z = 3*r - 4*z + 30. Let c = -6 - r. Does 14 divide 9/((-4)/((-60)/c))?
False
Let v(t) = -3*t**2 - 6*t - 7. Let y(q) = -2*q**2 - 7*q - 6. Let o(c) = -c**2 + 4*c + 1. Let f be o(5). Let g(d) = f*y(d) + 3*v(d). Does 11 divide g(7)?
False
Suppose 2*k = 4*p + 944, -5*k - 6*p + 2*p = -2290. Is 21 a factor of k?
True
Suppose -19 = f + k - 0*k, -f - 21 = -k. Does 12 divide -2 + (-436)/(-10) + (-8)/f?
False
Suppose 8 = 6*i - 8*i. Let y be i/5*935/(-22). Let o = 52 - y. Does 18 divide o?
True
Let b(g) = -17*g**2 + g. Let w be b(1). Let p = -20 - w. Let t = p + 10. Is t a multiple of 3?
True
Suppose 3*y - 2*k - 1 = 0, -y - 2*y - 3*k + 21 = 0. Let u be (-2)/((-8)/132) - -1. Suppose -y*v + t = -u, 0 = 3*v - 3*t + 4*t - 26. Is 10 a factor of v?
True
Let n be (5 - (0 - -3))*451/(-22). Let f = n + 75. Is 34 a factor of f?
True
Let r(q) be the third derivative of 8*q**5/15 - q**4/24 + q**3/6 + 11*q**2. Let g be (-4)/(-2)*2/4. Is 10 a factor of r(g)?
False
Does 27 divide 2/10*-4 + 172524/55?
False
Let h(k) = 203*k**2 - 28*k + 47. Is 4 a factor of h(2)?
False
Let o(k) = 111*k + 306. Does 79 divide o(19)?
False
Suppose 3*l - 6 = l. Suppose -3*x = g - 22, -x = 2*x - 15. Let a = g + l. Is a a multiple of 10?
True
Let y = -190 - -210. Does 11 divide y?
False
Let z(p) = -p**2 + 3. Let x be z(0). Suppose -x*d - 2*l + 2 + 1 = 0, -5*l = -d + 18. Suppose -3*o = 3, d*u - 50 = -4*o + 3*o. Is 9 a factor of u?
False
Suppose -3*z = -4*v + 5, -4*z = z - 5*v. Suppose -2*b + 174 = -j, -z*b + 2*j = -239 - 195. Is 20 a factor of b?
False
Let r(w) = w**3 + 5*w**2 - 2*w - 6. Let d be r(-5). Let z be d + -1 - (-142 + 6). Suppose -3*y + y + 96 = -b, z = 3*y + b. Does 13 divide y?
False
Let h(d) = 19*d**2 - 10*d - 14. Does 51 divide h(8)?
True
Let x = -4626 + 6614. Is 14 a factor of x?
True
Suppose 3*p - 158 = -62. Does 8 divide p?
True
Let x(s) = s**3 - 4*s**2 + 3*s - 9. Let d be x(4). Suppose d*f = 415 - 7. Suppose -q + 5*q = f. Is q a multiple of 17?
True
Let j(d) = d**3 + 13*d**2 - d - 18. Let g be j(-13). Let a(x) = -x**2 - 4*x + 5. Let c be a(g). Suppose c = -5*m + 193 + 12. Is 16 a factor of m?
False
Let t(h) be the first derivative of -h**5/120 + 5*h**4/24 + 3*h**3 + 8. Let s(y) be the third derivative of t(y). Is s(-5) a multiple of 7?
False
Let u(t) = -t**2 - 1. Let s(z) = -8*z**2 + 6*z - 6. Let p(g) = -s(g) + 6*u(g). Does 3 divide p(4)?
False
Suppose -281 = -5*h + t, 5*t + 2 = -3. Is 19 a factor of h?
False
Let v be 92 + -3 + 1 + -1. Let a = v + 33. Suppose a = n + 23. Is n a multiple of 33?
True
Let x be (3 - -31 - -3) + 3. Suppose -2*b + 284 = x. Suppose -2*i + 5*u + 119 = 0, 2*u = -2*i + 4*u + b. Is 15 a factor of i?
False
Let g = -16 + 25. Suppose 0 = 6*n - g*n + 228. Is 15 a factor of (-7)/(-14)*1*n?
False
Is 63 a factor of 3*(6 - (-1803)/9) + 2?
False
Let s(a) = -a**2 + 25*a - 8. Is s(24) a multiple of 8?
True
Let n(i) = i**3 - 12*i**2 + 14*i + 7. Let j(b) = -b**2 + b + 1. Let a(r) = -4*j(r) + n(r). Is a(7) a multiple of 6?
True
Suppose 4 = k - 8. Let p(d) = -6*d**2 + k*d**2 - d**3 - 6 + 0 - 2*d. Does 6 divide p(5)?
False
Suppose 4*v = -7*r + 3*r + 20, 4*r = -3*v + 20. Suppose 0 = 5*d - r - 30. Is (114/(-8))/(d/(-28)) a multiple of 17?
False
Let w(b) = 5*b**2 + b. Let k be w(-1). Suppose -160 = -2*l - o, -87 = -l - o + k*o. Is 27 a factor of l?
True
Is 16 a factor of 88369/21 - (-45)/(-945)?
True
Suppose 2*r - 6 = 2. Suppose z = -r*z + 15. Suppose z*w = 10 + 23. Is 8 a factor of w?
False
Suppose -5*w = -5*j - 1155, 5*w + 0*w + 2*j - 1134 = 0. Does 12 divide w?
True
Let q(y) = 25*y**2 - 2*y + 18. Is 41 a factor of q(-6)?
False
Suppose a - 348 = 4*q, 3*a = 2*a + 5*q + 350. Is 20 a factor of a?
True
Let g be 2 + 1/(3/(-9)). Let k(y) be the second derivative of -41*y**5/10 + y**3/3 + y**2/2 + 5*y. Does 38 divide k(g)?
False
Suppose -4*q - p - 4*p = 38, 5*q - p + 62 = 0. Let i = 18 + q. Is i a multiple of 4?
False
Suppose -28*k - 22*k = -38250. Does 15 divide k?
True
Is (-1 + 39/(-15))/(27/(-90)) a multiple of 4?
True
Let n(m) = -23*m - 20. Let i(z) = 22*z + 19. Let v(g) = 2*i(g) + 3*n(g). Is 13 a factor of v(-5)?
False
Let m be (-11 - -10)*(-1 - -15). Let r(v) = -v + 3. Is 7 a factor of r(m)?
False
Suppose -7*i + 11 = -3. Is ((3/(-2) - 0) + i)*8 a multiple of 3?
False
Suppose 0 = -2*x - 0 + 58. Let o = x + -53. Is 0 + (3 - 1) - o a multiple of 7?
False
Let c(y) = -5*y**3 + 6*y**2 + 10*y + 371. Let h(j) = -j**3 + j**2 + 2*j + 74. Let z = 27 + -16. Let l(b) = z*h(b) - 2*c(b). Does 18 divide l(0)?
True
Let d = -233 - -155. Let h be d/(-21) + 10/35. Is h - (-2 - 6/(-3)) even?
True
Let a be (6/(-9))/(16/888). Let r = a - -50. Suppose -6*t = -149 - r. Is t a multiple of 9?
True
Suppose -11*d + 8620 - 3472 = 0. Does 78 divide d?
True
Let u(h) = -h**3 - 6*h**2 + 2*h - 1. Let d be u(-7). Suppose 2*r + 2*r + d = 5*z, -3*r + 15 = 3*z. Suppose z*b = 4*b + 88. Is 24 a factor of b?
False
Let l(t) = t**3 - 20*t**2 - t + 30. Is 25 a factor of l(21)?
True
Let w(f) be the second derivative of f**4/12 - 4*f**3/3 + 6*f**2 + 10*f. Is w(8) a multiple of 6?
True
Is 2/(-4) + ((-255)/(-10) - -3) a multiple of 7?
True
Let o(g) = -2*g + 12. Let n be o(6). Suppose 2*j - 188 = -u, 3*j + u = -n*u + 284. Does 24 divide j?
True
Suppose r = -3*d + 26, 7*r + 5*d = 4*r + 90. Let a = 146 - r. Is 35 a factor of a?
False
Suppose 4*p - 40 = -5*x, -2*p = -p - 5*x + 15. Let m(a) = 2*a**2 - 8*a + 4. Is m(p) a multiple of 14?
True
Suppose 336 = 2*l + l. Suppose 2*a =