19. Is 14 a factor of (-2 - -4) + k/2?
True
Let i = -360 - -350. Does 10 divide (-18 + -1)/(i/(110 - 10))?
True
Let p = -312 - -320. Suppose -y - 829 = -3*c, -c - p*y + 3*y = -255. Does 9 divide c?
False
Let q = 397 + -557. Let d = q - -15. Let b = -99 - d. Does 13 divide b?
False
Let m = 20 - 15. Suppose 0 = a - m*q - 89, -a = 3*q - 49 - 16. Suppose 5*f - 191 = c, 2*f - 4*f + a = -c. Is 13 a factor of f?
True
Suppose 2*v + 2*z - 6*z - 636 = 0, -2*z + 2 = 0. Let j be ((-405)/2)/(-5)*v/(-6). Does 18 divide (j/56)/(3/(-14))?
True
Suppose -96*a + 1434 + 23334 = 0. Is a a multiple of 86?
True
Suppose -361*a = -101*a - 1718340. Does 171 divide a?
False
Let p be 23/5 - (-9)/(315/14). Suppose 11*r - 1776 = p*r. Is 37 a factor of r?
True
Let l(t) = t**3 - 26*t**2 - 25*t - 49. Let c be l(27). Let k be (-40)/16*(-4)/c. Suppose -4*f = 2*i + k*i - 240, -5*i - 66 = -f. Is f a multiple of 32?
False
Let a(i) = -829*i - 8844. Is a(-12) a multiple of 15?
False
Let r be ((-3)/(-1) - 3)/(-3). Suppose 4*h - h - 36 = r. Let t(o) = o + 2. Is t(h) a multiple of 7?
True
Let r be (-3)/12 - (-473)/4. Suppose -248 = 4*t - j, -t - 4*t + j = 310. Let k = r + t. Is 14 a factor of k?
True
Let l(h) = 11*h**2 + 115*h - 793. Is l(8) a multiple of 51?
False
Suppose -9*b + 21284 = -7*b - f, -3*f = 12. Does 5 divide b?
True
Let n(v) = 106*v**2 + 4*v. Let b be n(-2). Suppose 0 = 13*t - b - 559. Is t a multiple of 25?
True
Let u(a) = 33*a**2 - a + 57. Let g be u(12). Suppose 10*y + g = 23*y. Is y a multiple of 13?
False
Suppose 126*d + w + 13469 = 131*d, -d - 5*w + 2699 = 0. Does 14 divide d?
False
Let s(z) = -z**3 + 18*z - 5. Let r be s(4). Suppose 0 = 4*t - 20, 3*n - 113 = -r*t + 52. Suppose -f + 52 = -4*c + 272, c = -f + n. Is 9 a factor of c?
True
Let t(f) = f**3 - 18*f**2 + 36*f + 14. Let j be t(16). Suppose 7*x - j = 5*x. Is x even?
False
Let f be 145/((5/(-30))/((-2)/12)). Let t = f - -196. Does 38 divide t?
False
Let a(f) = 6183*f**2 - 431*f + 431. Is a(1) a multiple of 27?
True
Let h(x) = 4*x**3 - 37*x**2 + 7*x - 61. Let r(c) = 5*c**3 - 37*c**2 + 6*c - 59. Let m(i) = -4*h(i) + 3*r(i). Does 59 divide m(36)?
True
Let v = 3031 + -1001. Let z = -1302 + v. Is z a multiple of 8?
True
Suppose 7*v + 4*x - 22020 = 4*v, -3*v + 5*x = -22047. Suppose -v = -13*g - 14*g. Is g a multiple of 34?
True
Let i = 4552 + 278. Is 14 a factor of i?
True
Let k = -303 + 214. Let g = -102 - k. Is (-325)/g*(2 - 1) a multiple of 5?
True
Suppose 16*v - 18*v - 116 = -2*s, v + 3*s = -50. Is 4394/14 - 8/v - -2 a multiple of 36?
False
Suppose -7*b - 79318 = -3*r, -9*r + 2*b - 26448 = -10*r. Does 4 divide r?
True
Suppose -321*h + 323*h - 4130 = -4*l, 0 = -h - 3. Is l a multiple of 4?
False
Let a be 4*-1*(-9)/12. Suppose a*g + 0*g = 981. Is 7 a factor of (-5)/(-10) + g/6?
False
Let g(t) = 61*t + 2. Let c be g(2). Suppose -12 = -4*y + c. Suppose -6*b + 4*b + y = 0. Does 3 divide b?
False
Let n = 29532 - 20583. Does 19 divide n?
True
Let x(j) = -j. Let g be x(-19). Suppose 620 = 5*y - 5*n, 3*n = -2*y - g + 262. Is y a multiple of 21?
False
Suppose 44*i + 19424 = 52*i. Let c = i + -1558. Does 58 divide c?
True
Suppose u - 14 = -36*u + 97. Let n(r) = -2*r**2 + r + 5. Let s be n(5). Is 4 a factor of (-7)/(42/s) + u/9?
False
Suppose m = n - 634 + 4018, 9*m - 30498 = 2*n. Does 2 divide m?
True
Let k = -206 - -329. Suppose -118*s + k*s = 2055. Is s a multiple of 14?
False
Let k(x) = -2*x**3 + 50*x**2 - 9*x + 37. Let u be k(24). Suppose 5*a - 5*r - 3875 = 0, -4*r = -2*a + u + 575. Is 8 a factor of a?
True
Suppose 2*s = -4*y + 56978, 5*y + 235*s - 71221 = 233*s. Does 87 divide y?
False
Does 5 divide (-1390)/(-8)*(354 - 342)?
True
Does 27 divide (-2)/7 + (-4162007)/(-133) + 0?
True
Suppose 0 = -14*z + z - 97265 + 427595. Is z a multiple of 210?
True
Let l(y) be the third derivative of y**6/120 + 31*y**5/60 - 19*y**4/12 - 10*y**3/3 - 108*y**2. Is 19 a factor of l(-32)?
False
Suppose -3*f = 148 - 355. Let a = 38 - f. Let x = 44 - a. Is x a multiple of 25?
True
Suppose 0 = 32*m - 36*m - 20. Let b be (1 - (-3 - -6))*5/m. Suppose b*p = -5*i - 35 + 207, 0 = -4*p + 4. Is i a multiple of 16?
False
Let r(p) = p**3 + 13*p**2 + 3*p - 24. Let o(w) = w**2 - 20*w + 39. Let c be o(17). Does 4 divide r(c)?
True
Let m(o) = -120*o**3 - 5*o**2 - 4*o + 24 - 49 + 119*o**3. Let z(l) = -l**3 - l**2 - 7. Let d be z(0). Does 29 divide m(d)?
False
Let g(c) = c**3 + 6*c**2 + 8*c - 5. Let w be g(-4). Let i = 7 - w. Let k = i - -32. Does 10 divide k?
False
Let v(c) = 8*c**2 + 8*c + 1. Let d be v(2). Suppose -d*g - 784 = -56*g. Does 4 divide g?
True
Let l be ((-800)/(-6))/(1/6). Is l/75*(-390)/(-8) a multiple of 8?
True
Let l(g) = -13*g**2 - 20*g + 66. Let i(b) = -19*b**2 - 30*b + 100. Let k(c) = -5*i(c) + 7*l(c). Does 6 divide k(-7)?
False
Suppose l - 3*m + 5*m = 0, 0 = -3*l + 4*m + 10. Suppose -5 + l = -i. Suppose j - i*t - 102 = -2*t, 5*j + 3*t = 542. Is 19 a factor of j?
False
Let z(x) = -x**2 + 8*x + 4. Let h be z(8). Suppose -h - 6 = -2*u. Suppose -u*j = -3*i - i + 526, -4*i = 3*j - 510. Is i a multiple of 22?
False
Let z = -103 - -40. Let y = 308 + z. Let h = y - 137. Is h a multiple of 12?
True
Let k(j) = -j**3 - 3*j**2 + 2*j + 747. Let m be k(0). Let n = m + -674. Is n a multiple of 2?
False
Does 9 divide 237/2*(6 + 12 + 12)?
True
Let j = -1318 - -1682. Is 28 a factor of j?
True
Let k be 9/6*(-3 + 15). Let m = -575 + 563. Is k/(-24) - 129/m a multiple of 3?
False
Let g be (0/2)/(21 + -22). Suppose g = -4*z - 7 + 27, -4*v - 3*z = -3655. Suppose -2*s + 3*b = 2*s - v, -1136 = -5*s + 3*b. Does 40 divide s?
False
Suppose -5*q + 41 = -v, -6 + 19 = q - 5*v. Suppose -80*a + 124 = 44*a. Is 2 a factor of q/2 + -2 + a + 4?
False
Suppose 7*y = -y + 32. Let u(f) = 9*f**2 + 31*f - 113. Does 5 divide u(y)?
True
Suppose -117 = 5*u - 7. Let f = -35 - u. Let h(j) = j**2 + 13*j + 12. Is 12 a factor of h(f)?
True
Suppose -v + 371*o - 367*o = -1319, 4*v = -3*o + 5295. Does 27 divide v?
True
Suppose 5*n + y = 15, 6*y - y - 29 = -2*n. Let s(f) = 12*f**3 - 2*f**2 + 6*f - 6. Does 38 divide s(n)?
False
Suppose 3*f = -g - 9, 3*g - 8*g = f + 3. Suppose -22*c = -106*c - 2688. Does 12 divide 3/((f/c)/((-5)/(-4)))?
False
Let d(h) = -h + 2. Let c be d(3). Let u = -5523 - -5801. Is (22/(-44))/(c/u) a multiple of 11?
False
Suppose -5*z = -220 - 145. Suppose -13 = -12*w - z. Let s(m) = -3*m + 11. Does 13 divide s(w)?
True
Let q = 39 - 39. Let i be q/((-2)/(-3) - 2/(-6)). Is -4 + i/(-1) - -71 a multiple of 9?
False
Suppose -64*i = -55*i + 2124. Let p = i - -700. Is p a multiple of 16?
True
Let t = 105 - 95. Let v(p) = p**3 - 9*p**2 - p - 21. Is 12 a factor of v(t)?
False
Let r(c) = 17095*c - 138. Let n be r(2). Suppose 20*b + 1052 = n. Is b a multiple of 22?
True
Let n be -1 + 8 - 3 - 4. Is 19 a factor of -16 - -22 - (-421 - n)?
False
Let l = -643 - 138. Let p = l - -1626. Is p a multiple of 13?
True
Let v be (14 - 15)*(3 + -4)*-16. Does 21 divide 2*84/v*-1*14?
True
Let k(p) = 3*p**2 - 5*p + 5*p**2 - 3*p**2 + 8*p**2 + 9. Is 20 a factor of k(5)?
False
Suppose 0 = -33*u + 41*u - 56. Suppose u*b + 2*b = 1053. Does 9 divide b?
True
Is (44/3 - 2)/((100/624)/25) a multiple of 19?
True
Let b(m) = -10*m**3 - 8*m**2 + 60*m + 474. Is b(-6) a multiple of 5?
False
Let m(y) = y - 9. Let n be m(12). Let x = 23 + -16. Suppose -2*q + 3*g + 52 = x*g, n*g + 60 = 4*q. Does 2 divide q?
True
Suppose 37*i - 532945 = -i + 3*i. Is i a multiple of 102?
False
Let y(q) = 22*q**3 - 4*q**2 - 9*q + 5. Let b be y(-3). Let z = -267 - b. Is 45 a factor of z?
False
Let m = 8 + -23. Is 0 - (-110)/(4 - m/(-5)) a multiple of 6?
False
Let i = 10700 - 5313. Does 20 divide i?
False
Let u = 39212 + -15284. Does 12 divide u?
True
Let v be (97 - -3)/(1 + (-4)/6). Suppose -v = -6*d + 822. Let m = d - 48. Does 9 divide m?
False
Suppose -2*t - y = -7, 5*t - 19 = -0*y - 2*y. Suppose t*r - 122 - 68 = 0. Suppose 5*f - r = 4*f. Does 13 divide f?
False
Suppose 0 = 4*t - d - 2727, 14*t + d + 678 = 15*t. Does 12 divide t?
False
Suppose -15*p + 10*p + 180 = 0. Let u = 54 - p. Is ((-6)/u)/((-1)/(-69))*-4 a multiple of 23?
True
Let x = -604 - -616. Suppose -x - 276 = -24*m. Does 6 divide m?
True
Let l = -144 - -235. Suppose 7*f = 3*f + 36. Let a = l - f. Is 11 a factor of a?
False
Suppose -4*r + 31894 = 5*l, -4*l + 8401 + 15