u - 18*u. Let r = u - 103. Does 17 divide r?
True
Suppose f - 3 = -3*q, 3*f = -q + 8*f + 17. Suppose 3 = q*t - 17. Suppose 500 = -t*n + 12*n. Is n a multiple of 12?
False
Suppose -6*t = 5*l - 2*t - 12488, 0 = -l + 5*t + 2486. Suppose -11*j + 23*j = -l. Let u = -126 - j. Does 14 divide u?
False
Suppose 9*s + 16*s = 26*s - 2040. Is s a multiple of 15?
True
Let l = -26226 + 30147. Is 9 a factor of l?
False
Let a(m) = -46 - m + 9 - 5*m + 224. Does 15 divide a(-15)?
False
Let q be (1 + -3)*-5*4/8. Let x(c) = 59*c - 67. Does 6 divide x(q)?
True
Suppose 5*z + q = -q + 26, 5*q = -5*z + 35. Suppose -z*t = -2*n + 70, -n + t + 33 = -0*n. Suppose -n*v - 62 = -33*v. Does 31 divide v?
True
Let g be 49/(-2)*(-504)/98. Let p = g + 52. Suppose 2*l - p = l + 5*k, -2*l = 4*k - 412. Is l a multiple of 18?
True
Suppose 3*c = -47 + 59. Suppose c*u = u + 12. Suppose -4*d + x = -x - 78, -42 = -2*d + u*x. Is d a multiple of 3?
False
Let d(p) = -p - 5. Let n be d(-11). Let k(s) = s**2 + 7*s - 8. Let c be k(n). Let m = 82 - c. Does 12 divide m?
True
Suppose -3*s + 5*j + 2 = -5, -4*j = -4. Suppose -y + 2*i - 3 + 1 = 0, s*y - 16 = -4*i. Suppose y*c + 2*c = 304. Is c a multiple of 13?
False
Suppose -4*u + 7970 = 2*w, -w - 4*u + 327 = -3666. Does 10 divide w?
False
Suppose -47*f - 27673 = 40*f - 372193. Is 9 a factor of f?
True
Suppose -4*y + 3*p - 2*p + 340 = 0, -3*y - 3*p = -240. Let a be 1/4 - (-399)/y. Suppose -7*n + 23 = -3*n - a*o, 8 = -2*n - 4*o. Is n a multiple of 2?
True
Let w = 115 + -115. Suppose -743 = -4*d - 0*m - 5*m, w = -d + 5*m + 167. Is d a multiple of 8?
False
Suppose 1790 = -4*q + 2*j, 2*q - 5*j + 1353 = -q. Let t be (18/(-30))/1 - q/10. Suppose -62 = 43*a - t*a. Is a a multiple of 7?
False
Is 159/2*(320/48 - 3*2) a multiple of 2?
False
Let a(w) = 6*w - 37. Let f be a(10). Is 5 a factor of 227*(f/(-46) - 3/(-2))?
False
Let b = 231 + -190. Suppose -b*z + 17484 = -10*z. Does 47 divide z?
True
Let p(u) = -u - 52. Let g be p(0). Let t = g - -69. Suppose -5*f - 2*c = -97, -4*f = -4*c - t - 83. Does 3 divide f?
True
Suppose 5*i + 9 = 3*c, 5*i = -4*c + 8 + 4. Suppose -5*o + 12 + 59 = d, i = -5*o - 5*d + 55. Is 14 a factor of o?
False
Let u = -39617 - -61685. Is u a multiple of 4?
True
Suppose -4*n - 8 = 2*z, -4*z - 5*n - 2 = 2. Suppose -z*u + 4*q + 356 = 0, 2*q = -3*u + 423 - 156. Is 6 a factor of u?
False
Suppose -24*d = -25*d + 39. Is 18 a factor of ((-350)/91 - -4) + 26670/d?
True
Let q = 170 - 164. Does 61 divide 2*-1 - (-1178 - q)/8?
False
Let q be 1/(-2) + 41/2. Is ((-16)/20)/((-8)/q) even?
True
Let q(h) = h**3 + 7*h**2 + 21*h + 5. Let a be q(-13). Let n = a + 2187. Does 11 divide n?
False
Suppose 2*z - 82632 = 3*g, z - 5*g - 165270 = -3*z. Is 29 a factor of z?
True
Suppose -30*l + 176 = -34. Let v(h) = 5*h**3 - 10*h**2 + 3*h + 17. Is 33 a factor of v(l)?
False
Suppose -4*o - 42 = -o + 5*h, -h + 3 = 0. Does 38 divide 1178 + 19/(o/6)?
False
Suppose -s - 108 = 141. Let z = s + 352. Suppose 5*g + z - 453 = -a, 0 = -2*a + g + 711. Is a a multiple of 53?
False
Let s(f) = -10*f**3 + 54*f**2 - 2*f + 19. Let q be s(6). Let v = 616 - q. Is 75 a factor of v?
True
Suppose -7*b - 141 - 300 = 0. Let r = 267 + b. Is 15 a factor of r?
False
Let c(k) = -k**3 + 2*k - 889 - 3*k + 888 - 5*k + 12*k**2. Let g = 6 + 2. Is c(g) a multiple of 24?
False
Suppose -1384838 = 224*x - 11319686. Is x a multiple of 72?
True
Let m(l) = 12*l**2 - 17*l - 18. Let r be m(6). Let g = r + -282. Does 14 divide g?
False
Let s be (-948)/(-14) + 2/7. Suppose -w - z = 0, 74*z = -2*w + 77*z + 20. Suppose t = w + s. Does 9 divide t?
True
Suppose 0 = 5*x - s - 107354, 4*x - 2*s - 16062 = 69814. Is 331 a factor of x?
False
Let j = -66 + 114. Suppose 14*a + j = 11*a. Is 35 a factor of (35/2)/((-8)/a)?
True
Suppose -4*a = -v + 2912 - 939, 3*v - 1975 = 4*a. Is -2 - -6 - (a - -2) a multiple of 11?
True
Suppose 3*v - 5*r = -14, 4*v - 5*r = -8*r + 20. Does 31 divide -3 + -1 + v - (-1 + -373)?
True
Let a = 41 + -38. Let v be (-176)/(-64) + a/(-4). Suppose -5*f = -10, -4*g = v*f + 3*f - 330. Is 16 a factor of g?
True
Let q(z) = -z. Let o(f) = 3 - 3 + 7*f + 31*f + 2. Let y(d) = -o(d) - 8*q(d). Does 25 divide y(-4)?
False
Let h be 4 - (3 - -1) - (-6 + 0). Suppose 4*l = -5*j + 8 + 13, -j = -l - h. Is -2 + l + 3/((-3)/(-119)) a multiple of 29?
True
Let t = 32 + -23. Let g be 233 - (-2 + 3 + 1). Suppose -4*y = -t - g. Is 20 a factor of y?
True
Let w = 220 - 268. Does 25 divide 373/(-6*4/w)?
False
Let h(u) = 7644*u + 258. Is 30 a factor of h(3)?
True
Let q = 39 - 36. Suppose -413 = -s - 4*s - 2*z, 0 = -4*s + q*z + 335. Does 2 divide s?
False
Let z(i) = i**3 + 5*i**2 - 7*i + 3. Let d be z(-6). Let a be d/21 + (-72)/(-28). Suppose -5*c - h = -126 - 132, -a*h = -2*c + 110. Does 13 divide c?
True
Let t be (-15 - -1)*2/(-4). Suppose -b - 24 + 90 = 0. Suppose b = 9*g - t*g. Is g a multiple of 11?
True
Let q(p) = 3*p**2 - 389*p + 292. Is q(134) a multiple of 39?
False
Let g(w) = -10393*w + 1316. Is 24 a factor of g(-4)?
True
Let o = -21 + -9. Let d = -27 - o. Suppose d*g = -3*b + 48, 0 = 5*b - 5*g - 52 - 58. Does 19 divide b?
True
Let o(z) = 77*z**2 + 12*z - 157. Is 6 a factor of o(7)?
False
Let w(q) = q + 107. Let a(s) = 1. Let o(u) = -a(u) + w(u). Does 4 divide o(4)?
False
Let j(k) = -3*k + 14. Let f be j(4). Let a(l) = 3*l**f - 49*l + 26*l - 1 + 6 - l**2. Is 11 a factor of a(13)?
True
Let i(q) = -965*q**3 + 5*q**2 + 27*q + 52. Is i(-2) a multiple of 53?
True
Let t be (1 + 1)/2*0. Let k be (36 - 1 - t)/(2/(-4)). Let s = k - -99. Is s a multiple of 14?
False
Suppose -16*y - 15 = -21*y. Suppose -6*d - 5*b = -4*d - 170, 0 = y*d - 5*b - 305. Does 5 divide d?
True
Let m = -116 + 119. Suppose 5*g = 3*k + 205, m*g - 187 = 2*k - 63. Is 38 a factor of g?
True
Let f be 0 + -3 + (3 - -2) - 0. Let d(a) = -3*a**2 + 0*a**3 + 6 - 12*a**f - 19*a + a**2 + a**3. Is d(16) a multiple of 37?
False
Is 93 a factor of (149571/(-18))/(((-1)/(-6))/((-9)/27))?
False
Let d = 216 - 171. Is 36/d*115/2 a multiple of 23?
True
Let r be -1*((5 - 2) + -3). Suppose -4*u - a + 1033 = r, 2*u + 0*u + 2*a - 512 = 0. Does 13 divide u?
False
Let w(y) = -5*y + 49. Suppose -117*i + 116*i + 2 = 0. Let q be (5/(-15))/(i/(-48)). Is w(q) a multiple of 2?
False
Let t(y) = -130*y - 139. Let o be t(-8). Suppose 0 = -3*l - j + 825, -4*l = 3*j - o - 194. Does 23 divide l?
True
Suppose 0 = -5*g + 80 + 435. Suppose b = g + 80. Suppose 4*p + 55 = -2*y + b, -5*y - 54 = -p. Is p a multiple of 8?
False
Suppose -x = -4*r + 4842, x - 7 = -5. Let z = 2129 - r. Is 17 a factor of z?
True
Let a(o) = 50*o**2 + 19*o + 125. Is 128 a factor of a(-6)?
False
Let f(m) = 51*m - 84. Suppose -i + 2*i - 2 = 0, 2*d - 6 = 4*i. Is f(d) a multiple of 5?
False
Let h be (2/(-1))/((-7)/(-14)). Let f(i) = -i**2 - i + 1. Let k(v) = -10*v**2 + 4*v + 11. Let t(c) = -3*f(c) - k(c). Is t(h) a multiple of 22?
True
Suppose 0 = -k + o + 3903, -19*k = -17*k + 3*o - 7821. Is 7 a factor of k?
True
Suppose 2*k - f - 25 = 108, 5*k - 316 = -3*f. Suppose -6*u = 17 - k. Is 12 a factor of (u/(-6)*3)/(4/(-122))?
False
Let p(k) be the second derivative of 371*k**3/6 - 8*k**2 + 7*k. Let l be p(6). Suppose -121 = -7*g + l. Is 24 a factor of g?
False
Suppose -3*t + 14 = -2*o, 2*t = o - 2*o + 7. Let g = o + -5. Is -4*(-1)/g*-90 a multiple of 15?
True
Let l(i) = -1046*i + 53. Is l(-2) a multiple of 8?
False
Suppose -5*c + 2*n = -132 - 126, 3*n = -c + 38. Let f(v) = 2*v**2 - 94*v - 32. Is f(c) a multiple of 17?
False
Suppose 2*n - 29304 = -6*k, -4*n = 2*k + n - 9794. Does 43 divide k?
False
Let w = -61 - -58. Let x be (((-9)/(-6))/w)/(3/(-12)). Suppose -b + 65 = x*b - 2*a, -2*a + 61 = 3*b. Is b a multiple of 3?
True
Suppose -2*a = c + 9, 0 = 5*c - 2*c + 3. Does 9 divide (-11280)/(-216) + a/18?
False
Let p(b) = -b**3 + 18*b**2 + 36*b + 24. Let f be p(19). Let j = f - 267. Is 5 a factor of j?
True
Suppose 5*x + 5215 = 3*v, -2*v + x = -3865 + 379. Does 5 divide v?
True
Suppose -2*v - 8 = 0, -26 = 4*p + 2*v - 82. Suppose -1 = -15*h + p*h. Does 54 divide (h - 594/(-8))/(3/12)?
False
Suppose -5*v = -4*n + 1453, -3*n + 0*v - 5*v + 1046 = 0. Let z = 513 - n. Is 41 a factor of z?
False
Let f(d) = d**3 - 15*d**2 - 10*d + 36. Let o(h) = 14*h**2 - 18*h - 4. Let q be o(2). Does 11 divide f(q)?
True
Let o(f) = 4*f**2 - f + 9. Let k be o