. Suppose -c*m + 7*m = -360. Is 28 a factor of m?
False
Let z(g) = 4*g**2 - g - 104. Does 34 divide z(-11)?
False
Suppose -z - d - 49 = 3*d, -z = -2*d + 19. Let u = z - -167. Is u a multiple of 23?
True
Let s(m) = m**2 - 10*m + 87. Does 17 divide s(19)?
False
Suppose 124*a - 111*a - 2925 = 0. Is 7 a factor of a?
False
Let x = 124 + -10. Suppose -3*c = -57 - x. Is 5 a factor of c?
False
Let r be (-14)/14*5/(-1). Suppose x = -2*j + 23, -r*j + 115 = 3*x + 2*x. Does 16 divide x?
False
Suppose 393 + 177 = 5*z. Let g = z - 45. Is g a multiple of 16?
False
Let o(c) be the third derivative of 5*c**7/504 + c**6/360 + c**5/6 - c**2. Let d(t) be the third derivative of o(t). Is 9 a factor of d(1)?
False
Let y = 584 - 155. Does 33 divide y?
True
Does 12 divide -3*(-84)/98*42/1?
True
Suppose 9 - 25 = 4*c, -3*c - 272 = 4*p. Let a = p + 142. Does 7 divide a?
True
Let o(y) = y**2 + 4*y - 7. Let j(t) = -3*t**2 - 13*t + 22. Let q(c) = 3*j(c) + 8*o(c). Let a be q(-9). Let p = 24 + a. Is p a multiple of 15?
False
Let a be (-5 - (-50)/(-4))*(-72)/10. Suppose n - 3*i = a, -560 = -5*n + i - 0*i. Is n a multiple of 43?
False
Let p(f) = -2*f**3 - 23*f**2 + 34*f - 10. Is p(-15) a multiple of 10?
False
Is 18 a factor of (5*(-9)/(-60))/((-1)/(-708))?
False
Does 8 divide (-437)/(-46) - (-2)/4?
False
Suppose -4*b + 1421 = -3363. Does 5 divide b?
False
Let f = 25 + -46. Let l = 28 + f. Suppose l*a = 8*a - 16. Does 3 divide a?
False
Let a be (-1 - 15/(-6))*2. Suppose -y = 2*l - 16, -7 - 55 = -5*l + a*y. Is 9 a factor of l?
False
Suppose -2*j + 4832 = -2*f, 13*j - 4*f = 16*j - 7213. Is j a multiple of 20?
False
Let t = 1418 - 438. Is 39 a factor of t?
False
Let k(b) = -21*b - 27. Let m be k(-6). Suppose 3*t - h - 94 = m, -136 = -2*t - 3*h. Does 22 divide t?
False
Suppose -4*h = 7 - 23. Suppose -h*f + 9 + 3 = 0. Suppose f = i, 0*k + i - 103 = -5*k. Is k a multiple of 6?
False
Does 30 divide (-422)/(-7) - (-102)/(-357)?
True
Does 4 divide (-156)/10*40/(-6)?
True
Suppose 0 = -3*h + 4*p + 569 + 792, -h - p + 456 = 0. Is h a multiple of 13?
True
Let a = 84 - 72. Suppose a*o - 4*o - 312 = 0. Does 5 divide o?
False
Suppose 1114 = 5*f + 2*a, 10*a = 8*a - 6. Is f a multiple of 7?
True
Let y(s) = -s**2 - 8*s - 10. Let r be y(-3). Let t = r + 23. Does 7 divide t?
True
Let f = 138 + -156. Is 8 a factor of (-1)/3 + (-8 - 1734/f)?
True
Suppose 9 = 3*q + 2*h, 0 = q + 2*q - h. Let v be q - ((2 - 0) + -3). Suppose -v = -3*l + 115. Does 13 divide l?
True
Let o(r) be the third derivative of r**6/120 + 11*r**5/60 + r**4/2 - 3*r**3/2 + 20*r**2. Does 5 divide o(-9)?
True
Does 7 divide (-803)/((-110)/10) - (-2 - -2)?
False
Let d(s) = 12*s**2 - 9*s - 27. Does 2 divide d(-4)?
False
Let u(l) = 2*l**3 + 2*l**2 + l - 1. Let w be ((-4)/14)/((-2)/14). Let c be u(w). Let p = c - 17. Is 6 a factor of p?
False
Let a(o) = o**2 + 5 + 2 - 4. Is a(12) a multiple of 21?
True
Let c(w) = w - 22. Let n be c(13). Let l(a) = a**3 + 10*a**2 + 6*a + 12. Is l(n) a multiple of 8?
False
Let y(k) = -k**3 + 17*k**2 + 63*k - 62. Is y(19) a multiple of 10?
False
Suppose 0 = j - 0*q + 3*q + 2, -7 = j - 2*q. Does 16 divide 3 - ((-1)/j + (-2466)/30)?
False
Let h(y) = 5*y**3 + 5*y**2 - 8. Let g(q) = -11*q**3 - 10*q**2 + q + 17. Let w(i) = -4*g(i) - 9*h(i). Let f be w(-6). Suppose -f = 3*r - 7*r. Is 9 a factor of r?
False
Let v = -77 - -79. Suppose -3*y - 3*t - v*t = -347, -5*y + 3*t + 635 = 0. Is 10 a factor of y?
False
Suppose -3*a - 68900 = -56*a. Does 50 divide a?
True
Suppose -5*k + 2*a + 1 = -5, -9 = 3*a. Suppose k = 3*l + 3*j + 33, 2*l + 22 = -3*j - j. Is (-2)/l - (-1611)/33 a multiple of 12?
False
Let s be (208/12)/((-2)/(-24)). Suppose -3*j + 156 = -4*x, -4*x + 2*x - s = -4*j. Let l = j - 19. Does 9 divide l?
False
Let y be 10 + 4/((-8)/6). Let n(d) = 21*d + 5. Let g be n(y). Suppose 56 = i + 5*t, 0 = -4*i - 5*t + 3*t + g. Does 18 divide i?
True
Suppose 4*f + 1076 = 4*a, -5*a - 8*f = -11*f - 1339. Does 33 divide a?
False
Let f(l) = -192*l**3 + 2*l**2 + 2*l + 1. Let k be f(-1). Let z = k - 23. Does 10 divide z?
True
Suppose 784 = 4*j - 4*p, 0 = j - 5*p + 105 - 301. Is j a multiple of 28?
True
Let m = 206 + -146. Let v = -1 - -3. Suppose 0*a = -v*a + m. Is a a multiple of 13?
False
Let g = 7 + -4. Suppose 5*v - 22 = -3*s - 0*s, -2*v + 16 = g*s. Suppose a = -a + d + 135, 3*a = v*d + 201. Is 17 a factor of a?
False
Let t be (76/(-10))/((-2)/10). Suppose -4*p + 54 = -t. Suppose 3*l - 13 - p = 0. Is l a multiple of 4?
True
Let x be ((-3)/2)/(48/(-160)). Suppose 3*n - 6*n = r - 378, x*r + 630 = 5*n. Is n a multiple of 14?
True
Let j = 60 + 49. Let c = j - 37. Is 24 a factor of c?
True
Let s be (232 + -1)*(5 - 2 - 4). Let v = s + 414. Is v a multiple of 12?
False
Let t = -11 + 11. Let f(n) = n**2 - 2*n**2 + 12 - 3. Is f(t) a multiple of 2?
False
Suppose -4*o = b - 489, 41 - 287 = -2*o - 2*b. Suppose -8*y + o + 198 = 0. Does 8 divide y?
True
Let l be (60/(-9))/((-2)/(-12)). Let j(s) = s**2 + 15*s + 22. Let m be j(-4). Let c = m - l. Is c a multiple of 9?
True
Suppose 4*i - 5*r = 12, 17*r - 21*r - 24 = 4*i. Let d be (1/2)/((-2)/4). Is 12 a factor of 15 + d*(i - -1)?
False
Does 63 divide 21/(-4)*(-10*11 - -2)?
True
Suppose 5*q = 3 - 8. Let u be (7 - 4) + (-42)/q. Suppose 5*b - u + 10 = 0. Does 2 divide b?
False
Let x be (7 - -5)*5*(-4)/(-30). Suppose -776 = -0*w - x*w. Is w a multiple of 5?
False
Suppose 5*p + 0*p = -50. Let h = p - -16. Suppose -h*r + 38 = -10. Does 8 divide r?
True
Let p = -15 - -15. Suppose 3 = s - p. Suppose 5*b = -i + 32, -s*b - 30 = -5*i - 2*b. Is i a multiple of 2?
False
Suppose -7*i + 13*i - 24 = 0. Suppose i*l = 4*n - 320, 5*l = -3*n - 21 + 301. Is n a multiple of 40?
False
Suppose 3*z - 12 = 6*z. Let m(v) = -51*v - 5. Let h be m(z). Suppose 0*n - d - 202 = -5*n, -5*n + 2*d = -h. Is 32 a factor of n?
False
Suppose 0*q = 22*q - 198. Is q a multiple of 2?
False
Let y = -9 + 18. Suppose 3*m + y = 231. Does 37 divide m?
True
Let h = -362 - -722. Is 60 a factor of h?
True
Let b(m) be the second derivative of m**5/20 + 17*m**4/12 + 5*m**3/2 + 2*m**2 + 3*m - 8. Does 12 divide b(-16)?
False
Let b(u) be the third derivative of 0 + 7*u**2 + 1/15*u**5 - 1/6*u**3 - 1/6*u**4 + 0*u. Does 5 divide b(3)?
False
Let y(c) = -c**2 - 15*c - 45. Let f be y(-10). Suppose -2*l + f*d = -l - 43, 4*l - 2*d = 190. Does 7 divide l?
False
Suppose -v = 4*v - 3*k - 23, 0 = -k + 4. Let i(u) = -v - 58*u + 14*u + 5. Is 31 a factor of i(-1)?
False
Suppose 0 = 22*z - 26*z - 244. Let o = z - -89. Is 14 a factor of o?
True
Suppose 7*c - 2127 = -0*c - o, 0 = c - 5*o - 309. Is 4 a factor of c?
True
Let j = -453 - -769. Is 8 a factor of j?
False
Suppose -4 = -b - 4. Suppose z - 131 - 64 = b. Does 11 divide z?
False
Let q = 133 - 41. Is q a multiple of 4?
True
Suppose 4*l = 5*h + 1579, -5*l - h + 1654 = -356. Is l a multiple of 10?
False
Let v = -312 - -321. Is v a multiple of 3?
True
Let l = 14 + -11. Suppose -l*t + 380 = 2*t. Suppose -m + 0*d = 3*d - t, 0 = -4*d. Is 16 a factor of m?
False
Suppose -11 = -5*g + 14. Suppose -6*m + g*m = -104. Is m a multiple of 24?
False
Let u = -12 - -8. Suppose -p - 4*g = 1 - 37, -g = -2*p + 27. Is (p/(-6))/u*42 a multiple of 14?
True
Suppose -6*x + 3*x - 6 = 0. Let z = 1 - x. Suppose 14 + 13 = z*u. Does 9 divide u?
True
Let r(s) = -s**3 + 6*s**2 + 8*s - 9. Let m be r(7). Let v(d) = -6*d**2 - 2*d. Let w be v(m). Let j = w + 72. Is 11 a factor of j?
False
Let v(l) = l - 13. Let b be v(10). Suppose -38 = -2*j + 4*j. Let a = b - j. Does 7 divide a?
False
Let g(p) = -18*p**3 + 6*p**2 - 8. Let v = -35 - -31. Let z be g(v). Does 37 divide 2*2 - z/(-10)?
False
Let i(v) be the first derivative of -3*v**2/2 + 11*v + 1. Let n be 0*(-4)/(-9 - -1). Does 11 divide i(n)?
True
Suppose 5*m - 2*r = 2*m - 5, -4*m - 5*r + 24 = 0. Let z be (85 - -1) + -4 + m. Let p = -38 + z. Is 17 a factor of p?
False
Does 2 divide 42 + -45 + (-16)/(-1)*4?
False
Let k(t) be the third derivative of t**5/60 - t**4/8 + 13*t**3/6 - 5*t**2. Let w be k(15). Suppose -6*y + 4*z = -2*y - 252, -z - w = -3*y. Is 13 a factor of y?
True
Let o = -14 - -26. Suppose 0 = -f - 5, o = 3*h + h - 4*f. Let v = h + 14. Is 12 a factor of v?
True
Let b(c) = c**2 - 8*c - 4. Let p be b(10). Let j = p + -12. Suppose 0 = 8*g - j*g - 156. Is g a multiple of 11?
False
Suppose