- 20 = -5*j, 4*j - 121 = -w*h - 3*h. Is 25 a factor of h?
True
Let k(p) = 24*p - 180. Does 6 divide k(17)?
True
Let b(n) = 142*n**3 + 3*n**2 - n. Is b(1) a multiple of 19?
False
Let h(t) = -t**3 - 15*t**2 + 11*t - 1. Let j be h(-16). Let b = -46 + j. Does 11 divide b?
True
Let f(m) = -3*m**3 + 4*m**2 - 2*m - 7. Suppose -4*j - 12 = -0*j. Does 29 divide f(j)?
True
Let v = 40 + -37. Suppose 1 = -v*k + 115. Does 4 divide k?
False
Does 92 divide (2798 - -8) + -11 - 8?
False
Suppose 0 = 2*o - 3*l + 30 + 51, 3*l = -2*o - 87. Let u = 236 - 264. Let c = u - o. Is c a multiple of 7?
True
Let v = -80 - -230. Is v a multiple of 17?
False
Let k = -729 + 1279. Does 55 divide k?
True
Suppose -5 + 1 = -i. Suppose 17 - 1 = 5*h + 3*l, -i*h + 23 = -l. Suppose -2*n + 16 = 2*k - 3*n, -h*k - 3*n + 40 = 0. Is k a multiple of 2?
True
Let s(c) = 3*c + 16. Suppose -4*m + 30 = 2. Does 31 divide s(m)?
False
Let a = -14 + 23. Suppose -a*l = -5*l + 84. Let n = l - -39. Is n a multiple of 18?
True
Let v(t) = 2*t**2 - 5*t - 10. Let l be v(-6). Suppose -20*w = -16*w + l. Let u = -20 - w. Does 2 divide u?
False
Let b = 809 + -349. Does 10 divide b?
True
Let c(t) = -29*t**3 - 6*t**2 - 14*t - 5. Is c(-3) a multiple of 57?
False
Let x = 182 - 111. Is 2 a factor of x?
False
Suppose 5*f - 3679 = 2701. Suppose 0 = 3*k + k - f. Is 43 a factor of k?
False
Let m be (3 + (-9)/3)/1 - -3. Suppose -m*i - i + 8 = 0. Is i a multiple of 2?
True
Let a(i) = -2*i + 113. Does 4 divide a(17)?
False
Let d be 0/2 + -8 + 6. Does 2 divide (-1 + d + 6)*5?
False
Let n = 53 - -5. Is 18 a factor of n - (9 + -2 + -3)?
True
Let u(z) = -17*z - 69. Is u(-21) a multiple of 48?
True
Let m(a) = 3*a**2 - 5*a + 3. Let j(f) = 10*f**2 - 14*f + 9. Let k(z) = -2*j(z) + 7*m(z). Let u be k(12). Let s = u - 29. Is 9 a factor of s?
False
Suppose -37145 = -735*g + 718*g. Does 95 divide g?
True
Let v = -2 - -8. Let g be (2/v)/(8/(-72)). Let l = 21 + g. Is l a multiple of 9?
True
Let l be 4/(-10) + 1*(-2)/(-5). Does 16 divide (128 - l)*(-6)/(-8)?
True
Let m = -10 - -11. Let g = m - 1. Let z(r) = -2*r + 14. Does 7 divide z(g)?
True
Suppose 0 = -77*i + 75*i + 4228. Is i a multiple of 7?
True
Let q(s) = s**2 + 18*s - 41. Let a be q(-20). Is 14 a factor of a - (-125)/4 - 3/12?
False
Let m(n) = -8*n**2 + n**2 + n**3 - n + 3*n**2 + 4*n. Let r be m(3). Suppose 4*z - 16 = r, 5*c + 5*z - 92 = 2*c. Is 12 a factor of c?
True
Suppose -2*b + 17*m = 14*m - 547, -2*m = -5*b + 1340. Is b a multiple of 38?
True
Let m(a) be the third derivative of 17*a**4/24 - 10*a**3/3 - 3*a**2 - 4. Is m(10) a multiple of 50?
True
Suppose 0 = -b - 0*b. Let o(j) = -21 - 4 + b + 6*j. Is o(17) a multiple of 11?
True
Suppose -797 = -2*z + 3*y, 0 = z - 5*y + 14 - 402. Is 30 a factor of z?
False
Let y = -108 + 318. Is 10 a factor of y?
True
Suppose 209*k = 222*k - 9581. Is k a multiple of 25?
False
Let z = 8 - 5. Let u be -1 + (-12)/(-2) - z. Suppose -u*d = 2*d - 116. Does 5 divide d?
False
Suppose 3*l - 319 = -5*a, 5*l - 2*l = 2*a - 136. Suppose 4*f + 51 = 5*j - a, 5*f = -20. Is j a multiple of 4?
True
Suppose -1 = -0*a + a. Let w be a/3*(-11 - -11). Suppose -2*g = 5*h - 68, w = -4*g - 5*h + 121 - 5. Is g a multiple of 12?
True
Suppose 20*i + 350 = 930. Is i a multiple of 27?
False
Let j(y) = y**2 + 9*y + 10. Let c be j(-8). Suppose c*i = -3*i + 60. Is 24 a factor of 1/(-3) + 292/i?
True
Let b be (3*-1)/((-24)/32). Suppose -4*n + y - 2*y + 26 = 0, -b*y - 22 = -2*n. Suppose n = m - 48. Is 14 a factor of m?
False
Let u(i) = 160*i**2 - 7*i - 6. Does 24 divide u(-1)?
False
Suppose -43*s = -69*s + 10192. Is 14 a factor of s?
True
Let x(c) = -c - 5 + 3*c - 1. Let m = 1 + 5. Is 3 a factor of x(m)?
True
Let c(w) = -5*w**3 - 2*w**2 - w + 4. Let b = -27 - -32. Suppose s - b = f - 1, 2 = -5*f - 4*s. Is c(f) a multiple of 19?
True
Let q(b) be the second derivative of -b**4/6 + 19*b**3/3 - 19*b**2/2 + 8*b. Is 12 a factor of q(16)?
False
Suppose -865 = -12*h - 577. Is 6 a factor of h?
True
Let y be 3992/56 + 1*2/(-7). Let f = 107 - 150. Let r = f + y. Is r a multiple of 13?
False
Let r = 15 + -23. Let y = r + 11. Suppose -g + 5 = 0, -y*w + g + 4*g = -53. Is 13 a factor of w?
True
Let y(w) be the first derivative of -w**4/4 - 2*w**3 + 2*w**2 + 15*w - 8. Let x be y(-6). Let g = x - -41. Does 16 divide g?
True
Suppose -12*w - 562 + 14566 = 0. Is 27 a factor of w?
False
Is 2/9 + (37984/36)/4 a multiple of 28?
False
Let h(w) = w**2 - 6*w - 8. Let z be h(10). Suppose o = 2*j + j + 19, -j - z = -4*o. Is o a multiple of 7?
True
Suppose -5*q - 4*r + 2*r + 15 = 0, -4*q + 5*r + 12 = 0. Suppose -y = -q*b - 5*y + 233, 2*y - 4 = 0. Does 15 divide b?
True
Let n be (-4 + 3)*-1*751. Suppose -9*l + 662 + n = 0. Does 7 divide l?
False
Let x(b) = b**2 + 8*b + 5. Let g be x(-10). Let a = -17 + g. Let r(c) = -c**3 + 9*c**2 + 8. Is r(a) a multiple of 18?
True
Suppose -3*r + h + 56 = 0, r - 3*r + h + 38 = 0. Suppose 3*u - r = 3. Suppose -u*y + 3*y = -124. Does 13 divide y?
False
Suppose 3*s + 717 = 3*b, 3*b + 3*s = 13 + 698. Does 17 divide b?
True
Let q = 80 + -80. Suppose q = 4*w - 3*w + o - 117, 4*w - 5*o = 477. Does 27 divide w?
False
Let y be (-10)/(-40) - 930/8. Let z = y + 194. Let q = z + -45. Is 11 a factor of q?
True
Let d(g) = g**3 - g**2 + 2*g - 5. Let o be d(2). Suppose 5*a - 690 = 3*f, -o*a - a + f = -559. Does 26 divide a?
False
Let l be (0 + 1 - 0)*2. Let a(o) = 2*o**3 + 2 + l*o**3 - 3*o**3 + 3*o + 8*o**2. Is 10 a factor of a(-7)?
True
Let a be (12/(-10))/(3/(-20)). Let t be 4 + 4 + 2 - (-4 + 4). Is 10 a factor of (a/2 - -1)*t?
True
Let i(y) = -y**2 - 3*y - 7. Let t(m) = 0*m**2 - 1 - 9*m - 5 + 7*m - m**2. Let s(d) = 6*i(d) - 7*t(d). Does 10 divide s(6)?
False
Let o = -425 - -606. Let y = o - 57. Is 32 a factor of y?
False
Let r = -60 + -138. Does 11 divide 20/6*(0 + r/(-15))?
True
Suppose 1809 = d - 2*s, 0 = 35*s - 31*s - 4. Is d a multiple of 71?
False
Suppose 4*d + 5*v - 48 = 0, v = 4*d - 4 - 44. Suppose 7*y - d = 4*y. Suppose -y*u - 2*s + 192 = -u, -s = 0. Is 28 a factor of u?
False
Let w be -4 - -5 - (153 - -1). Let i = w + 217. Is i a multiple of 25?
False
Let m = -73 + 165. Is 35 a factor of m?
False
Let i be (-68)/(-11) + (-8)/44. Let p = 8 - i. Suppose -17 = -p*l + 63. Does 13 divide l?
False
Let u = -91 + 174. Let z = -41 + u. Is z a multiple of 12?
False
Let z(b) = b**3 + b + 248. Let h be z(0). Suppose -2*i - 4 + 128 = -5*d, 0 = -4*i - 2*d + h. Is i a multiple of 18?
False
Let q(r) = r**2 - 10*r + 2. Let m be q(10). Let h(l) = 15*l**3 - 9*l**2 + 2 + 9*l + 2*l**m - 13*l**3. Does 27 divide h(4)?
True
Suppose -2*l - l = -4*h + 913, -5*h - l = -1127. Is 60 a factor of h?
False
Suppose -4*c + 7*z - 2*z + 14 = 0, 0 = -c + 2*z + 5. Let d be ((-650)/39)/(c/3). Let y = d - -98. Is 12 a factor of y?
True
Let g(a) = 412*a + 28. Does 58 divide g(5)?
True
Let f(d) = -36*d - 78. Is f(-15) a multiple of 14?
True
Suppose -32*w - 105 = -33*w. Is 8 a factor of w?
False
Let x be 6 + 0 - (17 - 20). Does 2 divide x/6 - (-90)/4?
True
Suppose 0 = 13*g - 349 + 37. Does 22 divide g?
False
Suppose 0 = 15*k - 17*k - 48. Let z = k - -28. Suppose z*w + 0*w = 56. Is 7 a factor of w?
True
Let v(x) = -x**3 + 8*x**2 - x + 11. Let a be v(8). Suppose -k - 6 = -a*k. Let b = 11 + k. Does 14 divide b?
True
Suppose 0 = 3*v - 9*v + 36. Suppose 0 = -v*d - 52 + 190. Is d even?
False
Is 23 a factor of (445/(-76) - (-2)/19)*-4?
True
Let r(q) = -q + 48. Let g be (-1 - -2)*0 + -3. Let k be (g + 3)/(-2 - 0). Is r(k) a multiple of 12?
True
Let p(l) = 125*l**2 + 14*l - 68. Is 54 a factor of p(4)?
False
Let b(n) = n**3 - 4*n**2 + n + 2. Let w be b(4). Let r(x) = 4*x - 13. Is r(w) a multiple of 6?
False
Suppose 12 = -3*s, 4*v - 24 = -s + 4*s. Let g(u) = -11*u + 1. Let q be g(v). Let j = 91 + q. Is j a multiple of 19?
False
Let g = 2505 - -884. Is 15 a factor of g?
False
Let x(d) = d**3 + 7*d**2 - 7*d - 8. Let o be x(-7). Suppose h + 9 + o = 3*u, 0 = -2*h - 3*u - 55. Let f = 5 - h. Is 10 a factor of f?
True
Let h(i) = i**3 - 7*i**2 - i + 10. Suppose 5*q = 3*q + 14. Is h(q) a multiple of 3?
True
Let b = -501 + 569. Does 4 divide b?
True
Suppose 5*j - 6*k = -3*k + 338, -4*j + 264 = -4*k. Suppose 0 = -2*a + j + 20. Is 11 a factor of (330/a)/(1/3)?
True
Let h(o) = -o**3 + o**2 - 2*o + 4. Let l be h(0). Let x be 14/l - 3/6. S