 of 4?
True
Let c(d) = -2*d**2 + 2*d + 1. Let r(z) = -z**2 + 1. Let s(o) = c(o) - 6*r(o). Does 10 divide s(4)?
False
Suppose -5*m - 5*h + 760 = 0, 3*h = -12 + 18. Is 14 a factor of m?
False
Suppose 0 = 6*l - 34 - 74. Let b = 35 - l. Does 10 divide b?
False
Suppose 5*o + 3*r - 496 - 27 = 0, 309 = 3*o - 3*r. Suppose 0 = 5*z + 4*x - 1046, z = 2*x + o + 108. Is 14 a factor of z?
True
Let c(r) = -6*r - 12. Let x(s) = 3*s**2 - 2*s - 2. Let z be x(2). Suppose -4*i - 28 = -2*w + z*w, 0 = -4*w + 3*i - 35. Is c(w) a multiple of 33?
False
Suppose -2*s = 3*d - 6*d - 3, 0 = -4*s - 5*d - 5. Let m be ((-5)/1 + s)/(-1). Suppose m*a + r - 245 = 2*r, 0 = 5*r. Is 27 a factor of a?
False
Let p = 5135 + -3235. Does 12 divide p?
False
Let c be 199 - (7/(-14))/(1/(-2)). Suppose -2*j + c = 3*l, 5*l + 242 - 28 = 2*j. Is j a multiple of 21?
False
Let n(u) = 11*u**2 - 12*u - 30. Is n(-8) a multiple of 13?
False
Suppose m + 25 = 6*m. Suppose m*z + v = -87, 4*z = -4*v + 2*v - 66. Let a = 33 + z. Is 5 a factor of a?
True
Suppose -24 = -4*u + 44. Let x = u - 15. Does 19 divide (x - (-3 - 33))*1?
True
Suppose 20*o = 17*o + 645. Does 43 divide o?
True
Let u(w) = -3*w - 14. Let c be u(-6). Suppose 0 = c*m - 3*s - 210 - 56, 2 = -s. Does 13 divide m?
True
Let k(a) = a**3 - 2*a**2 + a + 3. Let i be k(2). Suppose 35 = i*p - 55. Does 6 divide p?
True
Let i = -15 - -13. Let k be (i/6)/(2/(-18)). Suppose -4*h = b - 13, 0 = -3*b + k*h + 12 - 3. Does 5 divide b?
True
Suppose -4*s + 5 = -k, 4*s + 1 = 2*k + k. Let p = k + 21. Does 8 divide p?
True
Let d(g) = -g**3. Let h(u) = 4*u**3 + 9*u**2 - 14*u + 8. Let r(y) = -3*d(y) - h(y). Is 47 a factor of r(-12)?
False
Let n(s) = -23*s**3 + s**2 - s - 1. Let k be 1/(((-2)/(-1))/(-2)). Is 8 a factor of n(k)?
True
Suppose 0 = 10*f - 990 + 190. Is f a multiple of 16?
True
Let m = -345 + 393. Does 3 divide m?
True
Let f(l) = -19*l - 41. Let k be f(-9). Let y = -47 + k. Is 7 a factor of y?
False
Let x be (-2)/3 - (-190)/6. Suppose 0 = -14*i + 308 + 266. Let s = i - x. Is 10 a factor of s?
True
Let f(v) be the third derivative of -13*v**6/20 + v**5/30 - v**3/6 + 3*v**2 - 1. Let i(o) = -o + 4. Let h be i(5). Does 16 divide f(h)?
False
Let l(b) = 14*b + 8. Let h be l(-7). Let c = -42 - h. Is 12 a factor of c?
True
Suppose 36*x - 21*x - 7215 = 0. Is 13 a factor of x?
True
Suppose 3*i = 8 - 62. Let b = -18 - i. Suppose -w = b, -w + 44 = 4*f - 6*w. Is 11 a factor of f?
True
Does 9 divide ((-4)/6)/((-6)/11826)?
True
Suppose 5*j + 8 = 18. Let m be 37 - ((-6)/3 + j). Suppose -3*p + 4*d = -m, -4*p - 4*d = -3*p - 23. Is p a multiple of 4?
False
Let k(q) = 58*q - 207. Does 7 divide k(17)?
False
Suppose -12*g + 14*g = 112. Is 12 a factor of g?
False
Let m(q) = -71*q + 3420. Is m(0) a multiple of 15?
True
Let c(z) be the second derivative of 5*z**3/6 - z**2/2 - 2*z. Let m be c(-1). Is (m/6)/(1/(-19)) a multiple of 4?
False
Is 35 a factor of -140*(3/(-6) - 0)*2?
True
Does 25 divide (4 - 0) + 1851 + (5 - 12)?
False
Let p(g) = -1 + 5*g - g**2 - 2*g**3 - 5*g - g**3. Is 4 a factor of p(-2)?
False
Is 13 a factor of ((-96)/18 - -6)*468?
True
Suppose -g - 2*y = -269, -4*y + 466 = -3*g + 1263. Does 51 divide g?
False
Suppose 0 = 4*k - 3*k - 2. Let c be (-1)/(k/2) + -56. Let o = c + 143. Is 24 a factor of o?
False
Suppose 12 = 2*n + 2*n, 4*i - 4*n + 24 = 0. Let x be (-5 - (-6 + 3)) + i. Is (52/x)/((-3)/15) a multiple of 13?
True
Let x(a) = -49*a**3 + a**2 + 2*a - 2. Let q be x(1). Is (-221)/(-7) + q/(-112) a multiple of 16?
True
Let m(u) = u**3 + 10*u**2 + 9*u. Let i be m(-9). Suppose -k + i*k = 2*w - 106, 0 = -2*k + w + 227. Is k a multiple of 12?
False
Suppose -4*m + 3*x - 3 = -0*x, 5*x - 5 = 3*m. Suppose m = 5*g + 3*o - 4*o - 439, 0 = 2*g - 5*o - 171. Is g a multiple of 11?
True
Let f be 185/65 + (-6)/(-39). Suppose 8*z - f*z = 200. Is z a multiple of 10?
True
Let p = 5 + 121. Suppose g + g = p. Suppose g - 15 = 6*i. Is 5 a factor of i?
False
Let o = 807 + 2457. Does 68 divide o?
True
Let u(t) = -t**2 + t + 5. Let p be u(0). Suppose -p*v - 159 = -3*q, 0*v - 4*v = 0. Does 12 divide q?
False
Suppose a - 4*i = -0*a + 16, a = -2*i - 14. Let k be (12/(-16))/3 + 3/(-4). Does 11 divide (-19)/(3/(a - k))?
False
Let i be 11/6 - 4/(-24). Let s be -4*(1 + (-3)/i). Suppose -5*d = 5*m - 205, s*m + 33 - 117 = -3*d. Is m a multiple of 22?
False
Let o = 3385 + -1705. Does 45 divide o?
False
Suppose 3*p - 2*c = 9, 0 + 9 = 3*p + 4*c. Suppose 6*b + 6 = p*b. Is b - (-3 - 0) - -43 a multiple of 11?
True
Does 11 divide (-5)/(-3) - (-34)/102 - -63?
False
Let t = 36 + -74. Let w be 10/(-15) - t/3. Suppose -2*n + w = -16. Does 5 divide n?
False
Let g be 4/(((-24)/148)/(-3)). Suppose -7 = -l + 9. Suppose -g = -2*r - l. Is 13 a factor of r?
False
Suppose 0 = 2*n - 5*l - 759, -3*n + 73*l = 72*l - 1132. Is 3 a factor of n?
False
Let l = -6 + 6. Suppose l = -2*o + 2*j - 4*j - 458, -4*o - 3*j = 911. Is 11 a factor of o/(-10) - (-2)/(-5)?
True
Let k(j) be the third derivative of -5*j**4/3 + j**3 + 2*j**2. Let i be k(3). Let t = -81 - i. Does 11 divide t?
True
Let b(k) = k**2 - 6*k - 1. Let z be b(7). Suppose 2*v - z*v - 4 = 0. Is 19 a factor of (-18 - -16)*(-20 - v)?
True
Let f(j) = 14*j**2 + 22*j - 25. Is f(11) a multiple of 10?
False
Let m(v) = 48*v - 274. Is m(23) a multiple of 15?
False
Let v(f) = -f - 4. Let d be v(-7). Suppose -4*j = 2*l - 46 - 74, 2*j - 76 = 3*l. Suppose d*r + j = 164. Is 17 a factor of r?
False
Suppose 0 = 634*c - 627*c - 2611. Is c a multiple of 4?
False
Let u be 5*((-63)/(-15) + -3). Suppose u = -s + 4*s. Suppose -s*y + 3 = -17. Is 6 a factor of y?
False
Let x be (-13)/(-65) + (-4)/(-5). Let b(y) = -48*y + 2. Let j be b(x). Let a = j - -112. Is 22 a factor of a?
True
Does 11 divide (-9)/(-6) + 1226/4?
True
Let g = -1320 + 1492. Is g a multiple of 43?
True
Let u(a) = -2*a + 15. Let f be u(6). Let q(x) = f*x + 5*x + x + 7*x + 9. Is 13 a factor of q(4)?
False
Suppose -11*g + 2598 = -1560. Does 18 divide g?
True
Suppose -5*a + 10*a = 3*m + 10, 2*m = a + 5. Suppose -4*j - l + 2 = -m*j, j + 5*l = 10. Suppose j = h + 3*h - 208. Is 13 a factor of h?
True
Let c = 240 - 54. Let o = -21 + c. Is o a multiple of 33?
True
Let x be ((-10)/(-8))/((-6)/(-24)). Suppose x*c = 0, 5*k - 2*c - 25 = c. Suppose -w = k*j + 67 - 259, -3*j + 5*w = -132. Does 11 divide j?
False
Suppose -1 = -t - 2*w + 8, 0 = -5*t - 4*w + 33. Suppose 0 = 2*u + 5*g + 13, -t*u - 2*g + 5 + 15 = 0. Is 19 a factor of 38 - 0/(u/2)?
True
Suppose 2*h - 2*s = -22 - 16, -5*s - 33 = 3*h. Let q(g) = 2*g + 19. Let w be q(h). Is w/((-3)/(0 + 6)) a multiple of 13?
True
Suppose 4*n - 11 + 42 = 3*c, -48 = -5*c + 3*n. Suppose -c*s - 12 = -5*s. Is 84/18*s/(-2) a multiple of 2?
False
Let m be (0/1)/(-2 - -4 - 0). Suppose -3*x - 4*r + 443 = 0, 6*x - 2*x + r - 582 = m. Is x a multiple of 10?
False
Let s be (9/(-6) - -1)*(-13 - 1). Let m = s - -122. Is m a multiple of 43?
True
Let i(p) = -4*p + 10*p**2 - 4*p - 10 - 2 + 2*p + p**3. Is 4 a factor of i(-10)?
True
Let u(t) = -t + 7. Let n(p) = 2*p - 7. Let v(d) = 2*n(d) + 3*u(d). Let k be v(4). Let z = k + 6. Does 8 divide z?
False
Let r(m) = -110*m - 3. Let d(q) = -q**2 + 5*q - 2. Let i be d(5). Let g be ((-20)/(-60))/(i/6). Is r(g) a multiple of 31?
False
Let z be ((-120)/(-30))/((-2)/(-81)). Suppose 53*p = 54*p - z. Is p a multiple of 54?
True
Suppose 3*h = -c + 237, 10 - 4 = -2*c. Suppose -h - 10 = -3*t + f, 0 = 2*t - 5*f - 60. Is t even?
True
Let r(g) be the first derivative of 3*g**5/10 - g**4/12 + g**2/2 - 4*g - 4. Let v(p) be the first derivative of r(p). Is v(2) a multiple of 20?
False
Let d = -182 + 806. Is d a multiple of 12?
True
Suppose 2*d - 40 = b - 0*b, -38 = -d + 5*b. Suppose 119 = -d*h + 2909. Is 13 a factor of h?
False
Let h be (-4)/(-2 - -3 - 4)*3. Suppose 5*i = 4*q + 656, 665 = 5*i + q + h*q. Is 22 a factor of i?
True
Let t = 1120 + -1111. Let b(v) = 17*v**2 - 10 - 4*v**3 - 6*v**2 - 12*v + 3*v**3. Does 11 divide b(t)?
True
Is 25 a factor of 136524/84 + 4 - 4/14?
False
Let r = 9 - -6. Let o be -2*5*6/r. Let x = 13 - o. Is x a multiple of 13?
False
Suppose b = 4*z - 23, 0 = -5*b + 7*b + 6. Suppose -m = 5*n + 3, -m + z = 3*n + 2. Is m a multiple of 2?
True
Is (-543)/(-2) + (3 + -1)/4 a multiple of 17?
True
Let z = -422 + 508. Is 8 a factor of z?
False
Let p = 11 - 6. Let h =