or of k?
False
Suppose 0 = -109*g + 110*g - 260. Suppose o = -y + 52, -5*o + 0*y + 2*y = -g. Does 15 divide o?
False
Suppose 0 = 38*t + 26352 + 61961 - 421801. Is 32 a factor of t?
False
Suppose 0 = -4*r + 13*r - 108. Suppose -4*a - l + 199 = 0, -a - r*l + 17*l + 76 = 0. Is 7 a factor of a?
False
Let g = -53812 - -101890. Does 18 divide g?
True
Suppose 4*o - 110 = -b, 4*o = 3*b + b + 100. Let n be (-6)/4*72/o. Is 11 a factor of (n - 236/(-12))/((-3)/(-18))?
False
Suppose -62*q - 58*q + 124*q = 18384. Is q a multiple of 6?
True
Let p(t) = t**2 + 5*t - 3. Let v = 39 - 29. Suppose -y - 3*y + 3*s + 9 = 0, 3*y = -s + v. Is p(y) a multiple of 7?
True
Let b(j) = 4*j - 5. Let k be b(-6). Let v(t) = t**3 + 30*t**2 + 29*t + 72. Is 10 a factor of v(k)?
False
Let c(r) = r + 2. Let g(h) = 81*h - 93. Let x(n) = 3*c(n) - g(n). Is 24 a factor of x(-7)?
False
Let k(t) = 40*t - 34. Let a be k(1). Suppose 22 - 1738 = -a*v. Is v a multiple of 26?
True
Suppose 5*r - 4*h - 12 = 0, -2*r - 5*h = -27 + 9. Suppose 0 + r = 2*y. Suppose 3*d - y*g - 361 = 0, -g = d - 0*d - 112. Is d a multiple of 9?
True
Let f(i) = 2*i - 6*i - 93 + 11. Let z = -4440 - -4416. Does 9 divide f(z)?
False
Suppose -4*f = -3*t - 97 - 200, -2*f = -6. Let q = 114 + t. Is q a multiple of 12?
False
Let z(p) = -p**3 - 12*p**2 - 13*p - 8. Let g be z(-11). Let o = g - 10. Suppose v + 417 = 4*b + 4*v, o*v - 216 = -2*b. Is 6 a factor of b?
True
Suppose 3*a + 5*j = 815, -3*j = 4*a - 5*a + 281. Suppose -15*z = -a - 1030. Does 8 divide z?
False
Let b(j) = 7*j + 248. Let k be b(-35). Let o(c) = 51*c**2 - 17*c + 61. Is o(k) a multiple of 17?
False
Let d be 34326/27 + (-2)/(-3). Suppose 4485 = 17*v + d. Does 44 divide v?
False
Suppose 77*h - 9870 = 71*h. Suppose -947 = -18*o + h. Is o a multiple of 6?
True
Let w be (-76590)/(-225) - (-2)/(-5). Is w - 0*(-2)/10 a multiple of 21?
False
Suppose -359 = 2*f - 3*j, -2*f - 335 = -0*f + 5*j. Suppose 0 = -r + 6*r + 50. Does 7 divide -8*(f/r)/(-5)?
True
Does 15 divide (-1 - 517)/((-8)/14 + (-36)/(-112))?
False
Let m = -13 + 29. Let k(a) = -20 + 2 + m*a**2 - 2*a - 17*a**2 - 11*a. Is k(-7) a multiple of 4?
True
Let j be (36 + -31)/(2/1382). Suppose 2*c - 2295 = -5*l, -2*c + j = c - 5*l. Is 33 a factor of c?
False
Let u be 4/(6/8 - (-6)/24). Suppose 4*n - 8*n = 3*q - 69, 0 = u*n - q - 89. Does 21 divide n?
True
Let i be 84/(-22) + 4 - 35/11. Let a be (i/12*6)/(4/(-8)). Suppose a*d + 36 - 126 = 0. Is d a multiple of 3?
True
Let a be -3 - 11/(11/3). Is 14 a factor of (13 - 134/a)*(41 + 1)?
True
Let l = 15497 - 9865. Does 32 divide l?
True
Suppose -3*a = 40*n - 38*n - 22434, 0 = -3*a - n + 22425. Is a a multiple of 8?
True
Does 13 divide (1/(2 + -7))/(-15 - (-31477017)/2098470)?
False
Let w be -5 - 36/(-6) - -47. Suppose 38*o = w*o - 1520. Does 8 divide o?
True
Suppose -57*v + 21*v = -44188 + 3184. Does 37 divide v?
False
Suppose 2*s = 2*t - 16, -2*s + 4*t + 4 - 22 = 0. Let m(d) = -12*d - 21. Is m(s) a multiple of 9?
True
Let x = 172 - 172. Suppose -3*g + 4*s + 1424 = x, 6*g - g - 4*s - 2384 = 0. Does 9 divide g?
False
Let d(b) = 7*b**2 - 80 - 87 + 243 - 3*b - 79. Suppose 3*g + 19 = 7. Is d(g) a multiple of 14?
False
Suppose 2*r - 4*l = 8342, 138*l - 141*l - 12519 = -3*r. Is 25 a factor of r?
True
Is 3 + -1 + 707 + (-356)/89 a multiple of 3?
True
Let m(o) = -5*o**3 + o**2 - 7*o + 6. Let i(v) = v**3 + v - 1. Let l(j) = -4*i(j) - m(j). Let g be l(1). Is 6 a factor of 47 + (-4)/g + 0?
False
Let o(q) = 2*q - 1. Let m(u) = 558*u + 18. Let k(h) = m(h) - 30*o(h). Is k(1) a multiple of 7?
True
Let g = 25167 + -17847. Does 20 divide g?
True
Does 79 divide (-1776879)/(-273) + 5/(-7)?
False
Suppose -2*y - 2 = -y, 3*y = -5*k + 2019. Let i = -223 + k. Suppose 0 = -3*v + v + i. Does 24 divide v?
False
Let o(s) = 55*s**3 + 2*s - 2. Let a(d) = 27*d**3 + d - 1. Let w(u) = -5*a(u) + 2*o(u). Let p be w(1). Is p*(-6)/(-1 + 3) a multiple of 11?
False
Is 14250348/1638 - (-6)/39 a multiple of 145?
True
Suppose 63*l = 65*l - 12, 3*l - 80882 = -14*q. Is q a multiple of 4?
True
Suppose 2*q + 14 = 22. Suppose -f = q*p + 1667, p + 3*f - 2*f + 419 = 0. Let j = -245 - p. Does 30 divide j?
False
Is ((-38178)/72)/(13/16 - 1) a multiple of 2?
True
Suppose -2*i = -44*i + 277704. Is i a multiple of 29?
True
Suppose -b = -2*n + 29438, 291*n + 5*b = 293*n - 29414. Does 34 divide n?
True
Suppose -4*u = 5*q + 20049 - 119671, -5*q = 2*u - 49796. Does 232 divide u?
False
Let l be (30/(-6) + 7)/1. Suppose l*s + 2*r = 5*s - 2461, 5*r = 4*s - 3286. Is s a multiple of 10?
False
Let k(c) = c**3 - 32*c**2 + 70*c - 41. Let a be k(30). Let l = -84 + a. Is 11 a factor of l?
False
Suppose 0 = -f - 4, -4*y + 60*f = 63*f - 26600. Does 15 divide y?
False
Let r be -3 - (318/(-66) + 4/(-22)). Suppose -n - r*n = n. Suppose n = 4*z - 413 - 203. Is z a multiple of 22?
True
Is (-2192)/(-11508) + (-1106020)/(-42) a multiple of 63?
True
Is 4 a factor of (-1 + -1 - 9/(-18))*-576?
True
Let y = 4623 + 4392. Does 16 divide y?
False
Suppose -d - 3*n - 53 = 0, -3*d + 5*n = 20 + 97. Let y = 484 + d. Is 40 a factor of y?
True
Is 40 a factor of (-132)/(-18)*(-1)/(-8)*-18*-240?
True
Let c(p) = p**3 - 2*p**2 + p + 260. Let g = 530 + -530. Is c(g) a multiple of 15?
False
Let y(q) = -9*q - 2. Let p be y(-2). Let b(d) be the first derivative of 7*d**2/2 + 4*d - 723. Is b(p) a multiple of 12?
False
Let u(k) = 2*k**3 - 66*k**2 - k + 38. Let w be u(33). Does 2 divide (w + 139)/6 - 1?
False
Let w be (1650/11 + -8)/((-4)/(-138)). Is 56 a factor of 1/(-2)*-1 + w/6?
False
Let h(d) = d - 5. Let s be h(1). Let c be (3 + 1)/(8/s + 4). Suppose -50 = -c*n + n. Is n a multiple of 25?
True
Suppose 1309 = -3*m - n, -4*n = m - 9*n + 447. Let z be (-1 + -1)*453/3. Let c = z - m. Does 18 divide c?
False
Let y(s) = -20*s**2 + 33*s - 112. Let r(m) = -7*m**2 + 11*m - 37. Let j(i) = 17*r(i) - 6*y(i). Is 10 a factor of j(15)?
False
Let d be 0*((-232)/40 - -6). Suppose d = -21*b - 2290 + 15310. Does 21 divide b?
False
Is ((-12544)/(-7))/14*(-15)/(-2) a multiple of 16?
True
Let u(a) = 132*a**3 + 4*a**2 - 4. Suppose -h = -4*q - 18, 4*q - 25 = 2*h - 45. Is u(h) a multiple of 12?
True
Let m = 1069 + 8582. Does 50 divide m?
False
Let o be (-42)/(-28)*(1 + 1). Suppose 0 = -s - 2*s - o*m, 3*m = -5*s + 8. Suppose -s*p - 8 = -3*y + y, -4*p + 76 = 4*y. Is y a multiple of 5?
False
Suppose 2*r - 32 = -4*k, -r - 2*r + 41 = 5*k. Let m(x) = -5 + k - 8 - 56*x. Is 27 a factor of m(-3)?
True
Let o(m) = 54 + 62 - 142 + 144*m + 72*m. Does 10 divide o(1)?
True
Let x = -18 + 20. Suppose -f = -x*d + 15, -5*d + 2*f + 18 = 6*f. Does 29 divide d/(-9)*-57 - -3?
False
Let r(y) = -7*y + 165. Let c be r(21). Suppose -c*n + 3993 = 249. Is 16 a factor of n?
True
Let r = -1599 - -1607. Let a(g) = -6*g - 16 - 6 + 20*g. Is a(r) a multiple of 9?
True
Let f = -3451 + 12191. Is 8 a factor of f?
False
Let i(t) = 2*t**2 - 2*t + 12. Let y be i(-17). Let p = 16 + y. Is p a multiple of 64?
True
Is 45 a factor of (3 - 5)/(-8) + 6546/48*42?
False
Suppose 6*t + 46 = 28. Does 15 divide 5 + ((-2)/(-4))/(t/(-552))?
False
Let d(w) = -219*w + 1583. Is 419 a factor of d(-98)?
True
Suppose -8*y - 5*r - 2 = -7*y, 0 = 3*y + 4*r - 38. Is (10/2 + 0)/(y/1008) a multiple of 56?
True
Let u(l) = l**3 + 6*l**2 + 8*l + 7. Let f be u(-3). Let h = f - 10. Suppose -4*t + 3*v + 179 = 39, -4*v = h. Is 7 a factor of t?
True
Does 15 divide -14*1/(-28) - 73794/(-12)?
True
Suppose 339 = 2*x + 291. Suppose -38*b + x*b = -3220. Does 8 divide b?
False
Let i = 1794 + -1049. Suppose -2*d + 3050 = 2*d - 2*k, -d = -4*k - i. Suppose -12*t + d = -495. Is 5 a factor of t?
True
Suppose 7*k + 26 = -58. Let q be (-3)/(-18) - (-2)/k. Suppose q = -3*f - f + 312. Does 13 divide f?
True
Suppose 1173*q - 23806 = -3*g + 1171*q, -2*g + q = -15880. Does 18 divide g?
True
Let z = -3170 - -3928. Is z a multiple of 12?
False
Is 27 a factor of ((-14)/(11 + -4))/(6/(-58872))?
False
Suppose -19*f - 4*w + 356 = -14*f, -f = -3*w - 75. Is 6 a factor of f?
True
Let m = -10415 - -12447. Is m a multiple of 16?
True
Let p = 105 + -101. Suppose p*l + 65 = -l - 5*k, -5*l - 2*k - 65 = 0. Is 2/l - 1185/(-13) a multiple of 13?
True
Let u = 1356 + -866. Is u even?
True
Suppose -5*i + 205 + 794 = 2*k, k - 600 = -3*i. Let g be -1 + 10/16 + i/24. Suppose -845 + 237 = -g*v. Is 19 a 