 a multiple of 72?
True
Let m(s) = 2*s**2 + 21*s + 18. Let y be m(-16). Suppose 2*c = a - y, -749 = a - 5*a - c. Is a a multiple of 47?
True
Let o(w) = 43*w**2 + 9*w - 4. Let g(y) = 21*y**2 + 4*y - 2. Let j(t) = 7*g(t) - 3*o(t). Let z = -1 + 3. Does 16 divide j(z)?
False
Let d(a) = -2*a**3 + 16*a**2 + 4*a + 1. Is d(7) a multiple of 20?
False
Suppose 3*h + 3 = 48. Is 3 a factor of (67 + -1)*h/45?
False
Let d(y) be the second derivative of y**4/3 + 2*y**3/3 + y**2/2 + 25*y. Is d(6) a multiple of 34?
False
Suppose 2*t + 32*t - 32130 = 0. Does 35 divide t?
True
Let y(v) = -v**3 - 18*v**2 + 68*v - 34. Is 14 a factor of y(-22)?
True
Let j = 9 - 39. Let i(c) = -2*c**2 + 4*c + 8. Let b be i(8). Is j/105 + b/(-14) even?
True
Let i = 38 + -36. Suppose -i*z + 50 = 3*z. Is 5 a factor of z?
True
Let b be -4 + (5 - (2 + -3)). Suppose -s - s - 4*j + 108 = 0, 114 = 2*s + b*j. Is 12 a factor of s?
True
Suppose -2*k = k - 3*y + 36, 3*y = -3. Let d = 72 + k. Is 12 a factor of d?
False
Let b(m) = m**2 - 2. Let s be b(0). Let r(u) = 3*u + 6. Let x be r(-4). Let d = s - x. Is d even?
True
Let w(o) = -o**3 - 10*o**2. Let g be w(-10). Suppose 2*a = 0, g = i + 3*i + 2*a - 640. Is 20 a factor of i?
True
Suppose 39 = -f - 0*f. Suppose 9*z + 64 + 89 = 0. Let w = z - f. Is 11 a factor of w?
True
Let m be (-5 - (-3 + 0))/((-1)/(-42)). Does 21 divide 3/7 - 8784/m?
True
Let y(h) = h**3 + 5*h**2 - 4*h + 7. Is y(6) a multiple of 9?
False
Let c(h) = 2*h**3 + 27*h**2 - 15*h + 56. Is 70 a factor of c(-13)?
True
Suppose -160852 = 89*i - 495937. Is i a multiple of 15?
True
Let f(o) = o**3 - 11*o**2 + 2*o - 2. Let r be f(11). Is (r - (2 + -1))/1 a multiple of 11?
False
Let y be ((0 + 0)/(-1))/2. Suppose y*r + 3*r - 291 = 0. Let c = -40 + r. Is c a multiple of 25?
False
Let m(b) = -b**3 + 7*b**2 + 3. Let r be 14/5*(-15)/(-6). Let a be m(r). Suppose -4*j - a*g = -5*j + 5, 0 = 4*j - 4*g - 20. Does 5 divide j?
True
Suppose i - 172 = 3*d - 3000, d - 952 = -2*i. Is 13 a factor of d?
False
Suppose 157 = -4*i + 5*i. Is i/(9 + -4 + -4) a multiple of 11?
False
Let i(u) = -u**2 - 15*u + 1. Does 12 divide i(-7)?
False
Let x(w) = -w + 6 + 8*w**2 + 8*w - 11*w. Is x(2) a multiple of 3?
True
Let s = -126 + -43. Let m = -142 - s. Is 2 a factor of m?
False
Let k(g) = g**2 + 3*g - 170. Let x be k(0). Let v = 338 + x. Is v a multiple of 28?
True
Is 8 a factor of 4512/(-60)*(2 - 7)?
True
Is (-1 - -566) + -2 + -2 + -1 a multiple of 101?
False
Suppose 1358 = v - 2*f, -2*v + 3*f + 2724 = 7*f. Suppose a - 9*a = -v. Does 34 divide a?
True
Let q(y) = 2*y + 6. Let s be q(5). Suppose 14*f - s*f = -394. Is f a multiple of 14?
False
Let i = -44 - -93. Does 8 divide (i - (-4 - -3)) + -2?
True
Let w(m) = -m**2 - 5*m + 20. Let s be w(-10). Is (-36)/(-7)*s/(-36)*21 a multiple of 15?
True
Suppose 0 = -3*h + 7*h + 192. Let o = -23 - h. Does 3 divide o?
False
Suppose 237912 = 23*j + 46*j. Is 14 a factor of j?
False
Suppose -26 - 190 = -6*r. Suppose 0 = -r*a + 41*a - 130. Is 13 a factor of a?
True
Let j(r) = -2*r**2 + 9*r - 2. Let z be j(6). Is (23 + z)/((-1)/(-101)) a multiple of 23?
False
Suppose r + 3*r - 4*t - 44 = 0, 21 = 3*r + t. Let f = 13 - r. Suppose 0*s - f*s + 55 = 0. Does 7 divide s?
False
Suppose 5*r = -k + 1090, 0*r + 4*r - 1088 = -k. Is 45 a factor of k?
True
Let o(a) = -a + 5. Let k be o(5). Suppose k = -2*x - x + 363. Suppose 3*p - x = 59. Is p a multiple of 19?
False
Suppose -3*l = -5*d + 2999, 3*d + 4*l = 2633 - 851. Is 13 a factor of d?
True
Let y(g) = 3*g**2 - 3*g**3 - 17 + 4*g + 0*g**3 + 17. Let b be y(3). Is 6 a factor of (3 - b)*(-4)/(-10)?
True
Suppose 0 = -11*u + 923 + 463. Does 10 divide u?
False
Let n(c) = c**2 - 18*c + 22. Let x be n(16). Let w(g) = -g**3 - 10*g**2 - 4*g - 23. Does 7 divide w(x)?
False
Suppose q - 4*q + 8 = -s, -3*q + 40 = -5*s. Let c = s - -13. Suppose 3*x + 3*y = 72, -c*x + 60 = -2*x - y. Is 12 a factor of x?
False
Let d(g) = g**2 - 8*g. Let o be d(8). Let w be (20 - 3) + o + -3. Suppose 2*x = -w + 42. Is 5 a factor of x?
False
Let r(z) = -9 + 8*z + z - 2. Let a = 22 + -17. Is r(a) a multiple of 10?
False
Is 55 a factor of (11*1/4)/((-22)/(-2904))?
False
Let j be (-2)/(-7) + (-24)/(-14). Suppose j*o + 237 = -315. Does 20 divide o/(-14) + 10/35?
True
Let o(i) = -21*i + 2. Suppose -3*g = -g + 4. Does 11 divide o(g)?
True
Suppose 34 - 4 = 5*a. Let d(c) = c + 16 + a*c - 11*c. Does 19 divide d(-5)?
False
Let v be ((-4)/(-6))/(9/27). Suppose -4*b = -v*h - 122, 3*b = 4*b + h - 32. Is b a multiple of 8?
False
Let k be (-1)/5*-2 - 448/(-80). Does 16 divide 28 - -3 - (k + -7)?
True
Let g(l) = -2*l**3 + 2*l**2 + 3. Let t be (-2)/(-2) + 1 + 2. Suppose 0 = -3*f - 5*o - 8 - 11, -t*f - 3*o - 18 = 0. Is 25 a factor of g(f)?
True
Let t(s) = 2*s + 1. Let c be t(3). Suppose -c*y + 10*y = 0. Suppose -5*w + y*w = -b - 115, -4*w + 71 = -5*b. Is w a multiple of 12?
True
Suppose 50 = -5*d + 60. Suppose -d*s = -2*a - 2*a + 420, -2*a + 214 = -3*s. Does 8 divide a?
True
Let r = 53 + -29. Let u(x) = -6*x + 161. Let n be u(26). Suppose n*h - h = r. Is 4 a factor of h?
False
Let o(m) = -m**2 + 3. Suppose 4*r - 40 = 5*l - 5, -10 = -2*r. Let a be o(l). Let c = 14 + a. Is c a multiple of 8?
True
Let p = 3 - 1. Let a be p/(-5) - 102/(-30). Suppose 68 = 2*j + 2*y, -4*j + a*y = 5*y - 126. Is 10 a factor of j?
False
Let u(i) = -i**3 - 7*i**2 + 9*i + 11. Let q be u(-8). Does 14 divide q/(0 + 3)*14?
True
Suppose 3*g + 2*b = 43, 4*g + 28 = 6*g + b. Suppose g = j + 5*o - 33, j - 5*o = 6. Is 26 a factor of j?
True
Let z(b) = -b**2 - 12*b + 5. Let a be z(-12). Suppose -4*q + 137 = -a*i - 149, 0 = -q + 2*i + 73. Is 26 a factor of q?
False
Let a(z) = 18*z**2 + 223*z + 15. Does 21 divide a(12)?
False
Suppose 0 = -4*f - 5*z + 138, 0 = -3*f - 3*z + 5*z + 115. Let b = -5 + f. Does 6 divide b?
False
Let q = -102 + 249. Does 7 divide q?
True
Is (20/14)/(2*11/154) a multiple of 3?
False
Suppose -z = 5*b - 165, -b - 618 = 3*z - 7*z. Suppose -4*p - 27 + z = 0. Suppose 0*t + 4*t = p. Does 4 divide t?
True
Let b be -12*(-5 - -9)/(-4). Does 13 divide 9/(-6)*((-1040)/b)/5?
True
Suppose 18 = -5*g - 4*a, 4*a = -8 - 0. Does 20 divide 4752/56 + g/(-14)?
False
Let n = -15 - -19. Suppose 0 = -n*j + 571 + 157. Is j a multiple of 24?
False
Let s(b) = -b**2 + 4*b - 4. Let z be s(5). Let q = z - -18. Is q*2 + (-6 - -7) a multiple of 19?
True
Let l(i) = 112*i**3 + 2*i**2 - 2*i. Does 75 divide l(2)?
True
Let k(p) be the first derivative of p**4/4 - 5*p**3/3 - 5*p**2 + 7*p + 1. Does 22 divide k(7)?
False
Let y = -9 + 5. Is 3 a factor of y/(-26) + 444/156?
True
Is (4/(-8))/((-10)/940) even?
False
Suppose 0*n = 4*n - 360. Is 5 a factor of (10 - 3)*n/21?
True
Suppose 2*k = -4*u + 2122, -5*k - u - 1046 = -6*k. Does 21 divide k?
False
Let r(j) = -j**3 - 25*j**2 + 32*j - 2. Is 19 a factor of r(-27)?
False
Let q(l) = 2*l**3 + 8*l**2 - 7*l - 3. Let j(c) = -c**3 - c. Let s(d) = -j(d) - q(d). Is s(-9) a multiple of 4?
True
Let j(p) = 13*p**2 - 16*p + 19. Let i(a) = 7*a**2 - 8*a + 10. Let r(s) = 11*i(s) - 6*j(s). Let k be r(7). Suppose 0 = -k*x + x + 6. Is 3 a factor of x?
True
Let r(z) = 131*z + 1. Let n be r(1). Let d = 376 - n. Let u = 356 - d. Does 14 divide u?
True
Let k(l) be the second derivative of l**6/360 + l**5/60 + l**4/8 + l**3 - 5*l. Let t(s) be the second derivative of k(s). Is t(-2) a multiple of 2?
False
Does 10 divide (0 - 4) + (2172 - 8)?
True
Suppose -5*p = 3 + 12. Let f be (1/(-3))/(p/63). Let b(k) = 2*k**2 - 10*k + 2. Is 15 a factor of b(f)?
True
Let v(m) = 511*m**2 - 5*m + 4. Does 10 divide v(1)?
True
Does 20 divide 117 + (6 - 9 - -9)?
False
Suppose 5*o - 2*r - 21 = 0, 9 = 2*o + 2*r - 3*r. Suppose -o*d = -6*d + 30. Suppose 0*a + 4*x + d = a, -2*a + 2*x = -20. Is a a multiple of 3?
False
Suppose -r = 4*l - 35 - 2, 5*l = 4*r - 127. Suppose 5*f + r = 4*w, 0*w = w + 3*f + 13. Suppose -w*p - 104 = -3*y, -2*p + 148 = 4*y - 7*p. Is y a multiple of 16?
True
Suppose 0 = p + 4*h - 213, 598 = 3*p - 4*h - 105. Suppose 5*z + i = -i + 269, 0 = -4*z + 3*i + p. Let s = z + -24. Does 12 divide s?
False
Suppose -4*y + 583 = -3*s, -3*y + 0*y = -2*s - 438. Suppose 3*v + o - y = 0, 3*o + 154 = 5*v - 116. Is v a multiple of 17?
True
Let s(g) = -2 + g**2 + 84*g**3 + 7 - 7 + g. Does 28 divide s(1)?
True
Suppose -4*p = g - 3, -3*g - 17 = 4*p + 2*g. Su