) be the second derivative of -23*s**5/10 + s**4/12 + s**3/6 + s**2/2 + 50*s. Let f(u) = u**3 - 9*u**2 + u - 10. Let j be f(9). Does 18 divide p(j)?
False
Suppose 11*j = 5*p + 10*j - 5769, -2*p + 2313 = 5*j. Is 91 a factor of p?
False
Let b = 13 - 23. Let k = b + 10. Suppose k = 9*x - 3*x - 582. Does 28 divide x?
False
Let l(j) be the third derivative of 0*j - 10*j**2 + 1/4*j**4 + 0 - 1/3*j**3. Is 5 a factor of l(5)?
False
Suppose 4*n + 704 = 4*c, 0 = -3*c + 3*n + 2*n + 520. Does 9 divide c?
True
Suppose 4*f = -w - 20, -5*f + w = 25 - 0. Let n = f + -1. Does 7 divide (-4)/n*(-63)/(-6)?
True
Suppose -11*x + 6*x + 175 = 0. Let m = 21 - x. Does 7 divide 18/(-6)*m/3?
True
Let k(z) = -3*z**2 + 1. Let n be k(-1). Let o be 8*(-3)/n*-1. Let v = o - -44. Is v a multiple of 11?
False
Suppose 2*c + 315 = 11*c. Let n = c - -73. Does 27 divide n?
True
Let z(t) = t**2 + 3*t - 3. Let k be z(-4). Is k/2*(2 + 16) a multiple of 3?
True
Suppose -4*f + 8 = 20, -2*k + 5*f + 55 = 0. Does 19 divide (24/k)/((-4)/(-190))?
True
Let x = -22 - -26. Suppose 0 = y + x*y. Suppose 5*p = -y*p + 270. Is 9 a factor of p?
True
Suppose n - 1 = 2. Suppose -3*c = 5*k + c - 156, n*c = -2*k + 61. Does 8 divide k?
True
Suppose 3*v - 500 = 5*j, 219 = -5*v - 3*j + 1007. Suppose 19*s = 14*s + v. Does 4 divide s?
True
Let b = -35 - -131. Is 8 a factor of b?
True
Suppose 2*k = 2*g + 16, 4*g - k + 28 = 4*k. Let f = g + 26. Is f a multiple of 3?
False
Let i(z) = -4*z + 14. Let c be i(-12). Suppose p = 4*q - 0*p - 36, q + 2*p = 0. Suppose -t = q - c. Is t a multiple of 11?
False
Let j(a) = -a**2 + a. Let u(t) = -5*t**2 - 20*t + 35. Let i(f) = 6*j(f) - u(f). Is i(24) a multiple of 13?
True
Let i(c) = -60*c**3 + 5*c**2 + 4*c + 1. Let p be i(-3). Is 44 a factor of p/8 + 72/(-96)?
False
Suppose 15 = -m + 12, -2*m - 1570 = -2*n. Is n a multiple of 46?
True
Suppose 118 = 2*j + 3*l - 0*l, -5*j + 285 = 5*l. Does 14 divide j?
False
Suppose -1 = m - 2. Does 11 divide (-7 - -19)/(-4) + (m - -13)?
True
Let o(l) = 42*l**2 + 2*l - 3. Is 3 a factor of o(1)?
False
Let l be ((-10)/(-4))/((-1)/(-8)). Let v = l + 70. Does 6 divide v?
True
Let b(d) = 7*d**3 - 6*d**2 - 7*d + 8. Let x(g) = -3*g**3 + 3*g**2 + 4*g - 4. Let c(t) = -2*b(t) - 5*x(t). Is 19 a factor of c(6)?
True
Let r = -24 + 28. Suppose -r*i = -i - 78. Is 6 a factor of i?
False
Let f = -343 + 502. Is f a multiple of 24?
False
Suppose -276*d - 486 = -277*d. Does 18 divide d?
True
Let d be 7*(4 + 0/4). Suppose d*v - 31*v + 45 = 0. Is v a multiple of 5?
True
Let y = 0 - -4. Let n(p) = 2*p - 3 + 6*p - y*p. Is n(2) even?
False
Suppose 50 = -3*h + 263. Does 4 divide h?
False
Let p(d) = d**3 - 50*d**2 + 119*d + 113. Is 2 a factor of p(48)?
False
Let h be 3 + -4 - (0 + -5). Let c(k) = -16*k - 4. Let w be c(-7). Suppose -h*j = -j - w. Is j a multiple of 18?
True
Let n = 105 - 53. Suppose -5*m + n = -38. Does 9 divide m?
True
Suppose 0 = -19*p - 21*p + 30800. Is p a multiple of 22?
True
Suppose d - 2731 = -2*d + 5*k, 0 = -d + 5*k + 917. Is 30 a factor of d?
False
Is 9 a factor of 177*(42/(-18))/(-7)?
False
Let p be (-38)/(-3) - (-6)/(-9). Suppose 3*m = p, -3*a = -0*a + 2*m - 293. Is 19 a factor of a?
True
Let i be 4/18 - (-64)/36. Suppose 8 = -r + i*x, 3*x - 7*x + 16 = 0. Suppose r*z - 5*z = -4*l + 35, -3*l - z = -12. Is 5 a factor of l?
True
Let v(p) = p**2 + 7*p - 13. Let d be v(-9). Suppose 0 = -d*u - 5, 0*x + 2*x - 17 = 5*u. Is 5 a factor of 4/x + (-104)/(-6)?
False
Suppose -k = -3*z - 0*k + 52, 3*z - 56 = 5*k. Let r = 80 + z. Does 12 divide r?
False
Let v = 55 - -295. Does 14 divide v?
True
Suppose x - 104 = 172. Is x a multiple of 23?
True
Let m be 2/5 + 708/30. Suppose m*q - 17*q - 280 = 0. Does 5 divide q?
True
Let s be (5274/(-27) - (-1)/3)/(-1). Suppose a + 65 = r, -5*r + 121 + s = 4*a. Is 15 a factor of r?
False
Let h = -4 + 7. Suppose -46 = h*b - 4*b. Is 18/(-27) + b/6 a multiple of 4?
False
Suppose 8 = -u - 2*a, -5*u + 7 = 3*a + 61. Let i be u/(-9)*9/(-6). Does 10 divide (i - 2)/((-2)/8)?
False
Let n(u) = 39*u - 70. Is n(3) a multiple of 8?
False
Let z(q) = q**2 + 3*q - 9. Does 13 divide z(-21)?
False
Let m(j) = 16*j**2 + j + 3. Let n(d) = -16*d**2 - d - 2. Let s(c) = -2*m(c) - 3*n(c). Suppose -4*o + 3 = -1. Is 6 a factor of s(o)?
False
Suppose -310 = -h - 4*h. Suppose -3*w + 49 = -h. Does 8 divide w?
False
Suppose 23*t = 859 + 2453. Does 4 divide t?
True
Suppose -81 = -4*x - 49. Let l(t) = -6*t**3 + 3*t**2 - 10*t - 8. Let s(q) = 7*q**3 - 2*q**2 + 10*q + 9. Let r(v) = -6*l(v) - 5*s(v). Is r(x) a multiple of 23?
False
Let i(l) = -l**3 + 8*l**2 - 5*l - 6. Let h be i(7). Suppose -5*v + 3*s + h = 0, -4*v - 8 = -v - 5*s. Suppose k + v*k - 545 = 0. Does 16 divide k?
False
Suppose 13 = z + 4*t - 2*t, 15 = 3*t. Suppose 8*o = z*k + 3*o - 376, -378 = -3*k + 3*o. Is 12 a factor of k?
False
Let y = 7 - 4. Suppose 2*r + 2*j = -y*j - 28, 5*r - 2*j = -70. Is 9 a factor of 21/r - 42/(-4)?
True
Let f(y) = -y**2 - 18*y - 14. Let r be f(-17). Suppose r*z - 89 = -m, 257 = 2*m + 2*z + 79. Is m a multiple of 11?
False
Let k be (1190/(-55))/(-2) - (-2)/11. Suppose -2*z = -k*z + 513. Is z a multiple of 5?
False
Suppose -4*p - 61 = -77. Let c(l) = 8*l - 5. Does 17 divide c(p)?
False
Let c(f) = -f**2 - 10*f - 16. Let p be c(-7). Suppose 0 = -p*b - b + 480. Does 34 divide b?
False
Suppose g + 7041 = 3*x, -6470 - 5258 = -5*x + 4*g. Is 10 a factor of x?
False
Let w = 38 + -21. Let b = 21 - w. Suppose 11 = b*j - 121. Is 33 a factor of j?
True
Suppose 12 + 0 = 2*c - 5*a, 3*a = -5*c - 1. Let w be 90 + (-1 + c)/(-5). Suppose 5*y + 5 = w. Is y a multiple of 12?
False
Let c(j) = 3*j**3 - 6*j**2 - 2*j + 5. Let n be c(6). Suppose -4*b + 5*k = -n, 4*b = -3*k - k + 380. Is 19 a factor of b?
False
Let a = 845 - 589. Suppose d - 55 = 4*k, -4*k = -4*d - 0*k + a. Does 22 divide d?
False
Suppose v = 112 - 27. Is v a multiple of 5?
True
Let b(i) = -i**3 + 2*i**2 + 2*i + 1. Let a be b(-1). Let h be a/((-3)/((-87)/2)). Let t = h + 6. Is t a multiple of 11?
False
Let m(l) = 327*l - 11*l + 0 + 1. Let b be m(1). Suppose -b = -5*k + d, -k + 12 = 2*d - 47. Does 15 divide k?
False
Let m(x) = -x**2 - x - 458. Let v be m(0). Suppose 3*k - 5*s - 50 = -2*k, 3*k = -5*s + 14. Is k/44 + v/(-22) a multiple of 8?
False
Let z be (-21)/6*(2 - 4). Let w = z - 0. Suppose w*k - 98 - 49 = 0. Is 7 a factor of k?
True
Suppose -f + 8 = -4*t, f + 2*f = 2*t + 4. Let h be 12/(8/2 - 2). Suppose -h*y + 10*y - 128 = f. Is 16 a factor of y?
True
Suppose 8 = 4*p, -3*d + d + 46 = 2*p. Suppose 6 = -3*o + 2*c + 2*c, 4*c - 22 = -5*o. Let u = d + o. Is u a multiple of 13?
False
Let t(q) = -q + 11. Let l be t(10). Is (1 + 0)*1/l - -71 a multiple of 9?
True
Let g(o) = o**2 - 13*o - 15. Let s be g(14). Let d(f) = -162*f. Is 13 a factor of d(s)?
False
Suppose 13*a - 1320 = a. Is a a multiple of 33?
False
Let w be 30*(28/12 + -3). Let n = -14 - w. Does 4 divide n?
False
Let v be (2/6)/((-4)/12). Let b be (10/(-30))/(v/129). Suppose -54 = -4*z - w + b, 0 = -5*z - 3*w + 123. Is 12 a factor of z?
True
Let z(i) be the second derivative of 23*i**3/6 - 7*i**2/2 - i. Is z(4) a multiple of 17?
True
Let y(d) = 2*d**3 + 2*d - 1. Let c be y(1). Let f(i) = 2*i - c*i + 6*i**2 + 2*i - 2*i. Does 13 divide f(-2)?
True
Let a(x) = -x**3 + 6*x**2 - 6*x + 5. Let s be a(5). Suppose -g + 6*g - 180 = s. Suppose 3*j - 98 = 2*i + 2*i, j - 3*i = g. Does 15 divide j?
True
Does 8 divide (-82)/(14/(-3) + 4)?
False
Does 56 divide (1044/(-27))/((1/(-84))/1)?
True
Let w be 6/(-2)*(-524)/6. Let d = -91 + w. Is d a multiple of 15?
False
Let a = -550 - -1054. Is 36 a factor of a?
True
Suppose -g = -2*m - 1632, g - 6*g + 5*m = -8150. Is 74 a factor of g?
True
Let i(n) = -9*n**3 - 4*n**2 - n + 2. Suppose 13 + 1 = -7*b. Does 20 divide i(b)?
True
Suppose 109*a + 23019 = 156544. Does 25 divide a?
True
Suppose -2*f + 38 = -5*v, 8 = -5*f + 3. Let w = v + 122. Is 19 a factor of w?
True
Let z = 11 - -2. Let c = z - -29. Is 21 a factor of c?
True
Let z = 65 + -71. Let m = 38 - 22. Let w = m + z. Does 6 divide w?
False
Let r(j) = -85*j + 6. Let y be r(2). Is 2/4 + y*(-5)/40 a multiple of 3?
True
Let f = 1417 + 365. Is 54 a factor of f?
True
Let j(n) be the second derivative of 7*n**4/3 + n**3/3 - n**2 - 25*n. Suppose -3*v = 2*d - 8, -3*v = -3*d + 2*v - 7. Is 5 a factor of j(d