ide u?
False
Let l = 8707 + 4774. Does 48 divide l?
False
Let u(a) = a + 2. Let b be u(6). Let t be (-2 - -24) + 0*(-6)/(-24). Let j = t + b. Is 8 a factor of j?
False
Let p be ((-9)/2 - -4)*(1 - 1). Suppose p = -7*k - 2181 + 11064. Is 17 a factor of k?
False
Let h(v) = -11*v - 47. Let s be h(-7). Suppose -7*o + 516 + s = 0. Is o a multiple of 39?
True
Is 228 a factor of 16262274/210 - 6/(-1) - 12/30?
False
Suppose 3*n + 305 = 4*w, -3*w + 112 = n - 133. Is (-6)/((-8)/(w/(-15))) - -200 a multiple of 7?
True
Let y = 1 + -37. Is 54 a factor of (27/2)/((-9)/y)?
True
Let m(y) = -7*y - 2. Let d be m(-4). Let q = 675 - 661. Suppose -q*w = -15*w + d. Does 13 divide w?
True
Let o = -47 - -35. Is 23 a factor of ((-9)/o)/(((-22)/136)/(-11))?
False
Let m be -30 + (-4 - -2) + (0 - 1). Let t = 80 + m. Does 7 divide t?
False
Let t(g) = -2*g**3 + 8*g**2 + 12*g - 81. Let s be t(6). Let v = s - -427. Is v a multiple of 23?
False
Let y = -13822 - -20108. Is 14 a factor of y?
True
Suppose -9 = -3*v, -4*q - 204 = -7*q + 5*v. Let c = q + 39. Is 15 a factor of c?
False
Let k be (-4)/16 - 6498/(-8). Suppose 4*d + k = 3*g, 3*g = 6*g - 3*d - 813. Is (1*6)/(32/g) a multiple of 19?
False
Let b = 90 + -74. Suppose -5*n - b - 109 = 5*u, 5*u = 3*n + 99. Is (-176)/(-10)*(-7)/n*30 a multiple of 11?
True
Let c = 41 - 42. Let u be c*1/2*0. Suppose -g + 6*g - 550 = u. Is 22 a factor of g?
True
Let b = -1100 + 1933. Suppose -5*u - b = -3*r, 3*r + 3*u + 2*u = 793. Suppose 0 = -5*m + p + 325, 3*m = -m + 3*p + r. Is m a multiple of 8?
True
Let z(b) = -41*b**3 + 2*b**2 + b + 3. Let a be z(-2). Suppose 3116 = 7*s + a. Is 23 a factor of s?
False
Is -1 - 12/(-9) - (-13253299)/573 a multiple of 94?
False
Let h = -54 - -47. Let t be (15/2)/(h/98). Let q = 187 + t. Is q a multiple of 19?
False
Let j(s) = 3*s + 96. Let a(z) = -2*z**3 - 27*z**2 - 12*z + 23. Let k be a(-13). Is 9 a factor of j(k)?
True
Let q(a) be the third derivative of -a**5/60 + a**4/4 + 6*a**3 - 29*a**2. Let n be q(9). Is 37 a factor of -3 + (n - 4) + 294?
True
Let a = 76 + -76. Suppose 0 = -a*w + 2*w + 4*k - 132, -5*k = 2*w - 135. Suppose -w = -5*u + 160. Does 8 divide u?
False
Let c = 284 - 1300. Let d = -142 - c. Is 19 a factor of d?
True
Let j = 60605 + -32435. Is j a multiple of 30?
True
Does 18 divide 35698/15 + (-172)/(-1290)?
False
Let p(m) = 3*m**2 + 4*m. Let z(x) = -x**3 + 3*x**2 + 2*x - 4. Let i be z(2). Suppose -b = i*v + 22, -3*v + 5*b - 8 = -3. Does 11 divide p(v)?
True
Let c = 506 + -347. Suppose 7*r + 12 - c = 0. Suppose -23*z = -r*z - 28. Is 13 a factor of z?
False
Does 20 divide (-37130)/47*(-6 - -4)?
True
Let s be -4*((-54)/4 - -1) + -2. Suppose -104*q + s = -102*q. Is 3 a factor of q?
True
Let x(a) = -7*a + 24. Let z be x(3). Suppose -g + 5*n = -491 - 44, -g - z*n + 495 = 0. Does 34 divide g?
True
Suppose 972*z = 1010*z - 1326960. Does 36 divide z?
True
Let v be 82/(-26) + 1/(26/4). Does 13 divide (-5 - 80/(-15)) + (-2927)/v?
False
Let v = 11974 - -8962. Is v a multiple of 30?
False
Suppose -20 = l + u, 0 = 3*l + 4*u + 60 + 1. Let n(p) = -2*p - 47. Let b be n(l). Does 6 divide 3/((-2)/228*b)?
False
Let h(a) = 2*a**2 - 27*a + 40. Let o be h(12). Suppose o*g + 5*g = 675. Is g a multiple of 25?
True
Suppose -70300 = -4076*m + 4051*m. Is m a multiple of 40?
False
Suppose 3 = p - 0*p. Let r be (1 + 279)*(-6)/(-24). Suppose -2*o + p*n - 14 = -r, -o + 14 = 2*n. Is 11 a factor of o?
True
Suppose 14946 = 4*n - 2*v, -2*n - 40*v + 38*v + 7500 = 0. Is 87 a factor of n?
True
Does 29 divide (-4)/(8/10) + 4164*2?
True
Suppose 0 = -0*g + 3*g - 897. Let t = 451 - g. Is 23 a factor of t?
False
Let f(b) = -15*b + 245. Let u be f(16). Suppose -7*j - 2 + 30 = 0. Suppose -4*g + g = 3*o - 147, u*o - j*g = 290. Is o a multiple of 16?
False
Suppose -2230*f - 195036 = -2244*f - 55274. Is f a multiple of 149?
True
Suppose 3*a = d + 4 - 10, 4*d - 2*a + 6 = 0. Let u(y) = -11*y + 84. Is u(d) a multiple of 9?
True
Is 102043998/12177 + (-2)/33 a multiple of 7?
False
Let h = -58 - -312. Suppose h = 2*a - 338. Is 74 a factor of a?
True
Suppose -19*i = -24*i + 80. Suppose 12 = -13*y + i*y. Suppose -y*r - 26 = -6*r. Is r a multiple of 8?
False
Let x(y) = 309*y - 3540. Is x(20) a multiple of 8?
True
Suppose -13*l = -3*l - 40. Suppose 6*f + 4*c = 4*f - 18, 4*f + l*c + 28 = 0. Does 59 divide 302 + (f - -1) + 3?
False
Suppose -4*x - g - 375 = 0, 0 = g + 3*g - 20. Let h = -21 - x. Does 37 divide h?
True
Suppose -14*u = -34 - 22. Suppose -3*y = 3, -u*y + 0 = 5*j + 4. Suppose 20 = -5*m, -4*r + 2*m + 128 = -j*m. Is r a multiple of 6?
True
Suppose -114 - 11 = 5*u. Let o be (u/(-5))/(-5)*(-1 - 1). Suppose -8*a = o*a - 600. Does 10 divide a?
True
Suppose 51*a - 2848860 = 13*a. Does 49 divide a?
True
Suppose 4*f + 3*f = 700. Suppose 5*x = s + 2*x - f, -2*x + 80 = s. Suppose 0*u - s = -u. Is u a multiple of 11?
True
Suppose -15 - 1 = 4*h. Let t be 30/h*3*10/(-45). Suppose 1160 = 5*z + 4*x, -4*z - t*x + 318 = -619. Is z a multiple of 19?
True
Does 4 divide (14 - 2)*-1*8896/(-48)?
True
Let n be 1/(((-85)/(-60))/(-17)). Is 9 a factor of (n - 27)/((3/20)/(-1))?
False
Let q = 14 + -12. Suppose -6*h = -q*h - 444. Suppose 2*u - 2*k - 122 = 0, -4*k - 199 - h = -5*u. Is 23 a factor of u?
False
Let t(s) = -24*s**3 + 8*s**2 - 24*s - 74. Is 65 a factor of t(-10)?
False
Let z(j) = j**3 + 20*j**2 - 36*j - 42. Is 39 a factor of z(-21)?
True
Suppose -6*v - 10 = -4. Let k be 3*4/(3 - v). Does 2 divide (-14)/(-3) + k/((-18)/4)?
True
Let y(r) = -404*r + 142. Let m be 39/(-15) - (-16)/(-40). Does 25 divide y(m)?
False
Let j(m) = 37*m**3 + 13*m**2 - 20*m + 30. Is 11 a factor of j(4)?
False
Let g = -254 + -290. Let y = g - -1115. Suppose 5*j + 0*q - y = -3*q, -5*j + 4*q + 557 = 0. Is j a multiple of 29?
False
Suppose -l = -6*l. Let j be -473 - (((-1)/(-1) - 5) + l). Does 12 divide -2*1*j/14?
False
Is 15 a factor of 7 - (-14932*46/20 - (-432)/720)?
True
Let m(c) be the third derivative of 0*c - 1/60*c**5 + 0 + 7*c**2 - 3/8*c**4 - 11/6*c**3. Does 3 divide m(-5)?
True
Suppose 0 = 4*j + 5*i - 64, 4*j - 49 = -4*i + 15. Suppose 5*h = -3*s + 8, 7*h = 4*h + s + j. Is h*(18/(-14))/(12/(-21)) a multiple of 2?
False
Does 100 divide ((-6)/4)/(1578/(-11114380))?
False
Suppose -69*r - 10*r - 91*r = -1295740. Is 74 a factor of r?
True
Let k(u) = 708*u + 2. Is k(28) a multiple of 46?
True
Suppose 2*x - 8 = 4*x, -l - 3*x = -275. Suppose 4*z = 2*i - 178, -3*i + 3*z - z = -l. Does 9 divide i?
True
Let s(c) = 4*c**2 + 17*c + 7. Let t be s(-7). Suppose -3*z = -t - 45. Suppose 2*u = -3*k - z + 335, -5*k + 720 = 5*u. Is 20 a factor of u?
True
Suppose -7*c = -3*c + 172. Let i = 65 - 138. Let k = c - i. Is k a multiple of 30?
True
Let l = 2549 - -2301. Is 97 a factor of l?
True
Let x(u) = 39*u**3 - 33*u**2 + 111*u - 2. Is x(4) a multiple of 10?
True
Suppose 2*v - 19228 = -2*g, 28842 = 13*g - 10*g + v. Does 38 divide g?
True
Suppose -5*i + 20067 = 4*p, -p + i + 1751 = -3268. Is p a multiple of 5?
False
Let t be -1 + ((-12)/(-10))/((-5)/25). Let d = t + 22. Suppose -d*i + 14*i = -102. Is i a multiple of 14?
False
Suppose 4*a = -2 + 18. Suppose -w - 259 = c - 2*c, 0 = -3*c + a*w + 782. Suppose r = -4*b + b + c, -2*b + 166 = -r. Is b a multiple of 14?
True
Is 6*1*-2*1194/(-36) a multiple of 5?
False
Suppose 0 = 2*c - 4*c - 54. Let w = c + 365. Suppose -7*u + 565 = -w. Does 11 divide u?
False
Let d(c) = 3*c**2 - 5*c + 35. Let m(y) = -2*y**2 - 10*y. Let x be m(-4). Does 11 divide d(x)?
True
Let n(s) = 3*s + 108. Let u(o) = -5*o**2 + 4*o + 5. Let q be u(3). Is n(q) a multiple of 4?
True
Suppose -4*q - 42*r + 203869 = -37*r, -3*r + 3 = 0. Does 132 divide q?
False
Let z = 3266 - 2918. Does 12 divide z?
True
Let q be (-60)/(-160) - 357/(-8). Let g = q + -47. Is 28 a factor of 1*(-4)/g - (-104)/1?
False
Let p(z) = -58*z + 10169. Is 8 a factor of p(140)?
False
Suppose 2*v - 4*b = -104, 2*v + 22 = 2*b - 76. Let j = v + 48. Suppose j*w - 3*l = 191, 305 - 11 = 3*w + 3*l. Is w a multiple of 10?
False
Is (1*7 - (-5970 + 54))/(1 + 0) a multiple of 13?
False
Suppose 18*s = 65*s + 64*s - 331890. Does 13 divide s?
True
Suppose 728 = 21*g - 19*g + 2*p, 0 = 3*g - 5*p - 1124. Is 18 a factor of g?
False
Let f = 781 - 632. Let z(d) = -9*d + 6. Let l be z(-7). Let i = f - l. Does 16 divide i?
True
Let s = 14 - 10. Let