612. Is 4 a factor of f?
True
Let h(z) = z**2 + 23*z - 58. Let c(k) = 2*k - 52. Let v be c(10). Is h(v) a multiple of 16?
False
Let m(r) = -2*r - 114. Let d(v) = -v - 115. Let u(g) = 2*d(g) - 3*m(g). Is 8 a factor of u(2)?
True
Suppose -2442*j + 2437*j = -r + 4059, -4*r + 2*j = -16326. Is r a multiple of 10?
False
Suppose 1 = h + 2, 3*h = 5*i - 3. Let o be ((i/3)/2)/(-2). Suppose o = 4*a - 4*k - 136, -6*a - 2*k = -3*a - 112. Does 6 divide a?
True
Let h(u) = 119*u**2 - u + 12. Let o be h(3). Suppose -27*l + 22*l + o = 0. Does 12 divide l?
True
Let c(f) = 12*f**3 - 13*f**2 + 5*f + 2. Is c(5) a multiple of 33?
False
Let t be 0*(-8)/(16/(-2)). Suppose -4*c + 20 = t, -i + 6*c = 9*c - 1695. Is i a multiple of 9?
False
Let a be (46/1)/(1*4/22). Suppose 0 = 2*h + 2*i - 5*i + a, 3*i - 128 = h. Let p = h - -209. Does 12 divide p?
True
Suppose 0 = -5*c - 579 + 574, -3*x + 5*c + 63860 = 0. Does 99 divide x?
True
Let l(m) = 23*m**2 + 133*m + 6. Is 16 a factor of l(6)?
True
Suppose -9*r - 2304 = -21*r. Let c = -125 + r. Suppose 2*o + 5*d = -0*d + 13, c = 5*o + d. Is o even?
True
Suppose -144 = -3*l - l. Let z = l + -34. Suppose -5*a + 183 = q - 82, 4*a = z*q + 226. Does 21 divide a?
False
Let m(r) be the third derivative of -3*r**4/8 + 5*r**3/6 - 114*r**2. Does 5 divide m(-12)?
False
Let k(c) = 12*c**2 - 4*c + 5. Let x be k(2). Is 72/10*750/x a multiple of 8?
True
Let j(f) = -f**3 + 15*f**2 + 30*f + 72. Let t be j(17). Let k(a) = a + 29. Does 5 divide k(t)?
False
Let d(z) = z**3 - 11*z**2 + 12*z + 1. Let j be d(10). Suppose j*x = 23*x - 116. Let b = 92 + x. Is 44 a factor of b?
False
Let m(b) = -2*b**2 + 13*b - 1. Let p be m(6). Suppose p*h - 22 - 3 = 0. Suppose n + h*j - 12 - 5 = 0, -n = -j - 35. Does 5 divide n?
False
Let d = 13687 + -615. Is 8 a factor of d?
True
Let q = -4 - -15. Let o = q + -6. Suppose 5*w - 85 - o = 5*j, -60 = -3*w + j. Does 3 divide w?
True
Let p(m) = -3*m + 11. Let w(d) = 7*d - 21. Let k(j) = -9*p(j) - 4*w(j). Let y be k(-18). Suppose 0*r = -y*r + 234. Is 13 a factor of r?
True
Suppose -u = -5*d + 68, -4*u - 179 - 5 = 2*d. Is 200*(-3*1)/(u/32) a multiple of 8?
True
Let c(m) = -12*m**2 + 2*m - 1. Let q(b) = -48*b**2 + 8*b - 3. Suppose 21*p = 24*p - 6. Let l(f) = p*q(f) - 9*c(f). Is l(3) a multiple of 21?
True
Suppose -5*l = -20, 68 = -3*u + 7*u + 4*l. Let v(b) = -29 - 16 + 18*b + u*b + 9. Does 8 divide v(4)?
True
Is (2/(-4))/((-155)/158100) a multiple of 102?
True
Let r = -92 + -19. Let o = 114 + r. Suppose n - 736 = -o*n. Is 9 a factor of n?
False
Let z(q) = -112*q + 2147. Is z(-16) a multiple of 101?
True
Let z be -1*2 + 1 - (-13)/1. Let p(j) = -j**3 + 15*j**2 - 20*j - 12. Does 31 divide p(z)?
False
Suppose -15*v + 13398 + 11469 = -63633. Is v a multiple of 25?
True
Let h be 16 - ((-2)/13 - 696/377). Let j = 2039 + 990. Suppose -h*m + 2263 = -j. Is 14 a factor of m?
True
Let s be (-588)/(-20)*(-35)/7. Let m = s - -147. Suppose -5*o = 5*l - 955, 0 = 2*l - m*l. Is o a multiple of 13?
False
Suppose j - 5*k = 5784, 2*j + k - 11336 - 276 = 0. Is j a multiple of 21?
False
Suppose -110943 = 66*t - 419625. Is t a multiple of 22?
False
Is 70 a factor of 4/(-42) - (8478267/(-441) - 7)?
False
Let m be (-4)/(-8)*2 + 47. Let b = 52 - m. Suppose -b*t + t = -177. Does 58 divide t?
False
Suppose -4*b + 1173 = 2*x - 7*x, 0 = -2*b - x + 597. Suppose -85 = -4*m - b. Let s = 90 + m. Is s a multiple of 17?
False
Suppose 5*d - p = 95, 2*d = -5*p + 10*p + 61. Let r(w) = -w**3 + 19*w**2 - 14*w - 32. Does 4 divide r(d)?
True
Let l be 34/4*(-22)/(-11). Suppose 5*x - 4*a - 7 = 0, -2*x + 11 = 2*a + 1. Suppose -x*o + 161 - l = 0. Is o a multiple of 16?
True
Let s(p) = 39*p - 147. Does 183 divide s(46)?
True
Suppose 12 - 24 = 3*y. Is 2 a factor of y - (14/6)/((-2)/36)?
True
Let o = 2783 + -2447. Is o a multiple of 8?
True
Let s(n) = n**2 + 2*n - 5. Let p(c) = -c**2 - c + 7. Let f(z) = -6*p(z) - 5*s(z). Does 50 divide f(-9)?
True
Let d = 8759 + -1571. Does 21 divide d?
False
Is (3/(-15) - (-1 - (-157036)/(-55))) + 6 a multiple of 24?
False
Let f = -13483 + 17745. Is 12 a factor of f?
False
Let h be (18/12)/((-3)/(-4)) + 3. Suppose -342 = -4*v + h*b + 378, -v - 2*b = -180. Does 29 divide v?
False
Let i = 7331 - 1451. Is 40 a factor of i?
True
Suppose -29*q + 6020 = -89564. Is 21 a factor of q?
False
Suppose 5*m + 3*n - 8271 = 0, 3*m - 93*n + 89*n = 4922. Is m a multiple of 15?
True
Let n(y) be the first derivative of 2*y**3/3 - 4*y**2 + 72*y + 12. Is 12 a factor of n(0)?
True
Let f(t) = -2*t**3 + 3*t**2 - 10*t - 9. Let r(v) = v**3 + 19*v**2 + v + 15. Let z be r(-19). Does 9 divide f(z)?
True
Suppose -10*t - 84 = 6. Let u be 23/4 - 2/(-8). Does 25 divide ((-200)/12)/(u/t)?
True
Let d be -7*1 + 2 - (36 - 44). Suppose 13 = u - d*s, 0 = 5*s - 2*s - 9. Is 4 a factor of u?
False
Let r be (3 - -2)*(2 - 5 - -2). Let j(u) = -2*u**2 - 13*u - 1. Let y be j(r). Is (1 - -21)*35/y a multiple of 11?
True
Let r = -91 - -120. Let c(q) = r - 4*q - 13 + 260*q**2 - 19. Does 29 divide c(-1)?
True
Suppose -17*a = -3*a - 616. Let s = 49 - a. Suppose 5*j + 78 = 3*u - 84, -4*j = -s*u + 270. Does 18 divide u?
True
Suppose 4*t + 5*g = 29, g + 15 - 1 = t. Suppose t*j - 7*j = 1376. Is j a multiple of 37?
False
Suppose -3*f + 4*g + 96 = 0, g - 3*g = -f + 30. Suppose 0 = -2*y + 4 + f. Suppose y = -6*c + 2*c, -4*r + 262 = 2*c. Does 8 divide r?
False
Let d = -95 - -146. Let y = 55 - d. Suppose -y*o = -2*f - 412, o + 0*f - 106 = -f. Does 8 divide o?
True
Let x(g) = -3*g - 18. Let u be x(-7). Suppose -5*c + r = u, -c + 2*r - 5 = 4*r. Is 3 a factor of (2 - 3) + (3 - c)?
True
Suppose -184060 = 2308*c - 2328*c. Does 121 divide c?
False
Let r(n) = -2*n - 15. Let a be r(-17). Is 4 a factor of a/(-7) + 3 - (-1420)/28?
False
Suppose 3*p - 16260 = 13*p - 25*p. Is p even?
True
Let u(b) = 8*b**2 - 51. Let f be u(11). Let l = -477 + f. Is 10 a factor of l?
True
Suppose 7*n = 5*v + 2*n - 900, v = -3*n + 172. Suppose 1 = 3*w + 2*b - 8, -2*w + 6 = -5*b. Suppose -v = -w*u + u. Is 10 a factor of u?
False
Let f(w) = -3*w**3 - 5*w**2. Let l be f(-2). Suppose 0*j - 91 = -l*a - 5*j, -79 = -4*a - j. Let k(m) = -m**3 + 18*m**2 + 21*m - 17. Is k(a) a multiple of 7?
True
Let x(j) be the second derivative of j**4/3 + 5*j**3/6 - 23*j**2/2 + 12*j. Let f be x(-7). Suppose -5*t = -f - 72. Is 10 a factor of t?
False
Let b(i) = -i**3 - 6*i**2 - 4. Suppose -d + 2 = -2*o, -1 = 3*o + 11. Let l be b(d). Is 3 a factor of (l/(-12))/((-2)/(-36))?
True
Let b(u) = u + 9. Let g be b(-6). Suppose 4 = 5*p - 4*q + g*q, p + 1 = 2*q. Does 19 divide 114/(-12)*1*(-4)/p?
True
Let g(i) be the third derivative of -5*i**4/24 + i**3/2 - 14*i**2. Let v be g(8). Let x = 62 + v. Is x a multiple of 5?
True
Does 9 divide -18*(-4 + (1 - 10))?
True
Suppose 3*z = 5*k + 31374, 17*z - 4*k = 20*z - 31428. Does 14 divide z?
False
Let o = -54 - -59. Suppose 5*h - 3*k = k, -21 = h - o*k. Suppose -5*g + h*m + 92 = 0, g + 3*m - m - 24 = 0. Is g a multiple of 20?
True
Is 143 a factor of (-59)/(-472) + 576589/24 + 16/(-24)?
True
Suppose -187 + 6927 = 4*s. Suppose 3*c - 4*c = 0, -2*c - s = -5*n. Is n a multiple of 37?
False
Let j(n) = -n**2 - 6*n - 3. Suppose -6*l + 3*l - 15 = 0. Let b be j(l). Suppose -2*d - b*h - 184 = -3*d, -h - 2 = 0. Is d a multiple of 32?
False
Let l(o) = -o**2 - 8*o - 12. Let s be l(-3). Let y be (s - 1) + 4 + -4. Suppose y*v + 3*h - 167 = 0, -5*v + 4*h + 513 = 84. Does 20 divide v?
False
Let u be 4/18 - 2210/(-585). Suppose u*f - 717 - 735 = 0. Is f a multiple of 11?
True
Let f(u) = -56*u**3 + u**2 + 1. Suppose 8*w - 4 = 10*w. Does 32 divide f(w)?
False
Let t(m) = 4*m + 29. Let h be t(-6). Let v be -1 + 6 + (-3 - (3 - h)). Suppose -2*x - 4*s = -9 - 71, -v*s = -2*x + 80. Does 8 divide x?
True
Let z(d) = d**3 - d**2 - 4*d - 1. Suppose -12*c + 4*c + 40 = 0. Let v be z(c). Suppose -4 - v = -2*t - b, 162 = 4*t - 2*b. Does 8 divide t?
False
Suppose -20100 = -5*g + 4*t, -6*g + 5*g + 3*t = -4020. Is 146 a factor of g?
False
Suppose -4*v + 6*r - 10*r + 4456 = 0, 3342 = 3*v - 2*r. Is v a multiple of 9?
False
Suppose 3*i - 6*i = 4*a - 57, 2*a = -i + 19. Suppose -i*x - 551 = -8056. Does 79 divide x?
True
Suppose 175*g - 34*g - 643599 - 1191234 = 0. Does 91 divide g?
True
Let l(o) be the third derivative of o**5/20 + o**4/6 - o**3/6 + 13*o**2. Let q b