 Suppose c = -3*z + 17 - 2. Suppose z*v + 35 = q - 5, 20 = -4*v. Is q a multiple of 4?
False
Is ((-468)/8)/((-117)/2028) a multiple of 78?
True
Let n(w) = w**2 - w + 25. Let l be n(0). Let d = l + -13. Is 27 a factor of 594/d*(0 - -2)?
False
Let r(y) be the third derivative of -y**4/8 - 2*y**3/3 + 4*y**2. Let q be r(7). Let b = q - -58. Is b a multiple of 11?
True
Is 58 a factor of (-7 - -8) + 2 + (1967 - -2)?
True
Let g(l) = -57*l**3 + 3*l**2 - l - 4. Is g(-2) a multiple of 44?
False
Suppose 11341 = 18*w - 503. Does 47 divide w?
True
Let q be 102 + -1 - (1 - -1). Suppose 3*o = -3*u - 0*o + 333, -u + q = -3*o. Is 36 a factor of u?
True
Suppose 3 = -3*y + 39. Suppose y*x - 7*x = 90. Is x a multiple of 6?
True
Let k(z) = z**2 - 22*z - 311. Does 55 divide k(42)?
False
Let v(w) = 19*w + 60. Is v(6) a multiple of 29?
True
Suppose -c + 4*c = 4*v + 21, 2*c + v = 14. Suppose c*h + 2*h - 1701 = 0. Is h a multiple of 27?
True
Let b(f) = 2*f + 38. Let j be b(-16). Suppose 0 = c - j*c - 3*m + 597, -2*c + 3*m = -243. Is 15 a factor of c?
True
Suppose 0*t = -4*t + 12, 0 = 5*l + 5*t - 15. Suppose l = -g - 2 - 6. Is g*(-3 + 4 - 3) a multiple of 4?
True
Let j(g) be the second derivative of g**7/840 - g**6/90 - g**5/15 - g**4/6 - g**3 - 3*g. Let u(h) be the second derivative of j(h). Is u(6) a multiple of 20?
True
Let v(w) be the third derivative of 1/20*w**5 + 0 - 1/3*w**3 + 3*w**2 + 0*w + 1/8*w**4. Is 13 a factor of v(-5)?
False
Let i be (-4)/(-2)*15/30. Is 25 a factor of (-1)/1 + (-64)/(-3 + i)?
False
Is 51 a factor of (-805)/(-322)*(-9996)/(-10)?
True
Let m = -9 + 22. Suppose m = q - 31. Is q a multiple of 11?
True
Let a(h) = -h + 1. Let s be a(3). Let i = -1 + s. Is (18/15)/(i/(-60)) a multiple of 12?
True
Let k = 527 - 311. Does 6 divide k?
True
Suppose 33*f + s = 30*f + 4946, -2*f + 3294 = -s. Is 103 a factor of f?
True
Let u = -573 - -641. Let w be -18 - (-1 + 1/1). Is 15 a factor of -4 + (-9)/(w/u)?
True
Let c(g) = g**2 - g**3 + 6 + 28 - 7 + g. Is c(0) a multiple of 9?
True
Let t(b) = 525*b**2 + 15*b - 16. Does 27 divide t(1)?
False
Let q(t) = -t**3 + 4*t**2 + 8*t + 12. Let m be q(5). Suppose 5*i - 113 = m. Is 3 a factor of i?
False
Let k be -3 + 0 + 16 + -9. Suppose 3*v = -5*j + 320, 0*v + 256 = k*j - 2*v. Suppose d - 3*d = -j. Does 12 divide d?
False
Suppose -b + 189 = 4*h, -6*b + 8*b - 4*h - 402 = 0. Does 4 divide b?
False
Let c(j) = j - 10. Let z be c(10). Suppose z = 3*r + r. Suppose f = 2*o - 22, -5*o + r*o + 55 = -f. Is o a multiple of 6?
False
Does 14 divide (1470/140)/(3/(-32)*-1)?
True
Let a be (-8)/12*(-14 + -2 + 1). Suppose a*d - 9*d - 12 = 0. Is 5 a factor of d?
False
Is (-50 - -3)/(2/(-2)) a multiple of 16?
False
Suppose 0 = 13*d - 14*d + 2*a + 456, -1844 = -4*d + 3*a. Does 16 divide d?
True
Suppose -2*c + 6 = -6. Let v(s) = -s**3 + 8*s**2 - 9*s + 1. Let a be v(c). Is 18 a factor of (a - 1) + 2 + -2?
True
Suppose 7*m = 744 + 530. Is m a multiple of 14?
True
Suppose 6*n + 3 = 7*n. Suppose 186 = o + 4*x, -x + 877 = n*o + 363. Does 34 divide o?
True
Let l(o) = o**2 + 4*o + 2. Let u(b) = b**3 - 9*b**2 + 8*b + 3. Let f be u(8). Let i be ((-2)/(-6))/(f/(-45)). Is l(i) a multiple of 2?
False
Let i = -2097 + 4104. Is i a multiple of 13?
False
Suppose -2*w = -0*h - 2*h - 3624, 0 = 5*h + 3*w + 9092. Is 6/(-14) - h/56 a multiple of 17?
False
Suppose 11136 = -29*g + 45*g. Is 21 a factor of g?
False
Suppose 0 = 5*p + 2*m - 47, 2*m - 5 = p - 24. Let j = 254 - 245. Suppose p = 5*o - j. Is 3 a factor of o?
False
Suppose 6*k - 7*k + 22 = 0. Let c = k - 13. Let a = 21 - c. Does 12 divide a?
True
Suppose 5*f + 0 - 5 = 0, -1197 = 5*g + 3*f. Let t = 402 + g. Suppose -t = 3*i - 6*i. Is 27 a factor of i?
True
Suppose -95*u + 99*u - 648 = 0. Suppose -2*m + u = -y, -3*y + 46 = m - 28. Does 17 divide m?
False
Let d = -44 + 141. Is d a multiple of 32?
False
Let i be -2 + 1/3 + (-2326)/(-6). Suppose -4*r = -3*o + 304, -3*o + r = -i + 94. Does 24 divide o?
True
Suppose 4*j + 4*i - 76 = i, -16 = -2*j + 4*i. Let g = -12 - -4. Let k = g + j. Is k a multiple of 8?
True
Suppose 0 = b + v - 5, 16 = 2*b + 5*v. Suppose 4 = b*s - 5. Suppose -s*h = -99 + 18. Does 13 divide h?
False
Suppose 10*b - 392 = 6*b - v, -295 = -3*b - v. Does 8 divide b?
False
Let m = 90 - 83. Suppose 8*r + m*r = 885. Does 15 divide r?
False
Let i = 171 - -386. Does 28 divide i?
False
Let q = 136 - 137. Is 15 a factor of 73 - (q*2 - 8/8)?
False
Let c = 491 + -351. Is c a multiple of 35?
True
Suppose 2*u = -5*w + 3029, -522 - 2499 = -2*u + 3*w. Is 54 a factor of u?
True
Let r(g) = -236*g**3 + 2*g**2 + 2*g + 1. Let c be r(-1). Let x = -99 + c. Suppose 3*o - 6*q = -3*q + x, 5*o + 5*q = 280. Is o a multiple of 17?
True
Suppose -34 = -3*h - 4*m, 2*h - 26 = -3*h + m. Let k(f) = 5*f - 15. Does 5 divide k(h)?
True
Let x(s) = 4*s**3 - 2*s**2 + 2*s - 2. Let o be x(2). Suppose 5*g = -4*c + 7, -2*g = 2*c - 0 - 2. Is 6 a factor of 2 + (o - (-6)/g)?
True
Is 8 a factor of ((-120)/(-21))/(32/1120)?
True
Let q = 260 - -52. Is q a multiple of 26?
True
Let a(j) = -87*j + 31. Is 72 a factor of a(-13)?
False
Let g = -724 - -1862. Let h = -1702 + g. Does 6 divide (2/(-1))/(24/h)?
False
Let i be ((-1)/2)/((-10)/60). Let u be (-20)/i*(-42)/35. Is 47 + -1 - (6 - u) a multiple of 24?
True
Suppose 2*w - 1892 = -5*a, -7*w + 3*a + 3784 = -3*w. Is 86 a factor of w?
True
Let t(s) = s**2 + 6*s - 6. Let l be t(-8). Let n = l - 5. Let w = n - -10. Is w a multiple of 5?
True
Suppose -3*a + 20 = 5*h, 5*h - 3*h - 5*a - 39 = 0. Suppose -3*g = 5*x - 55, h = 2*x - 3. Let f(v) = 2*v - 6. Is 10 a factor of f(g)?
False
Let n be (-5)/(1 + (-2 - 3))*72. Suppose -3*q + n = 6*q. Is 2 a factor of q?
True
Does 2 divide 151 + 2 - (-6 + 8)?
False
Let s = -1065 - -1696. Does 37 divide s?
False
Suppose -10*c = -15258 - 5272. Is c a multiple of 15?
False
Suppose q = c - 0*q + 3, -q = 4*c - 13. Suppose -4*s = -c*s - 4*n - 170, s + 5*n - 85 = 0. Is 14 a factor of s?
False
Let h = -108 + 276. Is h a multiple of 21?
True
Let z(g) = -18*g + 222. Is z(11) a multiple of 6?
True
Suppose 5*m - 324 - 165 = -6*r, -r - 496 = -5*m. Is 6 a factor of m?
False
Let h(w) = w**3 + 18*w**2 + 25*w + 125. Is h(-14) a multiple of 13?
True
Let z(u) be the first derivative of -u**4/2 - 2*u**3/3 + 3*u**2 - 5. Let l(j) be the second derivative of z(j). Is l(-3) a multiple of 16?
True
Suppose f = j + 3*j - 61, 5*f - 3*j = -322. Let t = 5 - f. Is 17 a factor of t?
False
Suppose -4*m = -2*m - 8. Suppose 0 = -5*o - d + 4 + 12, 2*d + m = 2*o. Suppose -4*x + 3*i = -179, -x - i + 41 = -o*i. Is 27 a factor of x?
False
Suppose -3*n - o + 190 = 0, -3*o + 50 = n - 16. Suppose -5*t = d - 4*d + n, 0 = 5*d - 5*t - 95. Suppose s - d = -3. Is 2 a factor of s?
False
Suppose 6*w - 11*w = 2*k - 1343, 4*w - 1081 = 5*k. Suppose 0 = -i - 203 + w. Does 11 divide i?
True
Suppose -11541 + 1851 = -19*x. Is x a multiple of 15?
True
Let c = -19 + 150. Let y = -11 + c. Is y a multiple of 20?
True
Let m = 74 - -270. Suppose -6*k + 22 + m = 0. Is 14 a factor of k?
False
Is 3565/69 + (-4)/6 a multiple of 27?
False
Let o be (6 - 0)/(-3) - -15. Suppose 4*c = 3*b + 9, 5*c - b - b = o. Suppose 0 = 3*k - z - 114 + 9, -c*k = -3*z - 99. Is k a multiple of 17?
False
Suppose 0 = r - l + 3, 3*r = r + 3*l - 11. Suppose 2*h - 4 = -t, 0 = -0*h - h - 3*t + r. Let n(i) = 14*i + 2. Does 10 divide n(h)?
True
Suppose -2*z - 2*a + 4 = 0, -5*a = 2*z - 0*a - 10. Suppose -5*k - 3*x - 5 - 9 = z, 0 = 5*k - 4*x - 7. Is 9 a factor of ((-3)/k)/3 - -61?
False
Is 23 a factor of 554 - (-4 + 3 + 3)?
True
Suppose 195*o = 4*d + 200*o - 3009, 5*d - 2*o = 3786. Is 36 a factor of d?
True
Is 10582/44 - (-2)/(-4) a multiple of 10?
True
Let p(r) = 3*r**2 + 35*r + 32. Does 15 divide p(-19)?
True
Let y(j) be the third derivative of -23*j**7/5040 - j**6/720 + j**5/12 - 4*j**2. Let d(a) be the third derivative of y(a). Is d(-1) a multiple of 12?
False
Let k(m) = 2*m**3 - m**2 + 1. Let p be k(1). Let b(d) = 5*d. Let j be b(1). Suppose 4*y = 5*o + j + 6, -2*o - 8 = -p*y. Does 5 divide y?
False
Let m(b) = 4 - 5*b**3 - 4*b**2 - 2 + 4*b + 0 + 4*b**3. Let z be m(-5). Let a(s) = s**3 - 8*s**2 + 8*s + 5. Is a(z) a multiple of 12?
True
Let m = -339 + 984. Is 129 a factor of m?
True
Let p(f) be the first derivative of f**3/3 - 9*f - 1. Suppose 9 - 24 = 3*x, 5*x