True
Suppose 0 = 19*r - 17*r - 2886. Suppose 9*p - r - 5280 = 0. Is 9 a factor of p?
True
Is 13 a factor of (-320)/6*(-286)/(-33)*810/(-75)?
True
Suppose 4*d - 2*s = 3*s - 4941, 25 = 5*s. Let g = -709 - d. Is 40 a factor of g?
True
Suppose 81687 = 3*f - 5*m + 2*m, -3*f = 3*m - 81723. Is f a multiple of 13?
True
Let h be 1/(-1)*1*0. Suppose 4*u = a + 256, -4*a = -h*u - 3*u + 205. Let o = u + -41. Is o a multiple of 3?
False
Suppose -v - 5 = 4*b, v - 15 - 4 = 2*b. Let h(g) be the second derivative of g**5/20 - 5*g**4/6 + g**3 - 5*g**2/2 - 7*g. Is 13 a factor of h(v)?
True
Let i = 1099 - -9404. Does 121 divide i?
False
Suppose -5*t - 2*x = -154 - 24, -4*t - 2*x = -144. Let w be (t/6)/((-5)/75). Is 10 a factor of 2448/w*1*-5?
False
Suppose -4446 = 6*v - 20124. Is v a multiple of 5?
False
Let s = 2696 + -1908. Suppose 0 = 3*q - s - 715. Does 62 divide q?
False
Let z = -569 + 911. Suppose z = -3*v + 1533. Does 22 divide v?
False
Let s be 10/(-25) + 2/5. Suppose s = 4*y + 3*n + 231, 3*y + 65 + 82 = 3*n. Let z = y - -83. Is 14 a factor of z?
False
Let t(v) = 30*v - 210. Let g = 434 + -425. Does 4 divide t(g)?
True
Suppose -89*i = -1300121 + 325927. Is i a multiple of 19?
False
Let h(c) = 34*c - 1. Let p(v) = 16*v + 49. Let n be p(-3). Does 8 divide h(n)?
False
Is 370 + 25 + (12 - 1) a multiple of 58?
True
Let i be (1*(-26 + 3))/1*-5. Let f = i - -540. Does 12 divide f?
False
Let y = -2817 + 18726. Does 13 divide y?
False
Let x be ((-13)/(78/12))/(4/(-534)). Suppose f = -5*q + x, -4*f + 1032 = 4*q - 2*q. Is f a multiple of 50?
False
Is ((-1476)/(-24))/(2/332) a multiple of 83?
True
Let w(r) = 5*r**2 + 10*r - 19. Suppose -3*o - o = -2*t + 22, 26 = 2*t - 5*o. Is 8 a factor of w(t)?
True
Let v be ((-80)/(-84) + 10/(-35))*-180. Let y = v - -375. Does 6 divide y?
False
Let f = 292 + -287. Let y = 138 + f. Is y a multiple of 13?
True
Suppose -840 = -8*g - 40. Is 3 a factor of g/(-30)*54/(-10)?
True
Let w(m) = 52*m**2 - 6*m - 92. Is w(14) a multiple of 32?
True
Suppose 172*v = 1127100 + 202116. Is 24 a factor of v?
True
Let w(r) = 2*r**3 + 8*r**2 - 4*r + 7. Let n be w(-4). Suppose -n*d + 21*d + 158 = 0. Does 7 divide d?
False
Suppose 2*c - 1248 + 588 = 0. Let l = c - 147. Does 15 divide l?
False
Suppose -14*o + 601 = -379. Is o a multiple of 20?
False
Let k be 12/(((-6)/48)/((-2)/12)). Let x be 21/6 - (-1)/2. Suppose -244 + k = -x*z. Does 10 divide z?
False
Let n = -344 + 344. Does 67 divide n + (7 - -285) - -5?
False
Let t be (-4)/(-14) + (-5664)/(-168). Suppose 189 + 185 = t*x. Does 11 divide x?
True
Let p(t) = 587*t**2 + 24*t - 53. Is 71 a factor of p(2)?
True
Let n(m) be the first derivative of -m**3/3 - 10*m**2 + 21*m - 26. Let a be n(-21). Suppose z - 5 = a, 5*l + 4*z - 325 = -z. Does 15 divide l?
True
Let o(r) = -38*r**2 + 8*r - 21. Let h be o(2). Let u = -140 - h. Is 3 a factor of u?
False
Suppose -3*f - 3180 = -5*j - 8*f, 3*f - 12 = 0. Is 20 a factor of j?
False
Suppose 0 = -11*u + 14*u - 2505. Suppose 0 = 5*k + 2*h - 842, -6*k + 11*k - 5*h = u. Is k a multiple of 12?
True
Suppose -1760 = 4*d + d + 3*s, d + 4*s = -335. Let a = d - -361. Does 3 divide a?
True
Let v(q) = q**2 + 21*q + 18. Let x(g) = -g**2 - 3*g. Let f(z) = v(z) - x(z). Suppose -13 = u - w, 5*u + 59 = -4*w - 6. Is 11 a factor of f(u)?
True
Let d(x) = -x**3 + 16*x**2 + 34*x + 49. Let h(b) = 4*b + 27. Let y be h(-3). Is d(y) a multiple of 49?
True
Is (-1)/((-21)/53973) - (-2)/(-14) a multiple of 14?
False
Suppose -3*j + c = -4*j, c + 12 = 2*j. Suppose -4*y = 4*v - 1972, j*y + 2*v + 1236 = 3210. Does 60 divide y?
False
Suppose -2*z - 4 = 0, 0*z + 2020 = v + 3*z. Does 70 divide -3 + (v - (-9 + 2))?
True
Let z(s) = 2*s**2 + 17*s - 24. Let k be z(-10). Suppose -20 = -k*n + 4. Suppose -3*a - 3*m + 810 = -0*m, -n*m + 805 = 3*a. Does 55 divide a?
True
Is -2 + 5 - ((-199786)/4 + 1/(-2)) a multiple of 18?
True
Let c = 2549 + -1230. Suppose -10*k = 69 - c. Is 66 a factor of k?
False
Suppose 0 = 6*f - 10*f + 480. Let z be (6/(-4))/((-20)/f). Suppose -7*o - 130 = -z*o. Is o a multiple of 14?
False
Suppose 0 = 2*i + 6 - 16. Suppose -55 = i*q - 690. Let k = 303 - q. Does 27 divide k?
False
Suppose 0 = 17273*n - 17274*n + 1024. Is n a multiple of 64?
True
Let w(n) = -1. Let h(p) = 8*p - 48. Let d(l) = h(l) + 2*w(l). Suppose o - 455 = -447. Does 7 divide d(o)?
True
Suppose -2*g - 2959 + 519 = -2*a, -5*g = -a + 1228. Let s = -698 + a. Is 6 a factor of s?
False
Let x be (-20605)/(-39) - 1/3. Let p = 2 + x. Is 53 a factor of p?
True
Let z = -74 - -77. Suppose 0 = s + z*w + 7, s = 4*s + w - 11. Suppose s*i + 3*u - 261 = 0, 3*i + u - 124 = 35. Does 13 divide i?
False
Does 149 divide ((-3219)/6 - 2)*(-116)/87?
False
Suppose 30012 - 3535 + 12562 = 77*d. Is 8 a factor of d?
False
Suppose 2*w - 8 = 0, 2*w = 6*b - 4*b - 7192. Is b a multiple of 25?
True
Suppose 232829 = 70*c + 8*c - 277213. Is 13 a factor of c?
True
Let c(v) = -3394*v**3 - 5*v**2 - 7*v - 2. Does 18 divide c(-2)?
True
Let w(i) = 9*i + 138. Let s be w(-22). Is (s/(-9))/((-10)/(-975)) - 1 a multiple of 41?
False
Suppose 0 = 409*h - 411*h - 58. Let g = 19 + -71. Let o = h - g. Is o a multiple of 4?
False
Suppose 0 = 3*y - 0*y - 5*l - 1451, -l = 3*y - 1481. Is 41 a factor of y?
True
Suppose 4*l + 6240 = -5*r + 20980, l = r + 3676. Is l a multiple of 92?
True
Suppose 4*g = 2*g - 5*u + 2, 34 = 2*g - 3*u. Suppose g*t = 14*t - 4*j - 45, 3*j + 45 = 3*t. Does 3 divide t?
True
Let l be 2/(-1) + 4 + 126/(-18). Let u be 58/10 + l + (-130)/(-25). Suppose 66 = u*q - 672. Is q a multiple of 34?
False
Let k(v) = 9*v. Let q be k(-3). Let y = q - -69. Suppose y = 5*r - 2*h - 64, r = 4*h + 14. Is r a multiple of 11?
True
Suppose 3*m = -5*v + 9450, 3779 = 144*v - 142*v + m. Is 17 a factor of v?
True
Let i be 1/(1/(-42) + (-13)/91). Let l be i/(-4)*(-16)/(-6). Suppose 387 + 525 = l*a. Is a a multiple of 46?
False
Let v(j) = -10*j**3 + 13*j**2 + 19*j + 13. Let y(q) = -5*q**3 + 7*q**2 + 10*q + 7. Let d(l) = -6*v(l) + 11*y(l). Is d(6) a multiple of 55?
False
Suppose 553711 + 509316 - 283176 = 233*t. Does 6 divide t?
False
Let n(a) = 42*a**2 - 3*a. Let h = -26 - -25. Let u be n(h). Suppose -20*y + 23*y = u. Is y a multiple of 15?
True
Let r(h) = -18*h**2 + h + 6. Let n(y) = -92*y**2 + 4*y + 29. Let q(m) = 2*n(m) - 11*r(m). Is q(-4) a multiple of 30?
False
Suppose -3277*v + 3260*v = -9503. Does 3 divide v?
False
Suppose 0 = -19*r - 13*r + 10*r + 184888. Does 191 divide r?
True
Let j(b) = -16924*b - 18. Is j(-2) a multiple of 170?
True
Let k(r) = -23*r - 31. Suppose 5*x = 38*x + 264. Does 12 divide k(x)?
False
Does 16 divide (-3508)/(-3) - (-833)/(-357)?
False
Let a = 14 + 1. Suppose 4*p + 3 = a. Suppose 4*b - u - 264 = 0, 2*b + p*u - 51 - 67 = 0. Is 16 a factor of b?
False
Let c = 50185 + -14157. Does 17 divide c?
False
Let c(t) = 5*t**2 - 78*t - 547. Does 10 divide c(-9)?
True
Suppose -269 = -5*t + 211. Suppose u = 5*u + t. Let k = 33 + u. Is 2 a factor of k?
False
Let c(k) be the first derivative of -5*k**2 - 34*k - 4. Let l(p) = 2*p + 1. Let i be l(-10). Is c(i) a multiple of 39?
True
Suppose 35 = 3*j + 4*u, 0 = -3*j - 0*u + 5*u - 10. Suppose -4*m + 2290 = j*w - 24, -923 = -2*w + m. Is 33 a factor of w?
True
Let m be ((-4)/(60/5))/((-6)/3492). Let x = m - -46. Is 5 a factor of x?
True
Let k = -466 - -516. Suppose k*m = 53*m - 864. Does 96 divide m?
True
Let u(v) = 3*v**3 - 64*v**2 - 164*v + 175. Let x(y) = -2*y**3 + 43*y**2 + 109*y - 117. Let h(g) = 5*u(g) + 7*x(g). Is h(22) a multiple of 4?
False
Let i be (2 - 3)/(0 + 3/(-6)). Suppose 4*d - i*g = 4722, -7*d = -9*d - g + 2371. Does 22 divide d?
False
Suppose -2*g = t - g - 10238, -2*g = 3*t - 30717. Does 10 divide t?
False
Let n = -855 - -811. Suppose 5*a = 3*m - 302, -m - 2*a + 110 = a. Let t = m + n. Is t a multiple of 20?
True
Suppose -32 = -2*b - 24, -2*y - 5*b = -90. Let x = 315 - y. Is x a multiple of 3?
False
Let w(v) = 27 - 17*v**2 - 23*v**2 - 33*v + 67*v**2 - 25*v**2. Does 4 divide w(20)?
False
Is 147376/32 + ((-21)/6 - (0 + -6)) a multiple of 24?
True
Let v = -9 + 9. Suppose 4*n + 3 + 5 = v. Is 2 a factor of 4/12*n*(-8 + -1)?
True
Let q(z) be the first derivative of -9 - 15*z + 1 - 2 + 6*z**2 + 2. Is q(11) a multiple of 26?
False
Let r = -34646 + 23831. Does 6 divide r/(-75) - 4/(-5)?
False
Suppose 7*t - 1 