vide x?
True
Let k(u) = 6 + 36*u + 0 + 12. Does 9 divide k(10)?
True
Is 1019*5*9842/3515 a multiple of 105?
False
Let c(p) = p**3 + 6*p**2 - 15*p + 10. Let d be c(-8). Suppose 5*j + 0*j + 4*b = -174, -d*b = j + 36. Is 7 a factor of 1/(-2)*-6 + -4 - j?
False
Suppose -47*y + 234181 = -54399. Is 52 a factor of y?
False
Let k(w) = -7*w**2 + 2*w - 2. Let z be k(-3). Let b = -67 - z. Suppose -h - b*h = -800. Is 16 a factor of h?
True
Let p(r) = -r**3 - 5*r**2 + 2*r + 12. Let q be p(-5). Suppose 0 = 5*l - 3*v + q*v - 18, 4*l = -5*v - 3. Suppose -l*h = 6*h - 684. Is 13 a factor of h?
False
Is (-20)/90*10131*-6 a multiple of 15?
False
Let p(n) be the third derivative of -n**6/120 + n**5/12 + n**4/8 + 4*n**3/3 + 9*n**2. Let s be p(6). Let c = 24 + s. Is c a multiple of 11?
False
Let c = -77 - -79. Suppose -l + 4 = -c*l - 4*q, -2*q = l + 2. Is -23*(-12 + 4) + l a multiple of 23?
True
Suppose 65*x - 2750 = 55*x. Suppose y - 6*r = -3*r + x, 3*r + 1339 = 5*y. Is 38 a factor of y?
True
Suppose -3*s = -12, 119*r = 114*r + 4*s + 86294. Is r a multiple of 21?
True
Suppose 2*q = -6*f + 3*f + 7717, -2574 = -f - q. Let k = -4421 + f. Does 29 divide k/(-16) - 1/(-4)?
True
Suppose -11*h - 48 = -13*h. Suppose 6 = 10*w - h. Does 6 divide 23/((-1 - -2)/w)?
False
Let x(t) = 5*t**2 + 21*t + 4. Let r be x(12). Suppose 0 = -3*q - 2*o + r, 6*o = 3*q + o - 962. Does 18 divide q?
True
Let c = -282 - -411. Let m = c - -15. Is m a multiple of 16?
True
Let w = 56 - 54. Suppose f - 5*q = -w - 1, -f - 3 = -q. Is 7/f + 2 + 1024/12 a multiple of 17?
True
Suppose 2*z + 5*l - 650 = 0, 0 = -5*z - 5*l + 1623 + 2. Is 5 a factor of z?
True
Is 9 a factor of 1170643/377 - 8/52?
True
Let x(r) = r**3 - 3*r**2 - 15*r - 16. Let d be x(6). Suppose -d*v = 5*w - 295, 5*w = -3*v + 8*w + 390. Is v a multiple of 8?
False
Let h = -3018 + 3118. Is 4 a factor of h?
True
Let u = -12 + 12. Is u + (48/8 - 0) a multiple of 2?
True
Let r be -6 + (-31003)/(-70) + 2/20. Let i = r - 322. Is i a multiple of 7?
False
Let c(l) = l**2 + 15*l + 15. Let u be c(-1). Let x be 37*-3*(6 - 5). Is 23 a factor of (-2)/u*-2 - x?
True
Let m = -1917 - -1924. Is m a multiple of 7?
True
Let j(v) = -v**3 - 66*v**2 + 18*v - 333. Is j(-68) even?
False
Suppose 701184 + 51360 = 120*a - 107*a. Does 48 divide a?
True
Suppose 2*m - 3*u - 1725 = 0, -41*m + 4*u - 1746 = -43*m. Is m a multiple of 9?
False
Suppose -4398 = -d + 10*d - 28608. Does 10 divide d?
True
Let s(t) = -15*t + 39. Let y be s(4). Let g(n) = n**3 + 22*n**2 + 2*n - 20. Is 13 a factor of g(y)?
False
Suppose 9*u + 2*m = 13*u - 16, -u - 1 = 2*m. Suppose -30*l = -35*l + 5*q + 860, u*l + q = 528. Does 5 divide l?
True
Let x = 730 - 703. Does 18 divide (-6)/x - (-14610)/135?
True
Suppose -587 = 5*b - k, 15*k + 227 = -2*b + 18*k. Let p = 439 + b. Is 7 a factor of p?
False
Let l be (-6 - 26/(-3))/((-4)/894). Let a = l - -793. Is 53 a factor of a?
False
Let y(b) = -b**3 - 6*b**2 - 10*b - 2. Let x be ((-48)/(-40))/(-2 - 34/(-20)). Let o be y(x). Suppose k = o + 30. Is k a multiple of 6?
True
Let j(q) = 2*q**2 + 5*q + 3. Suppose 0 = -2*d - 2 - 4. Let l be j(d). Suppose z + 48 = l*z + 3*k, -4*z - 5*k = -28. Does 6 divide z?
True
Suppose -3486 = 11*p - 14*p. Suppose -2*w - p = -3*h, 5*h = 4*w - 7*w + 1924. Suppose u = 4*d - h, 2*d - 2*u = u + 198. Does 24 divide d?
True
Let i = -240 + 62. Let w = i - -488. Is 31 a factor of w?
True
Let p be (3/(-3))/((-51)/54 - -1). Is 24 a factor of ((-350)/21)/(2 - (-37)/p)?
False
Let u(v) = 2*v**3 + 7*v**2 + 4*v - 11. Let n be -3*(4 + 1 - (-20)/(-3)). Is u(n) a multiple of 25?
False
Suppose -23*n + 1003530 - 177942 = 48*n. Is 68 a factor of n?
True
Does 18 divide 1686/5*(1575/(-140))/((-9)/24)?
True
Suppose -18 = 4*x + 5*l - 5, 4*x + 2*l = 2. Suppose 0 = 3*s + 3*d - 39, -4*s - x*d - 8 = -56. Suppose -8*m + s*m = 105. Is m a multiple of 28?
False
Suppose 771*p = 828*p - 22572. Does 3 divide p?
True
Suppose -5*v + 57*d + 60965 = 62*d, 36578 = 3*v + 4*d. Is v a multiple of 156?
False
Suppose 10477*c - 79344 = 10459*c. Is c a multiple of 12?
False
Suppose -98*l - 116196 = -862956. Is 6 a factor of l?
True
Suppose 0 = 2*b + 3*c - 4961, 5*b - 7146 = -c + 5224. Does 15 divide b?
False
Let v = -205 + 281. Suppose -73*u - 810 = -v*u. Is 10 a factor of u?
True
Let t(w) = w**2 + 85*w - 1144. Is t(58) a multiple of 55?
True
Suppose 0*j + 15 = -5*j, 0 = -5*f + 5*j - 1745. Let t = f - -522. Is t a multiple of 8?
False
Let g = 27374 - 11009. Is g a multiple of 15?
True
Let d(m) = -2*m**3 + 0*m**3 + m**3 - 9 - 14*m**2 - m. Let i be d(-14). Let w(x) = -x**3 + 6*x**2 + 2*x - 10. Is w(i) even?
False
Let w(o) = 3*o**2 - 45*o + 180. Does 18 divide w(-33)?
True
Let m(f) = f**3 - 15*f**2 + 9*f - 62. Let x be m(15). Let p = 433 - x. Is 8 a factor of p?
True
Suppose 2*i = 6*i - 5*s - 522, 0 = 5*i - s - 621. Is i a multiple of 61?
False
Suppose -3*l + 4*m = 448, 4*m + 8 = 6*m. Is 16 a factor of (18/(-27))/(1/l*2)?
True
Let c(o) = -o**2 + 23*o + 43. Let v be 22/6*(6 + (6 - 6)). Is c(v) a multiple of 5?
True
Let n(k) = k**2 + 12*k + 166. Is 12 a factor of n(73)?
False
Let a(y) = 2*y + 30. Let v be a(-14). Let u(z) = -17*z - 38 - z**v + 72 - 38. Is 17 a factor of u(-8)?
True
Let f = -75 + 67. Let p be (0 + (-6)/(-9))/(f/360). Does 34 divide ((-10)/p - 1022/6)/(-1)?
True
Let w = -5548 + 6762. Is 15 a factor of w?
False
Suppose 172*t + 62063 = 189*t - 64400. Is t a multiple of 173?
True
Is (82 - 9)/(7/49) a multiple of 4?
False
Let a = -8266 - -9731. Does 5 divide a?
True
Suppose -3*i - 16 = 5*z - 55, 2*z = -3*i + 21. Suppose -113 + 875 = z*b. Does 7 divide b?
False
Suppose 7*n = 13*n - 192. Suppose -5*s + n = -68. Let z = 37 - s. Does 2 divide z?
False
Let k be ((-14)/8 - -2) + 293090/56. Let l be 30*((-68)/(-20) - 3). Suppose 0 = l*n - k + 866. Is 26 a factor of n?
True
Let x be (-33)/(-9) + (2 - 35/21). Let l(g) = 2*g**2 - 7*g - 7. Let n be l(-5). Suppose -n = -x*a + 2. Does 4 divide a?
True
Let y = 3559 + -3542. Let t(x) = 2*x**2 - 22 - 27*x + 4 - 5. Is 12 a factor of t(y)?
True
Suppose -4*s - u = -76, 2*s - 15 - 33 = -3*u. Let c be ((-25)/3)/(3/(-27)). Suppose 0 = -n + s + c. Does 17 divide n?
False
Suppose -y - 356 = -3*q, -223 - 93 = y + 5*q. Let n = 376 + y. Is n a multiple of 5?
True
Let k = 16489 - 10145. Suppose -18*v + 20492 - k = 0. Is 22 a factor of v?
False
Let s(j) = 1827*j**2 - 59*j + 15. Does 132 divide s(-3)?
False
Is 17 a factor of (8/12)/((-20)/(-55590))?
True
Let m(c) = 11*c**3 + 2*c - 9. Let u(f) = -6*f**3 - f + 5. Let w(a) = 3*m(a) + 5*u(a). Let i be w(1). Suppose -i*l = -l - 46. Is l a multiple of 18?
False
Suppose 9 = -4*u + u, -4*s - u - 123 = 0. Let v = s - -405. Is 25 a factor of v?
True
Let f(b) = 86*b**2 + b - 2. Suppose -3*q - 3*l - 81 = -6*q, -5*q + 3*l = -133. Suppose 3 = q*z - 23*z. Is f(z) a multiple of 16?
False
Let v = 1373 - 2011. Let z = v + 1170. Does 7 divide z?
True
Let d = -177 + 183. Is 11 a factor of 36/d - (-1 + -91)?
False
Let t(o) = 18*o**3 + 2*o**2 + 19*o - 26. Is 23 a factor of t(5)?
True
Suppose 5*h = -8 + 38. Let u = h + 14. Suppose 4*t = u - 8. Is t even?
False
Suppose 4*n + 5*k = 4, 4*k + 40 = n + 3*n. Let p(s) = -s**3 + 6*s**2 + 2*s - 10. Let z be p(n). Suppose z*v = 56 + 22. Is 26 a factor of v?
False
Suppose 18800 = 13*s - 3*s. Suppose -s = -33*c + 13168. Does 24 divide c?
True
Let m be (36/24)/((-3)/(-46)). Suppose 0*c = -m*c + 5336. Is c a multiple of 45?
False
Suppose 60 = -5*w - 0*w. Let x be 0 - (-9 - w)*1/3. Is 10 a factor of 72 - -4*x/2?
True
Suppose -1233*b = -1206*b - 190728. Does 37 divide b?
False
Let g = 42285 + 6387. Is g a multiple of 18?
True
Suppose -49*y + 38802 = -42097. Is y a multiple of 79?
False
Suppose -z - 5*i + 1312 = -9*i, 0 = 4*z + 3*i - 5286. Does 8 divide z?
True
Does 319 divide (-75)/(-8 + 33) + (1 - -10846)*3?
True
Let g(x) = 5*x**2 - 24*x - 151. Does 11 divide g(14)?
False
Let j(c) = 4*c**2 - 183*c + 321. Is 28 a factor of j(-22)?
False
Suppose -49*f + 5*m + 5063 = -48*f, -4*f + 20362 = 2*m. Suppose 2*k - 2*s - 2032 = 0, -9*k + 14*k = 3*s + f. Does 30 divide k?
True
Let u be -35*(470/75 + (-4)/6). Let p = u - -247. Is 11 a factor of p?
False
Let s be -1 - (5 + -7 + -1494). Suppose 12*o - 2993 - s = 0. Is 22 a factor of o?
True
Let j = 29 + 2. Suppose j = z + 5*t, z - 2 = -2*t + 17. Let