74)/(-2)?
True
Let n(c) = c**3 - 7*c - 2. Suppose 8*l - 33 = 7. Is 8 a factor of n(l)?
True
Let f = 4 - 6. Let w be ((-8)/12)/(f/90). Suppose 4*b - 3*m - w = 0, -3*b - b + 2*m + 28 = 0. Is 3 a factor of b?
True
Let d(k) = 6*k**2 - 3*k + 34. Is d(-8) a multiple of 13?
True
Suppose 0 = 3*f + 5*y - 11767, -8*y + 3*y - 7828 = -2*f. Does 13 divide f?
False
Let g be ((-9)/(-6))/((-95)/24 + 4). Let a be (-4)/(-14) - (-52)/14. Suppose -16 = -a*w + g. Does 9 divide w?
False
Let d = -130 - -178. Is 5 a factor of d?
False
Suppose -12*g = 952 - 3856. Is 22 a factor of g?
True
Suppose 5*c = -2*v + 24, 0 = 3*v - 0*v - 4*c + 10. Let d(k) = -3 - k**v + 0 - k**3 + 6*k - 7*k**2 + 14*k**2. Is d(6) a multiple of 11?
True
Let w = 34 + -202. Does 15 divide (270/(-21))/(18/w)?
True
Suppose 982 = -31*v + 16110. Is 61 a factor of v?
True
Let a = -1 + -7. Let g be 80/(-30)*42/a. Is 10 a factor of (-2)/7 - (-564)/g?
True
Let m(y) = y**3 + 22*y**2 - 22*y + 30. Is m(-23) a multiple of 2?
False
Let z(v) be the second derivative of -v**4/12 + 13*v**3/6 - 9*v**2/2 + 6*v. Is 6 a factor of z(6)?
False
Let d be (3*-1)/(-4 - (-366)/96). Suppose 0 = -d*p + 15*p + 85. Is p a multiple of 17?
True
Suppose 4*j - 1140 = 420. Is 10 a factor of j?
True
Is 54 a factor of (-1439)/(6*(-3)/18)?
False
Let p be (-235)/20*(1 + -5). Let o(n) = -n**3 + 8*n**2 - 7*n - 4. Let k be o(7). Let r = p - k. Is r a multiple of 17?
True
Suppose j + 10 = 2*g, -2*g - 6 = -g + 5*j. Suppose 0 = -5*l - g*d + 2*d + 179, -4*d + 99 = 3*l. Is 37 a factor of l?
True
Let p(r) be the third derivative of r**5/30 + 2*r**4/3 + 8*r**3/3 - r**2. Is p(-12) a multiple of 16?
True
Let y(t) = 2. Let g(s) = -6*s**2 - 4*s + 20. Let j(v) = -g(v) + 5*y(v). Suppose -r + 4*r + 12 = 2*i, 2*i - 5*r = 16. Is 8 a factor of j(i)?
True
Suppose 3675 = 5*m - 1240. Does 58 divide m?
False
Let z = -832 + 1390. Does 62 divide z?
True
Suppose 26 = -3*r - 37. Let g = r - -30. Suppose -p + 81 + g = 0. Does 14 divide p?
False
Suppose 10 = -k + 6*k. Suppose -3*u + 166 = k*b, 0*u = 5*u + b - 265. Is u a multiple of 26?
True
Suppose -4*m + 4*h = 8, 5*m = -2*h + 8 + 17. Suppose -2*v - m*n + 57 = 0, 3*n = 4*v + v - 111. Is v a multiple of 12?
True
Does 17 divide (-4)/10 + ((-392)/(-5))/1?
False
Suppose 3*g = 300 + 354. Is g a multiple of 10?
False
Let y(j) = -2*j + 13. Suppose 0 = -3*f - 5*x - 23, 5*x = -f + 6*f + 25. Let u be y(f). Suppose 4*h - u = 7. Is 8 a factor of h?
True
Suppose 0 = 62*o - 2175 - 1917. Does 6 divide o?
True
Let q(r) = r**3 + 8*r**2 + 7*r - 2. Let h be q(-5). Suppose a = 5*o - h, -2*o + 5*a - 50 = -7*o. Is o a multiple of 8?
True
Let y(f) = -2*f - 17. Let n be y(-9). Suppose 4*s = -5*t - 20, -t - n = 2*s + 9. Is 3 a factor of (t - -3)*12/9?
False
Let r(n) = 2*n**3 + 56*n**2 - 43*n - 1. Is r(-28) a multiple of 18?
False
Suppose 15*z - 13*z - 174 = 0. Let k be z - (-5)/((-5)/3). Suppose -2*p + k = 2*p. Does 14 divide p?
False
Suppose 0 = -a - 3*a + 12. Suppose 0 = -4*f + 5*f + a. Is 27 a factor of 5*((-84)/(-10) + f)?
True
Let m(y) = 3*y**2 + 12*y + 4. Let i(v) = 6*v - 2. Let l be i(2). Suppose -a = -3*a - l. Does 19 divide m(a)?
True
Let u(l) = -386*l + 257. Does 11 divide u(-7)?
True
Let t(y) = -2*y - 5*y + y. Let i = 561 + -567. Does 20 divide t(i)?
False
Let z(m) = m**2 + m + 1. Suppose 9 = 2*i + 1. Suppose i*h = -2*d + 24, -7*d - 10 = -2*d. Does 18 divide z(h)?
False
Suppose 0 = -4*x - 2*g + g + 13, -4*g + 10 = -5*x. Suppose -5*j + 15 = -x*j. Suppose -2*a - 2*a + 533 = 5*k, 3*k + j*a = 325. Is k a multiple of 22?
False
Let j be -3*(0 - 3/(-3)). Let k be 1*3 - 15/j. Let p = 32 - k. Is 8 a factor of p?
True
Let y be 62/(-5) + 4/10. Let l be ((-68)/y)/(3/9). Suppose 0*c + l = 2*r + c, 3*r - 13 = c. Does 3 divide r?
True
Suppose -4*q = 2*i - 268, -4*q + 149 = i + q. Does 8 divide i?
False
Let d be 1 + -1 + 0 + -5 + 14. Let s(b) = b**2 + 7*b - 8. Is s(d) a multiple of 34?
True
Let x(q) be the first derivative of -q**2/2 - q - 3. Let g be x(-3). Does 4 divide g/3*(-45)/(-2)?
False
Suppose 2*z = -5*q + 171, q + 6*z - 42 = 3*z. Suppose -8 = t - q. Suppose -4*r - t + 157 = 0. Does 11 divide r?
True
Let n = -525 - -669. Does 8 divide n?
True
Suppose 0 = y - 4*f - 650, 2*y - 2*f - 1046 = 284. Is y a multiple of 10?
True
Let m(v) = v**2 + 10*v + 15. Let q be m(-9). Suppose 0 = -q*j + 10*j - 324. Is 15 a factor of j?
False
Let h(o) = 32*o**2 - 10*o + 4. Does 14 divide h(2)?
True
Let d be (-4)/7 + 424/7. Suppose -5*q + d = -20. Suppose -3*k - 4*s + 220 = 0, 0 = -k + s + q + 55. Is k a multiple of 9?
True
Suppose 0 = 52*s - 735 - 19649. Is s a multiple of 98?
True
Suppose 5*w = 3*w + 3*y + 1478, 3*w + 2*y - 2217 = 0. Is (-12)/66 + w/11 + 1 a multiple of 17?
True
Let k = -37 - -23. Is 8 a factor of 553/49 + 4/k?
False
Suppose 70 = -y + 69. Is y + 29 + (-9)/(-9) a multiple of 5?
False
Suppose -8 = 2*u - 6*u + 2*v, -v - 6 = -4*u. Is 118/u + -4 - 2 a multiple of 9?
False
Suppose 4*z = 1862 + 5226. Does 65 divide z?
False
Is (3 - (-2 + 6))/((-2)/806) a multiple of 25?
False
Suppose b + 237 = 3*j - 0*b, 4*j + 4*b - 316 = 0. Is j a multiple of 8?
False
Let d(w) = -3*w**2 - 9*w + 0*w**2 + 6*w**2 - w**2. Is d(8) a multiple of 12?
False
Suppose -3*h + 63 = 2*x - 0, -4*h = -4*x + 156. Suppose -r + 5*r = x. Is 6 a factor of r?
False
Let n = 30 - 27. Suppose -5*o = 4*v - 217, 179 = 4*o + n*v + 2*v. Does 15 divide o?
False
Let l(y) = 6*y**2 - 75*y + 15. Is 13 a factor of l(14)?
False
Let c = -1256 + 1698. Does 17 divide c?
True
Let d = -15 + 36. Let t = 13 + d. Suppose -2*b + b + t = 0. Is 17 a factor of b?
True
Let p(g) = 0*g**3 + 3*g - 12*g**2 - 3*g**3 + 2*g**3 - 6 - 4*g. Let o be p(-12). Suppose 0 = h - o*h + 410. Does 21 divide h?
False
Let k(x) = -2*x - 19. Let g(q) = -q - 11. Let s(n) = -2*n - 23. Let i(u) = -5*g(u) + 2*s(u). Let f(l) = -9*i(l) - 4*k(l). Does 2 divide f(-7)?
True
Let w be (-56)/(-6) + (-3)/9. Suppose -3*i = 5*u - 2*i + 7, 0 = u + 4*i + w. Is (1 - u)*(-408)/(-16) a multiple of 12?
False
Let v = -29 + 33. Suppose 6 + 198 = -v*x. Let i = 78 + x. Is i a multiple of 9?
True
Let c(q) = 5*q - 35. Let t(w) = -w - 1. Let k(a) = -c(a) - 6*t(a). Is 5 a factor of k(-21)?
True
Let q = 302 + -94. Is 52 a factor of q?
True
Let y(b) = -b**3 + 8*b**2 - 6*b + 8. Let k(q) = q**3 + 12*q**2 - 12*q - 5. Let g be k(-13). Let p = 25 + g. Is y(p) a multiple of 4?
False
Is 80 a factor of 1530 - (-17)/(119/(-70))?
True
Suppose 11*k - 9000 = 6015. Suppose -14*h + 7*h + k = 0. Does 9 divide h?
False
Suppose 37*c = 33*c + 364. Is c a multiple of 3?
False
Let g(j) be the third derivative of -j**6/360 + j**5/10 - j**4/12 + j**3/3 + 3*j**2. Let w(k) be the first derivative of g(k). Does 10 divide w(8)?
True
Suppose 2*n + 0*n = -3*k + 218, -3*n - 2*k = -322. Let h = n + -71. Is h a multiple of 7?
True
Suppose -z - 170 = 4*z. Let b(r) = -11*r**3 - 2*r**2 + 4*r + 5. Let y be b(-2). Let k = y + z. Is 17 a factor of k?
False
Suppose 4*t - 3*t = 330. Suppose 2*i + 3*n = 113, 5*i - n - t = n. Is 16 a factor of i?
True
Suppose l - 143 = 58. Is l a multiple of 8?
False
Let u = 1556 - 342. Is 69 a factor of u?
False
Let l be 4/14 + 95/35. Suppose t + 4*s + 85 = 4*t, -78 = -3*t - l*s. Is 18/t*(1 + 8) a multiple of 6?
True
Let j(c) = -c**3 - 5*c**2 + c + 10. Let a be j(-5). Suppose -4*i - 4*l + 64 = 0, -a*l - 1 = i - 9. Suppose b = 91 - i. Is 17 a factor of b?
False
Let o = 42 + -25. Suppose 2*v - o = 33. Let u = v - -29. Is u a multiple of 18?
True
Suppose -4*m - 137 = -377. Is 60 a factor of m?
True
Suppose 2*u - 128 = -40. Suppose 0 = -6*y + u + 172. Is y a multiple of 4?
True
Suppose 0 = -5*i + z + 571, -3*i + 0*z = -4*z - 346. Is i a multiple of 5?
False
Let r be (0 - 1)/(1/(-2)). Suppose r*z + 2*q - 151 = -3*z, -5*q = -5*z + 130. Is z a multiple of 7?
False
Suppose -k + 122 = k. Suppose 3*d + 10 = k. Is 17 a factor of d?
True
Let c be 77/15 + 8/(-60). Suppose 24 = c*m + 3*b - 53, 66 = 4*m - 2*b. Is m a multiple of 2?
True
Does 35 divide 210*(7/(-14) + 1)?
True
Suppose 2*g + 13*g = 4455. Is g a multiple of 11?
True
Let y = 788 - 365. Is 25 a factor of y?
False
Let s(m) = -m**3 - 7*m**2 - 8*m. Let q be s(-6). Suppose u = -8 + q. Suppose u*y + 92 = 8*y. Is y a multiple of 5?
False
Let b = 76 + -74. Suppose -b*u = -31 - 53. Is 8 a factor of u?
False
Let q be ((-42)/35)