 - 1497. Suppose -12*v + 21*v = -b. Let k = 100 + v. Does 14 divide k?
True
Let y be (6/(-4))/((-24)/56)*2. Suppose 4*p + 204 = y*p. Let r = 88 - p. Is 2 a factor of r?
True
Suppose -16*m - 2*s = -19*m + 401, 0 = -2*m - 5*s + 242. Suppose -555 = -146*p + m*p. Is p a multiple of 6?
False
Let m = -80 + 83. Let k(s) = -9 + s - 41*s**2 + 37*s**2 - 2*s**3 + 5*s**3. Is 13 a factor of k(m)?
True
Does 49 divide -8 - -14 - 485691/(-92)*(0 - -4)?
False
Let g(f) = 2128*f - 2465. Is 75 a factor of g(5)?
True
Let a = 16593 + 1041. Is a a multiple of 17?
False
Suppose -62*t = -47*t - 5790. Is t a multiple of 3?
False
Suppose 4*m = 4*n + 66780, -5*m - 16*n = -20*n - 83472. Is m a multiple of 78?
True
Suppose -315304 = -79*l + 62*l + 418569. Does 82 divide l?
False
Let g(i) be the third derivative of -1/6*i**4 + 4*i**2 + 5/2*i**3 + 0*i + 0. Is g(-17) a multiple of 20?
False
Let p be ((-1)/1)/(1/(-3347)). Suppose -11*k + p = -1779. Let z = k + -312. Does 25 divide z?
False
Suppose 27353 = 27*t - 62152. Is t a multiple of 13?
True
Does 52 divide 3/(-7) - 139788/(-28)?
True
Let d = 12797 + -12195. Does 7 divide d?
True
Does 6 divide (-7)/56*14153*-8?
False
Let j be 4/(-20)*-5*-7. Let d = -3 - j. Is 2 + d + 5*14 a multiple of 19?
True
Let f be 12/(((-112)/12)/(-7)). Suppose -7*g + 44 - f = 0. Suppose 0 = 2*s - 4*w + 8*w - 404, 1017 = g*s + 3*w. Does 17 divide s?
True
Let u = 389 - 149. Suppose 125*t - 133*t = -u. Does 5 divide t?
True
Let z = -152 - -162. Suppose 0*y + 4*a = -y + z, -5*y + 20 = 5*a. Suppose 3*g + y*h - 718 = 0, 4 = -5*h - 1. Does 40 divide g?
True
Let u = -841 - -1411. Let z = -290 + u. Does 8 divide z?
True
Let j(i) = i**3 + 3*i + 8. Let c(t) = -2*t**3 - t**2 - 7*t - 17. Let f(z) = 4*c(z) + 9*j(z). Let u be f(4). Let y = u + 84. Is y a multiple of 14?
True
Let f(k) be the first derivative of 1/3*k**3 - 26*k + 5/2*k**2 - 3. Is 12 a factor of f(14)?
True
Suppose 17*d + 26*d + 184800 = 76*d. Is 25 a factor of d?
True
Suppose -3*v - 7905 = -4*q, 1570 = q - 3*v - 413. Does 7 divide q?
True
Suppose 1137 = 26*r - 4583. Is 4 a factor of 12/((-6)/r*-5)?
True
Let q be 1/(-3) - 88/33. Does 15 divide q/(3 + 1144/(-380))?
True
Let x(h) be the third derivative of -h**4/24 + 13*h**3/2 - h**2. Let f be x(0). Let k = 66 - f. Is k a multiple of 6?
False
Let l = -143 - -489. Is l a multiple of 2?
True
Let x be (-1274)/(-11) + (-36)/(-198). Suppose 4*l = 2*b - x, -2*b = 2*b + 4*l - 256. Is b a multiple of 49?
False
Is ((-15)/(-6)*1167/30)/((-16)/(-320)) a multiple of 20?
False
Suppose -681 = -5*i - 2*c, -35*i + 38*i - 417 = 3*c. Does 16 divide i?
False
Let v be (0 - -3)/(-1*15/140). Does 19 divide 2*1569/9 + v/42?
False
Let v = 18776 + -17588. Does 44 divide v?
True
Let p(j) = -39*j - 190. Let l be p(-5). Suppose -c = l*u - 779, -2*u = 3*u - 5*c - 755. Does 14 divide u?
False
Suppose 5*b - 1 + 26 = 0. Let a be 0 - (3*b)/1. Is 1530/25 - 3/a a multiple of 7?
False
Suppose 62*z - 37596 = -4*k + 58*z, 3*z - 9397 = -k. Is 25 a factor of k?
True
Is 94 a factor of (4 - 588/(-8))*(-6540)/10*-1?
False
Suppose -235 - 203 = 6*p. Let h = p + 76. Suppose -u - h = -5*d + 3, -d + 3 = 0. Is 8 a factor of u?
False
Let s(t) = 2*t**2 + 6*t + 6. Let z be s(-2). Let y be (z - 4)*-1 + -4. Does 9 divide (y + 1)/(1/(-9))?
True
Let p = 300 + -58. Let i = 10484 - 10479. Suppose 7*w - p = i*w. Does 11 divide w?
True
Is 128 a factor of ((-51404)/(-10) - -5) + (-26)/65?
False
Let t(d) = -535*d - 398. Is t(-7) a multiple of 14?
False
Suppose 170*o - 3*o = 626584. Is o a multiple of 20?
False
Suppose -15*t - 5958 = 3462. Does 16 divide ((-33)/(-33))/((-2)/t)?
False
Let i be ((-7)/5)/(8/(-1400)). Let d = i + -208. Is 9 a factor of d?
False
Suppose -2*h - 3*h = 0, 2*c - 50 = -2*h. Let j(y) = -24*y**3 + c*y**3 + 8*y - 5*y**2 - 3*y**2 - 11. Is j(8) a multiple of 14?
False
Let x be -27 - (0/(-2) + 8)/8. Let u = 83 + -152. Let k = x - u. Does 5 divide k?
False
Suppose 0 = -2*f + 38. Let k = -15 + f. Suppose 199 = k*l - 53. Is l a multiple of 21?
True
Is 86 a factor of -1*(-37937 - 20) + -2?
False
Let v = -5 + 12. Let z(k) = 5*k + 22. Is z(v) a multiple of 19?
True
Let o = -33 - -47. Let t be (-16)/56 + (-388)/o. Let a = t - -86. Does 16 divide a?
False
Is (15 - (2299 + -4))*1/((-10)/108) a multiple of 9?
True
Suppose -3*a + g + 56277 = -8579, 0 = -g - 8. Is 56 a factor of a?
True
Suppose -4*z = 4*p - 32, 8*z = 3*z - 3*p + 40. Suppose 10*o - 30 = 7*o. Suppose z*h - o = 6*h. Does 5 divide h?
True
Suppose -3*z = 5*k - 14246, -4*k + 15 = -7*k. Is z a multiple of 6?
False
Suppose 28 = 5*a + 8. Suppose 0*h = -2*h - 2*m + 58, -a*m = 5*h - 144. Let q = h - 12. Is q a multiple of 8?
True
Suppose 5*l - 4*l = -p + 10, -5*p - 14 = -3*l. Does 48 divide (53*l/12)/(1/18)?
False
Let b(n) be the third derivative of 5*n**4/24 + 27*n**3/2 + 158*n**2. Is 17 a factor of b(-6)?
True
Let w(v) be the first derivative of 3*v**4/4 + v**3/3 + 9*v**2/2 - 3*v + 3. Let g(f) be the first derivative of w(f). Is g(-3) a multiple of 14?
True
Let g be (9 + 0)/(4/252*7). Suppose 909 = d + g. Is d a multiple of 69?
True
Let w = 18958 - -3644. Is w a multiple of 49?
False
Let y = 66169 - 45121. Is y a multiple of 12?
True
Suppose 36745 = 6*g - 15387 - 11708. Does 38 divide g?
True
Let t(d) = d + 25. Suppose 5*a = 3*v + 95, -v + 9*a - 4*a - 45 = 0. Let h be t(v). Suppose h = -2*s + 3*i + 375, i + 88 = s - 102. Does 15 divide s?
True
Let i(b) = -b**3 + 11*b**2 + 10*b - 21. Let x(v) = -3*v**2 + 0*v**2 + 1 + 2*v**2. Let y(k) = -i(k) + x(k). Is 24 a factor of y(13)?
False
Let s = 65072 - 32289. Is 16 a factor of s?
False
Let d = 431 + -427. Suppose -2*z = -d*o - 880, 3*z + o - 320 = 972. Is 18 a factor of z?
True
Suppose -t + 3*j + 11 + 3 = 0, 5*t = 5*j + 30. Suppose 3*c + 506 = 2*b - 114, 0 = t*c - 5*b + 428. Let u = -134 - c. Is u a multiple of 27?
False
Let a = 466 - -73. Let r = a - 341. Does 11 divide r?
True
Let m be -9 + 0/(-2 + -1 + 4). Let a(c) be the second derivative of c**5/20 + 3*c**4/4 - c**3/2 + c**2 - 8*c. Is a(m) a multiple of 2?
False
Suppose -c - 18 = y - 125, -211 = -2*c - 5*y. Is 3 a factor of c?
True
Is 44 a factor of 80/(-520) - 21166/(-13)?
True
Let i = 63 + -60. Suppose -3*f = -2*y - 319 - 390, -4*y = i*f - 697. Is f a multiple of 33?
False
Let c be (78 - 78)/(-1 + (0 - 0)). Suppose -58 = 5*n + 3*r, -5*n + c*r - 74 = -r. Is (-441)/n*(3 - 1) a multiple of 13?
False
Let r(h) = 95*h**2 + 20*h - 13. Is r(-3) a multiple of 46?
True
Suppose 5*p - 5 = 0, 4*t + 0*p - 1 = 3*p. Let v be (10 - 2) + t + -2. Suppose -2*q = v*q - 567. Is q a multiple of 7?
True
Let j = -7 + 10. Let s be 35/11 + 18/(-99). Suppose -j*d + 131 = p, -2*d - 2*d + 166 = -s*p. Is 5 a factor of d?
False
Suppose -1491*r = -1487*r - 3504. Is r a multiple of 12?
True
Let t = -174 + 174. Suppose -3*h + 25 + 74 = t. Is h a multiple of 11?
True
Let p be 1/5 + 2/(-10). Suppose 2*h - h = -3*o + 107, 3*o + 4*h - 104 = p. Does 6 divide o?
True
Suppose -5*f + 2*d + 1500 + 1252 = 0, -4*d - 1088 = -2*f. Let t = f - 300. Does 63 divide t?
True
Let i(o) = -102*o - 582. Let z be i(-11). Let r(m) = 12*m**2 - 6*m + 7. Let s be r(-5). Suppose 4*u - z - s = -3*d, 4*d = 3*u - 664. Does 44 divide u?
True
Is (-1*1394/(-4))/(-9 + 13150/1460) a multiple of 45?
False
Let k(g) = -2*g**3 - 11*g**2 - 94*g - 855. Is k(-12) a multiple of 33?
True
Suppose 12*p - 211 = 11*p + 2*d, 4*d = -3*p + 613. Suppose 79 = 11*o - p. Is 13 a factor of o?
True
Let s(z) = -z**3 + 20*z**2 + 44*z + 42. Let v be s(23). Is 9 a factor of 2/13 - 319185/v?
False
Let i(m) = 413*m - 266. Let q(p) = -7*p - 52. Let n be q(-8). Is i(n) a multiple of 11?
True
Let t = -73 + 9. Let r = 62 + t. Is 25 a factor of (58 - r)*((-20)/(-3))/2?
True
Let i(s) = -s**3 + 12*s**2 - 12*s + 75. Let u be (0 - -1*6) + (-4 - -9). Does 32 divide i(u)?
True
Suppose 8*b - 71032 - 450060 = -14*b. Is 90 a factor of b?
False
Suppose -3*z = -7*z - 88. Let k = 25 - z. Suppose 5*h + p = -3*p + k, 36 = 4*h + 4*p. Does 2 divide h?
False
Suppose 0*w - w - 2 = 3*j, 2*w - 2*j - 28 = 0. Is 5 a factor of (1/w*12)/((-15)/(-250))?
True
Is 37 a factor of (1 - 3711)*(4 + (-4)/((-16)/(-18)))?
False
Let d be (-12)/((-480)/(-850)) + 1/4. Is 14 a factor of 22*d/(-2) - 7?
True
Is (-462)/12*(-288)/42 a multiple of 8?
True
Suppose -3 = 3*f - 0*f, 9 = y - 5*f.