) + (-5624)/(-44). Suppose j - 5*g - 38 = 3*j, -5*j + 4*g = t. Does 8 divide (0 - j) + (-21 - -17)?
False
Let s = -799 - -1579. Is 13 a factor of s?
True
Let h(q) = -q**3 - 2*q**2 + q + 2. Let a be h(-2). Let x be (a - 108)*8/(-16). Suppose -5*z + 36 + x = 0. Is 6 a factor of z?
True
Suppose -5 - 30 = -5*w. Let n be (8/(-6) + 1)*-36. Suppose 0 = w*m - 4*m - n. Is m a multiple of 2?
True
Let n be (14/49)/(2/42). Let l be 3 - (n + -4)/2. Suppose -5*g + 61 + 99 = 5*b, -5*g - 36 = -l*b. Is b a multiple of 11?
False
Let m(c) = -181*c + 83. Is 16 a factor of m(-9)?
True
Suppose -2*w = 2*w - 40. Let a(l) be the second derivative of -l**5/20 + 5*l**4/6 + l**3/2 - 2*l**2 + 9*l. Is 5 a factor of a(w)?
False
Suppose 2*n - 4*b - 1200 = -0*b, 3048 = 5*n + 2*b. Is n a multiple of 38?
True
Suppose 2*s = 35 - 21. Suppose -11*z + 552 = -s*z. Is z a multiple of 34?
False
Let y be -2*-1*(25 + -4). Let w = y + -22. Is 20 a factor of w?
True
Let x be (-8)/(-28) + (-488)/(-7). Let y = x - 48. Does 4 divide y?
False
Suppose 2*v = -205 + 315. Is v a multiple of 11?
True
Suppose -16*y + 2689 = -783. Suppose 5*z - y = 83. Does 5 divide z?
True
Let h(g) = 2*g**2 + 1. Let j(p) = 21 - 43 + 23. Let d(b) = h(b) - 4*j(b). Does 15 divide d(3)?
True
Suppose -11985 = -5*w - 92*u + 97*u, 5*w - 11935 = -5*u. Is 104 a factor of w?
True
Let s = -3 + -10. Let q(k) = -2*k + 4. Does 8 divide q(s)?
False
Suppose -3*o - x = 3*x - 61, 3*o - 3*x = 75. Suppose -5*b + 5*y - 10 = 0, 3*y = -5*b - o + 5. Is (-39)/(-9) + (-2)/b a multiple of 3?
False
Let p(j) = 3*j**2 + 29*j - 49. Let f(c) = c**2 + 14*c - 24. Let t(q) = -7*f(q) + 3*p(q). Is t(9) a multiple of 14?
True
Is (-390)/(-234) + 2*26679/18 a multiple of 19?
False
Suppose 4*l - l - 630 = 0. Is l a multiple of 42?
True
Let r = -119 + 174. Let c be (r/(-11))/(1*-1). Suppose -n - 400 = -c*y, 5*y + 3*n = -0*n + 420. Is y a multiple of 10?
False
Suppose -90*o = -84*o - 1218. Is 5 a factor of o?
False
Suppose 2*w - 3*b - 484 = 0, -5*w + 403 + 784 = 4*b. Let v = w + -169. Is v a multiple of 10?
True
Suppose -6*h + 98 = -2*n - 4*h, -4*n + h = 196. Let w = 157 + n. Is w a multiple of 30?
False
Let g(p) = p**3 + 7*p**2 + 3*p. Let w(j) = -14*j. Let m be w(-1). Let s = -20 + m. Is 18 a factor of g(s)?
True
Let k = -2540 + 2701. Does 52 divide k?
False
Let u = -1752 - -3327. Does 35 divide u?
True
Let x(j) = 3*j + 21. Let s be 0/(3/(-3)*1). Does 6 divide x(s)?
False
Let p(r) = -r**3 - r**2 + 9*r - 1. Let l be p(-7). Suppose -2*y + 1206 = 3*y - t, -y + l = -3*t. Suppose 71 = i - x - 9, -3*i + y = -2*x. Does 21 divide i?
False
Suppose 0 = 2*r - 7*r + 10. Let m be 6/7*14/r. Is 20 a factor of (-117)/m*(-8)/3?
False
Let d = -131 + 135. Suppose d*j = 468 + 708. Is j a multiple of 21?
True
Let l = 6496 + -4535. Is l a multiple of 53?
True
Suppose -5*w - 5*m - 110 = -0*w, -5*w - 138 = -2*m. Let c = 30 + w. Suppose -c*h - 3*v = -297, -4*v + 221 = 3*h - 0*v. Is h a multiple of 25?
True
Let i be 8/(26 - 2)*(0 - -12). Suppose 5*m = -4*b + 203, 5*m = i*b + 2*m - 179. Is 3 a factor of b?
False
Let r be (3 + 13)*(0 - (-3)/6). Suppose -312 = -12*b + r*b. Is 39 a factor of b?
True
Let u be (6 + -3 + -3)/(-1). Suppose -3*c + c = z - 62, -3*z + 6 = u. Let y = c + -6. Is 12 a factor of y?
True
Suppose -4*k = -0*k + 12. Let d = -3 - k. Suppose u - 21 = -2*g, 5*g + d*g = 2*u + 57. Is 4 a factor of g?
False
Let a be (-44)/(-16) + 1/4. Suppose v = -a*x, 5*x - 14 - 14 = -4*v. Is 12 a factor of v?
True
Let l(u) = u**3 + 5*u**2 - 10*u. Does 12 divide l(6)?
True
Let p = -8 + 11. Let a be (0 - p)*8/(-6). Suppose a*z + z - 80 = 0. Is 15 a factor of z?
False
Suppose 0 = -19*l + 15*l + 10080. Does 8 divide l?
True
Suppose 0 = g - 4*h - 9, -3*h + 8 = -4. Suppose -g*k = -20*k - 115. Is 23 a factor of k?
True
Let i = 114 - 75. Suppose 3*z - 5*g - 49 = 0, -z - 5*g + 29 = 2*z. Suppose -3*n + 2*s + i = 0, -2*n + 2*s = -15 - z. Does 4 divide n?
False
Let y be -1*3*(-46)/(-6). Let k = 41 + y. Is 6 a factor of k?
True
Let c(n) = 4*n**2 + 42*n - 4. Let f(i) = 2*i**2 + 21*i - 2. Let x(d) = -2*c(d) + 5*f(d). Does 3 divide x(-12)?
False
Let l = -54 - -147. Is l a multiple of 3?
True
Let c(t) = 6*t**2 + 9*t - 14. Let y(l) = -3*l**2 - 4*l + 7. Let h(i) = -6*c(i) - 13*y(i). Is h(7) a multiple of 17?
False
Let d(q) = q**3 - 7*q**2 - 55*q - 22. Does 5 divide d(12)?
False
Suppose -20*z + 19*z = -3217. Does 38 divide z?
False
Suppose 5*x - 40 = -5*m - 0*m, x - 48 = -5*m. Let n be (-12)/(-15)*m/4. Suppose n*t = -3*g + 6*t + 67, -3*g = -t - 82. Is 11 a factor of g?
False
Let l = 1076 - 537. Is l a multiple of 31?
False
Is (380/25 + -4)*(-6 + 11) a multiple of 7?
True
Suppose -2*s = -7*s - 195. Let x(g) = -2*g**3 - 26*g**2 + 24*g + 36. Let b be x(-14). Let q = b + s. Does 20 divide q?
False
Let p = 6 + -2. Suppose p*g - 4*a = 0, 3*g + 0*a = 4*a + 2. Is 7 a factor of (-224)/40*(g + -3)?
True
Suppose 438 = 8*u + 134. Is u even?
True
Suppose -363 = 8*p + 3*p. Let w = p - -82. Is 7 a factor of w?
True
Let f(t) be the second derivative of 37*t**3/6 - 5*t**2/2 - t. Let q be f(4). Suppose -52 - q = -3*v. Is 20 a factor of v?
False
Suppose 3*t = -5 - 13. Let l(z) = -z + 12. Is 6 a factor of l(t)?
True
Let j be (4/6)/(4/6). Suppose 186 = 5*r + f, 2*f + 16 = -2*f. Let t = j + r. Is 11 a factor of t?
False
Let r(b) = b**2 + 13*b + 15. Suppose 0 = -m - 8 - 3. Let f be r(m). Let q(p) = -p**3 - 7*p**2 - 2*p + 9. Is 22 a factor of q(f)?
False
Let j(z) = 2*z**3 - 12*z**2 + 9*z. Does 44 divide j(11)?
False
Suppose 0 = 6*q - 4134 + 840. Is 13 a factor of q?
False
Let h = -9 - -8. Let y be (h - 33/(-6))*-2. Is 6 a factor of (y/(-18))/((-1)/(-36))?
True
Let l(y) = -70*y**3 + 4*y**2 - 3*y + 2. Let r(o) = 71*o**3 - 5*o**2 + 4*o - 3. Let p(j) = -3*l(j) - 2*r(j). Is p(1) a multiple of 24?
False
Suppose -2*k + 16 = -4*t - 6, -2*k + 3*t + 19 = 0. Let n be (-18)/12*(-112)/3. Does 17 divide k*(4 + n/5)?
False
Let r(h) = 10*h + 9 + h**2 + 5 - 7. Let g(s) = -s - 1. Let m be g(10). Does 9 divide r(m)?
True
Let d = -3 - -6. Suppose -3*w + d*k = k - 16, 4*w + 3*k + 7 = 0. Suppose -w*o = -7*o + 60. Is o a multiple of 11?
False
Let f(h) = -41*h + 350. Let o(l) = 8*l - 70. Let j(c) = -2*f(c) - 11*o(c). Does 12 divide j(0)?
False
Is -490*(-3)/(-6)*-1 a multiple of 7?
True
Suppose 20 = 4*g, -4*l + 3*g + 15 = -2*l. Suppose 0 = -7*t + 2*t + l. Suppose z - 26 = -a, 3*z + t*a - 140 = -2*z. Does 24 divide z?
False
Suppose -21 = -3*m + 4*f + 69, 0 = -3*m - f + 90. Let x = -4 - -15. Suppose 13*s - m = x*s. Does 9 divide s?
False
Is 7 a factor of (-9 + 2)/(-9 + 3 - -5)?
True
Let d(g) = g**3 - 7*g**2 - 8*g + 24. Does 6 divide d(8)?
True
Let j(m) = m**2 - 7*m - 6. Let t be j(8). Let y = -37 - -39. Suppose -2*d + 24 = -4*n, -d + t*n - 8 = -y*d. Is 4 a factor of d?
False
Let k(x) = x**2 + 2*x - 18. Let u be k(0). Let w(a) = -a**3 - 17*a**2 + 16*a + 20. Is w(u) a multiple of 9?
False
Let y(t) = -t**3 + 5*t**2 + t - 21. Let f be y(6). Let x = 49 - f. Does 10 divide x?
True
Suppose q - 2*q = 55. Let a = q + 199. Suppose 45 = -3*u + a. Is u a multiple of 11?
True
Let j = -130 - -182. Does 6 divide j?
False
Let u be (1 - 4/10)*-5. Let b be (-1)/u*-2*-3. Suppose -4 = -b*s, 0*s - 146 = -2*m + 3*s. Is m a multiple of 19?
True
Let n(x) = 42*x**2 + 46*x - 1. Does 18 divide n(-2)?
False
Let p(x) = -x**3 - 6*x**2 - 2*x + 4. Let m be p(-6). Let y = m - -116. Is y a multiple of 18?
False
Suppose 3*v - 4*v - 41 = 5*r, -5*v + 35 = -5*r. Let i(x) = -9*x**2 + 7 - 7*x - x**3 + 3 - 3*x. Is i(r) a multiple of 13?
True
Let v(y) be the third derivative of y**5/60 - 5*y**4/24 + 23*y**2. Is v(11) a multiple of 26?
False
Let x be (-33)/9*-3*-2. Let d = 26 + x. Let y(f) = -2*f**2 + 8*f + 7. Is y(d) a multiple of 2?
False
Suppose 2*m + 82 = -i, 4*m - 4*i + 146 = -30. Let r be ((-3)/(-1))/((-2)/m). Does 15 divide r + (-2 - (5 + -4))?
True
Suppose 5475 + 882 = 13*w. Does 14 divide w?
False
Let t be 0/(-2*((-3)/6 + 1)). Is 51 + -3 + t/1 a multiple of 12?
True
Suppose -j = -0*u - 3*u + 10, 5*u + 4*j + 6 = 0. Suppose -u*c - 3 + 1 = 0. Is (8 - c/(-1)) + -2 a multiple of 3?
False
Let k = -326 - -483. Is 7 a factor of k?
False
Suppose 0 = -7*n + 3749 + 1795. Does 51 divide n?
False
Suppose -5*w + w = -16. Suppose -q = 2*j - 3*q - 14, -w*j - 4*q = -12. Suppose 121 = 2*n - j*k, -6*n + 