Suppose -4*i + 1780 = 9*l - 4118, -4402 = -3*i + 4*l. Does 35 divide i?
True
Suppose 0 = -m + l + 993, 7*m - 4*l - 2975 = 4*m. Let g = m - 453. Does 32 divide g?
True
Let p = 4183 - 3749. Does 15 divide p?
False
Let n(g) = 640*g - 479. Is 47 a factor of n(23)?
True
Let z(i) = -i - 5. Let k(d) = -107*d - 79. Let w(a) = -k(a) - 2*z(a). Does 98 divide w(2)?
False
Let s be 0 - (3 + -7)*1. Let m be (-16 + 19)/((-6)/s). Is 13 a factor of 5*(m + 342/15)?
True
Let s = 27 + -31. Let j be -63 + (-1)/(1*(-2)/s). Let t = 81 + j. Is t a multiple of 5?
False
Suppose 0 = 27*y - 53*y + 116298. Is 21 a factor of y?
True
Is 8 a factor of (7/(35/(-1773)))/(7/(-35))?
False
Suppose -12 + 8 = 2*c. Let i = 5 + c. Suppose d - 501 = -4*j, 243 = 2*j - 0*j + i*d. Is 29 a factor of j?
False
Suppose 0 = 2*z - 6*z + 4*w - 588, -2*w + 445 = -3*z. Let b = 13748 - 13319. Let n = b + z. Does 30 divide n?
False
Suppose -8119 = 22*r + 9459. Let v = r + 1428. Is v a multiple of 17?
True
Suppose 0 = 2*p + 23 - 29. Suppose k + p*x - 3 = 0, 0 = 5*k - 5*x - 11 - 4. Does 9 divide -5 + 2 + (k - -12)?
False
Suppose -4*p = 6*p - 400. Let g = p + -25. Is g even?
False
Let g(k) = -25*k - 169. Let s be g(-8). Let m = -8 - -13. Does 31 divide m*3*s/3?
True
Let a(n) = 3*n + 78. Let d(c) = 29*c - 3. Let y be d(1). Does 13 divide a(y)?
True
Suppose 3*t = -2*h + 279, -2*t + 82 + 93 = 5*h. Suppose -6*v = -t + 899. Let a = v + 251. Does 13 divide a?
True
Let q(t) = 23*t**2 + 21*t + 429. Is 16 a factor of q(-28)?
False
Let f(g) be the second derivative of g**5/20 - g**4 + 22*g**3/3 + 3*g**2/2 + g + 2. Does 3 divide f(8)?
True
Let v = -210 - -297. Let s = 141 - v. Let w = 13 + s. Does 12 divide w?
False
Suppose -7*s + 6 = -15. Suppose -2*h + h - s*v - 48 = 0, -228 = 5*h + 3*v. Let y = h - -193. Is 15 a factor of y?
False
Let n be 103 + 0 - 18/6. Let m be 5/2*1720/n. Let v = 16 + m. Is v a multiple of 39?
False
Let b = 118287 - 76115. Is 13 a factor of b?
True
Let l(n) = 490*n + 4046. Is 12 a factor of l(43)?
True
Suppose 0 = -0*y + 3*y + 1980. Let b be (15 - 15) + (0 + 2 - -938). Let j = y + b. Does 28 divide j?
True
Let n = 1256 - -3749. Is n a multiple of 65?
True
Let y(j) be the second derivative of j**4/12 + 4*j**3/3 + 7*j**2 - j. Let u(r) = 665*r - 7987. Let k be u(12). Is 4 a factor of y(k)?
False
Suppose 1 - 5 = -o. Suppose -4*k = l, 1 = 3*k + o. Suppose -l*d + 12*d = 992. Is 22 a factor of d?
False
Let y = 70018 + -48088. Is y a multiple of 17?
True
Let s(o) = o**2 + 9*o + 20. Let a be s(-3). Let d be -3*a/(-27) + 6170/18. Is 8/32 + d/4 a multiple of 11?
False
Let m(f) = 2866*f + 257. Does 28 divide m(1)?
False
Is ((-2)/3)/(464/3480*(-2)/180) a multiple of 225?
True
Let n be (-6 - -5) + (-2)/(-2) + 0. Suppose -19*g + 18*g + 129 = n. Is g a multiple of 8?
False
Is (30/(-36))/(15/(-24)) + 667433/39 a multiple of 21?
True
Let b(v) = 7*v + 65. Let t be b(-7). Suppose 12*q - t*q + 368 = 0. Is 23 a factor of q?
True
Let v(x) = -x**3 + 9*x**2 + 4*x + 3846. Is v(0) a multiple of 4?
False
Let b = -1 + 5. Suppose 9 = -s + 2*s + j, 0 = 2*s - b*j - 24. Does 21 divide 589/s + (-4)/(-40)?
False
Suppose 2*s - 4740 = -y, 5*s = -4*y + 3*s + 18978. Is y a multiple of 14?
True
Let i(l) = -l**2 + 2*l + 37. Let r be i(6). Suppose r*o - 17*o = 3*s - 1579, -s = -o + 386. Is o a multiple of 14?
False
Let g(n) = -n**2 + 10*n + 11. Let z be g(11). Suppose z = b - f - 85 - 84, b - 5*f - 181 = 0. Suppose 2*x = -5*v + 70, x + b = 5*x - 3*v. Is x a multiple of 4?
True
Suppose 0 = -k - f + 4*f + 7, 3*f = 3. Let x(v) = -v**3 + 14*v**2 - 14*v + 12. Does 17 divide x(k)?
True
Suppose 5*c + 15 - 1 = -m, 0 = -5*m - 2*c - 1. Suppose -m = -k - 3, 33 = 3*f - 3*k. Is 10 a factor of (f/6)/((-121)/(-60) + -2)?
True
Let s = 11 - 1. Let i be (-18)/(-30) - (-54)/s. Suppose 377 = i*w + 89. Does 21 divide w?
False
Let a(s) = -2*s**3 - 6*s**2 - 2*s - 6. Let r(g) = -2*g**2 - 11*g - 8. Let q be r(-5). Let l be a(q). Suppose 5*w - 151 - 199 = l. Is 10 a factor of w?
True
Let n be 2 + -374 + (24 - 26). Let o = 525 + n. Is 13 a factor of o?
False
Let l(m) = -96*m + 14. Is l(-56) a multiple of 35?
True
Let l(j) = 3*j**2 + 5*j - 6. Let o be l(-3). Suppose -636 = -o*z + 366. Suppose 0 = 2*q - z - 187. Does 21 divide q?
False
Let u(w) = 4*w**2 - 2*w - 1. Let j be u(2). Let r(m) be the first derivative of m**4/4 - 3*m**3 - 6*m**2 + 5*m + 76. Is r(j) a multiple of 9?
False
Suppose 2*u = -3*a - 168, -5*a + a = -u - 106. Let y be (40/(-160))/(-1*2/56). Is (u/35)/((-1)/y) + -3 a multiple of 5?
True
Let p = 1998 - -11874. Suppose -p + 3466 = -22*m. Is 18 a factor of m?
False
Let w = -72 - -118. Suppose 0 = 50*n - w*n. Is 37 a factor of (n - 3)*240/(-18)?
False
Suppose 3*w + 3 = 3*n, -3*n = -2*w - 0*n - 7. Suppose -2500 = 8*z - 10*z - w*t, -4*z = -t - 5036. Is z a multiple of 25?
False
Suppose t + 19*t - 8440 = 0. Let i = -5 - -7. Suppose 3*p - i*w = t, p + p - w - 282 = 0. Does 35 divide p?
False
Let l(o) = -609 + 609 + o. Let f be l(2). Does 9 divide 5 + 61 + 3/(-3 + f)?
True
Let q(g) = 86*g - 5. Let p(z) be the second derivative of 86*z**3/3 - 11*z**2/2 - 3*z. Let k(u) = -4*p(u) + 9*q(u). Does 14 divide k(1)?
False
Let s be (11/(-11) + -23)*2/4. Is 14 a factor of s/(-24)*(321 + 3)?
False
Let p(a) = -a**3 - 26*a**2 + 65*a + 972. Does 10 divide p(-33)?
True
Let a be 1/(-1) - 12/(-4). Suppose a*s + y - 7 = 0, -s + 5*y + 4 = -5. Suppose -s*b + 4*n + 340 = 0, -4*b + 75 = -3*b - 3*n. Does 15 divide b?
True
Suppose -523 = -5*v + 502. Suppose v = h - 47. Does 4 divide h?
True
Suppose 2*b = s - 3*s + 1144, 5*b = -2*s + 1141. Let q = 1153 - s. Does 10 divide q?
True
Let t(l) = -2*l**3 + 9*l**2 + 4*l + 10. Let r be t(5). Is 14 a factor of (-14136)/(-45) + r - (-8)/(-60)?
False
Let s = 409 - 1203. Let k = 1164 + s. Is 30 a factor of k?
False
Suppose -66*x + 298922 + 290226 = -678910. Is 94 a factor of x?
False
Suppose 34*l - 21*l + 69 = 16*l. Is l a multiple of 15?
False
Let n be -3 + (2 + -1)*3 + 8. Let i be 20/(5/(3860/n)). Is 29 a factor of (5/25)/(2/i)?
False
Does 121 divide (17556/(-18) + 0)*(-66)/4?
True
Suppose 4*t - 15651 = -q, -q - 4709 - 3106 = -2*t. Is 33 a factor of t?
False
Let c(x) = -x**3 - 14*x**2 - 7*x - 28. Suppose -10*j - 137 = 3. Does 14 divide c(j)?
True
Suppose 15 = 10*b - 5. Let g(w) = -5 + 3 + 2 + 26*w**b. Is g(-2) a multiple of 24?
False
Does 19 divide (-4)/((-496)/(-3668) - 12/84)?
False
Let p = 11 + -10. Let f be (4/36*-3)/(p/3). Does 6 divide ((-6)/f - 2) + 25?
False
Let u(l) = -14*l**2 + 36*l - 6. Let m(w) = -9*w**2 + 24*w - 4. Let s(k) = -8*m(k) + 5*u(k). Does 44 divide s(-13)?
False
Suppose -43125 + 57402 = 118*t - 263377. Does 5 divide t?
False
Let w(r) be the second derivative of 7*r**4/3 + 5*r**3/6 + 2*r**2 + 24*r. Is 3 a factor of w(-1)?
True
Let z(m) = m**2 - 893*m + 18204. Does 64 divide z(0)?
False
Let f(o) = -o**3 - o**2 + 3. Let s be f(0). Let z(p) = -p**3 + 47*p**2 + 94*p + 202. Let a be z(49). Suppose -g + s = -a. Is g a multiple of 3?
True
Let s(g) = 2*g + 24. Let f be s(-11). Let y(m) = -3*m**3 + 0*m**3 + 90 - 6*m**2 + f*m**3 + m - 105. Is 6 a factor of y(-7)?
False
Is (13 - 10 - (-1129 - -1))/(6/6) a multiple of 9?
False
Let b = 5165 - 2610. Is b a multiple of 35?
True
Suppose 0 = -64*c + 365 - 109. Let l(z) = 39*z**2 + 55*z - 204. Is l(c) a multiple of 7?
False
Let f = -127 - -145. Suppose -16 = -i + 37. Let h = i + f. Does 15 divide h?
False
Suppose 0 = 5*f + h - 5134 - 1698, 0 = 4*f + 5*h - 5495. Is f a multiple of 7?
True
Let j = -224 + 313. Suppose 4*c = -18 + 478. Suppose -a - j = -c. Is a a multiple of 13?
True
Let d(p) = -9*p + 101. Let o(t) = -t. Let k(s) = d(s) - 6*o(s). Is k(-21) a multiple of 22?
False
Let l be 243/45 + -6 - 3653/(-5). Does 28 divide l/(-15)*486/(-36)?
False
Let u(c) = -4*c + 97. Let d be u(25). Does 20 divide 640/d*(-6)/4?
True
Let w be 4 - (1 + 4 - 3). Suppose -7*v = -w*v - 5, 5*m + 5*v = -15. Is 23 a factor of m/26 + 3202*7/182?
False
Suppose 33*v - 15*v - 8352 = 0. Let u = v + -134. Is 30 a factor of u?
True
Let q(a) = -2*a**3 - 3*a**2 + 6*a + 9. Let g be q(-4). Let f = g - 37. Suppose 3*c + d - 30 = 1, -4*c + f = -2*d. Is c a multiple of 9?
True
Let u(t) = -648*t**2 + 8*t - 8. Let y be u(1). Let n = y + 1167. Is n a multiple of 63?
False
Let b = 6 - 2. Let h(z) = -739*z - 4832. Let