. Is 3 a factor of h?
True
Let h(l) = 3320*l + 6502. Is 25 a factor of h(8)?
False
Suppose -35*d + 27671 - 6741 = 0. Let l = -583 + d. Is 4 a factor of l?
False
Let y be (-93)/9*(0 + -3). Let v = 39 - y. Suppose -2*a - 882 = -v*a. Is 22 a factor of a?
False
Suppose -4*i - 888 = -4*w, -2*i + 7*i - 4*w + 1105 = 0. Let o = i - -595. Is 37 a factor of o?
False
Suppose -3*z + 3690 = -167*j + 169*j, -3*z - 3666 = -2*j. Is j even?
False
Suppose -5*n + c + 282 = -0*n, 0 = -4*n + 4*c + 232. Let r be (-886)/14 + (-8)/(-28). Is (r/(-28))/(3/n) a multiple of 7?
True
Let b(p) = -p**2 - 2*p + 13. Let a be b(-4). Suppose 443 = 4*t + a*w - 1126, 2*w + 798 = 2*t. Is 12 a factor of t?
True
Let p be (-12)/24 - (-1)/2. Is 0 - (p - -8) - -5 - -9 a multiple of 2?
True
Let z be ((-33)/7 - 20/70)/(-1). Suppose -5*m = -x - 181, z*m - 2*x = 2*m + 110. Suppose 3*b - b - m = -4*d, 0 = -3*d - 3. Is b a multiple of 5?
True
Let n(r) = -434*r + 1516. Does 16 divide n(-26)?
True
Let w(d) = d**2 - 41*d + 425. Let o be w(21). Suppose -o*f - s + 5*s + 782 = 0, -s + 305 = 2*f. Is f a multiple of 4?
False
Let w = -18 - -21. Does 11 divide (-10)/(-15)*(1 + (56 - w))?
False
Suppose 2507 + 961 = 6*g. Suppose 4*r = -g + 2370. Is 14 a factor of r?
True
Let c(u) = u**3 + 32*u**2 + 52*u - 53. Let t(a) = a - 40. Let o be t(10). Does 13 divide c(o)?
False
Let b(j) = -37*j + 9. Let s(v) = 19*v - 4. Suppose 30*u - 20 = 35*u. Let p(o) = u*b(o) - 7*s(o). Is p(4) a multiple of 8?
False
Suppose -z - 3*c + 2003 = 0, 0 = -z - 4*c + 3226 - 1218. Is 14 a factor of z?
True
Let f(i) = 52*i - 8. Let c be f(3). Let m = c - 66. Let h = m - -8. Is 15 a factor of h?
True
Does 78 divide (-112)/42 + 446496/18 + 4/3?
True
Let o be -2 + 0/(3 - 5). Let n be (27 - 0) + o/1. Let w = 36 - n. Is w even?
False
Suppose 3*r + 0 + 63 = 0. Is r*((-1 - -3) + -7) a multiple of 5?
True
Let l be 1*-2*-55*(-6)/6. Let v be (l/35 - -4)/(1/7). Suppose 560 = -v*y + 10*y. Does 14 divide y?
True
Let g = 1082 - -7878. Is g a multiple of 112?
True
Let n be (-4)/(-2) - (4 - 65/5). Let q(u) be the first derivative of u**3/3 - 11*u**2/2 + 18*u + 2. Is q(n) a multiple of 6?
True
Let b = -365 + 730. Let n = -221 + b. Is 24 a factor of n?
True
Let o(m) = m**3 - 20*m**2 - 39*m - 10. Let g = -210 - -232. Is 20 a factor of o(g)?
True
Suppose -4*t + v + 8372 = t, -4*t - 3*v + 6690 = 0. Let j = t + -652. Suppose j = 6*o - 274. Is 9 a factor of o?
True
Let h = -44 + 42. Let d(l) = -l + 2. Let n be d(h). Suppose -3*c - 5*i - 41 = -4*c, -132 = -n*c + 4*i. Is 6 a factor of c?
False
Let m(a) = -1 - 196*a**2 + 198*a**2 + 6*a - 4. Let g = -10 - -5. Is m(g) a multiple of 7?
False
Let q = -1823 + 3231. Does 14 divide q?
False
Let q be (-4)/(2*(-2)/8). Suppose -3*s + 701 = 5*y, q*s - 3*y = 12*s - 942. Does 4 divide s?
False
Let s = -31 + 40. Suppose s*y + 696 = 1695. Is 3 a factor of y?
True
Let u = -38 + 39. Let m be -9*1/u*-1. Does 23 divide (24/m - 2) + (-274)/(-3)?
True
Suppose 79326 = -4939*r + 4993*r. Does 29 divide r?
False
Let j(o) = -2*o**2 + 2*o - 5. Let d(h) = h**2 - 7*h + 5. Let q(z) = z. Let s(y) = d(y) + 4*q(y). Let r(n) = -3*j(n) - 2*s(n). Does 17 divide r(5)?
False
Let p be 145/25 + -6 - 26/(-5). Suppose -3*o + 2*z - 4 = 0, 3*z = -4*o + z + 4. Suppose o = p*b - 150 + 55. Does 2 divide b?
False
Let d be (5 - 7)/((-3)/69) + 1. Let v = -44 + d. Suppose -4*a - a + 63 = -2*h, 2*h = -a + v. Is a a multiple of 2?
False
Let c(p) = 2*p**2 - 2*p + 156. Let i be c(0). Let n = 335 + i. Is 31 a factor of n?
False
Suppose -6824 - 14536 = -3*m + 6726. Is 14 a factor of m?
False
Let b be -2 + 2 - (-5 - -3). Suppose -5*h = -b*y - 229, 2*h = -y - 0*y + 88. Let k = -23 + h. Is 7 a factor of k?
False
Let x(d) = -d**3 + 9*d**2 - 6*d - 14. Let z be x(8). Suppose 3*u + 2*u = z*u. Suppose u = -3*i + 56 + 118. Is 17 a factor of i?
False
Let i(h) = 5*h - 31. Let n be i(24). Let y = 2 + n. Is y even?
False
Let v = -3332 + 6344. Is v a multiple of 6?
True
Suppose -m = -q - 232, 16*m - 4*q = 15*m + 217. Let p = m - 157. Is p a multiple of 4?
True
Suppose -2*h = -4*h + 108. Suppose 6*g = 3*g - h. Does 4 divide 4 + g*5/(-10)?
False
Let k = -253 + 168. Let l = 134 + k. Let v = l - 45. Is 3 a factor of v?
False
Let x(k) = 19*k - 35. Let v be 2/(-5) + (-126)/(-15). Suppose 2*w = -2*t + 20, 5*t - t - 4*w - v = 0. Does 15 divide x(t)?
False
Let d = 26179 - -9317. Is d a multiple of 68?
True
Let p = 160 - 158. Suppose 2*f + p*j = 646, 0 = -f - 0*f - 2*j + 319. Is 7 a factor of f?
False
Let x(m) = -2*m**2 + 7*m - 9. Let s(u) = -u**2 + 4*u - 5. Let c(h) = 5*s(h) - 2*x(h). Let v be c(11). Let y = v + 88. Does 22 divide y?
False
Let s(h) be the second derivative of -h**5/20 + 5*h**4/3 - 41*h**3/6 + 5*h**2 - 21*h. Let i be s(15). Suppose 0 = 14*u - 9*u - i. Does 22 divide u?
False
Suppose 2*p = 13*m - 15*m + 3070, -5*m - 4*p + 7676 = 0. Is 2 a factor of m?
True
Let l(c) = 47*c**2 - 103*c - 1438. Is l(-34) a multiple of 274?
False
Let g(w) = 17*w**2 + 119*w + 5. Let t(p) = -11*p**2 - 78*p - 3. Let n(y) = 5*g(y) + 8*t(y). Suppose -2*z - 16 = -2. Is 12 a factor of n(z)?
False
Let n(c) = 13*c - 74. Let a be n(6). Suppose 3*k - 272 = -a*u, 0*k - 126 = -2*u + k. Suppose -4*x = -j - 0*x + 28, -5*x - u = -2*j. Is j a multiple of 11?
False
Let u(f) = 12*f - 2*f - 8*f - 1. Let r be u(3). Suppose r*o - 95 = -0*o. Is o a multiple of 2?
False
Let r(j) = 3*j**3 - 3*j**2 + 13*j - 24. Is r(3) a multiple of 2?
False
Let v be (-4 + 18424/2)/(-2 + 4). Suppose 767*x - v = 763*x. Is x a multiple of 25?
False
Let h be ((-35)/14)/(5/(-4)). Suppose 5*l - 4*s - 1925 = 0, 4*l + 0*s + h*s = 1540. Is 11 a factor of l?
True
Suppose 137*p - 58*p - 30179 = -214*p. Is p a multiple of 2?
False
Let v be 156*(-4)/(16/(-6)). Let w(l) = -6*l + 26. Let a be w(4). Suppose -2*f - 2*k + 92 = 0, 5*f - a*k + 3*k - v = 0. Is f a multiple of 9?
False
Suppose -2*k - 4*y - 292 = 0, -3*k - 446 = -4*y + 2*y. Let g = 1132 + k. Is g a multiple of 12?
True
Suppose 54200 = -12336*t + 12344*t. Is t a multiple of 33?
False
Let f(l) = 33*l**2 + 14*l + 58. Let b be f(-4). Let k = 805 - b. Does 11 divide k?
True
Suppose 0 = 139*q - 142*q - 1116. Is -3 + (-5 - (q - 3)) a multiple of 25?
False
Let i = 78 + -89. Let j(u) = -u**3 - 10*u**2 + 5*u + 21. Let o be j(i). Suppose 0 = 2*c - s - 30 - o, 0 = -2*c - 2*s + 126. Is c a multiple of 60?
True
Let f(z) = 133*z + 2. Let a be f(-1). Let v = a + 201. Suppose -4*g = -3*g - v. Is g a multiple of 7?
True
Suppose -6*r + r + 132 = 2*w, 4 = -w. Let j be (-6382)/(-28)*2 + 4/r. Suppose 554 = 5*a + 2*u + u, -4*u - j = -4*a. Is 28 a factor of a?
True
Let z = -2816 - -4751. Is 20 a factor of z?
False
Suppose 0 = 59*m - 286853 + 42888. Does 12 divide m?
False
Let q(c) be the second derivative of -c**5/20 + 11*c**4/6 + 10*c**3/3 + 19*c**2 + 96*c. Is q(22) a multiple of 15?
False
Does 10 divide (-17495786)/(-1957) - ((-236)/(-76) + -3)?
True
Suppose 331*r - 28080 = 329*r. Is r a multiple of 26?
True
Suppose -368*o + 294844 = 219*o - 987164. Does 78 divide o?
True
Suppose 162007 = -5*t + 20*t - 71798. Does 13 divide t?
True
Suppose -2455 = -2*q - 155. Is 46 a factor of q?
True
Suppose -1054*z + 997*z = -1036431. Is 29 a factor of z?
True
Let o(g) = g + 49. Let q be 1/2*(-6 + 3 - 21). Let f be o(q). Suppose 32*h = f*h - 685. Does 34 divide h?
False
Suppose 5118 = 24*d - 17994. Is d a multiple of 8?
False
Suppose 0*j - 18 = 9*j. Does 24 divide j/((-8)/18)*(-64192)/(-177)?
True
Let o be -6 - (-5 + 5) - 729. Does 25 divide (o - 6)/(-3) - -3?
True
Let a = -3395 + -9345. Does 30 divide (-1)/((-1908)/a + 4/(-26))?
False
Let f = 18203 - -9754. Is f a multiple of 138?
False
Suppose 4*u - 2*u = 0. Suppose w + 3 = u, 0*v + 2*w = 4*v - 26. Suppose -v*k + 293 = 2*j, -j + k - 32 = -175. Is 18 a factor of j?
True
Suppose 0 = -12*l + 112*l - 1708800. Is 178 a factor of l?
True
Let u = 193 - 149. Let o = u - -436. Does 10 divide o?
True
Let z = 10041 - 3893. Is 29 a factor of z?
True
Let k be 865*((-4)/6)/(10/(-12)). Suppose 5*y + 5*g - 385 = 525, -5*g - k = -4*y. Let w = y + -56. Is w a multiple of 15?
False
Suppose -2*j = 2*n - 6642, -n - j = j - 3325. Suppose -2*x + 1662 = 4*c, 796 + n = 5*x - 4*c. Is x a multiple of 55?
True
Let x(n) = n**3 + 83*n**2 - 2730*n - 45. Is 9 a factor of x(-107)?
True
Let t be 5/15 + 2/