vide h(14)?
False
Suppose -47 + 151 = -13*z. Let o(f) = f + 52. Is o(z) a multiple of 44?
True
Let w(b) = -b**2 - 4*b + 8. Let j = 379 - 384. Does 2 divide w(j)?
False
Let r = 19081 + -4094. Is r a multiple of 30?
False
Let f = 789 + -773. Suppose 5*d + f*d = 6426. Does 34 divide d?
True
Suppose -12*z - 18 = -18*z. Suppose 3*t - 444 + 93 = z*j, 4 = -2*j. Is 11 a factor of t?
False
Suppose -24290 = -17*o - 4179. Suppose -8*h + o = -4585. Is 38 a factor of h?
False
Let t = 59 + -31. Suppose t + 8 = -3*z. Does 10 divide z/5*(-225)/18?
True
Suppose -9*m - 115 = 110. Is 30 a factor of (-4)/((-12)/15) - m?
True
Let j(p) = -28*p - 22. Let o(c) = -84*c - 66. Let g(q) = -17*j(q) + 6*o(q). Let d = -5876 + 5867. Is 34 a factor of g(d)?
False
Suppose 4*j - 9*m + 7*m = 816, 800 = 4*j + 2*m. Suppose 0 = 10*w - j - 3298. Does 14 divide w?
True
Let t(s) = 20*s - 113. Let c be t(22). Let h = c + -258. Does 22 divide h?
False
Suppose -3*a + 131788 = 4*n, -a + 34876 = 2*n - 31022. Is 22 a factor of n?
False
Suppose -2*b + c + 40 = 0, 0 = -b + 6*c - 2*c + 6. Suppose 2*i + 135 = 5*r, 23*r = b*r - 4*i + 27. Is r a multiple of 13?
False
Let j = -623 - -350. Let w = j + 451. Suppose 3*f = -y - 0*y + w, -2*y + 124 = 2*f. Is 32 a factor of f?
False
Let f(r) = -8*r**3 - 8*r**2 + 11*r + 29. Let d(l) = -7*l**3 - 7*l**2 + 10*l + 30. Let t(n) = 6*d(n) - 5*f(n). Does 15 divide t(-5)?
True
Let k(c) = 2 + 33*c - 52*c - 39*c. Let i be k(-3). Is 2 + 1 + i - -3 a multiple of 15?
False
Suppose 0 = -8*m + 13*m + 185. Is (m - -82)*108/10 a multiple of 81?
True
Let d = -48 + 47. Let p be (d*(-10)/(-2))/(-5 - -4). Is 4/(-10) - (p + 1435/(-25)) a multiple of 13?
True
Suppose -212339 = -270*i + 105*i + 124*i. Does 6 divide i?
False
Let o be (-39)/(2/((-70)/15)). Suppose 5*r - 110 = 210. Let g = o - r. Is 9 a factor of g?
True
Suppose 2*r + r = -12. Is 21 a factor of 2/r + (-8615)/(-10)?
True
Suppose 6 = -0*f - f + 5*x, 0 = -f + x - 6. Does 11 divide f/(-24) + (-5285)/(-28)?
False
Let d(n) = n**3 - 17*n**2 - 9 + 3*n**2 + 8*n**2 + 13*n + 1. Does 16 divide d(5)?
True
Suppose -3*o - a - 178 = 0, -a = -4 + 2. Is 30 a factor of o*((-8)/8 - 3)?
True
Is (-1273)/76 - -16 - 14259*(-2)/8 a multiple of 66?
True
Let p(q) = 2*q**2 + 2*q + 8. Let w(b) = -3*b**2 - 2*b - 9. Let a(d) = -4*p(d) - 3*w(d). Let f be a(-2). Is (-2990)/(-25) + f/((-15)/(-2)) a multiple of 24?
True
Let p = 18729 - 3478. Is p a multiple of 101?
True
Suppose -32332 = 2*b - 74*b + 545828. Is b a multiple of 10?
True
Let z(k) = k**2 - k - 2. Let c be z(-2). Suppose l + c = 0, 0*l = 2*m - 4*l - 26. Suppose -4*v - 16 = 0, m*v - 67 = 4*t - 439. Is 11 a factor of t?
True
Let p be (-6)/(-8)*(-112)/(-21). Is 130/p*(96/10)/4 a multiple of 41?
False
Suppose 3*k - 3*t + 6*t - 10899 = 0, -5*t - 18195 = -5*k. Suppose -2*f - 2*v = -2374 - 34, 3*f - 5*v - k = 0. Is f a multiple of 17?
True
Let c(a) = -1262*a - 10244. Is 69 a factor of c(-43)?
True
Let c(a) be the third derivative of a**6/120 - a**5/30 + a**4/3 - 7*a**3/6 + 49*a**2 - 3. Suppose -2*j = -j - 5. Is c(j) a multiple of 19?
False
Let a be ((7 - 3)/(-2))/(2/(-15)). Let s(z) = -z**2 + 17*z - 30. Let p be s(a). Suppose p = 2*g - 56 + 10. Is g a multiple of 23?
True
Suppose 5*b - 2*i - 93733 = 24214, 3*i - 12 = 0. Is b a multiple of 43?
False
Let k = 1296 - 3935. Let w be k/(-21) - 1/(-3). Let t = w + -87. Is 4 a factor of t?
False
Let u = 44 - 28. Let i = 78 + u. Let l = i + 11. Does 21 divide l?
True
Suppose 11721 = d - 5*z, -23*d - 11691 = -24*d - z. Is 136 a factor of d?
True
Let j = 100 + -47. Let y be (-15)/(-30)*j*-2. Is y/3*(-3)/1 a multiple of 7?
False
Suppose 3*u = 5*d + 6366, -8*u + 13*u + 5*d = 10690. Is u a multiple of 41?
True
Let f = -887 - -915. Suppose -4472 = 2*r - f*r. Is 8 a factor of r?
False
Let i(m) = -m**3 - 10*m**2 + 11*m + 5. Let p be i(-11). Suppose 162 = p*u - 463. Suppose -2*x - x - d = -121, d + u = 3*x. Does 41 divide x?
True
Let k = -5276 - -6291. Is 5 a factor of k?
True
Suppose -30 = -3*n - 3. Suppose n*m = -2*m + 1364. Is 4 a factor of m?
True
Suppose -4*f + 15645 = -8175. Does 15 divide f?
True
Let t(o) = 47 - 39 + 44 - 56*o + 32. Is 42 a factor of t(-15)?
True
Suppose 2*t + 8*y = 6808, 4*y + 6 = 2. Is t a multiple of 24?
True
Let g = 260 + 469. Suppose 0 = 4*s + b - 963, 4*b - g = -3*s + b. Suppose v = -4*r + s, -2*v - v = -5*r + 283. Is 3 a factor of r?
False
Suppose 4*i - 268 - 2817 = -3*l, -5*i - 2*l = -3851. Is 27 a factor of i + 10 - (-3 - 4)?
False
Does 23 divide -18 + 13 + ((-22804)/(-6) - (-26)/(-39))?
True
Let y(u) = 2*u**3 + 13*u**2 - 10*u - 26. Let f be y(-10). Let p = -492 - f. Is 3 a factor of p?
False
Let x be (144/(-252))/(2/(-7) + 0). Is ((-14)/7 - x) + 512 + -4 a multiple of 12?
True
Let p(i) = 68*i**2 - 125*i - 444. Is 54 a factor of p(-4)?
False
Suppose -10*z + 25786 = 1036. Does 30 divide z?
False
Suppose -717 = -4*f - 3*n, f + 5*n - 22 = 153. Let h = 84 + f. Is h a multiple of 33?
True
Suppose 0 = -93*i + 104*i + 5*v - 197567, 71842 = 4*i + 2*v. Is i a multiple of 7?
True
Let u be 1 + 726/(-15) - (-10)/25. Let d = -3 - u. Does 11 divide d?
True
Let j = 11994 - 4939. Is j a multiple of 131?
False
Is 33150/12*7*72/420 a multiple of 13?
True
Let h be (-5 - 28/(-8))*-74. Suppose 0 = -115*w + h*w + 8. Let f(k) = 55*k - 8. Does 30 divide f(w)?
False
Let b(t) = t. Suppose n - 5 = 3. Let v be b(n). Suppose -7*a + v = -69. Does 4 divide a?
False
Suppose 0 = -3*t - t + 3*o + 829, 0 = -2*t - 3*o + 437. Is 19 a factor of -6 + 448/77 - t/(-11)?
True
Let a(k) = k**3 - k**2 + k + 284. Let q(j) = -2*j**3 + 8*j**2 - 7*j + 3. Let c be q(3). Is a(c) a multiple of 16?
False
Suppose 2*z = 3*a - 17, 3*z = -5*a - 2 + 5. Suppose 3*f + 472 = a*d - 101, f - 5 = 0. Is 62 a factor of d?
False
Let w = -16 - -28. Does 37 divide w/(-84) - 13/14*-236?
False
Let u be (2/1 - (-285)/(-15))*9. Let h = u + 274. Is h a multiple of 11?
True
Let p be 2703/17*(1 - 0). Let q be (-5)/10 + p/2. Suppose 3*n = -2*h + h + 49, 3*h - q = -5*n. Does 5 divide n?
False
Let c = 445 + -396. Let q = 294 - c. Is q a multiple of 23?
False
Let l = -4953 - -43650. Is l a multiple of 78?
False
Let p = 507 + -504. Let x(c) = -50*c + 3. Let b be x(-6). Suppose -2*n = -3*m + b, p*m - n = -m + 399. Does 11 divide m?
True
Suppose n + k - 49 = 0, 0 = -2*n + 5*n + 2*k - 143. Suppose 12*r = 3*r + n. Suppose t - 6*t = r*v - 480, 2*v - 480 = -5*t. Is 32 a factor of t?
True
Let a(o) be the third derivative of 7/2*o**3 - 1/120*o**6 - 1/2*o**4 - 1/10*o**5 + 0*o + 0 + 27*o**2. Is 14 a factor of a(-7)?
True
Let d = 200 - 205. Let u = 56 - d. Does 54 divide u?
False
Let r be 1/(-2) - (-43)/2. Let f(i) = 0*i - 20*i**2 - 2*i + r*i**2 - 2. Is 13 a factor of f(10)?
True
Suppose 0 = -431*r + 193*r + 603330. Is 6 a factor of r?
False
Let d = 12543 - 8845. Let g = d - 2569. Is g a multiple of 55?
False
Let b = 56 + -134. Let h = -68 - b. Does 2 divide h?
True
Suppose -527*x = -510*x - 6817. Does 13 divide x?
False
Let z(u) = 2*u**3 - u**2 + 1. Let s be z(-1). Suppose 0 = 3082*r - 3079*r - 1155. Is 7 a factor of (s/1)/((-22)/r)?
True
Suppose -4*n = -5*u - 135, 0 = -n - 5*u - 0*u + 40. Is 6 a factor of 1518/5 - (-14)/n?
False
Let a(c) = -92*c + 377. Is a(3) a multiple of 12?
False
Let p be (-1156)/119 + 2/(-7). Is 15 a factor of (-4)/p + (2992/5)/4?
True
Suppose 2*v = i + 616, 3*i - 804 - 714 = -5*v. Let r = -128 + v. Suppose -s = -r - 61. Does 31 divide s?
False
Let v(x) = -125*x - 903. Is v(-11) a multiple of 12?
False
Let x = 43 - 49. Is (-238)/(-6) - (-4)/x a multiple of 9?
False
Let g(z) = z**2 - 5. Let x be g(-7). Suppose 51*d = 47*d. Suppose -3*m - 4*l + 76 = -0*m, -2*m + 4*l + x = d. Is 9 a factor of m?
False
Let r = 54109 + -40747. Is r a multiple of 124?
False
Let k = 993 - 2451. Let n = k + 2473. Does 29 divide n?
True
Let t be -2*((-60)/(-16))/(-5)*2. Suppose 39 = t*o - 39. Is o/(-78) + 482/6 a multiple of 20?
True
Let u(m) = 143*m + 9. Let k be u(6). Suppose -5*f + k = 12*f. Is f a multiple of 17?
True
Is (((-15)/5)/3)/((-34)/31688) even?
True
Suppose -27280 = -3*p + 5*i - 5525, 2*i - 21790 = -3*p. Is p a multiple of 3?
True
Let g = -3513 - -4308. Is 2 a factor of g?
False
Let o be 278/2 + 4*2/4. Suppose 18*j - 16*j = -h + o, j - 60 = 3*h. Does 3 divide j?
True
Suppose 9927 = -38*d + 54615. Is 21 