tor of c?
False
Is 75 a factor of ((-40)/5 - 4)/((-56)/37100)?
True
Let z(h) = -168*h - 1211. Is 3 a factor of z(-15)?
False
Suppose 5*z - 2*u = -133, -7*u + 120 = -4*z - 2*u. Let b = z - -130. Is 5 a factor of b?
True
Let x = -36 - -35. Let n be (4 - 7) + (-141)/x. Let b = 210 - n. Is b a multiple of 18?
True
Let o = 319 - 187. Let x = o + -31. Does 16 divide x?
False
Let b be 12/6*(-15)/(-10). Let s be 45/12 + (-3)/(-12). Suppose -s*m + 21 = -b. Is 6 a factor of m?
True
Suppose -2*x + 20 = 2*l, 4*l + 2*x = -0*l + 44. Let a be l/27*6*12/8. Suppose 15 = 2*i + i, -a*s = -4*i - 48. Is 17 a factor of s?
True
Suppose 3*z - 3539 = -0*t - 2*t, 0 = -3*z + 5*t + 3553. Suppose 0 = -5*n + g + z, -11*n + 6*n + 1193 = 2*g. Is 24 a factor of n?
False
Let n(g) = 38*g**3 + g**2 + 5*g - 7. Let i be 32/56 + -3*10/(-21). Is n(i) a multiple of 12?
False
Suppose 3*o - 3518 - 2482 = 2*z, -5*z - 5991 = -3*o. Does 11 divide o?
True
Let h be 1/(-4) + (-29)/(-4). Suppose -3*f = -4*u - 2760, 0 = -f + 2*f + u - 920. Suppose -d = h*d - f. Is d a multiple of 18?
False
Let j(y) = -55*y + 6. Let o be j(-8). Let r = o - 158. Is r a multiple of 32?
True
Let h = -7529 - -15145. Is 14 a factor of h?
True
Suppose -682*v = -688*v + 27138. Is v a multiple of 62?
False
Suppose -108*m - 122137 = -2303413. Is 31 a factor of m?
False
Let b be ((-521)/4)/(-4*(-5)/(-160)). Suppose -b = -11*c - 162. Does 5 divide c?
True
Let g = -891 - -10528. Does 22 divide g?
False
Let p(m) = -3*m + 277. Let s be p(21). Let u = s - 50. Is 5 a factor of u?
False
Does 28 divide 29/((-348)/(-34608)) - 7?
False
Let i be 4/5 + 25/((-1375)/(-265386)). Suppose i = 5*t - 579. Is t a multiple of 47?
True
Suppose 148*k - 147*k = 200. Suppose -2*a - k - 84 = -t, t = 5*a + 290. Is 35 a factor of t?
True
Let v be (-1)/1*(5 - (-5 + 27)). Let f = v - 13. Suppose -6*y + 88 = -f*y. Is 22 a factor of y?
True
Let v(q) = 10*q**2 - 8*q**2 + 2*q - 4 + 2 - 3. Let f be v(-5). Let j = -14 + f. Does 14 divide j?
False
Let o = -1137 - -1635. Let s = -202 + o. Is s a multiple of 29?
False
Suppose 47*b + 5235 = 19053. Is b a multiple of 3?
True
Let z(t) = -268*t**3 - 2*t**2 - 6*t - 4. Does 16 divide z(-2)?
True
Let b(v) = 534*v - 952. Is b(21) a multiple of 187?
False
Let r(v) be the second derivative of v**4/6 + 3*v**3/2 - 27*v**2 - 44*v. Is 9 a factor of r(6)?
True
Let u = -60 - -65. Suppose 2*m - 731 = -0*m + 5*t, -u = t. Does 26 divide m?
False
Let p(k) = 678*k**3 - k + 1. Let y be p(1). Suppose 3*l - 514 = t, -l + 5*t = 3*l - y. Let x = l + 37. Is 32 a factor of x?
False
Let t be ((-84)/18)/((-2)/3). Suppose -p = -t*p - 84. Is (-1360)/(-140)*p/4*-1 a multiple of 17?
True
Suppose 13*b - 96 = 10*b. Let i be 2/8*b/(-12)*-3. Does 12 divide (83/1)/(-1 + i)?
False
Suppose -2*r - 16 = r + 5*n, -3*r = -3*n - 24. Suppose -r*g + 2*h = -1173, 1936 = g + 4*g + 3*h. Does 13 divide g?
False
Let p = 38 - 38. Let x be (-1)/5*p - (1 - 185). Let c = -76 + x. Is c a multiple of 27?
True
Let a(f) = -47*f**2 - 9*f - 15. Let o be a(18). Does 29 divide ((-24)/18)/2 - o/9?
True
Suppose 24 = -4*i - 132. Let p = -30 - i. Suppose p = 2*u - 23. Does 11 divide u?
False
Let i(j) = 112*j**2 - j - 2. Suppose -2*n + u + 95 = 0, -5*n + u + 209 = -21. Suppose 41*m - n*m = -4. Is 13 a factor of i(m)?
False
Suppose -2*o + 1334 = 17*u - 13*u, 4*u = -3*o + 1997. Is o a multiple of 92?
False
Suppose 2*t - 74 = 72. Suppose -t = -3*l - 2*a - 3*a, -4*l = -a - 105. Let m = l - -142. Is m a multiple of 28?
True
Suppose -3*k + 51 - 39 = 0. Suppose b - 48 = -j + 120, 0 = k*j - 3*b - 686. Is 51 a factor of j?
False
Let l be (3 + 21/(-6))/((-4)/(-16)). Does 8 divide (474/(-21) - l)/((-38)/931)?
True
Let s = 3835 + 4861. Is s a multiple of 75?
False
Let c be ((-15)/2 - -1)/(6/(-12)). Suppose 0 = -18*m + c*m + 175. Is m a multiple of 16?
False
Let u(x) = -8*x + 2. Let f be u(2). Let b be f/(-7) + -2 + 2. Let h(y) = 23*y**2 + 6*y - 11. Does 18 divide h(b)?
False
Suppose 4*x + 20948 = 7*x + f, -x = -2*f - 6992. Does 42 divide x?
False
Let g = 476 - 465. Is (350/(-30) + g)*(-1 + -1640) a multiple of 39?
False
Let k(p) = -1507*p + 313. Does 6 divide k(-11)?
True
Let f(k) = -31*k**2 + 76*k + 2. Let s(x) = 28*x**2 - 76*x. Let o(h) = 3*f(h) + 4*s(h). Does 29 divide o(13)?
False
Suppose 3*r + 44 = 7*r. Suppose 5*n = -r*n + 1776. Is 37 a factor of n?
True
Let j(l) be the third derivative of l**4/24 - 7*l**3/3 - l**2. Suppose o + 0*o = 21. Is j(o) a multiple of 2?
False
Let k = 41 + -38. Suppose -2*w + 346 = 8*t - k*t, -3*t - 4*w = -216. Suppose -7*o - 121 = -5*r - 3*o, 0 = -4*r - 4*o + t. Does 21 divide r?
True
Suppose 205*n - 543*n = -1427812 + 511156. Does 2 divide n?
True
Let n = 22631 - 22125. Is 23 a factor of n?
True
Let t(x) = 8*x + 82. Let n be t(-11). Let z(p) = 2*p**2 + 20*p + 59. Is 2 a factor of z(n)?
False
Suppose 5*i = b - 6*b - 35, 5*i + 31 = -b. Let n(v) = -9 - 5*v + v**2 - 2*v**2 + v**2 + 3*v**2. Is 16 a factor of n(i)?
False
Suppose 0 = 21*k - 17*k + 480. Let y = 114 + k. Is 25 a factor of (3/y)/(((-2)/(-600))/(-1))?
True
Let j(f) = -f**3 + 15*f**2 - 13*f + 11. Suppose 2*d - 32 = -3*o, -4*d - o = -9*d + 63. Is 36 a factor of j(d)?
True
Let h(q) be the second derivative of q**6/360 - q**5/20 + 5*q**4/8 - 2*q**3/3 + 21*q. Let j(k) be the second derivative of h(k). Is 15 a factor of j(6)?
True
Does 12 divide ((-14)/42)/(1/(-3726)*2)?
False
Suppose 61831 = 16*q - 96172 - 93117. Is q a multiple of 16?
False
Suppose 19440 = -2194*r + 2199*r. Is r a multiple of 20?
False
Let b = -30 - -33. Suppose 5*m - d = 15, d = -b*d. Suppose 0*q + m*q + 5*p = 8, -4*q + 59 = -3*p. Is 4 a factor of q?
False
Suppose -32 = a - 5*a. Let u(h) = 2*h**3 - h**2 - 4*h - 7. Let n be u(4). Let d = a + n. Does 24 divide d?
False
Suppose 3*c = g - 7881, -3 = 3*c - 6. Does 12 divide g?
True
Let v be -1 - (-41 + -1 + 4). Suppose 4*f = -119 - v. Let x = 136 + f. Does 20 divide x?
False
Let j be (-1 + 5/2)/(9/57264). Is 32 a factor of -9 - 4/((-32)/j)?
True
Suppose -325*w - 187446 = -346*w. Is 9 a factor of w?
False
Suppose 3*q + 27 = -3*a, -5*a + 4*q - 15 - 3 = 0. Does 73 divide 1165/3*a/(-10)?
False
Let i(r) = r**3 + 11*r**2 + 14*r + 340. Does 2 divide i(-11)?
True
Suppose -17742 = -2*f + 4826 + 3856. Does 11 divide f?
False
Suppose -4065 = -5*g + 4*t, -74*t = -3*g - 76*t + 2417. Does 2 divide g?
False
Suppose 0 = 3*f + i - 12850 - 11966, -i = -6. Does 112 divide f?
False
Suppose 7*p = 3*p + 32. Let w(d) = 2*d - d**2 + 3 + p - 16*d. Is w(-8) a multiple of 10?
False
Let t = -52 - -45. Let b(a) = -a**2 - 9*a + 25. Let x be b(-11). Is 14 a factor of x - -27 - (-5 - t)?
True
Suppose 5*z = 6*s - 3*s + 404, s = -2*z - 142. Let u = s - -710. Is u a multiple of 13?
True
Let c = 127 - -3. Suppose -5*w + 2145 = -c. Does 65 divide w?
True
Suppose 3*z - 2*m = 1619, -16*z + 17*z - 4*m - 543 = 0. Is z/(-1)*(3 + -5) a multiple of 52?
False
Suppose -20086 = -3*x - 2*s, 16*s - 12*s + 140512 = 21*x. Is 14 a factor of x?
True
Let a = 4 - -9. Suppose 0*w - 936 = -a*w. Is 4 a factor of w?
True
Let i(l) = -4912*l - 1255. Does 10 divide i(-3)?
False
Suppose -4*p - 45 = -5*x, -p = -2*x + 5 + 10. Suppose -146 = -x*j - 3*f, -3*j - 45 = -2*f - 125. Let z = 71 - j. Does 25 divide z?
False
Let w = -23 - -26. Suppose w*c = 4*v + 4, 5*v = 4*v + 2*c - 6. Does 2 divide 14/v*(-2 - -3)?
False
Let k = -97 + 55. Let i = k - -46. Is (1068/(-48))/((-1)/i) a multiple of 13?
False
Suppose 5*g + 5*q = 79115, 2*g - 9*q + 8*q - 31649 = 0. Is g a multiple of 23?
True
Suppose -22*w - 30 = -28*w. Suppose w*k - 1753 - 120 = s, -3*k + 3*s = -1119. Is k a multiple of 25?
True
Suppose -1716*q = -1718*q + 62. Suppose 0 = -q*y - 0*y + 21080. Is y a multiple of 20?
True
Let m be 3535/20*(-5 + (3 - -6)). Let n = m + -320. Does 9 divide n?
True
Suppose 0 = -4*q - q + 2*t + 160, -128 = -4*q + t. Is (-156)/q*-6*(-16)/(-6) a multiple of 13?
True
Let j(b) = 431*b + 89. Let y be j(10). Suppose 35*l + 409 = y. Is l a multiple of 14?
False
Let t(s) = 6*s**2 - 47*s + 586. Is t(17) a multiple of 39?
True
Let w = -59 + 94. Suppose 0 = -w*z + 32*z + 663. Does 13 divide z?
True
Suppose -13*n - 1170 = 2*n. Let t = 47 - n. Is t a multiple of 25?
True
Suppose -5*p + 54 = -4*f, -19*f - 20 = -2*p - 17*f. Suppose 0 = -p*x + 12175 - 1899. Does 15 divide x?
False
Let f = 