- k - 24 = 0, 4*k = b - 20. Suppose b*w + 4*h = -52, h - 49 = 3*w + 6*h. Is z(w) a multiple of 5?
True
Let n(d) = -6*d + 390. Let s = 83 + -83. Does 43 divide n(s)?
False
Let o(g) = 5*g - 21. Let y = -34 - -34. Suppose y = -2*w + 2*x + 22 - 4, 3*w = -2*x + 52. Does 15 divide o(w)?
False
Suppose -1670*n = -826*n - 830*n - 9800. Is 10 a factor of n?
True
Is (-50687)/(-4) - 6/(-28)*(-700)/(-600) a multiple of 132?
True
Suppose u + 6 = -1. Let p(s) be the third derivative of -s**6/120 - 2*s**5/15 - 3*s**4/4 + 11*s**3/6 + 147*s**2. Does 8 divide p(u)?
True
Let t(i) = -27*i + 167. Let b be t(6). Let a(g) = 142*g + 48. Is a(b) a multiple of 68?
False
Let n(i) = -6*i + 12. Let t be n(1). Does 3 divide (t*(-14)/20)/((-3)/10)?
False
Suppose -4*a + 4*r = 4, 0 = 4*a + 5*r - 2*r - 17. Suppose -a*l - 3 = -3*l. Suppose l*s + 426 = 3*j, -3*s + 742 = -2*j + 7*j. Does 50 divide j?
False
Let n(v) be the first derivative of -v**4/4 + 28*v**3/3 + 53*v**2/2 + 31*v - 129. Is n(29) a multiple of 9?
False
Suppose 0 = 8*f + 135 - 1223. Suppose -f - 172 = -2*o. Does 11 divide o?
True
Suppose 4*x = -h + 1736 + 305, -10*h = -5*x + 2630. Does 49 divide x?
False
Suppose -5*x = 10, 3924 = 5*o + 58*x - 60*x. Is 7 a factor of o?
True
Suppose 137527 + 29981 = 27*s. Is s a multiple of 132?
True
Suppose a = -3*n + 65057, 30*n - 41*n - 3*a = -238539. Is n a multiple of 12?
True
Suppose 2*y + 503 = -3*u - 0*y, -4*y = -2*u - 346. Let h = u - -201. Is 3 a factor of h?
False
Suppose -t = -2*k - 317, 204 = -k - 5*t + 62. Let w = k - -168. Is w even?
False
Let c(v) be the second derivative of v**4/12 - 4*v**3/3 - 41*v**2/2 - 27*v. Let m be c(12). Suppose 60 + 108 = m*g. Does 12 divide g?
True
Suppose 0 = 18*j - 672088 + 47002. Suppose -23*t + j = 18*t. Does 36 divide t?
False
Let t = -676 - -680. Does 11 divide t/(48/(-939))*(-88)/11?
False
Let t = -9 - -98. Let n = -61 + t. Let z = 105 - n. Is z a multiple of 8?
False
Suppose -2*w - 16 = -4*y, 4*w = -5*y - w + 5. Let s(v) = v**3 - 3*v**2 - v + 3. Let l be s(y). Suppose l = -u + 2*u - 16. Is 16 a factor of u?
True
Suppose 0 = -2*z - 5*v + 27070, 3*v + 0*v - 27082 = -2*z. Does 45 divide z?
False
Let l = 7061 + -4480. Does 9 divide l?
False
Let d = -14675 + 24840. Suppose -d - 14027 = -24*v. Is v a multiple of 21?
True
Suppose 1521 = 51*f - 27396. Is 9 a factor of f?
True
Let s be 120/(-90)*(-6)/2. Suppose -s*p - 2*i + 2180 = 0, -i - 1173 = -4*p + 1001. Is p a multiple of 16?
True
Let k(a) be the second derivative of a**5/30 + a**4/12 - 4*a**3/3 - 15*a. Let b(m) be the second derivative of k(m). Does 18 divide b(10)?
False
Suppose 0*u + 6*u + u = 0. Suppose 8*f - 6*f - 4 = u. Suppose -x + 223 = f*w - 43, 3*w - 3*x = 417. Does 15 divide w?
True
Suppose -3*s + 6*s - 2856 = 0. Let x = -787 + s. Is 33 a factor of x?
True
Let l(r) = -467*r - 2246. Is 46 a factor of l(-12)?
True
Suppose 62*f = 64*f - 11508. Suppose 18*j + 372 - f = 0. Is 49 a factor of j?
False
Let m(q) = -q**3 - 6*q**2 + 7*q. Let f be m(-7). Suppose f*p + 272 = 4*p. Is 17 a factor of p?
True
Suppose 32*b - 39*b - 4375 = 0. Let n = -388 - b. Does 13 divide n?
False
Let v(l) = -2*l**2 + 10*l - 4. Let a be v(4). Suppose -640 = -4*x - a*h, 5*x + 4*h = 9*h + 770. Is x a multiple of 2?
False
Suppose 283*o = 4754387 + 620444 - 4057. Is 6 a factor of o?
True
Suppose -6*j + 18 - 18 = 0. Let v(y) = 2*y - 3. Let t be v(3). Suppose 3 = -3*l, j*m = 3*m + t*l - 51. Is m a multiple of 9?
True
Let n = -17655 - -42737. Is n a multiple of 10?
False
Suppose 1783 = 7*p - 765. Suppose n - 246 + 28 = -3*y, -p = -5*y - n. Suppose 5*d + y = -4*k + 6*k, -6 = -2*d. Does 5 divide k?
False
Let l(w) = -w**3 - 2*w**2 + 2*w + 10. Let o be l(-3). Let r(a) = -o + 2*a + 0*a - 6 - 5*a. Is r(-11) a multiple of 14?
True
Let s be 15/((-2)/1*12/1848). Let p = -571 - s. Is 73 a factor of p?
True
Suppose 24 = 86*b - 83*b. Suppose -x = 3*w - 63, w - b = -3*x + 13. Does 4 divide w?
False
Let f = 133 - 338. Let v = -140 - f. Does 5 divide v?
True
Let h be 4 - (2/(-12) + (-30)/36). Suppose h*y - y - 128 = 0. Is y a multiple of 2?
True
Let w(a) = 6 - 3*a**2 - a**3 + 9*a - 4*a**2 - 13*a + 5. Let r be w(-6). Is 11 a factor of 2 + 6 + 1 + (1 - r)?
True
Suppose 0 = 3*v - 2*i - 593, 237*i = 5*v + 238*i - 971. Is v a multiple of 28?
False
Suppose 2*w = -0*w + 130. Let o = 143 - w. Does 26 divide o?
True
Suppose 52 = p + 49. Suppose -2*t = -d - 337, p*t = -3*d + 4*d + 503. Let o = t - 64. Does 34 divide o?
True
Let d(k) = k**3 + 46*k**2 - 119*k - 3017. Is d(-45) a multiple of 33?
False
Suppose -9*w + 4*s + 10068 = -6*w, 10065 = 3*w - 5*s. Is w a multiple of 18?
False
Let u = -7499 - -16651. Suppose -75554 + u = -34*x. Is x a multiple of 22?
False
Let a be -1*(-3)/5 + 71256/40. Suppose -3218 = 10*g + a. Let z = -224 - g. Is z a multiple of 23?
True
Let n be 0 - (2/(-6) - 28/(-21)). Is 5 a factor of 4/42*303 - n/7?
False
Let u(q) = 5*q + q**2 - 34 + q**2 - 5*q + 6*q + 3*q. Is 3 a factor of u(6)?
False
Suppose -1467*u = 5*k - 1463*u - 392, 0 = 5*k + u - 413. Is 48 a factor of k?
False
Suppose 3*y + 105 = 5*x + 5, 2*y = 4*x - 68. Does 16 divide (-12)/(-20) - 11022/y?
True
Let h(j) = j + 27. Suppose -6*q + 3*q - 15 = -4*k, 0 = -2*k - 2*q - 10. Suppose k = 6*n - 104 - 22. Does 12 divide h(n)?
True
Suppose -22*a + 921 = -377. Suppose f + 2*f = 990. Let r = f - a. Does 47 divide r?
False
Let m = 62 - 57. Suppose 0 = -m*y + 1138 - 283. Is 57 a factor of y?
True
Suppose 80 = -2*x + 7*x. Suppose -x*b + 12*b = -20. Suppose -4*j - 368 = -b*u, 5*j + 298 = 6*u - 2*u. Does 18 divide u?
True
Let b be -8*((495/(-6))/11)/6. Is 20 a factor of (5700/(-95))/((-3)/b)?
True
Suppose 0 = 2*x - 7*x. Suppose -3*l - 3*u + 450 = -x*l, 3*u = 3*l - 426. Let a = l - 94. Is 30 a factor of a?
False
Let k(l) = -4*l**2 - 21*l - l**3 - 9 + 13*l - 10*l. Is 12 a factor of k(-7)?
True
Let x = -6631 + 8525. Is 8 a factor of x?
False
Let l(t) = -9*t + 31. Suppose -5*b - 80 = -90. Is 4 a factor of l(b)?
False
Suppose -s + 1283 = 3*k - 2*s, -5*k = s - 2149. Suppose 45*c = 44*c + k. Is c a multiple of 39?
True
Suppose 4*p = -2*d + 3210, 40 = -379*p + 374*p. Is d a multiple of 10?
False
Suppose -324*w + 5*i = -320*w - 15810, 5*i - 11875 = -3*w. Is 4 a factor of w?
False
Does 36 divide (27/3)/(3/2541*1/4)?
True
Suppose -32*j = 6 + 218. Let i(h) = h**3 + 8*h**2 - 15*h - 2. Does 5 divide i(j)?
False
Let z(b) = 40*b**2 - 134*b + 702. Is 169 a factor of z(6)?
False
Let i = 563 + -863. Let d = i - -357. Does 4 divide d?
False
Let l = -30015 - -59905. Is 114 a factor of l?
False
Let m(n) = n**3 - 23*n**2 - 38*n + 92. Is 3 a factor of m(28)?
False
Suppose -81*m - 36*m - 3*m + 17880 = 0. Is 9 a factor of m?
False
Let l be (-8 - -2)*413/(-14). Is 23 a factor of ((-138)/12)/(l/90 - 2)?
True
Let h = -297 - -290. Is 5 a factor of 2/(-1 - h)*225?
True
Let d(h) = -420*h + 7164. Does 241 divide d(0)?
False
Suppose 5*x - 2*i = 1011 + 11587, 0 = x + 4*i - 2502. Is x a multiple of 5?
False
Let s(k) = -k**3 - k**2 - 43*k + 45. Is 25 a factor of s(-10)?
True
Suppose -3 = -2*c + 1. Suppose -5*f - c*a + 169 = 0, 3*f = -3*a + 120 - 24. Let x = 16 + f. Is 6 a factor of x?
False
Let r(z) = z**3 - 3*z**2 - 9*z - 2. Let w be r(5). Suppose -2121 = -4*c - w*c. Is 19 a factor of c?
False
Suppose 3*c + 5*q = 1051, 3*c - 854 = -2*q + 191. Let m = c - -6. Does 13 divide m?
False
Let x(j) = -j**3 + 2*j**2 + 79*j + 22. Does 11 divide x(-26)?
True
Let a be (16/10)/((-44)/110). Let c(m) = m**3 + 3*m**2 - 5*m - 1. Let s be c(a). Is 13 a factor of (-4)/(-6) - (-115)/s?
True
Let x be 400/(3*(-2)/(-12)). Suppose x = 13*s + 12*s. Does 16 divide s?
True
Suppose -5*k + 4810 = 4*z + z, 0 = 5*k + 3*z - 4806. Suppose 5*n - v - 1200 = 0, 0 = -3*n - n - 2*v + k. Is 30 a factor of n?
True
Let x be (-890)/30 - 1/((-6)/4). Let c = x + 170. Is c a multiple of 3?
True
Let v be (-2)/(-4)*-7*2. Let a(f) = -2*f - 108. Let w(g) = -g - 36. Let l(t) = 3*a(t) - 10*w(t). Is l(v) even?
True
Suppose -41*g + 244357 = 36*g - 320669. Is 11 a factor of g?
False
Let t = -14783 - -25706. Is 37 a factor of t?
False
Is 24 a factor of (-33002)/30*-2 + (-570)/4275?
False
Suppose -o + 3 = -10. Let j = -11 + o. Does 18 divide -3 + 71 - j - -3?
False
Suppose 38*r = 14814 + 20298. Does 77 divide r?
True
Let n(l) = 6*l**3 + 3*l**2 + 6*l + 5. Let d(