es 3 divide d?
True
Let y(b) = 24*b + 4. Let i(l) = -l**2 - 5*l + 7. Let p be i(-6). Is y(p) a multiple of 7?
True
Let g(z) = -10*z - 667. Let h be g(-67). Let n = 3 - -2. Is h/n + (-88)/(-20) a multiple of 4?
False
Let m be ((-36)/27)/(-2 - (-149)/75). Let l = 197 - m. Is 22 a factor of l?
False
Is 39 a factor of (56/7 - -138) + 10?
True
Suppose 529 = -2*f + 5*f + q, 5*f - q - 879 = 0. Is f a multiple of 22?
True
Suppose 0 = -2*x - 0 + 96. Does 29 divide 5532/x - (-2)/(-8)?
False
Suppose 2*o - 10 = -2. Suppose 0 = -4*u - o + 20. Let j = u + 11. Does 6 divide j?
False
Is (3256/10)/((-8)/(-20)) a multiple of 22?
True
Let b be 1/(-2) - (-4)/8. Suppose b = a - 33 - 27. Does 19 divide a?
False
Let k = 715 - 283. Is k a multiple of 18?
True
Let a = -2010 - -2976. Is a a multiple of 21?
True
Let k be -10 + 8 + (1 - 2)*-4. Let s(f) = 18*f**3 + f**2 + 3*f. Does 22 divide s(k)?
True
Let r be (-12)/(-6)*(-13)/(-2). Let f = r - 9. Suppose 0*t + 92 = f*t. Is t a multiple of 7?
False
Let f(c) = -3*c - 5. Let n be f(0). Is 15 a factor of (-600)/n + -2 + 0?
False
Let b = -56 - -69. Suppose 3*z = 5*h + 284, -b*h + 15*h + 281 = 3*z. Is z a multiple of 31?
True
Let j(w) = w**3 - 7*w**2 - 14*w + 21. Let y be j(9). Suppose 7*q - y = 6*q. Is 10 a factor of q?
False
Let y = -331 - -485. Is 5 a factor of y?
False
Suppose 665 = -7*w + 12*w. Is w a multiple of 4?
False
Suppose 0 = 17*s - 14021 - 5189. Is s a multiple of 58?
False
Let k = 172 + 38. Does 70 divide k?
True
Let f = 371 + -313. Is 4 a factor of f?
False
Let q be (1/2)/(2/44). Let r be q/(2*(-1)/(-48)). Suppose -126 = -5*z + b + 193, 4*z - 3*b = r. Is z a multiple of 32?
False
Suppose 5*a - 3*g + 7*g = 330, -a - 3*g = -55. Suppose -5*s + a = 5*n, -4*n = 4*s - 9*s - 92. Does 17 divide n?
False
Let u(q) = q**2 + 27*q - 142. Is u(-32) a multiple of 9?
True
Let k(h) = -8*h + 46. Let q be k(6). Let v(s) = -7*s**3 - 2*s - 3. Is v(q) a multiple of 20?
False
Suppose 0 = -5*m + 4*t + 86, 4*m - 5*t - 28 = 39. Does 36 divide m/(17/(-84) + 6/21)?
True
Suppose 0 = 5*n - 8*n + 5*o - 6, 5*n - 21 = -2*o. Suppose -7 = 7*b + 21. Is (n + 3)*b/(-2) a multiple of 12?
True
Let c be -2 + (-112)/(4/(-1)). Suppose 6*o = c*o - 5180. Is o a multiple of 15?
False
Let j = 44 - 29. Let y(s) = 4*s - 14. Is 7 a factor of y(j)?
False
Let r be (4 - 140/21)/((-1)/18). Suppose 3*k = -0*k + r. Does 8 divide k?
True
Let g be 0 + 1 - 1 - (-28 - -44). Let r = g + 100. Is 10 a factor of r?
False
Is ((-26)/4)/(-1)*774/43 a multiple of 9?
True
Suppose -29*p - 2 = -31*p. Is (21 - 289)/(-2 + p) a multiple of 30?
False
Suppose -300 = -3*n - 117. Let h = n - 5. Is h a multiple of 28?
True
Suppose -2*x - 15 = 3*x. Let f be x/(-2)*60/18. Let k(m) = -m**3 + 4*m**2 + 7*m - 6. Is k(f) even?
True
Suppose -g + 6 - 5 = 0, -y = 4*g - 348. Does 69 divide y?
False
Let w(j) = -j**3 + 4*j**2 - 3*j + 3. Let y be w(4). Let m = y + 5. Let l = 7 - m. Is l a multiple of 11?
True
Let f be -16 + 3 + (0 - 1). Let v be (8/f)/((-9)/63). Let o(x) = x**2 + x + 1. Is o(v) a multiple of 7?
True
Let m(t) = -t**2 - 17*t - 3. Let u = 21 + -26. Is 19 a factor of m(u)?
True
Let p(h) = h**3 - 18*h**2 + 2*h - 20. Let j be p(18). Suppose j*x = 7*x + 243. Is 9 a factor of x?
True
Suppose 4*b = 13*b - 36. Suppose -b = -l + 3*l, -3*t - 3*l = -282. Does 16 divide t?
True
Suppose -25*i + 28*i - 300 = 0. Suppose 3*x + 2*x + i = -5*q, -5*q = -2*x + 65. Let u = q + 28. Does 13 divide u?
True
Suppose -3*i - 4 = -7*i. Let x be (i*18)/(-3 + 4). Suppose -3*l = -2*y + 4, -4*y + x = 2*l - 6. Is l a multiple of 2?
True
Suppose 0 = -4*m - 20, 4*m + m - 23 = -f. Is 6 a factor of (18/(-24))/((-2)/f)?
True
Suppose -3*s - s = -4. Let y = -140 - -140. Is 27 a factor of s/(y + 1) + 26?
True
Let i = 136 + -133. Is 10 a factor of 1 + 0 - -138 - i?
False
Suppose -y - 3*y = 592. Let d = -45 - y. Is d a multiple of 13?
False
Suppose -3*t + 9 = 4*o - 3, 4*o - 20 = -t. Is (56/12 + -4)*o even?
True
Is (-12 + 30)*(-5)/15 + 630 a multiple of 3?
True
Let t(l) = 280*l**2 + 55*l - 107. Is 61 a factor of t(2)?
False
Suppose 0 = o - 3*v + 2*v + 2, 3*v - 6 = 5*o. Suppose -5*x + 57 + 38 = o. Is x a multiple of 4?
False
Let t be 70/5*(-37)/(-2). Suppose h - 4*z - 140 = 0, -z = -2*h + 14 + t. Does 17 divide h?
True
Suppose -w + 10 = w. Suppose 0 = w*a - 5*b - 59 + 4, -5*b = -a - 9. Is a a multiple of 8?
True
Let q be 0*((-20)/(-8) + -2). Suppose -2*a + 0*a - 2 = q. Does 13 divide 1 - a - (-8 - 68)?
True
Let l be -36 - ((-21)/(-6) + (-6)/4). Let y = 129 + l. Is 12 a factor of y?
False
Let q = 48 + -15. Let p = q - 53. Let v = 59 + p. Is v a multiple of 13?
True
Let x(k) = -2*k + 4. Let p be x(-4). Suppose -445 - 815 = -p*z. Is 15 a factor of z?
True
Let k = 86 + -80. Suppose k = 3*g - g, 2*g = p - 161. Does 12 divide p?
False
Let d = -8 + 14. Suppose 205 + 197 = d*v. Does 18 divide v?
False
Suppose -148807 = -67*p - 23249. Does 13 divide p?
False
Suppose 20*x - 280 = 16*x. Is 13 a factor of x?
False
Let c = 644 - 362. Is 16 a factor of c?
False
Let b = -417 - -1455. Is b a multiple of 10?
False
Let l(h) = 3*h**2 - 7*h - 6. Suppose 3*s = -4*d + 38, -4*d - 8 = -5*s + 2. Is l(s) a multiple of 6?
True
Suppose -60*d + 15 = -55*d. Suppose -4*k + 165 = k + 4*p, -d*k = p - 99. Is k a multiple of 3?
True
Suppose -4*z + 3*p = -3, 0 = -3*z - 3*p + 10 + 8. Does 15 divide ((-60)/(-7))/(z/21)?
True
Let l(a) = a**2 - 20*a - 19. Let o be l(21). Suppose 7*u = o*u + 120. Does 5 divide u?
False
Suppose 4*l + 1160 = -5*v + 3003, -465 = -l + 3*v. Does 7 divide l?
True
Let o = -37 + 23. Let k = o - -17. Suppose 71 + 145 = k*m. Does 18 divide m?
True
Does 17 divide (-13120)/60*(-18)/12?
False
Suppose 852*p = 857*p - 1675. Is p a multiple of 46?
False
Suppose -5*g - f + 13 = 0, -f + 7 = 3*g - 2. Does 24 divide ((-18)/(-24))/(g/152)?
False
Suppose -n - 2 = 5*v, 0 = -5*n + 2*v - 4*v + 13. Suppose -n*k = 3*m + 33, 2*m + 2*k = 7*k - 43. Does 31 divide (288/28)/((-2)/m)?
False
Let d be 1*(-12)/((-3)/1). Suppose 16 = 4*c - d. Suppose 2*g + 5*s = -g - 6, -30 = -5*g + c*s. Does 3 divide g?
True
Let g = -311 - -844. Does 151 divide g?
False
Is (70/30)/(1/129) a multiple of 74?
False
Suppose -11*u = 3*y - 8*u - 780, y = -4*u + 245. Is 53 a factor of y?
True
Let i(a) = -10*a**3 - 8*a**3 + 2*a - a**2 - a**2 + 3. Let t be i(-2). Suppose t = -2*v + 5*v. Does 33 divide v?
False
Suppose 5*o - 15 = 0, 0 + 5 = -2*r + 5*o. Suppose -9*n + 10*n + r = 0. Let d = n - -36. Does 11 divide d?
False
Let k = 1003 + -532. Let r = k + -332. Is 13 a factor of r?
False
Let k(p) = -p**2 - 10*p + 27. Let h be k(-14). Let a = 55 + h. Is a a multiple of 13?
True
Let b = -252 + 466. Let d = b + -118. Does 27 divide d?
False
Let m(s) be the first derivative of 5*s**3/3 + s**2 + 2*s - 1. Let t = -366 - -364. Does 6 divide m(t)?
True
Let x(q) = q**3 + 3*q**2 + 2*q - 7. Let h = 54 + -51. Does 5 divide x(h)?
False
Is 23 a factor of (-33)/88 - (-6742)/16?
False
Let m(j) = -3*j**2 - 48*j - 23. Is 11 a factor of m(-11)?
False
Is 13 - 5 - (-2538)/27 even?
True
Let m = 0 - -2. Suppose -5*x + 839 = 5*j + 139, 0 = m*j - x - 277. Suppose 0*z = l - z - 53, z = -3*l + j. Is 16 a factor of l?
True
Let p(d) = -20*d - 2. Let l be p(9). Let v = -99 - l. Let r = v - 42. Is 16 a factor of r?
False
Let k(a) = -5*a**3 - 12*a**2 - 7*a + 7. Let n(f) = f**3 + f**2 + f - 1. Let l(x) = k(x) + 4*n(x). Let m(z) = z - 2. Let w be m(-6). Does 9 divide l(w)?
True
Let d be 0 + 2/6*(30 - 3). Suppose -j + 340 = d*j. Is j a multiple of 11?
False
Suppose -17*o - 20301 = -73851. Is o a multiple of 45?
True
Let y(u) = -u**2 - 8*u. Let c be y(-6). Let t = -9 + c. Suppose 5*q = -4*s + 91, t*q - 4*q + 2*s + 21 = 0. Is q a multiple of 9?
False
Is 2395 + 141 - (-6)/1 a multiple of 12?
False
Let a(d) = 2*d - 10. Let p be a(0). Let u be (112/p)/(9/135). Let t = 258 + u. Does 13 divide t?
False
Suppose 5*q - n - 15013 = 0, 4*q - 74*n - 12023 = -69*n. Is q a multiple of 19?
True
Suppose 531 = 3*t + 3*p, t + 0*p = p + 183. Is t a multiple of 46?
False
Let l(p) be the first derivative of 1/4*p**4 - 7/2*p**2 + 0*p - 8/3*p**3 - 7. Is l(9) a multiple of 7?
False
Let u(r) = -44*r + 6. Is u(-1) a multiple of 5?
True
Let i(f) = -46*f**3 + 3*f**2 + 10*f + 7. Does 41 divide i(-1)?
False
Let w be (-60)/(-27) - (-1 - (-44)/36). Suppose 0 = -3*