Is f(3) a multiple of 74?
True
Is 54 a factor of 4392/15*(-20)/(-8)?
False
Suppose 0 = 3*v - t - 2*t - 459, v + 4*t = 138. Does 3 divide v?
True
Let u(z) = -3*z + 22. Let d be (-7)/(28/(-16)) - 11. Is u(d) a multiple of 4?
False
Let b(j) = 11*j**3 - j**2 + 2*j - 6. Let u be 38/(-14) + 24/(-84). Let a(r) = 4*r**3 + r - 2. Let y(w) = u*b(w) + 8*a(w). Is 8 a factor of y(3)?
True
Suppose q = 3*q - 28. Suppose i - 16 = q. Is i a multiple of 4?
False
Let o(q) = -6*q + 5. Let l be o(9). Let j = l - -99. Does 5 divide j?
True
Let s(b) be the second derivative of -b**5/20 - 2*b**4/3 - b**3/6 + 10*b**2 - 43*b. Does 22 divide s(-9)?
True
Let w(h) = h**2 - 6*h + 6. Let j be w(11). Suppose -6*v + 2*v - 2*i = -62, -5*v + j = -3*i. Is 3 a factor of v?
False
Is 5 a factor of -604*-5*(-35)/(-50)?
False
Let w = -56 + 201. Suppose -3*m + 5*r = -0*m - w, 5*m - 3*r = 263. Is m a multiple of 20?
False
Let z(k) = 3*k - k**2 - 2*k + 6*k. Let b be 2/(1*3/6). Does 6 divide z(b)?
True
Let r = 1386 - 1062. Does 44 divide r?
False
Let b = 4157 + -2919. Suppose 4*p + 254 - b = 0. Is 41 a factor of p?
True
Suppose 2*x = 3*c - 5, -3*x + 8 - 32 = c. Let y(q) = 2*q**2 - 6*q + 28. Does 21 divide y(x)?
True
Let c(l) = -l**3 + 26*l**2 + 33*l - 17. Is 5 a factor of c(27)?
True
Suppose 3*s + 2*n - 168 = 0, 21*s - 18*s = -4*n + 168. Is 4 a factor of s?
True
Suppose -6*w - 3 = -7*w. Suppose 0 = -w*r - a + 5*a + 102, 0 = -r - 2*a + 44. Suppose 0 = 5*i - 138 + r. Is 5 a factor of i?
True
Suppose -2*o = -6*o + 2*t + 416, o + 4*t - 104 = 0. Does 39 divide (11 + 4)*o/10?
True
Let n = -258 - -297. Does 13 divide n?
True
Suppose -17*v - 12*v = -4872. Is v a multiple of 9?
False
Let k(h) = 8*h**2 + 5*h - 77. Does 35 divide k(-7)?
True
Suppose 5*v - 28 = 3*c, -18 = 3*c + 3*v - 6. Let g be (15/c)/((-3)/30). Suppose -g = -2*j - 5. Is j even?
True
Let c = -11 - -9. Let h be (3*c - 3)*1. Is h/12*-4 + 65 a multiple of 17?
True
Let o = 15 + -26. Let t(a) be the first derivative of -7*a**2/2 - 27*a + 364. Is t(o) a multiple of 11?
False
Let v be ((-3)/(-2) - 2)*-16. Let k = v - 4. Suppose 0*f - k*f = -192. Is 16 a factor of f?
True
Suppose y - 2*y - 344 = -4*g, -2*y + 269 = 3*g. Suppose f + 13 = -4*a, 4*a = -2*f + 4*f - 10. Does 28 divide -2 - (f + g)/(-1)?
True
Suppose f - 1 = -q + 1, -4*f + q = -8. Suppose -2*b = 3*k + 2*k - 9, 3 = -k - f*b. Suppose -k*a + 212 = a. Is 14 a factor of a?
False
Let a(k) = -73*k + 12. Let j be a(4). Does 8 divide (-9)/(-6)*j/(-12)?
False
Suppose 3*y - 5*f - 272 - 944 = 0, -4*f = -2*y + 810. Is y a multiple of 37?
True
Let c(s) be the third derivative of -13*s**4/24 + s**3/6 - 9*s**2. Is c(-3) a multiple of 9?
False
Let h(l) be the second derivative of -l**5/20 - l**4/2 + 13*l**3/6 - l**2/2 + 13*l. Is h(-8) even?
False
Suppose -2*j + 7 - 3 = 0. Let i(o) = o**3 + 2*o**2 - 2*o + 3. Let s be i(j). Let x = s + -2. Does 7 divide x?
False
Suppose -2*c + 4*p + 674 = 0, -c - 1330 = -5*c + 2*p. Is c a multiple of 13?
False
Let u be (1 - 1)*6/(-12). Suppose u*h + 2*h - 4 = 0. Is 14 a factor of (-9*h)/(1 + -2)?
False
Suppose 0*o + x = -3*o + 14, 4*o - x - 7 = 0. Suppose 0*g + g - 3*s = 12, 20 = o*g - s. Suppose 49 = a - 5*m - 2, 3*m = -g. Is a a multiple of 11?
False
Let r(l) = 15*l**2 - 2*l + 1. Let d be r(1). Let y = d + 42. Does 10 divide y?
False
Let q = 198 + -126. Is q a multiple of 4?
True
Suppose -16 = h + 4*m - 76, 0 = 4*h + 5*m - 185. Is 10 a factor of h?
True
Let u(p) = -p**3 + 6*p**2 - 11. Let m be u(5). Let c = m + -12. Suppose 4*d = 3 + 17, -c*y + 17 = -d. Does 9 divide y?
False
Let r(w) = -3*w + 5 - 7*w - 7*w. Suppose -33 = -47*m - 127. Is r(m) a multiple of 8?
False
Suppose 5*z + 29 - 604 = 0. Suppose -5*l - z = -730. Is l a multiple of 41?
True
Let k(j) be the first derivative of -6 + 1/3*j**3 + 13/2*j**2 + 3*j. Does 33 divide k(-15)?
True
Let p be (-6)/(-4)*(-3 - -5). Suppose -3*w + 3*k = -0*w - 45, -k = -p*w + 47. Does 16 divide w?
True
Suppose 0 = -9*w + 1098 + 8802. Is w a multiple of 11?
True
Let s(i) = -2*i + 1. Let y be s(-2). Suppose 0 = y*f - 63 - 217. Is f a multiple of 9?
False
Let o = -729 - -817. Is o a multiple of 22?
True
Let a(t) = 1. Let d(i) = 62*i + 7. Let z(x) = -2*a(x) - d(x). Is 16 a factor of z(-2)?
False
Suppose 0*p = 2*p - 96. Is 16 a factor of p*(-3 - 105/(-20))?
False
Suppose -2*j = 4*l - 2, 2*l + 5 = 6*l + j. Let p(g) = 2*g**3 + g**2 - 3*g + 1. Does 10 divide p(l)?
False
Suppose -2*o + 3 - 145 = 0. Let h = 161 + o. Does 10 divide h?
True
Does 13 divide (-2)/(-6)*((-110790)/6)/(-5)?
False
Suppose 0 = -5*i + 3*j + 10512, 5*i - 2*j - 15051 = -4543. Is 35 a factor of i?
True
Let l = 63 + 134. Suppose -3*n + 328 = -2*i + i, -l = -2*n + 5*i. Is 12 a factor of n?
False
Suppose -10*v = -8*v, 0 = -5*f + 5*v + 2475. Is 16 a factor of f?
False
Let k = 39 - 37. Suppose k*v - 108 = -v. Is v a multiple of 18?
True
Let t = 95 - 95. Suppose -5*n = a - 72 + 5, t = 2*a + 2*n - 150. Does 11 divide a?
True
Suppose 8*c - 344 = 280. Does 12 divide -1*(-30)/4*c/5?
False
Let o = 2175 + -1772. Is o a multiple of 13?
True
Let s = 652 + -467. Is s a multiple of 37?
True
Let w = 237 + -157. Does 4 divide w?
True
Suppose 4 = 7*k - 458. Does 4 divide k?
False
Let l = -1072 - -2552. Is l a multiple of 5?
True
Is (-126)/(-1)*(8/1 + -5) a multiple of 22?
False
Let d(a) = a**3 + 10*a**2 - 25*a - 29. Let u be d(-12). Let p(k) = -k**3 - 15*k**2 + 28*k - 12. Is p(u) a multiple of 15?
True
Let n be 0/((2/(-5))/((-15)/75)). Suppose -5*q - 2*x + x = -26, 0 = 4*q - 2*x - 32. Is (n - 14/(-6))*q a multiple of 8?
False
Let g(o) be the first derivative of o**4/4 - 7*o**3/3 + 5*o**2/2 - 5*o - 3. Let b be g(4). Let q = b - -56. Is 12 a factor of q?
False
Let c(m) = 30*m + 4. Let s be c(2). Suppose -o + s = -15. Is o a multiple of 8?
False
Suppose -4*g + 198 = 2*l, 5*g + 356 = 4*l + 3*g. Suppose p - 2*p = n - 23, 0 = -4*n - 5*p + l. Does 8 divide n?
True
Let b(u) = -u**3 - 3*u**2 + u + 2. Let s be b(-3). Let x = 9 - s. Suppose -x*o + 165 = -5*o. Is o a multiple of 15?
False
Suppose 9*j = 66*j - 20235. Is 34 a factor of j?
False
Suppose 0 = 6*m - 14*m + 8. Let v(r) = 25*r**2 - 3*r + 3. Is v(m) a multiple of 6?
False
Let o(c) = 19*c**2 + 3*c + 3. Is o(-3) a multiple of 15?
True
Let o = 1160 + -356. Is o a multiple of 67?
True
Does 3 divide 2/((-22912)/4584 + 5)?
True
Let r = -14 - -8. Let a be (-4)/r - (-110)/(-30). Is a + 5 + -2 + 21 a multiple of 7?
True
Is 16 a factor of 1*9642/(-6)*-1?
False
Let g(m) = -m**3 - 13*m**2 - 13*m - 10. Let w be g(-12). Let s = w - -46. Is 12 a factor of s?
True
Suppose -3*r = 3*f - 840, 11*f + 3*r - 1400 = 6*f. Is 20 a factor of f?
True
Suppose 0 = m - 6*m + 100. Let z(t) = -t - 2. Let x be z(0). Is 10 a factor of m*1*(-1)/x?
True
Let y(p) = -89*p**3 + p. Let d be ((-5)/2)/5*2. Let h be y(d). Let t = h + -50. Is t a multiple of 15?
False
Suppose 3 = 2*v - 159. Is 4 a factor of v?
False
Suppose 5*h - l = 5134, -1886 + 4968 = 3*h - l. Does 19 divide h?
True
Let k = 5966 - 3437. Is k a multiple of 66?
False
Let n(g) = 20*g - 18. Let i(r) = 7*r - 6. Let k(x) = 8*i(x) - 3*n(x). Let m be k(3). Is -6*(-3 + (-3)/m) a multiple of 15?
True
Let r(v) = v - 10. Let q be r(0). Let y be 28/(-6) - q/15. Does 3 divide 9/(-12)*y - -3?
True
Let k(d) = -5*d**2 - d + 5. Let b(z) = -z**2 - z + 1. Let r(v) = 4*b(v) - k(v). Let l be r(4). Suppose 4*p - 63 = -o, -3*o = 4*p - l*p - 134. Does 19 divide o?
False
Is ((-46)/(-115)*-3)/(1/(-2325)) a multiple of 90?
True
Let r(v) = v**3 + 77*v**2 + 109*v - 198. Is 21 a factor of r(-75)?
True
Is (24/20)/((-30)/(-69500)) a multiple of 53?
False
Let q = -21 - -50. Suppose -295 = -9*d + q. Is 12 a factor of d?
True
Let y = 18 - 21. Is (234/(-6))/(y/5) a multiple of 10?
False
Let t(p) = 9*p - 5. Let c be t(-4). Let f = -14 - c. Does 27 divide f?
True
Let u(k) = -k**3 - 16*k**2 - 7*k - 1. Does 2 divide u(-16)?
False
Let y = -99 + 168. Let u = y - 11. Let i = -22 + u. Is i a multiple of 18?
True
Let v = 661 - 361. Is v a multiple of 15?
True
Is -11 - (-2)/(-4)*-3142 a multiple of 20?
True
Let q be 1/(-4) + 145/4. Suppose 0 = 35*f - q*f + 16. Suppose -21*r + 60 = -f*r. Does 4 divide r?
True
Suppose 189*n = 201*n - 84. Let s(j) = -26*j. Let o be s(-5). Suppose -2*c + n*c = o. Is 6 a factor of c?
False
Suppose -u + 2*u - 45 = 0. Suppose 4