2*u - 20 = 0. Let v(t) = -t**2 + 6*t - u + 1 - 13*t - 5*t. Is v(-8) a multiple of 9?
False
Let m = -20 + 28. Suppose -y - 21 = -m*y. Suppose y*z = -2*z + 25. Does 4 divide z?
False
Suppose 0 = -4*v - 2*v + 870. Suppose v = 14*x - 583. Does 6 divide x?
False
Let s(t) = -t**3 + 5*t**2 + 4. Let y be s(4). Let z = y - 8. Let j = -1 + z. Does 3 divide j?
False
Suppose -c = 38 - 24. Is 27 a factor of (-4 + c/(-1))/((-1)/(-8))?
False
Suppose -5*b - 4*y + 13 = -y, -4*b = -2*y - 6. Suppose -3*t - b*t = 4*w - 1, -2*w - 4*t = 4. Suppose w + 2 = -2*c, -222 = -4*j + 2*c. Is j a multiple of 12?
False
Let i = 32 + -30. Suppose -i*q - 4*s + s + 126 = 0, -q + 2*s + 77 = 0. Is 12 a factor of q?
False
Suppose 0 = 5*h - m - 2909, -2*h + 3*m - 1167 = -4*h. Does 37 divide h?
False
Suppose -32 = -3*u - 5*u. Let k(v) = 3*v**3 - 3*v**2 + v - 8. Is k(u) a multiple of 22?
False
Suppose -81 = -3*k + 5*l, l + 24 + 30 = 2*k. Let m = 1 - 1. Suppose m = 2*b - k - 27. Is b a multiple of 6?
False
Let q(i) = 25*i + 15. Does 15 divide q(3)?
True
Let s be -4 - ((-572)/154 + 4/(-14)). Let p(f) = 2*f**2 - 2*f + 4. Let x be p(4). Suppose l + x - 94 = s. Is 22 a factor of l?
True
Suppose o + 1 = -5. Is 19 a factor of 76/(-6)*(o + 60)/(-6)?
True
Suppose -69*s = -77*s + 864. Does 46 divide s?
False
Does 34 divide (-4)/(-22) - 18774/(-198)?
False
Let m(v) = -v**3 - 5*v**2 - v - 2. Let x be m(-5). Let z(a) be the third derivative of a**5/60 + a**3/3 + 2*a**2 + 18. Does 7 divide z(x)?
False
Let h be 987/14 - (-6)/4. Let i = 109 - h. Let g = i - 15. Is g a multiple of 7?
False
Let v = 2173 - 1490. Let i = v - 388. Is 51 a factor of i?
False
Let f be (8/(-12))/(2/(-144)). Let i = 104 - f. Does 7 divide i?
True
Is 24 a factor of 28/126 + 0 + (-8026)/(-9)?
False
Let x(o) = o**3 + 6*o**2 + 9*o + 6. Let a be x(-4). Suppose 0 = -r - a*r + 600. Does 25 divide r?
True
Suppose -2*q - 2*q - 276 = 5*p, -q = 2*p + 72. Let u = q + 131. Is u a multiple of 12?
False
Suppose -k + 6 = u + 2*u, -k + 3*u - 24 = 0. Let x = 45 + k. Is 12 a factor of x?
True
Let p(v) = v**3 - 9*v**2 - 31*v + 73. Is p(12) a multiple of 20?
False
Suppose 374*d - 385*d + 6699 = 0. Does 29 divide d?
True
Suppose 2*h = 3*b + 21, h + 22 = 3*b - 8*b. Suppose r - h*r - 3*f = -342, -2*r + 2*f + 322 = 0. Does 9 divide r?
False
Suppose 3*m + 3 = 0, -40 = -0*j + 3*j + 4*m. Let l be (j/30)/((-1)/125). Let c = l - 27. Is 15 a factor of c?
False
Let q(v) = v**3 - 8*v**2 - 10*v + 11. Let p be q(9). Let m be 2 + p + -6 + 1. Does 5 divide 9 + -5 - m*1?
True
Is 2 a factor of 48/4*148/(-4 + 8)?
True
Suppose 0 = 2*y - 3*y + 15. Is 4 a factor of y*4/(80/36)?
False
Suppose -b = 27 + 30. Let x = -26 - b. Suppose -x = 6*h - 7*h. Is h a multiple of 7?
False
Suppose 0*f = 4*o + 3*f - 23, 5*o - 3*f = -5. Suppose 2*h - u + 159 = 4*h, h - o*u - 92 = 0. Is 41 a factor of h?
True
Let h(v) be the first derivative of -v**3/3 + 13*v - 2. Let k be 1 + 4/(-3 + -1). Is h(k) a multiple of 5?
False
Let r be 3675/6 + (-9)/6. Suppose 4*g = 49 + r. Does 21 divide g?
False
Suppose 0 = -4*f + p + 961, 2*p + 948 + 254 = 5*f. Is f a multiple of 10?
True
Let q(r) = 5*r + 8. Let z be q(6). Suppose s - 4*m - 22 - z = 0, -5*s - m + 195 = 0. Does 8 divide s?
True
Let z be 4/2*6*(-66)/(-44). Suppose -z*l + 16*l + 228 = 0. Is l a multiple of 18?
False
Suppose 5*m + 2*r = 9407, -3*r + r = 2*m - 3758. Does 7 divide m?
True
Suppose 247 = -2*i + 907. Suppose -u + i = 4*u. Does 21 divide u?
False
Let m(q) = q**3 + 9*q**2 - 3*q - 2. Let h be m(-9). Suppose -4*v + 12 = 0, -3*v - 50 - h = -w. Is w a multiple of 32?
False
Suppose 3*l + 4*h - 135 = 0, 0*l + l = -h + 45. Does 2 divide l?
False
Let f(c) = -2*c**3 - 9*c**2 - 11*c - 2. Let w(v) = v**3 + v**2 - v - 3. Let b be w(-2). Is f(b) a multiple of 17?
False
Let l(f) = 13*f - 7 + 1 - 41*f + 1. Is l(-2) a multiple of 17?
True
Let m(s) = -s**3 - 7*s**2 + 7*s + 1. Let b be m(-8). Suppose 0 = -6*y + 5*y - b. Let z(f) = f + 12. Is 2 a factor of z(y)?
False
Suppose 0 = -s + 2*s. Suppose -x - p - 10 - 8 = s, p = -5. Let y = 24 + x. Is 11 a factor of y?
True
Let p(u) = -u**2 + 14*u - 23. Let j be p(17). Let n = j + 119. Suppose x + n = 2*s, 3*s = -2*s + 2*x + 113. Does 5 divide s?
False
Let x(k) be the first derivative of k**2 - 6*k - 4. Let m be x(4). Suppose -500 = -6*s + 2*s - m*c, 0 = -3*s + c + 365. Is s a multiple of 32?
False
Suppose 0*v - 2*v = -224. Suppose 2*a - 103 = -3*a - 4*c, c = -5*a + v. Is a a multiple of 23?
True
Suppose -3 = -4*d + 9. Suppose -d*w - 2*q = 68, -3*q - 6 = -2*w - 47. Let h = 29 + w. Does 5 divide h?
False
Let m = -3 + 7. Suppose 5*s = -m*o - 29, -s - 5*o = -0*o + 10. Let w(y) = -y - 1. Is w(s) a multiple of 2?
True
Let u(l) = l**3 - 9*l**2 + 15*l - 9. Let n be -3 - 18*6/(-27)*3. Does 14 divide u(n)?
True
Let b(f) = 2*f**2 - 7*f - 9. Let k(y) = -y**2 + 6*y + 8. Let q = 26 + -23. Let n(x) = q*k(x) + 2*b(x). Is n(-6) a multiple of 6?
True
Suppose -3*j = 3*o - 27, 4*j = 2*j - o + 16. Suppose -j*t + 4*t = -252. Is 21 a factor of t?
True
Suppose -139 = 351*p - 352*p. Let g = -86 + p. Is 29 a factor of g?
False
Suppose -4*u + 36022 = 27*u. Is 14 a factor of u?
True
Suppose -2 + 8 = 2*q + 2*f, 2*f = -4*q + 6. Let l be 22 - ((q - 1) + -3). Suppose 150 + l = 2*i. Is 22 a factor of i?
True
Let i = 68 - 68. Suppose i = -20*y + 303 + 297. Is y a multiple of 8?
False
Suppose -5*f + 4*g = -14, 3*f - 2 = -0*f - 4*g. Let a = -3 + f. Is 7 + (a + 2 - -1) a multiple of 4?
False
Let p = -621 + 1148. Does 17 divide p?
True
Let d(i) = -i**3 + 3*i**2 + 4*i - 5. Let z be d(4). Let t(j) = 2*j**2 - 7*j - 5. Does 13 divide t(z)?
False
Let d = -250 + 272. Is 2 a factor of d?
True
Let n(p) = -4*p**3 + p**2. Let r be n(1). Suppose 6*z = -0*z - 36. Does 2 divide (-5 - z)*(-6)/r?
True
Let c = 7 + -5. Let k = 12 - c. Suppose 3*p - k = 17. Is 9 a factor of p?
True
Let t = -1 - -47. Let h = 53 - t. Is h a multiple of 5?
False
Let j = 23 + -17. Suppose l + j*l = 35. Is l a multiple of 2?
False
Let z be (-3)/(2*18/(-300)). Does 14 divide -14*(-27 - z/(-5))?
True
Let v be (0 - -1 - -1) + 8. Suppose 4*o + v = 58. Does 10 divide o?
False
Suppose x + 933 = 4*x. Suppose 2*u + u + 3 = 0, -3*d + x = u. Is d a multiple of 20?
False
Let t(s) = 69*s + 2. Let x(z) = 67*z + 3. Let b(r) = 3*t(r) - 4*x(r). Does 11 divide b(-3)?
False
Suppose 3*c = 4*n + 464, 2*c + n - 302 = -0*c. Let q = 297 - c. Is q a multiple of 29?
True
Suppose 0 = -3*z + 2*z - 5*j + 77, -3*j - 469 = -5*z. Suppose -76 - z = -k. Does 14 divide k?
True
Let j = 109 - -82. Is j a multiple of 34?
False
Let u = 83 - 76. Suppose -34 = -h - 5*l, -3*h + 4*l = -0*l - u. Is h a multiple of 3?
True
Suppose -11 = -5*d + g - 2*g, d + 1 = 3*g. Let r be (1/(-2))/(2/(-72)). Suppose d*o + 3*m = o + 11, -2*o + r = 2*m. Is 3 a factor of o?
False
Suppose 0*m - 3*m + 312 = 0. Suppose -20 = -5*y, 4*a + 0*y - m = -4*y. Let i = a - -11. Is 15 a factor of i?
False
Let s be (1/(3/270))/((-2)/2). Let b = 115 + s. Is b a multiple of 2?
False
Let t be (77/4)/((-7)/28). Does 24 divide (-4 - 1)/(7/t)?
False
Suppose -3*g + 5*n + 4918 = 0, -2*g - n + 3274 = -2*n. Is g a multiple of 31?
False
Let i = -50 + 76. Suppose -5*o + 134 = -4*q + i, 0 = 3*q - 9. Is 21 a factor of o?
False
Is 26 a factor of -221*(-14)/21*3?
True
Let d(q) = 190*q - 1. Let v(i) = 8*i - 47. Let s be v(6). Does 32 divide d(s)?
False
Let q be 8*2/16*4. Let f be ((-1)/q)/(8/(-64)). Suppose u = 3*g - 312, f*g = 6*g + u - 416. Is g a multiple of 13?
True
Let d be (-6)/12 + (-9)/(-2). Let k be (-25)/(-15)*(d - 1). Suppose 0 = -4*b + 4 + 8, 0 = -4*z - k*b + 127. Is z a multiple of 28?
True
Suppose 295*i - 494 = 294*i. Is 38 a factor of i?
True
Let m(x) = x**2 - 4*x - 4. Let f(t) = -4 - t**2 + 3*t**2 - 12*t - 1 - 7. Let s(i) = -3*f(i) + 8*m(i). Is 11 a factor of s(-5)?
False
Suppose -5*b + 21 = -2*f + 7, 5*b = -5*f - 35. Is 43 a factor of ((-86)/4)/(f/42)?
True
Let a(o) = -76*o. Let v be a(-2). Let f = -47 + v. Suppose 17 = -2*y + f. Does 13 divide y?
False
Suppose 5*w = 2*x - 0*x + 25, -5*w = 3*x. Let k(y) = -y**3 + 2*y**2 + 5*y + 5. Let a be k(3). Let o = a - w. Is 6 a factor of o?
False
Is 24 a factor of (-115)/230*-5*198?
False
Suppose 40*i + 198555 = 101*i. Is i a multiple of 19?
False
Let u be (-6 - -5)*34/(-4)*-2. Let x = -1 - u. Is x a multiple of 16?
T