
Let s = 75 - 72. Suppose -s*k - 14 = -287. Is 7 a factor of k?
True
Let i = 30 + 66. Let h = -31 + i. Is h a multiple of 19?
False
Does 11 divide (-269104)/(-16) + (-9)/((-81)/(-99))?
True
Let a = 215 + -210. Suppose 1320 = 3*y + a*h, -10*h = -5*y - 7*h + 2200. Does 20 divide y?
True
Let c be (1*4)/((-1)/(-3)). Suppose -5*q = 13*q - 162. Is (-3 - c)*(-1 - 69/q) a multiple of 13?
True
Let x = 12538 - 3952. Is 19 a factor of x?
False
Let m = 154 - 141. Suppose m*b - 96 = 814. Does 10 divide b?
True
Let n(j) = -j**3 + 4*j**2 + 16*j - 53. Let b be n(5). Let i(x) = 128*x - 52. Does 20 divide i(b)?
False
Suppose 79*p - 76*p + 4*w = 177050, 5*p - 295060 = -2*w. Is 21 a factor of p?
True
Let o = 14158 + -2003. Is 85 a factor of o?
True
Let n be 0 - -138*(-3)/(-2). Suppose -89*v + 440 = -94*v. Let i = n + v. Does 17 divide i?
True
Let z(g) = -g**3 + 3*g**2 + 3*g - 1. Suppose -3*a - 2*a + 15 = 0. Let j be z(a). Let m(s) = s + 17. Is 3 a factor of m(j)?
False
Let a(i) = i**3 - 32*i**2 + 48*i + 4. Let m be a(20). Does 21 divide m/(-10) - (-12)/(-20)?
False
Is (-201792)/(-168) - (-40)/(-35) a multiple of 40?
True
Let d = 353 - 224. Suppose 3*b = 3*k + d, 3*k + 70 = 4*b - 98. Is (6/(-1))/(b/14 + -3) a multiple of 14?
True
Let w(k) = 4*k + 76. Let u be w(-18). Suppose 3*z - 657 = -3*a, -4*z = u*a - a - 655. Is a a multiple of 23?
False
Let t(j) = j**3 - 16*j**2 - 11*j - 26. Let w(z) = 2*z**3 - 5*z**2 - 6*z + 7. Let p be w(5). Suppose g = 7*g - p. Does 26 divide t(g)?
False
Let l(t) = -t**2 - 14*t - 31. Suppose 5*j + 4 = -46. Does 2 divide l(j)?
False
Does 79 divide 259/777 - 803/(-3)?
False
Let d = -71 - -75. Suppose 0 = 4*k + f - 12, -3 - 9 = -4*k + d*f. Suppose -3*s + 250 = -2*q + 6*q, k*s = -5*q + 314. Is 32 a factor of q?
True
Let d be 6*(-2)/(-4)*-2. Let l(s) = -8*s**2 - 12*s - 26. Let f(a) = 17*a**2 + 26*a + 57. Let y(n) = -4*f(n) - 9*l(n). Does 42 divide y(d)?
True
Let b = 3010 + -1187. Is b a multiple of 18?
False
Is 66/(-15) - -3 - ((-240402)/30 + 5) a multiple of 51?
True
Suppose 6*m - 11*m - 3415 = 0. Let j = -16 - m. Let u = j - 385. Is 31 a factor of u?
False
Let j = -19 + -16. Let q = j + 36. Is 3/((-158)/164 + q) a multiple of 41?
True
Suppose 0 = -k - 2*x, -5*k + 5*x = -11 - 4. Suppose 0 = 5*i - 3*l - 145, -k*l = -5*l + 15. Is i a multiple of 10?
False
Suppose 3*h = 8*u - 12*u + 1500, 5*u = 3*h + 1875. Let t = 674 - u. Is 23 a factor of t?
True
Let d(k) = -840*k + 9096. Is 76 a factor of d(-6)?
True
Suppose 0 = -c + 3*c + 102. Let d = c + 48. Is 13 a factor of (-88)/d + (-10)/(-6)?
False
Suppose 4*c = -6*c. Let o(j) = 2*j**3. Let p be o(c). Suppose p = v - 4*y - 54, -6*y = -3*v - 3*y + 189. Does 22 divide v?
True
Let x be 4 - (-12)/18*(-6)/1. Suppose -3*c = -4*c + 5*a + 376, x = -3*c + 2*a + 1167. Is 17 a factor of c?
True
Let s(l) = -5*l**3 - 2*l**2 + 20*l + 59. Is 7 a factor of s(-8)?
True
Suppose 4*j - 6*j - 2557 = -5*u, 4*j = -u + 507. Suppose 3*i + v = u, 3*i + 2*v + v = 519. Is 34 a factor of i?
False
Suppose 4*i - 497*k - 6032 = -493*k, -5*i + 7508 = 3*k. Does 16 divide i?
True
Suppose 11 = 6*g - 13. Suppose -o = -3*s + 175, 0 = g*s + 4*o + o - 265. Does 20 divide s?
True
Suppose 5*f = 4*k + 25, -1 = -2*f - k + 9. Suppose f*q = -x + 34, 5*q = x - 4*x + 42. Suppose q*w + 2*w = 392. Is w a multiple of 41?
False
Suppose -16*b - 4*s = -14*b - 1504, 4*s - 4 = 0. Is b a multiple of 17?
False
Let i = 47 + -37. Let r(u) = 1 + 6 + u + i*u**2 - 5. Does 9 divide r(3)?
False
Suppose -10*s = 3902 - 12022. Suppose 29 = 5*w - 1. Does 18 divide s/42 - 2/w?
False
Suppose 0 = -2*x - 72 + 272. Let z = 28 + x. Does 16 divide z?
True
Let d(l) = l**3 - 7*l**2 + 9*l + 9. Let w be 95/20 - (-4)/16. Let v be d(w). Is 42 a factor of 1134/72*v*2?
True
Let c(p) = 101 + p**3 + p**2 + 132*p - 134*p + 0*p**3. Let n be c(0). Suppose 37 = 3*o - n. Is o a multiple of 22?
False
Let q = -3161 - -3479. Is 2 a factor of q?
True
Suppose -2119 = -416*i + 414*i - x, -x + 1 = 0. Does 87 divide i?
False
Suppose d - 12722 = -5*w, -5*d + 9*d + 2*w = 50816. Is d a multiple of 29?
True
Let v be (-2)/30*-3 + (-296)/(-20). Let a(r) = r**3 - 14*r**2 - 11*r - 36. Let s be a(v). Is 24 a factor of 13/(156/80)*s?
False
Suppose 4*s = -3*r + 21 + 36, -5*r + 3*s = -66. Suppose -5*q + r = 2*j - 3*j, -5*j = 3*q - 9. Does 7 divide -5 - j - (-45 + 1)?
False
Suppose -3*l + 209*i = 212*i - 1866, -l + 642 = -3*i. Is l a multiple of 57?
True
Suppose 3*j - 7*j - 4*t - 164 = 0, 4*j + 162 = -3*t. Let l = j + 63. Is l a multiple of 4?
True
Suppose -4855*i + 368288 = -4823*i. Does 26 divide i?
False
Suppose -2412 = -2*t - 3*w, 1654 - 7706 = -5*t - 2*w. Does 3 divide t?
True
Let s(y) = -1 - 2*y + 3*y + 0*y + 0*y. Let g be s(0). Is 29 a factor of (g - -117) + -1 + 1?
True
Let n(i) = -86*i - 10. Let d be n(4). Let z = 508 + d. Does 6 divide z/10 - 4/10?
False
Let g(a) = -9*a**3 - 6*a**2 + 36*a + 149. Does 8 divide g(-5)?
True
Suppose 190*t - 162024 = -168*t + 315*t. Is t even?
True
Let d(z) = 3*z**3 - 75*z**2 + z - 22. Let b be d(25). Is (-10304)/(-16) + 9/b a multiple of 20?
False
Let r(a) = -1. Let j(p) = -8*p - 10. Let o(s) = 3*j(s) - 24*r(s). Let z be o(-2). Suppose 2*n - n = 2*q + z, -5*q - 45 = -n. Is 9 a factor of n?
False
Let p be (-4)/(2 + 2) + 3. Suppose p*r + 7 + 5 = 0. Does 8 divide r + 28/4 - (-103 + 0)?
True
Let y(l) = 2*l**3 - l**2 - 3*l + 2. Let m be 48/(-32)*4*1/3. Let s be y(m). Is s/16 - 438/(-8) a multiple of 16?
False
Let y(x) = 2*x**3 + 28*x**2 + 17*x + 28. Suppose -150*b = -152*b - 24. Is y(b) a multiple of 16?
True
Let v be 0 + 2 + 1/(-2)*4. Suppose -2*d = -v*d + 5*j + 29, -2*d - j - 25 = 0. Let p = d + 31. Is p a multiple of 4?
False
Let b(m) = -3*m - 2. Let h be b(14). Let s = -119 - -68. Let x = h - s. Is x even?
False
Let r be 4/(-7 - (-10 - -1)). Suppose 2873 - 765 = r*i. Is i a multiple of 13?
False
Let y = -619 - -1284. Suppose -7*k = -4627 - y. Is 63 a factor of k?
True
Suppose -29*s + 18245 = -9943. Does 6 divide s?
True
Let r = -430 + 432. Suppose 756 = r*m - 3*y, 0 = -3*y - 0*y + 6. Does 30 divide m?
False
Suppose 70*v - 32490 - 30614 = 6*v. Is 11 a factor of v?
False
Suppose -3 = -3*i, -9*g + 4381 = -6*g - 2*i. Suppose 7*w = -173 + g. Is w a multiple of 8?
True
Does 6 divide (2290782/(-516))/(1/(-2))?
False
Suppose -j = 5*q - 629, -492 = -4*q - 18*j + 20*j. Suppose -2645 + q = -3*b. Does 15 divide b?
True
Suppose 0 = -3*m + 15, q + 2*m - 901 + 251 = 0. Is q a multiple of 8?
True
Suppose -x + 582 - 64 = 0. Let b = x - 258. Is 51 a factor of b?
False
Let b(m) = -15*m - 121. Let u(v) = v - 1. Let n(h) = b(h) - 4*u(h). Is 5 a factor of n(-8)?
True
Suppose -44*l + 10*l = 38148. Let s = -147 - l. Is 8 a factor of s?
False
Let n = 536 + -337. Let z = n - 177. Is 11 a factor of z?
True
Let w = 5314 + -2476. Does 86 divide w?
True
Let g(x) = x**2 - 12*x + 42. Let q be g(12). Suppose 0*o - w - q = -o, 5*o + w = 198. Is 20 a factor of o?
True
Let o = -104 - -108. Suppose o*q - 2*q = -5*y + 799, -y + 155 = 2*q. Is 1 + y - -1*(1 - 3) a multiple of 10?
True
Let c = 1109 + 11. Suppose 5*f - 2*s - c = 235, -3*f + 813 = 4*s. Is f a multiple of 5?
False
Let m(d) = -12*d + 78. Let h be m(6). Suppose -5*q + 90 = -h*q + 2*w, -310 = 3*q + 4*w. Let s = -72 - q. Does 15 divide s?
False
Suppose 5*b = 3*a - 2*a - 1406, 0 = 3*a - b - 4162. Suppose 25*l = 14*l + a. Does 21 divide l?
True
Suppose 2*c = 2*x - 24134, 2 = -4*c - 10. Does 13 divide x?
True
Let a be (-7)/(98/(-4))*(2 + 5). Suppose c = -5*l + 23, 0*c - a*c - 4 = 0. Suppose 0 = -l*s + 73 - 13. Is 2 a factor of s?
True
Let c be ((-3)/3 - 46)/(4 - 3). Let p = 50 + c. Suppose -j = -5*l + 86, p*l - 2*j = -l + 64. Does 4 divide l?
False
Let d = -72 - -69. Let b be -2*d/((-15)/(-110)). Suppose 40*j + 764 = b*j. Does 27 divide j?
False
Suppose -2*q = 2*j - 8, 2*q + 22 = -j + 27. Suppose -j*s + 387 = -5*k, 11*s + 4*k = 16*s - 645. Is s a multiple of 15?
False
Suppose 0*s - 196909 = -63*s + 284285. Is s a multiple of 168?
False
Let w(m) = -m**3 - 18*m**2 + 41*m + 25. Let d(a) = a**3 - 7*a**2 - 12*a + 12. Let k be d(8). Let l be w(k). Suppose 2*o - l*o = -81. Is 27 a factor of o?
True
Let g = 256 + -383. Let w = g + 88. Let m = 97 - w. Is 17 a factor of m?
True
Let o = -40 + 30. Let q be (-5 + o/(-2))*1. Let k(i) = i**2 - i + 85. Does 24 divide 