 72 = 0. Is 6 a factor of w?
False
Let f(w) = -7*w**3 - 19*w**2 + 14*w + 10. Does 41 divide f(-6)?
False
Suppose 6 = -f + 4. Let b be ((-978)/(-9)*-3)/f. Suppose -4*a = 3*h - b - 51, 0 = -5*a + 5*h + 250. Is 13 a factor of a?
True
Let x(l) = -22*l + 277. Is x(8) a multiple of 23?
False
Let j(i) = 52*i + 18. Let z be j(2). Let q = 81 + z. Does 29 divide q?
True
Does 48 divide 296444/296 + (-13)/(-2)?
True
Is 4/(-10) - (10348/(-20) - -6) a multiple of 37?
False
Let b = 213 - -1443. Does 18 divide b?
True
Let o = -21 + 10. Let g be (-50)/(-6)*99/33. Let n = g + o. Is 5 a factor of n?
False
Suppose -5*g = -r + 3*r - 2064, 0 = -3*r + 2*g + 3058. Is r a multiple of 60?
False
Let v = -28 + 36. Suppose v = -2*x + 52. Does 13 divide x?
False
Suppose -3*y = -4*m + 19, -3*m = -y + 3*y - 10. Suppose -m*n - 3 = -15. Suppose i = 2*r - r + 64, n*r = -3*i + 198. Is 13 a factor of i?
True
Let y(m) = 6*m**2 - 4*m + 1. Suppose -22 = 7*c + 13. Is y(c) a multiple of 9?
True
Let k = -13902 - -6744. Is 17 a factor of 4/7 - k/42?
False
Let s = 258 + -254. Let y(t) be the first derivative of 27*t**2/2 - 4*t + 1. Does 13 divide y(s)?
True
Let m = 1334 - 1025. Does 11 divide m?
False
Let g(f) = -f**2 - 7*f + 342. Does 57 divide g(0)?
True
Suppose -3*x = -18 - 21. Let j(a) = a**2 - 2*a - 7. Is j(x) a multiple of 27?
False
Let i(f) = -6*f - 13. Let g(c) = c**2 + 3*c - 5. Let b be g(0). Is i(b) a multiple of 17?
True
Suppose 4*m = -3*x - 158 - 127, -5*m - 354 = 3*x. Let p = -36 - m. Is 11 a factor of p?
True
Let w(q) = 6*q**2 + q + 3. Let u be w(3). Suppose -4*i = -i - u. Does 20 divide i?
True
Let a(r) = 221*r**3 - r**2 - 2*r + 3. Is a(1) a multiple of 24?
False
Let k(m) = -m**2 - 8*m + 14. Let v be k(-9). Suppose v*p + 162 = 57. Let l = p + 96. Is l a multiple of 20?
False
Let t = -30 - -34. Suppose 3*j = q + 112, -2*q - 181 = -t*j - 7*q. Is 12 a factor of j?
False
Let c be -4 + 0 + (-117 + 4 - -2). Suppose 5*l - 4*u = -348, 2*l = -0*u + 3*u - 135. Let r = l - c. Is 11 a factor of r?
False
Let c be 21/3*(-1 - 1). Let z be (-4)/c + 848/(-28). Let j = 30 - z. Is 17 a factor of j?
False
Let z(y) = -y**2 + 26*y - 25. Let v be z(21). Suppose 4*o = 2*o + v. Is o a multiple of 40?
True
Suppose -403 = -3*a - 5*f + 624, 5*f + 1725 = 5*a. Is 43 a factor of a?
True
Let r = 4594 - 2337. Is r a multiple of 61?
True
Let m(w) = -2*w + 5*w - 9*w - 11 - 10. Is 7 a factor of m(-16)?
False
Let c = -792 + 2910. Does 46 divide c?
False
Let x = 22 + -11. Suppose 0 = -x*g + 15*g + 16. Is g*9/(-12) - -39 a multiple of 21?
True
Let q(d) = -9*d**3 - 24*d**2 - 19*d + 26. Let f(h) = -5*h**3 - 12*h**2 - 10*h + 13. Let r(k) = 11*f(k) - 6*q(k). Is r(12) a multiple of 11?
False
Suppose 586 = 3*n - o, 5*n + 4*o - 500 - 488 = 0. Is 9 a factor of n?
False
Let j(w) = w**2 - 2*w + 5. Let h(l) = -l - 5. Let u be h(-5). Let i be j(u). Suppose 4*p = -i*s + 220, 0*s - p - 35 = -s. Does 10 divide s?
True
Let w(j) = 2*j + 0*j + 7*j**2 + 1 + j**3 - 6*j. Suppose 5*q + 42 - 9 = -i, 0 = 5*q - 5*i + 45. Is w(q) a multiple of 17?
False
Suppose -7*h = -5*h. Let u(w) = -w + 33. Let b be u(h). Suppose -b = -2*z - 3*f + 36, z - 24 = -5*f. Does 13 divide z?
True
Let u = -334 + 491. Suppose 11*p - 338 = u. Is 15 a factor of p?
True
Let g(a) = 18*a - 7. Let p be g(8). Suppose -w + 56 - 10 = k, 3*k = -2*w + p. Is 12 a factor of k?
False
Let k(b) = 21*b - 5. Suppose -3*g - 4*s - s = 19, 0 = -g + 5*s + 27. Let w be k(g). Suppose 20 = 7*l - 2*l, w = 5*o - 2*l. Does 6 divide o?
False
Let u = 1163 + -750. Does 7 divide u?
True
Let n(b) = -87*b - 3. Let u be n(-1). Suppose 5*f - 429 = -4*t, 0 = -t - 3*f + 32 + u. Does 23 divide t?
False
Let q(y) = 41*y + 148. Does 88 divide q(6)?
False
Suppose 0 = -0*l - 5*l - 10. Let f(w) = -2*w**2 + 2. Let v be f(l). Is (2/v)/((-2)/78) a multiple of 11?
False
Suppose 4*d - 458 = 3*w, 2*w + 161 = -4*d - 111. Let j = w + 210. Is j a multiple of 8?
True
Let o(l) = -l**3 + 9*l**2 - 4*l + 39. Let h be o(9). Suppose -3*d + 4*n = -44 - h, 0 = 4*n + 8. Does 13 divide d?
True
Let v(y) = -y**2 - 7*y - 5. Suppose -2*h + 4*o = -18, 3*h + 0*h + o = 13. Suppose -h*w - 27 = -7. Does 6 divide v(w)?
False
Suppose 5*t = 5*a + 2940, 6*t - 3*a = 8*t - 1176. Does 98 divide t?
True
Does 25 divide (-2)/7 + -1 + 71324/77?
True
Let i = 12 + -19. Let s(f) = 2*f**2 - 2*f + 13. Is 15 a factor of s(i)?
False
Let t(b) = 2*b**3 - 4*b**2 + 7*b + 7. Let w be (12/14)/(-3) - (-925)/175. Does 48 divide t(w)?
True
Let s = 156 - -472. Does 23 divide s?
False
Suppose 2*m - 29 + 81 = 5*n, -n + 2*m + 4 = 0. Is 15 a factor of n/(-10)*(-50)/1?
True
Let v(m) = 10*m**2 + 29*m - 125. Is 8 a factor of v(9)?
False
Suppose -2*s + 4*l + 42 = 0, s - 6 - 18 = l. Let t = 17 + s. Is t a multiple of 16?
False
Let f(l) = 3 + 7 + 5 - l. Is 4 a factor of f(7)?
True
Let l be (-22)/99 + (-65)/(-9). Let f = l + -6. Let w = 15 - f. Is 7 a factor of w?
True
Let a(k) = -k + 6. Let m be a(0). Let r(h) = 3*h**2 - 7*h + 8. Let o be r(m). Suppose 254 - o = 5*s. Is s a multiple of 9?
True
Let c be ((-8)/(-3))/(8/(-36)). Let h be 4/c + 10/(-6). Is 17 a factor of (7/h)/((-4)/72)?
False
Suppose 0 = -5*p - 21*p + 3302. Is p a multiple of 5?
False
Suppose -2*o + 21 = 5*f, 4*f - 5 + 2 = 3*o. Suppose 0*b - o*l + 7 = 4*b, -3*l = 2*b + 1. Does 2 divide b?
True
Suppose -5*i - 22 = w, 0 = 5*w - 3*i - 14 - 16. Is -6*(w/2 + -4) a multiple of 15?
True
Let n(u) = u**2 - 6*u - 2. Let h be n(7). Suppose h*l = 4*g + 18, -5*g + 5*l - 10 = 10. Does 3 divide 12 - (-4 + (-16)/g)?
False
Suppose 4150 = 4*m + 3*j, -10*j + 6*j - 1028 = -m. Does 20 divide m?
False
Let n(t) = 2*t**2 - 56*t - 72. Is 21 a factor of n(34)?
True
Let i = 268 - 382. Let w = -4 - i. Suppose w = 6*z - z. Does 7 divide z?
False
Let n be ((-8)/(-5))/((-6)/(-15)). Let t = n - 1. Suppose t*u = -d + 119, u - 3*d - 123 = -2*u. Does 24 divide u?
False
Let t be 10/(-2) - (2 + -5). Let h be 3*(-3)/(-2)*t. Is 6 a factor of h/1*(-24)/9?
True
Let k(c) = -c**2 - 14*c. Let x be k(-14). Suppose 2*f - 9 - 163 = x. Suppose 6*t = 4*t + f. Does 8 divide t?
False
Let j(u) = -u**3 + 4*u**2 - 3*u - 4. Let s(t) = t**3 - 5*t**2 + 4*t + 5. Let f(o) = 4*j(o) + 3*s(o). Let d be f(-1). Is 12 a factor of ((-11)/3)/(d/(-9))?
False
Let v be (4/(-12))/((-1)/36). Let d be (-16)/v + (-433)/(-3). Let w = d + -99. Is 13 a factor of w?
False
Let g(b) = 2*b + 3. Let i be g(6). Let a = 22 - i. Is 7 a factor of a?
True
Suppose -7*h + 4*h - 3 = 0. Let b be (3 - (-2 + -1))*h. Is (40/b)/(2/(-3)) even?
True
Suppose w - 26 - 8 = s, w = -4*s + 14. Is 15 a factor of w?
True
Is 292/((-6 - 10)/(-4)) - -5 a multiple of 6?
True
Let x(v) be the first derivative of v**3/3 - 6*v**2 - v + 52. Is 18 a factor of x(16)?
False
Suppose 0 = -3*d - 0*d + 9. Suppose -6 = d*u, -u - 31 = -z - 145. Let s = -51 - z. Is 28 a factor of s?
False
Suppose -3*k = p + 5, -22 = 3*p + 5*k - 3*k. Let z = p + 3. Does 8 divide 2/z - (-42)/5?
True
Suppose -3*w + 24 = w. Suppose 6 = o - w. Is o a multiple of 3?
True
Let c = 0 + 2. Let q be (-10 + 9)*(0 + 0). Suppose q = y - c - 19. Is y a multiple of 7?
True
Suppose -17 = 4*c + 19. Let f be c/9*(-1 + -96). Let g = 187 - f. Does 18 divide g?
True
Suppose 584 = 3*v - 193. Let r = v + -59. Is r a multiple of 40?
True
Suppose -f + 2 = -2*f. Is 18 + 2 + f + -3 + 3 a multiple of 4?
False
Let z = -1509 + 2517. Suppose -17*m + 5*m = -z. Does 9 divide m?
False
Suppose l - 16 = 3*k, 3*l + 5*k + 11 = 3. Let f be (6/4)/((-6)/(-80)). Suppose f = y + l*y. Is y even?
True
Let d(k) = -k**3 + 32*k - 20. Does 90 divide d(-13)?
False
Let r = 0 + 2. Suppose -b = 4*m + 12, 2*b = -3*m + 5*m + 16. Let t = r - m. Is 6 a factor of t?
True
Suppose -2*n - 3*q = -q - 3320, 4*q - 4985 = -3*n. Is n a multiple of 69?
False
Let z = -62 + 122. Does 4 divide ((z/3)/(-2))/(-1)?
False
Let t(b) = -2*b**2 - 12*b + 2. Let k be t(-6). Suppose 4*c = -5*i + 303, k*c + 74 = 3*c + 3*i. Is c a multiple of 11?
True
Suppose -4*x + 7 = -1. Let u be (-299)/(-9) + (-2)/9. Suppose x*o = u + 47. Is 14 a factor of o?
False
Suppose -7*f - f = -2016. Does 14 divide f?
True
Let m be (-2)/4 + 5/2. Let i(t) be the third derivative of t**6/20 - t**5/60 + t**4/24 - t**3/3 + 2*t**2 - 21. Does 14 divide i(m)?
False
Does 21 divide ((403/(-2))/(-13) + -2)*14?
True
Let i(o) = 5*o**2 - 5*o + 4. Suppose -5 