 67?
True
Let f = 151 - 10. Let d be (-20)/(-24) + -1 - (-110)/12. Is 6 a factor of f/d + (-4)/6?
False
Suppose 3308 = 10*s - 842. Let c = s - 175. Is c a multiple of 15?
True
Let a(i) = i + 19. Let s(n) = -n**2 - 16*n. Let c be s(-16). Suppose 5*t + 34 = -0*t + 4*b, 2*t - 5*b = c. Is a(t) even?
False
Let n = 1612 - 1038. Is 21 a factor of n?
False
Let b be 1 - -148 - (-7 - -9). Suppose -2*j + m + b = 55, -2*m - 137 = -3*j. Suppose 5*k = 3*a + j, -7*a - 13 = k - 2*a. Is 2 a factor of k?
False
Let h = 1659 - 587. Does 67 divide h?
True
Let b(k) = -k - 4*k**2 + 0*k**2 + 4*k**2 + 118*k**3. Does 13 divide b(1)?
True
Let y(i) = 16*i**2 + 72*i - 10. Is y(-12) a multiple of 11?
True
Let z = -707 - -1199. Is 41 a factor of z?
True
Suppose 2250 = -25*u + 50*u. Is u a multiple of 2?
True
Suppose -39*q = -62*q + 67229. Is q a multiple of 79?
True
Does 5 divide (-1)/3*5379/(-163)?
False
Let i = -12 + -16. Is 1*7/(i/(-312)) a multiple of 26?
True
Suppose -31*j + 18067 = -24*j. Does 89 divide j?
True
Let r be (1 + 8)/(-1) + 3. Let z = r - -29. Suppose z = w + v - 0*v, 5*v - 31 = -2*w. Is w a multiple of 14?
True
Let n be (-7 - -4)*(-257 - -2). Suppose -16*c = -c - n. Does 17 divide c?
True
Suppose -4*m + 76 = 4*s, -49 = -3*s + 2*s + 5*m. Is 6 a factor of s?
True
Suppose 3*n = -5*x - 2 + 13, n - 1 = -x. Suppose x*b = -0*b. Let q = 9 - b. Does 8 divide q?
False
Let r = -4 - 11. Let q be r/3 - (-15)/5. Does 13 divide (14/(-5))/(q/30)?
False
Let m(y) be the first derivative of 4*y**3/3 - y**2 + y + 6. Let z(j) be the first derivative of m(j). Does 7 divide z(2)?
True
Suppose -3*v - 4*m = -5, -5*v + 29 = -2*m + 12. Suppose -4*h + v + 13 = 0. Is h a multiple of 4?
True
Let p(w) = 6*w. Let r be p(2). Suppose 165 = -7*q + r*q. Does 33 divide q?
True
Does 63 divide (37/(2331/108))/((-4)/(-1106))?
False
Does 75 divide 666 + 24*39/104?
True
Suppose 0 = -5*s + 4*d + 8434, 4*s - d - 542 - 6203 = 0. Is s a multiple of 41?
False
Let t(p) = 45*p**2 - 54*p + 207. Does 36 divide t(4)?
False
Let t = 81 - 105. Let i = t + 46. Is 22 a factor of i?
True
Is (-97 + 11)*(-21 + 3 + 0) a multiple of 86?
True
Let k = -113 - -130. Let j(w) = 5*w. Let v be j(-1). Let g = v + k. Is g a multiple of 7?
False
Let y(l) = -l**3 + 9*l**2 - 10*l + 15. Let t be y(7). Suppose -x + t = 4*w, -3*x + 2*w + w + 144 = 0. Does 11 divide x?
False
Let o = -29 - -193. Suppose -4*l = f - 353, -2*l + 2*f + 0*f + o = 0. Does 29 divide l?
True
Suppose 0 = 3*p + 2*q - 253, -3*q + q - 172 = -2*p. Is p a multiple of 7?
False
Suppose -4*i + 4*n = -0*n - 32, -4*i + n + 20 = 0. Let a = 182 - 177. Suppose 253 = 3*r + r - 3*h, 243 = i*r - a*h. Does 12 divide r?
False
Does 20 divide (-712)/7*((-432)/32 + 10)?
False
Let v(t) = 111*t - 6. Let x be v(-3). Is 22 a factor of x/(-4) - (-33)/(-44)?
False
Let f(s) = -s**2 - 7*s - 5. Let d(y) = y**2 + 5*y + 2. Let w = 14 - 17. Let x be d(w). Does 4 divide f(x)?
False
Suppose 4*i - i + 45 = 0. Let h be i + 12 - -1*5. Suppose 3*p + 3*y = 126, -4*p + p + 106 = -h*y. Is 17 a factor of p?
False
Suppose 73 = 5*n - 32. Suppose 93 = 2*w - n. Does 5 divide w?
False
Suppose 6*u + 175 = -389. Is 3 a factor of 6/(-27) - u/18?
False
Let b(k) = -k + 2. Let w be b(0). Suppose -4*c - 18 = w. Is 258/15 - (-1)/c a multiple of 15?
False
Let i(v) be the third derivative of v**5/60 + v**4/24 - 2*v**3/3 + 15*v**2. Is 9 a factor of i(5)?
False
Let g = 894 + 335. Does 62 divide g?
False
Let t = 591 + -407. Suppose 0 = -5*d + 3*s + t, -28 = 4*d + 5*s - 153. Suppose 0 = 5*l - d - 215. Does 9 divide l?
False
Suppose 2*b - 3*b = 0. Suppose 0 = -3*g + 2*y, 4*y = -b*g - g + 14. Let c(l) = 8*l**3 + 3*l - 1. Does 15 divide c(g)?
False
Suppose -63 = -4*i + 57. Let a = 41 - i. Is a a multiple of 11?
True
Suppose -i + 0*i = 3. Is -2*i*84/8 a multiple of 18?
False
Let a(l) = -l + 4. Let v be a(0). Let g be (-10)/v*60/50. Is 13 a factor of -3*(2 - -37)/g?
True
Let r(o) = -o**3 - 6*o**2 + o - 8. Let d be r(-6). Let h = 6 - d. Suppose j + 86 = 3*a, 3*j + 98 = 4*a - h. Is a a multiple of 14?
True
Let q(d) = 4*d + 2. Let n(h) = 12*h + 5. Let j(f) = 3*n(f) - 8*q(f). Let l be j(1). Suppose m - b - 74 = 0, -l*m + 5*b = -0*b - 224. Is 24 a factor of m?
False
Let g = -14 - -13. Does 15 divide (-56)/(-2) + (3 - g)?
False
Suppose -11306 = -30*m - 2066. Is 22 a factor of m?
True
Let f(q) = 407*q**2 + 3*q - 15. Does 13 divide f(2)?
False
Let w be (-31 + 1)*9/(-6). Suppose 19 = 2*s - w. Is 20 a factor of (5/(-4))/((-2)/s)?
True
Suppose -4*r + 3*q = -11322, 26*q - 27*q = -2. Is 16 a factor of r?
True
Let s be (-99)/15 + 6 - 287/5. Let z = 10 - s. Does 4 divide z?
True
Suppose 0 = 3*h - 941 + 377. Suppose -3*p + 5*u + h = -47, 5*p - 2*u - 360 = 0. Is p a multiple of 15?
False
Let s(o) = -10*o + 12. Let d be s(-7). Let v be d*((-3)/2 - -2). Suppose 3*h - 3*z = -14 + v, -21 = -2*h + 3*z. Is h even?
True
Let d(i) = 2*i**2 + i + 1. Let s be d(-3). Let u(a) = 15*a - 1. Let z be u(2). Let r = s + z. Is r a multiple of 15?
True
Let r be 204/9*(-27)/(-2). Let w = 441 - r. Does 39 divide w?
False
Suppose -5*j + 4*z = -741, -4*z = -5*j + 2*j + 443. Suppose -501 - j = -5*u. Does 26 divide u?
True
Suppose -2*u - 13 + 169 = 0. Does 13 divide u?
True
Suppose -2*y + 140 = -4*k, 4*y - 4*k - 359 = -87. Suppose -18 = -4*d + 2*i, 5*d = 2*i - 6*i - 10. Suppose -d*t + y = -36. Is t a multiple of 17?
True
Let h = 1689 + -820. Is h a multiple of 11?
True
Let t = -31 - -27. Let b(z) = -3*z**3 + z**2 + 5*z + 1. Let m be b(t). Let c = -71 + m. Does 25 divide c?
False
Let y(c) = -c**3 - c**2 + 50. Suppose 5*m = 5*t + 20, 4*m - 16 = -3*t - 0*m. Suppose -4*s = -t*s. Does 25 divide y(s)?
True
Let n(m) = 8*m**2 + 3*m - 6. Is 3 a factor of n(2)?
False
Let a(c) = -c**2 - 16*c - 30. Let h be a(-12). Suppose -s + 15 = 2*s. Suppose -27 = -s*m + h. Does 9 divide m?
True
Let v = 23 - -3. Let d be (-4)/(8/6)*(-27 - -14). Suppose d = 5*l - v. Is l a multiple of 13?
True
Suppose 8*z - 6242 + 274 = 0. Is 21 a factor of z?
False
Is 24 a factor of (207*2/6)/((-3)/(-44))?
False
Let q(f) be the first derivative of -f**4/4 + 2*f**3 + 9*f**2/2 + 9*f + 1. Let m be 2*5/(-10)*(-8 + 1). Is q(m) a multiple of 8?
False
Let g(u) = u**3 + 9*u**2 - 21*u - 10. Is 11 a factor of g(-8)?
False
Let b be (1 - (-22)/(-18)) + (-40)/(-18). Let f(u) = u**3 + 4*u**2 - 5*u + 2. Let p be f(-5). Suppose -b = -a + p. Is 3 a factor of a?
False
Let g(l) = 2*l + 8. Let i be g(-3). Suppose -3*q - 677 = 4*k + i*q, 5*q - 790 = 5*k. Let o = -106 - k. Does 23 divide o?
False
Suppose 2*t - 3*y = 3, -3*t + 2*y + 13 - 1 = 0. Let u = t + -9. Is (6 - u)*12/9 a multiple of 12?
True
Let i(t) = 20*t + 14. Let u be i(5). Let d = u - 6. Let s = d - 43. Is s a multiple of 25?
False
Let j(a) = 8 - 5 - 14 + a. Is 2 a factor of j(13)?
True
Suppose 10*h = 5*h, -3*q + 3060 = 3*h. Is 20 a factor of q?
True
Suppose -3*r - 8*y = -4*y - 5307, -2*r + 4*y = -3538. Does 21 divide r?
False
Let z(c) = -56*c - 55. Is z(-17) a multiple of 24?
False
Suppose -6*j - 173 = 61. Let f = j - -159. Is f a multiple of 8?
True
Let j = 1 + 1. Suppose -j*a + 54 = a. Is ((-2)/(-1))/(1/a) a multiple of 21?
False
Is 63 a factor of 18/144 - (-42165)/24 - -2?
False
Suppose 4*m - 153 = -5*p, -7*p + 3*p = 12. Is m a multiple of 14?
True
Let n = 5 - 15. Let l(c) = -c**2 - 15*c + 2. Let g be l(n). Let q = -17 + g. Is q a multiple of 15?
False
Suppose -56 = -3*r + r + 3*p, -8 = 4*p. Does 6 divide r?
False
Let s(r) = 13*r**2 - 14*r - 22. Let u be s(-3). Let z = u - 89. Does 36 divide z?
False
Let f = -1827 - -2015. Is f a multiple of 21?
False
Suppose 106*q - 28350 = 79*q. Is 21 a factor of q?
True
Let b(a) = a + 11. Let j be b(-8). Let f(v) = v**3 - v**2 - 2*v - 2. Let h be f(j). Let t(g) = -g**3 + 12*g**2 - 15*g + 14. Is 9 a factor of t(h)?
False
Let w be 5*((-9)/(-3))/3. Suppose -5*s + 15 = 0, -30 = -3*l - 4*s - s. Suppose l*o - w = 10. Does 2 divide o?
False
Suppose -o + 6*o - 165 = 0. Let z = 125 - 99. Let k = o - z. Does 6 divide k?
False
Suppose 2*c = -5*c + 7301. Suppose -v = 6*v - c. Does 26 divide v?
False
Let t(q) = 96*q**2 + 24*q + 58. Is t(-3) a multiple of 26?
False
Suppose 21*b - 19*b = 4. Suppose 4*s = -8, 0 = -b*v + s + 3*s + 40. Does 3 divide -1 + 3 + -8 + v?
False
Suppose -4*x + 4*g - 56 = -0, -5*x - 4*g - 70 = 0. Let q = x + 30. Sup