+ (-98)/(-21)*30/20?
False
Suppose 6*s - 2*s - 6624 = 0. Is 4 a factor of s?
True
Let w(l) = -145*l**3 + 24*l**2 + 110*l - 4. Does 38 divide w(-5)?
False
Let q = 15309 - 12033. Is q a multiple of 36?
True
Suppose m + 7*m - 9738 = -m. Is m a multiple of 34?
False
Suppose 0 = 4*w + m - 2514, 27*m - 24*m - 1872 = -3*w. Is 30 a factor of w?
True
Suppose 68 - 388 = 5*b. Let p = 188 + b. Is p a multiple of 31?
True
Let q(m) = -m**3 - 15*m**2 - 38*m + 17. Let h = 21 - 18. Suppose 54 - 17 = -4*b - h*o, 0 = -5*b + 4*o - 85. Does 32 divide q(b)?
False
Let r be 2/(-3) + -4*(-5)/30. Let b be (-2 + 1)*(-3 + (r - -3)). Suppose -4*g - p + 312 = b, -2*g - 2*p + 312 = 2*g. Is 26 a factor of g?
True
Suppose 6*i + 7*i = 0. Does 5 divide i - 2*(-9)/6*26?
False
Let p = -16 - 12. Let b = p - -119. Is 12 a factor of b + 2/(-6 - -3 - -5)?
False
Let c be (-1400)/180 - (-4)/(-18). Let u(y) = 16*y + 1. Let d be u(-1). Let t = c - d. Does 3 divide t?
False
Let n = -198 + 390. Let m(w) = -2*w**2 + 11*w - 5. Let g be m(5). Suppose q = -g*q + n. Does 24 divide q?
True
Suppose 0 = -63*j + 76*j - 52. Suppose -2*t + j*t + 27 = v, 0 = -2*t - 2. Is v a multiple of 6?
False
Let o = 30 + -98. Let j be 7/((-14)/o) + -1 + 3. Suppose q + 4*y - 33 = 0, -y + 4*y - j = -q. Is q a multiple of 15?
True
Let t(m) = 2*m**3 - m**2 - 8*m - 5. Let j(d) = -2*d**3 + 7*d + 6. Let v(u) = 4*j(u) + 3*t(u). Is v(-3) a multiple of 8?
True
Suppose -24*o = -12*o - 4392. Let u = -213 + o. Is u a multiple of 27?
False
Let f = 9193 - 8457. Is 57 a factor of f?
False
Let t(r) = 21*r**2 + 57*r + 54. Let v(n) = 10*n**2 + 29*n + 26. Let o(m) = -3*t(m) + 7*v(m). Does 13 divide o(-8)?
False
Suppose -6*o + 65 - 17 = 0. Suppose -5*v + o*f = 13*f - 1800, -5*v = -4*f - 1764. Is 14 a factor of v?
False
Let i(w) = 49*w**2 + 891*w - 18. Is i(-20) a multiple of 3?
False
Is 75 a factor of (-4 - -10266) + 198/(-33)?
False
Suppose 0 = -h + 4, 47*h = -4*n + 52*h + 20812. Is n a multiple of 142?
False
Let r(f) = 70*f - 25. Let c be r(-2). Let p = 48 - c. Does 19 divide p?
False
Let w = -1977 - -3064. Is 34 a factor of w?
False
Suppose 3*i + z - 9 = 0, 4*i + z = -i + 13. Let t = 1383 - 1381. Suppose -t*d + n = -262, i*n = 5*d - 3*d - 266. Is d a multiple of 8?
False
Suppose -20*h + 2*h = -198. Suppose 0 = h*t + 291 + 6650. Let p = -432 - t. Is p a multiple of 17?
False
Is (13104/196)/(3/70) a multiple of 20?
True
Let k(c) = c**2 - 2*c - 10. Suppose 9*p = 7*p + 12. Suppose 27 = 10*h - p*h - d, 4*h = -d + 21. Is k(h) a multiple of 7?
True
Is 26 a factor of 19757 - (-21 - (-221)/13)?
False
Suppose 3*q + 6*u = 11*u - 3730, -4*q + 5*u = 4975. Is q/(-27) - (-6)/(-54) a multiple of 46?
True
Does 6 divide 23/46 + ((-5781)/2)/(-3)?
False
Suppose 354935 = 39*y + 91451. Does 174 divide y?
False
Let m be (50/8)/((-2)/(-8)). Let f = 29 - m. Suppose -1 - f = -g, 110 = 3*l - 2*g. Is l a multiple of 6?
False
Let a = 723 + -725. Does 28 divide (a + -1)/(-3) + (1612 - -11)?
True
Let p be (-1)/(-6 - -3 - -4)*139. Let y = p - -148. Is y a multiple of 9?
True
Suppose -i - 203 = -626. Let k be (i/15)/(5/25). Let w = k + -63. Is w a multiple of 13?
True
Let h = -37756 + 67644. Is h a multiple of 16?
True
Suppose 3*c - 69 = -3*g, 6*c + 22 = 2*g + 2*c. Suppose g*j = 515 + 74. Does 2 divide j?
False
Suppose 0 = 16*g - 8*g - 280. Suppose 0 = -32*b + 33*b - g. Is b even?
False
Suppose 78 = -q - 4*q + 4*x, -5*q - x = 68. Let h(i) = -24*i + 21. Is h(q) a multiple of 51?
True
Let u = -3735 - -20025. Is 42 a factor of u?
False
Let o(s) = 3*s**3 + 69*s**2 - 79*s + 18. Let p be 242/(-10) + 8/40. Is 6 a factor of o(p)?
True
Suppose -11*s + 336 = -8*s. Is ((-150)/(-7))/(3 - 328/s) a multiple of 10?
True
Suppose h - 4*n - 12275 = 2687, 5*h = -5*n + 74735. Is h a multiple of 39?
False
Suppose 6*l - 9 = 9. Let h(v) = 7*v - 3*v + 16 - l*v - 1. Is h(3) a multiple of 4?
False
Suppose -5*i + u + 22824 = -u, 13695 = 3*i - u. Let h be i/24 + -7 - (-3)/4. Suppose -3*c - c = -h. Is c a multiple of 11?
False
Let y be ((-32)/(-12) - 3)/((-2)/468). Is (-18 - 5/(-5))/((-6)/y) a multiple of 10?
False
Does 19 divide 28264/10 + (-42)/(-70)?
False
Does 37 divide 4*((-323532)/(-24))/33?
False
Let k = 12219 - 5462. Is 23 a factor of k?
False
Let d be (5412/(-15))/((-20)/50). Let o = d + -613. Is 17 a factor of o?
True
Let v = 1470 - -5142. Is v a multiple of 114?
True
Suppose -35*b = 21*b + 65*b - 1279333. Is b a multiple of 109?
True
Let w(b) be the second derivative of -7*b**3/6 - 10*b**2 + 17*b. Let u = -88 - -82. Is w(u) a multiple of 9?
False
Let w = -97 + 163. Suppose -w*o - 10 = -68*o. Suppose o*k = 4*k + 22. Is k a multiple of 8?
False
Suppose 4*o - 55*f = -58*f + 124290, -18 = -3*f. Does 18 divide o?
True
Let j = 4620 - 2089. Does 30 divide j?
False
Suppose 10*p + 55 + 125 = 0. Is (p/(-6) + (-20)/8)*162 a multiple of 27?
True
Suppose 5 = 6*o - 5*o, -188 = -3*i - 4*o. Is -14*(4 - 304/i) a multiple of 7?
False
Suppose 27*k - 884286 = -36*k - 54*k. Does 3 divide k?
False
Suppose 2*x + 3*k - 7*k = 7860, -5*x + 19689 = 3*k. Does 18 divide x?
False
Suppose -19*s - 3111 = -o - 20*s, -5*s - 3141 = -o. Does 76 divide o?
True
Let c(p) = 1605*p + 649. Does 271 divide c(18)?
True
Let a(s) be the first derivative of s**4/4 + 10*s**3/3 - 15*s**2/2 - 15*s + 23. Let v(o) = 4*o - 31. Let b be v(5). Is 5 a factor of a(b)?
False
Suppose -24*b - 2*a + 85 = -25*b, 5*b + 495 = -4*a. Suppose -81 = -3*q + 2*o, 0*o + 3*o - 116 = -5*q. Let y = q - b. Does 24 divide y?
True
Suppose -5*t = 2*w + 2*w - 386, 98 = w + 2*t. Let o(h) = h**2 + 22*h + 26. Let c be o(-4). Let l = c + w. Does 6 divide l?
True
Let t(z) = z**3 - 35*z**2 + 31*z - 102. Let a be t(35). Suppose 18*n = 19*n - a. Is n a multiple of 70?
False
Let v(l) = -l**3 + 23*l**2 - 24*l + 42. Let p be 2/((-4)/(-6)*(-3)/(-22)). Let a be v(p). Is 43 a factor of 33*(-325)/(-45) + a/(-3)?
False
Does 53 divide (142 - 8/4)*1404/30?
False
Suppose -902880 = -131*v - 13*v. Does 5 divide v?
True
Let b = -11216 - -11210. Let d(l) = 9*l**3 + 20*l**2 + 64*l + 14. Let h(p) = 4*p**3 + 10*p**2 + 32*p + 7. Let o(q) = 3*d(q) - 7*h(q). Does 35 divide o(b)?
False
Let q = -15367 + 19088. Is 2 a factor of q?
False
Suppose -14651*n - 119136 = -14657*n. Does 12 divide n?
False
Let g be ((-4)/6)/((-7)/(630/4)). Is 18 a factor of 18/g*35/28*24?
True
Suppose 12*t + 3*l + 131429 = 17*t, 4*t - 4*l = 105148. Is t a multiple of 16?
False
Let i(d) = -11*d + 6. Let k(n) = 12*n - 7. Let r(s) = -2*i(s) - 3*k(s). Let v be r(-6). Suppose -v*p + 89*p = -240. Is 4 a factor of p?
True
Suppose 5*h - x - 4445 - 271 = 0, 0 = -5*x - 5. Does 8 divide h?
False
Let b = 2821 - -310. Is b a multiple of 26?
False
Let d be (-10)/5 + (0 - -7). Suppose 2*y = -j + 6*y + 453, 3*j = -d*y + 1291. Is j a multiple of 16?
False
Suppose 54*u - 50*u + 836 = 2*d, -5*d = 5*u - 2030. Let r(q) = 12*q - 1. Let x be r(1). Suppose -x*v + d = -v. Is v a multiple of 10?
False
Let q = 27 + -33. Let o(z) = -9*z**3 + 9*z**2 - 9*z - 17. Let t(x) = -5*x**3 + 4*x**2 - 5*x - 8. Let p(n) = q*o(n) + 11*t(n). Is p(-10) a multiple of 12?
True
Let h be ((-42)/(-28))/((-1)/(-4)*-1). Does 26 divide 20/(-60) - 4286/h?
False
Let y(u) = u**2 - 5*u - 4. Let z = 35 - 29. Let d be y(z). Suppose d*n - 178 = 2*w - 7*w, -2*n + 4*w + 160 = 0. Is 21 a factor of n?
True
Let h(q) = 162*q + 3. Let j(n) = n**2 - 8. Let u be j(4). Let g = 9 - u. Does 55 divide h(g)?
True
Suppose 98338 = 23*z + 1186. Is z a multiple of 44?
True
Let k(y) = -2*y**2 + 16*y + 16. Let f be k(-7). Let u = -2 + f. Is u/(-6) - ((-20)/3)/5 a multiple of 8?
False
Let q(o) = -96*o**3 + o**2 - 7*o - 2. Let z(g) = 191*g**3 - 2*g**2 + 13*g + 4. Let u(n) = 11*q(n) + 6*z(n). Does 30 divide u(2)?
True
Suppose -4*o - 5*n + 297 = 0, 4*n = -4*o - 0*n + 296. Suppose -82*x = -o*x - 3240. Is 24 a factor of x?
True
Suppose 9*i + 5 = 14. Suppose 4*u - 635 = -3*x - i, 4*x + 8 = 0. Does 16 divide u?
True
Let b be (-448)/(-48)*(-9)/(-6). Suppose b*o - 3021 = -389. Is 12 a factor of o?
False
Let y = 175 + -171. Let c(r) = 8*r**3 - 6*r**2 + r + 9. Does 12 divide c(y)?
False
Let h = -92 - -63. Let r = h + 33. Suppose -5*b = -r*b - 128. Is 16 a factor of b?
True
Suppose 2*i - 1330 = -2*y, 4*i = 2*i + 3*y + 1305. Suppose q + i = 12*q. Does 60 divide q?
True
Does 21 divide (3456/168)/(9/4116