+ 3*l = f + 247, 5*f = -q*l + a. Does 19 divide f?
False
Suppose -201*f + 203*f - 3056 = 0. Suppose 8*h + 208 - f = 0. Is h a multiple of 11?
True
Let s(f) = -366*f + 1522. Is s(-125) a multiple of 8?
True
Suppose -71*t + 85*t + 140 = 0. Does 8 divide ((-24)/t)/(1/((-5000)/(-15)))?
True
Let g = -282 + 131. Let t = g + 208. Is t a multiple of 57?
True
Let r = -16 + 55. Let p be 5 + -3 + r + 0. Let s = 93 + p. Is 11 a factor of s?
False
Suppose -4*b + 5*l + 31 = 0, 0*b - 2*b + 2*l + 14 = 0. Let i be 118 + (8/4 - b). Is i/16 - 2/8 a multiple of 7?
True
Let q = 2653 + 1600. Is 62 a factor of q?
False
Let x(d) = 4*d. Let q be x(2). Let o be q/20 - 583/(-5). Let k = o - 23. Is 14 a factor of k?
False
Let l(u) = 53*u - 168. Let v be l(8). Let a = -3 + 7. Suppose a*i - v = 248. Is 14 a factor of i?
True
Let v be 4234/8 - -3*(-6)/72. Let c = v - -173. Is 37 a factor of c?
False
Let a(d) = d**3 - 29*d**2 - 110*d - 66. Is a(34) a multiple of 278?
False
Let w = 28808 - 24954. Is w a multiple of 105?
False
Let m be (-4464)/(-12)*(0 - (-30)/9). Let p = m - 416. Is p a multiple of 16?
False
Suppose -5*g + 6*g = -5, -20286 = -y - g. Does 103 divide y?
True
Let i(a) = -2*a**3 + 149*a**2 - 83*a + 229. Is i(73) a multiple of 13?
False
Suppose -l = 5, 3*h - 2*l + 18 = 28. Let v(s) = s**2 + s + 1. Let i(k) = -5*k**2 - 8*k + 40. Let y(r) = i(r) + 6*v(r). Does 10 divide y(h)?
False
Suppose 0 = 6*r + 17858 - 1670. Let k be 5/4 + -2 - r/(-8). Let a = -193 - k. Is 29 a factor of a?
True
Let k = -7 + 1723. Is k a multiple of 52?
True
Suppose 12*t - 15*t + 126 = 0. Let n(v) = -v**3 + 76 - v - v**2 + t + 0*v + 67. Does 37 divide n(0)?
True
Let x be (39/6 + 6)*(-4)/2. Let l be 60/x + 3/(-5). Does 14 divide (0 + 3)/((-261)/(-84) + l)?
True
Let j be (-21478)/(-46) - (0 + 18/(-207)). Let k = j + -83. Does 62 divide k?
False
Let z = -63 + 441. Let n = 14 + z. Does 56 divide n?
True
Let x(b) = -6*b + 14 + 23 + 5 + 2. Is x(-11) a multiple of 27?
False
Let n = 20120 - 12666. Does 165 divide n?
False
Suppose -8133 = -4*z + 3*w, 744*z = 747*z - 5*w - 6108. Is z a multiple of 9?
False
Let c(u) = 7460*u**2 + 550*u + 1105. Is 235 a factor of c(-2)?
True
Let a = 7739 + -5349. Suppose -a + 275 = -9*d. Suppose 14*v - 465 - d = 0. Does 36 divide v?
False
Let l = -20656 + 41375. Does 183 divide l?
False
Let x be (-4)/((-4)/5) - (0 - -3). Suppose 5*g - x*y - 6 = 4*g, -3*y = 2*g + 23. Is 44 a factor of (1 - -5 - 17)/(1/g)?
True
Let p be (2 - 3)*-3 - -1. Let w be -2*p/8 - -7. Suppose f = 20 - w. Is f a multiple of 5?
False
Let j(i) = -1198*i + 2272. Is 21 a factor of j(-5)?
False
Suppose -4*b = 5*u - 2124, -74 + 86 = 2*b. Is 12 a factor of u?
True
Let g(i) be the third derivative of 0 + 0*i + 6*i**2 - 1/60*i**5 + 14/3*i**3 + 1/60*i**6 + 0*i**4. Is 19 a factor of g(0)?
False
Let x = 2 + 0. Is 39 a factor of 507 + (-6 + x - -4)?
True
Let s be (-6)/24 + 62/(-8). Let z be s/(((-1)/(-15))/1). Is 15 a factor of z*(24/(-9))/4?
False
Let q(f) = 154*f**2 + 172*f - 10. Is q(3) a multiple of 11?
True
Let q(f) = -267*f - 126. Let m be q(-8). Suppose 0 = 3*r + 5*w - m, 3*r + 0*r = 3*w + 2034. Is r a multiple of 15?
True
Suppose 2159 = -7*p - 10*p. Let d = -98 - p. Does 10 divide d?
False
Let a = -16106 + 22764. Is a a multiple of 23?
False
Suppose 3*o - 3479 = -5*f + 81552, -2*f = 4*o - 34004. Is f a multiple of 99?
False
Let x(r) be the second derivative of -11*r**5/120 - 13*r**4/8 - 9*r**3/2 + 21*r. Let v(o) be the second derivative of x(o). Is v(-8) a multiple of 8?
False
Suppose -5*n = y - 14621, n - 499*y = -495*y + 2941. Is n a multiple of 45?
True
Let h(f) = -10*f - 244. Let a be h(49). Let b = -250 - a. Does 22 divide b?
True
Let r = 461 + -311. Let u = 98 - r. Is 6 a factor of -2*((-8)/u + (-1923)/78)?
False
Suppose -n = 3*d - 1965, 4*d - 5*n = -7*n + 2620. Suppose d = z - 4*s, 6*z - z = s + 3218. Does 8 divide z?
False
Let g be (-2 + -1 - 0) + 0. Let f = 187 - 144. Let p = g + f. Does 9 divide p?
False
Let a(l) = 7*l**2 - 23*l - 37. Does 51 divide a(17)?
False
Does 19 divide (10/3)/((945/4617)/35)?
True
Let s(v) be the second derivative of 7*v**4/6 + 2*v**3/3 - 3*v**2 + 2*v + 34. Does 6 divide s(-3)?
True
Let r(b) = b**3 + 8*b**2 - 2*b - 2. Let z(y) = -y**2 - 13*y + 8. Let u(h) = -2*h - 10. Let m be u(2). Let o be z(m). Is r(o) a multiple of 12?
False
Does 128 divide (1/3)/((-14)/(-256830))?
False
Let m(p) = -p**2 - 26*p - 47. Let d be ((-4)/(-1))/((-27)/135). Is 10 a factor of m(d)?
False
Let u(p) = p**2 + 12*p + 29. Let o = 469 - 469. Is u(o) a multiple of 29?
True
Let n be (-4 + 1)/((-39)/26). Suppose -n*q + 402 = 8*p - 6*p, 0 = -2*p - 6. Is q a multiple of 4?
True
Suppose 14*p - 2401 = 483. Suppose 2*v = 4*z + 7*v - 810, 3*v = -z + p. Is z a multiple of 5?
True
Suppose 193*x - 276594 = 187*x. Is 11 a factor of x?
False
Let k = -4680 - -16193. Does 116 divide k?
False
Let n = 118 + -115. Is 16809/26 + n/(-2) a multiple of 41?
False
Suppose 0 = -4*s - 4*j + 508, -5*s + 2*j = -285 - 336. Let o = 155 - s. Is o a multiple of 6?
True
Let x(i) = -6*i - 5. Suppose 0 = 5*q - j - 0*j + 15, q - 3*j + 17 = 0. Let t be ((-3)/q)/(6/(-60)). Does 17 divide x(t)?
True
Let j = 3 - -6. Let a = 112 - 70. Suppose 2*q + 3 = j, -3*l + 3*q = -a. Is 17 a factor of l?
True
Suppose -10*h + 4*i = -59378, i = -h - 3*h + 23746. Is 76 a factor of h?
False
Does 5 divide 4 + -3 + (-10)/8 + (-39505)/(-20)?
True
Suppose -3*b = 11*b + b - 67500. Is 25 a factor of b?
True
Suppose -5*t - 309 = -109. Let u = 42 + t. Is (-438)/(-24)*u - (-6)/4 a multiple of 15?
False
Let h(f) = -3*f**3 + 20*f**2 + 10*f - 22. Let o be h(7). Let q(y) = -1311*y**3 - 4*y**2 - 5*y. Is q(o) a multiple of 10?
False
Suppose -10 = -5*j - 5*i, 0*j = 4*j + 2*i - 8. Let a be 82 + (3*1 - (4 + j)). Suppose -262 - a = -l. Does 31 divide l?
True
Suppose -2606 = -4*m - 5*x, -3*x - 1 - 5 = 0. Let t = m + -368. Is t a multiple of 42?
False
Let r(p) = 16*p**2 + 2*p. Suppose 0 = -18*w + 307 - 109. Suppose -5*a + w = 3*h, -5 = -0*a - a - 2*h. Does 9 divide r(a)?
True
Let r = 9375 - 1523. Does 52 divide r?
True
Suppose 5067 = -37*t + 849. Let v = t + 552. Is 18 a factor of v?
False
Let a(j) = -27*j + 1. Let c be a(1). Suppose 0 = -3*r + 5*i - 71, -2*i - 245 = 2*r - 171. Let g = c - r. Does 2 divide g?
True
Suppose 4*o = -2*t - 70, 3*t = -5*o - t - 86. Suppose -5*m - 10 + 5 = 0. Is (-879)/o + -1 - m/6 a multiple of 6?
True
Let g(z) = -z**3 - 4*z**2 + 4*z - 7. Let v be g(-5). Let q be (-1 - (-20)/8)*v. Does 15 divide 44 + (-1 - q - -2)?
False
Let z(c) = 5*c - 2. Let i(a) = 2*a - 23. Let v(m) = -i(m) + z(m). Let l = -7 - -15. Is v(l) a multiple of 4?
False
Let d(c) = -9 - 20*c**2 - 3*c + 10*c**2 - 2*c + 9*c**2. Let i be d(-10). Let u = -44 - i. Does 8 divide u?
False
Let f be (-8)/(-56)*14 + 1 + -3. Suppose -3*j + 4365 = 4*q, -5*q = -f*q - j - 5461. Is q a multiple of 28?
True
Suppose -33324 = -4*s - 4*t, 11*s - 5*t = 10*s + 8307. Is 58 a factor of s?
False
Suppose 67*q - 46172 = -11533. Does 11 divide q?
True
Let i(u) = u**3 - 13*u**2 - 2*u + 29. Let k be i(13). Suppose -320 = -3*d + 31. Suppose -d = -k*l - 42. Is l a multiple of 18?
False
Let w be 2*(-3)/3*-38. Suppose -i + 79 = q - 3*q, 2*i + w = -2*q. Is 2 a factor of q/(-18)*4 + 1/3?
False
Let b(o) = 8*o + 3. Let a be b(9). Let f = a - 73. Let x = f + 18. Does 4 divide x?
True
Let q = -503 - -862. Let j = 389 - q. Is j a multiple of 4?
False
Let i(a) = -a**3 - 11*a**2 + 27*a + 16. Let b be i(-13). Suppose -3*w - w + 3*p = -181, -p = b*w - 152. Is w a multiple of 10?
False
Suppose -18*f - 14*f = -9*f - 280278. Does 42 divide f?
False
Let b(s) = -831*s**2 - s. Let r be b(1). Is (r/(-48))/((-1)/(-3)) a multiple of 5?
False
Let s(l) = 540*l - 925. Is s(96) a multiple of 38?
False
Suppose -2*w = -4*m - 60, -5*w + 4*m + m + 130 = 0. Let h be (-177)/(-4) - (w/(-8))/(-11). Is (-8)/h + 620/22 a multiple of 7?
True
Let r(t) = 71*t + 1889. Is r(9) a multiple of 77?
False
Let s be 4/6 - (-6)/(-9). Suppose y + 11 = -3*d, 2*d + s*d - 3*y = 0. Is 4/6 + (-76)/d a multiple of 13?
True
Let a = 8733 - 4897. Is 28 a factor of a?
True
Let q = -307 + 311. Suppose -q*y + 378 = 90. Does 14 divide y?
False
Let i be ((-4)/6)/((-24)/180). Suppose i*v = 3*w - 205, 3*v - 4*v = -3*w + 221. Does 5 divide w?
True
Let u be (-168)/16*(-6)/9. Supp