Does 6 divide d?
False
Suppose -13 = -4*o - 9, 2*z - 3*o + 85 = 0. Let s = 713 + z. Is s a multiple of 8?
True
Suppose 7*x - 587 = 1471. Let l be 1*(x + (-4 - 0)). Suppose 4*h - 170 = l. Is 23 a factor of h?
True
Suppose -5*h + 2012 + 3157 = 3*l, -3*h - l = -3103. Is h a multiple of 207?
True
Suppose 3*j = -j + 5156. Let d = -859 + j. Is d a multiple of 37?
False
Let x(i) = i**2 - 4. Let n be x(3). Suppose 0 = -n*y - 2*g - 0*g + 125, -4*g + 25 = y. Is y a multiple of 5?
True
Suppose 13*g - 14 = 10*g - l, -4 = -4*g - 5*l. Suppose 0 = -4*i - g*i + 2860. Is 10 a factor of i?
False
Is (1000/(-3))/(13760/765 - 18) a multiple of 150?
True
Suppose -249*j + 201*j + 109344 = 0. Does 67 divide j?
True
Let u(l) = -2*l - 12. Let s be u(-11). Let o(z) = z**3 - 8*z**2 + 10*z - 20. Is o(s) a multiple of 70?
True
Suppose -57*f + 5 = -52*f. Is 12 a factor of f*(-5)/(-15)*2406/2?
False
Let n = 999 + -877. Is 10 a factor of n?
False
Is (-172)/602*19754/(-4) a multiple of 16?
False
Suppose -2 + 62 = 5*s. Let g be (-179 - -3)*(-18)/s. Suppose -3*b + g = 5*d, -2*b + 139 - 31 = 2*d. Does 11 divide d?
False
Suppose 4*k = -5*b + 22432, 5*b - 6*k + 7*k - 22423 = 0. Does 19 divide b?
True
Let y = -67 - -69. Suppose y*j = -2*j, 4*s - 164 = 3*j. Let i = s - -1. Is i a multiple of 14?
True
Suppose 2*n - 2 = 0, 4*i = 2*n + 6639 + 5411. Suppose -27*a + 26341 = i. Is a a multiple of 11?
False
Suppose -12*q - 6732 = 22*q. Is 5 a factor of (q/54)/(2/(-42))?
False
Suppose -2*v - 3*o = -5*o, 0 = v + 3*o + 20. Let n be v*9/(-15) - 3. Does 11 divide (-246)/(n - 2) - 8/2?
False
Let k(t) = -6469*t + 1462. Does 50 divide k(-2)?
True
Suppose -2*l + l + 2*w = -1672, -3*l - 2*w + 4984 = 0. Suppose -9*z = -17*z + l. Is z a multiple of 13?
True
Let h(n) = -n**2 - 14*n - 8. Suppose -5*o + 0*o = 65. Let w be h(o). Suppose -w*k = 2*j - 75, 3*k + 3*j = 4*k - 15. Is 3 a factor of k?
True
Let n be (-6)/57 - 55/19. Let i = 315 + n. Does 14 divide i?
False
Let z = 32 + -26. Suppose 3*j - z = 0, -4*j = 4*r - 2*j - 12. Suppose -361 = -3*w + r*a - a, 0 = w - 5*a - 139. Is w a multiple of 17?
True
Let y(q) = q**2 - q - 1. Let k be y(-2). Suppose c - 178 = k*h, 2*c - 158 = -h + 209. Let z = 256 - c. Does 11 divide z?
False
Let r(g) = -6*g + 45. Let x be r(2). Suppose -x*u + 32*u = -165. Is 33 a factor of u?
True
Suppose -86 = 3*j + 43. Let n = 46 + j. Suppose 5*h = -d + 17, 0*h + 12 = 2*h + n*d. Does 2 divide h?
False
Let n(x) = -7978*x + 1265. Does 11 divide n(-6)?
False
Let v = 2573 + -1134. Is 4 a factor of v?
False
Let o(t) = 19*t + 40 - 5 + 48*t. Does 40 divide o(4)?
False
Let y(b) = -5*b**3 - 28*b**2 - 30*b - 33. Let d(n) = -6*n**3 - 28*n**2 - 31*n - 32. Let q(s) = -6*d(s) + 7*y(s). Does 6 divide q(29)?
False
Let y(r) = -2*r**3 + 12*r**2 + 2*r + 6. Let m = -28 - -26. Let w(p) = -p**3 + 11*p**2 + p + 6. Let q(j) = m*y(j) + 3*w(j). Is q(-7) a multiple of 36?
False
Let h(b) be the second derivative of -b**7/840 - 11*b**6/360 + 7*b**4/12 + 7*b**3/2 - 13*b. Let c(w) be the second derivative of h(w). Does 3 divide c(-11)?
False
Suppose -69733 = -5*s + 3*m, 103*s - 69727 = 98*s + 2*m. Is s a multiple of 73?
True
Suppose 2*d + 49*n = 48*n - 3168, 0 = 4*d + 4*n + 6336. Let o = d + 2466. Is 16 a factor of o?
False
Let p = 13294 + 15379. Does 53 divide p?
True
Suppose -3245*i + 125 = -3270*i. Suppose 1 + 2 = f. Does 18 divide (-144)/15*f*i?
True
Let h = -33 - -38. Is h/((0 - -1) + (-8)/10) a multiple of 2?
False
Let j(n) = -n + 66. Let p = 87 - 78. Is 11 a factor of j(p)?
False
Suppose -i = -4*c + 23, 4 = i + 7. Suppose -2*n = 2*l + 10, c*l + 3 + 19 = -2*n. Is (24/60)/(2/(-80)*n) a multiple of 4?
True
Let x = 776 + -240. Suppose -235 = -5*b + 5*h + 1090, -2*b - h + x = 0. Is 5 a factor of b/6 + 1/2?
True
Suppose 24*s + 4*h - 2 = 26*s, -4*s + 29 = 3*h. Suppose s*j + 8*q = 3*q + 5015, 3 = -3*q. Is j a multiple of 66?
False
Suppose 338688 = -2803*u + 2839*u. Is 19 a factor of u?
False
Let j = 601 + -598. Suppose 15 = j*f, 3*x + 0*x - 1555 = 4*f. Does 75 divide x?
True
Let v be 8*((6 - 4) + 26). Suppose 0 = -h - 59 + v. Suppose 0 = r - 2*w - 54, -h = -3*r - 0*r + 5*w. Is 30 a factor of r?
True
Suppose 0 = -2*l + 266 - 70. Suppose -3*c - 392 = 4*k, 178 = -2*k - 5*c + 8*c. Let t = k + l. Is 2 a factor of t?
False
Let z(k) = 59*k + 1792. Does 2 divide z(-6)?
True
Suppose -3*p = z - 44825, 7*p - 12*p = -3*z - 74741. Does 73 divide p?
False
Suppose 4*p - 16 = 0, 1734 = 17*o - 15*o - 2*p. Suppose 10*s - 23*s + o = 0. Is 17 a factor of s?
False
Let y be (135 - -3)*6/9. Let z = -87 + y. Suppose -z*b = 5*w - 35, 3*b + 0*b - 2*w = 31. Is 3 a factor of b?
True
Let i = 4238 - 2326. Is i even?
True
Suppose 31*f - 23*f = 48. Is 7 a factor of (f - -78)/((-7)/(-14))?
True
Suppose -10*h + 143 + 11047 = 0. Let o = -735 + h. Is o a multiple of 25?
False
Let m = -6411 - -9285. Is m a multiple of 22?
False
Let k(t) = 4685*t**2 + 4*t - 5. Is 16 a factor of k(1)?
False
Suppose -110448 = -103*x + 85*x. Is 19 a factor of x?
False
Suppose 9*s - 200 - 421 = 0. Let a = s - 68. Does 12 divide (-45)/6*a*-8?
True
Let d = -140 + 87. Suppose 0 = 2*c - x + 3*x - 170, -3*c + 4*x + 255 = 0. Let r = d + c. Is 16 a factor of r?
True
Let r = 8145 + -6336. Is r a multiple of 13?
False
Let y(d) = d**3 - 19*d**2 + 37*d - 38. Let b be y(17). Suppose 1768 = -0*q + b*q. Is q a multiple of 28?
False
Suppose 13236 = -62*x + 74*x. Let t = -690 + x. Is t a multiple of 59?
True
Suppose -15 = h - 4*h. Suppose -5*c - 3*w = 731, -5*c - h*w - 735 = -0*w. Let r = c - -221. Is 19 a factor of r?
True
Let g = 2695 + -166. Suppose -59 + g = 10*p. Is 46 a factor of p?
False
Suppose 2*s + 483*w = 479*w + 38396, 0 = -2*s + 5*w + 38405. Is s a multiple of 30?
True
Let n be (-23)/3 - (-12)/(-36). Let b be 38/n*(-8 + 4). Let v = b - 8. Does 11 divide v?
True
Is 52212/9 - ((-15)/20 - (-52)/48) a multiple of 8?
False
Let k(f) = f**3 + 5*f**2 + 8*f + 6. Let b be k(-2). Does 38 divide (-374 - 24/4)*(-1)/b?
True
Let a(z) = 6*z**3 - z**2 + 6*z + 7. Let j(s) = -5*s**3 - s**2 - 5*s - 8. Let y(f) = 4*a(f) + 5*j(f). Let n be y(-9). Is n - (-306)/(-1 + 7) a multiple of 5?
False
Let t be ((-60)/9)/((-2)/27). Suppose -f - k = 28, 0 = 3*f - 6*f - k - t. Let s = f + 45. Is 10 a factor of s?
False
Suppose -2*f + 4*i = 4, -2*f + 2*i = 7*i - 41. Is 12*(-214)/(-4) + f + -12 a multiple of 20?
False
Suppose 255117 = 34*x - 153798 - 78509. Is x a multiple of 128?
True
Let y be (5/(-2) + 1)/((-135)/(-20070)). Let d = 430 + y. Is 48 a factor of d?
False
Suppose 0 = 7*b - 5981 + 311. Suppose 2*k + b = 7*k. Is 18 a factor of k?
True
Let g(l) be the second derivative of l**3/6 + 41*l**2/2 + 6*l. Suppose 40*y + 30 = 38*y. Is 13 a factor of g(y)?
True
Let f = 82 - 53. Suppose m - 1379 = -4*u, -u + 369 = 5*m + f. Is u a multiple of 23?
True
Let j be 6/8 + 579/12. Let x = j - 47. Suppose -58 = -4*r - x*a + 254, 6 = 3*a. Does 18 divide r?
False
Suppose a + 151 - 90 = 0. Let k = -42 - a. Suppose -111*l + 110*l = -k. Does 3 divide l?
False
Let g(r) = r**3 - 12*r**2 + 9*r + 27. Let m be g(11). Let t = m - 3. Does 15 divide 53329/187 + (t/(-11))/1?
True
Let f = 45 - 16. Suppose -f = -k + 37. Suppose -3*j + 231 - k = 0. Is j a multiple of 11?
True
Let i(o) be the second derivative of o**4/12 - 11*o**3/6 - o. Suppose -4*b = 220 - 280. Is i(b) a multiple of 5?
True
Let g(b) = 220*b**2 + 31*b + 504. Is g(-9) a multiple of 81?
False
Suppose 0 = -4*p - 5*q + q - 212, 5*q = 5*p + 295. Let l = p + 79. Suppose -l*v + 1092 = -16*v. Is 33 a factor of v?
False
Suppose -434*f - 3*a = -430*f - 17318, -2*f - a = -8662. Does 177 divide f?
False
Let n = -8 - 6. Let i be 16/(-28)*n/4. Suppose i*m + 0*b + b = 129, 3*m + b - 191 = 0. Is m a multiple of 15?
False
Let y = 22 - 47. Let k = y + -70. Is (-2 - k) + (-4)/(-24)*0 a multiple of 17?
False
Suppose 0 = 86*x - 87*x + 4. Suppose 0 = -2*j - 4*a + 15 + 27, -18 = -2*j + x*a. Suppose 0 = j*h - 17*h + 480. Is 15 a factor of h?
True
Let r(w) = 27*w**2 + 4 + 14*w + 19*w + 21 - 47*w - 2*w**3. Suppose -3*q = 3*u - 36, 4*q - 24 = -2*u - 2. Is r(u) a multiple of 12?
True
Suppose 3*q + 841 = r + 2*q, -3*r - 5*q + 2531 = 0. Let v = 874 - r. Is 15 a factor of v?
False
Let g = -43055 + 86960. Is 200 a factor of g?
False
Let q be ((-3)/3)/((-6)/(-12)). Let i(k) = -2*k - 4. Let j be i(q).