f 20?
True
Suppose -6*v + 17152 = -7*v + 9*v. Does 9 divide v?
False
Let s = 154 + -148. Is (3 - 285)/(-4 + (s - 4)) a multiple of 13?
False
Suppose -o + 5*v - 2 = -3*o, 2*v - 20 = -4*o. Let i(w) be the third derivative of 5*w**4/12 + w**3 + 17*w**2. Does 11 divide i(o)?
True
Suppose 0 = 4*t - x - 21246, 15945 = 3*t - 55*x + 56*x. Is t a multiple of 26?
False
Let o(n) = 100*n**3 - 8*n - 99*n**3 - 5*n + 5*n + 11*n**2. Is o(-7) a multiple of 13?
False
Let u(g) = 2*g - 18. Let f be u(13). Suppose -f*h = -19*h + 814. Is h a multiple of 5?
False
Suppose 0*a + 13104 = 14*a. Is a a multiple of 6?
True
Let h(m) = -37351*m - 90. Is 76 a factor of h(-1)?
False
Suppose -120*y = -155*y + 24185. Does 32 divide y?
False
Suppose 4*s - 10895 = 5*f, 0*f = -s + 5*f + 2735. Does 16 divide s?
True
Is 19 a factor of (-296)/(-222) + (-70144)/(-6)?
False
Suppose 4*r = -4*l + 28580, 4*r + 1709 = -2*l + 16009. Is l a multiple of 102?
True
Suppose 3*k - k = -2. Does 54 divide 419/(-5)*(-15)/(-3)*k?
False
Is 228 a factor of (-52)/((6/104)/(93/(-62)))?
False
Let c(v) be the third derivative of 983*v**5/60 - 5*v**4/24 + v**3/2 - 71*v**2 - v. Does 14 divide c(1)?
False
Let j(n) = -5*n - 8. Let t be j(-2). Suppose 0 = -i - t, 6*r - 3*r - i + 130 = 0. Is 9 a factor of r/(-2) + 1 + -5?
True
Suppose 0 = -11*q - 26529 - 42529. Does 64 divide (-11)/(-110) - q/20?
False
Suppose -6467 - 10957 = -12*c. Does 6 divide c?
True
Let s(f) = 2*f**3 - 58*f**2 + 418*f + 35. Is 2 a factor of s(16)?
False
Suppose 0 = 71*m - 69*m - 16. Let p be (-3 - 23/(-8)) + 65/m. Suppose p*i - 1846 - 554 = 0. Is 50 a factor of i?
True
Let q(o) = 53*o - 318. Let f be q(6). Suppose 5*t + 2*x - 1312 = f, 4*t = -4*x - 0*x + 1040. Is t a multiple of 44?
True
Let j = 3652 + 3119. Does 27 divide j?
False
Let h be (-40)/(2/(-8) - 1445/(-6324)). Suppose z - 359 = -3*v, -v + 3*v - h = -5*z. Does 19 divide z?
False
Let s = -10139 + 11856. Is 37 a factor of s?
False
Let a(j) = 16*j**2 - 4*j - 3. Suppose -48*h = -53*h + 35. Let d be (0 - 0) + h/21*9. Does 28 divide a(d)?
False
Suppose 85*r - 80*r - 3*n = 88661, 0 = -5*n + 40. Is r a multiple of 97?
False
Let p = -196 - -304. Suppose -72 = -3*l + l + 2*d, 3*l - 4*d = p. Let m = l + 20. Does 7 divide m?
True
Let c = -957 + 1544. Let a = 63 + c. Suppose 6*b = b + a. Is 13 a factor of b?
True
Suppose 0 = 3*x + 3*l - 30, 5*l = -0*l + 20. Is x*((-4026)/4)/(-11) a multiple of 9?
True
Suppose -11*a + 48 = -7. Suppose -3*u = -2 - 4. Suppose 0 = -4*s + u*s - a*o + 666, 5*o = s - 363. Is s a multiple of 49?
True
Let d(k) = -2*k**2 - 4*k + 22. Let p(v) = v - 3. Let u(b) = -d(b) + 2*p(b). Is 37 a factor of u(8)?
True
Let r = -6490 - -6787. Does 3 divide r?
True
Let f(k) = -19 - 7*k + 5*k**3 - 6*k**3 - 4*k - 9*k**2. Let g be f(-8). Suppose -4*l - 80 = -2*d, -4*d + 3*d + 46 = -g*l. Does 10 divide d?
False
Suppose -91*d + 377807 + 4071589 = 70*d. Is 47 a factor of d?
True
Let f = 327 + 66. Let l = 633 - f. Is 5 a factor of l?
True
Let h be -1*18/(-8)*6800/255. Suppose h*g - 56*g - 1040 = 0. Is g a multiple of 26?
True
Let g(h) = 13 + 12*h + 10 - 8 - 3*h**2 + 20*h. Let u be g(11). Suppose 0 = -4*d - 5*x + 764, -u*d = x - 705 - 75. Is 49 a factor of d?
True
Let g(n) = 19*n - 48. Let z = 36 - 35. Suppose -q = z - 8. Does 27 divide g(q)?
False
Suppose 5*g = -0*g + 105. Let x = -23 + g. Is x + (54/2 - (-2 + 1)) a multiple of 8?
False
Let z = -334 + 999. Does 10 divide ((-4)/(-14) + -2)/((-10)/z)?
False
Let p(f) = -f**3 + 14*f**2 - 14*f - 31. Let t be p(13). Let j = 292 + t. Is 22 a factor of j?
False
Suppose -33 = -3*u - 9. Suppose -u*w = -5*w - 6. Suppose 2*z - a = 153, 0 = -w*z - 2*z - a + 303. Does 8 divide z?
False
Let z(a) be the second derivative of a**7/2520 - a**6/720 - 23*a**5/120 + 7*a**4/3 - 33*a. Let c(d) be the third derivative of z(d). Is 19 a factor of c(-12)?
True
Suppose -2*q = -2*v + 80, 124 = 18*v - 14*v + 5*q. Suppose -5*n = 20, 3*n - v = -2*r + 8. Is 14 a factor of r?
True
Let q(u) = -u - 6*u + 202 - 146. Suppose 7 = 4*x + 23, 0 = 4*z - 2*x - 8. Is 14 a factor of q(z)?
True
Let r(v) = 4672*v + 125. Is r(3) a multiple of 14?
False
Let r = 5311 + -678. Does 83 divide r?
False
Let x(z) be the third derivative of z**5/15 + z**4/12 + 2*z**3 + 18*z**2. Let m be x(-3). Does 23 divide (0 - 8/(-2)) + m?
True
Let x = -103 - -76. Let z be (-4 + x/(-6))/((-1)/(-12)). Suppose z*g = 715 + 119. Does 22 divide g?
False
Suppose -68*p - 111*p + 6839280 = -11*p. Is p a multiple of 118?
True
Suppose -2*c = -3*v + 27, 9*v - 8*v - 9 = 4*c. Suppose 3*d - 3*y - 645 = 0, -4*d - 1115 = -v*d - 3*y. Is 55 a factor of d?
True
Suppose 9*j = -4*l + 5*j - 248, 8 = 4*j. Let c = l + 121. Let m = 61 - c. Is 4 a factor of m?
True
Suppose 0 = -14*t + 12*t + 4. Let s be t/(-3) + (-182)/(-39). Suppose 102 = -2*x - q + 495, s*x = -q + 789. Is x a multiple of 25?
False
Let x(c) = -c**3 - 14*c**2 + 8*c - 33. Let r = -798 - -781. Does 7 divide x(r)?
False
Suppose -c + 5 - 3 = 0. Suppose 5*h - v = c*v - 250, 4*v = -4*h - 168. Let t = 100 + h. Is t a multiple of 14?
False
Let p(r) = -r**2 - 23*r - 86. Let l be p(-18). Suppose 0*b + 4*b - 4*m - 356 = 0, 0 = -4*b - l*m + 316. Is 4 a factor of b?
True
Let h(f) = 8*f - 27. Let q be h(10). Let x = q - 49. Suppose -5*a - z - 66 + 497 = 0, -x*a + 5*z = -339. Is 27 a factor of a?
False
Let x(a) = -5*a**3 - 2*a**2 - 14*a + 76. Let t be x(5). Let h = t - -1375. Does 26 divide h?
False
Is 91 a factor of (-272176)/32*(-2)/1 + -18 + 24?
True
Suppose 0 = -5*z - 11*q + 7*q + 67231, q = -2*z + 26896. Is 216 a factor of z?
False
Let h(d) be the first derivative of d**3/3 + 4*d**2 + 28*d + 6. Suppose 5*i - 2*x - 3*x + 10 = 0, 0 = -4*i - 4*x - 40. Is 2 a factor of h(i)?
True
Is 54 a factor of 42/(-189) - 3282466/(-99)?
True
Let t(b) be the third derivative of b**6/120 - b**5/60 - b**4/12 - b**3/2 + b**2. Let r(j) be the first derivative of t(j). Is r(-2) a multiple of 14?
True
Does 88 divide 10 + (0 + -64)*(-197 - 3)?
False
Suppose -63040 = -25*i + 135. Is 7 a factor of i?
True
Let g be -5 - (12 - (4 - 1)). Let w(d) = d**3 + 16*d**2 - 4*d + 22. Let o be w(g). Suppose -7*p + 300 = -o. Does 22 divide p?
True
Suppose 4*z + 2*m - 10 = 0, 0*m = -5*z + m + 23. Suppose 736 = 5*o - z*o - 5*q, -2*o = q - 1494. Is 36 a factor of o?
False
Let n(v) = -v**3 - 7*v**2 - 11*v - 25. Let a be n(-6). Suppose -a*d = 3*d - 536. Let k = 130 - d. Is 14 a factor of k?
False
Suppose 0 = -117*v + 183*v - 1456349 - 525235. Does 9 divide v?
True
Suppose 17*f = 39622 + 20065. Is 20 a factor of f?
False
Suppose 0 = 428*c - 129 - 148 + 8837. Let j = -4 + 1. Is (-23 - c)*11/j a multiple of 11?
True
Let p(k) = -34*k + 6. Let g(h) = -h - 11. Let f be g(-10). Let i be p(f). Let w = i + 5. Is w a multiple of 7?
False
Is 15 a factor of ((-30575)/20*1)/(18/(-72))?
False
Let b be ((-1384)/(-32))/(2*(-1)/(-8)). Suppose -b*f + 172*f + 132 = 0. Does 11 divide f?
True
Let s = 123 - 61. Let x = s - -19. Does 27 divide x?
True
Let o be 2 + 5/(-3) + 1558/123. Suppose -10*r = -o*r + 696. Does 28 divide r?
False
Let f be (7/((-63)/(-12)))/((-4)/(-6)). Is 3 + 1348/8 + (-3)/f a multiple of 5?
True
Let a = -492 + 495. Let v = 59 + -32. Let y = v + a. Is y a multiple of 10?
True
Suppose -95 = -7*f - 11. Suppose 0 = -11*j + f*j, 3*j = u - 86. Suppose -2*v + u = -18. Is 26 a factor of v?
True
Let h(p) = -11*p**3 + 8*p**2 + 2*p**2 - 4 + 12*p**3 + 6 + 7*p - 5. Suppose 4*j + 4*g = -40, -3*j + 2*g - 17 = 3. Does 21 divide h(j)?
False
Suppose 40588 = 2*w + 1276. Suppose -51*q = q - w. Is q a multiple of 27?
True
Suppose -l = 6*l + l. Let j(o) = 43*o + 6. Let w be j(3). Suppose -q + 6*z = 2*z - 43, l = -5*q + 4*z + w. Is 4 a factor of q?
False
Suppose 291*a - 257*a - 83844 = 0. Is 3 a factor of a?
True
Let b(q) = -q**3 + 7*q**2 - 7*q + 7. Let d be b(4). Let j = d - 16. Suppose -14*g + j*g + 330 = 0. Is g a multiple of 10?
True
Let o = 349 - -50. Let q = o - 190. Suppose 75 = 4*w - 3*n - q, -4*w = -5*n - 276. Does 8 divide w?
False
Let h be 9/(-24) - (-15)/40. Suppose h = 14*g - 3882 - 402. Is 18 a factor of g?
True
Suppose -35*x + 7102 + 52102 = 3*x. Does 19 divide x?
True
Let v(x) = x**3 + x**2 + x + 1. Let t = 75 + -79. Let f(d) = 6*d**3 - 2*d**2 + 19*d - 1. Let b(q) = t*v(q) + f(q). Is b(6) a multiple of 56?
False
Let h(a) = -a**3 +