+ 4 + 12 + -12. Is 26 a factor of (-34 - d)*(u - -210)/1?
True
Suppose -2*g - 5 = -9. Suppose 5*j + 3 = g*j. Is -81*1/j + 3 a multiple of 14?
True
Let f(p) = 85*p**2 + 7*p + 7. Let u be f(-1). Is 27 a factor of 0 + u + 6/(-6)?
False
Suppose 4*z = -3*i + 17662, 27*i + 23536 = 31*i + 2*z. Does 17 divide i?
True
Let x = 467 + 406. Is 4 a factor of x?
False
Suppose 2*w + 27184 = 4*m, 2*m + 4*w - 7955 = 5637. Is 4 a factor of m?
True
Let d be 2/(-10) + 38/(-10). Let g = -1216 - -1651. Does 21 divide 9/(27/g) - (d + 2)?
True
Let p = -52 + 55. Suppose 5*h = k - 3, 0*h = p*h. Suppose 64 = -k*b + 5*b. Does 16 divide b?
True
Suppose 0 = 2*f - 33 + 25. Let k(c) = c**2 + 5*c - c**3 - f - 4*c + 10 + 4*c**2. Is 13 a factor of k(4)?
True
Let r(m) be the first derivative of 5*m**3 + 13*m**2 - 7*m - 95. Is 10 a factor of r(-3)?
True
Suppose 0 = -5*t - 6*t. Suppose t = -57*u + 51*u + 312. Does 2 divide u?
True
Let s(k) be the first derivative of -k**3/3 - k**2 + 9*k - 16. Let u be s(0). Suppose -u*q - 112 = -11*q. Is 14 a factor of q?
True
Let g(o) = 166*o**2 + 17*o + 270. Is 114 a factor of g(-12)?
False
Suppose -3*a + 2609 = 2117. Is 37 a factor of a?
False
Let p(g) = -g**3 - 3*g**2 + 9*g + 20. Is p(-15) a multiple of 78?
False
Suppose -30*i = -27*i - 1035. Suppose 0 = -13*j + i + 812. Is j a multiple of 2?
False
Let m(a) = 34*a - 40. Let g be m(16). Suppose 0 = -g*u + 507*u - 2532. Does 12 divide u?
False
Suppose 27*p = 37*p - 100. Suppose 0*x + p*x = 2010. Is 9 a factor of x?
False
Let q = 49 - 26. Let w = 70 - q. Let k = w - 12. Is k a multiple of 6?
False
Is 29 a factor of (-4 + 44/8)*64/12*2551?
False
Is ((-36)/(-189)*-9)/((8 - 4)/(-756)) a multiple of 3?
True
Does 22 divide 5 + ((-32706)/36)/(2/(-44))?
False
Let z(y) = 2*y**3 - 22*y + 8. Let o(j) = j**2 + 14*j + 19. Let d be o(-13). Does 22 divide z(d)?
True
Let o be (-3)/(2 - (-2 + 12/4)). Let z be (-15)/o*24/20. Suppose 2*y - 3*v - 29 = -2*y, -y + v + z = 0. Does 9 divide y?
False
Suppose 0*u - 77 = -2*u + 5*p, 0 = 2*u + 4*p - 32. Suppose u*o = 20*o + 2772. Is 7 a factor of o?
True
Suppose i + 3*m = 15, 2*i - m = i - 5. Let t = -2 + 7. Suppose -3*d + t*j + 287 + 108 = i, 0 = 4*d + 3*j - 546. Does 15 divide d?
True
Let p = 78133 + -54837. Is 91 a factor of p?
True
Suppose 4*u + 8 = -2*d, 5*d + u = -2 - 0. Suppose 5*i = -3*q - 7, -4*i - 2*q = -0 + 6. Is (i + d)/((-2)/12) a multiple of 7?
False
Let o = 58 - 56. Suppose o*s + 10 = 2*d, -s + 0*s = -3. Suppose 2*a - 160 = -d*a. Is 6 a factor of a?
False
Let s be 7 + 284 - 4 - 5. Let z = 264 + s. Does 14 divide z?
True
Let t(s) = s**3 - 7*s**2 + 5*s + 7. Let k be t(11). Let w(m) = -3*m + 59. Let u be w(17). Suppose k = u*c - c. Is c a multiple of 37?
False
Let b(m) = m**2 - 14*m + 17. Let c be b(13). Let r be (-2)/c + (-84)/8. Let a = 362 + r. Is 13 a factor of a?
True
Suppose 0 = -14*s + 1271 + 10559. Is s a multiple of 13?
True
Let z = -18418 - -48806. Is 142 a factor of z?
True
Let h(y) = 9*y + 4. Suppose -32 = -21*m + 52. Is h(m) a multiple of 10?
True
Let r be (-5 - 4) + 7 - -6. Suppose -8 = -4*w, r*t - 2187 = -w + 2175. Is 10 a factor of t?
True
Suppose 8*q + 32*x - 74768 = 28*x, 5*q = -5*x + 46710. Does 17 divide q?
True
Let r be -10*(-4)/(-8) + 4 - -1341. Suppose 2*g = 4*m + r, 5*g - m - 621 = 2720. Is g a multiple of 5?
False
Suppose 2*z + 562 = -4*k - 988, 0 = -4*z - 5*k - 3085. Let r = -540 - z. Let f = r - 129. Is 12 a factor of f?
True
Suppose -2*q = -q, 0 = -3*z - 4*q + 828. Suppose -58 - z = -2*l. Let g = -64 + l. Is 14 a factor of g?
False
Suppose -n - 4*n + 52 = 4*q, 0 = 3*q - 2*n - 39. Let j = 221 + q. Is j a multiple of 12?
False
Let r = -18048 + 44092. Is 68 a factor of r?
True
Suppose 5*w = 5*p - 152875, -p + 4*w + 25851 = -4733. Does 81 divide p?
False
Suppose x - 1 - 1 = 0. Let s(o) = 11*o + 2. Let u be s(x). Is 34 a factor of (-706)/(-10) + u/(-40)?
False
Let f(k) = -k**2 + 12*k + 8. Let q be f(6). Let g(w) = -w**3 + 46*w**2 - 86*w + 100. Does 19 divide g(q)?
False
Let d(a) = 26*a - 903. Is 3 a factor of d(79)?
False
Let y = 33919 + -7945. Does 54 divide y?
True
Let d = 6566 + -4643. Is 8 a factor of d?
False
Let o = 555 + -413. Let h = 35 + o. Is 2 a factor of h?
False
Suppose 10*o - 6*o = 4*r + 276, 2*o = 4*r + 134. Let q = o + -83. Is 24 a factor of (-19 - -35)/((-2)/q)?
True
Let k be 4*(0 + 1) + 0. Suppose k*a + 30 = 46. Suppose -a*x + 71 = -249. Does 22 divide x?
False
Let u = 9699 + -7818. Is 11 a factor of u?
True
Is 8 a factor of (-2)/15 + ((-1718682)/(-315) - -17)?
False
Let t = 1 - 36. Let f = -28 - t. Let g(v) = -v**3 + 10*v**2 - 6*v + 15. Is g(f) a multiple of 15?
True
Suppose -2*g + 1 = -1. Suppose 4*d - 9 = -g. Suppose z = 2, -a + 64 = -d*z + z. Does 11 divide a?
True
Let p be ((-134)/(-6) + (-4)/(-12))*-3. Let s(d) = 2*d**2 + 5*d - 16. Let r be s(-8). Let g = r + p. Is 3 a factor of g?
False
Suppose 3*j - j + c = 1, 4*j - 3*c = 27. Suppose -j = -5*d + 22. Suppose -f + 139 = d*w - 0*f, -5*f = -20. Is w a multiple of 9?
True
Let y(z) = 3*z**2 - 30*z - 162. Let g be -13*(-1 + 2) - 2/(-2). Is y(g) a multiple of 10?
True
Let t = -26 + 33. Let b be 2*1/4*658/t. Let g = b - 31. Does 14 divide g?
False
Suppose -392 + 437 = 5*w. Let f = -41 - -31. Is (-558)/f + w/45 a multiple of 7?
True
Suppose -3*u + 63186 = 3*r, -u + 50*r = 45*r - 21080. Does 107 divide u?
False
Let u = -38 + 44. Let l(g) = g**3 - 7*g**2 + 9*g - 2. Is l(u) a multiple of 3?
False
Let b(l) = l**2 - 11. Let w be b(-3). Is 29 a factor of w - 10/(-4) - 3985/(-10)?
False
Suppose 597*a = 598*a - 152. Let f = -17 + a. Is 15 a factor of f?
True
Suppose 0 = -30*y + 35*y - 50. Suppose -3*x - 3*m + 21 = 0, -3*x = -2*x - 2*m - y. Suppose 160 = 4*q - s, -s - 35 - x = -q. Is 13 a factor of q?
True
Let b(g) = -2*g**3 - 14*g**2 - 18*g - 50. Is 18 a factor of b(-11)?
True
Let s be (12/10)/(4*3/(-30)). Let m be -4*s/18 + (-5025)/(-9). Suppose m = 2*i + 113. Does 9 divide i?
False
Let z = 10376 + -6134. Does 36 divide z?
False
Let m = -8006 + 15211. Is m a multiple of 11?
True
Suppose -1126 + 357 = -p - 5*t, 5*t = -2*p + 1528. Suppose -2*q - 5*c = -695, 4*q - p - 561 = 4*c. Is 11 a factor of q?
False
Suppose 5*t + 0*t = -c + 535, 4*t + 4*c = 444. Let h = t + -62. Is h a multiple of 9?
False
Suppose 0 = -15*n + 12*n + 6. Let c be 4/(-4) + (7 - n). Suppose 2*x = 4 - 0, 0 = c*y - 4*x - 136. Does 25 divide y?
False
Suppose -3 = -2*o + 7. Suppose 21*w + 160 + 764 = 0. Is (-2 + o)/((-180)/w + -4) a multiple of 33?
True
Is 8 a factor of ((-712)/(-3))/(-10 + 610/60)?
True
Suppose -2*j + 7 = -5. Suppose 4 = 2*s - j, -4*s = 5*m - 2140. Suppose -m = -l - 4*l - 4*c, -l + 89 = 5*c. Does 21 divide l?
True
Let q = -309 + 267. Does 3 divide q*((-13)/(-78))/((-3)/48)?
False
Suppose 15*z - 304398 = z - 7262. Does 8 divide z?
True
Suppose -4*c + 4*r = 2313 - 10289, -4*r = 2*c - 4012. Suppose 0 = 5*k + 2*m - 1696, -5*m - 293 = 5*k - c. Does 26 divide k?
True
Suppose 4*a + 5*k + 190 = 0, k - 59 = 4*a + 119. Let b = 49 + a. Suppose -3*t + 175 = p, 42 = -b*p + t + 716. Is 13 a factor of p?
True
Suppose 4*u - 3*j = -2*j - 689, -u + j - 176 = 0. Is u/(-4) + (-54)/72 - -5 a multiple of 2?
False
Suppose -2*p + 3*g = -10545 - 11870, 0 = p - 3*g - 11215. Does 64 divide p?
True
Let f be -2 + 10/15*168/16. Suppose t - 2*t = -i + 424, -f*t - 1696 = -4*i. Does 24 divide i?
False
Suppose -197*z = -r - 194*z + 4049, -5*r = -3*z - 20245. Is 172 a factor of r?
False
Suppose -6*y = -10 + 10. Is 320/64 - (-1 + -636 + y) a multiple of 25?
False
Let v(a) = -a**3 - 19*a**2 - 12*a + 18. Let u be v(-13). Let n be (3 - 3/9)*u/(-4). Suppose -25*w + n = -20*w. Is w a multiple of 12?
False
Let d be 128/(-16)*1/(-4). Let a be (d - (5 - 2))*38/(-2). Let b = 92 - a. Is 7 a factor of b?
False
Let b = -8159 - -11103. Does 32 divide b?
True
Let k(y) be the first derivative of 222*y**2 + 17*y - 100. Does 10 divide k(1)?
False
Let l(y) = 11*y**2 - 7290 + 8*y + y**3 - 2*y**2 + 7328. Is 2 a factor of l(-6)?
True
Is 9 a factor of 116/(-3306) - 579179/(-57)?
True
Let l(v) = v**3 - 18*v**2 - 38*v - 23. Suppose 3 = 2*g - 7. Suppose -g*u - 4 = -104. Is l(u) a multiple of 6?
False
Let q be (-285)/(-12) - 1/(-4). Let f(n) = 0*n**2 + 196 + 2*n**2 - 16*n - 209 - 2*n**2 + n**2. Is 35 a factor of f(q)?
False
Let i(v) be the second derivative