. Let g(i) = -2*i**3 + 2*i**2 + 2*i - 99. Let v(y) = 5*g(y) + 3*p(y). Is v(0) a multiple of 19?
False
Suppose -c - 5 = 10. Let f = c - -17. Suppose 0 = u + 5, 4*g - 46 - 56 = -f*u. Is g a multiple of 7?
True
Suppose -321 - 345 = -6*v. Let i = v + -95. Is 2 a factor of i?
True
Let r = 50 - -713. Does 22 divide r?
False
Suppose 187*t - 171*t = 44352. Is t a multiple of 12?
True
Suppose -4*k + 58 - 222 = -4*f, 5 = -f. Let w = 114 + k. Is 20 a factor of w?
False
Let h(r) = 12*r**2 + 5*r + 5. Let s be h(-4). Let t = s - 53. Does 31 divide t?
True
Let c(k) = 10 - 3*k + 5*k - 5*k + 4*k. Is c(7) a multiple of 8?
False
Suppose -4*l = 3*l. Suppose 2*d + 4 = l, 0*i - 160 = -2*i + 5*d. Is i a multiple of 15?
True
Let g(y) = 8*y**2 - 6*y - 5. Let f(s) = s**2 + 27*s + 23. Let k be f(-26). Is g(k) a multiple of 22?
False
Suppose -k + 3*t + 51 = -3, 3*k - 3*t - 186 = 0. Suppose 31*x - 21 = 24*x. Suppose -k = -x*l - 3*u, l - 22 = -u + 6*u. Is l a multiple of 7?
False
Suppose -3*v - 2*l - 7 = 0, -7*v + 2*v - l - 21 = 0. Suppose 0 = -5*c + 36 + 9. Let g = c + v. Is g a multiple of 4?
True
Suppose 2*g - 74 - 186 = 0. Let x be 3/3*(2 + g). Suppose -5*v + x = 32. Is v a multiple of 11?
False
Suppose -5*f = -5 - 20. Suppose r + c = 9, -2*c - c + 39 = f*r. Is 2/(-1)*(-51)/r a multiple of 10?
False
Let m be (-16)/(-24)*(1*4 - -2). Suppose -4*u + 45 = c - 6, u = -5*c + 27. Does 20 divide -3*(m + (-368)/u)?
True
Let r(t) = -t**3 - 8*t**2 - 7*t + 2. Let f be r(-7). Suppose 0 = a - 7 + f. Suppose -98 - 142 = -a*y. Does 16 divide y?
True
Suppose -16461 = -33*i - 5241. Is 34 a factor of i?
True
Suppose -95 = -7*i + 129. Is (-5 - (-9 - -3))*(2 + i) even?
True
Suppose 0 = 9*d - 573 - 813. Is 11 a factor of d?
True
Let s = 7 - 8. Let i be (2 - 5)/s*69. Suppose -i = -6*l + 3*l. Is l a multiple of 18?
False
Suppose 0 = -4*d + w + 315, -3*d + d + 170 = 2*w. Is d a multiple of 10?
True
Let v(m) = m**3 - 4*m**2 + 2*m - 6. Let f be v(4). Suppose -f*h = 3*h - 380. Suppose 2*n - 276 = -h. Does 20 divide n?
True
Let b = 526 - 78. Is b a multiple of 33?
False
Suppose -9443 - 12376 = -21*r. Does 8 divide r?
False
Does 4 divide (-4)/14*11/((-55)/7385)?
False
Does 11 divide (-1 - 29)*(4 + 144/(-15))?
False
Suppose -2*o = -o - 5. Suppose -281 = -4*k + o*a + 2, -290 = -4*k - 2*a. Is 9 a factor of k?
True
Suppose 5*s - 10 = 0, s - 767 + 33 = -4*q. Suppose -2*d + q + 15 = 0. Does 17 divide d?
False
Let k(g) = -9*g**3 + 2*g**2 - g. Let c be k(1). Let s be c*(-2)/20*30. Does 9 divide (-6)/(-2)*232/s?
False
Let d(r) be the second derivative of r**5/10 + 5*r**4/12 + 2*r**3/3 + r**2/2 - 2*r. Let g be d(-3). Let x = 7 - g. Is x a multiple of 7?
False
Suppose 0 = 8*t - 3*t + 5*j - 1350, 5*t - 5*j - 1340 = 0. Is t a multiple of 54?
False
Let o(h) be the third derivative of -h**6/120 - 2*h**5/15 - h**4/6 - 3*h**3/2 - 3*h**2. Let p be o(-6). Let j = -41 - p. Is 8 a factor of j?
True
Is 36 a factor of (-2)/6*(-4 + -6 + -938)?
False
Let d = 37 + -18. Suppose 0 = -3*y + 6, 2*k - 2*y = 7*k - d. Suppose 93 = k*h + 3*c, -2*h + 55 + 10 = -c. Is h a multiple of 10?
False
Suppose -35*i - 3*i + 20824 = 0. Is 81 a factor of i?
False
Let v(k) = 32*k - 250. Is 21 a factor of v(22)?
False
Suppose -y + 108 = 24. Suppose q = 5*h + y, -2*q + 0*h + 3*h + 168 = 0. Is q a multiple of 28?
True
Is (-3598)/(-6) + (-12)/(-36) a multiple of 15?
True
Suppose -4*v = -18*v + 28. Suppose 5*f - 6*l + l = 480, -v*l - 285 = -3*f. Is f a multiple of 10?
False
Suppose -5*z + 3*n = -27 - 26, -9 = -z + n. Let g = -5 + z. Suppose g*v = 4*v + 264. Does 24 divide v?
False
Suppose -3*a + 5*a - 4*l = -20, 2*a - l = -14. Let g(t) = -5*t + 5. Let m be g(a). Let w = m + -26. Is w a multiple of 2?
False
Let m(g) = -g**3 + g**2 + g + 2. Let a be m(0). Suppose -3*p + 4*t - 32 = 0, -p - p = a*t - 2. Does 10 divide -13*(p + 3) - 3?
True
Let d(g) be the third derivative of g**6/120 - g**5/4 - g**4/24 + 7*g**3/2 - 16*g**2. Does 2 divide d(15)?
True
Suppose 2886 = 19*y - 2643. Is y a multiple of 9?
False
Suppose -5*q + 1700 + 4370 = -4*u, 5*q - 2*u - 6060 = 0. Does 22 divide q?
True
Let f be (1 - 40/16)/((-1)/8). Does 2 divide (f/8)/((-3)/(-14))?
False
Suppose -287*k + 250*k = -45251. Is k a multiple of 4?
False
Let u(s) = -s**3 + 13*s**2 + 82*s - 4. Is 12 a factor of u(14)?
True
Let b be (-123)/(-9) + 6/(-9). Let y be 1*4/(-4) - b. Let f(p) = p**3 + 14*p**2 - p + 1. Does 11 divide f(y)?
False
Suppose 4*l - 3248 = -2*c, 2*c + l + 4907 = 5*c. Does 38 divide c?
True
Suppose 0 = 666*f - 656*f - 1230. Is 59 a factor of f?
False
Suppose -3*w = 7*w - 4220. Is w a multiple of 53?
False
Let a = 599 + -159. Is 20 a factor of a?
True
Let d = -32 + 26. Let w = d + 52. Is 23 a factor of w?
True
Let l(s) be the first derivative of -s**2/2 + 17*s + 10. Let v be l(-13). Is 12 a factor of 340/v + 4/6?
True
Is (-1302)/(-4)*-20*(-12)/180 a multiple of 9?
False
Suppose 4 = -2*u + 4*s, 0 = -5*s + 19 + 1. Suppose 119 - 5 = u*i. Does 8 divide i?
False
Let n = -3 - -4. Suppose -q = -n - 3. Suppose 81 + 63 = q*u. Is 12 a factor of u?
True
Let f(k) be the first derivative of 3*k**2/2 - k - 4. Let c be f(-2). Is (40 - 1)*(-6 - c) a multiple of 10?
False
Let m = -145 - -479. Is 5 a factor of m?
False
Let c = 224 + 484. Is 174 a factor of c?
False
Let h be ((-1)/(-2))/(2/12). Let d(j) = 4*j**2 - 6*j + 6. Is d(h) a multiple of 8?
True
Let y = 16 + 51. Suppose 1 - y = -m. Is 33 a factor of m?
True
Let k = 50 + -27. Let u = k - 0. Suppose 2*a + u = 223. Is a a multiple of 25?
True
Let k(h) = -57*h - 19. Is k(-10) a multiple of 11?
False
Let m(n) = 2*n**2 + 12*n - 81. Does 8 divide m(7)?
False
Does 8 divide (-1)/6 + 6378/36?
False
Let p = -27 + 58. Suppose q - p = 6. Suppose 9 = -r + q. Is r a multiple of 6?
False
Suppose 2*x + 2*x = 0. Let a(q) = -q**2 + q + 11. Let j be a(x). Suppose 3 - j = -v. Does 8 divide v?
True
Let z be (2 - -63) + (-6)/3. Suppose g - 151 = -z. Let p = g - 35. Does 18 divide p?
False
Let h = -342 + 742. Is 25 a factor of h?
True
Let m = -6332 + 9346. Is m a multiple of 9?
False
Suppose 5 = -3*j + 2*g - 20, -g = j. Let p(t) = t**3 + 6*t**2 + t - 7. Is p(j) a multiple of 13?
True
Let y(d) be the first derivative of -d**3/3 + 21*d**2/2 - 7*d - 18. Is 13 a factor of y(7)?
True
Let j(z) = -2*z + 7*z**2 - z**2 + 2 - 4*z**2 - 3*z. Is 27 a factor of j(-7)?
True
Suppose 3*q = -0*y - y + 48, -2*y + 4*q + 136 = 0. Let s be (4/(-8))/((-1)/y). Suppose 6*m + s = 7*m. Is 15 a factor of m?
True
Suppose -8 = 2*g - 6*g + 5*i, -i = -4*g + 8. Suppose 0 = -0*r + 3*r + 4*s - 60, -g*s = 6. Is r a multiple of 6?
True
Let x be 1/(-2) + 420/8. Let c(j) = -j + 5*j + x*j**2 - 5*j. Does 17 divide c(1)?
True
Suppose 0 = -5*j - 10, 2*o - 2*j - 11 = -3. Suppose o*f + k - 47 = 4*k, 3*f = 3*k + 66. Does 7 divide f?
False
Let u(v) be the third derivative of -v**6/120 + 13*v**5/60 - 13*v**4/24 + 5*v**3/2 + 9*v**2. Let a be u(12). Suppose -154 = -a*g - 19. Does 7 divide g?
False
Let p = -5 - -6. Let c(d) = 75*d**3 + d. Is c(p) a multiple of 16?
False
Let z(g) = 7*g**3 - 6*g**2 + 7*g - 3. Is z(3) a multiple of 9?
True
Let j(x) = x**3 + 10*x**2 + 5*x - 8. Let u = -24 - -16. Is 32 a factor of j(u)?
False
Let w = -486 + 958. Is w a multiple of 21?
False
Let k(z) = z**2 - 10*z + 26. Let s be k(8). Suppose 5*u + 9 = g, 0 = 5*g - s*g + u + 93. Is 17 a factor of g?
False
Let p be -1 + 5 + (0 - -1). Let m be (1 + (-8)/4)*p. Is 8 a factor of 2 + -1 + (m - -12)?
True
Suppose 15*p = 18*p + 6, -o - 2*p = -1269. Is o a multiple of 19?
True
Let a = -6 + 5. Let n(j) = -j**3 - j**2 + j + 1. Let c be n(a). Suppose 0 = -4*t + 5*v - 2*v + 262, c = -4*v - 8. Is 22 a factor of t?
False
Let m be (-5)/(-5*2)*0. Let l be (3 - m) + 6/2. Suppose 0 = -0*q - l*q + 312. Is q a multiple of 26?
True
Suppose 2*f + 4*h = 2080, -3155 = -3*f + 9*h - 8*h. Is 14 a factor of f?
True
Is -6 + 140/24 - (-13802)/12 a multiple of 17?
False
Suppose 2*s = p - 74, 2*s - 24 = -3*p + 214. Is p a multiple of 3?
True
Suppose -518 = -2*o + 4*p, -7*o + 253 = -6*o + p. Is 5 a factor of o?
True
Let l(h) = h**3 - h**2 + 3. Let n be l(0). Let y be (-32)/n + (-3)/9. Let u = 7 - y. Is u a multiple of 10?
False
Let q(r) = r**2 + 2*r + 123. Let k be (0/(-2))/(7/(35/10)). Is q(k) a multiple of 20?
False
Let b be 14/((-4)/((-32)/4)). Suppose a = -5*w + 5