**2 + 21*f + 2. Is n(v) a multiple of 5?
False
Suppose -5*a = 408 - 108. Let l = a - -100. Suppose -5*z = -z - l. Is 5 a factor of z?
True
Suppose 0 = 2*t - 7*t. Let v(b) = -3*b**3 + b**2 + b - 25. Let x(m) = -m**3 + m**2 + m. Let s(u) = -v(u) + 2*x(u). Is 9 a factor of s(t)?
False
Suppose -2*v - c + 2055 = -0*v, -3*v = -5*c - 3076. Is v a multiple of 13?
True
Let n be 3*(4/(-12) - -1). Let s(h) = 0 + 3 - 5 + n*h**2 + 3 + 5*h. Is 7 a factor of s(-4)?
False
Suppose -23*q = -21*q - 228. Let s = q + 37. Is s a multiple of 11?
False
Let y be 17/(2*4/(-16)). Is 13 a factor of 1*-4*(y/2 + 4)?
True
Let r be (-1131)/(-29)*(-2)/3. Is 9 a factor of (84/(-10) + -2)*65/r?
False
Is 28 a factor of (-274 - -3)*(-6 - -7)*-2?
False
Let y(u) = -5*u**2 - 3*u + 2. Let k be y(1). Is 17 a factor of (-13)/(-2)*(1 - (k - 27))?
True
Let f(t) be the first derivative of 1/2*t**4 + 0*t + t**2 + 4 - 2*t**3. Does 9 divide f(4)?
False
Suppose -2*c + 1676 = 5*d - 1572, -d = -5*c - 628. Does 29 divide d?
False
Suppose -4*r + 2*o = -0*r - 28, 2*r + 2 = -3*o. Suppose -71 = -5*b - 0*g + g, -2*g = -b + 7. Let k = r + b. Is k a multiple of 8?
False
Let m = 242 - -127. Does 4 divide m?
False
Suppose 226 = -9*a + 694. Is a a multiple of 50?
False
Let r = 551 + 139. Is r a multiple of 10?
True
Suppose -y - 5*k + 91 + 310 = 0, -4*k - 410 = -y. Is 29 a factor of y?
True
Suppose 5*n + 32 = 4*u + n, 2*n = 5*u - 28. Suppose 0*d + d - u*g = -7, -3*d = 4*g - 27. Suppose -2*m + 10 = 2*a, 0 = d*m + 3*a - 5 - 14. Does 2 divide m?
True
Let t(p) = 21*p**2. Let v be t(2). Suppose 4*b + 3*j = 6*j + v, -5*b - j + 86 = 0. Is 3 a factor of b?
True
Suppose -126 = -4*a - 18. Let w = 132 - a. Is w a multiple of 21?
True
Let s = -1819 - -2121. Is 10 a factor of s?
False
Let y(j) = 16*j**2 - 6*j - 2. Does 3 divide y(2)?
False
Suppose 3*h = 6*s - 1697 - 520, h - 1116 = -3*s. Is s a multiple of 8?
False
Let h = 57 + -10. Is 4 a factor of h?
False
Let l = 47 + -51. Does 32 divide (118 - -1*l/(-2)) + -2?
False
Suppose -4*y + 165 + 43 = 0. Is y a multiple of 4?
True
Suppose 5*i = -4*l - 0*i + 5, -2*l = i - 7. Suppose -3*t - 6 = -l*t. Suppose 8*o - 35 = t*o. Does 3 divide o?
False
Let c(n) be the third derivative of -n**6/120 - n**5/10 + n**4/12 - 13*n**3/3 + n**2 + 26. Is c(-8) a multiple of 43?
True
Suppose -126 = 9*n - 7*n. Let z be ((-1)/(-2))/((-6)/444). Let a = z - n. Is 26 a factor of a?
True
Suppose 0 = -5*l + 5*z + 20660, 4*l - 20775 = 2*z - 4241. Is 18 a factor of l?
False
Let x = -81 + 45. Let d = 50 + x. Does 13 divide d?
False
Suppose 7*y = 402 - 2278. Is 41 a factor of (-4 - y) + 1 + -4?
False
Suppose 4*y - 2*a + 8 = 66, 0 = -5*a + 25. Let k = 22 - y. Suppose t - 48 = -2*o, -5*t + k*o + 220 = -65. Is t a multiple of 27?
True
Let u(d) = d**2 + 9*d - 12. Let v be -1 + 2 + (-42)/3. Let q be u(v). Suppose 0 = x + 3*x - q. Is x a multiple of 10?
True
Let h(b) = b**2 - 8*b + 7. Let x be h(7). Suppose 146 = a - p - x*p, -5*p = 5*a - 720. Does 29 divide a?
True
Let v(t) = -t**3 + t + 42. Let l(p) = p**3 + 7*p**2 + 5*p - 1. Let o be l(-6). Suppose 0 = -4*b - h + o*h, -5*b + 3*h = 0. Does 21 divide v(b)?
True
Let r(g) = 969*g**2 + 13*g - 12. Is 15 a factor of r(1)?
False
Let y be (-1)/(-3) + 380/30. Suppose 37 = q + y. Let p = -3 + q. Is p a multiple of 7?
True
Suppose 0*i - 2*i - 26 = -4*q, -5*i - 25 = 0. Suppose q*b + 57 = -31. Let x = 42 + b. Does 10 divide x?
True
Let c = -515 - -660. Does 29 divide c?
True
Let u(k) = 5*k + 4. Let q be u(-7). Let d = -19 - q. Let c = d - 3. Is 8 a factor of c?
False
Let b be (-1 - 0 - 2) + 5. Suppose 3*l = -b*i + 236, -3*l + 16 = i - 105. Does 23 divide i?
True
Suppose -680 = 5*g + 3*g. Let r = 190 + g. Is r a multiple of 21?
True
Let b be (14/(-8))/((-3)/180). Suppose -3 = 4*t + b. Is ((-36)/t)/(4/126) a multiple of 21?
True
Suppose 4*y - 35 = 9*y. Is (-5 + y)/((-2)/3) a multiple of 4?
False
Suppose -3*z - 146 = -5*x, 2*z - 28 = 5*x - 132. Suppose 3*o - 4*u - u = 2, -o = u + 2. Let r = o - z. Is 11 a factor of r?
False
Is ((-6)/15)/(2/2370*-1) a multiple of 10?
False
Let s = -592 - -662. Does 35 divide s?
True
Suppose -21 = p - 2*q, p - 3*q - q + 25 = 0. Let d(y) = -y + 7. Is 8 a factor of d(p)?
True
Let f(y) = -y**3 - 3*y**2 + 5*y - 7. Suppose 3*c - 7*c = 20. Let s be f(c). Is 4 a factor of 1 - (s/(-3) + -1)?
True
Suppose -7*b - 37 = -9. Let q(n) = -4*n - 2. Let x(h) = 5*h + 3. Let a(r) = -5*q(r) - 6*x(r). Is 16 a factor of a(b)?
True
Let o be (-3)/2*(-2 + 0). Suppose -o*d = -0*d - 18. Is (d/7)/((-8)/(-28)) a multiple of 3?
True
Let k = 17 - 13. Let r(y) = y**3 + 2*y**2 - 6*y. Does 8 divide r(k)?
True
Suppose 4*i - 3*z + 4 = 0, -5*i + 2*z = -0*z - 2. Suppose 0 = -i*x + 5*x - 12. Suppose -4 = x*f, 0*f - f + 139 = 5*u. Is u a multiple of 7?
True
Suppose 13*z - 153 = 10*z. Suppose -5*r - z = -b, 5*b + 4*r - 184 = 158. Let w = -29 + b. Does 16 divide w?
False
Suppose 0 = 3*q + 9, -8*q + 3*q = -5*j + 25. Let r(k) = 27*k + 6. Is r(j) a multiple of 6?
True
Let s = -8 + 10. Suppose s*f + 2*f = -256. Let y = -2 - f. Is 14 a factor of y?
False
Suppose 4*a = -a + 25. Suppose -7*b - a = -8*b. Suppose 0*g + 154 = 4*j + 3*g, 0 = b*j + g - 198. Is j a multiple of 15?
False
Suppose 2*i = -4*k + 292, -2*k + 592 = 4*i + 2*k. Does 9 divide i?
False
Is 31 a factor of 5 - (4 - (-4 - -65))?
True
Suppose -w + 4*d + 731 = -0*w, 2*w - 1456 = 2*d. Does 25 divide w?
False
Let k = 303 - 187. Suppose -663 = -119*n + k*n. Is 49 a factor of n?
False
Suppose 0 = -2*x - 3 + 7. Let p(l) = 4*l + 2*l**2 - l - l**x - 6*l. Is 5 a factor of p(6)?
False
Let l(w) = 40*w + 5. Let z be l(-3). Let d = -61 - z. Is d a multiple of 11?
False
Suppose 6*r + 877 = 3385. Is 22 a factor of r?
True
Suppose -5*g + 4577 = 827. Is g a multiple of 75?
True
Let q be (-4)/14*(6 + 3 + -16). Suppose -3*x - 3*a = 0, q*x + 11*a = 15*a + 30. Is x even?
False
Let w(m) = -m**2 + 8*m - 5. Let k be w(7). Suppose 5*s + k*t = -t + 254, 12 = 4*t. Suppose -2*y = -f - y + 21, -2*f - 5*y = -s. Is f a multiple of 6?
False
Suppose -499 - 51 = -5*a. Let k be -2 - 12/(-8) - 4/(-8). Suppose -t - 3*g + 35 = k, 2*g - a = -4*t - 0*g. Does 5 divide t?
False
Suppose -f = -2*m - 41, 5*f - 142 = f - 3*m. Does 16 divide f?
False
Let s(m) = 223*m**2 + 3*m. Let x(z) = -z**3 - 7*z**2 + 17*z - 10. Let b be x(-9). Does 10 divide s(b)?
True
Suppose -50 = -3*z + a + 5, -2*a = -2*z + 38. Does 15 divide z?
False
Let y(l) = -l**2 - 12*l + 50. Let a be y(-15). Let c(q) = q**3 - 4*q**2 - 4*q + 2. Is 2 a factor of c(a)?
False
Suppose 4*y - 2*j = -y + 4, 3*y + j = 9. Suppose y*f - 3 = 5. Is 4 a factor of f?
True
Is 73 a factor of 3/(7 + 128180/(-18317))?
False
Suppose 2*s - 132888 = -54*s. Is 38 a factor of s?
False
Suppose 29*l - 3520 = 21*l. Is l a multiple of 20?
True
Let s = -7 - -10. Let d(m) = -m**2 - 7*m - 14. Let g be d(-5). Let t = s - g. Is 7 a factor of t?
True
Is 7*8/(-28) - -2402 a multiple of 24?
True
Let f(j) = -3 - 5 + 61*j**2 - 56*j**2 + 2*j + 2. Is f(-3) a multiple of 11?
True
Let p = 52 + -48. Suppose -3*v = -p*m + 17, -4*v - v = -25. Is m a multiple of 8?
True
Suppose 5*k + 28 = r, -5*r - 2 = 5*k - 22. Suppose -480 = -19*i - i. Suppose m + r = z, m + i = 4*z - m. Is 3 a factor of z?
False
Is 16 a factor of 11544/(-185)*-5*9/6?
False
Suppose l + 3 = 5. Suppose -4*d = 5*v - 12, l + 4 = -v + 2*d. Suppose 0 = s + 3*h - 32, -64 = -2*s - 4*h - v*h. Is s a multiple of 8?
True
Let c = 20 - 12. Suppose -16*f + 576 = -c*f. Is f a multiple of 8?
True
Let k(j) = -68*j**3 + 2*j**2 - 2. Let l be k(1). Let a = l + 99. Is a a multiple of 31?
True
Let q = 20 + 412. Is 16 a factor of q?
True
Let i = -40 - -44. Suppose -c + 155 = i*d, 2*d = -2*c - 2*c + 60. Is 8 a factor of d?
True
Let y be (-3)/((-3)/2) + 2. Suppose -4*p + 37*p - 1782 = 0. Suppose y*w + p = 5*w. Is w a multiple of 9?
True
Let c(x) = -2*x**2 - 26*x - 25. Suppose 6*b - 2*b + 44 = 0. Is 18 a factor of c(b)?
False
Let l(z) = z**3 - 3*z**2 - 4*z + 14. Let o be l(3). Suppose o*r - 469 + 79 = 0. Is 65 a factor of r?
True
Suppose 8*f - 5*f = 516. Let c = -60 + f. Suppose 0 = -5*w + c - 7. Is w a multiple of 5?
False
Let l be (-45)/(1*(-15)/10). Suppose l = s - 29. Is 10 a factor of s?
False
Is (-4579)/(-133)*4 + 2/7 a multiple of 3?
True
Let g = 197 + -56. Suppose -5*o = -g - 384. Does 5 divide o?
Tru