 d(u) = -6231*u + 223. Does 24 divide d(-2)?
False
Is 92 a factor of 15/(-10) + 26532/24?
True
Let a(j) = -3*j**3 - 4*j**2 + 3. Let b be (-4)/18 + (-7 - 174/(-54)). Does 27 divide a(b)?
False
Suppose 0 = 81*m + 44*m + 732379 - 2116379. Is m a multiple of 32?
True
Suppose 4*x - 2*x = -650. Let f = x - -469. Is 12 a factor of f?
True
Does 19 divide ((-16474)/(-5))/((-294)/(-735))?
False
Let d(g) = g**3 - 10*g**2 + 8*g - 42. Let v(m) = -3*m**3 + 31*m**2 - 23*m + 126. Let y(o) = -8*d(o) - 3*v(o). Is y(13) a multiple of 6?
False
Suppose -1890 - 1818 - 164 = -m. Is m a multiple of 11?
True
Let n(f) = 166*f**2 + 601*f + 12. Does 61 divide n(-6)?
False
Suppose 8*t - 20300 = -u + 10*t, 2*u + 2*t = 40558. Is u a multiple of 98?
True
Suppose 0 = -x - u - 4, 1 - 7 = 3*x + u. Let b be (3/(-3) + (-1 - -1))/x. Is (1 + b + -30)*77/(-14) a multiple of 30?
False
Let c be (11 - (-7 - -8))*6/5. Suppose -c = -2*k - 3*l, 5*k + l = 10*k - 64. Is k a multiple of 2?
True
Let z(p) be the second derivative of -3*p**5/20 - 7*p**4/12 - 5*p**3/6 + 19*p**2/2 + 7*p - 6. Is 56 a factor of z(-6)?
False
Is 3429*(-6 - (-9 - -1)) a multiple of 54?
True
Let v = 270 + -161. Does 2 divide v?
False
Suppose -24165 = 45*c - 330075. Does 82 divide c?
False
Let v(m) = 4*m**3 + 11*m**2 + 2*m - 85. Is v(10) a multiple of 16?
False
Suppose -188*j + 2954028 = 416028. Does 225 divide j?
True
Suppose 105*j = 113*j - 152. Suppose -j*w = -17*w - 146. Does 47 divide w?
False
Let o be (-3)/7 - ((-55926)/42)/13. Does 15 divide (16/6)/(o/6579)?
False
Suppose 139*l - 2653477 - 76844 = 1902549. Does 303 divide l?
True
Suppose -30*k + 33*k = 4*a + 28315, 0 = k + 4*a - 9433. Does 55 divide k?
False
Suppose -2*s + 2*d = -3*s, 3*s - 2 = -4*d. Suppose 0*h = -2*h + 5*i + 26, -s*i = -4*h + 20. Is 11 - (-2 - (5 - h)) a multiple of 15?
True
Let f be (-2)/11 - (7 - (-804)/(-66)). Suppose -1912 = -4*n - 5*v, -9*n = -f*n + 2*v - 1900. Is n a multiple of 17?
False
Let n(j) = j**3 - 14*j**2 + 2*j - 12. Let f be n(14). Is 9052/f - 5/(-20) a multiple of 32?
False
Let o(n) = 6*n + 80. Let v be o(-12). Suppose -171 = -v*a + 109. Does 2 divide a?
False
Let b(p) = -p**2 - p + 1. Let q(j) = -j**3 + 6*j**2 - 12*j + 14. Suppose -16 = 4*u - 4*t, -3*u + 3*t - 13 = u. Let s(o) = u*q(o) + b(o). Is s(6) even?
False
Suppose 64*b + 77395 - 621666 = 117745. Is b a multiple of 89?
False
Suppose -21 = 5*f - 151. Let a = -26 + f. Suppose c + 3*c + 51 = 5*z, a = -2*z - 3*c + 25. Does 2 divide z?
False
Let s be (10/25)/((-382)/(-190) - 2). Suppose -28 + s = -5*h. Is -3 + 3 - (h - -2 - 72) a multiple of 24?
True
Is 37 a factor of (-15)/((-135)/36) - (-2408 + (-3 - -10))?
True
Does 4 divide 56673/9 - (-11 + (-5 - -4))?
False
Suppose 0 = -3*b + t + 15887, -21156 = -4*b + 32*t - 36*t. Is 16 a factor of b?
False
Let c be 5/((-5)/(15/(-3))). Suppose -c*i + 59 = -11. Is 47 a factor of (-282)/(2/6 + i/(-6))?
True
Is (-49887900)/1080*((-3)/18 - 1/2) a multiple of 15?
True
Is (258/4)/(12 + -20 + 1890/236) a multiple of 43?
True
Let t be (6 - 145/20)*-4. Suppose 2*n + 1749 = 2*y + 3*n, t*n = -3*y + 2613. Is y a multiple of 44?
False
Is 150236/11 + (-2)/(-11) a multiple of 40?
False
Let u(g) = -5*g - 114. Let o be u(-22). Let a(f) = 32*f**2 + 17*f + 23. Let y(k) = -16*k**2 - 8*k - 11. Let d(r) = -4*a(r) - 9*y(r). Is 13 a factor of d(o)?
True
Let l(z) = 155*z**2 - 233*z - 1420. Does 2 divide l(-7)?
True
Let b(c) be the second derivative of 29/2*c**2 + 0 - 1/3*c**3 + 6*c. Is b(7) a multiple of 2?
False
Let k be (-93)/217 + 66/7 + -5. Let o(d) = -d**2 + 15*d - 34. Is o(k) a multiple of 9?
False
Suppose -8*u + 78416 = 96*u. Is u even?
True
Let c(g) = 5*g + 120. Let x be c(-23). Suppose x*k + 9*n = 5*n + 2940, k = n + 579. Is 35 a factor of k?
False
Suppose -d + 14 = -5*l + 36, 20 = 4*l - 2*d. Suppose -3*i + l*i = 3*x - 549, 3*x = 4*i + 558. Does 7 divide x?
True
Let x(m) = -44*m - 56. Let b be x(-34). Suppose -i + 4*k + 2896 = 3*i, -2*i + 4*k + b = 0. Is 26 a factor of i?
True
Suppose -5*w + 2*h - 18 = 21, -5*h - 6 = -w. Is (1 - 1753)*(-12 + (-105)/w) a multiple of 43?
False
Suppose 2*p = 2*i + 42, -2*p + 10 + 16 = -i. Is 6 a factor of (-980)/i + (-27)/12 + 3?
False
Let p(x) = -x**3 + 5*x**2 + 2*x - 8. Let k be p(5). Let s be (2 + 1/k)*-6. Is 27/5 + 6/s even?
False
Suppose -195*g + 201*g = 24. Suppose 62 = -2*p + g*p + 4*u, p = -5*u + 19. Is 6 a factor of p?
False
Suppose r = -l - 73, 5*r + 242 = 5*l - 113. Suppose 461 = -4*d + 1. Let m = r - d. Is m a multiple of 5?
False
Suppose -14*m = -134 + 22. Suppose 5*o - m*o = -366. Is 11 a factor of o?
False
Suppose -5*l - 3 + 23 = 0. Is ((-51324)/77)/(-3) - l/22 a multiple of 37?
True
Suppose -648*f + 644*f = -u + 1522, -3*f = -2*u + 3049. Does 14 divide u?
True
Let k(b) = -11*b + 3*b - 3*b + 2*b + 15. Suppose 14 = -3*r + 3*n - 16, -3*n + 9 = 0. Does 24 divide k(r)?
False
Let b(f) = 994*f - 13008. Is b(15) even?
True
Let b = -412 + 239. Let l = b - -290. Let j = 38 + l. Is 31 a factor of j?
True
Let t be 14/(-4)*-2 + -2. Suppose 3*l + 3*m = 5*l - 154, -86 = -l - 3*m. Suppose -7*i = -t*i - l. Is i a multiple of 16?
False
Let w = 146 + -106. Suppose w*f = 27*f + 4875. Is 75 a factor of f?
True
Let f be 1 + (-7)/(-14) - 3/2. Suppose f = 7*a - 11*a + 224. Let k = -11 + a. Is 12 a factor of k?
False
Let f be -1*(-3 + (63 - -2)). Let n = -45 - f. Suppose 3*p = 152 - n. Is 5 a factor of p?
True
Let l be (6/4)/(1/(-2)). Let q be (6/(-9))/(10/15). Is 50 + -1 + (2/q - l) a multiple of 19?
False
Let j(q) = 2 - 1 - 2*q**2 + q + 36*q**2. Suppose -3*f + 38 - 21 = 4*l, 0 = 5*f - 2*l + 15. Does 3 divide j(f)?
False
Suppose 3*d = 6*d + 2*g - 14, 2*d - 5 = 3*g. Suppose -1187 = -4*o + 3*l, 897 = d*o + l - 286. Is o a multiple of 26?
False
Let n be 4*2/(-2)*1 - -3. Is 9 a factor of (-36 - -25)/((2/18)/n)?
True
Suppose 4*c - 939 = c. Suppose 5*b + o = -10 + 12, 5*b = -5*o + 10. Suppose -20 = 5*g, 3*d - g = -b*d + c. Does 26 divide d?
False
Let u(l) = -l**3 - 13*l**2 - l + 3. Suppose -5*d - 53 = 17. Let o be u(d). Let h = o - 139. Is 37 a factor of h?
True
Let p be 10/(-15) - (-42244)/6. Suppose 0 = -10*r - r + p. Suppose 2*u + 630 = 7*u + k, -r = -5*u + k. Does 25 divide u?
False
Let m = -56 + 54. Is m*(-2 + 270/(-4) + 2) a multiple of 27?
True
Suppose 5*n + 0 = -10. Is 4 a factor of ((-7)/((-21)/8))/(n/(-96))?
True
Let j = 74 - 50. Let i(d) = -j - 72 + d + 178 + d**2. Is i(0) a multiple of 17?
False
Let a(s) = 5*s + 4. Let o be a(0). Suppose 4*y = 4*u + 6*y - 192, -u + 48 = -o*y. Is u a multiple of 12?
True
Suppose -6*o + 24 = 0, -2*v - v = -3*o - 4800. Is 4 a factor of v?
True
Suppose -37*a + 87498 = -2*a - 205452. Does 33 divide a?
False
Let h = 19843 + 5477. Is 15 a factor of h?
True
Let a(u) = -2*u - 12. Let w be a(-4). Is 14*(w - (-90)/4) a multiple of 7?
True
Is 33 a factor of (-1)/(-15) + (-26 - 1638486/(-135))?
True
Let s = 32549 + -25549. Is 125 a factor of s?
True
Let t(k) = 395*k**2 - 52*k - 166. Is t(-6) a multiple of 22?
True
Let j be 0*((-5)/2 - -2). Suppose j*i = i - 24. Suppose -23*b + i*b = 21. Does 3 divide b?
True
Suppose -d + 4*m + 107 = 0, d + 596*m - 592*m - 59 = 0. Does 4 divide d?
False
Let l(q) be the second derivative of q**5/20 + 11*q**4/12 + q**3 - 12*q - 1. Does 36 divide l(-9)?
True
Suppose 0 = -2*g + 4*w + 279 + 3761, 2*g = -5*w + 4004. Is 7 a factor of g?
False
Suppose 5*g - 1158 = -4*v, 219 = 4*v - 5*g - 959. Suppose -294 = -2*t - 2*k, -6*t = -4*t + 3*k - v. Is 6 a factor of t?
False
Let w(y) = 14*y - 8*y - 5*y + 17 - y**2 + 16*y. Let u be w(13). Let i = u + -27. Does 6 divide i?
True
Let u = -47 + 48. Does 42 divide (-39 + 30)/((1/(-25))/u)?
False
Let u be -11 + (-9)/(-5 + 2). Does 57 divide (u/19)/4 + 123474/114?
True
Let i(k) = 2754*k + 83. Is 18 a factor of i(1)?
False
Let k be 1/1*-4 - (-2)/1. Let f be 8/16*(-4)/k - -1. Suppose -3*h + 75 = -2*h + 3*b, 2*b = f. Is 18 a factor of h?
True
Let s = -8 - -10. Let t be (17 - 18)*(2 - (s - -1)). Is 13 a factor of -1 - (-1 - -2) - (-43)/t?
False
Let t be 5/((-20)/(-28)) + -5. Let q(y) = -5 - y**2 + 9*y + t + 19. Is 6 a factor of q(10)?
True
Suppose -80 = 4*k - 2*w, 9*w - 55 = 3*k + 10*w. Let a(b) = -5*b + 153. Does 31 divide a(k)?
True
Let p(a) = 2*a**3 - 4*a**2 + 70*a + 25. Is p(8) a multiple of 33?
True
Is 8/92 + 200/2990 - 51060/(-26) a mult