2?
False
Let u = 214 + -192. Suppose -5*r = 4*j - 199 + u, 5*r = -5*j + 225. Is 16 a factor of j?
True
Let c = -9906 - -25849. Is 149 a factor of c?
True
Let k(s) = 6*s**2 + 103*s + 598. Is 78 a factor of k(-41)?
False
Let c(n) = 2. Let h(q) = -q**2 + 13*q + 2. Let l(m) = 3*c(m) - h(m). Let o be l(15). Suppose o*i - 600 = 29*i. Is 30 a factor of i?
True
Let u(j) = -1. Let a(o) = -10*o - 60. Let r(v) = -a(v) + 30*u(v). Suppose p + n = 14, 4*n - 4 = 3*p - 11. Is r(p) a multiple of 21?
False
Let j(x) = -154*x + 106. Is j(-23) a multiple of 32?
True
Suppose -24269 = -2*k - b, 3*k - 36421 = 3*b - 7*b. Does 50 divide k?
False
Suppose -3*w = -3*r - 219, -2*r + 301 = 4*w - 3*r. Suppose 353 = 13*g - w. Does 15 divide g?
False
Let i = 9492 - 7177. Is 5 a factor of i?
True
Let t(c) = 1487*c**2 + 53*c - 291. Does 153 divide t(5)?
False
Let t(h) = -h**3 + 33*h**2 + 167*h + 23. Does 56 divide t(22)?
False
Let m(a) be the first derivative of 5 + 7/2*a**2 - 9*a + 4/3*a**3. Does 6 divide m(3)?
True
Suppose 3*s - 15 = 0, u - 4*s = 2 - 9. Suppose u*b = -2*b + 6615. Does 13 divide b?
False
Let p(d) = -15*d - 2. Let w be p(-4). Suppose 2*q = q + w. Is 58 a factor of q?
True
Let i be ((-1)/(-3) - (-26)/30)*(-65200)/5216. Let p(n) = n**2 - 87*n - 29. Let k(c) = -43*c - 14. Let j(o) = -7*k(o) + 3*p(o). Is 7 a factor of j(i)?
False
Let o = -616 - -3436. Does 47 divide o?
True
Suppose -283*h + 72206 + 943481 = 0. Does 37 divide h?
True
Let u be 966/27*3 + 2/3. Suppose 3*t - 254 = 718. Suppose x - u = -o, -t = -3*o + x + 2*x. Does 13 divide o?
False
Let i be 252/315 + 628/(-10). Is 10 a factor of 18/4*(-6 - i)?
False
Let h = -33 + 166. Suppose -g + h = -35. Is 21 a factor of g?
True
Let d = 5125 - 4142. Is 2 a factor of d?
False
Let y(u) = 23*u**3 + u**2 + 2*u - 2. Let w be y(2). Let j = w + -30. Does 9 divide j?
False
Suppose 74759 + 123257 = 17*f. Does 64 divide f?
True
Does 13 divide -9 - (-105680)/12 - (8/12)/(-2)?
False
Let m(k) = k**3 + 5*k**2 - 33*k - 7. Let h be m(-9). Let v = -13 + 27. Let c = v - h. Is 18 a factor of c?
False
Let k = -135 - -165. Suppose 2557 - 8077 = -k*q. Is q a multiple of 37?
False
Suppose -2*x + 2 = 0, -r + 12525 = -x - 2174. Is 42 a factor of r?
True
Let h(t) = 62*t**2 - 1401*t - 92. Does 9 divide h(26)?
False
Suppose -8*o = j - 44571, -2*o + 11149 = 551*j - 552*j. Is 10 a factor of o?
False
Let i = 68 + -10. Suppose 220 = -5*g + 2*r, 2*r = 16*g - 15*g + 36. Let p = i + g. Is p a multiple of 2?
True
Let b = -240 + 292. Suppose b*x - 51*x = 338. Does 13 divide x?
True
Let n be 24/(-7 - 1) + 4. Does 19 divide 482 - n - (9 - 0 - 14)?
False
Let x(k) = 1 + 21*k + 0*k**2 + 3 - 2*k**2 - 26. Let d be x(9). Suppose z + 5*c - 115 = 0, -d*c = 2*z - 4*c - 203. Is z a multiple of 25?
True
Let v be (280/(-12))/((-8)/252). Suppose -v + 120 = -5*p. Let n = 280 - p. Is n a multiple of 12?
False
Suppose -z + 1870 = 28. Let c = 3219 - z. Does 51 divide c?
True
Suppose 15467 + 17253 = 4*b - 4*c, -b + 8132 = 5*c. Is 3 a factor of b?
True
Let m(p) = -p**2 + 16*p - 60. Let v be m(10). Suppose -9*w + 47 + 772 = v. Does 20 divide w?
False
Suppose 777 = 8*t - 2103. Suppose -t = -5*f - 4*o, 0 = -0*f + 2*f + o - 147. Suppose -l + 5*i = l - f, 3*i + 68 = 2*l. Is 14 a factor of l?
True
Let a = 1773 + 5266. Does 40 divide a?
False
Suppose 0 = -3*f - 3*j - 16 + 544, f + 4*j - 179 = 0. Suppose -8*b + f = -57. Suppose -l = -3 - b. Is 16 a factor of l?
True
Is ((-60)/25)/(30/(-24450)) a multiple of 16?
False
Let s be ((-10)/(-3) - -1)*3. Suppose 1331 = s*a + 83. Is a a multiple of 4?
True
Let w = 6 - 3. Suppose 15 = -2*k - w*k. Let u(a) = -30*a - 5. Is 11 a factor of u(k)?
False
Let p be 78/(-507) + (-2442)/13. Let t = p + 627. Does 15 divide t?
False
Let d = -10472 + 44464. Is 14 a factor of d?
True
Let b = 160 - 158. Suppose 664 = 4*s - m, b*s + 169 = 3*s - m. Does 19 divide s?
False
Let o(q) = -15*q + 198. Let i be o(14). Does 9 divide (31/(-1 + 2))/(i/(-60))?
False
Suppose 30*o - 105966 - 145310 = -64196. Is 14 a factor of o?
False
Suppose 15*w + 750 = 2235. Suppose 6 - w = -3*c. Does 2 divide c?
False
Let p be 2/(3 - (-28)/(-48)*4). Let f(c) = -c - 6. Let b be f(-6). Suppose 0*i - 3*z = -2*i + 90, b = -i + p*z + 48. Does 20 divide i?
False
Suppose -2*m + 454744 = 11*i, -3*i + 206698 = 2*i - m. Is i a multiple of 52?
True
Suppose -6*c = -8*c - 3*g + 24, c - 3*g - 21 = 0. Let d(r) = r**2 - 1. Let i(l) = l**3 - 13*l**2 + 13*l + 9. Let u(w) = 3*d(w) - i(w). Does 6 divide u(c)?
True
Let p(j) = 13*j**3 + j**2 - j + 7. Is 13 a factor of p(3)?
True
Suppose -7357 - 7988 = -11*r. Suppose -8*c - 23*c = -r. Is c a multiple of 7?
False
Let m(g) = 31*g**2 - 52*g + 344. Is m(8) a multiple of 8?
True
Let c = -3571 + 8632. Does 63 divide c?
False
Suppose -l - 4*s + 5539 = 0, -4*s + 22096 = 51*l - 47*l. Is 18 a factor of l?
False
Suppose 25 - 5 = 2*l. Let o be (95/(-57))/(5/6). Let w = l - o. Does 3 divide w?
True
Let p = 203 + -219. Is ((-1740)/p)/(5/(240/18)) a multiple of 13?
False
Let i = 77 + -47. Let h(n) = -n**3 - i*n + 41*n + 3*n**3 + 7*n**2 - 10 - 3*n**3. Is 9 a factor of h(8)?
False
Let m = 434 + -187. Suppose -5*q - t + 166 = -227, -3*q + 5*t = -m. Is q a multiple of 14?
False
Suppose -47*h + 176919 - 132245 = -342700. Is 9 a factor of h?
False
Suppose -3*v + 36 = 2*k - 1347, -2313 = -5*v - 2*k. Does 31 divide v?
True
Suppose -402532 = -403*j + 390*j. Is 55 a factor of j?
False
Let m be (34/8 - 2)/((-219)/(-1168)). Suppose -m*w + 1976 = -520. Is w a multiple of 4?
True
Suppose 186 = -2*d + 172, -5*d = 5*a - 35380. Is a a multiple of 3?
True
Let z(u) = 2*u**3 - 9*u**2 - 2*u + 17. Let y be z(-4). Let j = -92 - y. Is j a multiple of 2?
False
Suppose 38*s - 1781 + 49673 = 51*s. Is 32 a factor of s?
False
Let y = 12663 + -8574. Is y a multiple of 13?
False
Suppose -f - 957 + 202 = -5*y, -5*y + 5*f + 775 = 0. Let t be (40/25)/(4/y). Suppose -3*g - g = -t. Is g a multiple of 15?
True
Let c = -179 + 952. Suppose 0 = 18*m - 16507 - c. Does 30 divide m?
True
Suppose -492*v = -496*v + 4148. Suppose -2*u + 974 + 1140 = 2*n, 3*n + v = u. Does 40 divide u?
False
Suppose -9*g - 21*g + 270 = 0. Suppose g*v - 678 = 1275. Is 31 a factor of v?
True
Let w = 69 - -111. Let s be ((-1)/(-2))/((-7)/1974). Let z = s + w. Is 4 a factor of z?
False
Let s(a) = 3*a**2 + 21*a - 11. Is 19 a factor of s(-15)?
False
Let z be 6*-7*(-1)/14. Suppose z*m - 1225 = 518. Does 32 divide m?
False
Is 24 a factor of 6 + (-64)/8 + -9 - -2374?
False
Let p(d) = -3 - 4 - 3 - 2*d + 9*d. Does 2 divide p(5)?
False
Suppose 287*c = 283*c + 2*k + 25094, -4*c = 5*k - 25073. Does 16 divide c?
True
Let m(s) = 12*s**3 - 2*s**2 + s + 1. Let t be m(1). Does 31 divide -6411*(-2)/18 - t/(-18)?
True
Suppose 25*h = 17*h + 6472. Let j = h - 307. Is j a multiple of 10?
False
Suppose -22*s = -7736 + 3784 - 4760. Is s a multiple of 6?
True
Let y(o) = 25*o + 2. Let u be y(2). Let z = u + -34. Let r(a) = -a + 38. Does 8 divide r(z)?
False
Suppose 13*x + 96 = 19*x. Suppose 7*i - 6*i + 5 = 0. Is 11 a factor of x/(-20) + (-279)/i?
True
Let s be 768/(-10) - 1/5. Let w = s - -160. Suppose -4*z - w = -3*f, -f = f - 4*z - 58. Does 5 divide f?
True
Let h(u) = -332*u + 814. Does 16 divide h(-19)?
False
Suppose 4*n = -3*t + 404, 2*t - 4*n + n = 258. Suppose 2*r - 4*j = t + 40, r - 82 = 4*j. Does 3 divide (2/(1 - 0))/(20/r)?
True
Let v = -74 + 85. Is 8 a factor of -6 + v + 1*75?
True
Let i = 4619 + -3211. Suppose -20*n + i = -5392. Is 17 a factor of n?
True
Let r(q) = 2*q**3 - 27*q**2 + 13*q - 29. Let b be r(13). Let p = 37 + -79. Let v = b - p. Does 8 divide v?
False
Let i(d) = 24 + 31 + 7*d**2 - 51 + 9*d. Let s be i(-2). Is 2186/7 + (-4)/s a multiple of 26?
True
Suppose 3*i = -4*i + 1575. Let t be ((-15)/(-21) - 1)*-14. Suppose c = -t*r - 4 + i, -5 = -c. Is 7 a factor of r?
False
Let j = 4291 - 2470. Does 4 divide j?
False
Suppose -5*x + 640 = -3*g - g, -5*x - 320 = 2*g. Does 49 divide 4311/8 + -5*4/g?
True
Suppose 160 = 4*a + 2*m, -2*a + 18 + 62 = -m. Suppose a*j = 15*j + 16275. Is 12 a factor of j?
False
Let s be (-6)/(-45) - (-10276)/105. Let w = 38 + 29. Let m = s - w. Is m a multiple of 24?
False
Suppose -5*x = -5, 0 = 5*c - 0*c - 2*x + 47. Let o(b) = -2*b**3 - 16*b**2 + 9*b - 36. Is o(c) a multiple of 3?
True
Let d(w) = -4*w**3 + 5*w**2 - 7