t m be z - (-2)/((-2)/3). Let l(t) = -t**3 + 14*t**2 - 11*t - 16. Does 8 divide l(m)?
False
Does 8 divide 1/3 - (-74252)/228?
False
Suppose 18833 - 1794 = 11*m. Does 15 divide m?
False
Does 17 divide 1 + (-2332)/(-2) - (-35 + 29)?
True
Let j(i) be the first derivative of -i**3/3 - 15*i**2/2 - 10*i + 2. Let p be j(-14). Is (-1)/(p/252)*-1 a multiple of 21?
True
Suppose -2*k = 823 - 1287. Does 29 divide k?
True
Does 6 divide (-14)/(-6)*(2 - 256/(-4))?
False
Let u(v) = -13*v**3 - 16*v**2 - v + 16. Let g(h) = -4*h**3 - 5*h**2 + 5. Let s(c) = 7*g(c) - 2*u(c). Does 25 divide s(-4)?
True
Does 13 divide -18 + 402 - (0 - -7)?
True
Let b = 74 + -48. Let t = b + 30. Is 4 a factor of t?
True
Let y be ((-58)/(-3))/(1/(-6)). Let l = y - -216. Is l a multiple of 50?
True
Suppose 539 = 2*p - 0*p + q, -p + 287 = 4*q. Suppose -b + 3*z - 65 = -200, -5*z - p = -2*b. Is b a multiple of 21?
True
Let k = 1402 - 1078. Is k a multiple of 15?
False
Is 15*((-136)/(-12) - 8/2) a multiple of 55?
True
Suppose 6*a + 56 = 10*a. Let c = a + 27. Is 41 a factor of c?
True
Let p be (1 - 6)*28/(-70). Suppose 2*j - 152 = -p*j - 5*g, 4*g = -3*j + 114. Is 19 a factor of j/(-4)*(-2 + 0)?
True
Suppose 4*z - 5*w - 36 = 0, -4*w - 8 = -2*w. Suppose -4*a - z*j = -336, -5*a - j = -4*j - 404. Is 4 a factor of a?
False
Let m(s) = 214*s - 32. Is 16 a factor of m(1)?
False
Suppose 148*r = 156*r - 312. Is 4 a factor of r?
False
Suppose 2*t + 1 = -b, -5*t + 6 = -4. Let h be (24/(-40))/((-1)/b). Is 18/4*(h + 9) a multiple of 9?
True
Let r = -100 - 27. Does 25 divide r/(-5) + (-2)/5?
True
Suppose y + 10 = 6*y. Suppose -94*b = -95*b + 18. Suppose -6 = -y*j - 2*w, -5*j + b = -3*j - w. Is j a multiple of 6?
False
Suppose 5*n - 4*q = 51, 0*n - q - 18 = -2*n. Suppose 0 = -n*j + 9*j - 120. Does 20 divide j?
True
Let u(h) = 49*h**2 - 8*h + 18. Is u(2) a multiple of 22?
True
Let k = 10 - 13. Let j be (k - 0)/(6/(-4)). Suppose -z + 2*d + 15 = d, -2*z + 18 = j*d. Is z a multiple of 4?
True
Suppose 0 = 42*l - 39*l - 1584. Is l a multiple of 22?
True
Let o(v) = 9*v**2 - v + 12. Let u(f) = 1. Let y(w) = o(w) - 6*u(w). Does 21 divide y(3)?
True
Let p be 2/(-5) - (-88)/20. Does 19 divide 76 - (3 - (p - -1))?
False
Suppose 13*s = 11*s - 114. Let v = -28 - s. Does 2 divide v?
False
Let g = -10 + 12. Suppose 6*x = g*x + 616. Does 29 divide x?
False
Let r be 2 + (-32)/(-2) - -2. Suppose -5*o = r, 334 + 336 = 5*s + 5*o. Suppose -3*w - 2*n + s = 0, -w - w - 2*n = -94. Is w a multiple of 11?
True
Let q(m) = -140*m - 40. Is q(-2) a multiple of 15?
True
Suppose -w + 3*u = -24, 2*w + 4*u = 2*u + 24. Is 126/(-10)*(-100)/w a multiple of 16?
False
Let q(r) = 5*r + 2*r - 6*r + 13. Does 19 divide q(6)?
True
Suppose -8 + 42 = 2*h. Let z(k) = -k**3 + 16*k**2 + 19*k - 18. Is 6 a factor of z(h)?
False
Let c(b) = -4*b**2 + 9*b - 2. Let q be c(8). Let u = q - -311. Is 25 a factor of u?
True
Suppose 15*h - 6*h = 558. Suppose 3*q = 5*a + 219, 3*q - 4*q = 2*a - h. Does 34 divide q?
True
Suppose -3*m + 15 = 0, 11*p - 13*p - 4*m + 344 = 0. Is p a multiple of 2?
True
Does 36 divide 42*16*((-57)/(-12) - 4)?
True
Suppose -3*l + 5*o = 14, 2*o + 2*o = -4*l + 24. Suppose -2*a - 4*w = 88, -3*a + 2*w - 122 = 3*w. Does 7 divide (-930)/a - l/8?
False
Let x(i) = -i**3 - 5*i**2 + 13*i + 18. Let n be x(-7). Suppose -4*k + 37 = 5*b, 2*k = -3*k - 2*b + n. Does 2 divide k?
False
Suppose 0 = -2*t + 4*y + 768, 5*y - 295 = -3*t + 890. Is t a multiple of 10?
True
Let k(o) = 41*o - 68. Does 55 divide k(16)?
False
Is 19 a factor of ((-678)/4)/(54/(-72))?
False
Let f(y) be the third derivative of 29*y**4/24 + y**3/6 - 15*y**2. Is f(3) a multiple of 15?
False
Suppose -2*s + 30 = u - 3*s, 5*u = -4*s + 114. Let p(j) = -5*j + 12. Let h be p(6). Let l = u + h. Does 8 divide l?
True
Let k(m) = m**2 - 8*m + 6. Is k(-8) a multiple of 7?
False
Suppose 0 = -5*g + 6*g + j - 742, -4*g + 3*j = -2954. Is g a multiple of 10?
True
Suppose w - 10 = -12. Does 18 divide (6*(-3 + w))/(2/(-6))?
True
Suppose 0 = -k - 4*h - 11, k - 3 = 4*h + 10. Let w(l) = -l**3 + 5*l**2 + l + 5. Let b be w(7). Let p = k - b. Is 29 a factor of p?
True
Let f(n) = 22*n + 34. Let x(i) = -2. Let u(y) = -2*f(y) - 36*x(y). Suppose 4*o - 7*o + g = 10, -5*o + 2*g - 18 = 0. Is u(o) a multiple of 19?
False
Suppose 1080 = 3*l + 2*l. Does 12 divide l?
True
Suppose 28*j = 36257 - 8117. Does 15 divide j?
True
Suppose -2*t + 856 = -q, -14*q = -15*q - 2. Is t a multiple of 19?
False
Let p = -3914 + 6531. Does 26 divide p?
False
Let t(r) be the first derivative of -r**5/20 + 11*r**4/12 - 11*r**3/6 + 7*r**2 + 8*r - 2. Let q(x) be the first derivative of t(x). Is q(10) even?
True
Let y(k) = -7*k + 21. Let u(r) = 3*r - 10. Let n(j) = 15*u(j) + 6*y(j). Does 6 divide n(14)?
True
Suppose 9*t = 2*t + 511. Is 17 a factor of t?
False
Let t(k) = k**3 - k + 1. Let p(g) = g**3 + 7*g**2 - 7*g + 5. Let y(d) = p(d) - 2*t(d). Suppose 3 = -4*s - 5*v, 4*s + 4*v = -0*s. Does 12 divide y(s)?
True
Let h(k) = 29*k - 10. Let t be h(5). Suppose -5*a = -10*a + t. Is a a multiple of 27?
True
Let v = -381 + 586. Is v a multiple of 41?
True
Is -2*(6 - 23)*86/4 a multiple of 43?
True
Suppose -3 + 1 = -3*k - f, -5*k - 8 = -4*f. Suppose -5*q - 15 + 105 = k. Does 6 divide q?
True
Suppose 6*k = 3*k + 4*p - 4, -5*k + 3*p - 3 = 0. Suppose -21*z + 16*z + 105 = k. Does 7 divide z?
True
Let y(j) = -2*j**2 - 59*j - 38. Suppose -10*m + 4 - 254 = 0. Is y(m) a multiple of 17?
True
Let g(j) = 14*j**2 + 122*j + 835. Does 29 divide g(-7)?
True
Let y = -491 + 2246. Is y a multiple of 65?
True
Let q(p) = -2*p - 13. Let i be q(-11). Let y = 14 - i. Suppose 0 = -y*z + 343 - 138. Is z a multiple of 16?
False
Suppose -6596 - 541 = -3*c. Is c a multiple of 57?
False
Let z be ((-24)/(-6))/(0 + 1). Suppose 3*u - 126 = 4*f, 0 = -z*u + 3*u + 4*f + 42. Suppose -4*p = -2*q - u, -5*q = p - 5*p + 33. Is p a multiple of 6?
True
Let r = 375 + -269. Is r a multiple of 14?
False
Let r(q) = -q**3 + 12*q**2 + 7*q + 9. Let o(c) = -c**3 + 20*c**2 - 36*c + 12. Let d be o(18). Is r(d) a multiple of 12?
False
Suppose -145 = 5*c + 5*o, -3*c + 5*c + o + 54 = 0. Let t = c - -25. Does 16 divide -68*(-1)/(1 - t)?
False
Suppose s = 5*s - 44. Suppose 3*w - 95 = 3*h - s, -5*w + 164 = h. Is w a multiple of 8?
True
Let a(d) = -9*d**2 - 9*d - 2. Let p(m) = 10*m**2 + 8*m + 1. Let k(x) = 4*a(x) + 5*p(x). Is 10 a factor of k(1)?
False
Let u(m) = 3*m**2 - 12*m + 15. Let n(c) = c + 1. Let w(b) = -3*n(b) + u(b). Let f be w(7). Suppose 5*a - 3*a = f. Is a a multiple of 9?
True
Let r(c) = -c**3 + 7*c**2 - 3*c + 8. Let j be 0 + (2 - 2*-7). Let m = -10 + j. Does 26 divide r(m)?
True
Suppose 0 = 5*b - 1266 - 714. Is b a multiple of 44?
True
Suppose -d - 2*k + 1 = -3*k, -4*d - 3*k + 25 = 0. Suppose d*i = 5*i - 90. Is 18 a factor of i?
True
Is (-3 - (-1 + 0)) + 134 a multiple of 33?
True
Is (56/(-42))/(1/(-1674)) a multiple of 31?
True
Suppose -7 = 8*s - 23. Is (-205)/(-5) - (s + -5 + 0) a multiple of 11?
True
Let v be 6 - -3 - 3 - 2. Let k = v + 62. Is 6 a factor of k?
True
Suppose -f - 264 = 2*f. Let v = -50 - f. Let c = -16 + v. Is 11 a factor of c?
True
Suppose 4*p = 5*j + 135, 4*j - 140 = -3*p - 0*p. Is p a multiple of 8?
True
Let h(u) be the third derivative of -23*u**5/60 - u**4/24 + 4*u**3 - 4*u**2. Let q(y) = -8*y**2 + 8. Let a(l) = -6*h(l) + 17*q(l). Is 24 a factor of a(5)?
True
Let q(w) = 133*w**2 - 8*w + 1. Let o be q(2). Suppose -3*s = 5*b - o, -2*s + 2*b = 5*b - 344. Is 10 a factor of s?
False
Suppose -h - 2*h = 3*w - 30, 2*h - 5 = w. Suppose h*u - 155 = 5*r, 0 = -4*r + 3 + 9. Does 24 divide u?
False
Suppose 4*j = -2*a + 196, a + 40 - 135 = -5*j. Let o = a - -124. Does 55 divide o?
False
Let x be (-604)/(-10) - 14/35. Suppose -t + 5*t + 3*c = 106, -2*t + x = 5*c. Is t a multiple of 9?
False
Let d = -28 - -20. Let s = 12 + d. Suppose -111 = -s*m + 3*k, -m + 34 = -0*k - 2*k. Is 17 a factor of m?
False
Let h = 25 - 22. Suppose -h*y = 3*y - 12. Is 36/(4*y/8) a multiple of 18?
True
Suppose 2*t - 6*y + 5*y - 2074 = 0, 3085 = 3*t + 5*y. Is 45 a factor of t?
True
Let w be (-528)/6 - (2 - 2). Does 3 divide (5 - w/40)*(-10)/(-2)?
True
Let b = 244 + -98. Let n = b + -42. Does 18 divide n?
False
Let y = 344 + -157. Is 8 a factor of y?
False
Let y(g) = 7*g - 3. Let k be y(5). Let l = k + -14. Is l - 3/(