f v(j)?
False
Let x = 2553 - 1291. Is 4 a factor of x?
False
Let y(u) = 19*u**2 + 3*u - 12. Let i(r) = -18*r**2 - 3*r + 11. Let b(j) = -4*i(j) - 3*y(j). Let g be b(2). Suppose 98 + g = 4*n. Is 13 a factor of n?
True
Let o = -108 - -214. Is (14/1)/(10/(4 + o)) a multiple of 22?
True
Suppose -382*h + 77215 = -380*h - o, 5*o = -h + 38613. Is 136 a factor of h?
False
Let m be 1281/33 + 4/(-88)*-4. Is 13 a factor of 174/27*m*15/5?
True
Suppose -1 - 3 = 2*x. Let b be (-166)/(-6) - x/6. Suppose 56 = 3*j - b. Is 7 a factor of j?
True
Let z = -8411 - -10850. Does 6 divide z?
False
Let g = 6070 - 719. Does 35 divide g?
False
Let d = -6674 - -12648. Is 103 a factor of d?
True
Does 28 divide (-2)/10 + 377430/25?
False
Is 37 a factor of (-12 + 1 + 8336)/(-2 - -3)?
True
Suppose 0 = -308*d + 306*d + 7071 + 9721. Does 60 divide d?
False
Let k(c) = -96*c - 98*c - 91*c + 140 + 320*c. Is 3 a factor of k(5)?
True
Let w = 240 - -168. Suppose -135*f + 141*f = w. Is 9 a factor of f?
False
Let n = 270 + -391. Let r = -16 - n. Is 31 a factor of r?
False
Suppose -2*q + 139 = 5*y, 0 = -6*y + 2*y - 4. Let b = q - 13. Suppose d + 18 = b. Is 10 a factor of d?
False
Let w = -179 + 598. Let l = 939 - w. Is 8 a factor of l?
True
Suppose 8*m + 0*j + j = 49148, 2*j - 24568 = -4*m. Is m a multiple of 16?
True
Suppose 0 = -93*x + 95*x - 646. Is 45 a factor of x?
False
Let l = 23 + -17. Suppose 12 = 7*o - l*o. Let d = o - 0. Is 4 a factor of d?
True
Let w(g) = 232*g**3 - 27*g**2 + 9*g - 34. Does 154 divide w(5)?
True
Suppose 224*g - 114048 = 206*g. Is 33 a factor of g?
True
Suppose -44*g = -37*g - 2163. Let l = g + -239. Does 4 divide l?
False
Let r be 1/((1/1762)/(-2 + 3)). Let i = r - 1123. Is 17 a factor of i?
False
Let m be (-2)/(-4)*(-2 + 18). Let k be (m/6)/(4/966). Suppose -9*z + k = -758. Does 10 divide z?
True
Suppose 2*l = -3*l - 5*c - 450, 0 = -4*l + 2*c - 330. Let h be (-102)/l + 1/(-5)*1. Suppose -h = -r + 4*z + 1, -2*z = -2*r + 16. Does 5 divide r?
True
Let d(w) be the second derivative of w**5/120 + 2*w**4/3 - 4*w**3/3 - 2*w. Let x(t) be the second derivative of d(t). Is x(8) a multiple of 5?
False
Suppose -4*t - 5 = 4*z - 1, 16 = -z - 4*t. Suppose -s + 456 = z*s + 3*k, -5*s + 460 = 5*k. Does 6 divide s?
True
Let y(g) = g**3 + 9*g**2 - 24*g - 2. Let d(i) = i**3 + 8*i**2 - 25*i - 3. Let m(a) = 2*d(a) - 3*y(a). Is m(-15) a multiple of 15?
True
Let c be 130/6*(-54)/(-45). Suppose -c*n + 28*n - 1270 = 0. Is n a multiple of 12?
False
Suppose h = -3*b - 13, -5 = 2*b + 5. Suppose -z = 2*a + h*z - 329, 3*a + 5*z = 492. Is a a multiple of 6?
False
Let a(d) = 261*d**2 + 10*d - 11. Let h(q) = -3*q**2 + 17*q + 7. Let s be h(6). Is a(s) a multiple of 10?
True
Let x(b) = -192*b**3 + 11*b**2 + 8*b + 11. Is 55 a factor of x(-3)?
False
Suppose 0 = -6*l + 4*l - 334. Let b = -47 - l. Is 4 + -1 + -3 + b a multiple of 30?
True
Is 63 a factor of (65/2 - 1)/((-23)/(-31 + -11055))?
True
Let h = -507 + 513. Suppose 5*y + 2*g - g - 1792 = 0, 2*y = -g + 715. Suppose -2*t = -u - y, 181 = t - 5*u + h. Is 15 a factor of t?
True
Let o(y) = y**3 - 3*y + 3. Let h be o(-3). Let z = -7 - h. Is 3 a factor of -16*2*(15/z)/(-5)?
True
Let j(i) = -42*i + 14. Let w be j(-10). Let n = w - 424. Does 2 divide n?
True
Let n(c) = -c**2 + 39*c + 22. Let u be n(39). Is (0 + u/(-4))*-34 a multiple of 14?
False
Let s(x) = -380*x + 31. Let z = -377 - -376. Does 9 divide s(z)?
False
Let u be ((-6)/5)/((-4)/(-30)*3). Let f(v) = -38*v**3 + 4*v**2 + 6*v + 9. Is 117 a factor of f(u)?
True
Let a(y) = -17*y - 81. Let i be a(-5). Suppose i*o = -2*l + 56, 5*l - 60 = -4*o - o. Does 10 divide o?
False
Let d be 31*6/(30/65). Let v = d + -156. Does 13 divide v?
True
Suppose -20*s + 121451 = -9*s. Is s a multiple of 55?
False
Is 1529 - -12 - (-7 + 6 + -5) a multiple of 17?
True
Let w be 1*((-750)/9)/((-2)/3). Suppose 750 = 5*m - 5*k, -m - k - 3*k = -w. Does 12 divide m?
False
Let k be (-3)/((-1)/(10/6)). Suppose k = 5*l, 0*f + 5*l + 274 = 3*f. Suppose f*d - 91*d = 32. Is 3 a factor of d?
False
Let o(y) = -y**2 + 2*y + 82. Suppose -2*c - 8 = -3*j - j, 16 = 5*j - c. Suppose 4*k - 12 = -3*n, -j*n - 3*k - 2*k = -15. Is o(n) a multiple of 9?
False
Let x(s) = 4 - 2*s**2 - 15*s + 6*s - 3*s**2 - 8*s**2. Let l be x(-4). Let v = -56 - l. Is v a multiple of 16?
True
Suppose 0*x + x = 17. Suppose -3*o = 8*o - 242. Suppose x*k - o*k = -80. Does 4 divide k?
True
Let p = 206 + 74. Suppose 3*g - p = 800. Is 45 a factor of g?
True
Does 43 divide (10367 + 1)/4 - 2?
False
Let o be -10*(0 - (-14)/(-35)). Suppose -g - 5*t + 885 = -2*t, o*g - 3524 = -4*t. Is g a multiple of 49?
False
Let h(l) = 4*l**2 + l - 2. Suppose 0*v + 4*r - 141 = -3*v, 2*v - 92 = -2*r. Let n = 41 - v. Does 3 divide h(n)?
True
Let x(d) = d**2 - d. Let o(q) = 7*q**2 + 15*q + 34. Let z(b) = -o(b) + 6*x(b). Let i be z(-19). Let r = 29 - i. Is 9 a factor of r?
False
Let u be 3 + 1*-6 + 7. Suppose 4*y - 7*y + 344 = u*p, -2*p = 3*y - 178. Let j = p + 34. Does 27 divide j?
False
Let b be ((-4)/(-10))/(14/21)*5. Suppose 0 = 4*o - 5*f - 53, b*f - 7*f - 4 = 0. Is 2 a factor of o?
True
Let u(l) = -2058*l + 1804. Is 27 a factor of u(-9)?
False
Let s = -75 - -253. Suppose -4*v + x = -368, 2*v - 4*x - s = -5*x. Is v a multiple of 4?
False
Suppose 3*y - 2748 = -3*q, -11*q + 2746 = -8*q + 2*y. Let f = q - 156. Is f a multiple of 21?
False
Let n be (3 + 76/16)*4. Let b = 141 - n. Is 8 a factor of b?
False
Let u(m) = -505*m**3 - 7*m**2 - 9*m - 27. Is u(-3) a multiple of 39?
True
Suppose -3*n - 3 = -4*n. Suppose g - k - n = 0, 3*g + k - 11 = 10. Let m = g + 129. Does 9 divide m?
True
Suppose 649504 + 292008 = 143*k. Does 23 divide k?
False
Let b(w) = 2*w**3 - 7*w**2 - 3*w - 6. Let s be b(6). Suppose -386 = 4*l + 2*v, 3 = -3*v + 6*v. Let d = s + l. Is 5 a factor of d?
False
Suppose -13*j + 2*w - 9 = -14*j, 30 = 4*j + 5*w. Suppose q = -j*p + 10*p + 368, -3*p = -q + 372. Is q a multiple of 18?
True
Let q(o) = 94*o**3 - 4*o**2 + 44*o - 106. Does 16 divide q(3)?
True
Let n(c) = -c**2 - 6*c + 18. Let h be n(-8). Suppose -3*l - h*l = -20. Suppose u - 2*u + v + 55 = 0, -l*u = v - 205. Is 13 a factor of u?
True
Let r be 1/((-3)/(-78)*2). Suppose h + 0*h + 3*a = 27, -168 = -5*h - 4*a. Is h/(-24)*r*-4 a multiple of 18?
False
Let g = 44616 - 21476. Is 20 a factor of g?
True
Let y be (-872)/(-5) + ((-30)/(-25))/2. Let l = -112 + y. Is l a multiple of 63?
True
Let h(r) = -4*r**3 + 4*r**2 - 3. Suppose 10 = -d - 0*d. Let z(k) = -9*k**3 + 9*k**2 - 7. Let x(t) = d*h(t) + 4*z(t). Does 12 divide x(3)?
False
Let g(r) = -8*r**2 - 177*r + 183. Is g(-22) even?
False
Let i(g) = g**2 + 8*g - 5. Let f(r) = r**2 + 7*r - 4. Let j(a) = 2*f(a) - 3*i(a). Let p be j(-5). Suppose 4*w - p = 3*k, 4*k + 9 = 4*w - 19. Is 3 a factor of w?
False
Let p(x) = 6*x + 4129. Is p(36) a multiple of 68?
False
Let d = -30153 - -44072. Does 68 divide d?
False
Suppose -4*a = -5*a + 2*h + 107, -5*a - 3*h = -548. Let p = -719 + 757. Let m = a - p. Does 9 divide m?
False
Let r(k) = -2*k + 30. Let h(t) = -2*t + 30. Let i(l) = 4*h(l) - 3*r(l). Let u be i(14). Does 27 divide u/(-3) + (-4392)/(-27)?
True
Let i(h) = 461*h**2 + 2. Let g be i(3). Suppose 0 = 6*j - g - 1573. Does 9 divide j?
True
Let s be (1/(3/(-6)))/(-1). Let p(u) = 87*u**s + 3*u - 5*u - 1 + 80*u**2. Is p(-1) a multiple of 12?
True
Let b be ((-9)/(-5))/(9/45). Suppose 2 = 2*a - 10. Does 3 divide 3/a*(1 + b)?
False
Let f(i) = -6*i**2 + 506*i + 94. Is f(79) a multiple of 18?
False
Let d be 452/14 - 2/7. Let t = 36 - d. Suppose t*l = -5*z + 436, 6*l + 3*z = 3*l + 324. Does 29 divide l?
False
Let i be (77/(-14))/(-11)*66. Suppose -27*s = -i*s + 246. Does 18 divide s?
False
Suppose 4*j + 11*j = -165. Let l = 29 + j. Suppose -986 + l = -11*x. Is 22 a factor of x?
True
Let s(l) = 3*l**2 - 12*l + 15. Let p be s(13). Suppose -4*y + 3834 = p. Is 11 a factor of y?
False
Let m(p) = p**3 + 12*p**2 - 14*p - 5. Let v(l) = 3*l**2 - 16*l + 7. Let h be v(5). Let i be h*(1 + -3) + -9. Is 2 a factor of m(i)?
True
Let z be 80/(-24)*18/(-2). Let m = -21 + z. Suppose -m*q + 277 = -506. Does 29 divide q?
True
Let t be (13/(-39))/((-3187)/1062 - -3). Suppose 82*n = 84*n - t. Does 5 divide n?
False
Let g(v) = -v**2 - 7*v - 4. Let q be g(-6). Suppose 2*a + q*a - 2*z - 218 = 0, -4*z = 2*a - 84. Suppose 54*j - 100 