vide n(v)?
False
Let a(f) = f**3 - 9*f**2 - 9*f + 6. Suppose -5*l = -0*l + j + 27, -2*j - 14 = 2*l. Let g(m) = -m**2 - 7*m. Let d be g(l). Is a(d) a multiple of 8?
True
Let w(a) = 2*a**3 - 18*a**2 + 5*a + 5. Let u be w(9). Let d = u - 47. Suppose -d + 42 = y. Is y a multiple of 6?
False
Let j be (-14)/(-10) - 1 - (-102)/(-255). Suppose j = -4*u - 1131 - 297. Let l = u - -735. Does 54 divide l?
True
Suppose -4727 = -19*p + 30955. Is 41 a factor of p?
False
Suppose 0 = l + 3*r + 1, 0 = -13*r + 10*r - 3. Suppose n + 2124 = 6*n + 3*i, l*i - 1274 = -3*n. Does 27 divide n?
False
Let z(o) = 11*o**3 + 1473*o**2 - 172*o + 315. Is 2 a factor of z(-134)?
False
Is (-4 - -1) + (-9)/(0 - -3)*-205 a multiple of 3?
True
Let h be -10 + 11 - 3/(-1). Suppose -4*p = -16, -h*o + 0*p = p - 992. Is 10 a factor of o?
False
Let i(y) = 3*y**2 - 100*y - 2141. Is i(-26) even?
False
Is 45 a factor of (-9428)/(-3 + 2 - (8 - (-9 - -16)))?
False
Suppose -c + 0*c + 45 = -3*r, 5*r = -2*c - 86. Let a(j) be the second derivative of -j**3 - 7*j**2/2 + 2*j. Does 17 divide a(r)?
False
Let t be ((-1)/1)/((-3)/(-12)*-2). Let d be 3/t*48/3 + 1. Suppose -2*l + d = -9. Is 2 a factor of l?
False
Let k be (-5 - (-10 - -8))*1. Let m(r) be the first derivative of -35*r**2/2 - 15*r - 1. Is m(k) a multiple of 45?
True
Suppose 678 = -13*h + 6216. Suppose 5*c = -5*u + h + 249, -5*c = -3*u + 413. Is 17 a factor of u?
True
Suppose -43682 = -20*y + 35178. Is 39 a factor of y?
False
Is -8 + 22 + -25 - -23685 a multiple of 7?
True
Suppose -4*q - b = -14, 5*q + 4*b - 37 + 14 = 0. Suppose -3*u + 62 + 46 = 2*o, o - q = 0. Is u even?
True
Let u = -101 - -103. Is 11 a factor of 232/u - (-1 + -4)?
True
Let v = -20 + 25. Suppose -4 = -6*f + v*f. Suppose -19 - f = -y. Is 5 a factor of y?
False
Let i(f) = 39*f - 1. Let z be i(1). Suppose 3*j - 4*j - s + 16 = 0, -2*j + z = 5*s. Suppose 3*t - j = t. Is 2 a factor of t?
False
Suppose 9*h + 2*x - 3592 = 0, 0 = -367*h + 365*h - 3*x + 788. Does 7 divide h?
False
Let y = -30 - -31. Suppose 11 = 4*k - y. Is 11 a factor of ((2 - 60) + k)/(-1)?
True
Is ((-3)/(-9))/(73/39858) a multiple of 20?
False
Let g be ((-1)/(-1) - 17)*(-8446)/328. Let f = g - 35. Is f a multiple of 13?
True
Let d be (-23)/138 + (-146)/(-12). Suppose -d*z + 22*z = 870. Does 10 divide z?
False
Suppose -9*r + 443 = -565. Suppose 3*a - 289 = -4*d, 2*a + d = r + 84. Is 4 a factor of a?
False
Let w(g) = -2*g - 31. Let a be w(-20). Is (2 - a)*(4 - 33) a multiple of 7?
True
Suppose -22*g + 68 = -26*g. Let i(w) be the second derivative of w**5/20 + 4*w**4/3 - 10*w**3/3 - 16*w**2 + 2*w. Is i(g) a multiple of 8?
False
Suppose -741 = -5*c - 721, -10228 = -2*p + 3*c. Is 20 a factor of p?
True
Let h = 5792 + -3558. Is 18 a factor of h?
False
Suppose 6*s - 14301 = -8901. Is 90 a factor of s?
True
Suppose -368 = -4*p - 2*v, -2*p + 188 = 4*v - v. Let t = p + -89. Suppose -5*z + 4*l - 133 + 317 = 0, t*l = z - 38. Is z a multiple of 12?
True
Let h be (17 + -13 - (5 + -1)) + 122. Suppose 0*f - f = 86. Let i = h + f. Is 4 a factor of i?
True
Suppose 4*t - 21260 = 4*g, -4*t + g + 21233 = 6*g. Is t a multiple of 80?
False
Suppose -131*q + 175354 = -5104 - 977. Is q even?
False
Let p = 23571 + 8097. Suppose 94*k - p = 68*k. Is 40 a factor of k?
False
Let s be (-16)/(-6)*6/(-4). Let j = s - -7. Suppose 2*h - 5*p = j*h - 69, -3*h + 233 = 2*p. Is 33 a factor of h?
False
Let k be (-8)/4 + (0 - -4). Suppose l - 2 = m + 10, -l - k*m + 21 = 0. Is 14 a factor of l + (11/(-55) - 4/5)?
True
Let h be (-5)/((4 + -2)*(-2)/1724). Suppose h = 12*i - 845. Does 31 divide i?
False
Suppose -6*q = -16811 + 5951. Is 58 a factor of q?
False
Suppose 2*x - 2 = -32. Let s = x - -18. Suppose s = 4*z - 333. Is z a multiple of 21?
True
Does 3 divide (-2)/4 + (13114/4 - (-4 - 6))?
True
Suppose 0 = -12*d - 29350 + 196834. Is 96 a factor of d?
False
Let g = 48 - 46. Suppose 0 = p - g*v + 80, v = -v + 8. Let i = p + 193. Is 29 a factor of i?
False
Let j(h) = h + 25. Suppose -6*x - 49 - 35 = 0. Let c be j(x). Suppose 13*a - 48 = c*a. Does 10 divide a?
False
Let r = -1611 - -4041. Is r a multiple of 135?
True
Is 1054 + (-110)/((-176)/16) a multiple of 28?
True
Let a = -3381 - -3427. Is 23 a factor of a?
True
Let v(t) = 5*t**2 + 4*t + 8. Let d be v(6). Suppose -b + d = -4*l, -591 = 2*b - 5*b - 3*l. Is 25 a factor of b?
True
Suppose -10280*n = -10293*n + 176540. Is 20 a factor of n?
True
Let q = -5815 - -11764. Does 23 divide q?
False
Let x(o) = 2*o**2 + 9*o + 28. Suppose -4*p + 130 = 6*p. Let s = 5 - p. Is x(s) a multiple of 15?
False
Suppose 1 = 3*w + 4. Let s be (-195)/(-26) + w/(-2). Let m(x) = 2*x - 9. Is 7 a factor of m(s)?
True
Let y(q) be the third derivative of q**6/120 - 3*q**5/20 + 5*q**4/8 + 3*q**3/2 + 27*q**2. Let v be y(7). Is 13 a factor of (-8)/(v/(-52) + (-4)/(-26))?
True
Let q = -8083 - -8959. Is 9 a factor of q?
False
Let c(x) = -80*x - 96. Let h(l) = 7*l + 9. Let r(o) = 5*c(o) + 56*h(o). Let n be (12/(-10))/((-1)/(-5)). Is r(n) a multiple of 10?
False
Suppose -u - 4*y + 5495 = 0, 6*u + 1292 = 5*y + 34378. Is u a multiple of 11?
True
Is 22 a factor of (4980/240)/((-2)/(-176))?
True
Let c(t) = t**2 - 7*t + 10. Let n be c(3). Is -29 + 33 + -1 + (258 - n) a multiple of 32?
False
Suppose 2*c - 11984 = 3*b + 7727, 0 = 5*c + b - 49337. Does 5 divide c?
False
Let n = 7928 - 6642. Is n a multiple of 5?
False
Suppose -3*r - 3 = -9. Suppose -2*l - 5*m + 191 = 0, l = -4*l + r*m + 405. Is l a multiple of 28?
False
Let n = -903 - -5759. Is 17 a factor of n?
False
Suppose 3*h = -2*d + 10, -4*d - 12 + 32 = -h. Suppose -2*y = -3*y - 5, -d*c + 535 = -3*y. Suppose -x + c = x + 5*k, -4*k + 226 = 5*x. Is x a multiple of 42?
True
Is 14 a factor of 1701560/1236*(-1 + 4)?
True
Let g(k) = -642*k - 1440. Does 33 divide g(-8)?
True
Let c = -115 + 124. Suppose z - 4*u = 56, -8*z + c*z = 5*u + 54. Is z a multiple of 4?
True
Suppose -k - 216 = -3*q + k, -q - 5*k = -72. Let n = q - 107. Is 28*9/(-45)*n/4 a multiple of 7?
True
Is ((9 - 28/3)*389)/(2/(-774)) a multiple of 21?
False
Suppose -2*l - 1447740 = -46*l - 61*l. Is 9 a factor of l?
True
Does 15 divide (-9)/(-2)*(-59)/(1475/(-6750))?
True
Let d(t) = -t**3 + 52*t**2 - 26*t + 116. Is d(45) a multiple of 142?
False
Suppose -5*m = 11*m - 240. Let g(p) = -p**3 + 12*p**2 + 49*p - 21. Does 2 divide g(m)?
False
Let b(g) = 2*g**2 + 15*g. Let v be b(-10). Let q = v + -35. Is 25 a factor of (23 - 3)*q/4?
True
Let s(t) = -34*t + 53. Let k be s(3). Let x = 20 - k. Does 42 divide x?
False
Suppose 134*y = 130*y + 31812. Suppose 0 = -24*d + 1287 + y. Is 5 a factor of d?
True
Let o = 113 - -3. Let u = o + 269. Is 55 a factor of u?
True
Let v(d) = -6*d - 55. Let t be v(-10). Suppose -11*w + t*w + 1152 = 0. Does 13 divide w?
False
Is 15 a factor of (-5 + (-315)/10)/(2/(-204))?
False
Let c(f) = -2045*f + 2757. Is c(-3) a multiple of 14?
False
Let k(c) = 22*c**2 + 3*c + 2. Let x be k(4). Let n = x - -129. Is n a multiple of 33?
True
Suppose -d = 4*i - 15, -2*d + 15 = 2*i - 3*d. Let g be -16 + (i + -5)*-1. Is ((-8)/g)/((-2)/(-532)) a multiple of 19?
True
Suppose 0 = -123*z + 100*z - 1840. Suppose 216 = i - 3*m, 4*i - 2*m - 914 = -0*m. Let t = i + z. Is 40 a factor of t?
False
Suppose -3*l = 2*l + 4*q - 335, 5*q = 0. Suppose -3*o + 2*m + 65 = 3*m, l = 3*o + 2*m. Does 7 divide o?
True
Let l(m) be the third derivative of -m**6/40 - m**5/60 - m**4/4 - 5*m**3/6 + 25*m**2 - m. Is l(-4) a multiple of 20?
False
Let h(r) = -46*r**3 + 4*r**2 - 6*r - 42. Does 11 divide h(-6)?
False
Let u(i) = -96*i - 528. Is u(-8) a multiple of 15?
True
Suppose -4*z + 19302 = -2*a, 0 = 21*z - 16*z + 3*a - 24100. Is 7 a factor of z?
True
Let d be (1 - (1 + -6))/((-9)/(-486)). Let q = d - -34. Is 11 a factor of q?
False
Suppose -3*k - 25 = -8*k. Suppose 0 = 4*t + k*w + 597, -5*t - 158 = 4*w + 577. Let h = 225 + t. Is h a multiple of 24?
False
Let o = 7381 + -3845. Does 125 divide o?
False
Suppose -5*b + 4*q = -369, 20*b + 4*q + 215 = 23*b. Is b a multiple of 27?
False
Let b be (-5 - 30/6)*(-2)/20. Is 14 a factor of b - -5 - (-39 + 3)?
True
Suppose 273*l + 41580 = 294*l. Is l a multiple of 33?
True
Let f = 867 + -797. Let w(o) = -15*o. Let b be w(-4). Suppose -5*l + f = -b. Is l a multiple of 25?
False
Let r(l) = 374*l**2 - 5*l + 1. Let h be r(-6). Suppose 