 + 59*h**3 - 5. Does 8 divide p(-3)?
True
Suppose -3*k - k = -5*o + 12220, 2443 = o - k. Does 18 divide o?
True
Suppose 2*m - 6 = -m. Suppose 2*f + 7*s + 11 = m*s, 3*f - s = 9. Suppose f*i + i = 5*r - 180, -4*r - i = -161. Does 9 divide r?
False
Suppose -5*k - 4*w - w = -55, -3*k + 2*w = -48. Suppose 14 = -5*l + 12*l. Suppose l*b - k = -0*b. Is b a multiple of 6?
False
Let y be 392/(-32) - 1/(-4). Suppose -72 = -m + 4*m. Does 2 divide (m/2)/4 - y?
False
Let w = 91 - 84. Suppose w*k - 2*k - 255 = 0. Does 8 divide k?
False
Let j = 232 + -177. Is 3 a factor of j?
False
Let m(r) = 6*r**3 - 4*r**2 + 4*r - 3. Suppose 20*i = 17*i + 18. Suppose 2*k + i = -2*t, 4*k + 2*t + 1 = -1. Is m(k) a multiple of 11?
False
Suppose -4*k + 4*t = -2*k - 156, -6 = -3*t. Does 10 divide k?
False
Suppose -2*z + 21 = 5. Let x(h) = -10*h - 1. Let a be x(-1). Suppose 2*c = z, 3*g + a*c - 38 = 4*c. Does 5 divide g?
False
Let a(d) = -d + 9. Let n be a(6). Suppose 0*q - 2*q + 10 = 0, -2*p - n*q = -95. Does 7 divide p?
False
Suppose -f + 12 = -5*k, 0 = 2*f + 2*k - 7*k - 19. Let x(v) = v**3 + 7 - f*v**2 - 12 + 2 + 10*v. Does 21 divide x(7)?
False
Suppose 0 = -4*h - 12, 0*i = 3*i - 2*h - 15. Suppose 256 = i*k - 2*v - 26, k - 86 = -2*v. Does 27 divide k?
False
Let r(p) = -p**2 - 17*p - 10. Suppose -26*k = -23*k - 21. Let g(o) = -o**3 + 6*o**2 + 5*o + 3. Let z be g(k). Is 14 a factor of r(z)?
True
Suppose 0 = -2*j + 3*l + 94, -5*j + j + 208 = 4*l. Is 8 a factor of j?
False
Let f(k) = -3*k**2 + k + 9. Let o be f(-4). Is 5 a factor of o/(-2) + (-40)/16?
False
Let k = 5 - -6. Let v be 1*-9*(k - 12). Suppose i = v + 21. Does 5 divide i?
True
Let h(y) = -y**2 - 8*y - 5. Let l be h(-8). Suppose 0 = 5*z - m - 2*m + 220, 4*m - 220 = 5*z. Is 11 a factor of (z/l)/((-6)/(-15))?
True
Let g(w) = w - 4. Let f be g(7). Suppose 4 = -f*b - 5. Is (1 - -2) + 2 + b even?
True
Let k be (69/(-24)*2)/(1/(-4)). Suppose 0 = -0*a + 2*a - 66. Let o = a - k. Is o even?
True
Let z(l) = 3*l**2 - l - 1. Suppose 5*n = 7*n - 12. Suppose -u - n = -3*u. Is 6 a factor of z(u)?
False
Suppose 0 + 10 = -4*s - 5*h, s = 3*h + 6. Suppose s = 4*r - 0 - 8. Suppose r*b - 3*d - 79 = -0*b, b + 5*d = 33. Is 10 a factor of b?
False
Let c be 30/(-9)*(0 + 3). Let g = c + 16. Does 9 divide 4/g - 104/(-6)?
True
Is -2*(0 + (-834)/12) a multiple of 8?
False
Let p be ((-3)/(-4))/((-15)/(-40)). Suppose 3*k = -2*d - 3, -3*k = -d - p*k + 11. Is d even?
True
Suppose 2*s - 3*u = 3, -2*s + u = 3*u - 8. Suppose -4 + 3 = -d, -3*i - s*d + 48 = 0. Is i a multiple of 5?
True
Let p(t) = -2 - 297*t + 309*t + 0 + 18. Is 23 a factor of p(12)?
False
Suppose 3*j + 451 = -3*f + 2*f, 0 = j - 5*f + 129. Let v = -93 - j. Is v a multiple of 18?
False
Suppose 23 = 34*b - 33*b. Let k = b + 26. Is k a multiple of 37?
False
Let y(p) = -22*p + 35. Is 32 a factor of y(-15)?
False
Let d = 525 - 193. Is 83 a factor of d?
True
Let i(h) = h**3 - 5*h**2 - 5*h - 3. Let w be i(6). Suppose 3 = -w*u, 3*n - 2*u = -u + 481. Is 40 a factor of n?
True
Let a = 1917 - 1260. Suppose r - 7*s - 143 = -2*s, 0 = -5*r - 4*s + a. Is 15 a factor of r?
False
Let x(k) = 21*k**2 - k + 1. Let b be x(1). Let d = b + -12. Suppose d*t - 8*t = 7. Is 2 a factor of t?
False
Suppose -242 + 602 = 8*x. Suppose 0 = -4*d + 205 - x. Is d a multiple of 10?
True
Let k = -582 - -555. Suppose -3*s - 246 = -4*w, -2*s + w + 55 - 214 = 0. Let a = k - s. Is 33 a factor of a?
False
Suppose 9*n - 1134 = 2*n. Is n a multiple of 27?
True
Suppose 4*k + v = -k + 1036, -3*k + 622 = v. Is 23 a factor of k?
True
Suppose 448 = -5*q + 9*q. Suppose -q = -4*t + 228. Does 17 divide t?
True
Let q = 451 + -304. Let y = -88 + q. Is 8 a factor of y?
False
Let d be 1*(-3)/6*26. Let r = d - 2. Is 15 a factor of (40/(-6))/(5/r)?
False
Let d be (-4 - -1)*96/(-36). Suppose j + j + d = 0, -5*j + 190 = 3*r. Is r a multiple of 35?
True
Let l(c) = c**3 - 22*c**2 + 52*c + 93. Is 62 a factor of l(21)?
True
Let q = 697 - 482. Is 4 a factor of q?
False
Suppose 12*a = 2673 + 2343. Is 22 a factor of a?
True
Let v(r) = 5*r**3 - 29*r - 17. Is v(7) a multiple of 13?
True
Let d(k) = 3 + 3 + 6*k - 5 + 1. Let f be d(-1). Let l(c) = 2*c**2 + 3*c + 4. Does 6 divide l(f)?
True
Let x(g) = g**2 + g + 1. Let k be x(-2). Suppose k*j - 2*r - 17 = 0, -j + 2*r - 18 = -5*j. Suppose -5*t + 5*u = -180, 167 + 13 = j*t - u. Is 19 a factor of t?
False
Suppose -4*p = 8*w - 3*w - 6875, 0 = 5*p. Is 55 a factor of w?
True
Suppose -3*k = 2*u - 6, 0 = 2*k + 2*u - 3 - 1. Suppose 5*q = -k*i + 298, -2*q + 8 = 3*i - 120. Is q a multiple of 35?
False
Does 47 divide (52 - -158)/((-2)/(-47))?
True
Let i(b) = -2*b - 20. Let h be i(-12). Suppose h*s - 32 - 8 = -4*c, c - s = 18. Is 5 a factor of c?
False
Let r = 25 + -106. Let g = r + 119. Is 27 a factor of g?
False
Suppose 9*j - 3*j = 36. Let q = j + -5. Does 16 divide q*67 + -3 + 7?
False
Suppose 4*a + y - 39 = 0, -y - 68 + 17 = -5*a. Is 10 a factor of (1 + 23/(-3))/(a/(-15))?
True
Let f = -83 + 87. Suppose -3*p = f*p - 427. Does 6 divide p?
False
Suppose 5*i = 3*y - 6*y + 9, -3*y = i - 9. Suppose -4*z = i, 0*b - 3*z = -2*b - 22. Let a = -2 - b. Does 9 divide a?
True
Suppose 2*f + 7740 = -10*f. Does 35 divide (2/(-3))/(1300/f + 2)?
False
Let p = 132 - -129. Suppose 3*h = -4*w + 1, -3*h - 1 = 6*w - w. Suppose -5*k + p = -h*f, k + 26 = f + 77. Is k a multiple of 14?
False
Let s = -190 - -401. Is 2 a factor of s?
False
Let a = -52 - -58. Suppose -3 = -h - 2*h, -5*t + h = 8061. Is 21 a factor of t/(-60) + a/45?
False
Suppose 4*s + 286 = 2*l, 0 = 5*s + l - 166 + 520. Let n = s + 123. Does 18 divide n?
False
Let t(d) = 15*d**2 + d - 1. Let v be t(1). Let b be 10/v - (-13)/3. Suppose 4*u + 29 + 115 = b*m, -3*m - 3*u = -81. Is m a multiple of 7?
True
Let n = -936 + 2286. Does 10 divide n?
True
Let p(g) = g**3 - g**2 - g - 4. Let b be p(-4). Let u = b - -215. Suppose 2*z - 4*z + 3*y = -u, -25 = 5*y. Is 11 a factor of z?
False
Let a be 2/(5 + 24/(-4)). Let p(h) = 8*h**2 - 4*h + 1. Let g(v) = 9*v**2 - 5*v + 2. Let q(z) = -3*g(z) + 4*p(z). Is q(a) a multiple of 5?
True
Let l(f) = 10*f**2 + 29*f - 18. Let k(m) = 3*m**2 + 10*m - 6. Let i(a) = 7*k(a) - 2*l(a). Is 17 a factor of i(-18)?
True
Let b be 3 - (-3 - 8/(-4)). Let y be (b - 1000/(-6))*-12. Is 2/(-7) - y/112 a multiple of 7?
False
Suppose -h = -3*k + 841, -72*k + 267 = -71*k + 3*h. Is k a multiple of 6?
False
Let v = -49 + 50. Suppose y = -4*y + 25, 59 = 3*j - 5*y. Does 9 divide (-7)/((-4)/j*v)?
False
Let r(z) be the first derivative of z**3/3 + 6*z**2 - 12*z - 7. Let v be r(-13). Is v/3 + (-82)/(-6) a multiple of 7?
True
Suppose 2*d + 5*m + 1 - 10 = 0, d + 4*m - 6 = 0. Suppose 3*g = d*g. Suppose 4*b = -g*b + 220. Does 11 divide b?
True
Let g = 39 - 39. Suppose 3*d + 4*k - 80 = 0, g = -4*d + 2*k + 148 - 34. Does 28 divide d?
True
Let u(j) = -10*j + 5. Suppose n + 8 = 6. Is 25 a factor of u(n)?
True
Let u(y) = 389*y**3 + 2*y**2 + y - 2. Let q be u(1). Suppose 0 = 4*h - 7*h + q. Is 12 a factor of h?
False
Suppose 2*k = 5*p - 22, 0*p - k = 2*p - 7. Let u(j) = -j**3 + 6*j**2 + 4*j. Does 12 divide u(p)?
True
Suppose -n + 6*n - 85 = 0. Let m = 16 - n. Is 41 a factor of (m/(-1))/(10/710)?
False
Let j be ((-1604)/12)/((3/(-1))/(-9)). Let z = 725 + j. Is z a multiple of 18?
True
Suppose -7 = 2*y + 7. Let z = y + 12. Suppose -114 - 1 = -z*c. Is c a multiple of 7?
False
Suppose -25 = 4*n - 3*n - h, -42 = 2*n + 2*h. Let w = 13 - n. Is 3 a factor of w?
True
Let v(s) = s - 67. Let x(d) = -34. Let u(r) = 4*v(r) - 9*x(r). Does 39 divide u(10)?
True
Let j(v) = 3*v**3 - v**2. Let w(m) = -m + 20. Let p be w(9). Suppose p = -4*k + 19. Is 16 a factor of j(k)?
False
Let p = 41 - 39. Is (-22)/(-8)*-2*(p - 4) a multiple of 11?
True
Suppose -69 = -7*h + 43. Suppose -12*g - h = -14*g. Is 8 a factor of g?
True
Let l(g) = 359*g - 35. Does 55 divide l(1)?
False
Suppose -d - 3*d + 4*f = 224, -156 = 3*d + f. Let k = 110 + d. Does 19 divide k?
True
Suppose -2*j - 3*u - u = -42, 3*j - 3*u = 108. Suppose 25 + j = 4*c. Let g = c - 8. Does 2 divide g?
True
Let a(m) = m**2 - 25*m + 11. Is a(30) a multiple of 23?
True
Let f be 3 - (3 - (-10 - -4)). Does 32 divide -24*(64/f)/2?
True
Suppose 2*z + 3*l = -2*z + 249, -2*z + 3*l = -129. Is 9 a factor of z?
True
Let g = 70 + 126. Let z = -98 + g. Does 10 divide z?
False
Le