 - 2, 2*x = 2*p - 16. Does 12 divide p?
True
Suppose p + 2*w - 29 = -3*w, -21 = -p - 3*w. Does 2 divide p?
False
Suppose -4 = 2*o - 52. Suppose -o*s + 23*s + 34 = 0. Is s a multiple of 17?
True
Let k(p) be the second derivative of -p**3/6 - p**2/2 + 8*p. Let j be k(-8). Is 2 a factor of j - (-8)/(1 - -3)?
False
Suppose -1186 = 13*z - 6711. Does 8 divide z?
False
Does 101 divide (10 - 5) + 1303 + (2 - -3)?
True
Let w be 0/(((-25)/(-5))/5). Suppose w = 5*p - 5*z + 35, 3*p - 2*z + z + 13 = 0. Does 3 divide 16 + p/(-9)*3?
False
Let o = 161 + -57. Does 8 divide o?
True
Let m be (-136)/10*(-5)/1. Is -3*(3 + m/(-12)) a multiple of 4?
True
Suppose -2489*g + 2475*g + 6650 = 0. Is g a multiple of 19?
True
Let g = 9 + -8. Suppose 5*m = r - 2, -2*r = m - 5 + g. Is 3/r*84/9 a multiple of 9?
False
Is 69 a factor of (-1106)/(-4) - 90/180?
True
Let h(q) = -24 + 4 + 2*q + 4 + 10. Is 6 a factor of h(7)?
False
Let p(k) = k**2 + k. Suppose 4*f - 2*b + 22 = -5*b, 0 = -f - 2*b - 8. Let t(n) = -2*n**3 - n**2 - n - 2. Let d(g) = f*p(g) + t(g). Is 11 a factor of d(-3)?
True
Let l = 1108 + -58. Suppose l = 3*c + 2*c. Is c a multiple of 14?
True
Let s(b) = b**3 - 10*b**2 - 37*b + 14. Is 20 a factor of s(14)?
True
Is (-6 - (-465 - -2)) + (-2)/2 a multiple of 44?
False
Suppose -294 + 480 = 3*x. Does 2 divide x?
True
Suppose 5*x = n + 21, -3 - 32 = -5*n - 3*x. Is n - (-7)/(-2) - 83/(-2) a multiple of 5?
False
Suppose 7*w = 21*w - 126. Does 13 divide (2 - 1)/(-3) + 525/w?
False
Suppose 2419 - 170 = 4*x - m, x = 2*m + 571. Is x a multiple of 45?
False
Suppose -19*q = -367 - 1742. Does 37 divide q?
True
Let p = 1304 + -432. Is p a multiple of 4?
True
Suppose -42*c = -38*c - 32. Does 3 divide (-8)/(-3)*(-1)/(c/(-36))?
True
Suppose r + 52 = -9. Let q = r - -159. Is q a multiple of 23?
False
Let k(r) = -14*r - 81. Does 4 divide k(-7)?
False
Let x(n) = -827*n**3 - 17*n**2 - 18*n - 2. Is 76 a factor of x(-1)?
False
Let r(i) = -9*i + 9. Let a be r(-4). Suppose 0 = -2*h + a + 7. Is h a multiple of 8?
False
Suppose -5*k = -2*k + 84. Let z be 9*(0 - k/12). Let w = z - -33. Does 17 divide w?
False
Let p(a) = -2*a + 13. Let u(l) = -4*l + 25. Let g(w) = 5*p(w) - 2*u(w). Let c be g(6). Suppose -c*k = -k - 24. Does 12 divide k?
True
Let d(y) = y**3 - 8*y**2 + 8*y + 9. Let z(b) = -5*b**3 + 33*b**2 - 32*b - 36. Let x(p) = 9*d(p) + 2*z(p). Let l be x(-7). Suppose 4*c + l = 90. Does 7 divide c?
False
Let x(v) = v + 1. Let w(a) = 6. Let s(m) = -w(m) - x(m). Let u be s(-7). Suppose -3*t - 6 = q - 39, u = -3*t - 2*q + 30. Does 6 divide t?
True
Let g = -15 - 20. Let m = 7 - g. Does 14 divide m?
True
Let d(v) be the third derivative of v**6/120 - v**5/15 - 5*v**3/3 + 34*v**2. Is 15 a factor of d(5)?
True
Let r(x) = -x + 1. Let h be r(2). Let a = h + 2. Suppose -z - a = -13. Is 6 a factor of z?
True
Let h(u) = -2*u - 17. Let n be h(-12). Let v(k) = -k**2 + 9*k - 1. Is v(n) a multiple of 13?
True
Suppose -2*o = -9*o + 1792. Suppose 5*a - 1358 = u, -a = -0*a + 5*u - o. Is 22 a factor of a?
False
Does 2 divide (-25 + 37)/((-3)/(-20))?
True
Suppose -1041*f - 25872 = -1063*f. Is f a multiple of 24?
True
Suppose 4 = 4*q + 8. Is 6 a factor of ((-15)/(-6))/(q/(-4))?
False
Let n(d) = d**2 - d - 2. Let c be n(-2). Suppose 0*g - c*a = -4*g - 84, 0 = 4*g - 5*a + 79. Let m = g - -36. Does 2 divide m?
True
Suppose -4*n - 14 = 3*z, 7*n - z - 4 = 8*n. Let r(y) = -29*y**3 + 3*y - 1. Is r(n) a multiple of 45?
True
Suppose 0*w = w. Suppose 7*y - 2*y - 5 = w. Suppose 5*r - 29 = y. Is r a multiple of 3?
True
Let d(h) = 15*h**2 - 2*h**3 - 4*h**2 - 3*h - 2*h + 28 + 3*h**3. Is 20 a factor of d(-8)?
True
Suppose 7*u = -3*s + 2*u + 55, u - 5 = 0. Suppose -4*i = -58 - s. Suppose -i*a = -18*a + 45. Is 18 a factor of a?
False
Let r(u) = u**3 - 6*u**2 + 8*u - 4. Let y(g) = -2*g**3 - g. Let i be y(-1). Suppose a + i*a + 3*k = 9, 5*a + 5*k - 5 = 0. Is r(a) a multiple of 13?
False
Let i be (20/3)/((-8)/84). Is 2 a factor of i/(-14)*(-16)/(-5)?
True
Let r(s) = -5*s**3 + s**2 + 11*s - 25. Let j be r(3). Let d = 233 + j. Is 12 a factor of d?
False
Let r be -3*(-4 - -8)/(-4). Suppose -r*j = -u - 185, 4*j + 0*u - 256 = -u. Is 9 a factor of j?
True
Let f(v) = -v**3 - 19*v**2 + 24*v - 19. Does 19 divide f(-21)?
False
Let g(t) = 2*t**2 - 9*t - 6. Let u(r) = -r**2 + 5*r + 9. Let m be u(5). Is g(m) a multiple of 6?
False
Let u(y) = -y**2 - y + 52. Suppose 7*c - 10*c + 9 = 0. Suppose w = c*w. Is u(w) a multiple of 13?
True
Suppose -4*x - 29 = -185. Does 3 divide x?
True
Let p(t) = -t**3 - 19*t**2 - 18*t + 3. Let r be p(-18). Suppose -5 + 11 = 2*y, -13095 = 3*h - r*y. Is h/(-54) - (-2)/9 a multiple of 27?
True
Suppose -530 = -6*b + 1468. Does 33 divide b?
False
Suppose i - 109 = 4*g + 214, -3*g - 246 = 3*i. Let h = g + 140. Is 10 a factor of h?
False
Let t = -10 + 13. Let v be (-12)/(-4)*2/t. Suppose -v*s + b - 7 = -43, -2*b = 2*s - 24. Is 9 a factor of s?
False
Let r be ((-16)/(-6))/((-13)/(-78)). Suppose -10 = 4*s + 5*k, s + 3*k - r = 3*s. Let t = 25 + s. Is t a multiple of 7?
False
Suppose -5*z + 357 = w - 10*z, -4*w - 4*z = -1548. Is w a multiple of 49?
False
Let i(j) be the first derivative of j**3/3 - j**2/2 - 2*j - 5. Is i(3) even?
True
Let q be 2/((-448)/226 + 2). Let t = q + -88. Is 5 a factor of t?
True
Suppose -3*v = -4*y + 6 - 3, 5*v - 3*y = 6. Suppose 4*q + v*g = 209, -2*q + q + 61 = -g. Is q a multiple of 14?
True
Suppose -2001 = 6*g - 11*g + 3*v, -15 = -5*v. Does 58 divide g?
False
Let p = -155 + 195. Does 8 divide p?
True
Suppose -s - 2550 = -2*n, 14*s = 3*n + 12*s - 3827. Does 41 divide n?
False
Let t = 31 - 29. Suppose -4*p - 1 = 3*k, t*p + 0*k - 7 = -3*k. Is 6 a factor of p/(-8)*(1 - -47)?
True
Let f(b) = b - 5. Let s be f(7). Suppose o = q + 20, o + s*q - 24 = -4. Does 5 divide 308/o + (-2)/5?
True
Suppose 3982 = 9*m - 5018. Does 25 divide m?
True
Let n(u) = u**3 - 18*u**2 - 18*u - 14. Let w be n(19). Suppose -a = w*t - 195, a = 4*t - 5*t + 39. Does 14 divide t?
False
Suppose 0 = 34*w - 38*w + 2008. Is w a multiple of 20?
False
Let f(s) = 5*s**2 + s + 54. Is f(0) a multiple of 2?
True
Let n(c) = -c**2 + 7*c - 4. Let p be n(6). Suppose 3*x + 54 = -p*m + 4*m, 4*x + 80 = 3*m. Suppose 8*k + m = 10*k. Does 4 divide k?
True
Let w be ((-24)/(-14))/(-4 + (-2670)/(-665)). Let j = w + -70. Is j a multiple of 23?
False
Let a(b) = b**3 - 39*b**2 + 41*b + 22. Does 4 divide a(38)?
True
Let g be ((-10)/4*2)/(-1). Suppose 4*u = g*b - 31 - 103, 5*b - 142 = 2*u. Does 9 divide (-3 - (-3 + 1)) + b?
False
Let z(b) = -b + 8. Let a be z(6). Is (-215)/(-25) - a/(-5) a multiple of 9?
True
Let l be 30/25*10/4. Suppose 0 = -l*h - 3*f + 1077, 2*h - 714 = -0*h - 4*f. Is 19 a factor of h?
True
Let m(p) = 2*p**2 + 3*p - 9. Let l(i) = i**2 - i + 1. Let b(s) = -l(s) + m(s). Let d(w) = w**3 + 7*w**2 + 4*w - 5. Let k be d(-6). Is b(k) a multiple of 16?
False
Suppose 4*b - 5*s = 828 - 269, -s + 5 = 0. Let u = b + 14. Is u a multiple of 22?
False
Suppose 0 = 3*f - 4 - 11. Suppose -288 + 43 = -f*b. Let n = 120 - b. Does 18 divide n?
False
Suppose -u + j = -4*u + 3176, 3*j - 4238 = -4*u. Is u a multiple of 13?
False
Let t(c) = -350*c + 172. Does 8 divide t(-2)?
True
Let o(j) = 3*j**3 - 8*j**2 + 16*j - 6. Let b be o(6). Let f = -212 + b. Is f a multiple of 14?
True
Suppose -38*r = -39*r + 8. Suppose z + m = 15, -r*z + 7*z + 17 = 2*m. Does 4 divide z?
False
Let q(u) = -u**3 + 5*u**2 + 4. Let h be q(5). Suppose -19 = 3*y - 4*x, -2*y + 0 = -h*x + 18. Is 4 a factor of ((-6)/(-15))/(y/(-10))?
True
Is 57 a factor of (-82)/369 + 40018/18?
True
Suppose -x + 19 = -116. Suppose 170 = 4*h - 2*d, 4*d + x = 3*h - 0*d. Is h a multiple of 8?
False
Let a(s) = -103*s**3 - 9*s**2 + 5*s + 3. Does 28 divide a(-3)?
True
Suppose 6*f - 70 = f. Let v = f - 12. Suppose 4*a - 167 = 5*d, -v*a + 6*d - 4*d + 82 = 0. Does 10 divide a?
False
Suppose -3*x - 1 = 4*a, 0 = 5*x - 2*a - 0*a + 45. Let n = x + 19. Let w = 14 - n. Does 2 divide w?
True
Is 326 + (5 - 4)/((-1)/(-4)) a multiple of 30?
True
Let z(b) = 7*b - 13*b + 1 - 21*b. Is z(-4) a multiple of 23?
False
Suppose 10*j - 27 + 7 = 0. Let q = -98 + 153. Let z = j + q. Does 13 divide z?
False
Let a(i) = -i**3 - i**2 + 34*i + 296. Is 8 a factor of a(-14)?
True
Suppose -5*v = -32 - 133. Let y = v + -28. Suppose -y*r - 2*u + 61 = 0, -r - 2*