ue
Let o(w) = -112*w - 128. Does 10 divide o(-8)?
False
Let j(z) be the first derivative of z**3 + 7*z**2/2 + 7*z + 327. Let k = -2 - 3. Is 9 a factor of j(k)?
False
Let k = 46 - 83. Let x = 19 - k. Is 8 a factor of x?
True
Let w = -7 - -15. Let l = -3 + w. Suppose l*b - 3*b = 26. Is b a multiple of 3?
False
Let f = -2930 - -5276. Is 77 a factor of f?
False
Suppose -68 = -3*q + 7. Let a = 286 - 270. Is 14 a factor of q + a/4 + -1?
True
Suppose -13 - 7 = -4*h. Let q be h/15 + (-10)/(-6). Suppose -q*t - 3 + 19 = 0. Is 8 a factor of t?
True
Let q(b) = -3*b - 20. Let t be q(-8). Suppose t*n = 16 + 76. Does 12 divide n?
False
Suppose 5*z - 1310 = -0*z. Let c = z + -117. Suppose 0 = -2*a + c + 33. Is 20 a factor of a?
False
Let r(t) = t**3 - 25*t**2 - 7*t - 4. Is 49 a factor of r(26)?
True
Suppose 49*w = 45*w - 4, -3*t + 5*w = -3785. Does 63 divide t?
True
Let g(q) = -53*q + 1. Let d = 7 + -11. Let r be g(d). Suppose -4*u + r = -u. Does 23 divide u?
False
Let h(f) = -3 - 7*f + 2 - 1. Let w be h(-3). Let j = 36 - w. Is j a multiple of 5?
False
Let u(g) be the first derivative of -g**4/12 + 2*g**3 + 11*g**2 - 12*g - 13. Let y(h) be the first derivative of u(h). Does 7 divide y(11)?
False
Let y(s) be the third derivative of -s**6/120 - s**5/20 + s**4/24 - 2*s**3/3 - 4*s**2. Let r be y(-3). Let q(x) = -x**2 - 10*x. Is q(r) a multiple of 21?
True
Suppose 4*i = 4*o - 2*o - 22, -5*o + 2*i = -39. Suppose -5*d + 8 + o = 0. Suppose -d*n + 8*n = 300. Does 15 divide n?
True
Suppose 2*k = -k + 9. Suppose 4*z - 24 = -k*v + 130, 108 = 2*v + 4*z. Is v a multiple of 18?
False
Let u(h) = 4*h - 13. Let a(c) = 1. Let s(b) = -3*a(b) - u(b). Is 8 a factor of s(-2)?
False
Suppose 2*c = 5*j - 64, -j + 3*c + 30 = j. Suppose -75 + j = -b. Is 21 a factor of b?
True
Let j(p) = 2*p + 4 + 5*p - 2 + 2. Let n be j(3). Let u = n - 4. Does 7 divide u?
True
Let m(f) = 14*f + 3*f**2 + f**2 + 3*f**2 - 4*f**2 - 15. Is m(7) a multiple of 23?
True
Let q(i) = i**3 - 10*i**2 - 13*i + 3. Let z(r) = -r**3 - 6*r**2 - r + 5. Let a be z(-6). Let l be q(a). Let h = 19 - l. Does 10 divide h?
False
Let j = -91 + 58. Let a = j + 60. Is a a multiple of 9?
True
Suppose f = 4*k - 1186, k + 4*f - 5*f = 298. Is 8 a factor of k?
True
Let o = 1833 - -108. Is 29 a factor of o?
False
Let o = -1852 + 2364. Is 28 a factor of o?
False
Let j be (-798)/4 - 4/(-8). Let n = -115 - j. Is n a multiple of 21?
True
Let b = -19 - -23. Suppose 0*f = 3*f - 4*k - 137, -f = -b*k - 51. Is 5 a factor of f?
False
Let s(p) = 119*p - 63. Does 35 divide s(3)?
False
Does 5 divide (-10373)/(-46) - (0 + 2/(-4))?
False
Suppose 3*g = g - 142. Let h = g - -99. Does 7 divide h?
True
Suppose -c + 5 = -0. Suppose 3 = c*u - 2. Let h(z) = 57*z**2 + z - 1. Is 19 a factor of h(u)?
True
Suppose -3*i + 3402 = 6*i. Does 36 divide i?
False
Let j(h) = -h**3 + h**2 - h + 12. Let y be j(0). Suppose 2*o - w + 2 = y, -2*o = -5*w - 18. Suppose -o*f = -f - 48. Is f a multiple of 8?
True
Let w(i) = -i**2 - 14*i - 6. Let d be w(-9). Suppose -5*j = 4 - d. Suppose -50 = 2*l - j*l. Is 10 a factor of l?
True
Let a = 25 + -17. Let k be (9/12)/(2/a). Suppose -k*r + r + 24 = 0. Is r a multiple of 7?
False
Let c = -218 - -475. Let j = -131 + c. Does 18 divide j?
True
Suppose -4*r + 27 = m - 14, 0 = -5*r + 4*m + 25. Suppose -4*i + r*i = 470. Does 23 divide i?
False
Let t be (-5 - -7)/((-2)/(-5)). Suppose -4*d + 57 = t*r, 2*r + 7 = 3*r + 3*d. Does 3 divide r?
False
Suppose -5 = -4*k + 3*w + 14, -5 = -2*k + 3*w. Suppose 0 = -k*n + 40 + 30. Does 10 divide n?
True
Let u be 9 + (1*-8)/(-3 - -5). Suppose 4*x = -4*h + 24, u*h - 4 - 2 = -2*x. Is 6 a factor of x?
False
Let p = 211 - 99. Does 9 divide p?
False
Suppose -4259 - 349 = -16*z. Does 36 divide z?
True
Let p be -55 - (-2 - 4/(-1)). Let f = 107 + p. Is f a multiple of 10?
True
Suppose 3*q + t = 10, 0*q = 5*q - 4*t - 11. Suppose q*y - 34 - 32 = 0. Is y a multiple of 11?
True
Suppose 0 = 31*l - 34*l + 816. Is l a multiple of 8?
True
Let a be (-1)/(-6)*-4*-3. Let j be (34/4)/(a/4). Suppose -r - 5 = -j. Does 12 divide r?
True
Let z be 160/(-5) - (3 - -1). Let g = z + 121. Suppose 5*p - o - 108 = 0, -5*p + 29 = 2*o - g. Is p a multiple of 7?
False
Does 2 divide (-4 - (-24 - 0)) + 5?
False
Let o(t) = 20*t**2 - 96*t + 36. Is o(12) a multiple of 42?
True
Let q(u) = 6*u**2 - 13*u - 3. Let m be q(6). Let b = 3 + m. Does 18 divide b?
False
Suppose 8*i - 3*x = 5*i + 207, -5*i = x - 321. Is 4 a factor of i?
False
Let u(k) = 2*k**2 - 32*k + 12. Let a be u(21). Suppose 5*d - 178 = a. Is 27 a factor of d?
False
Suppose -29*y - 6794 = -45248. Is y a multiple of 34?
True
Suppose 75126 = 58*w - 75616. Does 23 divide w?
True
Let z = 1846 + -1718. Is 4 a factor of z?
True
Let g be (-6 + -4)*(-48)/(-20). Let t = 29 - g. Is 13 a factor of t?
False
Suppose 2*r = -2*d, r = -4*d + 4*r. Suppose 2*b = 6*y - y + 1, -5*b + 5*y = 35. Let f = d - b. Does 8 divide f?
False
Let s(m) = -4*m - 108 + 100 + 2*m**2 + m + m. Is s(-4) a multiple of 32?
True
Let h = -1 - -3. Let y = -2 + h. Suppose -2*q - 4*n = -4*q + 38, y = 4*q - 5*n - 79. Does 14 divide q?
False
Suppose -3*k - 2*l + 316 = -252, 759 = 4*k + 3*l. Does 2 divide k?
True
Let j be -5*-1*(-1212)/(-15). Suppose 0 = 8*k - 4*k + j. Let u = -62 - k. Does 11 divide u?
False
Suppose -5*d - 1277 = -4*y, 3*d - 185 = -3*y + 739. Is 3 a factor of y?
False
Suppose -39 = -4*m + 3*h, 7*h - 9*h - 40 = -5*m. Let y = 59 + m. Does 12 divide y?
False
Suppose -v + 4*v + 3*h - 5640 = 0, -4*v + 7526 = h. Is 59 a factor of v?
False
Let q = -368 - -177. Let j = q - -391. Does 17 divide j?
False
Let u be 9 + (-1)/(2 + -1). Let n(c) = -5*c**3 - 8*c**2 - 2*c + 7. Let y(o) = 6*o**3 + 8*o**2 + 2*o - 7. Let f(s) = -7*n(s) - 6*y(s). Is f(u) a multiple of 3?
True
Is 74 a factor of (-198)/(-33) - (-661 - -1)?
True
Let v(r) = -r**2 - 10*r - 9. Let k be v(-3). Does 16 divide 1526/k + (-1)/6 + 3?
False
Let n(b) = -b + 1403. Is 61 a factor of n(0)?
True
Let r(i) = -2*i**3 - 19*i**2 - 18*i - 4. Is 8 a factor of r(-9)?
False
Suppose -4*k + 50 = i, 4*i - 15 - 29 = -4*k. Suppose 3*v + 4*y = -v - 24, -2*v + 2*y = 28. Let j = k + v. Is j a multiple of 2?
False
Let b(u) = -58*u - 185. Is 16 a factor of b(-13)?
False
Let o = 1928 - 1199. Does 27 divide o?
True
Does 61 divide (-16)/216*-3 - 31260/(-27)?
False
Let i = -19 + 23. Suppose c - 5 = 0, 3*b - i*c = 6*b - 116. Suppose 13*h = 11*h + b. Is 16 a factor of h?
True
Suppose t + 1599 = q, 3*q = -3*t + 6888 - 2109. Is 38 a factor of q?
True
Let p(c) be the first derivative of c**4/4 - c**3/3 - 3*c**2 + 2*c - 2. Does 18 divide p(5)?
True
Suppose -14*c = -10*c. Suppose -a = -5*s - c*a + 499, -s = -5*a - 95. Does 37 divide s?
False
Let i(n) = 2*n + 75. Let j be (0 - (-4)/4)*0. Is 14 a factor of i(j)?
False
Let t be (-2 + -6)*(-1)/2. Suppose -6*z + 2148 = -4*i - t*z, -4*i = 5*z + 2162. Does 15 divide 13/78 + i/(-12)?
True
Suppose -4*s - 1838 = -6*s. Is s a multiple of 76?
False
Let q be (7 - (10 + 3)) + 1 + 1. Let m = 0 + -1. Is 10/q*(-5 + m) a multiple of 2?
False
Let m = -31 + 19. Is m/54 + (-65)/(-9) even?
False
Let z(w) = 2*w**2 - 7*w + 9. Suppose -v + 10 = -62. Let p be (-70)/(-8) - (-18)/v. Is z(p) a multiple of 36?
True
Suppose i = 2*k - 2, 7 = 3*i + k - 8. Let o(b) = 23*b - 3. Let t be o(3). Suppose -t = -i*z + 2*z. Is z a multiple of 11?
True
Let f(c) = 2*c**3 - 18*c**2 - 43*c + 231. Is 23 a factor of f(12)?
False
Suppose 0 = -2*z - v + 1865, -z + 4*v + 937 = 9*v. Is z a multiple of 13?
False
Let a(d) = -12*d**2 + 4*d - 18. Let x(j) = j**3 - j**2 + j. Let r(h) = a(h) - x(h). Is 45 a factor of r(-12)?
True
Suppose 0 = -4*t + 3*g + 7, -3*t - 3*g - 2 = -23. Suppose -5*q + 616 = 2*a, 5*q - a - 614 = -t*a. Does 31 divide q?
True
Let c(t) = 13*t**2 + 3. Suppose -2*b - 14 = 2*b - 2*w, 2*w = 6. Is 7 a factor of c(b)?
False
Let o = -5 + 7. Suppose 0 = 6*d - o*d - 164. Is 13 a factor of d?
False
Suppose 0 = k - 194 - 22. Suppose 5*o = 7*o - k. Is 18 a factor of o?
True
Let d = -80 + 108. Does 7 divide d?
True
Let y = 419 - 75. Is y a multiple of 7?
False
Suppose 2*v - x = 92, 5*x = 5*v - 332 + 97. Does 9 divide (-2)/9 - (-3250)/v?
True
Let x(a) = 13*a**2 + 3*a - 2. Let i be x(1). Is 0 - -74 - (i + -16) a multiple of 31?
False
Let r be 64/(-6) + (-4)/12. Does 27 divide r/((-77)/54)*7?
True