= -z*d + 65. Is 13 a factor of d?
True
Let a be ((-21)/7)/((-6)/8). Let p be ((-26)/a)/(12/(-24)). Suppose -3*x = -2*x + 2*u - p, u = 5*x - 21. Is 4 a factor of x?
False
Let p be (-1 - -11) + 0 + 3. Let w = 37 - p. Does 24 divide w?
True
Suppose 3*v - 125 = -4*w, -43 = -2*w - 5*v + 30. Let z = 14 + 1. Let l = z + w. Does 11 divide l?
True
Let i = 1478 + -956. Is i a multiple of 29?
True
Let y = -54 + 66. Suppose -t + 26 + y = 0. Is 7 a factor of t?
False
Suppose -5*a = 25, -5*a - 25 = 2*s - 4*s. Suppose m + m = s. Suppose v - 2 = -m*v. Is 2 a factor of v?
True
Let m = -19 + 21. Suppose -3*t + 4*s - m*s = -65, -3*t - 5*s + 58 = 0. Suppose -42 = -k - 3*j + t, 5*k - 297 = 3*j. Is 28 a factor of k?
False
Let s = 33 - 60. Is 11 a factor of 28/(-21)*(s/(-1))/(-3)?
False
Let l(q) be the first derivative of -5*q**2/2 - q + 2. Let r be l(-1). Suppose -r*m + 3*m = -19. Is 13 a factor of m?
False
Suppose 4*d = -2*t + 5*d + 120, -4*t = -5*d - 228. Let u = 4 + -2. Suppose -f = -u*f + t. Does 13 divide f?
False
Suppose -3*v - 5*p + 174 = 0, 0 = v + 2*p - 7*p - 78. Is 3 a factor of v?
True
Let h = -284 - -124. Is 20 a factor of ((-24)/(-8))/((-6)/h)?
True
Suppose -9*l = -p - 7*l - 8, -5*l = -p - 20. Let s = -9 - -14. Let h = s - p. Is 2 a factor of h?
False
Suppose t + 5*u + 1 = 0, 4*t - 6*u - 21 = -u. Suppose -221 = -2*s + m, t*s - 137 = -2*m + 317. Does 11 divide s?
False
Let k(y) = y**2 + y. Let l be k(1). Suppose l*v + 12 = v. Let m = -2 - v. Is m a multiple of 3?
False
Let p(t) = 9*t - 3. Let k be p(-4). Let z = 64 + k. Suppose -l + z = -35. Is 20 a factor of l?
True
Let w(q) = -q**3 - 8*q**2 - 11*q + 9. Let h be w(-6). Suppose -t - 484 = -3*f, -h*f - t - t + 481 = 0. Is f a multiple of 23?
True
Let z be ((-32)/6)/((-3)/54). Let r = -55 + z. Suppose 0 = f - 4*y - r - 6, -5*f + 5*y = -295. Is f a multiple of 15?
False
Suppose -5*r = -2*r - 2*v - 656, 4*r - 2*v - 874 = 0. Is r a multiple of 14?
False
Is 3/21 + (-6498)/(-133) a multiple of 7?
True
Let g = -73 - -20. Let h = 172 + g. Does 7 divide h?
True
Suppose 4*b - 4*r = 6416, 4*r + 860 = -3*b + 5637. Is 41 a factor of b?
True
Let g = -13 - -16. Suppose 2*u + 89 = g*t, -t = u - 10 - 13. Is t a multiple of 17?
False
Let f be (28/15)/14 - 56/(-30). Does 3 divide 37 + 0/f + 3?
False
Suppose -4*w + 32 + 40 = 0. Does 12 divide w/(-24) - 585/(-12)?
True
Let c = 324 - -126. Is 15 a factor of c?
True
Is 30 a factor of 171475/190 + 2/(4*-1)?
False
Suppose -5*y + 30 = z, 7*z = 3*z - 2*y + 66. Is 15 a factor of z?
True
Let s(f) = -54*f**3 - 11*f**2 - 34*f + 9. Does 40 divide s(-3)?
False
Suppose z = 3*y - 0*y - 255, 0 = -5*y. Is 10 a factor of (-20)/(-3)*(-10)/(100/z)?
True
Let x = 147 - 75. Does 9 divide x?
True
Let n = -10 - -10. Suppose -w + 3*w - 6 = n. Suppose h + w*h - 40 = 0. Is h a multiple of 5?
True
Suppose 8*f - 465 - 375 = 0. Does 7 divide f?
True
Let m(l) = l**3 - 16*l**2 + 16*l + 15. Let f be m(15). Suppose f*s = 29*s + 216. Is 36 a factor of s?
True
Let u be -3 + 1/((-2)/(-6)). Suppose x + 2*m - 148 = -4*x, -4*x - 2*m + 118 = u. Does 6 divide x?
True
Suppose -483 - 349 = -52*j. Is j even?
True
Let h(g) = g**3 + 7*g**2 + 6*g + 9. Let l be h(-6). Let a be ((-8)/(-12))/2*l. Suppose k - 11 = -a. Does 5 divide k?
False
Suppose -14*i = -2288 - 876. Let d = i - 61. Does 33 divide d?
True
Let f(z) = z**2 - 18*z + 25. Does 25 divide f(-12)?
False
Suppose -8*f + 14*f = -30. Let v(g) = g**3 + 5*g**2 - 12*g - 12. Does 47 divide v(f)?
False
Suppose -h + 285 = 24. Let z = h - 429. Is z/16*(-28)/6 a multiple of 16?
False
Suppose -277 - 58 = -5*y. Let w = 108 - y. Is 9 a factor of w?
False
Let x = 56 - -7. Let v be 2/(-9) + 203/x. Suppose 0*s + 300 = 4*s + v*d, 3*d + 168 = 2*s. Is 26 a factor of s?
True
Let a = -235 + 365. Suppose -3*p - f + a = 0, -2*f - 38 = -2*p + 62. Does 2 divide p?
False
Let z(n) = n**3 - 5*n**2 - 4*n. Let l be z(6). Suppose -l*p + 15 = -7*p. Suppose 0 = x - 5*x - 5*g + 72, 19 = p*x - 5*g. Does 13 divide x?
True
Suppose -17*p = -638 - 3136. Is 41 a factor of p?
False
Let z(q) = -3*q - 6. Let v(y) = 6*y + 12. Let t = -23 - -18. Let f(j) = t*z(j) - 2*v(j). Is f(3) a multiple of 7?
False
Suppose -19*s + 13*s = -492. Is 41 a factor of s?
True
Let g = -31 - -55. Suppose -2*w + 80 + g = 0. Does 19 divide w?
False
Suppose -6*o + 27 = 9. Suppose -p + 4*q = -77, o*p + 3*q - 286 = 4*q. Is 32 a factor of p?
False
Suppose 13*v = 18*v + 40. Let r(t) = -8*t + 14. Is r(v) a multiple of 39?
True
Let m = 28 + -11. Suppose 5*h - 57 = 5*w - 2*w, -h + m = 5*w. Is 1/((-3)/(h*-6)) a multiple of 9?
False
Let r = -31 + 43. Let b = -8 + r. Suppose g = -b*v + 57, -g - 12 + 66 = v. Does 22 divide g?
False
Let i be 0 + 3 + (-13 - (1 - 3)). Is 8 a factor of 7/(-1 - 12/i)?
False
Suppose -x - 4*d = -508, -3*x + 2*d = -2*d - 1444. Is 61 a factor of x?
True
Suppose 5*p + 557 = 13097. Does 57 divide p?
True
Let g = 2781 - 908. Suppose g - 19 = 3*n. Is 7 a factor of (-2)/6 + n/18?
False
Let x(n) = -n**3 + 7*n**2 - 7*n + 14. Let i be x(6). Let u = i + 63. Is 8 a factor of u?
False
Suppose -3*z - q + 84 = -89, 3*z = -5*q + 193. Let a = z + -30. Does 16 divide a?
False
Let m be 56/(-28)*305/2. Let b = m + 486. Is b a multiple of 24?
False
Suppose 2*o = 2*f + 3*o, -2*o - 4 = 2*f. Suppose x = f*n + 40 - 173, 2*n = 2*x + 130. Suppose -5*z + 51 = h + 2*h, 5*z = -4*h + n. Is 14 a factor of h?
False
Let m = 1253 - 882. Suppose 3*o - 31 = -3*n + m, -4*o = -3*n + 381. Does 15 divide n?
False
Let b(h) = -h**3 + 1. Let c be b(1). Suppose 5*y = 4*t - 267, 5*t + 5*y - 47 - 253 = c. Suppose t = -6*o + 9*o. Is o a multiple of 3?
True
Suppose -47*w - 780 = -51*w. Is w a multiple of 19?
False
Let t = 55 - -5. Does 20 divide t + -4 + (-1 - -2) + 3?
True
Let k = -30 - -58. Suppose 5*h + 37 = -2*g - 31, -k = h + 4*g. Does 29 divide (h/10)/(9/(-510))?
False
Let i(c) = c**3 + 3*c**2 - 9*c + 17. Does 5 divide i(9)?
False
Let p = -826 - -1164. Is 49 a factor of p?
False
Suppose 10*w = 2415 + 4735. Is w a multiple of 11?
True
Let q = -2066 - -3250. Does 5 divide q?
False
Let i = -14 + 11. Let a = 30 + i. Does 15 divide a?
False
Let b(o) = -42*o - 2 - 4*o - 4*o. Is b(-1) a multiple of 6?
True
Let f(b) = 2*b**2 - 11*b + 9. Let r be f(7). Let p = r + -22. Is 8 a factor of p?
True
Suppose -3 - 42 = i. Suppose -2*t + q = t + 76, -q = -t - 24. Let v = t - i. Is v a multiple of 13?
False
Suppose -4 = 8*v - 10*v. Suppose -4*g + 2*g - 130 = -v*d, -260 = -4*d + 5*g. Is 36 a factor of d?
False
Suppose -3*h = 9 - 12. Let d(c) = 6*c**3 + 4*c**3 - 7*c**3. Is d(h) a multiple of 2?
False
Let k(i) = -i**3 - 4*i**2 - 4*i - 2. Let h be k(-2). Is h/(-4)*(186 - 1 - -1) a multiple of 8?
False
Let k(u) = -u**3 + 5*u**2 + 10*u + 9. Let w be k(8). Does 21 divide 24/(-15)*(w - 2)?
True
Suppose -10*u = u - 176. Suppose -u*k + 9*k = -1386. Is 26 a factor of k?
False
Suppose -d + 5*p + 3 = 0, 2*d + 5*p + 0*p = 6. Let c(i) = 7 - d - 3*i + 7*i + 7. Is 31 a factor of c(5)?
True
Suppose 2*h + 5*m + 117 = -0*m, -3*m + 186 = -3*h. Let a = 68 + h. Does 5 divide a?
False
Let u be 12/1*50/(-8). Let k = -177 - u. Let x = 155 + k. Does 14 divide x?
False
Is 16 a factor of (-2)/(2 - (-903)/(-448))?
True
Let i(o) = o**2 + 6*o - 2. Let k be i(-8). Let q be k*(-2)/8*6. Let x = -12 - q. Does 8 divide x?
False
Does 2 divide -2 + 10 - (-656)/16?
False
Let t be (-58)/(-203) + (-38)/(-14). Does 20 divide (-1 + t - 4)*(-945)/18?
False
Is 11 a factor of (29/((-261)/54))/((-3)/1562)?
True
Suppose 76*m - 78*m - 2 = 0, -3*d + 2499 = -3*m. Does 13 divide d?
True
Let n(m) = -335*m - 12. Is n(-1) a multiple of 17?
True
Let z(n) = -n**3 + 8*n**2 + 11*n + 21. Is z(9) a multiple of 7?
False
Let p = -19 + 79. Suppose 5*n + n = p. Does 5 divide n?
True
Suppose 0 = -15*r + 13*r + 6. Suppose -5*y + r*z = -2*z - 205, 0 = 2*y - 3*z - 82. Suppose y = s + 13. Is 14 a factor of s?
True
Suppose -p - 4*z = z - 146, 0 = -3*p + 4*z + 362. Let v = p - 82. Let l = v + -30. Does 7 divide l?
True
Let l = 92 - 38. Let i = l - -4. Is 6 a factor of i?
False
Let n = -33 + 40. Suppose n*w - 636 = 3*w. Is 17 a factor of w?
False
Let m be 4/3*(-15)/10. Let r be 0 + (-32)/m + 2. Let b = r - -6. Is 21 a factor of b?
False
Suppose -44 = -2*g + 6*g. Let d(v) = v**2 + 11*v + 25. Does 10 divide d(g)?
False
Suppose -234 = 3*c + 3*j, -4*c