i a multiple of 6?
True
Let o be (-2)/(-10) - 11/5. Let r(i) = i**2 + i + 2. Let x be r(o). Suppose x*d = 5*w - 174, w + 0*d = -d + 42. Is 19 a factor of w?
True
Let u(o) = 35*o**2 + 15. Let m(i) = 5*i**2 + 2. Let s(c) = 15*m(c) - 2*u(c). Let n be s(-1). Let j(d) = -d**3 + 5*d**2 + 2*d - 7. Is j(n) a multiple of 3?
True
Let h(i) = -i**3 + 9*i**2 - 2*i. Is 24 a factor of h(8)?
True
Let v(s) be the first derivative of -9*s**2 + 3*s + 8. Is 13 a factor of v(-2)?
True
Let q = -30 - -56. Suppose -2*p + p + q = 0. Is p a multiple of 6?
False
Let d = 10 - 6. Suppose -4 + 0 = d*t. Is 14 a factor of (t/2)/(3/(-168))?
True
Let d be (-1)/5 + (-3)/(-15). Suppose h - 29 = -d*h. Is h a multiple of 12?
False
Let f(k) = -k**3 + 10*k**2 - 8*k - 6. Let r be f(9). Suppose r*c + c = 100. Is c a multiple of 8?
False
Let x = -5 - -2. Let h = 1 + x. Let z = 16 + h. Is 14 a factor of z?
True
Let c = 4 + 0. Let l(z) = -2*z**2 + 3*z + 5. Let s be l(c). Does 5 divide (3/(-3))/(3/s)?
True
Let u be 90/8 - 9/36. Let n = u - 0. Is 11 a factor of n?
True
Let r(t) = 39*t**3 + 1. Let o be r(1). Suppose 5*j = -2*n + 6*n - 77, -2*n + 4*j = -o. Is n a multiple of 6?
True
Let y = 13 - -11. Does 9 divide y?
False
Let l be 26 - 4/(0 - -4). Let o = 49 - l. Does 10 divide o?
False
Let s(k) = 3*k**2 + 8*k. Does 20 divide s(5)?
False
Let i(d) = 3*d**2 + d + 4. Is 15 a factor of i(-5)?
False
Let f = 2 + 4. Suppose -2*n = -3*q - 11, f = 2*n - 2*q + 4*q. Is 4 a factor of n?
True
Let m(j) = 16*j**2 + j - 1. Does 7 divide m(-1)?
True
Let z(b) = -b**3 + 15*b**2 - 17*b - 11. Let a be z(13). Suppose 6*y = 2*s + 2*y - a, 0 = -y - 4. Is 16 a factor of s?
False
Let f = 2 + -2. Suppose 2*k + 6 = f, -k - k = -3*p + 84. Is p a multiple of 13?
True
Suppose 0*y = -2*y + 30. Let w be 6/(-2)*-1*y. Suppose -13 + w = j. Is 19 a factor of j?
False
Suppose -2*j + 4*j = -4*c - 16, -16 = -3*j + 4*c. Let m = j - -5. Suppose m*q + 67 = 3*z, 16 = 2*q + 2*q. Is 13 a factor of z?
False
Suppose 3*m = -q + 88 - 30, -5*m - 202 = -3*q. Let k = -32 + q. Suppose 2*z + k = 6*z. Does 4 divide z?
True
Suppose 4*q + q + 24 = 2*t, 122 = 5*t + 3*q. Is 11 a factor of t?
True
Suppose 0 = 3*j - j - 18. Is 6 a factor of j?
False
Let n = 34 - 23. Does 4 divide n?
False
Suppose 3*t = -3*m - 77 - 286, 2*t + 362 = -3*m. Let g be (1/2)/((-3)/m). Suppose -5*a = g - 115. Is 10 a factor of a?
False
Let t(v) = -v**2 - 9*v - 6. Let i(u) be the first derivative of -u - 1. Let q(b) = 3*i(b) + t(b). Is 2 a factor of q(-7)?
False
Let b(t) be the first derivative of -t**4/12 - t**3 + 3*t**2/2 + t + 2. Let k(s) be the first derivative of b(s). Does 3 divide k(-6)?
True
Let t be 6/(-21) + 94/(-14). Let r = t + 15. Is r a multiple of 4?
True
Let z(t) = -t**3 + 8*t**2 - 5*t - 3. Suppose 4*l - 32 = 2*b, b = -5*l - 4 + 37. Does 3 divide z(l)?
False
Let i(t) = 4*t**2 + 2*t + 1. Let n = -3 + 2. Let s be i(n). Suppose -u + s = -11. Is 9 a factor of u?
False
Let k be (6 - -2)*2/4. Suppose k*j + 4*s - 60 = 0, -3*s - s - 52 = -3*j. Is 16 a factor of j?
True
Suppose 10 = 4*c + 2*j - 2, 0 = -5*c + 2*j + 6. Let t(b) = 7*b**3 - 3*b**2 + 3*b - 1. Let s be t(c). Let x = s - 29. Is x a multiple of 10?
True
Does 10 divide (1 - -7)*(23 + -13)?
True
Does 14 divide ((-54)/(-15))/(3*3/45)?
False
Is 8 a factor of 6/(-10) - 163/(-5)?
True
Suppose -4*m - 3*h + 736 = h, -m - 3*h = -194. Let k = m - 105. Does 21 divide k?
False
Let z = -124 - -172. Is 8 a factor of z?
True
Suppose -2*h - 2 = -22. Is h a multiple of 2?
True
Let c(b) = 1 + 4*b + 6 - 2*b. Let d be c(-6). Is 13 a factor of d/(-15) - 154/(-6)?
True
Is (-1685)/(-15) + (-5)/(45/(-6)) a multiple of 16?
False
Suppose -x - 4*x + 75 = 0. Suppose 0 = 5*u + 4*b - 9 - 3, 5*b - x = -5*u. Suppose 2*n + 2*m - 12 = u, -3*n = -2*n - 2*m - 12. Is 3 a factor of n?
False
Let d = -170 + 404. Is 18 a factor of d?
True
Let d = 387 + -255. Is d a multiple of 10?
False
Is (-64)/(4/((-12)/3)) a multiple of 16?
True
Let m = 21 - -59. Is 16 a factor of m?
True
Let k be ((-948)/(-24))/(2/4). Suppose 5*h = -34 + k. Does 2 divide h?
False
Let h(n) = 62*n + 1. Let o be h(1). Is (-484)/(-9) + 14/o a multiple of 18?
True
Is 26 a factor of -2 - (-31 - (-12)/4)?
True
Suppose -m + 3*m = 40. Let n = m - 28. Is (n + 2)*52/(-8) a multiple of 13?
True
Let u(y) = 6*y + 2. Let r be u(-3). Let k = 27 + r. Does 4 divide k?
False
Does 66 divide (-2)/(34/(-33) + 1)?
True
Let i(f) = -f**2 - 18*f - 18. Does 14 divide i(-16)?
True
Does 13 divide 2 + 5*(0 + 10)?
True
Let i = 270 + -156. Is 19 a factor of i?
True
Let x = 291 - 163. Let z = x + -76. Is 26 a factor of z?
True
Let c be 3/(1/(-4)*-6). Suppose -c*t = -t - 1. Is (t - -2)*(0 - -2) a multiple of 6?
True
Let b(s) = -4*s + 6. Is 19 a factor of b(-8)?
True
Suppose 5 = 4*b + 4*w + 1, -5*w = -3*b + 11. Suppose -p + b*p - 3 = 0. Suppose 3*t + 3 - 195 = -p*h, 3*t + 2*h = 187. Is 24 a factor of t?
False
Let y(r) = -4*r**2 + r + 4 - 6*r - 1. Let z be y(-5). Let a = z - -118. Does 15 divide a?
False
Suppose -2*f - f = -45. Does 5 divide f?
True
Let y = -42 + 68. Let n(l) = l - 5. Let p be n(6). Let z = p + y. Does 17 divide z?
False
Suppose 0*s = 2*s - 86. Is s a multiple of 34?
False
Is -1 - (-32 + 1 - -1) a multiple of 6?
False
Is 3 - (4/(-4) + -50) a multiple of 10?
False
Suppose a - 190 - 41 = 0. Does 21 divide a?
True
Let x = 9 - 4. Suppose x*d - 36 = -q + 4*q, d + q = 12. Is 5 a factor of d?
False
Suppose 2*a + 6 + 2 = -4*v, 0 = -5*a + 20. Let r be 34/v*2/1. Let b = 11 - r. Does 19 divide b?
False
Suppose 4*y + 3*d = 130, -3*y + 2*d + 30 = -59. Suppose 2*z = -c - z + 3, c - 3 = 5*z. Let h = y - c. Does 9 divide h?
False
Let o(z) = -z**2 - 8*z - 2. Let r be o(-7). Suppose l - 6 + 25 = -2*b, 3*b = r*l - 9. Is 5/20 - 46/b a multiple of 5?
False
Is 13 a factor of (2 - 5)*(0 + -10)?
False
Let o(s) = 14*s**2 - s. Is 13 a factor of o(1)?
True
Suppose 44 + 36 = 5*y. Suppose -5*l - y = -176. Is 9 a factor of l?
False
Suppose 7*p + 159 = 10*p. Does 16 divide p?
False
Let a(y) = -y**2. Let n(j) = -5*j**2 - j - 1. Let p(l) = -4*a(l) + n(l). Let k(m) = -m**3 + 9*m**2 - m + 6. Let w(z) = k(z) + 3*p(z). Is w(4) a multiple of 19?
True
Let o = -7 - -47. Does 8 divide o?
True
Let n = -71 + 141. Does 35 divide n?
True
Suppose -2 - 6 = -4*i, -g - 7 = -5*i. Does 11 divide 35/g - 20/30?
True
Suppose 4*u + f = -4, u + 11 = 4*f - 7. Let c be -2*(u + 2 + -2). Suppose -x + c = -6. Is 5 a factor of x?
True
Let w(n) = n**2 - 13*n + 4. Let x be w(13). Suppose -x*g + 99 = -g. Is 7 a factor of g?
False
Let s(p) = -3*p - 1. Let u be s(-1). Suppose 2 = -u*j + j. Is (1/j)/(1/(-24)) a multiple of 8?
False
Let t(h) = h**3 + 8*h**2 - 8*h + 6. Let x be t(-9). Is 2 a factor of (x/2)/(7/(-14))?
False
Is (-24)/32 - (-1270)/8 a multiple of 8?
False
Let h(f) = f**3 - 8*f**2 + 8*f - 1. Let d be h(7). Let s(o) = -d*o + 0 + 0. Is 15 a factor of s(-3)?
False
Let y = -125 + 242. Suppose -2*d - d = -y. Suppose -2*u + w = -d, 4*u - w - 83 = -4*w. Is u a multiple of 8?
False
Let f(s) = 12*s**2 + 2*s. Let x be f(-4). Suppose -5*b + 4*t = t - 308, -3*b + x = -t. Let c = -35 + b. Does 13 divide c?
True
Let o = -3 - -11. Suppose 4*g + 0*g = o. Suppose r - 7 = d, -g*d - 2 = -4*d. Is 4 a factor of r?
True
Let r = 5 + -3. Suppose -u + r*w + 1 + 21 = 0, -3*u - w + 45 = 0. Let k = u - 6. Is k a multiple of 10?
True
Let b = -239 - -353. Does 11 divide b?
False
Let l(h) = 3*h**3 - h**2 - 3*h - 4. Is 15 a factor of l(3)?
False
Let g = 15 - 5. Is 17 a factor of 30/(-4)*(-24)/g?
False
Suppose -q = -3*x + 26, -x - 20 = 4*x. Let d = q + 68. Is d a multiple of 15?
True
Let m(i) = -5*i - 9. Is 3 a factor of m(-6)?
True
Suppose 0 = 3*g - 10 + 4. Suppose 0 = 3*b + 2*b + 4*t - 31, -g*b = -5*t + 14. Is b a multiple of 3?
True
Let t = -172 - 1. Is (-4)/(-14) + t/(-7) a multiple of 9?
False
Let d(a) = 12*a - 2. Let m be d(-2). Does 13 divide (m + 0)*(1 + -2)?
True
Suppose 4*l + 5*z = 750, 0*l - 4*z = 4*l - 752. Suppose 8*w = 3*w + l. Is 20 a factor of w?
False
Let g be (4/(-8))/(2/(-8)). Suppose 10 = -f - f - 5*o, -g*o = 2*f + 4. Let n(k) = k + 5. Is n(f) a multiple of 5?
True
Let x = -9 - -15. Suppose 2*t + 52 = x*t. Suppose 3*f - t - 17 = 0. Does 10 divide f?
True
Let v = -12 + 18. Is 6 a factor of v?
True
Suppose 0 = -2*i - 0*i + 30. Is i a multiple of 15?
True
Let h = 7