3. Does 35 divide h?
False
Suppose 2*j = -2*n + 2394, 195*n + 4788 = 4*j + 191*n. Does 21 divide j?
True
Is -1195*(144/15 - 12) a multiple of 12?
True
Let c(d) = -3*d**2 - 12*d + 8. Let k be c(-8). Let f = -84 - k. Let j(n) = 7*n**2 + 3*n - 29. Is j(f) a multiple of 6?
False
Suppose -2*p + 0*p = 10, 4*p + 40 = 4*f. Let g(d) = d**3 + 25*d - 10. Let x(a) = -2*a**3 - a**2 - 43*a + 20. Let w(q) = -7*g(q) - 4*x(q). Does 50 divide w(f)?
True
Suppose -73*c + 77*c + 1472 = 0. Let g = c - -174. Let n = g + 430. Is 24 a factor of n?
False
Let z(j) = 6*j + 37. Let p be z(20). Suppose -3*b + p = -176. Let v = b - 13. Is v a multiple of 13?
False
Let j be 2/(-9) - 228/(-54). Let r be (-40)/((-1 + 0)*1). Let a = r + j. Is 5 a factor of a?
False
Suppose -x + 26 = -2*t - t, 4*t + x + 30 = 0. Is (-13348)/(-36) + t/(-36) a multiple of 10?
False
Let s = 588 + 2652. Is 27 a factor of s?
True
Let i(b) = 4*b**2 - 66*b + 78. Is 29 a factor of i(-23)?
True
Let z be ((-3)/(-6))/(4/(-96)). Let w be 290/z*1 + 3/18. Is 27 a factor of (w/(-16))/(2*2/552)?
False
Let d be 1 + ((-126)/2 - 12/4). Let y = d - -71. Suppose -y*b = 3*w - 3*b - 627, -5*w + 1063 = -4*b. Is 24 a factor of w?
False
Let g(o) = 3*o**2 - 41*o - 14. Let k be g(14). Suppose k = -10*d - 26*d + 504. Does 13 divide d?
False
Let m(c) = -2*c**3 - 11*c**2 - 22*c - 17. Let w = 144 - 149. Is 6 a factor of m(w)?
False
Let k be (2/5)/(3/30). Suppose 685 = 2*n + 5*s, 8*n - k*n + 4*s = 1340. Does 33 divide n?
True
Let v = -169 + 170. Does 26 divide v*2/(-6) - (-883)/3?
False
Let a(r) = -9*r**3 - 4*r**2 + 123*r + 487. Does 12 divide a(-4)?
False
Let i be 6 + (0/2)/(-2). Is ((-36)/(-90))/(2/(i*50)) a multiple of 3?
True
Let b(w) = -2*w**3 - 48*w**2 + w + 43. Let c be b(-24). Suppose s + 4*v = 946, 21*s - c*s + v - 1878 = 0. Is s a multiple of 26?
False
Suppose 7*t - 29567 - 862 = 0. Is 31 a factor of t?
False
Let b(t) = -t**2 - 12*t + 339. Let d be b(0). Suppose 3*k = 741 + d. Is k a multiple of 24?
True
Let r(p) = p**2 - 13*p - 5. Let w be r(18). Suppose w = -3*j + 1021. Suppose -m - 5*i = -64 - 3, -5*m - 2*i + j = 0. Is m a multiple of 14?
False
Let h(k) = 53*k**2 + 65*k + 120. Does 18 divide h(-24)?
True
Let v(b) = -b**3 + 12*b**2 - 7*b + 55. Let u be v(10). Let r = 406 - u. Is 8 a factor of r?
False
Suppose 117*a + 51636 = 170*a - 9420. Is a a multiple of 24?
True
Let s(g) = 33*g + 13. Let v = 366 - 343. Does 48 divide s(v)?
False
Let p(q) = -4*q + 2*q - 8 - 11. Let c be p(-10). Let g = c - -1. Is 2 a factor of g?
True
Let t(a) = 433*a - 2669. Is t(17) a multiple of 23?
True
Suppose 3*t = -3*y + 173619, 338*y + 57858 = t + 336*y. Is 57 a factor of t?
False
Let j(i) = 4*i - 52. Let v be j(45). Let p = v - -3. Is p a multiple of 17?
False
Suppose 4*y - 20180 = -2*j, 3*y - 3*j = y + 10074. Is y a multiple of 59?
False
Let s(b) = -14*b - 52. Let g(n) = 3*n + 38. Let l be g(-12). Suppose -2*j - 3*k - 14 = -l*k, j + 4 = -2*k. Does 10 divide s(j)?
True
Suppose -29*n - 214187 = 9*n - 575795. Is n a multiple of 52?
True
Is 24/(-84) + ((-84400)/(-35))/5 a multiple of 15?
False
Let h = -105 + 249. Let o(v) = -v**3 - 2*v**2 + 5*v - 3. Let x be o(-7). Let j = x - h. Does 21 divide j?
True
Suppose -54*h - 2255172 = -363*h + 13048980. Is h a multiple of 151?
True
Let t = 12 + -22. Let s(c) = 2*c**2 + 2*c + 16. Let j be s(t). Let n = -42 + j. Is n a multiple of 30?
False
Suppose 4 = 21*k - 19*k. Is 12 a factor of 148/k*(-75 - -81)?
True
Let y(n) = -22*n**3 - 36*n**2 - 310*n + 22. Does 62 divide y(-9)?
True
Does 5 divide 2347 + -2 - -3 - (2 - -2 - -2)?
False
Let o(m) = 14*m**2 + 23*m - 10. Let x be o(-6). Suppose -3*j - 2*z = j - 292, -2*z - x = -5*j. Is j a multiple of 8?
True
Suppose 19*o = 8*o + 77. Is 8 a factor of o/21*-3 + 1 + 99?
False
Let x be (-8 - 32)/5 - -146. Suppose 0 = 2*o - 5*w + 145, 3*w = -o - 0*o - 89. Let q = x + o. Is 5 a factor of q?
False
Let x(t) = -2 + 19*t**2 + 5 - 6 + 4*t + 2*t. Is x(2) a multiple of 69?
False
Let k(m) = m**3 + 8*m**2 - m + 12. Let h = 19 - 52. Let p = h + 27. Does 23 divide k(p)?
False
Let a = -458 + 949. Let g = a + -354. Does 18 divide g?
False
Suppose -17*i = -107290 + 35550. Is i a multiple of 38?
False
Let z(f) = -26*f - 6. Let w(a) = a + 1. Let d(k) = -12*w(k) - z(k). Let r be d(7). Let m = r - 77. Is m a multiple of 3?
True
Let l(g) = 5*g**3 + 19*g**2 - 4*g - 69. Is 33 a factor of l(7)?
False
Let t = 99803 + -62485. Is t a multiple of 94?
True
Suppose 0 = 3*z + 2*h - 15, z - 3*h - 10 = -z. Suppose -5*d + 5*u = 9 - 1069, -z*u = -15. Does 48 divide d?
False
Suppose 0 = -2*u + 4*c + 24, -6*u + 48 = -u - 4*c. Suppose -4*i - 10*x + 256 = -u*x, -4*i = -3*x - 236. Is 10 a factor of i?
False
Let p(x) = 4*x**2 - 9*x + 4. Let t be p(2). Suppose 340 - 4 = t*j. Suppose -6*g = j - 1470. Does 31 divide g?
True
Let y(f) = -320*f - 415. Does 25 divide y(-7)?
True
Let l = 226 - 226. Suppose 4*g + 4*q - q = 165, -5*g + 2*q + 189 = l. Does 25 divide g?
False
Suppose 26 = 10*m - 8*m. Does 26 divide 246/(-78) - -3 - (-1874)/m?
False
Let b be 237/21 + 6/(-21). Let x be (3 - (4 + 0)) + b. Let o(q) = q + 5. Is 10 a factor of o(x)?
False
Suppose 0 = -35*i + 56003 + 49102. Is i a multiple of 43?
False
Suppose 0 = -4*u + 5*n + 618, -10*u + 9*u = 5*n - 167. Is 4 a factor of u?
False
Is 65 a factor of 390*(-14 - (-1512)/90)?
False
Suppose 0 = -105*n + 73270 + 93260. Is 122 a factor of n?
True
Suppose -4*o - 4*w - 4 = 0, 12 = -2*o - 2*o - 2*w. Does 3 divide (5/4)/(o/(-20))?
False
Suppose 0 = -k - 4*g + 8, -k - 11 = 3*g - 21. Suppose k*f - 23*f = -10444. Is f a multiple of 11?
False
Let i(o) = 4*o**2 - 4*o + 13. Suppose 0 = -2*v + 2, z + 2 = v + 3. Let l be z/6 + 40/6. Is 32 a factor of i(l)?
False
Suppose 5*y - 36 = u + 8, u + 4 = 0. Is 19 a factor of (0 - 42/y)/(12/(-304))?
True
Suppose 5427 = 4*t - 11*v, t - 693 = 4*v + 660. Does 65 divide t?
True
Let r = -11 + 13. Suppose r*j - 71 - 41 = 0. Let x = 80 - j. Is 4 a factor of x?
True
Let o = 37105 - 16112. Does 45 divide o?
False
Let m be (-12)/9 - 41/3. Let d(i) = -2*i**2 - 37*i - 3. Is 9 a factor of d(m)?
False
Let t(b) = 2*b**2 + 124*b - 1006. Is 7 a factor of t(10)?
True
Suppose 3*j = 4*n - 67915, -53*n + 16977 = -52*n + j. Is n a multiple of 78?
False
Suppose 0 = 14*z - 175066 + 22774. Is 19 a factor of z?
False
Suppose -4*q + 0*v - v = -61, -5*v - 31 = -q. Let u(n) = -2*n**3 + 34*n**2 + 15*n + 61. Is u(q) a multiple of 56?
False
Suppose 0 = 27*t - 28*t - 7, -5*t - 22815 = -5*s. Is 12 a factor of s?
False
Let q = 2820 - 2080. Is 37 a factor of q?
True
Let x = 73 - 70. Suppose x*s = 5*v + 49 - 244, -2*v - 4*s = -52. Is 18 a factor of v?
True
Let v(c) be the third derivative of -c**4/12 + 8*c**3 + 2*c**2 + 28. Does 12 divide v(-33)?
False
Let o(w) be the third derivative of -w**5/30 + 8*w**4/3 + 4*w**3/3 + 79*w**2. Is 8 a factor of o(32)?
True
Let h = -10367 - -47617. Does 149 divide h?
True
Suppose -2*r = 3*a - 20457, 10*a = 5*a - 4*r + 34095. Is a a multiple of 227?
False
Is 22 a factor of (-48)/(-36)*(-3126)/(-8)?
False
Does 12 divide (-6 + -4)*1*-2*345?
True
Suppose -4*h = 2*h. Suppose 4*o + 2*o = h. Suppose o = 7*r - 183 - 475. Is 10 a factor of r?
False
Suppose -16*d - 6244 + 1956 = 0. Let j = -133 - d. Suppose 106 = 2*h - 4*q, 3*h - j = 2*q + 20. Is h a multiple of 5?
False
Let i be 1 + ((-2)/4 - 90/(-12)). Suppose 8*d + 1540 = 3*v + 13*d, -2*d = i. Is 27 a factor of v?
False
Is 32 a factor of 2880/(108/9)*(8 - 0)?
True
Suppose -35*x = -63*x + 38808. Suppose 5*q + x = 4871. Is 41 a factor of q?
True
Is 2 a factor of (-2621)/(-3)*(-276 + 279)?
False
Does 30 divide -6 + 6998 + 27 + -16?
False
Let j(p) = 17*p - 49. Let m be j(3). Suppose 3*b - 19 = 17. Is (m - (b/4)/3) + 113 a multiple of 9?
False
Let a = 1933 - 1655. Is a a multiple of 4?
False
Suppose 4*x - 4 = 2*t, -3*t - 10 = x - 5*x. Let p be -4 + (-294)/(-36) - (-1)/t. Suppose 4*q + 28 = a, 4*a - 80 = -p*q + 132. Does 12 divide a?
True
Let i(w) be the third derivative of 0*w - 3/2*w**3 + 1/120*w**6 + 0 + 7/60*w**5 - 1/8*w**4 - 9*w**2. Is i(-7) a multiple of 11?
False
Suppose 2*g = -2*f + 8670, 17*g = 20*g - 2*f - 12975. Is g a multiple of 111?
True
Let g(u) = -u**2 + 12*u - 32. Let p be g(8). Suppose p = -4*i - 49 - 91. Does 2 divide (-32)/10*(-7)/(i/(-25))?
True
Let c(s) = -81*s - 1047. Is 39