)*5. Suppose -4*v + t*y + 688 = 0, 0 = 5*y + n - 2. Does 19 divide v?
True
Let t(z) = 3*z**2 - 13*z + 7. Let v be t(9). Suppose -s + 5*f = -v, -2*s + 481 = 2*s - 3*f. Suppose 4*o = -3*n + 139, 3*o + 5*n = -0*o + s. Does 18 divide o?
False
Let l(d) = 95*d - 1020. Does 40 divide l(23)?
False
Let f(y) = 14*y**2 - 2*y. Let i be f(-3). Let v be (i/(-14))/((-5)/70). Let h = v + -78. Is h a multiple of 27?
True
Let d(g) = 3*g**2 - 5*g - 35. Let o = 66 - 73. Let h(q) = q**3 + 5*q**2 - 12*q + 7. Let z be h(o). Is 8 a factor of d(z)?
False
Suppose 55*d - 9161 - 10846 = 46*d. Is d a multiple of 6?
False
Let f = 13419 + -13026. Does 22 divide f?
False
Let l(s) = -455*s - 2153. Does 71 divide l(-16)?
False
Let h(w) = 11*w + 17 - 11*w + 3*w. Let v be h(-5). Suppose -x = v*s - 138, 0*x + 3*s = 3*x - 396. Is 23 a factor of x?
False
Let r = 40 - -119. Is 3 a factor of r - ((-23)/7 + (-16)/(-56))?
True
Let x be -9*(0 + 2)/(-6). Suppose 0 = -2*v - 2*k + 4024, -x*v + k + 6064 = -3*k. Suppose -13*u + v = -u. Is 8 a factor of u?
True
Is (-22152)/(-208)*100/3 a multiple of 142?
True
Suppose -34*q - 2225 = -29*q. Let h = q - -1069. Does 24 divide h?
True
Let t(q) = -82*q - 43. Let r be t(-3). Let z = r + 120. Is z a multiple of 28?
False
Is 3*(-25 + 24) - (-7866)/2 a multiple of 58?
False
Suppose 3*w = 2*w + 4. Let o be ((-10)/(-6))/((-408)/(-405) + -1). Suppose -7*q + w*q = -o. Is 25 a factor of q?
True
Let q(x) = 7*x - 15. Let h(o) = o**2 + 16*o - 54. Let t be h(-19). Let v be (-1 - t)*10/(-4). Is 7 a factor of q(v)?
False
Suppose -740784 = -169*c - 49*c + 35*c. Is c a multiple of 11?
True
Let n(c) = 1021*c - 5211. Is n(13) a multiple of 139?
True
Let x(z) = z**3 - 12*z**2 - 12*z - 5. Let y be x(13). Let q = 554 + y. Does 20 divide q?
False
Let s(o) = -15*o - 4. Let j(x) = 15*x + 4. Let a(i) = -3*j(i) - 4*s(i). Let v(l) = l**2 - 5*l - 98. Let b be v(-8). Is 25 a factor of a(b)?
False
Let u be ((-33)/33)/(-1*(-1)/(-7)). Let p(b) = u + 7*b - 20 - b. Is p(13) a multiple of 13?
True
Let z(o) = -o**2 - 36*o - 62. Let n be z(-24). Let h = n + -206. Is 5 a factor of h?
True
Let z be 4696 - (-3 - (-5 - -6)). Let w be ((-12)/(-15))/((-4692)/z - -1). Let u = -308 + w. Is u a multiple of 18?
True
Is 132 a factor of ((-3)/2)/(6*6/(-161352))?
False
Let z be (10 + 11)*2/(-6). Let i be z*((-105)/(-10) + 2/4). Let j = i + 89. Does 12 divide j?
True
Suppose -172*m = 89*m - 2620370 - 3298849. Is 9 a factor of m?
False
Suppose -4*o + 50*v = 54*v - 20140, -10073 = -2*o - 3*v. Is o a multiple of 46?
False
Let x = 54 + 11. Suppose -3768 = -x*n + 53*n. Is n a multiple of 65?
False
Is ((-18 - -3178) + -22)*34*2/12 a multiple of 118?
False
Let c(s) be the second derivative of s**5/20 - s**4/4 - 8*s**3/3 - 4*s**2 + 2*s - 24. Is c(8) a multiple of 19?
False
Suppose -2*i + 44282 = 40*h - 39*h, 2*h + 110669 = 5*i. Is i a multiple of 47?
True
Suppose -65*f = -12*f + 30*f - 1051776. Is 72 a factor of f?
True
Suppose -10*u = -87 + 47. Suppose 4*t = 5*t - 4, 0 = -2*o + u*t + 908. Is o a multiple of 66?
True
Let t = -62 + 66. Suppose -72 = t*j - 5*j. Suppose 12 = -4*g, 2*y - 4*g + j = 4*y. Does 6 divide y?
True
Let u(s) be the third derivative of -s**6/60 - s**5/30 - s**4/24 - s**3/6 - 5*s**2. Let q(m) = -5*m + 2. Let n be q(1). Is u(n) a multiple of 12?
False
Let h be (918/8)/(2/8). Suppose -3*q - h = -4*x - 28, 0 = -3*x + 3*q + 321. Is x a multiple of 10?
True
Let i(j) = 2*j + 2. Let a be i(-1). Suppose a*d + 5*d - 10 = 2*v, -2*v = -d - 6. Does 7 divide d/18 - 372/(-27)?
True
Suppose 2*g - 320*g + 315456 = 0. Is g a multiple of 8?
True
Suppose 326 = -11*z + 9*z. Let d = 89 - z. Is 21 a factor of d?
True
Let q be ((-24)/(-16))/(6/3592). Suppose q = 5*y + l - 0*l, -3*y = -5*l - 550. Let r = y - 120. Is r a multiple of 15?
True
Let h(w) = w**3 + 2*w**2 - 8*w + 4. Let l(r) = r**3 + r**2 - 4*r + 2. Let x be l(-3). Let z be h(x). Let y(o) = -o**2 + 6*o - 2. Is 6 a factor of y(z)?
True
Let h(z) = -72*z**3 + z**2 - z - 2. Let p be h(-1). Suppose -3*l + 81 = -3*g, 15 = 3*g + 3*l + p. Let r = g - -101. Is 18 a factor of r?
False
Suppose 27*b = -18*b + 14*b + 11129. Does 3 divide b?
False
Let s = -63 - -65. Let o be (-6 - 2)/s + -21. Let j(k) = -k**2 - 32*k - 55. Is j(o) a multiple of 15?
True
Suppose -4*g = 3*y + 26, -3*g + 5*g + 20 = -5*y. Let d = 23 + g. Suppose 0 = l - 4*p - 18, -2*p - 6 = -l + d. Is l a multiple of 15?
True
Suppose c + 3 = 4*n, 5*c - 61 = -2*n + 3*n. Suppose 0 = -c*m + 17*m - 48. Does 13 divide 195/2*16/m?
True
Let d(a) = -6*a**3 - 6*a**2 + 21*a - 7. Let o(q) = -9*q**3 - 9*q**2 + 32*q - 11. Let c(n) = -8*d(n) + 5*o(n). Does 19 divide c(4)?
True
Suppose -h + 3*x - 48 + 346 = 0, 4*h = 4*x + 1184. Suppose -2*d - 85 = -h. Suppose 4*n - 336 = -3*r, 0 = -2*n + 5*r + 63 + d. Is n a multiple of 8?
False
Let z(d) = d + 5. Let x be z(4). Let b(o) = o**2 + 11*o + 1. Let f be b(x). Let r = -96 + f. Is 17 a factor of r?
True
Does 8 divide 1*(204 - (77/14)/(-11)*8)?
True
Let f(t) be the second derivative of -53*t**3 + 39*t**2/2 + 13*t - 7. Does 9 divide f(-2)?
True
Suppose -85*c - 122701 + 355856 = 0. Is c a multiple of 27?
False
Let x(g) = -2*g**2 - 18*g + 1. Let i be x(-9). Let q(f) = 51*f + 5. Does 6 divide q(i)?
False
Let b = -35756 + 37484. Is 72 a factor of b?
True
Is 14 a factor of (-54)/(-459) + 120660/51?
True
Suppose -17*y + 18*y = -28. Let f = 49 + y. Let m(b) = b**3 - 20*b**2 - 14*b + 21. Is m(f) a multiple of 30?
False
Suppose 9*j = 4*j - 30. Let k be (1/(3/(-36)))/(9/j). Suppose 5*y + 5*m = 140, m - k = 3*m. Is 8 a factor of y?
True
Let m(z) = -z**2 + 21*z + 2. Suppose -3*h - 3*o + 78 = 0, -2*h - h - 5*o = -88. Let r be m(h). Suppose 3*f = 2*c - 11, -c - f = -r*c + 7. Does 10 divide c?
True
Let y = 213 - 207. Is 11 a factor of y/(15/(-5))*(-298)/4?
False
Suppose -3*n = -6, -3*x + 125 = 2*x + 5*n. Suppose -2*h + 3*v = -743, -x*v + 1892 = 5*h - 19*v. Is 47 a factor of h?
True
Suppose -3*g - 1363 = -7*g + 5*u, g - 327 = 4*u. Let t = -266 + g. Is 16 a factor of t?
False
Let f = 200 + -107. Let k = f - 158. Let c = k + 153. Is 11 a factor of c?
True
Let s(m) = 2*m**2 - 44*m + 215. Let d be s(15). Suppose -9 = 16*j - 19*j, n - d*j - 1138 = 0. Is n a multiple of 81?
False
Let o = -133 - -799. Let u = o - 453. Does 5 divide u?
False
Suppose 2*g + n = 9 - 4, 0 = 3*g + 5*n + 10. Suppose g*o = 3*q + 544, 0 = o - 3*q + 7*q - 95. Is o a multiple of 19?
False
Let m be (-16)/136 - 3098/(-34). Suppose 696 = -87*x + m*x. Is 58 a factor of x?
True
Let o be (5/(-3))/((-10)/12). Let p be (-3 - 0) + (73 + o - -6). Suppose -6*t = -9*t + p. Does 3 divide t?
False
Let d = -34 + 12. Let w(m) = -m**3 - 22*m**2 + 2*m + 47. Let a be w(d). Suppose -i + 96 = 2*s, 8*s - i - 226 = a*s. Does 23 divide s?
True
Let y be (-76)/57*18/(-8). Suppose -5*i - 5 + 1 = y*l, -2*l + 5*i + 14 = 0. Suppose 3*a + a + l*x - 92 = 0, 0 = -4*x - 8. Does 8 divide a?
True
Let j(v) = 25*v - 956. Let t be j(33). Suppose 879 = -0*k + 3*k. Let s = t + k. Does 18 divide s?
True
Let m be -2 + 6 - (-1)/1. Suppose 345 = -4*w + m*w. Does 7 divide (-14)/(-35)*w/6?
False
Let o = 375 + -370. Suppose -5*r = 2*x - 248, -11 = 3*r - o*x - 135. Is r a multiple of 4?
True
Let s = 988 - -10162. Does 5 divide s?
True
Suppose 1 = 6*t - 23. Suppose -5*v + t*a - 2 + 6 = 0, 3*v + 4 = 4*a. Suppose j - v - 18 = 0. Is 11 a factor of j?
True
Suppose -2*u + 3*u + 98 = 5*l, -3*u + 106 = 5*l. Suppose -5*v + 3*f = -50, -3*v + 5*v = 2*f + l. Let j(w) = -w**3 + 10*w**2 + 12*w + 6. Is 13 a factor of j(v)?
False
Let s be (435/10)/(4/560). Suppose -39*y = -7911 - s. Is 31 a factor of y?
False
Suppose d = -11*d + 9756. Let v = -53 + d. Does 39 divide v?
False
Let h(g) = -g**3 + 170*g + 25. Is 75 a factor of h(-25)?
True
Let i = -30097 + 71257. Is 101 a factor of i?
False
Let s(n) = -5*n**2 - 15*n - 2. Let g be s(-9). Let x = g + 302. Is 15 a factor of x?
True
Suppose -f = -5 - 7. Let l be (-1)/(-4) - (-705)/f. Suppose -25 - l = -3*i. Is 3 a factor of i?
False
Suppose 4*l - l = 5*q - 932, -2*q - 5*l + 379 = 0. Suppose q - 11 = 2*f. Is 2/11 - (-4384)/f a multiple of 10?
True
Does 41 divide (3/(-1) - ((-1998)/(-8))/(-27))*820?
True
Let a be -1 - ((100098/3)/(-3) - 0). Is a/66 - (-10)/(-4) a multiple of 37?
False
Suppose -4*v + 546 = -3*m - v, 2*m = -5*v - 336. Let q = m + 33