1*m**2 + 42*m - 5. Is 54 a factor of v(-11)?
True
Let q(t) = -11*t - 10. Suppose 5 - 3 = 2*o, 0 = 4*c + 2*o + 30. Does 38 divide q(c)?
False
Let j = 1245 + -1215. Does 5 divide j?
True
Suppose -102 - 243 = -4*b - q, 4*b - 3*q - 325 = 0. Is 15 a factor of b?
False
Let f(h) be the first derivative of h**4/4 - h**3/3 - h**2/2 + 39*h + 3. Suppose 0 = 5*k - 3*k. Does 13 divide f(k)?
True
Suppose -4*o + 10 = c, 5*c - o = 4*c. Suppose 3*w = -c*w + 40. Does 6 divide w?
False
Suppose -4*t = 3*b - 5, -b - 3*t + 6*t = -6. Suppose 0 = 3*s + 2*f - 3, 0*f - b*f = s + 6. Suppose -s*j + 0*j + 57 = 0. Does 5 divide j?
False
Does 74 divide 1/(-3)*-9 + (-3 - -222)?
True
Is 10 a factor of (-22)/3*(6 + -33 - -3)?
False
Suppose 5*m = 2435 + 4510. Is 65 a factor of m?
False
Let m be (-1827)/45 + 6/10. Let y = m - -32. Let r(v) = -12*v + 16. Does 14 divide r(y)?
True
Suppose -15*a + 11*a = 28. Let r(l) = -l - 9. Let s be r(a). Does 19 divide s*-38*(-4)/(-16)?
True
Suppose 8*c = -4*c + 3948. Let o = c - 229. Is 20 a factor of o?
True
Let j(b) = 3*b + 8. Let p(t) = -7*t - 17. Let z(h) = 10*j(h) + 4*p(h). Let q be z(-5). Suppose -q*u - 2*g + 46 = 0, 3*g + 56 = 2*u - 10. Does 9 divide u?
True
Let f(u) = -4*u**2 - 2*u + 3. Let h be f(1). Does 15 divide -24*(-16)/(-12)*h?
False
Let j(a) = -5*a + 12. Let n(c) = -27*c + 61. Let x(q) = 11*j(q) - 2*n(q). Is x(3) a multiple of 5?
False
Let d be (2 + (-1)/2)*16/12. Suppose -b - d*g = 42 - 251, -2*b + 4*g = -378. Does 29 divide b?
False
Let g(u) = -274*u - 15. Does 22 divide g(-3)?
False
Suppose 0 = 5*f + 4*l + 47, 2*l + 0*l = -2*f - 20. Does 17 divide -34*(f/2 - -1)?
True
Suppose -109*y = -97*y - 72. Suppose 4*a - 6 = 5*a. Is (-188)/a*y/4 a multiple of 32?
False
Let q = -328 - -1700. Is q a multiple of 7?
True
Let b be ((-10)/30)/(1/(-6)). Suppose b*h = -h + 30. Let y = -7 + h. Is 2 a factor of y?
False
Is 2 - (308*61)/(-7) a multiple of 79?
True
Let r be ((-3)/(-5))/((-10)/(-50)). Suppose -6*s = -r*s + 537. Let t = s + 278. Is 33 a factor of t?
True
Let u(j) = 68*j - 66. Does 13 divide u(9)?
True
Suppose -10*w + 12*w - 4 = 0. Suppose 0 = -3*f + w*s + 1092 - 109, 4*s - 1675 = -5*f. Does 61 divide f?
False
Let w = 397 + 83. Is 5 a factor of w?
True
Let m = -122 + 126. Suppose o = 14*r - 12*r + 436, -5*o - m*r = -2180. Is o a multiple of 31?
False
Let i = 990 + -484. Does 46 divide i?
True
Is 28 a factor of 1*-6*(-28)/(-42) + 411?
False
Suppose -3*q - 21 = -63. Is 1684/q + 18/(-63) a multiple of 40?
True
Does 10 divide ((-540)/(-75))/(2/25)?
True
Let j = -1161 + 5669. Does 21 divide j?
False
Suppose 5*l + j = 2*j + 2034, -4*l = -j - 1627. Is 37 a factor of l?
True
Let o be 3 + (21 - 4/2). Let x = o + -17. Suppose -2*c = -x*y + 54, -5*c + 11 = y - 16. Is 6 a factor of y?
True
Let l(u) = -u**2 + 3*u + 9. Let v(p) = -p - 4. Let r be v(3). Let m = r - -11. Does 2 divide l(m)?
False
Suppose 2*t - 3*t + 4*z = 90, -5*t - 425 = 5*z. Suppose 8*p = 4*o + 3*p + 130, -3*o - 4*p - 113 = 0. Let s = o - t. Does 10 divide s?
False
Suppose -6*o + 2*o = 0. Suppose -k = x - 14, -k + 5*x - 10 = -o*k. Suppose -29 = -2*r + 5*j, -r + 0*j + 4*j = -k. Does 11 divide r?
True
Let c = 390 - 217. Is c a multiple of 13?
False
Let n(u) = 247*u + 254. Is 14 a factor of n(6)?
True
Let p(i) = i**2 + 8*i - 6. Suppose -4*k = x + 8, -2*k - k = -3*x - 39. Is 16 a factor of p(x)?
False
Let a(w) = -20*w**3 - 2*w - 2. Let v be a(-1). Is (v/(-3))/(20/(-270)) a multiple of 9?
True
Let a be -1 - -33 - 8/2. Let q = 40 - a. Does 4 divide q?
True
Let y = -365 + 575. Does 7 divide y?
True
Suppose -27*r - 65688 = -44*r. Does 84 divide r?
True
Let o(l) = 4*l**2 - 3*l - 8. Let h(g) = 11*g**2 - 10*g - 24. Let u(d) = -3*h(d) + 8*o(d). Let i be u(8). Is 6 a factor of i + 21 - (-6)/(-2)?
False
Let u = -1326 - -2496. Is 39 a factor of u?
True
Let u = 7 + -4. Let q be 12*(-61)/u*-1. Is 3 a factor of q/28 + 4/14?
True
Let x(s) = -170*s - 4. Does 12 divide x(-14)?
True
Suppose 243 = 12*p + 99. Does 7 divide (p/18)/(4/798)?
True
Let b = 466 - 924. Does 13 divide -3 - (-2 - b)/(-4)?
False
Is 13 a factor of 64 + -61 - -18*30?
False
Let k(r) = -6*r - 26. Let m be k(6). Let p = m - -293. Does 33 divide p?
True
Is (-1)/(-1)*(-13 - -495) a multiple of 30?
False
Let f(g) = -g**3 - 2*g**2 + 13*g + 10. Suppose 2*s = 4 - 10, 0 = 3*y - 3*s - 36. Let k = y + -14. Does 11 divide f(k)?
False
Let c = -815 + 1922. Is c a multiple of 18?
False
Let c(m) = 2*m**3 - 11*m**2 + 14*m + 2. Is c(6) a multiple of 16?
False
Suppose 2 - 9 = -3*s - r, 5*s = -5*r + 5. Let f(c) = 10*c - 2. Is 14 a factor of f(s)?
True
Let a be 24/9 - 12/(-9). Suppose 20 = -a*b, 3*b + 0*b = t - 16. Suppose -t - 95 = -2*r. Is r a multiple of 16?
True
Let a = 325 - 260. Does 18 divide a?
False
Suppose 2903 - 299 = 7*d. Is 12 a factor of d?
True
Let x(m) = m**3 - 3*m**2 + 2*m - 4. Let l be x(4). Suppose 4*v = -16 - l. Let i = v + 23. Does 7 divide i?
True
Suppose 8*b - 12 = -4. Suppose p = b + 16. Is p a multiple of 8?
False
Let d(z) = -z**3 + z**2 - 9*z + 7. Is 16 a factor of d(-4)?
False
Let o(t) = 41*t**3 - t**2 + t. Let r be o(1). Let d be r/7 + (-4)/(-28). Suppose -5*s = -d*s + 77. Is 12 a factor of s?
False
Suppose -2*q - 321 = -5*a, 173 = 4*a - 2*q - 85. Let g be (-47)/(-9) + (-14)/a. Suppose -8 = 2*i, g*r - 5*i - 777 + 222 = 0. Does 39 divide r?
False
Suppose -1160 = -2*h + 7*c - 5*c, 3*h + c = 1728. Is 20 a factor of h?
False
Suppose -11*j = -306 - 277. Let m = j + 101. Is 14 a factor of m?
True
Suppose -2*b - 3*o + 1828 = 0, -13*b = -14*b + 2*o + 914. Does 116 divide b?
False
Let p = -167 + 320. Does 17 divide p?
True
Let l(b) = b**3 + 8*b**2 - 8*b + 14. Let g be l(-9). Is (19 + 0)/(g + (-116)/24) a multiple of 19?
True
Let r = 1986 - 950. Does 75 divide r?
False
Let x(r) = r**3 - 7*r**2 + 10*r - 15. Suppose -j + 2*g = -2*g - 6, -4*j = -5*g - 24. Is 3 a factor of x(j)?
True
Let l = -106 + 366. Suppose j = -4*j + l. Is j a multiple of 15?
False
Let f(g) = -g**3 + g**2 - 4*g + 1. Let p be f(-3). Suppose -3*n - p + 265 = 0. Is 24 a factor of n?
True
Let t be (-16)/(1 - (-58)/(-54)). Let m = t + -149. Is m a multiple of 19?
False
Let c be (-2)/(-3 - 172/(-60)). Let d = -3 + c. Is 6 a factor of d?
True
Let a(s) = s - 2. Let w(h) = 22*h - 3. Let k(d) = -3*a(d) + w(d). Let x = 7 - 4. Is k(x) a multiple of 15?
True
Let j(n) = n**3 + 19*n**2 + 2*n + 56. Does 11 divide j(-19)?
False
Suppose 7768 - 1808 = 5*j. Is j a multiple of 8?
True
Let l(t) = -17*t**2 + 778*t + 57. Does 9 divide l(44)?
True
Let s(i) = -i**2 + 14*i - 7. Let o be s(12). Let n = -12 + o. Suppose n*y + 204 = -0*t + 4*t, 4*t + y = 180. Is 23 a factor of t?
True
Suppose 59*n - 718 = 57*n. Does 39 divide n?
False
Let u = 33 + -23. Suppose -5*m + 10*m = u. Suppose m*z = z + 17. Is 17 a factor of z?
True
Let y be 8/6*(-42)/4. Suppose -4 = -2*b + 4*b, 0 = -3*c - 2*b + 122. Let d = c - y. Is 28 a factor of d?
True
Let t = -15 - -30. Let f be (-8)/20 + 6/t. Suppose 3*d - 3*h - 88 = -d, f = 3*d - h - 66. Is d a multiple of 11?
True
Let b = -12 + 13. Let k be (2 - 0)*(-2)/b. Is (k*6)/(2/(-3)) a multiple of 12?
True
Let i(x) = 2*x**2 + 2*x - 12. Let g be i(-4). Let q = g - -77. Is q a multiple of 18?
False
Let k be 28/(-16) + 3/4. Is (2 + k)*(71 + -1 - 1) a multiple of 40?
False
Suppose -992 = -2*o + 318. Does 71 divide o?
False
Let r(l) = l**2 + 12*l - 452. Is r(-31) a multiple of 8?
False
Suppose -3*k + 4*k + 4123 = 3*y, 10 = 2*k. Does 28 divide y?
False
Suppose y = 2 + 3. Suppose y = -6*v - 1. Does 5 divide 11*(2 + v/1)?
False
Suppose -3*q = -2*y + 3*y - 105, 5*y + q = 469. Does 31 divide (y/4)/((-42)/(-224))?
True
Let w be 27/((-44)/(-8) - 4). Suppose 3*x - 3*o = w + 27, -3*o = 2*x - 10. Is x a multiple of 3?
False
Let j be (-490)/(-4) - (-6)/12. Let k = 4 + j. Does 36 divide k?
False
Let n be -3 + 3/(-3 - -6). Let a = 46 - n. Let d = a - 23. Is d a multiple of 15?
False
Let i(y) = -y**3 + y**2 + 7*y - 2. Let s(x) = -4*x**3 - 1. Let g be s(1). Does 23 divide i(g)?
False
Let u(z) = z**2 - 2*z - 4. Let d be u(8). Suppose q - 84 = 3*v, d = q + 2*v - 35. Suppose 9*f = 6*f + q. Does 9 divide f?
True
Let u = 250 + -9. Suppose 15*o - 1786 = -u. Is 19 a factor of o?
False
Suppose 0 = 3*w - 31*w + 43036. Is 22 a factor of w?
False
Let k = 120 + 96. Does 12 divide k?
True
Let x be 3/12