**2 + 2*i - 1. Let v(f) = p(f) + z(f). Does 7 divide v(-11)?
False
Suppose 0 = -37*p - 128964 + 647075. Does 14 divide p?
False
Let x be 15 - ((-5 - 2) + 2). Is (-9)/90 + 4522/x a multiple of 43?
False
Let w(r) = 3*r. Let h be w(-1). Let s be h/1*(24 + 8/2). Let f = 139 + s. Is f a multiple of 12?
False
Suppose 822*v + 1351476 = 948*v. Is 30 a factor of v?
False
Let r(g) = 5*g**3 - 2*g + 1. Let y be r(1). Suppose y*v = -v + 610. Let l = v + -65. Does 6 divide l?
False
Let y(m) = -11*m**3 + 18*m**2 - 7*m + 2. Is y(-4) a multiple of 4?
False
Let b = -1045 + 1048. Suppose 4*k = -4*s + 16, -5*k + 1 = -3*s - 11. Suppose -4*q - 202 = -b*v - 2*v, -k*v - q + 128 = 0. Does 14 divide v?
True
Let a = 3691 - 1726. Is 3 a factor of a?
True
Suppose -10*c = -373 + 113. Let o(i) = i**2 - 4*i. Let a be o(3). Does 26 divide (123/(-39) - a) + 2032/c?
True
Suppose 2*a - 44 = -9*a. Is 37 a factor of ((-15)/(-2))/5 + 142/a?
True
Let n be 346 + 0 - (-45 + 38) - 3. Let v(m) = 156*m + 1. Let q be v(3). Suppose -4*p - 5*s + q = 0, 4*s = -3*p + 2*s + n. Does 29 divide p?
True
Suppose 86514 = 36*z + 5021 - 28451. Is z a multiple of 201?
False
Let c = 49 - 72. Let v = -21 - c. Suppose v*x = 3*l + 7*x - 149, 0 = -5*x + 5. Does 14 divide l?
False
Let b = -6819 - -13767. Is 12 a factor of b?
True
Let u = 88 - 76. Let k(i) = u + 4*i**2 + 12*i - 11*i**2 - 3*i**2 + 2*i**3. Is k(6) a multiple of 26?
True
Let i be (29*-24)/(-20 - -18). Suppose -2*q + 1246 = i. Is 20 a factor of q?
False
Suppose f - 4*f = -285. Let s = f + -49. Is s a multiple of 2?
True
Let w(c) = 117*c**2 - 12*c + 19. Does 21 divide w(5)?
False
Let q(m) = 15 + 2*m**2 + 8*m + 7*m**2 - 5*m - m**2 + 10*m. Does 6 divide q(7)?
True
Suppose 4*d = -32 + 104. Is (-12)/2*d/(-12) a multiple of 8?
False
Suppose -3*x + 20166 = -5*h, 51*h - 15 = 46*h. Is x a multiple of 27?
False
Let k(p) = -9*p**2 - 2. Let r(z) = z**2 + 5*z + 1. Let i be r(-5). Let l be k(i). Let x(h) = -13*h - 39. Is 52 a factor of x(l)?
True
Let o = -298 - -302. Does 7 divide o/(-10)*(-19)/(76/280)?
True
Let f(g) = -12*g - 47. Let l be f(-11). Let q(i) = i**3 - i**2 - 3*i - 1. Let v be q(4). Suppose v = -j + l. Does 28 divide j?
False
Let b = -22 - -15. Let r be (38/6)/((-36)/(-108)). Let w = r - b. Does 6 divide w?
False
Let q = -216 - -548. Suppose -5*k - 5*u + q = -k, k = 4*u + 104. Suppose k = 7*t - 4*t + 5*g, 128 = 3*t - 5*g. Does 9 divide t?
True
Let a(s) = -21*s**3 + s. Let g(u) = u**3 + 5*u**2 + 10*u + 27. Let d be g(-6). Let k = d + 68. Is 20 a factor of a(k)?
True
Is 23 a factor of (161/(-21))/(1/(-912))?
True
Let m(z) = z**2 + 5*z + 9. Let o be m(-3). Suppose -5*g - 26 = 3*c, -5*c - o = -2*g - 1. Is 8 a factor of g*15/20*-3?
False
Let d = -213 - -323. Let s = 254 - d. Suppose x + s = 4*x. Is 8 a factor of x?
True
Suppose 3*t + 4*k - 131936 = 0, 6*t - 3*t - 2*k - 131960 = 0. Is 16 a factor of t?
True
Suppose -4*w + 0*w + 24 = -2*z, 2*z - 4 = -3*w. Suppose -5*a = w*f - 1 - 3, 32 = 5*a - 3*f. Suppose -a*p = -942 + 162. Does 13 divide p?
True
Is (-1)/((-9)/(-132))*126306/(-72) a multiple of 107?
False
Suppose 5*j - 12524 = -2*q, 11*q = -j + 1286 + 1240. Is 4 a factor of j?
True
Let c be ((4 - 2) + 23)/(2 + -1). Suppose y = -c + 39. Suppose -y = -2*r + 30. Does 12 divide r?
False
Suppose 2 = f - 1. Suppose f*l + 35 = 56. Suppose -m - l*c + 10 = -8*c, -4*m + 5*c = -42. Is m a multiple of 5?
False
Suppose -3*u - i = -6968, 9*u = 7*u - 5*i + 4654. Is 18 a factor of u?
True
Let p(m) be the first derivative of 3*m**4/4 + 4*m**3/3 - m**2 - 7*m - 24. Let u be p(3). Is u/3 + -1 + 12/9 a multiple of 10?
False
Let u = -160 + 164. Is 4 a factor of (-2 - (-1 - 13) - u) + -3?
False
Suppose -4*p = -a + 3950, -47*a + 52*a + 4*p = 19822. Does 29 divide a?
False
Let s be 4/16*20 + -2. Is 13 a factor of (74 + 7 - s)/(1/3)?
True
Let t(q) = 2*q**2 + 4*q - 5. Let m be t(2). Let y(z) = z - 25. Let b be y(m). Let f = 16 - b. Does 3 divide f?
True
Does 24 divide (1 + 11)/(9/(-60)*78/(-16263))?
True
Let x(t) = t**2 + 17*t. Let y be x(-10). Let s = 83 + y. Is (6/8)/(s/2132) a multiple of 8?
False
Is 17 a factor of (1 - -1368) + (91 - 104)?
False
Let y(f) = f - 76. Let i be y(-33). Let g = -106 - i. Suppose 41 = g*u + 2*j, 28 = 3*u - 5*j - 27. Is u a multiple of 15?
True
Does 124 divide (5/2*28969/295)/((-2)/(-168))?
False
Let k = 716 + -958. Let l = k + 518. Does 12 divide l?
True
Let w(l) = 345*l**2 - 6*l + 5. Let z(o) = 1035*o**2 - 16*o + 14. Let f(g) = -11*w(g) + 4*z(g). Does 8 divide f(-1)?
True
Let o = -6211 + 6361. Is o a multiple of 5?
True
Let d = -147 + 129. Does 9 divide 15081/27 + (-8)/d?
False
Let z be (9/21)/((-16)/(-14) - 1). Suppose 0*w + z*w - 5*o = 19, -5*w + 4*o + 23 = 0. Suppose 5*x - w*d = 149, 0*d + d + 59 = 2*x. Does 26 divide x?
False
Let f(o) = -o**2 + 26*o - 164. Let d be f(14). Is 7 a factor of 589/19 + (-1)/((-2)/d)?
False
Let p = 1100 + -33. Is 38 a factor of p?
False
Let u(z) = z + 5. Let b be u(-2). Let m be -3*3*b/9 - -19. Suppose 5*j + 13 + m = 4*y, j = -3*y + 36. Does 3 divide y?
False
Let i = -79 - -146. Let f = i - 37. Let c = f + -1. Is c a multiple of 7?
False
Suppose 5238 = -12*w - 3390. Let g = 233 - w. Does 28 divide g?
True
Let t = -1111 - -1118. Let n(b) = -b**3 - 5*b**2 - 4*b - 3. Let x be n(-5). Suppose x = r - t. Is 4 a factor of r?
True
Let h(l) be the first derivative of -l**4/4 - 34*l**3/3 + 3*l**2 + 9*l + 273. Is h(-35) a multiple of 32?
True
Let u = 92 + -98. Let w be (-14)/3*(u + -6). Let y = w - 24. Is y a multiple of 16?
True
Let w(m) be the third derivative of m**5/60 + m**4/3 - 5*m**3/2 + 13*m**2 - 2*m. Does 48 divide w(6)?
False
Let o = -33 - -21. Let r(h) = 2*h + 24. Let q be r(o). Suppose q = -5*p - 92 + 467. Does 25 divide p?
True
Let w = -296 + 296. Suppose w = 4*b + 2*j - 228, b + j = -0*j + 56. Is 3 a factor of b?
False
Let g(o) be the second derivative of -6*o**3 + 107*o**2 - 69*o. Does 8 divide g(0)?
False
Let v(k) = 6542*k - 11342. Is v(16) a multiple of 30?
True
Let h(f) = f**2 + 9*f - 271. Let z be h(19). Let s be (24/20)/((-1)/90). Let m = s + z. Is m a multiple of 17?
True
Suppose 0 = l + 4*n - 10, 3*n + n + 16 = 0. Let i = 226 - l. Does 10 divide i?
True
Suppose 9*i = -4*o + 8*i + 16, -2*o + i = -2. Suppose 0 = -2*d + 5*c + 260, -8*d + o*c + 372 = -5*d. Is 15 a factor of d?
True
Suppose -619 = -c - 148. Let l = c + -295. Does 4 divide l?
True
Suppose -5*l - n = -62872, l = 4*n + 7768 + 4777. Does 11 divide l?
True
Let x = 28 - -1219. Is 4 a factor of x?
False
Let x(w) = -4*w + 26. Let g be x(6). Suppose 0 = -5*u + 4*c + 266 + 539, -5*u + g*c = -815. Does 24 divide u?
False
Does 15 divide 40/100 + 12009/15?
False
Let x be -64*(414/(-12) - -4). Suppose 2*o + o = -2*h + 1464, -4*o + x = -h. Is o a multiple of 15?
False
Is 240 a factor of -2 + 7*4/14*11519?
False
Suppose 0 = -2*f + 29 - 25. Suppose 253 - 269 = -f*o. Is o a multiple of 8?
True
Let r = 128 - 74. Suppose a = 4*g - 3*a - 80, 4*g + a - 95 = 0. Let w = r - g. Does 7 divide w?
False
Suppose 0 = d - 5*d + 4*z + 33264, 4*d - 2*z = 33264. Is d a multiple of 33?
True
Let r(s) = s**3 - 4*s**2 - 3*s - 8. Let x be r(5). Suppose -x*m = -3*m + 11. Suppose h - 38 = -m. Is 16 a factor of h?
False
Let i be -1 + 6 - (-18 - -23). Suppose i = 14*p - 35*p + 588. Does 7 divide p?
True
Let u be 35/(-15) + 4/12 + 5. Does 14 divide 95 - (1 + u + 0/15)?
False
Let g(b) = -b - 3. Let v be g(0). Let f(h) be the first derivative of -h**4/2 - h**3 + 2*h**2 - 49. Is 15 a factor of f(v)?
True
Suppose k - 3356 = -3*k + 30748. Does 14 divide k?
True
Suppose -2*n + 4*c + 17472 = 0, -210*c + 6 = -209*c. Does 9 divide n?
True
Let v(x) = x**3 + 65*x**2 - 30*x - 12. Does 6 divide v(-65)?
True
Let i = 3335 - -2000. Is i a multiple of 55?
True
Suppose 124*a = -47*a + 3363228. Is 12 a factor of a?
True
Let i = -3527 - -1334. Let p = i - -3353. Is p a multiple of 13?
False
Let v(j) = -j**3 - 16*j**2 + 100*j + 31. Let p(u) = u**3 + 16*u**2 - 98*u - 30. Let d(w) = -5*p(w) - 6*v(w). Does 27 divide d(-18)?
True
Does 87 divide (-10)/(-5) - -975 - 117/(-13)?
False
Suppose -216 = 2*j - 14*j. Let p(n) = -3*n**2 + 57*n + 37. Is 12 a factor of p(j)?
False
Suppose 3*w + 5 = -4, -4*m + 3*w + 21 = 0. Let x be (m - 18)*4/(-10). Suppose 19 = x*i - 89. Is 18 a factor of i?
True
Does 76 divide (-1785