ative of -9*i**2/2 - 8. Does 8 divide f(o)?
False
Let p(w) = w**3 - w**2. Let o(q) = -5*q**3 + 17*q**2 + 13*q - 3. Let d(y) = -o(y) - 6*p(y). Is 11 a factor of d(-10)?
True
Let y = 3 - -43. Does 7 divide y?
False
Let n = 2 + -3. Let u(g) = 6*g + 3. Let q(r) = r + 1. Let w(s) = 2*q(s) - u(s). Does 3 divide w(n)?
True
Suppose -d - 5*v = -0*v - 18, 3 = v. Suppose d*q - 2*t = 34, t = -q - 0*t + 18. Is q a multiple of 14?
True
Let m(u) = u**3 + 4*u**2 + u - 2. Let s be m(-3). Suppose 2*o = -3*x - 3*o + 59, -73 = -s*x - o. Is 6 a factor of x?
True
Let r(x) = -9*x - 2. Let m be (4/6)/((-2)/(-51)). Suppose -5*f - m = 8. Is 15 a factor of r(f)?
False
Let x(n) = n**3 + 2. Let u be x(0). Suppose 4*i + 16 = u*l, -2 = 7*l - 5*l + 5*i. Is l a multiple of 2?
True
Suppose -5*s + 0*k + 65 = 2*k, -s + 3*k + 30 = 0. Is s a multiple of 9?
False
Is 25 a factor of 138 + -5 + 8/(3 + -1)?
False
Let y(v) = -2*v**3 - 2*v**3 - 4 + 4*v**3 - 2*v**2 + v**3. Does 10 divide y(4)?
False
Suppose 17*c + 224 - 1567 = 0. Is 5 a factor of c?
False
Suppose -2*m = 6 + 2. Let b = 8 + m. Suppose b*f = -3*r + 77, -59 = 2*f - 6*f + 3*r. Is f a multiple of 6?
False
Let g(u) = 16*u**2 - 4*u. Does 23 divide g(-3)?
False
Let f(w) be the first derivative of 4*w**3/3 + 2*w**2 - 2*w - 1. Let x be f(-4). Is 7 a factor of x/6 + (-8)/12?
True
Let v(p) = -p**3 + 3*p**2 + 6*p - 5. Let c be v(4). Suppose -5*i + 3*t = -160, 0*i + c*i = 5*t + 96. Is i a multiple of 14?
False
Suppose -5*g = 23 + 7. Let i(x) = 0 + 4 - 3*x + 2*x. Does 3 divide i(g)?
False
Let i be (20/6)/(1/21). Suppose -3*k - 2*d - 57 = 69, -2*k = 4*d + 84. Let n = k + i. Is 10 a factor of n?
False
Let o be (3 - 1) + (79 - 7). Let i = -34 + o. Does 11 divide i?
False
Does 16 divide 100/(-3)*60/(-50)?
False
Suppose 0 = -2*c - c + 894. Is c a multiple of 44?
False
Suppose -5*g + 11 = -29. Does 2 divide g?
True
Let r(t) = 52*t - 92. Does 22 divide r(6)?
True
Let j(n) = 7*n + 3. Is j(1) a multiple of 7?
False
Let t = 12 - 26. Let w = 11 + -18. Is 13 a factor of (-180)/w - 4/t?
True
Let m(c) = -c**3 - 7*c**2 - 5*c + 8. Let a be m(-6). Let s = a + 1. Suppose s*v = 8 + 13. Does 3 divide v?
False
Let x(y) be the first derivative of 5*y**2/2 - 5*y + 1. Let w = 15 - 9. Is 15 a factor of x(w)?
False
Suppose m - 4*v - 72 = 0, -292 = -4*m + 5*v - 59. Is m a multiple of 13?
True
Let i = 45 + -7. Is i a multiple of 3?
False
Let z = 9 - 5. Suppose -d + 4*x + 5 = 0, 4*d - z*x - 48 = -2*x. Is d a multiple of 10?
False
Suppose -9 = -z - 2*z - 3*q, 3*z + q = 7. Suppose 3*w = -a + 5, 3*w - 18 = -z*a + 5*w. Is a a multiple of 6?
False
Suppose 3*z - 3 = -0. Let q be z/((-3)/(-204) + 0). Let l = -46 + q. Does 15 divide l?
False
Let i(u) = u + 29. Let l be -1*(-1 + -2 + 3). Does 14 divide i(l)?
False
Suppose 3*u + 7 = s + s, 4*s - 23 = -3*u. Suppose -s*l + 353 - 108 = 0. Does 10 divide l?
False
Suppose l + 3 = 2*z - 52, 0 = -l - 2*z - 75. Let g = -40 - l. Suppose 0 = -4*m - 4*i + 36, 2*m = -m - 2*i + g. Does 3 divide m?
False
Is (1/(-2) - (2 + -1))*-16 a multiple of 8?
True
Let u = -13 - -21. Suppose 0 = -t - 2, -4*s - 5*t = -250. Suppose -5*c - 3*a = -u*a - s, 9 = c - 5*a. Does 12 divide c?
False
Let f = 61 + -22. Does 28 divide f?
False
Let c(t) = t**2 - 9*t - 10. Let h be c(10). Suppose -4*m + 5*m - 2*i = 6, -5*m + 3*i + 16 = h. Is m a multiple of 2?
True
Let v(b) = -b**3 - 14*b**2 - 7*b - 5. Let w(c) = -c**2. Let p(u) = -v(u) + 6*w(u). Let m = 13 - 20. Does 5 divide p(m)?
True
Let c = -33 + 75. Let j = c - 2. Does 11 divide j?
False
Suppose 0 = -4*h + 5*z + 124, 4*h + 3*z = 5*z + 112. Let k(b) = -7*b**3. Let q be k(-1). Suppose n - 2*c = h, -n - q*c = -3*c - 50. Does 17 divide n?
True
Is 3 + (-44)/12 + 28/6 a multiple of 4?
True
Let j = 28 - 19. Does 9 divide j?
True
Let d(s) = s**3 - 4*s**2 + s + 1. Let p(y) = -y**3 + 3*y**2 + y + 1. Let c be p(3). Is d(c) a multiple of 4?
False
Is -1 + 5 + 0 + -1 a multiple of 2?
False
Let m = 157 + -79. Does 26 divide m?
True
Let j = 81 - 27. Let n be (-7 - -1)*(-2)/6. Suppose -n*m + d + 108 = 2*m, d = -2*m + j. Does 12 divide m?
False
Let i be (296/(-12))/((-6)/27). Suppose -j = 2*j - i. Is 10 a factor of j?
False
Let d(a) = -a**3 - 13*a**2 + 11*a - 2. Let k be d(-14). Suppose -k = -4*j - u + 13, 4*j - 68 = -4*u. Is j a multiple of 12?
True
Suppose 3*w + w - 11 = 3*q, 3*w - q = 12. Suppose -4*c = -4*r + 108, w*r - 140 = 2*c - 8. Is r a multiple of 11?
False
Suppose g + g = 0. Suppose g = -2*r + 6*r - 104. Does 13 divide r?
True
Let i(s) = -s - 1. Let j be i(-4). Suppose j*o = -o + 24. Does 6 divide o?
True
Let h(a) = -a - 5. Let g be (-1)/1*(0 - -6). Let q be h(g). Suppose -29 = -2*x - q. Does 12 divide x?
False
Suppose -480 = -3*z - 5*u, -4*u = -4*z - 23 + 663. Does 11 divide z?
False
Let a(d) = d**2 + 12*d + 13. Is a(-15) a multiple of 3?
False
Suppose -5*f + 165 = n + 4*n, -60 = -2*f - 5*n. Let l be ((-3)/(-3) - -2)/1. Suppose -l*p + f - 8 = 0. Is p a multiple of 9?
True
Does 13 divide 24/(-15)*85/(-2)?
False
Let l = 7 + -7. Suppose l = -5*g + g + 144. Does 18 divide g?
True
Let c(u) = u**3 - 9*u**2 - 7*u + 10. Let p be c(10). Suppose -5*q + 170 + p = 0. Is q a multiple of 14?
True
Suppose -73 = 4*a - 557. Is a a multiple of 13?
False
Let q(g) = -12*g**3 + g**2. Does 13 divide q(-1)?
True
Let y be 1 + -2*(-3)/6. Let w be 2*(y - 1) + 4. Suppose o - w - 7 = 0. Does 13 divide o?
True
Suppose -2*n + 61 - 35 = 0. Is n a multiple of 13?
True
Let t(n) = -n**3 + 13*n**2 - 11*n - 10. Let f be t(12). Suppose -f*y + 3*y - 3*l = -10, 5*l - 20 = 0. Let v(p) = 3*p**2 - 1. Is v(y) a multiple of 11?
True
Let u(i) = i**2 + 5*i + 6. Let q be u(-4). Suppose -2*r - 5*t + 160 = 3*r, 0 = q*t - 10. Is r a multiple of 9?
True
Suppose -b = -4*b - 3*l + 30, 4*b - 2*l = 58. Does 13 divide b?
True
Let h(t) = t**3 - 7*t**2 + 10*t - 8. Let p be h(6). Suppose p = 3*y - 8. Let n = 23 - y. Does 5 divide n?
True
Suppose 4*z - 4*c = -0*z + 432, 4*z = -4*c + 408. Suppose -2*f - z = -7*f. Is 11 a factor of f?
False
Let r be -3 - -2 - 406/(-1). Suppose 3*f = 8*f - r. Does 27 divide f?
True
Suppose 2*o - 6 = 4*i - i, 2*i + 3*o = 9. Suppose -4*d + 8*d - 8 = i. Suppose 16 + 10 = d*t. Is 4 a factor of t?
False
Suppose -2*r + m + 104 + 329 = 0, 2*r + 2*m = 436. Is r a multiple of 31?
True
Let w be ((-8)/(-6))/(2/12). Suppose 4*c - 3*y = 3*c, -4*y - w = -2*c. Suppose -c + 92 = 4*u. Does 8 divide u?
False
Let h(y) = 4*y**2 + 9*y - 2. Let a be h(-7). Suppose -l = 3*n - a, -3*l = n + n - 92. Let k = 60 - n. Is k a multiple of 8?
False
Let x(p) = -3*p + 1. Let w be x(-1). Suppose w*b + 37 = 137. Suppose -b = 5*z, -m + 51 = m - 3*z. Is m a multiple of 9?
True
Suppose -4*h = 5 + 7. Let a be 1/h*(0 + -12). Suppose 5*t - 140 = a*s, -58 = -2*t - 2*s + 4*s. Does 17 divide t?
False
Let g(s) = 6*s**2 + 3*s + 3. Suppose 0 = -i + 2*i + 2. Is 7 a factor of g(i)?
True
Suppose 0*y - y + 144 = 3*x, -x + 2*y = -55. Let u = -35 + x. Is u a multiple of 9?
False
Let i be (-433)/(-5) + 4/10. Let s = i - 61. Is s a multiple of 15?
False
Let i be (-20)/(-6) - 6/(-9). Suppose 0*r - i*r = -200. Suppose -4*w + 50 = 5*l, l = -4*l - 3*w + r. Is 10 a factor of l?
True
Let a(d) = -25*d. Does 25 divide a(-3)?
True
Let v(n) = 7*n**3 + 11*n**2 + 19*n - 10. Let w(s) = -20*s**3 - 33*s**2 - 56*s + 29. Let p(y) = 17*v(y) + 6*w(y). Is p(-10) a multiple of 19?
False
Let x = -54 - -18. Let b be x/(-15) - (-2)/(-5). Suppose -6 = -d - b. Is 2 a factor of d?
True
Let f be (-80)/(-3) + (-3)/(-9). Let r = -78 - -119. Let a = r - f. Does 7 divide a?
True
Is 33 a factor of ((-24)/32)/(2/(-176))?
True
Suppose 2*a = 3*j - 10, -5*a - 32 + 7 = -2*j. Suppose -s + 54 = -j*s. Does 18 divide s?
True
Let x(u) = -u**3 + 5*u**2 + 8*u + 6. Let p be x(7). Let l = p + 50. Does 14 divide l?
True
Let f be -1*1 - 3/(-3). Let z = f + -8. Does 4 divide (9/6)/((-3)/z)?
True
Suppose 2*f - 540 = 2*w - 0*w, 3*f + 1382 = -5*w. Let b = w - -391. Does 39 divide b?
True
Suppose -2*u = -2*r + 2, 3*u - 21 = -r - 0*u. Suppose 0 = 4*f - r - 6. Let q = 7 - f. Is 4 a factor of q?
True
Let p = 38 + 88. Is p a multiple of 14?
True
Let j = 6 + -6. Let n(o) = -o**2 + o + 22. Is n(j) a multiple of 9?
False
Let d(n) = 3*n**3 + 8*n**2 - 6*n + 3. Let v(q) = 16*q**3 + 41*q**2 - 30*q + 15. Let x(z) = 11*d(z) - 2*v(z). Is x(-5) a multiple of 16?
