- 3. Let h be 2/8 + (-86)/(-8). Suppose -h = 5*g + 9. Is 17 a factor of o(g)?
True
Let s be 278/(-1) - (-4)/2. Let i be 2/7 - s/14. Is 6 a factor of ((-30)/(-25))/(2/i)?
True
Let f(v) = -v - 22. Let o(b) = -11. Let y(u) = 3*f(u) - 7*o(u). Is 13 a factor of y(-12)?
False
Is 7 a factor of 1/1 + -29 + 49?
True
Is 9 a factor of (-4)/(-6) - (-848)/24?
True
Suppose 5*r - 43 = 32. Let n be 1/5 + 1071/45. Let a = n - r. Does 5 divide a?
False
Let k = 6 + -9. Let i = 31 - k. Is i a multiple of 10?
False
Is 663/34 - 6/(-4) even?
False
Let n(q) = 7*q + 1. Let w(s) = -20*s - 3. Let f(h) = -11*n(h) - 4*w(h). Suppose 0 = 5*j + 8 - 43. Does 9 divide f(j)?
False
Let v(l) be the first derivative of -3*l + 6*l**2 - 3 - 1/3*l**3. Is 12 a factor of v(7)?
False
Let y = -13 + 9. Is (2/y)/((-6)/72) a multiple of 3?
True
Let x(i) = 11*i**2 + 3*i + 4. Is x(4) a multiple of 20?
False
Let v(m) = 11*m**3 + 2*m**2 - 2*m - 2. Let i be v(-2). Let z = 6 + i. Let l = -38 - z. Is 13 a factor of l?
False
Suppose 4*v = 3*v - 3. Let t(i) = -i - 6. Let b be t(6). Let u = v - b. Is 9 a factor of u?
True
Suppose v - 6 = 4*v, -2*s + 5*v = -42. Does 8 divide s?
True
Suppose -5*o = 5*c - 75, -3*o = 4*c - 19 - 31. Suppose 310 - o = 4*y. Is 25 a factor of y?
True
Let n = 40 + -85. Is 4 a factor of (6/9)/((-3)/n)?
False
Let m = 72 - 111. Let a = 74 + m. Is a a multiple of 7?
True
Let x(c) = 39*c**2 + 2*c + 3. Is 4 a factor of x(-1)?
True
Suppose 0 = -8*b + 17*b - 3078. Does 19 divide b?
True
Let o(z) = -z**2 + 40. Is o(0) a multiple of 20?
True
Let b(x) = -x**2 - 10*x + 13. Let a(l) = l**2 + 11*l - 14. Let g(s) = -6*a(s) - 7*b(s). Is 19 a factor of g(5)?
True
Suppose 0 = -3*q + 4*s + 583, -2*q + 211 = 5*s - 147. Is q a multiple of 11?
False
Let n(d) = 1. Let g(k) = -k**3 + k + 1. Let q(f) = g(f) - 2*n(f). Let z be q(-3). Let c = 41 - z. Does 12 divide c?
False
Suppose 5*t + 430 = 7*i - 2*i, -262 = -3*i + 5*t. Is i a multiple of 21?
True
Let k = -6 + -5. Let n = 1 - k. Does 12 divide n?
True
Let o(s) = 2*s**3 + 2*s**2 + 2*s + 2. Let q(c) = -c**3 - c**2 - 2*c - 1. Let f(l) = -4*o(l) - 5*q(l). Does 15 divide f(-3)?
True
Let o(f) be the first derivative of f**6/360 + f**5/120 - f**3/3 + 1. Let p(t) be the third derivative of o(t). Does 5 divide p(-4)?
False
Let m be 8/(-6) - (-3)/9. Let n be 18/4 - m/2. Suppose -3*q = -n*q + 14. Is q a multiple of 3?
False
Suppose 0 = 3*v - 5*j + 35, -4*v - 5*j - 23 - 12 = 0. Let y = 4 - v. Suppose n = -0*n + y. Is n a multiple of 7?
True
Let n = 6 - 13. Let b = n - -11. Is 4 a factor of b?
True
Let l(w) = -4*w**3 + 3 + 7*w - 3*w**2 + 3*w**3 - 3*w**2. Is l(-7) a multiple of 3?
True
Suppose -8*n + 20 = -3*n. Suppose -3*p - 8 = b, 5*b + 0*p + 29 = -n*p. Is (-37)/b - 12/(-20) a multiple of 4?
True
Let u(k) = 88*k**3 + k**2 + 2*k - 2. Is 8 a factor of u(1)?
False
Suppose 4*h + 12 = 6*w - 4*w, -2*h = 2*w + 6. Suppose 2*a + 2*l - 48 = w, 11 = -4*a + l + 97. Does 7 divide a?
False
Let t be 9*4/6*-1. Let d be 15/t*-2 - 0. Is 12/(-15)*-2*d a multiple of 4?
True
Let f(h) = -h**2 + 3*h + 3. Let t be f(-5). Let b = t - -61. Suppose -3*c - 3*w + b = 2*w, 0 = -4*c + 2*w + 32. Is c a multiple of 4?
True
Suppose 4*f + 0*f = -3*z - 10, 6 = -5*z + 4*f. Let l be (3/3)/(z/(-8)). Suppose -149 = -l*i - 41. Is 18 a factor of i?
False
Let v(f) = 12*f**2 - 5*f - 28. Is 23 a factor of v(-4)?
True
Suppose 0 = -4*q - 7 + 175. Does 14 divide q?
True
Let r(c) = c**3 - 6*c**2 + 5*c + 2. Let l be r(5). Suppose -5*g - 5 = -5*n, l*n + 5*g + 4 = 41. Is n a multiple of 3?
True
Let r(o) = -o**3 - 5*o**2 - o - 2. Let w be (-84)/22 + (-2)/11. Let f be r(w). Let y = f - -38. Is y a multiple of 12?
True
Suppose 10 = 2*w + 3*w. Suppose h = -5*p + 30, w*h + 2*h = 0. Is 3 a factor of p?
True
Let f be 4*(9/(-6))/1. Let p be 16/7 + f/21. Suppose -2*l = -8 + p. Is 2 a factor of l?
False
Let p = 13 + -5. Is 8/4 + -1 + p a multiple of 3?
True
Is (-1)/2 + 136/16 a multiple of 6?
False
Suppose -8 = 2*f - 6*f. Is 21 a factor of 4*11 + f/(-1)?
True
Suppose 2*g - 3225 = -3*g. Suppose 2*m = -3*m + g. Let y = m + -70. Is 20 a factor of y?
False
Does 3 divide (-4)/(-6 - -2) + 2?
True
Suppose 0 = h + 2*w + 4 + 33, 4*h - 3*w + 126 = 0. Let f = -10 - h. Is f a multiple of 12?
False
Suppose 0 = -2*i + 5*j + 131, -i + 9 = -3*j - 55. Let r = i + -14. Does 28 divide r?
False
Let a = -221 - -405. Is 23 a factor of a?
True
Does 4 divide -2*(-14 - (0 + 2))?
True
Let v(a) = 8*a - 6. Is 3 a factor of v(4)?
False
Let k be ((-35)/4)/(1/8). Suppose 231 = 2*l + 29. Let t = k + l. Is 18 a factor of t?
False
Let s be ((-2)/3)/((-2)/150). Suppose 4*i + 2*q + 3 = 29, -5*i - q + 31 = 0. Suppose h = i*h - s. Does 8 divide h?
False
Let d(m) = m + 12. Let r be (1/2)/((-3)/42). Let c be d(r). Let l = c + 2. Does 7 divide l?
True
Suppose -3*o + 14 + 1 = 0. Let m(j) = o + 4*j + j**2 + 4 - 3 - 2. Is 3 a factor of m(-4)?
False
Let x(w) = 50*w - 25. Does 12 divide x(7)?
False
Let r = -43 - -109. Is 22 a factor of r?
True
Let n(p) be the third derivative of 49*p**5/60 + p**3/6 - 4*p**2. Is n(1) a multiple of 13?
False
Let n(m) = 10*m + 0 + 2*m**2 - 16*m + 13. Does 23 divide n(7)?
True
Let c(n) = 4*n + 6. Let v(m) = -5*m - 5. Let d = 5 - 3. Let u(j) = d*c(j) + 3*v(j). Is 14 a factor of u(-7)?
False
Let c(g) = 3*g**3 - 7*g**2 - 8. Let w(k) = k**2 - 9*k - 9. Let r be w(8). Let f(p) = 8*p**3 - 20*p**2 - 23. Let i(s) = r*c(s) + 6*f(s). Is 9 a factor of i(-2)?
True
Is (-4)/8 + (-70)/(-4) a multiple of 9?
False
Suppose -71 - 29 = -2*y. Does 21 divide y?
False
Let f = -29 + 39. Is f a multiple of 5?
True
Suppose -9 = -3*g - 0. Suppose 0 = l + g*h - 22, -3*h + 55 = 4*l - 15. Does 8 divide l?
True
Does 14 divide (-1615)/(-19) + 2*2?
False
Let a = -2 + 3. Is (a + (-28)/2)*-1 a multiple of 13?
True
Let t(f) = -f**2 + 10*f - 9. Let l be t(8). Let a be (3 - l/2)*0. Suppose -4*o + 108 + 20 = a. Is 16 a factor of o?
True
Let m(o) = 4*o**3 - o**2 - 2*o + 1. Suppose -4*q + 11 - 3 = 0. Does 20 divide m(q)?
False
Let o be 3 - (-2 + 4 + -2). Let b(q) = q + 4 - o + 4 + q**2 + q**3 + 15. Is b(0) a multiple of 10?
True
Suppose -5*n - 3 = -3*p - 94, 4*p = 5*n - 118. Let j = p + 48. Is 16 a factor of 804/j - (-4)/(-14)?
False
Suppose -5*t + 4*o + o = -35, -3*t + 4*o + 24 = 0. Suppose -52 = -0*g - t*g. Does 13 divide g?
True
Suppose j = 2*j. Suppose 4*b = 2*m + 10, j*m - 6 = 3*b + 3*m. Is 2 a factor of (0 + b)*(-2 - -5)?
False
Let k = 6 + 5. Is k a multiple of 3?
False
Suppose -4*c + 12 - 79 = -a, 119 = 2*a - 5*c. Suppose 0 = 3*b + 5 - a. Does 7 divide b?
True
Let g = -62 + 80. Does 3 divide g?
True
Let n(z) = 266*z - 57. Let p(f) = -19*f + 4. Let a(j) = -4*n(j) - 57*p(j). Let d be a(1). Suppose x + d = r + 4*x, -2*r + 14 = -2*x. Is 10 a factor of r?
True
Is 10 a factor of 212*(2 - 21/12)?
False
Let f(i) = -11*i + 5. Let l be f(-4). Suppose l = -4*c + 9. Let q = c + 30. Is q a multiple of 10?
True
Suppose -2*k - k = -2*q - 65, 86 = 4*k - 2*q. Is 14 a factor of k?
False
Suppose 2*n = -5*r + 19, 4*r = -0*n + n + 10. Suppose -44 - 22 = -r*u. Does 9 divide u?
False
Suppose 0 = -3*c - 4*l + 70 + 58, -3*l - 74 = -2*c. Suppose 3*s = -s - c. Let j = -4 - s. Is j a multiple of 6?
True
Let m = 0 - -2. Let q(h) = -1 + 0*h**2 + 15*h**2 + 6*h**2 + m*h. Is 6 a factor of q(1)?
False
Let p = 8 + 5. Let f(h) = h**3 - 12*h**2 - 10*h - 16. Is 12 a factor of f(p)?
False
Let l(z) = -11*z - 2. Let w be l(-1). Suppose 5*y - w*y = -124. Is y a multiple of 18?
False
Let i = -18 + 1. Suppose -h + 172 = -5*h. Let q = i - h. Does 10 divide q?
False
Suppose 0 = -5*c - n + 817, 2*c - 3*n + 30 - 367 = 0. Is 17 a factor of (c/6)/((-3)/(-9))?
False
Suppose 3*h + 4*q = 16, 0 = -6*q + q - 10. Let t = 36 - h. Does 7 divide t?
True
Let h(m) = 3*m - 1. Let v be h(2). Suppose v*u + 2*d - 100 = -3*d, -u + 4 = -3*d. Is 8 a factor of u?
True
Suppose -14 = -4*j - 2. Suppose 20 = q - j. Is 10 a factor of q?
False
Let v = -5 - -3. Let y be 0 - (v - (2 + -2)). Suppose -15 - 35 = -2*n + 2*o, -n + 25 = y*o. Does 11 divide n?
False
Let r(g) = 8*g - 2. Let q be r(-3). Let w = 35 - q. Does 3 divide (-6)/(-21) - w/(-7)?
True
Suppose 0 = -5*z - 2*i - 2*i + 20, 2*z = -2*i + 8. Let f(h) = 4 + 9*h**3 - z - h**2. Is f(1) a multiple of 8?
True
Let r = 214 + -136. Does 26 divide (-1)/(-1 - r/(-81))?
False
Suppose 3*f = -l + 