et v(s) = -22*s**3 - s - 1. Let t be v(-1). Let j = t + -19. Does 12 divide j/(-3 - (-216)/69)?
False
Let p(u) = -27*u + 681. Is p(-47) a multiple of 50?
True
Suppose 7 = -h + 3*p, 7*h - 4 = 2*h + 2*p. Suppose h*i - 4*i + 20 = 0. Suppose 0 = -3*o + 41 + i. Does 17 divide o?
True
Suppose 0 = 96*m - 76*m - 3300. Is 5 a factor of m?
True
Suppose -3*f + 4*b + 3148 = 0, -3*b - 5 + 2 = 0. Is f a multiple of 45?
False
Let n(q) = 6*q**2 + 7*q + 3. Does 71 divide n(6)?
False
Suppose 4*y = 82 - 2. Let l = y - 7. Let b = l + -6. Is 7 a factor of b?
True
Let p = -127 - -215. Let h = -158 + 110. Let w = h + p. Does 9 divide w?
False
Let r(b) = 5*b - 92. Does 44 divide r(36)?
True
Is 6 a factor of 852/36 + 2/6?
True
Suppose -v + 6*k = 4*k - 5, -3*v + 13 = -5*k. Let f = -51 + 85. Suppose -5*p + v = -f. Does 2 divide p?
False
Suppose -3*x = -x + y - 3069, 4599 = 3*x + 3*y. Does 14 divide x?
False
Is (-1158)/(-4)*(10 + 308/(-33)) a multiple of 27?
False
Let h(x) = 4*x - 1 + 0*x + 22*x. Is 21 a factor of h(6)?
False
Suppose 5*c - 4*v - 36 = 158, -2*c - v + 88 = 0. Let x = 65 - c. Does 9 divide (3 - 4) + (x - -2)?
False
Let a(z) = 114*z**2 + 6*z + 8. Does 68 divide a(2)?
True
Suppose -4*t + 4 = p - 1, 3*t = 4*p - 39. Suppose k - p = 3. Does 6 divide k?
True
Suppose 3*t - 4599 = -0*t + 4*r, 7670 = 5*t - 5*r. Is 29 a factor of t?
True
Let v = -315 + 569. Let f be (-1)/(((-6)/v)/3). Let k = f + -75. Does 13 divide k?
True
Suppose 2*t - 2*v = -2*t + 6, 0 = t + 2*v - 9. Suppose -3*w + t = -b - b, -4*b = -4*w. Suppose -n + 65 = 3*s + n, -w*s + 3*n + 90 = 0. Is s a multiple of 14?
False
Let q = 729 - 489. Is 30 a factor of q?
True
Let f(v) = v**3 - 6*v**2 + 2. Let r be f(10). Let m = r + -267. Is m a multiple of 22?
False
Let x(m) = -2*m**3 - 14*m**2 - 14*m - 39. Let k be x(-7). Suppose -3 = o + 5*q + 3, -3*o + 15 = 4*q. Let c = k + o. Is c a multiple of 11?
False
Suppose 0 = 3*b - l - 205, -24*b + 73 = -23*b - 5*l. Let a = 6 - 1. Suppose v = a*v - b. Is v a multiple of 9?
False
Let d = 2544 - 2323. Is d a multiple of 90?
False
Suppose 21*t + 1 = 22*t. Is (5 - 3)/(t/(-1)) + 52 a multiple of 10?
True
Let i(m) = 12*m**3. Let b(c) = -2*c + 17. Suppose 5*j + 4 = -2*g + 35, -g = -2*j - 2. Let z be b(g). Is i(z) a multiple of 6?
True
Let c = 365 - 243. Let z = 246 - c. Suppose -5*t - f + 3*f + z = 0, 3*f - 9 = 0. Is 13 a factor of t?
True
Let i(q) = -35*q - 21. Let c be i(-13). Suppose -4*s + 2*s + c = 0. Does 31 divide s?
True
Suppose 391*g = 385*g + 7332. Is g a multiple of 19?
False
Let k = -29 + 16. Let t = 34 + k. Is 4 a factor of t?
False
Let h be 10/(-3)*(-36)/24. Suppose 0*j - h*j = 5. Let v(q) = -17*q - 2. Is 4 a factor of v(j)?
False
Suppose -y + 5*k = 23, 4*y - 30 = -3*k - 7. Suppose -4*p + 5*m = -164, 0 = -y*p + 3*m + 2*m + 92. Is p a multiple of 10?
False
Let w(g) = 6*g**2 + g + 1. Let o be (-2 - (-1 - 0))/(1/2). Does 4 divide w(o)?
False
Does 14 divide ((-288)/(-90))/(4/(-150)*-3)?
False
Suppose 0 = -y - 1 + 4. Suppose -3*c = -c + n - 413, -630 = -y*c + 2*n. Is c a multiple of 16?
True
Suppose 0 = 58*l - 47*l - 3817. Is 11 a factor of l?
False
Suppose 3*w - 2*h - 1369 = -6*h, 0 = 4*h - 16. Is 68 a factor of w?
False
Let f = -4 + 7. Let s be f/6 + 1/(-2). Is 4 a factor of 4 - 3/(-6)*s?
True
Suppose 0 = 2*d - 115 - 163. Is d a multiple of 12?
False
Let y be ((-1)/(-1) + -184)*(-18 + 17). Let b = y - 87. Is 48 a factor of b?
True
Suppose -3*p + 2*g + 23 = 0, -p = -0*p + 2*g - 13. Suppose -3*x = -5*i - 31, 5*x = -5*i - 3 - 12. Suppose n = x*n - p. Is 3 a factor of n?
True
Let k(x) be the first derivative of -x**4/4 - 2*x**3 - 7*x**2/2 - 7*x - 3. Let j be k(-5). Suppose 5*f = 4*z + 113, 0*z - 2*z = j*f - 59. Is f a multiple of 21?
True
Suppose -38*v - 110 = -c - 37*v, 4*c - 437 = v. Is 65 a factor of c?
False
Does 17 divide 408/(-54)*(-36)/8?
True
Let r(t) = -t + 14. Let l be r(0). Let u = l - 11. Suppose 3*c - 158 = -c + u*s, -28 = -c - 5*s. Is 13 a factor of c?
False
Let q be (-20)/35 - 1437/21. Let w = 101 + q. Is w a multiple of 22?
False
Suppose -6*b = -4*b. Suppose -o - 1 = -b*o. Let n = o - -29. Does 18 divide n?
False
Suppose 0 = 3*i - 0*i - 5*b + 16, 2*b - 10 = 0. Suppose -1 = 5*w - i*u - 126, -2*u = -w + 18. Is 6 a factor of w?
False
Let o(s) be the second derivative of s**5/20 - 5*s**4/4 - 2*s**3 + 8*s**2 + 6*s. Is o(16) a multiple of 16?
True
Let j(q) = -q**3 + 10*q**2 - 7*q - 2. Let x be j(9). Suppose -w - w - 3*p = x, -5*w = -3*p + 82. Does 11 divide (-8)/w - 960/(-35)?
False
Let x(v) = v**3 + 5*v**2 + 3*v - 5. Let y(f) = f - 19. Let q be y(15). Let c be x(q). Let u = 14 - c. Does 15 divide u?
True
Let n(c) = c**3 - 17*c**2 + 15*c + 22. Let a be n(16). Suppose -62 = -a*x + 4*x. Does 17 divide x?
False
Let b be (-214)/(-3) + (32/(-6))/(-8). Suppose 9*h + 130 = 5*w + 4*h, 3*w + 3*h = b. Does 8 divide w?
False
Suppose 5*i - 10189 = -4*t, -t + 2541 = 11*i - 16*i. Is 19 a factor of t?
True
Suppose -p + 3*k = -158, 670 = 3*p - 4*k + 191. Is p a multiple of 7?
True
Let h(n) = -4*n**3 - 61*n**2 + 8*n - 59. Let i(j) = j**3 + 15*j**2 - 2*j + 15. Let z(t) = 2*h(t) + 9*i(t). Let p = -24 - -11. Is 15 a factor of z(p)?
False
Suppose 3*p - 54 = -15. Suppose p*g - 3*g = 470. Is g a multiple of 10?
False
Let y(k) = 12*k**2 + 21*k + 135. Is y(-5) a multiple of 22?
True
Suppose 90 = 11*v - 21*v. Does 19 divide ((-1720)/(-45) - -3) + 2/v?
False
Let t be 50/8 + (-10)/40. Let s = -5 - t. Let d = 20 + s. Does 8 divide d?
False
Suppose 0 = 5*u - 223 + 53. Let k = 79 - u. Suppose -5*p = -5, k = z + 5*p - 6. Is 23 a factor of z?
True
Let p be 5/(-10)*(2 - 12). Let q be (-60)/(-18)*(-12)/p. Is (q/10)/(4/(-70)) a multiple of 7?
True
Let n(b) = b**2 + 30*b + 60. Let z be n(-25). Is 13 a factor of 2/(-13) + (-8720)/z?
False
Does 16 divide -137*3*(4/(-12) - 0)?
False
Let a(k) = 4*k**2 + 4*k - 4. Let j be a(-8). Let w = -102 + j. Suppose w - 19 = 3*x. Does 10 divide x?
False
Suppose -2*i = z - 334 - 1, -5*z = 5*i - 825. Does 17 divide i?
True
Let j be (36/(-30))/((5 + -3)/10). Is (-2 + (-8)/j)/(54/(-8019)) a multiple of 7?
False
Suppose 9*f + 9 = 12*f. Suppose 7*t = -b + 2*t + 124, f*b - 372 = 5*t. Is b a multiple of 31?
True
Let g = -397 - -467. Is g a multiple of 2?
True
Let i = 6 - -43. Let h = 14 - 9. Suppose 5*s = d - i, 4*d - 181 = -0*d + h*s. Does 22 divide d?
True
Suppose -4*a - 258 = -c + 42, 300 = c - 2*a. Suppose 2*x - 3 = 3. Suppose x*b + b - c = 0. Is b a multiple of 15?
True
Let i(x) = x**2 + 3*x - 23. Let g be i(-7). Let m be (5/10)/(2/116). Suppose g*z = 76 + m. Is 7 a factor of z?
True
Let z = 187 + 619. Does 15 divide z?
False
Suppose -2*g + 0*f + 5*f = -23, 29 = 5*g - 3*f. Suppose g*p - 10 = 6. Suppose v + p*v = 205. Is 14 a factor of v?
False
Let r be 28 - (3 + 2 + -2). Suppose 4*c - r = -5. Does 5 divide c?
True
Let u(y) = 13*y - 13. Let p be u(-6). Let i = -47 - p. Is i a multiple of 5?
False
Let f(w) = 227*w - 1. Let c(y) = -y. Let j be c(1). Let q be f(j). Let x = -144 - q. Is 13 a factor of x?
False
Suppose -o + 16 = -5*d, 10*o = 13*o + d - 64. Let c = o - -141. Is 18 a factor of c?
True
Let t(f) = -f**3 - 8*f**2 + 14*f + 9. Let c be t(-9). Let j = 40 + c. Does 39 divide 82 + j/3*-3?
True
Let o = -959 - -2407. Does 16 divide o?
False
Let s = 27 - 17. Let n(l) = -l**3 + 12*l**2 - 13*l + 5. Is 25 a factor of n(s)?
True
Suppose 0 = -3*f - 2*r + 109, -5*r - 131 = -4*f - 1. Is 13 a factor of 4/5 + 2387/f?
False
Let k be (-238)/17 + (3 - 2). Suppose -5 - 9 = 2*x. Let q = x - k. Does 3 divide q?
True
Suppose 3*q = 4 - 13. Let r be (q/9)/(2/(-138)). Suppose 0 = 25*n - r*n - 140. Is n a multiple of 12?
False
Suppose 2 = -r - 3, 4*p + 2*r = 274. Let w = p - -52. Is w a multiple of 16?
False
Is 5467 + 3 - (-5 + 9 - 10) a multiple of 74?
True
Let n = 90 + -34. Let v = 79 - n. Suppose l - v - 27 = 0. Does 15 divide l?
False
Let l = -6 + 8. Suppose -3*d + l = -4. Does 13 divide d/(-7) - 651/(-49)?
True
Let w = 718 + -484. Let z be (-5 - -2) + (-2 - -13). Does 26 divide (w/(-12))/((-6)/z)?
True
Let o be (-2)/(-7) + 6/(-21). Suppose -y + 59 = -3*u + 2*u, o = 5*u + 5*y + 305. Is (u/75)/((-4)/130) a multiple of 26?
True
Suppose -15*k - 640 = -19*k. Suppose 64 = 2*y - 2*x + 7*x, 0 = 4*y + 2*x - k. Is y a multiple of 5?
False
Suppose 3*z + 4*k = 3963, -5*k - 809 = -4*z + 44