- 19/q)/(3/(-56)). Suppose n - 3*n + p = 0. Is 7 a factor of n?
True
Let o = -75 + 97. Suppose 4 = -2*h, 3*k + 0*h + 4*h = o. Suppose 0 = -k*f + 6*f + 480. Is 40 a factor of f?
True
Suppose -19*o + 283605 = 54*o. Is 21 a factor of o?
True
Suppose -g = g - 400. Let n = -33 + g. Suppose -5*z + n = 4*q, 0*q + 116 = 2*q - 4*z. Does 12 divide q?
True
Suppose -559*i = -340256 - 12027619. Is i a multiple of 125?
True
Is 26 a factor of -2*(-3198 + -1) + (-6)/(-10 + 12)?
False
Suppose -38 + 8 = 6*t. Is 12 a factor of (-4)/10*t - 2 - -229?
False
Let m = -209 + 210. Is 7 a factor of m*9/(9/35)?
True
Let v(l) = l**3 - 15*l**2 - 17*l - 33. Let d be v(17). Let k = d - 192. Does 32 divide k?
True
Suppose -258*l + 329583 + 586608 - 163089 = 0. Does 21 divide l?
True
Let g(f) = -5*f**3 - 11*f**2 - 24*f - 3. Let l be ((-8)/6)/((-12)/(-162)*3). Is 11 a factor of g(l)?
True
Let s = 165 + -83. Suppose 0 = -2*x + 4*y + 188, -34*x - 2*y + s = -33*x. Does 8 divide x?
True
Let t(c) = -c + 6. Let z(p) = -p**3 - 4*p**2 + 5. Let k be z(-4). Let v be t(k). Does 5 divide v - -1 - (-42 + 14)?
True
Suppose 27*s - 30*s = 0. Suppose -25 = 5*r, -5*m + s*m + 3*r = -230. Suppose 117 + m = 2*w. Is w a multiple of 16?
True
Suppose -4*n + 5*y = -2003, 5*n - 2*n - 3*y - 1500 = 0. Suppose 0 = 12*b + n - 2033. Is b a multiple of 12?
False
Let v(a) = 7*a**3 - a**2 + 11*a - 5. Let j(b) = -b**3 + b**2 - b + 1. Let i(w) = -5*j(w) - v(w). Is i(-2) a multiple of 5?
False
Is 77 a factor of 49/98 - (-5)/2 - -2615?
True
Let a = -19092 - -28578. Is a a multiple of 133?
False
Let m be 1385/40 - (-18)/48. Suppose -36*i + m*i = -709. Is i a multiple of 12?
False
Suppose 63*j - 6728670 = -171*j. Is 27 a factor of j?
True
Suppose -373 = -3*n + 512. Suppose 3*o = -2*z + 275, -3*z + z + n = -o. Suppose 2*f = 3*c + 345, 4*c + 201 + z = 2*f. Does 36 divide f?
False
Let x(z) = -4*z**2 + 5*z + 11. Let h be x(-3). Is 15 a factor of (-10)/h + (-2475)/(-4)?
False
Let p(t) = 7*t**2 - 68*t + 75. Is p(15) a multiple of 4?
False
Let p = 22495 + -17655. Does 8 divide p?
True
Let m(s) = 14*s**2 + 2*s + 66. Let k be m(16). Suppose 2*b + 4*y - 1480 = 0, 6*b - y + k = 11*b. Does 32 divide b?
True
Let h(n) = -4*n + 62. Suppose 3*v + 25 = 4*v + u, 0 = 3*v + u - 65. Let a be h(v). Let s = 135 - a. Is s a multiple of 51?
True
Suppose 21*h = 111 + 15. Suppose h*p = -94 + 1414. Suppose 3*a - p = -2*m - 3*m, 2*m = 3*a + 67. Is 10 a factor of m?
False
Let m = 70 - 31. Suppose 0 = 2*g - 144 + 30. Let o = g - m. Is 18 a factor of o?
True
Suppose -10840 = -7*r - 3*r. Suppose 6*c + 232 = r. Is c a multiple of 50?
False
Let h = -1156 + 8262. Suppose 16*d + d - h = 0. Does 19 divide d?
True
Let m(v) = 65*v**2 - 13*v + 32. Let f be m(4). Suppose 5*y - f = 450. Is 7 a factor of y?
True
Is (-1)/((-7)/(7305 - -3)) a multiple of 3?
True
Is (-4 - -1) + 21164 + 70/7 a multiple of 9?
False
Let a(l) = 3*l**2 + 8*l - 9. Suppose 19*v + 18 = 22*v. Let w be a(v). Suppose 7 = -10*c + w. Is c a multiple of 4?
False
Suppose -3*f = -3*x + 78, x + 5*f - 10 = 4. Let u = -39 + x. Let p = u - -37. Does 20 divide p?
False
Is -20 + 14 + 6 + 5928 a multiple of 38?
True
Suppose -564 = -26731*w + 26730*w. Does 4 divide w?
True
Let b(l) be the second derivative of -l**5/5 + l**4/12 - 5*l**3/6 + 2*l**2 + 17*l. Let p be b(1). Does 8 divide 2 - p/((-16)/(-156))?
False
Let h(d) = -68*d - 4. Let y be h(-7). Suppose -11*o = -3*o - y. Is o even?
False
Let n(v) = 1 - 3*v - v**3 - 820*v**2 + 812*v**2 - 17*v + 10. Does 19 divide n(-8)?
True
Let q be (-2 - 382)*-4*(-24)/(-128). Suppose -2*n - 5*k + 866 = 0, -2*n - k - q + 1138 = 0. Does 39 divide n?
False
Let v be ((-384)/448)/((-4)/14). Suppose u + 637 = -v*g + 5567, 0 = -4*u - 20. Is g a multiple of 47?
True
Suppose 24 = 7*c - 3*c. Let j be (-6)/(-24)*6*8/c. Let w(r) = 70*r + 4. Is 28 a factor of w(j)?
False
Let b be ((-5896)/(-220))/(-1 + (-9)/(-10)). Let p = -256 - b. Is 3 a factor of p?
True
Let l(y) = -35*y**3 - y**2 + 2*y - 2. Let c(f) = -f**3 - 25*f**2 - 26*f - 47. Let z be c(-24). Let q be l(z). Is 6 a factor of 72/(q/48*1*-2)?
True
Suppose 2*w - 5*b - 38891 = 0, w - 3*b + 11715 = 31163. Is w a multiple of 21?
False
Suppose -19*v - 4302 = -30460 - 879. Is 7 a factor of v?
False
Suppose -8*k + 112 = -4*k. Suppose 2*w - k = 3*w. Let s = 154 + w. Is s a multiple of 18?
True
Let f be (-1)/(-5) + (-796)/(-20) + -1. Suppose 4*m + 16 = 0, 0 = -5*r + 5*m + 310 + 245. Let i = r - f. Does 8 divide i?
False
Let v(i) be the second derivative of i**5/20 - 17*i**4/12 - i**3/6 + 15*i**2/2 - 11*i. Let w be v(17). Let n(k) = 37*k**2 - 6*k - 4. Does 39 divide n(w)?
True
Suppose 59*w - 53 - 124 = 0. Let h be 6/(-4)*92/(-6). Suppose -w*o + d = -149, 2*o - 78 = -d + h. Is 9 a factor of o?
False
Suppose -238485 = 83*z - 15*z - 744473. Does 42 divide z?
False
Let d(l) = -50*l**2 + 7*l - 54. Let f(u) = 17*u**2 - 2*u + 19. Let a(i) = -3*d(i) - 8*f(i). Is a(7) a multiple of 12?
False
Let s(v) = 71*v**2 - 139*v - 54. Is s(-13) a multiple of 72?
True
Let s(o) = -o**2 + 167*o + 1242. Is s(71) a multiple of 237?
True
Let x = 398 - -5088. Is x a multiple of 13?
True
Suppose 4*z - 24 = -4*u + 8*u, 2 = -u. Suppose -3*q - 9 + 15 = 0. Suppose -8*h = -z*h - 5*b - 48, h - q*b - 12 = 0. Is h a multiple of 12?
True
Let y = 134 + -80. Let w = -52 + y. Suppose w*m - 4*m = 6, m = t - 85. Does 44 divide t?
False
Let s be ((-1)/(-4))/((-34)/(-816)). Let t(j) = j**3 - 5*j**2 + 13*j + 12. Is t(s) a multiple of 9?
True
Let w(k) = -2*k**2 + 71*k - 41. Suppose 0*t - 11*t = -341. Is w(t) a multiple of 17?
True
Let f be (-6)/(-20) + (-539)/(-70). Suppose f*a - 3198 = 2*a. Does 13 divide a?
True
Let v(q) = 70 - 16*q**2 + 3*q**3 - 41 + 24*q - 31. Does 18 divide v(6)?
False
Suppose -2*g + m + 312 = 0, -3*g + m + 450 = 4*m. Let f(b) = -10*b**3 + 2*b**2 + 3*b. Let h be f(-2). Let x = g - h. Is 12 a factor of x?
True
Let q(x) be the third derivative of -x**4/2 - x**3 - 50*x**2. Is q(-2) a multiple of 18?
True
Let u(q) = -17*q - 38. Let d be u(-2). Is (-5865)/(-13) - -3*d/78 a multiple of 11?
True
Suppose 2*m = 0, 3*t + 17*m - 12*m - 699 = 0. Suppose -3*s = -1826 + t. Is s a multiple of 59?
True
Let s = -583 - -590. Suppose -3*w + 2324 = -5*n, 0 = 8*w - s*w + n - 764. Is w a multiple of 48?
True
Let o = 118 + -53. Suppose -o = 8*k - 9*k. Suppose 5*c - k = -d + 48, 94 = 4*c + 2*d. Is c a multiple of 8?
False
Suppose 0 = -4*k - 294 + 2214. Suppose 6*i = 4*i + k. Is i a multiple of 23?
False
Let i(o) = 34 + 8 + 12 + 14 + 3*o**2 + 29*o. Does 40 divide i(-19)?
True
Let i(r) = 2*r**2 + 34*r - 12. Let w be i(-16). Let b = 120 + w. Let n = b + -17. Does 28 divide n?
False
Let l(z) = -z**3 - 6*z**2 - 8*z + 18. Suppose -5*q - 46 = -0*q - 3*t, 2*q = -3*t - 10. Is 7 a factor of l(q)?
True
Let r(q) be the third derivative of -q**6/15 + q**5/20 - q**4/24 + 2*q**3 + 3*q**2. Does 12 divide r(-4)?
True
Suppose -2082 = -7*t - 570. Suppose 0 = 8*s - 12*s + t. Is s a multiple of 6?
True
Suppose 1662*m - 1677*m + 28476 + 191199 = 0. Does 20 divide m?
False
Let y be ((-18)/5 - -2)/(6/(-7020)). Suppose y = 12*j - 636. Does 11 divide j?
True
Let o(u) = -u**2 + 3*u + 30. Let g be o(-3). Let m(d) = 23*d - 107. Is 11 a factor of m(g)?
False
Is 418 + 40/19 + (112/152)/(-7) a multiple of 6?
True
Suppose -304 = 6*k - 3004. Suppose 430 = o - j, -o - 3*j + 8*j = -k. Is 19 a factor of o?
False
Let d = 13 + -112. Let b = 137 + d. Does 7 divide b?
False
Suppose 35 = 7*o - 0*o. Suppose -681 = o*i - 6*i. Is i a multiple of 46?
False
Suppose -9*n = -2*n - 21. Suppose 0 = 4*y - 0*y - 216. Suppose -4*b + 30 + y = 3*c, 36 = 2*b + n*c. Does 12 divide b?
True
Suppose -56*v + 160 = -48*v. Suppose -4*i - 2829 = -3*g - 7*i, -v = 4*i. Does 79 divide g?
True
Suppose 54*k - 23850 = 24*k. Let c = k - 682. Is 16 a factor of c?
False
Suppose 7*d + 4*d - 6940 = 452. Is d a multiple of 58?
False
Suppose 34*w - 78 = 21*w. Suppose -4*t - 2272 = -8*z + 4*z, w = -3*t. Is z a multiple of 37?
False
Let f(k) = 2*k**2. Let h be f(-1). Suppose 3*z - v - 13 = 0, 0*z - 4*z + 16 = -2*v. Suppose -5*u - h*w + 164 = 0, z*u - 49 = -w + 113. Does 4 divide u?
True
Let q(x) = -3*x - 17. Let v be q(-7). Let t be (-24)/96 + 129/v. Suppose t = -4*w + 6*w. Is 4 a factor of w?
True
Let g(r) = -2*r - 12. Let p be g(-7). Let u(v) = 23*v**2 