2. Is 7 a factor of k(1)?
True
Let w = 99 + -68. Let a = -32 + w. Is 35 a factor of (a - -2)*-3 - (-95 - 10)?
False
Suppose 0 = -2*x - 1414 - 162. Let q = 12 - x. Is q a multiple of 20?
True
Suppose 7*d - 152 = 5*d. Let j be 1/(-6) + d/24. Suppose j*r = -r + 528. Does 33 divide r?
True
Suppose 0 = -5*x + 3*x + 140. Let z = x - 48. Let n = z - 6. Is 8 a factor of n?
True
Is (1102 - 1)*(-15)/(-2 - 1) a multiple of 68?
False
Let q = 56 + -53. Suppose 251 = q*i - 46. Let g = i + -55. Does 13 divide g?
False
Let o(g) = -16*g + 49. Let i be o(-24). Does 22 divide i/2*(-24 - -26)?
False
Suppose -4*h + 4*s = 4 - 20, 10 = h - 4*s. Suppose -q - 91 = k - 387, h*q - 591 = -3*k. Is q a multiple of 11?
True
Let l(m) = -m**3 - 5*m**2 + 10*m - 10. Let b be l(-7). Suppose -374 = -b*s + 652. Is s a multiple of 3?
True
Let n = 23 + -20. Let m be (-1 - (-34)/6)*n/(-2). Let f(p) = -16*p - 24. Is 11 a factor of f(m)?
True
Let v be 64/(-224) + (-688)/(-7). Suppose 2*m + 3*r = v, 4*m - 7*r - 236 = -3*r. Does 2 divide m?
False
Let o = 22 - 20. Suppose 0*u + o*d = 2*u + 30, 4*u = 3*d - 55. Let b = 88 - u. Is b a multiple of 19?
False
Suppose 0 = 5*h - 2*w + 1772 - 7291, -5*h = -4*w - 5513. Is 30 a factor of h?
False
Let s(x) = -x**2 - 17*x - 62. Let t(w) = w + 6. Let l(h) = -h - 5. Let g(q) = -5*l(q) - 4*t(q). Let f(z) = -4*g(z) - s(z). Is f(-8) even?
True
Let p = 8697 - -8456. Is 30 a factor of p?
False
Let a(k) = k**2 - 6*k - 12. Let t be a(8). Let o be 6/t*60/45. Suppose -o*q = 2*s - 82, s + 0*q - 51 = q. Does 12 divide s?
False
Is 12*(-286)/(-117)*(312 - 9) a multiple of 202?
True
Let g(q) = 0*q**2 + 1 + 0*q**2 + q - 4*q**3. Suppose -8*h = -28*h - 20. Is g(h) a multiple of 4?
True
Let l = 85 - 78. Suppose l*y - 1194 - 73 = 0. Let r = y - 121. Is 7 a factor of r?
False
Let p = -3625 + 4035. Is 82 a factor of p?
True
Suppose -5*s + 635 = -2*p, 3*s = 5*s - 4*p - 270. Does 7 divide s?
False
Suppose -18*c - 3*a - 51933 = -22*c, -2*c - a + 25969 = 0. Is 121 a factor of c?
False
Let r(a) = 12*a**3 - 5*a**2 + 55*a - 14. Does 12 divide r(5)?
False
Suppose 0 = f - 7*f - 3636. Let y = 1181 + f. Is y a multiple of 34?
False
Is 32 a factor of (-264)/462 + (-1412200)/(-35)?
False
Suppose 16*g + 22565 = 67365. Suppose 2*c - 4*p - 1860 = -3*p, -3*c + 4*p = -g. Is 29 a factor of c?
True
Let k = -392 + 399. Suppose -3238 = -k*x - 508. Does 6 divide x?
True
Let b(s) = 7*s - 107. Let u be b(16). Let z(c) = c + 7. Let m be z(0). Suppose -6*l = -u*l - m. Is l a multiple of 4?
False
Let c(o) = 5*o**2 - 1161. Is 159 a factor of c(31)?
False
Suppose -4*c + 6604 = -102*r + 98*r, -8252 = -5*c + 4*r. Is c a multiple of 16?
True
Let z be 0/(-1) - (4 + -8). Let h(y) = y**3 - 3*y**2 - 6*y + 10. Let l be h(z). Suppose -l*d = 5*o - 386, 0*o - 3*o + 236 = -d. Is o a multiple of 13?
True
Let h(z) = z**3 - 4*z**2 + 3*z - 3. Let a be h(3). Let q be ((-88)/12)/((-1)/a). Let n = q + 35. Is 8 a factor of n?
False
Let z be (138/15)/(4 - (-18)/(-5)). Suppose -4*d + 60 = j, 5*j + 7 = 2*d - z. Does 15 divide 20/d - (3560/6)/(-5)?
True
Let z be (2567 - -4) + -8 + 11. Suppose 155*q = 133*q + z. Is q a multiple of 15?
False
Let y = 21472 + -11952. Is y a multiple of 28?
True
Let z = -100 - -1693. Is z a multiple of 9?
True
Let x = 1426 - 953. Suppose -65*n + x = -64*n. Suppose -n - 627 = -10*m. Is 16 a factor of m?
False
Is 24 a factor of (-19)/(-38) - (-6718)/4?
True
Suppose -147*p = 51*p - 243936. Is 6 a factor of p?
False
Suppose 4*o + 13 - 5 = -2*c, 3*o - 9 = -4*c. Suppose c*w + 0 = -6. Does 15 divide w + ((-447)/(-1))/3?
False
Let l(r) = 3*r**2 - 16*r + 17. Let q(m) = m**2 + 12*m + 11. Let t be q(-12). Is l(t) a multiple of 34?
True
Is 102 a factor of -3 - 11/((-7206)/(-3606) + -2)?
False
Let k = -53 + 69. Let j = -12 + k. Suppose m = j*z + 167, 10*m - 4*z - 883 = 5*m. Is m a multiple of 10?
False
Let m(w) = -170*w**3 - 71*w**2 - 378*w + 14. Is 115 a factor of m(-6)?
False
Let d(b) = 11*b**2 - 12*b - 14. Let n(k) = -5*k**2 + 6*k + 7. Let w(q) = 4*d(q) + 9*n(q). Let c be w(8). Is (-2476)/(-36) - 2/c a multiple of 23?
True
Let y = 4321 + 3545. Is y a multiple of 5?
False
Let g be -6 + (-735)/(-14) + 3/(-2). Let a be 28/3 - (-2)/3. Suppose -g = -a*v + 7*v. Is v a multiple of 5?
True
Suppose 1464 = 4*x + 26*c - 28*c, x = 4*c + 380. Is 17 a factor of x?
False
Does 29 divide ((-3)/(-5))/((-18)/(-109260))?
False
Is 8*(-5)/10 + 543 a multiple of 6?
False
Suppose -2*w - 4*k + 484 + 126 = 0, 5*k + 1168 = 4*w. Let n = 874 - w. Let g = n + -395. Is g a multiple of 14?
True
Let q(z) be the second derivative of z**6/144 - 13*z**5/120 - 5*z**4/12 + 14*z. Let g(y) be the third derivative of q(y). Does 7 divide g(8)?
False
Let r(s) be the second derivative of s**4/12 + 17*s**3/6 - 26*s**2 + 21*s. Is 2 a factor of r(5)?
True
Let x = 6771 + -1500. Is 26 a factor of x?
False
Let q(b) = 25*b**2 - 78*b - 592. Is q(-6) a multiple of 11?
False
Let i = 659 + -663. Let s be (2 + 0)*(-1)/1. Does 21 divide 3 - ((-123)/s)/(2/i)?
True
Suppose -5*j = -2*k + 97, 0 = -4*k - 0*j - 2*j + 134. Suppose -4*t - 48 + k = 0. Is 21 a factor of -2 + 4 + t + 127?
True
Let z = -158 - -269. Suppose 439 = -3*w + 18*w - 86. Suppose w*p = 38*p - z. Is 4 a factor of p?
False
Let m(w) = 10*w**2 - 7*w + 776. Is 359 a factor of m(-46)?
True
Let b(c) = 28*c - 172. Let g(w) = -42*w + 258. Let f(y) = 7*b(y) + 5*g(y). Is f(-2) a multiple of 61?
False
Let y(p) = -66*p**2 - 90*p + 91. Let k be y(1). Suppose -221 = -2*c - q, -182 = -2*c + 5*q + 45. Let i = c + k. Is i a multiple of 10?
False
Let s be ((-44)/55)/(1/440). Let h = s + 645. Is 19 a factor of h?
False
Suppose -16767 = -6*g + 4185. Suppose -n - g = -0*n. Is 40 a factor of (n/(-4))/(-3)*(-2)/3?
False
Suppose 0 = -3*j + 21*j - 30*j + 41532. Is j a multiple of 16?
False
Let o(x) = 2621*x + 1387. Is o(7) a multiple of 69?
True
Suppose 5*d = 4*d + 42. Let j = 45 - d. Suppose i + i - 52 = -2*n, -n + 38 = -j*i. Does 14 divide n?
False
Suppose 4*s - 180 = -4*g, 0 = -s - 4*s - 2*g + 237. Suppose 0 = 4*x - 0*x. Suppose x = -6*q + 23 + s. Is q a multiple of 4?
True
Let b = 19753 - 1282. Is 131 a factor of b?
True
Suppose 2185 = 29*a + 155. Does 10 divide a?
True
Let y be 5/6 - 18039/(-126). Let c = y + -38. Is c a multiple of 3?
False
Let w = -32 - -32. Suppose w = -5*h - 4 + 14. Does 16 divide (-196)/((0 - h)*1)?
False
Suppose 15 = 8*q - 5*q. Suppose -u + q*g = -349, 5*g + 0*g - 1715 = -5*u. Is 43 a factor of u?
True
Suppose 15553 + 13686 + 4179 = 7*h. Is h a multiple of 22?
True
Let c(i) = 4*i**3 - i**2 + 3*i + 819. Does 3 divide c(0)?
True
Suppose -37*t = -25*t - 276828. Is t a multiple of 18?
False
Let a = -14066 + 15118. Is a a multiple of 19?
False
Let r(i) = 17*i**3 - 13*i**2 + 16*i + 44. Is r(10) a multiple of 85?
False
Suppose -2*s - s + 1303 = 4*n, -3*n - 1729 = -4*s. Let u = s - 222. Is 6 a factor of u?
False
Let l = 70002 + -30338. Is 37 a factor of l?
True
Let a(z) = -2*z**2 + 68*z - 34 + 3*z**2 - 63*z. Let k be a(-9). Suppose -k*g = 3*y - 31 - 157, 0 = 5*y + 3*g - 314. Is y a multiple of 16?
True
Is (-6244)/(-6 + 2240/378) a multiple of 21?
True
Suppose -2*i = 8*y - 10*y - 20, y - 46 = -3*i. Suppose 19*d + i*d = 8415. Is d a multiple of 15?
True
Suppose -5*s - 17*h = -20*h - 251473, 0 = -3*s + 5*h + 150871. Does 20 divide s?
False
Let b = -19 + 16. Let x be (-3 - (-5 - b))*(-24)/3. Suppose x*p = 84 + 4. Does 11 divide p?
True
Suppose 3*f - 104 = -f + 2*r, -5*f = r - 144. Suppose -295*m + 299*m - 20 = 0. Suppose 0*n + n = -j + f, -140 = -5*j + m*n. Does 14 divide j?
True
Suppose 5*j - 28343 = 9222. Suppose -j = 20*x - 27313. Is x a multiple of 10?
True
Let i(y) be the second derivative of -y**4/12 - y**3/3 + 11*y**2/2 - 2*y - 2. Is 4 a factor of i(0)?
False
Let f be (-2)/(-2)*5*49/35. Let w(t) = 13*t - 17. Let s(i) = -i**2 - 26*i + 34. Let d(l) = -2*s(l) - 5*w(l). Is d(f) a multiple of 24?
True
Suppose 43*n = 48*n + 90. Let w(d) = d**2 + 14*d - 3. Let f be w(-11). Let p = n - f. Is p a multiple of 15?
False
Suppose 0 = -3*a - 3*a + 18. Suppose -59 = -2*r - 2*n - 3*n, -a*r = 2*n - 61. Suppose -4*c = 2*s - 54, -5*c - s + r = -55. Is c a multiple of 15?
True
Suppose 13*g - 7255 - 6330 = 0. Suppose -11*x + 8*x - p = -g, 3*x - 1049 = -2*p. Is x a multiple of 20?
False
Suppose -5*v = 2*f - 18179, 0 = 3*