vide w?
False
Let v(a) = 4*a**2 - 46*a + 274. Is v(76) a multiple of 20?
False
Let q = -6343 + 11285. Is q a multiple of 14?
True
Let h = 166 - 18. Suppose -5*a - 6*o + 797 = -7*o, 4*o = a - h. Is 80 a factor of a?
True
Is 8 a factor of -5 + 114/21 - (-19)/((-1064)/(-1060560))?
False
Suppose 0 = -4*u - 5*p + 917, 8*p - 38 = 2. Does 5 divide u?
False
Suppose -3*z + 3*b - 18 + 15 = 0, 5*z + 47 = -2*b. Let g(t) = 21 - 22*t + 2*t + 2. Is 21 a factor of g(z)?
False
Let v be 24/96 + (9117/12 - 2). Suppose 0 = -q - 3*j + v, 0 = 3*q + 4*j - 7*j - 2226. Is 44 a factor of q?
False
Let m = -389 + 392. Suppose -5*n = 3*o - 167 - 59, m*o = 5*n + 236. Is 11 a factor of o?
True
Let d(w) be the first derivative of 11*w**2/2 - 18*w + 20. Is 6 a factor of d(7)?
False
Suppose 0 = 5404*f - 5397*f - 1680. Does 12 divide f?
True
Suppose 0 = 252*q - 268*q + 517792. Is q a multiple of 88?
False
Let a = 373 + -162. Let z = a - 304. Let k = z - -193. Is k a multiple of 9?
False
Suppose -4*q = -3*r - 6, 2*r = -3*q + 7 + 6. Suppose 3*h - j - 294 = 0, r*j - 306 = -3*h - 12. Is 7 a factor of h?
True
Let y(t) = 44*t**2 + 24*t - 124. Is y(8) a multiple of 28?
True
Let u(i) = 12*i + 40 - 14 - 27 - i**3 + 12*i**2. Is u(9) a multiple of 12?
False
Suppose -624*a = -615*a - 2907. Is a a multiple of 18?
False
Suppose -19*d + 62160 + 85728 = -6*d. Is d a multiple of 36?
True
Let l be (-1)/(-4)*0 - (-2 - -2). Suppose -10*r - 2*r + 336 = l. Is 2 a factor of r?
True
Suppose 1132 = 6*u - u + s, -4*s = 12. Is 26 a factor of u?
False
Is ((-3)/2)/(8/48*-9) - -7201 a multiple of 24?
False
Let b be (-221)/(-5) + (-138)/115. Let o = b - -217. Is o a multiple of 5?
True
Let a be (-11297)/(-22) - (-2)/4. Suppose -4*l + a = -518. Does 43 divide l?
True
Does 25 divide (885 + 1 + -1)*5*5/15?
True
Suppose 234*u + 2762 = 240*u - 6706. Is 21 a factor of u?
False
Suppose -34*v - 2110 + 50357 = 8569. Is 5 a factor of v?
False
Let j(f) = -516*f + 141. Let v be j(14). Is 45 a factor of -4*v/90*5/2?
False
Let j(m) = 2*m**3 - 5*m**2 + 8*m - 37. Let i be j(12). Let u = i + -1945. Is u a multiple of 25?
True
Let c be (-10)/(-4) + 3/(-6). Suppose -5*q = c*b - 413, -b + 158 + 49 = 3*q. Does 68 divide b?
True
Let w(c) = -118*c - 22. Let f(l) = 56*l + 12. Let n(x) = -7*f(x) - 4*w(x). Let v be (-1)/3 - 8/(-6). Does 28 divide n(v)?
True
Let t be (3660/14)/((-3)/(-14)). Let v = -713 + t. Suppose -v = -10*n + 1703. Does 11 divide n?
False
Let w = -2534 + 13975. Is w a multiple of 28?
False
Let z(v) = 210*v + 3. Let b be z(6). Let u = -801 + b. Is 22 a factor of u?
True
Let z(m) be the second derivative of m**4/12 - 3*m**2 - 6*m. Let c be z(3). Suppose -c*l - 62 = -200. Is 23 a factor of l?
True
Suppose -w = 4*g - 0*w - 803, g - 5*w = 185. Let b = 311 - g. Is b a multiple of 11?
False
Suppose 26320 = 18*a - 28*a + 26*a. Does 11 divide a?
False
Suppose -4*c = -3*o - 28, 0 = 5*c - 6*c + 4. Let r(j) = j**2 - 2*j - 6. Does 6 divide r(o)?
True
Suppose 358*g - 354*g - 14142 = -5*o, 4*g = -3*o + 14154. Is 45 a factor of g?
False
Does 8 divide (150/24 + -3)/(15/3840)?
True
Suppose -7*k - 14 + 14 = 0. Suppose k = -624*l + 616*l + 2392. Is l a multiple of 13?
True
Let w = -1918 - -3493. Does 15 divide w?
True
Let r = 29280 - 16302. Does 103 divide r?
True
Suppose -x = -3, -111 = -n - 0*n + 5*x. Let u = n - 81. Suppose 0 = -r - s + u + 57, 0 = -3*r + s + 310. Is r a multiple of 13?
False
Let c(n) = n**3 + 5*n**2 - 7*n - 1. Let d be c(-6). Suppose -21 = -d*h - 11. Suppose 5*v - 60 = 4*o, -v + 29 = h*v - o. Does 4 divide v?
True
Suppose k + 11 = 4*b, 4*k + 13 = 5*b + 3*k. Suppose 3*q + 5*h = 244, 0 = b*q - 4*h - h - 121. Does 4 divide q?
False
Let b(v) = -145*v**3 - 68*v**2 - 441*v + 34. Does 58 divide b(-6)?
True
Let s = -24 - -14. Let r(h) = -21*h**3 - 15*h**2 - 31*h - 7. Let t(j) = -16*j**3 - 14*j**2 - 31*j - 7. Let p(a) = -3*r(a) + 4*t(a). Is p(s) a multiple of 31?
False
Let t(x) = x**3 + 8*x**2 + 6*x + 18. Let w(l) = -l**3 + l**2 + 4. Let r(y) = t(y) - 6*w(y). Is 15 a factor of r(5)?
False
Let d = 763 + -746. Suppose 0 = d*n + 3*n - 17340. Is 17 a factor of n?
True
Let o(u) = u**3 + 32*u**2 + 35*u - 89. Let v be o(-29). Suppose -2*y + c = -952, c + v = 3*y + 4*c. Does 25 divide y?
True
Let k(b) = -b**2 + 6*b - 8. Let c be k(-6). Let z = 36 + c. Let r = z + 60. Is 4 a factor of r?
True
Suppose 5*b - n - 16322 = 0, -5*b + 10*b + 4*n = 16337. Does 5 divide b?
True
Let p(s) = 74*s**2 - 25*s + 37. Is p(9) a multiple of 91?
False
Let n(v) = -v**3 + 2*v**2 + 4*v - 14. Let j(d) = d**3 - d**2 - 3*d + 13. Let s(w) = 4*j(w) + 3*n(w). Let c be s(0). Does 8 divide 5*4/c - -38?
True
Suppose 2988*z + 217620 = 3050*z. Is 3 a factor of z?
True
Suppose -49*y + 105368 + 7332 = 0. Does 9 divide y?
False
Let c = -2278 + 3742. Does 12 divide c?
True
Suppose 2*g + 3*d + 323 = 0, 4*g + 2*d + 183 = -459. Let h = g + 484. Is h a multiple of 10?
False
Suppose 21346 = -22*x + 9*x. Let s = 3156 + x. Does 13 divide s?
False
Let z(c) = c**2 + 16*c - 24. Let h be z(-19). Suppose -h = 4*k - 9. Is 21 a factor of (-9 + k)*32/(-6)?
False
Let q(c) be the first derivative of -c**4/4 + 11*c**3/3 + 3*c**2/2 - 16*c + 18. Let k be q(11). Let m(p) = -p**3 + 15*p**2 + 36*p - 6. Is 7 a factor of m(k)?
True
Let u(y) be the second derivative of 0 - 11*y - 21/2*y**2 + y**3. Does 21 divide u(7)?
True
Suppose -4*h + 2*a - a = -7922, -a = 2*h - 3958. Suppose -h = -11*q + 4785. Does 14 divide q?
False
Let n(m) = 6*m**2 + 4*m + 9. Let u(w) = -w**2 + 14*w - 41. Let s be u(7). Suppose d - 4 = -2*a + 2*d, -5*d + s = -3*a. Is 24 a factor of n(a)?
False
Let z be 844/((-2)/1) + (-15 - -13). Is ((-220)/(-40))/((-4)/z) a multiple of 13?
False
Suppose -4*c + 0*n + n = -283, 0 = 2*c - 2*n - 140. Let m = c - -91. Suppose -2*f - 2*x - m = -6*f, -f = -5*x - 18. Is 4 a factor of f?
False
Suppose -1377*f + 3291 = 5*o - 1374*f, -f - 663 = -o. Is 2 a factor of o?
True
Let i(d) = -d**2 - 16*d + 21. Let c be i(-13). Suppose c + 57 = y. Does 11 divide y?
False
Suppose -16*f + 14*f = -18. Suppose 0 = -5*q - f + 59. Does 7 divide (-1064)/(-35)*q/4?
False
Let z = -84 - -30. Let k = 48 - z. Is 51 a factor of k?
True
Let k(i) = -42*i - 25*i + 114*i - 45*i + 8. Suppose m = 4*x + 17, 2*m - 13 = 3*x - 2*x. Is k(m) a multiple of 3?
True
Let t = -1421 + 3156. Does 2 divide t?
False
Suppose -11*x + 25 + 30 = 0. Suppose -25 = -x*y - 0*y. Suppose 4*d - 3*h = -d + 324, 0 = -d + y*h + 78. Is d a multiple of 9?
True
Let r(z) = -17*z + 3 - 9*z - 2*z - 123. Does 18 divide r(-12)?
True
Is 30 a factor of 0 + 2 + 3*(-4)/30*-13870?
True
Let r = -16596 + 17464. Is r a multiple of 4?
True
Suppose 0 = -92*j + 97*j - 10. Is j + (2/2)/(9/324) a multiple of 3?
False
Let r = -6854 + 15686. Is 27 a factor of r?
False
Let d(j) be the second derivative of j**5/20 - 7*j**4/6 + 7*j**3/6 - 14*j**2 + 147*j. Is d(14) a multiple of 4?
False
Suppose -2*b + 4422 = 3*v, -3*v - 139 = -3*b - 4576. Suppose -5*y - v = -5*i - 2*y, -4*i = -3*y - 1179. Suppose 0 = -30*p + 21*p + i. Is p a multiple of 22?
False
Let z(j) = -j**3 + 75*j**2 + 161*j + 46. Does 7 divide z(77)?
False
Suppose 0 = -32*t - 89*t - 28*t + 1434572. Is 36 a factor of t?
False
Suppose -63*d + 24*d + 1170 = 0. Suppose -595 = -d*y + 1085. Is y a multiple of 7?
True
Let j(m) = 2*m + 12. Let u be j(24). Let y be (-8)/u*267*-5. Suppose -5*i + 172 = -y. Is 10 a factor of i?
True
Suppose 333*q - 4672000 = 83*q. Is 174 a factor of q?
False
Suppose -3*c + 14 = 3*f - 7, f = 5*c - 23. Suppose 3*l + 30 = 4*w - 292, 0 = -w + 3*l + 76. Suppose -h + w = 2*r, -f*r + 346 = 3*h + h. Does 11 divide h?
True
Let y be (3 + -1)/((-2)/(-4)). Suppose -2*q + 6*q = y*b - 40, -q + 5*b = 30. Let s(w) = 2*w**2 - 10*w - 7. Is 6 a factor of s(q)?
False
Let u be (-15 - -12)*5/((-30)/(-76)). Does 19 divide (u/3)/(50/(-975))?
True
Suppose -71 = 2*s - 5*p, -3*p - 49 = 3*s + 26. Let z(q) = q**2 - q - 77. Does 21 divide z(s)?
True
Suppose -28*a = -14527 - 19493. Does 17 divide a?
False
Let g = 96 + -68. Suppose 34*j = g*j - 354. Let i = 115 + j. Does 7 divide i?
True
Let x(t) = t**3 - 8*t**2 + 8*t - 16. Let h(a) = -2*a + 18. Let i be h(4). Is x(i) a multiple of 10?
False
Suppose -45*c + 51*c = 1350. Suppose 7*t - c = 27. Is t a multiple of 6?
True
Suppose 65*g - 62*g = 87. Suppose g*f - 15843 = -2503. Does