- 14. Suppose 24*g - 5632 = -l*g. Is g a multiple of 6?
False
Let z = 7728 - -6377. Is z a multiple of 13?
True
Suppose -m - 240 + 232 = 0. Is (16/40)/(m/(-2720)) a multiple of 7?
False
Suppose -113*s + 69*s = -57*s + 62647. Is 7 a factor of s?
False
Suppose -4*k + 1 = -11. Suppose k*q + 0*r = 2*r + 498, -4*q + 664 = -4*r. Suppose i - x = q, 810 = i + 4*i - x. Does 9 divide i?
False
Let q = 6773 + -4477. Is q a multiple of 60?
False
Suppose 0*x + 2*x = 924. Let q = 663 - x. Let z = q + -131. Does 7 divide z?
True
Suppose -o = -4*i + 18, -3 + 8 = 3*i - 5*o. Suppose -5*f = -73 - 277. Suppose -i*c + f = -260. Is c a multiple of 11?
True
Let f be 9*7/28*(-4)/(-3). Suppose f*s - 1487 = -x, 19 = 4*x - 1. Is s a multiple of 32?
False
Let g = 59 - 55. Let j(h) = 5*h - 10*h**3 - 8 + 11*h**3 + 0*h + g*h**2. Does 18 divide j(4)?
False
Let o = -109 + 114. Suppose 3*i - 10 = -4*k, o*k + 4*i = -0*k + 12. Is (6 - 8)/(k/(-174)) a multiple of 12?
False
Suppose -9*h - 1920 = 474. Let v = h + 614. Does 31 divide v?
False
Let r be (-198)/(-21) + 6/(-14). Suppose -3 = 3*o - r. Suppose -o*n = -78 + 2. Is 19 a factor of n?
True
Let a(l) = -l**2 - 15*l - 20. Let u be a(-14). Let m be (-3)/((-9)/u) - -95. Suppose 5*z + 69 = 3*b, -3*b - 2*z + m = z. Is b a multiple of 4?
True
Suppose 9*t - 321 = 993. Let m = 328 - t. Let k = m - 47. Is 27 a factor of k?
True
Let u(n) = -n**2 - n + 1. Let c(d) = 29*d**2 + 13*d - 7. Let k(f) = c(f) + 6*u(f). Let y be k(-3). Let v = -43 + y. Is 25 a factor of v?
False
Does 22 divide 1176/3822 + (-215731)/(-13)?
False
Let r = 458 - 681. Let m = r - -810. Does 19 divide m?
False
Suppose v + 5*c = 6082, -17*v + 24304 = -13*v - 4*c. Is 103 a factor of v?
True
Let a(u) = 5*u**2 + 142*u - 22. Let t(s) = -s**2 - s + 40. Let q be t(-9). Is 18 a factor of a(q)?
False
Suppose 0 = 41*h - 35*h - 178152. Does 43 divide h/(-39)*-6*(-1)/(-4)?
False
Let a(h) = 176*h - 89*h - 6 - 113*h. Does 38 divide a(-2)?
False
Let r = 203 + -41. Let t = 207 - r. Does 15 divide t?
True
Suppose a + s = 453, -1359 = -3*a - s - s. Is 15 a factor of a/6 - -4*1/(-8)?
True
Let h be (-7)/(-35) - 1639/(-5). Suppose -3*g + h = -7*g. Let s = g + 164. Is s a multiple of 25?
False
Let w be (-45)/(-18) + (-8)/(-16). Suppose 15*i = w*i + 2808. Is 3 a factor of i?
True
Let y(m) = 6110*m**3 + 8*m**2 - 3*m - 4. Does 21 divide y(1)?
True
Suppose 2*y - 84 = 2*z, 3*z + 3*y + 54 = 2*z. Let u = z - -201. Let x = -36 + u. Is 13 a factor of x?
False
Suppose -6*c - 21 = n - c, 13 = -3*n - 5*c. Suppose k + 14*f - 59 = 19*f, -2*f + 258 = n*k. Does 4 divide k?
True
Suppose -4*q - 1659 = 81. Let h = 636 + q. Is h a multiple of 3?
True
Suppose d = 21 - 20, 1696 = 2*p - 4*d. Is p a multiple of 25?
True
Let y = 10788 - 7812. Is y a multiple of 93?
True
Suppose 0*m = -2*m + 4. Let s(y) = 25*y - 31*y**m + 30*y**2 - 10*y. Does 15 divide s(4)?
False
Suppose 5*k - 5*r + 15 = 0, 0 = 4*k - r + 1 - 4. Suppose 2*m = -k*b + 30, -2*m + 7 + 40 = 3*b. Suppose -25 - b = -l. Is 14 a factor of l?
True
Let c(d) = d**2 + 4*d + 8. Let q(f) = 2*f**2 + 8*f + 14. Let x(w) = 5*c(w) - 2*q(w). Is 12 a factor of x(-16)?
True
Let s be (5 - -3) + -3*(2 - 1). Let n(l) = l**3 - 4*l**2 - 6*l + 10. Let v be n(s). Suppose 0 = -v*y - 3 + 163. Is 8 a factor of y?
True
Suppose -92*i = -29*i + 62*i - 2330000. Is i a multiple of 6?
False
Let g = -2152 - -1520. Let u = g + 1028. Is 11 a factor of u?
True
Let p = 254 + -35. Suppose 0 = 5*x - 8*x + p. Let n = x - -95. Is n a multiple of 42?
True
Let v = -14187 + 38788. Does 9 divide v?
False
Let o = 79 - 75. Suppose 2630 = o*h + f, 4*h + 0*h = 3*f + 2638. Is 94 a factor of h?
True
Let x = 1550 + 880. Suppose -x = -29*w + 20*w. Is w a multiple of 10?
True
Let y(v) = -v**3 - 5. Let p be y(0). Let n(z) = -z**3 - 8*z**2 - 66*z - 527. Let r be n(-8). Is 6 a factor of (-23)/(-1) - (r + p)?
False
Let d = 53164 - 37074. Is d a multiple of 111?
False
Let c(f) = -4*f + 87. Let l be c(20). Suppose 4*a - l*a + 216 = 0. Does 8 divide a?
True
Let n = -444 - -643. Suppose 4*x = 1139 - n. Suppose -7 = -2*q + 2*i + 99, 5*i = -5*q + x. Does 15 divide q?
False
Is (-2140)/8*360/(-50) a multiple of 39?
False
Suppose 141*b = 149*b - 73992. Is 7 a factor of b?
False
Is 7 a factor of 15/21 + 5524/28?
False
Let t(w) = 13*w**3 - 9*w**2 + 19*w - 53. Let l(y) = 7*y**3 - 4*y**2 + 10*y - 27. Let p(x) = 11*l(x) - 6*t(x). Let h be p(9). Let z = h - 48. Does 6 divide z?
True
Is 34 a factor of 102*((-93408)/420)/(-2*(-3)/(-5))?
True
Suppose -4*l + g - 323 = 6*g, -l + 5*g - 62 = 0. Let a = l - -310. Let m = a + -145. Does 10 divide m?
False
Let j = -93 - -83. Let m be (-55)/j + 5 - 6/(-4). Is 23 a factor of m/30*230/4?
True
Suppose -29*y + 50067 = -25*y - 3*p, 62617 = 5*y + p. Does 6 divide y?
True
Suppose -3*n + 2 + 52 = 0. Suppose 2 = -2*k + 3*g, -3*k - g - 2*g - n = 0. Does 20 divide k - ((-54)/2 + 3)?
True
Suppose 47 = 5*j - 3*n, 12 = -5*n - 8. Let s(g) = -g**2 + 5*g + 13. Let x be s(j). Is (x/2)/((-5)/420) a multiple of 14?
True
Let s be (12/(-36))/((-2)/(-18)*-1). Suppose a - 4*a - 6 = s*r, -r - 4*a = 14. Is 10 a factor of 5/(20/39) - r/(-8)?
True
Suppose -d + 2*l = 4*l + 1, 3*d + 4*l = 1. Suppose 0 = d*j, -j = -3*m + 4*j + 45. Suppose -3*k + 3*z + z + 91 = 0, 3*z = m. Is k a multiple of 13?
False
Let h(i) = 2*i**3 - 9*i**2 - 2*i - 13. Let a be h(5). Suppose -a*z = -2*r - 127 - 79, -5*z + 4*r = -519. Is z a multiple of 43?
False
Suppose 0 = -2*u, -20*n = -21*n + 4*u + 12284. Is n a multiple of 13?
False
Let a(t) be the third derivative of -35*t**4/24 - 25*t**3/6 + t**2. Suppose 5*b = -17*j + 13*j - 20, 4*b = -j - 16. Is a(b) a multiple of 10?
False
Let b(c) = -c**3 - 21*c**2 - 28*c - 27. Let y be 46/(-230) + 198/(-10). Is 12 a factor of b(y)?
False
Let t = -2097 - -3195. Let g = t + -607. Is 11 a factor of g?
False
Let j(d) = 5*d**2 - 16*d + 20. Let n(o) = -16*o**2 + 47*o - 60. Let k(w) = -7*j(w) - 2*n(w). Let u be k(6). Let l = 138 - u. Is l a multiple of 14?
False
Suppose -o - 4*k = -8196, 0*o - 2*k = -3*o + 24630. Is o a multiple of 108?
True
Let y(j) = 4*j**3 + 9*j**2 - 22*j + 36. Is 33 a factor of y(9)?
False
Let r(u) = 41*u**2 - 638 + 625 + u**3 - 44*u - 13*u**2. Does 20 divide r(-29)?
False
Let m(l) = -34*l**3 + l**2 + 4 - l + 54*l**3 - 3. Let h(q) = q**2 - 20*q + 20. Let f be h(19). Is 5 a factor of m(f)?
False
Let p(f) = -68*f**2 + 14*f + 2. Let z be p(3). Let m = 1118 + z. Is 50 a factor of m?
True
Is 39 a factor of 284340/(-63)*15/(-20)?
False
Let w = 15636 - 10988. Is 83 a factor of w?
True
Let l(r) = r**2 - 30*r + 97. Let d be l(26). Let z(q) = -6*q - 4*q**2 + 7*q**2 - q + 14 - 4*q. Is 17 a factor of z(d)?
True
Let m be (-1)/((-3)/4*4/(-6)). Let v be 4 - (m + -4*1/(-2)). Suppose q - 102 = -4*l, 5*q - v*l = 264 + 174. Is 15 a factor of q?
True
Suppose 5*u = 5*q + 25, -5*u + 2*q - 6*q = -52. Suppose 0 = -u*c - 22048 + 6688. Is 1/2*c/(-8) a multiple of 18?
False
Let p be 0 - 0 - (-2 + 4 + -5). Suppose 0 = -4*b - 2*m + m + 722, -549 = -p*b + 3*m. Does 6 divide b?
False
Let v(k) = 46*k**2 - 12*k + 141. Does 53 divide v(-9)?
True
Let v be (-36)/18 - -82*25. Suppose -y - 15*y + v = 0. Is y a multiple of 32?
True
Let a = -90 + 78. Let m be (a/(-10))/((-4)/(-340)). Suppose -4*f + m = -170. Is 7 a factor of f?
False
Let a(x) = x**3 - 7*x**2 + x - 2. Let o be a(7). Suppose -6 = -3*j + o*j - 4*q, -12 = 4*j - q. Let t(g) = g**2 - 4*g + 4. Is 7 a factor of t(j)?
False
Let c(f) = 4*f**2 + 65*f - 114. Is 133 a factor of c(-26)?
False
Let j(k) = -123*k + 34. Let t be j(-5). Let g = 958 - t. Is g a multiple of 16?
False
Let m(i) = -5*i**3 - 8*i**2 - 19*i - 16. Is 104 a factor of m(-8)?
True
Let f = -29318 + 32342. Does 42 divide f?
True
Let c(y) = 45*y - 848. Is c(20) a multiple of 5?
False
Let s(x) = -2*x**3 - 3*x**2 - 3*x - 1. Let o be s(-2). Suppose 25 = -3*r + q - o, 4 = q. Does 29 divide r/20 + 410/4?
False
Let i(m) = 133*m**2 - 32*m + 4. Is i(3) a multiple of 85?
True
Let w = 1084 - 821. Is w a multiple of 3?
False
Let p(d) = 6*d**3 + 64*d**2 - 301*d - 24. Is p(6) a multiple of 30?
True
Is 22 a factor of ((-26)/(-26) - 0)/((-2)/(-1144))?
True
Let k(r) = 5*r**2 - r + 2. Suppose 6*g - 11 = 1. Is k(g) a multiple of 10?
True
Let j = 4989 - 1424. Does 115 divide j?
True
Let y(l) = 4*l**2 - 11*l + 10. Let h be y(1). Su