 2290 = -2*m, -2*d - 8*m + 12*m + 2300 = 0. Is d a multiple of 3?
True
Suppose -2598 = -59*f + 53*f. Is f a multiple of 112?
False
Let x be 2/14 - 510/42. Let a be 1743/9 - x/(-18). Suppose -a = -2*d + 4*m - 57, -3*d + 176 = m. Is 15 a factor of d?
True
Suppose 5136 = 12*s + 4*s. Let a = s + -105. Is 9 a factor of a?
True
Suppose s - 3*j = 2*j + 21, 15 = 2*s - j. Suppose -14 = s*k - 13*k. Let a(x) = 24*x. Is a(k) a multiple of 19?
False
Suppose -7*n + 2043 = -197. Suppose -325 - n = -15*c. Is c a multiple of 15?
False
Suppose -863 = -23*l - 173. Suppose 34*h = l*h + 768. Is 6 a factor of h?
True
Let w(i) = 31*i + 10. Let g be w(-7). Let y = g + 327. Suppose 0*c + 5*j = 5*c - y, 5*c - 155 = -2*j. Is c a multiple of 6?
False
Let x(m) = -m**3 + 31*m + 11. Let a be x(7). Let l = 885 + a. Does 70 divide l?
True
Let g(b) = -b**3 + 41*b**2 + 9*b - 59. Let a be g(41). Is 10 a factor of (-4)/(-10) - (-2976)/a?
True
Suppose l - 113*d + 109*d - 23752 = 0, -118865 = -5*l + 5*d. Is l a multiple of 29?
True
Is 15 a factor of 16334337/783 + 6/(-1) - 4/18?
False
Suppose -232*p + 237*p - 1095 = 0. Let d(x) = -8*x**2 + 6*x + 6. Let w be d(-4). Let v = w + p. Is 8 a factor of v?
False
Does 115 divide (-638055)/180*-15 - 3/(-4)?
False
Is 27 a factor of ((-678)/7)/(0 + 3/(-189))?
True
Let j = 11754 + -5910. Is 3 a factor of j?
True
Let f = 59 + -57. Suppose 0 = 2*r + f*r - 16, 5*q + 4*r = 221. Suppose -5*o + 140 = -5*w, q = 5*o + 3*w - 67. Is 12 a factor of o?
True
Does 26 divide -4 + 10913 - (-36)/(-9) - 11?
True
Let h(q) = -q**3 + 6*q**2 - 8*q + 3. Let n be h(3). Suppose -4 - n = -5*y. Suppose y*i - w - 71 = 0, 0*i + 185 = 5*i - 4*w. Does 11 divide i?
True
Let r be 0 + -4 + (9 - -4). Suppose 6*t - 75 = -r. Is 8 a factor of t?
False
Let t = -28829 + 42084. Is t a multiple of 35?
False
Let r(g) = 2*g + 2. Let p(j) = -8*j - 71. Let i(a) = -2*p(a) - 10*r(a). Does 22 divide i(12)?
False
Suppose 68*d - 24*d - 177452 = 0. Is 31 a factor of d?
False
Let m = -116 - -308. Does 8 divide (-4*3/(-16))/(2/m)?
True
Let j = -504 - -3067. Is j a multiple of 11?
True
Suppose 5*c + 15055 = 3*j, 553*c + 15050 = 3*j + 549*c. Is j a multiple of 4?
False
Suppose -c - u = -30, -95 = -5*c + 5*u + 25. Let w = c + 149. Does 11 divide w?
True
Let w be ((-10)/(-3))/(4/(-12)). Let r = 14 + w. Suppose 2*z + 0*m = 3*m + 147, -r*z + 296 = -4*m. Is z a multiple of 25?
True
Does 250 divide ((-1500)/105)/(18/(-2835))?
True
Does 127 divide 357/595*16510/2?
True
Is -6*(8 - 8 - 943/2) a multiple of 9?
False
Let c be 11 - (-10)/5 - 4. Suppose c = -5*w + 34. Suppose -4*m - q + 135 = 0, 2*q - 63 = w*m - 235. Is 2 a factor of m?
True
Let w(j) = -39*j**2 - 6*j - 2. Let d(u) = 80*u**2 + 10*u + 4. Let l(s) = 4*d(s) + 7*w(s). Does 26 divide l(1)?
False
Let x = 826 + 402. Let p = -656 + x. Does 11 divide p?
True
Let g be ((-6)/(-7))/(-12*(-14)/2352). Suppose -4*q - 2*w = -1102, g*w + 1072 = 4*q + 8*w. Is 7 a factor of q?
True
Let j = 3138 + -2502. Does 16 divide j?
False
Suppose 0 = 12*y - 3 - 9. Suppose -5*s = -3*g + 145 + y, -3*g + s = -166. Does 24 divide g?
False
Let p(i) = 18*i**2 + 61*i + 6. Does 34 divide p(-16)?
True
Let g(z) = 19*z**2 + 86*z + 1471. Does 139 divide g(-34)?
False
Let p be (-198)/(-84)*-2 + 2/(-7). Let q(x) = 8*x**2 - 7*x - 2. Does 13 divide q(p)?
False
Let a(l) = 4*l**2 - 4*l + 1. Suppose -7*b + 21 = -0*b. Let f be a(b). Suppose -m + f = -5. Is 3 a factor of m?
True
Let t = -21414 - -227574. Is ((-1)/(-6))/(40/t) a multiple of 28?
False
Suppose 4*w + c - 19151 = 0, 136*w = 131*w + 5*c + 23945. Is 57 a factor of w?
True
Is (2 - 132/18)*4/(96/(-2034)) a multiple of 9?
False
Let n be 0 + ((-9094)/14 - 9/21). Does 9 divide (-2)/13 - 176250/n?
False
Suppose -v - 2*y = 4*v + 20, 5*v = -3*y - 15. Is 49 a factor of (-2*1)/(v/1797)?
False
Suppose -78 = n - 274. Suppose -t + n = 3*t. Suppose r - 65 - t = 0. Is 29 a factor of r?
False
Let w = 4562 - -9449. Does 154 divide w?
False
Let a(i) = -1975*i + 77. Is 8 a factor of a(-1)?
False
Suppose 0 = -4*k + 4*a + 30372, 19*k - 5*a = 15*k + 30374. Does 77 divide k?
False
Let a(w) = 6*w**2 - 37*w + 22. Let i be a(11). Let b = i - 209. Does 22 divide b?
True
Is 244 a factor of (-136)/(3/2135*-208 - (-162)/567)?
True
Let g(k) = k - 9. Let q be g(11). Suppose 3*v + 63 = m, -v + 13 = -2*m + 34. Is ((-7)/v)/(q/882) a multiple of 11?
False
Does 13 divide (-47379)/(-39) + 10/65?
False
Let r(d) = 5*d - 2471*d**2 - 2468*d**2 + 4941*d**2 + 6. Is 72 a factor of r(-22)?
True
Let n = -923 + 6303. Is 6 a factor of n?
False
Suppose 454 - 3288 = 13*i. Let g(o) = 103*o - 3. Let r be g(-3). Let l = i - r. Is 9 a factor of l?
False
Suppose 0 = 3*r - 5*r + 10. Suppose -16*m + 7*m + 6930 = 21*m. Suppose -666 = -r*y - 4*o - 100, -m = -2*y + 3*o. Is 38 a factor of y?
True
Suppose 0*h + 3*h = 3*a, -5*h - 10 = 5*a. Let n be ((1 - 4) + 3)/(a + 2). Suppose -4*o + 5*f + 458 = 0, 3*o - 2*f - 340 = -n*f. Does 31 divide o?
False
Let u be 10115/21 - 3/(-9). Suppose 4*d = -2*x + u - 8, 0 = 4*d - x - 471. Is d a multiple of 41?
False
Suppose -95*g - 123*g = 51*g - 7854800. Does 41 divide g?
False
Suppose 0*s - 5*w = -3*s + 85, 5*s - 115 = 3*w. Let u be 87/12 + (-5)/s. Suppose -1107 = -u*j - 2*j. Is 9 a factor of j?
False
Suppose 0 = -565*l + 594*l - 18560. Is l a multiple of 20?
True
Suppose 67680 = 18*v + 29*v. Suppose 4*p - v - 672 = 0. Is p a multiple of 17?
False
Suppose 23*b - 76 = 39. Does 58 divide 2061/5 + b/(-25)?
False
Let c(y) = y**3 + 4*y**2 + 4*y + 4. Suppose -2*x + 4*x + 6 = 0. Let v be c(x). Is 17 a factor of (-1 + -3)*756/(-16)*v?
False
Suppose 207247 = 150*f - 948053. Is f a multiple of 2?
True
Let i = 560 + 4153. Is i a multiple of 70?
False
Suppose 0 = 11*c - 2*c - 36. Suppose c*t = -59 + 707. Suppose 2*d + 5*f + 47 = t, -370 = -5*d + 4*f. Is d a multiple of 7?
True
Suppose 27*j - 34*j = 0. Let g = 2 + j. Suppose g*y + 3744 = 14*y. Is 52 a factor of y?
True
Let d(h) = 2*h**3 - 8*h**2 + h + 15. Let w be d(3). Is 21 a factor of 7 + w + 473 + -4 + 0?
False
Let n(w) = -3*w**3 + 4*w**2 + 22*w. Does 11 divide n(-6)?
True
Let c(f) = -2*f**3 - 12*f**2 - 53*f - 8. Is c(-8) a multiple of 56?
True
Let r = 74 + -74. Let h be 14 + 7 + r + -4. Suppose 4*s = h*s - 468. Is 12 a factor of s?
True
Suppose -2*x = -12, 2*p = -2*p - 2*x + 6500. Is p a multiple of 49?
False
Suppose -11*w - 11363 = -1683. Let m be ((-12)/(-15))/((-2)/w). Let a = m + -244. Is a a multiple of 27?
True
Suppose -4*d = -6*d - 4*o + 2406, -5*o = 5*d - 6000. Does 7 divide d?
True
Let v(i) = i**2 - 24*i + 35. Let o(a) = -a - 1. Let h(b) = 5*o(b) - v(b). Let j be h(16). Let s(y) = y**2 + 2*y - 22. Does 9 divide s(j)?
False
Suppose -17*l - 6328 = -112136. Is 14 a factor of l?
False
Let q(i) = -i**2 - 30*i - 12. Let t be q(-20). Let z = t + 418. Does 5 divide z/42 - 4/(-7)?
True
Suppose -3355 = -5*a - i + 10128, -4*a - 4*i + 10780 = 0. Does 17 divide a?
False
Let z(x) = x**3 - 42*x**2 + 77*x + 982. Is 77 a factor of z(41)?
False
Let k = -3332 + 6667. Let b = -2085 + k. Does 50 divide b?
True
Suppose -2504 = -3*k - 0*k + 5*v, -7500 = -9*k + 3*v. Does 4 divide k?
False
Suppose -5*v + 64114 = 3*q - 10*v, -v = -5*q + 106820. Suppose -23*k - 5907 = -q. Does 42 divide k?
True
Let u = 7545 - 3755. Does 27 divide u?
False
Let b(k) be the second derivative of 3*k**5/20 - 25*k**4/6 + 3*k**3/2 - 26*k**2 + 37*k. Is b(17) a multiple of 6?
True
Let m(f) = -15*f + 225. Let b be m(15). Suppose -r + 3*y + 1497 = b, -5*r + 3*y + 7503 = 6*y. Is 20 a factor of r?
True
Let h = -9209 - -16244. Is h a multiple of 21?
True
Let u(y) be the first derivative of 21 + 26*y + 1/3*y**3 + 10*y**2. Is 26 a factor of u(-26)?
True
Let c(n) = 167*n + 20078. Does 98 divide c(128)?
True
Let c(u) be the third derivative of u**5/60 + 13*u**4/24 - 5*u**3/3 - 3*u**2. Let s be c(10). Suppose -2*t = 3*p - 170, -3*p + s = p + t. Is p a multiple of 9?
True
Let k = -324 - -329. Suppose 1426 = k*r - w, -2*r - 2*w = 3*r - 1438. Is r a multiple of 13?
True
Is 27 a factor of (15/4)/((-145)/(-348696))?
True
Let z(r) = 72*r - 1. Let h be z(3). Suppose -4*k - 5*p + 65 = -3*k, -5*p = -3*k + h. Is 4 a factor of k?
False
Let v = -580 + 580. Suppose -z - 4*z + 3050 = v. Is z a multiple of 10?
True
Suppose 2*r + 41228 = 3*a, -3*r = -5*a + 2*r + 68725. Does 56 divide a?