= -4*f. Does 28 divide f?
True
Let q = 972 + -782. Does 2 divide q?
True
Let q be 3 - ((-20)/5 + 127). Let w be (q/3)/((-5)/(-15)). Let i = 210 + w. Does 15 divide i?
True
Is (-39 - 0)*(-3 - (-12 + 14)) a multiple of 4?
False
Suppose 0 = -0*l - l. Suppose l*d = 5*d - 11100. Is 3/(-7) + d/35 a multiple of 18?
False
Let d = -34 - -61. Let w = 90 - d. Does 21 divide w?
True
Let a(f) be the third derivative of -f**4/12 - f**3/2 + 10*f**2. Let p be a(-3). Suppose 136 = 5*r - p*r. Does 26 divide r?
False
Let q(n) = n**3 + 8*n**2 + 6*n. Let z be q(-7). Let v be (-4)/(-16) - z/(-4). Suppose -38 = -2*p - 0*p + v*t, 0 = 5*p - 3*t - 97. Is p a multiple of 4?
True
Let s = -3 - -55. Suppose -i + 21 = -s. Is 7 a factor of i?
False
Let p be (-3)/((-36)/824)*12. Suppose -11*q + p = -7*q. Is 8 a factor of q?
False
Suppose 2*h + 1 - 20 = -5*m, -m + 5 = h. Suppose 0 = -4*l - 3*z + 36, 0*l - h*l - 4 = -4*z. Suppose 3*c - 45 = l. Is 5 a factor of c?
False
Let z(t) = -7*t - 4. Let r be z(15). Let i = -29 - r. Is i a multiple of 16?
True
Let a(h) = 3*h**2 - 2*h + 18. Is a(-5) a multiple of 3?
False
Let i(a) = 8*a - 10 - 13 + 6 + 3*a. Does 31 divide i(10)?
True
Let n = 50 + 105. Is 2 a factor of n?
False
Let u = 12 + -10. Let b be (4 + u)*22/6. Suppose -b = -2*a + 26. Does 8 divide a?
True
Let y(i) = 11*i - 9. Let h be y(2). Let f = 27 - h. Is 6 a factor of f?
False
Does 53 divide 105 - ((-4)/3 - (-3)/9)?
True
Let g = 1028 + -493. Does 107 divide g?
True
Suppose 0*g + 2*h = -4*g + 28, 3*h - 32 = -4*g. Let b = -1 + g. Is (-4 + 111/6)*b a multiple of 20?
False
Let m = -47 - -26. Let n = -22 - m. Is (n - 1) + 41 + 5 a multiple of 8?
False
Let a(q) = -12*q + 11 + 0*q - 11. Is 4 a factor of a(-1)?
True
Suppose 173054 = 36*d - 38626. Does 10 divide d?
True
Let y be (-42)/(-54) - 2/(-9). Let o = 1 - y. Suppose -3*u + 8*u + 5 = o, -5*u = 4*i - 107. Does 18 divide i?
False
Let r(c) = 23*c + 105. Is 18 a factor of r(15)?
True
Let x(l) be the first derivative of l**4/4 - l**3/3 + l**2 - 13*l + 32. Does 59 divide x(7)?
True
Let k be (-26)/(-5) - ((-20)/25 - -1). Suppose -1076 = -3*x - 2*j, 5*x - k*j = 605 + 1230. Is x a multiple of 55?
False
Let x be (-52)/(-6) - 1/(-3). Suppose -q + 32 = -3*k, 0*k = -3*k - x. Let f = q + -10. Is 8 a factor of f?
False
Suppose -106 = -3*n - 13. Suppose n = 3*k - 110. Is k a multiple of 8?
False
Let z(j) = -2*j**2 - 5*j - 1. Let y be z(-4). Let a = y + 173. Does 32 divide a?
True
Let d(g) = -409*g + 318. Is 5 a factor of d(-5)?
False
Let n = 273 + -205. Does 2 divide n?
True
Let y(w) = -10*w + 16. Let q(n) = -19*n + 31. Let r(z) = 6*q(z) - 11*y(z). Is r(-5) a multiple of 6?
True
Let h(n) be the first derivative of -13*n**2/2 - 8*n - 6. Let l be h(-7). Let i = l - 35. Is i a multiple of 12?
True
Let n = 5 + -3. Let y(g) = 2*g**3 - 3*g**2. Let h be y(n). Let k = h + 18. Is k a multiple of 7?
False
Let q(d) = 5*d**2 + 9*d + 98. Is q(-13) a multiple of 37?
False
Let j(k) be the second derivative of -4*k**5/5 - k**4/12 - k**3/2 - k**2 - 16*k. Is j(-1) a multiple of 8?
True
Let l(d) = -8*d**3 + 2*d**2 - 2. Let z be l(2). Let n = 26 + -62. Let a = n - z. Does 15 divide a?
False
Suppose -8*x + 3*x = 0. Suppose x = 2*d - 8 - 4. Does 6 divide d?
True
Let g be ((-15)/(-10))/((-4)/(-8)). Let t(r) = 1 + r**g + r**2 + 8 - 5*r**2 - 13*r**2. Does 6 divide t(17)?
False
Suppose 0 = -20*n + 20041 + 13159. Is n a multiple of 42?
False
Let x(j) = j**2 - 5*j + 429. Does 33 divide x(-33)?
True
Let z(b) = 34*b - 21. Let m be z(3). Is 7 a factor of m*(-1)/((-6)/8)?
False
Let n = 1499 - -2666. Is n a multiple of 85?
True
Suppose -4*h + 5 = h, -5*h = -5*o + 4195. Is o a multiple of 21?
True
Let f(h) = 3*h**2 + 3*h + 30. Is 20 a factor of f(-15)?
True
Suppose 24255 = 24*k + 31*k. Does 63 divide k?
True
Suppose -60 = 2*a + 4*m, a - 8*m + 51 = -3*m. Let q = a - -55. Suppose -t - q = -2*t. Is 19 a factor of t?
True
Suppose 5*t - 665 = -7*g + 2*g, -3*g + t + 419 = 0. Let l = g - 88. Suppose -5*j = -0*j - l. Is j a multiple of 10?
True
Suppose -a = -5*m - 209, 2*a + 48 = 4*m + 448. Does 25 divide a?
False
Let p = -181 + 407. Is 12 a factor of p?
False
Is 4 a factor of (-1 + (-12)/18)*-60?
True
Suppose 6*d - 9*d = 24. Is (-4 - d)/4 + 83 a multiple of 12?
True
Let h = 212 - 133. Is h a multiple of 56?
False
Let m(k) = -49*k - 21. Is m(-3) a multiple of 21?
True
Suppose -4*o - 76 = y - 232, -4*y = o - 669. Suppose 3*c - 280 = -5*u, u + 4*c + y = 4*u. Is u a multiple of 8?
True
Suppose 4*y + i - 171 = 0, -5*y + 2*i - i + 207 = 0. Let u = -34 + y. Is u a multiple of 8?
True
Let z(o) = -34*o + 344. Is 13 a factor of z(-9)?
True
Let k(h) = 42*h + 19. Is k(4) a multiple of 30?
False
Let b(m) = m**2 + 3*m + 2. Let z be b(-4). Let g = -6 + z. Is 3 a factor of 8 - (0 - (-2 + g))?
True
Let c be ((-12)/(-15))/((-8)/(-20)). Is 36 a factor of (32/(-24))/(c/(-108))?
True
Let k be 12 + -30 - 0/(-4 - -1). Let q be ((-28)/10)/((-2)/(-20)). Let u = k - q. Is u a multiple of 10?
True
Is 12 a factor of (0 - 6/(-57)) + 4178552/2204?
True
Suppose -7*o + 1288 = o. Is (0 - 2/(-7))*o a multiple of 7?
False
Let w(m) = m**3 - 16*m - 25. Is w(8) a multiple of 30?
False
Suppose 0 = 4*b + 3*c + 10 + 5, 3*b + 30 = 4*c. Let h be 18*((-2)/b + -2). Let i = h - -44. Is 7 a factor of i?
True
Does 76 divide (-1064)/35*3/(18/(-165))?
True
Let g(a) = -2*a**3 + 7*a**2 - a - 22. Is g(-5) a multiple of 34?
True
Let p = -15 - -18. Suppose 1 = -3*t - 2, p*t + 123 = 5*i. Is 7 a factor of (-448)/i*6/(-4)?
True
Suppose 2*y - 4 = 6*y. Let a(h) = -8*h - 1. Let m be a(y). Suppose m*i = 2*i + 105. Is i a multiple of 12?
False
Let p be (20/(-6))/((-1)/6). Suppose 2 = -3*z + 5*r, 4*z + 24 = 3*r + 14. Let k = p + z. Is 16 a factor of k?
True
Suppose 5*g + 74 = -3*t, 2*g + 16 = -3*t - 46. Let k = -16 - t. Is (18/(-1))/k*-6 a multiple of 15?
False
Suppose -8*h - 49921 = 4*l - 13*h, 4*l = 2*h - 49906. Is l/(-48) - 2/(-16) a multiple of 52?
True
Suppose -2*v + 58 + 102 = 0. Does 4 divide v?
True
Let u = 688 + -686. Suppose -70 = -y + 104. Suppose -y = -u*p - p. Is p a multiple of 35?
False
Is 162*3/24*8 a multiple of 9?
True
Suppose 23*j - 8253 = -2457. Is 18 a factor of j?
True
Suppose 70 = 4*o + 278. Let h = -37 - o. Is h a multiple of 2?
False
Suppose -m + 6 = 4, -4*m - 1432 = -5*a. Suppose -j - h = -144, j + 5*h = 3*j - a. Is j a multiple of 13?
False
Let k(p) = -2*p + 11. Let c(j) = 2*j - 11. Suppose 5 = -2*r - 3*d, -r = -d - 3 - 7. Let y(u) = r*k(u) + 6*c(u). Is y(10) a multiple of 4?
False
Let u(l) = -l**3 + 15*l**2 - 17*l - 15. Suppose -42 = -3*v - 0*v - i, -3*i + 9 = 0. Is u(v) a multiple of 24?
False
Let r(x) = -24*x + 35. Does 21 divide r(-3)?
False
Does 17 divide -265*-3*(-14)/(-105)?
False
Let c = 957 + -73. Does 13 divide c?
True
Let d(y) = -37*y + 5. Let b be d(10). Let s = -200 - b. Suppose 2*p - 4*i = 100, 0 = 3*p + 5*i - 7 - s. Is 18 a factor of p?
True
Let p = -351 + 746. Let c = 651 - p. Is 8 a factor of c?
True
Suppose -13*n = -9*n - 80. Suppose a - n = 23. Does 14 divide a?
False
Let p be (-1*9)/(3/(-162)*-6). Let w = -66 - p. Does 5 divide w?
True
Suppose o = 8*p - 9*p + 104, 4*p = 3*o - 319. Is o a multiple of 35?
True
Suppose -10667 = -16*n + 20133. Is n a multiple of 35?
True
Suppose -4*c = 5*o - 0*c - 620, 5*c = 5*o - 575. Is o a multiple of 3?
True
Let z = 753 + -246. Is z a multiple of 9?
False
Let m be -35 + 1 + 2*-1. Suppose -3*u = 5*x - 537, -x + 432 = 3*x + 3*u. Let q = x + m. Is q a multiple of 30?
False
Let u(k) = -4*k**2 + 4*k - 10. Let s be u(3). Let q = s - -57. Is q a multiple of 6?
False
Let r(k) = -3*k**3 + 4*k**2 - 4*k + 4. Let q be r(2). Does 47 divide 588/((-78)/q - 5)?
False
Suppose -9*j = -659 - 106. Does 34 divide j?
False
Is 15 a factor of ((-1)/((-3)/(-10)))/(72/(-5508))?
True
Let t(v) = v**3 - 9*v**2 + 17*v - 16. Let u be t(7). Suppose 0 = 2*k - u - 43. Does 4 divide k?
True
Let l(o) = -o**3 + 2*o**2 - 20*o - 45. Is l(-2) a multiple of 11?
True
Suppose 0 = 5*z + 3*a + 17, -2*z - 5*a = 5 - 2. Let b be z/10 + (-477)/(-5). Let y = b + -29. Is 14 a factor of y?
False
Let j = -742 - -524. Let x = 399 + j. Is 11 a factor of x?
False
Suppose 0 = 4*f - 3*f. Suppose 0 = 3*l - f*l. Suppose 4*s - d = 3*d + 36, l = 3*d - 12. Is 12 a factor of s?
False
Let w be (-5)/(15/4)*-3. Suppose 0 = -w*u + 