ltiple of 8?
True
Does 15 divide 337/(-2359) + -25*(-3698)/7?
False
Suppose -2*m + 3*m = 4*v + 313, v + 4*m = -91. Let j = -35 - v. Let t = j - 11. Does 27 divide t?
False
Let d = 4 + -7. Let a be ((-112)/(-3))/(-4)*d. Suppose -a = 4*k - 440. Is 33 a factor of k?
False
Suppose -81*u - 16775 = -142*u. Is u a multiple of 55?
True
Let v(i) = i**3 + 5*i**2 - 7*i - 26. Suppose 7 = l - 5*f + 35, 37 = -4*l + 5*f. Does 8 divide v(l)?
False
Is 4 a factor of (60/9 - 6)*-9 - -6722 - -3?
False
Let v = -38 + 38. Is (-1 - v) + (-1 - -23) a multiple of 21?
True
Let n = -4121 + 6354. Is n a multiple of 6?
False
Let i(m) = m**3 - 18*m**2 + 3*m - 58. Let y be i(18). Is (-6)/(96/(-2572)) - (-3)/y a multiple of 9?
False
Let n(w) = -7*w**2 - w - 99. Let r = 58 + -65. Let p(l) = 8*l**2 + l + 99. Let h(f) = r*n(f) - 6*p(f). Is 6 a factor of h(0)?
False
Let t(z) = 26*z + 859. Is t(-32) a multiple of 9?
True
Does 68 divide (-105 + 3)/(407/2110 - 3/15)?
True
Suppose 6*a = 15*a. Suppose 5*f - 3*b - 473 = a, -56*b = -2*f - 52*b + 192. Is f a multiple of 22?
False
Let m = 3 + 1. Let f = 3251 + -3248. Suppose -f*h = -12, -l = m*l - h - 356. Is l a multiple of 36?
True
Let q(m) = -210*m + 6. Suppose 5*g + 5*y - 610 = 0, y - 3*y = g - 125. Let l = -120 + g. Is q(l) a multiple of 27?
True
Let y = 443 - -286. Does 24 divide y?
False
Let g(t) = 3*t**2 + 18*t + 32. Let i(p) = 2*p**2 - 8*p - 15. Let x be i(6). Is g(x) a multiple of 19?
True
Let m(y) be the first derivative of 32 + 47/2*y**2 - 27*y. Is 26 a factor of m(5)?
True
Let p = -1654 + 2498. Suppose 252 = 8*y + p. Let h = -53 - y. Does 9 divide h?
False
Let g = -27 - -32. Suppose -g*q - 672 = -8*q. Let z = q - 94. Is 26 a factor of z?
True
Is (-100912)/(-340)*105/6 a multiple of 13?
False
Let i = 4256 - 1241. Suppose -6*r + r = -i. Does 40 divide r?
False
Let k = -325 + 1436. Let i = k + -712. Is i a multiple of 57?
True
Let s = 47036 - 31406. Is s a multiple of 88?
False
Does 11 divide (-9 - 61512/32)*(5 - -1 - 10)?
False
Let y = 449 + -836. Let b = -362 - y. Is b a multiple of 2?
False
Let s(m) = -5*m**2 - 20*m - 64. Let r be s(-11). Is (60/8)/(r/(-112) - 4) a multiple of 28?
True
Let p(n) = -42*n + 112 - n**3 - 39*n + 149*n + 2*n**2 - 34*n - 35*n. Suppose -3*z - 4 = -2*t, 2*t = -2*z + t + 2. Is 20 a factor of p(z)?
False
Let y(m) = 55*m - 82. Let h be y(2). Suppose 11*l - 7*l = h. Is 3 a factor of l?
False
Suppose 21*n + 25694 - 88148 = 0. Is 18 a factor of n?
False
Let q(o) = 6*o - 4. Let u be q(11). Suppose r - 229 = 5*p, -65*r + 731 = -u*r - 4*p. Is 18 a factor of r?
False
Let q = 60756 - 1263. Is 339 a factor of q?
False
Suppose 11 = -2*u - 5. Let y = u + 6. Is (3*y/3)/(1/(-30)) a multiple of 15?
True
Suppose -25*v + 24*v = -17. Let l = 43 - v. Let f = l + 137. Is f a multiple of 24?
False
Let l(j) = -3*j**2 + 74*j - 88. Suppose 2*f - 14 + 6 = 0. Let q(c) = -c**2 + 25*c - 29. Let v(w) = f*l(w) - 11*q(w). Is v(17) a multiple of 14?
False
Let x(y) = -13*y + 96. Let h be x(-14). Let s = h - 192. Is s a multiple of 29?
False
Suppose 2*x + 0*g = 4*g + 12, 18 = x + 4*g. Suppose -x*i = -18 - 12. Suppose -3*u + 5*t = -175, -i*u - u = 5*t - 245. Is u a multiple of 15?
True
Suppose 0 = 2*a + 5*j + 75 + 57, 0 = -5*a - 2*j - 351. Let o = 156 + a. Is 4 a factor of o?
False
Suppose 5*n = -5*u + 3*n - 207, u + 40 = n. Let c = u + 37. Is 7 a factor of (c - -19) + -4 + -4?
True
Let v(i) = -210*i + 252. Is v(-34) a multiple of 77?
True
Suppose u - 3*h + 29 = -u, 0 = 5*u + 4*h + 84. Let a = -26 - u. Does 4 divide ((-1092)/(-10))/3 + 4/a?
True
Let i = 125 + -23. Suppose 0 = r - 5*b + 73, -4*r - 3*b - 213 - i = 0. Is 36 a factor of (-14028)/r - (45/(-39) - -1)?
True
Let g be (10/(-35))/(3/21). Let w be 0 + g + 4 + 33. Does 10 divide w + 4 + 1/1?
True
Let n(i) = -19*i**3 - 3*i**2 - 3*i - 11. Suppose -50*o + 15 = -55*o. Is 24 a factor of n(o)?
False
Let o(t) = t**3 + 5*t**2 - 17*t - 4. Let w be o(-7). Let n = -1 + w. Let i = 32 + n. Is 13 a factor of i?
False
Let h(m) = 8610*m**2 - 8*m - 8. Is h(-1) a multiple of 12?
False
Let f = 50 - 30. Let s = -165 + 235. Let q = f + s. Does 15 divide q?
True
Let y = 557 + 2502. Is 23 a factor of y?
True
Let f be (186/(-9))/(1*(-2)/6). Let z = f - 58. Suppose -2*d + 3*m - 275 = -765, d + z*m = 234. Does 11 divide d?
True
Let n be -1 - 5 - 4*(-11)/2. Let b(v) = 104*v - 152. Is b(n) a multiple of 56?
True
Let u(d) be the first derivative of 1/2*d**2 - 23/4*d**4 + 0*d + 0*d**3 - 2. Is u(-2) a multiple of 26?
True
Suppose -552 = -7*t + 498. Let o = 41 + 44. Let v = t - o. Is v a multiple of 5?
True
Suppose -9 = -3*i, 2*q + 2*i - 5 - 13 = 0. Suppose 9*z = q*z - 3. Is 13 a factor of (-3 + z)*(-585)/52?
False
Let c(p) = -10*p + 42. Suppose 4*g + 4*h + 64 = 0, 4*h - 28 - 4 = 2*g. Is 3 a factor of c(g)?
False
Suppose -43*j = -40*j - 11424. Is 68 a factor of j?
True
Let s = 77 - 80. Let z be s*(-2)/3 + (1 - 15). Let x(u) = 3*u**2 + 24*u - 24. Is x(z) a multiple of 15?
True
Let t(z) = -19*z + 168. Let i(d) = 3*d + 81. Let j be i(-25). Is 4 a factor of t(j)?
False
Suppose 0 = 3*b - 7 - 8. Suppose 4*j + 6*g - 2*g + 28 = 0, 5 = b*j - 5*g. Does 14 divide -4 - (j + -56) - 2?
False
Suppose -287*x + 6142698 + 25506 = 0. Is x a multiple of 39?
False
Let w(s) = 26*s**3 - 6*s**2 - 3. Let g be w(-3). Let x = 1079 + g. Is x a multiple of 64?
True
Suppose -3*g = -3 - 3, -5*t - 179 = -2*g. Let j be t*(-3 - -7)/(-4). Suppose j - 365 = -5*i. Is i a multiple of 14?
False
Let s be 8/5 + 3 - (-6)/15. Suppose -r = s*x - 600, r - 237 = 2*x - 4*x. Does 4 divide x?
False
Let p = -2262 + 7093. Does 16 divide p?
False
Let v(h) = 2*h**3 - 39*h**2 - 16*h - 137. Is 6 a factor of v(29)?
True
Suppose 6 = 4*y + 4*g - 6, 4*g = -2*y + 4. Suppose 2*r + o - 5 = 0, 4*r + 0 = 4*o + y. Suppose 53 = 5*h + a, 2*h + r*a = -4 + 30. Is 5 a factor of h?
True
Is (-16)/4 - (-33132)/2 a multiple of 13?
True
Let w be -2 + 3 - 2 - (-2269 - -1). Suppose -2449 - w = -4*y. Is 72 a factor of y?
False
Is (-3342931)/(-102) - (-15)/(-18) a multiple of 158?
False
Suppose -5*t = -10851 - 4527 + 2343. Does 11 divide t?
True
Let y(c) = 5*c**3 + 7*c**2 + 55*c - 377. Does 70 divide y(10)?
False
Suppose 2*l - 4*p + 3088 = 4*l, -6212 = -4*l + p. Suppose -a + 377 = -15*d + 17*d, -l = -4*a + 3*d. Is 35 a factor of a?
True
Let n = 15172 - 11764. Does 12 divide n?
True
Let c(v) = v + 32. Let g(j) = -2*j - 33. Let k(t) = 3*c(t) + 4*g(t). Is k(-15) a multiple of 13?
True
Let s(a) = -70*a**3 - 12*a**2 - 20*a - 2. Is 10 a factor of s(-8)?
True
Suppose 14*s - 140295 + 33965 = 0. Is s a multiple of 31?
True
Suppose -177794 = -45*a - 15988 + 400199. Is a a multiple of 23?
True
Let c = -47 + 58. Suppose -s = 6 - c. Suppose s*z = 12*z - 126. Is 2 a factor of z?
True
Let j = 14421 - 8933. Does 98 divide j?
True
Suppose -2*a + 79 = -p - 0*p, -4*a = -4*p - 156. Suppose 0 = -2*u + 76 + a. Suppose i - 79 = -u. Is i a multiple of 21?
True
Suppose 28*s - 2760 = 20*s. Suppose 1404 = 3*i - 3*a + s, 5*a = -4*i + 1394. Is i a multiple of 39?
True
Is 17 a factor of 20225 + -2 - (-186)/31?
False
Let v be (-27)/108 + (-21)/(-4). Suppose 0 = h - 0*y - y - 205, 4*h = -2*y + 850. Suppose 2*d + r - 68 = d, v*r = -3*d + h. Is d a multiple of 13?
True
Suppose 11*j + 28 = -27. Let o(y) be the second derivative of -y**5/20 - 5*y**3/6 - 15*y**2/2 - 5*y. Is o(j) a multiple of 27?
True
Let t(n) be the first derivative of -17 + 3*n**3 - 5*n - 1/4*n**4 + 3/2*n**2. Does 16 divide t(8)?
False
Suppose -71*w = -75*w - 33072. Is 35 a factor of w/(-22) - 22/(-121)?
False
Let z be 5 - (-2 + 4/(-8)*2). Let r(b) = 9*b**2 - 9*b + 11. Let n(i) = -14*i**2 + 14*i - 16. Let p(h) = z*r(h) + 5*n(h). Is p(-7) a multiple of 40?
True
Let s = 9360 + -3960. Is 9 a factor of s?
True
Suppose 3*t = 5*p - 14968, -t = -5*p + 18663 - 3707. Is p a multiple of 14?
False
Let k(l) = 38*l**2 + 274*l - 34. Does 3 divide k(5)?
True
Let r(x) = -x**3 + 17*x**2 + 19*x + 14. Let h be 8/(-16) - (-74)/4. Let q be r(h). Let u = 71 - q. Is u a multiple of 14?
False
Suppose 11*d - 20*d = 27. Let v be 3 - (-194)/6*d. Let c = -41 - v. Does 12 divide c?
False
Let q(o) = -o - 87. Let c(d) = -6*d - 435. Let n(v) = 2*c(v) - 11*q(v). Does 12 divide n(-12)?
False
Let i(m) = m. Let y be i(3). Let f(g) = 31*g - 4. Does 10 divide f(y)?
False
Does 61 divide ((-46