2280 = -z*k + 25*k. Does 30 divide k?
False
Let o = 857 - -3473. Is o a multiple of 5?
True
Suppose 26*f - 11913 - 20509 = 0. Let v = 1873 - f. Is 83 a factor of v?
False
Does 8 divide (-18016)/112*(6 - 13)?
False
Suppose 5*p + 1174 = c, -p - c - 218 = 3*c. Let z = p + 319. Is z a multiple of 17?
True
Suppose -31*n + 21*n = 83*n - 2149602. Is 127 a factor of n?
True
Suppose 40 = 3*z - v, -z = -3*v - 0*v. Is 35 a factor of (-10)/z + 488/12?
False
Suppose -2*f + 10 = 2. Suppose f*s = -s + 925. Suppose s = 4*r + 57. Is 8 a factor of r?
True
Let g be (-62)/(-8) - 4/(-16). Let c(x) = -12*x - 106*x + g - 2 - 7. Is c(-1) a multiple of 39?
True
Suppose -2*w + 1664 = 2*w. Suppose -m = 2*o - w, m - 24*o + 19*o = 430. Is 13 a factor of m?
False
Suppose -c + 4 = -6. Suppose r - 30 = -5*x, 3*x + c = 5*x. Is (-27)/(r/(-10) - 2/2) a multiple of 17?
False
Suppose -2*a - 3*r + 6973 = 0, 3*r + 91 = 5*a - 17352. Let x = a - 2230. Is 74 a factor of x?
True
Let i = -323 - -879. Let g = i - 169. Does 9 divide g?
True
Let q = 124 + -567. Let s = 746 + q. Is s a multiple of 15?
False
Suppose -6*l + 10*l = 11*l - 1848. Is 11 a factor of l?
True
Let p = 29645 - 27704. Does 30 divide p?
False
Let g = 20917 + -20049. Is 31 a factor of g?
True
Suppose 4*r - 11*r + 112 = 0. Let a be (r/6)/((4/(-6))/(-1)). Suppose -10 = 2*d, -2*o - 40 = -a*o - 4*d. Does 15 divide o?
True
Suppose 3*n = 0, -4*x - 5*n = -2*n - 3312. Suppose -p - 24 + 308 = -j, -3*p + x = 3*j. Is (-3)/(-6) + p/16 a multiple of 18?
True
Let k = -7475 - -14603. Suppose 14*j = 26*j - k. Is j a multiple of 12?
False
Suppose -l = -2*j - 96, -j = -l - 4*j + 91. Let m = -135 + 137. Suppose l - 2 = m*b. Is b a multiple of 23?
True
Suppose -4*f - z + 376 = 0, 3*z = 5*z - 8. Suppose 0 = o - 0*o + 5*g + f, 204 = -2*o - g. Let u = 192 + o. Is u a multiple of 28?
False
Let v(s) = s**3 + 3*s**2 - s - 2. Let p be v(-2). Let i = 2235 - 2231. Does 17 divide i + (-1692)/(-132) + p/22?
True
Suppose 184*b - 1618434 = 31*b. Is b a multiple of 82?
True
Suppose 4*x - c - 1547 = 0, 8*c = -2*x + 4*c + 778. Suppose 0*r + 3*r + 4*w = 401, 3*r - x = 3*w. Is 20 a factor of r?
False
Suppose 5*j = 3*j + 13*j - 22715. Is 2 a factor of j?
False
Let v(c) = -c**3 - 4*c**2 - 2*c + 11. Let k(g) = 5*g**2 - 2*g - 2. Let z be k(-2). Suppose 0 = 6*r + 8 + z. Is v(r) a multiple of 8?
False
Suppose 7*g - 709 = -611. Does 66 divide (-140)/(-40)*5272/g?
False
Does 25 divide 3/2*-3*(-2038)/3 - 7?
True
Let w(x) = 5*x**2 - 15*x + 54. Let v be w(8). Let r = v + -240. Is 6 a factor of r?
False
Suppose 3*a - 18 = 7*b - 4*b, -5*a + 2*b + 27 = 0. Suppose a*g - 3533 = 2487. Suppose -g = -j - 6*j. Is j a multiple of 43?
True
Let v = 13508 - 518. Is 162 a factor of v?
False
Suppose -5*y + 5*h = 15, 5*h + 0 = -y + 3. Let r be ((-9)/(-6) + y)*(-2 - 12). Let m(w) = 13*w + 13. Does 26 divide m(r)?
True
Let z(k) = k**2 + 45 + 800*k - 802*k + k**3 - 3*k**2. Is 6 a factor of z(9)?
True
Suppose 0 = 161*q - 158*q - 24. Is 149 - ((-105)/(-7) - q) a multiple of 20?
False
Suppose -q = 1, 9*q + 1145 = 4*z + 4*q. Suppose 3*x = 3*f - 183, x - 2*x = -5*f + z. Is 1/(6/f*(-13)/(-78)) a multiple of 28?
True
Suppose -2*f = -4*f + 18. Suppose 6*n - 45 = -f. Suppose -5*u - 20 = -n*u. Does 4 divide u?
True
Let k(w) be the first derivative of -4*w**2 + 160*w + 89. Does 21 divide k(-40)?
False
Let f = -9 + -65. Let v = f + 79. Is v - (0 + 4) - (1 - 26) a multiple of 26?
True
Let v = 10 - 6. Let w(d) = -4*d + 18. Let u be w(v). Suppose 0*c + u*c - 79 = -5*n, n + 36 = c. Is 5 a factor of c?
False
Suppose 5*g + 5*i - 9409 = i, 0 = -g + 4*i + 1901. Suppose -g - 2795 = -3*s. Is s/28 + 4/14 a multiple of 28?
True
Let u be (-3)/6*2*-5. Suppose -u*h + 24 = -456. Suppose h = -7*d + 11*d. Is d a multiple of 12?
True
Let a be ((-8)/(-20))/(11/5 - 2). Suppose 3*y = -3*x + 39, -y = -a*y - 3*x + 23. Let f = y + 95. Does 12 divide f?
False
Let u(i) = 15*i + 38. Let g be u(31). Suppose -34*h + g = -6433. Is h a multiple of 17?
True
Let d(c) = 6*c**2 - 9*c + 25. Let h = 204 - 198. Is 17 a factor of d(h)?
True
Suppose 2506 + 314 = 4*i. Suppose 83*r - 78*r - i = 0. Suppose 2*a + 9*w - r = 4*w, 201 = 3*a - 3*w. Is 25 a factor of a?
False
Is 13 a factor of 90/(-120) - 32538/(-24)?
False
Suppose 24*s + 57615 - 353175 = 0. Is s a multiple of 14?
False
Let f(a) be the second derivative of a**5/20 + 17*a**4/12 - 13*a**3/6 - 29*a**2 - 27*a. Is 25 a factor of f(-17)?
False
Suppose -23*w = 25*w - 35616. Let p = w + -641. Does 16 divide p?
False
Let m be 4/(-6) - 2/(-3). Suppose m = 6*p - 10*p - 388. Let k = 53 - p. Is k a multiple of 16?
False
Let l(k) = -2*k**3 - 88*k**2 - 126*k - 48. Does 11 divide l(-43)?
True
Let l be 7/7 + (2 - (1 - 0)). Let k(v) = 4*v - 8. Let p be k(l). Suppose q - 45 - 32 = p. Does 11 divide q?
True
Is 13 a factor of ((8 - 4) + 31)*(8 + -4483)/(-5)?
False
Let h = 537 + -541. Suppose -3*x + 2*j = 0, -1 - 14 = 5*j. Does 11 divide (x + 4)/(h - -3)*-44?
True
Let p be ((-2)/(-4))/(6/252) - 5. Suppose -p*v = -v - 4200. Is v a multiple of 14?
True
Let f = 2877 + -2211. Is f a multiple of 111?
True
Suppose 9*g = -620 + 656. Suppose 5*x + k = 4503, 0*k = -g*x + 2*k + 3594. Is x a multiple of 94?
False
Let c be (-6)/(-12)*22*(0 - -1). Suppose 0 = -c*m - 255 + 3456. Is m a multiple of 26?
False
Let q(b) be the third derivative of 7*b**5/60 - b**4/12 - b**3 - 28*b**2. Let v be q(-3). Let f = 77 - v. Is 2 a factor of f?
True
Suppose -2*d + 5*t + 12037 = 0, -20*d + 16*d + 24137 = -t. Does 3 divide d?
True
Let g(w) = 28*w**2 - 214*w - 97. Is g(25) a multiple of 17?
True
Suppose 8*k - 11*k = 24. Is 11 a factor of (k/2 - (2 + -3))*-79?
False
Let p = -10 + 13. Suppose -p*q - 24 = -2*q - 2*l, 2*l = 3*q + 64. Let w = q - -56. Does 3 divide w?
True
Suppose -3*b - 354 = -363. Suppose n - 5*k = 153, 165 = b*n - 2*n - k. Is n a multiple of 7?
True
Suppose -2*g + 10614 = -5*y, g - 3852 = 3*y + 1458. Is 49 a factor of g?
True
Suppose -4*l + 2 = -g - 4*g, 0 = -4*l + 3*g + 6. Let d = -1874 - -1974. Suppose 7*z = l*z + d. Is 10 a factor of z?
False
Let r(a) = -a**2 - 26*a + 22. Let n be r(-9). Let f be 1/(3 - n/60). Is 29 a factor of f + -10 - (-1*336)/2?
False
Let d = 28 - -1. Let p = d - 23. Suppose -5*s + 364 = -4*g, g = 4*s + p*g - 283. Is 18 a factor of s?
True
Let m = -11227 - -12140. Does 8 divide m?
False
Let d(g) = -45*g**2 - 2*g - 1. Let l be d(-1). Let q = l - -43. Is 9 a factor of 8/4 + q - -43?
False
Let x = 14 - -3. Suppose 14*o + 9 = x*o. Suppose b - 59 = 3*c, 0 = -b - o*b + 3*c + 227. Is 14 a factor of b?
True
Suppose -4*t + 5*t - 2 = 0. Let x(y) = -42*y - 28. Let z(b) = -9. Let d(g) = -x(g) + 2*z(g). Is d(t) a multiple of 16?
False
Let j = -1882 - -3474. Is 77 a factor of j?
False
Let p(z) = -26*z**3 - 5*z**2 - 9*z - 13. Let g be p(-5). Suppose -551 = -9*q + g. Does 34 divide q?
False
Suppose 5*j = -3*l + 2718, 4*l - 1812 = 2*l - 5*j. Suppose -192 = 7*z - l. Is z a multiple of 34?
True
Suppose -20805 + 104193 = 12*n. Is n a multiple of 7?
False
Suppose -26 + 12326 = 8*l + 2012. Does 13 divide l?
False
Let x = 28 + -24. Suppose 5 - 13 = -x*f. Is 9 a factor of -3 + f - -32 - (-40)/(-10)?
True
Let u(c) = -28*c - 7. Let z be u(-4). Suppose -8*f = -f + z. Let v = 22 + f. Is v a multiple of 2?
False
Let w(j) = -j**3 - 72*j**2 + 149*j - 1261. Does 51 divide w(-78)?
False
Let w(i) be the second derivative of i**4/6 - 5*i**3/3 + 186*i. Is 8 a factor of w(8)?
True
Suppose 3694521 + 11438423 = 204*p + 1120592. Is p a multiple of 318?
True
Let v = 53 + -55. Let a = v - 2. Is 10 a factor of (208/10)/(a/(-10))?
False
Suppose 2*w + n - 8 + 0 = 0, -2*n - 9 = -w. Let d be ((-4)/w)/((-2)/10). Suppose 0 = -3*m - d*m + 168. Is m a multiple of 6?
True
Let v(p) = -2*p**3 - 3*p**2 + p - 3. Let m be v(0). Does 4 divide 2/m - (3 - 1495/15)?
True
Let n(r) = 41*r**2 - 21*r + 39. Let o be (-1 - 5) + (2 - (-3 + -3)). Is 5 a factor of n(o)?
False
Let l(h) = 202*h - 1134. Is 2 a factor of l(22)?
True
Let i(v) = -2*v**3 - 13*v**2 - 9*v - 3. Suppose 9*u = 28*u + 114. Is 2 a factor of i(u)?
False
Let o(m) be the first derivative of 9*m**2/2 - 19*m + 15. Let t be o(7). Suppose -4*v = 4 - t. Is v even?
True
Suppose -222*w + 217*w = -375. Let i = 100 - w. Is i a multiple of 25?
True
Suppose 0 = -2*p, 498 = 2*k - 5*p + 2*p. Is k a multip