be y(7). Let l = o + f. Is l a multiple of 17?
True
Suppose -10*t + 44*t = 1224. Is t a multiple of 5?
False
Let k = -3 - 0. Let z be (2/k)/((-12)/1926). Let w = 163 - z. Does 14 divide w?
True
Is 11 a factor of 0 + 773 + -2 + (-8 - -7)?
True
Suppose 27 = 5*u + 7. Suppose 34 = u*n - 110. Suppose -3*d + 8*d + 4*k = 62, 0 = 3*d + 3*k - n. Does 14 divide d?
True
Let j be 3/1 + 6 + -6. Suppose j*d = -4*p + 5*d + 8, 5*d = -p + 13. Suppose p*f - 56 + 20 = 0. Does 3 divide f?
True
Let r = -3 + 5. Suppose r*c - 12 = -2*n, -2*c - 3*c + 2*n = -23. Suppose -3*i + 82 = c*a, -5*i + i + 3*a + 90 = 0. Is i a multiple of 12?
True
Let c(r) = r**3 + 16*r**2 - 16*r - 3. Let s be c(-17). Is 381/5 + ((-36)/s - 2) a multiple of 4?
True
Suppose 3*w - 162 = 4*x + 51, -4*w - 5*x = -315. Is w a multiple of 7?
False
Suppose -4*v = -3*v + 11. Let d be ((-40)/(-24))/((-2)/(-24)). Let g = v + d. Is g a multiple of 2?
False
Suppose 9*y - 9 = 6*y, -390 = -3*b - 3*y. Is 3 a factor of b?
False
Suppose 2 = -9*i + 10*i. Is i*11 - (-7 + 7) a multiple of 6?
False
Let z be (51/(-21) - 1)*238. Let u = -9 + 15. Is z/(-10) - u/10 a multiple of 21?
False
Let c(d) = 4*d**2 + 8*d + 37. Does 11 divide c(10)?
True
Let o(h) = 6*h**3 - 2*h**2 - 3*h - 1. Let k be o(-1). Is (-3)/k + 1/(-2)*-173 a multiple of 10?
False
Let j = -6789 + 10245. Does 32 divide j?
True
Let m(y) = y**3 - y + 5. Let p be m(0). Suppose 1026 + 39 = p*w. Suppose -2*n + 5 + 139 = -4*i, 3*n - 3*i - w = 0. Is 14 a factor of n?
True
Let o = -1686 + 3262. Is o a multiple of 15?
False
Let s = -485 - -1611. Is 21 a factor of s?
False
Let u(t) = t**3 - 26*t**2 + 24*t + 27. Let r be u(25). Suppose 3*n - 4*b - 591 = 386, -2*b + r = 0. Is 12 a factor of n?
False
Suppose -64*f + 63*f + 171 = 0. Is f a multiple of 19?
True
Let d(t) = -6*t - 26. Let b be d(-11). Suppose 5*h = -4*v + b + 23, -52 = -3*v + h. Is 5 a factor of v?
False
Suppose 70*r - 73*r - 132 = 0. Let v = -40 - r. Is v a multiple of 2?
True
Let y(k) = -2*k**2 + k**2 - 1 + 2*k**2 - 4*k. Let h = -241 - -254. Does 21 divide y(h)?
False
Let m(b) = -b**2 - 7*b + 1. Let v be m(-7). Suppose 5 + v = -f. Let h = 0 - f. Is 3 a factor of h?
True
Let i be -6*(-12)/54*6/4. Suppose -2*w + i*f - 752 = -5*w, -2*w + 3*f + 510 = 0. Is w a multiple of 21?
True
Suppose -3*p = 1 + 8. Let m be (-3)/((-6)/10) + p. Suppose m*x = x + 61. Is x a multiple of 14?
False
Suppose 0 = 4*c - 3*o - 75, -c - 10 = o + 4*o. Does 9 divide (4 + 38/4)*40/c?
True
Suppose 7*t - 41 = 204. Suppose 2 - 3 = -i, -4*l + t = 3*i. Is l a multiple of 2?
True
Let u = -2142 - -4119. Is 37 a factor of u?
False
Let l(w) = 2*w - 3. Let k be l(5). Let i = k - 6. Let y(z) = 14*z**3 - z**2 - z + 1. Is 8 a factor of y(i)?
False
Let u = -15 - -23. Suppose -u*o + 232 = -0*o. Does 22 divide o?
False
Let k(p) = p**2 - 2*p + 6. Let a be k(9). Suppose 3*u = 3*s + 3 + 99, 5*s + 172 = 4*u. Let w = a + s. Is 19 a factor of w?
False
Suppose p - 4*p - 2*q - 4 = 0, p = 5*q - 24. Is 8 a factor of (-86)/((-25)/20 - 1/p)?
False
Let d(r) = 0 - 1 + 9*r + 2 + 0 - r**2. Let x be d(4). Let g = 5 + x. Does 13 divide g?
True
Let b be 6/(-5)*(66/(-18) + 2). Is 2 - (1 - 6/b) even?
True
Suppose 4*c - 1960 = -14*t + 11*t, -4*c - 2660 = -4*t. Is t a multiple of 15?
True
Suppose -4*t = y - 33, -2*y + 4*t + 118 = -t. Suppose 5*h + 10 = 2*o - y, 225 = 5*o + 3*h. Does 6 divide o?
True
Suppose -4*u + 2*u + 180 = 3*w, -2*w + 120 = 5*u. Let z be (3/(-6))/((-6)/w). Suppose -20 = -3*l - 5*h + 54, 5*l = z*h + 70. Does 4 divide l?
False
Does 17 divide (-110)/33*141/(-2)?
False
Suppose -5*z + 17 - 2 = 0. Suppose -2*b - z*b = 135. Is (-24)/b*24*3 a multiple of 32?
True
Let d be (1 - 5 - -3) + -1. Let l be (-12)/36*12/d. Let x(b) = 11*b**3 - 3*b**2. Is x(l) a multiple of 19?
True
Let q(c) = -3015*c**3 + 4*c**2 + 6*c + 3. Is 52 a factor of q(-1)?
True
Suppose -7*g + 47 = -9. Is (-2)/g + 0 + (-15457)/(-52) a multiple of 27?
True
Let x = -87 + 177. Let k = 105 - x. Is k a multiple of 3?
True
Let x(r) = 6*r**2 + 10*r + 11. Suppose 2*s + 3*a + 28 = -a, 25 = -2*s - 3*a. Let t be x(s). Suppose 23*w = 18*w + t. Is w a multiple of 21?
True
Let a(f) be the third derivative of f**5/60 + f**4/6 - 4*f**3/3 + f**2. Let s be a(-6). Does 28 divide 0 + -2*(-110)/s?
False
Let v = 11 + -8. Suppose -5*c + 1 - 5 = v*d, 5*d = -3*c + 4. Suppose 0 = -0*f - d*f + 48. Does 24 divide f?
True
Let z(m) = -21*m + 574. Does 27 divide z(-14)?
False
Let d = 47 - 63. Does 4 divide d/(-24) - 356/(-6)?
True
Let x(h) = -h + 7. Let z be x(-8). Suppose -z = 5*g - 75. Does 10 divide 1/((g/(-3))/(-228))?
False
Suppose -2*t + 0 = -3*f + 2, 3*f - t = 7. Let q = -1 + f. Suppose q*o - 4*k - 12 - 56 = 0, 47 = 2*o - 3*k. Is 5 a factor of o?
False
Is (27/(-15))/(-5*(-5)/(-2375)) a multiple of 3?
True
Let t = 434 + -262. Is 17 a factor of t?
False
Let g(i) = -719*i**3 - i**2 - 4*i - 1. Does 31 divide g(-1)?
False
Let p(j) = -j**2 - 6*j - 3. Let z(b) = 4*b**2 + 24*b + 11. Let g(r) = -9*p(r) - 2*z(r). Let q be g(-7). Suppose 0*t = t - q. Does 3 divide t?
True
Let s(k) = 3*k**2 - 6*k**2 + k**3 - 9*k**2 + 29 - 14*k. Is s(13) a multiple of 4?
True
Suppose 2*r + 3*r - 20 = 0. Let x = 57 - r. Is x a multiple of 8?
False
Suppose 3*a - x - 2115 = 0, -81*x - 2830 = -4*a - 83*x. Is 28 a factor of a?
False
Let t be ((-1)/2)/((-2)/12). Suppose t*u - 23 = 16. Suppose h - 44 = u. Is 19 a factor of h?
True
Let u = -46 + 25. Let n = u + 36. Is 1/((-4)/(-12))*n a multiple of 6?
False
Suppose -2*i + 84 + 176 = 0. Let l = 59 + i. Does 13 divide l?
False
Let r(n) = 3*n**2 - 6*n + 12. Suppose -g + 0*i + 10 = 2*i, -5*g + i + 28 = 0. Is 21 a factor of r(g)?
True
Let h(b) = -b**2 + 3*b + 13. Let l be h(11). Is 15 a factor of (l/(-5) + 4)*16?
False
Let b(p) = -17*p**3 + 17*p**2 + 6*p + 1. Is b(-4) a multiple of 10?
False
Let w be 6/12 + (-2)/(4/(-373)). Let t = -110 + w. Is t a multiple of 12?
False
Let i(f) be the third derivative of f**5/30 + 11*f**4/24 + 5*f**3/3 + 15*f**2. Does 10 divide i(-8)?
True
Let u(p) be the third derivative of p**5/15 + p**4/8 - 52*p**2. Let y be (-24)/(-14) - 4/(-14). Is u(y) a multiple of 22?
True
Let n(o) = 18*o**2 - 3*o + 7. Is 5 a factor of n(6)?
False
Is -16*-2*45/36 a multiple of 3?
False
Suppose -3*t + 349 = -3*p - 722, -1404 = -4*t - 4*p. Does 3 divide t?
True
Let x = -600 - -1212. Is x a multiple of 38?
False
Let l = 199 + 26. Is l a multiple of 15?
True
Suppose -3*n = -6, 3*a - 7 = -2*a + 4*n. Let s(b) = -b**3 + 0*b**3 - 2 + 1 - 4*b**2 - a*b - 5*b**2. Does 12 divide s(-9)?
False
Let b(g) = 9*g**2 - 15*g - 14. Is b(-5) a multiple of 5?
False
Let u be 1395/27 - (-2)/6. Let k = u - 30. Suppose -3*j + 4*j + 4 = 0, 4*j + k = a. Is 6 a factor of a?
True
Is 35 a factor of (7/(-2))/((-2)/((-200)/(-2)))?
True
Suppose -4*q = -5*d + q + 80, d - 4*q = 28. Let c(o) = o**2 - 6*o + 3 + 0*o**2 - 6*o. Is c(d) a multiple of 3?
True
Suppose -4*u + 59 + 21 = 0. Does 14 divide 2730/(-9)*((-84)/u + 3)?
True
Suppose -365 = j - 140. Let y = -100 - j. Is 25 a factor of y?
True
Let y be 49 + -11 - (-5 - 0). Suppose 0 = -x + 4*x + 5*w - 63, 3*w = -2*x + y. Is 9 a factor of x?
False
Let i = -58 + 38. Let v = i + 20. Suppose 0 = -2*b - 2*q + 32, -3*b + 3*q = -v*q - 78. Does 3 divide b?
True
Suppose -3*v = -4*x + 205, 2*v - 2*x - 307 = 7*v. Let u = v + 92. Is u a multiple of 23?
False
Suppose 26*c = 29*c - 204. Suppose 3*q + q = c. Is 8 a factor of q?
False
Let c(k) = -57 - 52 + 15*k**2 + 108. Is c(-1) a multiple of 4?
False
Let n(q) = -q**3 - 9*q**2 - 5*q + 14. Let s be n(-8). Let i be 84/s*120/(-18). Suppose -2*z + j = -4*j - i, 0 = -z - 5*j + 43. Is 19 a factor of z?
False
Suppose 0*m - 18 = -6*m. Suppose -252 = -4*g - 0*t + t, 0 = -2*g - m*t + 140. Is 8 a factor of g?
True
Let o(d) = 5*d**2 + 2. Let v be o(5). Let k = v - 82. Is 9 a factor of k?
True
Let g(p) = 10*p + 55. Does 8 divide g(5)?
False
Let u(w) = -w**3 + w**2 + w. Let m(q) = 20*q**3 - q**2 + q + 4. Let k(t) = -m(t) - 2*u(t). Does 17 divide k(-2)?
False
Let q = 36 - 81. Let d = q - -55. Is d a multiple of 10?
True
Suppose j - 30 = 5*p, -2*p + 2*j - 15 = j. Let z = p - -27. Is z a multiple of 7?
False
Suppose 2*n = 5*d - 1318, 0 = -3*d + 3*n + 236 + 553. Is d a multiple of 22?
True
Suppose 6 - 74 = -2*q. Is 7 a factor of (q + 1)*1 + -3?
False
Suppose 0 = 5*o + 15,