ppose 0 = -b + 3*p - f, 4*b - p + 4*p - 11 = 0. Let r(v) = 3*v**3 - v**2 - v + 3. Does 4 divide r(b)?
False
Let r = 4885 + 8693. Does 11 divide r?
False
Let r(z) = 28*z**2 - 61*z + 594. Is 11 a factor of r(11)?
True
Let l = 106 + -65. Is 8/10*20090/l a multiple of 28?
True
Let q(z) = 522*z**2 + 180*z - 1296. Does 27 divide q(7)?
True
Suppose 2986*v - 2968*v - 83394 = 0. Is v a multiple of 29?
False
Suppose -176*b + 171*b = 10. Is 5 a factor of ((-954)/(-72))/(b/(-16))?
False
Let m(w) = -32*w - 52. Suppose -21*l - 24 = 39. Is m(l) a multiple of 11?
True
Let y(z) = -5*z + 4. Let o be y(0). Let g(l) = -3*l + 14. Let v be g(o). Suppose -v*b = -67 - 35. Is b a multiple of 17?
True
Suppose -14*b = -15*b + 4. Suppose 5*h - 521 = -b*p, 2*p + 4*h - 236 = 32. Does 16 divide p?
False
Let i(k) = 43*k - 63. Let m be i(7). Let z = m + -107. Does 14 divide z?
False
Let p(r) = r**3 - 11*r**2 + 4*r + 11. Suppose -4*k + 72 = 2*k. Is p(k) a multiple of 12?
False
Suppose -9*o = 245 + 367. Is 17 a factor of (-85)/o - 947/(-4)?
True
Let i(y) = 2*y**2 + 13*y + 3. Let q = -40 + 52. Suppose 3*j = q, -3*z - z + 5*j = 64. Is 17 a factor of i(z)?
True
Let j = -48 - -70. Suppose -j - 20 = -3*o. Suppose 432 = o*v - 6*v. Is v a multiple of 19?
False
Let o(t) = 6*t**3 + 5*t**2 - 2. Let n be o(6). Suppose x + x + n = 4*u, x = -u + 367. Suppose 2*c + u = 5*b + 3*c, 0 = 5*b - 5*c - 380. Does 11 divide b?
False
Suppose -4814*g = -4851*g + 399415. Is g a multiple of 17?
True
Does 9 divide 8/(4 + -6) - ((-12)/3 + -2592)?
True
Suppose -3*k + 9 = 6. Suppose 2*f - 3*f + t + k = 0, 5*t = 10. Suppose f*v = 6*n - 3*n + 33, -4*n = 5*v - 64. Is v a multiple of 4?
True
Let x(i) = -i**2 - 6*i + 69. Let r be x(5). Suppose 7*m - 35 = r. Is 7 a factor of m?
True
Let z be (-18)/(-18)*(-5 - -5). Suppose 4*u - 12 = u. Suppose -4*f + u*v + 392 = 0, -4*f + 360 = -z*f + 4*v. Does 47 divide f?
True
Suppose 0 = -179*q + 174*q + 2*f + 27317, 5467 = q - f. Is 54 a factor of q?
False
Let t(u) = -10*u + 67. Let k be t(-32). Suppose 4*o - 236 = -3*h, 5*o + 89 = -3*h + k. Is o a multiple of 2?
True
Let y be (-4)/(-8)*(5 - -1). Suppose 0 = 3*i - 5*x + y*x - 1486, 0 = -x + 4. Is 23 a factor of i?
False
Let u be 576/7 + (-18)/63. Let q be (185/74)/(1 + 2/(-4)). Suppose 0 = -q*b + 78 + u. Does 8 divide b?
True
Let s(c) = -492*c - 69. Is s(-33) a multiple of 17?
True
Let x(a) = a**3 + 4*a**2 + 2*a - 2. Let j be x(-3). Let m = -2970 - -2929. Is (j - m)/(-19 - -20) a multiple of 7?
True
Suppose 0 = 9*v - 4*v - 45. Suppose 10*b + v = 7*b. Does 18 divide (1*-135)/(b/2)?
True
Let l = 13228 - -29840. Does 37 divide l?
True
Suppose 2*o + 56 - 60 = 0. Suppose -1311 = -o*d - 3*r - 315, 0 = -3*d + 2*r + 1468. Suppose -6*h = -2*h - d. Is h a multiple of 7?
False
Let r be 6/(-2)*(-4)/6. Suppose -3*j = -4*z + 515, 3*z = z - r*j + 254. Is 19 a factor of z?
False
Let l = 9462 - 7485. Is l a multiple of 12?
False
Let r(b) = -13*b**2 - 2*b + 33. Let l be r(-8). Let f = l - -1580. Is f a multiple of 7?
False
Suppose 8*x - 33324 = 111436. Is x a multiple of 11?
True
Let l = -9 - -3. Is 161 - (-5 + 8 + l) a multiple of 14?
False
Suppose 16 = 5*h - 3*l + 6*l, 3*h + 3*l - 12 = 0. Suppose 4*u + 5*x = 2*u + 948, 0 = 2*u + h*x - 948. Is 12 a factor of u?
False
Let j(c) = 5 - 6*c**2 + 44*c - c**3 - 43*c + 3*c**2. Let x be j(-3). Suppose -w - x*o - 110 = -5*w, -3*w - 5*o + 115 = 0. Is 5 a factor of w?
True
Let i = -151 + 253. Suppose 7*g + 4*o - i = 4*g, -3*o - 21 = -g. Is 9 a factor of g?
False
Let f(n) = 6*n + 46. Let a be f(5). Let k = -71 + a. Is (-4)/(-6)*((-7020)/(-8))/k a multiple of 39?
True
Let x(t) = t**3 - 12*t**2 - 13*t + 11. Let h be x(13). Let d be 2/h - (-20)/11. Is (3 - (3 - -2))*(-115)/d a multiple of 23?
True
Suppose 0 = 6*p - 2*p - 2*i + 962, -2*i = 3*p + 739. Let r = -165 - p. Is r a multiple of 29?
False
Let b(l) = -22*l - 6. Let f(y) = -1. Let o(h) = -h**3 - 9*h**2 + 8*h - 19. Let k be o(-10). Let i(j) = k*b(j) - 6*f(j). Is 8 a factor of i(-4)?
True
Let c(d) = 11*d**2 + 4*d - 4. Let v be c(2). Suppose g + v = 2*g. Suppose -x = -0*x - 2*h - g, 5*x - 198 = -4*h. Is 10 a factor of x?
False
Let l = 1340 - -335. Does 65 divide l?
False
Let v(w) = -156*w - 743. Is v(-41) a multiple of 10?
False
Let p(r) = -2*r**3 + 9*r**2 + 14*r - 53. Let t be p(4). Suppose 2*s = -2*c - 280, -5*c = 2*s + 465 + 223. Let w = t - c. Is 31 a factor of w?
True
Let y(b) be the first derivative of b**2/2 + 13. Let d(h) = h - 26. Let j(x) = -d(x) + 6*y(x). Is 29 a factor of j(8)?
False
Let s(l) = 3*l**2 + 16*l - 12. Let p be s(-6). Suppose -21 = -x - 4*r, -r + 12 = x - 0*r. Suppose 2*m - x*m + 63 = p. Does 2 divide m?
False
Let o(u) be the first derivative of 28*u**2 - 173*u - 12. Is 22 a factor of o(7)?
False
Suppose -3*i - 57 = -2*y - 6*i, -2*i = -5*y + 95. Let a = 182 - y. Is 23 a factor of a?
True
Let a = 379 + -374. Suppose 4*g - 4309 = -a*f, 651 = 5*f + g - 3655. Does 21 divide f?
True
Is 7 a factor of (8 + -1)/(-31 - 3488/(-112))?
True
Let s(n) = n - 4. Let q be s(6). Suppose -t - q*m - 15 = 0, -1 = -2*m + 3. Is 21 a factor of -3 + (3 - t)*3?
True
Let h = -748 - -751. Suppose h*y - 498 = -3*v, 0 = 4*v + 3*y - 294 - 375. Is v a multiple of 7?
False
Suppose -4*o - 98*k + 86082 = -93*k, 16 = 8*k. Does 203 divide o?
True
Let c be 6*(-1)/(-2)*(1 - 2). Let q be ((12/c - -49) + 4)*4. Suppose 28*w - 24*w = q. Is w a multiple of 7?
True
Suppose -29*t + 368520 = 8*t. Is 20 a factor of t?
True
Let y(l) = l + 11. Let q be y(0). Suppose -17 = -7*u + q. Is (-2)/4*-2*(89 + u) a multiple of 12?
False
Suppose -k + 6 = -5*m, -4*k + 28 = 3*m - 42. Suppose -k = -0*q - 2*q + r, -3*q + 34 = r. Let s = q - 4. Does 6 divide s?
True
Suppose -1477*j = -1478*j - 2, 5*k + 5*j = 7235. Is k a multiple of 21?
True
Suppose -2*w - 149 = 3*f, 5*f + 168 = -5*w - 82. Let m = f - -57. Is (5*-1)/(m/(-136)) a multiple of 8?
False
Let b = 519 - 449. Is 5 a factor of -3 + -1 + 0 + 2*b?
False
Let f(y) = 6422*y - 1519. Does 161 divide f(6)?
False
Let v(a) = -a - 14. Let f be v(-16). Suppose 6*z + 10 = z, 0 = -f*w - 2*z + 2. Does 2 divide w?
False
Let a(o) = 3*o**2 + 6*o + 1. Let l be a(-2). Let i(s) = 2151*s + 3. Let b be i(l). Is 2/8*(-3 + b/6) a multiple of 9?
False
Suppose -2*t - 16 = 8. Suppose 32*q = 28*q + x + 160, 189 = 5*q - 4*x. Let u = t + q. Is 16 a factor of u?
False
Let x = -5684 + 8620. Suppose 3*q = -4*n + 2944, 4*q - q - 4*n - x = 0. Does 10 divide q?
True
Let i(d) = 9 + 64*d + 3 + 22*d. Let b be i(8). Suppose 9*p - b = 2*p. Is p a multiple of 41?
False
Is 8 a factor of 664312/264 - (-4)/6?
False
Suppose 0 = v - 6*v - 1025. Suppose 471*i - 481*i - 3190 = 0. Let g = v - i. Does 19 divide g?
True
Let g = -51 + 44. Is 3 + g - (16/4 - 67) a multiple of 6?
False
Let b = -102 - -104. Suppose 0 = b*h - 0*h + 4*h. Suppose h = 12*f - 4*f - 240. Is f a multiple of 5?
True
Let u(n) = -n**3 - 22*n**2 - n - 52. Let l = -153 + 130. Is u(l) a multiple of 41?
False
Suppose 9*d + 1565 = 494. Is (2180/(-28) - -1)/(17/d) a multiple of 52?
False
Does 8 divide 2/(-9) + (39251/(-18))/((-16)/32)?
False
Let q = 6293 + -5774. Does 2 divide q?
False
Suppose 76*d = 47*d + 173220 + 125364. Does 22 divide d?
True
Let p = -121 + 201. Let c be (((-54)/5)/(-2))/(24/p). Is 11 a factor of 22/(-2 - (-39)/c)?
True
Suppose 42*y = 650885 + 600253. Is y a multiple of 9?
False
Let o(m) = 277*m - 1529. Is o(65) a multiple of 178?
False
Suppose 0 = -212*r + 229*r - 275196. Is 76 a factor of r?
True
Suppose -14*i = 21*i - 70. Suppose -i*z = 4*d - 2132 + 364, -432 = -d - 3*z. Does 6 divide d?
True
Let x(c) = -c**3 + 23*c**2 - 23*c - 23. Let f(p) = p**3 - 23*p**2 + 24*p + 23. Let g(l) = 4*f(l) + 5*x(l). Is 45 a factor of g(18)?
False
Suppose 0*c + 40 = 5*c + 5*d, -5*c = 3*d - 36. Suppose 3*o - 57 = c. Suppose 2*p - 79 = o. Is p a multiple of 35?
False
Suppose 29*s = 3*s + 29346 + 72938. Is 37 a factor of s?
False
Let v = 3296 - 593. Suppose -24*l + 28*l = 5*j - v, 0 = -4*j - 3*l + 2150. Does 11 divide j?
True
Let i = 8481 - 6125. Is i a multiple of 19?
True
Suppose -10*a + 12*a - 468 = 0. Let t = a + -156. Is t a multiple of 13?
True
Let j(h) = 3*h + 28 - 8*h - 2*h. Let a = -2018 - -2010. Is j(a) a multiple of 31?
False
Let v = 6847 - 3834. Is 23 a factor of v?
True
Suppose 5*n + 2*h - 8171 = 3489, -4*h = 