)/(-8)*6*1. Suppose d + 265 = 2*r - 0*r, -r = j*d - 129. Is 22 a factor of r?
True
Let r(o) = 79*o**2 - 1. Let s be (-3)/(-3) + 0/(-5). Does 26 divide r(s)?
True
Let l be 5/7 + -1 - (-40)/140. Suppose -j - 5*o - 10 = 0, l = 5*o - 0*o + 25. Is 8 a factor of j?
False
Let h(v) = -v**2 - 5*v - 1. Let o be h(-6). Let z(j) = -6*j - 23. Is 3 a factor of z(o)?
False
Let h be (-8)/4*(-1 + -1). Let o(z) = 10*z + 7. Is o(h) a multiple of 15?
False
Let w = -11 - 5. Let d = -29 + w. Is 3 a factor of (-2)/5 - 333/d?
False
Does 4 divide (-10)/35*-14 - -300?
True
Suppose -2*o + l = 196, 490 = 3*o - 8*o + 5*l. Let v be o/(-3) - 4/6. Suppose -7*b + 11*b - v = 0. Is 8 a factor of b?
True
Suppose 0 = 4*a - 3*a - 2*g - 43, 3*g = -4*a + 172. Suppose -3*i = -a + 7. Is i a multiple of 12?
True
Suppose 0 = -2*p + j + 35, -3*j + 25 = -8*j. Suppose -13*t + 17*t + 32 = 0. Let z = t + p. Does 3 divide z?
False
Suppose 3*p - 5 = -2*w, 0*w = -w - 5*p - 8. Is w even?
False
Does 18 divide (1546/16)/(39/(-52))*-6?
False
Suppose -1265 = 5*i - 7530. Is i a multiple of 8?
False
Let v(n) be the second derivative of n**5/60 + n**4/6 - 2*n**3/3 + 5*n**2/2 + 7*n. Let x(l) be the first derivative of v(l). Is 11 a factor of x(4)?
False
Let s be 6/(-2) + 1 - -389. Let g = s - 231. Suppose -36 + g = 4*h. Is h a multiple of 10?
True
Let t = -3 - -20. Suppose 5*q - 3 = t. Suppose -5*a + 0*a + 105 = -q*r, -4*a + 84 = 4*r. Is a a multiple of 10?
False
Let r be -3*(-6)/(-9)*3. Let i = r - -9. Suppose -20 = -2*k + 3*h, -4*h + 0*h - 28 = -i*k. Is 2 a factor of k?
True
Let v(n) = n + 1. Let x(b) = 2*b**2 + 4*b + 3. Let i(s) = 2*s**2 + 9*s + 5. Let p be i(-4). Let r(w) = p*x(w) - 3*v(w). Is r(-3) a multiple of 5?
True
Let j be (-2)/(3/(-5) - -1)*1. Does 2 divide (-39)/(-26) - (2 - j/(-2))?
True
Suppose 165 = 7*z - 2*z + 2*p, 4*z - p = 132. Does 8 divide z?
False
Let r(o) be the third derivative of 7*o**4/24 + 7*o**3/2 + 5*o**2. Is r(7) a multiple of 12?
False
Let t = -27 + 30. Suppose 18 = -t*l + 2*l. Does 4 divide (-63)/l + 2/4?
True
Suppose 7*h + 276 = 976. Suppose 17*q - h = 12*q. Is q a multiple of 3?
False
Let c = -40 + 70. Suppose -5*d - c = -135. Suppose 44 + d = 5*j. Is 13 a factor of j?
True
Does 85 divide 1099 + -4 + (17 - 5)?
False
Suppose -2*q - 7 = -3*q. Let j(a) = 8*a + a**3 - 3*a**2 + 0*a**2 - 5*a**2 + 2. Is 9 a factor of j(q)?
True
Let k = -87 + 135. Let q = k - 20. Does 5 divide q?
False
Let a(n) = -203*n + 334. Is 13 a factor of a(-7)?
True
Let m(x) = 19*x - 13*x + 2 - 9*x - 10. Is m(-8) a multiple of 4?
True
Let v(j) = -j + 4*j**3 - 3*j**2 - 3*j + 4*j + 4 - 2*j. Is v(2) a multiple of 3?
False
Let b(r) = -r + 9. Let f be b(0). Let v = f - -39. Is 28 a factor of (30/(-20))/((-1)/v)?
False
Suppose 3*b + z = -0*z + 103, b - 33 = -z. Suppose 5*i = -4*v + 113, -5*v - 3*i - b = -186. Is v a multiple of 6?
False
Let w be (-4)/(-22) - 12/66. Suppose 4*b + b = -5*o + 295, 3*o + 12 = w. Suppose -81 = -4*r + 4*y + b, 0 = 5*r - 4*y - 175. Is 31 a factor of r?
True
Let g be 1 - 1 - (-8)/(-2). Let d(o) = -o**3 - 3*o**2. Does 4 divide d(g)?
True
Let q(c) = -53*c**3 - c**2. Let z be q(-1). Let d = 5 + z. Suppose -n - d = -3*x - x, 0 = x - 2*n - 16. Is x a multiple of 9?
False
Let q be (13 + 1)*(-3)/(-6). Suppose 5*v - q*v + 138 = 0. Suppose z = v - 15. Does 16 divide z?
False
Suppose -44*h + 69660 = 46*h. Is 13 a factor of h?
False
Suppose 7124 = 4*g - 5*j, 0*g = 4*g + 4*j - 7124. Is g a multiple of 29?
False
Let k be (-10)/35 + (-130)/(-14). Suppose 11*j = k*j. Let v = j + 12. Does 4 divide v?
True
Let w = -311 - -851. Is 45 a factor of w?
True
Let f(w) = -5*w**2 - 5*w - 2*w - 5*w**2 + w**3 + 12 - 4*w. Let y be f(11). Suppose -8 = -y*h + 10*h. Does 3 divide h?
False
Let j(z) = -z**2 - 15*z - 1. Let y be j(-15). Let t = 1 + y. Suppose t*x - 8 = -x. Is 3 a factor of x?
False
Let l(b) = b**2 - 9*b + 3. Let s be l(9). Suppose 0 = 5*c - 5*z + 25, 11 + 4 = s*z. Suppose c = -2*q - 5 + 45. Does 5 divide q?
True
Let a = 32 + -35. Does 25 divide a*(-212)/12 + -3?
True
Is (-2 - (-34)/16) + 24621/24 a multiple of 9?
True
Let q(o) = 726*o**2 - 5*o - 2. Is 15 a factor of q(-1)?
False
Suppose 4*a + 201 = -191. Let d = -32 - a. Suppose 0*p + 3*p = d. Does 6 divide p?
False
Does 80 divide 38*23 - (-360)/60?
True
Is (-6)/(-4) - (-2634)/4*1 a multiple of 44?
True
Let g(s) = s**2 - 6*s - 4. Let c be g(6). Let o(d) = -d**3 - 4*d**2 - d - 4. Let y be o(c). Suppose y = -3*p + 7*p - 56. Does 9 divide p?
False
Suppose -2 = -2*y - 0, -y = -2*s + 1371. Does 98 divide s?
True
Suppose -691*o = -699*o + 3752. Is 2 a factor of o?
False
Let d = -31 + 33. Suppose -h = 2*a - 5 - 4, -2*h + d*a + 6 = 0. Suppose 100 = 5*c + h*p, 0*c + 3*p + 115 = 4*c. Is 4 a factor of c?
False
Let j = 71 + -69. Suppose -z = -5*k + 13 - 69, z - j*k = 62. Is z a multiple of 11?
True
Let v = 29 + -27. Suppose 3*b = 2*f + 93, v*f = -b - f + 31. Is b a multiple of 7?
False
Let b(l) = -7*l**2 + 5*l + 8. Let j be b(5). Let n = j - -236. Is n a multiple of 27?
False
Suppose 53*p - 94*p + 12546 = 0. Is p even?
True
Let q(t) = 10*t**3 + 22*t**2 - 85*t + 27. Does 17 divide q(6)?
False
Let a be (-7)/14*(1 - 11). Suppose 3*f = -5*t - 12, a*f = t + 3*t + 17. Is (21 - (f - 0)) + -2 a multiple of 9?
True
Let t(z) = 4*z**3 - 3*z + 2. Let v be t(1). Suppose -v*r + 278 = 5*x, 0*x + x = 4*r - 386. Is r a multiple of 30?
False
Let u = -3726 - -5988. Is u a multiple of 29?
True
Let v = -19 + 32. Let m = v - 10. Is m/(-12) + (-159)/(-12) a multiple of 5?
False
Let v(j) = j. Let q(h) = -5*h - 25. Let d(i) = q(i) - v(i). Is 35 a factor of d(-10)?
True
Let f(h) = 2*h**3 + 21*h**2 - 5*h - 26. Does 22 divide f(-10)?
False
Suppose -5*m + 2*c + 535 = -0*c, c + 5 = 0. Suppose 388 = 109*q - m*q. Does 18 divide q?
False
Does 36 divide (-593)/(-4) - 5 - (-3)/4?
True
Suppose -q + 0*q = -2*l + 290, -3*l - 5*q = -409. Does 3 divide l?
False
Suppose 10*k + 41 = -29. Is (12/21)/(-2) + (-1759)/k a multiple of 26?
False
Let x(d) = 260*d**3. Let n be x(1). Let w = n - 122. Is w a multiple of 21?
False
Let k = -47 - -25. Suppose -8*r = -344 + 88. Let g = r - k. Is g a multiple of 11?
False
Let p be (1 - -110) + 10 + -8. Let n = -61 + p. Does 13 divide n?
True
Suppose -374 = 3*u - 731. Does 7 divide u?
True
Suppose -4*d + 9*d = 15. Suppose d*t - 479 - 286 = 0. Does 13 divide t?
False
Let a = -1098 + 1566. Does 36 divide a?
True
Is 2 a factor of (-5 - 4)/(10/(-60))?
True
Suppose 5*k - 37 + 97 = 0. Let g(r) = -r**2 - 15*r + 27. Is g(k) a multiple of 12?
False
Is 34/(-595) - 97026/(-105) a multiple of 8?
False
Suppose 2 = m + 7. Let j = m - -29. Suppose 3*h - 114 = j. Does 16 divide h?
False
Let u(l) = -2*l**2 - 2. Let k(g) = 1. Let c(r) = -2*k(r) - u(r). Let x = -58 - -56. Does 4 divide c(x)?
True
Does 43 divide 6 - -65*(-8)/32*-12?
False
Does 7 divide 992/5 - (-46)/(-115)?
False
Does 15 divide (-192588)/(-528)*(-1 - -5)?
False
Let s be (9/(-6))/(12/32). Let a(g) = 2*g**2 + 7*g + 6. Let j be a(s). Suppose -3*n - j = -5*n. Is n a multiple of 2?
False
Let u(h) be the first derivative of -h**3/3 - 15*h**2/2 - 15*h - 16. Is u(-11) a multiple of 19?
False
Let m(o) = -o + 4. Let q be m(7). Let i be 124/(-12) - 1/q. Let j = 25 + i. Does 11 divide j?
False
Suppose 0 = 4*k - 134 + 1154. Is 3 a factor of (k/34)/(1/(-6))?
True
Is 211*1 - ((-60)/5 + 15) a multiple of 104?
True
Let h(d) = d**3 - 4*d**2 - 3*d - 6. Let s be h(5). Does 23 divide -2 + (24 - s/(-4))?
True
Does 96 divide -1 - 9/(117/(-6292))?
False
Let f(q) = -q**3 + 5*q**2 - 4*q + 4. Suppose 0 = 2*s - 2*r - 2, 0 = -3*s + 2*s + 4*r - 5. Is 2 a factor of f(s)?
True
Suppose -3 = -n, 0*n + n = b - 69. Is b a multiple of 36?
True
Let a(x) = -x**2 - 6*x + 3. Let j be a(-6). Suppose 6*l + s - 625 = l, 2*l - 250 = -j*s. Is l a multiple of 26?
False
Let s be 4*(-2)/4 - -156. Is 3 a factor of s/8 + 3/(-12)?
False
Suppose 10*s - 8*s = -14. Let o be (s - -1)/(4/2). Does 10 divide (0 - (o - -4))*-53?
False
Let c be 3/6*9*250/3. Let q = c + -176. Is 13 a factor of q?
False
Suppose 4*k = 0, 2*i + 2*k + 0*k + 2 = 0. Let w = 1 - i. Is (-21 + 1)/(w + -3) a multiple of 15?
False
Let j(p) = -23*p + 11 + p - 25*p. Is 13 a factor of j(-2)?
False
Let s(r) = r**3 - r**2 - 1. Let u be s(2). Let q(l) = 52*l + 627. Let w be q(-12). Suppose -2*i = -2*d - 21 - u, -6