d + 30 = 0. Suppose d*g - 5*g = 220. Is g a multiple of 14?
False
Suppose 0*h + 2*h = -s + 7, 0 = -3*h - 3*s + 18. Let m = h + -6. Let x = 77 + m. Is 24 a factor of x?
True
Let m(w) = -w**3 - 2*w**2 - 2*w. Suppose 0 = 5*k + 5*v + 35, 0 = -k + 5*k + 2*v + 18. Let a be m(k). Suppose 0 = -a*l + 23 + 33. Is 14 a factor of l?
True
Let w(a) = -23*a + 484. Is w(-11) a multiple of 67?
True
Let o(t) = -t**2 - 5*t + 2. Let n be o(-5). Let f(c) = 2 + 0*c - c - n*c. Is f(-4) a multiple of 4?
False
Suppose -24*a = -20*a + 164. Let g = 10 - a. Is g a multiple of 14?
False
Let o(k) = -295*k + 2. Does 9 divide o(-1)?
True
Suppose i - b + 98 = 0, i - 4*b = -6*b - 89. Let q = i + 163. Is 17 a factor of q?
True
Let a be 5 - 27 - (-1 + -1). Suppose -11 = -2*x - 2*g + 3, 3*x - 2*g - 36 = 0. Let z = x - a. Is 15 a factor of z?
True
Let h be (0*2/(-6))/1. Suppose t - 2*t - 95 = -5*z, h = 4*z - 5*t - 97. Does 3 divide z?
True
Suppose 63 = 7*f - 112. Does 25 divide f?
True
Let s = -6 + 6. Suppose s - 2 = 2*z. Does 5 divide z + 16 - 1/1?
False
Let y be 56 - (-6)/(0 - -2). Suppose 4*c - 172 = 4*z - 8*z, -3*z = -c + y. Suppose c = o + 4*p, 4*o + p = -53 + 256. Is 16 a factor of o?
False
Let y be 10/4*72/(-60). Is 11 a factor of (-1272)/(-14) + y/(-21)?
False
Let w be (2 + -1)/((-1)/(-4)). Let a = 66 + -45. Suppose 0 = -w*v + 75 + a. Does 12 divide v?
True
Let f = -7 + -7. Let n(w) = 2*w**2 + w - 10. Let k be n(f). Suppose -9*v = -13*v + k. Is v a multiple of 27?
False
Suppose 358 - 1490 = 4*b + 4*h, 5*b + 3*h + 1419 = 0. Is 11 a factor of (b/(-6))/(2/4)?
False
Is 15 a factor of 1/1 - 41/(-1)?
False
Suppose 9*y - 2*k + 876 = 10*y, 0 = -y + k + 882. Is 16 a factor of y?
True
Let d(n) = -34*n. Suppose -5*t - 4 = 1. Is d(t) a multiple of 8?
False
Let u be (-1794)/(-65)*(-20)/6. Let h = u - -65. Is 7 a factor of (-1 - h) + (-24)/8?
False
Let v = 46 - 42. Suppose -422 + 26 = -v*i. Does 20 divide i?
False
Let n(j) = -58*j + 353. Is 39 a factor of n(-4)?
True
Suppose -f = 3*h + f + 102, 4*h = -5*f - 136. Let m = -17 - h. Is 17 a factor of m?
True
Let y = 356 - 313. Is y a multiple of 11?
False
Let r = -324 + 502. Let p = -276 + r. Let k = p - -159. Does 17 divide k?
False
Let x(n) = -3*n**3 + 15*n**2 - 9*n - 13. Is x(-4) a multiple of 7?
True
Suppose c = -2*c + 9, -4*d - 590 = -2*c. Let p = 3 - d. Does 45 divide p?
False
Let t(d) = d + 1. Let b be t(11). Suppose -b*f + 43 = -1277. Is f a multiple of 10?
True
Let n = 16 - -40. Suppose 0 = 3*x - x - n. Is x a multiple of 14?
True
Suppose -2*w - 960 = -10*w. Let p = -75 + w. Is p a multiple of 6?
False
Suppose -149 = -4*h - 2*z + 2057, 0 = 5*h + 2*z - 2756. Does 25 divide h?
True
Let r(n) = 20*n - 3. Let g be r(6). Let i = 177 - g. Does 20 divide i?
True
Let z(q) = q**3 + 16*q**2 + 2*q + 20. Let s(r) = 3*r**3 + 47*r**2 + 6*r + 59. Let v(c) = 6*s(c) - 17*z(c). Does 16 divide v(-9)?
False
Let p(m) = -2*m**2 - 31*m - 21. Is p(-9) a multiple of 16?
True
Let t(m) = -7*m - 15. Let k be t(-6). Is 20 a factor of (-2)/3 - (-1638)/k?
True
Let a = 661 - 435. Does 12 divide a?
False
Suppose 0 = 32*g - 12*g - 55440. Is 39 a factor of g?
False
Suppose 5*y - 20 = -p, 4*y + 4*p = -0*y. Suppose -y*s + 13*s = 432. Is s a multiple of 9?
True
Suppose o + 3*o - 32 = 0. Suppose 4*t - o = -4*k, -2*k - 3*k = 10. Suppose -2*q + 2*u = -76, t*q - 3*u = 2*q + 74. Does 20 divide q?
True
Suppose -18 = -2*s + 42. Suppose 480 = 3*t + s. Suppose t = 2*u + x, 0*u = 3*u - x - 225. Is 25 a factor of u?
True
Let i = 310 + -121. Is i a multiple of 3?
True
Suppose 0 = 2*q - 36*w + 41*w - 1431, q + 2*w - 718 = 0. Does 91 divide q?
True
Let o be (2/4)/(7/(-308)). Is 9 a factor of (-14)/77 - (4316/o - -2)?
False
Let y(j) = -4*j**2 + 4*j + 1. Let x be y(3). Let s = -19 - x. Is 11 a factor of -2 - (5*-10 + s)?
True
Let i be (-4)/6 + (-66)/9. Let y be i/(-6)*3/2. Suppose 84 = -0*a + y*a. Is a a multiple of 14?
True
Let h be 18/2 - (3/3)/(-1). Suppose -5*j + 1980 = h*j. Does 44 divide j?
True
Let s = -842 + 1341. Is s a multiple of 11?
False
Does 12 divide 177 - (1 + 4 - 8)?
True
Is ((-30)/(-50))/(3/1350) a multiple of 54?
True
Let b be ((-15)/10)/((-2)/4). Suppose -288 = -b*g + j, 0*g - g + 96 = -5*j. Is g a multiple of 16?
True
Let u(q) = 53*q**2 + 9*q + 9. Is 19 a factor of u(-9)?
False
Suppose 4*q - 104 = 400. Is 21 a factor of q?
True
Suppose 373 = -7*q + 7226. Does 11 divide q?
True
Let f be (-19 + -1)*10/(-25). Suppose f*r - 510 - 386 = 0. Suppose -i + 12 = 2*b, -4*i + 3*b + r = i. Is i a multiple of 10?
True
Suppose -890 - 1930 = -6*z. Is 47 a factor of z?
True
Suppose -3*j + 20668 = -5*c, 4*j - 20664 = 5*c - 0*j. Is 4/18 + c/(-18) a multiple of 17?
False
Suppose 0 = 2*x - 5*f - 679, -f - 347 = -0*x - x. Does 4 divide x?
True
Let m = 1630 + -928. Is 78 a factor of m?
True
Suppose 3*g - 6 = -0*g. Let t(m) = 71*m**2 - 4*m. Is t(g) a multiple of 15?
False
Let b = 16 - 14. Let q = -2 + 3. Is 4 a factor of (0 + q/b)*20?
False
Let k(n) = -39*n + 262. Is k(-42) a multiple of 25?
True
Let c be (6 - -1) + (2 - -2). Let t = c - -43. Is t a multiple of 27?
True
Suppose -12*f = -13*f + 4. Suppose 0 = -f*g + 5*g - 90. Is g a multiple of 30?
True
Suppose -289 = -5*x + 2*i, 0 = -4*x + 2*i + 112 + 120. Let m = 91 - x. Is m a multiple of 6?
False
Let c(j) be the third derivative of -j**5/60 + 4*j**4/3 - 14*j**3/3 - 41*j**2. Does 32 divide c(12)?
False
Suppose 5*k = -30 + 5. Let m(q) = -q + 6. Is 3 a factor of m(k)?
False
Suppose 7*x = 6*x + 5. Suppose -4*b + x = 2*l - 63, -b = -l + 19. Suppose 18 + l = 3*m. Does 7 divide m?
True
Suppose -5*d + 14*d - 1071 = 0. Does 4 divide d?
False
Let d(r) = 3*r - 6. Suppose 9*h = 3*h + 12. Let q = h + 2. Is 5 a factor of d(q)?
False
Does 40 divide 16092/45 + 3 + (-3)/5?
True
Suppose 0 = -3*w + 12 + 9. Suppose 2*z + 15 = w*z. Is 2/z + (-472)/(-12) a multiple of 16?
False
Suppose 5*j - 24*j + 4104 = 0. Suppose -j = 17*l - 19*l. Does 9 divide l?
True
Suppose 0 = 5*v - 5*f - 825, 2*f - 3*f = -1. Is 5 a factor of v?
False
Suppose 0*g - 2*g - 8 = 4*d, 2*g = -3*d - 11. Let m be ((-4)/g)/((-6)/(-60)). Let b = m + 14. Is b a multiple of 4?
False
Let h be 1299/9 - 4/(-6). Suppose -5*g - 2*k - h = 0, g + 3*g + 2*k + 114 = 0. Let q = -16 - g. Is 7 a factor of q?
False
Let k = 4 - 0. Suppose -18 = -2*f + k. Suppose -2*m + 33 = -f. Is 11 a factor of m?
True
Let u = -1146 - -1221. Is 15 a factor of u?
True
Let v be (5/2)/((-25)/(-20)). Suppose -4*q + 12 + 16 = 4*o, 0 = v*o + 4*q - 14. Is o a multiple of 2?
False
Is 45 a factor of 270*-25*2/(-20)?
True
Let w be (-32)/(-208) + (-74)/(-26). Suppose 2*k = 7*k, -w*u + 3*k = -897. Is 13 a factor of u?
True
Let g be (-54)/(-24)*(-8)/(-6). Suppose -2*m + g*c + 11 = 2, -2*m + 16 = 4*c. Suppose m*o - 15 = 3*o. Is 2 a factor of o?
False
Suppose 3*s - 3*v = 4038, -v - 6746 = -2*s - 3*s. Does 18 divide s?
True
Let j(t) = -2*t + 21. Let l be j(14). Let m(r) = r**3 + 10*r**2 + 19*r + 17. Does 31 divide m(l)?
True
Let y be 3 - (12/(-4) - -1). Suppose -133 = -y*b + 112. Suppose -4*t = 3*j - 210, -3*t + b = -2*t - j. Is t a multiple of 17?
True
Let v(l) = 12*l. Let m be v(-1). Let q be m/54 + (-7)/9. Is 12 + -15 + q + 34 a multiple of 15?
True
Suppose -x + 17 = 3*y, -7*x + 2*x + 10 = 0. Suppose 30 = y*b - 35. Let h = b + 20. Is h a multiple of 10?
False
Is 17 a factor of (4/(-40)*-68)/(1/25)?
True
Is (-8)/10*(-13 + (-6990)/20) a multiple of 40?
False
Let b = 44 + -42. Let u = 38 + b. Is u a multiple of 20?
True
Let i(r) = -10*r**2 - 10*r + r**2 + 3 + r**3 + 18*r**2. Let f be i(-10). Suppose 0 = -3*l - n + 185, 4*l - f*n + 51 = 5*l. Does 17 divide l?
False
Let o(l) = 10*l + 7. Let t(b) = -15*b - 10. Let s(w) = 8*o(w) + 5*t(w). Let n be s(-9). Let d = n + 65. Is 6 a factor of d?
False
Let g(n) be the second derivative of n**4/12 - 5*n**3/3 + 6*n**2 + n - 14. Suppose -2*f = -37 + 9. Is g(f) a multiple of 34?
True
Does 11 divide -1 + -5*(-1448)/20 + 4?
False
Let m = -6 - -1. Let z(p) = -p**2 - p. Let s(l) = -6*l**2 + l + 5. Let r(b) = m*z(b) + s(b). Does 4 divide r(4)?
False
Suppose 5*s = 2*s + 21. Suppose 0 = -16*o + s*o + 567. Is o a multiple of 21?
True
Let f(n) = 19*n - 167. Let s be f(9). Suppose -2*t + 2*o - 38 = 0, 4 = -2*t + 4*o - 44. Is 4 a factor of t*(-1)/s*2?
False
Suppose 0 = 70*y - 80*y + 8480. Is 31 a factor of y?
F