= f - -37. Does 13 divide w?
False
Let q(j) = -97*j - 556. Is q(-8) a multiple of 22?
True
Let n(f) = f - 11. Let u be n(8). Let g be (-9)/(3*(-2)/(-30)). Let i = u - g. Is i a multiple of 21?
True
Let c(l) = l**2 + 5*l + 416. Is 32 a factor of c(0)?
True
Let d = 291 + 1. Is 16 a factor of d?
False
Let g(j) = -j**2 - 2*j + 639. Let h be g(0). Suppose -2*k + 492 - 65 = -3*y, -4*y = -3*k + h. Does 25 divide k?
False
Let n = 302 + -146. Is 13 a factor of n?
True
Suppose -8*m = -558 - 4650. Does 16 divide m?
False
Let j(n) = -n**3 + 5*n**2 - n - 4. Let i be j(5). Let c = 1 - i. Suppose 0 = 7*l - 95 - c. Is l a multiple of 15?
True
Suppose 4917 - 177 = 15*h. Is 9 a factor of h?
False
Let q(n) = -6*n**3 + 12*n**2 + 21*n + 3. Does 75 divide q(-8)?
True
Suppose 2*u = 66 + 52. Let n(q) = -q**3 + 6*q**2 + q - 7. Let m be n(6). Let d = m + u. Does 15 divide d?
False
Suppose 6*a - 5*a = 0. Suppose 0*g + 125 = 3*s + 2*g, 4*s + 4*g = 168. Suppose p - s = -a*p. Is 12 a factor of p?
False
Let f be 0/(-1)*2/(-4). Suppose -2*q - 2 + 30 = f. Let k = q - 10. Does 2 divide k?
True
Let y(n) = -257*n - 54. Let t be y(-6). Suppose -9*g = -3*g - t. Does 39 divide g?
False
Suppose 5*v - 100 = y, 70 + 60 = 5*v + 5*y. Let z = v + -17. Suppose -z*g + 66 = -30. Does 12 divide g?
True
Let b(d) = d**2 - 3*d - 4. Let r be b(-3). Let f(j) = 545 - 55*j + j**2 - 535 + 41*j. Is 2 a factor of f(r)?
True
Suppose -k = 16*k - 27370. Is 46 a factor of k?
True
Let x(r) be the first derivative of r**3/3 + r**2/2 + 6. Let f be x(-1). Suppose -2*a = -2*m - f*m - 98, 2*m = -5*a + 238. Does 24 divide a?
True
Let q be 1/(3 + (-173)/58). Suppose 0 = -c + 2*n - n + q, -2*n + 283 = 5*c. Is 20 a factor of (2 + 1 + c)*1?
True
Let n(i) = -i**2 - 43*i + 100. Does 2 divide n(-42)?
True
Let n = -256 + 1749. Is n a multiple of 22?
False
Suppose 17*k - 22800 = -8146. Does 50 divide k?
False
Let w(g) = g**2 + 3*g + 5. Let f be w(0). Is (f + 1)*154/44 a multiple of 7?
True
Suppose -o - 2*w = -w - 3, -5*o + 2*w = -15. Suppose o*q + 4*n = 105, -5*n + 68 = 4*q - 72. Suppose -7 + q = 2*s. Is 7 a factor of s?
True
Suppose 3*j + 11 = 29. Let y be (-16)/7 - j/(-21). Is y/(-3 - 556/(-188)) a multiple of 31?
False
Suppose 3*c + 184 - 751 = 0. Is 27 a factor of c?
True
Let s(j) = 21*j - 21. Let w(f) = -63*f + 64. Let k(h) = 7*s(h) + 2*w(h). Does 5 divide k(3)?
False
Let w = 307 - 124. Is 3 a factor of w?
True
Is 166/((-17)/((-34)/4)) a multiple of 3?
False
Let t(f) = 2*f**2 - 13*f + 74 + 7*f + 9*f + 104. Is t(0) a multiple of 37?
False
Let v = 25 + -27. Let j be v/(3/((-45)/6)). Suppose 0 = -j*y + 26 - 11. Does 3 divide y?
True
Suppose -1390*f = -1386*f - 5948. Is 15 a factor of f?
False
Let a(x) = x**3 - x**2 - x + 3. Let n be a(0). Let i be (16065/(-25))/(-7) - (-8)/40. Suppose -n*c = c - i. Is 23 a factor of c?
True
Let j(r) = -r**2 - 3*r + 9. Let l be j(-5). Let x be (-4)/(44/(-40) - l). Suppose -t - 10 = -x. Is t a multiple of 13?
False
Let v = -488 - -1973. Is v a multiple of 11?
True
Let n be (3 - (-54)/(-12))/(2/12). Let w(k) = -8*k - k**2 - 15 - 5*k - 7. Is w(n) a multiple of 14?
True
Let w(l) = -8*l + 1 - 1 - 6. Let c(f) = f**3 - 9*f**2 + 9*f - 13. Let p be c(8). Is 8 a factor of w(p)?
False
Suppose 9*y = 12*y - 345. Suppose 0 = -b - 3*i + 109, b - 2*i = i + y. Is b a multiple of 25?
False
Suppose 2*o + 2*o + 11 = 3*v, v = o + 3. Suppose m - 3 + v = 0. Suppose 5*a + m*l - 86 = 0, 4*a - 4*l = a + 36. Does 8 divide a?
True
Suppose 0 = -o - 5*v + 8, -5*o - 2*v - 2 = 2*v. Suppose 6*i = 47 + 1. Does 10 divide (i/(-8))/(o/134)?
False
Let c(t) = -t**2 - 19*t + 10. Let a be c(-15). Let p = a - 33. Is 28 a factor of p?
False
Let p(z) = -205*z + 55. Does 36 divide p(-5)?
True
Does 13 divide (318/12)/(6/96)?
False
Let h(n) = -n**3 + 6*n**2 + 8*n + 2. Let f be h(7). Suppose -90 - f = -3*v. Suppose 5*m = 98 - v. Does 13 divide m?
True
Let r = 15 - 15. Suppose -o + 16 + 25 = r. Does 21 divide o?
False
Let q(b) = -33*b - 3. Is q(-3) a multiple of 28?
False
Let h(i) = 6*i - 30. Let l(s) = -5*s + 29. Let w(z) = 15*z - 87. Let f(r) = -8*l(r) - 3*w(r). Let y(u) = 7*f(u) + 6*h(u). Is 6 a factor of y(-10)?
False
Let g = -352 - -947. Is 44 a factor of g?
False
Suppose a = 201 + 360. Is a a multiple of 11?
True
Suppose g + 0*g - 13 = 0. Suppose 6*h = 12*h + 24. Let s = h + g. Does 9 divide s?
True
Let p(k) = k + 6. Let o be p(0). Let y be (-2 + -14)*(5 - o). Does 23 divide ((-68)/16)/((-2)/y)?
False
Suppose 2280 = f + 7*f. Does 19 divide f?
True
Suppose -3*z = 3*n, n - 3 = -z - 3*n. Let b be (0/(-1))/(2/z). Suppose -4*s + 23 = -4*g - 65, g = b. Does 15 divide s?
False
Let d(g) = 2*g**2 - 4*g - 11. Let t be (-319)/58 + 1/2. Is d(t) a multiple of 15?
False
Suppose 53 = -8*x - 43. Is 56/x*(-75)/10 a multiple of 4?
False
Suppose -185 = -4*s - s. Suppose 3*u + 24 = 3*j, -5*u = 3*j - 5*j + s. Let v = u - -11. Is 2 a factor of v?
True
Suppose -4*t = 105 - 437. Is 48 a factor of t + (-2 + 4)/(-1)?
False
Let k = 42 + -36. Suppose 5*d = -k*d + 561. Is d a multiple of 13?
False
Suppose 0 = -5*v - 3*c + 24, -2*c + 14 = 4*v + 3*c. Let b be v*((-55)/2)/(-5). Suppose -4*t = -177 + b. Is 12 a factor of t?
True
Let z = 434 + -97. Is z a multiple of 13?
False
Let s(h) = 2*h**3 + 18*h**2 - 4*h**3 + 3*h**3 - 5*h + 26 - 17*h. Does 24 divide s(-19)?
False
Is 25 a factor of (-9423)/(-18) - 2/4?
False
Let k(u) = 6*u**3 + 5*u**2 - 3*u - 4. Let z be k(2). Suppose 4*v - 82 + z = 0. Does 4 divide v?
False
Let z = -24 - -27. Suppose 0 = -z*x - x + 164. Is 8 a factor of x?
False
Suppose 0 = -4*f + 3*f + 160. Let x = 186 - f. Is 8 a factor of x?
False
Let q = -1443 - -3947. Does 82 divide q?
False
Suppose d - 2*r = 14, 5*d = -2*r + 5*r + 35. Let k = d + 33. Is k a multiple of 14?
False
Suppose -20*z + 6464 - 864 = 0. Is 10 a factor of z?
True
Let h = 369 + -303. Is 4 a factor of h?
False
Suppose -5*v + 3*p + 758 = 0, 4*v + p - 636 = -4*p. Does 14 divide v?
True
Suppose 2*m = -2*h - 0 - 2, 3*h + 13 = 2*m. Is 13 a factor of (-2)/3*1 - 206/h?
False
Let c(u) = -u**3 + 12*u**2 - 10*u - 7. Let q be c(11). Suppose -x = q*x - 355. Let j = x + -20. Is 15 a factor of j?
False
Suppose 3 = 3*x + 4*w, 0 = -3*x + 4*w - 0*w + 27. Suppose -4*n - 48 = -4*r, 0 = -2*r - r - x*n - 4. Is 23 a factor of (-12)/(-42) + 481/r?
True
Suppose -5 - 163 = -3*g. Is 30/35*g/12 a multiple of 4?
True
Let l be (-20)/(-2)*(-133)/(-38). Suppose 33*x = l*x - 16. Is x a multiple of 4?
True
Suppose 3*c + 4*j - 55 = 0, -5*j - 13 = -c - 1. Suppose 0 = 2*k - 23 - c. Is k a multiple of 20?
True
Let p = 17 + -15. Suppose -5*f - p*w = -4*f - 184, 4*w = -4*f + 716. Does 13 divide f?
False
Let b(j) = -j**2 - 16*j + 13. Let s be (-2)/(-4)*72/(-4). Is b(s) a multiple of 13?
False
Let a = 42 + -70. Let s = a + 45. Does 3 divide s?
False
Let q = 10 + -9. Suppose 2*h + f = q, 2*f - f = -h + 1. Suppose 0 = -3*p - h*p + 102. Is p a multiple of 17?
True
Let j be (-1)/7 + (-925)/(-7). Suppose 3*i + i - j = 0. Does 15 divide i?
False
Is 13 a factor of 8/(-6) + (-268)/12*-25?
False
Let p(j) = -j**3 + 7*j**2 - 32*j + 145. Is 7 a factor of p(5)?
True
Is 24 a factor of (25/(-15))/(4/(-2652))?
False
Suppose 2 = -b, 3*b + 3 = -3*w - 9. Is 11 a factor of (w + 1 + 1)/(-2) - -16?
False
Let s be 1/(10/12 - 6/9). Suppose -4*u + s*u - 16 = 0. Is u a multiple of 4?
True
Let m be (-6*(-8)/(-12))/(-4). Suppose -f + m = k, 4*k + k = f + 29. Does 15 divide 4 - k/(10/(-58))?
False
Let c(n) = -6*n**2 + 59*n - 95. Let m(b) = -b**2 + 12*b - 19. Let f(h) = -2*c(h) + 11*m(h). Is 31 a factor of f(-18)?
False
Let p(n) = -n + 7. Let o be p(5). Does 12 divide o/20*-4 - 964/(-10)?
True
Let w(u) = u**3 - 5*u**2 - 13*u + 3. Suppose 19 + 41 = -6*c. Let z = c - -17. Is w(z) a multiple of 4?
False
Let r(n) = 278*n + 96. Does 12 divide r(6)?
True
Let c(w) = w**3 - 6*w**2 + 6*w - 1. Let u be c(5). Suppose 4*n = -2*d + 8, 5*n = 3*d + 81 - 49. Does 14 divide 1 - (n/u - 18)?
False
Suppose 2*z = 5*h - 25, -5*z - 19 = -5*h + 21. Suppose d + m = -h*m + 25, 4*d = 3*m + 5. Suppose 0 = 2*c + 4, -2*c + 25 = -d*p + 74. Is 3 a factor of p?
True
Let g(i) = 5*i - 8. Let h be g(10). Suppose 0 = a - 4*d + 6 + 9, 2*a = 5*d - h. Does 14 divide (a/3)/((-4)/12)?
False
Suppose 0 = 14*m - 1669 - 1047. Is m a multiple of 11?
False
Suppose 9*k - 5*k = -32. Let f = k 