*j. Suppose d = -197*w + 200*w. Does 8 divide w?
True
Let i(t) = t**3 - 2*t**2 - 4*t + 1147. Let h be i(0). Let p = 2033 - h. Does 82 divide p?
False
Suppose 2*w = -2*h + 2634, -24*h + 22*h + 2618 = -2*w. Is 36 a factor of h?
False
Suppose 226*c = 19079 + 1698747. Does 45 divide c?
False
Let r(v) = -2*v**3 + 23*v**2 + 14*v - 21. Let i be r(12). Suppose y - 87 = i*d, 4*y - 5*y + 79 = -7*d. Is y a multiple of 4?
False
Let a = 5 - 21. Let h be ((-14)/16)/7 - 34/a. Suppose 2*p - k - 41 = 0, -3*p + h*k = 2*p - 102. Does 7 divide p?
False
Let w(v) = -v**2 - v + 56. Let s be w(-8). Suppose 2*o + 3*p = o + 67, -2*o + p + 141 = s. Is o a multiple of 2?
True
Let h(q) = q**3 - 5*q**2 + 5*q + 18. Let a = 0 + 3. Suppose 0 = -a*w + 10 + 8. Is h(w) a multiple of 21?
True
Let x = 44 - 207. Let h = x + 321. Does 14 divide h?
False
Let g = -1413 - -425. Does 6 divide (g/78)/((-10)/9 + 1)?
True
Let o = 267 + -262. Does 7 divide (-23)/115 - (-1166)/o?
False
Let b = -118 - 306. Let o = -282 - b. Does 10 divide o?
False
Let i = 193 + -189. Suppose 2*b + 6 = 0, i*m + m - 44 = -2*b. Does 5 divide m?
True
Let o(n) = 1281*n + 3986. Is 38 a factor of o(46)?
False
Let g = 207 - 204. Suppose -g*d + z = -691, 2*d + 143*z = 138*z + 489. Is d a multiple of 11?
False
Suppose 2*w - 5*z = 59, -3*w + 79 = w + 3*z. Suppose w*v = 8*v + 2184. Is v a multiple of 10?
False
Suppose -118*l + 16312 = 3*g - 114*l, 4*g - 21742 = 2*l. Does 18 divide g?
True
Let h = 176 - -733. Let p be 1/(6/h) + 1/2. Suppose -4*z = -0*z - p. Is z a multiple of 5?
False
Let a be 1*(-1)/4 + 360/32. Let s(k) = -3*k - 1 - 2*k - a*k**3 - 4*k**3 + 3*k. Is 4 a factor of s(-1)?
True
Let c be 1*(0 - (-4 - -5)). Does 4 divide (15 + -13)/((-2)/19)*c?
False
Let b = 219 - 199. Is 27 a factor of 324/b*(-1 - -26)?
True
Suppose -99*a = -3*r - 97*a + 44367, -4*a = 0. Is 100 a factor of r?
False
Suppose 628547 = 291*x + 307720 - 747725. Is x a multiple of 23?
False
Let s = -460 + 473. Suppose -2807 - 235 = -s*t. Does 78 divide t?
True
Suppose 2*k = 4*c - 24, -4 = -4*c - 0. Let f be (33/(-5))/(2/k). Is f/198 + 478/24*2 a multiple of 8?
True
Let q = -42 - -41. Let a be 4/(q + -19) - (-148)/(-10). Is 9 a factor of 12/a + (-94)/(-5)?
True
Let c(n) = 2*n**3 - 11*n**2 + 4*n - 3. Let v be c(7). Let o be v/(-1)*3/(-4). Suppose 0 = 4*z, z = 5*l - 2*l - o. Is l a multiple of 11?
False
Suppose 30*a + 61 + 28 + 1 = 0. Let l(r) = 5*r**2 + 3*r + 1. Let b(m) = -15*m**2 - 8*m - 3. Let s(g) = -6*b(g) - 17*l(g). Is s(a) a multiple of 11?
True
Suppose d - 49 = 2*a, -4*d + 3*a + 121 = -65. Suppose 3*o - d = -5*v, -2*v - 2 + 19 = o. Suppose n - 80 = -2*g, 2*n + v*g = 4*g + 170. Does 18 divide n?
True
Suppose 5*c + p + 14 = 0, -p + 5*p + 6 = 5*c. Is 13/((6 + c)/84) a multiple of 21?
True
Is 64 a factor of 38/57 + (-13246)/(-3)?
True
Let f = 5436 + -3091. Suppose -f - 805 = -5*q. Is q a multiple of 35?
True
Let z be (-20)/(-2) - (-12276)/31. Suppose 6*u = 2*u + 36. Is 11 a factor of ((-2)/u + z/126)*13?
False
Let v = 14841 + -10211. Does 150 divide v?
False
Suppose 2*o + 4*q - 408 = 5*q, -2*o + 2*q = -408. Let b = 527 - o. Is 42 a factor of b?
False
Let h(j) = j**3 + 6*j**2 + 8*j + 56. Let r be h(8). Suppose -5*l + 2*d + r = 0, -4*d = -0*d - 8. Is l a multiple of 51?
True
Let v = 6488 - -8468. Is v a multiple of 134?
False
Suppose -h - 3*h = -5*d - 539, 3*d - 139 = -h. Suppose -5*w + h = -1134. Is w a multiple of 11?
False
Let y(r) = -3*r**2 - 25*r - 35. Let q be y(-6). Suppose q*l = -3*l + 6440. Is 14 a factor of l?
True
Is (1*12864/(-9))/(-3 + (-51)/(-18)) a multiple of 8?
True
Suppose 7*m - 1188 = m. Suppose 0 = 2*n + 5*q - 967, -4*n + 2127 = 5*q + m. Is 13 a factor of n?
True
Suppose r + 25 - 29 = 0. Suppose -4*b - v + 57 = 0, r*b + 4*v = v + 59. Is 39/13 + b + 0 a multiple of 2?
False
Suppose -2*a - 84*u + 91*u = -288, -2*a = -5*u - 276. Is 13 a factor of a?
False
Is 31 a factor of 5 + 0 + (-21046 + 6)/(-8)?
True
Suppose -20536 = -40*c + 6*c - 0*c. Does 87 divide c?
False
Let u(y) = -y**2 + 2*y - 7. Let o be u(3). Let x(b) = b**2 + 6*b + 14. Let i be x(o). Does 14 divide (28/6)/(6/i)?
True
Let j be 1/2 + 9690/60. Suppose -6*f = -j - 564. Is f a multiple of 48?
False
Suppose z + 10 - 14 = 0. Suppose 0 = 3*d + z - 13. Suppose 2*m + t - 4*t - 108 = 0, d*t = 4*m - 210. Is m a multiple of 27?
False
Suppose -3*w - 3 = -3*n, 3 = -2*n + 4*w - 1. Does 17 divide (312/36)/((n/102)/1)?
True
Suppose -3*n = -5*x + 189432 + 64534, 2*n = -x + 50801. Does 17 divide x?
False
Let v = -74 - -76. Suppose v*q - 11*q = -423. Is q a multiple of 3?
False
Suppose 0 = -60*n + 61*n - 90. Does 16 divide 954/4 + 135/n?
True
Let k(d) = -44*d - 227. Let l be k(-7). Suppose -i = -l - 197. Does 67 divide i?
False
Suppose -228 - 798 = 6*r. Let s = r - -85. Is (-1 - (-18)/(-2))*129/s a multiple of 3?
True
Suppose -43*i - 2*i + 26100 = 0. Let r = 590 - i. Does 10 divide r?
True
Let i(w) = w**3 - 15*w**2 + 5*w - 22. Suppose -2*h - 13 = -0*f - 5*f, 5*h - 5 = 0. Suppose z = -3*c, -53 = -f*z + 2*c + 2. Is 10 a factor of i(z)?
False
Let v(a) = 14*a - 117. Let d be v(21). Let g = d + -63. Is 19 a factor of g?
True
Suppose 2*m + 6*m - 16 = 0. Is (m + 3/(-6))*194 a multiple of 10?
False
Let d = -107 + 111. Suppose -5*c + 12 = -c - 2*u, -d = 2*u. Is (c*150/(-9))/(4/(-18)) a multiple of 10?
True
Let h(s) = -34*s**3 + 13*s**2 + 9*s + 9. Is 18 a factor of h(-3)?
False
Suppose 55*a = 6*a + 70609. Suppose -9*k + a = -62. Is 4 a factor of k?
False
Let x = -1016 + 8030. Is 51 a factor of x?
False
Let w = 2490 - 1305. Does 16 divide w?
False
Let u be 156*2/(-6)*31. Let s be (-20)/(-190) - 9/(342/(-148)). Is 1 + s - u/31 a multiple of 2?
False
Let s be 2/3 - (1100/12 - 0). Let o = -88 - s. Suppose 3*p - 55 = -2*f, 2*f = -4*p + o*f + 66. Is 3 a factor of p?
False
Let d(g) = g**3 - 27*g**2 - 4*g - 340. Does 38 divide d(29)?
False
Let c(z) = -22*z**2 + 3*z + 11. Let a(q) = -11*q**2 + q + 5. Let u(o) = -7*a(o) + 4*c(o). Let i be u(-4). Let j = i - -331. Is 16 a factor of j?
True
Let l(a) be the third derivative of a**4/8 + 5*a**3 + 3*a**2. Let v be l(17). Suppose 2*b - v = -1. Does 17 divide b?
False
Let m = -3673 - -3893. Does 20 divide m?
True
Suppose 5*y = -3*w + 1142, 0*y = -y - 5. Suppose 0*f - 2556 = 12*f. Let h = f + w. Does 36 divide h?
False
Let k = -47 + 22. Is 14 a factor of 6/((3/(-6))/(k/2))?
False
Let s = -695 - -2760. Is s a multiple of 36?
False
Suppose -2*t + 1108 = -5*a - 1482, 5*a + 5180 = 4*t. Is t a multiple of 2?
False
Let p be 20456/48 + (-2)/12. Let o be -288 + 7 + -11 - -2. Let q = p + o. Is 31 a factor of q?
False
Let t(v) = -3*v - 45. Let o be t(-16). Suppose -3 = 3*s - o*f, 4*s + 2*f - 1 - 19 = 0. Suppose 48 + 156 = s*d. Is 17 a factor of d?
True
Suppose 586*k = 631*k - 2299905. Does 12 divide k?
False
Let j be ((0/(-4))/(-1))/(6 + -3). Does 9 divide -1 - -227 - 1*(j - -1)?
True
Suppose 0 = -3*w - 4*q + 3, 5*q - 6 = 5*w - 8*w. Does 38 divide 4820/25 + w/(-15)?
False
Is 9 a factor of (-5705)/(-168) + -34 + (-484489)/(-24)?
True
Suppose -3*d = 4*o - 4, d - 2*o = -6*o - 4. Suppose d*c + 356 = 3*b + b, -c = b - 91. Does 18 divide b?
True
Suppose 5*j = 4*y - 17, 4*y + 10*j = 7*j + 9. Suppose 0*o = -5*o - u + 4512, -3*u = -y*o + 2718. Is 14 a factor of o?
False
Let q(h) = -h**2 + 4*h + 1. Let b be q(3). Suppose 16 = m - 9*m. Is 19 a factor of m*(b/(24/(-45)) + -2)?
True
Let q = -10709 + 15273. Is 60 a factor of q?
False
Suppose -3*d + 2*q + 650 = 0, 3*q + 5 = 20. Suppose 0 = 3*t - 4*p - 164, 4*t - p - d = 3*p. Is t a multiple of 14?
True
Suppose 9*v = 28*v - 342. Let f be (-4 - 56/(-12))*v/4. Suppose 0 = t + 2*a - 221, 7*t = 4*t + f*a + 690. Is t a multiple of 15?
False
Suppose b = -4*x - 92, -12 = -5*x + 5*b - 152. Let q be (101 - (-2 + 2)) + 1. Let g = q - x. Is 11 a factor of g?
False
Let t be 15*((-1 - -4) + -2). Does 10 divide ((-423)/t)/((-13)/65)?
False
Suppose -3*s + 3 - 9 = 0. Let f be (-5)/(-2) - (s - -5)/6. Suppose -2*j + 3*m + 343 = 2*j, f*j - 168 = -2*m. Is j a multiple of 17?
True
Let l(k) = 2*k**2 + 14*k + 25. Let r be l(-9). Let a = -60 + r. Is 1/(-3) + ((-219)/(-9) - a) a multiple of 7?
False
Suppose -48399 + 16479 = -40*s. Does 9 divide s?
False
Let x(v) = 17*v**2 + 42*v + 593. Is x(-13) a multiple of 14?
False
Suppose 6*q - q + 2058 = 4*w, -4*q + 525 = w