r(v) - 9*x(v). Is d(s) a multiple of 9?
False
Suppose -9*m + 1348 = -74. Let q = m + -65. Let d = -49 + q. Is 11 a factor of d?
True
Suppose 32*y = 143*y - 634786 - 172406. Does 18 divide y?
True
Let p(a) = a**2 - 193*a - 786. Let q be p(-4). Suppose 0 = 2*c + 3*d - 1, 3*c - 4*d + 5*d - 5 = 0. Suppose 3*i = 3*k + 5*i - 226, -c = q*i. Is 18 a factor of k?
False
Suppose -14130 = -20*n - 1370. Suppose q - n + 158 = 0. Does 8 divide q?
True
Suppose -3*k - 17*i = -15*i - 17088, -9*i = -k + 5667. Is 13 a factor of k?
True
Suppose -5*l - 2*c - 4692 = 0, 2*l = -2*c - 0*c - 1872. Let i = 1762 + l. Does 29 divide (-5)/15*i/(-2)?
False
Let f(k) = 32 + 19 - 10*k + 39*k - 1. Is 10 a factor of f(10)?
True
Let b(v) = 32*v + 103. Let s(f) = f + 2. Let n(k) = -b(k) + 6*s(k). Is 13 a factor of n(-20)?
True
Suppose 15 = 4*o + 5*p, -3*o + 4*p + 0*p = -19. Suppose -4*y = -o*w - 86, -28 = -0*y - 2*y - 5*w. Let s(b) = -b**3 + 18*b**2 + 21*b + 1. Does 16 divide s(y)?
False
Let r = 145 - 185. Is (-2653)/(-9) - r/180 a multiple of 12?
False
Suppose -3*b + 3 = -3*u, -14*b - 11 = u - 10*b. Suppose -5*l + d + 379 = -3*d, d + 76 = l. Let w = l - u. Is w a multiple of 13?
True
Let a be (3/(-2))/(14/(-308)). Let r = -111 - a. Is 16 a factor of -15*(-13)/((-195)/r)?
True
Let z(f) = 2*f**2 + 44*f + 88. Let p be z(-28). Suppose 0 = 5*i - 4*b - p, 3*b + 8 = 5*b. Suppose -2*o - i = -2*c - 0*o, -2*o + 8 = 0. Is c a multiple of 24?
True
Suppose 42*s + 8739 = 1710033. Is s a multiple of 21?
False
Suppose -50*g - 222968 = -13*g - 604882. Does 26 divide g?
True
Suppose 0 = -6*f - 22*f + 56. Suppose 5*a = 2*o - 1420, -f*a = 20*o - 15*o - 3608. Is 40 a factor of o?
True
Let i be 2/(-4)*2 + -91. Let b = i + 141. Is b a multiple of 7?
True
Let p(y) = y**2 + 19*y + 22. Let v(h) = 4*h**3 - 3 + 2*h**2 + 2*h - 11*h**3 + 8*h**3 + 0*h**2. Let r be v(-3). Does 3 divide p(r)?
False
Let k = -102 + 102. Suppose 5*y + 4*m - 280 = k, -4*y + 11*m = 14*m - 224. Does 14 divide y?
True
Does 47 divide (-5 + 80/15)/((-6)/(-25020)) + 6?
False
Let z(v) = -2*v + 25. Let s be z(11). Is 10 a factor of (s - 8)*1 + (2 - -353)?
True
Suppose 2*p - 156 = -14. Let w = 136 - p. Let s = -2 + w. Is s a multiple of 9?
True
Suppose n - 16760 = -2*k, -k - 3*n + n + 8386 = 0. Is 15 a factor of k?
False
Let a be (5 + -7)*(-1)/1. Suppose -5 = -5*v, -a*k + 6*v + 479 = v. Is k a multiple of 13?
False
Suppose 0 = -r + 65 + 95. Let o = 219 - r. Is 19 a factor of o?
False
Suppose -135*o - 43654 = -140*o - k, -3*o = -3*k - 26178. Is 97 a factor of o?
True
Suppose 3*i - 47774 = -5*p, -3100 = i - 3*p - 19062. Does 8 divide i?
False
Suppose -3*t + 2*w = -6393, 8*w + 4262 = 2*t + 3*w. Is 48 a factor of t?
False
Let c be (27/(-15) + 3)/(6/15). Suppose -3*z + 3*n = -0*n - 6, c*n = z + 4. Suppose 2*y - z*h + 11 - 57 = 0, -y + 5*h = -33. Does 13 divide y?
True
Let b(d) = 309*d**2 + 77*d + 4. Is b(-5) a multiple of 24?
True
Let k(r) = 2*r**3 - 14*r**2 + 5*r + 5. Let p(c) = -c + 1. Let f(m) = -k(m) - 3*p(m). Let g be f(4). Let o = 149 - g. Does 12 divide o?
False
Let y = -52 + 52. Suppose -r - 4*q + 187 = 0, 0 = -3*r - y*r - 2*q + 571. Let u = r - -34. Is u a multiple of 16?
False
Let i = 76744 - 20848. Is i a multiple of 102?
True
Let b(c) = -161*c + 1204. Does 42 divide b(-4)?
True
Let n(v) = 5*v**2 - 19*v + 12. Let c be n(13). Is 1 + c + (-10)/5 a multiple of 6?
False
Let j(c) = 682*c**2 + 45*c - 43. Is j(1) a multiple of 88?
False
Suppose -118*s + 20 = -114*s. Let b be (s/(-2))/((-1)/(-2)). Let u = 51 + b. Does 23 divide u?
True
Suppose 5*v - 4*o - 32494 = 0, 485*v + 25958 = 489*v + 3*o. Is 17 a factor of v?
True
Let s(b) be the first derivative of -b**3/3 - 53*b**2/2 + 200*b + 286. Is s(-28) a multiple of 45?
True
Suppose -17173 - 825270 = -181*i + 522659. Does 6 divide i?
True
Let y(k) be the second derivative of -k**5/20 - 5*k**4/12 - 5*k**3/6 + 19*k**2/2 - 5*k. Let h = 317 + -323. Is y(h) a multiple of 5?
True
Let a = 5626 + -5622. Let q = 11 - 7. Suppose 165 = 5*t + q*u, 5*u - 143 = -a*t - 11. Is t a multiple of 2?
False
Let p(k) = -11 + 28*k - 23*k - 5. Let f be p(4). Does 18 divide 2/f + (-71)/(-2)?
True
Let i(o) = o**3 + 6*o**2 - 6*o + 11. Let j be i(-7). Suppose 3*v + d - 107 = 0, -5*v + 115 = -j*d - 69. Let k = -13 + v. Is 23 a factor of k?
True
Let m(a) be the third derivative of -a**4/12 + 19*a**3/6 + 28*a**2. Does 5 divide m(-26)?
False
Suppose 5*w + 0*w = 4*x + 13, 3*w = 2*x + 7. Does 43 divide 4/w - 9/(63/(-3220))?
False
Suppose -1275681 + 570370 = -74*q + 2305009. Is 72 a factor of q?
True
Suppose 47*l = -42*l + 71*l + 6660. Does 3 divide l?
False
Let s(x) = -4*x - 50. Let i be s(-13). Let o(w) = 2*w + 36*w**i - 2*w - 2 - 5*w - 39*w**2 - 3*w**3. Is o(-3) a multiple of 9?
False
Let u(d) = -143*d - 696. Is u(-12) a multiple of 16?
False
Let z(s) = 43 + 18*s - 17*s + 45*s + 6*s. Is z(9) a multiple of 73?
True
Suppose -9*u + 4173 - 1203 = 0. Suppose -4*x + 3*q - u = -2*q, x + 4*q + 72 = 0. Let c = -70 - x. Does 9 divide c?
False
Let f be ((400/10)/(-8))/((-5)/18). Suppose t + f*l - 11 = 14*l, -4*l - 97 = -3*t. Is t a multiple of 8?
False
Suppose 4*v - 47 = 65. Suppose -v = 28*l - 35*l. Suppose l*d + p = -4*p + 259, -d - 3*p = -70. Is 7 a factor of d?
False
Suppose 152 = 3*x + 2*d, -2*x + 91 + 42 = -5*d. Let b be (-1717)/(-51) - (-1)/3. Suppose -b = 2*f - x. Is f a multiple of 7?
False
Let k be (-5)/(15/9)*-13. Let q be (-6)/k - (-17885)/65. Suppose -3*g = -q - 190. Is g a multiple of 31?
True
Suppose 3*g + 2*w = w + 22, -2*g = -5*w - 43. Let v(j) = j**2 - 6*j - 21. Let r be v(g). Is r*(34/12 + 0) even?
False
Suppose -5*g + q + 1 = 6, -25 = -5*q. Suppose 5*r - 9557 = -3*x, -r + 3*x + 2*x + 1917 = g. Is r a multiple of 65?
False
Let i(w) = -227*w + 1278. Is 24 a factor of i(-6)?
True
Let s = -389 - -560. Is s + ((-3)/(-2) - 12/8) a multiple of 19?
True
Let z = -71 - -81. Suppose 4*j - 3360 = -z*j. Does 10 divide j?
True
Let c(b) = -2*b**2 + 10*b. Let s be c(5). Suppose -4*v + 306 - 19 = -w, -2*w + 10 = s. Is 23 a factor of v?
False
Let n = 51 + 106. Let o = 207 - n. Is o a multiple of 5?
True
Is (-9812)/55*(1 - 148/8) a multiple of 110?
False
Let z(g) = 666*g**2 - 69*g + 198. Does 15 divide z(3)?
True
Let z(a) = 2. Let v(l) = -2*l**2 - l - 13. Let c(u) = -v(u) - 5*z(u). Suppose 2*t + 7 = w + 6*t, 0 = 2*w - 4*t - 2. Is c(w) a multiple of 6?
True
Let c(z) = 142*z**2 + 243*z + 1264. Is 50 a factor of c(-5)?
False
Suppose 2*f - 5269 = -k, f = 5*k + 1315 + 1325. Is f a multiple of 85?
True
Does 42 divide (-8)/(-10)*543*105/6?
True
Suppose 0 = 5*a + 5*h - 52075, -a + 9*h = 4*h - 10379. Is 51 a factor of a?
False
Let z = 1807 + -868. Let a = z + -155. Does 14 divide a?
True
Suppose 6*p - 90 = -0*p. Let y be (-170)/(-4) - (2 - p/10). Suppose -4*k + k = -y. Does 14 divide k?
True
Let i(r) = 58*r**2 - 2*r - 1. Let n be i(-1). Let x = n - -53. Does 8 divide x?
True
Let z(m) = 8*m**2 - 22*m - 8. Let s be z(-11). Suppose 8*w - s - 590 = 0. Is w a multiple of 16?
True
Suppose 9*o = 4*v + 10*o - 398, -5*v = -15*o - 530. Does 12 divide v?
False
Is ((-54)/(-15))/(40/100) - -22125 a multiple of 14?
True
Let d(y) = -631*y - 9937. Is d(-56) a multiple of 122?
False
Suppose 45*y + 23*y - 2347839 = -49*y. Is y a multiple of 25?
False
Let s(a) = a**2 + 5*a - 11. Suppose -15*u - 70 = -5*u. Let f be s(u). Suppose f*l - 137 - 457 = 0. Is l a multiple of 39?
False
Suppose 0*y + 5*a = -2*y + 18, -y = 3*a - 9. Let i(d) = 14*d - 21. Let j be i(y). Suppose 215 = 5*q + j. Is 3 a factor of q?
False
Suppose 3*m = 2*b - 155, -3*b - 2*m = 2*b - 397. Let g = 79 + b. Does 41 divide g?
False
Suppose 9*f - 152 = 55. Suppose -601 = -f*g + 733. Does 29 divide g?
True
Is -2 + ((-9 - -9)/(4 - 2) - -8337) a multiple of 165?
False
Let d be 6/9 + 7/3. Suppose 0 = -d*u - 0*u + 750. Suppose -a = -5*a - o + 500, -2*a + 4*o + u = 0. Is 34 a factor of a?
False
Suppose n - 668 = 5*f - 178, 1016 = 2*n - 4*f. Does 8 divide n?
True
Suppose -5*v - 222 = -4*a, -2*a = -3*v + 38 - 170. Let c = 42 + v. Suppose c = -4*k + 8*k - 1016. Is 14 a factor of k?
False
Suppose 3*d - 3 = k, 5*d + 15 = 3*k - 8*k. Is d/5 + (44/(-2))/(-2) a multiple of 2?
False
Let k = 4411 + 2986. Is k a multiple of 13?
True
Let h(v) = v**2 - 17*v + 2457. Let r be h(0). Suppose 126*d + r = 133*d. Is 10 a factor 