ide (-14267)/22*6*(0 - 1)?
False
Let c = -21129 - -35474. Does 40 divide c?
False
Suppose 6293 = -11*m + 25554. Is m a multiple of 6?
False
Let b = -845 - -460. Let m = b - -803. Is m a multiple of 11?
True
Let s = -4 - -77. Let m = 241 - s. Is 12 a factor of m?
True
Let w = -1 - -19. Let n be -4*(-1)/(-18) - (-544)/w. Is (266/(-4))/((-15)/n) a multiple of 25?
False
Suppose -7*f + 3259 = -2*i, -86*i - 2315 = -5*f - 91*i. Is f a multiple of 3?
True
Let v = -23 + 25. Let f(y) = v*y + 52*y + 2*y. Is 10 a factor of f(3)?
False
Let x(d) = -d**2 - 10*d - 16. Let s(b) = 4*b + 8. Let r be s(-4). Let q be x(r). Suppose n = -5*o + 589, 4*o + q*n = n + 464. Is o a multiple of 24?
False
Let d(w) = -3*w**3 + w**2 + 4*w + 2. Let z be d(-3). Let j(q) = -q**2 - 59*q - 489. Let g be j(-10). Is 17 a factor of (7 + z/(-12))*(52 - g)?
True
Let v = 7406 - 2546. Is v a multiple of 30?
True
Let a be 36/21*(13 - -1). Let b = a - 19. Suppose 4*z - 727 = 5*v, -2*z + 186 = b*v - 215. Does 19 divide z?
False
Let m(g) = -g**3 + 12*g**2 + 3*g - 7. Let x be m(10). Suppose 3*c - 471 = c - 3*k, k = c - x. Is 6 a factor of c?
True
Let k(w) = -4*w - 29. Let n be k(-8). Let h(t) = 4*t - 15 + 4*t**2 + n*t**2 - 2*t**2 - 4*t**2. Is 15 a factor of h(12)?
False
Let m be 18232/(-56) - (-12)/(-28). Let d = m + 557. Is 36 a factor of d?
False
Suppose -5 = 5*a, 0 = 10*m - 8*m + 3*a - 6225. Does 46 divide m?
False
Suppose 3*x + 11 = -l, -x + 1 + 2 = 2*l. Suppose l*a - 3*a - 210 = 0. Suppose -156 = -4*b - 2*s + a, -3*b = -2*s - 278. Does 23 divide b?
True
Is (-6)/5 + (-10 - (-39886)/55) a multiple of 21?
True
Suppose 4*o - 2*f - 6822 = 0, 4*f - 6*f = 10. Is 11 a factor of o?
False
Suppose -11411 - 37229 = -20*k + 203640. Is k a multiple of 17?
True
Suppose 2*d = -16, -5*v + 19*d + 6878 = 23*d. Does 108 divide v?
False
Let w(x) be the third derivative of x**6/30 + x**5/20 - 5*x**4/24 + 3*x**3/2 - 48*x**2. Is w(4) a multiple of 23?
False
Let t(l) be the second derivative of l**4/12 + 4*l**3 + 3*l**2/2 + 7*l. Let u be t(-24). Suppose -4*c = 3*o - 2 - 6, 2*c + 14 = u*o. Is 4 a factor of o?
True
Suppose -45 = -7*t - 66. Does 8 divide (t + (-219)/(-9))*21?
True
Suppose 4*s = 3*o + 202, 37*o = 41*o + 8. Does 10 divide s/(-28) - -2 - (-3196)/16?
True
Suppose -r = -2, -51*p - 2*r = -49*p - 9540. Is p a multiple of 5?
False
Suppose 982072 = 44*n + 36*n - 28*n. Is 38 a factor of n?
True
Let u(n) = -6*n**2 + 4*n + 250. Let y(v) = -7*v**2 + 5*v + 251. Let t(w) = 6*u(w) - 5*y(w). Is 35 a factor of t(0)?
True
Let m = 568 - 563. Suppose 0*z + 6050 = m*y - 2*z, -z = -3*y + 3631. Is 48 a factor of y?
False
Suppose 0 = 88*a - 86*a + 4. Is -5 - (358/(-2 + 3))/a a multiple of 29?
True
Let q(u) = -41*u**2 - 2*u - 3. Let h be q(-2). Suppose 924 = 4*l + 2*p, 2*l + 3*l = 3*p + 1177. Let f = l + h. Is f a multiple of 19?
False
Suppose -170 = -3*y - 131. Let b(d) = d**3 - 14*d**2 + 12*d + 23. Is b(y) a multiple of 3?
False
Let x(t) = -t**3 + 1. Let z(m) = -7*m**3 + 4*m**2 + 10*m + 16. Let c(b) = 6*x(b) - z(b). Let o be c(6). Suppose -172 - 92 = -o*d. Does 22 divide d?
True
Let m be 14/(-28)*(5 + -5). Suppose -2*w = -0*w - 1458. Suppose -8*i + w - 265 = m. Does 9 divide i?
False
Suppose 4*h = 5*w - 6, -2 = w - 5*h + h. Suppose w*d - 11 = -9*d. Does 17 divide 6*(-7)/(-42)*(35 - d)?
True
Is 94 a factor of (7/21*3)/(18046/(-4512) + 4)?
True
Let q(k) = 5519*k**3 + 3*k**2 - 8*k + 15. Is q(2) a multiple of 242?
False
Let n = 2738 + 12631. Does 141 divide n?
True
Let z(j) = -2*j**2 + 19*j - 4. Let y be z(9). Suppose y*s = -3*k + 5*k + 4, 3*s = 6. Suppose 0 = -4*p + k*i + 1049, 5*i + 1055 = 2*p + 2*p. Does 31 divide p?
False
Let s(u) = -21*u**2 - 409*u + 27. Does 13 divide s(-18)?
True
Let c(j) = -15*j + 54. Let t(z) = -7*z + 27. Let s(f) = 4*c(f) - 9*t(f). Let p be s(9). Suppose p = 3*b - 227 - 163. Does 47 divide b?
False
Suppose -3*b - 61*l = -57*l - 4387, -2*b = 3*l - 2926. Is 2 a factor of b?
False
Let l = 24 - -5. Suppose -5*j + l = 209. Is (j/(-21))/(8/252) a multiple of 18?
True
Let z = -1830 + 16130. Suppose -40*y + z = -14*y. Is y a multiple of 22?
True
Let k = -289 - -303. Let r = k - -165. Is 19 a factor of r?
False
Let x(p) = 102*p + 6. Suppose 0 = 5*y - 4*z - 17, 5*y = z - 2*z + 2. Does 13 divide x(y)?
False
Let z be (6/9)/(-4*(-4)/1896). Suppose -z*x + 270 = -82*x. Let h = x - -158. Is h a multiple of 34?
True
Let m(a) = 89*a**2 - 12*a - 252. Is m(-20) a multiple of 15?
False
Does 16 divide ((-4392)/(-21))/(91/1274)?
True
Let g(i) = -9*i + 13. Let k be g(1). Suppose -c = 4*q - 328, 0 = c + k*q - 6*q - 298. Is 14 a factor of c?
True
Let n = -19 - -85. Is 7 a factor of 1852/22 + n/(-363)?
True
Let c(n) = -6*n**3 - 13*n**2 + 3*n + 36. Let t be c(-11). Suppose 0 = -26*r + 2502 + t. Does 37 divide r?
False
Suppose 4*h = -5*l + 2*h - 35, 5*h + 30 = -l. Let t be (l + (-15)/(-6))/(2/(-4)). Suppose 0 = t*c - c - 68. Is c a multiple of 2?
False
Let j(q) = -1191*q - 499. Does 42 divide j(-7)?
False
Let t(h) = -1 + 2*h**2 - h + 11 + 3. Let w be t(0). Suppose -15*q = -14*q - w. Is 2 a factor of q?
False
Let w be (-12)/((-1)/(75/(-6) + 5)). Suppose s = -s + 308. Let i = w + s. Is i a multiple of 16?
True
Let q(k) = 4*k - 40. Let w = 38 - 28. Let h be q(w). Suppose h = -f, 42 = 2*z + 3*f - 6. Is z a multiple of 24?
True
Let i = -104 + 98. Does 13 divide (-18)/(-54) - 2*818/i?
True
Let z(o) = 0*o - 352 + 320 - 4*o. Let i be z(-17). Suppose -5*r - 2*j + 20 = -i, -22 = -r - 4*j. Is r even?
True
Suppose 3*z = -0*z. Let v(g) = 650*g**3 - g**2 + 3*g - 2. Let m be v(1). Suppose 0*l + 5*l - m = z. Is l a multiple of 21?
False
Let b(t) = t**3 - 41*t**2 + 10*t - 401. Is 9 a factor of b(41)?
True
Let v(q) be the third derivative of q**4/24 + 19*q**3/6 - q**2. Suppose o + 4*y - 6 = -19, 0 = 4*y + 4. Does 5 divide v(o)?
True
Let i(b) = 4*b - 12. Let f be i(-4). Is (1/6)/(f/(-1848)) a multiple of 11?
True
Let g be (60/18)/(0 - 2/(-27)). Let s be (-9)/(-6)*5/(g/12). Suppose -t - z + 9 = -6, 4*t - s*z - 78 = 0. Is 17 a factor of t?
False
Let b be 309/12 + (45/20 - 2). Suppose -3*l - b + 44 = 0. Suppose -11*w + 180 = -l*w. Does 36 divide w?
True
Let k = -4437 + 7146. Is k a multiple of 174?
False
Suppose 80 = 3*p - 2*n - 60, 0 = -4*p - 2*n + 168. Suppose -47081 - 4751 = -p*j. Is 42 a factor of j?
False
Suppose 3*q = z + 12 - 0, -3*z + q = -4. Suppose 5*a - 907 = z*l, 7*a - 3*a + 4*l - 732 = 0. Is a a multiple of 19?
False
Suppose 37*m + 48*m = -340. Let v(z) be the third derivative of 2*z**5/15 - z**4/8 + 5*z**3/6 + z**2. Is 14 a factor of v(m)?
False
Let u be (0 + 4/14)/(24/84). Is 25 a factor of (u + 81)*(-20 - -21) + 1?
False
Let u(r) = -r**3 - 7*r**2 - r - 7. Let y be u(-7). Suppose 2*c + 137 - 575 = y. Is 34 a factor of c?
False
Let y(l) = -l**2 - 7*l - 4. Let s be y(-7). Let d be (s + (-712)/20)*-5. Let p = 289 - d. Is p a multiple of 7?
True
Suppose 15688 = 7*g + 141. Does 127 divide g?
False
Does 2 divide -3 - (-9 + -540) - -11?
False
Suppose -4*a - l + 13805 = -21733, -4*a - 3*l = -35526. Is a a multiple of 34?
False
Suppose -j + 8470 = 34*j. Let k = 326 - j. Is 6 a factor of k?
True
Let c be 12/6 + (24 - 2). Suppose 5*h + 21 = -4*l + 6, 5*l = -h - c. Is (0 - (-384)/15) + (-2)/l a multiple of 26?
True
Suppose 0 = -3*h - 3*d, -h - 13 + 1 = 5*d. Suppose h*m - 69 = -5*p + 237, -124 = -2*p - 2*m. Is 4 a factor of ((-2 - 1) + (-44)/(-12))*p?
True
Let j be 11/5 - (-40)/50. Suppose -1512 = j*c - 10*c. Is c a multiple of 27?
True
Suppose 84*t - 86*t + 5*b + 570 = 0, 2*t - 564 = 2*b. Does 16 divide t?
False
Let p(x) be the first derivative of -3*x**4/4 - 3*x**3 + x**2 + 57*x - 232. Is 13 a factor of p(-9)?
False
Suppose -2*z = -14 + 42. Let q be ((-48)/(-40) - 1) + 248/10. Let c = q - z. Is 3 a factor of c?
True
Let k(z) = -33969*z**3 + z**2 + 8*z + 7. Is k(-1) a multiple of 38?
False
Let d be (-2 - 0) + -3 + 1. Let x(h) = -40*h - 5*h + 16*h - 40 + 16*h. Is x(d) a multiple of 7?
False
Let g = -5140 - -9877. Is g a multiple of 27?
False
Let c(q) = -4*q**2. Suppose 3*z = -t - 6, t + 3 + 0 = 0. Let h be c(z). Is 3 a factor of (-1)/((h/(-192))/((-3)/6))?
True
Let m be 87207/(-410) + 3/(-10). Let l = m + 533. Is l a multiple of 8?
True
Let b = -12 - -19. Let f(g) = -2*g**2 + 15*g - 5. Let o be f(b). Suppose r - c = 4*c + 15, o*r + 4*c - 72 =