True
Suppose -5*v + 10578 = 2*n + 2307, 2*v = 3*n - 12454. Does 4 divide n?
True
Suppose 3*y + 2*c - 49 = 0, 0 = -3*y + 4*c + 16 + 3. Let d(w) = 26*w + 7 - 2*w**2 + y + 26*w. Is d(25) a multiple of 14?
True
Suppose 0 = -2*o - 3*a - 10, -5*o + a + 3 = -6. Let r be (-2)/((-5)/470*o). Suppose -r = -3*l + 331. Is l a multiple of 35?
False
Let j = 237 - -450. Let c = j - 472. Does 6 divide c?
False
Let u = -45 + 49. Suppose -3*v - 12 = -u*x + x, 3*v + 20 = 5*x. Is -5 + 6 + (20 - v) a multiple of 7?
True
Suppose 2*r + 3*m = 0, r = 4*m - 5*m. Suppose -3*l - 5*i + 101 + 147 = r, -5*l - i = -450. Is l a multiple of 12?
False
Let f(b) = -74*b - 4412. Does 17 divide f(-61)?
True
Let y(x) = -3*x**2 + 14*x - 3. Let b be y(4). Suppose 5*d = b + 30. Suppose d*j - 2*j = 740. Does 37 divide j?
True
Let o be 627*2/6*-5. Let w = 1579 + o. Suppose 0*t = 5*a - t - w, 3*t = -3*a + 306. Does 25 divide a?
False
Is 453*(190/(-19) + 13) a multiple of 196?
False
Let s(k) = k**2 - 6*k - 7. Let p be 2/(-4) - (1425/(-6))/(-5). Let f be (p/(-2))/(16/8). Does 49 divide s(f)?
False
Suppose 18*r + 125 - 305 = 0. Is 5 a factor of r?
True
Let b(n) be the third derivative of 25*n**4/8 + 86*n**3/3 - 145*n**2. Does 8 divide b(3)?
False
Suppose b - 4 = 4*v, -4*b - 4*v + 6*v = -86. Suppose -y = -5*y + 4*k + b, -4*y + 15 = -k. Suppose 3*h - 298 = -2*t, -t - 3*t - 304 = -y*h. Is 27 a factor of h?
False
Let c(f) be the second derivative of -f**7/840 + 7*f**6/360 - f**5/60 - f**3/3 + 13*f. Let v(q) be the second derivative of c(q). Is 10 a factor of v(3)?
True
Suppose 3*o + 1380 = 3*a, 7*a - 3*a = -4*o - 1872. Let h = 664 + o. Is 21 a factor of h?
False
Suppose -16 = 5*t - 11. Let x(h) = -7*h**3 - 2*h**2 - 2*h - 1. Does 6 divide x(t)?
True
Suppose 83*w = 305*w - 1869684. Does 129 divide w?
False
Suppose -3*v + 28178 = 2*z, 2*z - 1721 = -2*v + 26457. Does 18 divide z?
False
Let t(b) = 49*b**2 + 159*b - 9. Is t(-12) a multiple of 4?
False
Let h(b) = 6*b**3 + 2*b**3 - 2*b**2 - 1 + 3*b - 6*b**3 - 2*b. Let z be h(-4). Does 11 divide 1 + (304/30 - (-22)/z)?
True
Suppose -3*r - 10 = -19. Let a be -1 + (-2)/(-4) - (-99)/22. Suppose 2*b = -r*f + 286 + 54, a*f - 460 = 4*b. Is 19 a factor of f?
True
Let i(l) = l**3 - 5*l**2 + 5*l - 2. Let m be i(6). Let a be ((-80)/m)/((-1)/4). Does 26 divide (4/a)/((-4)/(-1170))?
True
Let c(v) = -v**3 - 5*v**2 - 2*v - 1. Let r be c(-5). Suppose 276 = r*b - 7*b. Is ((-20)/12 - -2)/(1/b) a multiple of 23?
True
Suppose -23*n + n + 286 = 0. Suppose 5*k + 655 = 5*y, -5*y + 10*k + 655 = n*k. Is y a multiple of 13?
False
Let d = -57 + 57. Suppose -3 = 5*v - 10*v - q, -4*v - 3*q + 9 = d. Suppose 5*j - 5*u - 310 = v, 5*j = -4*u + 7*u + 304. Does 13 divide j?
False
Let j be 1204/(-7 + 0)*(-1)/2. Let k = 218 - j. Is k a multiple of 12?
True
Let h(t) be the third derivative of -t**4/24 + t**3/6 - 9*t**2. Let p be h(-3). Suppose 36 = p*z - 120. Is 5 a factor of z?
False
Suppose 4*z - 5*a = 64, -8*z = -13*z - a + 80. Let t = 26 + z. Does 7 divide t?
True
Suppose -a - x = -135, -2*x = 5*a - 7*x - 675. Suppose -182*z + a = -181*z. Is 15 a factor of z?
True
Let y be (-3966)/(-10) - 12/20. Suppose y = -19*q + 31*q. Is q a multiple of 5?
False
Suppose 0 = 2*d - 4*c + 3*c - 15, 5*c + 3 = -2*d. Let o be -3*d*1/(-2). Let r(z) = 8*z - 15. Does 9 divide r(o)?
False
Let i = 33765 + 3592. Is 34 a factor of i?
False
Suppose -411257 = -116*j + 346803. Does 158 divide j?
False
Let i be (0 + 3/12)*28. Let g(t) = t**3 - 6*t**2 - 8*t + 9. Let c be g(i). Suppose -2*h + c = -8. Is h a multiple of 5?
True
Suppose -3*g + 921 = 5*u - 2*u, 0 = -2*u - 2. Suppose 0*w - 37 = -4*w + 5*z, -2*w = 3*z + 9. Suppose -g = -p - w*p. Is 10 a factor of p?
False
Let m = 248 - 129. Suppose 2*j + 47 = 3*j. Let n = m - j. Is n a multiple of 8?
True
Suppose -31255 + 5942 - 12847 = -18*i. Is i a multiple of 23?
False
Let m = 3366 + -3374. Let k = -12 - -6. Is 12 a factor of (m + 193)*k/(-10)?
False
Suppose 45*g - 96906 = 64374. Is g a multiple of 55?
False
Let a(m) = 6061*m**2 - 15*m - 42. Is a(-2) a multiple of 52?
True
Suppose 81*z = 57*z + 41400. Is 10 a factor of z?
False
Let g be 2 - (62 - (-6)/(-6)). Let r = -35 - g. Is 12 a factor of r?
True
Let s(l) = 11*l**2 + 15*l + 20. Let k(n) = 7*n**2 + 10*n + 13. Let x(i) = 8*k(i) - 5*s(i). Let h be x(-6). Let v(j) = 21*j. Does 42 divide v(h)?
True
Suppose -v - 222 = -0*v. Let j = -181 - v. Is j a multiple of 41?
True
Suppose 36 - 16 = 5*h. Suppose h*w - 283 = -s, -405 = -s + 5*w - 131. Is s a multiple of 9?
True
Suppose -62650 + 210444 = 44*s - 102874. Does 86 divide s?
False
Let y(k) = -37*k + 1. Let p be y(-8). Let j = -608 + 611. Suppose -j*a = -5*u - 195, 4*a + u = -a + p. Does 10 divide a?
True
Let q be 8 - (0/4 - -5). Suppose 5*k + q*v = 342, -4*k - 5*v + 0*v + 284 = 0. Does 66 divide k?
True
Suppose m = -2*m + 6. Suppose 9 = -2*h - 5*o, o = 3*o + m. Does 2 divide (-1)/h + ((-9)/(-6) - -2)?
True
Suppose -o - 5 = -3*s, -4 = 5*s + 3*o - 17. Suppose s = 3*n - n - f, -2*n - f + 10 = 0. Suppose 1160 = 2*t + n*t. Is t a multiple of 24?
False
Suppose 1309*l = 1327*l - 16200. Is l a multiple of 12?
True
Suppose -1 = -4*k - 3*w + 5, -3*k = -2*w + 4. Suppose 170 = 2*a - o, -5*a + 410 = -k*a + 5*o. Is 10 a factor of a?
False
Let x = -256 - -274. Suppose 0 = -b + 4*v + 185, -x*b = -22*b - 3*v + 740. Is 7 a factor of b?
False
Let m(n) = n + 2 + 3 + 0 - 4. Let v(c) = -2*c + 25. Let d(p) = 4*m(p) - v(p). Is d(6) a multiple of 6?
False
Let k = 8122 - 3624. Is k a multiple of 26?
True
Let r be (6/(-15)*1)/((-29)/290). Suppose -r*u - 2852 = -5*c, -2*u = 4 - 8. Is 60 a factor of c?
False
Let i = -14196 + 23796. Is 8 a factor of i?
True
Suppose 181469 = 31*n - 100259. Suppose 0 = 11*d - 1296 - n. Is d a multiple of 16?
True
Suppose 3*t - 530 = -5*l, -682*l - 347 = -2*t - 679*l. Does 47 divide t?
False
Let k(w) = -14*w**3 - 8*w**2 - 29*w - 10. Let n be k(-6). Suppose -3*d = -13*d + n. Does 58 divide d?
True
Let b(r) be the third derivative of -r**6/120 + r**5/30 + r**4/4 + r**3/6 - 62*r**2 - 2. Is b(3) even?
True
Suppose -589 = -3*y + 5*j + 3303, -5*j + 5 = 0. Is 3 a factor of y?
True
Suppose -4*q - 3*w + 337 = -3*q, -2*w + 4 = 0. Suppose n = 4*s - 3430 - q, 0 = 5*s + n - 4699. Is s a multiple of 74?
False
Let i = 15666 + -3546. Is 10 a factor of i?
True
Let o = 900 - 559. Is 3 + o + -7 + 0 a multiple of 24?
False
Let y(o) = o**3 + 17*o**2 + 2*o + 67. Is y(-7) a multiple of 12?
False
Suppose -546*n - 189131 = 557*n - 1134*n. Is 116 a factor of n?
False
Let m(o) = 62*o**3 + 8*o**2 - 46*o + 4. Is m(4) a multiple of 44?
True
Let r(v) = 26*v**2 - 16 + 0*v**3 - 111*v + 90*v + 0*v**3 - v**3. Does 14 divide r(25)?
True
Suppose 4*w - 230*i - 4743 = -231*i, -3*w - 5*i + 3536 = 0. Is 2 a factor of w?
False
Suppose -11*i + 5*i = -12. Suppose 0 = -i*d + 2*h + 18, -4*d - 2*h + 7*h + 41 = 0. Does 13 divide 2*((-342)/d)/(-9)?
False
Let m(v) = 71*v - 26. Let t be m(10). Let s = -297 + t. Is 30 a factor of s?
False
Let n(w) = -w**2 + 14*w + 15. Let f be n(9). Let z = f + 38. Is z a multiple of 14?
True
Let z(u) = 127*u**2 - 22*u - 3. Let y be z(2). Let r = y + -212. Is 46 a factor of r?
False
Suppose -9*d + 14*d = -100. Is (32/d)/(2*3/(-720)) a multiple of 24?
True
Does 280 divide 51/((8 - 1369950/171255)/(4/7))?
False
Let u(z) = -z - 9. Let w be u(-5). Let d(m) = 29*m**2 - 30*m - 126. Is d(w) a multiple of 6?
False
Let m = 2733 - 1515. Is m a multiple of 14?
True
Suppose -12 + 2 = -5*u. Suppose n - 3*w - 137 = 0, 541 = -u*n + 6*n - 5*w. Is 56 a factor of n?
False
Let b(c) = c**3 + 28*c**2 + 11*c + 251. Is 16 a factor of b(-23)?
False
Let w = -447 - -449. Suppose 3*x + 3*c - 1335 = 0, -x - 7*c + w*c = -461. Is 8 a factor of x?
False
Suppose -5*k - 4*g = -22 - 33, 5*g = k - 11. Let r = k - -149. Is 16 a factor of r?
True
Suppose -51*w + 55*w = -628. Let h = w - -1012. Suppose 4*m = -3*b + 610, -4*b + 3*m = -0*m - h. Is b a multiple of 14?
True
Let y(x) = x + 3. Let z be y(-3). Suppose z*d = -7*d + 112. Suppose -3*h + 2*p = -100 + d, 5*h + 4*p = 118. Is h even?
True
Let n(c) = c**3 + 174. Let h(g) = -1. Let m(s) = -s + 2. Let u(d) = -6*h(d) - 3*m(d). Let x be u(0). Is n(x) a multiple of 41?
False
Suppose 41*u - 23639 - 23716 = 0. Suppose -3*i = -3*t - 36, -20 = 6*t - t. Suppose 4*q = i*q + 3*p - 924,