
Suppose 14 = 4*a - w, 19*w - 6 = -3*a + 22*w. Is (-745)/(-3) - (70/(-15) + a) a multiple of 22?
False
Let w = 487 + -131. Suppose -w*j - 1200 = -361*j. Is j a multiple of 20?
True
Let g be -146 + 7/((-7)/5). Let w = -131 - g. Is 5 a factor of w?
True
Let i(d) be the first derivative of 5*d**3 + 2*d**2 + 4*d - 96. Is 17 a factor of i(-3)?
False
Let j(b) = 41*b**3 - 6*b**2 + b + 101. Is j(6) even?
False
Let a be (-8)/(-2) + 24/(-12). Suppose -y - 2 = j, 2*j + a*j + 5 = -3*y. Does 17 divide 2/j*(-1 - -63)?
False
Suppose -138*j + 32*j + 212 = 0. Let w be ((-2)/(-1))/(4/(-18)). Does 19 divide (w/(-27))/(j/678)?
False
Let v be (-32)/(-8) + (1 + 5)/2. Is 39 a factor of (-98)/v + 9 + 1310?
False
Let d(r) be the first derivative of r**4/2 - r**3/3 - 23*r**2/2 + 4*r - 27. Is 24 a factor of d(4)?
True
Let g = -296 - -206. Does 11 divide (-1510)/(-4) + (g/12 - -7)?
False
Suppose 0 = 3*h + 7 - 4. Let b be h/(18/(-4) - -4). Suppose -226 = -2*f - 3*m, -113 = -3*f + b*f + 5*m. Does 12 divide f?
False
Let t(z) be the second derivative of z**4 + 2*z**3/3 + 17*z**2 + 25*z. Let w(a) be the first derivative of t(a). Is 23 a factor of w(6)?
False
Let i(m) = 82*m - 140. Suppose -4*j = -h - 0*j - 1, 2*j = 4*h - 24. Is i(h) a multiple of 38?
False
Let s = 4144 - 3737. Does 11 divide s?
True
Suppose -16 = 4*o, 0*w = -w + 2*o + 18. Let f(z) be the second derivative of -z**5/20 + 11*z**4/12 - 11*z**3/6 + 15*z**2/2 + 39*z + 1. Is 5 a factor of f(w)?
True
Let q(z) = z**2 + 2*z - 44. Let f be q(-8). Suppose 4*r = 3*s - f - 3, 0 = 5*r + 2*s - 20. Suppose -7*x + 108 = r*v - 2*x, -x = 0. Is v a multiple of 9?
True
Let b be (-4 + 3)*3 - -7. Suppose 123 = 4*l + b*f - 481, l + 5*f = 159. Is 9 a factor of l?
False
Let b = 7850 + -7444. Does 7 divide b?
True
Let c(b) = 26*b**2 + 38*b - 161. Does 6 divide c(4)?
False
Let p(h) = -4*h**3 - h**2 + 4*h + 11. Let x be p(4). Let a = x - -357. Does 9 divide a?
False
Suppose 2*n - 3*i = -i, 3*n = 4*i - 1. Let g(b) = -23 + 6*b + 122*b**3 - 11 + 29. Is 20 a factor of g(n)?
False
Suppose 83 + 25 = -4*w. Let n = -43 + w. Let q = 142 + n. Does 10 divide q?
False
Suppose -3*l - 3 + 15 = 0. Suppose -l*c = -4*t - 900, 0 = -2*c - 2*t + 7*t + 456. Let a = -48 + c. Is a a multiple of 15?
False
Let y = 19837 - -2978. Does 135 divide y?
True
Suppose -3*i - b = -10, 5*i + b - 132 + 116 = 0. Let u = -3 + 5. Suppose 10*m - i*t = 7*m + 24, m = -u*t - 1. Is 3 a factor of m?
False
Let y = -286 + 24. Let q = 322 + y. Is q a multiple of 6?
True
Let w = -5555 - -16454. Is 63 a factor of w?
True
Let l = 555 + -553. Suppose -l*u + 477 - 291 = 0. Does 3 divide u?
True
Suppose 3*c = -4*z + 6*c - 145, 4*c = -4*z - 180. Let i = 126 + z. Let p = i - 37. Is p a multiple of 18?
False
Let k(p) = -16*p + 6. Let c be k(-10). Let x be (45 + -3)/(c/(-84) + 2). Suppose 0 = 16*i - 7*i - x. Does 14 divide i?
True
Suppose 156 = -15*k + 28*k. Suppose 13*f - k*f = -5, 215 = 5*r + 2*f. Does 2 divide r?
False
Let b = 8190 + -5615. Suppose 1225 = 4*p - 2*f - b, p + 4*f = 932. Does 27 divide p?
False
Let y be ((-1610)/(-15))/7 + (-2)/6. Let a be 5/(-2)*(-2)/y*6. Is 8 a factor of (-2 + (-184)/(-12))/(a/6)?
True
Suppose -2*j = -2*s - 618, s + 274 + 340 = 2*j. Suppose 4*d - 87 = j. Let m = d - -14. Is 7 a factor of m?
True
Let p(y) = 16*y**3 + 45*y**2 - 53*y - 60. Let b(r) = -3*r**3 - 9*r**2 + 10*r + 12. Let q(u) = -11*b(u) - 2*p(u). Does 9 divide q(-5)?
True
Suppose 0 = -41*n - 62 + 4203. Suppose -3*b + 149 = -292. Let l = b - n. Is l a multiple of 23?
True
Suppose 5*w + 6 = 2*x, -1 = -4*w - 3*x + 8. Suppose 18*g - 46*g + 2856 = w. Does 34 divide g?
True
Suppose -185322 = -0*w - 33*w + 401550. Is 171 a factor of w?
True
Suppose -6*h = 22*h + 9156. Let l = h + 400. Is l a multiple of 31?
False
Suppose -518381 - 378229 = -91*o - 39*o. Is 11 a factor of o?
True
Let i = -393 - -384. Does 3 divide 204/i*30/(-20)?
False
Let a = 3128 + -1908. Is a a multiple of 10?
True
Let c = 21542 + 19811. Does 82 divide c?
False
Let n(o) = 7*o**2 + 51*o - 28. Let v(p) = -3*p**2 - 17*p + 9. Let s(l) = -3*n(l) - 8*v(l). Is s(12) a multiple of 12?
True
Let n = -181 + 110. Let v = n + 76. Suppose 2*i + 411 = 2*j - 3*i, 0 = -v*j - 2*i + 955. Is 36 a factor of j?
False
Suppose -4*t = -15 - 5. Suppose 882 = -t*k - k. Let q = k - -285. Does 12 divide q?
False
Suppose 3*y - 24789 - 9743 = -2*n, -69136 = -4*n + 3*y. Is n a multiple of 10?
False
Let p(i) = -2*i**2 + 40*i. Let c be p(20). Suppose 3*y - 9 = c, h = y - 60 + 6. Let g = h - -147. Is 39 a factor of g?
False
Suppose 5*b - 4*i = 2769, 4*b + 3*i - 2232 = 2*i. Let q = -539 + b. Is q a multiple of 4?
False
Let f = 19048 - 4971. Suppose -17*u + 9315 = -f. Is u a multiple of 12?
False
Let v(o) = o**2 - o - 26. Let j be v(-5). Suppose 13*s = j*s + 1062. Is s a multiple of 3?
False
Let n(o) = o**2 - 11*o - 31. Let q be n(12). Let k = 9 - q. Does 14 divide k?
True
Let b(s) = -s**2 - 14*s - 22. Let w(q) = -q**2 - 3*q - 2. Let z be w(-5). Let m be b(z). Suppose 2*r + 629 = 6*r - 5*x, -466 = -3*r - m*x. Does 39 divide r?
True
Let n = -8843 - -9022. Is n a multiple of 2?
False
Suppose -5*g + 38818 = 4*t, -3*g - 5*t + t = -23278. Is g even?
True
Suppose -2*b = -5*a - 1350, 4*a = 3*b + b - 1080. Let f = 450 - a. Is 18 a factor of f?
True
Suppose -16*g + 18*g - 14746 = -6*y, 4*g + 4*y - 29420 = 0. Is 11 a factor of g?
False
Suppose -5*v - 13 + 33 = 0, 2*v = -2*f + 142. Suppose 1 = k + f. Let r = k + 99. Is 16 a factor of r?
False
Suppose -l - 40 = -3*x + 3*l, -l - 44 = -5*x. Suppose 3524 = x*p - 1788. Is 13 a factor of p?
False
Let a = -606 - -1315. Suppose -4*k = -3*k - q - 718, -4*q - a = -k. Is k a multiple of 22?
False
Is (-18)/90*-55*(-1)/(-1) a multiple of 2?
False
Let y = -22027 + 43231. Is 12 a factor of y?
True
Let d(p) = 30*p - 76. Let r be d(10). Does 6 divide ((-39)/4)/((-12)/r)?
False
Suppose -3*q = 2*q - 280. Suppose q*f = 51*f. Suppose p + 4*p - 1600 = f. Is p a multiple of 14?
False
Suppose -2003 = -6*f + 5095. Suppose 0 = -4*r - 3*w + f, -5*w = 2*r + 3*r - 1485. Is r a multiple of 11?
False
Suppose 139 = 4*s - 101. Suppose -2*v - s = -34. Let f = 39 + v. Does 8 divide f?
False
Let i = 408 + -408. Suppose -5*o - 5 = i, 403 = 5*u + 4*o - 528. Is 10 a factor of u?
False
Let t(d) = d**2 - 6*d + 25. Let i be t(3). Suppose -4*w - i = 0, -w = -4*h - 4*w + 248. Is 65 a factor of h?
True
Let k = -405 - -410. Suppose m + 4*s = k*s + 246, -s = m - 242. Is m a multiple of 24?
False
Suppose 147*k + 2*k + 138*k - 4734065 = 0. Is 13 a factor of k?
False
Let v = -3 + 4. Let i be 5*(v + -1 - -1). Suppose i*t - 604 = 6. Does 18 divide t?
False
Let s = 77 + -62. Suppose s = -c + 55. Is c a multiple of 3?
False
Let m = 230 + -223. Suppose -6*k = m*k - 1664. Is 8 a factor of k?
True
Suppose 8*r - 3758 = 730. Let i = r - 445. Is 4 a factor of i?
True
Suppose -3*z = -12*h - 10605, -2108 - 1428 = -z + 5*h. Is z even?
False
Let h be 17*4 + 1 + (72 - 79). Suppose 0 = -3*c + g - 109, -16 + 226 = -5*c - 4*g. Let o = c + h. Is o a multiple of 6?
True
Is 4 a factor of (1306/(-3) + -12 - 13)/(1/(-27))?
False
Let a = 47 + -44. Suppose -n = -a*c - 110, -114 = 3*c - 2*n - n. Let y = c + 68. Is y a multiple of 16?
True
Let a be 22/8 - (-3 + 11/4). Suppose -2*x = -4*r + 2, -x = r + a*x + 4. Suppose -j + 2*l + r*l = -125, 25 = -5*l. Is 33 a factor of j?
False
Let r(v) = -v**2 - 10*v + 24. Let u be r(-12). Let q = u - -89. Does 60 divide q?
False
Let k be 9*(1*3/1 + 3). Let q = k - 54. Suppose -m - 2*o + 52 = q, 3*o + 29 = 3*m - 118. Is m a multiple of 10?
True
Is ((-6)/27)/((-16)/(-72)) - -12044 a multiple of 156?
False
Suppose -66 = -16*s - 17*s. Is (s/6)/((-6155)/(-615) + -10) a multiple of 8?
False
Let j be 3*6*(-8)/(-36). Let w be ((-2)/j + 1)/((-1)/10). Is -2*36/(-21)*(w - -40) a multiple of 20?
True
Suppose -k - k + 22 = 4*u, -2*k - 13 = -3*u. Suppose u*g - 703 + 57 = 4*x, 2*g = -4*x + 236. Is g a multiple of 6?
True
Suppose -s + 2*s - 673 = c, c = -2*s + 1349. Suppose s = 4*v + 3*l, 3*l + 155 = v - 21. Suppose v*j = 174*j - 516. Is 12 a factor of j?
False
Suppose -2*d = y - 6, -3*d - 1 = -2*y - 3. Let k be 24/(-6) + 95 - 1*y. Suppose 121 = 6*u - k. Is u a multiple of 7?
True
Let d(y) = -y**2 + 24*y - 7. Suppose -3*u + 3*m + 39 = 0, 0 = -4*u - 2*m - 2*m + 60. Is d(u) a multiple of 