213 = 5*c - 5*r, -4*c - r + 251 = 0. Suppose 27500 = c*q - 35878. Does 103 divide q?
False
Is -11 - 12 - -14 - -2859 a multiple of 21?
False
Suppose 10*m + 96 = 116. Suppose 4*c - 750 = 3*c + 2*z, -m*c + 3*z = -1497. Does 24 divide c?
True
Suppose -a = a - 16. Suppose -482 = -2*m - 482. Is 28 a factor of -1 - m - (-564)/(a/2)?
True
Is 34 a factor of (-168)/98 + 18658/14?
False
Let d be (-2)/10 + (-5 - (-10644)/(-30)). Let t = 593 + d. Is t a multiple of 4?
False
Suppose 71 = 4*z - 69. Suppose 0 = z*i - 2*i - 17160. Is 10 a factor of i?
True
Let y be (-2)/3 - 488/(-12). Suppose 5*i - h - 223 = 0, 2*i + 5*h - 60 = y. Is i even?
False
Suppose -4*g + 7 = -2*s - 13, 0 = s + 4*g - 8. Is 12 a factor of 4 + -4 + 1 - -103 - s?
True
Let l(q) = q**3 - 4*q**2 - 11*q + 78. Is 10 a factor of l(7)?
False
Let k be (-76)/(-9 - -5)*7. Let r = k + -95. Is r a multiple of 24?
False
Suppose -727524 = -108*c + 596880. Is 64 a factor of c?
False
Suppose -9320*w = -9333*w + 33605. Is w even?
False
Let c(r) = r**3 - 20*r**2 - 92*r + 243. Is 11 a factor of c(34)?
True
Suppose 0 = 6*i - 3*i + 108. Let k = i - 15. Is 11 a factor of (-1 + (-6)/(-4))*(-7 - k)?
True
Let g be 2/(-5) - 872/20. Let z = 807 + -824. Let d = z - g. Is 15 a factor of d?
False
Let w be (-142)/(-20) + 695/50 + -14. Let h(v) = 7*v - 1. Let y be h(2). Suppose 7*b + w = o + 3*b, -o = -2*b - y. Is 2 a factor of o?
False
Let i(q) = 14*q**2 + 184*q + 1725. Is 7 a factor of i(-10)?
False
Let l = 76 + -141. Let z be l/(-26) - (-1)/(-2) - -41. Suppose 5*g - 36 = 4*w - 100, -5*w + z = 3*g. Does 11 divide w?
True
Suppose 4*p + 304 = -4. Let f = p - -87. Is (-5)/(5/f + -1) a multiple of 5?
True
Let f = -4161 - -28379. Is 8 a factor of f?
False
Suppose -19 = -4*u - 3. Suppose -18 = -u*f - 6. Suppose -314 = -y - f*g, -1254 = -5*y + 2*g + 231. Is y a multiple of 23?
True
Let m = 12933 - 7697. Does 36 divide m?
False
Suppose -4*l = -8*l + 80. Suppose -2*c = -c - 20. Is 17 a factor of (96/c)/(3/l)?
False
Suppose -2*b = 2*y - 4, 3*y - y = -b + 5. Suppose -y*t + 725 = -571. Is t a multiple of 48?
True
Suppose a + 11 - 15 = 0. Suppose 5*z - 299 = a*i, -4*i - 3*z - 275 = -0*i. Let o = 149 + i. Is o a multiple of 13?
True
Let y(m) = -m**2 + 264*m - 333. Is 87 a factor of y(67)?
False
Let f = 54 - 50. Let n be (-2)/f*16/(-4). Suppose 1782 = 13*z - n*z. Is z a multiple of 18?
True
Let i(p) = 2*p - 35. Let m be i(18). Let w be (33 - 26)*(0 + m - -16). Let z = 255 - w. Does 8 divide z?
True
Let l = -6016 - -18447. Does 35 divide l?
False
Suppose -21590 = 29*v - 12*v. Let o = 1814 + v. Does 16 divide o?
True
Let a(f) be the third derivative of 0*f + 2/15*f**5 - 1/12*f**4 + 18*f**2 + 0*f**3 + 0. Is a(6) a multiple of 12?
True
Let w = -496 - -821. Let v = w + -22. Does 6 divide v?
False
Suppose -n - 4*v + 10 = -3*n, 4*v = -5*n - 25. Is 22 a factor of (n - -3) + (-2)/1 + 240?
False
Let b(h) = h**3 - 25*h**2 + 25*h - 52. Let a(x) = -4*x**3 + 101*x**2 - 100*x + 209. Let y(p) = 2*a(p) + 9*b(p). Is 25 a factor of y(23)?
True
Let y(r) = -56*r - 17. Let z(o) = -19*o - 6. Let v(q) = 4*y(q) - 11*z(q). Suppose 336*l + 10 = 331*l. Is 7 a factor of v(l)?
True
Let p(r) = 455*r + 2465. Is 15 a factor of p(11)?
True
Let m(b) = 8*b**3 + 3*b**2 - 5*b + 2. Let n(h) = -56*h**3 + 8*h - 6 + 40*h**3 - 5*h**2 + 2*h + 2. Let w(l) = -7*m(l) - 4*n(l). Is w(2) a multiple of 13?
True
Let q(o) = -3*o - 7. Let y be q(-2). Let l be 1265/15 - y/(-3). Suppose 0 = -5*x + 426 + l. Is x a multiple of 6?
True
Let s be (-3 + 2)/2*(1 + 11). Let h be -1 - (s - (-3 - 0)). Suppose -4*z = 8, h*z - 323 = v - 4*v. Is v a multiple of 19?
False
Let p(d) = -d**2 + 6*d + 25. Let v be p(6). Suppose 7*l - 3 - v = 0. Suppose -2*r = l*r - 294. Does 5 divide r?
False
Suppose k = 7*k + 2*k. Suppose -y + 29 + 52 = -2*v, y - 4*v - 81 = k. Does 3 divide y?
True
Suppose -5*s + 0*s - 3*w - 270 = 0, -w - 5 = 0. Let d = 456 + s. Does 27 divide d?
True
Does 85 divide (-2766595)/(-930) - ((-2)/12 - 0)?
True
Let i(r) = -48*r**2 + 481*r - 10. Let a be i(10). Let g = 151 + -101. Suppose -4*f + g = -a*f - v, 4*f - 40 = -4*v. Is f a multiple of 5?
False
Let u(h) = -h**3 - 14*h**2 + 19*h + 20. Let k be u(-15). Let g be 15/k + (-957)/8. Let j = g + 192. Is 21 a factor of j?
False
Let w(m) = 43*m + 1. Let d be w(2). Suppose 87 = -4*y + d. Suppose -2*k = -242 - y. Is 20 a factor of k?
False
Let d(l) = 3*l**3 + 333*l**2 - 46*l - 28. Is d(-111) a multiple of 6?
False
Suppose 0 = 15*b + 18*b - 11187. Suppose -3*u = 3*p - 1416, -4*p + b + 1577 = -3*u. Is 34 a factor of p?
True
Does 8 divide (-4 - -2) + (5999 - -43)?
True
Suppose 15*j = 27 + 63. Let b(q) = -2*q**3 + 14*q**2 - 6*q + 9. Is b(j) even?
False
Suppose -308438 - 145862 = -110*y. Is y a multiple of 70?
True
Let g = -774 - -1547. Let l = g - 720. Is l a multiple of 6?
False
Let n(a) = 554*a + 782. Is n(23) a multiple of 147?
True
Let w(s) = 103*s + 119. Let p be w(-2). Suppose -o - 31 = 7*t - 4*t, -t + 48 = -2*o. Let q = o - p. Is q a multiple of 31?
True
Suppose 0*k - 4*k + 84 = -5*m, -m = -4. Let g = -70 - -120. Let v = g - k. Is v a multiple of 12?
True
Let k = -1 + 4. Suppose 10*g - 11*g + k = 0, f + 2*g = 478. Is 59 a factor of f?
True
Let z(c) = 4*c**2 + 134*c + 180. Is 6 a factor of z(-38)?
True
Let f = -431 - -900. Suppose d - f = -229. Does 15 divide d?
True
Suppose 163 + 89 = -4*r. Let b = r + 71. Does 3 divide b?
False
Suppose 13*i - 186332 + 16448 = 0. Is i a multiple of 50?
False
Let k(a) = -2 - 3*a + 4 - 8 + 11*a**2 - a**3. Let b = -16307 - -16314. Is k(b) a multiple of 13?
True
Let o(g) = -10*g + 239 - 226 - g**2 + 2*g**2. Let n be o(9). Let a = 46 + n. Does 25 divide a?
True
Let l = -4629 - -6641. Does 42 divide l?
False
Let r = -1333 + 1382. Let h be 1 + (0 - 0) + -2. Let p = r - h. Does 39 divide p?
False
Suppose 1680 - 16895 = -17*y. Let c = y - -185. Does 60 divide c?
True
Let b be -2*(3 + -3 - 1). Suppose -916 = 10*x - 14*x - b*h, x = -2*h + 223. Does 28 divide x?
False
Suppose -2*y = 5*d + 495, -2*d = 16*y - 12*y + 982. Let a = 95 - y. Is 5 a factor of a?
True
Suppose 11*z - 36542 = 9*z. Is 151 a factor of z?
True
Let n(f) = f**2 + 9*f + 22. Let v be 3 + -2 - (-7 - -3). Suppose m + 16 = -5*z - 10, -m - v = -2*z. Is n(m) a multiple of 2?
True
Suppose 36*v = 14*v - 23408. Is 3*(v/(-12) + -1) a multiple of 21?
False
Suppose 5*h = 4*h - 7, -2*n = 4*h - 20076. Is 7 a factor of n?
True
Suppose 720*o = 710*o + 40960. Does 32 divide o?
True
Suppose 608 = 39*m + 62. Suppose 19*f - 3368 = -2*a + m*f, 0 = -2*a + 4*f + 3332. Does 27 divide a?
True
Is 49300/16 - 15/(-20) a multiple of 134?
True
Suppose -7*z - 20*z + 19899 = 0. Suppose 735*i + 380 = z*i. Does 25 divide i?
False
Suppose 7*m - 67 - 178 = 0. Suppose 0*v = 5*v + m. Let s(t) = -8*t - 1. Does 11 divide s(v)?
True
Let n be 501 + (-4)/(0 + -2). Suppose 4*z + 159 = n. Suppose -z = -2*d + 68. Is 13 a factor of d?
False
Let g be ((-9)/2)/(12*2/32). Let h be 4 + (g - -1) + (1 - 28). Let w = 45 + h. Does 15 divide w?
False
Let l = 28585 - 11881. Is l a multiple of 16?
True
Let i be -1 + -464 - (6 - 12). Let w = i + 789. Is w a multiple of 33?
True
Suppose 830 = -6*i + 11*i. Let g(x) = -589*x. Let l be g(-1). Suppose 9*q = l - i. Is q a multiple of 6?
False
Suppose -10 = -5*f - 4*u + 2*u, -5*f + 10 = -4*u. Let c be 2 + -7 + f + 36. Suppose 5*p = -3*o + 88, -2*o - 4*p + c = -29. Does 7 divide o?
True
Does 6 divide 1*(-16 - (-8 - 4)) - -21355?
False
Let s(h) = -h**3 + 4*h**2 - 3*h - 2. Let i be s(-7). Let x = i + -318. Is 48 a factor of x?
True
Suppose -39 = -5*q - 14. Suppose -3*r - 5*o - 6 = 13, -q*r + 2*o = -20. Suppose 3*p - 248 = -3*c + 2*p, -5*c + r*p + 428 = 0. Is 21 a factor of c?
True
Let r(y) = -2*y**3 - 23*y**2 - 14*y - 24. Let h be r(-11). Let x(k) = -3*k**2 + 40*k - 18. Does 7 divide x(h)?
False
Does 26 divide (15 + (1144 - -11))/1?
True
Let g(q) = 131*q + 542. Is 26 a factor of g(4)?
True
Let u = -2389 + 3335. Is u a multiple of 7?
False
Suppose -3*i = -9*v + 5*v - 17106, 4*i + 5*v - 22870 = 0. Is 102 a factor of i?
False
Let w(g) = -g**3 - 7*g**2 - g. Let j be w(-11). Suppose -295 = -3*b + 2*y - 0*y, 5*y = 5*b - j. Suppose 2*o + 0*o = a - b, -3*a - o + 326 = 0. Does 17 divide a?
False
Let g be 22/66*(2/2 - 4). Let x be g/3 - (5 + (-1778)/6). Suppose x = 2*v + p, 3*v -