12*s + s. Suppose 4*m - 5*n - 1149 = 0, s*m + 115 - 688 = 3*n. Suppose -m = -4*q + 5*w + 32, 5*w - 139 = -2*q. Does 7 divide q?
True
Let m(o) = o**3 + 3*o + 12. Let y be m(-11). Does 25 divide (8/(-6))/(y/(-678) + -2)?
False
Let a(w) = 16*w - 24. Let d = 13 + -8. Suppose -8*g + 29 - d = 0. Is 3 a factor of a(g)?
True
Let n = 70625 - 36548. Does 37 divide n?
True
Suppose -o + 2*c + 228 = 0, 2*o - 462 = 4*c - 2*c. Is o even?
True
Suppose -68 = -11*z + 53. Let t = 14 - z. Let q(f) = 23*f - 16. Does 10 divide q(t)?
False
Let x = 28962 - 25126. Is x a multiple of 3?
False
Let j(u) = 10*u**2 + 7*u - 11. Let s(g) = -g**2 + 5*g + 17. Suppose -27 = -4*d + x, 5*d + 12*x - 40 = 7*x. Let a be s(d). Is j(a) a multiple of 50?
True
Let m(y) = -1517*y + 379. Is 12 a factor of m(-1)?
True
Suppose 6464 = 156*l - 30*l - 619252. Is 13 a factor of l?
True
Suppose -35*d = -25*d - 157320. Is d a multiple of 46?
True
Let r = 23699 + 33612. Is r a multiple of 13?
False
Let c = -89 + 64. Does 10 divide (50/(-4))/5*5380/c?
False
Let d = -19672 + 29722. Is d a multiple of 31?
False
Suppose -27*w = -19*w - 16. Let d(x) = 44*x**2 + 2*x. Is 9 a factor of d(w)?
True
Let g = -17443 + 22706. Is g a multiple of 6?
False
Suppose 16*u + 4698 + 2758 = 0. Let d = u - -1433. Does 26 divide d?
False
Let c = -286 - -302. Suppose c*i - 580 = 380. Does 6 divide i?
True
Let m = -41 + 97. Let y = 58 - m. Suppose i - 188 = -l + 2*i, y*i = 5*l - 952. Is l a multiple of 48?
True
Let b(o) = o**3 - 16*o**2 + o - 19. Let k be b(16). Does 27 divide 4/(-18) - (k + 1408/(-18))?
True
Suppose 2 = -3*g + 5, -4567 = -5*l + 3*g. Is l even?
True
Suppose 2*f - 294 = -4*p, 2*p + 18*f = 16*f + 146. Let t = -13 + -13. Let d = t + p. Is 24 a factor of d?
True
Let j(g) = 6*g**2 + 25*g - 2. Let r be j(-9). Let b = r + -119. Is b a multiple of 28?
True
Suppose 103*y = 356140 + 20438 + 54168. Is 51 a factor of y?
True
Let b = 17841 + -10473. Is 12 a factor of b?
True
Suppose 3527 = 5*g - 2*g - a, -g + 1169 = -2*a. Let j = g + -563. Is j a multiple of 24?
False
Let a be ((-15)/2)/((-7)/70*5). Suppose -3*n - 1246 = -5*z + n, -3*n = -5*z + 1247. Suppose -z = a*j - 20*j. Is 10 a factor of j?
True
Suppose -5*k + 5683 + 12919 = r, -4*r = -5*k - 74333. Does 135 divide r?
False
Let r(d) be the first derivative of 19*d**3/3 - 15*d**2 + 21*d + 160. Is r(6) a multiple of 7?
True
Let w be (351/(-468))/(-1 - (-17)/20). Is 38 a factor of -570*(w*-1 - 154/(-42))?
True
Let z(v) = 988*v**2 - 13*v - 20. Does 43 divide z(-2)?
False
Let c be ((-24)/16)/(6/(-160)). Suppose -22 = 3*d - c. Is 6 a factor of d - 0*2/(0 + 4)?
True
Suppose -5*l - 4*o = -49973, 4219*l + 3*o + 10025 = 4220*l. Is l a multiple of 59?
False
Suppose 25*k = 39 + 36. Suppose -4*z + 2*r + 1940 = 0, 2*r + k*r = 0. Is z a multiple of 17?
False
Suppose 0 = 2*d - 2 - 8. Suppose 4*q + d*t - 2131 = 0, q - 750 = -2*t - 221. Suppose 8*p + 91 = q. Is p a multiple of 28?
True
Let s(j) = -13*j + 21. Let i be s(0). Does 7 divide ((-12)/(-16)*2)/(i/322)?
False
Let y be 57266/(-190) - (-2)/5. Let n = y - -465. Does 13 divide n?
False
Let p be (-2)/8 - (-175)/28. Let o = 57 - p. Suppose -2*x = -2*h + o - 159, 0 = 5*x + h - 288. Is x a multiple of 19?
True
Suppose 0 = -15*m + 13*m + 48. Let q = m + -26. Is 19 a factor of q/7 - 1620/(-84)?
True
Suppose 10*l - 34830 = -i, i - 34794 = -17*l + 13*l. Is i a multiple of 10?
True
Let c = 322 - 52. Let i = c - 190. Does 20 divide i?
True
Suppose -51*t + 833 = -44*t. Suppose 2*g - o = t, -2*g - 65*o + 115 = -70*o. Does 5 divide g?
True
Suppose 4744 = x - o, -x = o - 4263 - 479. Is x a multiple of 129?
False
Let j(g) = -4*g - 17. Let a be j(-5). Let u be (64/24)/((-2)/a). Is (-163)/((0 + u)/4) a multiple of 32?
False
Let m be ((-1)/(15/(-108)))/((-12)/40). Let s be (-8)/7 + 1 - m/(-28). Let n(h) = 5*h**2 - 3*h - 2. Is 6 a factor of n(s)?
True
Suppose 3*f + 26 = -67. Let y = -31 - f. Suppose 0 = -h - m + 22, y = -2*h + m - 20 + 52. Does 8 divide h?
False
Suppose 5*i + 3*i = -6*i. Suppose 0 = 5*b - 5*f - i*f - 4985, -4961 = -5*b - f. Is 44 a factor of b?
False
Suppose x = 4*w - x + 6, 9 = 3*x. Suppose w = -r - 2*r + 33. Suppose -2*z - 38 = -3*y - 4*z, z - r = -y. Is y even?
True
Suppose -227*t = -32790 - 131874 + 44581. Does 5 divide t?
False
Let b = -1634 + 2697. Is 42 a factor of b?
False
Let m(l) = l**3 - 31*l**2 - 2*l + 82. Let w be m(31). Suppose 29*i = w*i + 1782. Is 22 a factor of i?
True
Let q be 4/(-30)*-24*(-30)/(-6). Suppose q*w - 825 = 11*w. Is w a multiple of 6?
False
Let s = 116 - 15. Let x = s - 53. Suppose 44*t - x*t + 804 = 0. Does 38 divide t?
False
Suppose 66*r = 58*r - 2936. Let m = r - -559. Does 48 divide m?
True
Suppose 6 - 5 = 4*m + s, 0 = -3*s - 9. Suppose 3*d = -j + 14, j - m = 5*d - 11. Suppose -329 = -3*h + 2*g, -h + d*g = -g - 113. Is h a multiple of 9?
False
Suppose -3*k = -i + 7036, 0 = -k + 16*i - 20*i - 2328. Let j = -784 - k. Is j a multiple of 78?
True
Let u = -15474 - -22950. Is 12 a factor of u?
True
Let m be (0 + 1 - 25) + -2. Suppose -1439*i + 1401*i - 1900 = 0. Let s = m - i. Is s a multiple of 4?
True
Suppose -7*y + 0*y = -14. Let r be 1/(-8)*y - (-24848)/64. Suppose 24 = 4*a - r. Does 36 divide a?
False
Suppose -8 = -7*k + 3*k. Let u be k - ((6 - 4) + 0). Suppose 4*b + u*b = -2*j + 264, -3*b + 198 = 5*j. Does 11 divide b?
True
Does 34 divide 2300 - (-4 + 48/(-6))?
True
Let i = 5 - 9. Let g be i/(-1) + 7 + -6. Suppose 2*a - 4*z = 70, 2*a + g*z - 35 = 2*z. Does 6 divide a?
False
Let v be -5*(6 + (1 - (6 + 6))). Let m(p) = p**3 + 5*p**2 + 2*p + 4. Let t be m(-5). Let a = v - t. Is a a multiple of 13?
False
Let h(t) = t**3 - 23*t**2 + 24*t - 36. Let k be h(22). Suppose -a + 2*q + 8 + k = 0, 0 = 4*a + 2*q - 114. Does 8 divide a?
False
Let j be 2/3*(-18*1)/(-6). Suppose -p - 285 = j*d, d + 565 = -3*d + 3*p. Let z = 76 - d. Is z a multiple of 15?
False
Suppose -y + 7*n = 10*n - 62, 2*y - 3*n = 106. Let o = y - 39. Does 2 divide o?
False
Let s be 3/(-15) + 362/10. Let r = 71 - s. Suppose -3*q + r = -4. Does 9 divide q?
False
Let n = -230 - -2098. Does 247 divide n?
False
Is 19 a factor of ((-4 - 15)*-219)/1?
True
Suppose 2*w + 10*y - 1428 = 5*y, 0 = 4*y. Suppose 25*r - w = 18*r. Is r a multiple of 3?
True
Let l(p) = p**2 - 51*p - 850. Is 80 a factor of l(70)?
True
Let q be 3224/3 + (-8)/12 + 3. Let b = 2037 - q. Is 40 a factor of b?
True
Suppose 0 = f + 5*y - 23615, 3*f - 120211 = -y - 49268. Is 25 a factor of f?
True
Let u be -12 + 11 - (0 - 5). Suppose -2*l + u*q = l + 146, -l + 3*q - 47 = 0. Is (15/(-10) - -2)*l/(-1) a multiple of 25?
True
Suppose 27*d - 604137 = -69*d + 331287. Is 24 a factor of d?
True
Suppose y - 2*l - 21 = 0, l + 0 + 1 = 0. Let b be (-2)/y - 468/(-114). Suppose 79 = b*o + 3*g, -4*g - 20 = -2*o - 8. Is o a multiple of 4?
True
Suppose 0 = -4*a + 13035 - 3735. Does 93 divide a?
True
Let m(v) be the second derivative of v**5/10 + v**4/12 - v**3/3 - 2*v**2 + 21*v. Is 29 a factor of m(5)?
True
Let i = 60 + -136. Let z = 274 - i. Is 43 a factor of z?
False
Suppose -4*h + 44 = 4*u, u + 47 = 6*u + 3*h. Suppose 3 = -5*t - u. Is 3 a factor of t/(-15) + (-5)/((-450)/2778)?
False
Let z = -6806 + 7978. Does 56 divide z?
False
Let t(h) = -h**2 - 6*h - 6. Let z be t(-4). Suppose -z*g = -8*g + 120. Suppose 0 = -g*n + 18*n + 140. Is n a multiple of 11?
False
Let o(d) be the first derivative of 0*d**4 + 3*d**4 + 7*d**4 + 13 - 2*d**2 - 19*d**4 - d**3. Is o(-1) a multiple of 17?
False
Let q = -2430 - -4185. Does 45 divide q?
True
Does 4 divide (42/12 - 5)/(9/(-3360))?
True
Suppose 0 = 445*t - 436*t - 7747 - 8606. Is 6 a factor of t?
False
Suppose 10*y + 46 = -84. Is (y + -2)*820/(-60) a multiple of 47?
False
Suppose -3*b + b + 292 = 0. Suppose -6 = -148*g + b*g. Suppose -g*d = -q - 100, -d + 5*q = -0*d - 52. Does 4 divide d?
True
Let z(b) = -5*b - 1. Let w be z(1). Let q be w*1/(-2)*1. Does 5 divide 3 + 26 - (1 + q)?
True
Let g = 338 + 22. Let o = g - 192. Is o a multiple of 28?
True
Suppose 2*z - 3102 = -363 + 3027. Is z a multiple of 3?
True
Suppose 0 - 7 = i. Let q(b) = -b**2 - 11*b - 12. Let n be q(-10). Let x = n - i. Is x a multiple of 3?
False
Suppose h - 8 = -2*l, h - 4*l + 16 = -0*l. Suppose -5*x = h, 2*x - 1160 = -5*r + 3*x. Does 13 divide r?
False
Suppose 9 = u + 16. Let w be (-23)/u + -3 