pose 0 = -6*j + 11*j + 3*z - 406, -j + 72 = -4*z. Does 6 divide j?
False
Suppose -12 = -3*d + 3. Suppose -d*f = -0*f + 20. Is 8 a factor of (f/8 - -1)*46?
False
Suppose 4*z + 3 - 1 = 2*o, 3*z - 2*o = -2. Let v(d) = z*d - 14*d + 2 - 2. Is 8 a factor of v(-2)?
False
Suppose -4*l - l - 10 = 0. Is 19 a factor of (l/3)/((-12)/666)?
False
Let c(y) = y**3 - 11*y**2 - 3*y - 4. Suppose 0 = o - 0 - 11. Let h be c(o). Let m = h - -81. Is m a multiple of 11?
True
Does 13 divide (-5)/15 + (-314)/(-6)?
True
Let f = -39 + 47. Suppose f*a - 453 = 699. Is 8 a factor of a?
True
Let h = 41 + -36. Suppose -22 = -l + 4*u, -5*l + 3*u = h*u. Suppose l*k = m + 43, -2*k - 2*m = 3*m - 73. Is 6 a factor of k?
True
Suppose -12 = -x + 5*u, -3*u - 3 = 5*x - 7. Let r(i) = 2*i**2 + 4*i + 3. Let l be r(-2). Suppose -l*z + 45 = -x*z. Is z a multiple of 23?
False
Let s(v) = 20*v - 84. Is s(6) a multiple of 18?
True
Let l = 121 + 19. Suppose 3*d = -2*d + l. Does 28 divide d?
True
Let j(o) be the third derivative of o**4/24 + o**3/3 + 4*o**2. Let i be j(-2). Suppose 3*t - t - 108 = i. Is t a multiple of 18?
True
Is 2367 + 6*6/36*-7 a multiple of 8?
True
Let b be (3/(-2))/(3/(-618)). Let n = 34 + -30. Suppose 0 = 2*j - j + 2*c - 72, -b = -n*j - c. Does 24 divide j?
False
Suppose 0 = 2*t + 5*s - 532, 5*t - t - s - 1108 = 0. Suppose -4*z + o + t = -166, 4*z - 448 = 4*o. Is 14 a factor of z?
False
Suppose -5*d + 3 = -7. Suppose -d*c - c = -6. Let j(x) = 4*x**2 + 2*x - 3. Is j(c) a multiple of 8?
False
Suppose 2*d - 1049 - 737 = 0. Is 19 a factor of d?
True
Let c(r) = -r + 4. Let h = -28 + 40. Let p = -29 + h. Is c(p) a multiple of 19?
False
Let c = 8 - -1. Suppose x + 5*t - c = 59, 109 = 3*x - 4*t. Suppose -o = -4*o + 4*q + 23, 0 = -3*o - q + x. Is 4 a factor of o?
False
Let i(h) = -9*h + 5. Suppose 0 = 5*a + x - 6, 3*a - x - 6 = 2*a. Suppose 4*v + 4*q = -36, 4*v + 3 = a*v + q. Is i(v) a multiple of 11?
False
Suppose 1116 = 4*r + h, -r - 2*r - 3*h = -846. Is 4 a factor of r?
False
Let z(i) = 12*i**2 + 2*i - 3. Let k be z(3). Does 6 divide (-5)/(-20) - k/(-4)?
False
Suppose 2*h + 1 = -3*r + 12, 4*r = -5*h + 10. Suppose 0 = 3*m - 3, -m + 282 = r*j + m. Is 8 a factor of j?
True
Is 1/(1365/679 - (-2 + 4)) a multiple of 4?
False
Let m(q) = 628*q**2 + 55*q + 104. Does 119 divide m(-2)?
False
Let s(t) = 54*t**3 - t**2 - 4*t - 4. Is 32 a factor of s(2)?
True
Suppose -12*w + 3800 = -3340. Is 17 a factor of w?
True
Let h be 805/(-28)*(-4)/1. Let c = h - 59. Is 8 a factor of c?
True
Suppose 2*w = 12 - 10. Does 29 divide w/1*1080/9 + -3?
False
Let x(u) = 3*u**2 + 4*u + 1. Let r = -15 - -15. Suppose r*c = -3*c - 15. Is x(c) a multiple of 14?
True
Let c(f) = 6*f**3 + f**2 + f - 2. Let x = 22 - 21. Let r be c(x). Does 21 divide r*2*(-26)/(-3)?
False
Let s(f) = 2*f**2 + 66*f + 39. Is 28 a factor of s(-42)?
False
Let s be ((-11)/22)/(3/(-2))*6. Let c(z) = 22*z. Is c(s) a multiple of 25?
False
Suppose -h = 4*h - 25. Let u(k) = k**2 - 6*k - 4*k**2 - 3*k**2 - h + 5*k**2. Is u(-4) even?
False
Is 18 a factor of (-449)/(-5) - -4*(-6)/(-120)?
True
Let n(s) = s + 6. Let o be n(10). Does 14 divide 168/o*28/3?
True
Suppose -4*n = 28 + 36. Let p = n + -3. Is (4 - 1)*(-285)/p a multiple of 9?
True
Let t(m) be the second derivative of 2*m**3/3 - 11*m**2/2 + 8*m. Does 10 divide t(6)?
False
Let r = 1552 + 456. Is 34 a factor of r?
False
Suppose -5*f = -2*f - 6. Let c(l) = l + 2. Let p be c(f). Suppose -14 - 194 = -p*z. Is 14 a factor of z?
False
Let y = -1 - -145. Suppose 27*g - 25*g = y. Does 12 divide g?
True
Suppose -3*a - 3 = 3, -4 = 4*l + 4*a. Let v = l - -27. Is v a multiple of 6?
False
Let j = -79 + 287. Let d = -131 + j. Suppose y - 3*g = 2*g + d, -y - g = -107. Is 34 a factor of y?
True
Let x = 2292 + -798. Is x a multiple of 8?
False
Suppose 2*a = -4, 4*h = 2*h + a + 124. Suppose -5*k - 3*n + h = -37, -5*k + n + 94 = 0. Does 19 divide k?
True
Does 6 divide 5 - 4/(-12)*(0 - -75)?
True
Let c = 3 + -1. Let a(q) = 4*q - q - 6*q**3 - q**2 - q**c + 2. Does 12 divide a(-2)?
True
Suppose 4*f + 2*t - t = 3, -12 = -f + 2*t. Let a be (-7)/(7/(-2))*f. Let v = 10 + a. Is 7 a factor of v?
True
Suppose 42120 = 22*c + 18*c. Is 27 a factor of c?
True
Suppose -1283 = -11*v + 7671. Is 38 a factor of v?
False
Let m(x) = x**2 + 6*x + 4. Let q = -33 - -27. Let i be m(q). Is 116/16 - 1/i even?
False
Let g = -10 + 12. Suppose -22 = 5*m - 4*s, g*m - 4*s = -8 - 8. Let l = 24 + m. Is l a multiple of 15?
False
Let b be (-3)/(-9) + 23/3. Is 5 a factor of b/20 + (-196)/(-10)?
True
Let y = -29 + 34. Does 13 divide (-1140)/(-19) - (y + -2 - 2)?
False
Let d(j) = -22*j**2 + 3*j + 4. Let c be d(-2). Let o be ((-3)/(-9))/((-5)/c). Let w(a) = -a**3 + 6*a**2 + 8. Is 2 a factor of w(o)?
True
Suppose 5*v - 39 + 44 = 0. Is 39 a factor of -2*((-4)/(16/(-118)))/v?
False
Suppose -2*u - o = -2274, -302*u + o = -301*u - 1140. Does 22 divide u?
False
Let k(j) = 27*j + 11. Let b be k(3). Suppose 449 = 5*p - 2*o, 2*p - b = o + 87. Is 13 a factor of p?
True
Let s(f) be the second derivative of -5*f + 0 + 4/3*f**3 - 2*f**2 - 1/12*f**4. Is s(6) a multiple of 6?
False
Let x(l) = -112*l + 66. Does 33 divide x(-4)?
False
Suppose -6*i = 19 - 55. Suppose -17 = i*m - 65. Is 2 a factor of m?
True
Let s(t) = 45*t - 158. Is 22 a factor of s(4)?
True
Let y(c) = 5*c**2 - 15*c + 6. Let x(u) = 4*u**2 - 14*u + 6. Let p(q) = -4*x(q) + 3*y(q). Suppose 6*f - 3*f = 27. Does 12 divide p(f)?
True
Let k(r) = -14*r + 13. Let j(w) = -27*w + 27. Let d(p) = -3*j(p) + 5*k(p). Suppose -30 = -3*o - 2*a, 4*o - 5*a + 14 = 31. Does 18 divide d(o)?
True
Suppose 0 = 5*x - 14 - 16. Let y(r) = r - 5. Let c be y(x). Let o(n) = 46*n. Is 23 a factor of o(c)?
True
Let n be (2 - (-10)/(-6))*9. Suppose 78 - 6 = n*t. Suppose 3*c + c - 172 = -3*d, 4*d = c - t. Is 13 a factor of c?
False
Let c(l) = l**2 + l - 6. Let f be c(-5). Let b be (309 + -1 - -2) + 2. Is 11 a factor of b/14 - 4/f?
True
Let o(u) = -u**3 + 71*u**2 - 370*u - 74. Is 56 a factor of o(65)?
False
Let n(r) = 3*r**2 - 3*r - 4. Let g = -27 - -31. Is n(g) a multiple of 16?
True
Suppose 283 = 23*i - 4202. Is i a multiple of 5?
True
Let z(a) = 6*a**3 - 9*a**2 + 8*a + 8. Let g(f) = 7*f**3 - 9*f**2 + 9*f + 7. Let n(t) = 5*g(t) - 6*z(t). Let r = 7 - 0. Is n(r) a multiple of 15?
False
Let t be 7/49 - (-58)/(-14). Does 7 divide 126/((-2)/t + 4/4)?
True
Let a(r) = 7*r - 14. Is 5 a factor of a(14)?
False
Suppose 5*s - 27 - 8 = 0. Suppose 5*l - 3 = 4*m, l = -0*l - m + 6. Suppose -o = l*n + s, 0 = -5*o - 3*n + 13 + 12. Is o even?
True
Suppose 0 = -5*u + 27 + 53. Suppose -q + 2*q = u. Let z = 36 - q. Is z a multiple of 7?
False
Let d = 77 - -294. Is 53 a factor of d?
True
Suppose -13*b + 10*b + 9 = 0. Suppose -4*t + b*i - 393 = -5*t, 4*t = 4*i + 1492. Is t/4 + 4/8 a multiple of 19?
True
Let l = 689 + -641. Suppose -u = 3*u. Suppose -5*w + l + 52 = u. Does 5 divide w?
True
Let u(m) = 35*m - 266. Is 27 a factor of u(13)?
True
Suppose -16*u = -20*u + 4716. Is 35 a factor of u?
False
Let w = 477 - 23. Is w a multiple of 26?
False
Let l be (-1 - -4)*(-1 - -2). Suppose 0 = -3*f - 3, 119 = l*u - 3*f - 94. Is u a multiple of 19?
False
Let q be (-2)/((-2)/(-4)*(-1 - 1)). Suppose -2*m + 5*y + 5 = 4*y, -3*y = -m + 5. Suppose m*k - 232 = -q*k. Does 7 divide k?
False
Let z(c) = -c**3 - 8*c**2 + 12*c + 14. Let f be z(-9). Let x = 53 + f. Is x a multiple of 18?
False
Let j(w) be the second derivative of -2*w**3 - 3*w**2 + w. Let s be (4/(-1))/4*4. Is j(s) a multiple of 11?
False
Let r(m) = m**3 + 17*m**2 + 48. Does 38 divide r(-16)?
True
Suppose 5*v = 2532 + 823. Is v a multiple of 14?
False
Let q = 0 - -1. Suppose -c - q = -4. Suppose -5*b + 4*d + 90 = 0, 2*d = -4*b + c*d + 61. Does 7 divide b?
True
Let x(n) = -2*n - 2. Let i be x(-2). Suppose -r - 3*r = s - 9, 3*r = -i*s + 3. Suppose 5*u + r - 328 = 0. Is u a multiple of 13?
True
Is 20 a factor of (0 + -2)*-2 + -3 + 459?
True
Let u = -6 + 3. Let w(o) = -49*o - 17. Is w(u) a multiple of 23?
False
Let k be (188/(-6))/(12/(-54)). Suppose 391 - k = 5*r. Is 25 a factor of r?
True
Let c(v) = -4*v**2 + 2*v + 2. Let z(u) = u**2 + 1. Let x(l) = -c(l) + 4*z(l). Is x(2) a multiple of 30?
True
Let w = 7 + -1. Suppose -24 - w = 5*h. Let v = 15 + h. Is v a multiple of 2?
False
Suppose -4*j + 5*u = -20, 0 = 2*j + 3*j - 2*