Let z = 512 + -466. Suppose -347 = -5*r - 3*l, -z*r + 3*l = -47*r + 67. Does 29 divide r?
False
Let s(h) = 3*h + 13. Let j be s(-4). Is (2 - j)/(-1) - -157 a multiple of 26?
True
Suppose -19*s + 15*s + 40 = 5*t, t - 8 = -2*s. Suppose 110 = t*o - 402. Does 9 divide o?
False
Let d(k) be the first derivative of 3*k**2/2 - 11*k + 18. Let c be d(5). Does 15 divide 1066/c + (-2)/4?
False
Suppose 2*a - 6*a = 340. Does 28 divide (-4403)/a - (-1)/5?
False
Suppose 2*n - 5*n = -2*c - 2, -4*c + 4 = -4*n. Suppose 0*o - o - 3*z = 13, 27 = o - c*z. Suppose 3*g + o*g - 10 = 0, 92 = a - 4*g. Does 22 divide a?
False
Let q(w) = 3*w - 29. Let i be q(11). Does 8 divide -2 + i - 42/3*-6?
False
Let d(o) = -o**3 + o**2 - 1. Let i(u) = 5*u**3 - 30*u**2 - 18*u - 10. Let j(t) = 6*d(t) + i(t). Is j(-24) a multiple of 18?
False
Let d(q) = 3*q + 1. Let g be d(1). Suppose 10 + 26 = g*v. Suppose 0 = -v*r + r + 656. Is r a multiple of 14?
False
Is (-488)/((9 + 10)/(-988)) a multiple of 36?
False
Let n be (-208)/(-3) - 1/3. Suppose -4*h - 9 + 233 = -4*t, -t + 3*h = 50. Let p = n + t. Is p a multiple of 5?
True
Let j(m) = -6*m**2 - 7*m - 15. Let u(c) = -7*c**2 - 7*c - 16. Let g(w) = -6*j(w) + 5*u(w). Let i be g(-6). Let q(f) = 34*f + 15. Does 22 divide q(i)?
False
Suppose 4*l - 8*l + 2*v = -1846, 4*l + v = 1837. Suppose n = -4*d + 160, -n + l = 2*n + 2*d. Let b = n - 54. Does 25 divide b?
False
Let a(x) = x**3 + 9*x**2 - 9*x + 22. Let h be a(-10). Let q(n) = 8 - h - 3 - 2 + n**2 - 2*n. Is q(8) a multiple of 7?
False
Let o be (1 - 1)/1 + 125 + 9. Let d = o + -66. Suppose -h - 5*y = -d, 2*h - 91 = 2*y + 3*y. Is 39 a factor of h?
False
Let g(k) = 3*k**2 - 2*k + 1. Let a be 2*(3/2 - 0). Let u be g(a). Let n = u - -8. Is n a multiple of 10?
True
Does 111 divide 2198087/161 - ((-24)/42)/2?
True
Let y = -446 + 140. Suppose -3*b = -5*j - b - 592, -2*j - 228 = -3*b. Is (y/5)/(24/j) a multiple of 34?
True
Let k(y) = 7*y**3 + 3*y**2 + 2*y - 6. Let m(o) = -o**3 - o**2 - o. Let r(q) = k(q) + 6*m(q). Let t be r(-3). Let d = 195 + t. Does 25 divide d?
False
Suppose 9*m = 15*m - 120. Suppose m*l - 12*l = 64. Does 4 divide l?
True
Let d be 1099 - ((8 - 10) + 0). Let t = d + -588. Does 27 divide t?
True
Let d = -24879 - -24935. Is d a multiple of 15?
False
Let u(o) = -97*o**3 - o**2 + 3*o - 2. Let m(g) = -g**3 + 8*g**2 - 7*g + 1. Let s be m(7). Let f be u(s). Let y = 163 + f. Does 22 divide y?
True
Is 20 a factor of 4/56 + 4739268/168?
False
Let h = -58 - -49. Let b be h/1*20/(-60). Suppose 5*x - 1226 = k, -b*k + 359 + 637 = 4*x. Is x a multiple of 41?
True
Let a = -1280 + 3863. Is 114 a factor of a?
False
Suppose 38*y - 27*y = 737. Suppose -s = -4*p + 392, 227 = 3*p - s - y. Is p a multiple of 10?
False
Suppose 18*v - 101376 = -14*v. Is 22 a factor of v?
True
Suppose f = -30*z + 31*z + 1, -13 = -5*z - f. Suppose w - 115 = -g + 158, -z*w = -5*g - 532. Is 19 a factor of w?
False
Let c be (-204)/10 - (-4)/10. Suppose -4*l = -6*g + g - 2, 3*g = l + 3. Is 5 a factor of g/(-8) - 505/c?
True
Suppose 9 = 5*i - 11, 5*u = 3*i - 497. Let s = -45 - u. Suppose s = 2*y - 5*q, -8 = q - 3*q. Is y a multiple of 4?
True
Let i = 49 - 45. Suppose -139 = -2*l - 4*c + 81, 4*l - i*c = 452. Is 15 a factor of l?
False
Suppose 53*d - 585255 = -28*d + 111993. Is 32 a factor of d?
True
Let j = 153 + -80. Let g = j + -118. Is (8/(-6))/(3/g) a multiple of 10?
True
Suppose -2*h - 8 = -4*q, -3*h - 2 - 2 = -2*q. Suppose 0 = -3*k - q*k + r + 166, -2*k - 2*r = -76. Is k a multiple of 10?
False
Let c(o) = 74*o**2 - 479*o - 121. Does 11 divide c(9)?
True
Suppose 6*l - 88*l + 1564383 = -15*l. Does 115 divide l?
False
Let j = 7527 - -5736. Is 22 a factor of j?
False
Let l(a) = a**3 + 3*a + 5. Let z be l(0). Suppose -z*j + 298 = 4*o, -2*j = -o - 21 + 89. Suppose 12*p - 10*p - o = 0. Is p a multiple of 7?
False
Let q(o) = -19*o + 34. Let g be q(-5). Let p = g - -75. Does 8 divide p?
False
Suppose 0 = 4*u - t - 3*t - 292, 2 = -t. Let g = -3 + u. Does 34 divide g?
True
Let a = 13932 + -6861. Is a a multiple of 17?
False
Let y be ((-9)/(-5))/(7/35). Let x(t) = -7 + 6*t + y*t - 19*t. Does 9 divide x(-7)?
False
Let g be 4 - (-3 + 5 - 14). Suppose 3*a + 23 = 5*c - g, -5*c - a = -27. Does 12 divide (-2 - -1) + (c*30 - -1)?
True
Let r(m) be the third derivative of m**5/10 + 8*m**3/3 + 39*m**2. Let c be r(6). Suppose 132 = 14*o - c. Is o even?
True
Let m(u) = 4*u**2 - 10*u + 16. Let g be m(5). Let j = 110 - g. Suppose j = -7*o + 352. Is o a multiple of 4?
True
Let k = 907 - 742. Suppose -m + 171 + 70 = 0. Let i = m - k. Is 38 a factor of i?
True
Let z(q) = q**3 - 35*q**2 + 40*q - 22. Let c be z(34). Suppose 718 = 4*o - r, -c = -o - 2*r + r. Is 12 a factor of o?
True
Let l = 38 + -22. Suppose 4 = -12*k + l*k. Suppose k - 8 = -b. Is 7 a factor of b?
True
Suppose -912 = -c - 9*h + 4*h, -3*h + 906 = c. Does 13 divide c?
True
Suppose 104*z - 934549 = 27*z. Is 53 a factor of z?
True
Suppose 143 = -4*x - 4*k + 31, x - 3*k + 24 = 0. Let s = -22 - x. Suppose -5*y = -4*p + 54 + 42, -120 = -s*p - 3*y. Is 4 a factor of p?
True
Is 30 a factor of 21/(96 + 30) - (-29734)/12?
False
Suppose -29*l + 54 = -11*l. Suppose -5*q - 4*m + 8883 = -m, l*q = 2*m + 5326. Is q a multiple of 48?
True
Suppose 2*z + 4*j - 11800 = 0, 22*z + 2*j = 18*z + 23630. Does 30 divide z?
True
Suppose -4*t = -277 - 35. Suppose 0*c + 90 = 3*c. Let l = t - c. Is 8 a factor of l?
True
Let u(m) = -2*m**2 + 6*m**2 - 2 - 223*m + 226*m. Let w be u(-2). Does 35 divide (-138)/(-2) + 8/w?
True
Let a(j) = 376*j**2 + 72*j + 11. Is 4 a factor of a(-3)?
False
Suppose -8*t - 39 = -23. Let n(f) = -21*f**3 - 2*f - 3. Is n(t) a multiple of 13?
True
Suppose -5*l + 2374 = b - 2472, -4*l - 2*b = -3878. Is 19 a factor of l?
True
Let s(v) be the first derivative of 2*v**3/3 + 15*v**2/2 + 12*v + 81. Let x = 21 - 31. Does 18 divide s(x)?
False
Suppose -106*w = -110*w, n + 2*w = 3*w + 1028. Does 33 divide n?
False
Let s = 7451 - 507. Does 2 divide s?
True
Suppose b - 268 = -344. Let c = b + 79. Is c even?
False
Let q(p) = 19*p - 72. Let y be q(12). Let c(m) = m**3 + 8*m**2 + 8*m + 6. Let a be c(-7). Is (a + 27/12)*y a multiple of 15?
True
Let d(x) = x**2. Let g(i) = 7*i. Let p be g(-1). Let m = p - -17. Is d(m) a multiple of 20?
True
Suppose h - m = 5, -25 = -4*m + 9*m. Let k(z) = 22*z + z**2 - 21 - 3 + h*z. Is k(-24) a multiple of 17?
False
Let j = -1573 - -4873. Does 30 divide j?
True
Let d be -37 - -521 - 6/(-2). Suppose 15*q - 3293 = d. Is q a multiple of 14?
True
Let r(p) = 7*p + 19. Let y be r(-2). Suppose k + 212 = 3*s, -y*s + 203 = 4*k - 139. Is 10 a factor of s?
True
Suppose -a - 2 = 0, -t + 775 = 7*a - 2*a. Let v = t + -757. Is 3 a factor of v?
False
Let w = 18063 + -3912. Is 23 a factor of w?
False
Suppose 0 = 2*p - 3 - 3, 5*p = -m + 63. Suppose -3*h - m = -3*w, -5*h - 68 = -h - 5*w. Is 17 + ((-4)/(-8))/(2/h) a multiple of 7?
True
Is 31 a factor of 502733/84 + (-1 - 26/(-24)) - 2?
True
Is -16*(-16 - -16392)/(-8) a multiple of 8?
True
Suppose -28*b + 69154 + 21331 + 59035 = 0. Does 108 divide b?
False
Let v(b) = 3*b**2 + 6*b + 48. Let w be v(-8). Suppose -1533 = -9*o - w. Is o a multiple of 37?
False
Let h(m) = -238*m**3 + 2*m**2 + 5*m + 4. Let x = 55 - 56. Does 17 divide h(x)?
False
Suppose -33*b = -43 - 56. Suppose -6668 + 2015 = -b*s. Is s a multiple of 47?
True
Let z = 37166 + -27464. Is z a multiple of 147?
True
Is (152/57)/((-46655)/46665 - -1) a multiple of 122?
True
Suppose -12*c - 10958 - 1018 = 0. Let m = 350 - c. Is m a multiple of 18?
False
Suppose 0 = -4*k + 36 - 4. Suppose -2*r = -k - 2. Suppose a = 4*h + 24, r*a - 230 = h - 3*h. Is a a multiple of 11?
True
Let x(d) = 2*d - 19. Let v be x(-11). Is (v - -47)/((-2)/(-59)) a multiple of 5?
False
Let i(z) be the first derivative of -5*z**4/24 - 8*z**3/3 + 16*z**2 - 3. Let w(h) be the second derivative of i(h). Is w(-20) a multiple of 18?
False
Let b(u) = 3*u**3 - 3*u**2 - 8*u + 14. Let t be b(4). Suppose -t = -7*j + 2842. Does 71 divide j?
False
Suppose -6*m - 15493 = -2*y - 3*m, -3*y - 3*m = -23202. Is y a multiple of 37?
False
Let c = -37158 - -78366. Does 284 divide c?
False
Let s(v) = 13*v + 16. Let k be s(-1). Suppose 4*q = -4*h + 160, k*h + 0*h - 132 = q. Is h a multiple of 6?
False
Let w(j) = 12*j**2 - 18*j + 5. Let a be w(2). Supp