7*x. Let d be i(1). Let c be k(d). Suppose z + 45 = c*z. Is z a multiple of 6?
False
Suppose 645 = 5*n + 3*l - 115, 2*n + 5*l = 304. Does 45 divide n?
False
Suppose 2*o - 89 = -4*z + 3*z, -4*z + 383 = -o. Let r(c) = -2*c**2. Let f be r(-5). Let y = z + f. Is y a multiple of 10?
False
Suppose -3*u + w + 57 = -248, -2*u + 2*w = -202. Let y be (-32)/(-18) - 14/(-63). Suppose y*j - u = -j. Is j a multiple of 28?
False
Let g(s) = -11*s - 211. Is 27 a factor of g(-29)?
True
Let v(f) = 4*f + 5. Let n be v(-4). Let j(a) be the second derivative of -a**3/6 + 9*a**2/2 + 3*a. Is 13 a factor of j(n)?
False
Let t(f) = f**2 + 2*f**2 + 0*f - f - 5*f + f**3. Is 8 a factor of t(-4)?
True
Let b be (-2 - -12)*(-4)/10 - -12. Let j(c) = -c**3 + 10*c**2 - 4*c - 26. Is j(b) a multiple of 35?
True
Does 19 divide (1/(4/(-9)))/((-196)/89376)?
True
Let t = 0 - 1. Let w(m) be the first derivative of -39*m**2/2 - 2*m + 208. Is w(t) a multiple of 9?
False
Is 240/36*3870/40 even?
False
Does 135 divide (((-242)/33)/22)/((-1)/2025)?
True
Suppose -83 = -7*l + 4*l + 4*p, 0 = -l + 5*p + 13. Let b = l + -21. Does 11 divide ((-12)/8)/(b/(-344))?
False
Let k = -4 + -132. Let s = -22 - 69. Let i = s - k. Is 15 a factor of i?
True
Suppose -4*m = -5*i + 626, 161*i = 157*i - m + 505. Does 9 divide i?
True
Let z(p) = -p + 17. Let s be z(15). Does 3 divide ((-5)/15)/(s/(-18))?
True
Let s(j) = -j**3 + 11*j**2 + 11*j + 12. Let g be s(12). Suppose g = -0*o - o. Suppose 5*m = -2*n + 398, m + o*n = 5*n + 85. Is m a multiple of 24?
False
Is 4 a factor of (-179)/(-4) - (-198)/(-264)?
True
Let r = -45 + 79. Let y = 53 - r. Let j = y - 5. Is j a multiple of 14?
True
Let l = -1500 - -2919. Is 8 a factor of l?
False
Let v be (-2 + 0)*(-4 - 4). Suppose 2*l + v = 4*m, -4*l + 28 - 5 = 3*m. Is 5 a factor of m?
True
Let r(p) = 4*p - 70. Let v be r(18). Let o(y) = 41*y**2 + y. Is o(v) a multiple of 9?
False
Let t(p) = -25*p**3 - 27*p**2 + 18*p + 13. Is 63 a factor of t(-6)?
False
Suppose -7*p - 5*p = -60. Suppose u - 43 = -p. Is u a multiple of 19?
True
Is 426068/406 + 4/7 a multiple of 70?
True
Suppose 560 = -55*d + 62*d. Is d even?
True
Suppose -1067 = -9*s + 463. Is s a multiple of 5?
True
Let g(v) = v**2 + v - 13. Let q be g(-5). Suppose -q*t - 120 = -8*t. Does 18 divide t?
False
Let t be (-20)/15 - (-2)/(-3). Let a be -1*2 + (t - 20). Let v = -7 - a. Is 10 a factor of v?
False
Let r(y) be the third derivative of 17*y**4/24 - 5*y**3/3 + 22*y**2. Is r(6) a multiple of 46?
True
Let u(l) = -l**3 - 22*l**2 + 27*l - 26. Let z(g) = -g**3 - 21*g**2 + 28*g - 27. Let q(v) = 4*u(v) - 3*z(v). Does 8 divide q(-26)?
False
Let i(q) = 23*q**2 - 5*q - 4. Does 7 divide i(-2)?
True
Is 428/16 + 2/8 - -3 a multiple of 12?
False
Let i = 831 + -561. Is i a multiple of 5?
True
Let v(b) = -b - 3. Let u(a) = -3*a - 8. Let r(j) = 4*u(j) - 11*v(j). Suppose -p = 5*k - 3, 0 = 3*p + k + k + 17. Is 4 a factor of r(p)?
True
Let p(d) = 8*d. Let k be p(1). Let g be 1/1*-2 - -50. Suppose 7*w = k*w - g. Is 16 a factor of w?
True
Let w(o) = -o**2 + 6*o + 83. Does 7 divide w(-5)?
True
Suppose 0*o + 2*o = -48. Let g be 7/(21/o)*1. Let s = -2 - g. Is 4 a factor of s?
False
Does 14 divide (-2)/15 + 7352/150*10?
True
Let p = -772 + 1252. Is p a multiple of 83?
False
Let n = 872 + 70. Is 3 a factor of n?
True
Suppose 0 = -9*q + 9096 - 384. Is q a multiple of 11?
True
Let k = 6138 - 4151. Does 17 divide k?
False
Is 84 a factor of (-3)/(9/(-420)) + -4?
False
Does 5 divide 170 + 20/(4 - -1) + 0?
False
Let h(d) be the third derivative of 0 + 0*d - d**2 - 5/8*d**4 + 1/2*d**3. Is h(-2) a multiple of 11?
True
Let m(o) = o**2 - o - 2. Let f be m(5). Suppose -h = 4*c + f, 0*c - 2*c = -2*h + 14. Suppose -3*a = -3, 6*d - h*d = -3*a + 243. Is d a multiple of 20?
True
Suppose -5*c = -2094 + 539. Suppose 4*l - 445 = 3*q, 4*l - 128 - c = q. Suppose -l = -3*w + 62. Does 11 divide w?
False
Suppose 3 = m + 1. Let h be (-2)/6 + 186/(-9). Does 6 divide m*h/(-2) - -3?
True
Suppose 19*b = 23*b. Suppose 2*r - r - 27 = b. Suppose 4*s - 25 = r. Is s even?
False
Let u = -360 + 207. Let k = 251 + u. Is k a multiple of 7?
True
Suppose -3*r + 1394 = -2*q, -3*r - 36 = -5*q - 1415. Is r a multiple of 12?
True
Let r(t) = -t**3 + 10*t**2 - 7*t + 7. Let m be r(9). Suppose -m = -5*d - b + 128, -2*d - 5*b + 75 = 0. Is d a multiple of 4?
False
Let a(p) = -p - 6. Let g be a(-6). Suppose g*f - 806 = 2*q - 2*f, -4*q - 1633 = 3*f. Is 11 a factor of (-2)/3 + q/(-6)?
False
Is 73 a factor of (-3)/(-9)*1719 - 6/2?
False
Is (-3)/24 - (-7485)/40 a multiple of 11?
True
Let t be (-1 - 0)*(-1 - 2). Let l be 9 - (-8 + -1)/t. Suppose 3*y + h - 79 = 0, y - 2*h - 5 - l = 0. Is 25 a factor of y?
True
Suppose 4*t = -3*f + 389, f + 172 = 5*t - 319. Is 98 a factor of t?
True
Let f(q) = 0*q + 6*q - 8 + 9*q**2 - 4*q**2 - 3*q. Is f(6) a multiple of 19?
True
Let o = -412 - -709. Is o a multiple of 11?
True
Suppose 160 = 3*m + 4*g, 8*m = 11*m - 2*g - 172. Is 19 a factor of m?
False
Suppose 0 = 21*r - 2430 - 1140. Is r a multiple of 28?
False
Let l = 50 - 50. Suppose u - 50 + 14 = l. Is u a multiple of 9?
True
Let a = 17 + 6. Suppose 3*l - 4*l + a = 0. Suppose 4*f - 29 = l. Is 12 a factor of f?
False
Let y = -10 - -11. Let v be y/((6/26)/3). Is 8 a factor of v - (-6)/(-2) - 1?
False
Let w be -3*(-4)/(-24)*-4. Let x(y) = -4 + y**w - 2*y - 4*y**2 + 5*y**2. Does 20 divide x(4)?
True
Suppose 4*k - 2*z + 30 = 0, k + k + 3*z = -11. Let n = k - -19. Does 2 divide n?
True
Let n(f) = 7*f**2 + 10*f + 24. Is n(-8) a multiple of 7?
True
Let t = 73 + -30. Suppose -17 = -3*u + t. Is u a multiple of 10?
True
Suppose 0 = 5*d + 5, 2*l + 5*d + 38 = 155. Let x(n) = -n - 19. Let z be x(18). Let t = l + z. Is 14 a factor of t?
False
Let c = 620 - 226. Let r = c + -229. Suppose 0 = -5*n + r + 5. Is 21 a factor of n?
False
Let m be 8/6*(1 - 7). Let c = -6 - m. Is 7 a factor of 12/c*1 - -1?
True
Suppose -471*k = -461*k - 8880. Does 44 divide k?
False
Suppose 3*g - 32 = 5*v - 4, 2*g = 4*v + 22. Suppose o = g + 2. Suppose 19 + 137 = o*y. Is 16 a factor of y?
False
Let y be (-20)/80 + 26/8. Suppose -3*o = y*n - 381, n - 3*n = 2. Does 54 divide o?
False
Let i = -48 + 50. Suppose -4*d + 258 = 5*a, -d = -i*a - 6*d + 110. Does 25 divide a?
True
Suppose 66*g + 25025 = 5*d + 71*g, 2*d - 9982 = 5*g. Is 102 a factor of d?
False
Suppose -x + 13*j = 17*j - 1059, -3225 = -3*x + 4*j. Does 17 divide x?
True
Let g = -5 + 9. Let i be -9*((-40)/6)/g. Suppose -2*z = -4*a - 30, -2*a + i = -z - 6*a. Is z a multiple of 2?
False
Let t = 6 - -2. Suppose -54 + t = 4*o + u, -5*o + 5*u = 45. Let i = o + 29. Is 9 a factor of i?
True
Suppose 3*a = -17 + 44. Let v(t) = -t**3 + 8*t**2 + 9*t - 1. Let k be v(a). Is 9 a factor of ((-3)/2)/(k/6)?
True
Suppose 5*n - 8*n + 2*a + 1292 = 0, 4*a - 2124 = -5*n. Does 34 divide n?
False
Suppose k = 2*k - 6. Suppose 0 = 2*c + 3*u - k*u + 153, 5*u + 277 = -3*c. Is (-1)/(87/c - -1) a multiple of 7?
True
Let c = -164 + 300. Let w = c - -61. Is 26 a factor of w?
False
Let p = 10 - 13. Let h be p + (4/2 - -4). Suppose -f = -c - 0*f + 83, -h*c + 2*f + 251 = 0. Is c a multiple of 22?
False
Let f = 35 - 18. Let t(a) = 14*a - 25. Is 45 a factor of t(f)?
False
Let a = -1322 + 2668. Is 10 a factor of a?
False
Let h = -174 - -510. Does 6 divide h?
True
Suppose -3*v = 3*q, -21 = -5*q - 0*q + 2*v. Suppose 6*j + 22 = -4*z + j, -3*j - 15 = q*z. Let g(f) = -2*f**3 - 4*f**2 - 3*f. Is g(z) a multiple of 9?
True
Let w(b) = b**3 + 8*b**2 + 5*b - 3. Let x be w(-7). Let c be (-3)/6*-2*x. Let j(z) = 2*z - 18. Does 4 divide j(c)?
True
Let h(r) = -4*r**3 - 14*r**2 - 3*r + 53. Is 82 a factor of h(-10)?
False
Let m(r) = -r**2 + 11*r - 12. Let c be m(8). Suppose -4*n = -c, 2*n = 3*f + 49 - 379. Does 28 divide f?
True
Suppose 0 = -2*p + 2 + 4. Let f be (10 - 1)/p + 5. Suppose -m + f + 6 = 0. Is 8 a factor of m?
False
Let d be (2 + -1)/(1 - 0). Suppose -m + d = -22. Suppose -73 = -5*t - 2*o, -3*t = 4*o - 32 - m. Is t a multiple of 13?
True
Let u = -18 - -23. Suppose -4*g + 5*q + 233 = -309, 5*g - 700 = -u*q. Is g a multiple of 22?
False
Suppose 0 = 8*m - 41 + 33. Is 13 a factor of (-736)/(-2) - (-12)/(-2 - m)?
True
Let z(i) = -22*i**3 + i**2 - 2*i + 1. Let f be z(1). Let o = f - -21. Is (-4 + 2 - o)*-8 even?
True
Let r = -31 - -35. Suppose -r*o - 7