?
False
Let m(o) = -o + 9. Let z(t) = -t**3 + 4*t**2 - 2*t + 4. Let n be z(3). Let j be m(n). Does 6 divide 174/8 + j/8?
False
Let n = 3131 - 1862. Is 9 a factor of n?
True
Is 47 a factor of (-10 + -2039)/(2/(-4) - 1)?
False
Suppose 2*x - 9 = -y, -2*y - 10 = -x - 3. Let a(d) = 6*d + 4. Let k(h) = -7*h - 5. Let s(u) = 3*a(u) + 2*k(u). Is s(x) a multiple of 5?
False
Let f = 5 + -3. Suppose f*z = 3*l - 19 + 6, l - 3*z - 2 = 0. Suppose -l*a - 14 = -2*s, 0 = 5*s - 4*a - 0*a - 18. Is 2 a factor of s?
True
Suppose 0 = -3*r + 6 + 3. Suppose -3*q + 4 = -r*k + 1, -8 = -2*q - 4*k. Does 18 divide 1*(q - -160)/3?
True
Let d = 103 + 119. Let y = d + -127. Does 19 divide y?
True
Let h(m) = -m**3 - 5*m**2 + 19*m - 21. Suppose -f + 80 = -9*f. Is 34 a factor of h(f)?
False
Let d = -235 + 397. Let a(j) = j**3 - 5*j**2 - 6*j + 5. Let r be a(6). Suppose -r*h + 0*v = -v - d, 2*h - 54 = 4*v. Is 11 a factor of h?
True
Let c be (-94)/(-12) + 6/36. Let i = -8 + c. Suppose o - 25 + i = 0. Is 23 a factor of o?
False
Suppose -2*z + 6*z + 28 = -5*k, -3*k - z - 21 = 0. Let o = -8 - k. Suppose -8*c + 3*c + 125 = o. Is c a multiple of 19?
False
Let d(p) = 2*p - 2. Let y be d(-2). Is 15 a factor of 3/(-6) + (-363)/y?
True
Let x(i) = -29*i - 35. Does 15 divide x(-10)?
True
Is 17 a factor of (-4)/((-252)/1085) + (-2)/9?
True
Let f be (-48)/(-32)*(-596)/(-2). Suppose f = 5*c - 3. Does 15 divide c?
True
Suppose -3*h = -13 - 2. Suppose -213 = h*w - 2*w. Let y = 120 + w. Is 19 a factor of y?
False
Let n = 817 - 577. Suppose i - 2*i - n = 0. Is 17 a factor of (-3)/(-3*(-4)/i)?
False
Let d(x) = -x**3 + 2*x**2 - 1. Let l be d(-1). Suppose v + 4*m - 16 = -l, 4*v = -5*m + 45. Suppose -4*j + 118 = -v. Is j a multiple of 19?
False
Let y(i) = 3*i**3 + 169 + 4*i - 2*i**3 - 176 + 9*i**2. Is 19 a factor of y(-4)?
True
Suppose 3*w - 40 = 4*b, 28 = -w + 5*w + b. Suppose -4*n - 12 = -w*n, -165 = -5*v - 5*n. Is v a multiple of 5?
True
Let u be (-5 - -3) + 5 + 294. Let k = -196 + u. Does 18 divide k?
False
Suppose 2*w + 3*c = -14 + 57, 4*w = 3*c + 41. Suppose w*r - 12*r - 40 = 0. Suppose -r = -z - z. Is z a multiple of 9?
False
Let z = 875 + 58. Is z a multiple of 18?
False
Let d = 180 - -54. Does 9 divide d?
True
Let z be (29*3)/(12 - 11). Let s = z - 74. Is s a multiple of 2?
False
Suppose -5*j + 2*v = 226 - 39, 5*v = 4*j + 136. Let w = j + 28. Let n = w + 20. Is 6 a factor of n?
False
Suppose 0*h + 3*h = -5*m - 43, 4*m = -3*h - 38. Let c be h/(-2) + 30 + 6. Suppose -q + c = 3*f, 5*q = 5*f - 27 - 58. Does 14 divide f?
True
Suppose 14*i = -4*w + 10*i + 628, -w = 4*i - 160. Does 39 divide w?
True
Let v be 124/10 + 10/(-25). Let c be (21/v)/(2/24). Let p = 38 - c. Is p a multiple of 17?
True
Does 17 divide 1/((-3)/(-1536)) + 7?
False
Suppose -18*t + 16*t = -88. Suppose -t = 27*v - 28*v. Is v a multiple of 4?
True
Let w(v) = -4*v**2 + v**2 + 14 - 8*v + v**3 - 22. Is w(6) a multiple of 13?
True
Suppose 118 = -o + 309. Let n = o - 101. Is n a multiple of 15?
True
Let v = 375 - 235. Is 7 a factor of v?
True
Let m(b) = -b**2 - 8*b - 10. Let w be m(-5). Let o be w*-6*2/(-6). Does 10 divide ((-18)/(-10))/(1/o)?
False
Let i(r) = -r**2 - 4*r + 2. Let w be i(-3). Suppose 4*a + 5*b = 22, w*b - b = 2*a - 24. Suppose -4*z - 72 = -a*z - 5*x, 5*z - 90 = -x. Does 9 divide z?
True
Let k = 305 + 175. Suppose -2*b = 6*b - k. Is b a multiple of 6?
True
Let l = -88 + 56. Let x = l + 47. Is x a multiple of 15?
True
Suppose -3*o + 109 = 5*s - 275, 3*o - 5*s - 384 = 0. Is 4 a factor of o?
True
Let w(m) = -7*m**3 + 4*m. Let z be 46/(-253) + (-3)/((-66)/(-40)). Is 11 a factor of w(z)?
False
Suppose 6*p - 6670 = 2450. Does 14 divide p?
False
Let d be (-122)/(-1 + 0) - -2. Suppose g = 5*g - d. Let f = 56 + g. Does 29 divide f?
True
Let z(t) = -12*t + 12. Suppose -h - 2*q = -6, -h - 5*q + 33 = -3*h. Is 10 a factor of z(h)?
True
Let z(v) = -2*v**3 + v**2 - v + 112. Let c be z(0). Let x = 5 + 3. Suppose c = h + x. Is h a multiple of 13?
True
Suppose 0 = -3*y + 2*c + 2428, 5*y + 4*c - 3748 = 306. Is y a multiple of 54?
True
Let b = 0 + 2. Let l(g) = 62*g + 1. Let q be l(b). Suppose 5*n = -2*u + q, -63 = -5*u - 5*n + 287. Does 25 divide u?
True
Suppose 5*v - 3*v - 114 = 0. Suppose 7*w = 8*w - v. Is 19 a factor of w?
True
Suppose 5*h + 4*i + 45 = -0*h, i + 25 = -4*h. Let b(s) = 2*s**2 + 6*s - 2. Does 3 divide b(h)?
True
Let x = 817 + -565. Let t = x + -147. Is t a multiple of 12?
False
Let v(a) = 3*a - a - 3*a - 2. Let c be v(-4). Suppose -315 = -7*y + c*y. Does 15 divide y?
False
Let d(o) be the third derivative of 2*o**5/5 + o**4/8 + 5*o**3/6 - 3*o**2. Is 32 a factor of d(-2)?
False
Suppose -10*s + 8*s = -8. Suppose -s*x = 16, 5*x - 40 = 3*o - 288. Is o a multiple of 19?
True
Let p = 232 - 148. Is (9*p/45)/(1/5) a multiple of 10?
False
Suppose 19*c = -20*c + 88452. Does 63 divide c?
True
Let f(y) = -76*y - 135. Is 15 a factor of f(-13)?
False
Let w = 162 - 143. Let i = 73 - w. Is 6 a factor of i?
True
Let z(a) = a**3 - 52*a**2 + 14*a - 90. Is 11 a factor of z(52)?
True
Let q(g) = 9*g**2 + 2 - g + 0 + 2*g - 4*g. Let m be q(1). Is (-20)/(1 + (-12)/m) a multiple of 10?
True
Suppose f - 13 = -4. Suppose f*v = 6*v + 396. Is 26 a factor of v?
False
Let c = 572 + -296. Does 6 divide c?
True
Suppose 25 - 10 = 5*b. Suppose b*d = 4*a + 88, 0*d + d - 26 = -2*a. Suppose -o - o = -d. Is 7 a factor of o?
True
Let z = -16 + 23. Suppose z*t - 2*t = -75. Is t/(3 - (-30)/(-9)) a multiple of 15?
True
Suppose -572*i + 2835 = -563*i. Is i a multiple of 7?
True
Suppose 3*h - 479 = 4*d + 261, -4*d = -16. Is h a multiple of 18?
True
Let v be (-16690)/(-18) - 4/18. Let o = -653 + v. Suppose -4*c + 2*w + o = 0, -4*c + 81 = -3*c - 3*w. Does 22 divide c?
True
Suppose 319 = 3*k - 179. Suppose 4*p - 70 = -2*q + 28, 4*q - k = 2*p. Is q a multiple of 11?
False
Suppose -4*t + 5*q + 1651 = 0, 221 = -4*t - 2*q + 1851. Let z = t - 189. Is z a multiple of 44?
True
Suppose 3*m + 3 + 3 = 0, -2*f - m = -36. Suppose -u + f - 6 = 0. Is 3 a factor of u?
False
Suppose j + 4*j = 5*l - 10, -2*l + 3*j = -2. Suppose 0 = 3*n + 11 - 5, -5*n + 2 = -l*p. Let g = p - -41. Is 12 a factor of g?
False
Let c be (1 + -3)*(6 + 16). Let z = c + 74. Is 15 a factor of z?
True
Let n be 9 + -2 + -3 + 2748/2. Suppose -n = -11*r + 173. Does 47 divide r?
True
Suppose 1311 = 4*v + 5*f, -v - 4*f + 96 + 229 = 0. Does 5 divide v?
False
Suppose 2 = -3*f + 2*r + 4, 0 = -r + 2. Suppose -2*s - 18 = -f*o, 17 + 13 = 5*o - 2*s. Suppose -2*x - 27 = -z - 4*z, -o*z - 5*x = -15. Does 5 divide z?
True
Let t = -518 - -548. Does 3 divide t?
True
Let i(q) = 4*q**2 + 4*q + 4. Let b be i(-3). Let k be 20/(-2 + 7) - 4/1. Suppose 2*t - b = -k*t. Is t a multiple of 14?
True
Let b be 6/18 + 34/(-3). Is b/(44/(-48)) - 0 a multiple of 12?
True
Let y be 4/(-6) + 296/12. Let u = 42 - y. Is u a multiple of 7?
False
Let d(m) = -m - 3. Let t be d(-3). Is 1 + -5 + (39 - t) a multiple of 20?
False
Let j be ((-21)/14)/(3/4). Is 6 a factor of (-17 + -1)*(j - -1)?
True
Let c(a) = -4*a**3 + 2*a**2 - 14*a - 24. Let x be c(-17). Is ((-1)/(-4))/(19/x) a multiple of 22?
False
Is ((-63)/(-12))/(-8 - 1179/(-144)) a multiple of 14?
True
Let u(g) = 117*g + 198. Is u(5) a multiple of 45?
False
Let k(m) = 35*m**2 - 9*m - 17. Does 28 divide k(-3)?
False
Let o(d) be the second derivative of -d**3/6 - d**2 - d. Let q(z) = 5*z + 66. Let y be q(-14). Does 2 divide o(y)?
True
Suppose -2*u - 9 = -715. Let j = u - 184. Suppose -4*d - 3*l + 2*l + j = 0, 209 = 5*d - l. Does 14 divide d?
True
Let o be -2*3/(30/(-175)). Let p = -35 + o. Suppose 2*r - 4*r + 114 = p. Is 14 a factor of r?
False
Let c(o) = -o**3 - 10*o**2 + 10*o - 5. Let f be c(-11). Let y(a) = a**3 - 4*a**2 + 6*a - 9. Is y(f) a multiple of 33?
True
Let j(m) = -14*m**3 + 4*m**2 + 4*m - 3. Let o(l) = l**3 + l**2 - 1. Let q(r) = -j(r) + 4*o(r). Is q(2) a multiple of 27?
True
Let m = 850 - 604. Is m a multiple of 21?
False
Let n = 1009 + -649. Is n a multiple of 9?
True
Suppose 319 = -5*l + 1919. Is l a multiple of 8?
True
Let l(o) = 2 - 1 - 4 + o**3 + 5*o - 4*o**2. Let t be l(3). Suppose t*g - 150 = -2*g. Does 10 divide g?
True
Suppose 23*t - 27*t + 1248 = 0. Is t a multiple of 12?
True
Let c(w) = w**3 + 5*w**2 - 6*w. Let v = -56 - -60. Is c(v) a multiple of 30?
True
Suppose -9*l = -8*l - 