v**4/3 - 2*v**3/3 + 5*v**2/2 + v. Does 13 divide h(f)?
False
Let h be ((-1)/2)/(1/(-50)). Suppose 2*l - 7*l + h = 0. Suppose -4*c = c - l*s - 85, 5*c - 61 = -3*s. Is 14 a factor of c?
True
Let b(s) = -14*s**3 + 4*s**2 - 8*s + 3. Let l be b(6). Is 10 a factor of l/(-55) - (-2)/(-11)?
False
Suppose -5*c + 5*j = 0, -4*c = c + 5*j. Let l be 1/((-8)/(-342)) - 255/(-1020). Suppose 5*v - 120 = 5*d, c = -2*v + d + 1 + l. Is 5 a factor of v?
True
Let m = 941 + -350. Does 18 divide m?
False
Suppose 1 = 3*x - 2*x. Let l be 9/1 - (0 - x). Suppose 0 = 11*a - l*a - 42. Does 19 divide a?
False
Let k(q) = 8*q - 56. Let v be k(8). Suppose 6*w - 1396 = v. Is w a multiple of 26?
True
Is 108*(-5 - -8 - 1/1) a multiple of 16?
False
Let x(j) be the third derivative of -83*j**6/120 + j**5/60 + 6*j**2. Is 28 a factor of x(-1)?
True
Let s = 5 - 5. Let t(p) = -p**3 + p**2 + p + 5. Let j be t(s). Suppose g - 168 = -3*n + 87, j*n = -g + 423. Is 30 a factor of n?
False
Suppose y - 183 = 165. Suppose -g - 3*h + 103 = 0, g + 4*h + y = 4*g. Suppose 5*i = -3*j + 80, 3*i = 3*j - 8*j + g. Is j a multiple of 9?
False
Suppose -d - 2*d - 3*q = -69, 0 = 4*d - 5*q - 74. Let z = 9 + d. Let g = 45 - z. Is 5 a factor of g?
True
Suppose -3273 = -r + 2802. Does 37 divide (-4)/(-22) + r/165?
True
Let q(n) = n + 11. Let j be q(-8). Suppose -4*p = -j*l - 3*p + 1, l - 7 = -p. Is (-34)/(-2) + -3 - l a multiple of 6?
True
Let h = 3 + 54. Let m = 55 + h. Suppose 4*k - 5*w = m, -54 = -5*k + 3*k + 3*w. Does 11 divide k?
True
Let a(r) = -5*r - 8. Let g be a(-6). Suppose i - 28*h - 19 = -24*h, h + 1 = -i. Let s = g - i. Is 5 a factor of s?
False
Let z be 268/(-3)*(-60)/8. Suppose 2*t + t - 508 = p, -4*t = -5*p - z. Is 34 a factor of t?
True
Let t(l) = 57*l - 1. Let q be 77/33 + (-4)/3. Is t(q) a multiple of 14?
True
Suppose -8*j = 18 + 6. Let d = j + 7. Suppose 0 = -d*y + 6 + 154. Is y a multiple of 10?
True
Let w(h) = -246*h - 588. Is 8 a factor of w(-6)?
True
Let m(i) = -i**2 + 7*i + 8. Let t be ((-2)/(-3))/(2/24). Let c be m(t). Suppose -11 = -4*b + 9, -4*d + b + 23 = c. Is d a multiple of 3?
False
Suppose 3*m = -0*f - 3*f - 282, -4*m + 4*f = 336. Let j = -25 - m. Suppose -2*w - j = -4*w. Does 16 divide w?
True
Let i(l) = -2*l + 0*l - 18 + 14. Is i(-11) a multiple of 18?
True
Suppose 2*c = 4*c - 10. Suppose 0 = c*g - 5, 0 = 5*n + 2*g + 147 - 569. Is n a multiple of 28?
True
Let r(m) = -m**3 + m**2 - 3*m - 4. Let i = -32 - -37. Let j be (1 + (-1)/i)*-5. Is r(j) a multiple of 15?
False
Suppose 240*v - 234*v - 372 = 0. Is v a multiple of 2?
True
Suppose 6*n - 4 = -22. Is 8 a factor of (-6)/15*300/n?
True
Suppose -4*i + 8 = -0*i. Let b be (5 + -4)/(i/26). Let y = b + -1. Is y a multiple of 12?
True
Let u(s) = -3*s. Let r be u(7). Let f be 6/8*(-56)/r. Suppose -m + 4*m + 3*h = 75, -f*h = -3*m + 70. Is 12 a factor of m?
True
Let j(h) = -h**2 + 15*h - 6. Let c be j(13). Let m = 23 - c. Is 16 a factor of -62*m/(-3)*1?
False
Suppose 3*h - 2*f + 15 = -1, 0 = -3*h + 3*f - 21. Let n(c) = 1. Let w(t) = 8*t**2 + 2*t - 2. Let g(u) = 3*n(u) + w(u). Is 13 a factor of g(h)?
False
Let y = -2 + -6. Let q be (y/4)/(-2) + 2. Suppose -q*o - 4*x + 51 = -19, -3*x = -12. Does 12 divide o?
False
Suppose f + 3 = 0, -l = 2*f - 185 + 29. Suppose 0 = -5*h + l - 7. Suppose -h = -b - 8. Is b a multiple of 6?
False
Is (-14)/8 - (-2942)/8 a multiple of 25?
False
Let z(s) = s**3 - 7*s**2 + 7*s + 7. Let d be z(6). Let k = -27 + d. Does 19 divide ((-8)/k)/(24/1596)?
True
Let u(m) = 2*m + 9. Let i be u(-7). Let y(w) be the third derivative of -w**4/8 - w**3/2 - 16*w**2. Is y(i) a multiple of 6?
True
Let m(y) = -y**2 + 3*y + 4. Let g be m(4). Suppose -4*a = -5*i - 40, -2*a - 3*i + 41 + 1 = g. Does 7 divide a?
False
Let k(v) be the second derivative of v**3/3 - 11*v**2 - 24*v. Is k(15) even?
True
Let g(c) = c**3 - c**2 - c - 2. Let j be g(-2). Is 15 a factor of (j/(-10) + 0)/(3/225)?
True
Let y be (-12)/(-10)*(0 - (-530)/4). Let s = y + 9. Does 19 divide s?
False
Let v(k) = -k - 14. Let w(b) = 5*b + 68. Let s(n) = -22*v(n) - 4*w(n). Let j(h) = -h**2 + h. Let f be j(1). Does 10 divide s(f)?
False
Let h = -13 + 28. Suppose -145 = h*t - 20*t. Let l = t - 9. Is l a multiple of 10?
True
Suppose -1 + 15 = u. Let g be 148/6 - u/(-42). Let n = -16 + g. Is 4 a factor of n?
False
Let o(h) = -9*h**2 - 3*h**3 + 2*h**3 - 20 + 501*h - 497*h. Is o(-10) a multiple of 10?
True
Let j be (10/(-4))/5 + 3/(-6). Is (-3 - -2)/j*188/2 a multiple of 22?
False
Suppose 78 = -b + 4*b. Suppose -2*h + b = -5*t, -5*t + 3 = 3*h + 14. Suppose -h*v + 45 + 63 = 0. Is v a multiple of 9?
True
Is 4 a factor of -39*(5 + -6) - -1?
True
Suppose 4 = -4*d - 0. Let r be ((-15)/(-10))/(d/(-16)). Let x = r + 12. Is 6 a factor of x?
True
Let w = 74 - 71. Suppose -51 - 139 = -2*m + 2*b, -w*m + 4*b + 285 = 0. Is 19 a factor of m?
True
Suppose 3*k - 8*k = -15, g = -2*k + 11. Suppose i + 2*i = -g*j + 380, 4*i - 545 = j. Is i a multiple of 38?
False
Let y be (-10)/4 + (-2)/4. Let n(b) be the second derivative of -b**5/20 - b**4/6 - b**3/3 + b**2/2 - 32*b. Is 16 a factor of n(y)?
True
Let i(m) = 2*m**2 + 4*m - 5. Let w be i(-3). Is 72 - -34 - 3*(0 - w) a multiple of 17?
False
Let d = 284 - -6. Does 13 divide d?
False
Let h(v) = 5*v**2 - 2*v + 6. Suppose -8*t - 29 = -5. Does 10 divide h(t)?
False
Let t be (2 - (-1 + 2))*8. Suppose -9*p = -11*p + t. Suppose -y - 103 = -2*j, -64 = -p*j + 4*y + 148. Is j a multiple of 25?
True
Let f = -6 - -4. Suppose 6*t + 2*j + 101 = t, 0 = -5*t + 3*j - 86. Is 11 a factor of (t/(f - -3))/(-1)?
False
Suppose 14*f - 1088 = -2*f. Is 34 a factor of f?
True
Is ((-1196)/8 + 1)/((-23)/184) a multiple of 9?
True
Let k(j) = 2*j**3 - 16*j**2 + 18*j + 24. Is 40 a factor of k(9)?
False
Let o(r) = -r**3 + 10*r**2 + 12*r. Suppose 4*y - 25 - 19 = 0. Does 7 divide o(y)?
False
Let r be -37*1/(-7) + 66/(-231). Suppose -q = -r*b - 2*q + 587, 3*b - 361 = -5*q. Is 13 a factor of b?
True
Let r be 472/(-10) - (-12)/60. Let q(u) = 4*u**2 + 3*u - 2. Let s be q(-5). Let v = r + s. Is 13 a factor of v?
False
Let u(h) = h**2 + 20*h - 27. Does 38 divide u(-31)?
False
Suppose -19 + 104 = 5*g. Let o = 275 - g. Does 43 divide o?
True
Let u(l) = -5*l + 42. Let x(g) = 2*g - 14. Let n(r) = -2*u(r) - 7*x(r). Let d(o) = -5*o + 13. Let s(b) = -3*d(b) + 4*n(b). Is s(15) even?
True
Let w(z) = 6 + 204*z - 211*z + 24. Is 9 a factor of w(-6)?
True
Let v(r) = 3 - 5 + 30 + r. Does 3 divide v(-13)?
True
Suppose -4*i = -2*s + 3648 + 3524, 3*i = s - 3588. Is 18 a factor of s?
True
Suppose -2*h + 3*c = -7613, -10*h + 14*h = 4*c + 15216. Is 15 a factor of h?
False
Let o(l) = -l**2 + 22*l - 9. Let s(d) = d**2 + 3*d + 4. Let n be s(-5). Does 13 divide o(n)?
False
Suppose 0 = 4*d + g - 198, 5*d - 29 = -4*g + 213. Is 9 a factor of d?
False
Let u(t) be the first derivative of -1/2*t**2 - 1/3*t**3 - 7 + 38*t. Is u(0) a multiple of 13?
False
Let u = -194 + 242. Is u a multiple of 8?
True
Let q(t) = -t**3 - 4*t**2 + 4*t - 11. Let s be q(-5). Is 4 a factor of (0 - (-32)/4)/(s/(-69))?
True
Is 1512/3 + 6 - 6 a multiple of 24?
True
Let k(r) = -r**3 + r**2 - r + 1. Let y be k(1). Suppose 236 = 4*g - y*g. Suppose 5*v + 91 = 3*z, -5*v - g = -2*z - 0*z. Does 19 divide z?
False
Suppose -61*h + 58*h + 792 = 0. Is h a multiple of 88?
True
Suppose -173 = -6*n + 4*n - 5*y, -3*n + 3*y + 228 = 0. Suppose 85 = 2*x - n. Does 28 divide x?
False
Is 30 a factor of (8 - -2)/(7/196)?
False
Let k(f) = -f - 4. Let q be k(-6). Suppose v - p + 11 = -0*v, -52 = q*v + 4*p. Is (8/(-4))/(2/v) a multiple of 16?
True
Suppose 0 = 5*a + 1267 + 523. Let g = a - -526. Suppose g + 33 = 3*y. Is y a multiple of 19?
False
Let u = 51 + -51. Suppose u = 5*l - 1295 + 190. Is 44 a factor of l?
False
Let y = 50 - -382. Is y a multiple of 16?
True
Let z(u) = u**2 + 11*u + 12. Let d be z(-12). Let n be 75/(-10)*d/(-10). Suppose -2*b + 2 + n = 0. Does 4 divide b?
False
Let u(b) = b**2 + 2 + 7 + 6 + 1 - 13*b. Is 2 a factor of u(12)?
True
Let p = -2602 - -4546. Is 72 a factor of p?
True
Suppose 5*z - 228 = 4*z - 2*u, -218 = -z + 3*u. Is 14 a factor of z?
True
Let x(p) = 8*p - 3. Let t(f) = -f**2 - f. Let m(h) = -t(h) - x(h). Let l be m(7). Suppose b + l*d - 2 = 0, -2*b + 0*d + 8 = 5*d. Is 14 a factor of b?
True
Let x(d) = 4*d - 21. Let g be x(7). Suppose 3*