
Suppose 55 - 202 = 7*h. Let d = 54 + h. Is d a multiple of 7?
False
Suppose -5*r + 0 = -25. Suppose -a + 23 = r. Is a a multiple of 3?
True
Let g(z) be the third derivative of -z**7/840 - z**6/24 + z**5/10 + z**4 - z**3/3 - z**2. Let x(b) be the first derivative of g(b). Is x(-16) a multiple of 19?
False
Let j be 4/(-10)*(-1 - -66). Is 5 a factor of (38/3)/(j/(-39))?
False
Let z(f) = -f**2 - 7*f - 3. Let k be z(-7). Let g be (k + (-4)/(-8))*-2. Suppose 5*m = -4*y + 18 + 30, -57 = -g*m - y. Is m a multiple of 4?
True
Suppose -406 = -8*y + 6106. Is y a multiple of 37?
True
Let r be 1*(-4)/(-2 + 6)*-7. Suppose 2*y + 100 = r*y. Is 2 a factor of y?
True
Suppose f - 1 = 2. Suppose 3*j - 921 = -0*r + f*r, 0 = -j + 2*r + 308. Is j a multiple of 51?
True
Suppose -4*d - 2*x - 6 + 38 = 0, 2*d = 5*x + 40. Suppose -d*a + 72 = -8*a. Is 3 a factor of a?
True
Suppose 6*r - 4*t - 40 = 3*r, 0 = -t - 4. Suppose -r = -8*j + 4*j. Suppose -2*l - 110 = -4*i, 0 = -5*i + j*i - 5*l + 50. Does 19 divide i?
False
Let g = 8 - 9. Let o be g/4 + (-3983)/(-28). Does 17 divide (o/6)/(2/6)?
False
Let q(n) = -n - 10. Let v be q(-10). Suppose v = -5*t + 4*i + 19, -2*t + 1 = -3*t + 2*i. Let r(x) = x**3 - 7*x**2 + x + 6. Does 6 divide r(t)?
False
Let g(a) = -a**2 - 19*a - 3. Let i be 22/110 + (-172)/10. Is 6 a factor of g(i)?
False
Let r(v) = v**3 + 22*v**2 + 29*v + 35. Is r(-20) a multiple of 36?
False
Suppose 6*w - w = -265. Let q = w - -88. Is q a multiple of 16?
False
Let j(t) = t**3 + t + 40. Suppose -3*p + 15 = -c + 6*c, -5*p = 3*c - 25. Is j(c) a multiple of 8?
True
Suppose -5*l = 3*z - 5, 5*z - 19 = l + 8. Suppose -4*t + o = -261, 0*t = t - z*o - 89. Is t a multiple of 18?
False
Let z(f) = -7 + 43*f - 6*f - 11*f. Is z(2) a multiple of 9?
True
Suppose -5*w = -w + 8, j + 5 = -5*w. Suppose -5*p - g = -2 - j, 4*g = -3*p - 6. Suppose 3 = -r, -2*n + 159 = p*n - 5*r. Is n a multiple of 18?
True
Is (-7808)/(-42) + 34/357 a multiple of 62?
True
Is 31 a factor of (-23862)/(-21) - 38/133?
False
Suppose 3*u + 331 = 1120. Suppose 3*a - 26 = -2*p + u, -p = 5*a - 491. Is 32 a factor of a?
False
Let q = -26 + 26. Suppose -b + 43 = p, q*p - 101 = -3*b + 4*p. Does 24 divide b?
False
Suppose -g - 2*g = 9, 0 = 3*t - 4*g + 15. Let h(b) = b + 8. Let m be h(t). Is (-18)/((-3 + m)/2) a multiple of 3?
True
Suppose 0 = 4*v + l - 33, -v + 3*l + 22 = 4. Let o be 2/6 - (-42)/v. Suppose -3*w = -5*f + 102, -3*f - o*w + 68 = -0*w. Is 18 a factor of f?
False
Let p = -13 - -12. Let y be 3 - -1 - (p + 5). Let a = 6 + y. Is a a multiple of 3?
True
Let g be -8 - ((2 - 0) + -5). Let h(l) = 4*l - 8. Let b be h(g). Let a = -1 - b. Is a a multiple of 27?
True
Let u = -50 + 51. Does 9 divide 46 - ((-4)/1 - u)?
False
Let i(d) = -4 - 1 + 2 - 2*d + 17*d. Let p(x) = -x. Let c(w) = i(w) + 2*p(w). Is 18 a factor of c(3)?
True
Let h = 334 - 9. Is 64 a factor of h?
False
Let m = 53 + 94. Is 8 a factor of m?
False
Let c be 24/2*(-55)/20. Is 3 a factor of (-600)/c - (-6)/(-33)?
True
Suppose 0 = 10*u - 23 - 177. Does 3 divide u?
False
Let r(o) = -o**3 - 8*o**2 - 11*o + 8. Let b(a) = -3*a**3 - 24*a**2 - 32*a + 24. Let q(i) = -4*b(i) + 11*r(i). Let s = -75 - -69. Is 11 a factor of q(s)?
True
Suppose 13832 = -4*h + 17*h. Does 20 divide h?
False
Is (229418/(-98))/((-2)/2) a multiple of 13?
False
Let m be ((-36)/(-2)*3)/((-2)/10). Is (-4 - m/63) + (-89)/(-7) a multiple of 2?
False
Suppose -c + 4*m - 50 = 0, 2*c + 3*m = -c - 150. Suppose b = -5*s + 396, -9 = -5*b - 4. Let p = s + c. Is 8 a factor of p?
False
Let a = -943 + 1508. Is a a multiple of 25?
False
Let n = -94 + 47. Let v = n + 73. Is 2 a factor of v?
True
Suppose 145 = 3*t - y - 161, -5*t + 2*y = -510. Let h(l) = -l + 11. Let d be h(9). Suppose v + d*v = t. Is v a multiple of 11?
False
Suppose -102 - 53 = 5*s. Let y = s + 59. Does 5 divide y?
False
Suppose -2*w = 5*h - w - 26, h - 2 = 3*w. Let b(o) = 5 - 3 + h*o**2 - 3 + o**2 - o. Does 2 divide b(-1)?
True
Let q(a) = -8*a**3 - 17*a**2 - 18*a + 6. Let y be q(-6). Suppose 0*k + 4*k + 1215 = 5*v, -k = -5*v + y. Does 17 divide v?
False
Suppose -m = -2*u + 477, -22*m = 4*u - 25*m - 959. Is u a multiple of 7?
False
Let h = -1 - -19. Suppose -h*t - 150 = -23*t. Does 10 divide t?
True
Suppose 3*p - 5*i = -0*p - 4, 0 = 5*p - 3*i - 20. Suppose 9 - p = -2*h. Let y = 34 + h. Does 10 divide y?
False
Suppose -36*c + 40*c = 2524. Is c a multiple of 16?
False
Suppose -2*j = -5*f - 677, -5*j - 263 = 4*f + 272. Let b = -41 - f. Does 19 divide b?
False
Suppose j + 0*a = -2*a + 340, 0 = 5*j + 4*a - 1724. Is 13 a factor of j?
False
Let u = 29 + -14. Suppose 5*m + u = 0, -5*m = 5*i - m + 12. Suppose i = 3*y - 14 - 94. Is 16 a factor of y?
False
Suppose 3*g - 26 = m, g - m + 5 = 13. Is 1/g + (-538)/(-18) a multiple of 6?
True
Let l = 79 - 27. Let w = -122 + l. Does 5 divide ((-10)/(-35))/((-2)/w)?
True
Let u(f) = -f**3 - 42*f**2 - 46*f - 188. Is 7 a factor of u(-41)?
False
Let c(s) be the third derivative of s**5/60 + s**4/8 + s**3/3 + 5*s**2. Does 6 divide c(4)?
True
Let c(a) = a**3 + 24*a**2 - 2*a + 42. Is 10 a factor of c(-24)?
True
Let a = -911 + 1211. Is 50 a factor of a?
True
Let v(d) = d**2 - 9*d + 15. Let j(p) = 3 - 5 + p - 1 + 0. Let w be j(11). Is 7 a factor of v(w)?
True
Let x(h) be the first derivative of 4*h**3/3 - 13*h**2/2 + 10*h - 36. Is x(4) a multiple of 6?
False
Let j(n) = 1 - 5 + 3. Let z(y) = -5*y. Let h(m) = 2*j(m) + z(m). Is 7 a factor of h(-2)?
False
Suppose -4*n + 7*n = a + 23, -4*a - 5*n - 24 = 0. Let y = -67 - -46. Let w = a - y. Is w a multiple of 3?
False
Let n(r) = 14*r**2 + 16*r + 82. Is 31 a factor of n(-7)?
False
Let a = -1 - -3. Suppose 4*i - 4*s = 144, -a*s + 6 = i - 39. Does 7 divide i?
False
Suppose -156 = -l - 12*l. Let b(z) = -z**2 + 15*z + 34. Is b(l) a multiple of 6?
False
Suppose c = -50 + 193. Is (0 + 1)*c - 2 a multiple of 20?
False
Let j(h) = h**2 - h - 2. Let i(p) = -p**3 - 7*p**2 + p + 9. Let l be i(-7). Let r be l/2 - (3 - 7). Is j(r) a multiple of 16?
False
Let i(y) = 24*y - 144. Is i(32) a multiple of 39?
True
Let q(k) = k + 13. Let i be q(-8). Suppose -i*s + 436 = -39. Is 29 a factor of s?
False
Suppose -2*i + 32 = -a - 3*i, i - 4 = 0. Let q = -9 - a. Does 9 divide q?
True
Suppose 5 = 3*o - 1, o + 323 = 5*q. Suppose -q = 3*w - 4*z, -5*z - 8 = 3*w + 12. Let m = w + 33. Is 6 a factor of m?
True
Let z = -14 - -12. Does 25 divide 669/9 - z/3?
True
Let f be 14980/6 + (-6)/((-54)/3). Is (-6)/(-3)*f/22 a multiple of 28?
False
Let f(k) be the third derivative of k**6/120 + k**5/12 - k**4/24 - k**3/2 + k**2. Let m be f(-5). Let o = m - -5. Is o even?
False
Let h be (3/15)/(5/275). Suppose -h*x - 42 = -13*x. Is x a multiple of 7?
True
Let t(w) = -4 + 6 - 13 + w. Let s be t(17). Does 13 divide (-296)/s*(-3)/2?
False
Let z be 1/(3 + (-200)/66). Let b be (11/z)/((-1)/(-15)). Does 12 divide b*24*(-2)/10?
True
Is (-65 - -905)*-1*4/(-10) a multiple of 18?
False
Let x(t) = t**2 + 8*t + 13. Let w be x(-2). Let c(b) = 265*b**2 - b. Is c(w) a multiple of 44?
True
Suppose n = 4*k - 3, 3*k - 9 = 3*n - 2*k. Does 4 divide (28/(-1))/2*(n + 2)?
False
Suppose 2*n = -5*w + 20, -w - 2*n - 16 = -5*w. Let r(p) = 4*p**2 + 5*p - 3. Is 9 a factor of r(w)?
True
Let c(b) be the first derivative of b**3/3 - b**2 + 3*b - 1. Let h be c(5). Suppose -2*n - n + h = 0. Is n a multiple of 5?
False
Is 9 a factor of (1/(-3))/((-142)/686286)?
True
Let b(x) = 2*x - 1. Let z be b(3). Suppose -4*p + 20 - 8 = 4*s, 3*s = z*p - 15. Suppose 8*a + 4*v = 3*a + 102, -p*a + 5*v = -76. Is 11 a factor of a?
True
Let u(k) be the second derivative of -k**5/20 - 5*k**4/6 - 8*k**3/3 - 3*k**2/2 + 19*k. Is 6 a factor of u(-9)?
True
Let n be (-2 + 0)*55/(-10). Let v(o) = 4*o**2 + 4*o + 3. Let g be v(-1). Suppose g*m + 59 = 5*b + 22, b - n = -3*m. Does 4 divide b?
True
Let b(n) be the second derivative of -n**3 - 6*n**2 + 8*n. Suppose -5*s + 1 - 76 = 0. Is b(s) a multiple of 26?
True
Let h be (-4)/(1 - (0 + -1)). Let m be h - (-2 + (-3 - -1)). Suppose 20 + 22 = m*s. Is 5 a factor of s?
False
Let v(q) = q**3 - 7*q**2 + 12*q - 9. Suppose 7*x + 7 = 8*x. Is 10 a factor of v(x)?
False
Let b = 231 - 111. Suppose j + b = 2*v, -4*v - 5*j = -4*j - 246. Suppose -2*r = 2*w - r - v, w - 32 = r. Is 13 a factor of w?
False
Let l = -26 - -28. Suppose 49 = -l*y + 139. I