
Suppose 0 = 2*l + 4*g - 1118, -l + 3*g - 208 + 762 = 0. Does 8 divide l?
False
Let g = -252 - -276. Is 6 a factor of g?
True
Let u be 75*-1*(-3)/9. Suppose 6*j + u = j, -3*m - 4*j = 230. Let y = 118 + m. Is y a multiple of 16?
True
Let a(d) = -d**3 - 8*d**2 - 7*d. Let z be a(-7). Let u = z + 2. Suppose 0*n - 10 = u*n, 4*b + 5*n = 11. Is b a multiple of 9?
True
Suppose 102*g - 122*g + 59100 = 0. Is 15 a factor of g?
True
Let h(w) = -7*w + 2. Let c be h(-4). Let d = -30 + c. Let u(k) = -k**2 - k + 71. Is u(d) a multiple of 10?
False
Let b(a) = 3*a**3 + 82*a**2 - 20*a - 87. Is 39 a factor of b(-26)?
False
Suppose -1578 = -4*a - 2*v, 0 = 2*a - 4*v - 170 - 634. Is 18 a factor of a?
True
Suppose 0 = -d + 118 + 80. Suppose -8*f = -82 - d. Is 7 a factor of f?
True
Suppose 3*l + 10 = f, 0*l - 58 = -4*f + 3*l. Let t = -10 + f. Does 3 divide t?
True
Suppose -y = 5*y - 18. Suppose -y*v - v = -80. Does 12 divide v?
False
Let n = 1507 - 871. Is n a multiple of 13?
False
Let d be ((-5)/15)/((-1)/(-111)). Let v = 98 + d. Is v a multiple of 27?
False
Suppose 0 = 3*k - 5*f - 1, 0*f = -k - 3*f + 5. Let h(t) be the first derivative of 20*t**3/3 - t**2/2 + t + 3. Does 22 divide h(k)?
False
Let p be 2 - (-90)/(-12)*(-34)/3. Suppose 33 + p = f. Does 12 divide f?
True
Let b be 1/(-4) + 21/4 + 4. Suppose b*q - 288 = 3*q. Is q a multiple of 5?
False
Suppose -7*r - 2*d + 440 = -3*r, -412 = -4*r + 5*d. Suppose 0 = -j + 5*j - r. Is 5 a factor of j?
False
Let q = -10 - -30. Suppose -7*f = -2*f - q. Suppose 90 = -b + f*b. Is b a multiple of 9?
False
Suppose 252 = 3*y + 2*u - u, -82 = -y - u. Suppose t - y = 20. Is t a multiple of 15?
True
Let o = -31 + 36. Suppose o*v - 36 = 149. Is v a multiple of 6?
False
Is 14 a factor of (-39)/(4/((-64)/6))?
False
Let w(h) = -h - 4. Let q be w(-4). Suppose q*b = -2*b + 6. Suppose -2*g - 105 = -b*s + 3*g, -2*s + g + 77 = 0. Is s a multiple of 27?
False
Suppose -n + c + 1835 = -2*c, -15 = -3*c. Is 14 a factor of 2/(-4) + n/20?
False
Is 25 a factor of -35 + 113 - (2 + -1 + 3)?
False
Let s be (-1225)/(-95) - 4/(-38). Let y(d) = d**2 - 14*d + 17. Is y(s) a multiple of 2?
True
Let j = 738 - 680. Is 58 a factor of j?
True
Is 3 + (-6)/(-18)*219 a multiple of 22?
False
Let r = 19 - 18. Suppose -7 = 4*l + r. Is l/6 + (-125)/(-15) a multiple of 2?
True
Let k be (-7)/(2/(-9 + 5)). Let y(i) = i**3 - 12*i**2 - 10*i - 40. Is 12 a factor of y(k)?
False
Suppose 0 = 3*n - 2*m + 12, 3*n + 3*m - 6*m = -9. Does 21 divide (-3484)/(-39) - 4/n?
False
Suppose -x + 62 = 4. Suppose -x*n = -60*n + 478. Does 13 divide n?
False
Let j = -11 + 9. Let y be (j + -1 - -3) + 6. Is 15 a factor of 7/((-105)/y)*-150?
True
Is (39/2)/(-6*2/(-216)) a multiple of 27?
True
Suppose 4*v + 4 = -4*i, -v + 9 = 3*i - 2*v. Suppose 2*x - 7 = i*o - 21, -4*x + 7 = o. Let r(f) = -f**3 + 8*f**2 - 5*f - 1. Is r(o) a multiple of 3?
False
Suppose -20 = 3*j - x, 0*j + 4*j = -4*x - 48. Let d = j + 19. Is 11 a factor of d?
True
Suppose -400 = 3*n - 8*n. Does 34 divide n?
False
Suppose -2*y = z - 130, 3*z + 388 = 5*y + 74. Let t = y + -4. Does 10 divide t?
True
Let i = -29 + 68. Suppose -3*g + 2*j + i = 0, 5*j + 37 = g + g. Does 2 divide g?
False
Let h(s) = 9*s + 176. Is 33 a factor of h(-10)?
False
Suppose -20*f - 17696 = -4*d - 18*f, -3*d = -f - 13273. Is 11 a factor of d?
False
Let i(j) = 6*j - 3. Let d be i(2). Let x = -10 + 3. Let p = x + d. Is p a multiple of 2?
True
Suppose -77 = r - 3*r - 3*k, r = 3*k + 61. Suppose l - r = 44. Is 15 a factor of l?
True
Let m = -5 - -5. Suppose m*q = 6*q - 66. Is 11 a factor of q?
True
Let l be -1 + 0 + 53 + -56. Let r(x) be the first derivative of x**4/4 + 2*x**3 - 3*x**2/2 + 4*x + 1. Is 12 a factor of r(l)?
True
Suppose 14*r + 10 = 12*r. Is -10*(2/r - 3) a multiple of 15?
False
Let v(q) = 3*q - 12. Let g(o) = o**2 + 15*o + 19. Let t be g(-14). Let f be v(t). Suppose 5*z - f*z = 230. Is z a multiple of 24?
False
Let o = 25 + 25. Is 3 a factor of o?
False
Let r(p) = p**3 + 4*p**2 - 4*p + 5. Let g be r(-5). Suppose g*v - 4*v = 0. Suppose v = -0*x - 2*x + 12. Is 3 a factor of x?
True
Let a(q) = -q**2 + 4*q - 5. Let t be a(4). Let d be (t - -2)/((-1)/11). Suppose 0 = -3*b - 2*s + d, 2*b - 2*s = -3*s + 23. Does 7 divide b?
False
Let d = -9 - -6. Let h(j) = -5*j**2 + 2*j - 1. Let t be h(2). Is 10 a factor of (t/d)/((-7)/(-42))?
False
Suppose -3*p + 13 = 5*a, a + 7 = 3*a + 3*p. Let r = a + 126. Does 32 divide r?
True
Suppose 15 = 3*p + 3. Suppose -p*u + 90 = -2*u. Is 15 a factor of u?
True
Let t(w) = 7*w**2 + 61*w. Is t(-21) a multiple of 43?
True
Suppose v - 2*r - 162 = 0, -5*v + 659 = -2*r - 175. Is 7 a factor of v?
True
Let g = 41 + -36. Suppose -5*y = 3*m - m - 39, -y - 165 = -g*m. Is m a multiple of 16?
True
Let v = -4 + -1. Let u be 8/(-20) - 292/v. Suppose 2*y + u = 4*y - 2*w, 2*w = y - 24. Is 7 a factor of y?
False
Suppose 0*j + 15 = 3*j. Suppose 12*b + j = 7*b. Does 12 divide (-34)/b + (5 - 3)?
True
Does 9 divide (-2)/(-6) + (-4530)/(-18)?
True
Let t = -20 + -265. Is 19 a factor of 2*(t/10)/(-1)?
True
Let w = -120 - -260. Is w a multiple of 28?
True
Suppose 13 = 2*v - 13. Suppose -4*q - 4 = 5*b - 14, 0 = -3*b - 6. Suppose q*h - 32 = v. Is h a multiple of 9?
True
Let j = 8 + 33. Let v be 2/2*(j + -2). Suppose 3*i = 4*s - 164, 3*s - 91 = 4*i + v. Does 17 divide s?
False
Let a(n) = -3*n**2 - 91*n - 168. Is a(-28) a multiple of 28?
True
Suppose -4*s + 945 = -575. Is s a multiple of 4?
True
Suppose 3*b - 192 = 2*b. Is 16 a factor of b?
True
Suppose -13015 - 28295 = -34*l. Does 22 divide l?
False
Let s(w) = 369*w + 74. Is 14 a factor of s(2)?
True
Suppose -2*q + 357 = -4*o - 9, 5*q - 923 = 2*o. Does 37 divide q?
True
Let l(d) = -7*d - 1. Let a be l(4). Let p = -26 - a. Suppose -4*j = -5*k + 138, k - 36 = -p*j + j. Is 10 a factor of k?
True
Is 11 a factor of 3/(15/1850) + (-1)/(-1)?
False
Is 37 a factor of (-1 - -4) + 1*256?
True
Is 10/2 - 246/(-24)*20 a multiple of 70?
True
Let w(y) be the third derivative of y**5/60 + y**4/12 + 44*y**3 - 13*y**2 - 2*y. Does 24 divide w(0)?
True
Let p(v) = -v**3 + 13*v**2 - 21*v + 3. Does 15 divide p(8)?
False
Let t = -46 + 36. Let m be 6/4*2/3. Is 11 a factor of 69*m + t + 6?
False
Suppose -14 = -2*c + 3*g, 2*c = -2*g - 11 + 5. Suppose 5*i = 15, 5*q + 25 = i + 2. Does 9 divide c/(4/q) + 44?
False
Is 4 a factor of (-7)/35*-25 + 143?
True
Let n = 13 - 13. Suppose -3*v + c + 559 = -n*v, -2 = -c. Is 30 a factor of v?
False
Suppose -4*y + 168 - 518 = -5*l, -244 = -4*l - 4*y. Is 6 a factor of l?
True
Let y = -4 + 6. Suppose -125 = y*o + 3*o. Let s = o + 73. Is 12 a factor of s?
True
Suppose 0 = -5*w + 4*q + 855 + 387, 0 = 5*w - 2*q - 1246. Is 23 a factor of w?
False
Let d = 107 - 102. Suppose 0 = -2*g - 4*a + 364, -d*g + 2*g + 546 = a. Is g a multiple of 26?
True
Let j(s) = s**2 - 2. Let r be j(-2). Suppose 0 = -3*z - r*z. Suppose z = 6*d - 2*d - 72. Is d a multiple of 4?
False
Let o(g) be the third derivative of -g**6/360 + 7*g**5/60 + g**4/2 + g**3 + 8*g**2. Let d(z) be the first derivative of o(z). Is 12 a factor of d(9)?
False
Suppose -2*i + 5*x = i - 24, -2*i - 5*x + 41 = 0. Let z(a) = 7*a + i - 8*a + 3 + 2*a. Does 10 divide z(4)?
True
Let d be (-40)/(-6) - (-6)/(-9). Let w(g) be the third derivative of -g**6/120 + 7*g**5/60 + g**4/12 + g**3/6 - g**2. Is w(d) a multiple of 10?
False
Let i(m) be the first derivative of -m**4/4 + 13*m**3/3 + 15*m**2/2 + 19*m - 1. Let l(o) = o**3 + 7*o**2 + 10*o + 14. Let k be l(-5). Does 11 divide i(k)?
True
Suppose 0 = 3*s - 2478 - 888. Suppose s = -3*p - 186. Is 22 a factor of 4/10 + p/(-10)?
True
Suppose -5*x + 3116 = -2*l, -40*x = -44*x - 2*l + 2482. Is 47 a factor of x?
False
Let w be (-9)/((-9)/2)*-13. Let p = w - -29. Suppose 0 = -7*i + p*i + 88. Is 17 a factor of i?
False
Suppose -53*h - 2408 = -57*h. Does 43 divide h?
True
Let f(s) = s**2 + 15*s + 3. Let h be f(-15). Suppose 3 = h*i + 6. Let w(q) = -29*q**3. Is w(i) a multiple of 10?
False
Let y(s) = -s + 8. Let v be y(-15). Let n(z) = z**2 + 4*z - 10. Let w be n(-6). Suppose -2*i + i - w*u = -v, -3*i + 49 = u. Is 13 a factor of i?
False
Suppose 0 = 5*v - 31 - 9. Suppose -2 + v = -x + 3*r, 3*x = 3*r - 6. Is 23 a factor of 1 + (0 - x) - -27?
False
Let i(d) = d**3 + 7*d**2 + 4*d + 3. Let f be i(-4). Suppose 0*q = 4*c - 5*q - 33, 5*c 